mber?
True
Suppose 3*q = -t + 232902, 0 = -2*q + 4*q - 4*t - 155282. Is q a prime number?
False
Let u(p) = -5*p**3 + 2*p**2 + p. Let h be u(-2). Let t = 129 + 3. Suppose -t = -2*o + h. Is o a composite number?
False
Let s be (-1)/(-4 + 76/20). Suppose -4*i - 1724 = -2*l - 2*i, s*l = -4*i + 4310. Is l composite?
True
Let v(k) = -747 - k**3 + 385 + 373 + 18*k + 9*k**2. Is v(8) prime?
False
Let d(l) = -l**3 + 17*l**2 + 2*l + 10. Let c be d(11). Let o = 1137 - c. Is o prime?
True
Let a be ((-7)/2)/((35/10)/7). Is (-236 - -7)/((-13)/a - 2) composite?
True
Let x = -74 - -74. Is (x - 2) + (269 - (-10)/5) a prime number?
True
Suppose -d = 3*d - 52. Let t be (-3)/1 + (6 - (6 - 175)). Let c = d + t. Is c prime?
False
Is 14254167/145 + (-4)/(-10) prime?
False
Suppose -4*q = -3*h - 33, 20 = 4*q - 5*h - 19. Suppose q*m = 3*m + 1245. Is m composite?
True
Let r be ((-517)/2)/((-4)/(-2))*4. Let v = -30 - r. Is v a prime number?
True
Is (-2 - -16)*((-767)/(-2))/13 composite?
True
Let q(a) = a**3 + 17*a**2 + 12*a - 3. Let u be 2 + (-26)/10 + 72/(-5). Is q(u) a prime number?
False
Suppose 3*i + 9 = 5*q, 2*i + i = -4*q - 36. Let p(m) = -m**2 - 9*m - 8. Let g be p(i). Is 3 - -52*(g + 4) composite?
False
Let y be (2/4)/(7/42). Suppose 0 = 2*g - y*z + 463, -4*g + 5*g + 5*z = -264. Let x = -130 - g. Is x prime?
True
Let i = -4516 + 7094. Is i a prime number?
False
Suppose 0 = -2*a - 0*a + 8. Suppose 3*m = j + 989, 335 = a*m - 3*m + j. Is m prime?
True
Suppose 0 = 3*y - 5*o - 28502, 3*o = -2*y + 4*o + 19006. Suppose 5*m + 3944 = y. Let t = m + -773. Is t prime?
False
Let n(h) = 2*h**3 - 2*h**2 - h - 5. Suppose 3*s - 13 + 1 = 0. Let g be n(s). Suppose 4*l - g - 373 = 0. Is l composite?
True
Let h(s) = -81*s**3 - 4*s**2 - 3*s - 1. Let m be h(-2). Suppose 3*b + 3*r = -0*b - 1122, 3*r = -b - 374. Let l = b + m. Is l prime?
True
Let f = 40850 + 39851. Is f a composite number?
False
Suppose a - 2446 = 975. Is a a prime number?
False
Suppose -3*i - 235 = -4*z - 1078, -z = 2*i + 197. Let r = -130 - z. Is r composite?
True
Let a = 9 + -9. Suppose -3 = -a*p - p. Suppose -69 = -4*u + p*u. Is u composite?
True
Let d(w) = -w**3 + 14*w**2 - 9*w - 3. Suppose -6*u = -4*u - 60. Suppose -2*j + u = 10. Is d(j) a composite number?
False
Let q(v) = -4*v**3 - 9*v**2 - 18*v - 15. Is q(-8) composite?
False
Suppose 3*k - 5*w = 8 + 24, 0 = -4*w - 16. Suppose -k*i + 3*l + 79 = -2*i, 4*i + l = 137. Is (-6)/21 + 4595/i prime?
True
Let r = 42 + -38. Let o(h) = 67*h**2 + 1. Let v be o(2). Suppose 0 = 4*i - i + r*a - v, -400 = -5*i + 3*a. Is i a composite number?
False
Suppose 2*g - 2 = 4. Suppose 0 = -g*f - 0 + 9. Suppose f*n - 291 - 63 = 0. Is n a prime number?
False
Let c(j) = -4*j**2 - 3*j - 1. Let d be c(-2). Let u = -9 - d. Suppose -m - u*l = -267, m + 2*l = -m + 532. Is m composite?
True
Suppose -p + 4 = 5*g - 2, 2 = -g - p. Suppose g*r + h = 385, 0 = 4*r + h - 370 - 397. Is r a composite number?
False
Suppose -l = -4*m + 6, -5*l + m = -m - 6. Is ((-2330)/20)/(-1*1/l) a composite number?
False
Suppose -4*c + q = -0*c - 1, 3*c - 2 = q. Is (c/(-3))/(6/6786) a composite number?
True
Suppose r = 4, 5*u - 7*u - 4*r + 714 = 0. Suppose u = 2*a - w, 3*w - 777 = -3*a - 258. Is (a/18)/(2/18) composite?
True
Suppose -8 = 3*q + 5*i - 2, q - 18 = 5*i. Suppose -4 = 4*o - 12. Suppose 0 = -4*a + q*u + 388, 136 = o*a - u - 56. Is a prime?
False
Suppose -15*h + 26949 = -7356. Is h composite?
False
Suppose -47*v + 6858 = -24256. Is v prime?
False
Suppose 2*d = -5*o + 42 - 5, 0 = 2*d - 2*o - 2. Is (-5160)/(-2) + (-4)/(2 - d) a composite number?
True
Let b(l) be the first derivative of -116 - l + 113 + 16*l**2 - 3*l**2. Is b(9) composite?
False
Suppose 0 = 27*v - 23*v + 4*r - 15264, -2*r - 10 = 0. Is v a composite number?
False
Let w = -10884 - -20825. Is w composite?
False
Let b(j) = 13*j**3 - 22*j**2 - 22*j + 71. Is b(12) a prime number?
False
Let d(s) be the second derivative of -4*s**3/3 - 15*s**2/2 - 9*s. Is d(-10) composite?
True
Let r(c) = -2 + 2*c - 2*c**2 - 4*c + 213*c**3 + 3*c + 3*c**2. Is r(1) prime?
False
Suppose -25*z + 20 = -20*z. Suppose -z*w = 83 - 431. Is w prime?
False
Let g be (-5)/(75/(-9))*25*1. Is 201*(-1 + 25/g) a prime number?
False
Let w = -12 - -17. Suppose w = -4*x + 5*j, -5*j + 5 = -0. Suppose -5*i - 2*o + 177 = x, -2*i - 4*o - 101 = -5*i. Is i a composite number?
True
Let w be (-84)/(-49) - (4/14)/(-1). Is (-64065)/(-20) + w/(-8) a prime number?
True
Suppose 149 = 4*m + 121. Suppose -28430 = -3*i - m*i. Is i composite?
False
Suppose 4*w = 5*w - h - 9656, 0 = 2*w - 3*h - 19317. Is w a composite number?
True
Suppose -3*c = 3*d - 327, 264 = 5*c + 4*d - 276. Suppose -2*g - 2 = 0, 3*g + c = 4*v - g. Is v a prime number?
False
Suppose p - 2 = y, -5*p + 3*y - 5*y + 10 = 0. Suppose 6*b - 2068 = p*b. Is b a prime number?
False
Let p(r) = 6*r**2 - r. Let d be p(4). Suppose -3*a = -235 - d. Is a a composite number?
False
Suppose 0 = 2*r - 2*q - 1039 - 489, -5*r = q - 3850. Is r prime?
True
Suppose -4*c = 3*y - 20215, -3*y + 0*c + 20195 = -c. Is y a prime number?
True
Suppose 6*k = 7 + 5. Suppose -2*j - 8 = 0, c = 2*c - k*j - 10. Is (-3224)/(-28) - c/14 a composite number?
True
Let l(f) = 2*f**3 + 11*f**2 + 47*f - 13. Is l(24) a prime number?
True
Suppose -4*z + 25 - 9 = 0. Let c be (2 + -1)/((-2)/(-10)). Suppose z*k + 373 = c*k. Is k prime?
True
Suppose 2*t - 4*h - 7 = 1, 0 = -4*t + h + 2. Suppose q = -5*p + 5*q + 970, t = -5*q. Is p composite?
True
Suppose -30*o = -11*o - 120137. Is o a composite number?
False
Let o(j) = 17*j**2 + 63*j + 13. Is o(-21) prime?
False
Let a(j) = j**3 - 9*j**2 - 11*j + 12. Let f be a(10). Suppose -4*w - 5*g = 4001, -1999 = f*w + g + 2*g. Let h = -591 - w. Is h composite?
True
Let t(a) = -a**3 + 39*a**2 - 31*a - 84. Is t(19) a prime number?
True
Suppose 31 = 4*g + 5*v, 4*g - v - 22 = -3*v. Suppose -3*h + 4 = j, -g*h - 3 - 9 = 0. Is j composite?
False
Let x be -4 + -1*(-6)/2. Let w(b) = 5*b**2 + b - 1. Let f be w(x). Suppose 0*h + 2*h - 3*o - 749 = 0, -1122 = -f*h + 3*o. Is h a prime number?
True
Let s(l) = -28*l + 2*l**2 + 10*l + 6 + 2*l**2 + 6*l**3 + 11*l. Is s(5) a prime number?
True
Let j = -14 + 9. Let r(v) = 9*v**2 - 6*v. Let h be r(j). Suppose -n - 2*n + h = 0. Is n prime?
False
Suppose -z = -5*z + 360. Let c = 2239 + z. Is c prime?
False
Let i(y) = 4*y - 19. Suppose -1 = 2*p - 13. Let f be i(p). Suppose -3*x + 4*h = -1145, -4*x + 715 = f*h - 791. Is x prime?
True
Suppose -2*d + 141 = d. Suppose -208 = -5*z + d. Is z a composite number?
True
Let k(q) = 4*q**2 + 11*q + 6. Let z be k(-6). Suppose -n = -z - 61. Is n composite?
True
Suppose 17*x + 4*v = 15*x + 26782, -3*x + 40185 = 2*v. Is x prime?
True
Suppose 3*x - 38512 = -0*x + 5*p, -4*x + 3*p = -51331. Is x a prime number?
True
Let b(p) = p - 12. Let k be b(8). Let g be (-96)/4*2/k. Suppose g = -y + 65. Is y composite?
False
Suppose 14 = 3*m + 5*v, 3*m + 3*v = -2 + 14. Let z(b) = 6*b**3 - 5*b**2 + 6*b + 4. Is z(m) a composite number?
False
Suppose 5*q = 908 + 1722. Let x = 1047 - q. Is x prime?
True
Let v(w) = 0*w - 4 + 18*w**3 + 6*w**3 + 4*w + 0*w**3 + 4*w**2. Let b(k) = 24*k**3 + 5*k**2 + 5*k - 5. Let m(d) = 3*b(d) - 4*v(d). Is m(-2) a composite number?
False
Let o(c) = 2*c**2 - 12. Let i be o(3). Suppose 3*u + x - 13 = 49, u + 4*x = i. Is u prime?
False
Let v(y) = 11*y**2 + 5*y - 8. Let x be v(10). Let z = -785 + x. Suppose -100 = -n + z. Is n a composite number?
False
Let l(h) = 25*h**2 + 37*h - 17. Is l(18) a prime number?
False
Let k = -16590 - -24331. Is k composite?
False
Let x(p) = 2*p - 10. Let w be x(7). Suppose -b - 8 = -w. Is (b/(-6))/((-40)/(-19860)) composite?
False
Is 4/2*(79375/10 - 11) composite?
True
Let z = -922 - -3275. Is z composite?
True
Suppose -w - 4*v - 149 = 0, 0 = 4*w - 5*v + 475 + 163. Let d be (2*-1)/(2/w). Suppose 4*q = o + 2*q - 31, -4*o + d = 3*q. Is o a prime number?
True
Let u = -73 + 78. Is 0 + 862 + (-40)/u + 5 a prime number?
True
Let b(m) be the second derivative of -14*m**4/3 - m**3/6 - 5*m**2/2 + m. Let r(x) be the first derivative of b(x). Is r(-3) prime?
False
Let b be (-3)/4 + (-42)/8. Let v(g) = 18*g**2 - 4*g + 5. Is v(b) prime?
True
Let o(d) = -33*d + 1. Let h be o(-1). Suppose 2*x - 8 + 4 = 0, 3*q = -2*x + 67. Let c = h - q. Is c a prime number?
True
Suppose