 -462. Is a composite?
True
Is 24824/28 + (-12)/(-28) composite?
False
Let g(c) = c**3 + 7*c**2 + c + 2. Is g(5) composite?
False
Is 4/(-18) + 1552/18 composite?
True
Let i = 75 + -10. Is i a composite number?
True
Let m = -23 + 23. Suppose m = -4*r + 6*r - 68. Is r prime?
False
Suppose -6*m + 800 = -m. Let x be m/(-6) - (-4)/6. Let a = -15 - x. Is a a prime number?
True
Let o = -162 + 241. Is o composite?
False
Let w(n) = -45*n**3 - 2*n**2 + 8*n + 4. Is w(-3) composite?
True
Let u = -1 + 6. Suppose u*c - 155 = -0*c. Is c a prime number?
True
Let d(h) = 6*h**2 + 3*h. Let l be d(3). Let z = l - 26. Is z composite?
False
Let y(m) = -147*m + 40. Is y(-19) prime?
True
Let c(n) = 6*n**2 - 2*n - 3. Let d = 8 - 11. Let z be 1 + -1 + 1 + d. Is c(z) a prime number?
False
Let n(h) = h**3 + 11*h**2 - 10*h + 3. Let u be n(-11). Suppose -r + 0 + 61 = 3*k, -5*k - u = -3*r. Is r a composite number?
True
Let v = 10 + -7. Let h(f) = f**3 - 2*f**2 - 5*f + 4. Let c be h(v). Is c/9 + (-1005)/(-27) prime?
True
Let g = 21 - 8. Is g composite?
False
Suppose r + 0*r = -2. Let z be ((-62)/r)/((-1)/(-4)). Suppose 0 = 5*d - 71 - z. Is d composite?
True
Let l = 904 + -527. Is l a composite number?
True
Is 191 + 7 + (-3)/(-1) a prime number?
False
Let c be (-1)/2 + (-4)/8. Let v = 1 - c. Is v composite?
False
Let d be (-2)/(-3) + (-80)/(-15). Let t(k) = 9*k - 11. Is t(d) a composite number?
False
Suppose -h + 7 = -16. Is h prime?
True
Let o = -866 + 1317. Is o prime?
False
Suppose -11*p - 6756 = -15*p. Is p prime?
False
Suppose 0*k - 5*k + 290 = 0. Is k composite?
True
Let k(o) = o + 7. Let r be k(-5). Let m = r + 1. Suppose 71 = m*s - a, -3*s + 0*s + 75 = -3*a. Is s a prime number?
True
Let d(v) = v**3 - 5*v**2 + 3*v + 8. Suppose -6 = 2*u - 4*h, 2*u - 5*u = -h - 16. Is d(u) composite?
False
Let s be (-8)/36 - (-58)/18. Suppose -7*q + 5 + 9 = 0. Suppose s*p - q*p = -4*x + 14, x = -3*p + 42. Is p prime?
False
Suppose -3*o + 20 = -43. Is o a prime number?
False
Let a = 546 - 67. Is a a composite number?
False
Suppose -2*t - 309 = -c, -t - 608 = -2*c + t. Is c composite?
True
Let p = 434 - 815. Is (-2)/(-1) - 4 - p composite?
False
Suppose t + 0*t = 2*z - 1, -4*z - 4 = 4*t. Is (z - -1) + 64 + -8 a prime number?
False
Let h be (0 - -8*1) + -3. Suppose -3*b + h = -v, -2*b + 21 = 4*v - 15. Is v prime?
True
Suppose 0 = 3*f + f - 3*z - 880, 4*f + 2*z = 880. Suppose -d + f = 3*d. Is d a prime number?
False
Suppose -3*h = 2*c - h - 216, 0 = 3*h + 15. Is c prime?
True
Let b(x) be the third derivative of -1/3*x**3 - 7/24*x**4 + 0*x - 2*x**2 + 0. Is b(-3) prime?
True
Let g(r) = -9*r**3 + 2. Is g(-2) a prime number?
False
Is (-3)/(-9) + 1226/3 a composite number?
False
Suppose 0 = 2*o - m - 2123 - 6154, 5*m - 8283 = -2*o. Is o a composite number?
False
Let c = 847 + -89. Suppose -4*d - 368 = -2*n, 3*d - c = n - 5*n. Suppose 4*x + 6 = 3*q + n, 0 = -x + 2*q + 43. Is x a composite number?
False
Let c be (-3)/(-21) + (-13)/(-7). Suppose i - h = 38, -31 = -c*i - 5*h + 17. Is i prime?
False
Suppose -p - 2*p + 6998 = 5*o, -5*o - 2*p = -6997. Is o composite?
False
Let g(m) = 2*m**2 - m - 8. Let s be g(7). Suppose 0 = 5*j - n - 23, 3*j - 15 = -0*j + n. Suppose -9 - s = -j*h. Is h prime?
True
Suppose -y - 2*s = -2*y + 3091, -3*s = -5*y + 15469. Is y a prime number?
False
Let v be 3 + 2 - 3 - -1. Suppose 21 + 108 = -v*q. Let f = q - -332. Is f a prime number?
False
Let r be 36/10 + (-2)/(-5). Suppose -4*w - r*z + 28 = 0, 2*z - 7 = 2*w - 3*z. Suppose -h - w + 18 = 0. Is h prime?
False
Is (2 + 1)*(-398)/(-6) a prime number?
True
Suppose s = -5*n + 1141, 4*s - 2*n - 4610 = n. Is s prime?
True
Let k(b) = -36*b + 13. Is k(-4) a prime number?
True
Suppose -f + 912 = 3*f. Let n = f - 139. Is n a composite number?
False
Let q(d) = 2*d**2 - 8*d - 11. Let f(v) = 5*v + 1. Let o be f(3). Suppose 2*c + o = 4*c. Is q(c) a composite number?
False
Let i(a) = 5*a + 1 - 3*a + 0 + 2*a**2 - 66*a**3 + 0*a**2. Is i(-1) composite?
False
Suppose -2*i = 251 - 13. Is (-1 - 0/1)*i composite?
True
Is (-1)/(3 + (-7100)/2365) a composite number?
True
Suppose -4*i + 9*r - 5*r = -61020, 3*i - 2*r - 45769 = 0. Is i a prime number?
True
Suppose 14 = -4*p + 2. Let r be ((-16)/(-6))/(p/(-54)). Suppose m - 125 = -4*o - r, 56 = m - 3*o. Is m composite?
True
Let c(n) = -n**2 - 8*n - 4. Let z be c(-6). Is 7/2 + z/(-16) prime?
True
Suppose 3*p - 21 = 132. Suppose 3*g = -g + n + 40, n + p = 5*g. Is g composite?
False
Let i(k) = -132*k**3 - 2*k**2 + 1. Is i(-1) a composite number?
False
Let f(l) = 4*l**3 + 2*l**2 - l - 2. Suppose -3*v + 3*s - 6 = 0, -13 = -4*v - s + 4. Is f(v) composite?
True
Let p = -1 + 4. Suppose -5*o = -52 - p. Is o a composite number?
False
Let r be (8/6)/((-4)/(-174)). Suppose 0 = 4*q + 16, 4*q = -m - 9 - 4. Suppose -4*k + s = -r, 0 = k - m*s - 22 + 2. Is k a composite number?
True
Let s = 11 + -1. Is s a composite number?
True
Suppose -2*d + 8 = -4*n, -d = 2*n + n - 4. Suppose n = -z + 2. Suppose -4*w + 8 = -5*k, -5*w + z*k - 7*k + 55 = 0. Is w prime?
True
Let o(x) = -x**2 - 6*x + 10. Let u be o(-7). Suppose 0*w + 3*a = u*w - 33, -3*w + 35 = -5*a. Is w a composite number?
True
Suppose -d - 322 = d. Suppose -6*y = -2*y + 2*k - 302, 0 = y - 2*k - 88. Is (d/(-21))/(2/y) a composite number?
True
Let b(s) = 3*s**2 + 7*s + 13. Is b(-7) prime?
False
Let h(q) = -55*q + 1. Let p be h(-6). Suppose 130 = 2*b + t, 5*b + 0*t - p = -t. Is b prime?
True
Suppose 3*r + g - 3 = 4*g, 3*g = -15. Let j(i) = -28*i - 3. Let z be j(r). Let b = z + -63. Is b composite?
True
Suppose 0 = 2*z - 4*z + 2. Let r(k) = 98*k**3 - k. Is r(z) a prime number?
True
Let g be -12*2*(-3)/(-4). Is (120/g)/(2/(-3)) a composite number?
True
Let f = -94 - 11. Let w = f - -188. Is w composite?
False
Suppose -8 + 1 = -k. Let f = 305 - k. Is f a composite number?
True
Let k = -8 - -14. Let v(t) = 2*t**3 - 7*t**2 - 7*t + 7. Is v(k) a prime number?
False
Is (-5)/(-1 - -26) - (-456)/5 a composite number?
True
Suppose x - 2*k - 14 = 0, 5*x + 4*k - 18 = 10. Is (-3)/12 + 58/x composite?
False
Let f(x) = 2*x**2 + 4*x - 7. Let d = 2 + -7. Is f(d) composite?
False
Let a be -2 + -7 + -1 + 2. Is (-1155)/(-6) - (-12)/a a prime number?
True
Is (-1*2*179)/(14/(-35)) composite?
True
Suppose 0 = -h - 1, -4*s - 24 + 171 = 5*h. Let i = s + 89. Is i composite?
False
Let y be (0 + -1)/((-1)/54). Suppose -y = -3*h - 9. Is 102/15 - (-3)/h composite?
False
Let o = 15 + -11. Suppose 0 = -5*l + 19 - 4. Is 97/4 + l/o composite?
True
Let g(t) be the second derivative of -7*t**3/6 + 47*t**2/2 + 3*t. Let k(i) = 20*i - 141. Let m(h) = -17*g(h) - 6*k(h). Is m(0) prime?
True
Suppose 5*d = -g + 113, -3*d - 5 = 1. Let q = 218 - g. Is q composite?
True
Let b = 83 + 243. Is b a composite number?
True
Is (86/8 + 1)*(-52)/(-13) composite?
False
Let b(o) = 3*o**3 + 2*o**2 + 1. Let w be 5 - 3 - -2*1. Let z = w - 2. Is b(z) a composite number?
True
Let o(i) = -24*i + 1. Let t be o(1). Let q = 38 + t. Let j = q + 11. Is j prime?
False
Let t(u) = -17*u**3 - 2. Is t(-3) composite?
False
Suppose -2*h + h = -2*j - 168, -2*j - 484 = -3*h. Is h a prime number?
False
Suppose -h + 5*t + 749 = 0, 4*h - 2169 - 783 = -2*t. Is h a composite number?
False
Let i(p) = 3*p**2 - 3*p + 4*p**3 - 2*p - 4*p**3 + p**3. Let l be i(-4). Suppose -l*u = -8*u + 228. Is u composite?
True
Suppose -174 + 594 = t. Suppose -3*a = -27 - t. Is a prime?
True
Let a be ((-42)/(-8))/(3/48). Suppose 3*w - 63 - a = 0. Is w a composite number?
True
Is (-1)/((-10023)/(-13380) - (-15)/(-20)) prime?
False
Let z = 7400 - 4695. Is z composite?
True
Let b = 8 + -4. Let z(l) = -8*l**2 - 6*l + 5. Let y(f) = f**2. Let r(k) = -6*y(k) - z(k). Is r(b) composite?
True
Suppose 0 = -5*j + 25, -3*m + j - 254 = -6*m. Let n = m + -46. Is n prime?
True
Suppose 0 = 4*b - 2*t - 3670, -3*t + 928 = 4*b - 3*b. Is b composite?
False
Suppose -7*a = -a - 2466. Is a a composite number?
True
Suppose 5*x - 468 + 43 = 0. Is x prime?
False
Suppose -4*b = -5*v + 52, 58 = 4*v + 7*b - 2*b. Suppose 1236 = 5*u + 3*x, 0*x - v = 4*x. Suppose t - 4*t + u = 0. Is t composite?
False
Let r = 67 + -32. Suppose 9*n - 4*n - r = q, -n + 5*q - 17 = 0. Let o(u) = u**2 - 6*u - 1. Is o(n) a prime number?
False
Suppose 5*o + z - 255 = 5*z, -135 = -2*o - 5*z. Is o a prime number?
False
Is (