). Is s/(-25) - (-1464)/5 prime?
True
Suppose 2*i = 17 - 7. Suppose 0*g + i*g = 655. Is g composite?
False
Let u(o) = -9*o**2 - 3*o + 5. Let j(g) = -g**3 + 14*g**2 + 5*g - 8. Let b(h) = -5*j(h) - 8*u(h). Let w = 0 + 2. Is b(w) composite?
True
Let p be (2 - 4/1)*-2 + -1262. Let b = -9 - p. Is b prime?
True
Let g be ((-36)/(-6))/(6/4). Let m(o) = -o**3 + 4*o**2 + 2*o - 3. Let f be m(g). Suppose -5*h + 360 = f*u, 2*u = h + 187 - 37. Is u a prime number?
False
Let i(s) = s**3 - s**2 - 2*s + 2. Let b be i(0). Is b/((-15)/10*(-16)/4068) composite?
True
Let h(r) = 3*r**3 - 5*r**2 + 2*r - 7. Suppose 3*k - 36 = k. Let a = k - 11. Is h(a) a composite number?
True
Suppose -3*m - 4*j - 1359 = 0, 2*m + 0*j = -3*j - 905. Let v = 1266 + m. Is v a composite number?
False
Let o be 1086/(-9) - 3/(0 - -9). Let j = o + 224. Is j a prime number?
True
Suppose 4*o + 3337 - 11409 = 0. Suppose -26*l - o = -28*l. Is l a prime number?
True
Let a = 249 + -253. Let y(i) = -5*i**2 + 6*i + 6. Let v(n) = -6*n**2 + 5*n + 5. Let u(l) = -5*v(l) + 4*y(l). Is u(a) a prime number?
True
Suppose 0 = -18*q - 16086 - 3966. Suppose -g = 5*n + 21, -2*n = 3*g + 2*n + 8. Is g/(-30) - q/30 composite?
False
Let c(o) = 2*o**2 - o + 0*o**2 + 12 - 3*o + o**2. Is c(5) composite?
False
Suppose 1 = -q, -3*o = 5*q + 306 + 329. Let r be 413 - ((-3)/3 + 1). Let i = o + r. Is i composite?
True
Let h(n) = 29*n**3 + 4*n**2 + 3*n + 5. Suppose 0 = -16*b - 9 + 73. Is h(b) composite?
True
Let b = 4764 + -2372. Suppose 317 - b = -5*x. Is x composite?
True
Let b(q) = q**3 + 12*q**2 - 14*q - 4. Let p be b(-13). Suppose 4*f + 0*m - 2*m = 282, -p = 3*m. Is f a composite number?
True
Suppose -32739 - 23999 = -22*l. Is l prime?
True
Let c(k) be the second derivative of -43*k**4/24 - k**3/6 - 5*k**2/2 + 7*k. Let b(a) be the first derivative of c(a). Is b(-6) composite?
False
Suppose -4*n = -3*c - 16, -n + 2*n - 27 = -5*c. Suppose 3*s + n*x - 1133 = 2*x, -x - 1851 = -5*s. Is s composite?
True
Let u = 217 - 371. Let a be 6/(-3)*69/2. Let i = a - u. Is i a prime number?
False
Suppose -2*c - 48 = -5*c. Let o = c - 12. Is o*(-4)/(-8) - -29 prime?
True
Suppose -b = -3*b - 8. Is (b + 27/6)*830 a prime number?
False
Let p(l) = -l**3 + 46*l**2 + 72*l - 37. Is p(32) a composite number?
False
Suppose f + 21 = 4*f. Let s(d) = 2*d - 7. Let n be s(f). Suppose -n*y + 56 = -3*y. Is y a composite number?
True
Let w(l) = l + 6. Let y be w(-3). Suppose 0 = -6*k + y*k. Suppose -3*c - 15 = 0, n + 5*c = -k*n - 10. Is n a prime number?
False
Suppose -z + 37 + 6 = 0. Suppose 4*v - 3*v = z. Is v prime?
True
Suppose -167*m = -126*m - 947059. Is m composite?
False
Let y(b) = 77*b**2 - b + 3. Let o(u) = 155*u**2 - 2*u + 7. Let r(q) = -4*o(q) + 9*y(q). Suppose 0 = -5*l - 15, 5*l + 2 = p - 11. Is r(p) a composite number?
False
Let p(b) = -283*b - 170. Is p(-7) composite?
False
Let c be ((-209)/33)/(2/36). Let t = 292 + c. Let m = 749 - t. Is m composite?
False
Let c(t) = -196*t - 5. Let a be (-3 - -2)*(14 + 0). Let d be c(a). Suppose -3*s - s = -4*o - 2188, 5*s - 4*o - d = 0. Is s prime?
False
Let z(d) = d**2 + d + 1. Let t = 0 - 0. Let m be (-1 - t) + -4 + 7. Is z(m) composite?
False
Let p(a) = -2051*a + 9. Is p(-2) composite?
False
Suppose 0*f = -4*f + 4776. Is (-1 - f)/((-3)/(2 - -1)) a prime number?
False
Let k = 2 + 3. Suppose -3*l = k*m - l - 1459, 0 = -3*m + 4*l + 865. Suppose b = 878 - m. Is b a composite number?
False
Let j(f) = 267*f - 31. Is j(6) a composite number?
False
Suppose -5*q - 5755 = -10*q. Let f = q + -630. Is f prime?
True
Let y(k) = -k**2 + 2. Let l be y(0). Suppose -5*m + 51 = -r, r - l*m = m - 57. Let j = 8 - r. Is j a prime number?
False
Is (0 - (-16 - 14914)) + -6 + -1 prime?
True
Let d be 4/16 - (-21)/12. Suppose d*r + 3 = 3*r. Suppose r*w - 9 = -6*g + 3*g, -2*w + 12 = 4*g. Is g a prime number?
True
Suppose -1811 = -b + 2*i, 0 = -2*b - 0*b + 3*i + 3625. Is b composite?
True
Let r(c) be the second derivative of -c**5/20 - c**3/6 + 185*c**2/2 - c. Suppose 9*a = -15*a + 6*a. Is r(a) prime?
False
Let o(j) = 42*j**2 - 18*j - 103. Is o(-8) prime?
True
Let v(w) = -w**3 - 3*w**2 + 5*w + 6. Let a be v(-4). Suppose 0*d + a*g - 5022 = -5*d, 2*d - 2024 = 3*g. Is d prime?
False
Let p(f) = 2*f**2 + f - 1. Let x be p(1). Suppose 4*y + 0*y + 5*r - 1292 = 0, 2*y - 644 = -x*r. Suppose 18*c = 15*c + y. Is c prime?
False
Let k(f) = -22*f + 15. Let h(m) = m**2 + 4*m - 2. Let i be h(-5). Suppose 9*d = i*d - 48. Is k(d) a composite number?
False
Let i = 9 + 15. Let f(a) = 2 + i*a**2 - 4 - 4*a + 0*a. Is f(-1) prime?
False
Let f = 46 - 42. Suppose f*h - 1637 = -y, 4*y - 6548 = -3*h + h. Is y composite?
False
Suppose 2*i + 5 = i, -5*t = i - 2975. Suppose -2*a + 1232 = -4*n + 2*n, a = -3*n + t. Is a a prime number?
False
Let c(r) be the first derivative of r**3/3 - 5*r**2 + 6*r - 7. Let v be c(12). Is (950/v)/(2/6) a composite number?
True
Let p be ((-56)/(-35))/(-4*3/(-390)). Suppose 48*f + 6604 = p*f. Is f a composite number?
True
Let q = 4 + -4. Suppose q*d = d - 163. Is d a prime number?
True
Suppose -9 + 13 = 2*y. Suppose 5*a + y*f = 605, 2*a + 4*f = -69 + 327. Is a a prime number?
False
Let f be 24/9 - 6/9. Suppose a - 13 = c, -f*a + 0*a + 56 = 4*c. Is (-9)/(-6)*1164/a prime?
True
Suppose -2*o + 4 = -3*o, c - 76 = 5*o. Let f be 411*(c/12 + -4). Suppose u - 4 = 0, -3*u - f - 372 = -2*a. Is a a prime number?
False
Let k = 384 - 168. Suppose 2*l - l = 5*p + 96, -k = -2*l + 2*p. Is l composite?
True
Suppose -4*w - 12 + 216 = 0. Is (3 - 32)/((-3)/w) composite?
True
Let h(x) be the first derivative of x**4/4 + 7*x**3/3 + 5*x**2/2 - x + 1. Let c be h(-6). Suppose -v = -c*v + 1580. Is v a composite number?
True
Suppose 4*q + 2 + 10 = 0, 4*g - 2*q - 4358 = 0. Is (-3 + g/12)*3 a prime number?
True
Let t = 53 - -72. Suppose -t = m - 421. Suppose -4*y + 2*u + 296 = 0, 3*y = -y + 3*u + m. Is y a prime number?
False
Let t be (-16)/(-104) - (-204)/26. Let z(w) = 19 + 0*w - t*w - w + 3. Is z(-9) a composite number?
False
Suppose 122 + 16 = 3*s + 3*t, 0 = s + 2*t - 50. Suppose 606 = -39*w + s*w. Is w prime?
False
Suppose 0 = 5*p - 10, 5*p = -2*n + 4 + 14. Suppose -3*t - m + 9 = t, -3*t + n*m = -21. Let s = t + 62. Is s a composite number?
True
Suppose 819*q - 825*q + 141342 = 0. Is q a composite number?
False
Suppose 2*d = -2*f + 9544, -3*f + 3 = -0. Is d a prime number?
False
Let q(w) = -8*w**3 - w - 4. Let a be q(-3). Suppose 5*t = 5*n + a, -3*t - 5*n - 23 = -4*t. Suppose 3*k - 241 - t = z, 4 = 2*z. Is k a prime number?
True
Suppose -14 = -3*k - 2. Let z be (-75)/10*k/(-6). Suppose -3*x = z*n - 232, 4*x + 5*n + 84 = 5*x. Is x a composite number?
False
Let h = -57 + 61. Suppose -h*f = 8, -4*v + 241 = -2*f - 3719. Is v a composite number?
True
Suppose 0 = 2*s - k - 1402, 33*k = 38*k. Is s composite?
False
Suppose -8135 = -5*q - 0*q. Suppose -6025 = -4*h - 1841. Let v = q - h. Is v a composite number?
True
Let u = -26 - -26. Suppose 4*b + u - 2 = -3*c, b = -2*c + 3. Suppose 33 = -3*w + 4*q + 228, -2*w + 132 = -c*q. Is w composite?
True
Let d = 185 - 183. Suppose 0*l + 3*l - 6 = 0. Suppose d*k + l*k = -2*h + 524, 655 = 5*k + 5*h. Is k a prime number?
True
Let v be ((-2)/5)/(((-8)/(-90))/(-4)). Is (-3*12/v)/((-2)/339) a composite number?
True
Is 20446*((-18)/(-4) - 4) composite?
False
Suppose 4*i + 14 = x + 3, -5*x = -4*i - 39. Suppose x*u = 6*u. Suppose 6*w - 948 - 840 = u. Is w a composite number?
True
Let b = -109 + 552. Is b a prime number?
True
Let a(k) = 71*k - 53. Is a(36) a composite number?
False
Let u = 9 - 7. Suppose 0*r - 5*r - 3*s + 29 = 0, -6 = -3*r + u*s. Suppose -2*w = -r*o + 626, w - 695 = -4*o - 54. Is o prime?
False
Suppose 7*f - 2*f = 10. Suppose 5*h - 151 = 3*h - 3*v, -172 = -f*h + 4*v. Suppose h = -4*l + 300. Is l a composite number?
True
Is -3 + (3708/24)/((-9)/(-1140)) a prime number?
False
Suppose -2*i = 2*i - 12. Suppose -i*t - 15 = -6*t. Suppose -2*y + t*y = 903. Is y a composite number?
True
Let z = 1024 + -696. Let m = z + 13. Is m a prime number?
False
Let y(m) = m**3 + 10*m**2 + 11*m + 11. Let a be y(-9). Let j = 48 + a. Suppose -196 - j = -3*q. Is q a composite number?
False
Let z(a) = -9*a - 5*a + 145 + 91 + 15*a. Let t be z(0). Suppose t = j - 1665. Is j prime?
True
Suppose 5*n - 25 = 0, -5*n + 26 = -4*z - 143. Let d