1 - z. Suppose -3*k + b = 219. Is k composite?
True
Suppose 21 = 3*k + 4*k. Let g(z) = 78*z**2 + 4*z - 2. Let h be g(k). Let i = h - 203. Is i a prime number?
True
Suppose -2*s = -1865 + 91. Is s prime?
True
Suppose -8277*f = -8269*f - 111784. Is f a composite number?
True
Suppose -4*s - o - 15134 = 0, -4*s + o = 18072 - 2942. Is (s/(-52))/((-6)/(-16)) prime?
False
Let w be 9*(-3)/(4 - 13). Let m be (w - (4 + -2)) + 2. Suppose m*y + 298 = 5*y. Is y composite?
False
Let k(d) be the first derivative of -5*d**4/4 + d**3/3 + 3*d**2/2 - 4*d + 19. Is k(-5) a composite number?
False
Let o = 13097 - 9010. Is o composite?
True
Suppose -73035 = -17*g + 118606. Is g prime?
True
Let r(s) = s - 63 + 63. Let x be r(4). Suppose -z + 715 = x*z. Is z a composite number?
True
Let b = 1629 - 169. Let o = b - 850. Suppose w - o = -3*v, -4*v - w + 234 = -581. Is v composite?
True
Let o = -29 + 29. Suppose -2*s + 0*s - 2*y + 2336 = o, -2*y + 5843 = 5*s. Is s composite?
True
Is 1087 - 6/30*0 prime?
True
Suppose 0 = 4*y - 6*y + 60. Suppose -v - v + y = 0. Suppose 2*x + 4*q + 79 = 3*x, 5*q = -v. Is x prime?
True
Let j = 17 - 2. Suppose 0 = -3*b - j, 0*z = -2*z + 5*b + 221. Suppose z = -4*o + 310. Is o prime?
True
Suppose 9*n + 155 = 14*n. Let u = n - 28. Suppose 0 = -4*t + 3*t - u*c + 428, 5*c - 2110 = -5*t. Is t prime?
True
Let g(y) be the third derivative of 0*y + 2/3*y**3 - 9/8*y**4 + 0 - 5*y**2. Is g(-6) prime?
False
Let r(l) = -l**3 - 2*l**2 - l + 9. Let n be r(0). Is 14602/(-21)*n/(-6) a prime number?
False
Let v(l) = 5*l**3 + 6*l**2 + 10*l - 12. Let b(o) = o**3 + o. Let k(x) = 4*b(x) - v(x). Is k(-9) composite?
True
Suppose 0 = -q + 4*q + 480. Let v(b) = 2*b**2 + 6*b + 11. Let y be v(-10). Let s = y - q. Is s composite?
False
Let b(p) = -239*p + 3. Let t be b(5). Let x = -629 - t. Is x a prime number?
True
Let y(h) be the third derivative of h**5/10 + 5*h**4/8 - 19*h**3/6 + 16*h**2. Is y(18) composite?
True
Let t(u) = -u**2 - 2*u + 2. Let q be t(-4). Let w = q + 8. Is (17 + w)*(-1 + 2) prime?
True
Let y be (-48)/(-18)*9/12. Suppose i = -2*x - 49, -3*x + x + y = 0. Let v = 32 - i. Is v a prime number?
True
Suppose -25*m + 337347 = -16*m. Is m a composite number?
False
Suppose -12*b = -83306 - 132598. Is 4/22 - (3 - b/22) a composite number?
True
Let q(d) = -d**3 + 7*d**2 - 6*d + 10. Let n be q(6). Suppose -6*a + n*a = 0. Suppose 3*o - 267 = -a*o. Is o prime?
True
Suppose -6 = 12*f - 15*f. Suppose f*d + 4 = 0, -3*d + 1986 = 4*r - 2*d. Suppose -1578 = -5*v + r. Is v composite?
True
Let o be 5281 + (-2)/(-1)*1 + 2. Suppose 3*b - 3*w = 4158 - 987, w - o = -5*b. Is b a composite number?
True
Let o(j) = j**2 - 15*j - 30. Let u be o(17). Suppose -5*z + 5478 = u*s, 3*s + 0 - 6 = 0. Is z a composite number?
True
Let o(v) = 84*v**2 - 6*v + 12. Let k be o(-10). Suppose -3*u + 3441 = 3*n, 5*u + n + 2721 = k. Is u composite?
False
Suppose -4*s + 1143 + 9789 = 0. Let a = -1372 + s. Is a a prime number?
True
Let x = -1634 - -2403. Is x composite?
False
Let o(c) = -c**2 - 6*c - 2. Let q be o(-5). Suppose q + 1 = -5*d + s, -s = 3*d + 4. Is -6 - -214 - (2 - d) prime?
False
Let b(h) = h**3 + 15*h**2 - 16*h - 17. Let l be -32 - (3 + -4 + 0). Let a = l + 16. Is b(a) prime?
True
Let l be (-2 - 0) + 30/5 + -5. Is l/(1440/(-1438) - (-9 + 8)) prime?
True
Suppose -3*t + 26 = v, 4*t - 4*v - v = 22. Let c = t - 15. Let j(w) = -20*w + 1. Is j(c) prime?
False
Suppose 6*a - 17944 = -2*a. Is a a composite number?
False
Suppose 6*g - 82784 = -7*g. Let x = g + -4315. Is x prime?
True
Let n(d) be the third derivative of -7/6*d**3 + 0*d + 9*d**2 + 35/8*d**4 + 0. Is n(2) prime?
False
Let m(a) = -13*a**3 - 16*a**2 + 5*a + 2. Let q(o) = -9*o**3 - 11*o**2 + 3*o + 1. Let s(h) = 5*m(h) - 7*q(h). Let i = -5 + 1. Is s(i) a prime number?
True
Let z(o) be the first derivative of -127*o**2/2 - 24*o - 35. Is z(-25) prime?
False
Let m(i) = i**2 + 2*i - 6. Let p be m(5). Let r = 39 - p. Is r a composite number?
True
Suppose -4*f + 9 = s, 4*f - 9 - 3 = -4*s. Suppose -f*j + j = 4, 5*j = a - 2199. Is a a composite number?
False
Let k(d) = 14*d**3 + 22*d**2 + d - 38. Is k(11) a composite number?
False
Suppose -5*n = -36 - 9. Suppose n = g + 2*g, 2*q - 5*g + 5 = 0. Suppose -q*v + 20 = 0, -2*o - 2*v + 94 = 3*v. Is o a composite number?
False
Suppose 2*w + 0 - 5 = a, -w - 2*a = 0. Is (-1 - w) + (-2 - -1 - -2099) a composite number?
True
Suppose -2*d + 58 = 16. Let p be (-100)/(-7) - 6/d. Is 6/p + 172/7 a composite number?
True
Suppose 4*m = 3*z - 19, 2*z + m = 5*z - 16. Let g(l) = 2 - 5 + 37*l - 12*l + 0. Is g(z) a prime number?
False
Suppose 25 = -5*g, 2*i + g = 3*i + 190. Let r be 6/(((-6)/i)/1). Suppose -2*n - n + r = 0. Is n composite?
True
Let n be 17/(680/(-80224))*(-10 + 0). Suppose 4*w + 1316 = n. Is w composite?
True
Suppose 3*w = -9*w + 22716. Is w a composite number?
True
Let h(m) = 5*m**3 - 16*m - 16. Let z(o) = 4*o**3 + o**2 - 15*o - 16. Let u(s) = 3*h(s) - 4*z(s). Is u(-13) composite?
False
Let l(p) = -1398*p**3 + 4*p**2 + 4*p + 1. Suppose 3*x = 15, 0*i + i - 3*x + 16 = 0. Is l(i) prime?
True
Suppose 5*i - 3264 = 4*f, -1599 - 2514 = 5*f + 2*i. Let a = f + 1483. Is a prime?
False
Let t be 2/4*(850*-20)/(-5). Let o = t + -339. Is o prime?
True
Let x(l) = 1. Let t(v) = 53*v**3 + 2*v**2 - v + 3. Let s(y) = -t(y) + 2*x(y). Let u be 14/(-6) + (-1)/(-3). Is s(u) composite?
True
Let k(j) be the second derivative of -j**3/6 - 12*j**2 + 2*j. Let b be k(0). Is (-4568)/b - 4/(-6) composite?
False
Let v = 17797 + -6782. Is v a composite number?
True
Let q be (-42)/(-3)*(-398)/4. Let c = 1504 - q. Is c composite?
False
Let y = 29 - 26. Suppose -2*p - 2*a + 1112 = -0*a, 2*p + y*a - 1111 = 0. Is p prime?
True
Let p be (-14)/(-7) + 2*2. Suppose 4*f + 402 = p*f. Is f a composite number?
True
Let s(u) = u**2 - 5*u + 30. Let a be s(14). Suppose -5*o - 88 = -2*d + a, 0 = d - 4*o - 119. Is d prime?
True
Let z(p) = 90*p**2 - 5*p - 4. Let q be z(-3). Let w = q - 238. Is w prime?
False
Suppose -5*x - 4*j + 1625 = -0*j, -2*j = -x + 311. Is x a composite number?
True
Suppose h + 3*h = -2*r + 18, 5*h = 4*r + 3. Suppose -5*u - 5*s - 3622 = -8*u, -3572 = -r*u - 5*s. Is u a composite number?
True
Let w be 3*(-6*1 + 4/4). Is (-715)/w*17 - 12/9 a composite number?
False
Let z = -605 - -347. Let p = -151 - z. Let c = p - 48. Is c a composite number?
False
Let v be 0 - (-3)/((-2)/(-2)). Suppose 0 = -19*s + 22647 - 6592. Suppose 2*w + v*w - s = 0. Is w composite?
True
Suppose 4*v - 5*y = 152688, -2*v = 4*y - 39835 - 36483. Is v a prime number?
True
Let g(a) = 160*a**3 + a**2 + a - 1. Let c(m) = m**3 + 5*m**2 - 7*m - 4. Let l be c(-6). Suppose 5*v = q - 0*v + 9, -q + l*v - 3 = 0. Is g(q) a composite number?
True
Let c(t) = -t**3 + 3*t**2 + 13*t + 14. Let i be (-1258)/153 + 3/((-54)/(-4)). Is c(i) a composite number?
True
Suppose 4*t + 2*p + 0*p - 6914 = 0, -10 = 2*p. Suppose -5*o + t = -994. Is o a composite number?
True
Let q = 10 + -8. Let c be 7*(q + (-44)/28). Suppose f - 4*d - 760 + 2 = 0, 0 = -3*f + c*d + 2292. Is f a composite number?
True
Suppose 7 = -2*v - 9. Let x(q) = -7*q + 3*q**3 - 4*q**3 - 14*q**2 + 7*q**2 - 5. Is x(v) a prime number?
False
Let w(j) = 33*j**2 + j - 16. Let n be w(-6). Suppose 6*z = 4*z + n. Is z a prime number?
False
Is 12/(-36) + 88/(-6)*-815 a composite number?
False
Let t = 620 - 180. Let v be (-12)/(-5)*t/16. Suppose -4*i = 2*r - 4*r + v, 198 = 5*r + i. Is r prime?
False
Let u be (-6)/(-1) + 3/3*-3. Suppose x - 6*j = -4*j + 291, -2*x + 596 = u*j. Is x composite?
True
Suppose -7*w - 19*w = -30446. Is w prime?
True
Is -6*-3*10629/54 a composite number?
True
Let z(n) = -n - 9. Let u be z(-8). Let w be ((-514)/u)/(15/30). Suppose -2*b - 3*x + x = -416, 5*b = -x + w. Is b composite?
True
Suppose -5*m - 121000 = -5*z, -2234 + 74830 = 3*z + m. Is z a composite number?
True
Suppose -86*t + 5637 = -85*t. Is t a prime number?
False
Suppose 5*n + 5*o - 537 = 413, -5*n + 5*o = -950. Let w = n + -32. Is w prime?
False
Let l(p) be the third derivative of p**6/120 - p**5/60 - p**4/4 + p**3/6 - 4*p**2. Is l(4) a composite number?
True
Suppose x + 0*x + c - 9 = 0, -4*x - 5*c = -40. Suppose 0*y + 20 = -x*y, -5*w = -3*y - 27. Suppose -1464 = -5*p - 3*g, 2*g - 3 - w = 0. Is p a composite number?
True
Suppose w - 7630 = 3