 d = -765 - -2174. Is d a prime number?
True
Let l(f) = 200*f**2 - 34*f + 197. Is l(6) prime?
True
Let f be ((-15)/(-10))/(-3) + 18/4. Let g(x) = 2*x**3 + 6*x**2 - 3*x - 3. Is g(f) a composite number?
True
Let u be (-10)/((15/(-78))/5). Let a = -111 - -62. Let y = a + u. Is y composite?
False
Suppose -22*j - 8944 = -28898. Is j a composite number?
False
Suppose -30 = 8*f - 6. Let u(w) = 6*w**2 - 6*w - 7. Is u(f) a composite number?
True
Suppose 11*a + 1144 = 13*a. Suppose 4*t = -12, -q - a = -2*q - 5*t. Is q prime?
True
Let k = -44 + 30. Let i(y) = -y - 3. Let q be i(0). Let h = q - k. Is h a composite number?
False
Suppose 0 = w + 2*o + 2400, 2*w + 3561 = -5*o - 1241. Is w*1/(-4)*3 a composite number?
True
Suppose -3*t = -5*o - 2, 3*t + o = 6*t - 10. Suppose -t*g + 2 = 14. Is ((-651)/9 + 2)*g composite?
False
Let a(v) = -v**3 - 6*v**2 - v - 4. Suppose -4*k = 3*p + 33, 4*k = 5*p - 3 - 6. Let o be a(k). Suppose 296 + 126 = o*n. Is n a composite number?
False
Let r(m) = -168*m + 41. Let u(j) = -10*j + 3. Let f be u(1). Is r(f) prime?
True
Suppose 2560 = w + 5*m - 2086, 0 = 2*m + 6. Is w composite?
True
Is 2 + ((-69)/(-4))/(17/6052) prime?
True
Is 1*-1657*(-7 + 0 - -6) a prime number?
True
Let u be -13 + 19 - (2 - -1). Suppose 3*i + l = 3203, -u*l - l = i - 1075. Is i composite?
True
Is (-15)/40 - 307853/(-56) a composite number?
True
Suppose -6*z = -17*z + 206173. Is z composite?
False
Let p(l) be the second derivative of 2*l**3 + l**2 + 8*l. Is p(5) composite?
True
Suppose -y = -995 - 880. Suppose -798 = -2*k + 5*w, 3*k + 4*w + 724 = y. Is k prime?
True
Let c be (4 - 1)/((-3)/(-856)*-4). Let w be 4/(-14) - 4317/7. Let x = c - w. Is x prime?
False
Suppose 3*v - 15008 = 2*h, 0 = -3*h + h + 10. Is v composite?
True
Suppose -2*i = g + 6, -4*g = -6*i + 3*i + 2. Let q(d) = -118*d**3 + 2*d**2 - d + 1. Is q(g) composite?
True
Let g(u) = -2*u**3 + 16*u**2 + 28*u - 63. Is g(-19) composite?
False
Suppose 4*a - 60497 = -j + 1471, -61992 = -4*a + 5*j. Is a a prime number?
True
Suppose -3*b - 10018 = -4*t, -20 = -2*b - 24. Is t a prime number?
True
Suppose 14 = -3*j + 41. Let n(o) = 2*o**3 + 3*o**2 - 6*o - 6. Is n(j) a prime number?
False
Let x(z) = -z**3 - 4*z**2 + 7*z - 9. Let o = -5 + 5. Suppose 0*n - 4*n = o, 0 = y - 5*n + 8. Is x(y) a prime number?
True
Let m(a) = 77*a - 18. Let g be m(5). Suppose -i - 2*q = -76, -2*q = 5*i - 5*q - g. Is i a prime number?
False
Let d = -45683 + 64920. Is d prime?
True
Let g(t) = 1 - 11 + 5 + 3*t + 6*t + 11*t**2. Let l(s) = 12*s**2 + 8*s - 5. Let m(f) = 6*g(f) - 5*l(f). Is m(-6) prime?
True
Suppose 2*j = -2*j - 36. Let i(g) = -g**3 - 11*g**2 + 12*g - 3. Let n be i(-12). Is -2 - -228 - j/n composite?
False
Suppose 0 = s - 4*x + 1102, 4*s + 5564 = -s + 2*x. Is 3/2*-2 - s prime?
False
Let y(v) = -7*v**2 + 4 + 8*v - 6*v**2 + 14*v**2. Is y(9) prime?
True
Let u be 1*(-1)/(-2)*24. Suppose g - 5*g - h - u = 0, -4*g = -2*h. Is 1*(-1 - g) - -200 prime?
False
Let z = -5025 + 14926. Is z a prime number?
True
Suppose -4*i + 73201 = r, 3*i = 6*r - 10*r + 54917. Is i prime?
False
Let t(i) = 24*i**3 - 6*i**2 + 25*i + 9. Is t(10) prime?
False
Let c(a) = 71*a + 29. Let v be ((-3)/(3/20))/(-4 + 2). Is c(v) a prime number?
True
Let l(w) = 10*w**2 + 22*w + 53. Is l(17) composite?
True
Suppose 4*b - 9 = b. Let m be 2115/(-20)*(-8)/b. Suppose 0 = 5*t - m + 97. Is t a prime number?
True
Let t = -2591 + 37828. Is t a prime number?
False
Let l = 52 - 48. Is (20/(-8) - -2)/(l/(-3912)) a prime number?
False
Suppose 122406 = 5*t - 41749. Is t a composite number?
False
Let w(u) = -u**3 + 4*u**2 + 2. Let k be w(4). Let n(p) = 5*p**2 + p + 2*p - k*p - 5. Is n(-5) composite?
True
Suppose 2*i - 5 = 5*r, 4 = i - 4*r - 0*r. Suppose -2*y + 5*y - 5*b = 9605, y + b - 3207 = i. Is y a prime number?
False
Let y = -3 + 4. Let q(c) = -2*c**3 - 2*c**2 + 3*c + 3. Let w be q(-2). Let t = y + w. Is t prime?
False
Suppose -3*s - 5*t + 28 = 0, 2*s - 2*t = -11 + 3. Is 3 - 8 - (-11602)/s a prime number?
True
Is 8 - 194*(-45 + -6) composite?
True
Suppose 62 = b - 5*j - 91, 4*j - 823 = -5*b. Suppose u - 4*l = b, 4 = l - 0. Is u composite?
False
Let a = -1012 + 44621. Is a prime?
True
Let h = -35 + 38. Suppose 115 = h*m - 2*m. Is m prime?
False
Suppose -5*h + 3000 = -2280. Suppose h = 5*q - 0*j + j, 0 = -q - 4*j + 215. Is q a composite number?
False
Let i = 2044 - 1343. Is i composite?
False
Suppose c - 8 = -4. Suppose 8*l = -c*l + 3948. Is l composite?
True
Suppose -447010 - 1179610 = -20*v. Is v prime?
True
Suppose 0 = 109*z + 16*z - 6719875. Is z a composite number?
False
Let w = -2468 - -4627. Is w a prime number?
False
Let y(o) = -37*o**3 + 3*o**2 - 10*o - 15. Is y(-7) composite?
False
Suppose -4943 = 4*j - 5*w - 37797, 24627 = 3*j + 3*w. Suppose 9300 = 13*b - j. Is b composite?
True
Suppose -3*v - i + 13802 = 0, i + 18405 = -0*v + 4*v. Is v prime?
False
Suppose 45*t = 612067 + 1145948. Is t a prime number?
False
Let x = -1664 - -2875. Let y = -925 - -925. Let n = x - y. Is n a prime number?
False
Let j = -6 + 8. Suppose -1218 = -4*r + 5*v, -2*r = -6*v + j*v - 606. Is r composite?
False
Let a(v) = -115*v + 10. Let t be a(-1). Suppose 5*l - 736 = 2*l + 4*y, -4*y = 2*l - 524. Let o = l - t. Is o a prime number?
True
Let h(f) = 10*f**2 + 14*f + 21. Let m be h(18). Suppose m = 4*j + 541. Is j prime?
True
Suppose -5*u = 4*f - 52243, -2*f + 46704 + 5545 = 5*u. Is u composite?
True
Suppose 0 = -12*w + 5*w + 42. Suppose -3684 + 24378 = w*q. Is q composite?
False
Let w = 8 - 5. Is -2 - (w + -495 - 3) a composite number?
True
Suppose -v = 3*u + 10, 0 = -2*v - 0*v + 5*u + 13. Let k = v - -6. Is (-1)/1 - (k - 145) a prime number?
True
Suppose -5*r = -57004 - 27271. Is r composite?
True
Let s = 72685 + -18698. Is s prime?
True
Is 4/6 + (-5 - 2968/(-3)) prime?
False
Let l(k) = 5446*k + 161. Is l(6) composite?
True
Suppose -5468 = 25*i - 29*i. Is i composite?
False
Let c(h) = h**2 + 8*h + 10. Let n be c(-7). Suppose n*t = 4*p + 744, -t + 0*p + 248 = -2*p. Let v = t + -145. Is v a prime number?
True
Let a(l) = -l**3 + 13*l**2 - 4*l + 5. Let u be a(8). Let m = u + -149. Suppose 374 - m = 2*f. Is f a prime number?
False
Let v = 212 - -4482. Is v composite?
True
Suppose -5*f - 2*j = -0*f + 20, 5*f = -j - 25. Let a be 12/4 - f/(-2). Suppose 653 = -a*o + o. Is o a composite number?
False
Suppose -1812 = -4*a + 1368. Suppose -w + z = -380, 707 = 4*w + 2*z - a. Is w composite?
True
Let q be (69/6)/((-1)/(-72)). Let g = 1385 - q. Is g prime?
True
Let g = 36 + -38. Is ((-81160)/(-25))/2 + g/10 a prime number?
False
Let l be -2 - -3 - (-12)/2. Let f(c) = c**3 + 4*c**2 - 6*c + 4. Let g be f(l). Let a = g + -290. Is a a composite number?
False
Suppose 7*p - 6*p - 15579 = 0. Suppose 5*c = -2*n + 25433, 2*c - p = 4*n - 5401. Is c a prime number?
True
Let r = 119 - 9. Suppose -7 = -0*q - q. Suppose 0 = -3*h + r + q. Is h composite?
True
Let c = 39 + 219. Is (11 + 0)/(6/c) composite?
True
Let i(u) = -243*u**3 - 4*u**2 + 40*u + 116. Is i(-3) a prime number?
True
Let x(v) = v. Let c(d) = -9*d**2 + 7*d + 4. Let q(k) = -c(k) + x(k). Is q(5) a prime number?
True
Suppose 0 = 6*r + 4 - 22. Let k(x) = 105*x + 2. Is k(r) prime?
True
Let c = -112 - -117. Suppose 2417 = z - p - 4*p, -3*z = c*p - 7291. Is z prime?
False
Is (-6)/(-14) + 101780/98 prime?
True
Let d be (-1 - -2) + (0 - 1). Let f be -1*(-9)/(-3) + (-12)/(-4). Is f/(-3) - (d + -209) a composite number?
True
Let t be (3 + -2)*1 + 22. Suppose -u = -281 - t. Suppose 2*h = 5*c - u, -3*c - 10 = -3*h - 187. Is c prime?
False
Let f(k) = k**2 + 5*k + 1. Let g be f(0). Is (677 - -1*(-2 + 3)) + g prime?
False
Suppose -21*n - 728 = -11522. Is n a composite number?
True
Suppose -5*d + 14 = -51. Let v(z) = -z**3 + 18*z**2 - 7*z + 15. Is v(d) composite?
False
Let n(m) = 14*m**2 + 8*m + 6. Let l be n(-9). Suppose 5*c - 2137 = l. Is c a prime number?
True
Let w(y) = 1 + 16*y**2 - 46*y**2 + 19*y + y**3 - 4*y + 20*y**2. Is w(16) a prime number?
True
Let q be (0/(-2))/(-1 - 3/(-1)). Suppose q = -4*s - 6*s + 6910. Is s a composite number?
False
Let z = 451 - -1275. Suppose 34*i - 32*i = z. Is i prime?
True
Let n(w) = -8*w - 6. Let x(i) = -i. Let b(u) = n(u) - 5*x(u). Let f be b(-4). Suppose 1588 = -2*q + f*q. Is q a prime number?
True
Suppose -267826 = -259*h + 233