a composite number?
True
Suppose 204 = 3*r - a - 0*a, 3*r + 3*a = 216. Is r composite?
True
Let h(s) = -59*s - 3. Let a = -13 + 9. Is h(a) a composite number?
False
Suppose 5*v - 7*v + 1704 = 0. Let o = v + -314. Is o a prime number?
False
Is (-6)/15*(-251950)/20 prime?
True
Suppose -3*l + 0*l - 5582 = -4*a, -3*l = -3*a + 4188. Suppose -a = -5*s + 761. Is s a composite number?
False
Suppose -2*i + 10 = o, -4*o = 4*i - 10 - 10. Suppose o = 3*f - b - 26, -3*f + f = 4*b - 36. Is f composite?
True
Let x = 147 + 1007. Is x composite?
True
Let r be 2/4 - (-18)/12. Is -1 - (1 - r)*20 a composite number?
False
Let k = 4 + 3. Let x(o) = o - 6. Let m be x(k). Let w(b) = 67*b**2 + b - 1. Is w(m) a composite number?
False
Let g(k) = -k - 44. Let x be g(0). Let f = 97 + x. Is f a composite number?
False
Is (-14714)/(-22) + 4 + 2/11 prime?
True
Let n = -3 + 3. Suppose 3*p + w - 1399 = n, -1743 - 105 = -4*p + 3*w. Suppose -2*x - p = -3*i, 2*i - 3*x = -0*i + 305. Is i composite?
False
Suppose -4*p + 88 = -28. Suppose -5*f + 25 = 0, -q + 0*f + p = -f. Is q prime?
False
Suppose 0 - 7 = -j. Let v(i) = -4*i - 4*i + 4*i - 5 + 2*i**2. Is v(j) composite?
True
Suppose -v + 70 = -28. Suppose 4*t - 3*m - 64 = -7*m, 5*t - m - v = 0. Is t composite?
False
Suppose -2*h - 3*p = -1310, 0 = -h - h - p + 1302. Is h prime?
False
Suppose 2*k = -0*k + 4. Let v be (-2)/(-4) - k/(-4). Is 0 + v + 156/2 prime?
True
Let q = 6 - 3. Suppose -q*v + 2*v = -185. Suppose 0 = 5*o - 3*h - v, -74 = -2*o - 0*o - h. Is o composite?
False
Let c be (35/(-21))/((-2)/6). Suppose 3*u - 126 = -c*y, 5*u - 4*y = -5*y + 232. Is u prime?
True
Suppose -337 = -14*d + 4969. Is d a prime number?
True
Suppose h = -2*c + 427, -2*c = c - 12. Is h prime?
True
Suppose -o + 52 = 2*h, 2*o = 6*o + 2*h - 226. Is o a prime number?
False
Let h(i) = i**3 + i**2 + 9*i + 2. Is h(9) composite?
True
Let x = 1274 + -817. Is x a prime number?
True
Let i(n) be the first derivative of 11*n**2/2 + 5*n + 23. Let c = 12 + -8. Is i(c) a prime number?
False
Suppose 0*u - 429 = -3*u. Is u composite?
True
Let v(t) = -690*t + 7. Is v(-3) a prime number?
False
Let u(o) = o**3 + 5*o**2 - 6*o + 2. Let b be u(-6). Let y(i) = 39*i + 1. Is y(b) prime?
True
Let g = -49 - -153. Suppose 2*t = g + 286. Suppose -2*q - 4*o + 85 = -o, -4*o = 5*q - t. Is q a prime number?
False
Suppose -26 = -5*d - 2*g, 3*g - 2 = -3*d + 10. Suppose 0 = 4*v - d - 10. Is v a composite number?
True
Suppose -11*w + 15*w = 380. Is w a composite number?
True
Is 728/16*2*1 a composite number?
True
Suppose b - 5*s = -4*s + 11, 0 = -3*b + s + 29. Let x(w) = 69*w + 20. Is x(b) a prime number?
True
Suppose 10 = 4*k + k. Is (3 - 0) + (114 - k) a composite number?
True
Let c(g) = 26*g**2 + 3*g - 4. Let j(s) = 9*s**2 + s - 1. Let p(u) = 4*c(u) - 14*j(u). Let d be p(-4). Is 4/(-6) + d/(-6) a composite number?
True
Suppose 2*n - 3*a = a, 4 = 4*a. Suppose n*y - 328 = -4*h, 3*y = -5*h - 0*y + 409. Is h composite?
False
Is (3 - 4 - -176) + 3 composite?
True
Let m = 164 - 75. Is m prime?
True
Is 1/(-2) + 2070/20 a composite number?
False
Let p = -14 - -15. Suppose -2*d = d + 6. Is (p/1 - -15) + d a composite number?
True
Suppose -3*j = -7*j - 8. Is (26/(-8) - j)*-28 a prime number?
False
Is (-2 - (-16)/6)*2346/4 a composite number?
True
Let j(g) = -g**2 + 3*g - 2. Let u be j(2). Let m = 4 + u. Suppose 2*s - 126 = m*r + 64, -r = -5*s + 466. Is s a composite number?
True
Suppose -2*y - 4203 = -5*y - 3*i, i - 4199 = -3*y. Is y composite?
False
Is (-1)/(10/(-4)) - (-10486)/10 composite?
False
Let k be (4 - (2 - 0)) + 1. Suppose -l + 0*q = -3*q + 12, -l + 18 = k*q. Suppose -l*j - j + 84 = 0. Is j a prime number?
False
Suppose 7*p - 2*p + 10 = 0. Let s = p + 39. Is s a prime number?
True
Let a = 638 - 410. Suppose t = a - 69. Is t composite?
True
Let y(n) = 1 + 3*n + 4*n**2 - 4*n - n**2. Let q(g) = g**2 - 6*g - 6. Let m be q(7). Is y(m) a composite number?
False
Let h = -12 + -34. Let f = h - -77. Is f a prime number?
True
Let q(r) = 34*r**2 - 3*r + 1. Is q(3) composite?
True
Suppose 0 = 2*w + 2 + 6. Is (6/w - 0)*-2 a prime number?
True
Suppose 5*a - a = 12. Let o = 2 - -2. Suppose o*u = a*u + 65. Is u a composite number?
True
Suppose z + 5*o - 1179 = -z, -4*o = 5*z - 2905. Is z composite?
False
Let v = -13 + 15. Is 1/v - 4684/(-8) prime?
False
Is ((-46)/(-3))/(4/66) a composite number?
True
Is ((-27)/(-6))/(-9)*-38 a prime number?
True
Suppose 0 = k - 4*k + 873. Is k composite?
True
Is (3034*(-4)/(-32))/(4/16) a composite number?
True
Let l(c) = c**2 - 4*c + 17. Is l(13) prime?
False
Let z = -35 + 60. Is (-386)/(-5) - 5/z composite?
True
Let g(v) = v**2 + 5*v + 2. Let t be g(-2). Is (-2 + 1 - t) + 184 a prime number?
False
Let q be 2 + (2 - (0 + 0)). Suppose q*j - 5*v - 3 = 0, 4*v + 2 + 2 = 4*j. Suppose -3*b - 3*u + 153 = 0, -j*b + 4*u + 1 + 77 = 0. Is b a prime number?
True
Let b be ((-1)/(-2))/((-4)/(-328)). Let k = b + -22. Is k a composite number?
False
Let v = 31 + 6. Is v a prime number?
True
Let c = -3 - -9. Is ((-255)/9)/((-2)/c) composite?
True
Is (37/(-4))/(21/(-420)) a prime number?
False
Suppose 0 = -8*k - 0*k + 20584. Is k composite?
True
Suppose -r + 3*r + 12 = 0. Is (605/(-10))/(3/r) a composite number?
True
Let o(u) = u**3 - 8*u**2 + 7*u + 7. Let n be o(7). Let t be (-130)/(-14) - 2/n. Suppose -30 + t = -3*x. Is x composite?
False
Let z(v) = 4*v**3 - 10*v**2 - 3*v + 8. Let d(p) = 5*p**3 - 10*p**2 - 3*p + 8. Let b(c) = 5*d(c) - 6*z(c). Is b(-9) a composite number?
True
Let s(l) = l**2 - 20*l + 17. Is s(-18) a composite number?
False
Suppose -5*l - 2 = -t + 15, 4*t + 7 = -5*l. Let u be -1*(-2 - l) - 0. Is -74*2*u/4 a composite number?
False
Let p(o) be the second derivative of -o**6/240 - o**5/15 + o**4/6 + o. Let a(z) be the third derivative of p(z). Is a(-6) composite?
True
Let c = -1 - -2. Let x(g) = 52*g**3 + g**2 - 1. Let r be x(c). Suppose -h = h - r. Is h prime?
False
Let m be (-2)/8 + 175/(-20). Let r(j) = -6*j + 5. Is r(m) prime?
True
Let i = -11 + 5. Is 166/3*i/(-4) a prime number?
True
Let z be -3*(-1)/(-1) - -2. Let d = 1 - z. Suppose 4 = u + 2*w, -u - d*w - 2 = 2*w. Is u a prime number?
False
Let h(w) = -w**3 + 13*w**2 + 18*w - 1. Let n be h(14). Let o be 636/(-10) + (-2)/5. Let y = n - o. Is y composite?
True
Let g(z) be the third derivative of -z**4/24 - 5*z**3/6 - 4*z**2. Is g(-9) a composite number?
True
Let r(f) = 8*f**2 + f + 7. Is r(-6) a prime number?
False
Let v = 23 + -13. Let o = 104 - v. Is o composite?
True
Let z = -3 - -4. Let s = z - -1. Suppose 0 = -s*g - 0*g + 30. Is g composite?
True
Suppose -5*n = -5*s + 70, 0 = -3*s + 7*s - 2*n - 52. Let f = s + 37. Suppose 4*v - a = 369, v + 3*a = 125 - f. Is v a prime number?
False
Let w be 0 + (-3 - -7) + 2. Let o(i) = 2*i**3 - 5*i**2 + 7*i - 1. Is o(w) composite?
False
Let u = -53 + 78. Is u a prime number?
False
Suppose 882 = 4*s - 2*a, 0*a = 4*s + a - 879. Suppose 1109 + s = 3*h. Is h a prime number?
True
Is (-1220)/(-6) + 3/(-9) composite?
True
Let k(n) = -74*n**3 + n**2 + n. Is k(-1) composite?
True
Let d(s) = -25*s + 1. Let i be d(-4). Let p = i - -408. Is p a prime number?
True
Suppose -4*c + 16654 = 4506. Is c prime?
True
Let c(z) be the second derivative of -401*z**3/6 + 2*z**2 + 3*z. Let l be c(-5). Is 2/(-9) - l/(-9) prime?
True
Let u = 313 + -199. Suppose -3*x - 2*g - 94 = -g, -3*x = -4*g + 89. Let c = u + x. Is c a composite number?
False
Let i(u) = 47*u**3 - u**2 + 4*u + 3. Is i(4) a composite number?
False
Let a(p) = 4*p**2 - 4*p + 5. Let j be a(-4). Suppose j = 2*k - k. Is k a composite number?
True
Let i(s) = 3*s**3 - s + 1. Suppose 2*n + 21 = 5*n. Let t = n + -4. Is i(t) prime?
True
Let o(x) = -x + 4. Let t be o(5). Let a be 70 - (0 + t)/1. Let j = a - 24. Is j a prime number?
True
Let g = 282 - -92. Suppose 2*r - g = 420. Is r a composite number?
False
Let t = -7 - -32. Suppose 13 - 49 = -2*d. Let b = t - d. Is b a composite number?
False
Let v be (-8 - -17)*(-2)/(-6). Suppose -10 = -v*x + x, 260 = 5*k - x. Is k composite?
False
Suppose 0 = 2*r + j - 435, -650 = -3*r - 0*r - 4*j. Let w = r + -58. Suppose -g + 3*y + w = 4*g, g = -2*y + 45. Is g composite?
True
Let c(o) = -o + 3 - 1 - 3. Let l be c(-7). Is (0 + 3/l)*326 prime?
True
Let b = 9 - 3. Let g be 8/5 - b/10. Is ((-260)/(-8))/(g