ppose 4*u + q*y = 118, -2*u + 2*y - 89 = -5*u. Is u composite?
False
Let b(c) = 164*c - 5. Is b(6) prime?
False
Let l be ((-8)/3)/((-6)/(-981)). Let u = 768 + l. Suppose u = 4*t - 0*t. Is t prime?
True
Let w = 1648 - 1015. Is w a composite number?
True
Let l(v) be the second derivative of v**5/20 + v**4/12 - v**3/6 + 105*v**2/2 - 2*v. Let p be l(0). Let w = -71 + p. Is w a prime number?
False
Let b(x) = x + 59. Is b(0) composite?
False
Let s = -204 + 301. Is s composite?
False
Let b be (-2)/(-7) - 60/14. Let i(h) = h**2 + 5*h - 5*h + 0*h**2 + 3*h + 6. Is i(b) composite?
True
Suppose 2*b = -5*c + 668, b - 325 = -0*b + 2*c. Is b a prime number?
False
Let w be (-5)/2*16/(-10). Suppose -198 - 174 = -w*u. Is u a prime number?
False
Let f = 489 - 100. Is f a composite number?
False
Let h be -6*3/(-6) + -2. Let l be -3*(h - (-87)/(-9)). Let f = -15 + l. Is f a prime number?
True
Let f(l) = l**3 - l**2. Let u be f(2). Suppose 4 = u*z - 8. Suppose -2*q = z*y - 37, -4*q - 6 = 2*y - 20. Is y composite?
True
Let c(m) = -m**3 + 10*m**2 - 12*m - 4. Let n be c(9). Let l = 65 + n. Is l prime?
False
Let y(l) = -2*l**3 - 14*l**2 - 10. Let k(w) = -w**3 - 7*w**2 - 5. Let x(b) = -9*k(b) + 4*y(b). Let i be x(-7). Suppose i*r - 110 = -0*r. Is r prime?
False
Let s(w) = w**3 - 5*w**2 + 5*w - 4. Let o be (2 - 3) + (-13 - 1). Let i = -10 - o. Is s(i) composite?
True
Suppose -5*c + 215 = -40. Suppose 3*k = -0*k + c. Suppose 2*o - 27 = k. Is o composite?
True
Suppose 0 = -t + 10 + 15. Suppose -5*f - 5*y = 15, -5 = -4*y - t. Suppose 0*c - f*c = -44. Is c a composite number?
True
Suppose 4*u = 2*u - y + 367, -u + 179 = -4*y. Let i = u - 106. Is i composite?
True
Let x = 1086 + -384. Suppose x = 5*i + 172. Suppose -i = -f + 37. Is f a prime number?
False
Let w(n) = -2*n**3 - 7*n**2 + 3*n + 9. Is w(-7) a prime number?
True
Let o(l) = l**3 - 4*l**2 - 6*l + 7. Let y be o(5). Suppose -3*t + 5*t = 4*s, -y*t = 2*s - 12. Suppose t*p = -p + 75. Is p a prime number?
False
Suppose 2*q - 5*q - 3*i + 3246 = 0, q + 3*i = 1082. Is q a prime number?
False
Suppose -3*l + 572 = -970. Is l a prime number?
False
Suppose -3*d + 42 = -0*d. Let w = d - 9. Let i(k) = 2*k**2 - k + 4. Is i(w) a composite number?
True
Suppose 0 = 3*y - 2*o - 3*o + 11, -3*y - 29 = 4*o. Is (-1354)/(-14) + (-2)/y composite?
False
Suppose 0 = -5*c - 1285 + 4270. Suppose -o + 4*o = c. Is o composite?
False
Let g(l) = -3*l**2 - 4*l. Let x(c) = 16*c**2 + 21*c + 1. Let d(k) = -11*g(k) - 2*x(k). Let i(o) = -o**3 + o - 4. Let a be i(0). Is d(a) prime?
False
Suppose -u - 3 = 0, -5*r - u = u - 354. Let d = 107 - r. Is d composite?
True
Let j(f) = -120*f + 19. Is j(-3) a prime number?
True
Let h be -7*(17 + 2)*-1. Suppose 0 = -3*j + 176 + h. Let q = 182 - j. Is q composite?
False
Let v = -4236 + 7757. Is v a composite number?
True
Let h(n) = -n**2 + 7*n. Let g be h(8). Let d = g - -15. Is 200/14 - 2/d a composite number?
True
Suppose 6 = 5*m - 19. Suppose 2*v = 5*h - 783, m*v + 1 - 6 = 0. Is h prime?
True
Suppose -5*i + 608 = -282. Is i a prime number?
False
Let h = -22 - -40. Is h/45 + (-703)/(-5) a composite number?
True
Let r = -183 + 614. Is r prime?
True
Suppose t = -5*m + 410 + 10, -4*m - 2071 = -5*t. Is t a prime number?
False
Let v be (-4)/3*(0 - 3). Let l(o) = 3*o**2 - 4*o + 3. Let t be l(v). Suppose 0*b + t = b. Is b composite?
True
Let u(q) = -58*q**3 - 7*q**2 + 2*q - 9. Let d(t) = 174*t**3 + 20*t**2 - 6*t + 26. Let p(l) = 6*d(l) + 17*u(l). Is p(2) prime?
True
Suppose -2*l - l + 4*x = 15, 0 = -l - x + 2. Let q(m) be the second derivative of 2*m**4/3 - m**2/2 + m. Is q(l) composite?
False
Let q(s) = -954*s**3 + s. Is q(-1) prime?
True
Let q(p) = -p**2 - 7*p - 6. Let y be q(-4). Suppose 0 = k - 3*r + y, -2*r - 42 = -3*k - 5*r. Is k a prime number?
False
Let h = -2 - 0. Let c(r) = -6*r + 1. Is c(h) prime?
True
Let v(f) = -4*f**2 + 12*f - 2 + 3*f**2 + 4*f. Is v(11) a prime number?
True
Suppose -2*a - 5*l = -624, 5*a + 3*l = 981 + 598. Is a a composite number?
False
Suppose 0*v = -5*v + 65. Suppose -3*a + 40 = v. Suppose -2*l = 3*u - 33, l - a - 53 = -5*u. Is u a composite number?
False
Let u(t) = -2*t**3 - 4*t**2 - 3*t. Let i be u(-2). Let k = i - 4. Suppose -q = -3*c - c + 307, 0 = -k*c - 2*q + 156. Is c a composite number?
True
Let f(n) be the first derivative of 19*n**2 - 11*n + 1. Is f(5) prime?
True
Suppose 0 = -2*p - 5 + 1. Is (3 + -1)/(p/(-23)) a composite number?
False
Let b = -7 + 3. Let i be (1 - 1) + b + -77. Is i/(-12) + (-2)/(-8) a prime number?
True
Let d be (2 - -1)*1 + 68. Suppose -m + 85 = -d. Suppose 5*b - 101 = -2*a - 0*b, 0 = -3*a - 3*b + m. Is a a prime number?
True
Let n = 3 - 0. Suppose 4*f + 248 - 13 = n*j, -2*f - 387 = -5*j. Is j composite?
True
Suppose -5*b + 10*b - 5755 = 0. Is b a composite number?
False
Let b = 461 + -114. Is b composite?
False
Suppose 1 + 1 = r. Let n(o) = 13*o**2 + o + 2. Let w be n(r). Let z = w + 11. Is z prime?
True
Is 2/(4 - 3074/769) prime?
True
Suppose g = 2*g + 230. Is (-2)/((-456)/g + -2) a prime number?
False
Suppose 0 = 3*k - 25 + 61. Is k/42 + (-268)/(-7) a composite number?
True
Let z be (-8)/(-6) - 2/(-3). Is 4/z - (-138 - -1) composite?
False
Let o be 7 - 2/(-3)*-3. Suppose 30 = -5*w + o*m, -3*m = -2*w - 2*m - 8. Is (w/(-1))/((-4)/(-12)) a composite number?
True
Let u(n) = -2*n - 19 - 5*n - 7*n. Is u(-10) prime?
False
Let m(t) be the first derivative of t**3/3 - 4*t**2 + 4*t - 4. Let l be m(8). Suppose -l*o + 321 = -0*o - 5*g, 0 = o - 5*g - 99. Is o prime?
False
Let a = -104 + 54. Let x = -19 - a. Is x a prime number?
True
Suppose 2*i - 3178 = -104. Is i composite?
True
Is (18/(-27))/((-4)/1266) a prime number?
True
Let d(s) = -127*s - 11. Let l be d(-5). Suppose 3*a - 3*u + 0*u = 915, 2*a = -5*u + l. Is a a prime number?
True
Let a = -10 + 12. Suppose r - a*w - 252 = -r, -5*w + 25 = 0. Is r a composite number?
False
Suppose -178 = -l - 29. Is l composite?
False
Let j be ((-3)/6)/((-1)/6). Suppose 8*i - j*i = 465. Suppose 2*k - i = -k. Is k a composite number?
False
Suppose 4 = d + 1. Let n(r) = r**2. Let h be n(d). Let c(k) = -k**3 + 8*k**2 + 12*k - 12. Is c(h) a prime number?
False
Let p be (-4)/22 - (-79)/11. Suppose -2 = 4*f - 26. Suppose p = h - f. Is h a prime number?
True
Let q = 20 + -16. Suppose -5*f + 4*d - d = -892, -q*d = -4. Is f a composite number?
False
Suppose 2*s + 574 = -184. Is (s/(-2))/(4/8) prime?
True
Suppose 3*r + 8*r = 9229. Is r a prime number?
True
Let k(r) = -r + 10. Let c be k(5). Let l be 9 + -13 + (-1 - -8). Suppose 0 = -c*v, 8*s + 2*v = l*s + 35. Is s a prime number?
True
Suppose 0 = 2*g - 10, 0 = -m - m - g + 15. Suppose 3*j + 2*z - 4*z = 15, 3*z + 25 = m*j. Let u = 44 - j. Is u prime?
False
Is (-1903)/(-3) - 16/(-24) composite?
True
Let t be 492/(-15) - 1/5. Let h = t - -66. Is h a composite number?
True
Let u = -21 + 29. Suppose -u*f = -3*f. Let k = f + 14. Is k a composite number?
True
Let u = -536 - -753. Is u composite?
True
Let q(a) = -2*a**3 + 2*a**2 + 3*a + 1. Is q(-4) a prime number?
True
Suppose -13302 = -8*t - 2590. Is t prime?
False
Let h(p) = p**2 - 3*p - 5. Let i be h(5). Suppose 0 = i*q + 514 - 1969. Suppose q + 31 = 2*n. Is n composite?
True
Let a(i) = 14*i**2 - i - 7. Is a(-6) a prime number?
True
Let k = -4 - -1. Let b(d) = d**3 + d**2 + d - 1. Let o(a) = a**2. Let m(i) = -b(i) - o(i). Is m(k) prime?
True
Suppose 3*s = 2*s + 600. Let b(f) = -f**3 - 6*f**2 + 7*f + 10. Let k be b(-7). Suppose 0*u = -5*u + l + s, k = -2*l. Is u a composite number?
True
Suppose -2*p - 86 = -2*l, 5*l - 112 = 3*p + 101. Is 2/7 + 2046/l composite?
True
Let q = -236 - -147. Let b = 183 + q. Suppose 0 = k - 5*k - 12, -r + 5*k + b = 0. Is r prime?
True
Suppose 3*i = -5*m + 15, -3*m + i = -2*i - 9. Let p be 10/m - 5/15. Suppose g + 314 = p*g. Is g a prime number?
True
Suppose -2075 = -5*j + 2*f, 0*j - 4*f + 2045 = 5*j. Is j composite?
True
Let u = 949 - -2838. Is u composite?
True
Let z(v) = -v + 6. Suppose -3*s - 8 = -t, -4*s = 5*t - 46 + 6. Let d = t - 13. Is z(d) a composite number?
False
Let a be (-3 - -1)*181/(-2). Suppose -m = -k + a, 3*k - 544 = m + m. Suppose -k = -c - c. Is c a composite number?
True
Suppose 5*n - 5 = 5. Let g be -5*(-11)/n*-2. Let b = 30 - g. Is b a prime number?
False
Let q(y) = 24*y**2 + 7*y + 7. Let i be q