*2 - 3*h + 9. Is l(-1) a prime number?
False
Suppose -q = 2*f - 407, 0*q + 604 = 3*f - 5*q. Is f a prime number?
False
Let i(b) = b - 16. Let h be i(8). Let m(j) = -j - 1. Is m(h) prime?
True
Let u = 462 - 259. Is u prime?
False
Let j(a) = 2*a - 1. Let p(c) = -c**3 + 2*c**2 + 4*c - 1. Let w be p(3). Is j(w) a composite number?
False
Let h(a) be the second derivative of a**7/2520 - a**6/180 - 7*a**5/120 - a**4/6 + 2*a. Let m(v) be the third derivative of h(v). Is m(-12) composite?
True
Suppose 5*l = -0*l + 20. Let i = -1 + l. Suppose 0 = 4*s - i*k - 12 - 71, 5*k = -s + 38. Is s composite?
False
Suppose 3*w - 5856 = -w. Suppose -w = -4*l + 244. Is l a composite number?
True
Suppose -2*c + 2*m = c + 19, 2*c - 3*m + 21 = 0. Is (3 + -3 - c) + 94 composite?
False
Let y(p) be the third derivative of 0 + 0*p + 1/24*p**4 + 1/120*p**6 + 3*p**2 - 1/2*p**3 - 1/30*p**5. Is y(5) prime?
False
Let y be (-28)/(-6) - (-2)/(-3). Suppose 3*c + y*x = 6*x + 2252, 4 = -x. Is (-1 - -3)/(8/c) prime?
False
Let d = 3 - 3. Suppose d = -0*f - 4*f + 1028. Is f composite?
False
Let p(a) = 124*a + 1 - 84*a + 138*a. Is p(1) composite?
False
Let h(u) = 4*u**3 - 5*u**2 + 3*u - 3. Let m = -7 - -10. Is h(m) a composite number?
True
Let n = 24 + -19. Suppose -2*b - j = -0*b - 267, -3*j = n*b - 670. Is b a composite number?
False
Suppose 4*y = 2*t + 5*y - 1813, 3*t = -3*y + 2718. Is t a prime number?
True
Let h(v) = -4*v**3 - 3*v**2 - 2*v + 2. Suppose 0 = -4*p + 5*k - k - 16, 4*p + 17 = 5*k. Is h(p) prime?
True
Is 263/1 + 1/(-1) a composite number?
True
Let a(z) = 3 - z + 2*z + 1. Let o be a(-4). Suppose o = -3*s - 3*r + 168, -2*r + 4*r - 6 = 0. Is s a composite number?
False
Let u = -13 - 1. Let r be u/(-2)*12/7. Is 2/((r/(-57))/(-2)) a prime number?
True
Let o(s) = 50*s - 13. Is o(12) prime?
True
Suppose -7*y + 5 = -12*y. Suppose 15 = -3*o - 2*o. Is 6/o - 21*y composite?
False
Suppose 0 = -2*y + 610 + 1132. Suppose 3*o - 2*f - y = 0, -3*f + 1473 = 5*o - f. Is o a composite number?
False
Let t be (-2)/(1 + 3)*-26. Suppose -t - 13 = -m. Suppose 0 = q + 2*h - m - 15, 3*q - 4*h = 103. Is q a composite number?
False
Suppose -m + 84 + 29 = 0. Let n = m + -64. Is n a composite number?
True
Let m be (-1)/(-2)*2 - -2. Is 2*m/(6/79) composite?
False
Let u = -287 + 582. Suppose -3*l - 2*l + u = 0. Is l prime?
True
Let c = -491 - -1132. Is c prime?
True
Let t(j) = -43*j - 4. Is t(-5) a composite number?
False
Suppose 0 = 5*m - 0*m - 1595. Is m a composite number?
True
Suppose 5*x + 0*x + 10 = l, -5*x = -5*l - 30. Let d(t) = -t**2 - 11*t - 5. Let q be d(l). Suppose -3*w - 14 = -q*w. Is w a composite number?
False
Suppose c + 695 = 5*y - 0*y, 4*y = 3*c + 556. Is y a prime number?
True
Suppose -2*m = -6958 + 1476. Is m a composite number?
False
Let h(y) = -4*y**2 - y + 3. Let u(x) = 3*x**2 + x - 3. Let v = -14 + 9. Let d(o) = v*h(o) - 6*u(o). Is d(4) composite?
False
Let z(j) = 3*j**2 - 4*j - 12. Is z(-9) composite?
True
Let t(w) = -240*w - 4. Let y be t(3). Let h be y*1*(-2)/4. Suppose 0 = -4*a + x + h, 3*x - 4*x + 93 = a. Is a a composite number?
True
Suppose 5*z = 5, -5*p + 96 = -5*z - 294. Is p a prime number?
True
Suppose 243 = 5*l - 642. Suppose -l = 2*w - 5*w. Suppose 5*v - 36 = w. Is v composite?
False
Let y(i) = -4*i + 2. Let v be y(-5). Is (0 - -22)*v/4 prime?
False
Is ((-39)/65)/((-1)/1135) a composite number?
True
Suppose 0 = 4*a + 1 - 13. Let s be (-80)/(-3) - 2/3. Is a/(-1 - 2) + s prime?
False
Suppose -8*t + 6*t = 5*o - 2791, 4*t = 3*o + 5517. Is t prime?
False
Let y(s) = s**2 - 1. Let t be y(-2). Is (2 - t)/(3/(-69)) composite?
False
Suppose 0 = 3*s - 447 + 54. Is s prime?
True
Let r(q) = q**2 + 6*q - 7. Suppose 3*h + 2*h = -25. Let k be r(h). Is 1/3 + (-1064)/k a prime number?
True
Let u be (-986)/6 - (-6)/18. Let l = -95 - u. Is l prime?
False
Suppose -2*h - y = -813, -6*y = -5*h - 2*y + 2065. Is h prime?
True
Suppose -3*k - 7*k = -8690. Is k a prime number?
False
Let z = -12 + 14. Suppose 5596 = 2*q + z*q. Is q prime?
True
Let o be (-736)/(-6) + 2/(-3). Suppose -3*b + o = -106. Let g = b + -43. Is g prime?
False
Let z(d) = d**2 + d - 1. Let x(q) = 2*q**2 + 15*q - 4. Let s(g) = -x(g) + z(g). Is s(-8) composite?
True
Let k(r) = 4*r**3 - 4*r**2 - 2*r + 7. Let c be k(6). Suppose -942 = -4*o + j, -3*j - 2*j = -3*o + c. Is o a prime number?
False
Let u(j) = j**2 - 2*j + 3. Let c be u(-3). Let g = c + -2. Suppose 3*l - 34 = i, 2*l - 7 = i + g. Is l composite?
False
Let y be ((-4)/(-3))/(6/9). Suppose 3*v - 5*z - y = 2*v, -26 = -4*v + 2*z. Is v composite?
False
Let j(t) be the second derivative of 5*t**4/8 - t**3/6 + t**2 + t. Let q(m) be the first derivative of j(m). Is q(1) a composite number?
True
Suppose -5 + 15 = -2*o - 4*t, -3*o = -5*t + 37. Let w(x) = 3*x**2 + 11*x - 1. Is w(o) prime?
False
Let v = 3 + 11. Let q = v + -3. Is q prime?
True
Let w = 178 + -63. Is w a prime number?
False
Let x(o) = 80*o + 9. Is x(11) prime?
False
Let r be 72/20 + 4/10. Suppose 4*x = 4*i - 84, -r*i = x - 3*x - 42. Let s = x - -42. Is s a prime number?
False
Is 4106/7 - 9/(-21) a composite number?
False
Suppose 0 = -5*o - 0 + 30. Is -7 + o + (-124)/(-1) a composite number?
True
Suppose 4*h = -5*l + 380, 0*l + l + 176 = 2*h. Let q be (-34)/(-9) + 20/h. Let k(i) = 5*i**2 + 4*i - 5. Is k(q) a prime number?
False
Is 381*(-2)/(6/(-1)) prime?
True
Let y(i) = -1105*i - 6. Is y(-1) a composite number?
True
Let x(b) = 60*b**3 - 2*b**2 + 3*b - 3. Let j be x(2). Suppose -3*r + 1610 = -5*w + 2*r, w - 3*r + 314 = 0. Let y = w + j. Is y a composite number?
False
Suppose 0*n + 2 = n. Is n/(-6)*66/(-2) prime?
True
Suppose -3*r - 231 = -0*r. Let y = 13 + -31. Let u = y - r. Is u a prime number?
True
Let t(d) = 69*d**2 + d - 1. Is t(3) composite?
True
Let j be 307 + 4/(-8)*6. Let c = -159 + j. Is c a prime number?
False
Let w be 1 + 0 - (2 + -3). Let d be 0/(-1) - (-4 + 2). Suppose -w*s = 3*p - 422, 2*s + d*s = 4*p + 884. Is s prime?
False
Suppose -4*d + 100 = -708. Let t be (1 - 2)/((-2)/d). Suppose -3*l + t = 2*b - 0*b, -5*l = 4*b - 167. Is l a composite number?
True
Let u(d) = 8*d - 1. Let o(t) = t**2. Let i(a) = -a**3 + 7*a**2 - a - 1. Let z(b) = -i(b) + 4*o(b). Let h be z(3). Is u(h) a composite number?
False
Suppose -5*b - 285 = 5*o, 5*b = -3*o + 58 - 219. Let i = 108 + o. Is i a composite number?
True
Suppose 0 = k + 2*o - 193, -6*o = -5*k - 4*o + 917. Is k a composite number?
True
Suppose g - 811 = -2*i, 0 = g + i - 5*i - 841. Is g composite?
False
Let d(s) = s**2 + s. Let q be d(-3). Suppose 8 = -0*c + 4*c - 3*j, 2*j = 2*c - q. Is c/2 + (-75)/(-2) composite?
False
Let x(m) = 6*m**2 + 8*m + 5. Is x(-5) composite?
True
Let s(i) = i**2 + 5*i. Suppose 2*x + 6 = 2*v - 2, -3*x - 17 = 2*v. Let p be s(x). Suppose p = -7*n + 3*n + 476. Is n a prime number?
False
Let p = 3 - 2. Let b be (-1 - 3/1)*p. Is 1/2 - 842/b prime?
True
Let y = -1278 + 1934. Suppose -y + 234 = -5*x - 2*s, 2*s = -x + 86. Suppose -5*v + x = -191. Is v a composite number?
True
Let y(o) = 4*o + 4. Let r be y(0). Let v = 3 + -1. Is (v/r)/(2/220) a composite number?
True
Let q(t) = -25*t**2 - 13*t - 4. Let d be q(10). Let m = d - -4193. Is m composite?
False
Let k(i) = -3*i**3 - i**2 + 3*i - 3. Is k(-4) composite?
True
Let z(l) = -3*l - 3. Let w(v) = 2*v + 4. Let a(x) = -4*w(x) - 5*z(x). Is a(10) a composite number?
True
Suppose -3025 = -2*w + 3*z, -4 = 4*z - 0*z. Is w a prime number?
True
Let r = 662 - 76. Is r composite?
True
Let o(j) = 13*j**2 + j - 13 - j**3 - 5*j + 6. Is o(7) prime?
False
Suppose -b + 3*d = -4*b, 4*b = 3*d + 21. Let m be 2 - (-1 + -1 + 1). Suppose -m*a - u + 242 = 0, a + b*u - 69 = 5*u. Is a a prime number?
True
Let d = 3 + 160. Is d a prime number?
True
Let a(m) = m**3 + m**2 + 27. Let x be a(0). Is (-1 - -2) + (x - 2) prime?
False
Let v(q) = -q. Let n be v(-4). Suppose -n*t - 3 = -5*t. Is (31 + 0)*3/t a composite number?
False
Let t(l) = l**3 + 5*l**2 + 5*l + 6. Let a be t(-4). Suppose -3*z + 357 = -66. Suppose 0 = -o - a*o + z. Is o a composite number?
False
Let a(o) = o**2 - o + 2. Let q be a(2). Let j = q + -7. Is 2 + -1 - (j + -79) a composite number?
False
Let m(v) = 505*v - 10. Let d be m(4). Suppose -a = 0, -d = -4*y + 3*a + 74. Is y composite?
False
Let b(p) = 8*p**2 + 3*p + 2. Let g be b(-3). Let f = g - 44. Is f