 v = -c, 7*c = -4*t + r*c + 4448. Is t a composite number?
False
Let w(z) = 7*z**3 - 6*z**2 - 17*z + 9. Let b be w(-6). Let d be (-3183)/4 - 8/32. Let a = d - b. Is a a prime number?
True
Suppose 38*j - 57*j + 684468 = -3358561. Is j prime?
True
Suppose -8*d + 133*v = 137*v - 6083884, 4*d - 3041935 = -3*v. Is d a prime number?
True
Let t(j) be the second derivative of j**5/5 + 7*j**4/12 - 4*j**3 + j**2 + j - 6. Is t(13) a prime number?
True
Let q be (-42)/(-12)*(5 - 1). Let h(p) = p**3 - 10*p**2 - 8*p - 37. Is h(q) prime?
False
Let d be (-2)/15 + (-2)/(-15) + -203. Let p = d + 722. Is p composite?
True
Suppose -43887*m - 1814426 + 10960601 = -43872*m. Is m a composite number?
True
Let y = -47059 - -88248. Is y composite?
False
Let i(o) be the third derivative of 17/60*o**5 - 50*o**2 - 1/120*o**6 + 0 - 2/3*o**4 + 0*o + 13/6*o**3. Is i(11) prime?
True
Suppose 9 = 30*a - 27*a. Suppose 0 = 5*y - 2*n - 3*n - 17700, a*n = 3. Is y prime?
True
Let c(g) = g**2 + 16*g - 6. Let m(h) = -2*h**2 - 31*h + 12. Let j(x) = 5*c(x) + 2*m(x). Let k be j(-19). Suppose 0 = k*b - 6*b - 5509. Is b a composite number?
False
Let d = 6618 - -26761. Is d a composite number?
True
Let f be (1 + 0 - 0)/((-5)/(-15)). Suppose -f*i = 3*c - 36 + 3, 2*c = 2*i - 6. Suppose -i*q + 9*q = 1270. Is q prime?
False
Let n(o) = -o + 65. Let j be n(19). Suppose -43*d - 10713 = -j*d. Is d a composite number?
False
Is (-20)/(-170) - (-176)/(-340) - 3791337/(-5) composite?
False
Suppose 69271 = 5*u - o - 116946, 0 = -3*u - 2*o + 111725. Suppose -81251 = -5*y - 2*v, -u - 11495 = -3*y + 3*v. Is y prime?
True
Let f(q) = -q**3 - 2*q**2 + 10*q + 13. Let y = -101 + 97. Let l be f(y). Suppose -5*o - 1772 = 2*i - 5919, -3*i - l*o = -6228. Is i a composite number?
False
Suppose -5*m - 5*c + 8480 = 0, 29*m - 26*m - 5*c = 5048. Is m prime?
False
Suppose -30*b = -23*b - 11529. Let r = b - -3712. Is r prime?
False
Let n(k) = 30*k**2 + 4*k - 45. Suppose 5*c - u = -198, c + 48 = -9*u + 5*u. Let w be c/8 - (2 - 0). Is n(w) prime?
False
Let l(k) = 42*k. Let g be l(-1). Is 12/g - 178890/(-42) a prime number?
True
Suppose -2449707 - 12161495 = -29*p + 882251. Is p a prime number?
False
Let b(t) = -t - 15. Let l be b(-17). Suppose 0 = -c - l*n + 5271, 2*c - 7*c + 4*n = -26285. Is c composite?
False
Suppose 21*x - 15*x = 54. Let s(a) = a**3 + 10*a**2 - 6*a - 4. Is s(x) composite?
False
Let g(l) = -32197*l - 146. Is g(-3) composite?
True
Suppose -13*o + 15*o - 8 = 0. Suppose 0 = -5*p - c + 9748, o*p - 3883 = 2*p + 5*c. Is p a composite number?
False
Suppose -4*l = 7*l - 5*l - 149334. Is l a prime number?
True
Let t = -2167 - -4458. Is t a composite number?
True
Let u = 388 - 386. Suppose -4*q + 8916 = -4*r, u*r + 6410 = 3*q - 275. Is q composite?
True
Let o be -14 + 26141 + -5 + (-9)/(-3). Let w = o + -8048. Is w a prime number?
True
Is (1568912/(-40))/((128/(-120))/8) composite?
True
Suppose 38*z - 9798653 = 10*z + 2003375. Is z composite?
False
Let t = 10345 - 3462. Is t a prime number?
True
Let n = 9147 - 3495. Suppose -n = -8*m + 1172. Is m prime?
True
Suppose -49*s + 20*s - 42*s + 5094889 = 0. Is s a composite number?
True
Let n be (-3)/(((-1)/(-3))/(4/(-4))). Let w(j) = 327*j + 74. Is w(n) composite?
True
Let y(f) = 992275*f - 1478. Is y(1) a prime number?
True
Let o(m) = 79*m**3 + 5*m**2 - 25*m - 12. Is o(5) a prime number?
False
Let f(t) = -123*t + 34. Let n(s) = 2. Let r(h) = f(h) + 3*n(h). Let l be ((-4)/8)/(1/14). Is r(l) a prime number?
False
Suppose -18*o + 13*o - 4*p + 138059 = 0, 3*o = p + 82832. Is o a composite number?
False
Let q(g) be the first derivative of 12*g**3 + 15*g**2/2 + 55*g - 136. Is q(-10) a prime number?
False
Let l = 6078 + 6119. Is l prime?
True
Suppose -3*g - 12 = -9*g. Let z(w) = w**3 - 2*w**2 + 2*w + 1. Let d be z(g). Suppose 61 - 986 = -d*a. Is a prime?
False
Let b(s) = -s**3 - 4*s**2 - s + 4. Suppose -3*g + 3*d - 3 = 6, -6 = 2*g + 5*d. Let p be b(g). Is p - (-188 + -2) - (-3)/(-3) a composite number?
True
Let a = 3143 + -1193. Suppose 7*j = 6*j + a. Suppose -t - j = -p, 9741 = 5*p + 3*t + t. Is p a prime number?
True
Let t(f) = -2*f**2 + 23*f + 32. Let g be t(10). Is 118/1829 - (-983254)/g a composite number?
False
Suppose 11*x + 40 = 15*x. Is x + -4 - (-368 - 5) a prime number?
True
Let f(w) = 111*w - 217. Let a be f(7). Let r = 2 + 1. Suppose -r*t = 3, 0 = -4*m + 5*t + 1705 + a. Is m composite?
True
Suppose 38*d - 26*d = -24. Is (d + 2/2)*-16357 composite?
True
Let r(k) = 1554*k**3 + 11*k**2 - 24*k + 9. Is r(2) a composite number?
False
Let v(h) = -h - 69. Let q(i) = -2*i - 70. Let o(j) = -4*q(j) + 5*v(j). Let t be o(22). Is ((-2 - -1) + 90)/t a prime number?
True
Suppose 5*a + 6*x = 5*x + 60, 3*x = -5*a + 60. Is 4198*(6 + 0)/a a composite number?
False
Let a = 31 - 24. Let w(k) = -2*k + a*k**2 + 4*k + 11 - 5*k**2. Is w(6) composite?
True
Let x = 64 - 34. Let t be (100/x)/((-4)/6). Is (9700/15)/t*6/(-4) a prime number?
False
Suppose 3*x - 9 - 6 = 0. Suppose 0 = 2*m + 4*r - 22, -x*m - 2*r = -3 - 20. Is ((-1)/(-4))/(m/(-8394))*-2 prime?
True
Let g = -10 + 6. Let q be 12/48 + 25/g. Let v(x) = x**3 + 8*x**2 + 9*x - 3. Is v(q) a prime number?
False
Suppose d + 2*d + 72 = 3*s, -3*s + 5*d = -78. Let r = s + -20. Suppose -5*x + 3*t + 12050 = -2*t, 0 = t - r. Is x prime?
True
Let o = 71 + -70. Let w be o/6 - 98/84. Is (81 - -12)*w/(-1) composite?
True
Let b(a) = 31*a**2 + 158*a + 240. Is b(-67) a prime number?
True
Let v(h) = -5*h - 64. Let w be v(-16). Let c(x) = x**3 - 14*x**2 - 14. Let p be c(w). Suppose -2415 = -3*b + p. Is b prime?
True
Let m = 52 + -48. Suppose -m*k - 2*i = -7892, 2*k - 3946 = -30*i + 31*i. Is k prime?
True
Let x = 40064 + -13213. Suppose 0 = 5*j - 2*z - x, 3*z = -6*j + 5*j + 5377. Is j prime?
False
Is 1235127/36 + (-69)/828 composite?
True
Suppose 1846*w - 149666 = 1835*w. Let n = w + -5799. Is n a composite number?
True
Let f = 189294 - -3767. Is f a composite number?
True
Suppose 3*i + 364931 = 2*r + 2*r, 3*r = -2*i + 273677. Is r prime?
True
Let i be 20/4 - (-1 - -7). Let m be (0*-2*2/16)/i. Is (10 + -1292)/(-2 - m/(-3)) a prime number?
True
Suppose 119*v - 18088579 - 18892017 = 16119703. Is v prime?
True
Is (-2)/(3465095/(-203829) + 17) composite?
True
Suppose 0 = 3*c + 3 - 15. Let f(l) = 957*l - 31. Is f(c) prime?
True
Suppose 4460396 = -207*i + 65020523. Is i a composite number?
False
Suppose -2*u + 78 = -122. Is (-75)/u + ((-42897)/12)/(-1) a composite number?
True
Let s(x) = x**2 - 12*x + 25. Let p be s(10). Suppose 0 = p*g - 1 - 14. Suppose -2*q - l + 1773 = 0, 2*l = -g*q - 3*l + 2656. Is q prime?
True
Let d(r) = 432*r**2 + 11*r + 130. Is d(-9) prime?
True
Suppose -24*g = -12*g - 48. Suppose 0 = 5*c - 2*p - 11673, -4654 = -2*c + g*p - 7*p. Is c a prime number?
True
Is (-5 - -2 - -4)*483596/(-3 - -7) prime?
True
Suppose -6*z + 6 = -18. Suppose z*a - 1673 = v - 4*v, 2*v = 5*a + 1146. Is v prime?
True
Suppose 2*j + 5 = b, 4*b + j + 5 = -2. Let z be (20/12 + b)*3. Is -346*z/(-8) + 12/(-8) composite?
True
Let x = 53086 + 118487. Is x a prime number?
False
Let u(l) = 2*l**2 - 6*l - 64. Let b be u(7). Let r(h) = 42*h**2 - 24*h - 37. Is r(b) a prime number?
True
Let w = 9787 - -1804. Is w composite?
True
Suppose 0 = j + 17*j - 9882. Suppose -4*v - 4*y + 3188 = 0, -5*v + 4*y + j = -3481. Is v composite?
True
Suppose -3*q = 3*a - q - 48, 0 = 3*q. Is (-3 - (0 - a*844))*1 a prime number?
False
Suppose -2*j + 6*j - v - 7317 = 0, 3*v - 3655 = -2*j. Suppose 6*w - 8*w + 7250 = 4*u, -u + 5*w = -j. Is u prime?
False
Let p = 67 - 61. Let b(q) = -p*q**2 - 3*q**3 - 6*q**3 - 21 + 15*q**3 - 5*q**3. Is b(10) prime?
True
Let m(v) = -v**3 + v + 4. Let o be m(0). Suppose -15 = 3*z + o*u, 4*z + 2*u + 2*u = -16. Is z*3 + (497 - -17) composite?
True
Is (-2842)/(-1015) - (-954041)/5 composite?
False
Suppose -13*x - 4*r = -14*x + 24265, -2*r - 24275 = -x. Suppose 14*f + x = 482827. Is f a prime number?
False
Suppose -2*o = -4*z - 34656 - 33394, 5 = 5*z. Is o composite?
True
Let o(m) = m**3 + m + 18. Let y be o(0). Suppose 10*g = g - y. Is ((-99)/(-6) + g)*14 a prime number?
False
Let o be (-5)/((-20)/12)*(-3 - 5). Is (-1324)/(-3)*o/(-16) a composite number?
True
Suppose 0 = 43*g - 38*g - 2*q - 4992415, -3*g - q = -2995460. Is g a prime number?
False
Let j = 248 - 251. Is (-6 -