omposite number?
False
Let m be 1 + (-2 - (-8)/2). Suppose 0 = 3*d - m. Is d + 6 + (2 - 0) prime?
False
Let f = -405 - -670. Is f a composite number?
True
Suppose -u - 5 = -1. Let t = 9 + u. Suppose t*y + 150 = 5*v, -2*v + 4*y = -4*v + 84. Is v a prime number?
False
Let z(b) = -b**3 + b**2 + b + 223. Suppose 2*y - 1 = j, -2*j = y - 0*j + 2. Is z(y) a prime number?
True
Suppose 596 = 2*a - 162. Is a prime?
True
Suppose -4*r + 8 = -0*r. Suppose -r*w + 381 = w. Is w a prime number?
True
Suppose -3*o + 22 = -2*m, -o - m - m = -2. Suppose -275 = y - o*y. Is y a prime number?
False
Let q(c) = -9*c**3 + 5*c + 17. Is q(-5) prime?
True
Let x = 5 - 11. Let l(p) = -p - 6. Let r be l(x). Is -2 + 31 + 2 + r a prime number?
True
Let p be 1312/(-5) + 4/10. Is (-1 - -3) + (-1 - p) a composite number?
False
Let q(d) = d**2 - 1. Let m be q(-6). Suppose 0 = -k - 0*k + m. Is k prime?
False
Let a(l) = 1106*l**2 + 9*l + 8. Is a(-3) a composite number?
True
Let g(h) = -h. Let o be g(-1). Let b be o/2*(-3 - 43). Let r = -8 - b. Is r a prime number?
False
Suppose -16*w + 14*w = -1294. Is w composite?
False
Is (-1170)/(-22) + (-4)/22 a composite number?
False
Suppose 2*h - 4*s - 15 = h, -3*s = 3*h. Suppose -2*c + 2*j - 2114 = h*c, 5*j = 10. Is c/(-8) + (-1)/(-4) a composite number?
False
Let a = -2291 + 6862. Is a prime?
False
Let p(j) = -584*j + 21. Is p(-4) prime?
True
Let a(v) = -3*v - 9. Suppose 36 = -4*f - 0*f. Let s be a(f). Suppose 26 = 5*y - 4*z, -5*y - 4*z = -s - 16. Is y a prime number?
False
Let k = -10 + 6. Let v be (-1 + 1)/(-2 - k). Suppose v = -2*h - 0*h + 70. Is h a composite number?
True
Suppose 0 = 3*c - c + 4004. Let m = 1094 + c. Is (-1)/(-5) + m/(-10) a composite number?
True
Let u(o) = 740*o - 1. Is u(3) a prime number?
False
Let u(a) = 11*a**2 - 10*a + 9. Is u(8) a prime number?
False
Let i = -2 + 4. Let c(u) = 3*u**3 + 5*u**2 - 4*u + 7. Let w(b) = -5*b**3 - 9*b**2 + 8*b - 13. Let d(z) = 7*c(z) + 4*w(z). Is d(i) composite?
True
Suppose -2*d + 3*o = -10, 4*o - 3*o = 4*d - 10. Suppose 2*v = -3*t + 295, -d*v + 300 + 2 = -4*t. Is v prime?
True
Let l(k) = -k - 5. Let x be l(10). Let v = 36 + x. Is v a composite number?
True
Let n = -98 + 41. Let f = -18 - n. Is f prime?
False
Let w = -7 - -19. Suppose -w*j + 267 = -9*j. Is j prime?
True
Let p be 3 - 1 - (5 + -2). Let o(s) = -12*s**3 + s. Let n be o(p). Suppose 4 - n = -a. Is a prime?
True
Let y(l) = -l**2 + 9*l + 4. Let h be y(8). Let k = 77 + h. Suppose -k = -2*j + j. Is j composite?
False
Suppose 5*a - 74 = 3*a. Is a a composite number?
False
Suppose -3*p - 4134 = 3*l, 6*l = p + 4*l + 1381. Let q be (-1)/(-5) - p/5. Suppose 4*a = j - 117, -3*j + 0*a + q = 3*a. Is j composite?
False
Let c = 3 - 3. Let t = 3 + c. Let v = 4 + t. Is v a prime number?
True
Suppose 0*z - 5*z + 5*n = -700, 0 = -2*z - 3*n + 290. Is z composite?
True
Let o be -471*4/4*-1. Suppose 0 = 2*s + s - o. Is s prime?
True
Let q(t) = 5*t**3 - 2*t**2 + 4*t - 3. Is q(2) a composite number?
False
Let r = -148 + 228. Suppose 2*w + 0*m + r = -4*m, -5*w = -2*m + 224. Let k = 135 + w. Is k a composite number?
True
Let j(d) = -d**2 - d. Let l(u) = -31*u. Let b(w) = -31*j(w) + l(w). Let t be b(-2). Suppose -k + 5*g = -0 - t, -2*g + 145 = k. Is k a prime number?
True
Let f be 8/((-4)/1)*-39. Is (44/(-12))/((-2)/f) composite?
True
Let r = 383 + -172. Is r composite?
False
Suppose -4*c = 4*u - 620, -c - 8*u = -3*u - 155. Is c composite?
True
Let h(k) = 263*k**3 - k**2 + 1. Is h(1) prime?
True
Let i be 2/(-1 - (-13)/11). Let s = -6 + i. Suppose 3*w = s + 34. Is w a prime number?
True
Let a(p) = p**3 - 8*p**2 + 7*p - 1. Let l be a(6). Let t = l - -120. Is t a prime number?
True
Suppose 3*k - 2*k = 1835. Is k a prime number?
False
Suppose 3*q = -0*q + 15. Suppose d - q*d = -12. Suppose -19 - d = -2*l. Is l composite?
False
Let k(v) be the second derivative of v**5/20 + 5*v**4/6 - v**3/2 + 3*v**2/2 - 4*v. Is k(-10) a composite number?
True
Let b = 9 + -13. Let i be 924/(-9) + b/(-6). Let o = 161 + i. Is o a prime number?
True
Suppose 132 = -4*l + 8*l. Let y(s) = -s**3 + 6*s**2 + 9*s - 8. Let o be y(7). Suppose 0 = -3*r + o*r - l. Is r a prime number?
True
Suppose -i = -4*u + 326, -2*u - 6*i = -i - 174. Let g = u - 45. Is g a prime number?
True
Let k(r) = r**2 - 11*r + 5. Let t be k(13). Let i = t + -21. Is i a composite number?
True
Let d be (-3)/(-2*1/(-2)). Let h(c) = 7*c**2 + 3*c - 3. Is h(d) a composite number?
True
Suppose l - 1400 = -4*l. Let o = -191 + l. Is o composite?
False
Suppose 0 = -15*r + 11*r + 2284. Is r prime?
True
Suppose 6*l = 5*l + 37. Is l a prime number?
True
Let v(k) = 3*k**2 - 20*k + 12. Is v(13) composite?
True
Is 608*2 - (-8 + 18 - 8) a prime number?
False
Suppose -2*b + 5*b = 78. Let m = b - -8. Is m composite?
True
Let p = 7548 + -3541. Is p a prime number?
True
Suppose 3*t - t = -f - 4, 0 = 5*t + 5*f + 20. Suppose -5*l + 51 - 6 = t. Is l prime?
False
Let f(a) = -5*a**3 - 6*a**2 + 7*a - 2. Let t be f(-5). Suppose -173 = -n + m + 48, -2*n + 4*m = -t. Is n prime?
True
Suppose 5*z + 8283 = 4*p, -2*z = 4*p - 3*z - 8303. Is p a prime number?
False
Suppose -5*y - l + 957 = 0, -2*l = -3*y - 0*y + 569. Is y prime?
True
Let r = 127 + -646. Let i = -43 - r. Let j = -337 + i. Is j prime?
True
Let l = 77 + -119. Let m = -29 - l. Is m prime?
True
Suppose l - 2452 = 475. Is l a composite number?
False
Let l(f) = f - 4. Let s be l(6). Suppose q - s = -6. Let d(a) = a**2 - a - 5. Is d(q) a prime number?
False
Suppose -2*h - 26 = 14. Let d be ((-16)/h)/(1/5). Suppose 2*o - 44 = -d*g, -g + 40 = -5*o + 7. Is g a composite number?
False
Let x be (1 + 1)/(-2 + 0). Let h be 0 + (1 - 2) + x. Is h/8 - 93/(-4) prime?
True
Suppose -2*g + 1575 = 329. Is g prime?
False
Let t be 11 + 4 + -1 + -1. Let q(g) = -g**3 + 12*g**2 + 9*g + 6. Let z be q(t). Is ((-5)/(-2))/((-1)/z) composite?
True
Is 342 - ((-3)/(-6))/((-2)/(-4)) a prime number?
False
Let h be 1/(-3) - (-488)/(-12). Let p = h - -76. Is p a prime number?
False
Let i be (1 - -4)*3/5. Suppose i*u = -33 - 27. Is 2 + 0/3 - u composite?
True
Let a = -611 + 1181. Let n = a + -197. Is n composite?
False
Suppose 0 = -y - 2*y - 54. Let v = y - -37. Is v a composite number?
False
Suppose -5*t = 4*d - 14 - 22, 12 = -2*t + 5*d. Is t/(-10) - (-1657)/5 a prime number?
True
Suppose s = -3*s + 8. Suppose 105 = -s*f - f. Let l = 58 + f. Is l a prime number?
True
Let c be 1*(5 - (2 - 1)). Suppose -g - 2*t + 31 = -52, 0 = -c*g + 4*t + 368. Is g a composite number?
False
Let l = 4 + -1. Suppose -2*b + 3*t + 111 = 0, -l*b + 188 = 3*t + 44. Is b a composite number?
True
Suppose 1587 - 45 = 6*j. Is j composite?
False
Suppose -f - 1252 = -3*z, z = -0*f + 4*f + 399. Is z a prime number?
True
Suppose -4*b = b - 30. Is ((-254)/b)/(6/(-18)) a prime number?
True
Let k(i) = 3*i**2 + 6*i - 8. Is k(-11) a prime number?
False
Let k = -19 + 146. Is k a prime number?
True
Suppose 4385 = -12*q + 17*q. Is q prime?
True
Suppose 5*g - 3*g = 4. Suppose 0 = g*i + 2*i + 92. Let o = -8 - i. Is o a prime number?
False
Suppose -2*l - 3*l = -2885. Is l composite?
False
Suppose 52 = 5*h - 223. Is h a prime number?
False
Suppose 5*a + 13 = -2. Let f be (-2)/(a/((-135)/(-6))). Is f/(1/4*6) prime?
False
Let p = -10 + 12. Suppose -3*f - 4*u = -245, -u + 239 = f + p*f. Is f a composite number?
False
Suppose -3*v + 6 = -12. Let u = v + -8. Let r(d) = -7*d. Is r(u) a composite number?
True
Let t be ((-2)/5)/((-2)/20). Suppose -t*x + 21 = -x. Is x a prime number?
True
Let x(n) = 68*n**2 + n. Suppose g - 4 + 3 = 0. Is x(g) a composite number?
True
Let y = 20 - 16. Suppose -y = -l + 7. Is l a prime number?
True
Suppose -3*k - 1508 = -8*k + 4*r, 2*k = -4*r + 620. Suppose -k + 932 = 4*q. Is q prime?
True
Let u(i) be the third derivative of -i**6/120 + i**5/4 + 5*i**4/12 - 3*i**3/2 - 9*i**2. Is u(15) a prime number?
False
Let b(h) = 13*h - 3. Is b(4) composite?
True
Let d(o) = o + 264. Let t be d(0). Suppose 0*m + t = 3*m. Suppose -11 + m = h. Is h prime?
False
Let c be (-3 + -426 + -2)/(-1). Suppose 4*q + 75 = c. Is q a prime number?
True
Let t(w) = -2*w**2 + w + 1513. Is t(0) a prime number?
False
Let h(f) = f**2 + 5*f + 4. Let d be h(-4). Suppose d = -2*s + 7 + 35. Is s prime?
False
Let q = -26 - -63. Is q composite?
False
Suppose 5*h - 43 + 18 