5 - -562. Is i prime?
False
Let m be 8/20 + 7/(-5). Let y be 3/((-9)/(-51))*m. Let x = y + 39. Is x a composite number?
True
Let s(a) = a + 9. Let y be s(-4). Suppose i - 5*m - 100 = 0, -y*i + 663 - 163 = -m. Suppose -5*u = -u - i. Is u prime?
False
Suppose 5*c - 16 = -2*u - 2, -4*c = u - 10. Suppose -c*f = 3*f. Suppose f*b - 84 = -4*b. Is b a prime number?
False
Let b = 233 - 151. Let r be -1 - (-53 - -3)/(-1). Let f = b + r. Is f a prime number?
True
Suppose 5*j + 2*r = 2*j + 1403, 2*j - 3*r - 944 = 0. Is j a prime number?
False
Let n = 3 + 1. Suppose -w = 5, 0*w + n*w = 5*r - 40. Let g(h) = 15*h - 1. Is g(r) a composite number?
False
Let i = 1009 + -668. Is i a composite number?
True
Suppose -3*l + 4 + 11 = 0. Suppose l*g + 4*r - 9 = 0, -4*r - 22 = -2*g - r. Suppose 3*v = g*m - 112 - 483, -5*m = -4*v - 595. Is m prime?
False
Is 2/15 - 373/(-15) prime?
False
Suppose 4*o - 1866 = -z, 3*z = 5*o - 813 - 1511. Is o a prime number?
False
Suppose 7*y = 10*y - 1779. Suppose 0*z - 4*z + 1206 = -2*b, -b + y = 2*z. Is z a composite number?
True
Suppose -2*c - 4*i - 30 = -2, -4*c - 12 = -3*i. Is c*(17/(-2) + 3) a prime number?
False
Let j(w) = w**3 - 2*w**2 - 2*w - 3. Let t be j(3). Suppose t = -2*y - 13 + 367. Is y a composite number?
True
Let j(m) = 2*m**2 + 6*m + 17. Is j(-10) prime?
True
Let o be (-4)/(-2) + -2 + 17. Let g = 11 - o. Let z = g + 83. Is z composite?
True
Let d(i) = 10 + 10 - i - 1. Suppose 0 = c + 4*o - 12, -5*c - 4*o + 3 = -9. Is d(c) a prime number?
True
Let o(b) = 57*b - 43. Is o(6) prime?
False
Suppose 0*i = i + 101. Let d = -48 - i. Is d composite?
False
Let j(f) be the first derivative of 5*f - f**2 - 2*f**2 + 5*f**2 - f**2 - 1. Is j(4) prime?
True
Let h(i) = 10*i**3 - 5*i**2 - 3*i - 2. Let f be h(4). Suppose 4*t = -2*t + f. Is t composite?
True
Let t = 12337 - 6956. Is t composite?
False
Let m(i) = 803*i - 9. Is m(2) prime?
True
Suppose i + m = 197, 8*i = 3*i + 3*m + 961. Is i a composite number?
True
Suppose 0 = 5*h - 607 - 228. Is h composite?
False
Suppose 6*y + 850 = 11*y. Let v = 21 + y. Is v a composite number?
False
Let u(v) = -v**3 + 10*v**2 - 5*v - 1. Let y be u(9). Let p = 70 - y. Is p a prime number?
False
Let i(q) = 82 - 3*q - 70 + 4*q. Is i(13) a composite number?
True
Suppose -4*p = -3*q + 12 + 6, 5*p + 9 = -3*q. Let c(u) = 3*u**q - 2 + 1 + 11*u**2 + 8*u**2. Is c(1) composite?
True
Suppose -3*n = 5*k - 238 + 84, k = n + 34. Suppose -4*j = -k - 8. Is j composite?
True
Let r(c) = 2190*c**3 + 2*c**2 - 6*c + 3. Is r(1) a prime number?
False
Let u(r) = -r**2 + 3*r + 7. Let x be u(5). Is (x - -42) + 2/(-1) a composite number?
False
Suppose 2*z - 9 = 5*z. Let q = 3 + z. Suppose -3*u - 4*g = -597, q = 4*u + 2*g - 239 - 567. Is u prime?
False
Let r(q) = -5*q**3 - 5*q**2 + 9*q - 1. Let u(y) = 4*y**3 + 5*y**2 - 8*y + 1. Let s(b) = -2*r(b) - 3*u(b). Let j be 81/(-15) + (-2)/(-5). Is s(j) composite?
True
Let o(r) = -r**3 + 4*r**2 + 6*r - 4. Let s be o(5). Let g = s + -1. Suppose g = 2*t + y + 3*y - 38, -2*t = 5*y - 38. Is t prime?
True
Let y = 503 + -296. Suppose -y = -4*g + 853. Is g composite?
True
Suppose p = 295 + 430. Suppose w - p = -4*w. Is w a prime number?
False
Let n = 6 - 10. Let a = n + 7. Let p = 16 + a. Is p composite?
False
Let t(n) = -n**3 + 4*n**2 - n - 2. Let u be t(3). Let y(s) = -s**2 + 3*s + 5. Let b be y(u). Is (-1 + 3*13)*b a composite number?
True
Suppose 0 = 2*r - 3*i + 7, -2*r = 5*i - 33. Is 4/r*(1 - -138) prime?
True
Suppose -4*q = -3*y + 377, -3*y + 2*q + 386 = 7*q. Is y composite?
False
Let g(b) = 10*b**2 - b - 1. Suppose -3*u + 7 - 1 = 0. Is g(u) a prime number?
True
Let u(b) = 104*b + 3. Is u(2) composite?
False
Suppose 0 = -4*h + u - 2, -2*u + 3 = 2*h - 1. Let r be (2 + h)/(6/39). Suppose -2*g + r = -1. Is g a prime number?
True
Suppose 5*g - 625 = -4*q + 1787, 5*g + 2970 = 5*q. Suppose -3*m + o - 94 = -448, -5*m = o - q. Is m a prime number?
False
Suppose -3*k - 2 = -j, -2*j - j - 3*k = 6. Let x be -5 - 3/(j + 4). Let z = x - -43. Is z a composite number?
False
Suppose -k + 3*k - 26 = 0. Let h(o) = -4 - o**3 + k - o**2 - 4*o**2 + 4*o. Is h(-6) a composite number?
True
Suppose -5*y + 13 = -27. Suppose y + 130 = 6*w. Is w a composite number?
False
Let p = 357 - 50. Is p a prime number?
True
Let x(n) = 248*n**2 - 3*n - 2. Is x(-1) prime?
False
Suppose -15 = -h - 4*h. Is (-1 + 2)*(86 + h) a composite number?
False
Let y(a) = a**3 - 4*a**2 + 3*a + 3. Let q be ((-10)/(-15))/((-2)/(-9)). Suppose -w - q*w = -16. Is y(w) a composite number?
True
Is (0 - (-4 - (-4 - -2))) + 209 a composite number?
False
Let w = 0 - 2. Let u be -1 + 0 + (-568 - w). Is 1/(-4) - u/12 a composite number?
False
Let g(l) = 24*l**2 - 6*l - 8. Let f be g(6). Suppose -14*w = -10*w - f. Is w a prime number?
False
Let h = -1 + 0. Is (7 + 0)*h/(-1) a prime number?
True
Let x be (3/(6/(-16)))/(-2). Let m = x - 10. Let p = 9 + m. Is p prime?
True
Suppose 2*y = -y + 15. Suppose -y*g - 2*t = -795, 0 = -2*g - 2*t + 4*t + 332. Is g composite?
True
Let g(z) be the second derivative of -2*z - 1/6*z**3 + 0 + 1/20*z**5 + 0*z**4 + 163/2*z**2. Is g(0) a prime number?
True
Let b(h) = 3*h**2. Let k(t) = -2*t**2 + t - 1. Let q(y) = 6*b(y) + 5*k(y). Is q(4) a composite number?
True
Suppose -r + 4*r = 2*k - 6, 12 = -r + 4*k. Suppose g - 9 = -r*g. Suppose w = 4*f - 2*f + g, -3*f = 3. Is w prime?
True
Suppose 5 + 7 = 3*z. Suppose 4 = 3*b - 11. Suppose 5*o = 5*t + 13 + 42, b*o = -z*t + 82. Is o a prime number?
False
Suppose 719 = -5*n + 5*z + 2374, 331 = n - 3*z. Is n a prime number?
True
Let g be (-112)/(-12) - 2/6. Let x(r) = 14*r + 1. Is x(g) composite?
False
Is (2/(-6))/(4 - (-940136)/(-235032)) composite?
True
Let w = 2 - 1. Suppose 4*k + 9 = -2*d - 3*d, d - 4 = 5*k. Is (w + (-36 - 2))*k a prime number?
True
Suppose 2*b = 9 - 5. Let t(y) = 0*y + 3*y**2 - y**b + 1 + y. Is t(-2) prime?
True
Suppose -y = -2*y + 2*f + 19, -f + 64 = 3*y. Let j = -8 + y. Is j a prime number?
True
Let t = -9 + 11. Suppose 3*x = -2*m - t*x - 11, 5*m = x - 14. Is ((-23)/(-2))/(m/(-18)) a composite number?
True
Suppose -4*t - 1 = 3, 2*w - 2*t = 1416. Is w a prime number?
False
Let i = -4 - 1. Suppose 33 = -3*s - p, s + p + 2*p + 19 = 0. Is (-1264)/s - 3/i composite?
False
Let q(n) = -927*n**3 - 2*n**2 + n + 2. Is q(-1) a prime number?
False
Suppose y + 2*o + o = 15, 3*y - 15 = -3*o. Suppose -w - 12 = -y*v - v, 0 = -3*w + 6. Let j = v - 5. Is j a composite number?
True
Let h(q) = -50*q - 1. Let x = 1 + -1. Let k = -1 + x. Is h(k) composite?
True
Suppose 3*v = v + 6. Suppose k + k = -6, 16 = 5*z + v*k. Let s(d) = 3*d**2 - 5*d + 3. Is s(z) composite?
False
Let y = 7 + -2. Suppose -y*a + 7 + 58 = 0. Is a a composite number?
False
Let i(d) = 53*d**3 + d**2. Suppose -1 + 3 = 2*z. Let c be i(z). Suppose -c = -3*n + 237. Is n a prime number?
True
Let r(g) be the first derivative of -33*g**4 + g**3/3 - 1. Let a be r(-1). Suppose 0 = 4*f - a + 1. Is f composite?
True
Suppose 91 = -3*t - k, -2*k + 47 = -2*t - 11. Let p be (-36)/t + 2/(-10). Is (-120)/(-9) - p/3 a prime number?
True
Let g be (1 - 0) + 0 + 3. Suppose 4*h - 2*q + 0 - 4 = 0, g*h - 5*q = -2. Suppose 0 = 2*k - h*p - 280, 2*p + 747 = 5*k + 32. Is k a prime number?
False
Is 1/(-5)*0 - -4547 prime?
True
Let n = -336 + 575. Is n prime?
True
Let g(w) = 36*w**2 - 4*w + 9. Is g(5) composite?
True
Suppose -4791 + 40 = -w. Is w a prime number?
True
Let t be 0 + (0 - -3) + -1. Suppose 551 = 5*o - 3*h, -t*o + 0*h - h = -216. Is o composite?
False
Suppose h - 1072 = -3*h. Suppose d = -d - h. Let s = d + 213. Is s composite?
False
Let n = 15 - 13. Suppose -w - 4*t + 306 = w, 2*w - 336 = n*t. Is w prime?
True
Let k be 2404/4 - (5 - 2). Suppose -4*h + k - 19 = 5*b, 233 = 2*b + 3*h. Is b composite?
True
Is -211*(12/(-3))/4 prime?
True
Let y(a) = 25*a + 36. Is y(7) prime?
True
Let i = -36 + 51. Suppose -3*v + i = 42. Is ((-3)/v)/(1/6) a prime number?
True
Let k(o) = o**2 + o - 4. Let u be k(-3). Suppose u = 2*n, n + 1 = -2*q + 26. Suppose 0 = l + 2*m - 37, 2*m + 115 = 3*l + q. Is l a composite number?
True
Let s = -9 + 17. Is (-62)/(-3)*12/s a prime number?
True
Suppose -3*t = -2*o - 20, t - 16 = -t + 2*o. Suppose 0 = -2*j + 26 - t. Is j a composite number?
False
Let u(r) = 27*r + 5. Let f be u(14). Suppose 0 = -2*b - 4*y + 190, 5*y =