= o + q. Is m a prime number?
False
Let n = -81195 - -114698. Is n composite?
False
Let k = 2745 + -1658. Is k a prime number?
True
Let b(t) = -5036*t + 105. Is b(-4) composite?
False
Suppose 2*d = d. Suppose d*v = 4*v - 88. Let k = v + -12. Is k prime?
False
Let w(b) = 562*b**2 - 7*b + 7. Is w(-2) a composite number?
False
Let g = 2 - -2. Let a(y) = 31*y**2 + 3*y - 5. Is a(g) prime?
True
Suppose -54587 = -13*z + 9230. Is z composite?
False
Suppose -9*x + 1206 = -3*x. Is x a prime number?
False
Suppose 0 = 584*i - 574*i - 178550. Is i a composite number?
True
Let l = 44 - 44. Is 74*35 - (l + -2 - -1) prime?
True
Suppose 5*i + 28 = 3163. Suppose 0 = l - 250 - i. Is l prime?
True
Let z be 12/(-4)*(-317)/3. Let u(s) = 3*s**2 + 6*s - 7. Let p be u(-6). Suppose -z = -2*q + p. Is q prime?
True
Is (-36978)/(-2)*(-6)/(-18) prime?
True
Suppose 31*u + 7364 = 35*u. Suppose 0 = -z + f + u + 815, 5310 = 2*z - 4*f. Is z a prime number?
True
Suppose -45567 = 9*x - 225756. Is x prime?
True
Let o(y) = -y**3 - 9*y**2 + 8*y - 2. Let b be o(6). Let i = -196 - b. Is i a composite number?
True
Suppose 0 = -4*a + 12 + 8, 0 = 5*m - 2*a - 111135. Is m prime?
True
Let c = -19 - -28. Let v = -4 + c. Suppose 3*s - 62 = 2*s + v*g, -s - 2*g = -69. Is s a composite number?
False
Suppose 0 = 4673*i - 4680*i + 670334. Is i composite?
True
Let u be 12*(-1 + 5/3). Let h(w) = 19*w**2 - 2*w + 3. Let f be h(2). Suppose -t + 7*n - 2*n = -f, 2*n = -u. Is t prime?
False
Let p(c) = -14*c**3 - 5*c**2 - 8*c + 1. Is p(-6) a prime number?
False
Suppose 9 = -3*l - 9. Let h be (21/(-7))/(l/1688). Is (8/(-16))/((-2)/h) composite?
False
Suppose 16*p = 13*p + 162. Suppose p*z = 49*z + 9005. Is z a composite number?
False
Let c = -38 + 39. Let v(k) = 5304*k**3 - k**2 + 2*k - 2. Is v(c) a prime number?
True
Is 4/((-4)/4) - -1731*1 a composite number?
True
Let r(h) = -32*h**3 + 5*h + 1. Suppose 0*u = 5*s - 3*u - 5, 0 = -2*s - 5*u - 29. Is r(s) prime?
False
Suppose -433 = -v - s, -2*v + 2*s = -2*s - 848. Let p = -137 + v. Is p prime?
True
Let h = -18970 + 36593. Is h prime?
True
Let g = 65 - 29. Let r be (-4)/g*-6*-213. Let b = 389 + r. Is b prime?
False
Let i = 17 - 10. Let f(g) be the third derivative of 29*g**4/12 + g**3/6 - 13*g**2. Is f(i) prime?
False
Is 1590 + ((-8)/(-7))/((-2)/(-7)) a composite number?
True
Let w(h) = 6 - 4615*h - 7 + 1885*h. Is w(-1) a prime number?
True
Is (21/7 + -6)/((-6)/1402) a prime number?
True
Suppose 2*w + 10 = 2*l + 4*w, -2*w = -3*l. Let d be -3 + (6 - l) + -4. Is 2 + d + 15*14 a composite number?
True
Let v(w) = 24*w**2 - 8*w - 10. Let j(h) = 5*h + 7. Let k be j(-3). Let q be v(k). Let i = q - 905. Is i a composite number?
True
Is 1 - (5 + (-1004)/8)*356 a prime number?
True
Suppose 44*l = 63*l - 266551. Is l a composite number?
False
Let s(r) = -r**3 + 12*r**2 + 12*r + 15. Let d be s(13). Let z be 1/d - (-2)/4. Is (-6)/(-2) - (-35 + z) prime?
True
Let x = -176 - -1513. Is x a composite number?
True
Let h(u) = 222*u**2 + u - 3. Let m be h(3). Suppose 0 = 3*t - 0*x + x - 2981, 2*t - m = 2*x. Is t a composite number?
True
Let x = -53246 + 103785. Is x a composite number?
False
Let o(i) = i**3 - 2*i**2 + 4*i + 43327. Is o(0) prime?
False
Suppose -3*y + 55 = -2*x, 5*x + 40 = 3*y - 21. Let d = 183 - y. Let v = -25 + d. Is v a prime number?
False
Suppose -2*m - 1 = 9. Let z be ((-4)/6)/(m/(-60)). Is (-1 - z/12)*-711 composite?
True
Suppose 1883 = r - 5*d, -4*d = 2*r - 5*r + 5671. Let p = -13 + 18. Suppose 5*s + 3*x = 2*s + r, -p*x - 3155 = -5*s. Is s composite?
False
Let n = -20 - -26. Let f(o) = 7*o + 13. Is f(n) a composite number?
True
Let u(y) = y**3 + 50*y**2 + 11*y - 151. Is u(-33) prime?
False
Suppose 4*l + 1085 + 1147 = 0. Let c = -80 - l. Let r = c + -227. Is r a prime number?
True
Let k = 32 + -34. Is 1 - k/(2/45) composite?
True
Suppose -10*q - 1116 + 12666 = 0. Let a = q - 634. Is a composite?
False
Let v(o) = 2*o**3 + 20*o**2 + 6*o - 4. Let x(r) = 2*r**3 + 19*r**2 + 6*r - 3. Let m(i) = -2*v(i) + 3*x(i). Let y be m(-8). Let q = y + 244. Is q composite?
True
Suppose -93*h + 83*h = -21790. Is h composite?
False
Let t = -6 - -12. Suppose 3*o = -d + 2767, 4*d = -4*o + t*d + 3686. Is o a prime number?
False
Let z(c) = 23*c + 3. Suppose -2 = -n + 1. Let l be z(n). Let x = 19 + l. Is x a composite number?
True
Suppose 5*t - 20210 = -5*r, 3*r + 3347 = -5*t + 15467. Is r composite?
True
Let t(v) = -v**3 + 5*v**2 + 9*v - 15. Let n be t(6). Suppose 0 = 5*g + 4*z - 0*z - 15807, n*z + 6 = 0. Is g a composite number?
False
Let k = 618 - 596. Is k composite?
True
Let l(y) be the third derivative of -y**5/60 + 2*y**4/3 - 5*y**3/6 + 10*y**2. Let n be l(16). Let g(z) = -9*z**3 + 3*z**2 + z - 2. Is g(n) a prime number?
True
Is (1427 - (7 + -17))*(-7)/(-3) prime?
False
Let b = 80 - 84. Let y = 15 + -25. Is 5*(b - 294/y) a composite number?
False
Let t = 25921 + -13903. Is t/8 - (-2)/(-4*2) composite?
True
Suppose -5*k + 8 = 5*i - 4*k, 3*i + 3*k = 0. Suppose 0 = -3*t - i*h + 2421, 2*t - 2*h = -0*t + 1624. Is t prime?
True
Suppose m - 17705 = -4*t, 0 = 5*t - 2 - 13. Is m a composite number?
True
Let g(x) = 3*x**3 + 6*x**2 + 4*x - 983. Let t(l) = -4*l**3 - 7*l**2 - 5*l + 984. Let i(m) = -5*g(m) - 4*t(m). Is i(0) prime?
False
Suppose 4*s + 76 = 3*t, 84 - 20 = 3*t - s. Let i = t + 157. Is i a composite number?
True
Suppose -k = -2*c + 10, 0 = 4*c + k + 2*k. Suppose 5*j - 284 = c*j. Suppose 0 = -7*z - j + 765. Is z prime?
True
Suppose -18 = -k - 19. Is (-6 + 2)/k*(-2833)/(-4) a prime number?
True
Suppose -8*s - 772 = -3*s + 3*x, 2*x = -5*s - 768. Let m = 351 + -340. Let y = m - s. Is y prime?
True
Let n(c) = -4*c**3 - 14*c**2 - 16*c - 11. Let x(i) = -5*i**3 - 13*i**2 - 17*i - 12. Let m(u) = -7*n(u) + 6*x(u). Is m(9) a composite number?
False
Suppose -13 = -6*c + 11. Suppose -c*n + 2*f + 336 = 0, n + 405 = 6*n + 5*f. Is n composite?
False
Suppose -4602 = 6*a + 2532. Let o = a - -2445. Suppose 0 = -2*t - 10, 6*d = 3*d - 5*t + o. Is d a composite number?
True
Let x = 44 - 29. Suppose -x*f = -19*f + 84. Is f prime?
False
Suppose -12*l - 25 = -17*l. Suppose -l*s - 10597 = -26912. Is s a prime number?
False
Let p(c) = c**2 - 4*c + 3. Let d be p(2). Let z be d*(-9)/((-45)/(-20)). Is 69 + z - (2 + -6) a composite number?
True
Is 1391/5*(85 - 80) composite?
True
Is -1*-3*((-3235)/3)/(-5) prime?
True
Let j be 9 + 4 + -14 + 5. Suppose -2*s + 5*s = -j*d + 6739, 0 = -5*d - 3*s + 8426. Is d a composite number?
True
Let v(o) = -2*o + 9. Let g be v(0). Suppose g*x = 5*x. Suppose x = 2*u - 369 - 61. Is u prime?
False
Let y be (-32)/144 - ((-76)/18 + 0). Suppose -4927 + 1251 = -y*i. Is i a composite number?
False
Let w = 24 + -20. Is ((-393)/5)/(w/(-20)) composite?
True
Let u be (-1 + (-10)/(-4))*34/51. Is (392 + (u - 0))/((-45)/(-45)) a prime number?
False
Suppose -4*r + 5258 = 7*r. Suppose -2*m + 5*c + 531 = -432, -c = m - r. Is m prime?
True
Let k(p) = -9*p**3 - p**2 + 4*p - 2. Let q(m) = -4*m**3 + 2*m - 1. Let t(d) = 2*k(d) - 5*q(d). Is t(3) a composite number?
False
Let o(l) = 5055*l - 4. Is o(1) composite?
False
Suppose -4*p = g + 19 + 17, 20 = -5*p. Is (-7308)/(-15) - (-4)/g a prime number?
True
Is (28/(-42))/((-2)/249) prime?
True
Let r = 664 - -145. Let l = r + 288. Is l a prime number?
True
Suppose -a = -9*a - 32. Is (-3715)/a + 8/32 prime?
True
Let n(s) = -s**3 + 9*s**2 + 2*s - 13. Let v be n(9). Suppose 0 = -3*d - v*y + 1586, 2*y + 650 = 3*d - 929. Suppose d = 3*m - 106. Is m prime?
True
Let w be (195/15)/(-1 + 2). Let s(y) = y**3 - 13*y**2 + 18*y + 13. Is s(w) composite?
True
Let w = 152 + 1131. Is w prime?
True
Let w(r) = 75*r**2 - 39*r - 7. Is w(8) composite?
False
Let f = -24266 + 47715. Is f a prime number?
False
Let v = 12413 - -6066. Is v prime?
False
Let x(l) = -12*l**2 - 8*l + 30. Let k(g) = g**2 + g + 1. Let m(t) = -5*k(t) - x(t). Is m(-13) a composite number?
False
Let x = 4736 - 3031. Suppose -7*j + x = -2*j. Is j prime?
False
Suppose 5*o - 4*o = 0. Suppose o*g = -5*g + 25. Suppose 0 = g*j - 0*j + 3*f - 201, 0 = 5*j - 5*f - 185. Is j a composite number?
True
Let q(s) = -4*s**2 + 3*s - 5. Let l(d) = -8*d**2 + 5*d - 10. Let z(b) = -3*l(b) + 5*q(b). Let n be z(-3). Suppose n + 497 = 2*h. Is h composite?
False
Suppose a = -3*s + 4438, a + 0*s = -s + 4442. Suppose y = -3500 