 = 6144 - 3054. Suppose 5*i + 29*p - 34*p = 15, p = -3*i - 3. Suppose 2*a - 4*h - 1042 = i, -5*a = h + 496 - k. Is a prime?
False
Suppose 2*p + 3*k = 0, -3*p + 2*k + k = -30. Let c(w) = 2*w - 10. Let u be c(p). Suppose 1768 = 4*m - u*l, -3*m - 1325 = -6*m + 2*l. Is m prime?
True
Suppose n + 5*y = 163, y - 682 = -4*n - 4*y. Suppose -n = -5*b - 2*c, -b - 8*c + 49 = -4*c. Is b prime?
False
Let d(t) = -1 + 45*t - 12*t + 5*t. Let a = -4 + 5. Is d(a) a composite number?
False
Let h be 2/2 + 3 + 6. Let s be (-6)/9 - (-1772)/12. Let a = s + h. Is a composite?
False
Suppose 0 = -5*f + l + 10778, -f + 2140 = -0*f + 5*l. Is f prime?
False
Let p(b) = b**3 + 14*b**2 + 13*b + 5. Let w be p(-13). Suppose 0 = -3*z - w*a + 151, 3*z + 106 = 5*z + 2*a. Is z a prime number?
False
Suppose 11*p - 1437 - 3062 = 0. Is p composite?
False
Let f(z) = 9*z - 9. Let k(j) = j**2 + 37*j - 35. Let h(d) = 9*f(d) - 2*k(d). Let v be h(6). Let t = v - -112. Is t a composite number?
False
Suppose -4*s - 3*x + 7*x = -40, -5*x - 32 = -3*s. Suppose s*u - 4270 = -u. Is u a prime number?
False
Let f(j) = 5*j**3 + 10*j**2 - 7*j - 3. Is f(4) prime?
True
Let r = 142 - 141. Let m(z) = -167*z**2 + 5. Let j be m(-4). Is r/2 + j/(-14) a prime number?
True
Suppose 56030 = 2*z + 8*z. Is z a prime number?
False
Suppose 0 = 8*v - v. Suppose 3*f + v - 3 = 0, 5279 = 3*w + 2*f. Is w a composite number?
False
Suppose t = 4*t + 5*u - 19, 13 = t + 5*u. Is (-1)/(2/(-310)) + t + -1 a composite number?
False
Suppose a = s + 5552, 16*a - 11*a - 27765 = 4*s. Is a a prime number?
True
Suppose -4*j + 2 = 5*t - 1, 2*j + 6 = 0. Suppose 308 = n + t*n. Is n a composite number?
True
Let i = -28 + 33. Let z be (i - 3) + 3 + -1. Suppose 0 = -4*b - z, -4*g + 3*g - b = -870. Is g composite?
True
Let y be 2 - -7 - 0/(-4). Suppose 2*j - y = 3*a - 206, 0 = 5*j + 20. Suppose -l + a = 14. Is l a composite number?
True
Let w(m) = -m**3 - 6*m**2 - 10*m + 1. Let c(v) = v**3 + 6*v**2 + 10*v - 1. Let y(u) = -3*c(u) - 2*w(u). Is y(-8) a composite number?
True
Suppose -3177 = -3*j + 3762. Suppose -26*z + j = -23*z. Is z a composite number?
True
Suppose 48587 = -616*s + 623*s. Is s a composite number?
True
Let o(c) = 3*c**3 - 8*c**2 - 14*c + 13. Let h(m) = -16*m**3 + 40*m**2 + 71*m - 64. Let v(a) = 2*h(a) + 11*o(a). Is v(10) composite?
True
Let u(x) = x**3 - x**2 + x - 5. Let h be u(0). Let b(t) = 11*t**2 - 2 - 6*t - 13*t + 15*t. Is b(h) a composite number?
False
Suppose f + 34628 = 5*v - 8262, -8564 = -v + 3*f. Is v a prime number?
False
Suppose 0 = 2*x - 8*x + 210. Is (-6)/(-21) + 200/x a prime number?
False
Let c(t) = -52*t**2 - t + 6. Let k be c(7). Let u = -1742 - k. Let d = u + -128. Is d composite?
True
Suppose 0*b + 4*b + p - 9 = 0, -3*b = p - 7. Suppose 4*v = 2*y - 1118, 4*y + b*v - 1872 = 334. Is y prime?
False
Suppose 49*g = 45*g + 14404. Is g prime?
False
Let q = 524 + -817. Let f = q - -564. Is f a composite number?
False
Is ((-13)/78)/((-2)/389604) a composite number?
False
Suppose -16*x - 5*x + 1155 = 0. Is x a prime number?
False
Suppose 18*b + 12 = 16*b. Is -6*((-467)/b)/(-1) composite?
False
Suppose 0 = -7*x + 44054 + 23769. Is x a composite number?
False
Suppose -12*a = 13*a + 75. Suppose -4*w = 5 + 7. Is (-761)/w + a/(-9) a composite number?
True
Let p = 4901 - -422. Is p composite?
False
Let y(x) = 1087*x + 1. Let n(c) = 543*c + 1. Let k(t) = -5*n(t) + 2*y(t). Is k(-1) composite?
True
Suppose 42294 = 2*j - 4*t, 16463 = j - 5*t - 4690. Is j a prime number?
True
Let s(m) = 20*m**2 - 14*m + 16. Let d = -21 - -33. Let c be s(d). Suppose 0 = -4*r - r + 4*y + 3401, 0 = -4*r + 5*y + c. Is r composite?
False
Let g(i) = -714*i**3 + i**2. Let l be g(-1). Suppose -u + l = -1744. Is u composite?
False
Suppose 0 = -14*y + 61*y - 2327581. Is y prime?
True
Suppose -4*n + 2*h = h - 24912, 2*h - 31127 = -5*n. Is n a prime number?
False
Suppose 27*u - 680086 - 412307 = 0. Is u prime?
True
Let f(p) = p**2 - p - 998. Let n be f(0). Let t = -678 - n. Suppose 0 = 5*h + 5*z - 163 - 212, 4*h - t = z. Is h a prime number?
True
Let x = 11 - 7. Let v(g) = -2*g**3 - g**2 - 2*g - 1. Let c be v(-1). Is ((-314)/x)/((-1)/c) prime?
True
Suppose -2*t - 2*t = 604. Let b = 52 - t. Is b composite?
True
Suppose -12*d = -6*d - 72. Let t = -14 + d. Is 189 - t - (5 + -1) prime?
False
Let s = 13 + -14. Let d be (s + 4 + -4)*-11. Suppose -d*l + 669 = -8*l. Is l a prime number?
True
Let x = -341 - -839. Suppose 0 = c - 2*c + x. Suppose 0*u - 6*u = -c. Is u prime?
True
Let u(s) = s + 57. Let r be u(4). Suppose -2*w = -0 - 4. Suppose -7 = -w*g + r. Is g prime?
False
Suppose -9*j = j - 590. Suppose u + j = 5*q - 183, 2*q + 5*u - 113 = 0. Is q a prime number?
False
Let r be 187/22*2314*(-1 - -2). Suppose -19*p + r = -2*p. Is p a prime number?
False
Let u = -108 - -1228. Suppose 2*r - 5*s = u, 4*r = -2*s + 975 + 1289. Is r a prime number?
False
Suppose -n - 2*n = -9. Suppose n*x - 3500 - 11 = -5*s, 0 = 3*s + 2*x - 2107. Is s a prime number?
True
Suppose 0 = 35*f - 44*f + 20619. Is f a prime number?
False
Let a = -177745 + 256776. Is a a prime number?
True
Is -3 + 1 + (-2 - 1) + 1260 prime?
False
Let m = 1730 + -79. Let y = -852 + m. Is y a prime number?
False
Let p(c) = 19*c**2 + 5*c - 33. Is p(14) a prime number?
True
Let o = 6673 + -4068. Is o composite?
True
Suppose -471 - 123 = -2*a. Suppose -5*g = -a - 358. Suppose 5*p = g + 324. Is p prime?
False
Let h = 76554 + -52780. Is h prime?
False
Suppose -2*f - 54 = -4*f. Let h = f - 20. Suppose 0 = -3*l - 2 - h, 4*v + 2*l = 38. Is v prime?
True
Suppose 6*b - 15 = b. Suppose -z = -6*r + 5*r - 504, -3*r - b = 0. Suppose 3*m + 239 = 2*s, s - 5*s + m + z = 0. Is s composite?
False
Let v(f) = -87*f**3 + f**2 - 4. Let l be v(-2). Let t = 1507 + l. Is t a composite number?
False
Let w be (-4 - -4)*1/2. Let a(q) = 0 + 7 + w*q**3 + 15*q**2 - 6*q**2 + q**3 + 10*q. Is a(-6) a composite number?
True
Let x(u) = -2*u**3 - 27*u**2 + 34*u - 35. Is x(-16) a composite number?
False
Let q = -39193 + 62977. Is (-30)/(-9)*q/16 prime?
False
Let s(x) = x**2 + 15*x + 2. Let l be s(-15). Suppose l*n = -5*w - 3*n - 65, -5*n = 3*w + 33. Is (-2)/(-5)*(-15560)/w a composite number?
False
Let i be 34/12 - 7/(-42). Suppose 216 = y + 5*l, 0*y + 3*l - 636 = -i*y. Is y a prime number?
True
Suppose -3*r + z = -6*r + 1798, -1788 = -3*r - 3*z. Let v = 960 + r. Is v composite?
True
Let r(g) = g + 1. Let z be r(-1). Suppose 5*w - 2*t = -t + 12, -w + t = z. Suppose -635 = -w*v - 2*v. Is v a prime number?
True
Let m(p) = -45*p + 43. Is m(-4) composite?
False
Let u = -902 - -3901. Is u a composite number?
False
Is (-4)/(-36)*27928 + (-8)/72 a prime number?
False
Let z(a) = 8*a**3 - 12*a**2 + 27*a - 65. Is z(14) prime?
True
Suppose 0*u + u = 3. Suppose -4*a + 6*a + 8 = 0, -3*f + 1149 = -u*a. Is f composite?
False
Let u(d) = -d**3 + 6*d**2 + 5*d + 6. Let p be u(5). Let h = p + -100. Is (-8)/h - (-25626)/22 composite?
True
Let j be 6/27 - (-43)/9. Suppose 1 = -2*m + 2*c + 53, 64 = 2*m - j*c. Is m composite?
True
Suppose 5*k = -2*c + 55 + 3, -2*c - 2 = 0. Suppose 3*r - x + 19 = 0, r + 2*x - 3 + 0 = 0. Let w = k + r. Is w composite?
False
Let m be 4/16 + (-380)/(-16) + -1. Suppose -m*i + 24*i = 517. Is i composite?
True
Let r = -14 - -17. Suppose c - 872 = -r*c. Suppose -p + c = p. Is p composite?
False
Suppose -g + 20 = 4*g. Let s(t) be the first derivative of 16*t**3/3 + t**2/2 - t - 26. Is s(g) a composite number?
True
Let h(k) be the first derivative of k**3/3 - k**2/2 - 7*k - 31. Suppose -3*g + 31 = 13. Is h(g) prime?
True
Suppose 6*t = 4*t + 8, 3*v + 4*t = -44. Let i = v + 16. Is (329/3)/(i/(-12)) a composite number?
True
Let m(a) = -2*a**3 - 4*a**2 + 2. Let p be m(-5). Suppose x - 29 = p. Suppose 1714 = 3*s + x. Is s prime?
False
Let y(o) = 529*o**3 - 2*o + 1. Let q be y(1). Suppose -q = 3*i - 3189. Is i a composite number?
False
Suppose 457 = 4*m - 3371. Suppose -5*y = -73 - m. Is y a prime number?
False
Let x(v) = -442*v**3 + v**2 - 8*v + 2. Is x(-3) a composite number?
False
Suppose 156*i - 194*i + 710638 = 0. Is i a prime number?
True
Let j = 25 + -30. Let m = j + -9. Is 0 + 0 + m + 51 composite?
False
Is (-22)/121 - (-53)/(-11) - -228 composite?
False
Let g be (3 + -6 + 7)*(-2554)/(-8). Is ((-4 - -5) + -3 + 3)*g a prime number?
True
Let s 