139, 0 = 2*j - 5*b - 59. Is 3285/j - (-2)/(-3) composite?
True
Suppose 0 = 4*u, 2*y - 24*u - 1910 = -19*u. Is y a prime number?
False
Let y = 90 + -87. Suppose -2*z - 4*h = -3517 - 3565, -y*z + 3*h = -10623. Is z a composite number?
False
Is (4 + -12)/(-8) - -1860 a composite number?
False
Suppose 3*b - 5*z - 2524 = 0, -2*z = -4*b - 0*z + 3384. Suppose -12*f + b = -4*f. Is f prime?
False
Let f = -227 + 2598. Is f composite?
False
Suppose 41*k + 75396 = 53*k. Is k prime?
False
Let b = 18362 - 6615. Is b a composite number?
True
Suppose 4*v - 22 = 6. Suppose -2*h = -5*c - 16, -h - c - 4*c = v. Is (4/(-4) - h) + 819 a composite number?
True
Suppose c = -4*c + 40. Let l(b) = b**3 + 10*b**2 - 6*b - 3. Let o be l(c). Let m = -384 + o. Is m a prime number?
False
Let b = -6 - -10. Suppose -1753 = -3*p + b*j + j, 2*j + 2328 = 4*p. Is p a prime number?
False
Let h(w) = w**3 + w. Let b(z) = -z**2 - 10*z - 4. Let n(j) = -b(j) - 4*h(j). Suppose -6*a + a - 4*q = 37, -2*q = -4*a - 14. Is n(a) a prime number?
True
Let m(c) = c**2 - 11*c + 16. Let j be m(11). Let x = j - 12. Suppose x*d - 72 = -t + 11, -5*d = 0. Is t prime?
True
Suppose 0 = 4*w - d - 17271, w = -w + 5*d + 8613. Is w prime?
False
Let o(t) = -86*t - 13. Suppose 6*n = 12*n + 24. Is o(n) a prime number?
True
Suppose f - 149148 = -u, 0 = -9*u + 13*u - 2*f - 596562. Is u prime?
True
Let a(r) = 1033*r. Let m be a(-2). Let c = 4425 + m. Is c a prime number?
False
Suppose 6*b - 11684 = -1742. Is b composite?
False
Let u(x) = x**2 - 4*x + 2. Let v be u(5). Suppose 0 = 2*l + 5*z - v - 12, 5*z - 5 = 5*l. Suppose w - 3*o - 109 = -3*w, -l*o - 31 = -w. Is w a composite number?
True
Suppose -5*d - 134 + 4651 = -4*s, -5*d = 2*s - 4499. Is d a composite number?
True
Let k = -189 - -3858. Is k a prime number?
False
Let i(f) = -10*f + 61. Is i(-8) a composite number?
True
Suppose 2*s - p + 6*p = -1752, -3468 = 4*s + p. Is 1 + (3 - 7) - s composite?
False
Let j be (-166)/(-8) - 3/(-12). Suppose -1789 = 4*s - j. Let v = s - -839. Is v composite?
False
Let f = 6 - 14. Let g be (f/10)/((-2)/350). Let o = -13 + g. Is o composite?
False
Suppose 1812 = 4*g + 460. Suppose g = 5*n + 73. Suppose n = 3*t - t - 3*i, 0 = 4*t - 3*i - 121. Is t a prime number?
False
Let q be (3/(-2))/((-9)/60). Let l be 4/q + (-2315)/(-25). Suppose -y + l = -0*y. Is y composite?
True
Let r = 42 + -40. Suppose -3*s - 3*t + 2*t = -4969, -2*s + r*t = -3318. Is s a composite number?
False
Let k = 1443 + -2840. Let c = -358 - k. Is c composite?
False
Suppose 0 = o - 4, 4*n = -5*o + 97 + 127. Suppose -47*j + n*j - 1304 = 0. Is j a composite number?
True
Is (1/(-3))/(-1*(-3)/(-120303)) a composite number?
False
Suppose 4*w = 5*g - 721 + 26, 3*w = -4*g + 587. Suppose -y = -0*y - 3*r + 26, -4*r = 3*y + g. Let n = y - -84. Is n a composite number?
False
Let u(k) = 75*k**2 + 16*k + 51. Is u(-10) a prime number?
False
Let f be -2 + (-32)/(-18) - (-357)/27. Let k(u) = u**3 - 7*u**2 + 4*u - 23. Is k(f) prime?
False
Let j = 502 - 168. Is j a prime number?
False
Suppose y + 4*y = -40. Suppose 0 = -4*d - 2*g - 266, 0 = -12*g + 9*g + 3. Let o = y - d. Is o a prime number?
True
Let u(c) = -c**3 - 3*c**2 - 5*c - 3. Let x be u(4). Let d = 42 + x. Let l = d - -144. Is l composite?
True
Let l(d) be the first derivative of 94*d**3/3 + 5*d**2/2 - 8*d + 21. Is l(-5) a composite number?
True
Suppose 2*t - 152 - 1914 = -4*x, -2*x + 5*t + 1063 = 0. Is x a composite number?
True
Suppose 0 = 6*w - 7 - 35. Suppose -w*m + 2212 = -3*m. Is m composite?
True
Let g(k) = -k + 10. Let y be g(3). Suppose -1275 = -y*x + 1028. Is x a prime number?
False
Is 56522 - (2 + 7 + -4) prime?
False
Let r(n) = -176*n + 14. Suppose -4*s + 5*m - 7 = 8*m, 4*m - 16 = s. Is r(s) prime?
False
Suppose 9*v - 14973 = -5046. Is v prime?
True
Let l = -37 - -672. Is l a prime number?
False
Let l = 331 + -180. Let y(n) = 91 + 3*n - n - 57 + l. Is y(0) a composite number?
True
Let m(v) = 55*v**2 - 11*v - 19. Is m(-9) a prime number?
False
Suppose 0 = 2*g + p - 1, -p - 5 = 4*g - 5*g. Is (-2 - (-3 + g))*-7 composite?
False
Let k(r) = -r**2 - 5*r + 17. Let g be k(-7). Suppose -5*y - o = -2145 + 263, 0 = g*y + 5*o - 1116. Is y prime?
False
Suppose 20*u - 139 = 21*u. Let c = 660 + u. Is c composite?
False
Let w(k) = 8*k**2 - 23*k - 8. Let h be w(-12). Suppose -482 = -6*y + h. Is y prime?
True
Let r be 2 - ((-5)/(-4) + (-4)/16). Is 8 + -4 + -1 + r + 255 composite?
True
Let k = 19 + -16. Suppose k*o - 32 + 5 = 0. Is (o + -8)/(1/635) prime?
False
Suppose -2*c + 319720 = 38*c. Is c a composite number?
False
Suppose 0 = 5*h + j - 4, -4*h + 4*j + 2 = -6*h. Let q(n) be the third derivative of 25*n**5/6 + n**4/24 - n**2. Is q(h) a composite number?
False
Suppose 5*r - 31988 = -4*j + 4460, 18226 = 2*j + 3*r. Is j a prime number?
False
Let a(t) = -115*t**2 + 8*t + 1. Let u(h) = h**2 - h. Let i(c) = -a(c) - 5*u(c). Is i(4) a prime number?
True
Let l(d) = 2*d - 4 + 3*d - 3*d**2 + 2*d**2 + d. Let s be l(4). Suppose -47 = -3*q - 3*g + 196, s*q - 334 = g. Is q a composite number?
False
Let p be (594 + (-8)/(1 + -5))/(-1). Let s = -405 - p. Is s composite?
False
Let w(t) = 3*t**3 + 2*t**2 - 5*t + 3. Let g be w(3). Suppose g = -4*c + 519. Let k = c - 69. Is k a composite number?
True
Let o(w) = 30*w**3 - 12*w**2 - 24*w - 10. Let y(v) = -10*v**3 + 4*v**2 + 8*v + 3. Let j(t) = 6*o(t) + 17*y(t). Let a be j(-5). Let x = -636 - a. Is x composite?
False
Suppose 4*r + 4*y = 85731 - 20511, 16293 = r - 2*y. Is r a prime number?
True
Let u(i) = i**3 + 13*i**2 + 11*i - 7. Let t be u(-12). Suppose -2*o + 559 = 3*d, -t*o + 3*d = 2*d - 1372. Suppose s - o = -22. Is s prime?
False
Let w = 3654 - -10943. Is w a composite number?
True
Let l(x) = -126*x**3 - x. Suppose 0 = 3*q - 4 + 7. Is l(q) prime?
True
Let v be (12/6)/(-2) - (-1 - 2). Suppose 2*r + 398 = 4*g, -5*g = v*r - 527 + 52. Is g a prime number?
True
Let f = 309 + -170. Let i = f + -12. Is i a composite number?
False
Let u be (11*1)/((-2)/(-22)). Suppose g - 779 = -4*i, -5*g = -5*i + 1267 - 287. Suppose -u = -4*x + i. Is x a composite number?
False
Is (-338058)/(-15) - 3/15 a prime number?
False
Suppose 57244 = 6*f - 85286. Is f composite?
True
Let q be (204/(-8))/((-9)/228). Suppose 2*s = -0*s + q. Is s composite?
True
Let l(y) = 64*y + 8707. Is l(0) prime?
True
Let l(k) be the second derivative of 31*k**3/2 - 22*k**2 - 8*k. Is l(6) composite?
True
Suppose -3*x + 918 = -4*d - x, -3*d = 3*x + 702. Let z = d - -1790. Is z prime?
True
Suppose -o = -0*o + u - 103, 0 = -2*o + 4*u + 218. Let q = 28 + o. Is q prime?
False
Let h = 27 - -3. Suppose 18*j + 2087 = -811. Let c = h - j. Is c composite?
False
Let c(u) = -u - 11. Let j be c(-9). Suppose 3 = 3*h, 0*h = i + h - 2. Is -1 + 60 + j + i composite?
True
Suppose -3*r = 2*r + 10. Let a(n) = 23*n + 19. Let t be a(-14). Is (-4 - t/(-6))*r composite?
False
Suppose 5*v + 3*j + 1131 = 0, -6*v + v + 3*j - 1149 = 0. Let a = v + 979. Is a prime?
True
Suppose 0 = 5*g - 3*g + 16. Let o(d) = d**2 + 7*d - 5. Let j be o(g). Suppose -1871 = -5*i - 3*z, 2*i - 738 = z + j*z. Is i prime?
True
Suppose -4*l + 6*l - 45206 = 0. Is l composite?
True
Let c = 568 - 158. Suppose 2*q - 1344 = -c. Is q prime?
True
Is 15/6*(-2675338)/(-305) composite?
False
Suppose 21*m - 10594 = 20*m. Is m prime?
False
Is (-154020)/(-25) - 1/(-5) a composite number?
True
Is (32212/16)/((-10)/(-40)) a prime number?
True
Let x(z) = -4*z**3 - 19*z**2 + 2*z - 127. Is x(-20) composite?
True
Let y(w) = w**3 - 7*w**2 - 4*w - 10. Let m(s) = s**2 + s + 1. Let h(o) = -m(o) - y(o). Is h(5) a composite number?
True
Let f = 22 + -19. Suppose f*l + l - 1572 = 0. Is l prime?
False
Let h(f) = -56*f + 215. Is h(-9) a composite number?
False
Suppose -8*o + 12*o + 5*t - 205859 = 0, t + 51458 = o. Is o prime?
True
Let x be 0 + (-2)/(2/(-581)). Let v be (-11829)/(-33) - ((-16)/(-11) + -2). Suppose 2*b = 5*u - 2*b - x, 5*b + v = 3*u. Is u composite?
False
Suppose 36*z = 37*z - 705. Suppose 11*r - 14*r = -z. Is r a prime number?
False
Let p(i) = -i - 1. Let q be p(-2). Let y(l) = 7*l + 1. Let z be y(q). Suppose -z - 27 = -v. Is v composite?
True
Let m be (-3 + 1)/(46/(-115)). Let k(i) = i**3 - 6*i**2 + i - 5 + 0 + 12*i. Is k(m) composite?
True
Suppose 2*m = -3*p, -p + 6 = -4*p. Let r be 319/m - (-12)/18. 