Is b(4) composite?
True
Is 9786/10 - (-40)/100 prime?
False
Suppose t = 3*t - 2876. Is t composite?
True
Let s be (-74)/4 - (-5)/(-10). Let z = s + 155. Suppose 0 = -k - 3*k + z. Is k a composite number?
True
Is (0 - 2) + 1 + 158 prime?
True
Let s(f) = 125*f**3 + 1. Let y be s(-1). Is (y/6)/(10/(-15)) a composite number?
False
Let z = -268 + 519. Is z composite?
False
Suppose 1410 + 2975 = 5*j. Is j a prime number?
True
Let j = 3 - -1. Suppose 0 = -j*g - 0*g + 848. Suppose 2*f + 2*f = g. Is f a composite number?
False
Let m(y) = -y. Let u(s) = -189*s + 1. Let t(v) = 3*m(v) - u(v). Is t(1) a prime number?
False
Suppose 0*s + s = 59. Let c = s + -13. Is c a composite number?
True
Let q(b) = b**2 + 68. Let d be q(0). Let m(l) = l**2 + 2*l - 1. Let p be m(1). Suppose -6 = -p*u + d. Is u composite?
False
Let q = 105 - -20. Suppose 0 = -x + 6*x - q. Is x composite?
True
Suppose 0 = -2*r - 5*a + 384, -4*a + 8 = -0*a. Is r a prime number?
False
Let s be 47*-3 + (2 - 4). Let h = s - -534. Is h a composite number?
True
Let p(i) = -40*i - 1. Let w be p(-1). Suppose 141 = 3*s + w. Is s a composite number?
True
Let z be -2 - (1 + 3)*-1. Is (4/(-8))/(z/(-148)) a prime number?
True
Is 3798/4 - 18/(-12) composite?
True
Let s(q) = -3*q + 1. Let x be s(-1). Is 3*x/12 - -436 a composite number?
True
Let i(o) = -o**2 - 13*o - 1. Let k be i(-10). Let z = 51 - k. Is z a prime number?
False
Let j(x) = 12*x**2 - 19. Is j(12) composite?
False
Suppose 2*p = -p + 15. Suppose -5*r - 60 = -5*w - 0*w, 2*w + 60 = -p*r. Let k = r - -51. Is k a prime number?
False
Let b = -1 + 3. Let k be (-2)/(2/(-6)*b). Suppose k*l + 2*l - 175 = 0. Is l composite?
True
Let m(a) = 21*a**2 + 2*a + 2. Let u be m(7). Suppose 5*d = -5*i + u, 6*d + 426 = 2*i + 4*d. Is i composite?
False
Let b = -2 + 4. Suppose 5*d = -y + 33, 6 = b*d + 3*y - 5*y. Is 4 - d/3 - -29 a prime number?
True
Suppose d + 2*d - 6 = 0. Suppose 3*y = -d*u + 1 - 0, 11 = 3*u - 5*y. Suppose -u*k = 2*l - 24, -3*l + 2*l + k = -2. Is l a prime number?
True
Let o(i) = 3*i - 9. Let p be -25*((-6)/(-10) - 1). Is o(p) prime?
False
Let i = 25 - 23. Suppose -61 = -i*p + 177. Is p a composite number?
True
Suppose -14 = 2*p + k, k - 9 + 35 = -4*p. Is 28/(-2)*87/p composite?
True
Let y = 0 - -5. Suppose -o + 743 = 5*c, 3*o + y = -1. Is c a composite number?
False
Let h(r) = -23*r**3 + 8*r**2 + 7*r - 3. Is h(-5) composite?
False
Let f = -11 + 100. Suppose -235 - f = -4*q. Suppose -g + 2*g - 17 = -o, -3*o + q = 5*g. Is g a prime number?
False
Let c(a) = a**2 + 13. Let f be c(0). Let t = f - -10. Is t a composite number?
False
Suppose -4*r - 1 = 15. Let f = -22 + 20. Let t = f - r. Is t composite?
False
Is (2/(-4))/((-5)/590) a prime number?
True
Let v = -541 - -784. Suppose -3*w - 12 = 0, 0*p = -3*p - 3*w + v. Is p composite?
True
Suppose -15*i + 4975 + 21980 = 0. Is i composite?
True
Suppose -39 = -c + 5*h, 4*h - 61 + 167 = 3*c. Let f = 145 - c. Is f a composite number?
True
Let r be -1*5*(0 + 2). Let c = r - -12. Is (-127)/(6/c + -4) composite?
False
Suppose -3*c + 18 = 3*o, c - 2*o + 20 = 5*c. Let l(j) = 5*j**3 - 4*j**2 - 2*j + 6. Is l(c) composite?
True
Let t = 160 - -31. Is t composite?
False
Let r(p) = -7*p - 1. Let h be r(-1). Suppose -2*g - 16 = -h*g. Suppose 45 - 385 = -g*c. Is c a prime number?
False
Suppose 15 = 2*a + 3*f, -25 = a + 4*a - 5*f. Suppose 2*n - 5*o + 109 = a, 0 = -3*n + 5*o - o - 160. Let y = n + 179. Is y a prime number?
True
Let b be 187/4 - (-1)/4. Suppose -b = 4*l + 29. Let g = l - -74. Is g composite?
True
Let a be 1253 - (-2 + 10/2). Suppose a = 5*c - 3*w, -2*c + 3*c - w = 248. Is c a prime number?
False
Let j = 46 + 117. Suppose -4*r = -5*v + v + 652, -v - 2*r = -j. Is v prime?
True
Suppose -3*u - 12 = -2*b, -4*u = -b + 12 - 1. Let x(p) = -p**3 - 8*p**2 - 3*p + 42. Let j be x(-8). Suppose -b*t + 0*t = -j. Is t prime?
False
Suppose 4*n - 3*n + 10 = 2*o, -4*n = 8. Suppose -1 - 9 = -2*c. Let s = o + c. Is s composite?
True
Suppose 2*w = 4*w - 388. Is w a prime number?
False
Let q be (-8)/(-28) - 26/(-7). Suppose 54 = v - 0*v - q*y, 0 = -2*v - y + 117. Is v composite?
True
Let m(s) be the second derivative of s**4/12 - s**3/2 + s**2/2 - 4*s. Is m(6) prime?
True
Let m = -9 - -15. Suppose 2 = -r + m. Suppose -48 = -j - 5*b, -r*j = 4*b - 43 - 69. Is j prime?
True
Let p(w) = w**3 - 8*w**2 + 4. Let l be p(8). Suppose -15 = -4*d - d. Suppose -d*j - 203 = -l*j. Is j a composite number?
True
Suppose 3*y - 4*g - 6 = -0*y, 4*y - 8 = -3*g. Suppose 0 = -y*u - 4*w + 178, -2*w - 3*w = 2*u - 183. Is u prime?
True
Let b be (-16)/(-3) + 12/18. Let u(z) = 4*z**2 - 14*z - 2. Let i(l) = 7*l**2 - 27*l - 5. Let x(j) = -3*i(j) + 5*u(j). Is x(b) a composite number?
True
Let x = -44 + 497. Let g = 271 + -575. Let s = g + x. Is s composite?
False
Let n(g) = 14*g**2 + 5. Is n(3) a prime number?
True
Let f(h) = 3*h + 18. Let b(s) = 4*s + 29. Let x(l) = -8*l - 59. Let u(d) = 5*b(d) + 2*x(d). Let n(v) = 8*f(v) - 5*u(v). Is n(7) a prime number?
True
Is (3 - 1) + (95 - 8) a prime number?
True
Suppose 0*j + 558 = 6*j. Is j a prime number?
False
Suppose 3486 = 2*w - 4*g + 9*g, -3*g + 12 = 0. Is w prime?
True
Suppose -2*q + 230 = -80. Is q a prime number?
False
Let j(p) = -48*p**3 + 2*p**2 - 1. Let q(f) be the second derivative of -f**5/10 + f**2/2 + f. Let x be q(1). Is j(x) a prime number?
False
Suppose 6*q - 106 = 5*i + 2*q, -5*i + 2*q - 108 = 0. Suppose 0 = 3*z - 2*z - 87. Let l = z + i. Is l prime?
False
Let n(y) = y**3 - 5*y**2 - y + 3. Let z be n(5). Let r(u) = 6*u**2 - 6*u - 1. Let q(i) = -17*i**2 + 19*i + 2. Let a(x) = 2*q(x) + 7*r(x). Is a(z) prime?
True
Let t(r) = 3*r - 1. Let f be t(-1). Let a = 10 - f. Is a prime?
False
Let x(t) = 0*t**3 + 2 + t**3 + 2*t - 6*t - 5*t**2. Is x(6) a composite number?
True
Suppose 5*m = 4*m + 1977. Is m prime?
False
Let k be 2/8 + (-242)/8. Is 1/6 + (-745)/k a prime number?
False
Let b be (181 - 1) + 0 - 2. Suppose -n = 4*n. Suppose n*j = 2*j - b. Is j prime?
True
Let i = 37 + 520. Is i a prime number?
True
Is 22030/4 - (-6)/4 a prime number?
False
Let b(w) be the third derivative of -35*w**4/24 - 13*w**3/6 - 4*w**2. Is b(-10) a composite number?
False
Let g = -74 + 179. Suppose 0 = -7*b + 2*b - 2*t + g, -2*b + 4*t = -18. Is b a prime number?
True
Suppose -16 - 24 = 5*l. Let j = 30 + l. Is j a prime number?
False
Let u(a) = -640*a**3 + 3*a**2 + 4*a + 2. Is u(-1) a prime number?
True
Let f = -41 + 99. Suppose 278 = -5*v + f. Let i = v - -65. Is i a prime number?
False
Let n = 735 + -178. Is n a composite number?
False
Suppose b + 3*q - 230 = 0, b = 3*q - 0*q + 224. Let s be (3/4)/(2/8). Suppose -2*n + 0*c + s*c = -b, -4 = -4*c. Is n a composite number?
True
Is (-3 - -1) + (-473)/(-1) prime?
False
Let z = -139 - -190. Is z composite?
True
Suppose -7 = 4*v + w + 21, 3*v - 2*w + 32 = 0. Let t = 10 + v. Is ((-358)/8)/(t/(-8)) composite?
False
Let j(x) = 3*x**2 - 4*x - 1. Let s be j(-6). Suppose -s + 42 = -d. Is d composite?
False
Suppose -67 = -2*h + 5*i, h - 6 + 0 = -3*i. Let n(s) = 37*s**2 + 31*s**2 - h*s**2. Is n(-1) prime?
True
Let h be (-4)/14 - (-443)/7. Suppose -4*v = -373 - h. Suppose v = 3*x - 2*y, -4*y + 20 - 164 = -4*x. Is x composite?
False
Let c be 8/6*(-9)/(-6). Suppose -c*d + 21 = -5*d. Is ((2 - 27) + 2)*d a prime number?
False
Suppose -3*m + 4*o + 3015 = -0*m, -4*m + 4045 = 3*o. Is m a composite number?
False
Let u(y) = 50*y - 2. Let p(b) = 100*b - 5. Let r(d) = 3*p(d) - 7*u(d). Is r(-1) a prime number?
False
Suppose -4*t + 6 = -v, -5*v = t - 10 - 44. Is v a prime number?
False
Let q(g) = 7*g**2 - 2*g - 7. Is q(-3) prime?
False
Let w(i) = 25*i**2 + 4*i - 1. Let f(z) = z**2 - z. Let p(g) = 4*f(g) + w(g). Is p(2) prime?
False
Let n be (36/(-42))/((-1)/(-105)). Is 3 - (-3 + 3 + n) a prime number?
False
Let c be (-2)/12 - 5/6. Let y be 5 - (-1 - 2 - c). Let f(v) = 2*v + 9. Is f(y) a prime number?
True
Let g = -54 + 130. Suppose -4*k + 23 = -3*k - 5*p, -5*p = 2*k - g. Is k prime?
False
Let w be 2/(-7) + 1224/21. Let a = -39 + w. Is a a composite number?
False
Let o(k) = -295*k - 7. Is o(-2) a composite number?
True
Let j be 3/(6/16) + -1. Suppose -14 = -4*b - 2*l + 4*l, -b - 3*l = j. Suppose -b*y = -19 - 11. Is y a prime number?
False
Suppose 2 = -3*h + 5. Is -1 + 321 + (-1)/h composite?
True
Supp