e number?
True
Let g be ((-32)/14)/((-8)/28). Is (-2 - -1) + 115 + g prime?
False
Suppose 4*m = -6 + 2, -2*b = 4*m - 11022. Is b prime?
False
Let b(z) = 2*z + 46. Let d be b(-22). Suppose v - 5*v = 2*k - 31856, 4*k = 4*v - 31868. Is v/21 - d/7 prime?
True
Let o(f) = -150*f - 47. Let a(c) = 2*c**3 + 9*c**2 + 9*c + 3. Let u be a(-4). Is o(u) prime?
True
Let c(d) = -16*d + 9*d**2 + 25*d + 3*d**2 + 2. Is c(-5) prime?
True
Let w(t) be the first derivative of -t**4/4 + 3*t**3 + 13*t**2/2 + 9*t - 76. Let m(b) = -b**3 + 5*b**2 + 7*b + 4. Let u be m(6). Is w(u) a prime number?
False
Let s = 115 + -111. Is ((-2)/s)/((-26)/39052) a prime number?
True
Let p(i) = i. Let b(a) = 19*a + 26. Let z(y) = -b(y) - 2*p(y). Let w be z(-11). Suppose 3*c - 4*c = -w. Is c a prime number?
False
Let m be 11/3 - (-4)/12. Let g = m - 6. Is 4 + g - (-243)/3 a prime number?
True
Let z(w) = -3*w**3 - 8*w**2 - 6*w - 17. Let u be z(-7). Suppose 4*l - 1681 = a, -5*l + u = 3*a - 1418. Is l prime?
True
Suppose -2*a = 3*v - 90 - 286, -3*a + 254 = 2*v. Suppose q + j - 118 = 0, -q + j + v = -4*j. Suppose 0 = 3*s - q - 226. Is s prime?
False
Suppose -3*w - d + 5 = 1, -3*d - 1 = -4*w. Is 0*w/3 + 79 prime?
True
Let k(p) = -p**2 - p + 1195. Let d be k(0). Suppose -5*r + 3*n = -6*r - d, -2*r - n - 2415 = 0. Let t = r + 2753. Is t prime?
True
Let u(j) = -j**3 - 12*j**2 - 12*j - 11. Let t be u(-11). Suppose -3*b - 12 - 39 = t. Let r = b + 684. Is r composite?
True
Suppose -9 = -3*b - 3. Suppose -675 = s + b*s. Is 1/2*(1 - s) prime?
True
Let a(p) = 3*p**2 - 6*p + 37. Let r = 26 - 38. Is a(r) a composite number?
False
Let h be 7593/(-15) + 1/5. Let k = 903 + h. Is k a prime number?
True
Let s(i) = i**3 - 6*i**2 + 22*i + 44. Is s(21) a prime number?
True
Let z be (2/5)/((26/60)/13). Let k(b) = 2*b - 1. Let p be k(3). Suppose 3*t = d + z - 141, -10 = p*t. Is d a composite number?
True
Let h be ((-1)/6*10 - -2)*0. Suppose h = -3*u + 50 + 283. Is u prime?
False
Suppose 0 = 4*m - 1030 + 82. Is m composite?
True
Suppose 0 = 2*m - 3*s + 95, 3*m = 5*s - 4*s - 125. Is 6/(-16) + (-7415)/m a prime number?
False
Let w = -5 - -12. Suppose 0 = w*z - 11*z + 1172. Is z composite?
False
Let y(b) = b**2 + 24*b - 56. Let o be y(-26). Is o*((-3201)/4)/11 prime?
False
Let z(d) = -7 + 3 - 5 + 124*d. Suppose 7*p - 8 = 5*p - 2*l, 0 = -3*p - l + 12. Is z(p) prime?
True
Suppose 2*o + 4 = 60. Suppose 0 = -5*k - c + 480, 2*c + o + 176 = 2*k. Is k prime?
True
Suppose 0 = 27*y - 15*y + 504. Suppose -3*z = z + 324. Let k = y - z. Is k prime?
False
Suppose 2*q - 4 = 4*v, 5*q - v - 31 = 2*v. Suppose -u - 4*u + 9900 = 0. Is u/16 - 6/q a prime number?
False
Let l = 13 + -10. Suppose -12 = 9*m - l. Is (m + 327 - -4) + 1 a prime number?
True
Suppose z + 2*n - 4705 = 0, 18*z = 14*z + 2*n + 18790. Is z prime?
False
Let d(u) be the third derivative of 43*u**5/30 + u**4/12 - u**3/6 + 2*u**2. Is d(-3) prime?
False
Let f = 10 + -8. Let h be (-1)/f - (-49)/14. Is 10/15*5*h composite?
True
Suppose -3*j - 12 = -2*t - t, 2*j + 8 = -5*t. Suppose t = 4*w - 8 - 8, 2*k - 690 = w. Is k composite?
False
Let d(x) = -268*x + 1. Let o be d(-1). Suppose 2*g = 49 + o. Is g a prime number?
False
Suppose 3*o = -2*x + 19, 5*x = o - 6*o + 30. Suppose 5*q - 23 = -4*k + 5*k, q - k - o = 0. Suppose -5*u + u - 4*f = -1156, 2*u - 602 = q*f. Is u composite?
False
Suppose -4*u = 16, -3*l + u + 13371 = 4*u. Suppose 0 = 4*f - 527 - l. Is f a composite number?
True
Suppose -2*a - 22 = -70. Is ((-3728)/a)/(2/(-3)) a composite number?
False
Let x be (0 - 2)*1 - 90. Let b = 207 - 44. Let m = b + x. Is m a composite number?
False
Let g be ((-12)/30)/(2/(-1490)). Suppose 4*b - r + 0*r - 5 = 0, -5*r = 4*b - 23. Suppose 4*w - g = b*w. Is w a prime number?
True
Let d(v) = -v**3 - v - 3. Let g be d(0). Let y = 5 + g. Suppose 3*b = -y*b - i + 34, 3*b - 3*i - 6 = 0. Is b composite?
True
Let c be (228/10)/((-6)/30). Let j = 367 - c. Is j composite?
True
Let c(v) be the third derivative of 3*v**5/10 + v**4/12 - v**3/6 + 18*v**2. Is c(-2) a composite number?
False
Suppose a = 4, 5*f - 4*a - 178569 = 304720. Is f composite?
False
Let h(r) be the second derivative of 0 - 1/6*r**3 + 409/20*r**5 + 1/12*r**4 + 4*r + 0*r**2. Is h(1) a prime number?
True
Let r be 40/15*(0 + -318). Let u = r + -48. Let j = u - -1277. Is j a composite number?
True
Let a(y) = 98*y**2 - y - 176. Is a(9) composite?
False
Let k(d) = 6*d - 21. Let n be k(-18). Let y = 184 + n. Is y prime?
False
Suppose -7*u + 3*u - i = -7720, 0 = -u + 2*i + 1921. Suppose -2*b + u = -0*b - z, -4*b + 3853 = -3*z. Is b prime?
True
Let w(s) = -3*s + 5. Let m be w(2). Let y(a) = -532*a**2 + a. Let q be y(m). Let g = q + 787. Is g prime?
False
Let a be 2 - 11/((-22)/2304). Let f = 1905 - a. Is f a composite number?
False
Let a be (8/(-2) - -2) + -28. Is 5/a - (-2995)/6 composite?
False
Let y = -20208 - -28669. Is y a composite number?
False
Let a(x) = 4*x**2 + 17. Is a(15) composite?
True
Suppose -12*q + 8*q = 5*z - 115652, -q - 5*z = -28913. Is q a composite number?
True
Let s(u) = -u**2 - 6*u - 6. Let m be s(-3). Is ((-44037)/(-81))/((-2)/m - -1) a composite number?
True
Suppose -4*q + 7 = -1. Let v(k) = 196*k**3 - 2*k**2 + 2*k - 3. Is v(q) a prime number?
False
Suppose 9*s = -5*s + 86954. Is s prime?
True
Let o = 81 + -44. Is o a prime number?
True
Let j(i) = i**2 - 2*i + 1. Let v be j(1). Suppose 26*s - 23*s - 759 = v. Is s prime?
False
Let r be (-22)/(-165) - 943/(-15). Suppose 8*i - r - 8489 = 0. Is i a composite number?
False
Let r = 209 - 451. Let w = r + 3631. Is w a prime number?
True
Let m = 1372 - 699. Is m composite?
False
Let z(f) = 1508*f - 145. Is z(7) prime?
False
Let k(r) = -r**3 + 12*r**2 - 6*r - 6. Let l(j) = 2*j - 3. Let b be l(4). Is k(b) composite?
False
Let i = -3903 + 22294. Is i a composite number?
True
Suppose -19*d + 11*d + 449576 = 0. Is d composite?
False
Suppose -4*b = 4*o + 28, 29 = -0*b - 3*b + o. Let p(m) = -5*m - 17*m - 7 + m - 3. Is p(b) a prime number?
True
Suppose 2*a - 5*l = 8417, -5*l + 18316 = 3*a + 5728. Is a a composite number?
False
Let c(t) be the second derivative of -t**4/6 + t**3/2 + 7*t**2 + 2*t. Let h be c(13). Let f = h + 544. Is f prime?
False
Let p(b) = -184*b + 3. Let i = -1 + -6. Let y be p(i). Let j = y + -78. Is j composite?
False
Suppose 63 = 5*l + q, 4*l - 2*q - 2*q - 36 = 0. Let b(c) = -c**3 + 16*c**2 - 16*c - 2. Is b(l) a prime number?
False
Suppose -5 = -q - 0*q. Suppose 20 = -q*y - 5*l, 3*y + 2*l + 9 = -0*l. Is (7 + -8)*(y - 18) a composite number?
False
Let p(s) = 18*s + 12071. Is p(0) a prime number?
True
Let t(o) = o**2 + 11*o - 1. Is t(21) a composite number?
True
Let y = -2837 - -6232. Suppose 3*v + 5*c = 2013, -3*v + 5*c = 2*v - y. Is 1/(1 + (-672)/v) composite?
True
Let c be -2*(-8)/(80/(-1335)). Let i be ((6/(-3))/(-2))/(-1). Is c/(-6)*(i - -3) a composite number?
False
Let p(o) = 136*o**2 - 4*o - 5. Let h be p(8). Is h - ((-8 - -4) + 8) composite?
False
Let r = 148 + -139. Is r/3 + 0 + 586 composite?
True
Suppose -f + 0*f + 185 = 3*h, 2 = -2*f. Let w = h + 197. Is w a composite number?
True
Suppose -s = -2*o - 5, 3*o - 1 = 3*s - 19. Let p = s + -4. Suppose -p*n - 567 = -3*j, 4*j - 4*n = -2*n + 766. Is j a composite number?
True
Let k(c) = -22*c**3 + c**2 + 7*c. Let l be k(-2). Is (0 + l)/((-38)/(-323)) composite?
True
Let r = -1315 + 4022. Is r prime?
True
Let m(s) be the first derivative of 21*s**3 + 3*s**2 - 5. Let u be m(5). Suppose -8*i + 11*i - u = 0. Is i a prime number?
False
Suppose 2*b - 5*v = 145767 + 4800, 0 = -3*b + v + 225844. Is b prime?
False
Let w(v) = -v**3 - 8*v**2 + 9*v - 2. Let s(r) = -r**2 + 4*r - 4. Let o be s(5). Let f be w(o). Is (-1 - f) + 1364/2 composite?
False
Suppose -2*s = 28 - 72. Suppose -1525 = 17*d - s*d. Is d a composite number?
True
Is ((-2189)/(-55))/((-1)/(-215)) a prime number?
False
Is 6 + 80/(-14) + (-72749)/(-7) prime?
False
Let w be (-2 - (-15)/6)*8. Suppose 5*s - 13 = w*z, -2*s = -s - 5. Suppose -4*r + z*o + 140 = 7*o, 70 = 2*r + 3*o. Is r a prime number?
False
Is (5 + 1 - 8120)*(-2)/4 composite?
False
Let x = 41858 - 26101. Is x a composite number?
True
Suppose -2*i + 6*i - 784 = -3*y, 788 = 4*i + 2*y. Let r = 24 + i. Is r prime?
True
Let t = -8925 + 14912. Is t a composite number?
False
Let t(d) = -d**2 - 22*