 prime?
True
Suppose 3*i - 30 = 3*k, -3*k + 4*k = 0. Is i composite?
True
Let a be (0/(-1))/1 - -3. Suppose -2*d = -2 + 10, a*d + 987 = 5*n. Suppose 6*b - 3*b = n. Is b prime?
False
Let s = 1 + 14. Suppose 4*c - 61 = s. Is c composite?
False
Let o(b) = b**3 - 6*b**2 + 2*b - 9. Let l be o(6). Is 31/(-2)*(-5 + l) prime?
True
Let m be -1 - (0 + (-2 - -851)). Let n = m + 1341. Let i = 748 - n. Is i a prime number?
True
Is 14/49 - (0 + (-9810)/14) prime?
True
Suppose -4*p - w - 12 = 0, -p + 2*w = -2*p - 10. Let k be -1 - 1 - p/(-2). Is (-69)/(-2)*(-2)/k a prime number?
True
Suppose 0 = -12*n + 9*n + 1923. Is n prime?
True
Suppose h + 3*s - 5*s - 7 = 0, 3*h = 2*s + 9. Let q = 1 - h. Let w = 19 + q. Is w a prime number?
True
Suppose 0 = -v + 4*x + 369, -244 = -3*v + 2*x + 893. Is v prime?
False
Let v(k) = 850*k**2 + k. Let b be v(-1). Suppose a + 3*a = 3*u - 653, -a = -4*u + b. Is u prime?
True
Let w be (-2)/(-10) - (-5)/(-25). Suppose 3*h - 753 = -w*h. Is h a prime number?
True
Suppose -4*s + 18 = -4*q - 14, -3*s = -4*q - 28. Suppose -2*j + 7*j = 0. Suppose 4*r + j*r - 3*m = 236, 236 = s*r + 5*m. Is r prime?
True
Let r = 0 + -5. Let p be ((-115)/r)/(-1*1). Let f = 37 + p. Is f a composite number?
True
Let z(d) = -24*d**3 - d**2 - 3*d + 3. Is z(-4) composite?
True
Suppose 4*m + m = 260. Let q = 91 - m. Suppose w - 112 = -5*t, 4*w + 42 = 3*t - q. Is t composite?
False
Let k(o) = o**2 + 4*o. Suppose -2*q + 14 = w - 2*w, 0 = w + q - 1. Let u be k(w). Suppose -2*i + 4*z + 70 = u, -2*i = z + z - 64. Is i prime?
False
Suppose -5*b - 5034 + 14179 = 0. Is b a prime number?
False
Suppose 235 = -13*z + 8*z. Let m = -26 - z. Is m prime?
False
Suppose -4*w + 0*b + 100 = 4*b, -4*w + 4*b = -68. Is w prime?
False
Let s(j) = -39*j - 37. Is s(-5) composite?
True
Let s = 312 + -19. Is s a composite number?
False
Suppose 5*x + 4*h = 238, 4*x + 8 = -2*h + 196. Suppose -g - 5 = 0, c - 4*g = x + 49. Suppose -70 = -5*r - b, -2*b + c = 4*r - 5*b. Is r composite?
True
Let w(u) = -445*u**3 + u + 1. Is w(-1) a prime number?
False
Suppose 4*c + 3*x = 32, x = -4*c + 12 + 12. Suppose s + 6 = 4*u - 46, c*u = -4*s - 103. Is (-1 + 2 + s)*-1 a composite number?
False
Let k(j) = j + 8 - 3 + j - 128*j**2. Let h(u) = 384*u**2 - 5*u - 14. Let n(w) = 4*h(w) + 11*k(w). Is n(1) prime?
False
Suppose -5*r = 0, -3*x + x = 4*r - 1706. Is x a prime number?
True
Suppose 3*u - 1 - 2 = 0. Let k(d) = 204*d**2 - d. Is k(u) a prime number?
False
Let s be (-3)/(9/(-6)) + -100. Let v = 55 + s. Is v/(-3) + 4/(-12) a prime number?
False
Suppose -j + 6*j = -4*i + 3, -j + 1 = i. Let p = -3 + 5. Suppose -p = -i*z + z. Is z a composite number?
False
Suppose 0*n = -5*n + 25. Suppose n*z - 2162 - 3893 = 0. Is z prime?
False
Is -134*(-5860)/88 + 4/(-22) a composite number?
False
Suppose 2*q + 0*x + 1 = -x, -3*q - x + 1 = 0. Suppose -3*h - z + 472 = 0, 94 = q*h + 2*z - 222. Is h prime?
True
Let f(j) = 8*j**2 + 5*j + 5. Let y(p) = p**2 + 4*p - 1. Let i be y(-3). Is f(i) a prime number?
True
Is (-6685)/(-10) - (-3)/6 a prime number?
False
Let d = -47 + 454. Is d prime?
False
Let g = -1330 - -2873. Is g a prime number?
True
Let s(o) = 229*o**3 + o**2 - o + 1. Let k be s(1). Let f = k - 115. Is f a prime number?
False
Suppose 0 = 9*b + 7*b - 160880. Is b prime?
False
Is 3/(3/2) - -31 a composite number?
True
Let z be (13*-16)/(-2) - 1. Suppose -4*m - z + 11 = 0. Let v = m - -49. Is v prime?
False
Let f(z) = z**2 + 3*z + 6. Suppose -2*b - 24 = 2*b. Let n be f(b). Let q = n + -17. Is q a prime number?
True
Suppose -4*y - 5 = -5*y. Suppose y*l = -157 - 8. Is ((-42)/(-9))/((-2)/l) a prime number?
False
Suppose 2*l = -2*f + 979 + 529, -4*f = 3*l - 2264. Let q = -373 + l. Is q prime?
True
Is (-11)/(-2*1/58) a prime number?
False
Let v = -4 - -213. Is v composite?
True
Suppose 2079 = 5*n + 4*z, -2*z + 5*z = -12. Is n a prime number?
True
Let l = 117 - -16. Is l a composite number?
True
Is 25/(-20) + (-23739)/(-12) a composite number?
True
Let v = -69 + 140. Is v prime?
True
Let u(g) = 3*g + g**2 - 5 - 1 + g. Is u(-7) prime?
False
Let t(h) = -41*h - 2. Let q be t(-7). Suppose -6*p = -3*p - q. Suppose -3*f = -64 - p. Is f composite?
False
Let i be (-8)/(-60)*-6*-5. Suppose 2*j - 5*j = 6, -i*v + j + 4846 = 0. Is v a composite number?
True
Let t = -3 - -5. Let b = -12 + 46. Suppose 2*d - 6*d + 134 = t*c, -c + b = d. Is d composite?
True
Let u = -13 + 26. Is u composite?
False
Let g(t) = -t**2 - 10*t - 7. Let u be g(-9). Is -3 + 51/(1 + u) composite?
True
Suppose -a = 3*a - 16. Suppose -2*u + 890 = a*m, 3*m = -5*u + 465 + 199. Is m composite?
False
Let z(q) = -2*q - 10. Let j be z(-10). Suppose -2*x = 2, -j = -l + x + 10. Is l a composite number?
False
Let n(f) = 12 - 4 - 10*f - 1. Is n(-6) prime?
True
Let s = 2248 + -1037. Is s a prime number?
False
Let z(o) = 3 + 8*o + 6*o**2 - 3 + 5. Is z(6) prime?
True
Suppose -4977 = -3*g - 6. Is g prime?
True
Suppose -3*c + 21 = -0*c. Let f(z) = z**3 - 6*z**2 - 4*z - 8. Is f(c) a prime number?
True
Suppose -4*v = -0*s + s + 419, 0 = 5*v + s + 524. Let c(a) = -a + 152. Let j be c(0). Let l = j + v. Is l composite?
False
Suppose 15 = -8*o + 11*o. Suppose -6*r = -o*r - 157. Is r prime?
True
Let l = -14 - -8. Let u be l*(1 + (-14)/6). Let k = u + 3. Is k prime?
True
Suppose -4*w + 243 = -841. Is w a composite number?
False
Let u be (-3)/9 - 11/3. Let l be (42/(-8))/(u/64). Suppose g + 25 = l. Is g a prime number?
True
Suppose -t + 685 = 3*b, -924 = -4*b + 5*t - t. Let s = b + -87. Suppose 5*f = -2*z + 417, -4*f = -3*z - s - 187. Is f composite?
False
Suppose -3*q = -21 - 54. Suppose -k + q = -w + 75, k = -3*w + 162. Is w composite?
False
Let j(d) = 7*d**2 - 12*d - 25. Let i(o) = -o**2 + 2*o + 4. Let y(z) = 39*i(z) + 6*j(z). Let a = 7 + -12. Is y(a) prime?
False
Let b(l) = -32*l - 1. Is b(-4) prime?
True
Is -5 + 4391/3 - (-2)/6 composite?
False
Is (-9237)/(-5) + (0 - (-6)/(-15)) a prime number?
True
Suppose 0 = o - 243 - 115. Suppose -s + o = s. Is s a prime number?
True
Let o(b) = -21*b**3 - b**2 + 1. Is o(-1) a composite number?
True
Suppose b - 9 + 4 = 0. Suppose -3*c = b*j + 2*c - 790, c + 627 = 4*j. Is j a composite number?
False
Is ((-16)/(-10))/(-4) - (-74985)/25 a prime number?
True
Let z be (1/3)/(8/96). Suppose -4*y = -z*g + 184, -3*g + 230 = 2*g - y. Is g a prime number?
False
Let w be (-2 + 2 + 1)*-2. Let g = w + 0. Is ((-6)/(-2))/(g/(-10)) prime?
False
Let f = -516 + 1509. Is f a prime number?
False
Suppose -p = 3*p - 16, 0 = 2*z + 3*p - 160. Let g = z - 31. Is g a prime number?
True
Is (-3)/(-7) + (-11)/((-231)/40668) a composite number?
True
Let b(m) = 2*m - 8. Suppose -3*c + 24 = -2*i, -4*i + 1 = 13. Let a be b(c). Suppose 5*t + h - 264 = 0, a*t + 4*h - h = 209. Is t a prime number?
True
Let z be (10 - (-3 - -3)) + -1. Suppose -z = p - 2*j + 1, -p + 5 = j. Suppose i = -p*i + 149. Is i composite?
False
Let s(u) = u**3 - 7*u**2 - 6*u - 1. Let m(a) = -a**2 - a - 1. Let v(z) = -6*m(z) + s(z). Is v(4) prime?
True
Suppose -6 - 4 = 5*t. Is 261 - ((t - 1) + 5) a prime number?
False
Suppose 2*x - 5*h - 4 = -10, -5*x = -5*h - 15. Is (-2)/(-7) + 859/x a composite number?
True
Is -1 + 123 + 5 + (-9 - -1) a prime number?
False
Suppose -86 = -3*v + 31. Is v prime?
False
Is 237/(-1)*8/(-24) prime?
True
Let n(b) be the first derivative of -17*b**2 + 7*b - 5. Is n(-6) prime?
True
Suppose a - 3 = -2*q, 0 = 4*a - a - 5*q - 9. Is (17/(-1))/(a/(-9)) prime?
False
Let g = 235 + 471. Is g prime?
False
Suppose -14 = 5*x + 16. Is x/(-9)*477/6 a composite number?
False
Let i = -10 - -3. Let c = i + 7. Is (-6 - c)/(10/(-55)) a prime number?
False
Suppose -2*r - r - 5*t + 16 = 0, 4*t - 2 = 3*r. Let i be 1*-2*11/r. Let a = i - -34. Is a prime?
True
Suppose -s + 2587 = 4*c, -3*s + c + 7743 = 4*c. Is s prime?
True
Let u = 22 - 7. Suppose -b + 2*q = -u, 0*q - 105 = -4*b - q. Is b prime?
False
Is (-1)/(-4 - 12342/(-3086)) prime?
True
Suppose -d + 5036 = 3*d. Is d a composite number?
False
Suppose -2*z + 5*r = -231, -5*r + 6 - 124 = -z. Let v = z - 62. Suppose k + 2*k + 3*p - v = 0, 3*k = 4*p + 23. Is k prime?
True
Suppose -661 = 3*v - 1927. Is v composite?
True
Let d(n) be the third derivative of n**4/24 - n**3/6 + n**2. Let w be d(-5). Is (3 - 0)*(-20)/w prime?
False
Let f(p) = 23*p**3 - 2*p**2 - 2*p + 1. 