t o = 33 + u. Is o prime?
True
Suppose 0 = -3*b - 114 + 1182. Suppose -5*l = -l - b. Is l a composite number?
False
Suppose 5*j = 2*n + 571, -3*j + 0*n + 349 = 2*n. Is j composite?
True
Let l(v) = -v + 8. Let z be l(6). Suppose 0 = r + z*r. Is r/(-1) - -95 - -2 composite?
False
Suppose 10*x - 1696 - 1174 = 0. Is x a prime number?
False
Suppose 5*i = i - 1940. Let y = -274 - i. Is y prime?
True
Let g(t) = 117*t**3 + t**2 - t - 1. Let v be g(-1). Let k = -67 - v. Is k composite?
True
Suppose -5*c - 4*h = -2*c - 7, -3*h = c - 4. Suppose c = k + 2. Is (0 - -1) + k - -51 a composite number?
True
Let f(c) = 21*c + 5. Let b be f(12). Suppose -2*n = -3*p - 171, 2*n + 78 = -5*p + b. Is n composite?
True
Let t(x) be the second derivative of 0 - 4*x**2 - 2*x - 1/2*x**3 + 1/12*x**4. Is t(6) prime?
False
Let i = 2 + 3. Suppose -3*f - i = 2*f. Let h(o) = 5*o**2 - o. Is h(f) prime?
False
Let o(p) = 2*p**3 - 3*p**3 - 1 + p + 4 - 2*p**3. Is o(-4) a composite number?
False
Suppose -504 = -d + 54. Suppose 0 = -4*i + d + 614. Is i composite?
False
Suppose -4*l + 62 = -3*l. Suppose 12 = 4*y, -2*p = 3*p - 4*y + l. Let o(r) = 2*r**2 + 7*r - 11. Is o(p) composite?
True
Let b = 7 + -5. Suppose -b*v = -v - 19. Is v a prime number?
True
Suppose 798 = -5*q + 2*q. Let w = -139 - q. Is w composite?
False
Let f be 32/12 - 2/3. Suppose -o = f*d + 19, 5*d + 5*o = 3*o - 46. Let t(c) = c**2 + 5*c + 10. Is t(d) composite?
True
Let y = 30 - 6. Suppose 2*t - 15 = -3*t. Suppose -2*r - 3*b + 29 = 0, -2*b + y = t*r - 4*b. Is r prime?
False
Let g be ((-38)/(-4))/((-3)/(-36)). Let y = g + -25. Is y composite?
False
Suppose 0 = -t - 0*t + 3*u + 146, 4*t - 5*u = 591. Is t a prime number?
True
Is ((1 - 2) + 2635)*(-11)/(-33) composite?
True
Suppose 2*w = 3*w - 109. Is w a prime number?
True
Suppose 3*a - 7 = 2. Suppose 2*g - 3*j + 0*j - 94 = 0, 3*g + a*j = 171. Is g composite?
False
Let v(p) = -p**3 - 3*p**2 + 2*p - 5. Let z be v(-4). Let y be (3/2)/(z/(-4)). Is y - (-15 - (-1 + 3)) prime?
False
Let z(v) = -v**3 + 8*v**2 - 8*v + 10. Let j be -3 + 7/((-7)/(-10)). Let g be z(j). Is (2 - 0) + 138 + g a prime number?
False
Is (379 - 0)/(6 + (-5)/1) a composite number?
False
Suppose 5*u - 700 - 255 = 0. Is u prime?
True
Suppose -4*z - 2*k + 896 = 0, -7*k = 2*z - 2*k - 456. Suppose 3*t = 2*t + z. Is t prime?
True
Suppose -2*l - 1336 = -3*x + 753, 4*x - 4*l - 2784 = 0. Is x composite?
True
Let b = 4 + -1. Let w(v) = 5*v**2 + v + 1. Is w(b) a prime number?
False
Let r be (6/(-10))/(2/(-10)). Is 71/3 - 2/r a composite number?
False
Let a(y) = -83*y - 8. Is a(-5) a prime number?
False
Let n = 55 - -2. Let r = n - -154. Is r a composite number?
False
Let y be 0 + 30 - (-5)/5. Suppose 3*i = 2*n + 56 + 45, 0 = -i - 2*n + y. Is i composite?
True
Suppose -158 = -2*s - 0*s. Is s a composite number?
False
Let w(b) = 4*b**2 + 10*b - 13. Let u(i) = -i**3 + 7*i**2 + 6*i + 6. Let p be u(8). Is w(p) prime?
False
Let x(g) = g**2 - g. Let l be ((1 - 1)/(-2))/(-1). Suppose -5*c + l*c = 10. Is x(c) composite?
True
Suppose t = 267 + 190. Suppose t = 2*x + 99. Is x a prime number?
True
Let l be (7/(-14))/((-2)/4). Is 1/l*137 - -2 a prime number?
True
Let y = 306 - 47. Is y prime?
False
Let w(n) = n**2 + n. Let s(u) = 57*u**2 + 2*u + 1. Let g(m) = s(m) - w(m). Let a = 7 - 9. Is g(a) prime?
True
Let k be (-4)/(-8) + (-18)/(-4). Suppose k*h - 5*l - 13 = 222, 4*l = -4. Is 6*(-3 - h/(-4)) a prime number?
False
Suppose -4*p - i + 1269 = 0, -p + 2*i + 1583 = 4*p. Is p composite?
False
Let b(i) = i**2 + 11*i + 32. Is b(-13) composite?
True
Let g be (3 + -4)/(2/554). Let d = -156 - g. Is d a prime number?
False
Let y = 515 - -284. Is y prime?
False
Let f(h) = h. Let w be f(0). Let z(n) = n**3 + n**2 + 49. Let x be z(w). Let k = -18 + x. Is k a composite number?
False
Suppose -3*r = 7 - 52. Suppose 2*b + v - 157 = 0, 0 = -v - 4*v + r. Is b prime?
False
Let g be ((-2)/2 - -1)/(-1). Let o = g + 43. Let u = 184 - o. Is u prime?
False
Suppose 0 = z - 4*z. Suppose -2*s = -6, -2*h + z*h = -4*s - 142. Is h composite?
True
Let g(m) = -9*m + 4. Let j = -1 + -2. Is g(j) prime?
True
Is ((-1)/(-2))/(5/2630) a prime number?
True
Let r(a) = -64*a - 9. Is r(-8) a prime number?
True
Let y be -1 + -1*47*-8. Let w = y + -118. Is w composite?
False
Let d(r) = r + 1. Let x be d(-2). Let f(a) be the third derivative of -a**6/10 - a**4/24 - a**2. Is f(x) composite?
False
Suppose -a = 2*n - 17, 5*n + a - 2*a = 53. Is 10/(-4)*(-844)/n a prime number?
True
Let j(l) = -l**2 + 7*l + 6. Let x be j(5). Suppose -4*h + h + 3 = 0, 3*r = -4*h - 32. Is (x/r)/((-4)/78) composite?
True
Let p be 1 + 1 + 2/2. Suppose 80 - 230 = -p*z. Let v = z - 13. Is v a prime number?
True
Suppose 21*f - 6805 = 16*f. Is f a prime number?
True
Let i = -1959 - -4846. Is i a composite number?
False
Suppose -5*b - 657 = -2*b. Let l = 38 - b. Is l composite?
False
Suppose 4*s + 3*b + 938 = b, -3*s - 714 = 5*b. Let o = s - -526. Is o a composite number?
False
Suppose -2*p - 3*p = -1595. Suppose 6*s - 4*s + 134 = 2*c, 0 = 5*c + 3*s - p. Is c a prime number?
False
Is -4*((-38778)/120 - 2/(-5)) composite?
False
Let w = 1214 + -21. Is w composite?
False
Suppose 6*d = 3*d + 864. Suppose d - 52 = 4*m. Is m a prime number?
True
Let b = -3 - -3. Suppose 20 = 4*i, 2*q - i - 19 = -b*i. Let g = q - 1. Is g prime?
True
Suppose 4*y = -2*y + 546. Is y composite?
True
Let v = -1739 + 3124. Is v prime?
False
Suppose 0 = -l + 3 - 1. Let o be -3*l/3*-22. Let c = 123 - o. Is c composite?
False
Suppose 4*j + 5*n - 7 = 7, -3*n = -4*j - 2. Let q be 5*(-2 - -3)/j. Suppose v - q*v = -124. Is v prime?
True
Is (-114)/24*332*-1 prime?
False
Let n = -7 + 12. Suppose -3*x + 24 = -n*s - 2, s + 12 = 4*x. Suppose 4*q - 2*f - 122 = 0, 3*f = f + x. Is q composite?
False
Let x = -25 - 126. Let p = 345 + x. Is p prime?
False
Let j(n) = 175*n + 19. Is j(6) a prime number?
True
Let c(i) = 18*i + 11. Suppose -2*r + 5*r - 18 = 0. Suppose -3*b + 4*f + f + 34 = 0, -r = 3*f. Is c(b) prime?
False
Suppose -2443 = -5*l - 4*v, l - 433 = 5*v + 44. Is l a composite number?
False
Let q = -8 - -11. Suppose 4*x + q*n - 18 = 0, 5*n + 60 = 5*x + 20. Is x a composite number?
True
Let u = -81 + 119. Suppose -10 = 4*m - u. Suppose 2*v + 175 = m*v. Is v composite?
True
Let i be (1/2)/((-1)/(-2)). Let f = 20 + i. Is f prime?
False
Suppose 2*t + 3*m - 450 = -3*t, -t = -5*m - 118. Is t a prime number?
False
Suppose -44 = 5*u - u. Let c(d) = d**3 + 16*d**2 + 15*d - 15. Let q be c(u). Let s = q + -166. Is s prime?
False
Let l = -50 + 252. Is l a composite number?
True
Suppose -4*w + 100 = -2*h, -3*h + 3*w - 73 = 83. Let u = 145 + h. Is u prime?
False
Let a = 84 - -5. Is a a composite number?
False
Let c(h) = h**3 - 2*h**2 - 2*h + 2. Is c(7) prime?
True
Suppose -5*z = -3258 - 917. Suppose 6*a = a + z. Is a composite?
False
Let t be (8/20)/(1/10). Suppose -2*h = -5*l - 154, -4*l = t + 12. Is h composite?
False
Let u be (-2)/3 + 700/42. Suppose -2*i + u + 12 = 0. Is i a prime number?
False
Is (-52 + 6)/((-4)/46 + 0) prime?
False
Let n be (-18)/4 + (-39)/26. Let g(h) = 1 + 1 - 1 + 8*h + 2*h**2. Is g(n) prime?
False
Suppose -2*s - p - 691 + 3883 = 0, -p - 2 = 0. Is s composite?
False
Let o(h) = -h + 5. Let r be o(4). Let t be 5/(-10)*(r - 1). Suppose t*s + 220 = 4*s. Is s a composite number?
True
Let l(n) = 4*n**2 + 2*n - 1. Let i be l(-2). Suppose -2*z + i = 5*w + 47, 16 = -3*w - 4*z. Let f(s) = -s**3 - 8*s**2 - 8*s + 1. Is f(w) prime?
False
Let c(k) = 221*k**2 + 2*k + 1. Let b be (-1)/2 - (-5)/2. Is c(b) a composite number?
True
Let x(h) = -h**3 - 5*h**2 + 5*h - 3. Let c = -16 + 10. Is x(c) prime?
True
Let d(t) = -4*t**3 + 6*t**2 - t - 3. Let r(u) = -5*u**3 + 5*u**2 - 2*u - 3. Let l(k) = 4*d(k) - 3*r(k). Is l(8) composite?
True
Let j = 0 - 1. Let k be (-10)/(-5) + j + 0. Is k/(-3) + (-88)/(-12) a prime number?
True
Let t(y) = y**2 + 7*y. Let d be t(-8). Suppose -2*g - 2 = -d. Is g a composite number?
False
Suppose 0 = 6*z - 4*z - 3*h - 5677, -4*z - 3*h + 11381 = 0. Is z a composite number?
False
Suppose -x + 4*o - 150 = 2*x, 4*x + o = -181. Let s = 113 + x. Is s a prime number?
True
Suppose 0 = 8*r - 3*r - 20. Suppose 0 = 5*p - r*j - 501, -2 = 3*p - 5*j - 313. Is p prime?
True
Let f(j) = -60*j + 1. Let g be f(-1). Let u be (70/8)/(1/(-4)). Let