9 - -850. Is r a composite number?
True
Let b be 8 - 6 - (-8)/1. Suppose -m + b = m. Suppose m*x + 266 = 2*p - 918, 6 = -3*x. Is p a prime number?
True
Is (1 - (6 - 84))*1*13 composite?
True
Suppose -5*f + 1710 = -15*f. Let k = 40 - f. Is k a composite number?
False
Suppose -o - 2 + 1 = t, -2 = 2*o + t. Let w be 1 + 0 - (-62 - o). Let y = w + -24. Is y composite?
True
Suppose 0 = 3*v - 2*a - 6, -v + a = 3*v - 8. Let h be 455 + v - (-4 - -5). Suppose 4*n - 2*w = h, 2*n + 2*w - w - 232 = 0. Is n prime?
False
Let v = 31 + -43. Let j = 12 + v. Let x(p) = p + 251. Is x(j) a prime number?
True
Suppose -3*n = -2*o - 7, 0 + 8 = -3*n - o. Let x be (1*4)/(2/(-10)). Is n - (2*x - -2) a prime number?
True
Let j(m) = -67*m + 2. Let s be j(-3). Suppose -3*b + s = -832. Suppose -6*u = -u - b. Is u a composite number?
True
Let q(z) = -174*z**3 + 5*z**2 + 5*z + 1. Let j be q(-2). Suppose 2*p - j = p - g, -2*p = -5*g - 2806. Suppose -9 = -3*b, 0 = -s - s - 5*b + p. Is s composite?
True
Let j(g) = 12*g**2 + 17*g + 59. Is j(32) prime?
False
Let h = -24 + 29. Suppose 3*t - 4 = h. Suppose 4*l - 890 - 1442 = t*y, 4*y = -4*l + 2332. Is l a composite number?
True
Let x(a) = 8*a**3 - 18*a**2 - 10*a + 12. Let c be x(13). Suppose c = 2*n + 14*n. Is n composite?
True
Suppose 12 = 3*k, 9 + 55 = -4*s - 5*k. Let h = 26 + s. Suppose 2016 = h*d - 1099. Is d a prime number?
False
Suppose 0 = 62*z - 47*z - 829215. Is z composite?
True
Let j(b) = -2855*b + 463. Is j(-8) prime?
False
Let w(a) = a - 28. Let u be w(-6). Let o be -3*1 - (3 + -2). Is (11 - 1)*u/o composite?
True
Suppose -16*o - o + 32929 = 0. Is o composite?
True
Let l(x) = 116*x**3 + 4*x**2 - 15*x + 43. Is l(6) prime?
True
Suppose 0 = 2*s + 3*u + 14, 0 = 3*s - 0*s - 5*u + 21. Is 3 + (2/7 - 2868/s) a composite number?
True
Let n be ((-18)/15)/(10/(-25)). Suppose n*l = -2*a - a - 18, 3*l - 4*a + 25 = 0. Is (-3132)/(-84) - (-2)/l composite?
False
Is (52379 + (-54)/(-9))/(25/10) a prime number?
False
Let y be -516*((-16)/12 - 2). Let w = y + -2788. Is (-4)/(-6)*w/(-8) composite?
False
Let c(b) = 463*b**2 - 16*b - 91. Is c(-6) a composite number?
False
Suppose -a - 948 = -4*a. Let i = -571 + a. Is (-16)/6*i/20 prime?
False
Let g(i) be the first derivative of -i**4/4 - i**3 - i**2 - 6*i + 2. Let z be g(-3). Suppose -443 = -3*k + 4*j, k + 2*j - 18 - 133 = z. Is k composite?
False
Let h(a) = -a**3 - 6*a**2 + a + 2. Let l be h(-4). Let s = l + 183. Is s composite?
False
Let m be (-40)/(-22) + (-18)/(-99). Suppose y = -m*y + 1839. Is y prime?
True
Let t = -28 - -31. Is (1*154/(-8))/(t/(-12)) composite?
True
Is ((-2)/4 - 1)*(-63730)/5 a prime number?
False
Suppose 0 = -5*t - 4*c + 24, -2*c + 1 = -1. Suppose 2416 = t*k - 740. Is k a prime number?
False
Is (10/30)/(-1 - (-20506)/20505) composite?
True
Let d = 96 + -106. Let k(x) = 5*x**2 - 15*x - 19. Is k(d) a prime number?
True
Suppose 3*f = 2*m - 16, -2*m + 5*f = -3*m - 18. Suppose 46*y = 40*y + 330. Suppose y + 25 = 2*o - m*s, o - 43 = 4*s. Is o a composite number?
True
Let r(a) = 6 + 8*a**2 + 12*a + 6 + 0*a - a**3. Let w be r(9). Suppose 0 = -4*j + 237 + w. Is j a prime number?
False
Suppose -3 = 3*f + y + 6, 5*y = -3*f + 3. Is 25207/52 - 1/f prime?
False
Let v = 43273 + -21416. Is v prime?
False
Let m(v) = -v**3 + 3*v**2 - 6*v - 10. Let d be m(-4). Suppose 5*a + d = 1981. Is a prime?
False
Let i be (-2)/(-10) - 256/(-20). Let y = 2872 - 1407. Suppose -i*z = -8*z - y. Is z a prime number?
True
Suppose 5*w + 2*g - 337 = g, 2*g = w - 74. Suppose -f - w = -394. Is f composite?
True
Let q(m) = 80*m - 37. Suppose -j = -2*c - 6, 3*j + 5*c - 73 = -0*j. Is q(j) a prime number?
False
Let v be (-2)/9 - (-304)/72. Let i be ((-2)/v)/(1/(-72)). Is 6/(-8) + 36279/i a composite number?
True
Let n = 12 - 12. Suppose 0*t + t = n, 25 = 5*x - 4*t. Suppose -208 + 1038 = x*s. Is s composite?
True
Let i(x) = -74*x + 5. Let a be i(-16). Suppose -2*s + 0*s = 2*q - 596, 4*q - a = -3*s. Is q*(2 + 3 + -4) a prime number?
False
Let g(n) = 4*n**3 - 2*n**2 + n. Let y be g(1). Let v(o) = -4*o + 2*o - y*o**2 + 2*o**2 - 4*o + 4. Is v(-3) composite?
False
Let l = 10 + -14. Is (30/(-40) - (-1331)/l)*-2 a composite number?
True
Let f = 60997 - 42962. Is f prime?
False
Let l(d) = 1203*d + 311. Is l(14) prime?
False
Suppose -152 = -v - 5*y, -2*v - 5*y - 79 = -378. Let f = -24 + -14. Let t = v + f. Is t prime?
True
Suppose -5*m + 7*m = 87638. Is m a composite number?
True
Suppose -573*f = -563*f - 185390. Is f prime?
True
Suppose 583 = 4*c + 3*n, -6*n + 2*n + 149 = c. Is c a composite number?
True
Let c be ((-10)/4)/(3/6). Let i(r) = -r**3 - 5*r**2 + r + 7. Let y be i(c). Suppose -3*x - y*w = -171, 2*w + 159 = 4*x - x. Is x a composite number?
True
Is ((-65)/195)/(2/(-19086)) a composite number?
False
Let v(y) = -2320*y - 13. Is v(-3) a composite number?
False
Let i = -11 - -13. Let s be -1*i/2*2. Let q = 7 - s. Is q composite?
True
Let g be 26/(-39) - 22/(-6). Suppose -u + 1006 = g*i, i - 355 = -5*u - 43. Is i prime?
True
Let r(h) = 24*h**2 + 3*h + 18. Let s(j) = -j - 1. Let g(w) = r(w) - s(w). Is g(-6) prime?
True
Let d be 7/(-56) - (-49)/8. Is d/(-15) - 4464/(-10) a prime number?
False
Let w = 12 - -41. Suppose 5*i - 448 = 462. Let a = w + i. Is a composite?
True
Let z = -17 + 12. Let q = 7 - z. Is (42/q)/((-1)/(-58)) a composite number?
True
Is ((-6)/(-9))/((-6)/(-365427)) prime?
False
Suppose 0 = -3*w + 5 + 634. Suppose 4*p + 2*j - 305 = w, 396 = 3*p - j. Is p composite?
False
Let y(k) = 3*k**2 + 6*k + 5. Let p(u) = u + 46. Let h be p(0). Suppose -3*n - 4*m - m + 32 = 0, h = 5*n + m. Is y(n) composite?
True
Suppose 0 = -2*f - 4, 102 = 2*g - 5*g + 3*f. Is (-102196)/g - 2/(-9) composite?
True
Let h be (-34)/(-5) + -1 + (-6)/(-5). Suppose -185 = h*u - 1074. Is u a prime number?
True
Let l(t) = -160*t + 9. Let q be l(-4). Suppose -5*i + q = h, 1003 + 2122 = 5*h - 5*i. Is h a prime number?
False
Is 15 + 15955 - (-7 - -18) prime?
True
Let j be (-2)/4*(-32 + 8). Is 2865/j*(-2 + 6) prime?
False
Suppose -6*s + 27905 = -8857. Is s prime?
False
Let q(w) = 17*w + 61. Let h be q(-23). Is ((-2)/(-4))/((57/h)/(-19)) a composite number?
True
Let c = 1333 - 1903. Is 3/((-9)/c) + -3 composite?
True
Let w = 4246 + -2117. Is w composite?
False
Let u(a) = -a**2 - 11*a - 9. Let l be u(-9). Let h(q) = -q - 5. Let p be h(l). Is (4 + p)*(-23)/2 composite?
True
Let r = 7 - 4. Suppose 0 = -4*q + q - r. Is -370*(q - 4/(-8)) a composite number?
True
Let n(h) = 54*h**2 + 2*h + 1. Let w be n(2). Suppose 0 = -20*v - 39*v + 5310. Let o = w - v. Is o a prime number?
True
Let p(g) = -1293*g + 158. Is p(-15) a composite number?
False
Let w = 15 + -18. Is (w + -3 + 11/2)*-2390 a prime number?
False
Let y(j) be the first derivative of 47*j**2/2 + 4*j - 92. Let u(i) = 2*i - 7. Let a be u(6). Is y(a) prime?
True
Suppose 5*w - 4955 = -5*q, -2*w - 92 = -q - 2089. Let n = w - -1043. Is n a prime number?
True
Suppose 0 = -5*k - 8 + 18. Suppose -2*z + 4786 = 5*d, 2*d = -z - k*z + 1910. Is d composite?
True
Let x(k) = -10*k - 17 + k**2 - 4*k + 0*k. Is x(-10) composite?
False
Suppose o - 15 = 3*g, -3*o - 5 = -5*g - 34. Suppose 5*b - 33 = 4*p, o*b - 2*b = -5*p - 5. Is 54 + -2*(3 - b) composite?
True
Is (12/(-10))/((-15)/1475) composite?
True
Let b(l) = 4*l**2 + 44*l + 7. Let o be b(-11). Suppose -10*q + 249 = -o*q. Is q a prime number?
True
Let g(a) = -30*a - 1. Suppose u = -6 + 4. Let x be g(u). Suppose x = -o + 2*o. Is o a prime number?
True
Let y(w) = -w - 1. Let o(m) = -22*m - 9. Let c(n) = -o(n) + 6*y(n). Is c(3) a prime number?
False
Suppose -3*w + 75 = -2*h + 2*w, 81 = -3*h - 3*w. Let g = 196 - h. Is g a composite number?
True
Let c(w) = -w**2 - 4*w + 5. Let l be c(-5). Let h be 1/((-1)/3 - l). Is (326 - (2 - 2)) + h a prime number?
False
Let f = 4007 + 4880. Is f a prime number?
True
Suppose 0 = -4*h + h + 12. Suppose 10 = 5*x, 18 = 4*o - x - 24. Suppose h*q - 25 = o. Is q a prime number?
False
Is 10000 + 4 + (0 + 36)/(-4) a prime number?
False
Is (35/(-25) + 22/55)*-17257 a prime number?
True
Let v(n) = 847*n**2 + 12*n - 38. Is v(3) prime?
True
Let a be (7/28 + -1)/(3/(-8)). Let s(q) = 18*q - 1. Is s(a) a composite number?
True
Suppose -4*p = 4, 0 = 2*o - 2*p + 33233 - 178125. Is o a composite number?
True
Let x = 21 - 21. Suppose 4319 = 5*y 