, h*x - 524 = 4*s. Is x composite?
False
Let k = 927 - 508. Is k prime?
True
Suppose 678 = 3*v + 69. Is v prime?
False
Let m(s) = s**2 - s + 469. Is m(0) a composite number?
True
Let d = 11 - 8. Let q(y) = 2*y - d + 5*y + 3 - y**2 + 1. Is q(5) prime?
True
Suppose 0*n = n + 2. Let c be (-2 + (-43 - n))*-1. Suppose -72 = -5*f + c. Is f prime?
True
Let j = -961 + 2042. Is j prime?
False
Let l be 78 - (-3 + 4)/1. Let r = l + 61. Suppose 2*w + w - r = 0. Is w a prime number?
False
Suppose 0*u = u + 112. Let o = u - -183. Is o a composite number?
False
Let l = 396 - -455. Is l prime?
False
Suppose -i = f - 5*f - 9515, -9518 = -i + 3*f. Is i prime?
False
Let c = 60 - 30. Let o = -17 + c. Is o prime?
True
Let i = 4360 - 2943. Is i composite?
True
Suppose 2*h = -h + 6. Let x be (h/2)/(2/6). Suppose x*d - 4*c - 239 = 0, -229 - 154 = -5*d - c. Is d a composite number?
True
Let l = -106 - -112. Is l composite?
True
Let y(t) = -16*t - 9. Is y(-5) composite?
False
Let j be (2 + 0)*18/(-4). Let y be (15/j)/((-2)/12). Is ((-52)/y)/((-4)/20) a prime number?
False
Suppose 6*c - 21 = -3*f + 2*c, f = 4*c - 9. Suppose -f*m + 2*m = -4. Suppose -w + 2 = 4, -l = -m*w - 27. Is l prime?
True
Let x = 265 - 54. Is x prime?
True
Suppose 0 = -g + 3*g - 4. Suppose 0 = -g*t + 7*t - 105. Is (-219)/(-7) + (-6)/t a prime number?
True
Let y be 3/9 + 16/6. Suppose 0 = -y*o + 6*o. Suppose o = -b - b + 14. Is b prime?
True
Suppose 1031 = -i + 5*i - x, 4*i = 5*x + 1011. Is i prime?
False
Let i(k) = -k - 1. Let h be i(-4). Suppose h*m = -2*m + 65. Is m prime?
True
Let i(p) = -2*p + 9. Let t be i(6). Let u(w) be the first derivative of w**2/2 + 6*w + 1. Is u(t) a composite number?
False
Let z be -1 - (-1 - 1*-2). Let p(d) = 17*d**2 + 1. Is p(z) prime?
False
Suppose f = 3*b - 13, 7*f - 3*f + 7 = 3*b. Let c = 6 - f. Suppose -c*v = -6*v + 158. Is v prime?
True
Suppose -5*j + 5 = -g, -2*g - 3 = -3*g + 3*j. Let a(b) = g*b - b + 11*b. Is a(1) prime?
False
Let b = 197 - 309. Let f = b + 579. Is f a prime number?
True
Let l(f) = f**2 - 4*f + 6. Let g be l(4). Let z(i) = 2*i**2 + i + 1. Is z(g) prime?
True
Let h = -6 + 2. Let i(v) = -v**3 + v**2 - 3. Is i(h) prime?
False
Let o(x) = -3*x**2 - x + 5*x - 3*x**2 + 8. Let l be o(6). Let q = l - -395. Is q composite?
False
Is (-1 - -4 - 2)*631 a prime number?
True
Let w be 1 + -5*(-1 + 0). Let s be 1070/w - 9/27. Let a = s + -45. Is a composite?
True
Let h(d) = -47*d**3 - d**2 + 2*d + 1. Let f be h(-2). Let v = -221 + f. Suppose 4*l - v = -8. Is l prime?
False
Suppose 4*i - 57 = 83. Is i composite?
True
Suppose -9*j - j = -3140. Is j a prime number?
False
Let r be 2 + 6/(-4)*8. Let n be (-1611)/(-15) + 4/r. Suppose -4*i = -4*l - 76, -5*i + 0*i + l = -n. Is i composite?
True
Let r be ((-4)/(-5))/((-8)/(-40)). Suppose 5*b - 5*h - 30 = 0, -b - 10 = r*b + 5*h. Is (-1)/((b/118)/(-1)) prime?
True
Let m be 3*(-3)/18*-178. Suppose 3*c = 292 + m. Is c composite?
False
Let y(n) = -n**3 + 9*n**2 + 11*n - 8. Let j be y(10). Is (-2)/(j/(-291)*3) composite?
False
Suppose 0 = -2*r + r + 12. Suppose 2*n = -2*f + r, -f - 4*n = 2*f - 23. Suppose 5*w = -5*o + 295, o + 2*w + f = 60. Is o composite?
False
Let k(n) = 47*n**2 + 2*n + 2. Is k(-1) composite?
False
Suppose -112 = -4*j + 2*j. Suppose 0 = 4*x - 0*x - j. Is x a composite number?
True
Suppose -3*f + 72 = -15. Suppose 432 - f = 4*v + 3*c, -3*v - 5*c = -316. Is v a prime number?
True
Suppose -3*o - 4936 = -2*a + 2*o, -5*o - 12325 = -5*a. Is a prime?
False
Suppose -3*q - 9 = -4*q. Suppose i = -4*t + 9, -10 = -i + 4*t - q*t. Suppose r = 3*w + 40, i*r - 260 = -w + 4*w. Is r composite?
True
Let u(d) = -d**3 - 18*d**2 - 3*d - 9. Is u(-20) composite?
True
Suppose -5*l = 2*n - 1287, -3*n - 5 = 7. Is l a composite number?
True
Suppose 0*b - b = -18. Suppose 4*h - 157 = -c - b, -5*h + 10 = 0. Is c a composite number?
False
Let w(b) be the third derivative of b**4/6 + 13*b**3/6 - b**2. Is w(9) composite?
True
Suppose 0 = -q, -3*q = -4*l - 85 + 2529. Is l a prime number?
False
Let o(f) = -f**3 - f**2 + f + 1. Let s be o(-2). Suppose s*j = j + 254. Is j a prime number?
True
Suppose -4*i - 5*g = -20, -g + 3 = i - 1. Suppose i = 5*w - w + 8, -4*c + 242 = -3*w. Is c prime?
True
Let t(f) = f**2 - f. Let j be t(1). Suppose j = -4*k - k - 535. Let h = -28 - k. Is h a prime number?
True
Let o = -2662 + 3875. Is o a prime number?
True
Suppose 2*u + u = -1167. Let j = u + 178. Let d = j + 296. Is d prime?
False
Is (2*1538/4)/1 a prime number?
True
Suppose -516 = -5*g + 2*g. Is ((-7)/4)/((-1)/g) composite?
True
Suppose 2*a + 3*a - 5*j + 55 = 0, 4*a = -3*j - 79. Let x = a - -95. Is x a composite number?
False
Let q be 112 + -2*(0 + -1). Let l(a) = 15*a**2 + 2*a - 4. Let k be l(5). Suppose 3*f - k = -q. Is f prime?
True
Let a = 5 + -3. Let c(w) = 3*w**a - 5*w - 2*w - w**2. Is c(-5) composite?
True
Let n(a) = -2*a**3 + 2*a + 591. Let t(p) = p**3 - p - 296. Let c(q) = 3*n(q) + 5*t(q). Is c(0) a composite number?
False
Suppose 6*v - 3*v = 6. Suppose 0 = p + k - 16, -5*k = v*p - p. Let u = p - 6. Is u prime?
False
Let k(q) = -72*q + 7. Is k(-7) prime?
False
Let w = 519 + 182. Is w a composite number?
False
Suppose -4*j = m - 50, 3*j + 0*m - 40 = -2*m. Let t be (-4)/j - 139/(-3). Suppose -t = 2*f - 272. Is f composite?
False
Let b = -17 - -70. Is (-4)/(-2 + 104/b) a prime number?
False
Suppose -6*w + 5*w = -3. Suppose -w*c + 0*c = -114. Is c prime?
False
Suppose 3 = -3*c + 3*o, 7*o - 3 = c + 4*o. Suppose 3*m - 459 + 78 = c. Is m a composite number?
False
Is 4/(-8)*(-615 + 1) a prime number?
True
Suppose -4*i + 13 = 5. Suppose -3*x + 217 = -i*x. Is x composite?
True
Let k = 267 + -62. Is k a composite number?
True
Let o be ((-15)/(-25))/((-1)/(-5)). Suppose -3*k = j, -2*k = o*j + 2*k + 5. Is (3/j + -37)/(-2) prime?
True
Suppose w + 4*w = 305. Suppose -2*c + 3*u + 39 = 0, -4*c + 2*u + w = -c. Is c a prime number?
False
Let c = 7 - 12. Let q be c + 2 + 15/3. Suppose -5*s - 62 = -4*v, s = q*s + 2. Is v a composite number?
False
Let n = 142 - 234. Let x = n + 184. Suppose -m - m + x = 0. Is m prime?
False
Let n(z) = -3*z**3 - 6*z - 13. Let w(m) be the second derivative of -m**5/20 - m**3/3 - 2*m**2 + 2*m. Let c(a) = -2*n(a) + 7*w(a). Is c(-2) composite?
True
Let g = -8 + 15. Let p = g + -4. Suppose 2*b - 3*z + 0*z - 325 = 0, 0 = -p*b + z + 484. Is b a prime number?
False
Let x be (-6 + -3)*3/1. Let i = 8 - x. Is i a prime number?
False
Suppose 26 - 1 = 5*i, s + 3*i = 17. Suppose -4*y = s*f, -f + y = 4*f. Suppose f = 4*a - 30 + 2. Is a a prime number?
True
Suppose 3*n + h - 4*h = 2154, 2*h = -3*n + 2179. Is n prime?
False
Let q(w) = -191*w. Is q(-11) a composite number?
True
Let v be 16 + (1/(-1) - 0). Suppose u + 10*c = 5*c + 10, -2*u - 5*c = -v. Suppose 4*o = -o - 15, 5*j - 385 = u*o. Is j a prime number?
False
Let j = 3577 + -2426. Is j a composite number?
False
Suppose 241 = 3*n - 137. Suppose -3*q + n + 33 = 0. Is q composite?
False
Let z(c) = 83*c**3 + 2*c**2 - c. Let y be z(1). Let i = 137 - y. Is i composite?
False
Let d(p) = 6*p**2 - 2*p + 1. Is d(2) a prime number?
False
Let m(a) = -a**2 - 2*a + 2. Let q be m(2). Is 1839/q*(-2)/1 prime?
True
Suppose 4*z + x - 7 - 13 = 0, -3*z - x + 15 = 0. Suppose r + 25 = 2*k + 3*k, 20 = z*k - 2*r. Is 116/k - 1/3 composite?
False
Let b(j) = 15*j + 4. Let q(y) = 46*y + 12. Let u(l) = -8*b(l) + 3*q(l). Is u(3) a composite number?
True
Let h = -1 - 6. Let n(l) = l**2 + 5*l + 5. Is n(h) composite?
False
Let h be ((-136)/16)/(2/(-92)). Suppose 5*i - 2*b - h = 0, 5*i + b - 397 = -0*b. Is i a composite number?
False
Suppose -3*n - m = -2*n, -2*m = -n. Suppose n = -3*k + k + 20. Let c = k - 0. Is c composite?
True
Suppose -2*y + 10 = 2*g, 2*y - 6*g + 10 = -3*g. Suppose 5*i - 1705 - 2355 = 0. Is (2 - y)/(4/i) a composite number?
True
Let p be (-2)/5 + 22/5. Let v = -28 + 29. Suppose -p*d = v - 17. Is d a composite number?
True
Let r(n) = -13*n + 17. Let l(w) = -40*w + 50. Let k(o) = 6*l(o) - 17*r(o). Is k(-8) prime?
True
Suppose 0 = x + 3*i - 517, -3*i - 485 = -x + 2*i. Is x prime?
False
Suppose -d + 0*w + 4*w - 21 = 0, 0 = 2*w + 4. Let b = d + 64. Is b composite?
True
Let o(u) = u**3 + 4*u**2 - 9*u - 9. Let m be o(-6). Let j = m + 158. Is j a prime number?
True
Suppose 3*h + 137 - 710 = 0. Suppose -4*r = z 