s x(0) composite?
True
Let c = 108 - 424. Let n = -189 - c. Is n a prime number?
True
Let s = 3 + -6. Let p be 12/4 + s + 148. Let b = 231 - p. Is b a prime number?
True
Let m(w) = 2664*w - 311. Is m(8) prime?
True
Let r(l) = 22*l + 13. Let a be r(5). Let y = -70 + a. Is y a composite number?
False
Suppose -9*k = -542 - 169. Is k prime?
True
Let t(b) = -30*b**3 - 3*b**2 - 8*b + 14. Is t(-6) a composite number?
True
Let h = 46 + -44. Suppose 1341 = h*q - 5*r, r = -4*q - 2*r + 2695. Is q a prime number?
True
Let d(t) = 2*t**2 - 6. Suppose 0 = 3*o + 2*o + 2*z + 17, 2*o + 3*z - 2 = 0. Let k(w) = -2*w**2 - w + 5. Let s(q) = o*k(q) - 4*d(q). Is s(-8) composite?
True
Let h be (-2)/9 - (-330)/27. Let o = 15 - h. Suppose -o*b + 4*r = -653, -466 = -4*b + 2*b - 5*r. Is b composite?
False
Let u(g) = -241*g - 89. Is u(-10) composite?
True
Suppose q - 16138 = -3*v, -2*v - 171*q = -167*q - 10742. Is v composite?
False
Let t be 13/(-52) - (-691)/(-4). Let s be (483/4)/(3/8). Let q = s + t. Is q a composite number?
False
Let x = -68 + 70. Suppose 5*v - 3*s - 5600 = 0, -v + 2*v = x*s + 1127. Is v prime?
True
Let n = 1 + -3. Let d(a) = 3*a - 34. Let p be d(11). Is 68 - (p + 3)/n a prime number?
False
Let k = 1697 - 610. Is k prime?
True
Let c = 61 + -55. Suppose -7*k + 37 = -c*k. Is k prime?
True
Let o be -7 + (6 - 2) + 1435. Let d = o + -567. Is d a composite number?
True
Suppose -o - 3*h = -30, -3*o + 80 = -0*h - h. Suppose -5*c = z + 18, -3*z = -4*c - o + 5. Is 139/2 - z/4 a prime number?
False
Let s = -12 - -15. Let n = 4 - 2. Suppose o + n*g = -g + 29, -17 = -o + s*g. Is o a prime number?
True
Suppose 0 = -3*v + 4*l - 13, 4*v + 0*l = 4*l - 16. Let g be -2 + (-12)/v + 114. Let z = g + -61. Is z a prime number?
False
Suppose s = 3*f - 33704, 0 = -2*s - 199 + 189. Is f a prime number?
False
Let c be 8 + -1 - (-1 - -3). Suppose 0 = 2*k + 3*p + 113, -257 = c*k - 0*p - p. Let b = -17 - k. Is b a composite number?
True
Let q(g) = g - 62. Let x be q(25). Let j = x - -88. Is j a composite number?
True
Suppose -r = -5*r + 8. Is (0 + 0)/r - -115 a composite number?
True
Suppose 19*q = -948 + 11531. Is q a composite number?
False
Is (-6)/(-72) + 743355/108 a composite number?
False
Let z(t) be the first derivative of 5*t**3/3 - t**2/2 + t - 2. Let d be -1 + -2 - (4 - 11). Is z(d) composite?
True
Suppose 3*v = 6*v - 4*j + 8, -v + 14 = 2*j. Let t be (-16)/v - (-13)/1. Is (66/t)/((-6)/(-531)) composite?
True
Let n(f) = 11*f**3 + 17*f**2 - 15*f + 26. Let b(w) = 5*w**3 + 8*w**2 - 7*w + 13. Let k(o) = -13*b(o) + 6*n(o). Is k(10) a prime number?
True
Let d(z) = -z**3 - 17*z**2 + 48*z - 47. Is d(-24) a composite number?
False
Let r(v) = 96*v - 23. Is r(10) a prime number?
True
Let s(o) = -2*o**3 - 8*o**2 + 14*o + 17. Let x be s(-5). Suppose -5*c = 1 - 11. Is ((-212)/x)/c*3 a prime number?
False
Suppose 3*m = -2*l + 60, 4*m = -5*l - m + 150. Let x be 72/5 + l/(-75). Suppose 15*k - 55 = x*k. Is k a composite number?
True
Let x(p) = -p - 1. Let v be x(-1). Let b(h) = -h**2 - 6*h - 7. Let d(o) = 2*o**2 + 13*o + 14. Let z(y) = -13*b(y) - 6*d(y). Is z(v) prime?
True
Let h(t) = 8*t**3 - 9*t**2 - 3*t + 6. Let m be h(8). Suppose -5*b = -m + 567. Is b prime?
True
Let b(p) = -56*p - 63. Let t be b(-26). Suppose t - 14567 = -7*v. Is v a prime number?
False
Suppose 0 = 14*n - 62672 + 21526. Is n composite?
False
Let f(k) = k**2 - 4*k + 2. Let m be f(4). Suppose 2*u - 12 = -m. Suppose 0 = u*r - 2*j - 193, 4 = 3*j + j. Is r composite?
True
Suppose 4*c - 514 = 2*c. Let p be (1 + 0)/(1/c). Is (6 + -3)*-1 + p a composite number?
True
Let m(o) = -o - 5. Let b be m(-9). Suppose -5*y + b*y = -77. Let c = y - 24. Is c a prime number?
True
Let r(c) = 2*c + 4. Let w be r(-1). Suppose -w*m - 2754 = -3*g + 3*m, g - 928 = 5*m. Is g composite?
True
Let k(a) = a**3 - 3*a**2 - 1. Let v be k(2). Let h(g) = -g**3 + 11*g**2 - 12*g + 40. Let n be h(14). Is v/(20/n) - 2 prime?
False
Let w(y) = 58*y**2 - 70*y - 39. Is w(-19) a composite number?
False
Let h = 5 + 0. Suppose q - 739 = 2*b, -7*b + 4*b + 3695 = h*q. Is q composite?
False
Let u = 14 + -12. Let t be u/1 - (-20)/2. Is 6/t*(1173 + 1) composite?
False
Let c(b) = -4*b + 15. Let r be c(12). Let w = 0 - r. Is (w/2)/((-6)/(-12)) a composite number?
True
Let z(b) = -2*b**2 + 10*b + 17. Let r be z(6). Suppose -1465 = -2*w + 417. Suppose 4*l + 4*h - h - 1889 = 0, r*h - w = -2*l. Is l prime?
False
Let p be -2*(-3)/2 - 1. Let d(f) = -7*f + 1. Let o(n) = -6*n + 2. Let g(s) = -3*d(s) + 2*o(s). Is g(p) a composite number?
False
Let d = 4 - 1. Suppose -2*a = d*a - 15. Suppose 0 = -4*l + 5 + a, -2*l + 1664 = 4*f. Is f composite?
True
Let k = -1639 - -2804. Suppose 4*r = 9*r - k. Is r prime?
True
Let t(c) = -40*c + 7. Let d(w) = -w - 1. Let m(s) = 5*d(s) + t(s). Let r be m(2). Is 2790/22 - 16/r a prime number?
True
Let m(z) = 3*z + 232. Let a be m(0). Suppose -4*f - 5*q + 325 + 141 = 0, 2*f + 3*q - a = 0. Is f a prime number?
False
Let q(g) = -13*g**3 - 3*g**2 - 9*g + 7. Let d(u) = -u**2 - u + 1. Let k(y) = 6*d(y) - q(y). Is k(2) prime?
True
Is 2 + -3 - 36/9 - -2802 a composite number?
False
Let w(y) = -y**3 + 6*y**2 - 5. Let v be w(7). Is v/36 + 11021/2 composite?
True
Suppose -2*d + 23*x = 22*x - 60657, 4*d = 3*x + 121313. Is d a prime number?
False
Suppose -5*r + 4455 = -3430. Suppose -7*a = -5*s - 5*a + 1589, r = 5*s + 4*a. Is s prime?
True
Let d(l) = -l**3 - 4*l**2 - l + 3. Let f be d(4). Let i = -969 - f. Is 1/(-1) + i/(-10) composite?
False
Let w be 3 - 7/((-14)/(-12)). Let c be 1/(-3) - 82/w. Suppose c + 8 = 5*y. Is y a composite number?
False
Suppose t - 10 = -4*i, -1 = -2*i + 3. Suppose t + 4 = -3*s. Is (-1)/s + 595/2 composite?
True
Suppose -5*r + 33 = -2*q, 0 = -3*q + 4*q - 3*r + 19. Let n be (-2 - 0)/(q/(-72)). Is (-6)/27 + (-22724)/n a composite number?
False
Let n(v) = 4*v**2 + 13*v - 11. Let q be (-2)/9 + 115/(-9). Let s = q - -3. Is n(s) composite?
True
Let q(c) = 14*c - 13 + 2 - 3 + 7. Is q(15) prime?
False
Is -1 + 7 - 129900/(-12) a composite number?
False
Let v = -1224 + 2063. Is v a prime number?
True
Suppose r - 431 = 4252. Suppose -6*j + r = j. Is j a prime number?
False
Let x(g) = -6*g**3 - 7*g**2 - 4*g + 5. Let t(u) = u**3 - 5*u**2 - 2*u + 9. Let c be t(5). Let q(a) = 4*a. Let b be q(c). Is x(b) a composite number?
False
Let w = 75020 + -39259. Is w composite?
True
Let k = 56963 + 5672. Is k composite?
True
Suppose 45*n - 910403 + 91808 = 0. Is n composite?
False
Let r(p) be the second derivative of 17*p**5/20 - 5*p**4/12 + p**3/6 - 7*p**2/2 + 19*p. Is r(6) a prime number?
True
Let b(c) = -20 - 10 + 39 + 337*c. Is b(6) composite?
True
Let j(b) = b**2 - 4*b - 1. Let a be j(7). Suppose 3*k - 467 + a = 0. Suppose 5*d - 176 = k. Is d a composite number?
True
Let f(a) be the third derivative of a**6/120 + 13*a**5/60 + a**4/12 - 3*a**3/2 - 52*a**2. Suppose 2*g = -g - 33. Is f(g) prime?
True
Let k(f) = -f**3 + 4*f**2 - 3*f. Let g be k(2). Let d be -37*((-1 - g) + -8). Let h = 598 - d. Is h a prime number?
True
Let f(x) = -86*x + 21. Let l = -52 - -44. Is f(l) composite?
False
Is ((-823922)/(-102))/((-3)/(-18)*2) a composite number?
True
Suppose 3*u - 927 = x - 3*x, 5*u - 1550 = -5*x. Suppose -6*c = -5*c - u. Is c prime?
True
Is (-57077)/(((-6)/(11 + -5))/1) a prime number?
True
Let z(x) = 7*x**2 + 17*x + 9. Suppose 6*t + 92 - 14 = 0. Is z(t) composite?
False
Suppose 0 = r - 5*s + 59633 + 63702, r - 4*s = -123336. Is (-3)/(-7) - r/98 prime?
True
Suppose 22412 = 12*r + 2336. Is r composite?
True
Suppose 10*q - 78336 = 14774. Is q composite?
False
Let i = -41 - -30. Let c(r) = -r**2 - 12*r - 3. Let g be c(i). Is -2 + 24 - (g + -8) composite?
True
Suppose 4 = -4*f, 3*d - f = -2*d - 13704. Is (d*(-3)/(-6))/((-1)/2) prime?
True
Let q = 90 - 85. Suppose -a - q*s + 2509 = 0, -3 = 4*s - 19. Is a prime?
False
Is (23578/8*8)/(2 - 0) a prime number?
True
Suppose -11 = -2*p - 7. Suppose -882 = -3*v + y, -5*y = -0*v - p*v + 575. Let f = v + -60. Is f a composite number?
True
Suppose 0 = 4*k - 2*h + 7*h + 15, 3 = -k - h. Suppose -5*s = -5*t - 800, k*t = -3*s + t + 474. Is s prime?
True
Is ((-22)/4)/(12 - 93105/7758) prime?
False
Let h(y) = -718*y + 85. Is h(-9) composite?
False
Let d = 11394 - 6738. Suppose 16914 = 6*p - d. Is p composite?
True
Let g = 87 + -10