3 - f. Is c a composite number?
True
Suppose r = -r + 94. Let s = 188 - r. Is s a composite number?
True
Let u(n) = 6*n**3 - 3*n**2 - 9*n + 19. Is u(5) a composite number?
True
Suppose -4 = -3*o - 34. Let n(k) = -2 - 4 - 2*k - 1. Is n(o) a prime number?
True
Let z = 7 + -4. Suppose 21 = l - 66. Suppose z*b - 6 = l. Is b composite?
False
Let a = 15 + -17. Is 4 + a + -2 + 37 composite?
False
Suppose 0 = -12*a + 13*a - 3. Let u = 16 + -8. Suppose -v - a*m - m = -87, -u = -4*m. Is v prime?
True
Let p(h) = -3*h + 2. Let r be p(6). Let c = r + 22. Is c - -1 - (-2 + 3) a prime number?
False
Let b(g) = -516*g + 25. Is b(-5) prime?
False
Let n = 1 + 1. Suppose 0*s = -4*g + 5*s + 30, 4 = -n*s. Suppose -15 = -0*f - g*f. Is f a composite number?
False
Let t = -3 - -5. Suppose 13 = v + 5*q, v + 4*v + t*q - 65 = 0. Is v a prime number?
True
Let o = 74 + 48. Suppose 2*b + 0*b - n - 64 = 0, -5*n - o = -4*b. Is b a composite number?
True
Let p = -11 - -1. Suppose -2*k - 9 = -59. Let m = k - p. Is m a prime number?
False
Suppose -4*s + 5*c - 49 - 28 = 0, 2*c = s + 20. Is 6/27 - 878/s a composite number?
True
Suppose 0 = 3*g - 6*g + 1137. Is g a prime number?
True
Let w(i) = -i**3 + 2*i**2 + 2*i - 1. Let q be w(2). Let x(g) = 2 + g - q + 14*g. Is x(1) composite?
True
Is 25974/45 + (-1)/5 + 4 a composite number?
True
Let x(b) = -7*b. Let r(i) = -14*i. Let f(a) = -2*r(a) + 5*x(a). Let s be ((-22)/(-33))/(2/(-3)). Is f(s) a composite number?
False
Is 4/(-10) - 6702/(-30) a composite number?
False
Suppose -2*f - 44 = -2*o, 5*o + 0*o - 116 = -f. Suppose -2*x = -o + 1. Is x a composite number?
False
Suppose -n - n - 3*i = -10, -3*i + 7 = 5*n. Let u(t) = 40*t**2 - 1. Is u(n) a composite number?
True
Let t = 431 - 232. Is t a prime number?
True
Suppose -q + 419 = o + 3*q, 3*o + 3*q = 1257. Is o composite?
False
Suppose 0*i - 20 = -4*i. Let n(f) = f**3 - 4*f**2 - 3*f - 6. Let z be n(i). Suppose -z*h = -b + 27, 0*b + h + 59 = 5*b. Is b prime?
True
Let k(g) = -2*g**3 - 2*g**2 + g - 2. Let s = 2 - 5. Is k(s) prime?
True
Let a = -462 - -1051. Is a a composite number?
True
Suppose 2*f = -0*f + 2*p + 632, -4*f + 1294 = 2*p. Is f a composite number?
True
Suppose 1086 = 2*v + 4*k, -4*v + 2217 = k - 2*k. Is v prime?
False
Is (-16)/(-16)*(15 + 0) a composite number?
True
Let u = 12 - 9. Suppose k - 2*m - 3 = 0, k = 3*k + u*m - 13. Suppose k*n = 6*n - 127. Is n a prime number?
True
Let b(f) = 469*f - 19. Is b(2) a composite number?
False
Suppose 5*n - 2290 = -605. Is n prime?
True
Let f = 107 - 72. Let t be f/(-10)*(-8)/14. Suppose 7*d - 595 = t*d. Is d prime?
False
Let a = -4 - 1. Let s(w) = -w**2 - 3*w - 2. Let d be s(a). Is (-4)/(d/57) + 0 a prime number?
True
Suppose -5*l - 5*a + 85 = 0, 2*l - 4*a = -0*l + 16. Suppose -i - i = -l. Is i prime?
True
Let i(q) be the first derivative of -11*q**6/120 - q**5/60 - q**4/24 - q**3/6 + q**2/2 + 2. Let j(y) be the second derivative of i(y). Is j(-1) prime?
False
Is 1*6599*(14 + -13) prime?
True
Let b(i) = 7*i - 7. Let x(r) = r**2 + 4*r - 4. Let l be x(-6). Is b(l) a prime number?
False
Is 2088/14 + 6/42*-1 prime?
True
Suppose -n = -5*n + 1052. Suppose -3 = 3*z - 0, 4*v + 5*z - n = 0. Is v a composite number?
False
Suppose 5*h + 4*d - 286 = 0, h - 16 = d + 43. Is h a prime number?
False
Let j(w) = -3 + 5 - 2 + 2 + 2*w. Is j(6) a prime number?
False
Suppose 4*s = i - 311, -2*i + 336 = -i + s. Is i composite?
False
Let c(q) = q**3 - 4*q**2 + q + 3. Let x be c(3). Is 58/1 + (-2 - x) prime?
True
Let o(v) = -v**2 + v + 3. Let r be o(0). Suppose -j - 5*b + 87 = -7, -2*b - 282 = -r*j. Is j a prime number?
False
Is 6736/10 + (18/(-30))/1 composite?
False
Let q be ((-114)/(-9))/((-2)/18). Let j = -55 - q. Is j composite?
False
Let c(a) = 2*a**3 + 4*a**2 - 4*a - 2. Let x(y) = -y**3 - 2*y**2 + 2*y + 1. Let l(g) = -3*c(g) - 7*x(g). Is l(4) a prime number?
False
Let t be 0 + 2 - 3 - 17. Let k be 29/9 + 4/t. Is (-2*1 + 3)*k composite?
False
Suppose f - 52 = 4*w - 3*w, 3*f = 4*w + 159. Let p = 116 - f. Is p composite?
False
Let b = 103 - 59. Suppose 5*d + 0*d = -35. Let r = d + b. Is r prime?
True
Suppose -5*d - 5*v + 660 = 0, 4*d - v - 388 = d. Suppose 2*p - 121 = -4*h + 241, -387 = -4*h + 3*p. Let b = d - h. Is b a prime number?
True
Suppose 3*n - 2*n - 13 = 2*u, 34 = 3*n - 5*u. Let q be ((-458)/n)/(8/(-12)). Suppose 537 - 130 = 5*x + 3*z, 0 = -3*x + 2*z + q. Is x a prime number?
True
Let t(r) = 16*r**2 + 17*r - 16. Is t(7) a composite number?
False
Suppose 0 = 2*o - 899 - 1899. Is o a prime number?
True
Let q(t) = 41*t + 9. Is q(14) composite?
True
Let n be (-4105)/1 + 4 - 1. Is (n/28)/(1/(-2)) prime?
True
Let d(c) = c**3 - c**2 - 5*c + 3. Let k be d(4). Let f = k + 378. Is f prime?
True
Let d be 60/8 + (-6)/4. Let i be (-20)/(1*-2) - -2. Let s = i - d. Is s composite?
True
Suppose 0 = -2*i + 6*i - 8. Suppose -i*y + 0*o - 5*o = -21, -14 = -3*y - 4*o. Let w(t) = t**2 + t + 2. Is w(y) a prime number?
False
Let g(q) = 853*q + 8. Is g(2) prime?
False
Let m = 3 + -1. Suppose 0*y + 18 = m*y + 2*i, i = 4. Is ((-1)/(-2))/(y/110) composite?
False
Suppose y + y - 10 = 0. Suppose 4*v = -4*a + 4, y = -4*a + 4*v - 7. Let i = a + 4. Is i a composite number?
False
Suppose -3*i + 6 + 6 = 0. Suppose -j = 4*g - 91, i*g - 2*g = 5*j - 411. Is j a composite number?
False
Let n(a) = -a - 3. Let v be n(-6). Suppose 7*s + 4*j = v*s + 412, 3*s = 4*j + 330. Suppose 0 = -3*d + d + s. Is d prime?
True
Suppose 4*b + b - 7295 = 0. Is b composite?
False
Let n = 22 - -8. Suppose -p = -2*o - 185, -o = -5*p - n + 955. Is p composite?
True
Let j be 0*(-2 - -1) + 672. Let h(c) = -3*c**2 - 14*c - 23. Let p be h(10). Let r = p + j. Is r a prime number?
False
Suppose -5*l + 1 = -2*i, 7*l - 2*i = 3*l. Suppose -l = -4*t + 59. Is t prime?
False
Suppose v = 4*p + 11, -3*p - 2*p = 4*v + 40. Let b = -6 - p. Is -2 - b - (-66 + -1) prime?
True
Let p(q) = -7*q**3 - 11*q**2 + 17*q + 9. Let c(z) = 10*z**3 + 17*z**2 - 25*z - 13. Let s(o) = 5*c(o) + 7*p(o). Is s(-7) composite?
False
Let x = -111 + 260. Is x prime?
True
Let n(s) = 332*s**3 + s - 2. Is n(1) a prime number?
True
Let j = 12 - 4. Let d(u) = -u + 6. Let b be d(j). Is (2/(-2) - b) + 64 a composite number?
True
Let i(n) = 5*n + 1727. Is i(0) a prime number?
False
Suppose -3*s = 5*g + 5, -s - 1 = g - 2. Suppose 2*y = 2*i - 150, y + 4*y = -s*i + 425. Suppose z - 2*w - i = w, w + 82 = z. Is z prime?
True
Let h = -259 - -548. Suppose -2*w - w = -2*j - h, 2*w - 195 = -j. Is w a composite number?
False
Suppose 3*i - 40 = 6*j - j, -4*i - 4*j + 32 = 0. Suppose t - i = -t - s, 4*s = t - 5. Suppose b + 2*d - 2 = -2*d, t*b = -2*d + 64. Is b prime?
False
Suppose -2*x + 5*l = -2 - 22, 0 = x + 3*l + 10. Suppose 8 + 10 = x*j. Let t(z) = 10*z - 13. Is t(j) a composite number?
True
Suppose 3*g - 2*g - 4 = 0. Let y = 8 + g. Suppose y = q - 23. Is q prime?
False
Suppose 3*t - 6*y - 30 = -3*y, 3*t - 4*y = 30. Let w(f) = f**3 - 9*f**2 - 14*f - 1. Let r be w(11). Let s = r + t. Is s a composite number?
False
Let f(u) = -u**2 + 5*u + 7. Let a be f(6). Is a*(-2)/4*-314 a prime number?
True
Let t(q) be the first derivative of 50*q**3 + q**2/2 - 2. Is t(-1) a composite number?
False
Let n(l) = l - 1. Let w be n(-7). Let c(u) = 3*u**2 - 15*u - 18. Let b(j) = 2*j**2 - 7*j - 9. Let t(d) = -5*b(d) + 3*c(d). Is t(w) a prime number?
True
Suppose 2*x - 82 = -0*x. Let m = x - 24. Let g = 18 + m. Is g prime?
False
Suppose 0 = -3*l + 4*l - 571. Is l a composite number?
False
Suppose -s - 401 = -6*s - 3*i, 0 = -2*s - 4*i + 152. Is 3/(24/28)*s a prime number?
False
Let h = 359 - 105. Is h a composite number?
True
Let v = 82 + -278. Is (-5 + v)*(-3 + 2) a prime number?
False
Let d = 9745 + -6672. Is d a composite number?
True
Let f(p) = 3*p**3 - 2*p**2 - 5. Is f(4) a prime number?
False
Let g = 11 - 17. Is (40/14)/(g/(-21)) prime?
False
Let h(v) = 20*v - 9. Is h(17) a prime number?
True
Let q(t) = t**2 - 2. Let r be q(2). Suppose r*d - 370 = -0*d. Is d a composite number?
True
Let f(p) = -p**3 - p**2 - p + 11. Let r be f(0). Let b = 157 + -111. Let q = b - r. Is q a prime number?
False
Is 9/(-21) - (-165)/42*64 a prime number?
True
Is -3 - (85 - -1)*-1 a composite number?
False
Let d be 6/12 + (-2102)/(-4). Suppose x = -x + d. Is x a composite number?
False
Let p(f) = f**3 + 5