e?
True
Let g(s) = 7*s + 4*s - s**3 + 6*s**2 - 1 - 6*s. Is g(-6) a composite number?
False
Let u(h) = -7*h - 3. Let q(v) = v + 1. Let i(x) = -6*q(x) - u(x). Let p be i(6). Suppose 48 = p*t - 9. Is t a composite number?
False
Let y(w) = -94*w - 19. Is y(-5) prime?
False
Suppose j - 813 = 4*s, -2*j + 2*s - 2467 = -5*j. Is j a prime number?
True
Let h(d) = -206*d - 7. Is h(-3) a composite number?
True
Let f = 383 + -172. Is f a composite number?
False
Let v(j) = -5*j**3 - 2*j**2 - 3*j + 1. Is v(-3) prime?
True
Let x(g) = 5 + 2 + g + 0 + 1. Let m be x(-4). Suppose 231 = m*s - s. Is s a prime number?
False
Is 1/((-1719)/861 - -2) a prime number?
False
Let i = 19 - -298. Is i a composite number?
False
Suppose -74 = -k + 22. Let g = k + -18. Suppose -n + 0*h = -h - g, 4*n - 306 = -2*h. Is n a prime number?
False
Suppose -3*d - 312 = -h, -5*d - 4 + 19 = 0. Is h prime?
False
Let r(n) = n**3 + 5*n**2 + 4*n + 4. Let x be r(-4). Suppose -2*u + 0 = -x. Suppose 5*s - 61 = 4*k, u*s = -2*s - 2*k + 28. Is s composite?
True
Suppose 2*k = 2*l - 176, 0 = -3*l + 4*k - 2*k + 265. Let a = l - -30. Is a prime?
False
Let b be 23/3 - 10/15. Suppose b*a - 3*a - 8 = 0. Is 4/(-8) + 21/a a composite number?
True
Let q(v) be the first derivative of 28*v**2 - v + 1. Is q(1) composite?
True
Let b(s) = 1437*s**2 - 2*s - 1. Let u be b(-1). Let m be (-5)/(-20) + u/8. Suppose 2*y = -g - m + 607, -3*y - 4*g + 653 = 0. Is y composite?
False
Let y = 21 - 21. Let m(d) = 14 - 4*d + 3*d - 3*d**2 + 4*d**2. Is m(y) a prime number?
False
Let n = -12 + 15. Suppose -130 = n*k - 619. Is k a composite number?
False
Suppose -3*z + 9 = -33. Is z composite?
True
Let b(y) = y**2 - y + 1. Let d(j) = 2 + j - 1 - 3*j**2 + 0*j. Let w(v) = 2*b(v) - d(v). Is w(2) prime?
False
Let w be 15*(32/(-12) + 3). Suppose 40 = w*y - 705. Is y a prime number?
True
Suppose 4*o = -5*m + 2*m + 3113, 4*o + 3121 = 3*m. Is m prime?
True
Let m(c) = 6*c**2 - 5*c - 10. Is m(5) a composite number?
True
Suppose 0 = -2*o + 4*o - 4*g - 50, 3*o - 5*g = 70. Suppose -4*w + o = w. Is ((-134)/3)/((-2)/w) a composite number?
False
Let n(j) = -j - 1. Let y = 13 + -8. Let k be n(y). Let f(b) = b**2 + 2*b - 1. Is f(k) composite?
False
Let c(l) be the third derivative of -l**6/120 - l**5/12 - l**4/6 - l**3/6 - 2*l**2. Suppose 0*a + 15 = -3*a. Is c(a) composite?
False
Let q(i) = 34*i + 20. Is q(9) composite?
True
Let m(k) be the third derivative of 25*k**4/12 + k**3/2 + 3*k**2. Is m(4) a composite number?
True
Suppose i = 3*v - 109, 4*v + 3*i - 58 = 2*v. Is v a composite number?
True
Let y(i) = 5*i**2 + 3. Let w(m) = -m - 4. Let v be w(-6). Let n be 4*(-1)/v*2. Is y(n) a composite number?
False
Suppose 5*t - 1046 = 2*k - 3*k, 5 = 5*k. Is t composite?
True
Suppose x + 2*t = 3 - 11, 20 = -4*t. Let r(n) = -35*n + x - 2. Is r(-1) composite?
True
Let y = -12 - 3. Let i be 5/(-2)*126/y. Is i + 2 + 9/3 a composite number?
True
Suppose -4*a + 4*c = 8, -c + 5 = -3*a + 3*c. Let u(k) be the second derivative of -k**5/10 - k**4/4 + k**3/6 - 3*k**2/2 + 5*k. Is u(a) prime?
False
Suppose -2281 = 3*q - w, 78 = q - 4*w + 831. Let j be (-2)/6 - q/(-3). Is (-2)/4*j*1 a composite number?
False
Let i(g) = g**3 + 31*g**2 + 50*g + 27. Is i(-20) a prime number?
False
Suppose -3*j + 4*t = j - 10532, 2*j - 5266 = -5*t. Is j composite?
False
Let x(m) = m**3 - 19*m**2 + 21*m + 23. Is x(18) composite?
True
Suppose -177 = -f + 712. Is f a prime number?
False
Suppose -12 = -5*n + n - 2*k, 0 = -2*k - 8. Suppose 852 = y + n*y. Is y a composite number?
True
Let j = 42 + -22. Let q = j - 10. Is q a prime number?
False
Suppose 2*h - 16 = 4*x, 0*x + 8 = 2*h - 2*x. Suppose 4*o + 5 - 89 = h. Is o prime?
False
Let m = 10 - -76. Is m prime?
False
Suppose -3*f + 20 = -f. Let y = f - 7. Let z(j) = 19*j - 4. Is z(y) a prime number?
True
Let a be (-2)/2*(-1 + 1). Let b(z) = 24 + 31 - z + a*z. Is b(0) a prime number?
False
Suppose 0 = -p + 4*i - 0*i + 947, 3*p = -4*i + 2889. Is p prime?
False
Let r(g) = -g + 5. Let d be r(0). Let i(n) = -n**3 + 8*n**2 + n + 9. Is i(d) a composite number?
False
Let s = -46 + 195. Is s prime?
True
Suppose 0 = 2*k - 5*p - 33, k + 2*p + 18 = 3*k. Is 0/(k - 2) - -115 a prime number?
False
Let o = 62 + 495. Is o a composite number?
False
Is 1262 + -1 + -10 + 8 composite?
False
Suppose 3*k = -4*q + 2*q + 1, -18 = -3*q + k. Suppose q*v - 310 = -3*a, -48 = -v + 4*a + 14. Is v a prime number?
False
Let b = -1 - -155. Is (23/2)/(7/b) a composite number?
True
Let y(l) = -l + 5. Let q be y(5). Let h(p) be the first derivative of p**4/4 - p**3/3 + 35*p - 5. Is h(q) prime?
False
Suppose -1356 = 3*o - 7*o. Suppose 0 = -2*b + 35 + o. Is b a composite number?
True
Let t = -7244 - -12543. Is t a composite number?
True
Let b(u) be the second derivative of u**4/4 - 4*u**3/3 - u**2 + u. Let d(s) = s**2 - 2*s - 1. Let q be d(4). Is b(q) prime?
True
Let y = 15 + -9. Suppose -i - 11 = 4*b, 19 = b - 5*i + y. Let t(w) = 2*w**2 + 3*w + 1. Is t(b) prime?
True
Suppose 5*o - 104 = -5*l + 126, 2*l + 8 = 0. Let g(t) = 21*t + 4. Let r be g(4). Suppose -k + 4*x + 37 = 0, -3*k + 3*x + o = -r. Is k composite?
True
Let v = 3 - 6. Let n be (-10)/v - 4/(-6). Let c(t) = 13*t - 3. Is c(n) a composite number?
True
Is 4/(-8)*2*-1 - -246 a composite number?
True
Suppose 5*l = 4112 + 363. Is l a prime number?
False
Let v(k) = -k**3 + k**2 + 2*k + 2. Let s be v(-2). Let h = s + 11. Is h a prime number?
False
Suppose 0 = 2*r + r. Suppose r = h + 7 - 4. Is ((-75)/(-9))/((-1)/h) a prime number?
False
Let t(j) = -j**3 + 7*j**2 + 2*j - 5. Let n be t(7). Let a = n + -6. Is 23/1 + -5 + a composite?
True
Let t(s) = -s**2 - s + 217. Suppose 3*a = -4*k - 0*a - 6, -2*k = -5*a - 10. Is t(k) a composite number?
True
Suppose 3*a + 486 = 123. Is -4 + (0 - 2 - a) a prime number?
False
Let o(u) = -u - 5. Let m = -6 + 1. Let v be o(m). Is -2 + v + 1 + 50 composite?
True
Let n be 1*(-16 - (-3 - -3)). Let p = n - -29. Is p prime?
True
Suppose -7*t = -5*t - 6182. Is t a prime number?
False
Let n = 6 - 12. Let c = 154 + n. Suppose -5*f + f = -c. Is f prime?
True
Suppose 4*h - 6 - 14 = 0. Suppose 3*n - h*n = -24. Is 2/6 - (-32)/n a prime number?
True
Let a = -15 + 18. Let t be -2 + 36 + (-1)/(-1). Suppose -a*x + 140 = t. Is x a composite number?
True
Is (-4)/10*-1 + (-1653)/(-5) a prime number?
True
Suppose 466 = 2*x - 5*o, 434 = x + x + 3*o. Is x composite?
False
Suppose 3*d - v = -2*d + 18, -2*v = 2*d. Suppose -k + 240 = d*k. Is -3*(-2 - k/9) prime?
False
Let v(s) = -14*s - 7. Is v(-3) a prime number?
False
Suppose -3077 - 776 = -5*w - 4*y, y = 4*w - 3074. Is w a prime number?
True
Suppose -t + 2 + 0 = 0. Suppose 5*r - 3*c = 281, t*c - 103 = -3*r + 58. Is r a composite number?
True
Let t = -10 + 7. Is t + 2 - (-1 - 121) a composite number?
True
Suppose 0 = -3*y + 7*y - 664. Is y prime?
False
Let u be (3 - 5/2)*4. Let o(w) = -1 + 9*w**u - 2*w**3 - 3*w**3 - 2*w + 4*w**3. Is o(6) a prime number?
False
Suppose 0 = 6*x - 299 - 919. Is x a prime number?
False
Let h(d) = d**3 + 1. Let s be h(1). Let k be 5/3 + 2/6. Suppose 4*t - s*n - 126 = 84, k*t = 4*n + 102. Is t a composite number?
False
Is (-4486)/(-10) + 2/5 composite?
False
Suppose o - 5*l = -46, 3*l + 35 = -2*o - 18. Let m = 2 - o. Is m a composite number?
True
Suppose -6*z = -4*z + 16. Suppose -92 = 4*x + 88. Let t = z - x. Is t a prime number?
True
Suppose -j + 6 = 2*j. Suppose j*q - 618 = 4*l, -5*q + 1470 = 3*l + 2*l. Is q a prime number?
False
Let p = 4115 + -2316. Is p composite?
True
Let z be 10*-1*(-2)/(-4). Let n(s) be the first derivative of -4*s**2 - 3*s - 4. Is n(z) a composite number?
False
Let i(w) = -3*w - 10. Let b = -6 + -2. Is i(b) composite?
True
Let d(l) = -3*l + 1. Let g be d(1). Is (-71)/g - 3/6 a composite number?
True
Let n(k) = 5*k**2 + 5*k + 11. Is n(-5) a composite number?
True
Suppose -2*c + 856 = -42. Is c composite?
False
Let g(n) be the first derivative of n**3/3 - n**2/2 + 5*n + 1. Let c be g(-4). Let m = -3 + c. Is m a prime number?
False
Let v = 11 - 7. Suppose -v*b = -2*j + j + 135, 3*j = 5*b + 377. Suppose -5*w + 96 + j = 0. Is w prime?
True
Let m(h) = -h**3 + 5*h**2 - 4. Let o be m(5). Let n = 4 + o. Suppose -2*j - 5 + 19 = n. Is j a composite number?
False
Let i(x) = -3*x + 1. Let t be i(2). Let v = t + 10. Suppose 2*u + j 