q + y. Suppose 63 - 248 = -5*n - q*r, n - 58 = -5*r. Is n prime?
False
Suppose -3*g = g + 1648. Let x = -263 - g. Is x a composite number?
False
Suppose i = -11 + 46. Is i composite?
True
Let j = -316 + 450. Is j a prime number?
False
Suppose -2*c - 16 = 3*b, -2*b + 0*b = 2*c + 16. Let h be (c - -2)*1*1. Let z = 1 - h. Is z a composite number?
False
Let j = -112 - -303. Is j composite?
False
Suppose -3 = -4*g - 35. Let m = -6 - g. Suppose 2*o - 151 = 3*c, 3*o = m*o - 3*c + 71. Is o prime?
False
Let r(n) = -n**3 + n**2 - n - 40. Suppose -4*t = t. Let i be r(t). Is (4 + -2)/(-2) - i prime?
False
Let b = -466 + 2495. Is b a prime number?
True
Suppose -6*t + 5929 = -1391. Let p = t - 811. Is p composite?
False
Let k(j) = 155*j**2 - 2*j - 1. Suppose -3*d - 6*b + 2*b + 13 = 0, 3*d + 5*b - 17 = 0. Let h be k(d). Suppose 31 - 4 = p - 2*f, 4*p = -4*f + h. Is p composite?
True
Suppose 0*i - 2*i = -2122. Is i composite?
False
Let o = -10 - -7. Let m = 3 + o. Suppose -4*i + 2 + 86 = m. Is i composite?
True
Let n be ((-27)/(-6))/(3/4). Is (n/(-9))/(2/(-69)) prime?
True
Suppose -19 = -3*y + 4*b + 7, -5*y - 5*b - 15 = 0. Suppose -y*i - 2*i = -392. Let p = 405 - i. Is p prime?
True
Let v = -28 - -50. Suppose -n + 2*n - 17 = j, -3*n - 77 = 5*j. Let y = v + j. Is y composite?
True
Suppose 2*u = 5*u - 4890. Suppose 4*x - 390 = u. Suppose -5*p + x - 40 = 3*i, -2*p = i - 186. Is p prime?
False
Suppose 7*a - 20 = 3*a. Suppose 0 = 4*u - 2*r - 72, a*u - u = -2*r + 72. Suppose -c - u = -3*c. Is c composite?
True
Let w(y) = 15*y**3 + y**2 - 5. Is w(6) a composite number?
False
Let q be (-3 - -4)*(1 + -2). Is ((-286)/4)/(q/2) prime?
False
Let m(b) = 2*b - 20. Let r be m(10). Let n = -52 - -99. Suppose n = 2*f - r*x + 3*x, -45 = -3*f + 4*x. Is f composite?
False
Let b = 378 - 220. Suppose -903 + b = -5*d. Is d prime?
True
Let z(t) be the third derivative of t**5/10 + 7*t**4/24 + t**3/2 + 3*t**2. Let r be z(-6). Suppose -f - r = -4*f. Is f a composite number?
False
Let g(m) = m + 578. Let i be g(0). Let h = -316 + i. Is h composite?
True
Let r = 24 - -62. Let u = r + -20. Suppose -4*f = -6*f + u. Is f a prime number?
False
Let a(w) = w**2 - 3*w - 4. Let d be a(4). Suppose 2*f + 5*p - 84 = d, 4*f + 0*p = -3*p + 154. Is f a prime number?
True
Let a = 3 + -11. Let o(c) = c**2 + 8*c + 2. Let i be o(a). Suppose 0*d = i*d - 230. Is d a prime number?
False
Suppose 3*q = -3*q + 978. Is q a composite number?
False
Is 3/(-1) - 54*-6 a prime number?
False
Suppose 0 = -4*m + 8*m - 2264. Suppose -1558 + 83 = -5*y - 2*z, -2*y + m = -4*z. Is y composite?
False
Let q = 5 + -7. Is ((-70)/(-8))/(q/(-8)) a prime number?
False
Suppose -2*z = 4*y - 74, -4*y - 10 = 6. Let h = z + -12. Is h a prime number?
False
Suppose -3*h - 1 = -5*w + 4*w, -w + 2*h = -1. Let l = 7 - 5. Is (l + w)*(-39)/(-9) a composite number?
False
Is (-6)/8 + 16108/16 a prime number?
False
Let i(k) = -16*k + 1. Let w be i(-4). Let q(n) = 3*n**2 + 2*n - 8. Let o be q(6). Let a = o - w. Is a a composite number?
False
Let l(s) = -s**3 - 8*s**2 - 7*s - 3. Is l(-8) a prime number?
True
Suppose -3*v + 5*k = 2*v - 965, -k - 575 = -3*v. Is v a prime number?
True
Suppose -l + 3*c = -667, -4*c = -4*l + 1873 + 827. Is l prime?
False
Suppose -u + 28 = 5. Is u prime?
True
Let a = 12 - 3. Let u(p) = p**2 - 4. Is u(a) composite?
True
Suppose 3*h - 21524 = -h. Is h composite?
False
Is 4/6*(0 + 1185/10) composite?
False
Let m(k) = -61*k + 5. Is m(-9) a prime number?
False
Let c(d) = 12 + 0*d - 5 - 2*d + 3*d. Is c(0) prime?
True
Let f(l) = 3*l + 8*l + l + 0*l + 5. Is f(9) prime?
True
Let h(n) = -n**3 + 4*n**2 - n. Let c be h(2). Suppose 0 = -3*m - 9 - 3. Is (-564)/8*m/c a composite number?
False
Let p(w) be the first derivative of -w**2/2 + 16*w - 1. Let t be p(0). Suppose -d + 35 = -t. Is d a prime number?
False
Let r be 2/(-5) + 652/(-20). Let z be (-1 + -3)/((-2)/(-3)). Is r/3*z/3 a prime number?
False
Suppose 3*c - 137 = 400. Is c prime?
True
Let m be 6/(-4)*56/(-21). Suppose 9 = m*p - 3. Is p a composite number?
False
Let k(y) = -5*y**3 + 3*y**2 + 3*y + 3. Is k(-2) a prime number?
False
Let z(p) = 16*p**3 - 3*p**2 + 5*p - 11. Is z(3) prime?
True
Let a be 1/(-2) - 1/2. Is a/(1 + (-38)/37) composite?
False
Let v(b) = -b**2 + 39*b + 11. Is v(23) a composite number?
False
Let q = 289 + 58. Suppose 5*n = -3*v + 217, 6*v - v + n = q. Is v composite?
True
Is ((-44)/12)/(4/(-3156)) a composite number?
True
Suppose 0 = 2*y + 2*y - 20. Suppose -2*c - y*l = -0*l - 141, -5*c - 4*l = -395. Is c a prime number?
True
Suppose -v + 19 = -16. Is v prime?
False
Let f = 182 - 105. Is f a prime number?
False
Suppose 1036 = x + 3*g, -4*x = 4*g + 1374 - 5526. Let z = x + -710. Is z a prime number?
False
Let i(n) be the third derivative of n**6/120 + n**5/10 + n**4/8 + 5*n**3/6 + 3*n**2. Suppose 5*r = 5*b - 40, 5*r = -5*b + 2*b - 8. Is i(r) a prime number?
False
Suppose 8*x - 5*x - 21 = 0. Suppose 0 = -m - 0*m + x. Is m a composite number?
False
Suppose 6*p - 11*p + 115 = 0. Is p a composite number?
False
Suppose 5*w - 2 = 13. Suppose -w*x - 18 = -4*d, -d - 32 = -6*d - x. Suppose -3*k + 154 = 5*c, d*c + 5 = c. Is k a prime number?
True
Let l(s) = -83*s**2 + 4*s + 2. Let z(w) = w + 1. Let x(u) = -l(u) + 3*z(u). Is x(1) a composite number?
False
Let c be (-6)/(-1*(1 - -1)). Suppose c*j = -j + 140. Is j a prime number?
False
Let k(x) = 4*x**3 + 7*x**2 - x - 2. Let j(f) = 11*f**3 + 20*f**2 - 4*f - 6. Let g(q) = -3*j(q) + 8*k(q). Is g(-5) a prime number?
True
Let v(x) = x**2 - 11*x + 5. Let z be v(11). Suppose -f + 3*c + 40 = c, 185 = z*f + 5*c. Is f composite?
True
Suppose -4*d = d - 1805. Is d composite?
True
Let h(c) = -6*c - 83. Let f(g) = -1. Let j(i) = -2*f(i) + h(i). Let t(w) = w + 16. Let a(u) = 2*j(u) + 11*t(u). Is a(0) composite?
True
Let x = 766 - -43. Is x a composite number?
False
Is 564/20*(8 + -3) prime?
False
Suppose -11*s + 3755 = -6*s. Is s prime?
True
Suppose 147 = b - 2*g, 3*b = -0*g + g + 421. Is b prime?
True
Let p(k) = k**3 - 13*k**2 - 7*k - 9. Is p(14) prime?
True
Let d(x) = 89*x + 10. Is d(7) a composite number?
True
Suppose 2*z = -4*q + 1 + 3, -2*z - q = -7. Is 61*(12/z + 2) composite?
True
Suppose -2*m - 47 - 89 = 0. Let i = m - -34. Let z = i + 71. Is z a composite number?
False
Let k(g) = -2*g**2 + 4*g. Let h = 5 + -2. Let w be k(h). Is 1057/5 + w/15 prime?
True
Suppose 17 = -5*i + 2. Let t = 27 + i. Let s = t - -45. Is s a composite number?
True
Let z(j) = 2*j**2 - 7*j + 5. Is z(14) composite?
True
Suppose x = 4*o - 135, 70 = 2*o - 0*o + 2*x. Is o a composite number?
True
Let i = -30 - -148. Is i prime?
False
Let d(s) = -s - 1. Let g be d(-4). Suppose -t + 3*b - 119 = 0, 0*b + g*b - 643 = 5*t. Let c = -84 - t. Is c a composite number?
False
Let x be 1/3 - (-158)/3. Let w = -27 + x. Is w a composite number?
True
Let u = 1 + 3. Suppose 5*k + z = 3*z + 175, u*k - z - 143 = 0. Is k a composite number?
False
Suppose 0 = -3*z - 1909 + 5929. Suppose -z = -0*t - 5*t. Suppose -4*v + 256 = -2*i, t = 4*v - 0*i + 4*i. Is v prime?
False
Suppose 2*t + 860 = -5*m, -1324 = 3*t - m - 0*m. Let x = -241 - t. Is x a prime number?
True
Let u = -11 - -9. Is -1*(-177)/(-6)*u composite?
False
Suppose 0 = -3*q - q + 4564. Is q composite?
True
Let h(u) = 5*u**2 - 16*u + 23. Is h(12) prime?
False
Let k be 6/2 + 105 + 3. Let y = k + -32. Is y a prime number?
True
Let z = -3 + 1. Let g be (-3340)/(-28) + z/7. Suppose 0*u - g = -u. Is u prime?
False
Suppose s - 5*f - 309 = 299, 6 = -2*f. Is s prime?
True
Let q(n) be the second derivative of -7*n**5/20 - n**4/12 + n. Is q(-1) prime?
False
Suppose 4*n = -5*u + 2*u - 4, 3*u - 2*n = 20. Suppose 445 = u*o + o. Is o + 0 + 0 - 0 prime?
True
Let p be 502/8 - (-3)/12. Suppose 2*n - p = -n. Is n composite?
True
Let k = 31 - 27. Let q(t) = -1 - t + 2*t + 5*t. Is q(k) composite?
False
Let n(h) = 2*h**2 + 4*h - 1. Let x = -5 + 8. Suppose -x*i - 2*i = 5*k - 5, 5*i + 3*k = -5. Is n(i) a prime number?
False
Suppose 5*t + 46 + 5 = 4*u, u - 4 = 0. Let n(y) = -13*y + 6. Is n(t) a prime number?
True
Let w(i) = -i - 1 - 1 + 0*i. Let b be w(-3). Suppose -x = -b - 18. Is x a composite number?
False
Suppose -3*y = -2*s - 127 + 458, -3*y - 351 = 3*s. Let u = -78 - y. Is u composite?
True
Let w(q) = -3*q**3 + 6*q**2 - 11*q + 2. Let y(