. Let j be (1 - r) + (-1 - -3). Suppose -2*p + p = j*w - 68, 2*w - 3*p - 38 = 0. Is w composite?
True
Suppose 2*r + 0*r - 999 = -3*k, 0 = 3*r - 5*k - 1508. Is r prime?
False
Let o(v) = -v**3 - 4*v**2 - 3. Let k be o(-3). Let l = -9 + 4. Let t = l - k. Is t composite?
False
Let j be (1 + -1 + -1)/(-1). Let s(c) = 79*c. Is s(j) composite?
False
Let q(m) = -102*m - 13. Is q(-3) prime?
True
Let f be 2*((-3)/(-6) - -1). Suppose -l = f*l - 76. Is l composite?
False
Is (-644)/(-5) + (-4)/(-20) - 2 a prime number?
True
Suppose -h - 4*h = f - 2237, -4474 = -2*f + 4*h. Is f composite?
False
Let l(c) = 8*c - 18. Let m be l(8). Let v = m - 25. Is v a composite number?
True
Let q be (2 - (52 + -3))*1. Let x = -25 - q. Is x a composite number?
True
Let p(n) be the second derivative of -9*n**5/10 - n**4/12 + n**3/3 - n**2/2 + 3*n. Let z be p(1). Let t = 44 + z. Is t a prime number?
False
Is 745/(-20)*-2*2 composite?
False
Let c(r) = 2*r - 2. Let y be c(5). Suppose -p + y = -17. Is p a prime number?
False
Suppose n = -2*d - n + 40, 0 = -2*d + 2*n + 20. Suppose -2*t - d = -5*t. Suppose -t*j + 4 = -4*j. Is j prime?
False
Suppose 5*p - 296 = 3*v - 3275, -p - 2979 = -3*v. Suppose -s - v = -3*i, 0*s - 4*s = 3*i - 993. Is i a prime number?
True
Let g(n) = 22*n + 7. Let i = 2 - -5. Is g(i) a composite number?
True
Suppose 0 = -9*y + 4*y + 15. Suppose 102 = y*w + 3*z, 36 = w + 3*z - 4*z. Is w composite?
True
Let n = 348 + -189. Suppose 0 = -3*v - 3*c + n, 4*c - 267 = -5*v. Is v prime?
False
Let v(s) = 4 + 6*s + 3 - s**3 + 5*s**2 - 1. Let p be v(6). Is ((-92)/p)/(2/(-15)) composite?
True
Suppose t - 56 = -3*t. Let g = t + -8. Let v = -3 + g. Is v a composite number?
False
Let s be 4*(-3)/(-18)*3. Suppose p + s*p = 3*i + 177, -2*p + 118 = 5*i. Is p a composite number?
False
Suppose 1055 = 6*z - z. Is z prime?
True
Let a(c) = 2*c**2 - 12*c + 13. Suppose 2*m = 4 + 14. Is a(m) composite?
False
Let x(d) = 9*d**2 - 15*d + 5. Let z(r) = -r**2 + r. Let n(k) = x(k) + 6*z(k). Is n(11) a composite number?
False
Suppose -3*p - 4*i + 18 = -i, i - 2 = p. Suppose 0 = -p*l - 8, n + 4*l = 21 + 374. Is n a composite number?
True
Let b(f) = -90*f**2 + 4 + 180*f**2 - 87*f**2. Let y = 13 - 18. Is b(y) prime?
True
Let w(m) = 11*m + 28*m - 14*m + 17*m - 2. Let h be w(2). Let s = 159 - h. Is s a composite number?
True
Let c = 204 + -43. Is c a prime number?
False
Let x(a) = -a**3 + 5*a**2 + 4*a + 6. Let k be x(6). Let t be (3/k)/((-2)/288). Suppose 4*d + 12 = t. Is d prime?
False
Suppose 4*v - 3*u + 2 = -8*u, -2 = u. Suppose 2 = 2*r, -1 = 2*s - v*r - 7. Suppose 47 = s*m - 29. Is m composite?
False
Suppose 2*t + 1740 = 5*c - 1455, 5*c + 2*t - 3215 = 0. Suppose -h = 2*h + 882. Let q = h + c. Is q composite?
False
Let n = -2506 + 3545. Is n a composite number?
False
Suppose 0 = p - 2272 + 675. Is p composite?
False
Is (-3538)/(-12) - 8/(-48) prime?
False
Let n = 790 + -107. Is n composite?
False
Let v(w) be the first derivative of -7*w**2 + 3*w - 1. Let d be v(-3). Suppose -6*a = -4*a + n - d, -5*a - n + 114 = 0. Is a prime?
True
Let b(o) = 9*o + 2. Let t be b(1). Is 2/t - 69975/(-99) a prime number?
False
Let i = 1 + 4. Suppose 85 + 20 = i*l. Is l a prime number?
False
Suppose -3*m - 148 = -7*m. Suppose 4*o - 7 - m = 0. Is o prime?
True
Suppose 0 = 5*x - 2*x - 9. Let q(d) = d**2 + 4*d - 6. Let n be q(-5). Let g = n + x. Is g a composite number?
False
Suppose 705 = 5*c - 410. Is c prime?
True
Suppose -p = -5*b - 678, -b + 2050 = 3*p - 0*p. Is p a prime number?
True
Let y(f) = -f**2 + 11*f + 5. Let p be y(5). Let b = p - 16. Is b a composite number?
False
Let x be (-1 + -1)/(1/(-4)). Let l(m) = 6*m + 2 + 0*m - 12. Is l(x) composite?
True
Suppose 0*d + 10 = 2*d. Suppose -d*k + 1360 = -k. Suppose -72 = 4*j - k. Is j composite?
False
Suppose 4 = x, r + r + 5*x - 36 = 0. Let u be (-10)/r*(-24)/2. Is u + 0/1 + -2 prime?
True
Let r(o) = -3*o**2 + 2*o - 11. Let a(k) = -k**2. Let j(t) = -6*a(t) + r(t). Is j(5) a prime number?
False
Let y = -38 - -87. Is y prime?
False
Let o = 9 + -15. Let z = -8 - o. Let p = z - -4. Is p a prime number?
True
Let a(g) = 267*g + 8. Is a(2) a composite number?
True
Suppose 2*y + 0*g - 17 = -3*g, 2*g = 5*y - 14. Is 2824/6 + y/12 a prime number?
False
Let l = 21 + 58. Is l a prime number?
True
Let h = 1169 - 496. Is h a prime number?
True
Suppose -2*p + p + 4*g + 573 = 0, 2*g = -4. Is p a prime number?
False
Suppose 5*j + 4 + 6 = 0, -3*m - j = 32. Is 2006/(-85)*m/4 prime?
True
Let m(w) = w**2 - 5*w - 4. Let y be m(6). Suppose 4*o - 10 = 4*z - y, 4*z + 11 = 5*o. Suppose -8*c = -o*c - 170. Is c a prime number?
False
Suppose -6*x = 3*n - 2*x - 632, -3*x = 2*n - 420. Let h = 307 - n. Is h prime?
False
Suppose -3*d + 63 = h, 7*h = 3*h + 5*d + 167. Let b = h + -29. Is b a prime number?
True
Let o(s) be the second derivative of 7*s**4/3 - s**3/3 - s**2 + 2*s. Let v be o(2). Suppose -2*h = 2*g - 23 - 201, h + 3*g - v = 0. Is h composite?
True
Let k(t) = 36*t - 1. Is k(5) a composite number?
False
Let l(c) = -c**2 + c + 1. Let a(y) = -y**3 + 2*y + 4. Suppose -3*f - 6 - 3 = 0, 2*i = -5*f - 9. Let q(b) = i*l(b) - a(b). Is q(4) composite?
False
Let d(x) = -4*x**3 + 8*x**2 + 4*x + 8. Let y(p) = 5*p**3 - 9*p**2 - 4*p - 9. Let w(g) = -4*d(g) - 3*y(g). Let s = -2 - -8. Is w(s) prime?
True
Let t(i) = 17*i**2 - 2*i - 2. Let m be t(2). Let o = m + -9. Is o a prime number?
True
Let j(i) = i**3 + 7*i**2 - 2*i - 1. Let x(y) = -2*y + 6. Let p be x(7). Let l(q) = -q - 14. Let z be l(p). Is j(z) a composite number?
False
Let q(b) = -b**3 - 13*b**2 + 11*b - 7. Is q(-14) prime?
False
Let d(i) be the first derivative of -i**4/4 - 7*i**3/3 - 3*i**2 + 8*i + 3. Let w be d(-6). Is (-74)/w*(-24)/6 prime?
True
Suppose i = 10 + 45. Let m = -21 + i. Is m a prime number?
False
Suppose 2*s - 2605 - 1485 = 0. Is s a composite number?
True
Suppose -5*i - o = -302 + 118, -2*i = 4*o - 70. Is i a composite number?
False
Let o = 3 - 7. Is (-107)/(-7) - o/(-14) composite?
True
Suppose w + 0*w = 1. Let q be (0 - -1) + w + 1. Suppose 3*y + 0 = -q, -3*y - 13 = -c. Is c prime?
False
Suppose 0 = 2*b + 3*s - 1790, -4*s + 6*s = b - 895. Is b prime?
False
Let n(j) be the first derivative of 13*j**5/20 - j**4/12 + j**3/6 + j**2 - 2. Let h(l) be the second derivative of n(l). Is h(1) a prime number?
False
Let b be (277/(-3))/((-5)/15). Suppose -3*s - c + 166 = 0, -3*s - 2*s - 2*c = -b. Is s composite?
True
Suppose -z - p = -0*z - 6, p = z - 6. Suppose z*o - 1030 = o. Is o a prime number?
False
Let f = 2 - 7. Let i be 2/f*5/1. Is 3/i*188/(-6) a prime number?
True
Let p(h) be the third derivative of h**6/40 + h**5/60 + h**4/8 - h**3/6 + 8*h**2. Is p(2) a composite number?
True
Let x(f) = f**3 - 11*f**2 - 4*f + 11. Let z(q) = q**3 - 11*q**2 - 3*q + 11. Let s(l) = -5*x(l) + 6*z(l). Is s(11) prime?
False
Let h(b) be the first derivative of -b**3/3 - b**2/2 + 5*b + 2. Let a be h(0). Suppose 12 = -3*z, -a*u - z - 4 + 325 = 0. Is u a prime number?
False
Let u(n) = 4*n + 4. Let i be u(-10). Let m = 51 + i. Is m a prime number?
False
Suppose -5257 + 301 = -12*y. Is y composite?
True
Suppose 4*k + 2743 = 3*n + 9*k, -n + 5*k = -901. Is n prime?
True
Let h(f) = f + 1. Let b(x) = -x**3 + 3*x**2 - 3*x + 2. Let i be b(2). Let m be h(i). Is 41/1 - 2/m a composite number?
True
Suppose 0*t + t = -3. Let c be (0 - (-2 - t))*-5. Suppose -c*z + 0*z = -290. Is z prime?
False
Let i(n) = -n - 3. Let l be i(-7). Let c(q) = 4*q**2 - q + 7. Is c(l) a prime number?
True
Suppose -2*l + 3*l = 353. Is l a composite number?
False
Suppose 4*w + i = 1003, w - 252 = -2*i + 3*i. Is w a composite number?
False
Let s = 11 + -6. Suppose 3*j = s*j. Suppose t + 0*t - 59 = j. Is t composite?
False
Suppose -f + 9 = -18. Let g(b) = f*b + 6 - 3 - 1. Is g(3) composite?
False
Suppose 103 = -m + 27. Let j be m/3*(-63)/(-6). Let y = j - -399. Is y prime?
False
Let k be (27/(-18))/(2/(-4)). Suppose 2*d - 12 = 4*v, k*v = d + 3 - 14. Let w(q) = q**3 + 5*q**2 - 3*q - 1. Is w(v) a composite number?
True
Let s = -6 + 9. Suppose j - s - 1 = 0. Suppose -3*n - j*u + 83 = 0, 5*n - 2*u - 36 = 85. Is n prime?
False
Suppose 0 = p - 17. Suppose 2*q = -8, 0*g = g - 3*q - p. Suppose -69 = -2*m + g*i, -2*i - 2*i - 86 = -3*m. Is m a composite number?
True
Let x = 77 + 1. Suppose -x = -3*c -