 composite?
True
Let k = 727 - 468. Is k composite?
True
Suppose -2*g + 3*j + 1364 = 0, j + j - 3391 = -5*g. Is g a prime number?
False
Suppose 25*o - 813 = 22*o. Suppose -84 = 4*f + 5*y - o, 2*y = -10. Is f a composite number?
False
Suppose -2*r = -3*u - 3, 3*r - 6 = 5*u - 0. Suppose -2*t = -2*k - 1 + 3, 5*t + 4*k = 22. Is 1068/(-8)*t/u a prime number?
True
Let u(p) = p**2. Let f(j) = -2*j - j + 2*j - 1. Let x(k) = 3*f(k) + u(k). Is x(8) a composite number?
False
Is (-1142)/(-6)*(-1 + 4) prime?
True
Let c(d) = 718*d**3 - d**2 + 4*d + 1. Is c(2) composite?
False
Let p = 10 + -6. Let f(i) = -5 - 4 + 3*i + 3. Is f(p) composite?
True
Let h(g) = -14*g + 7. Is h(-6) prime?
False
Let w be (2 + -2)*(-1 - 0). Suppose w*j + 106 = 2*j. Is j a composite number?
False
Let c be 6 + -1 + (-2 - -1). Suppose 0 = c*o - o - 9. Suppose -45 = -o*d + 132. Is d a prime number?
True
Suppose 4*i + i = 20. Suppose -v - 2*v = -3*g, 8 = i*v. Suppose 24 + g = 2*o. Is o a composite number?
False
Let g be (1174 - 0 - -1) + 1. Let i = g + -800. Is (-1)/3 - i/(-12) a composite number?
False
Is 367 - ((0 - 0) + 2) a prime number?
False
Suppose 4*u - 12 = -4*q + 8, -2*q - 5*u = -16. Suppose v = -3*t, v = q*t - v. Let y = 31 - t. Is y prime?
True
Is (-12)/(-42) + (-1606)/(-14) a composite number?
True
Suppose 100 = 4*o - 148. Is o prime?
False
Let u(v) be the second derivative of v**5/20 - v**4/2 - v**3/6 + 4*v**2 + v. Let z be u(6). Is (6/(-1))/(z/(-5)) a composite number?
True
Let s(n) = -n**3 - 7*n**2 + 5*n - 11. Let c be (-9 - -1)/(0 + 1). Let q be s(c). Suppose 4*b - 11 = q. Is b a composite number?
True
Let u = 75 - -4. Is u a prime number?
True
Suppose c = -3*x + 1182, -1577 = -6*x + 2*x - c. Is x composite?
True
Let h(l) = -101*l + 1. Let v = -17 - -15. Is h(v) prime?
False
Let k be 5/(-1 - (0 - 2)). Suppose 0 = y + 3*t + t - 85, -5*y + 395 = k*t. Is y composite?
True
Let i(f) = f**3 - 8*f**2 - 8*f + 5. Is i(9) prime?
False
Let w(i) = 49*i**2 - 8*i + 14. Is w(-9) composite?
True
Suppose -7 + 0 = -s. Suppose 0 = -b + 7 + s. Is 298/b - (-8)/(-28) a prime number?
False
Let g = -47 + 90. Is g prime?
True
Let k(i) = -4*i - 1 + i**2 - 3*i - 3*i + 3*i. Is k(14) a composite number?
False
Let r = 6 - -33. Let m = r + 50. Is m composite?
False
Let n(p) = p**3 - 6*p**2 + 5*p + 2. Let r be n(5). Suppose r*l + l = 111. Is l a prime number?
True
Let j(h) = -3*h**3 + 5*h**2 + 3*h + 3. Let l be j(-3). Suppose i - l = 6*i. Is i/(-9)*(-21)/(-4) composite?
True
Suppose v = -i, 3*i + v = -v. Suppose 0 = -i*u + 5*u - 35. Is u a prime number?
True
Let m(d) = d**2 - 3*d - 8. Let a be m(12). Suppose 17 = -s + a. Is s a prime number?
True
Let o(n) = -n**3 + 10*n**2 - 2*n + 6. Let y be o(9). Let l = y + -10. Is l composite?
False
Let k = -2704 + 4722. Is k prime?
False
Let p(i) be the third derivative of -i**5/60 - 3*i**4/8 - i**3/3 - i**2. Let h be p(-8). Is ((-14)/1)/((-4)/h) prime?
False
Let y(i) = 190*i - 2. Let p be y(5). Let q = 1337 - p. Is q a prime number?
True
Let c = -7 - -121. Suppose i - 479 = -3*n - 4*i, -5*n - 4*i = -820. Suppose 3*j - n = c. Is j a composite number?
True
Suppose h + 12 = 2*f, -5*f = h + 2*h - 19. Is 38 - (-2)/4*h a prime number?
True
Suppose -2*q + 22 = -16. Is q composite?
False
Let g = -6 - -11. Suppose 0 = -m - 3*h + 1, -2*m - h - g = -2. Is ((-76)/(-8))/((-1)/m) a composite number?
False
Let t(g) = g**2 - 7*g + 6. Let p be t(4). Let k = p + 8. Is 132 - 1 - (0 - k) prime?
False
Let s be 3/12 - 1/4. Let g be 1/(2 - s)*0. Suppose 0*h - 3*h + 63 = g. Is h a composite number?
True
Suppose -3*p - 4*d + 789 = 0, -4*p + 5*d + 503 = -2*p. Is p a composite number?
True
Let t = -2772 - -5615. Is t composite?
False
Let n(z) = 3*z**3 + 2*z**2 - 3*z. Let r be n(2). Let h = r + 5. Is h composite?
False
Suppose -4*q - 2*c = 3*c - 3, -2*q = 4*c. Suppose -4 = q*o - 4*o, -o = -3*v + 157. Is v prime?
True
Suppose -4*w + 7*w - 2151 = 0. Is w composite?
True
Let f = -10 - -16. Let i = f + -4. Suppose -2*k + 50 = -3*y + 7, -113 = -5*k + i*y. Is k composite?
False
Let r = 1 - 1. Suppose p - 19 = -r*p. Is p a prime number?
True
Let b be (-2)/(-11) + (-194)/(-22). Suppose -3*f + 22 = -4*s, -4*f + 2*s + b = -37. Is f a prime number?
False
Suppose v + 3 - 13 = 0. Suppose 3 = 5*r - 2, r - v = -3*o. Is (-717)/(-6) + o/2 a composite number?
True
Let n = -7 - -13. Suppose 40 = n*k - k. Is 42/k - (-3)/4 a prime number?
False
Suppose -81 = -5*z - 21. Suppose -54 + z = -3*r. Is r a composite number?
True
Let v(h) = 4*h**3 - 5*h**2 - 3*h + 11. Is v(6) composite?
False
Let l(q) = q**3 + 19*q**2 + 11*q + 18. Is l(-15) a composite number?
True
Suppose 0*g - 15 = -c + 3*g, -3*c = -5*g - 25. Suppose -3*u + 74 + 67 = c. Is u composite?
False
Let j = 19 - -43. Is j prime?
False
Let f be -25*(0 + 228/(-10)). Suppose i = -2*z + 115, 2*i + 5*z - f = -3*i. Is i composite?
False
Let c be ((-1*3)/3)/(-1). Let m be 5*(1/c)/1. Is ((-2)/m)/(2/(-70)) a prime number?
False
Let m = 111 + -492. Let b = m - -700. Is b composite?
True
Let h = 832 + -201. Is h a prime number?
True
Let w(t) = -668*t + 5. Is w(-1) a prime number?
True
Let c(f) be the first derivative of f**3 + 7*f**2 + 14*f - 1. Let o = 5 - 16. Is c(o) prime?
True
Suppose 6*z = 14*z - 10024. Is z composite?
True
Let f(m) = 6*m**2 - 5*m - 17. Is f(12) composite?
False
Suppose -6*d + 8*d - 1958 = 0. Is d a composite number?
True
Let f = 10 + -7. Suppose s + l - 13 - 29 = 0, -2*s + f*l = -59. Is s a composite number?
False
Suppose -4 = t - 5*i, 0 = 2*t + 2*i - 0*i - 16. Let q = -32 + 40. Is q/(-12) - (-280)/t prime?
False
Let t be -3 + 3 - (227 + 1). Let c = -151 - t. Is c prime?
False
Suppose -529 = 6*h - 1597. Suppose c - 2*j - 40 = 2, -2*j = -5*c + h. Is c a prime number?
False
Let v(s) = 4*s**2 + 1. Let m be v(1). Let t = 72 + -37. Suppose -78 - 97 = -m*f - 5*o, -o = -f + t. Is f prime?
False
Is (-3 - -495) + (-5 - -4) a prime number?
True
Let o(g) be the second derivative of g**7/2520 - g**6/720 + g**5/120 + g**4/12 - g. Let f(j) be the third derivative of o(j). Is f(-6) composite?
False
Suppose -2*d + d - 35 = 0. Let l = 54 + d. Is l composite?
False
Suppose -4 = -a + b + 3, -b - 34 = -4*a. Suppose 4*v - 211 = a. Is v prime?
False
Let j = 356 + -133. Is j prime?
True
Suppose -2*g + 8 = 2*g, -2*s = -2*g + 48. Let x be (-4)/s + 8/(-44). Suppose 4*c - j + 0*j - 91 = 0, x = -2*c - 3*j + 49. Is c a prime number?
True
Let o be (-1 + 3 - 0) + 0. Let r(l) = -6 - l + l + 3*l + 3*l + l**o. Is r(7) a composite number?
True
Suppose 0 = -3*u + 30 - 9. Let z = 4 - u. Let h = 4 - z. Is h prime?
True
Suppose 4 = -q + 3*q. Let d(c) = -2*c**2 - c**q - c + 4*c**2 + 2. Is d(4) a composite number?
True
Suppose s + 16 = -2*x + 77, 2*x - 51 = -3*s. Let q = x - -25. Is q prime?
False
Let k(c) = -c**3 - 6*c**2 + 3*c + 9. Is k(-7) a prime number?
True
Let l be (12/(-2))/((-3)/2). Suppose 3*s - l*k = -7, 2*s + 43 = -3*k - 2*k. Let y = s + 15. Is y a composite number?
True
Let w = 23 + -14. Suppose m = w + 5. Is 65/7 - 4/m composite?
True
Suppose -2*g + 17 = -13. Is 214 - (-5)/(g/(-9)) a composite number?
False
Let w = 11 - 8. Suppose w = -2*i + 5*q, 0*i + 3*q + 9 = 3*i. Suppose -4*t = k + 2*k - 93, -2*t - i = 0. Is k a composite number?
True
Let t(p) = 159*p + 13. Is t(6) composite?
False
Let s(c) = c**2 - 13*c - 10. Let h be s(14). Suppose -2*i = 2*b - 514, 1 = h*b + 9. Is i a prime number?
False
Let l = 247 - -72. Is l prime?
False
Let l(d) = d**3 + 2*d**2 - 2*d + 2. Let f be l(0). Let v(u) = -u - 1. Let p(g) = -13*g - 3. Let j(s) = -p(s) + 6*v(s). Is j(f) prime?
True
Let d(l) = -11*l**3 + 4*l**2 + 2*l - 1. Let x be d(-2). Let a = 42 - 106. Let m = a + x. Is m prime?
False
Suppose -4*v = -w - w - 38, 0 = 4*w + 3*v + 21. Let n = w - -13. Suppose -31 = h - 2*h + n*p, 0 = -3*h - 2*p + 65. Is h composite?
False
Let c = 11 + -6. Suppose 0 = -5*s - 0 + c. Is 232/6 + s/3 a composite number?
True
Let l(p) = p - 4. Let f be l(4). Let c(h) = h**3 - h**2 + 15. Is c(f) composite?
True
Suppose -90 = 2*f - 7*f. Is f/45 - (-786)/10 a prime number?
True
Is ((-94)/(-4))/((-12)/(-24)) a prime number?
True
Let n be -4 + 1 + (3 - -6). Is 9/n*508/3 composite?
True
Suppose -d + 72 = -5*d. Is (d/(-30))/((-2)/(-790)) a composite number?
True
Let g be (-4)/(-14) - (-306)/7. Let v = 27 - 56. Le