et d = -403 + 188. Is d*((-6)/(-10) - 1) a composite number?
True
Suppose -5*u = 2*f - 0*f - 567, 2*u = -4*f + 1094. Is f composite?
False
Let f be 4 + (-2 - -1) + -68. Let t = f - -102. Is t a composite number?
False
Suppose -3*f = x + 3*x - 320, -x + 4*f = -99. Is x prime?
True
Suppose 0*m + 2*m - 114 = 0. Is m a prime number?
False
Suppose 306 = -3*a - 0*a. Let g = -65 - a. Is g a composite number?
False
Suppose 0 = -4*c + 3*v - 18, 0 = -2*v - v + 6. Let g be (-6)/4*(-164)/c. Let p = g + 227. Is p composite?
True
Let x(b) = b**2 - b - 2. Let v be x(0). Let d = 6 - v. Let m(u) = -u**3 + 7*u**2 + 10*u - 5. Is m(d) a prime number?
True
Suppose 5*s + 25 = -0*s, s = -3*r + 55. Suppose 10 = 2*c - r. Let h = c - 8. Is h a composite number?
False
Suppose 2 = 2*w - w. Is (4/12)/(w/354) prime?
True
Let p(k) = 4*k**2 - 6*k - 3. Let c be (4/(-3) - -1)*21. Is p(c) prime?
False
Suppose c = -5*k - 118, -k = 6*c - 4*c + 254. Let w = 427 + c. Is w a prime number?
False
Let y(a) = -3099*a - 4. Is y(-5) composite?
True
Suppose -k - 10 = 4*k, -2*n + 5*k + 1688 = 0. Is n prime?
True
Suppose -c + 255 = -0*c. Suppose 5*x - c = 320. Suppose -2*g = 3*g - x. Is g a prime number?
True
Suppose -5*n - 47 = j - 115, -3*n - 5*j = -54. Is n composite?
False
Suppose 4906 = 12*z - z. Is z a composite number?
True
Let w = -2136 - -3223. Is w a composite number?
False
Let q = 375 - 149. Suppose 3*k + 31 = q. Is k a prime number?
False
Suppose 0 = -2*o - 3*j + 271, 0*j = -2*o + 2*j + 296. Is o prime?
False
Suppose 7*y - 3*y = 120. Let t = 67 - y. Is t a composite number?
False
Is -2 - (-93 - 3 - 1) a composite number?
True
Let n(r) = 11*r - 6. Let y be n(5). Let l be (-467)/(-6) - (-6)/36. Let m = l + y. Is m a prime number?
True
Let n = 8 - 4. Suppose 361 + 75 = n*u. Is u a composite number?
False
Let t(j) = j - 2. Let l(u) = -u + 3. Let z(f) = -2*l(f) - 3*t(f). Is z(-6) composite?
True
Suppose -u + 5*u = 764. Let a be (2 - 2) + 43*5. Suppose -2*s + a = -u. Is s a prime number?
False
Let c(h) be the third derivative of -h**6/120 - 3*h**5/20 - h**4/6 - 5*h**3/3 - 4*h**2. Suppose s - 3*s - 18 = 0. Is c(s) a prime number?
False
Suppose 3*k + 2*k = 10. Is (k - (-10)/(-6))*111 prime?
True
Let h be (0 + 1)*32/4. Let s(z) = -z + 9. Let j be s(h). Is 2 - j/(-3 + 2) a prime number?
True
Let r(h) = -h**3 + 3*h**2 + 2*h - 5. Is r(-5) a composite number?
True
Let m = 7 + 30. Is m composite?
False
Let d be (-6)/(-33) + 10008/11. Let m = -472 + d. Is (-2)/(m/442 - 1) prime?
False
Let n(h) = -2*h**3 - 2*h**2 + 4*h - 1. Let p(u) be the third derivative of -u**6/120 + u**4/6 - u**3/2 + 2*u**2. Let j be p(2). Is n(j) a prime number?
True
Let w = -2 + 7. Suppose 2246 = 4*p + 2*a, w*p + 2*a + 0*a = 2806. Suppose 209 = 2*n + 3*o, 5*n - 4*o - o = p. Is n a prime number?
True
Suppose 431 - 23 = x - 5*m, 5*x - 2066 = -m. Is x prime?
False
Suppose -4*r = -0*r - 212. Is r prime?
True
Let h(d) = 61*d**2 + 2. Let n be h(2). Suppose -5*w + 2*k + 631 = -0*w, 4*k + n = 2*w. Is w a prime number?
True
Suppose -2*j - 4793 = -3*n, n - 4*j = 4*n - 4787. Is n a prime number?
True
Let d(k) = k + 9. Let a be d(-6). Let b be (2 - 6/a) + 0. Suppose -p + 4 + 3 = b. Is p a composite number?
False
Suppose 2*t - 12*t = -3170. Is t a prime number?
True
Let d(w) = 28*w - 5. Let m(h) = 42*h - 7. Let y(g) = 8*d(g) - 5*m(g). Let n be y(4). Is 1 + n + (-3 - -4) prime?
True
Suppose 0 = 3*u + 382 - 22. Let c be (-2)/(-13) - 9108/52. Let z = u - c. Is z a prime number?
False
Let y(a) = 10*a**3 - 12*a**2 - 22*a + 28. Let z(u) = -3*u**3 + 4*u**2 + 7*u - 9. Let h(b) = -2*y(b) - 7*z(b). Is h(5) a prime number?
True
Suppose -f + 13 = 2*n, -8*f + 3*n = -3*f - 13. Suppose 4*v = f*y - 99, -3*y + 28 + 24 = 5*v. Is y a prime number?
True
Suppose -2*g - 87 = -b + 3*g, -4*g = -5*b + 477. Suppose 20 - b = -c. Is c prime?
False
Let r be ((-75)/10)/((-3)/4). Let y be (2/(-4))/(5/r). Is y/2*(-42)/3 composite?
False
Let m(h) = -35*h - 15. Let y(p) = 12*p + 5. Let q(c) = 6*m(c) + 17*y(c). Suppose -2*d + d = 5. Is q(d) composite?
True
Let q be 58/(1*2/7). Suppose 5*p - 5*y = 290, 59 = 4*p + 2*y - q. Suppose 0 = -3*o - 0*o + p. Is o composite?
True
Is 55 + 0/(3 + -6) composite?
True
Let i(v) = -v - 3. Let x be i(-6). Suppose -3*u - u - 20 = 0, -x*u = -4*o + 379. Is o a composite number?
True
Let y = -37 - -20. Let c = -12 - y. Suppose 8*p = -4*q + 4*p + 44, c*q = -4*p + 57. Is q a composite number?
False
Let p be 6/12*0/1. Suppose p*d = d - 21. Suppose 0 = -h - d + 130. Is h prime?
True
Suppose 5*j - 3*g = 37 + 14011, 5*g + 5623 = 2*j. Is j prime?
False
Let b(o) = -o**3 + 4*o**2 - o - 4. Let t be b(3). Suppose -3*z + 0*l + 284 = -l, -2*z + t*l = -192. Is z a composite number?
True
Is ((-11)/(-55))/((-1)/(-1535)) a composite number?
False
Suppose 2*g = -3*c + 179, g - 2*g - c + 92 = 0. Is g a composite number?
False
Suppose -9*x = -6*x - 33. Let o = x - 8. Is o prime?
True
Let d be (-2)/6 + 3578/6. Suppose 0*c - d = -4*c. Is c prime?
True
Let u(k) be the second derivative of -k**3/6 - 7*k**2/2 + k. Let v be u(-8). Let n(t) = 8*t - 1. Is n(v) composite?
False
Suppose 0 = l - 2 - 4. Let h(j) = 221*j**2 + 7*j + 7. Let v(u) = -222*u**2 - 8*u - 8. Let z(y) = l*v(y) + 7*h(y). Is z(-1) prime?
False
Let x = -2390 + 3535. Is x a composite number?
True
Suppose -4*w - 7*f + 951 = -2*f, 3*f + 3 = 0. Let k = -128 + w. Is k a prime number?
False
Let x = 5944 + -1211. Is x a prime number?
True
Let x be (-148)/(-10) - (-3)/15. Let q be 34/10 + (-6)/x. Suppose -w - k = -q*k - 61, -2*w = 5*k - 95. Is w a composite number?
True
Suppose -3033 + 24785 = 8*q. Is q prime?
True
Suppose -7*b = -5*b + 4. Is -1*(-53 - (0 - b)) prime?
False
Suppose -2*g + 25 = 3*g. Suppose 0*j - g*a = -j - 15, -3*j + a = 3. Suppose -r + 35 + 34 = j. Is r composite?
True
Suppose 0 = 4*i - 3*w - 3932, w - 4*w + 2949 = 3*i. Is i a prime number?
True
Let z(p) = -2*p - 4*p - 2*p**2 + p - 116*p**3 + 4*p. Is z(-1) a prime number?
False
Suppose -u - 24 = 3*u. Let b = -6 - u. Suppose 253 = 3*i - 2*z, -i + 4*z + 37 + 34 = b. Is i composite?
True
Let s = -464 + 843. Is s prime?
True
Let w(d) = d**3 + d - 15. Is w(5) a prime number?
False
Let q = 6 - 17. Let i(x) = 2*x + 29. Let l be i(-15). Let f = l - q. Is f a prime number?
False
Let z(a) = -27*a + 20. Is z(-21) prime?
True
Let y(m) = m**2 - m + 1. Let h be y(2). Suppose 0 = -h*q + 6*q. Suppose a - 5*l - 27 = q, 204 = -0*a + 4*a + 4*l. Is a a composite number?
False
Let o be (8/12)/((-2)/3). Let z = -1 + o. Is z*15/12*-46 a composite number?
True
Let h(x) = 668*x**2 - x - 2. Is h(-1) a prime number?
False
Let h = 374 - -551. Suppose -h = -4*z + 303. Is z composite?
False
Suppose d - x - 4 = 0, 2*d - 14 = 3*x + 2*x. Let n be (4/(-6))/((-1)/6). Suppose 0 = -n*c - 2*w - 2*w + 344, 2*w = d. Is c prime?
False
Suppose -4*j + 0*c = -c + 4, -c + 4 = -2*j. Suppose j = b - 102. Let o = b - 35. Is o a composite number?
False
Suppose c = 5*c - 332. Is c prime?
True
Let p(q) = -q**2 + 59. Let v be p(0). Suppose -b - 4 + v = 0. Is b a prime number?
False
Is 11/((-44)/(-72)) + 3 a composite number?
True
Suppose p - 3*s - 302 = 0, -3*p + 5*s + 894 = -0*s. Is p a prime number?
True
Suppose -3*b = -1 - 5. Suppose 5*f + 378 = 4*o, -3*f - b = -4*f. Is o a prime number?
True
Let n(z) = -4*z - 11. Let r(a) = 3*a + 10. Let g(l) = 2*n(l) + 3*r(l). Let b be g(-6). Suppose 5*x - 303 = b*h, 0 = -x - 0*h + h + 63. Is x a prime number?
True
Let l(r) = -2*r**3 - 4*r**2 - 3*r - 2. Let q be l(-2). Let p = -1 + q. Suppose -p*j + j + 26 = 0. Is j prime?
True
Suppose 0 = -4*f - 2*h + 1220, -5*f + 1551 = -8*h + 4*h. Is f prime?
True
Let s = -12 + 17. Suppose -279 = -3*t + 2*q, 0*q + 279 = 3*t - s*q. Is t a composite number?
True
Let w = 1835 - 748. Is w composite?
False
Suppose -3*g - 5432 = -19394. Suppose 729 = -5*a + g. Is a a composite number?
True
Let n(p) = -4*p + 7. Let k be n(8). Let w = k + 90. Is w composite?
True
Suppose -3*u - 5*k = 5, 4 = k + 5. Suppose 3*o + 5*c - c - 155 = u, -c = 1. Is o prime?
True
Suppose -151 = -j - 2*v, -2*j + 3*v = -j - 166. Is j a composite number?
False
Is 2462/12 + -4 + 1/(-6) prime?
False
Suppose -3*v = 3*n + n - 11, 10 = -n - 5*v. Suppose -262 - 8 = -n*l. Suppose 2*i - l = -10. Is i a composite number?
True
Suppose 1682 = -0*c + 2*c + 4*u, 