Let s = m - -101. Is s prime?
False
Suppose 3*x - 18 + 42 = -5*m, -m + 4 = 5*x. Is (-3 - m)*(3 - -16) a prime number?
False
Let r = 14 + -11. Let l = r - -20. Is l prime?
True
Let h(m) = m - 2. Let v be h(6). Let s(d) = d**3 + d**2 + d + 1. Let a(u) = 7*u**3 + 3*u**2 + 7*u + 5. Let f(z) = a(z) - 6*s(z). Is f(v) composite?
False
Let t = 5 + -5. Let y be 1 + (-1 + t - 0). Suppose -l + 5 + 2 = y. Is l prime?
True
Let w(h) be the second derivative of 1/4*h**4 + 0 - 1/2*h**2 + 4*h + 1/3*h**3. Is w(2) prime?
False
Suppose -4*v + o = 4*o - 609, 4*o = 4*v - 588. Suppose -2*m - 10 = -4*m. Suppose 0 = 4*b + 2*x - v, 5*b - m*x - 150 = -0*x. Is b a composite number?
True
Let j be (-76)/(-18) + 2/(-9). Suppose -5 = j*x - 25. Suppose -4*h + 103 = -o + x, 133 = 5*h + 4*o. Is h a composite number?
True
Let p be (-6)/4 - (-88)/16. Suppose -p*g + 1504 = -372. Is g a composite number?
True
Let w = 30 - -47. Is w a composite number?
True
Suppose 3*z = 2 + 4. Let f = -17 - -17. Suppose z*h + 0*h - 14 = f. Is h prime?
True
Let c be (-10)/15 - (-32)/3. Let s = c - 6. Suppose 2*u - 4*q - 130 = 0, 3*q = s*u + q - 230. Is u composite?
True
Let s(n) be the first derivative of -n**2/2 - 2*n - 3. Let y be s(-5). Suppose -105 = -2*j + y*m, 3*j - 78 = -4*m + 105. Is j prime?
False
Let d(u) = u**3 + u + 79. Suppose 6*z = 2*m + 3*z + 15, 0 = 5*z - 25. Is d(m) prime?
True
Is 6/3*2 + (-2 - -863) a composite number?
True
Let i be (4/10)/(1/5). Suppose -5*p - 318 = -i*w, -34 = -w + p + 125. Is w prime?
False
Suppose 0 = 3*k - 3*s - 6450, 7*k + 3*s - 8593 = 3*k. Is k composite?
True
Let y = 1085 + -766. Is y a composite number?
True
Suppose k + 2*z - 139 = z, 5*k = -z + 691. Let g = k - 71. Is g a prime number?
True
Let q = 30 + 632. Is q a composite number?
True
Suppose 0*i + 265 = 5*i - 5*k, 2*i = k + 104. Suppose 5 = 3*a + v - i, 3*a = v + 64. Suppose a = -4*j + 108. Is j a composite number?
True
Suppose 2*q = k + 4*k, 25 = 5*q. Let s(w) = w + 5*w**2 - 4*w**k - 2*w - 126*w**3 - 1. Is s(-1) prime?
True
Let n = -1208 - -2217. Is n composite?
False
Suppose 0 = -2*f - 4*v - 4, 4*v + 1 + 11 = 0. Suppose l + f*l - 1635 = 0. Is l a composite number?
True
Let d(q) = -7*q**2 - 31*q - 18. Suppose 0 = 2*v - 5 - 1. Let m(u) = -4*u**2 - 16*u - 9. Let k(x) = v*d(x) - 5*m(x). Is k(-11) prime?
True
Suppose -4*m + 2147 = -197. Is m prime?
False
Let q(i) = 9*i**2 - 21*i - 15. Let g(d) = -4*d**2 + 11*d + 7. Let a(k) = -5*g(k) - 2*q(k). Is a(12) prime?
True
Suppose -7*n + 3*n - 40 = 0. Let j = 21 + n. Is j a prime number?
True
Let t = 576 + -249. Suppose 0 = -5*n - k + t, 0*n + 59 = n - 3*k. Is n a prime number?
False
Let f = -11 - -16. Suppose -f*z + 22 + 163 = 0. Is z a prime number?
True
Suppose -7*f + 2613 = -2*f + 3*m, -2645 = -5*f + 5*m. Suppose -c + 2*w + 2*w = -121, 5*c = 4*w + f. Let n = -66 + c. Is n a composite number?
True
Let z(i) = -i**3 - 4*i**2 + 8*i - 1. Is z(-6) composite?
False
Suppose -2*i + 2 = 2*f, 0 = -3*f - 4*i - 0 + 2. Is f/3*573/2 prime?
True
Is ((-1)/(-3))/(3/1899) composite?
False
Let b(g) = g. Let z = 5 + -3. Let j be (-2)/1 + (11 - z). Is b(j) prime?
True
Suppose 0*b + 5*q - 147 = -3*b, 5*b - 2*q - 214 = 0. Let u = b - -655. Is u a composite number?
True
Is ((-12)/8 + 4)*332/10 a composite number?
False
Let o(s) = 2*s**3 - 6*s**2 + 4. Let l be o(4). Let a = 26 - 23. Suppose -5*w - l = -t, 94 = 4*t + a*w + 2*w. Is t a prime number?
False
Let y be (-2)/((-5)/((-15)/(-2))). Suppose -c + 408 = y*c. Suppose -5*i = -5*r - 255, -3*r = 2*i - 2*r - c. Is i prime?
False
Let z = 7467 + -5030. Is z a composite number?
False
Let q(m) = -m**2 - 10*m + 1. Let x(v) = -2*v**2 - 29*v + 4. Let f(u) = -11*q(u) + 4*x(u). Let r be f(-6). Suppose -b + 0*b = -r. Is b composite?
False
Let x(j) = -j**2 - 3*j + 5. Let b be (-3)/2*(-8)/(-2). Let s be x(b). Is (s + 2)/((-1)/2) prime?
False
Let n = -6 - -8. Let v = n + 1. Suppose 3*p - 64 = -v*j - 1, p + 2*j = 23. Is p a composite number?
False
Let m(v) = v**3 + v + 76. Let a be m(0). Suppose j = -j + 12. Suppose a = j*t - 2*t. Is t a composite number?
False
Let x be (-16)/20 + (-58)/(-10). Suppose q - 51 = -o, 0*o + 3*q = -x*o + 263. Is o a composite number?
True
Let a = -11 - -25. Suppose -3*i + a + 103 = 0. Is i a prime number?
False
Let p(h) = 38*h**3 - 2*h**2 + h. Let s(l) = l**2 - 4*l - 4. Let f be 4/(-2*1) + 7. Let a be s(f). Is p(a) prime?
True
Suppose 0*z - 1254 = -5*z - x, 3*x = -3*z + 750. Is z a prime number?
True
Let b = 2 - 1. Let u(q) = b + 24*q**3 - 6*q + 4*q + 0. Is u(1) composite?
False
Let o(h) = 2*h**2 - 5*h + 4. Is o(-9) a composite number?
False
Suppose -6*b + 62 = -4*b. Suppose 0 = -3*j + 5*f + 455, 5*f + 196 = j + b. Is j prime?
False
Let q = 1795 - 1048. Suppose -3*x - 174 = -q. Is x composite?
False
Let f(i) = i - 4. Let b be f(6). Let v(w) = 2*w**2 + 3*w + 2*w**b + 2*w**2 - 2. Is v(-3) a prime number?
True
Suppose 4*r - 14 = 3*r. Is r prime?
False
Suppose -21 + 76 = -5*y. Let h(v) = -3*v**2 - 8*v + 609. Let k(d) = -d**2 - 3*d + 203. Let i(c) = y*k(c) + 4*h(c). Is i(0) a composite number?
True
Suppose 2*i - c = 3 + 16, 2*c = -10. Let u(l) = 13*l - 8. Is u(i) a prime number?
True
Let b = -29 - -62. Suppose i + 40 = -i. Let m = b + i. Is m a prime number?
True
Suppose -3*f - 63 = -0*f. Is (-3514)/f - (-1)/(-3) composite?
False
Let i(s) = -12*s - 15. Is i(-7) prime?
False
Let g(x) = 5*x**2 + 3*x + 1. Let s = 13 - 19. Is g(s) composite?
False
Let d(c) = c**2 + 6*c - 7. Suppose 0*x - 24 = 2*x. Is d(x) a prime number?
False
Let v = -1393 + 2004. Is v composite?
True
Suppose -4*h - 5*c + 30 = h, 5*h + 2 = 3*c. Let x be (0 + 0)/h - 6. Is (-544)/x - (-2)/6 a prime number?
False
Is ((-78)/18 - -4)*-3297 a prime number?
False
Suppose 3*j + 3*h - 19 = -67, 0 = -5*j - 2*h - 74. Let n be ((-15)/6)/(1/(-2)). Let c = n - j. Is c composite?
False
Let y(x) be the second derivative of x**4/4 - x**2 + x. Is y(7) a prime number?
False
Suppose -4*c + 4*b + 3304 = 0, 2*c - 3310 = -2*c + 2*b. Is c a prime number?
True
Suppose -5*f = -294 - 16. Suppose -a = a - f. Is a prime?
True
Suppose 2*t + 7 = 15. Suppose t*k = 338 + 2186. Is k prime?
True
Suppose -2626 - 1639 = -5*p. Is p a prime number?
True
Let p(m) = -11*m - 13. Let n be 6/(-8)*(9 + 3). Is p(n) a composite number?
True
Let j = 1 + -1. Is (-14 + j)/(4/(-6)) a composite number?
True
Is (0 - -1)*2 - -44 prime?
False
Let l(p) be the first derivative of 2*p**3/3 + 6*p**2 - p + 4. Is l(6) composite?
True
Let q(c) = -8*c + 5 + c**3 - c + 4*c**2 + 2*c**2. Let n be q(-7). Let t = 0 + n. Is t composite?
False
Suppose 5*z = -2*p + 756, 6*z - 2*z - 3*p - 591 = 0. Let r = -7 - -48. Let d = z - r. Is d prime?
True
Suppose m = 2 - 0. Suppose 0 = -2*v - 0 - 8, -m*a - 5*v = -98. Let s = a - 22. Is s composite?
False
Let h be 3/(-2)*40/(-15). Is ((-58)/h)/(3/(-18)) a composite number?
True
Suppose -g + 18 = -4*g. Is (-1 + (-9)/g)*446 a prime number?
True
Let m = 242 + -142. Suppose 2*t - s - 4*s - m = 0, -3*t = -s - 163. Is t prime?
False
Let n(r) be the third derivative of r**6/120 - 2*r**5/15 - r**4/8 - r**3/6 + 2*r**2. Let d be n(9). Suppose 0 = 3*c - 22 - d. Is c a composite number?
True
Let x(j) = j**3 - 2*j**2 - 2*j + 9. Suppose 2*o - 24 = -2*o. Is x(o) a composite number?
True
Let q = 306 + -210. Suppose 0*u = -3*u - q. Is (-1)/(1 - u/(-31)) prime?
True
Let y = 5 + -3. Suppose -3*r = -y*r - 2. Is -2*(211/r)/(-1) composite?
False
Suppose 5*t = -4*z + 8696, -4*t + t = 2*z - 4346. Is z prime?
True
Suppose 0*z - 2*t + 3153 = 5*z, 3*z - t - 1894 = 0. Is z a prime number?
True
Suppose y - 123 = -24. Suppose -3*h - u = -293, -2*u + u = h - y. Is h composite?
False
Let d be (-2)/(2*(-3)/6). Suppose -74 = -4*c + d*h, h - 11 = -c + 9. Is c prime?
True
Let x(k) = -2*k - 6. Let a(d) = -d**3 - 5*d**2 - 2*d + 2. Let f be a(-2). Let w be x(f). Suppose -w = -p + 65. Is p a composite number?
False
Suppose -7*j + 4161 = 416. Is j a prime number?
False
Let j be (-3)/1 + 0 + 82. Suppose -j - 14 = -3*r. Is r composite?
False
Suppose 0 = y + 3*y + 292. Let w = y + 222. Is w prime?
True
Suppose 2*y = -t + 2, t + 2 = 2*t - y. Suppose -203 = -3*u - 2*m - t*m, 0 = 3*u - 4*m - 211. Is u a composite number?
True
Let x(j) = j**2 - 7*j + 6. Let m be x(6). Suppose 2*t + 3*n - 1441 = -0*t, m = 4*n - 4. Is t prime?
True
Let b