e
Suppose -3*l + 3 = -5*i, -l + 2*l + 2*i = 12. Let o = l - 4. Suppose o - 5 = -a. Is a prime?
True
Let r(i) = -i - 1. Let l(o) = -20*o - 37. Let a(y) = -5*y - 9. Let c(j) = -9*a(j) + 2*l(j). Let d(u) = -c(u) - 2*r(u). Is d(-6) prime?
True
Let f = 816 - -187. Is f a composite number?
True
Suppose -f - 3 = 2, -2*u + 436 = 2*f. Is u composite?
False
Let u = 276 + -177. Suppose 4*z + v - 5*v = 132, -v = -3*z + u. Is z a prime number?
False
Let w = 1654 - 867. Is w a composite number?
False
Suppose 0 = -5*g + 3157 + 2598. Is g composite?
False
Let k = -114 - -61. Let f = -13 - k. Suppose -4*s = 2*v - 18, -5*v + 19 + f = -4*s. Is v a composite number?
False
Let a be (9/18)/(2/8). Let w(c) = -c**2 - 7*c - 6. Let x be w(-6). Is 137 + 2 - x/a a composite number?
False
Suppose 0*o = -o - 108. Let q be (-6 + 4)/((-1)/o). Let u = -73 - q. Is u a composite number?
True
Let g be 0 + (-4)/(8/10). Let y(b) = -b + 5. Let s be y(-6). Is s/3*(g + 8) prime?
True
Let f(x) be the first derivative of -x**2/2 + 21*x + 12. Let b be 0/((-4)/(-2 + 0)). Is f(b) a prime number?
False
Let r(x) = -x**2 - 13*x - 15. Is r(-11) a prime number?
True
Let g = -1476 + 2705. Is g a composite number?
False
Suppose 0*i - 1954 = -5*i - 3*g, -4*g = 3*i - 1179. Is i a prime number?
True
Suppose 5*i - 915 = 4*g, -646 + 268 = -2*i + 4*g. Is i prime?
True
Let m be (-2)/((-1)/((-6)/(-3))). Suppose -20 = -m*n + 20. Is n a composite number?
True
Let a(l) = l**2 - 4*l. Let o be a(4). Let r be (0 - 23)/(-1 + o). Let u = 36 - r. Is u prime?
True
Let x = -11 + 2. Is (-2)/6 - 2370/x a prime number?
True
Let d(i) = -4 + i**3 - 12*i**2 + 10*i + 5*i**3 + 4. Let p(o) = o**3 - o**2 - 1. Let f(c) = d(c) - 5*p(c). Is f(8) composite?
False
Let d = -1 + -1. Let n be (d - 1)/(3/(-2)). Suppose n*p - p - 23 = 0. Is p a composite number?
False
Let d be (2 - (5 - 3))/(-1). Suppose -k = -3*c - 118, -c - 4*c - 20 = d. Is k prime?
False
Let m be (-44)/(-10) + (-4)/10. Suppose -2*t + 5*t + 2*c - 95 = 0, -4*c + 128 = m*t. Is t composite?
False
Let y(l) = -3*l**3 - 9*l**2 - 2*l - 1. Is y(-6) a prime number?
False
Suppose 3*j + 3*x - 4197 = 0, 2*j + 1399 = 3*j - 4*x. Is j prime?
True
Let z(s) = -s**2 + 21*s - 10. Is z(17) a composite number?
True
Suppose 12 - 36 = -4*f. Suppose f*w - w - 345 = 0. Is w a prime number?
False
Let s(q) = -23*q**3 - 3*q**2 + 6. Is s(-2) prime?
False
Let w(b) = 23*b - 1. Is w(4) a prime number?
False
Let y be 6/(-9)*-21*22. Suppose -l - 3*l + y = 0. Is l a composite number?
True
Suppose x + 359 = 6*x - 2*v, 4*x = -v + 282. Suppose -x = -i - 14. Is i a composite number?
True
Let r(h) = 5*h**2 - 9*h - 5. Let g(a) = -6*a**2 + 9*a + 4. Let n(k) = -5*g(k) - 4*r(k). Is n(-7) a composite number?
True
Suppose 25*w = 29*w - 7196. Is w a prime number?
False
Let m(b) = -352*b - 1. Let i = -5 - -2. Let t be m(i). Suppose 0*r = -5*r + t. Is r prime?
True
Is (-1151)/(2*6/4 - 4) prime?
True
Let i = 6 - 10. Let m = 8 + i. Is (-2)/m*-74*1 prime?
True
Suppose 0 = -2*b + 2*u - 8, -4*b - 22 = -3*u - 5. Let r be (b + 4)*(1 + -4). Suppose 3*s - 14 - 33 = -2*q, 0 = r*q - 3*s - 108. Is q prime?
True
Let h = 370 + -157. Is h a composite number?
True
Let b(q) = -3*q**3 + 2*q**2 - 4*q - 8. Is b(-5) composite?
True
Let a be 18/14 - (-8)/(-28). Let w = 7 - a. Is w a composite number?
True
Let g(t) = -179*t - 44. Is g(-5) a composite number?
True
Let i = 10 + -7. Suppose -i*g = -2*h - 6, -6*h = 3*g - h - 27. Suppose a - 275 = -g*a. Is a a composite number?
True
Suppose -i = -3*o - 1235, -3*i = -7*i - o + 4992. Is i a composite number?
True
Let p(b) = 54*b. Let v be p(4). Let z be -1 - v - (-9)/(-3). Is (-1)/(-3) + z/(-6) prime?
True
Suppose 0 = -0*i + 3*i - 147. Suppose -s + 2*v = -i, 140 = 2*s + v + 17. Is s a composite number?
False
Suppose 0 = m - 0*m - 36. Let u be (-910)/39 + 2/6. Let i = u + m. Is i a prime number?
True
Is (-1312)/(-6) + 12/36 a composite number?
True
Let g = 44 - 23. Let r(m) = -m**3 + 7*m**2 - m - 9. Let u be r(7). Let o = g - u. Is o composite?
False
Is ((-1099)/2)/((-12)/24) composite?
True
Let y = -97 + 144. Let a = y - 28. Is a a prime number?
True
Let p(h) = 2*h**3 - 4*h**2 + 2*h + 2. Let f = -3 - -8. Suppose -4 = f*y - 24. Is p(y) a composite number?
True
Is ((-52)/(-12))/((-2)/(-762)) composite?
True
Suppose -5*s + 4*u = -185, -11*s = -6*s + 4*u - 185. Is s a prime number?
True
Let z(y) = -y**3 - y**2 - 4*y - 49. Is z(-12) a prime number?
True
Suppose 6*b - 662 = 4*b. Is b composite?
False
Let i(y) = y**2 + 267. Let q be i(0). Suppose -r - q = -2*r. Suppose -2*b + 178 = 3*l, -r = -3*b + 2*l - 5*l. Is b composite?
False
Let s(p) = 14*p + 0*p + 0 - 1 - 4*p. Is s(9) prime?
True
Let h = 94 + -224. Let a = 59 + -122. Let k = a - h. Is k composite?
False
Suppose 10*g = -2*q + 5*g + 609, 302 = q + 5*g. Is q composite?
False
Let t(a) = -a**3 + 3*a**2 - 2*a + 1 + 0*a + 2*a + 3*a. Is t(-2) a prime number?
False
Let f = 95 + -44. Let s = 260 - f. Is s a composite number?
True
Suppose -l = v + 2*l - 482, 3*l = v - 488. Is v a composite number?
True
Suppose -52 = -4*z + 4*d, d + 2*d + 21 = z. Let s(b) = 4*b**2 - 1. Let u be s(-2). Let o = u - z. Is o a prime number?
False
Suppose 46 = 3*x - 0*x + c, 0 = -3*c - 15. Suppose -2*y - 3*d + d = -64, 4*d = -y + x. Is y a composite number?
False
Is -1*587/(-1)*1 a prime number?
True
Suppose -x = -5*x + 812. Is x a composite number?
True
Suppose 121 = 5*i - 4*t, 3*i + 0*i + t = 59. Is (i/2 - 1)*2 prime?
True
Let z(u) = -u**3 - 7*u**2 - u - 9. Let x be z(-7). Let a = 2 + x. Suppose a = 2*o - 2*q - 24, -q + 8 + 8 = 3*o. Is o a composite number?
False
Let y = -7 + 7. Suppose 0 = -y*r - 2*r - 12. Is (1338/(-9))/(4/r) composite?
False
Suppose 2*m + 0 - 6 = 0. Suppose 2*f + 6 = 0, -g + 364 = m*f - 0*f. Is g a prime number?
True
Let o(k) = k - 8. Let m be o(7). Let s be -23*(-24)/(0 - m). Is s/7 + (-6)/(-42) a composite number?
False
Let v(q) = -67*q - 18. Is v(-13) a prime number?
True
Let n(g) = -167*g. Is n(-1) prime?
True
Let c(z) = 2*z - 7. Let x be c(6). Let h = x - 1. Suppose h*u - 345 = u. Is u composite?
True
Let g(s) = s**2 - s. Let f(a) = -a**3 - 8*a**2 + 5*a + 7. Let m(n) = -f(n) - 2*g(n). Suppose 2 = 2*o + 12. Is m(o) prime?
False
Let z(h) = -2*h**2 + 5*h + 4. Let c be z(7). Let n = c - -112. Is n a prime number?
True
Let x(i) = i**2 - 2*i + 1. Let t be x(1). Suppose t = j - 4 + 1. Suppose 2*d + 14 - 190 = 3*s, -3*d + j*s + 267 = 0. Is d a prime number?
False
Suppose 1 = 4*i - 19. Suppose 0*m - 625 = -i*m. Suppose 4*y = -y + m. Is y composite?
True
Let f be 3/2*2/1. Let i = f + 1. Suppose i*w = 0, -2*w + 4 = -2*x + 30. Is x composite?
False
Let l = 11 + -8. Let t(a) = -28*a - 7. Let m(h) = -29*h - 8. Let g(y) = 6*m(y) - 7*t(y). Is g(l) composite?
False
Let g(k) = -93*k**3 - k**2 - k - 1. Let l(r) = r - 6. Let w be l(5). Let c be g(w). Suppose n - 6 = 4*n, c = 4*o + 4*n. Is o a prime number?
False
Let x = -9543 + 14900. Is x prime?
False
Suppose 2*h + 45 = 5*t, -4*h - 73 = -5*t + 12. Let v = h - -169. Is v a prime number?
True
Let j(h) = 10 - 3 - 127*h + 143*h. Suppose -5*l - 15 = 0, -5*l = 5*f + 1 - 11. Is j(f) a composite number?
True
Suppose 1018 = 2*c + 5*j + 417, 0 = -4*c - j + 1175. Is c prime?
True
Let n = -2 + 2. Suppose n = 2*h - 398 - 292. Suppose 4*j = 3*r - h, 3*j - 240 + 700 = 4*r. Is r prime?
False
Suppose -33145 = 79*w - 84*w. Is w a prime number?
False
Suppose 9 + 5 = -2*f. Suppose 40 = -7*o + 12*o. Let k = o - f. Is k prime?
False
Let i(o) = o**3 - 6*o**2 - 14*o + 16. Is i(9) a prime number?
False
Let l(a) = a**2 + 6*a - 3. Let g be l(-7). Suppose 2*n - 6 = -0*t + 2*t, 0 = -2*n + 3*t + g. Suppose 332 - 87 = n*u. Is u composite?
True
Let o = 78 - 39. Is o a prime number?
False
Let l = 2 + 1. Suppose 2*m - l*m = -114. Is (14/(-3))/((-4)/m) prime?
False
Suppose 4*h - 5*i = -2, -3*h - i + 6 = -2. Suppose h*p + 3*a = 2*a + 187, -2*p + 3*a + 199 = 0. Is p composite?
True
Suppose o - 7*i = -2*i - 2, 0 = 2*o - 5*i + 4. Let y be 2/(2*o/(-38)). Let p = y + -4. Is p a composite number?
True
Suppose -21*h = -16*h - 14295. Is h a prime number?
False
Let c(i) = -i**3 + 9*i**2 + i - 5. Let o be c(9). Suppose -o*p = -3*p - 31. Is p prime?
True
Is 333/(-2)*(-10)/15 a composite number?
True
Let u = -3 + -3. Let i = 6 + u. Suppose -3*j + 0*j + 75 = i.