3*v - 1745 = -4*f - 0*v. Is f prime?
False
Suppose -3*j + 4*j + 5*h - 20 = 0, 0 = 3*j - 3*h - 78. Let i = 64 - j. Is 26/i + (-2593)/(-3) composite?
True
Suppose 0 = 4*b - a - 95544, -24*b - a + 47778 = -22*b. Is b composite?
False
Let g(d) = -d**3 - 6*d**2 + d + 8. Let v(t) = -2*t**2 + 4*t. Let f be v(3). Let p be g(f). Suppose p*r - 56 = 242. Is r a composite number?
False
Let k = -288 + 3397. Is k a prime number?
True
Let i = 45737 - 68272. Is 2/(-6) - i/15 composite?
True
Suppose -83*q = -25*q - 330774. Is q composite?
True
Suppose 2*c = 5*f + 56, -2*f - 2*c = -6*f - 46. Is (3/(-6) - 3)*f prime?
False
Suppose 4*i = 4*y - 1384, -2*y + 2 = -0. Let s = 34 - i. Is s a prime number?
True
Let c = -1277 + 14518. Is c a composite number?
False
Suppose -11*r = -16*r + 4*p + 24133, -5*p = -2*r + 9643. Is r prime?
False
Let n(p) be the first derivative of -3*p + 3 + 0*p**2 + 4/3*p**3. Is n(5) prime?
True
Let a(w) be the second derivative of 101*w**3/2 + 11*w**2 + 25*w. Is a(17) a prime number?
False
Let l(c) = -117*c - 18. Let d be l(3). Let t = 602 + d. Is t prime?
True
Let b = -15 + 17. Suppose -2*x = 3*r + 85 - 13, 0 = 2*r - b*x + 38. Let d = 65 + r. Is d composite?
False
Suppose 2*t = -5*l + 16, 2*l = -3*t + 2*t + 7. Suppose -3*a + 426 = 3*n, -a - n + 559 = t*a. Let b = a + -26. Is b a composite number?
False
Suppose -8*z + 865 = -3*z. Let d = z - 55. Is d composite?
True
Let w(d) be the second derivative of 11*d**4/6 + 7*d**3/6 - 7*d**2/2 + 8*d. Is w(4) a prime number?
True
Let c(o) = -2*o + 27. Let g be c(14). Is (90 - -3) + 2*g/(-2) prime?
False
Suppose 14*q = 5*q + 9. Is 150 - 3 - q*2 composite?
True
Suppose u + 4*u = 5. Let o be (-168)/(u + (-2)/4). Let k = o + 601. Is k a prime number?
False
Let y(u) be the first derivative of u**5/10 - u**4/4 + 2*u**3/3 - u**2 + 6*u + 5. Let z(n) be the first derivative of y(n). Is z(3) a composite number?
False
Let q(y) = 45*y - 19. Let h be q(14). Suppose 0 = -4*w + 87 - h. Let l = w + 246. Is l a composite number?
True
Suppose -638 = -4*l + 2318. Is l composite?
False
Let n = -7 + 12. Suppose n*i - 1350 = 635. Is i a prime number?
True
Suppose -160614 = 48*p - 57*p. Is p composite?
True
Let r(d) = 12*d**2 + 26*d + 25. Is r(14) a prime number?
True
Let w(f) = 546*f + 293. Is w(8) prime?
False
Let a(o) = -3*o**3 - 19*o**2 + 23*o + 260. Is a(-15) a composite number?
True
Suppose -3 = 3*r, 5*q + 5*r - 63 = -18. Suppose q*x + 641 = 11*x. Is x a composite number?
False
Let d(b) = 4975*b - 15. Is d(2) composite?
True
Let d be (-12745)/(-7) + 18/63. Suppose -6*n - 63 = -d. Is n prime?
True
Let n be 140/8*36/10 - 1. Suppose -2*h - n = -644. Is h a prime number?
False
Let d(f) be the third derivative of -29*f**4/24 + 4*f**3/3 - 16*f**2. Is d(-7) a prime number?
True
Suppose 0 = -0*w + 2*w - 8, -3*w - 28 = 4*f. Is (-190 - (5 + f))*-1 composite?
True
Let c(n) = 28*n**3 - n**2 + 3*n - 3. Let j = 29 + -27. Is c(j) prime?
True
Suppose 2*j = -4*q + 4318, -4*q - 363 = -j + 1766. Is j prime?
False
Let i(z) be the first derivative of 113*z**4/12 + z**3/6 - z**2/2 - 4*z - 5. Let x(h) be the first derivative of i(h). Is x(1) composite?
False
Suppose -2*f = 4*u - 29902, -3*f + 9674 = -3*u - 35206. Is f a composite number?
False
Suppose -10*i = -6*i - 24. Let w be (-56)/(-35) + i/15. Is -3 + 1 - (-70)/w prime?
False
Let h = 3700 + 27727. Is h a prime number?
False
Let i = 1055 + -868. Is i a prime number?
False
Let v be 20/5 - (1 + 3). Suppose v = s - 139 - 226. Is s prime?
False
Suppose -b = d - 3087, -3*b - 9273 = -3*d - 0*b. Suppose 0 = -4*n - 4*m + 30864, -n + 4629 = -m - d. Is n a composite number?
False
Suppose 2*h = 4*o - 542 + 90, 2*o = 5*h + 242. Let j be 0/(-5) - o/(-3). Suppose -3*l = -2*l - j. Is l a composite number?
False
Let j = 7 + -8. Let c be j + 2/((-2)/(-653)). Let w = c + -441. Is w a prime number?
True
Let b(l) = 2*l**2 - 2*l - 5. Let s be b(3). Suppose 5870 = 3*p + s*p. Is p composite?
False
Let x(q) = -3*q + 10. Let h be x(3). Is (-6)/(-8) - h/(20/(-44525)) prime?
False
Suppose 636 = -7*f + 6*f. Is 6/((-183)/f - (-3)/(-12)) prime?
False
Let d(v) = 134*v + 11. Let p be d(-6). Let h = -2260 - p. Is (10/2)/((-9)/h) a composite number?
True
Let l(b) = 35*b + 20. Let i(j) = 106*j + 59. Let w(z) = -6*i(z) + 17*l(z). Let p be w(-6). Suppose -3*d - 2*o = -684, -d - 3*o + o = -p. Is d a prime number?
False
Is (-2999)/(-2)*(2 + -2 + 2) a composite number?
False
Let w(t) = 84*t - 18 + 18. Let z be w(-1). Let x = z + 203. Is x a prime number?
False
Suppose -145 = 34*u - 39*u. Suppose -d = -12 - 33. Suppose u = b + 4*s, b + s - d = -1. Is b a composite number?
True
Let c be 1872/28 - (-16)/112. Let g(q) = -21*q - 6. Let b be g(-4). Let t = c + b. Is t a prime number?
False
Suppose -11*h = -9*h + 2. Let b be (-2 - h)/(1/(-4)). Suppose -5928 + 667 = -5*i + 4*u, 0 = -b*i - 2*u + 4188. Is i a composite number?
False
Let o(f) = -2*f**3 + 2*f**2 - 10*f + 15. Let i be o(-13). Let t = 7158 - i. Is t prime?
True
Let b = -8020 + 14337. Is b prime?
True
Let s = 358 - -544. Suppose 5*f - b - s - 1167 = 0, 5*b = 3*f - 1259. Is f a composite number?
True
Suppose 8*q - 55095 - 10081 = 0. Is q prime?
True
Let u(f) = 28*f**2 - f - 3. Let o(y) = -y**2 + y - 4. Let a be o(0). Is u(a) composite?
False
Let n = -205 + 357. Let l = -19 + n. Is l a prime number?
False
Let x = 23991 + -9214. Is x composite?
True
Suppose 9*t + 2*t = 2574. Let v = -111 + t. Is v a prime number?
False
Let b(n) = 84*n + 45. Is b(19) a prime number?
False
Let l(t) be the second derivative of -11*t**3/3 + 25*t**2/2 + 5*t. Is l(-19) prime?
True
Let m(s) = 43*s**2 + 2*s + 8. Is m(-3) composite?
False
Let j(a) = 2*a + 7. Let x be j(-5). Let s = 68 + x. Suppose -s = 2*v - 3*b - 372, 0 = -2*v - 5*b + 283. Is v a prime number?
True
Let j = -3 - -5. Suppose 3*l = 2*d + 7, -j*d + 2 = -l + 3. Suppose -l*q = -q - 382. Is q a prime number?
True
Suppose -2*s + 42 = 96. Is (3 - 6) + (0 - s) + -2 a prime number?
False
Suppose w + 4 = 9. Suppose -5*d + 3*j = w*j - 1283, 4*j = -4. Is d prime?
True
Let l be (-1 - -4 - -285) + -5. Let b = l - 189. Is b prime?
False
Let n(r) be the first derivative of r**7/840 + r**5/60 + r**4/6 - r**3/3 - 7. Let s(m) be the third derivative of n(m). Is s(3) a composite number?
False
Let u be 51/(-12) - 3/4. Let c(o) = o**3 + 4*o**2 - 6*o + 5. Let k be c(u). Let j(y) = -y**3 + 15*y**2 - 11*y + 5. Is j(k) prime?
False
Suppose v = 11 - 2. Suppose -3*x - 9258 = -v*x. Is x composite?
False
Let w = -56 + 57. Is -178*(w/(-4))/(3/42) composite?
True
Let f(t) = 3*t**3 + 8*t**2 - 3*t + 5. Is f(9) prime?
False
Let x = 5 - 13. Let a be x/4 - -3 - -2. Suppose -a*q - q = -508. Is q a composite number?
False
Let d(c) = -3687*c - 62. Is d(-15) a composite number?
False
Suppose -17 = 2*a - 19, -5*p + 3*a = -148592. Is p a prime number?
False
Let d(p) = 9*p + 24. Let b be d(19). Suppose i + b = 1142. Suppose -4*v = -i - 633. Is v composite?
True
Suppose 24 = 4*v + 4. Suppose -2*d = v*j - 2*j - 413, -2*d - 4*j + 410 = 0. Is d a prime number?
True
Suppose r = 2*p + 20 - 48, -p = 5*r + 96. Let b = r - -38. Is b/1 - (-3)/(-1) a composite number?
True
Let h(b) = 126*b**2 + 6*b - 25. Is h(-7) a composite number?
True
Let u = 517 + 58. Suppose u = 5*x - 0*x. Is x prime?
False
Let h be (-1)/(-4)*0/(-6). Suppose -2*i + 2 + 6 = h. Suppose -3*u - 91 = -i*u. Is u prime?
False
Let x be (-1)/2 - (-9)/6. Is (x - -52*3)*(4 - 3) prime?
True
Let k = 6565 - 3600. Let f = k + -1504. Is f a prime number?
False
Suppose 2*b + 4*f - 1711 = -b, -b = 2*f - 573. Suppose 0 = v + 4*v - 5*o - 935, 3*v = 2*o + b. Is v composite?
False
Suppose -5*k + 3*k = 0. Suppose k*x - 8163 = -9*x. Is x a composite number?
False
Suppose 5*p - 5 = 5*n - 0, 33 = 5*p + 2*n. Let v(m) = 2*m**3 - 7*m**2 + 5*m + 9. Is v(p) a composite number?
False
Suppose 0 = -15*o + 2776 + 5339. Is o composite?
False
Let q(c) = -339*c**3 - 13*c**2 + 4*c - 5. Is q(-4) composite?
False
Let f(p) = p. Let o(m) = 6*m + 10. Let v(x) = -5*x - 11. Let b(t) = 6*o(t) + 7*v(t). Let n(k) = -b(k) - 5*f(k). Is n(-12) composite?
False
Suppose -2*w + 5*o = -318, 3*o + 17 - 5 = 0. Is w a composite number?
False
Let p(k) = -4*k - 25. Let t be p(-5). Is t/10*3229*-2 a composite number?
False
Let k = 29 - 39. Let h(s) = s + 14. Let g be h(k). Su