32*h**2 - 2*h - 1. Let g be o(-1). Let v(p) = 11*p + 64. Let a be v(-21). Let n = a + g. Is n prime?
False
Let k = 414 + -235. Suppose 4*y - 465 = k. Is y prime?
False
Let l(t) = -3*t - 24. Let c be l(-9). Is (3 + -1 - c)/(7/(-1309)) prime?
False
Let q(i) = -i**3 - 5*i**2 + 8. Let d(o) = -o + 11. Let h be d(10). Let r be (h - -13)/((-4)/2). Is q(r) a prime number?
False
Let w(x) = -2*x + 26. Let n be w(12). Suppose -n*t = -t - 3803. Is t a composite number?
False
Let x(c) = -c**3 + 7*c**2 + c - 6. Let v be x(7). Let r be 2 + 2 - v*2. Suppose 0 = -r*l + 801 + 937. Is l a prime number?
False
Is 9200 + (-8)/(32/12) prime?
False
Let s(z) = 6*z**2 - 25*z + 71. Is s(30) composite?
False
Let y(o) = 62*o**2 + 16*o + 119. Is y(-8) a prime number?
False
Let b = -22 + 23. Is ((b - -1) + 39/(-3))*-1 a prime number?
True
Let u be 9/((-9)/(-2) + -3). Suppose 1610 + 2200 = u*p. Is p composite?
True
Let y(g) = g**3 + 7*g**2 + 8*g - 9. Let v be y(-5). Let f be (v/2)/(6/132). Let x = f - 1. Is x a prime number?
False
Let u = 25 - -190. Let i = u - -39. Is i a prime number?
False
Let y(a) be the first derivative of -131*a**2 - 3*a + 9. Let v be y(-8). Suppose 5*m - 162 = v. Is m a prime number?
False
Let r(f) = 11*f + 943. Is r(-19) a composite number?
True
Suppose -3*q = 2*o - 74749, 31*q - 4*o - 74755 = 28*q. Is q composite?
False
Let y be ((-438)/(-12)*-12)/(-2). Let a(l) = 99*l**2 + 2*l + 1. Let n be a(-1). Let f = y - n. Is f a prime number?
False
Let y = -1387 - -923. Let l(d) = -4*d**2 + 3. Let a be l(-8). Let u = a - y. Is u composite?
False
Let o = -736 - -2690. Is o prime?
False
Let w be ((-4)/(-2))/((-3)/(-6)). Let s(z) = -2*z**3 + 7*z**2 - z - 3. Let b be s(3). Suppose -b*y - 49 = -w*y. Is y a composite number?
True
Let x(m) = -693*m + 35. Is x(-8) a composite number?
True
Let x be 1/(-2)*6 + 9. Suppose 0 = -2*f + x - 0. Suppose -f*t + 2*t = -453. Is t prime?
False
Suppose 15*l - 44772 = 11*l. Let s = l + -1328. Is s composite?
True
Suppose -2*w + 2 = -3*w. Is 447/(3*w/(-4)) composite?
True
Let j(w) = 3*w**2 + 2*w - 12. Let t be (-4)/6*273/(-26). Is j(t) composite?
False
Let v = -651 - -1630. Is v a composite number?
True
Let k = 17293 - 8670. Is k a composite number?
False
Let a(h) = h**2 - 14*h + 27. Let w be a(12). Suppose -t - 2*f + 293 = -w*f, 2*f - 1148 = -4*t. Is t prime?
False
Let o(h) = -773*h - 5. Let t be o(3). Let d = -271 - t. Is d a prime number?
True
Suppose -602*t + 605*t = 30471. Is t prime?
False
Let w(b) = -8*b**3 - 2*b**2 - 10*b - 13. Is w(-6) prime?
False
Let g = -9156 - -16969. Is g composite?
True
Let n(o) = -46*o**3 + 1. Let j be n(-2). Let y(i) = i**2 - 2*i - 2. Let l be y(-28). Let m = l - j. Is m composite?
True
Suppose 88202 = 18*i - 2608. Is i composite?
True
Suppose -88461 = -7*a - 2*a. Suppose 6*v - a = 329. Is v prime?
True
Let s(x) = -36*x**2 - 30*x**2 + 5*x + 2 + 67*x**2 - 7*x**3. Is s(-3) composite?
True
Let l be (-3)/9*0 - (3 - 1). Is (1223 - l) + 1 + (3 - 2) a composite number?
True
Let o = 1609 - 600. Is o prime?
True
Let x = -3084 + 5043. Suppose -4*h = -x - 293. Is h composite?
False
Let j be (-390)/(-54) - (-4)/(-18). Let i = -284 + 462. Suppose -s + i + j = 0. Is s a composite number?
True
Let s(p) = -p**2 - 14*p + 10. Let g be s(-10). Let n = 5 + -1. Suppose 2*c = 3*q + g + 6, -163 = -5*c - n*q. Is c prime?
True
Suppose -12 = 4*b, -3*j - 3*b - 12 = -93. Let w be (-715)/(-78) + (-2)/12. Let v = w + j. Is v prime?
False
Suppose -22*v + 36633 + 10205 = 0. Is v composite?
False
Let d(w) = -3*w**3 + 4*w**3 - 1 + 0*w - 7*w - 3*w. Is d(6) prime?
False
Let r = -6054 - -11427. Suppose 3229 = 3*k + 5*q, 0*q = 5*k + 4*q - r. Is k prime?
False
Let m = -473 + 274. Let x = m + 952. Is x prime?
False
Suppose -3*n - n + 23810 = 2*t, 5*n - 35718 = -3*t. Is t a composite number?
True
Let n = 44 + -41. Suppose -12 = -4*w, -5*h - 5*w = -n*w - 2336. Suppose -h = 7*b - 1355. Is b prime?
True
Let r(h) = h - 5. Let p be r(6). Let m(g) = -2*g**2 + 6*g + p + g**2 + 3*g. Is m(4) prime?
False
Let t be (55/(-44))/(2/(-8))*-4. Let h be (6/6)/((-1)/16). Is (h/t)/(4/590) composite?
True
Suppose -4*t - t - 5*u = -23730, 14233 = 3*t + 2*u. Is t a composite number?
True
Let z = 3665 - 62. Is z a composite number?
True
Is (-9)/(-63) - (0 + 5344/(-28)) a composite number?
False
Suppose 21*i = 18*i + 2226. Let o = 381 + i. Is o prime?
True
Suppose 165 + 234 = 3*w. Let b(j) = 3 - 6 - w*j + 4. Is b(-2) composite?
True
Suppose -48*z + 227615 = -43*z. Is z a prime number?
True
Suppose 0*d + 15 = -2*d + 3*p, 3*d + 5 = p. Suppose d = -o - h, o + 4*h = 2*o + 15. Is (-585)/(-10) + o/2 a composite number?
True
Let l(o) = -4*o - 1. Let s be l(-1). Let v be 182 - (-2)/((-1)/1). Suppose -v + 441 = s*w. Is w composite?
True
Suppose -2*w + 64 = -184. Suppose 472 = 2*l - w. Is l a composite number?
True
Suppose 71*c - 852300 = 1096579. Is c composite?
False
Is 14755 - (6 + -14 - -2) prime?
False
Let r(f) = -15*f**2 - 4*f - 8. Let u(w) = 76*w**2 + 20*w + 39. Let t(q) = -11*r(q) - 2*u(q). Is t(-4) a prime number?
False
Suppose -87*a = -80*a - 180838. Is a a prime number?
False
Suppose 4*j - 4 = 0, -5*b - 4*j + 15 = -9. Suppose -4*w + 10552 = b*w. Is w a composite number?
False
Is (-1 + (-1 - 18056))*4/(-8) composite?
False
Let o = 79 + -100. Is ((-133)/o - 6) + 14554/6 prime?
False
Suppose f - 136 = -2*y, 0 = -5*y - f + 6*f + 370. Suppose -8*h - y = -9*h. Suppose 34 = 4*r - h. Is r prime?
False
Let f = 30764 + -5509. Is f composite?
True
Let h = -10921 + 5888. Let n = -2980 - h. Is n a composite number?
False
Suppose -5*m + 7316 + 7469 = 0. Is m a prime number?
True
Is (1/2*-2)/(91/(-1163981)) a composite number?
False
Let a(c) = -168*c - 1. Is a(-9) a prime number?
True
Suppose m = 4*v - 1520, -v - 3*v - 3*m = -1536. Suppose -v = -0*h - 3*h. Is h a prime number?
True
Let m(z) = -z**2 - 12*z - 8. Suppose 3*t - 13 = -46. Let c be m(t). Is (0 + 1191)/c*1 a prime number?
True
Let b = -13 + 16. Let f be (b - 1/3)*-15. Let n = f - -125. Is n prime?
False
Let n be 3 + -1 - (-54)/3. Let h = n - -45. Is h a prime number?
False
Let t = 62 - 58. Let f(x) = 21*x**2 + 4*x + 2. Let p be f(-3). Suppose -4*w = n - 42, 0 = t*n - 2*w + 7*w - p. Is n prime?
False
Let w(o) = 8 + 0*o - 8*o + 0*o + 0 + 2*o**2. Let m be w(4). Is (-12)/m*(-26)/3 composite?
False
Let m(l) = 0 - 19*l - 29*l - 7. Suppose -5*k = 19 + 1. Is m(k) a prime number?
False
Suppose 4*q = 3*q + 933. Suppose 4*n - q = 95. Is n prime?
True
Let u be (0 - -1) + -1 + 16. Let r = u + -10. Suppose r*t = 9*t - 867. Is t a prime number?
False
Suppose 283201 - 116174 = 7*n. Is n prime?
False
Suppose 2*j + 5*n - 1701 = 0, 1711 = 2*j + 2*n - 7*n. Let w = 3170 - j. Is w a composite number?
True
Suppose 0 = -3*h + 74 + 70. Suppose -h - 84 = 4*j. Is 162*j/(-6) + -2 prime?
False
Let n be (66/8)/((-1)/(-28)). Let l = -176 - -60. Let g = l + n. Is g a prime number?
False
Let w(d) be the first derivative of 9*d**5/4 + d**4/12 - d**3/6 - 2*d**2 - 10. Let q(g) be the second derivative of w(g). Is q(2) a composite number?
True
Let z = -47 + 49. Suppose -z*n + 9*n = 8351. Is n composite?
False
Let x(o) = 22*o + 21. Let c(z) = -44*z - 43. Let q(k) = 4*c(k) + 9*x(k). Is q(5) prime?
True
Suppose 3*x - 60 = -r, -4*r = -r + 2*x - 173. Let m = -26 + r. Is m prime?
True
Let u(w) = 1503*w**2 + 34*w - 113. Is u(4) a composite number?
False
Suppose 4*o = 4*x, -3*o + 3 = -8*o + 2*x. Is ((-7)/4 - o)*-2228 a prime number?
False
Suppose 16 = 4*q, 5*q + 0*q + 1415 = -5*z. Let r = z - -498. Is r prime?
True
Let x(m) = -4*m - 2. Let w be x(-5). Suppose 16*s = w*s. Suppose s = 3*v - 18 - 15. Is v composite?
False
Suppose 21*z - 3352 = 17*z. Suppose -z = 13*m - 15*m. Is m a prime number?
True
Is 10 + 7 + 42290 + 10 prime?
False
Let r be 4/(-8) - 10/(-4). Suppose r*a = a. Let k = 55 + a. Is k a composite number?
True
Let v = 2034 - -457. Is v composite?
True
Suppose 0 = -5*o + 2*v + 70711, -4*o + 60473 - 3903 = -v. Is o composite?
False
Let c(x) = -x**3 - 3*x**2 - 2*x + 4177. Is c(0) a prime number?
True
Is ((-10483)/44)/((-1)/4) prime?
True
Let b = 55490 - 38497. Is b composite?
False
Suppose -10*a + 15*a - 62485 = 0. Is a composite?
False
Let g be 14/(((-28)/(-8))/7). Let x = g - -57. Is x composite?
True
Let n be (-18 - 2)/5 - -4. Is -6*(155/(-10) 