-n**2 - 5*n + 3. Let f be w(-5). Suppose 0 = -f*m - 0*m + 165. Is m composite?
True
Let s(i) = 90*i**3 - i**2 - 2*i + 3. Suppose 0 = -3*d + 6 - 0. Let x be s(d). Let k = -182 + x. Is k a prime number?
False
Let j = 0 + 0. Suppose 3*x + 0*x - 885 = j. Let b = x - 134. Is b a prime number?
False
Let g be (-1)/(14/12 + (-15)/10). Is 1561*(g + (-4 - -2)) prime?
False
Let t = -34961 + 65335. Is t prime?
False
Let d(u) = -4*u - 7. Let r be d(-7). Let t be ((-14)/r)/(2/3). Is (58 - t)/((-3)/(-15)) prime?
False
Let j = -8550 - -34301. Is j composite?
True
Let m = 7 + 314. Suppose -4*s - m = -3677. Is s a composite number?
False
Let j(n) = -n**3 + 10*n**2 + 2*n - 15. Let s be j(10). Let t = 11 + s. Suppose -12*l + t*l = 3148. Is l prime?
True
Is (28619 - (20 + -11)) + -11 a prime number?
False
Suppose -203421 - 2362478 = -67*y. Is y prime?
False
Let j = -23 - -15. Suppose 7 = -3*a + k - 7, 3*a = 4*k - 20. Is 82 - (-1 - j/a) a prime number?
False
Let i(r) = 4426*r + 15. Is i(1) a prime number?
True
Let v be (-1)/((-2)/48*3). Let j(y) = 2*y**2 + 9*y + 1. Is j(v) a prime number?
False
Let z be (-10)/40 - 2/(-8). Suppose 4 = -u + 8. Suppose a - 3*j - 736 = z, -u*a - j + 1174 + 1835 = 0. Is a a composite number?
False
Suppose 14*c - 11*c = 2*y + 75481, -4*c + 5*y = -100639. Is c a prime number?
False
Suppose 5 - 27 = i - 3*b, 4*i + 66 = b. Let c(u) be the first derivative of -7*u**2/2 - 18*u + 65. Is c(i) a composite number?
True
Suppose 3*d + 5*i + 29 = 0, -2*d = -i + 3*i + 14. Let k be (d + 3)/(-4) - -3. Let v(y) = 7*y**3 - 5*y**2 + 5*y - 2. Is v(k) a prime number?
True
Is (-62949)/(-9) + (-50)/(-75) composite?
True
Let l(p) = -2*p**2 + 17*p - 11. Let g be l(8). Let r(o) = 24*o**2 + 3*o - 4. Is r(g) a composite number?
True
Let p = 3 - -1. Suppose -b + 29 = p*h - 284, 4*h + 3*b - 307 = 0. Is h prime?
True
Suppose 3*a = 233 + 754. Is a composite?
True
Let d(q) = q**2 - 7*q + 8. Let i be d(5). Let b be i/((-3)/6*1). Let p(r) = 5*r**2 + r - 5. Is p(b) a composite number?
False
Is (-4 + 38)/((-7292)/(-2428) - 3) a prime number?
False
Suppose 1 = 5*k - 2*u - 26, 2*k + 3*u - 7 = 0. Suppose -k*q + 402 = t, 3*t + 2*q + 1983 = 8*t. Is t composite?
False
Let c = 359 + -512. Is (-3)/(-18)*148*c/(-6) composite?
True
Suppose -4*q + 8 = 4*c, -q - 5*c = -0*c + 10. Suppose 0 = s + q. Let p = 38 + s. Is p a composite number?
True
Let j be (-46)/(-14) - 4/14. Let l be (-40)/(-6)*(6 - (-168)/(-32)). Suppose -3*t - j*h = -159, 210 = 2*t + 2*t + l*h. Is t composite?
True
Let p = 1 + 4. Suppose 120 = -2*b + 4*l, 3*b + 275 = -2*b + p*l. Let o = b - -71. Is o prime?
False
Let g = -380 + 804. Suppose 49 + g = t. Is t composite?
True
Let d(r) = -153*r - 1. Is d(-4) a composite number?
True
Suppose 695 - 7197 = -2*n. Is n prime?
True
Let b(h) = 913*h - 21. Suppose -4*u - 5*n + 6 = 0, -2*n + 2 = -2*u - 7*n. Is b(u) a prime number?
True
Let g be 1 + 1 - (-92 - -5). Suppose 0 = -3*s - g - 88. Let v = 117 + s. Is v prime?
False
Let f(z) = 529*z**2 + 17 - 513*z**2 + 4*z + 24*z. Is f(14) a composite number?
True
Suppose -w + 95 = -5*t, 12 + 43 = -3*t + w. Let k be 32/t*5/(-2). Suppose -2*g - 115 = 3*u - 740, 2*u - 438 = k*g. Is u a prime number?
True
Suppose 3*g = -2*g - 80. Let x = g + 41. Is x composite?
True
Let q be 1/(-2) - 15/2. Let z(k) = -62*k - 25. Is z(q) a composite number?
True
Is 58 - -16723 - (-24)/(-2) composite?
True
Is -3917*(-4 - (-16)/8) - 3 prime?
False
Suppose 11 = 2*i - 59. Suppose 2*f + 3*g - i = 0, -15 = f - 10*g + 5*g. Let p = f + 49. Is p composite?
False
Let m(l) = -2153*l**2 + l - 2. Let h(a) = 4306*a**2 - 3*a + 5. Let q(f) = -3*h(f) - 7*m(f). Let z be q(-3). Is z/40 - (-3)/4 a composite number?
True
Is 1/(5/20) - -15967 composite?
False
Suppose -2691 = -4*u + 1073. Let s = -564 + u. Is s composite?
True
Suppose n = 2*p - 4*p + 9749, 0 = 2*p + 4. Is n composite?
True
Suppose -18*d = 55200 - 539778. Is d composite?
False
Suppose -4*g + 23 = 3*l - 0*l, -5*l = -5. Suppose 652 = g*o - o. Is o a prime number?
True
Let d be (-2)/8 - 1150/8. Suppose -k = 5*l - 7*l + 140, -2*k = 0. Let o = l - d. Is o prime?
False
Let y = 23 - 19. Suppose 4*h + 5 = -5*p + 19, y*h + 16 = 0. Is 9975/60 - p/(-8) a prime number?
True
Let y = 1129 + -252. Is y composite?
False
Let k(v) = -v**2 - 10*v + 14. Let f be k(-11). Suppose 4*u + f*x - 7 = 3*u, 5*u + 5*x = 15. Is (-4 - -188) + u/1 a prime number?
False
Let w = 19 + -16. Let g = -30 + w. Is (-2)/3 + (-3447)/g a composite number?
False
Let m(j) = j**3 + 18. Suppose -2*g + 0*g = -o, 4*o + g = 0. Let b be m(o). Is ((-3516)/b)/(2/(-3)) prime?
True
Let t(w) = w**2 + 2*w**2 - 2*w - 2*w**2 + 4. Let x(b) = b**3 + 14*b**2 - 16*b - 12. Let d be x(-15). Is t(d) prime?
True
Let n(o) = 4 - 6*o - 79*o + 0. Let v be n(9). Is v/(-11) + 6/(-33) a composite number?
True
Let i be -2335 - -2 - 10/5. Let w = -1184 - i. Is w a composite number?
False
Let w(i) = 4*i**2 + 9*i + 9. Suppose 2*v + 5*a + 25 = 0, 5*a = -5*v + a - 54. Let u = -20 - v. Is w(u) a prime number?
False
Let t be (-1)/(1/(-20)) - -3. Let c be (4 - 3)/(1/46). Let z = t + c. Is z composite?
True
Let f be 26/(-78) - ((-26)/6 + 1). Suppose 2432 = f*y - 775. Is y prime?
True
Let i(t) be the first derivative of -t**4/4 + 20*t**3/3 + 6*t**2 - 24*t - 7. Is i(17) composite?
True
Let u = 2 - 0. Suppose -u*y + 8 = -2*n, -5 = -2*y + 6*n - n. Suppose z - 7*t = -2*t + 174, 0 = 5*t + y. Is z a composite number?
True
Let u(d) = -d**2 + 13*d - 4. Let x be u(13). Let k = 14 + x. Is (-1247)/(-5) - 4/k a prime number?
False
Let r(c) = c**2 + 7*c + 5. Let i be r(-8). Let d = i + -10. Is (-2)/(2/d) - -206 a composite number?
True
Let u(o) = -16*o - 17. Let d be u(13). Let w = d + 564. Is w composite?
True
Suppose -17*o = -3*z - 15*o + 214062, 0 = 5*o. Is z composite?
True
Let k = -3691 + 5267. Let o(f) = -3*f**3 + 10*f**2 + 4*f + 7. Let j be o(8). Let v = k + j. Is v composite?
False
Let u = 33 + -31. Suppose u*g = -3*c - 2*c + 423, 0 = -3*c + 2*g + 241. Is c composite?
False
Let m(r) = r**2 + 2*r - 8. Let f be m(3). Let x(v) = 73*v - 14. Is x(f) prime?
False
Let n be 0/((-4 - 2) + 2). Suppose 4*h = 3*k - 1557, n = 5*k + 2*h - h - 2595. Is k a composite number?
True
Let x(y) = -1055*y**3 + 3*y - 9. Is x(-4) a prime number?
True
Suppose 0 = f - 1 - 3. Suppose -f*i + 851 = 343. Is i prime?
True
Let n = 10 - 9. Let q be (0 - 3) + 218/n. Suppose -2*t + 11 = -q. Is t composite?
False
Let y(l) = 2*l**2 - l - 3. Let d be y(3). Let n = 198 + -61. Let g = n + d. Is g composite?
False
Let l = -11971 + 20436. Is l composite?
True
Let s(w) = w**3 + w**2 + w + 17. Let v be s(0). Let h be v/2 + (-3)/(-2). Is (276/8 - 1)*h a composite number?
True
Let v be ((-4)/6)/(6/(-18)). Is -5*v*388/(-8) a prime number?
False
Let z = -8472 - -14545. Is z prime?
True
Let d(k) = k**3 + 50*k**2 - 110*k + 241. Is d(-52) a prime number?
False
Let a(z) = 4*z + 2. Let u be a(-3). Let d = -13 - u. Is 4*(-123)/18*d a composite number?
True
Let u be (6 - 5)/(1/3). Suppose -3*g = -0*i + i - 79, -u*i = -2*g + 38. Let p = g + 106. Is p a prime number?
True
Let j = -6487 - -9873. Is j composite?
True
Let d(h) = 2*h**2 - 4*h - 41. Let b(o) = -o - 29. Let r be (-145)/13 + 38/247. Let x be b(r). Is d(x) prime?
False
Suppose -2*c = -7 + 3. Suppose i + c*i = 669. Is i prime?
True
Suppose 0 = -5*m - 17 + 37. Suppose -79 + 4289 = m*o - 2*p, o = p + 1050. Is o prime?
False
Is 7 - (5 - -7575)/(-2) composite?
False
Let j(h) = 10*h. Let c be j(1). Suppose 5*y - 4*y - c = 0. Suppose -2*a = y - 248. Is a prime?
False
Let l(o) = 9*o**3 - 13 - 8*o**3 + 12*o**2 + 20 - 10*o + 18. Is l(-12) a prime number?
False
Let o(a) = a**2 + a - 6. Let v be o(-4). Let l(h) = -h**2 + 15*h - 5. Let x(k) = 1. Let m(n) = l(n) + 4*x(n). Is m(v) composite?
False
Let k(w) = -56*w. Let p(z) = 56*z - 1. Let y(r) = 4*k(r) + 5*p(r). Let x(f) = -f**3 - f**2 - 3*f + 6. Let b be x(0). Is y(b) composite?
False
Let l(f) = 486*f**2 + f + 7. Is l(-2) composite?
False
Let z = 823 + -578. Suppose 3*w + 7*k - 330 = 2*k, 2*w - 5*k = z. Suppose -7*j + 6*j + 5*p = -w, -3*j - 3*p = -345. Is j a composite number?
True
Let y(g) = -4*g - 4. Let o be y(-3). Let v = -5 + o. Suppose 4*a = -5*p + 89, 5*a - 2*a = -v*p + 51. Is p a prime number?
False
Let n = 2878 - -415. Is n composite?
True
Let y(b) = b*