 Let s = -3207 - r. Is s composite?
True
Let u(m) = -5*m**2 - m + 2. Let q be u(-10). Let o = 143 - q. Is o a composite number?
False
Let w(n) = 2*n - 2. Let f be w(5). Let t(q) = 166*q - 18. Let d be t(f). Suppose 3*v - d = -191. Is v prime?
True
Let z(a) = 6*a**2 - 30*a - 15. Is z(-13) prime?
False
Suppose 7*d = 2*d + 10. Let y(w) = -4 + 3*w**2 + 3*w**2 + 7*w + 18 - d*w**2. Is y(-5) a composite number?
False
Suppose 12*a - 22*a = -61190. Is a a prime number?
False
Suppose 2084 - 7288 = -m + v, 5*v = m - 5220. Suppose -5*s + 3*f + m = 0, -4*s + 3*f = -3*s - 1028. Is s prime?
False
Suppose 0 = -3*w + 2*w + 2. Suppose w*x + 3*x = -5. Is 474/(-6)*(x + -1) a composite number?
True
Is 4987 + 0*(-2)/4 prime?
True
Let r(d) = d**2 + 13*d + 27. Let o be r(-11). Suppose -o*t - 3*q = -170, 4*q - 54 = t - 3*t. Is t composite?
False
Let c = 25 - -109. Suppose -i = -0*i. Suppose 0 = -b + 5*p + c, -5*b + 0*p + 2*p + 739 = i. Is b a prime number?
True
Let p be (-72)/20 + 4 - 13/(-5). Suppose q - 83 = -j, -4*j + 102 = p*q - 226. Is j composite?
False
Let n = 25228 + -9471. Is n prime?
False
Let b be (3 + 719)*(-5)/(-2). Suppose -o = -z - b, 1789 = -0*o + o + 3*z. Is o a composite number?
False
Is 1 + (-14)/7 + 17718 a composite number?
True
Let s(j) = -1. Let f(g) = 29*g + 3. Let n(y) = f(y) + 3*s(y). Suppose 0 = -u - i, -4*i = 5*u - 2*i - 15. Is n(u) a prime number?
False
Let q(y) = -y**2 - 8*y - 4. Let r be q(-5). Let h = r + -7. Suppose h*i - 573 = i. Is i a prime number?
True
Let j(u) = u + 12. Let o be j(-8). Is (-6 + 4)*(-422)/o a composite number?
False
Suppose 10*m + 0*m + 11270 = 0. Let p = 1614 + m. Is p prime?
True
Let o(c) = c**3 - 4*c**2 - 7*c + 5. Let w be o(5). Let p(n) = 7*n + 38. Let z(t) = 11*t + 57. Let i(u) = w*z(u) + 8*p(u). Is i(-13) a prime number?
False
Is ((-157)/(-2))/(((-15)/146)/(-15)) a composite number?
True
Let g(j) be the second derivative of -117*j**5/10 + j**4/6 + 3*j**2/2 + 18*j. Is g(-2) prime?
False
Let m = 1 + 73. Is m a prime number?
False
Suppose j + j = -10. Let q(g) = g**2 + 8*g + 5. Let z be q(j). Let h(i) = i**2 - i - 13. Is h(z) composite?
False
Suppose 0 = 2*i - 3*d + 6*d + 2344, 5*i + 5847 = -d. Let w = i - -1695. Suppose 0 = 2*h - w - 236. Is h prime?
False
Let d(n) = -35*n + 5. Let b = 8 - 4. Suppose -2*u = -b*m, -5*u + 4*m - 3 - 9 = 0. Is d(u) composite?
True
Suppose 5*q + 23 = 4*q. Let u = q + 26. Suppose 11 = u*r - 22. Is r composite?
False
Let y be (1 + -2)*2 + 7. Suppose o - 41 = 3*t + t, -y*t = -3*o + 46. Let c = -9 - t. Is c prime?
True
Suppose n = 4*n, -4*n - 192 = -2*g. Suppose 0 = -3*a - a + 484. Let j = a + g. Is j prime?
False
Let d(y) = -y**2 - y. Let x(f) = -f**3 - 10*f + 10. Let c(z) = 6*d(z) - x(z). Let j be c(-7). Let m = j + 1316. Is m prime?
True
Let h = 157 + -51. Is h prime?
False
Let z(j) = -15*j**3 + 7*j**2 - 3*j + 3. Suppose 4 = 5*w - 6*w. Is z(w) a composite number?
False
Suppose 3*j - 8*j = -2*u + 11, -u + 5 = -2*j. Suppose 2*k + 3*q - 1090 - 1980 = 0, 0 = -u*k - q + 4619. Is k composite?
True
Suppose 5*z = -z + 30. Suppose -3148 = -z*p - t, -3*t + 1267 = -2*p + 4*p. Is p a prime number?
False
Is (-15128 - 3)/(18/(-18)) prime?
True
Let j(h) = 22*h**2 + 68*h - 19. Is j(-24) a composite number?
True
Let k = -4580 + 11047. Is k composite?
True
Let h = 2264 - -12429. Is h prime?
False
Let f(u) be the second derivative of -u**5/10 + u**4/3 + u**3/6 - 5*u**2/2 - 4*u. Let o(c) = -c**3 - 5*c**2 + 2*c + 6. Let q be o(-5). Is f(q) prime?
False
Suppose 0 = 5*j + 3 - 18. Suppose -p + 3*v = 3*p - 88, 0 = -2*p + j*v + 50. Is p a prime number?
True
Let v be 140/6*(-12)/(-4). Let h = -11 + v. Is h prime?
True
Suppose 0 = -3*y + 4 + 14. Suppose -2*z + 13 = -p, y*z - 2*z - 3*p - 31 = 0. Suppose -z*c + 158 = -654. Is c a composite number?
True
Suppose 4*a = 5*d - 24039, -11667 = -2*d - 4*a - 2029. Is d a composite number?
True
Suppose 3*p - 28 - 14 = 0. Let m be (p/(-35))/(1/(-515)). Suppose v - m = -v. Is v a prime number?
True
Let p = 77522 + -27783. Is p composite?
False
Suppose 0 = 4*u - 30*n + 33*n - 14169, 4*n = -2*u + 7082. Is u composite?
True
Suppose -i + s + 18406 = 5312, -3*s = -i + 13096. Is i prime?
True
Is (4 - (1 + 11)) + 13269 prime?
False
Let m = -23072 + 121279. Is m prime?
True
Suppose 2*n + 60 = -3*n + 5*p, -2*n + 5*p - 39 = 0. Let b(h) = h**3 + 7*h**2 + 13. Is b(n) a prime number?
True
Suppose 0 = -4*l + 1 + 11, 3*m = 4*l + 1590. Let d = m - 211. Is d composite?
True
Let n(k) = k**2 - 7*k - 24. Let h be n(10). Suppose p = h*p - 3275. Is p a composite number?
True
Let q = 243 - 101. Let s(a) = -16*a + 205. Let p be s(7). Suppose -5*y + q = -p. Is y a composite number?
False
Let x be (9/(-3) - 1) + -379. Let z = x + 645. Is z a composite number?
True
Suppose -r - 2*s + 5*s = -18773, -3*s + 9 = 0. Is r prime?
False
Suppose 2*i - 5*a = -1, 4*i + a - 42 = 11. Is i/(-20) - (-5)/(25/15548) prime?
True
Let q(l) be the second derivative of -l**4/12 - l**3/2 + 43*l**2/2 + 28*l. Is q(0) a composite number?
False
Let a(s) = s**3 - 3*s**2 - 2*s - 2. Let m be a(4). Let n be 14/m + 1/(-3). Suppose 0 = 3*r - n*o - 419, 5*r - o + 2*o = 694. Is r composite?
False
Let m(r) = -6*r + 3. Let d be m(5). Let g = -14 - d. Let p(f) = 2*f**2 - 18*f - 11. Is p(g) composite?
True
Let z = 29 - -77. Is z a composite number?
True
Suppose -117*p = -134*p + 16881. Is p composite?
True
Let x be 1/(-8)*-1 - (-23)/8. Let f be (0 + 9)*(1 + 18). Suppose x*o - 2*l = 183, -2*l + f = -o + 4*o. Is o prime?
True
Suppose -4*d - 2*w - 3 - 5 = 0, -3*w = 3*d. Let f(n) = -14*n**3 - 4*n**2 + 2. Let t be f(d). Let z = t + -577. Is z prime?
True
Let k be (3 - (-6)/3)*1. Suppose 4*z - 873 = -k*z. Is z a prime number?
True
Suppose -12378 = -2*r + 1708. Is r a prime number?
True
Let q(a) = 13*a - 1. Let u = -1 - -11. Let g be q(u). Suppose 180 = h - g. Is h composite?
True
Let u(k) = 1. Let z(v) = -2*v - 10. Let y(h) = 14*u(h) + 2*z(h). Let x be y(3). Is (-6)/4*948/x composite?
False
Suppose 2*s + 5*w = 13333, -3*w = 4*s - w - 26706. Is s prime?
True
Let t be -1 - -6 - 2 - -1. Let k(s) = 2*s**2 - s. Let z be k(t). Let o = 18 + z. Is o prime?
False
Let x(z) be the second derivative of 397*z**4/12 - z**3/6 - z**2/2 - 46*z. Is x(-1) a composite number?
False
Suppose -2*j + 3*r = 154, 2*r = -j - 0*r - 84. Let h = j + 271. Is h a composite number?
False
Suppose 3*u + 13075 = 3*x - 19967, -11017 = -x - 2*u. Is x a composite number?
True
Let j(n) = -n**3 - 8*n**2 - 2. Let o be j(-8). Let u be o/(-3) - (-752)/6. Let l = -61 + u. Is l composite?
True
Let j = 43 + -21. Suppose 14*s = 15*s - j. Is s composite?
True
Let t = -29 + 26. Let v(w) = -w**3 - 5*w**2 + 8*w + 8. Let g be v(-6). Is 117 - 4/(t - g) a composite number?
False
Suppose 91*q = 92*q - 3687. Is q prime?
False
Suppose -2*s + 329 = -3*n, -7*s - 133 = n - 3*s. Let u be 0/(1/1) + 172. Let d = u + n. Is d a prime number?
True
Is 1/(-4) - (-5133)/4 prime?
True
Suppose -23 - 7 = -5*y. Suppose -y*l + 24 = -2*l. Suppose 25 - l = c. Is c a composite number?
False
Let s = -8 + -312. Let v(x) = -3*x**2 + 15*x - 13. Let t be v(10). Let c = t - s. Is c prime?
True
Suppose u - 3027 = -2*u. Is u a prime number?
True
Suppose 2*r + z = -11, -z + 2*z + 15 = -3*r. Let d be (-1)/(r + 1)*-393. Let y = d + 258. Is y prime?
True
Suppose 5*s = 19950 + 9115. Is s prime?
True
Suppose 87318 = 3*o + 3*h, -3*o + h + 81905 = -5393. Is o prime?
True
Is (-3 - (6 + 0)) + 17350 a composite number?
False
Let l = -67 + 272. Suppose 0 = 5*x - 10, -4*x + 23 = 3*u - 0*x. Suppose -u*f + l = 10. Is f composite?
True
Suppose -55 = -r + 19. Let b = 223 - r. Is b a prime number?
True
Let q(h) = -6*h**3 + 7*h**2 + 7*h - 1. Is q(-5) a composite number?
True
Let a be (197 - 0)/(5/5). Suppose 58 = -k - a. Let g = 376 + k. Is g a prime number?
False
Suppose 3*m = -3*x + 12, -4*x - 13*m = -12*m - 16. Let n be -898*(-2)/4*1. Suppose -n - 563 = -x*r. Is r prime?
False
Let w(b) = b**3 - 9*b**2 + 2. Let u be w(9). Suppose -u*a = -a + 20. Is 3114/12*a/(-6) a prime number?
False
Let k be 0 - 2 - 9/(-3). Suppose -3*p + 6 = -2*t + 5*t, -p = 0. Is 149 - 0*(k - t) a composite number?
False
Suppose 3*y = 2*s + 4429, -s = -3*y - 4*s + 4434. Is y a prime number?
False
Let p be (2 + -10)*15/(-6). Let f be 51/(-15) - (-8)/p. Is ((-9378)/27)/(2