1. Is f composite?
True
Suppose -5*y + y + 1492 = 0. Suppose 2*w - 513 - y = 0. Is w prime?
True
Is 804 - 3/(-1)*1 a composite number?
True
Let h(i) = 594*i - 2. Let x be h(-1). Let j = 1045 + x. Is j a prime number?
True
Suppose w - 5*q - 173 - 14 = 0, -w + 147 = 3*q. Let c = w + -109. Is c composite?
False
Let t be (-2)/4 + 1311/(-6). Let d = t - -374. Is d prime?
False
Let l(w) = -w**3 + 2*w**2 + w. Let z be l(-1). Is (z/(-3))/(1/(-3)) prime?
True
Let c(z) be the third derivative of 67*z**4/12 - z**3/6 - 4*z**2. Is c(1) a composite number?
True
Let u = 0 + -7. Let z(m) be the second derivative of -5*m**3/6 - 5*m**2 - m. Is z(u) a prime number?
False
Let m(z) = 8*z + 35. Is m(21) composite?
True
Let y = 161 + 134. Is y a prime number?
False
Let f = 60 - 132. Suppose -o + 452 = 4*l + 3*o, -533 = -5*l + 3*o. Let y = f + l. Is y composite?
False
Let b = 40 + 72. Suppose -5*n = -433 - b. Is n composite?
False
Let w = -742 + 499. Let q = 444 + w. Is q prime?
False
Suppose 6*d = d + 955. Is d composite?
False
Suppose 6*m - 4*o = 5*m + 367, 2*o + 4 = 0. Is m composite?
False
Suppose -16*b + 18*b = 614. Is b composite?
False
Suppose 5792 = 2*j - 7*o + 6*o, 4*o = 4*j - 11580. Is j prime?
True
Suppose 2*u + 319 = 3*u. Is u prime?
False
Let s be 1/((-3)/(-12)) - 1. Suppose 3*f + 2*h - 4 = 0, s*f = -0*h + h - 2. Suppose f*j - j + 149 = 0. Is j prime?
True
Suppose 2*i = 6*i - 116. Suppose -2*k + 32 = -4*k. Let c = k + i. Is c a prime number?
True
Let s = 4424 - 2277. Is s prime?
False
Suppose 3*q - y - 6 = 0, 8 = 4*q - 0*y + 2*y. Let m = 23 + -21. Suppose -m*g - 71 = -j - g, -q*j + 5*g + 154 = 0. Is j prime?
True
Suppose -3*j - 644 = -m, -2*m + 1281 = 2*j - j. Is m prime?
True
Let o(m) = 10*m + 11. Let q(u) = 11*u + 12. Let k(t) = -7*o(t) + 6*q(t). Is k(-10) a composite number?
True
Let i(p) = 2*p**2 + 8*p - 4. Is i(-7) composite?
True
Suppose 30 = -0*w + 5*w. Suppose -4*m - 4 = -w*m. Suppose 37 = m*j - j. Is j a prime number?
True
Let z(o) be the third derivative of o**6/60 - o**5/15 + o**3/6 + 3*o**2. Is z(3) prime?
True
Let i = 396 + -269. Is i a composite number?
False
Let j(y) = -y**3 - 11*y**2 - 13*y + 15. Let s(z) = z**3 - 5*z**2 - 9*z + 7. Let t be s(6). Is j(t) composite?
True
Suppose -4*h + 2*h = -366. Is h prime?
False
Suppose 6 = 5*s - 3*x, -s - 3*s - 2*x = 4. Let p = -89 + 19. Is p/(-2) - (s - 2) a composite number?
False
Let f = -25 + 8. Let r = -12 - f. Suppose 150 = -0*h + r*h + 5*w, 0 = 3*w - 15. Is h prime?
False
Let o(j) = -j**3 - 4*j**2 + 7*j + 1. Is o(-8) composite?
True
Suppose 2*l + 6 = -2*l - 2*p, -5*p = -3*l - 37. Let v(k) = -k - 2. Let j be v(l). Suppose -j*t - 16 = -78. Is t composite?
False
Let y(b) be the second derivative of -11*b**3 + b**2/2 + 8*b. Is y(-1) composite?
False
Let q(v) = 10*v**3 + 4*v**2 + 2*v + 11. Is q(5) prime?
False
Let x(j) be the second derivative of j**4/3 - j**3/3 - 3*j**2/2 - 3*j. Is x(-3) a prime number?
False
Let q be -2 + 0 + 4 - 4. Suppose 2*u + 3*v + 16 = -2*u, 3*u + 5*v = -23. Is (-19)/(-2) + u/q prime?
False
Let u(d) = 0 + 0*d + 2 - 3 - d. Is u(-4) composite?
False
Is ((-35)/(-25))/(3/4035) a prime number?
False
Let n(m) = -m**3 - 4*m**2 - 5*m - 5. Let u be n(-4). Let f = u - -11. Is f a composite number?
True
Let l(v) = 38*v**2 - 5*v - 1. Is l(-5) composite?
True
Suppose -r - 2*r + 426 = 0. Suppose r = -0*p + p. Suppose 0 = 3*s - 503 - p. Is s a composite number?
True
Suppose -4 = -2*z, -3*g = 2*g + z + 8. Let r(t) = 64*t**2 - t - 1. Is r(g) prime?
True
Let w = 1 - 1. Suppose w*p = 5*p - 5245. Is p a composite number?
False
Is (14/12)/7 + 55135/30 a composite number?
True
Suppose m = -m - 5*t + 59, -4*m - 3*t = -83. Suppose 3*u - m = 268. Is u a composite number?
True
Let m(o) = -o**3 - 6*o**2 + 7*o + 3. Let l be m(-7). Suppose -l*k = -0*k. Suppose -3*z + 3*b + 6 + 45 = k, 3*z - 33 = -3*b. Is z a prime number?
False
Suppose 7*s - s = 48. Is -31*s/(-2 - 2) prime?
False
Let l(a) = a**3 + 5*a**2 + 3*a. Let t be l(-4). Suppose t*s - 2*h = 3*h + 378, -5*h = 5*s - 495. Is s composite?
False
Let k = -10 + 20. Suppose -k = -4*r + 14. Suppose 2*o - 3*d = 34, -3*o + r = -2*d - 35. Is o composite?
False
Let a(u) = u - 5. Let s be a(8). Suppose 3*v + 1131 = s*q, 2*q + 4*v = -0*q + 766. Is q a composite number?
False
Suppose -7*i - 3*l = -6*i - 2240, -2*i + 4450 = -4*l. Is i a composite number?
True
Let k(r) = -r. Let a = -6 + 2. Let w be k(a). Suppose 0 = -w*q + 37 + 7. Is q a composite number?
False
Suppose 8*u = 10*u. Suppose u = -4*k - k + 195. Is k composite?
True
Let g(m) = 131*m**2 + 3*m + 2. Let f be g(-2). Suppose -4*l - 4*x + f = 0, 638 = 5*l - x + 2*x. Is l a composite number?
False
Let x(u) = -60*u - 2. Let t be x(-1). Let m = 133 + t. Is m a prime number?
True
Let f(u) = 5*u**2 + 2. Let b(a) = a**3 - 7*a**2 + 9*a - 7. Let m be b(6). Let j = 8 - m. Is f(j) a prime number?
True
Suppose 0 = 5*f + 4*j - 118, 2*j - 5 + 1 = 0. Let x = f + -3. Suppose 5*k - x = 4*k. Is k a composite number?
False
Let h(b) = -b**3 + 11*b**2 + b - 7. Is h(6) prime?
True
Let g(s) = -s**3 - 11*s**2 - 9*s - 12. Let d be g(-13). Suppose 0 = -3*w - 2*u + 449, -d = -3*w + 6*u - 2*u. Is w a prime number?
True
Suppose 0 = k + 3 - 66. Suppose 0 = 5*j - k - 27. Let i = j + -8. Is i a prime number?
False
Let k = 245 - 157. Suppose -2*p = -16 - k. Suppose 13 + p = 5*l. Is l composite?
False
Let l(t) = -t**3 - t**2 + t - 2. Suppose -6*r = -3*r. Suppose -2*o = 5*h - o + 20, r = 5*h - 4*o + 45. Is l(h) a composite number?
True
Let k = -11 - -494. Suppose k = 2*f + f. Is f composite?
True
Suppose -3*f + 12 = 3*r, -21 = -2*f - 2*f + r. Suppose -20 = -0*w - f*w. Suppose 36 - 6 = 2*l - 4*n, 8 = w*n. Is l composite?
False
Suppose -5*k + 195 = x + 4*x, 4*k + 5*x = 161. Suppose 2*i - 4*p - 40 = -2*i, k = 3*i + p. Suppose -i = -f + 10. Is f a composite number?
True
Let u be (-1 - 7) + (-2)/(-2). Let n(m) = m**2 - 4*m + 9. Let c(d) = -d**2 - d. Let a(x) = 2*c(x) + n(x). Is a(u) prime?
True
Let o(i) = 10*i**2 - 5*i + 3. Let l be o(4). Suppose -183 - l = -2*z. Is z prime?
True
Suppose 2*k = -6 + 28. Let x be (-66)/8 - (-3)/12. Let m = k + x. Is m a composite number?
False
Let p be 1*(-26)/4*-40. Let s = -129 + p. Is s prime?
True
Let i = 16 + -7. Let m(u) = 4*u + 10. Is m(i) prime?
False
Let a(x) = x**3 - 16*x**2 + 2*x - 10. Is a(16) prime?
False
Let u(j) = j - 1. Let v be u(5). Suppose v*d + 2 = -3*i, -4*i + 0*i - 4*d = -4. Is i prime?
False
Let p = 1137 - -674. Is p a composite number?
False
Let m(v) = -181*v - 25. Is m(-12) prime?
False
Suppose -5*k = 4*x - 0*x - 2889, -5*k - 5*x = -2885. Is k composite?
True
Let x be (-11)/(-4) + (-6)/8. Is (2 + -7)/(x/(-6)) prime?
False
Suppose 3*t - s - 7120 = 3051, -3*s + 6766 = 2*t. Is t a composite number?
False
Suppose 4*n + n - 185 = 0. Let l = n - -40. Is l a composite number?
True
Let y be 2 - (0 - (2 + -1)). Suppose 2 + 1 = -y*w. Is (w + (-82)/(-8))*4 composite?
False
Suppose 4*a + g + 19 = 0, -6*a + 3*a - 5*g = 10. Let n be a/20 + (-146)/(-8). Is (-5621)/(-63) - 4/n a prime number?
True
Suppose 15272 = 11*x - 854. Is x a composite number?
True
Let v = -182 - -84. Let y = 68 + v. Let s = y - -44. Is s a prime number?
False
Let q = 105 - 92. Is q a composite number?
False
Suppose 0 = 5*q + x - 1756 - 3588, q = -4*x + 1065. Is q a composite number?
False
Let u be ((-1)/2 + 0)*-20. Suppose i + g + 6 = 0, -2*i = -4*g - u - 2. Is 2/i - 2*-27 prime?
True
Let t be -2 - (-2 - 3)*1. Suppose t*l + c = 3, -11 + 0 = -l + 3*c. Suppose a - 423 = -l*a. Is a a composite number?
True
Suppose 176 = 2*t + 2*k, -269 = -t - 2*t - 4*k. Is t a prime number?
True
Suppose 94 = 3*f + 37. Is f composite?
False
Let d = -379 - -537. Is d prime?
False
Let f(q) = 2*q**3 - q**2 + q. Let w be f(-2). Let d be 21/2*(-10)/(-3). Let i = d + w. Is i a prime number?
True
Let p(x) = -36*x - 5. Is p(-4) composite?
False
Let t = 203 - 114. Suppose -3*h = 2*m - t - 6, 3*m = -6. Is h prime?
False
Let i = 224 + -21. Is i prime?
False
Let i be (-1)/(2 - (-14)/(-6)). Suppose 0*a = i*a - 390. Let j = a + -77. Is j composite?
False
Is (-12)/(-8)*-2 - -214 composite?
False
Suppose 3*d + 91 = 4*d. Is d a prime number?
False
Suppose 19*z = 17*z + 86. Is z prime?
True
Let p(z) = 66*z**2 - z - 3. Let q = 23 + -21. Is p(q) prime?
False
Let a = 38