 w(c) = 35*c + 3. Let k(d) = 173*d + 16. Let q(n) = 2*k(n) - 11*w(n). Let g(m) = m - 2. Let b be g(0). Is q(b) a composite number?
True
Suppose q - 7 + 2 = 0. Suppose 2*n + 3*x = -0*x + 23, q*x = -n + 29. Suppose 3*v - n*v + 1171 = 0. Is v prime?
True
Suppose -33*k + 110308 = -16379. Is k composite?
True
Let x = 142352 + -88041. Is x a composite number?
False
Is (-34062)/9*8/(-48)*9 a prime number?
False
Suppose 32064 = 10*z - 4*z. Is (-12)/(-42) + z/14 a composite number?
True
Let c = 267 - 127. Let v = c - 46. Is v a composite number?
True
Let w = -25 + 27. Suppose 4*u - 4*g = 4, -3*g - 14 - 1 = -5*u. Suppose 5*t - 2*x - 59 = 0, -t + 3 = u*x - w*x. Is t composite?
False
Suppose 92*o = 83*o + 10359. Is o prime?
True
Is (2/(-12))/((-53)/114321)*2 a composite number?
False
Let i = 564 + 587. Is i prime?
True
Suppose 5*n - 32 = -2*d - 2*d, -4*d - n + 16 = 0. Suppose -2*r + 141 = -d*t - 243, -2*r = -5*t - 640. Let a = 231 + t. Is a a prime number?
True
Let s(b) = 98*b - 15. Let f = 39 + -26. Is s(f) prime?
True
Suppose -3*v = v - 20. Let m(k) = -5*k**2 + 6*k + 1. Let n be m(v). Is (n/(-4))/(9/18) prime?
True
Suppose -2693 = -6*s + 4987. Suppose -4*c = 3*a - 1409 - s, -5*c + a = -3366. Is c a composite number?
False
Let y(q) = 641 + 3*q**2 - 2*q - 4*q**2 + 0*q**2 - q**3 + q. Is y(0) composite?
False
Let c(y) = -17*y - 2*y**2 + 5*y + y**3 - 2*y**2 + 11. Suppose -2*k + 3*j = -20, 4*k - 2*j = 2*j + 36. Is c(k) prime?
False
Suppose 3*y = 0, -5*w + y - 3*y + 38345 = 0. Is w composite?
False
Suppose -21*s = -16*s - 20205. Let d = s - 2837. Suppose d = 6*x - 2*x. Is x prime?
False
Let w = 13956 - 9967. Is w prime?
True
Suppose 3*d - 11*d + 24 = 0. Suppose d*q - 1767 = -510. Is q prime?
True
Let q(i) = -71*i + 12*i**2 + 23 + 0*i**3 + i**3 + 74*i. Is q(-7) composite?
True
Let j = 1154 - -387. Is j a prime number?
False
Suppose 4*l - 32 = -2*v + 7*v, 4*v + 19 = l. Suppose l*h - 1455 = -0*h. Is h a prime number?
False
Suppose -3748*s = -3755*s + 67837. Is s a composite number?
True
Let z(s) = 13 + 0 + 0*s + 16*s. Is z(15) a prime number?
False
Suppose -3*j - 28 = -10*j. Suppose -3*r = j*r - 2877. Is r a prime number?
False
Is (-1 + 8400/(-2))/(-23 + 22) a prime number?
True
Suppose -14*w = -42*w + 569044. Is w prime?
True
Is (813318/(-8))/11*(-7 - -3) a prime number?
False
Suppose -3*t = 5*k + 3392, 4*k + 2*t + 2215 = -497. Let a = k - -1622. Let x = a + -201. Is x composite?
True
Let f be -4 + 4*2/12*15. Let d(j) = 215*j**2 - 12*j + 13. Is d(f) composite?
False
Let y(s) = -s - 24. Let x be y(-15). Is (x/(-6))/((-2)/(1016/(-2))) a prime number?
False
Let c(p) = -6*p - 37. Let n be c(-6). Is (796 + -19)*(4/3 + n) a prime number?
False
Let p(k) = k**3 + k**2 + k - 1. Let o(t) = -7*t**3 + 3*t**2 - 20*t - 1. Let v(h) = o(h) + 6*p(h). Let r be v(-10). Let z = r + -1398. Is z composite?
True
Let x = -9751 - -14388. Suppose 3*k + 1016 = x. Is k a prime number?
False
Let o = -764 - -1368. Let n = 852 + -1199. Let k = o + n. Is k composite?
False
Suppose 0 = -n + 3*n - 10. Suppose 0*g = -n*g - 1290. Let l = 89 - g. Is l a prime number?
True
Let b(v) be the third derivative of 5*v**4/6 - 5*v**3/6 + 9*v**2. Is b(17) a prime number?
False
Let o = -1544 - -2177. Is o composite?
True
Let p(x) = x. Let d(y) = 28*y - 15. Let f(a) = -d(a) + 6*p(a). Suppose -5*n - 22 = 3*w, w + 4*n = -4*w - 54. Is f(w) prime?
False
Is (4051/2)/((0 - -1)/2) prime?
True
Suppose -183380 - 60064 = -12*c. Is c composite?
False
Suppose -22*l + 29464 = -47822. Is l prime?
False
Let b(u) = -u**3 + u. Let p(z) = 3*z**3 + 4*z**2 - 13*z - 7. Let w(s) = 4*b(s) + p(s). Is w(-6) a composite number?
True
Is 1342278/1302 - (-2)/31 a prime number?
True
Let n(z) = -z**3 + 14*z + 6. Let c(g) = -g - 13. Let p be c(-6). Is n(p) composite?
False
Let a(m) = 15*m**2 - 10*m**2 + 7*m + 4*m**2 - 11. Is a(-6) composite?
False
Let c = -46645 - -72786. Is c a composite number?
False
Let w(z) = 757*z**2 + 1. Let b(o) = o**2 - 2*o. Let v be b(1). Is w(v) a prime number?
False
Suppose 4*z + 2*t - 5678 = 0, -5*z - 1500 = 5*t - 8595. Let f = z + 211. Is f prime?
False
Suppose -3*w - 40060 = -8*w. Suppose -3*u + w = u. Is u composite?
False
Suppose -4*i - 20 = -2*h, 2*h + 7 + 22 = -3*i. Is 187 + (-4 - i - 3) a composite number?
True
Let t(c) = c**3 - 5*c**2 + c + 1777. Is t(0) composite?
False
Suppose 6571 - 499 = 8*z. Suppose -5*r + 3*r + d + z = 0, 0 = 5*r + 4*d - 1891. Is r a prime number?
True
Let z(k) = 6*k - 38. Let j be z(8). Suppose 0 = -15*m + j*m + 1885. Is m a prime number?
False
Is (-2)/(-2) - (-7 + -533) prime?
True
Suppose -2*f - 2*f + 4*x + 20 = 0, 3*x + 15 = 0. Let n = f - -4. Let j(h) = h**2 - 2*h + 6. Is j(n) prime?
False
Let u(j) = j**3 + j**2 - j + 2. Let x be u(0). Suppose -m + 937 - 248 = -x*g, -5*g + 696 = m. Is m a prime number?
True
Suppose 4 = -2*h, 4*o = 7*h - 11*h + 10308. Is o a composite number?
False
Suppose 12*h - 207415 = -53*h. Is h composite?
False
Let m(v) = v**3 + 24*v**2 - 24*v + 27. Let a be m(-25). Suppose -4*z = -257 + 13. Suppose 53 = a*g - z. Is g a prime number?
False
Suppose -28*p + 2624766 = -57662. Is p prime?
True
Let n be 2/4 + 7386/12. Suppose 0 = 4*g - 480 - n. Is g a prime number?
False
Let w be (3381/(-4))/((-33)/88). Suppose -3*y - 2*y - 3*c + 3730 = 0, 3*y - w = -5*c. Is y composite?
False
Let n(p) = -221*p + 112. Is n(-9) composite?
True
Let b(c) = -c**3 + 17*c**2 + 10*c + 19. Let t be b(8). Suppose -y + t = -2488. Is y a composite number?
False
Is (-2)/(-6) + -1 + (-15585)/(-9) composite?
True
Suppose 3*x - 33 = -3*j, 5*x - 2*j - 33 = 22. Let t = x - 7. Suppose -4*o - 5*g + 196 = -3*o, -4 = -t*g. Is o a composite number?
False
Let y be (6/(-15))/(3/(-45)). Let f(r) = 2*r**2 - 3*r - 8. Is f(y) a prime number?
False
Let l = 11 - 8. Suppose -5*j - l*k + 2967 - 271 = 0, -5*k + 2690 = 5*j. Is j prime?
True
Let d = 28 + -23. Let b be (d + -3)/((-2)/4). Is (-1 - -9)*(-29)/b a composite number?
True
Let u(b) be the third derivative of -7*b**5/40 - 5*b**4/24 + 2*b**3/3 - 4*b**2. Let s(d) be the first derivative of u(d). Is s(-4) a composite number?
False
Suppose 10*z + 8 = 11*z. Let p(m) = 2*m - 12. Is p(z) composite?
True
Let l(a) = -6*a**2 + 4*a + 101305. Is l(0) a prime number?
False
Let b(m) = -2*m**3 + 11*m**2 - 30*m - 7. Let z(x) = -3*x**3 + 23*x**2 - 60*x - 14. Let y(u) = -5*b(u) + 3*z(u). Is y(-12) a prime number?
True
Let p be 1893/7 + (-4)/(-7). Suppose -p = -3*x - 22. Is x composite?
False
Suppose 0 = 2*o, 0 = 5*d + 4*o + o - 30. Suppose 1148 = -2*p + d*p. Is p a composite number?
True
Let k(b) = -9410*b - 73. Is k(-24) a prime number?
True
Let r be (5/10)/(3/12). Let s be 45312/(-18) - r/3. Is 88/(-110) + s/(-10) a composite number?
False
Let q = 318 - 85. Is q composite?
False
Suppose 3*y - 1948 = -3*l + 7958, 9885 = 3*l - 4*y. Is l prime?
True
Let f = 2758 - 1519. Suppose -7*a + 0*a + f = 0. Is a composite?
True
Let v be (1506/(-18))/(1/(-6)). Suppose 8*h = -15*h + 30958. Suppose -h = -4*c - v. Is c composite?
False
Let j(f) = 0*f + f**2 - 8 - 2*f - 3*f - 1. Let s be j(9). Is (-9)/(s/14)*-3 composite?
True
Suppose 2*j = 2*v + 2*v + 6, -4*j + 4*v = -12. Suppose 4*f - j*o = 150, -5*o = -3*f + 8*f - 205. Suppose -d - s = -12, 5*d + 2*s - 27 = f. Is d a prime number?
False
Let l(n) = -n**3 - 9*n**2 + 14*n + 15. Suppose -9*r + 11 = -10*r. Is l(r) prime?
True
Let r = -22501 + 35439. Is r prime?
False
Suppose 0 = 23*k - 18*k + 5. Is (k/3)/((-1)/789) a prime number?
True
Let c(o) = 7*o + 4. Let n be c(-2). Let m(h) = -h**2 - 11*h - 5. Let w be m(n). Suppose -w*i - 463 = -f - i, f - 5*i - 468 = 0. Is f composite?
False
Let g be 0 - -534 - (12 + -9). Suppose -3*d + 0*d - z = -1561, -d + g = -5*z. Is d composite?
False
Suppose 0 = -32*v + 9*v + 118243. Is v a prime number?
False
Suppose 4*d + 63498 = 2*a, 44*a + 4*d = 42*a + 63506. Is a composite?
False
Suppose -s + 6 = 4*f - 4, 5*f = 10. Let d be 1 - 0 - (3 - s). Is 1/(3/327 + d) composite?
False
Suppose -x = -3*m - 8466, 6*x - m = x + 42288. Is x prime?
False
Suppose -2*s = -c + 21, -s - 3 = -0*s. Suppose 5*a = c, -5*t + 5*a + 9520 = -0*t. Is t a prime number?
True
Let f be 18 + 1 - (-15)/5. Let i = f - 34. Is (56/i)/((-6)/153) a composite number?
True
Let b = -29 + 45. Let c = b - -88. Suppose 71 + c = 5*l. Is l prime?
