 = -s. Suppose 2*q + q - s = -5*y, -y = -5*q - 33. Is y composite?
True
Let u(h) = h**3 - 15*h**2 + 15*h - 21. Let q be u(14). Let d be (-786)/q + 10/(-35). Suppose -d = -4*z + 1452. Is z composite?
True
Let v(s) = 4*s + 18. Let w be v(7). Let h be (8/(-10))/(1/(-5)). Suppose -h*g + 43 = -3*q - w, 3*g = 2*q + 67. Is g prime?
True
Let s = 16 + -14. Suppose 4*k + 10 = s*k, 5*z = -4*k + 1145. Is z composite?
False
Let b = 1877 - 1200. Is b prime?
True
Suppose -12*v - 75 = -9*v - 3*b, 2*v - 3*b = -46. Suppose 1 + 7 = 4*r. Is (v/r)/((-19)/418) a prime number?
False
Suppose 5*v + 9232 = 3*q, -q + 2*v + 1062 = -2015. Is q composite?
False
Let o = 18697 - 3594. Is o a prime number?
False
Suppose 118 = 5*c - p, -3*c - c - 4*p = -104. Is 3726/c + 1/(-4) prime?
False
Let x(n) = -183*n + 400. Is x(-19) a composite number?
False
Let x(m) = m + 16. Let i = 13 + -27. Let t be x(i). Suppose -2*d = -5*k + 3511, k + t*d = 278 + 417. Is k composite?
False
Suppose 647 = -5*q + 2302. Is q composite?
False
Is (-52)/338 - -10*155327/26 a composite number?
True
Suppose -3*w = -9, 3*u - 1629 = -0*u + 3*w. Let k = 1264 - u. Suppose k + 12 = 2*j. Is j a prime number?
False
Let u(g) = -10*g**3 + 9*g**2 + 11*g + 57. Is u(-5) a prime number?
False
Let w = -29 - 38. Let s = -45 - w. Is s composite?
True
Suppose -m + 571 = 3*x - 0*x, 0 = -5*m - 10. Suppose 2*d - d = x. Is d a composite number?
False
Let q be (-1)/(-7) + (-3228)/(-42). Is (q/(-44))/(1/(-524)) a prime number?
False
Let a = -550 + 801. Is a prime?
True
Is 2/(-1)*934258/(-52) prime?
True
Let l(h) = 16*h**2 - 3*h - 5. Let a be 42/4 - 12/8. Suppose a - 39 = 5*n. Is l(n) composite?
True
Let w be (-5)/20*2*-2. Suppose -w = 2*p - 3, 0 = -5*l - p + 776. Let f = -28 + l. Is f prime?
True
Let f(d) = d**2 + 7*d - 4. Let q be f(-7). Let t(u) = -59*u**3 + 5*u**2 + 6*u - 1. Is t(q) a prime number?
False
Let i(z) be the first derivative of 2*z**3/3 - 33*z**2/2 - 2*z - 56. Is i(27) a prime number?
False
Let q = 9 + -5. Suppose -q*d + 407 = -0*d - 5*l, 4*l - 313 = -3*d. Is d composite?
False
Let g(l) = -5*l**2 + 8*l - 15. Let n be g(12). Let d = -299 - n. Suppose -4*x + d = -16. Is x a prime number?
True
Suppose -l + 4*l - 1332 = 0. Let s = 635 - l. Is s a prime number?
True
Let t be 2 + 1 + 1*44/(-2). Let l = t + 438. Is l composite?
False
Suppose 0 = -9*a - 2695 + 40972. Is a prime?
True
Suppose 0 = -5*r - 2583 + 10298. Is r prime?
True
Let h = 4766 - 2097. Is h prime?
False
Suppose -473 - 283 = -m. Let j be (-4 - -3)*(-1 - 1). Suppose -d - v = -556, 2*d - j*v - m = 360. Is d composite?
False
Let m(i) = -51*i + 31. Let u(r) = -26*r + 15. Let w(k) = -2*m(k) + 5*u(k). Let p be (-1 - -2)*-8 + -2. Is w(p) composite?
False
Suppose 4*l + 7 - 19 = 0. Suppose 2*i + 2*i = 3*b - 1, l*i - 21 = -5*b. Suppose 0*f + 530 = i*f. Is f a composite number?
True
Let z = -6555 - -44272. Is z composite?
False
Let p be -2 + 44/7 + (-34)/119. Is -3 - (-11813)/2 - p/8 prime?
True
Let c = -8 + 9. Let l = c - -2. Suppose -l*r = 4*o - 136, 0 = -2*o + 4*r - 9*r + 54. Is o a prime number?
True
Suppose -25957 = 12*v + 13859. Let k = 5801 + v. Is k composite?
True
Suppose 13*f - 383500 = -47567. Is f prime?
True
Suppose -6*z = -5*z - 3. Suppose z*c = -2 + 203. Suppose 0*k = -k + c. Is k prime?
True
Let s be 2/(-7) - 36/(-28). Is 116/(1 - (-1)/s) a prime number?
False
Suppose 4*w - 47 + 13 = -2*z, -2*z + 10 = 0. Let y = w + 41. Is y a prime number?
True
Let v(h) be the first derivative of 109*h**2/2 - 20*h + 10. Is v(7) prime?
True
Let c be 31096/39 - (-4)/6. Suppose -3*u + 1159 = -x, 5*x = 2*u - c + 21. Let g = u + 8. Is g composite?
True
Let a = -203 + 288. Is a a composite number?
True
Suppose -2*j + 4 = -0*j. Is (1 - j)*4 - (-1530 - 3) composite?
True
Suppose 2*i = d - 6, -2*d - 2*i + 6 = -3*i. Let y(l) = 12*l**2 + 4*l + 3. Let u be y(-4). Suppose d*g + 1 = u. Is g prime?
True
Suppose -15 = 3*q, -q - 176 = -4*h + 3*q. Let d be (-16)/(-3)*h/(-26). Is (56/d)/(2/(-10)) a prime number?
False
Let x(s) = s**3 - s**2 - 6*s + 1. Let w(l) = 3*l - 14. Let v be w(7). Is x(v) a prime number?
False
Suppose 0*s + 3*s - 642 = 0. Suppose 5779 = 2*d + 3*t, 2*d + 4*t = 5988 - s. Is d a composite number?
False
Let g be 1 + (-8)/12*-6. Suppose 2*x = 3*x - g. Suppose -x*m + 4*m = -955. Is m composite?
True
Is 447850/39 + (-3)/9 a prime number?
True
Let l(z) = z + 9. Let w be l(-9). Suppose -2*t = 5*g - 95, 4*g + w*g = -t + 46. Suppose 19 - t = -c. Is c a prime number?
True
Suppose b + 2*b = -2385. Let x = -22 + b. Is (-8)/(-4) - x - -2 a prime number?
True
Suppose 4*o - 752 + 30 = -3*i, -5*i = 2*o - 1180. Let p = i - 131. Is p prime?
True
Let t(l) be the second derivative of -2*l**5/15 + l**4/8 + l**3 + 5*l. Let w(p) be the second derivative of t(p). Is w(-10) a composite number?
False
Let i = 31 - 26. Suppose -4*p + 86 = -i*p. Let h = p - -163. Is h composite?
True
Let v(y) = 18*y - 9. Let n be v(6). Let b(p) = -p - 24. Let k be b(-26). Suppose -5*o + n = -k*o. Is o prime?
False
Let p(y) = y**3 + 10*y**2 - 12*y - 8. Let b be p(-11). Suppose 0*c = -4*s + b*c - 4, -5 = 5*s - c. Let r = 7 + s. Is r a prime number?
False
Suppose -2*y = 3*y + 70. Let f(d) = -d**3 + 4*d**2 + 7*d - 6. Let o be f(5). Is (0 + (-22)/o)*y a composite number?
True
Let x(o) be the first derivative of -111*o**2 + 7*o - 13. Is x(-3) a composite number?
False
Suppose 4*o = i - 0*i + 5, o - i + 1 = 0. Suppose -22 = -4*a - 5*n, -2*a - 4 + o = -4*n. Suppose 0 = -a*r - 4*j + 1031, 3*j - 100 = -r + 247. Is r composite?
True
Suppose -3*r + 23077 = 2*r + 2*v, -9231 = -2*r - v. Let p = r + -2496. Is p prime?
False
Suppose -k + 5*j + 433 = -2*k, 3*k + 1234 = -2*j. Let v = k + 839. Is v composite?
False
Let b(p) = -120*p**3 + 2*p**2 + 13. Is b(-3) a composite number?
False
Let i = 5047 + -2530. Is i a prime number?
False
Let v(k) = 1634*k + 114. Let c(x) = 71*x + 5. Let a(y) = 114*c(y) - 5*v(y). Let g be a(-2). Suppose -g = -4*t - 0. Is t prime?
False
Let d be (-2)/(-3) + 80/24. Suppose 20 = -d*v, 2*v - 23 = p + 3*v. Is p/(-81) + (-2282)/(-18) a composite number?
False
Suppose -2*d + 2*m + 3*m = -124, -2*d - 2*m + 96 = 0. Suppose -5*u + d = 17. Suppose u = p - 6. Is p a prime number?
True
Suppose 80*m = 258088 + 326632. Is m composite?
False
Suppose -5*v + 5 = 0, 3*y - 5*y + 3*v = -9. Suppose 1377 + 1137 = y*w. Is w a composite number?
False
Let f be (-2)/(-9) + (-142)/(-9). Let c = 14 - f. Is (c/(-8))/(2/2056) a prime number?
True
Let t(z) = -z**3 + 6*z**2 + z - 5. Let u be t(6). Let v(f) = 807*f - 1. Let x be v(u). Suppose 5*p + x = 7*p. Is p a prime number?
False
Suppose 4*m = -10*c + 12*c + 2802, -2*m + 4*c + 1398 = 0. Is m a prime number?
True
Suppose -1705*o = -1699*o - 407730. Is o a composite number?
True
Suppose -156*y + 1216175 = -131*y. Is y prime?
True
Let a(g) be the second derivative of -6*g + 1/2*g**2 + 0 - 7/2*g**3. Is a(-6) composite?
False
Let m = 541 + 1116. Is m a composite number?
False
Suppose 0 = 3*i + 23 + 4. Let q(j) be the second derivative of -j**3/2 - 4*j**2 - j. Is q(i) composite?
False
Let v(h) = -h**3 + 13*h**2 - 14*h + 16. Let u be v(12). Is -11 - u - 2*-107 prime?
True
Let x(q) = -q**3 + 5*q**2 - 4*q. Let z be x(3). Let g(w) = 3*w**2 - 14*w - 10. Is g(z) composite?
True
Suppose -4*n = -0 - 12. Let t(h) = h**3 - 12*h**2 - 11*h - 24. Let i be t(13). Suppose -5*q = -i*w - n*w - 1750, -1090 = -3*q - 5*w. Is q prime?
False
Suppose 2*z = 5*y, y - 2*y + 2*z - 8 = 0. Suppose y*p + 122 = -4*d - p, -4*d + 5*p - 138 = 0. Let k = -17 - d. Is k composite?
True
Suppose -3*j + 25 = 2*j. Let l be (-15)/(-9)*6/j. Suppose 5*o = 4*u + 535, 5*o - 510 = -l*u + u. Is o composite?
False
Let v(t) = -t. Let z(w) = -w**2 - 4*w + 1. Let s(n) = -4*v(n) + z(n). Let q(a) = 2*a**3 - a**2 - 7*a - 5. Let l(h) = -q(h) - 2*s(h). Is l(-6) prime?
False
Suppose 0 = -15*c - 4*c + 16682. Is c a composite number?
True
Is 838*(-6 + 130/20) a prime number?
True
Let u(w) = -29*w**3 + 6*w**2 + 2. Let y be u(-5). Suppose -2*o - 355 + y = 0. Suppose 5*h - 1494 = o. Is h prime?
True
Let r(n) = n - 1. Let d(y) = 7*y - 5. Let t(m) = -d(m) + 6*r(m). Let h(z) = -3*z + 1. Let c(s) = -3*h(s) + 6*t(s). Is c(10) a prime number?
False
Is -118*((-2805)/154 + (-2)/7) composite?
True
Let i(g) = -1680*g**3 + 9*g + 19. Is i(-2) a prime nu