Suppose 3*o - 15 = 0, 2*s - o = o + 14. Is (-537)/s*(-2)/3*6 a composite number?
False
Suppose 0 = -r + 22350 + 4949. Is r a prime number?
True
Let f(u) = 77*u**2 - 14*u + 1. Is f(-10) a composite number?
False
Suppose -2*s - 582 = -0*s. Let b = 598 + s. Is b a prime number?
True
Is 47/((24/124)/6) prime?
False
Let k be -1*(5 + (-12 - -5)). Suppose -2*z + 0*z + k*a = -5488, 10967 = 4*z - a. Is z a prime number?
True
Is (5/10)/(3/5442) a composite number?
False
Is (-33)/(-12)*2*1198 a prime number?
False
Let k(n) = n**3 - 2*n**2 - 3*n + 4. Let m be k(4). Let f = 655 + m. Is f prime?
False
Suppose -71*a = -30*a - 1543691. Is a a prime number?
False
Let o(d) = -2*d**2 - 30*d - 8. Let u be o(-13). Suppose 857 = n + u. Is n a composite number?
True
Suppose 2*o + 66 = 22. Let f(s) = 4*s**2 + 3*s - 10. Let x be f(-7). Let v = x - o. Is v composite?
True
Let i(f) = f**3 - 15*f**2 - 13*f - 12. Let l be i(16). Suppose 49 = l*o - 35*o. Is o a prime number?
False
Let r = -45 - -81. Is (r - 4) + -2 + -4 prime?
False
Suppose -3*s = 3*s - 126. Suppose 0 = -2*o + o + s. Is o composite?
True
Suppose 2*d - 228327 = -k, 2 = d + 6. Is k prime?
False
Let a be 15*(0 - (-2)/(-6)). Let r be (3/a)/(10/(-50)). Suppose -5*c - 5*x + 795 = 0, -r*x - x = -c + 179. Is c a composite number?
False
Suppose -q - 2 + 5 = 0. Suppose q*o + 5*r = 458, -3*r - 31 = -o + 145. Suppose -i + o = s, 3*i - 3*s - 398 - 61 = 0. Is i prime?
True
Suppose 0 = -o - 2 - 6. Let j = -8 - o. Suppose -3*a - 47 = -5*x, -55 = -5*x - j*a + 5*a. Is x prime?
True
Suppose -5*x + 59 = -26. Suppose -x*w + 14*w = -12. Suppose w*r - 2*a + a = 3241, 5*r - 3*a = 4060. Is r composite?
False
Suppose -4*f + 2*u = -342, 4*f + u - 324 = -3*u. Suppose -2*s - 24 = -m - 3*m, -4*s = m + f. Let z = 27 + s. Is z a composite number?
False
Suppose 58*b - 174262 = 439204. Is b prime?
False
Is 5317/((-3)/(-2) + 4/(-8)) a composite number?
True
Is 1*7634 + 42 + -43 composite?
True
Let m(i) = -8*i + 13*i - 13 - 27*i. Is m(-9) a prime number?
False
Let a = -8031 + 11318. Is a a composite number?
True
Suppose 0 = 201*z - 186*z - 11775. Is z a prime number?
False
Suppose 12*t - 24 = 9*t. Is (1 - t/5) + 556/10 a prime number?
False
Let s be (3 - 4)*(0 - 7). Let d = 10 - s. Suppose -21 = d*c - 198. Is c a prime number?
True
Suppose 2*i = 3 + 5, -5*m = 4*i - 36. Suppose -3*a - 29 = -7*a + 3*w, 3*w + m = -a. Suppose -t - 196 = -a*t. Is t a prime number?
False
Let x = 17 + -11. Let q = x + -1. Suppose 73 + 22 = q*g. Is g prime?
True
Let r(a) = -a + a**3 - 2*a**3 - 2*a**2 - 4*a**2 - 2 + 0*a**3. Let p be r(-6). Suppose p*x = 3*x + 143. Is x a composite number?
True
Let v be 73500/(-110) - (-4)/22. Let l = v - -6307. Is l composite?
False
Suppose 5911 = 11*g - 18795. Is g a composite number?
True
Suppose 2*t - 12 = 3*m + 4, -4*m - 14 = t. Suppose 9*x - 11*x = t. Is ((-79)/x)/(-5 - -6) composite?
False
Let t = 22 - 28. Let u(p) be the second derivative of -p**5/10 - 5*p**4/12 + p**3/6 + 7*p**2/2 + p. Is u(t) composite?
True
Suppose 117163 = 5*i + 4*n, -2*i - i + 5*n + 70283 = 0. Is i a composite number?
False
Suppose -1117*q + 1133*q - 1899856 = 0. Is q a prime number?
False
Let h = -42 + 54. Suppose -h - 21 = -3*q. Is q composite?
False
Let o = 3 + 1. Let k(a) = 97*a + 13. Is k(o) a prime number?
True
Let n(s) = 96*s**2 - 5*s - 40. Is n(-9) composite?
True
Suppose f = 2*w + 9013, 0*f - 5*f - 2*w = -45101. Is f composite?
True
Let o be 285/5*2/(-6). Let p = o - -17. Is 470/8 + p/(-8) a composite number?
False
Let l(k) = k**3 - 14*k**2 + 9*k - 8. Let g be l(13). Let p = g + 138. Is (-42)/4*p/(-9) prime?
False
Let n(h) = -40*h**2 + 3. Let z be n(3). Let b(c) = 8*c**2 + 3*c + 34. Let k be b(-9). Let y = z + k. Is y a composite number?
True
Let z(t) = t**2 - 16*t - 15. Suppose -2*h = h - 51. Let f be z(h). Suppose -2*k + y + 63 = 0, f*k + 2*y - 91 = -k. Is k a prime number?
True
Let a = 14 + -7. Let p(m) = a*m + 4*m - 5 - m + 5*m**2. Is p(-8) composite?
True
Let f = 12 + -16. Let w(d) = 28*d**2 + 2*d - 1. Is w(f) prime?
True
Let k = 49 - 87. Let x(o) = 40*o + 4. Let b be x(-3). Is 13/(b/k - 3) prime?
False
Suppose 4*g = -20, -3*g = 5*b - 494 - 2196. Suppose -3*z = -2*z - b. Is z a prime number?
True
Suppose 15 = 3*l, -4*h - 6*l = -9*l - 3901. Is h a composite number?
True
Let v = 15 - 10. Suppose 5*h - 940 = -v*x, -2*x - h - 732 = -6*x. Suppose -3*g = -125 - x. Is g composite?
False
Let q = -3 + 6. Let a be 2/q*4023/6. Suppose -4*u = -7*u + a. Is u a composite number?
False
Suppose -5*q - 5*s + 7 + 3 = 0, -s + 14 = 5*q. Suppose 4*n - 5715 = -q*d, d + 9502 = 6*d - n. Is d a composite number?
False
Let x(c) = c**3 + 11*c**2 + 12*c + 22. Let y be x(-10). Suppose -3*s + 3*j = -4176, s + 1387 = y*s - 2*j. Is s a prime number?
False
Suppose 4*x = -o + 15262 + 15270, -x + 5*o + 7633 = 0. Is x a prime number?
False
Suppose -2*m + 2*c = -17766, m + c + 0*c - 8891 = 0. Is m a prime number?
True
Let q(f) = -15*f - 2 + 4 + 4. Suppose -4*r - 36 = 4*l, 0*r = 3*r + 5*l + 31. Is q(r) a prime number?
False
Let b(n) = -n**2 + 21*n + 5. Let d be b(21). Suppose -3*l - 1292 = -d*u, 0*l = -2*l + 2. Is u a composite number?
True
Let x = 17 - 17. Suppose -j - 26 - 101 = x. Let y = 196 + j. Is y a prime number?
False
Let q(s) = 17*s**2 + 17*s + 14. Let f be -5 - -3 - (-11)/(-1). Let m be q(f). Suppose -50 = -4*x + m. Is x a prime number?
False
Let s(k) = k + 6. Let f be s(-6). Suppose f = -0*b - 2*b - 12. Let j(y) = -24*y - 1. Is j(b) prime?
False
Is 1 + 1938 + 7 + -3 prime?
False
Let x(d) = 3*d**3 - 18*d**2 + 6*d + 9. Let a be x(7). Is (-2)/11 + 273474/a prime?
True
Suppose 3*n - 1661 = -m, 5*n - 2*m - 2795 = 3*m. Suppose -2*j - 1105 = -r, -5*r + 4*j = -n - 4952. Is r composite?
True
Let z = 26 + -18. Let c be -6*z/12 + 506. Suppose -3*l + c = 25. Is l a composite number?
True
Suppose 2*t = -4*i + 21514, 68*t = 67*t + 4*i + 10727. Is t a prime number?
False
Let o = 38 - -178. Suppose 4*g + o = -0*g. Let r = 197 + g. Is r a prime number?
False
Suppose 0 = -m + 5*j - 2, 3*m = -j - 2 + 12. Suppose 1 - 12 = -g - 3*x, 4*g = -m*x - 1. Is (-746)/g + 18/(-12) prime?
False
Let b = -11 - -13. Suppose -4*q = -3*q + b. Is (q/(-3))/((-18)/(-837)) composite?
False
Let p(m) = m**2 + 3*m + 1. Let y be p(-2). Is (-30)/(-12)*(y - -63) composite?
True
Let d be -3 - (3/(-3) + -1171). Suppose -2940 = 6*p - 11*p. Let u = d - p. Is u prime?
False
Suppose 0 = 4*u - 3 - 9. Let m be 0/(u*(-2)/(-6)). Suppose -3*t + 5*b + 583 = 0, 4*t + m*b - 774 = 5*b. Is t a composite number?
False
Let n(s) = s**2 - 10*s + 2. Let v be n(10). Suppose -v = -4*b + 4*k - 14, -15 = -3*b - 5*k. Suppose b = 9*f - 5*f - 228. Is f composite?
True
Let n = -599 - -894. Is n prime?
False
Suppose -2*x + 2612 = -4*x. Let k = 2143 - x. Is k composite?
False
Suppose 3*m - 4859 = -r - m, 2*m + 19436 = 4*r. Is r a prime number?
False
Suppose 7 = -24*b + 25*b. Let g(k) = 3*k**3 + 7*k**2 + 5*k - 10. Is g(b) prime?
False
Suppose -8*h + 1098 = -6*h. Suppose 0 = -5*x + 9 + 6, -3*w + 4*x = -h. Is w a prime number?
False
Let x be -6 + (-3 - -5) + 1. Let a be (x - 1) + 4 + -122. Let f = 241 + a. Is f a prime number?
False
Let a(c) = 1055*c - 71. Is a(14) prime?
True
Is (-1)/(7/30121*-1) composite?
True
Let m(c) = 558*c**2 + 2*c + 2. Let g(f) = -f**2 - f + 1. Let r be g(-2). Let h be m(r). Is h/8 + 6/(-8) prime?
False
Suppose 7*r - 8640 - 13564 = 0. Suppose -9*q + 4370 = -r. Is q prime?
False
Let x = -167 + 162. Let r(q) = -416*q - 65. Let o(j) = 13*j + 2. Let z(n) = -65*o(n) - 2*r(n). Is z(x) a composite number?
True
Suppose -5*x - 11 + 56 = 0. Suppose -3*y + 16332 = x*y. Is y a prime number?
True
Let c = 29 - 23. Is (3789 - -1)/(c/3) a prime number?
False
Suppose -j + 5*n = -516, 47*j - 4*n = 50*j - 1567. Is j prime?
True
Suppose -14*n + 3*l - 29627 = -19*n, -4*l = 5*n - 29631. Is n composite?
False
Let w(k) = 2*k**2 - k - 1. Suppose 16 = 2*q - 0*q - 3*t, 3*q = -3*t - 6. Let i be w(q). Suppose i*a + 760 = 3255. Is a prime?
True
Let f(s) = -3*s - 16. Let z be f(-6). Suppose -4*i + 341 = -3*l + 45, 170 = z*i + 4*l. Is i a composite number?
True
Suppose -3*r = 5*s + 5860, 0 = -2*s - 6 + 2. Let x = 3101 + r. Is x a composite number?
False
Let o = -3168 - -9091. Is o prime?
True
Let g = -72 - -44. Let z be 4/(-14) - 92/g. Suppose -4*q