. Is s composite?
True
Let v(k) = 9*k - 10. Let x = 36 - 16. Let u = x - 13. Is v(u) a prime number?
True
Let i be 10/35 + 4/(-14). Let s = 2 - i. Suppose -3*r = -5*r - s*j + 164, -5*r - 3*j + 416 = 0. Is r prime?
False
Let v be (12/8)/((-9)/(-12)). Suppose l + v*g = 151, 2*l - 4*g - 135 - 159 = 0. Is l a composite number?
False
Is (-11813 - -1)*5/((-100)/85) a prime number?
False
Let l be (-9)/(-12)*-2*-2. Suppose 0 = o, -1344 - 1419 = l*a + 4*o. Is 3/2 + a/(-6) a prime number?
False
Let h be ((-16)/20)/(2/25). Let i = h + 47. Is i a prime number?
True
Suppose 4*g = -5*j + 14, -3*j + 5*j = -5*g + 9. Let h be (0 - (-170)/j) + 2. Suppose 0*s = -4*k + 2*s + 334, 0 = -k + 4*s + h. Is k composite?
False
Let m(a) = a + 5. Let k(s) = s**2 - 2*s - 3. Let y be k(3). Let u be m(y). Suppose u*i - 977 = -x, -4*x + 2*x - i + 1936 = 0. Is x a prime number?
True
Suppose -11*c = -9*c - 40. Suppose -5*v + 8 - c = -4*r, 4*r + 2*v = 40. Is 95 + (-7)/((-28)/r) composite?
False
Let o(v) = 421*v**2 - 4*v + 45. Is o(6) prime?
False
Suppose 0 = 10*h - 7*h - 15. Suppose 5*z + 3*g = -g + 1259, h*g = 4*z - 999. Is z a prime number?
True
Let d(h) = -31*h + 17. Let q(o) = o**2 + 3*o - 9. Let n be q(-4). Let l(m) = 3*m + 9. Let v be l(n). Is d(v) a prime number?
False
Let j = 8 + -4. Suppose 4*q - 1349 = u, 3*q - q - 672 = -2*u. Suppose 3*s - q = 2*m, 0 = -5*s + j*m - m + 560. Is s a prime number?
True
Suppose -10*t = -406260 - 114070. Is t a composite number?
True
Let d(h) = h**3 + 30*h**2 + 27*h + 29. Let o be d(-15). Suppose 5*g - 2*g - o = -5*l, 0 = g + l - 999. Is g a prime number?
False
Suppose -28*d = -d - 102735. Is d a composite number?
True
Let z(c) = -3*c**2 + 5*c. Let w(i) = 5*i**2 - 9*i - 1. Let h(x) = 4*w(x) + 7*z(x). Let t be h(0). Is (3 + 191)*(-2)/t a composite number?
False
Let z(t) = 0*t - t + 8*t**2 + 4 - 2*t. Let y = 163 + -160. Is z(y) composite?
False
Suppose 4 - 2 = 2*w. Suppose s - 14 = 3*m, 0*m = -m - w. Suppose s = j + g, 4*g + 73 = 8*j - 3*j. Is j composite?
False
Suppose -l = -5*q + 10793, 0*l + 6479 = 3*q + l. Is q a prime number?
False
Suppose 48 = -2*u - 0*u. Is (-2)/(-5) - u/(-10) - -255 a composite number?
True
Suppose 10119 = -7*b - 983. Let t = 2525 - b. Is t composite?
False
Let c = -47 + 49. Suppose 2*b = -b + q + 2209, c*q - 741 = -b. Is b a prime number?
False
Let f(n) = 56*n**2 + 15*n + 125. Is f(-8) prime?
False
Let y be (10/8 + 2)*16. Suppose 0 = o - r + y, o = 2*o + 4*r + 32. Let u = 70 + o. Is u a prime number?
False
Let y = -517 + -1171. Let n be (15 - -1)/4 - y. Let f = n + -1207. Is f a composite number?
True
Is ((-30198)/(-63))/(8/156) prime?
False
Suppose 2*g + h - 13 = 0, 0*h = -3*g + 3*h - 3. Suppose 0 = -g*c + 2*c + 1754. Is c prime?
True
Let b be 2/5 + (-132)/(-20). Suppose b*f = -2*f + 315. Is f prime?
False
Suppose 5*j = -4*n + 57, -2*j = -5*n + j + 25. Suppose -1330 = -n*u - 2*u. Is u a prime number?
False
Let g(h) = 35*h**2 - 97*h + 335. Is g(41) a prime number?
False
Suppose 2*q = 3*q - 386. Suppose 131 + q = b. Is b prime?
False
Let p be 1 + (1*-15)/3. Let d(u) = 19*u**2 + 3*u - 5. Is d(p) a composite number?
True
Let d = -41 - -50. Suppose -2*q - 8 = 2*b, 5*b - 2*q + 0 - 15 = 0. Is 228 + b - (5 - d) a prime number?
True
Let g(l) = 25533*l - 40. Is g(3) a prime number?
False
Suppose -3*v = -5*a + 3366, -4*v - v + 1334 = 2*a. Suppose 0*h + 5*z - 14 = h, -4*z = -4*h + 24. Let d = h + a. Is d composite?
False
Let h(b) = 936*b + 65. Let i(c) = -85*c - 6. Suppose 5*u + 5*z + 15 = 0, z - 3*z + 36 = -5*u. Let f(k) = u*h(k) - 65*i(k). Is f(-1) a prime number?
False
Let r be (-3)/(-3 - (-48)/20). Suppose 2*v - 11 = -5*l, 0 = -4*l - r*v - 0*v + 2. Suppose 0 = 4*c + 4*y - 2720, -l*c = 2*c + 4*y - 3397. Is c composite?
False
Let y = 76 + -76. Suppose y = -w + 157 - 54. Is w a prime number?
True
Suppose -w + 47 = -15. Let p = -7 + w. Is p a composite number?
True
Let l = 168 + -163. Suppose 5680 + 5151 = 3*k + 2*c, -l*k + 5*c = -18010. Is k a prime number?
True
Suppose -4*y - 613 = -6757. Let t = -659 + y. Is t composite?
False
Suppose 2*j + 3*l - 1725 = 0, 3415 = 7*j - 3*j - l. Let q = j + -606. Is q prime?
False
Let z(a) = -4*a + 101. Is z(-8) a prime number?
False
Suppose -329 = -f - 1070. Let o = 2636 + f. Is o a prime number?
False
Let b be 217 - (-3 + 0 + -2). Suppose 5*h + 2*x = 1117 - b, 0 = -h + x + 179. Is h prime?
True
Let v = 934 - 142. Suppose v = 4*j + 44. Is j a composite number?
True
Suppose 374*j + 12 = 378*j. Let i(f) = f**3 + 5*f**2 + 3*f - 4. Let n be i(-3). Suppose 0 = 3*b - s - s - 2013, n*b = j*s + 3354. Is b a prime number?
False
Let s(u) = -1184*u**3 - 7*u. Let c(l) = 2367*l**3 + 15*l. Let i(t) = 6*c(t) + 13*s(t). Is i(-1) a prime number?
False
Let w be 2/(4 + 0)*-4. Let q(s) = -25*s + 24*s - 2 - 55*s + 3. Is q(w) a composite number?
False
Let p(s) = 165*s**2 - 18*s - 424. Is p(-17) a composite number?
True
Suppose 7*z + 6*z - 159731 = 0. Is z composite?
True
Let d = 5276 - -3215. Is d prime?
False
Let b be (2664/32)/(3/40). Let f = b + -419. Is f prime?
True
Suppose 7*o = 82 + 2578. Suppose 85 - o = -r. Is r a composite number?
True
Suppose -8*p + 227241 = p. Is p prime?
False
Suppose -2*r + 20*u + 12 = 16*u, -3*r - 15 = 5*u. Suppose r = -p + 166 + 121. Is p prime?
False
Let s = -858 + 1301. Is s prime?
True
Let q(d) = -2*d**2 - 2*d. Let r be q(-1). Suppose -3*w - 2*h + 15 + 96 = r, 4*w = -h + 148. Is w a prime number?
True
Suppose 26612 = 2*q + 3*l, -4*q + 19139 + 34105 = -4*l. Is q a composite number?
False
Let s = -22 - -30. Suppose -2*p - s*p = -190. Is p a composite number?
False
Let b = 133 - 57. Let u = b + -37. Is u composite?
True
Let b be (9 - 1)*2/4. Suppose -2*o = -b*z - 4, o - 2*z - 2 = -3*z. Suppose 0 = -o*u + 551 + 35. Is u a composite number?
False
Suppose -3*p + 6*p - 4964 = -f, 3*f + 2*p - 14927 = 0. Is f a prime number?
False
Is (-5)/((-211310)/(-35222) - (1 - -5)) composite?
True
Suppose 188*z - 8 = 186*z. Suppose 0 = -o + 3*p + 24 + 43, -3*p = 4*o - 208. Suppose -z*i + o = i. Is i a prime number?
True
Let m be -2*(2 - (-7)/(-2)). Suppose 902 = m*o + 3*q - 2959, -4*q = -o + 1307. Is o prime?
True
Let q(o) = o - 21. Let z be q(18). Let v be z*(-8)/(-12) + 2. Let f(l) = -l**3 + 681. Is f(v) a prime number?
False
Let n(a) = -40*a + 11. Let f(k) = k**2 + 2*k. Let g be f(-2). Suppose -5*u - 19 - 26 = g. Is n(u) a composite number?
True
Suppose -2*i + 12 = 2. Suppose 4*o + 0*y - 4*y - 1452 = 0, -i*o + 1831 = -y. Is o composite?
False
Suppose -27 = -5*m + 4*d, 30 = 3*m + 2*m - 5*d. Suppose -u = 3*x - 1612, -5*x + 2688 = 4*u - m*u. Is x prime?
False
Let h be (-1)/((-6 - -4)/(-2658)). Let s = h + 2672. Is s a prime number?
False
Suppose -4*u - 3*y + 49 = 0, -2*u - 3*y + 39 = 10. Let b(m) = -4*m**2 - 2*m + 1. Let i(h) = h**2 + h - 1. Let j(l) = b(l) + 6*i(l). Is j(u) a composite number?
True
Suppose -588 = -3*h + 5349. Is h prime?
True
Let w(r) = -2236*r - 24. Let u be w(-3). Let g = 2977 + u. Is g a prime number?
True
Let w(u) = 6*u**3 + 8*u**2 + 19*u - 19. Is w(10) a prime number?
True
Let w = 11 - 20. Let r = -7 - w. Suppose n = r*n - 157. Is n a prime number?
True
Let m = -581 - -2238. Is m prime?
True
Let d(b) = 5329*b**2 - b. Let c be d(1). Suppose y = -x + c, 0 = -0*x + 3*x - 4*y - 16019. Is x a prime number?
True
Let n = 29 + -32. Let r(w) = -21*w**3 - 5*w**2 + 5. Is r(n) a composite number?
True
Let b(v) = -v**3 + 9*v**2 - 3*v + 21. Let u be b(9). Is 1725/9 + 4/u prime?
True
Let f = -99 - -188. Let i = f + 1080. Is i composite?
True
Suppose 0 = 3*u + 2 + 7, 4*h + 4*u - 8 = 0. Suppose -h*t - 20 = -t, n = 3*t + 266. Is n prime?
True
Let s be (2/4)/(3/870). Suppose -25 = 5*x, -2*x = 2*f + s + 61. Let p = 165 + f. Is p a composite number?
False
Let j(u) = 68*u**2 - 5*u - 4. Suppose 16*o = 13*o + 15. Is j(o) prime?
False
Let z(r) = r**3 - 15*r**2 + 52*r + 9. Let c be z(9). Let m(h) = 2*h**2 - 2 + 13*h - h + 0*h**3 - h**3. Is m(c) prime?
False
Let n(d) = 130213*d**2 + 17*d - 1. Is n(1) prime?
False
Suppose -107*c = -87*c - 1200740. Is c a prime number?
True
Suppose -2*y + 3*p + 4 = 3*y, -2*y = 3*p - 10. Suppose y*j = -0*j. Suppose j*q - 3*q + 2*u = -887, 3*q = -3*u + 867. Is q a composite number?
False
Let g = -3724 - -2368. Let x = -389 - g. Is x composite?
False
Suppose 0*m - 4 = 