e number?
False
Let z(x) = x**3 + 2*x**2 - 5*x - 4. Let v be z(-3). Suppose -2*c - v = -24. Suppose -g + 34 - c = 0. Is g a composite number?
False
Let a(p) = p**3 + 5*p**2 + 6*p + 5. Let u be a(-4). Let j be 1 + (1 - 3)*u. Suppose -5*k + 864 = 4*l, -2*k + j*k - 653 = -3*l. Is l a composite number?
False
Let k(m) = -17*m + 2. Suppose 4*q + c - 17 = -q, c + 10 = 4*q. Let n be k(q). Let b = 128 + n. Is b prime?
True
Let q(p) = -8*p + 3 - 2 - 2. Let a be (4 - 6) + 0/(-1). Is q(a) composite?
True
Is 2/(-3 + (-3792)/(-1893) + 1) a composite number?
False
Suppose 10*a - 28789 = 1481. Is a a composite number?
True
Let t = 112 - 20. Suppose t = 2*x + s, 0 = -3*s + 8*s. Is x composite?
True
Suppose l + 22 = 4*r + 4*l, 3*r + 4*l = 20. Suppose -2*d - 327 = -5*t, -r*t + 7*t - 2*d = 197. Is t a prime number?
False
Let q(t) = -3*t**2 + 13*t + 13 - 6 + 8*t + 2*t**2. Is q(9) prime?
False
Let w(x) = -x + 11. Let g(m) = -5*m - 5. Let v be g(-5). Suppose -v = -i + 3*i. Is w(i) a prime number?
False
Suppose 760 = 7*s - 2*s. Let f = s - 101. Is f prime?
False
Suppose 0 = -m - 2*n - 7, 3*m = 2*m - 5*n - 22. Suppose -m*q - 415 = -8*q. Is q a prime number?
True
Let v(y) = 142*y - 11. Is v(4) prime?
True
Suppose 0 = 5*j - b - 249, -3*b - 53 = -j - 2*b. Suppose j - 265 = -s. Suppose 0 = 4*r - r + c - 234, -3*r = -5*c - s. Is r composite?
True
Let p(c) = -8*c**2 - 3*c - 6. Let m(v) = -8*v**2 - 3*v - 7. Let i(f) = 4*m(f) - 5*p(f). Is i(5) a prime number?
False
Let g(p) = 2*p + 7. Let t be g(-6). Let u = t + 13. Let w(m) = 3*m + 7. Is w(u) prime?
True
Let y = -5 - -8. Suppose -4*g - y*x + 81 = 0, -x - 37 = -2*g - 6*x. Suppose -g = -4*s + 127. Is s prime?
True
Suppose -b = -3*j - 181, -5*j + 752 = 4*b - 3*j. Suppose -n + 34 = -b. Is n a composite number?
True
Let j = 134 + 528. Is j composite?
True
Let k(n) = 21*n**2 + n - 1. Is k(1) a composite number?
True
Suppose 5*i + 3*h = -4212, 0*i - h - 1685 = 2*i. Is i/(-27) + 4/(-18) composite?
False
Let a be (-6)/(-3) + -2 + 59. Let z be (-9 - (2 - 4)) + -1. Let p = a + z. Is p prime?
False
Let h be -20*(1 - (-47)/(-5)). Suppose q - h = -q + 2*p, -5*p + 291 = 4*q. Is q a composite number?
False
Let u(w) = -w**3 - 6*w**2 - 5*w - 1. Is u(-10) prime?
True
Let j = -7 - -8. Let g(o) = -135*o - 1. Let m be g(1). Is m/(-12)*3*j a composite number?
True
Suppose -5*f = -20, -j = 5*f - 0*f - 25. Is 56/j - 8/40 a prime number?
True
Let y(f) = 2*f + 5 + 0*f - 4*f. Suppose 3*l + 16 = -l. Is y(l) prime?
True
Let n = -103 - -154. Is n a composite number?
True
Suppose 47*a = 56*a - 5157. Is a a prime number?
False
Let v = -6602 - -11641. Is v composite?
False
Let d = -6 - -2. Let t be 2/(-5) - d/10. Suppose t = -2*k - k + 57. Is k a composite number?
False
Suppose -3*f = -3*v + v + 227, -5*v - 4*f + 579 = 0. Is v a prime number?
False
Suppose -2*y - y = j - 503, y - 4 = 0. Is j prime?
True
Suppose -20 + 2 = -3*q. Let y(t) = 4*t**2 - 5*t - 3. Is y(q) a composite number?
True
Let t(f) = f**2 + f. Let r(o) = -16*o**2 - 4*o - 3. Let c(i) = -r(i) - 4*t(i). Is c(-3) composite?
True
Suppose -6*s + 45 = -s. Let g(p) = p**2 - 2*p + 4. Is g(s) a prime number?
True
Suppose -2*m = 3*m - 10. Let a be -3 - -5 - (m + -2). Suppose -a*r - 2*b = 2*b - 182, -5*r = -b - 488. Is r a prime number?
True
Let o(v) = -6*v + 3. Suppose 5*s - 7 = -22. Is o(s) a composite number?
True
Suppose -4*w + 4*o + 116 = 0, -o + 3*o - 66 = -2*w. Is w prime?
True
Let g(s) = -s - 5. Let u be g(-5). Suppose u = -3*r + 2 - 44. Is (-4)/r + (-1401)/(-21) a prime number?
True
Let g(c) = -9*c - 1. Let q = -2 - -4. Let n be q/4 - (-18)/(-4). Is g(n) composite?
True
Let q(z) = -z**2 + z + 4. Let k be q(0). Let c = -2 + k. Suppose 31 = -2*f + 3*f + c*x, 5*x = f - 3. Is f prime?
True
Let y(t) = 67*t**3 - t**2 + t. Let q(l) = l**2 + 9*l + 9. Let o be q(-8). Is y(o) prime?
True
Let p(s) = -s**3 - 5*s**2 + 4*s + 12. Let q(g) = g**3 - 8*g**2 - 10*g + 1. Let t be q(9). Let a be p(t). Let x = a + -45. Is x composite?
False
Let d be 0/(-1) + 1 - -1. Suppose -2*c - s = -666, -670 = -2*c + d*s - 4*s. Is c a prime number?
True
Suppose 7*z - 4*z = 789. Is z a composite number?
False
Let a(p) be the second derivative of -p**4/12 - 4*p**3/3 + 3*p**2 + 2*p. Let x = 1 + -8. Is a(x) prime?
True
Suppose t = o + o + 38, -3*t + 76 = -4*o. Let m be o/2*(-3 + 5). Is (m/2)/((-1)/2) a composite number?
False
Let w = 3 + -3. Let m(s) = -2*s**2 + 23 + 36 + 4*s**2 - s**2. Is m(w) prime?
True
Suppose -5*w = 3*w - 10888. Is w a prime number?
True
Let x = 47 + 6. Is x a prime number?
True
Suppose 3*k - 10 = 2*u, 3*k - 5*k - 4*u + 28 = 0. Suppose 2*f = k*f. Suppose 0 = 2*s + 3*d - 57 - 277, -d = f. Is s composite?
False
Let a(q) = -25*q + 2. Let j(u) = 8*u - 1. Let x(d) = 3*a(d) + 8*j(d). Is x(-5) a composite number?
False
Let y(x) = -x**3 + 7*x**2 + 4*x - 3. Is y(-4) prime?
True
Let l(x) = x - 3. Let u be l(-4). Let g be -2 - u*(-3 - -8). Is g - (-2 + 3 + 1) a prime number?
True
Let u be 37 + (-1)/2*2. Let t = u - -91. Is t a prime number?
True
Let d = -4 + 9. Suppose 2*r - r - 93 = -2*t, t - 69 = -d*r. Suppose b = -b + t. Is b prime?
False
Let f be 1/(-3) - (-1)/3. Suppose f = 5*n + 4*y - 3*y, 3*n + 2*y = 0. Let z(j) = -j**2 - j + 6. Is z(n) a prime number?
False
Let y(v) = -v**3 - 4*v**2 + 2*v - 7. Let t be y(-5). Suppose 5*l + 12 = s, -s + 0*l = 5*l + t. Is (5 - s)/((-3)/(-33)) composite?
True
Let x(v) = 4*v. Let y be x(2). Let o = y - 5. Suppose -5*l + 207 + 220 = -4*t, -o*l = 5*t - 234. Is l composite?
False
Is (-6)/(-21) + (-1144)/(-14) a prime number?
False
Let c(g) = 110*g**3 - 3*g + 3. Is c(2) prime?
True
Let x be 4*-67*3/(-12). Let s = x - 28. Is s composite?
True
Suppose 3*x - 2*g = -g + 8, 3 = 2*x - 3*g. Let j(m) = 3*m - 5. Let o be j(12). Suppose -5*i - o = -3*u + 77, -x*u + 87 = 2*i. Is u prime?
True
Suppose -18*h - 8092 + 20314 = 0. Is h prime?
False
Let l(k) = k**3 - 15*k**2 + 13*k + 16. Let f be l(14). Suppose 0 = -f*x + 18 + 28. Is x prime?
True
Let j(b) = b**3 - b**2 + 13. Let k be j(0). Suppose -3*f - o + k = -45, -4*f = -4*o - 72. Is f a composite number?
False
Suppose 0 = p - 152 - 34. Let u = -25 + p. Is u a composite number?
True
Suppose 6*d = 4*d + 106. Is d a prime number?
True
Let n(a) = 3*a**2 + 9*a - 14. Let f be n(13). Suppose -3*s + f = -5*x - 41, -4*s - 5*x = -868. Is s a prime number?
False
Let p be -3*(-1)/(-4)*-4. Suppose 220 = c + p*c. Is c composite?
True
Let x(b) = -b + 7. Suppose 0 = 3*j - 31 + 10. Let p be x(j). Is 50 + 1 - p/(-2) a prime number?
False
Let h(a) be the second derivative of a**5/20 + 7*a**4/12 + a**3/2 - 3*a**2 - 2*a. Let y be h(-6). Suppose y = s - 23. Is s composite?
True
Is ((-5334)/63)/((-2)/3) a composite number?
False
Suppose -3*n + 8*n - 1465 = 0. Is n composite?
False
Let x(n) = -n. Let q(l) = l**2 - 3*l - 2. Let k(s) = q(s) - 3*x(s). Is k(8) a prime number?
False
Is 83*(10/(6 - 4) - 4) a prime number?
True
Let c be -1 + (9 - -2 - 2). Let n = c + -3. Suppose -4*s - 3 = -s, n*b = -s + 19. Is b composite?
True
Is (-68120)/(-24) + 4/(-3) a prime number?
True
Suppose n - 4*z = -5, 4*n - 16 = z - 3*z. Suppose n*b - 185 = -2*b. Is b composite?
False
Let r(f) = -3*f**2 + 2*f**2 + 5 + 206. Is r(0) prime?
True
Let h = -3 + -1. Let x be (-1 - 1)/(h/6). Suppose x*t = -t + 60. Is t a prime number?
False
Let i = 6 - 4. Suppose -k + 1552 = 4*t, -i*t - 2*k = -5*k - 790. Is t composite?
False
Let a = 11 - 41. Let d be a/8 + 1/(-4). Let f(z) = -z**3 - 2*z**2 + 4*z - 3. Is f(d) composite?
False
Suppose -5 = -n, 5*o - 145 = -3*n - 0. Suppose 5*u = 4*g + 50, 2*g + 0*u = 2*u - o. Is 1106/6 + (-10)/g composite?
True
Let v(n) = n**2 + 21*n + 35. Let h be v(-26). Suppose 0 = c + 2*c. Suppose c*d - h = -3*d. Is d composite?
True
Suppose 0 = 2*n - 4*r + 2*r - 2, -n + 10 = 2*r. Let g be (-14)/((-1)/(4 - 3)). Suppose 0 = n*z - g - 10. Is z a composite number?
True
Let s(l) = 152*l - 65. Is s(8) prime?
True
Let i(p) = 139*p**3 + 2*p + 4. Let x(t) = 138*t**3 + 2*t + 5. Let q(j) = 6*i(j) - 5*x(j). Is q(1) a composite number?
True
Let p(a) = a - 6. Let g be p(8). Suppose 2*c - 4 = -g. Is 0 - (c - -36)/(-1) a composite number?
False
Let a(i) = 1 - 6*i**2 - 11*i + 5*i**2 - 3. Let o = -11 + 3. Is a(o) a prime number?
False
Let i(n) be the third derivative of n**5/60 - n**4/24 - 7*n**3/6 - n