j - 116. Is i a prime number?
True
Suppose -3*q + 49 + 44 = 0. Let n = 45 - q. Suppose -3*a + 5*a = n. Is a prime?
True
Suppose 0 = -3*y - 2*y + 2675. Is y a prime number?
False
Is (4/(-6))/(6/(-4113)) composite?
False
Suppose 0 = -4*z + z + 6. Let a be 288/28 + z/(-7). Let x(c) = -c**2 + 12*c - 1. Is x(a) prime?
True
Let k(w) = -w**3 + 4*w**2 + 8*w + 4. Let x be k(-6). Let r = -239 + 464. Let b = x - r. Is b a prime number?
False
Is 1 + -3 - 1491/(-7) composite?
False
Suppose 0 = u + 4*u - 5. Let f be 0*(-1)/1*u. Suppose 4*r + 51 - 319 = f. Is r prime?
True
Suppose 64 = i - 3. Is i a prime number?
True
Suppose 0 = n + 2*s - 809, n + s - 285 = 521. Is n composite?
True
Let l(q) = -7*q - 9. Suppose -3*m + 5*a + 14 = 0, 4*m - 1 = 3*a + 3. Let u(g) = 2*g**3 + 3*g**2 + g. Let b be u(m). Is l(b) a composite number?
True
Let x(p) = -9*p + 6*p**2 + 0 - 3 + 10*p**3 - 9*p**3. Let q(c) = -6*c**3 - c**2 + c. Let i be q(1). Is x(i) prime?
False
Let s(a) be the third derivative of 4*a**5/15 - a**4/12 - a**3/2 - a**2. Let x(o) = o - 1. Let i be x(-1). Is s(i) a composite number?
True
Suppose 4*h + 6 - 18 = -3*y, 3*y - 2*h - 12 = 0. Suppose 4*f - m - 231 + 80 = 0, y*f = 5*m + 163. Is f composite?
False
Suppose 10*f - 398 - 292 = 0. Is f a prime number?
False
Let o(k) = k**2 - 4*k**2 - 2 + 2*k**3 - 7*k**3. Is o(-3) prime?
False
Let v(o) = -3*o**3 + 1. Let s be v(-1). Let w(f) = 4*f - 5. Let x be w(s). Let m(g) = g**3 - 9*g**2 - 9*g - 16. Is m(x) prime?
True
Let g(b) be the third derivative of b**6/60 - b**5/15 - 5*b**4/24 - 5*b**3/6 - b**2. Let s be g(5). Suppose -4*t = -4*z - s, z - 7 = -3*t + 63. Is t prime?
False
Let i(u) = u**3 - 2*u**2 - 8*u + 4. Let n be i(6). Suppose 0 = -3*r + w + 141, -6 = 2*r - 4*w - n. Is r a prime number?
True
Let z(c) = -2*c**3 - 3*c**2 - c - 5. Is z(-4) composite?
False
Suppose -l = l - 12. Let f = l + -7. Let u = f + 8. Is u a composite number?
False
Let v = 719 - 426. Is v composite?
False
Let t be 742 - 1*(1 - 0). Suppose -f - 3*f + 8 = 0. Suppose -f*b - t = -5*b. Is b a prime number?
False
Let a = -1 - -32. Is a prime?
True
Let f(v) = -v**3 - 3*v**2 - 2*v - 3. Let k be f(-3). Let g(r) = 2*r**2 + 3*r - 4. Is g(k) prime?
True
Suppose 2*g + g = -5*f + 63, -3*f - 2*g = -38. Suppose -f = 2*v - 5*v. Suppose -v*l + 43 = -297. Is l composite?
True
Let k(i) = i - 5. Let p be k(10). Suppose p*h - 267 = 4*h. Is h prime?
False
Suppose -5*k + 7*k = 0. Let f be 1*-1 - (-43 + k). Suppose 5*x = -3*q + 574, -x - q + 74 = -f. Is x a composite number?
False
Suppose 0 = 3*a + 3*q - 12, 2*q - 1 - 1 = 0. Suppose -a*m - m + 456 = 5*j, 3*j = -12. Is m prime?
False
Let z(q) = -33*q**3 + q**2 - 5*q - 8. Is z(-3) a composite number?
False
Let o(z) = -z**2 + 7*z + 2. Let v be o(5). Suppose 4*b + v = 160. Is b a prime number?
True
Let y(m) = m**2 + 2*m - 1. Let g(f) = 3*f**2 + 5*f - 2. Let v(z) = 2*g(z) - 5*y(z). Is v(6) prime?
True
Let t = 24 + -24. Suppose -3*o + 15 = t, -2*p + 5*o = -p - 606. Is p a prime number?
True
Let i(a) = 2*a**2 - a - 7. Let o be i(7). Let j = 245 - o. Is j a prime number?
False
Suppose 3*s - 320 - 1171 = 0. Is s prime?
False
Is ((-231876)/(-42))/9 + (-6)/14 a composite number?
False
Let o(w) = -2*w**3 - 8*w**2 - 3*w + 3. Let v be o(-5). Suppose 0*k = -k + v. Let s = k + 21. Is s composite?
False
Let l(x) = -x**2 - 1. Let j(k) = 9*k**2 + 2*k + 7. Let t(n) = j(n) + 5*l(n). Suppose -3 = 4*p + 5*a, -5*p + a - 4 = 7. Is t(p) a composite number?
True
Suppose -125 = -3*h - 2*h. Let x = 86 + h. Is x a composite number?
True
Let s be 1 - 2/(-4)*6. Is s/6 - 758/(-6) a composite number?
False
Let h be (-1)/(-6) + 123/18. Suppose -h*w + 3*w = -136. Is w a prime number?
False
Let b = -25 - -18. Is (10/b)/((-2)/14) a prime number?
False
Let c(o) = -o**3 - 6*o**2 - 5*o + 2. Let j be c(-5). Suppose k - 4*k + 397 = 4*v, -216 = -2*v + 2*k. Suppose 0 = j*y - v - 139. Is y a prime number?
False
Suppose 4*u - 172 = 1032. Suppose 0 = -4*m - 3*z + 843, 0 = 2*m - 2*z - z - 417. Let i = u - m. Is i a composite number?
True
Suppose -3*g = -12 - 0. Suppose 3*y + 7*j - 3*j - 213 = 0, -g*y - 2*j + 274 = 0. Is y prime?
True
Let d(u) = 76*u + 3. Let c(x) = -25*x - 1. Let n(j) = -8*c(j) - 3*d(j). Is n(-2) composite?
True
Let v(j) = -43*j + 7. Let z be v(-5). Suppose 2*g - 4*s = -0*g + 242, 0 = 2*g + s - z. Is g prime?
True
Suppose -2*f + f + 5 = 0. Suppose f*u - q = -19, -5*q + 3 = 5*u - 2. Is (-406)/((-3)/(u/(-2))) prime?
False
Let p = -13 - -1. Is 3/(-3) - -2 - p a composite number?
False
Let j be 8/(-28) - 940/(-7). Let q = j + -79. Is q composite?
True
Let r be 620/14 - (-4)/(-14). Let q(v) = v**2 + v - 25. Let x be q(0). Let z = r + x. Is z a prime number?
True
Suppose 2*o + o = 78. Suppose -m + w + o = 0, -16 = -5*w + 9. Is m composite?
False
Suppose -4530 = -3*h + j, 0*h - h = -j - 1508. Is h prime?
True
Let q(t) = 12*t**3 - 2*t**2 - t + 4. Let y be q(3). Let u = 142 - y. Let z = u + 232. Is z prime?
True
Let w(b) = 9*b**2 - 11*b - 9. Is w(7) prime?
False
Let o = 12 - 17. Let j be (-13)/(-5) - (-3)/o. Is j/(-6) + 256/3 a composite number?
True
Let x(s) = 29*s**2 - 6*s + 22. Is x(-15) a prime number?
True
Let q(r) = -r**2 + 9*r - 10. Let h be q(8). Let w be (9/3 + h)*-2. Is 55 + w + (2 - 2) a composite number?
False
Suppose 282 = -2*s - 1110. Let t = 2033 + s. Is t a composite number?
True
Suppose -4*w = 5*u - 2682, 0*u + 2*u + 677 = w. Is w composite?
False
Let o = -178 - -26. Let v = o + 223. Is v a prime number?
True
Let a = -245 - -372. Is a prime?
True
Suppose -h = 2*x - 23, 4*h = -3*x - 0*x + 37. Let i = 16 - x. Suppose -i*v - r = -91, -r - 10 = -3*v + 51. Is v prime?
True
Let m(t) = -t**3 - t + 3. Let a be m(0). Let y = 8 - a. Suppose -u = -4*u + 3, y*u + 114 = j. Is j prime?
False
Let u = -7 - 9. Let r = 38 + u. Is r prime?
False
Suppose 0*g + 5*g + 33 = 2*r, 5*r - 5*g - 45 = 0. Let i be 1 - -2 - (1 + 1). Is -22*((-6)/r + i) a prime number?
True
Let h = -26 - -17. Let j = -5 - h. Suppose f - j*f = -6. Is f composite?
False
Let m(g) = -184*g + 2. Is m(-5) prime?
False
Let k be 326/(-6) - 7/(-21). Let y = k - -109. Is y a composite number?
True
Suppose -3*w - 4*q = -387, -q - 3*q - 411 = -3*w. Is w a composite number?
True
Let v(s) = -s**2 - 9*s - 1. Is v(-8) composite?
False
Let y(o) = 235*o**2 + 2*o + 2. Is y(-1) prime?
False
Let g(j) = -j**3 - j**2 - j + 50. Let w be g(0). Suppose 12 = 2*f + 2. Suppose f*z = 20, 3*p - w = -z - 1. Is p a composite number?
True
Let z(k) = -5 + 33*k - 7*k**3 - 9*k**3 + 5*k**2 - 37*k. Is z(-4) a prime number?
False
Let q(t) = -8*t - 11. Suppose 24 + 16 = -5*b. Is q(b) composite?
False
Suppose 0 = w - 3*w. Suppose -3*t + 9 = -w*t. Is t a composite number?
False
Suppose 0 = -0*p + 4*p + 8. Is (201/6)/((-1)/p) prime?
True
Let b be 55*3*2/(-3). Is -14*(b/4)/5 composite?
True
Suppose 5*z - 1065 = -3*i, -4*z + 4*i = -0 - 852. Is z prime?
False
Suppose 117 = -c - 3*p, -2*c - 22 = 2*p + 200. Let a = -9 + 16. Let k = a - c. Is k a composite number?
True
Let w(y) = 8*y**2 + 11*y - 13. Is w(6) a composite number?
True
Suppose -l - 10 = -3*l. Suppose l*h + 317 = 4*c, c - h = -0*h + 80. Is c composite?
False
Is (1 - 2)*46/(-2) a prime number?
True
Suppose d = 4*d + 303. Let o = d - -178. Let p = o + -28. Is p a composite number?
True
Let c = -40 - -7. Suppose -5 = -8*o + 123. Let y = o - c. Is y a prime number?
False
Let g be (-72)/(-27) - 2/3. Suppose 2*k - p + 5 = 4*p, -g*p = -6. Suppose 0 = -2*j - k*u - 8, -2*u = 2*u + 16. Is j prime?
False
Let h = 22 + -15. Suppose 5*q + 92 = h*q. Is q a prime number?
False
Is 1/(-2 + ((-2534)/1268 - -4)) composite?
True
Let y be 57/(-6)*-2 + -2. Suppose 0 = 3*h - y + 2. Suppose h*n - 589 + 194 = 0. Is n prime?
True
Suppose 0 = -g - 4*g + 15. Suppose -g*a = -a - 194. Is a prime?
True
Let v be (6/5)/(9/60). Suppose 4*t + 0 = -v. Is 35 - (-2 - t - 0) a prime number?
False
Suppose 4*o - 2*g - 1442 = 0, 4*o - 1202 = -4*g + 210. Is o a composite number?
True
Let u be ((-45)/27)/(1/(-9)). Let d = u + -2. Is d a composite number?
False
Let j be (-5)/(-7) + (-8)/(-28). Is (12/3 + 165)/j composite?
True
Is ((-221)/(-2))/(6/12) a prime number?
False
Suppose -3*x = -169 - 122. Is x a prime number?
True
Suppose 5*k - 65 = -0*k - 4*x, -4*x = -5*k + 65. Is k composite?
False
Is (8/12)/(2/885) comp