 number?
True
Suppose -108 = -5*f - w, 12 = f + 8*w - 3*w. Let p be 3*(24/11 + (-4)/f). Is (-260)/6*(-9)/p a prime number?
False
Let d = -46 - -50. Suppose -4*w - 16 = -h - d, 0 = -2*h - 3*w - 9. Suppose 31*j - 34*j + 9417 = h. Is j a composite number?
True
Let c = 2905 - -68644. Is c prime?
True
Let o(p) = -3285*p**3 - 45*p**2 + 3*p - 7. Is o(-8) prime?
True
Suppose -g + 8686 = 2*s, -s = 4*g - 1134 - 3202. Suppose -6*w - 2*w + s = 0. Suppose 0 = 2*x - 1375 - w. Is x composite?
True
Let a(z) = 5366*z - 317. Is a(8) composite?
False
Let h(s) = -20*s**3 + 25*s**2 + 5*s + 17. Let u(w) = w**2 - w + 1. Let r(z) = h(z) - 6*u(z). Is r(-8) composite?
True
Suppose 3*b + 3*l - 9489 = 0, 12 = -5*l + l. Suppose -2*t = -0*c - 5*c + 52, -2*c + 5*t + 25 = 0. Suppose 12*v = c*v + b. Is v a composite number?
False
Suppose -5*x - y - 16 = 3*y, 0 = -2*y - 8. Suppose x = 5*i - 2*t - 4978, 2*t + 159 = 2*i - 1837. Suppose 2*a - 1160 - i = 0. Is a a prime number?
False
Suppose 41*p - 42*p + 360588 = q, -360603 = -q - 4*p. Is q composite?
True
Suppose 115919 = -26*i + 986425. Is i prime?
False
Let w = 339258 - 197009. Is w prime?
False
Let w = 2 - 1. Let u(j) = 623*j**3 + 8674*j - 1 - 12*j**2 - 8674*j + 13*j**2. Is u(w) a prime number?
False
Let s(d) = 24826*d**2 + 378*d - 378. Is s(1) prime?
False
Let p(d) = -d**3 - d + 2. Let q be p(0). Suppose q*n + 634 = -1036. Let w = n - -1314. Is w a composite number?
False
Suppose 0 = 4*x + 3*l - 57, 2*x + 5*l = 4*l + 27. Let c(b) = -2 + 11*b + 4*b - x*b + 180*b**2. Is c(1) composite?
False
Suppose 4*f + 0 = -4*u + 4, 2*u + 3*f + 1 = 0. Suppose 3*t = u*m - 8*m + 401, 4*m - 389 = t. Suppose m = -z + 505. Is z prime?
False
Let d = -3456 - -32664. Suppose -i + q + 10242 = 0, -q - d = -4*i + 11763. Is i a composite number?
False
Suppose 9*c + 3390 = 12*c. Let d = c - -1703. Is d prime?
True
Let y(p) = -p**2 + 8*p - 11. Let i be y(5). Is 2/(2/i*(-16)/(-2164)) a prime number?
True
Let l = -40 + 50. Suppose l*q - 4*q = 222. Suppose -3*p = -4*v + 2179, -q = 3*v - 4*p - 1680. Is v a prime number?
True
Suppose 2*l = -5*l + 28. Suppose 0 = -9*t + l*t + 75. Suppose -20*n = -t*n - 3955. Is n composite?
True
Let z(s) = 5286*s + 60. Let m be z(5). Is (m/(-12) + -3)/(1/(-2)) a composite number?
False
Suppose -2*y = -3*c + 14 + 30, y = -3*c + 59. Let r be (-76)/(-8) + (-3 - (-15)/6). Suppose -c*s = -r*s - 15543. Is s composite?
True
Let y(l) = -l - 5. Let c be y(-8). Suppose -c*v + 355 = -5*i, v + i - 4*i - 125 = 0. Suppose v = q + 36. Is q a prime number?
False
Let s(g) = 4*g**3 + 29*g**2 - 76*g + 4. Let y(p) = 7*p**3 + 59*p**2 - 156*p + 7. Let m(k) = -5*s(k) + 3*y(k). Is m(-28) a composite number?
True
Let h = -35063 + 143824. Is h a composite number?
False
Suppose -3*l + u + 87 = -l, -3*u = -4*l + 175. Let x be l/7 - (-1 + 8/7). Is (68/x)/(-1*4/(-222)) prime?
False
Suppose 108*z - 34545724 = 12084248. Is z prime?
True
Let m(v) = -v**3 + 10*v**2 - 3*v + 32. Let w be m(10). Suppose -2*l - 3*c = -25219, 2*c - 1057 = w*l - 26261. Is l prime?
False
Let z be (-9)/2*238028/(-21). Suppose -8*b + 2*b = -z. Is b composite?
False
Let b(d) = d**2 + 14*d - 8. Suppose -6*y - 3 = -45. Is b(y) a composite number?
False
Let v(t) = 34*t**2 + 96*t + 453. Is v(-15) a composite number?
True
Suppose 2 - 4 = -d. Let y(u) = 13*u**2 - 5*u + 11. Let l be y(d). Let s = l + -31. Is s prime?
False
Suppose 3*l = 2*q - 595, -3*q + 5*l = -6*q + 940. Suppose -3*s = -5*s - 368. Let j = s + q. Is j a composite number?
True
Is 175704/8*(-5)/(-60)*4 a composite number?
False
Suppose i + 5*m = 17626, -2*i - 5552 = 5*m - 40789. Suppose d + 4*b - 8828 = -b, 2*d + b = i. Is d a prime number?
True
Let r be ((-20)/8)/(10/(-16)). Is -5 + 11 - r - -4375 prime?
False
Let a(b) be the second derivative of b**8/560 - b**7/420 + b**6/144 - 13*b**5/120 - 5*b**4/3 - 2*b. Let f(h) be the third derivative of a(h). Is f(6) composite?
False
Suppose -34*m + 30*m + 356 = 0. Let u = -87 + m. Let a = u + 161. Is a a composite number?
False
Suppose r = -4*c + 3*c + 6324, 3*r = c - 6332. Suppose -17*w + 19*w = c. Is w a composite number?
False
Suppose 197793 = 37*u - 438496. Is u composite?
True
Let k be (-3 + (-8)/(-4))*(-12)/3. Suppose 4*c + 3*u = -c + 30, -22 = -k*c - 2*u. Suppose 2*p = -3*i - 2*i + 6003, i + c*p = 1211. Is i a composite number?
True
Suppose -17*j - 3058153 = 6449862. Is (-1)/12 - j/132 a prime number?
False
Suppose 0 = -3*q - 5*k + 218547, 94*k + 30 = 89*k. Is q prime?
True
Let l(p) = 2*p**3 + 13*p**2 - 9*p - 9. Let d be l(-7). Is 2069 + (d - 3) - 2 prime?
True
Is 5/(-15)*8 + (-3788216)/(-12) composite?
True
Suppose 199*q = -63*q + 5386982. Is q prime?
False
Let h be (3 - 49/7) + 279. Suppose 3*u = 2*t - 357, -4*u - 858 = -5*t - 8*u. Suppose -r + t = -h. Is r a composite number?
False
Suppose 5*k + 3*d - 21 = 24, -d = 4*k - 29. Suppose 5806 = k*j - 10508. Is j a composite number?
False
Let q = -26148 + 151519. Is q a composite number?
False
Let l = 1529566 - 1040999. Is l a prime number?
True
Let s = -559 - -1984. Let v be (-6)/(-2)*(-304)/(-6). Let g = s - v. Is g a prime number?
False
Suppose -4*a + 1495 = -1501. Let o = a + -1096. Let c = o - -1498. Is c composite?
False
Suppose 0 = k - w - w, -4 = -2*w. Suppose 23551 = 8*r + 6879. Suppose -2*q + 3*b + 2056 = 2*q, -k*q = 4*b - r. Is q composite?
True
Let t(i) = 18*i**3 + 2*i**2 - 9*i + 5. Let u(x) = -x**3 + x**2 - x - 1. Let m(l) = t(l) - 6*u(l). Is m(4) composite?
False
Suppose -5*u + 9 = -2*t, u = -3*t - 3*u - 48. Let z(g) = -g**2 - 10*g + 19. Let p be z(t). Is 28798/70 + 2/p a composite number?
True
Is 61147 + 75/(-9) + (-2)/(-6) a prime number?
False
Suppose -18 + 6 = -6*q. Suppose 424 = 3*b + q*k - 523, 2*b = 2*k + 648. Is b a prime number?
False
Let c be (-2 - (-106)/10) + (-6)/(-15). Suppose c*w - 9384 = 1407. Is w composite?
True
Let f(k) = 4*k**3 + k**2 + 3*k + 1399. Suppose -5*o - 2*y = 0, o - 3*o + y = 0. Is f(o) a composite number?
False
Suppose -3*y = 4*g + 988, -3*y + 8*g - 1033 = 3*g. Is ((-275)/(-33))/((-2)/y) + -1 composite?
False
Let s(k) = 2270*k**2 + 230*k - 11. Is s(-6) a composite number?
False
Let n(l) = -2*l**2 - 63*l - 265. Let y be n(-5). Suppose z + 6 = 4*x - 33, 37 = 4*x - 3*z. Suppose y = -8*r + x*r - 862. Is r prime?
True
Suppose 5*n = -4*o + 190, -o + 4*n + 27 + 31 = 0. Let a be ((-16)/20)/(4/o). Is (2/a)/(3/(-18885)) prime?
True
Let d(p) be the first derivative of p**4/4 + 4*p**3 - p**2/2 + 13*p - 7. Let y be d(-9). Is y*(-2)/(-2) - -4 a composite number?
False
Let q be (-96)/9*42/(-4). Let o be (-917424)/q + 4/14. Let k = -4732 - o. Is k prime?
False
Let u(k) = 401*k**2 - 5*k - 12. Let r be u(-2). Suppose 4*d - r = 1546. Is d a composite number?
False
Let x be 102/27 + 4/18. Suppose -d + 27 = x*n, 0*n - n - 4*d = 12. Suppose 10*m - 5*r - 9198 = n*m, -2*m - r = -9222. Is m prime?
False
Suppose -g + 4 = 3*l, 0*l = 3*l - 3*g + 12. Suppose -3*a + 583 + 1644 = -2*f, l = f - 1. Is a a prime number?
True
Suppose -486*l = -656*l + 1234370. Is l a prime number?
False
Suppose 4710 = 4*w - 4*r - r, 3*w + 5*r = 3515. Suppose 0*f - 3*f - 1632 = 0. Let x = f + w. Is x a composite number?
False
Let p = 324 + -321. Suppose p*y + 2*y - 3*v = 5746, 2*y - 2290 = 4*v. Is y prime?
True
Let q(c) = c - 5. Let u be q(9). Let g(x) = -u*x - 94*x**2 - 7 + 54*x**2 + 46*x**2. Is g(-3) a prime number?
True
Suppose -20*v + 542935 = -3353245. Is v composite?
False
Suppose 0 = -5*z + 8*z - 9042. Let q = 4838 - z. Suppose -3*u + 1833 = -q. Is u a prime number?
False
Suppose 0 = -k + 3*l + 13, -9*l - 11 = -k - 8*l. Suppose k*j - 17894 = 17536. Is j a prime number?
False
Let s be 90/(-27)*(3 - 4938/4). Suppose s = 2*i + 3*i. Is i prime?
True
Let c = -16 + 18. Let x = c - -4. Suppose -2*s = 2*t - x*t + 346, 3*t + s - 272 = 0. Is t a composite number?
False
Let c(x) = 71 - 8*x**2 - 10*x**2 - 8*x + 22*x**2. Is c(-27) a prime number?
True
Suppose -3 = -g - 6. Let z = g + 7. Suppose -m + 824 = z*v, -2*m + 6*m = 0. Is v a prime number?
False
Suppose 0 = 117*v - 321*v + 44380812. Is v a prime number?
False
Let n be 42/105 - (-40)/25. Suppose 2*d = 6*d. Suppose -5*q = -n*p + 416, -3*p + 5*q + 339 + 280 = d. Is p composite?
True
Let m(x) = 3*x - 29. Let n be m(11). Is (7 - n) + 0 + 1240 a composite number?
True
Let r(t) = -12*t**2 - 