5 = 0. Let o = -6 - i. Suppose -t - 655 = -o*t. Is t a composite number?
True
Let r(m) = -m**2 - 5*m - 2. Let b be r(-2). Suppose n - 231 = -b*g, 3*n + 4*g - 574 = 79. Is n a prime number?
True
Suppose 3*w - 1 = 2*n, -5*w = 4*n - 0*w - 31. Suppose -4*c - 829 = -4*v + 383, c - n = 0. Is v composite?
False
Let j = 28 - 51. Let v = 23 + j. Suppose 2*w + 3*y - 37 = w, v = 5*y. Is w composite?
False
Is ((-17636)/4)/(4/12*-3) a composite number?
False
Is ((-9)/27)/((-4)/34764) a prime number?
True
Let d = 85 + -19. Suppose d*t = 68*t - 1126. Is t a composite number?
False
Let f = -18270 - -44935. Is f composite?
True
Let k(a) = -a**3 + 7*a**2 - 6*a + 2. Let o be k(6). Suppose 2532 = 10*p + o*p. Is p composite?
False
Let i(t) = -6180*t - 201. Is i(-3) a prime number?
False
Let q be (2 + -2)*9/9. Suppose 7*z - 2*z - 5905 = q. Is z a composite number?
False
Suppose -6*z + 39 = -z + 2*l, -l = -2*z + 21. Suppose -3*q + 0*q + z = 0. Suppose -31 = -q*b + 62. Is b prime?
True
Let t = -41048 - -72187. Is t prime?
True
Let p = 36132 + -13985. Is p composite?
False
Suppose 4*s + 5 = -s, 5*s + 3825 = 4*y. Is (-8)/6 - y/(-3) a prime number?
True
Let h(w) be the third derivative of w**5/12 + w**4/4 - 5*w**3/3 + 13*w**2. Is h(13) prime?
False
Suppose -16*p + 9*p = -77903. Is p a prime number?
False
Let b(t) = -21*t + 10. Let j be b(5). Let v = j + 3300. Is v composite?
True
Let o = 79863 - 34630. Is o a composite number?
False
Is 11*36/(-2970) - 248074/(-30) a prime number?
True
Let s(x) = -152*x + 83. Is s(-6) a prime number?
False
Let j(r) = 8*r**3 - 6*r**2 - 3*r + 11. Let t be j(5). Let x be (7/2 + -3)*8. Is (x/(-6))/((-4)/t) a prime number?
False
Let q be 0*(45/12 + -4). Let g be -15*(q + 4)/(-12). Suppose -15 + 260 = g*k. Is k composite?
True
Let l = 47 + 16. Let c = 237 + l. Let g = c - 41. Is g a composite number?
True
Suppose 0 = 5*y - 28980 + 4815. Suppose 2*m = -m - 3*c + y, -4*m + 4*c + 6428 = 0. Suppose 2*p = m - 451. Is p a prime number?
False
Suppose -1938439 = -55*i + 319146. Is i composite?
False
Let w(r) = 22*r + 15. Let c = 17 - 15. Suppose 13 = l + c. Is w(l) a composite number?
False
Let j = -10700 + 19040. Suppose 3*k = -0*k + j. Suppose -p = p - 2*h - k, 5*p = -3*h + 6974. Is p a composite number?
True
Let r = 9 + -6. Let l(s) = 11*s**2 - 13*s - 1. Let t be l(7). Suppose 0 = -r*n + 6*n - t. Is n prime?
True
Suppose x - 2*s - 18 = -4*x, -4*x - 2*s + 18 = 0. Suppose 0 = -5*q - 5*c + 4 + 131, -x*c = 2*q - 48. Let b = q + 7. Is b composite?
False
Let o(d) = d**3 - 2*d**2 + 2. Let x be o(2). Suppose 4*k = x*j - j - 67, -5*j = 2*k - 247. Is j composite?
True
Let p = -133 - -170. Is p composite?
False
Suppose -16*p = -46127 - 150209. Is p prime?
False
Let s = -6166 - -8933. Is s prime?
True
Let t be (-9)/1 + 2/1. Let p(d) = -d. Let c be p(t). Let l(q) = -q**2 + 8*q. Is l(c) a composite number?
False
Suppose u + p - 36188 = -2223, -4*u + 3*p = -135874. Is u a composite number?
False
Let r(y) = -y**3 - 5*y**2 - 5. Let o(f) = 3*f - 12*f**2 - 6 - 5*f - 6*f + 3*f**2 - f**3. Let b be o(-8). Is r(b) prime?
True
Let a be (-34)/(-51)*114/8*32. Suppose 2872 + a = 4*t. Is t composite?
True
Let l(r) = -r**2 - 9*r - 8. Let c be l(-8). Suppose c*u - 2148 = -4*u. Is u a composite number?
True
Let y(d) = -4203*d - 3. Let v = 18 - 17. Let g be y(v). Is -4*1*g/24 prime?
True
Is (-4 - (17 - 22)) + (-100412)/(-2) a prime number?
True
Is (-5 + 1134/5)*5 prime?
True
Suppose 4*u + 52 = 1732. Let h = u + -125. Let r = h - 176. Is r a prime number?
False
Let h be 0/((-3)/((-15)/(-5))). Suppose h*j + 4*j - 500 = -2*v, -4*j + 520 = -3*v. Is j composite?
False
Let h be -4 + 7/(14/544). Suppose 3*m - h = 587. Suppose -74 + m = p. Is p composite?
False
Suppose -3*q - 5*m - 1037 = -4859, -2*q + 5*m + 2573 = 0. Is q prime?
True
Suppose -6*b + 4 = -2*b. Is b/(-2) + (-207)/(-6) a prime number?
False
Suppose 103 = 2*n + 4*r - 29, 5*n - r = 286. Let w = 38 - n. Is (-3452)/(-10)*(-50)/w a composite number?
False
Suppose 1788 - 171 = -7*o. Let b = 333 + o. Suppose 0 = 6*t - b - 84. Is t prime?
True
Suppose -4*j - 5*f + 6*f - 18 = 0, 3*j + 10 = -f. Let l = 2 - 4. Is l/j - 41/(-2) composite?
True
Is ((-2)/(-20))/(3/73110) a composite number?
False
Let t = -141 - -150. Let d(n) = 44*n + 53. Is d(t) composite?
False
Let w = -40 + 36. Let r(u) = -239*u - 23. Is r(w) a composite number?
True
Suppose 2 = -16*p + 17*p. Suppose -2*c = p*c - 20. Suppose 180 - 36 = g + c*x, -4*g - 3*x + 593 = 0. Is g a prime number?
True
Is 1/2*13722/1 a prime number?
False
Suppose -3*p - r = -36, 3*r + 2*r = 0. Let w(t) = 11*t - 3. Let l be w(p). Is (3 - (-10)/(-2)) + l a composite number?
False
Let s be -13 - -15 - (0 + 0). Suppose -s*l + 215 = -27. Is l composite?
True
Suppose -6*z + m + 9756 = -3*z, 4*z - 3*m = 13013. Is z prime?
True
Let o(p) = 14*p**3 - 50*p**2 + 17*p - 57. Let b(w) = -1 - 6*w + 11 - 5*w**3 + 17*w**2 + 14 - 5. Let j(i) = 17*b(i) + 6*o(i). Is j(-13) a prime number?
False
Let g(r) = -r + 22. Let h be g(20). Suppose m = -5*c + 14317, -5*c + 14311 = -4*m + h*m. Is c prime?
False
Let p(i) = i**2 - 11*i + 8. Let u be p(11). Let s be (-35)/1 - (-7 + u). Let d = -1 - s. Is d a prime number?
False
Suppose -5*m + 68 = 4*k - 3238, -3*m + 830 = k. Suppose 2292 = -4*i - k. Let b = -28 - i. Is b a prime number?
True
Suppose 0*l - 2*l + 2*i = -34, -3*l - 4*i = -58. Let z(y) = 3*y**2 - 13*y - 11. Is z(l) prime?
True
Let m(r) = 9*r + 21. Let g be m(-2). Let l(j) be the third derivative of 7*j**6/120 - j**5/60 - j**3/6 + j**2. Is l(g) a composite number?
False
Is (-3)/(-5) - 128386/(-115) composite?
False
Suppose -1 = -3*b + 98. Suppose -2*q - 233 = -2*w + b, -5*w = q - 653. Is w a prime number?
True
Suppose 3*t + 6 = 3. Is t*-2*(-1228)/(-8) prime?
True
Suppose -c + 3*g = -10, -10 = -4*c + 3*g + 12. Let x = 167 + -111. Suppose -420 = -c*v + x. Is v a composite number?
True
Suppose -5*v - 7 = 2*q, 2*q - 43 = 4*v + v. Suppose 3*j + 0 + q = 0. Let l(r) = -3*r + 4. Is l(j) prime?
True
Suppose 3*z + 102 + 168 = 0. Is 12/z - 53601/(-45) a prime number?
False
Let r(d) = 556*d**2 + 1. Let u be r(-1). Suppose -u = -4*z + 167. Is z composite?
False
Let n(l) = 10*l**2 - 2*l - 13. Suppose 2*r + 9 - 1 = 0. Is n(r) composite?
True
Let n(f) = -86*f - 489. Is n(-35) composite?
False
Let v(u) = 28*u**2 - 32*u + 58. Is v(9) a prime number?
False
Let c = 12 + 0. Let g = c + -6. Let f(u) = 52*u + 5. Is f(g) a composite number?
False
Let t = -2 - -20. Suppose -t = -5*x - 8. Is 118/(-4)*x*-1 a composite number?
False
Suppose -14*d + 66740 = 12658. Is d a composite number?
False
Let j(l) = -58*l**3 + 4*l**2 + 15*l + 17. Let i be j(-6). Suppose -5*d + i = -3716. Is d composite?
True
Let y(u) = 4*u**2 - 5*u + 15. Let w be y(3). Is (32418/w)/((-2)/(-4)) a composite number?
False
Suppose 5*g = 9758 + 6557. Is (0 - (1 + 0))*g/(-13) prime?
True
Suppose -5*b + 345 = 3*u, 2*u + 5*b = -0*u + 235. Let j = 49 + u. Is j prime?
False
Let c(h) = 1158*h**2 + 50*h - 7. Is c(9) a prime number?
False
Let i = -15 + 21. Suppose i*s - 15*s + 387 = 0. Is s a composite number?
False
Let c(u) = -4 + u - 8 + 4. Let y be c(12). Suppose r - 81 = y*h - 24, r = -2*h + 87. Is r prime?
False
Suppose 5*i + 3*y = 235, -2*i - i + 4*y + 112 = 0. Suppose o = -3*m + i, -2*o - 20 = 3*o. Is (m + -13)/(6/148) composite?
True
Suppose 7491 = 10*q - 9*q + 2*z, -22505 = -3*q + 2*z. Is q a composite number?
False
Let g(f) = 264*f**2 - 6*f + 1. Is g(-4) a prime number?
False
Let f(w) = -w. Let l be f(5). Let b = l - -7. Suppose -h + b*y = -3*y - 12, -h = -3*y - 10. Is h a composite number?
False
Let o(h) be the third derivative of 6*h**2 + 3/2*h**3 + 0 - 7/24*h**4 + 0*h. Is o(-10) prime?
True
Suppose 20 = -u - 5*t, 3*u - 4*u = -3*t - 12. Suppose u*a + 443 = a. Is a prime?
True
Suppose -511 - 369 = -16*j. Suppose 0 = 3*t + x - j + 16, 13 = t + 4*x. Is t a prime number?
True
Let q(t) = 3*t**2 - 6*t + 18. Let b(d) = -d**2 - d. Let p(l) = -4*b(l) - q(l). Is p(-14) a composite number?
True
Let n(v) = -47*v - 4. Let f be n(-5). Let q be f/9 - (-3)/9. Let r = 11 + q. Is r a prime number?
True
Suppose k = -k - 38. Let y = -12 - k. Is y prime?
True
Let t(a) = -5*a**2 - 4*a + 3. Let f be t(3). Let k be (-4)/18 + (-12)/f. Is (-2 + 1)*k - -133 prime?
False
Suppose 0 = -j + 3*c + 3143