-k*s = -220 - 120. Is s a prime number?
False
Let z = 7 - 10. Is (17 - -2) + z - 3 composite?
False
Let u = -6 + 3. Let d = u + 9. Is (4 + d)/((-2)/(-7)) composite?
True
Let u be (-1)/((-2)/3)*2. Let x = 7 - u. Suppose -x*r - 4*c + 85 = -r, 0 = 5*r + 3*c - 149. Is r composite?
False
Let k = 2 + 0. Let m be -141 - (6 - 6/k). Let h = -89 - m. Is h a composite number?
True
Let z = 290 + -193. Is z composite?
False
Let a = 61 + -14. Is a composite?
False
Suppose -x + 623 = 4*t - 0*x, -x + 3 = 0. Is t prime?
False
Let d = 204 + -295. Let i = d + 128. Is i a prime number?
True
Let p be 0 + 1 + 242 - 0. Is 1/(-2) - p/(-2) prime?
False
Suppose 2*x + 6400 = 2*a, 4*x = a + x - 3194. Is a a prime number?
True
Let n be 8/(4/6*3). Suppose -5*t = n*a + a - 1170, 2*t - 5*a = 461. Is t prime?
True
Let d = 126 + -264. Let l = -79 - d. Is l a composite number?
False
Let l = -5 + 12. Let q = l - -5. Is (-9)/2*q/(-9) a prime number?
False
Let t(j) be the second derivative of 11*j**4/12 + j**3/3 + j**2/2 + j. Let s be t(-2). Suppose 2*f - x - s = 0, -f = 4*x - 8*x - 31. Is f a composite number?
False
Let h be (-18)/5 - 2/5. Let s = -2 - h. Suppose 4*o + 3*a - 60 = -s*a, a - 75 = -5*o. Is o a composite number?
True
Let c = 46 + -25. Is c composite?
True
Is 10426/10 + (5 - 69/15) composite?
True
Let p = -2116 + 880. Is (p/20)/((-2)/10) composite?
True
Suppose 13 = 5*t + x, 3*t - 8*t - 5*x = -5. Suppose 0 = -l + t*l - 98. Is l composite?
True
Let f(c) = c - 5. Let q be f(4). Let n be q/2*-6 - -4. Is 144/14 - 2/n prime?
False
Let b = -542 + 790. Suppose -u + 5*u - b = 0. Is u composite?
True
Is 56 + 9/((-9)/3) composite?
False
Suppose -f = 3*n - 8*n + 3361, -5*n = 4*f - 3381. Is n composite?
False
Suppose -1366 = -5*n + 3*w, -n + 276 = -0*n - 2*w. Suppose 3*r - n = 91. Is r composite?
True
Suppose 2*o - 6*o = 100. Let m(f) = 3*f**2 - 4*f - 2. Let h be m(4). Let d = h - o. Is d composite?
True
Is 1520/6 - 1/3 a prime number?
False
Let m(f) = -f**3 + 12*f**2 - 12*f. Let n be m(10). Suppose 2*p - n = 6*p. Let b = p - -51. Is b prime?
True
Let z = -14 - -103. Is z a prime number?
True
Let m(h) = 77*h**2 - 5*h + 1. Is m(4) prime?
True
Let l(i) = -i**2 - 7*i + 4. Let o = 9 - 16. Is l(o) a prime number?
False
Suppose -t + 5 = 0, b = 4*b + 4*t - 3371. Is b a prime number?
True
Let u(t) = 4*t**2 - t. Let h be u(-1). Suppose -1 = -y, 0 = 3*g + h*y - 3*y + 10. Is ((-158)/g)/((-2)/(-4)) a prime number?
True
Let l(z) = 27*z - 53. Is l(8) prime?
True
Suppose y - 5*d - 30 - 14 = 0, -5*d = y - 74. Is y a composite number?
False
Let n(p) = 2*p**3 - 4*p**2 + p + 1. Let o be n(4). Suppose -2*k + 5*b - 4 = 0, -4*k + b + 0*b + 10 = 0. Suppose 6*a - k*a = o. Is a a prime number?
True
Let m(k) = 2*k. Let i be m(8). Is (764/16)/(4/i) prime?
True
Is (-290800)/(-220) + (-4)/(-22) + -3 prime?
True
Let g be ((-24)/28)/((-1)/(-7)). Let w = 25 - g. Is w prime?
True
Suppose -2*g - w + 2423 = 0, -2*w - 4842 = 2*g - 6*g. Is g a composite number?
True
Let p(n) = 255*n**2 - 1. Is p(1) a composite number?
True
Suppose -5*r = -n + 5*n - 24, 0 = 2*r. Suppose 3*l = 2*c + 14, -2*c - 10 = -5*l + 8. Is (c/n)/(4/(-222)) a prime number?
True
Let v = -187 + 314. Let y = v + -40. Is y composite?
True
Let p be (2/(-2))/((-1)/(-141)). Let q = -54 - p. Suppose 2*y = 3*v + 242, -3*v - q = -4*y + 397. Is y prime?
False
Let f(h) = 36*h**2 - h - 1. Is f(2) a prime number?
False
Suppose -n - 4 = -3*n. Suppose n*g = -0*g + 430. Is g composite?
True
Let s be 6/(-15) + (-15)/25. Is s/(1254/314 - 4) composite?
False
Suppose 0 = -7*q + 2*q - 1405. Let p = 466 + q. Is p a prime number?
False
Let m(n) = -n**2 + n - 4. Let a be m(3). Let t be 4/a - 4/(-10). Suppose b - 29 = -4*p, -5*b - 4*p + 94 + 83 = t. Is b a composite number?
False
Suppose -24*r + 22*r = -1774. Is r prime?
True
Let n = 69 - 157. Let d = n + 52. Let y = d + 163. Is y a prime number?
True
Let h(t) = -t + 10. Let c be h(0). Let f = c + -5. Suppose 65 = -5*q - f*w + 260, 5*w = -20. Is q a composite number?
False
Suppose 824 + 26027 = 11*x. Is x composite?
False
Let i be -6*(-2)/(-4)*51. Let t = i - -400. Suppose 3*w - 916 + t = 0. Is w a prime number?
True
Let z(n) = 6*n**3 - 5*n + 2. Is z(3) prime?
True
Let g(r) = -2*r + 1. Let x be -1*52/4 + 4. Is g(x) composite?
False
Let j = 10 + -6. Let q be 34*(10/j + -1). Suppose -14 = -5*c + q. Is c composite?
False
Let g = 4 + 1. Let n(i) = -i**3 + 6*i**2 - 5*i + 3. Let c be n(g). Suppose -c*z = 2 - 59. Is z a composite number?
False
Let f = -6 + 11. Suppose -4*z - 5*c + 1514 = -3*c, 0 = c - f. Suppose 0 = -4*y - 4*g + z, -5*y + 2*g = -g - 494. Is y composite?
False
Suppose -1845 = 4*v - 6449. Is v a composite number?
False
Let c(d) = -d**2 + 16*d - 5. Let i(y) = y**2 - 17*y + 6. Let b(n) = -7*c(n) - 6*i(n). Is b(12) a prime number?
True
Let q = -6 - -8. Let o be (2 - q) + -1 + 8. Suppose -136 = 3*m - o*m. Is m a composite number?
True
Let p(s) = -6*s**3 - 3*s**2 + s + 4. Let o(h) = -5*h**3 - 3*h**2 + 2*h + 3. Let w(t) = 5*o(t) - 4*p(t). Is w(-5) prime?
True
Suppose 0 = o - 2. Suppose i - 29 = -2*t, 3*i = -o*t + 9 + 18. Is t prime?
False
Let j(v) = v**3 + 10*v**2 - v - 6. Let a(w) = 3*w - 1. Let n be a(-3). Let m be j(n). Suppose -141 = -0*i - 3*i + m*z, -235 = -5*i + 4*z. Is i prime?
True
Let f(r) = -5*r**3 - 2*r**2 - 8*r - 7. Let m(i) = 6*i**3 + i**2 + 9*i + 7. Let v(u) = -5*f(u) - 4*m(u). Let h be v(-5). Let q = h + 11. Is q a prime number?
True
Suppose 11*b - 4321 - 7790 = 0. Is b prime?
False
Suppose 0 = 2*z - z - 2. Suppose z*y - 462 = 342. Suppose 67 - y = -5*q. Is q prime?
True
Let w = 6 + -4. Let t(c) = -c**2 - 7*c + 3*c**2 - 3*c**w + 8. Is t(-6) a composite number?
True
Let i = 1303 - 321. Is i a composite number?
True
Let t be 5/15 + (-75)/9. Is 699/15 - t/20 prime?
True
Let n = 468 - -103. Is n prime?
True
Let i(z) = -z. Let h(s) = 1169*s. Let d(k) = h(k) + 1002*i(k). Is d(1) composite?
False
Let o be (-3)/2 - (-1979)/2. Suppose c + 3*c - o = 0. Is c prime?
False
Suppose -5*f + 5*j + 36 = -259, 0 = 5*f + 4*j - 286. Let u = f + -24. Is u composite?
True
Let z(f) = 3*f - 1. Let d be z(-5). Let y be 4/d - 110/8. Is (-393)/(-21) - 4/y a composite number?
False
Let q = 4 - -7. Is q prime?
True
Is (-1)/(3 + (-832)/276) prime?
False
Is (80/(-45) - -2) + 1825/9 a prime number?
False
Let f(u) be the first derivative of 2*u**3/3 - 5*u + 6. Is f(-7) prime?
False
Let q be 2/(-9) - 212/18. Let o be ((-78)/q)/(2/24). Let b = 115 - o. Is b prime?
True
Suppose -263 - 253 = -3*s. Let b = -24 + s. Suppose 2*q - 74 = 5*o, 6*q - b = 2*q + 5*o. Is q a composite number?
False
Suppose 484 = r - c, -792 = -2*r + c + 181. Is r prime?
False
Let g = 120 - 240. Let m = 60 + g. Let v = m + 113. Is v prime?
True
Suppose d - 6 = -2*u + 43, 0 = -u - 5. Is d composite?
False
Let a be (0/(0 - -2))/1. Suppose -68 + a = -2*s. Is s composite?
True
Suppose 34 = o - 49. Is (0 + o)*(-8 + 10) a prime number?
False
Let r = -7 - -11. Suppose -r*a + 0*a = -84. Is a prime?
False
Let l = -4 - -1. Is 91 + -2 + l + 3 composite?
False
Let g be -2 + 2*(-36)/(-8). Suppose g*z - 2*z - 795 = 0. Is z prime?
False
Let b = -17 - 0. Let j be (0 + -1)*-1*b. Is 2 + j/(-2)*2 prime?
True
Let r = -9 - -6. Is 33/22*(-446)/r prime?
True
Let z = 3548 - 1815. Is z prime?
True
Let n(v) be the third derivative of v**5/60 - 2*v**3 - v**2. Let d(o) = o**2 + o - 12. Let f(z) = 6*d(z) - 5*n(z). Is f(-9) composite?
True
Let i = 335 - 84. Is i a composite number?
False
Suppose -4*c - c - 20 = 0. Let t = c + -2. Let v(x) = 3*x**2 + 6*x + 5. Is v(t) composite?
True
Let g(f) = -f**2 + 9*f + 11. Let p = -4 - -13. Is g(p) a prime number?
True
Let y be (-9)/(-6)*(-152)/6. Let x = 29 - y. Is x a prime number?
True
Is (-3 + -1)/((-12)/1902) prime?
False
Suppose -10*d + 16*d = 9138. Is d a prime number?
True
Suppose -4*l - 112 = 4*u - u, -2*l - 5*u = 70. Let j be (-4)/6 - 151/3. Let z = l - j. Is z a prime number?
False
Suppose -2*t + o + 12 = -o, 0 = t + 5*o. Let f(b) = t + 8*b - 1 - b. Is f(7) prime?
True
Let v = -305 - -712. Is v a prime number?
False
Let w(h) = -215*h + 2. Let s(p) = -16554*p + 155. Let o(g) = -2*s(g) + 155*w(g). Is o(-1) prime?
False
Let h(s) = 95*s - 31. Is h(10) composite?
False
Let z be (-1)/(-2) + 251/(-2). Let l = z - -180. Suppose 0*u = -u + l. Is u a prime