331 = -m - b. Is m composite?
True
Suppose 2*b - 12 = -2*b. Suppose 220 = o - b. Is o prime?
True
Suppose -3*u - 4315 - 20873 = 0. Let k = 12441 + u. Is k a composite number?
True
Let t be 96/(2 - 1) + -1. Suppose -2*q + 3*l = -0*l - t, 2*q - 110 = -2*l. Let b = -37 + q. Is b prime?
False
Suppose -113*t = -107*t - 37566. Is t prime?
False
Suppose -16*x = -13*x - 2172. Let g = -171 + x. Is g a composite number?
True
Suppose 4*n - u + 7 = 0, 6*n + 11 = n - u. Let g be n - (-8 - (1 + 3)). Is (-3618)/(-30) + 4/g a composite number?
True
Let q = 15 - 11. Suppose 190 = m - 4*z, -q*m = -3*z - 1204 + 431. Suppose -k - m = -3*k. Is k composite?
False
Suppose f + 4 = 3*f. Let z(q) = -q**2 + 2*q - 14*q**3 + 0*q**2 + f*q**2 + 1. Is z(-1) composite?
True
Let j = 24404 - 16185. Is j composite?
False
Let r(l) = l + 4. Let z be r(-3). Suppose -2*i = -3*i + z. Is i + 3 + 530 - 1 prime?
False
Let i be 1083*(2/9 - (-24)/(-27)). Let y = i - -1063. Is y a composite number?
True
Suppose -4*o + 6722 = 3*b - 31655, 0 = 3*b + 2*o - 38375. Is b composite?
False
Let b = -10452 + 16230. Suppose -w = 5*f - 9650, 0 = f + 2*f + 3*w - b. Is f a prime number?
True
Let y(o) = 7*o + 9. Suppose -2*x = -2*h + 42, -h - 4*x + 9 = -x. Suppose -3*t + 2*k = -6, 3*t + 5*k - 3*k - h = 0. Is y(t) a composite number?
False
Let i = 42 - -2737. Is i prime?
False
Suppose -3*g + 6*g - 19 = -2*u, -5*u = -5*g + 15. Suppose -p = u*p - 1119. Is p a composite number?
False
Let r(k) = -k**2 + 13*k - 12. Let p be r(12). Suppose p = 11*m - 3*m - 48. Is m composite?
True
Suppose -4*v - 1004 = -8*v. Is v a composite number?
False
Let k be (-3)/15 + 4818/(-10). Let f = 1539 + k. Is f a prime number?
False
Let x(d) = 4*d**2 - 30*d - 57. Is x(25) prime?
True
Suppose 36*k - 222938 = 2*k. Is k a composite number?
True
Let l(d) = 41*d - 3. Let q = 47 + -45. Is l(q) a prime number?
True
Suppose -5*l = -l + 152. Let a = l - -307. Suppose 1622 = 3*h + a. Is h a prime number?
False
Suppose 22*l - 45*l = -1582699. Is l composite?
False
Suppose -17*c = -21*c. Let i = c - 0. Suppose -9*v + 7*v + 418 = i. Is v composite?
True
Is 18394*(-4 - (-18)/4) a prime number?
False
Suppose 12 = -4*r, -10*r + 7*r = 4*d - 3251. Is d a composite number?
True
Let k(m) = m + 7. Let d be k(-2). Suppose 706 = w + 3*v, -w + 686 = d*v - 30. Is w composite?
False
Let c(x) = 13*x**2 + 18*x - 44. Let v = -45 - -56. Is c(v) composite?
True
Let x = -9 + 14. Let z be (4 + -2)/(-1) + x. Is -3 - (-1 + -264 + z) prime?
False
Let d = -3169 + 44330. Is d prime?
True
Let s(h) = 669*h**2 + 6*h + 2. Is s(3) prime?
False
Let f be (24/(-14))/(((-2)/(-7))/(-1)). Is f/(-4)*-2 - -48 prime?
False
Suppose -2*u + 5*c = 3*u - 119515, -2*c = -3*u + 71705. Is u a prime number?
True
Let x(w) = w**3 + 4*w**2 - 7*w - 1. Let m be x(-5). Let u(j) = -j**2 + 5*j - 8. Let n be u(m). Let t = 351 + n. Is t composite?
False
Let b(g) = g - 6. Let p be b(8). Suppose p*s = -3*s + 185. Is s a composite number?
False
Let b(f) = f - 14. Let h be b(6). Let c be (1/(-4))/(2/h). Is (330/50)/(c/5) prime?
False
Let k be 6/(-10) + 3/5 - -794. Suppose 4*j + z = 3*z + k, -4*z + 20 = 0. Is j a prime number?
False
Suppose -4*i = -2*v + 1358, 2*v + 10*i - 1358 = 6*i. Is v prime?
False
Let t = -1408 + 1984. Is (12/(-4) - -4) + t a prime number?
True
Let d = 107 - -220. Suppose 2*s - 941 = -d. Is s composite?
False
Let p = -22246 + 38193. Is p prime?
False
Suppose 2*j - 3*j = -2. Is (332/(-12) - j)*-3 a prime number?
True
Let p(r) = -5*r**3 + 3*r - 1. Let t be p(7). Let o = -1210 - t. Is o composite?
True
Let k(f) = -137*f - 52. Let q be k(-14). Is (4 - 3)*(q - -1) prime?
True
Let n(v) = -3*v**3 - 2*v**2 + v - 1. Suppose -g - q - 1 = 0, -10 - 14 = 4*g - q. Is n(g) a composite number?
True
Let w = -491 - -991. Suppose w = 2*p - 0*p. Suppose x = -0*x + s + 78, -p = -3*x - s. Is x a composite number?
True
Let p be (-2 - (-2 - -3)) + (0 - -26). Suppose p*t + 1195 = 24*t. Is t prime?
False
Let f = -26 - -27. Is (1 + -133 + f)*-1 a composite number?
False
Let h(a) = a**3 - 8*a**2 - 28*a + 28. Is h(11) a composite number?
False
Let t be -3 - (-2921 + 6/4*2). Suppose -12*w + 7*w + t = 0. Is w prime?
False
Let n = -17 - -20. Suppose n*c = -5*u + 149, 3*u = -2*c - 2*c + 206. Is c composite?
False
Let g(k) = 35*k - 6. Let w be g(5). Suppose -2*p - 5*n + 211 = 0, -3*p = -2*n - 0*n - 364. Let t = w - p. Is t prime?
False
Let n = -3439 - -6258. Is n a prime number?
True
Suppose -21*b = -14*b - 10661. Is b a prime number?
True
Suppose 5*s - 196 - 1479 = 0. Is s composite?
True
Is ((-445)/(-285) + (-4)/(-38))*339 a composite number?
True
Let a be (-2581 - -4)*(-4)/3. Suppose -a = -6*f + 2*f. Is f prime?
True
Let m = -82 + 62. Is 8032 + 4*(-15)/m a prime number?
False
Let u be -1 + (1 - -1) + -3. Let w(q) be the first derivative of 17*q**3 + q**2/2 + q - 13. Is w(u) a prime number?
False
Suppose 0 = 2*h - 3634 - 51660. Is h prime?
True
Is 6/(36/112206)*1 a composite number?
False
Let l be (20/(-16) - -2) + (-15421)/(-4). Suppose -i + l = 989. Is i a composite number?
True
Suppose 0 = 3*o + 5*j + 4778 - 99829, -3*o + 95065 = -2*j. Is o prime?
True
Let m be 4/(-4)*-67*-1. Let q = -96 - m. Let j = q - -60. Is j a composite number?
False
Suppose 3 - 1 = p + g, g = -3*p. Let t be (1/p)/((-2)/(-186)). Let f = -14 - t. Is f a prime number?
True
Let n = 22784 + -15031. Is n a composite number?
False
Let y be (-5 - 92/(-12))*2199/4. Let p = y - 435. Is p a composite number?
False
Suppose 260 = 2*p - 7*p. Let b = p - -109. Let g = 52 + b. Is g composite?
False
Let q(g) = 77*g**2 + 4*g + 10. Suppose 10 = -6*n - 8. Is q(n) prime?
True
Suppose -7*i + 10 = -4. Suppose -5*v = -15, -v + 1632 = 3*m + i*v. Is m prime?
True
Let p(z) = 2919*z**2 - z + 3. Is p(1) a composite number?
True
Suppose -3 = -6*z + 3*z. Let a(t) = -t + 6. Let b be a(4). Is 175/2 - z/b composite?
True
Is 6206*(5/(-10) + 1) composite?
True
Let d = 598 + 4531. Is d a composite number?
True
Let q(k) = -2*k + 13. Let g be q(4). Suppose 3*b = 3*r, 3*r + 10 = -g*b + 42. Suppose r*c - 301 = 207. Is c a composite number?
False
Is (-41059)/76*2*-2 a composite number?
False
Let b = 51 + -167. Let o = 41 - b. Is o prime?
True
Let y(s) = s**3 - s**2 - s. Let a(j) = -8*j**3 + 6*j**2 + 7*j - 3. Let w(v) = -a(v) - 5*y(v). Is w(2) a composite number?
False
Suppose -2 = -m + p + 2, -5*p - 16 = -3*m. Suppose -m*b = -5*q - 10, -3*b + q - 2*q - 19 = 0. Let c = b - -20. Is c composite?
True
Let i = 1480 + 673. Is i a prime number?
True
Suppose 3 = u + 15. Is ((-325)/15)/(4/u) prime?
False
Suppose 1945 = 5*a + 4*q, 2*a = -3*a - 3*q + 1940. Suppose f - 34 = a. Is f composite?
False
Is -4*10/8 + 664 a composite number?
False
Let p be -1 + 11 - 1 - 2. Let h be ((-16)/10)/(p/35). Is (-1018)/h - 2/8 prime?
True
Let m(z) = 2 - 78*z - 61 + 10. Is m(-12) a composite number?
False
Suppose -3*h + 11 = 2*l - 2, -l = -2*h + 11. Let r = 10 - h. Suppose -r*y = -3*w - y + 1303, -2*y - 433 = -w. Is w a composite number?
True
Let z be 4 - (4 - -10 - 1). Let c = z + 13. Suppose 2*l - c*k - 75 = 15, 5*k = 15. Is l a composite number?
True
Suppose 0 = 10*y - 90442 - 124228. Is y a composite number?
False
Suppose -5*h + 2*h - 5*d = -10054, 3*d = -4*h + 13387. Is h a composite number?
False
Let u = 13 + -9. Suppose z = f - 441, -u*f - 2*z + 5*z = -1768. Is 3/(-3)*f/(-5) composite?
False
Suppose 6*s + 5 = w + 3*s, -w = -5*s - 5. Suppose -2*m + 4*i + 16 = 0, -2*m + 17 = -3*i + 4. Suppose -m*o - 573 = -w*o. Is o prime?
True
Let c = 90741 - 49360. Is c a composite number?
False
Suppose 0 = -11*d + 210495 + 223994. Is d prime?
True
Let q = -128 - -133. Suppose 15947 = 4*k - 3*v, -4*k - 3006 = -q*v - 18963. Is k a composite number?
True
Let g = -22 + 23. Let h(j) = 26*j + g - 4*j + 3 - 1. Is h(3) a prime number?
False
Let t(p) = p + 4. Let m be t(0). Suppose -m*x = -2*x - 1278. Let n = x - 308. Is n composite?
False
Let s(p) = 4173*p - 3. Let l be s(1). Suppose -6*o + 2*o - a + l = 0, -3121 = -3*o - 4*a. Is o prime?
False
Suppose 17052 + 2345 = 3*i + 5*x, -3*i + 19409 = -x. Is i prime?
True
Suppose -5*h + y + 25 = 0, -5*h + 4*y = -0*y - 25. Suppose -4 = -h*z + 21. Suppose -z*f - 20 = 0, 3*x + 143 = 3*f + 1034. Is x a composite number?
False
Let s be (-25844)/(-63) - (-2)/(-9). Let m be 2/(-3)*(4 