e?
True
Let v = -616 - -978. Let w = 5205 - v. Is w prime?
False
Let w(v) = v - 4. Let t be w(-4). Let a be t/20 - (-1692)/5. Suppose 160 = 2*n - a. Is n composite?
True
Suppose -5*c = -12 + 2. Suppose -c*m = 7*m - 1593. Is m a prime number?
False
Let n = 7927 - 4662. Suppose -2*z = -7*z + n. Suppose o = 2*k + 2*k - z, 5*k - 813 = -2*o. Is k prime?
True
Let k(p) = -p + 3. Let t be k(-4). Suppose -t*l = -1774 - 823. Is l a composite number?
True
Let b = 12 - 14. Let r be (-7 + b)/(9/6). Is (-4 - r) + (167 - 0) prime?
False
Let p(w) = -5*w - 10. Let x be p(-3). Suppose 0 = x*j - 2*c - 7568, 3032 = j + j + 4*c. Is j composite?
True
Let f(a) = 14*a - 78. Let h be f(6). Suppose 8312 = h*i - 7930. Is i prime?
True
Suppose -3*s - 401 - 54 = -v, -4*v - 5*s + 1769 = 0. Let r be 2 + -1 + (-288)/1. Let t = r + v. Is t prime?
False
Let q(y) = -3*y + 17. Let p be q(7). Is (474/p + 2)*-2 composite?
False
Let l(d) be the third derivative of -8*d**2 + 0 + 7/24*d**4 - 2/3*d**3 + 0*d. Is l(5) composite?
False
Let c(w) = -11*w**3 - 2*w - 1. Let i be c(-1). Let r = 8 - i. Is r/6 + (-10654)/(-42) a composite number?
True
Is 2/24 - 17686/(-24) composite?
True
Suppose 0 = 3*d - 3, 5*z - 2*d - d = 17. Suppose -16 = 2*j + 4*g, z*g + 9 = 4*j - 19. Suppose 51 = x + 4*b, -3*x - 3*b + 153 = j*b. Is x a composite number?
True
Let s(i) = -3*i**3 + 5*i**2 + 4*i + 5. Suppose -2*q = -4, -4*w + 0*q = -q + 14. Is s(w) prime?
False
Let w(b) = -271*b**3 - 2*b**2 - 11. Let l(x) = 135*x**3 + x**2 + 5. Let z(v) = 13*l(v) + 6*w(v). Let g be 6/21 - 5/(-7). Is z(g) prime?
False
Let n(h) = h + 6. Let s be n(4). Let q(d) = 7*d + 17. Let r be q(s). Suppose 0 = -g + r - 20. Is g a prime number?
True
Let s(q) = 40*q**2 + 19*q + 35. Is s(-6) a prime number?
True
Let a = -2627 - -3706. Is a composite?
True
Suppose -87 - 56 = 5*n - l, -68 = 2*n + 5*l. Let j = n + 186. Is j prime?
True
Suppose 0 = -4*y + 2*y + 32. Let c be 624/(-10) - y/(-40). Let m = c + 127. Is m a composite number?
True
Suppose 0 = -10*h + 232280 + 108290. Is h a composite number?
False
Suppose -2*j = 3*j + 5*h - 1210, 0 = j - 5*h - 272. Suppose 5*r = -s + 520, -266 = -s + 2*r + j. Is s a composite number?
True
Let h(z) = 6*z**2 + 12*z + 12. Let o be h(-9). Let b = -97 + o. Is b a prime number?
True
Let q be -267*(-3 + 2)*(-2)/(-3). Suppose 131 = y - q. Is y a composite number?
True
Let w(n) = 6*n - 3. Let k = -7 + 10. Let p be w(k). Is 340/p - (-1)/3 a prime number?
True
Let b be ((-44)/(-4))/((-3)/6). Let j = -24 - b. Is (194/4)/((-1)/j) prime?
True
Is 2/4 + 28266/4 composite?
True
Suppose 11*j - 16 = 7*j. Is 4/(-6)*(-3126)/j a composite number?
False
Is 474378/(-15)*(-140)/56 a prime number?
True
Let u = 12 - 7. Suppose 5*s - u = -30, -2*n + 904 = -2*s. Is n prime?
False
Let g(j) = 3*j + 38. Let n be g(0). Suppose 1901 = -37*v + n*v. Is v a composite number?
False
Let v be (119/(-14))/((-1)/2). Let b = v - 12. Let h(c) = 18*c - 7. Is h(b) composite?
False
Suppose 0 = -s - 3, 4*z - s = -5*s + 32. Let o = -4 - z. Is 745/2 - o/30 composite?
False
Suppose -4*g - 8 = 12, 0 = 5*m - g - 30590. Is m composite?
True
Suppose o + 23 = r - 3*o, 0 = -o - 5. Suppose r*t - 17 = -2*s, 4*t - 5*s = -s + 16. Suppose -i = -t*i - 16, 3*n = -5*i + 1378. Is n a composite number?
True
Suppose h = f + 1384, 0*h = h + 3*f - 1372. Is h composite?
False
Let q = 9 + -32. Let b = q - -20. Let y(v) = -4*v**3 - 2*v**2 - v + 1. Is y(b) a prime number?
False
Suppose 0 = 47*z - 37*z - 9770. Is z a prime number?
True
Let u be (-1)/(-3) + 748/33. Suppose 7 = -4*w + u. Suppose f - 56 = -2*r, -3*f + 43 + 75 = -w*r. Is f composite?
True
Let u be ((-94)/(-4))/((-11)/22). Let p = 2 - u. Is p a composite number?
True
Let t(h) = h**2 - 4*h + h - 1 + 4. Let z be t(3). Is z/2*(-2370)/(-45) prime?
True
Suppose 5*i + 46 = 1866. Let d = 541 - i. Is d prime?
False
Suppose -45 = -3*w + 3*y - 0*y, -5*y = 15. Suppose w - 9 = i. Suppose -2*o + 4*f = -46, -i*o + 0*f - f + 104 = 0. Is o composite?
True
Suppose -123 = -5*n - 4*y, n = y + 6 + 24. Suppose 0 = 30*m - n*m - 3183. Is m prime?
True
Let c(m) be the third derivative of 2*m**5/15 - 5*m**4/24 - m**3/2 - m**2. Suppose 4*i + x = -17 - 1, 6 = -3*i + 3*x. Is c(i) a composite number?
True
Suppose -f - 4*k + 1104 = -555, 8272 = 5*f - 3*k. Is f a prime number?
False
Suppose -j = 3*o - 6*j - 19, 4*o - 6 = -3*j. Let g(s) = -2*s**2 - 9*s + 16*s**2 + o - 13. Is g(9) a prime number?
False
Let w(g) = -g**3 + 11*g**2 - 2*g + 0*g - 14 - 13 + 0. Is w(10) prime?
True
Let t = -104 - -108. Suppose 0 = -5*j + 2*s + 11467, -2*s = -2 + t. Is j composite?
False
Let t(h) be the first derivative of 22*h**3/3 - 5*h**2/2 - 2*h - 33. Let o = -9 + 6. Is t(o) a prime number?
True
Suppose 50*i = -16*i + 505758. Is i a composite number?
True
Suppose 0 = -d + 164 + 51. Suppose 0 = -45*t + 46*t - d. Is t a composite number?
True
Suppose a + 28 = 8*a. Suppose 381 = v - 0*v. Suppose a*l - 7*l = -v. Is l a composite number?
False
Let a = -55 + 60. Suppose 4*p - z - 826 = -106, a*z + 736 = 4*p. Is p a composite number?
False
Let p = -28724 - -56025. Is p a composite number?
True
Let u be -1 - -5 - 1 - -1. Suppose 6*p + 27 = p - 3*x, -4*x = -4*p + u. Is (p - 27)/2*-1 a prime number?
False
Let y = -1648 - -3531. Is y a prime number?
False
Let w(f) = f - 3. Let x be w(3). Suppose x*j = 2*j + 28. Let u = j + 35. Is u a prime number?
False
Suppose -3*f = -6*f + 12. Suppose f*d - 4506 = -2*d. Is d prime?
True
Let x(h) = h**3 + 11*h**2 - 7*h - 17. Let q be x(-7). Let a = 322 - q. Is a prime?
False
Let i = 41699 + 13190. Is i a prime number?
False
Suppose 3*q - 25 = -6*s + s, -5*s = 2*q - 30. Let d = -4 + s. Suppose 4*j = d*y + 1812, 0 = 2*j - y - 539 - 365. Is j prime?
False
Let l(d) = -4596*d**3 + d**2 - 4*d - 4. Is l(-1) a prime number?
True
Let x = 4148 - 519. Is x a prime number?
False
Suppose -25232 = 5*u - 192267. Is u composite?
True
Suppose -6 + 6 = -10*c. Suppose 2*h = -c*h + 2458. Is h composite?
False
Suppose -3*p - s + 54121 = -0*p, -72174 = -4*p + 5*s. Is p prime?
True
Let m be (54/(-24))/((-1)/(-12)). Let o = 154 + m. Is o prime?
True
Is (13 - 8)*(1310 - 3) prime?
False
Let y(t) = -t**2 - 5*t + 9. Let c be y(-6). Suppose 5*b = -5, -c*d + 5*d - 4*b = 768. Is d a prime number?
False
Suppose -1005 = -6*z + 3615. Let t = z - -17. Is t composite?
False
Let d = 48 + -46. Is (3 + -4 - -531)/d a composite number?
True
Suppose 0 = -3*h - 955 - 836. Let z = -280 - h. Is z a composite number?
False
Let r(c) = 4*c**2 - 10*c + 9. Let b(d) = -3*d**2 + 5*d + 6. Let s be b(-2). Is r(s) a composite number?
False
Suppose -23*h = 6*h - 177799. Is h composite?
False
Let p(h) = -h**2 + 3 + h**3 - 8*h + 6 + 2*h**3. Is p(5) a prime number?
False
Let o(d) = 23*d**3 + 14*d**2 - 8*d + 5. Is o(6) a composite number?
True
Let l(d) = d**3 - 7*d**2 - 9*d + 8. Suppose 4*z + 0*z = 5*u - 28, -4*u + 38 = 2*z. Let w be l(u). Suppose w = 3*m - 9, -4*v + 2*m + 0*m = -3678. Is v prime?
False
Let z be (12 - 16)*(-35)/4. Let n = z + -27. Is 212/n*6/3 composite?
False
Suppose q + r + 1560 = 0, 0*q - r = -3*q - 4676. Let t = 3292 + q. Is t prime?
True
Suppose h = 2*x + 103, -x = -5*h + x + 499. Suppose h = 3*w + 3*i, -2*i = -2*w - 0*i + 74. Is w prime?
False
Let u = -9 - -15. Is 9/(-6)*((-148)/u - 0) prime?
True
Let a(y) = 102*y**3 - 7*y**2 - 6*y - 30. Is a(5) composite?
True
Let r be (-222 - -1)/(2/10*-1). Suppose x = -5*p + r + 386, 0 = -3*x - 2*p + 4525. Is x a prime number?
True
Suppose 15*l = 20*l - 4*w - 82781, 33113 = 2*l - w. Is l a composite number?
True
Suppose -13*c = -6*c. Suppose 3*r = -2*q + 4625, c*q + 2*r + 2323 = q. Is q a prime number?
False
Let s(y) be the second derivative of -y**5/20 + y**4/2 + 4*y**3/3 - 9*y**2/2 + 2*y. Let g(c) = -c**3 - 10*c**2 - 16*c + 6. Let l be g(-8). Is s(l) composite?
True
Let t = -9 + 5. Let q = t - -6. Suppose -q*w + w = -74. Is w prime?
False
Suppose t - 5*i = -2*i, 2*t + 2*i + 8 = 0. Let c = t - -8. Suppose 0 = c*n + 724 - 2619. Is n a composite number?
False
Suppose m = 2*m - 3*m. Let o(a) = 12*a + 571. Is o(m) prime?
True
Let l = -22281 + 45638. Is l a prime number?
True
Is -6 + (-6 - -3) + (7331 - 1) a composite number?
False
Let o be 993 - (28/4 - 3). Let h = 1963 - o. Let w = h - 87. Is w a composite number?
False
Let o(f) = -f**3 + 