0*c + 28 = j*o - c. Is o a composite number?
True
Let r(n) = -50*n - 3. Let u be r(3). Is ((-10)/6)/(3/u) composite?
True
Let k be 9/36 - 414/(-8). Let x = k - 33. Is x prime?
True
Suppose 0 = -4*x - 20, 2*x + 139 = 4*a - 523. Is a prime?
True
Suppose 382 = -5*p - 133. Let q = p + 54. Is (q/(-3))/((-2)/(-6)) composite?
True
Suppose 0*k + 2*k - 478 = 0. Is k a composite number?
False
Let r = 0 + 0. Let o(h) = h + 2. Let b be o(r). Suppose b*l = l + 2. Is l a composite number?
False
Suppose 15 = 8*q - 3*q. Suppose -5*n - 2*w + 122 = 0, q*n + 3*w = -n + 92. Is n composite?
True
Suppose -3*a + 6 = -a. Let v(z) = 3*z**2 - a + 49*z**2 + 3 - z. Is v(1) composite?
True
Let s(v) = -502*v + 2 - 3 + 104*v. Is s(-1) a prime number?
True
Let i(c) = -9*c**3 + 4*c**2 + c - 5. Is i(-4) a composite number?
False
Let c(f) = 6*f**2 - 4*f + 2. Let i be c(6). Suppose -27*g + 29*g - i = 0. Is g a composite number?
False
Suppose 5*u = 7*u - 994. Is u a prime number?
False
Let d = 427 + -33. Is d prime?
False
Let z(m) = 41*m + 2. Let r be z(-3). Let u = -183 - r. Let j = u + 113. Is j prime?
False
Is (127/2)/((-6)/(-36)) a composite number?
True
Let d be (-7 + 4)/((-3)/2). Let h be (-1 - -1*27) + 1. Suppose -89 = -d*j - h. Is j composite?
False
Suppose 3*b - 95 = 3*t + b, -4*t - 108 = 2*b. Let k = t + 76. Is k a composite number?
False
Let w = -6 - -8. Suppose w*a - 662 = 200. Is a a composite number?
False
Suppose -3*t + 100 = -101. Is t a composite number?
False
Suppose -4*z + 1220 = -0*z - 4*u, 8 = 4*u. Is z composite?
False
Suppose 0 = 4*x + x + 15. Let h = 0 - x. Suppose 3*p - 5*v - 32 = 0, 82 = 4*p + h*v - 9. Is p a composite number?
False
Let s be (-2)/(-4)*(3 - -3). Suppose -13 - 2 = -s*v. Suppose 0 = 3*w + 3, -j + 4*w = v*w - 114. Is j a composite number?
True
Suppose -4*m + 12 = -m. Let i(o) = o**3 - 3*o**2 - 2*o - 5. Let f be i(m). Is 2/f + (-758)/(-6) prime?
True
Let x(n) = n**3 - 6*n**2 - 4*n + 5. Let u(d) = -d**3 + 6*d**2 - 7*d + 5. Let h be u(4). Suppose 0 = 4*s - f - 30, s = -0*s + f + h. Is x(s) prime?
False
Let c = 59 - 18. Let q = c - 20. Is q a composite number?
True
Let r be -3 + 6 - (0/3 - 3). Let c be 2/1*(-7)/(-2). Suppose s - c = r. Is s composite?
False
Suppose 0 = l - 3*l + 506. Is -3 - ((-8)/2 - l) composite?
True
Suppose -2*o - 4*t - 10 = 0, -2*o + 7 = -o - t. Suppose 3*b - 5*g - 1 + 0 = 0, -2*b + 7 = o*g. Suppose -4*n = 3*f - 401, -3*f - b*f + 661 = 3*n. Is f composite?
False
Let j(a) be the second derivative of 3*a**4/2 + a**3/3 - 3*a**2/2 - 2*a. Let k be j(3). Suppose -k = -u - 2*u. Is u a prime number?
False
Suppose 0 = 4*u + 5*m - 10, 2*m + 2 = 3*u + 3*m. Suppose -3*b + u*w + 4*w = -17, 7 = 5*b + 4*w. Suppose 0 = -r - 2, -r = -b*n + 176 + 75. Is n a prime number?
True
Let p(a) be the third derivative of a**5/5 + a**4/24 - a**3/3 - a**2. Is p(3) a prime number?
True
Suppose 16*q - 17*q = -213. Is q composite?
True
Suppose -y = u + 2, 3*y + 14 = -0*y - 5*u. Suppose 6*p + 17 = -3*h + 2*p, 0 = h - p - 6. Let a = h + y. Is a composite?
False
Let d = 43 - 35. Let f be 1 - 0 - 1*-13. Let w = f - d. Is w a prime number?
False
Suppose 8*m - 5*m - 6 = 0. Suppose -m*v + v = -467. Is v composite?
False
Suppose -4*f - 19 - 9 = 0. Let u = -5 - f. Is 9/u + (-9)/6 composite?
False
Suppose 4*j = -5*y - 211 + 552, -20 = -4*y. Is j a prime number?
True
Suppose 2 = l - 0*f - f, 4*l - 13 = 5*f. Is (-2)/(l - (-172)/58) a composite number?
True
Let i(u) = -u**3 + 6*u**2 - 3*u + 5. Suppose b + 0*b = -29. Let y be b/(-7) + (-2)/14. Is i(y) a composite number?
True
Suppose -q - h + 2*h = 1, -5*q + 35 = 3*h. Let x be (70/q)/(6/12). Suppose r - 3*c = 203, 4*r + 3*c - 847 + x = 0. Is r composite?
True
Suppose 5*q - 81 - 314 = 0. Is q prime?
True
Suppose -8*r + 2*r + 2274 = 0. Is r a prime number?
True
Suppose -p + 5*p - 4 = 2*j, -p = -4*j + 6. Suppose -j*o = -t + 32, 3*t - 6*t + 126 = 4*o. Is t composite?
True
Suppose -3*y + 8*y - 1830 = 0. Suppose y + 318 = -4*n. Let p = n + 302. Is p prime?
True
Is (-11)/(((-25)/(-85))/(-5)) a composite number?
True
Suppose 0 = -7*l - 3510 + 12001. Is l a composite number?
False
Suppose -4*a + 3*d + 339 = 106, 5*a - 5*d - 295 = 0. Let v = a - 33. Is v a composite number?
False
Let v(x) = -x**3 + 2*x + 7. Let t be ((-3)/1)/(7/14). Is v(t) composite?
False
Let g(y) = 10*y - 15. Is g(10) a composite number?
True
Suppose 3*g + 6712 = 5*z, -g = z - 2*g - 1342. Is z a composite number?
True
Let x = 59 + -91. Let v = x - -215. Is v prime?
False
Let h(g) = -g + 38. Let z be h(0). Let b = 132 - z. Is b prime?
False
Let d = 11 + -9. Is 12 + d/(-4)*-6 composite?
True
Let g be (-80)/(-44) - (-2)/11. Let l(d) = -d**3 - g*d + 0 - d + 2 - 6*d**2 - 1. Is l(-6) a composite number?
False
Suppose 0 = 5*n - 6*n. Suppose 14 + 30 = 4*o. Let v = o + n. Is v prime?
True
Let f(l) = l**3 + 12*l + 5 - 6*l**2 - l + 16*l**2. Let d be f(-7). Let q = 110 - d. Is q prime?
False
Let x(k) = k**3 - 9*k**2 + 5*k + 4. Let l be x(6). Let w = l - -42. Let a = 35 - w. Is a a composite number?
False
Suppose m = -17 - 1. Let o = m + 25. Is o prime?
True
Suppose 3*s - 5 = -56. Let w = 52 + s. Is w a prime number?
False
Let p = 2 - -1. Is (-29)/(-2) + p/6 a composite number?
True
Let w(b) = 2*b**2 - b - 2. Let t be w(2). Suppose h + t*h - 10 = 0. Suppose -h*r - 1 = -7. Is r a prime number?
True
Let d = -4 + 5. Let y be (1 + d)/4*-46. Let i = 80 + y. Is i composite?
True
Is (-112)/24*-145 + 2/6 composite?
False
Let s = -1730 + 3385. Is s a composite number?
True
Suppose 7*h - 3*j - 284 = 2*h, 4*h = -2*j + 214. Is h composite?
True
Suppose 798 = 3*d + x, -4*d + 1087 - 12 = 5*x. Suppose f - d = 6*f. Let r = f + 180. Is r prime?
True
Let j(o) = -o**3 - 8*o**2 - 7*o + 7. Let l be (2 - (-22)/(-4))*2. Let y be j(l). Suppose n - 6 = y. Is n a prime number?
True
Suppose -j = 58 - 759. Is j prime?
True
Suppose 0 = -5*b - 5*g - 3240, 2252 = -5*b + 3*g - 996. Let x = -351 - b. Is x prime?
False
Let z(s) be the first derivative of -3/2*s**2 + s + 2. Is z(-4) prime?
True
Let t = -5 + 8. Is -106*(t + -2 + -2) prime?
False
Suppose -5*v = 5*n - 10, 26 = -2*n + 6*n - 2*v. Suppose 3*q + 686 - 150 = n*t, 3*t + q - 316 = 0. Is t a prime number?
False
Let d(j) = -26*j - 64. Is d(-7) a prime number?
False
Let k(a) = a**3 + 8*a**2 + 1. Let z be k(-8). Let l = -2 + z. Let q(r) = 13*r**2 - 2*r - 1. Is q(l) composite?
True
Is (3 + 1300/8)*2 a prime number?
True
Suppose -1 + 21 = 4*l. Is -5 + l - (-16 + 2) composite?
True
Let t(c) = 1438*c. Is t(1) prime?
False
Let f be (-2)/4 + (-234)/(-4). Let z be f + (-2 - (1 + -1)). Let q = -25 + z. Is q composite?
False
Is (-2631*5/(-15))/1 a composite number?
False
Is (4 - 3) + (-586)/2*-6 a prime number?
True
Suppose 6*f - 1968 = 2934. Is f a prime number?
False
Suppose m = 5*y + 242, 5*m - 5*y = 1109 + 81. Let a = m + -158. Is a a prime number?
True
Suppose -23 - 13 = 2*q. Let j = q + 55. Is j a prime number?
True
Suppose 2*w = -3*r + 8*r + 23, -w = -2*r - 10. Is (w/(-6))/((-2)/21) prime?
True
Is 3140 - (6 + -3)*-1 a composite number?
True
Let p(v) be the second derivative of 11/12*v**4 - 1/2*v**3 + 0 - 3/2*v**2 + 4*v. Is p(-2) composite?
False
Let x(u) = 5*u**2 + u - 3. Suppose 10 = -0*f + 2*f. Suppose 10 = -2*r - f*i, 2*r - i - 2*i = 22. Is x(r) prime?
True
Suppose 0 = -8*a - 10*a + 18882. Is a a composite number?
False
Let t = 27 - -46. Let u = t - 18. Is u composite?
True
Let q(w) = w. Let a be q(-5). Is (-3 - -2)/(a/395) a prime number?
True
Let q(y) = 2*y - 7 - 2 + 8. Let f be q(1). Suppose 14 = m + f. Is m a prime number?
True
Let m(r) = -r**3 + 4*r**2 + 6*r - 7. Let f be m(5). Let p be (-309)/6 + (-1)/f. Is p*2*3/(-9) a composite number?
True
Let b(z) = 6*z - 1 + 0*z + z**3 + 0 - 2. Is b(4) a prime number?
False
Suppose 2*n + u + 0*u = 16, -u = 2. Let g = -10 + n. Let a = 9 - g. Is a prime?
False
Let j(w) = -2*w - 7. Let z be -3 + -2 + (-1)/(-1). Let r be 2 + 4/(z/9). Is j(r) prime?
True
Let x(y) = -y**3 + 2*y**2 + 2*y. Suppose -4*z + 60 = 4*l, -z = -3*l + 10 - 29. Suppose -3*r + 0*v = 3*v + 12, 0 = 5*r + v + z. Is x(r) prime?
False
Let b be (12/(-10))/(8/(-60)). Suppose -5*q = -2*q - b. Suppose q*y = 5*y - 26. Is y composite?
False
Suppose r = -2 + 5. Suppose r*o - 279 - 39 = 0. Suppose c - 3*c + o = 0. Is c prime?
True
Suppose -5*j + 10 = -