 - 5*p. Suppose 5 = -3*u - 4*x + 2, -b*x = -5*u + 24. Is u prime?
True
Let x(p) = p - 4. Let o be x(6). Let y be o/6 + (-10)/(-6). Is ((-93)/(-9))/(y/6) a prime number?
True
Is (-111)/(-6) - (-6)/12 a prime number?
True
Let o be (6/8)/((-2)/(-40)). Suppose v - o = -4*v. Suppose -3*w = -3*c + 216, v*w - 399 + 79 = -5*c. Is c prime?
True
Let o = 140 + -213. Let c = o + 150. Is c composite?
True
Let c = -5 - 0. Let o = 10 + c. Suppose -2*w = 3*n + o - 232, -5*w - 341 = -4*n. Is n composite?
False
Suppose 0*d - 2676 = -6*d. Is d composite?
True
Let w = -3 - -5. Suppose -t + 2*t - r + 1 = 0, w*t - 5*r + 8 = 0. Is -373*(-3)/(3/t) prime?
True
Suppose 1629 = m - 5980. Is m a composite number?
True
Suppose 5*t - 1142 = -217. Is t a composite number?
True
Suppose 4*t - 426 = 2*t. Is t a prime number?
False
Suppose -3*i + 1979 = -5848. Is i a prime number?
True
Let u be (-14)/35 - (-42)/5. Suppose 0 = 2*o - u, -4*m = o - 7 - 5. Is 10/(-15)*(-57)/m composite?
False
Let v(y) = -y**3 - 8*y**2 + 6. Let w be v(-6). Let g(r) = 11*r + 3. Let n be g(-2). Let a = n - w. Is a a prime number?
True
Let t = -618 - -2222. Is (-2)/7 - t/(-28) prime?
False
Let d = -34 + 49. Suppose 0 = 4*f - f - d. Suppose f*n - 764 = n. Is n a composite number?
False
Suppose a = -2*g + 2, 0*g = 4*a - 3*g - 52. Suppose -w = -4*m + 928, m - 211 = 3*w + a. Is m a composite number?
False
Let q(k) = 36*k + 1. Suppose -g + 6*g = 20. Is q(g) composite?
True
Suppose 0 = 5*l - 9*l + 16. Suppose l*i - 125 = -i. Is i a composite number?
True
Suppose 0*r - 2*r + 782 = 0. Is r prime?
False
Let l(b) = -b**2 + 6*b + 11. Let j be l(-14). Is (-8)/4*j/2 a prime number?
True
Let l(y) = -y**2 + y - 4. Let k be l(0). Let w be k/6 + (-40)/(-15). Is 1194/10 + w/(-5) prime?
False
Suppose 2*a + 15 = -3*a, 0 = 3*g + 2*a - 6. Let w = g + -3. Is (-1 + 0 - -92)/w composite?
True
Let d(z) = 13*z**2 - 2 - 3*z + 6*z**2 + 3 + 2*z**2. Is d(2) a prime number?
True
Suppose -v + 3*u + 11 = 0, -3*v + 6*u - u = -21. Suppose -157 = -5*f - v. Is f prime?
True
Let s(y) = 11*y**2 - 9 - 8*y + 5*y**3 + y**3 - 7*y**3. Is s(7) a prime number?
True
Let o = 489 - 45. Let x be 4/14 + o/14. Let r = x - 18. Is r a composite number?
True
Let m(j) = 116*j. Let l be m(1). Let p = l - -11. Is 1/(-1 + 128/p) composite?
False
Let u be (-8966)/(-10) + (-8)/(-20). Let g = u + -497. Suppose n + 315 = 4*x, 5*x + 3*n + 2*n - g = 0. Is x composite?
False
Let j = 131 + -78. Is j prime?
True
Suppose 2*x + 5*m - 368 = 0, -4*m + 760 = 4*x - 0*m. Suppose x - 62 = 4*q. Suppose 0*d = -d + q. Is d a prime number?
False
Let p = -11 + 14. Let f = -1 + p. Is f composite?
False
Suppose -3*f - 3517 = -3*p - 220, 5*p + 2*f - 5523 = 0. Is p prime?
True
Let t(y) = 28*y - 7. Let r = 6 - 3. Suppose -n - 9 + 24 = r*q, 0 = -2*n + 3*q + 3. Is t(n) prime?
False
Let c(p) = -42*p + 1. Let m be c(-1). Suppose -3*x = -18 - 0. Let g = m - x. Is g a prime number?
True
Let u(r) = -r**3 + 6*r**2 + r - 2. Let i be u(6). Let p(a) = 4 - i - 15*a. Is p(-1) prime?
False
Suppose 0 = -4*c - n + 1432, 3*c = -0*c - 5*n + 1091. Suppose -3*w + c = 96. Is w a prime number?
False
Let o(v) = 134*v - 5. Is o(8) composite?
True
Is 4/6 + (-2510)/(-6) + 0 a composite number?
False
Suppose 4*s - 2147 = -7*l + 2*l, -2*s + 2*l + 1060 = 0. Is s composite?
True
Let l = 48 - -1. Is l a composite number?
True
Let n(z) be the third derivative of -z**4/4 + 5*z**3/3 - 2*z**2. Suppose 2*u + 6 = -10. Is n(u) composite?
True
Suppose 36 = -7*h + 3*h. Let r be h/12*1*-72. Suppose -r = -4*d + 206. Is d a prime number?
False
Let n(v) = 313*v**3 - 3*v + 2. Let l be n(1). Let i = -5 + l. Is i prime?
True
Let y be (246/8)/((-2)/(-8)). Let t be (-172)/8*4*1. Let l = y + t. Is l a composite number?
False
Let c = 49 - 1. Let a = c - -5. Suppose 4*s - w + 2*w = a, 47 = 4*s + 3*w. Is s prime?
False
Let u = 694 - 453. Suppose z - 2*h - 97 = -2, -u = -3*z - 5*h. Is z composite?
True
Let k = 2 + 51. Suppose y = 5, -y + 6*y + 59 = l. Let s = l - k. Is s prime?
True
Suppose -f = -0 - 2. Let m(p) = -p**f + 7 - 4 + 0 + 1 + 14*p. Is m(7) a composite number?
False
Suppose 2*m = -2*m. Suppose 5*q - 71 = -3*n, m = -4*q + 2*n - 10 + 58. Is q prime?
True
Let g(v) = -v**2 + 4*v + 1. Let h be g(3). Suppose 125 = -t + 5*p, -4*t - 2*p = -0*t + 500. Let f = h - t. Is f composite?
True
Suppose 0 = 5*j - 769 + 179. Is j prime?
False
Let l be (-450)/36*(-428)/5. Suppose k - l = -k. Is k composite?
True
Let y = -96 + 185. Is y a composite number?
False
Let b(q) = -33*q**3 + 4*q**2 + 2*q + 5. Is b(-4) prime?
False
Suppose -2*u - 3*s + 1 = 0, 2 = -4*u - 5*s + 1. Let b(y) = -4*y**3 - 6*y**2 + 3. Is b(u) composite?
False
Suppose -2*o - 3*o + 5 = 0. Let n be 46 - ((-2)/o - -4). Suppose -4*q + 4*t + n = 0, -2*q + 27 = 2*t - 11. Is q prime?
False
Let s(f) = f**2 - f - 1. Let x be s(2). Suppose 3 = -3*o - 3*z, -2*o + z + x = 6. Is (1/o)/(1/(-98)) composite?
True
Suppose 0 = -4*v - w - 15, -1 = 5*v + 3*w + 9. Let r = 8 + v. Suppose 0 = r*n - 2*n - 21. Is n composite?
True
Suppose -791 + 86 = -5*w. Is w composite?
True
Let v be (-2)/(-5) + (-2471)/(-35). Let z = -40 + v. Suppose -z = -2*d + 11. Is d composite?
True
Suppose 0 = 4*b - 1 - 11. Suppose -q + 66 = b*t, 5*q = -t + 4*t - 84. Is t a composite number?
False
Let q(p) = p - 3. Let h be q(6). Suppose 10 + 638 = h*g. Suppose -3*n + 3*u + 118 = -203, 2*n - u - g = 0. Is n composite?
False
Suppose 254*i = 256*i - 2074. Is i prime?
False
Suppose -415 = -4*w - 3*s, 3*s - 12 - 103 = -w. Is (-2)/2 + w/2 composite?
True
Let y = -135 - -294. Suppose -k = 2*k - y. Is k composite?
False
Suppose 0*j = -2*j + 970. Is j prime?
False
Suppose 0*j - k - 10 = 3*j, j - k = -6. Let v(b) = 2*b**2 - 5*b + 3. Is v(j) a prime number?
False
Let o be (-7)/14 - 22/(-4). Let u(m) = 115*m + 12. Is u(o) composite?
False
Let s = 318 - 173. Let r = s + -58. Is r composite?
True
Let x(u) = u**3 - u. Let m be x(-1). Suppose m = 3*z - 4*z + 139. Is z prime?
True
Let o(u) = 210*u**2 - 2*u - 1. Is o(-1) prime?
True
Let h = -2 + 4. Let i(q) = 23*q**2 + 2. Is i(h) composite?
True
Is (-4)/((-8)/298) - 0 a composite number?
False
Let v(i) be the first derivative of 4*i**3/3 - 2*i**2 - 3*i + 10. Is v(5) a prime number?
False
Suppose -6*c + 31194 - 9516 = 0. Is c prime?
True
Let u(p) = 4*p**3 - 3*p**2 - 2*p - 2. Let c be u(-2). Is (-1 - 1)*5271/c composite?
False
Let v = 509 - 354. Let f = -108 + v. Is f composite?
False
Let m(j) = 130*j**2 - 7*j + 7. Is m(4) a composite number?
True
Suppose -67*t + 70*t - 5685 = 0. Is t a composite number?
True
Let t(b) = 310*b**2 + 2*b - 1. Is t(-1) composite?
False
Suppose -3*r + 5*q + 1321 = 0, 2*r - 687 = -2*q + 215. Is r a composite number?
True
Suppose -147 = -6*i - 9. Is i a prime number?
True
Suppose -2*p + 4*o + 1644 = 0, 0 = -p - 2*o - 0*o + 826. Suppose -4*i = 3*r - p, 5*i = -0*i + 3*r + 1057. Let y = i - 52. Is y a prime number?
True
Suppose -d = 5*r - 1467, -2*d - 2*d - 1164 = -4*r. Is r composite?
False
Suppose 3*h = 5*v - 14, 4*h + 2*v + 12 = 7*v. Suppose 7 - 2 = -a, -h*a = -3*w + 319. Is w a prime number?
True
Let k(v) = 289*v + 2. Is k(1) a composite number?
True
Is 16044/72 - 1/(-6) prime?
True
Let v be (-5)/(-25) + 98/10. Suppose 0 = -u + v + 27. Is u a prime number?
True
Let c(g) = 37*g**3 - g**2 + g. Is c(1) a prime number?
True
Let z = 547 + -293. Is z prime?
False
Let j(u) = -5*u + 5. Let g be j(11). Let s = 72 + g. Is s a composite number?
True
Let w be (-9)/3*(-86)/3. Suppose -4*n = -2*g + w, -n + 2*n = 4*g - 144. Suppose -3*r - 2*r = -g. Is r a composite number?
False
Suppose -1 = -h - 0*h. Let s be 36/8*(h + 1). Is -1 + -24*(-6)/s a composite number?
True
Let n be -1*(-2)/6*-3. Is (2 + (-234)/2)*n prime?
False
Let d(g) be the second derivative of g**4/3 + g**3/3 + g**2/2 - g. Let v = -45 - -43. Is d(v) composite?
False
Let f be (2 - 0) + 0 - 2. Suppose i + 4 = 4*h - 2*h, f = 2*i. Suppose 0 = 3*v - v - 2*j - 162, -h*j - 411 = -5*v. Is v prime?
True
Let r = 4 + -4. Let z(t) = r*t + 3*t + 3 - 5*t + 14*t**2. Is z(2) a composite number?
True
Suppose -265 - 109 = -2*d. Is d a composite number?
True
Let q(t) = -t + 4*t + 4 + 1 + t + 3*t**2. Is q(-6) a composite number?
False
Suppose 3*d - 117 = 447. Let j = d - 105. Is j a prime number?
True
Suppose 2*l - 545 = -3*b, 3*b = 5*l + 3