e number?
False
Let k(h) = -h**3 - 3*h**2 + 8*h + 9. Let l be k(7). Let f = l - -816. Is f composite?
True
Let l(j) = 11*j - 6. Let n(v) = 12*v - 5. Let y(b) = 5*l(b) - 6*n(b). Let h be y(-1). Suppose 2*z = h + 45. Is z a composite number?
False
Is 3 - 0 - (-9 + -3) a composite number?
True
Let d be (-1 - -5) + (-10 - -11). Suppose 20 = -4*p, -2*w + 6*w - p - 181 = 0. Suppose -d*a + 2*h + 189 = 0, -26 = -2*a - 2*h + w. Is a a composite number?
False
Let y be 2/(-8) + 130/8. Suppose -2*c - y = 2*c. Is (1884/18)/(c/(-6)) a composite number?
False
Let v(o) = 80*o - 3. Is v(4) a prime number?
True
Suppose -48 = -0*n - 2*n. Suppose -j + 146 = 5*m, 4*j = m - j - n. Suppose 126 = z + m. Is z a composite number?
False
Suppose -2*w = 763 - 2577. Is w composite?
False
Let w = 7 + -2. Let y(h) be the second derivative of -h**4/12 + h**3 + 3*h**2 + 3*h. Is y(w) composite?
False
Is 1/((-9)/2) + 23483/9 a prime number?
True
Let f(i) = -4*i + 1. Let l(g) = -g**2 + 5*g. Let u(j) = -5*f(j) - 4*l(j). Is u(11) a prime number?
True
Suppose 12 = 11*o - 9*o. Suppose -323 = -3*s - 23. Suppose -2*c + o = -s. Is c a prime number?
True
Suppose -5*x + 8*x - 993 = 0. Is x prime?
True
Let u = -68 - -24. Let b = 20 + -117. Let r = u - b. Is r a composite number?
False
Let m(b) = -b**3 - 6*b**2 - 4*b - 5. Let r be m(-5). Let v = -16 - 13. Let f = r - v. Is f prime?
True
Suppose 0 = 5*q - 954 - 941. Is q a prime number?
True
Let c(z) = -z. Let u be c(-4). Suppose -5 = -l, 2*j - 267 = u*l + 119. Is j a composite number?
True
Let u(a) = 110*a**2 + a. Is u(1) a composite number?
True
Let l(t) = -3*t - 1 - t**3 - 2*t**2 - 10*t**3 - t + 2*t. Let k(i) = i**3. Let s(f) = 6*k(f) + l(f). Is s(-1) composite?
True
Suppose 2*a + 5*w - 31 = 0, -5*w + 12 = -13. Suppose 2*c - 8 = 0, o = c + a*c + 463. Is o a prime number?
True
Let c be (-3)/(-45)*3*5. Let j = 1 + c. Let o(i) = 43*i**2 - 3*i + 3. Is o(j) a prime number?
False
Let n(m) = 2*m**3 + m**2. Let c be n(1). Suppose d = 3*u + 1, 5*u - 5 = -c*d + 8*d. Let j(r) = 3*r**2 - r. Is j(d) a composite number?
True
Suppose 2*m + 9 = 51. Is m a composite number?
True
Let y be 3/((-5)/(20/(-6))). Suppose 2*w - 6 = -2*p, y*w - 6*w - 3 = -p. Let a(i) = i**2 + i + 113. Is a(w) prime?
True
Let d = -12 - -13. Let w(y) = 86*y**3 + 1. Is w(d) a composite number?
True
Let v(j) = 24*j + 2. Is v(5) prime?
False
Let v be (0 - -1)/((-2)/(-156)). Suppose -3*z + 0 = -v. Is z a composite number?
True
Suppose 4*n = 2*n + 10. Suppose 10*s + 20 = n*s. Is 22/s*(7 + -21) prime?
False
Let i(r) be the first derivative of -9*r**2/2 - 17*r + 2. Is i(-16) a prime number?
True
Let j(f) = f - 4. Let x be (2 - 0)/(1/2). Let t be j(x). Suppose w - 4*d - 159 = 0, -5*w + t*w + 5*d = -720. Is w prime?
True
Let m(u) = 3*u + 1. Let k be m(-2). Let o = -3 - k. Suppose -2*f - 31 = -5*f - o*a, -5*a + 46 = 3*f. Is f a composite number?
False
Is -1 - (-3 + (-132 - -1)) a composite number?
True
Suppose -1164 = -j - 205. Is j a prime number?
False
Let m(f) = -f**3 + 1 + 2*f**3 - 28*f**2 + f + 24*f**2. Is m(5) prime?
True
Let k be (-2)/(-8) - 13/4. Let c(h) = -6*h - 4. Let l be c(k). Let d = 0 + l. Is d a prime number?
False
Suppose -12221 + 1415 = -6*y. Is y a composite number?
False
Let p = -144 + 232. Suppose -42 = -2*q + p. Suppose -4*t = -123 - q. Is t a composite number?
False
Suppose 6*f - f - 47635 = 5*b, 47635 = 5*f + 2*b. Is f prime?
False
Let u(l) = 7*l**2 - 23*l - 5. Is u(7) a prime number?
False
Suppose -2*f + 1971 = 5*d, 0*d = -4*d - 2*f + 1576. Is d prime?
False
Let o(d) = d + 92. Let c be o(0). Suppose -3*q = -7*q + c. Is q a composite number?
False
Let g = 16 - 11. Let c = 6 - -14. Suppose 3*w - g*w = -c. Is w prime?
False
Let o(x) = -x - 8. Let r be o(-6). Is 85 - 7/(7/r) a prime number?
False
Let x(f) = 3*f**2 + 8*f - 5 - f - 4*f. Is x(-4) prime?
True
Suppose -4*w - 5*x + 2 = 0, -x - 4 + 0 = 3*w. Is w - (8*-1)/1 a prime number?
False
Suppose -2*c + 51 - 13 = b, 0 = 2*b - c - 66. Is b composite?
True
Let w(v) = 3*v**2 + 4*v - 48. Is w(7) composite?
False
Let j(z) = 85*z**2 + 2*z - 1. Is j(4) a composite number?
False
Let y = 4469 - 3184. Is y a prime number?
False
Let d(g) = -19*g + 4 - 10*g + 12*g. Is d(-3) composite?
True
Let o = 4238 + -1441. Is o a prime number?
True
Let m(q) = 7*q + 0*q**3 + 2*q**3 - 4 - 6*q**2 + 2*q**2. Let j be m(4). Suppose -3*i + 5*a + j = 0, 5*i - 2*a - 16 - 118 = 0. Is i a prime number?
False
Suppose -5*f - b - 340 = 4*b, -5*b = 0. Suppose -4 = -4*l - 472. Let m = f - l. Is m a composite number?
True
Suppose -5*i = -2*f - 23, 3*f + 0*i = i - 2. Let q be f*-3 - -1 - -32. Suppose 0 = 2*m + m + 5*d - q, 5*m - 4*d - 50 = 0. Is m a composite number?
True
Let r(d) = d**3 + d. Let m be r(1). Suppose p - 3 = -m. Is (-10)/2*p*-11 a prime number?
False
Let o be (-10)/(-4)*24/15. Let p = o + 1. Suppose -3*a + l + 57 + 57 = 0, -15 = -p*l. Is a composite?
True
Suppose -3*m - 3*t = -2649, m = -2*t + 3*t + 873. Is m composite?
True
Let t(i) be the third derivative of -i**5/60 - 13*i**4/24 + 5*i**3/3 - i**2. Suppose 5*x - c + 39 = -21, -2*c = -x - 12. Is t(x) a prime number?
False
Let a(h) = -h**3 + 10*h**2 - h + 10. Let z(w) = w**2 - w + 1. Let u(n) = -a(n) + 5*z(n). Let m be ((-8)/(-10))/((-8)/(-60)). Is u(m) a prime number?
True
Let i(w) = 23*w**2 - w - 1. Suppose -4*b = 3 + 9. Is i(b) composite?
True
Let w(a) = -a**3 + 9*a**2 + 11*a - 3. Is w(8) a composite number?
False
Suppose 35 = -5*o + 5. Let c = 8 + o. Suppose -c*p = 3*p - 655. Is p a prime number?
True
Is (-1358)/4*(-3 - -1) a composite number?
True
Suppose 0 = 3*r + r - 3*g - 8, 0 = g. Suppose r*d + 380 = 2*a, -a = -5*d - 187 + 1. Is a a composite number?
False
Let a(m) be the second derivative of -m**5/20 - 7*m**4/12 - m**3/2 - 4*m**2 + m. Let l be 5 + -2 - 10/1. Is a(l) prime?
True
Suppose 8*p - 4*p - 2348 = 0. Is p a prime number?
True
Let t(l) = 11*l - 20. Is t(9) a composite number?
False
Let u = 130 - 93. Is u composite?
False
Suppose -4*x - 73 = -549. Is x prime?
False
Let f(h) = -h**2 + 18*h + 7. Is f(6) a prime number?
True
Let j(h) = 18*h + 7. Is j(6) a prime number?
False
Let w(o) = o**3 - o + 8. Let d be w(0). Suppose -5 = -x + d. Is x composite?
False
Let r = 197 + 17. Is r a composite number?
True
Let u(s) = 35*s - 11. Is u(6) a prime number?
True
Let n = -203 + 329. Suppose -4*r = -2*r - n. Suppose 2*w + 5*p - 266 + r = 0, -w - 2*p + 99 = 0. Is w composite?
False
Let s(q) = -8*q - 7. Let y be (0 - 1)/(6/36). Let t be s(y). Suppose u = t - 6. Is u composite?
True
Is ((-2)/2)/(13/(-1885)) composite?
True
Suppose 0 = g + 5, 0 = 4*f + f - 3*g - 125. Suppose -f - 1 = -u. Is u prime?
True
Let a(x) be the second derivative of 0 - 2*x + 1/6*x**3 - 1/2*x**4 + 3/20*x**5 - 3/2*x**2. Is a(4) prime?
True
Let t be (20/6)/((-2)/(-3)). Suppose -t*h + 2*w + 93 = -68, 0 = -2*h - w + 59. Is h a prime number?
True
Suppose 4*i - 3030 = 838. Is i a prime number?
True
Suppose -2*b - b + 12 = 0. Let v be (b + -2 - 2)/(-2). Suppose 2*p = -v*p + 12. Is p a composite number?
True
Let b = 1 - -3. Suppose 3*v = -2*c + 26, b*c - 3 = -4*v + 29. Is v prime?
False
Let c = -2 + 1. Suppose 4*i - 44 = -0. Let j = c + i. Is j a composite number?
True
Let q(k) = 3*k**2 - 4*k + 3. Suppose 12 = 4*p - 5*x, 5*p - 6 = 3*p + 4*x. Let c(u) = -4*u**2 + 4*u - 3. Let w(o) = p*q(o) + 2*c(o). Is w(8) prime?
False
Let w(q) = -q**2 + 4*q + 1. Let v be w(4). Let u = 3 - v. Suppose u*o = -4*k + 308, -3*k + 2*k = 2*o - 71. Is k composite?
False
Suppose -t + 0 = 1. Is (-72)/(t + -2) - 2 prime?
False
Let i be (9/(-3) - -4) + 522. Suppose -4*p - 6*v + i = -v, -375 = -3*p + 2*v. Is p a prime number?
True
Suppose 0*t + 11 = 5*t + b, -23 = -5*t + 2*b. Suppose -5*i - t*n + 7 = 0, 0*i - 4*i + 10 = -2*n. Is 1/(2/10) + i a composite number?
False
Suppose 4*x - 5*n = 3571, -n = -5*x - 3*n + 4439. Is x a composite number?
True
Let t = -487 - -947. Suppose 0*w - t = -4*w. Is w a prime number?
False
Suppose p + p + 2 = 0. Let j be 17 + p + 0/3. Let l = j - -5. Is l prime?
False
Let r(i) = 16*i**2 + 8*i - 7. Is r(-8) a prime number?
True
Suppose v + 33 = -2*v - 4*b, 4*b = -4*v - 40. Let j(w) = w**3 + 7*w**2 - 8*w - 3. Is j(v) prime?
True
Is -5*368/(-6) - 19/(-57) a prime number?
True
Suppose -8 = -r - 5. Suppose h - r*h = -226. Is h a prime nu