. Is d a composite number?
False
Let s = -1020 + 1891. Is s a prime number?
False
Let s(r) = r**2 + 5 + 11*r - 2 - 3*r + 2*r**2. Is s(-5) prime?
False
Let p = -22 + 315. Is p a prime number?
True
Is ((-141)/(-12))/(2/16) prime?
False
Let g = 0 + 1. Let z be g/((-6)/(-9))*2. Is 38/2*(z + 0) a prime number?
False
Let h(c) = 2*c - 4. Let m be 1/4 + (-81)/(-12). Let s be h(m). Suppose 15 = 5*n + 5*x, -5*n + 3*x = -s - 5. Is n prime?
True
Let s(u) = 0 - 3*u + 0 + 23*u**2 + 3. Suppose 2*q - 5 = -i, 0 = -0*q + 4*q + 3*i - 11. Is s(q) composite?
False
Suppose -s = -2*c + c + 45, -5*c + 2*s + 237 = 0. Let i = c - 26. Is i/(3*(-3)/(-9)) a prime number?
True
Let c = -2 + 5. Suppose c*k - 24 = -k. Suppose 0 = -5*m - 4*q + 331, m + 5*q = 68 - k. Is m a composite number?
False
Let h(j) = 21*j**3 - j**2 - j + 1. Suppose -5*c + 7 = d - 1, 5*d + 3*c = 18. Suppose 4*f - 5 - d = 0. Is h(f) composite?
False
Let t = 4270 + -2303. Is t composite?
True
Let x = 1477 + -674. Is x a prime number?
False
Suppose -2*c + 1115 = 5*h + 3*c, -5*h + 1115 = 2*c. Is h prime?
True
Let v(u) be the second derivative of u**4/12 + u**3/6 + 2*u. Let z(h) = 3*h**2 - 3*h + 10. Let t(c) = 4*v(c) - z(c). Is t(-11) composite?
True
Suppose -31 = -2*a + 541. Suppose 54 + a = -4*c. Let b = c - -132. Is b a composite number?
False
Let k = -8 + 68. Let x = k + -1. Is x a prime number?
True
Let n = 3599 - 1021. Is n prime?
False
Let m = 31 + -19. Let z = -38 - m. Is 3/(-1 - z/44) prime?
False
Let w = -160 + 287. Is w a prime number?
True
Let b(f) = 48*f**2 + 2*f + 1. Let t(y) = y**3 + 7*y**2 - 7*y + 7. Let u be t(-8). Is b(u) composite?
False
Suppose b - r = -25 + 166, -143 = -b - r. Suppose -4*y + 6*y + 3*k = b, -4*y + 324 = -4*k. Is y a prime number?
False
Let h(o) = 2*o**2 - 4*o + 31. Is h(6) a prime number?
True
Is (38/57)/((-2)/(-2445)) a prime number?
False
Let u(z) be the second derivative of z + z**3 - 5/2*z**2 + 0. Is u(5) a prime number?
False
Suppose -4*x = 2*t - 9089 + 1027, -4*t = 2*x - 4022. Is x prime?
True
Let b = 23 + -15. Suppose 0 = n - d - b, -16 - 3 = -2*n + 3*d. Suppose 0 = -2*j + n*w + 118, -3*w + w + 237 = 5*j. Is j composite?
True
Let q = 255 - 598. Let g = q - -228. Let a = g - -168. Is a a prime number?
True
Let d(n) = -22*n - 5. Let y(x) be the third derivative of -x**4/24 - 3*x**2. Let z(s) = -d(s) + 4*y(s). Is z(8) a prime number?
True
Suppose -5*w + 19 = -31. Let v = w + -6. Is v prime?
False
Let i(r) = 2*r**3 - 3*r**2 + r + 5. Let a(l) = 3*l**2 + 0*l**2 - 5*l + 7 - 2 - 2*l**2. Let o be a(5). Is i(o) a prime number?
False
Let p be 9 + 3 + (0 - 1). Suppose -5*k + 4*k = 0. Let g = p + k. Is g prime?
True
Suppose 0*x = -x. Suppose x = -5*y + 198 - 43. Is y a composite number?
False
Let z = -2 + 10. Suppose 0 = 4*v - 0*v - z. Suppose 0 = -v*w + 55 - 11. Is w composite?
True
Let h(p) = 1162*p - 7. Is h(2) a composite number?
True
Suppose 8*i - 5*i = 2595. Suppose -i = -3*z + m, 5*z + m = -m + 1427. Is z a prime number?
False
Is (-246)/((-2 - 0)/1) prime?
False
Let o(h) = h**2 - 6*h - 4. Let j be (6/(-8))/((-5)/20). Let d be o(j). Let q = d - -80. Is q a prime number?
True
Let z = 1495 - 854. Is z composite?
False
Let m = -3 - -280. Is m composite?
False
Is 1317*((-10)/6 - -2) prime?
True
Let a be (-12 + 14)*5/2. Suppose 3*i + 0*i = 1014. Suppose -a*p + 242 = 4*c - 187, 2*c = 4*p - i. Is p a prime number?
False
Suppose -n + 1401 = 2*n. Is n a prime number?
True
Let o(w) be the second derivative of -w**5/20 - w**4/4 + 4*w**3/3 + 7*w**2/2 + w. Is o(-6) prime?
True
Let d(g) = 4*g**2 - 5*g. Let p be d(4). Suppose 0 = -5*o + 2*o + l + p, 3*l = 2*o - 27. Is o prime?
False
Let l = 62 + -95. Suppose -32 - 160 = 4*t. Let w = l - t. Is w composite?
True
Suppose 0 = 4*n - 12, 0 = -4*w + 6*w + n + 71. Is 10/(-6)*(w - -4) composite?
True
Let s(q) = q**2 + 5*q - 6. Suppose 0 = -2*r + 5*v - 27 - 3, -5*r - v = 21. Let d be s(r). Is 2672/12 - 2/d a composite number?
False
Let u = -6 - -10. Suppose 0*d + 308 = u*d. Is d composite?
True
Let x(n) = 310*n**2 - 19*n - 57. Is x(-4) a composite number?
True
Suppose l = 3*l - 12. Suppose 2*z = l - 0. Suppose z*p - 270 = -p - v, 203 = 3*p + v. Is p a prime number?
True
Let s(d) = -d**3 - d**2 - 17*d - 10. Is s(-7) a composite number?
True
Let l(n) = 6*n**2 + 4*n - 4. Is l(3) a composite number?
True
Suppose -j + 4*r = -197, 5*j + 4*r - 8*r = 1033. Is j prime?
False
Suppose p + 4*j - 116 = 0, 2*p - j + 0*j = 187. Let a = 307 - p. Is a a composite number?
False
Is -1 - (-144 + (-3 - -1)) prime?
False
Let f(i) = -i**3 + 12*i**2 - 8*i + 9. Let j be f(11). Suppose -j = -2*d + 4*l, 4*d - 4*l = -7*l + 106. Is d composite?
True
Let f be (-2)/(-3)*(-6)/(-1). Let y be (-693)/(-12) - (-1)/f. Let m = -1 + y. Is m prime?
False
Suppose 6*k = 7*k. Suppose -j + 3*j = k. Suppose r - 31 = -j*r. Is r composite?
False
Suppose -2*r + 6*r - 172 = 0. Is r prime?
True
Is 764*(-3)/(-6) - 0 a composite number?
True
Suppose -3*z + 4*l + 290 = -339, -2*z + 4*l = -426. Is z prime?
False
Let t(h) = -168*h**2 + 5*h + 6. Let i(r) = -503*r**2 + 14*r + 17. Let u(z) = -6*i(z) + 17*t(z). Is u(-1) a composite number?
True
Let h(y) = -y**3 + 4*y**2 - 2*y + 2. Let t be h(3). Suppose z - 13 = w + 172, 917 = t*z - w. Let l = z - 128. Is l prime?
False
Let h = -15 + 21. Is (-2)/3 + 3346/h a prime number?
True
Suppose r - 2*d - 3269 = 0, 5*r = 3*r - 4*d + 6498. Is r prime?
True
Let m be (-4136)/(-18) - (-4)/18. Suppose -6*f - 97 = 629. Let k = m + f. Is k composite?
False
Let l(d) = d**2 - d - 1. Let w be l(0). Let o be ((-40)/28)/(w/7). Suppose c - 45 = o. Is c a prime number?
False
Suppose -b = 4*a + 21, -3*a + 1 = -2*b - 8. Is b + 11 + 76 + 1 prime?
True
Let u(b) = -b**3 - 3*b**2 - 7*b + 5. Let y be u(-6). Suppose -6*t = -t - y. Is t prime?
True
Let o(m) = -m**3 - 2*m**2 + 3*m + 4. Let b = -11 - -8. Let j be o(b). Is ((-2)/(-3))/(j/222) a composite number?
False
Is (-23)/(-1)*2 - -3 a prime number?
False
Is 81 - 4/(5 + -4) composite?
True
Let p(j) = 87*j + 37. Is p(10) a prime number?
True
Suppose -2*y + 234 = -0*y - 4*z, -592 = -5*y + 3*z. Is y a prime number?
False
Let p = 31 - 64. Let x be -3*(-1 + p/(-9)). Is x/(-20) + (-283)/(-5) a prime number?
False
Suppose 0 = -x + 243 + 314. Is x prime?
True
Is 124/1 - (2 - 1) composite?
True
Let x(q) be the third derivative of -q**6/120 + q**5/10 + q**4/12 - 3*q**3/2 - 4*q**2. Let y be x(6). Is 6/4*50/y prime?
False
Let a = -293 + 144. Let q(w) = -w**3 - 7*w**2 - 3*w. Let t be q(-4). Let i = t - a. Is i a composite number?
False
Suppose -c = -3*q - 423 - 164, -5*c - 2*q = -2935. Is c composite?
False
Let b(k) = -1 - 1 - 9*k**2 + 3 - 2. Let r be b(1). Is 4/r - 1662/(-30) a prime number?
False
Suppose -n = n - 224. Suppose 2 = -2*q + n. Is q a composite number?
True
Suppose 3*y - 4*f - 1172 = -305, -5*f - 578 = -2*y. Is y composite?
True
Let w(f) = 2*f + 1059. Is w(0) a composite number?
True
Let r(o) = -o**3 + 5*o**2 - 3*o + 1. Let m be r(4). Let s(g) = -4*g**2 - 3 - 15*g**3 + 28*g**3 + 3*g - 12*g**3. Is s(m) a composite number?
False
Let k = 4 + -2. Let l = 0 - k. Is 63 - 3*l/3 a composite number?
True
Let f be (-2)/4 - (-326)/4. Suppose -4*j = q - f, -j + 4*j - 3 = 0. Is q a composite number?
True
Let g(z) = 121*z - 8. Is g(7) prime?
True
Let u be (2 + (-3 - 0))*233. Let v be (4/(-1) - -1) + u. Is -1 - ((2 - 2) + v) a prime number?
False
Suppose 4*c - 2*t - 69 - 57 = 0, t = -2*c + 61. Is c a composite number?
False
Let n(s) = 19*s + 1. Let q = -1 - -5. Let d = -1 + q. Is n(d) composite?
True
Let o = 8 - 17. Let h = o + 30. Let w = h - 7. Is w prime?
False
Suppose 16 = -j - 3*j. Let z(b) = 2*b**2 + 5*b + 1. Is z(j) composite?
False
Let f(o) = -o**2 + 9*o - 6. Let h be f(9). Let s be -1 - (-31 + 2 + -1). Let l = h + s. Is l composite?
False
Let d be -1 - 2*(-15)/6. Suppose -17 = -d*a + 75. Is a composite?
False
Let i be 3 + (-1)/((-2)/108). Let s = i + 92. Is s composite?
False
Let y(i) = -2*i**2 + 6*i + 3. Let c be y(7). Let l = c + 180. Is l a prime number?
True
Let h(a) = -69*a**3 + 1. Let g be h(1). Let b = -31 - g. Is b a prime number?
True
Suppose -4*z - 1 = 3. Let m(o) = 163*o**2. Is m(z) a prime number?
True
Let x(m) = -m**2 + 9*m + 5. Let r be x(-10). Is (44/(-55))/(2/r) composite?
True
Suppose 0 = -2*w - 0*w + 4*n + 2080, 4*n = 