-d + 5*l, -3*d = -j*l - 2*l - 235. Is d a composite number?
True
Is (-1142014)/(-18) - 16/72 prime?
False
Let m = 413 + 5336. Is m a prime number?
True
Suppose -93965 = -6*m + 48457. Is m a composite number?
True
Let l(y) = 40*y**2 - y + 11. Suppose 8*b - 16 = 4*b. Is l(b) a composite number?
False
Let z = -6 + 14. Let j be 4934/z + (-1)/(-4). Suppose 2*q = i - 217, 5*i - j - 501 = -q. Is i composite?
False
Suppose -5*c = -4*c - 6. Let w = c + 0. Is ((-573)/6)/((-3)/w) a prime number?
True
Let m(f) be the second derivative of -f**3/6 + 8*f**2 + 9*f. Let h be m(0). Suppose -h = -4*v, -3*v + 1815 = 3*w - 720. Is w a composite number?
True
Let v(y) = -2*y + 55. Let c be v(25). Suppose z - 2873 = -4*n, -2*n = -c*n + 3*z + 2166. Is n a prime number?
True
Let m = 7 - 5. Let i = -25 + 70. Suppose 4*s = -4*j + 216, -s - m*j = -5 - i. Is s composite?
True
Let c(v) = 168*v**2 - v - 7. Is c(-6) a prime number?
True
Suppose 0 = -2*w - 3*j + 37, -2*j = 4*w - j - 49. Suppose 0*c = -w*c + 11506. Is c prime?
False
Suppose -2*u + 2*i - 324 = 0, 3*i = -5*u - 237 - 605. Let t = u + -385. Let v = -72 - t. Is v prime?
True
Let u(i) = 1 - 67*i + 136*i - 66*i. Let v = 8 + -2. Is u(v) prime?
True
Let j = -40 - -42. Suppose -j*h = -4*l - 4678, 2*h - l - 4672 = l. Is h a composite number?
False
Let v(u) = -74*u - 1. Let h be v(-2). Suppose -2*l - 5*k + 642 = 0, -4*k = 4*l + k - 1274. Suppose 5*s + h = 4*o - 169, 0 = 4*o - 4*s - l. Is o composite?
False
Let m = -31 + 33. Suppose m*b - 542 = 492. Is b composite?
True
Let r(c) = 5*c**2 + 3*c + 1. Let b be r(-3). Let w be (4/8)/((-3)/132). Let x = b + w. Is x a prime number?
False
Let a(t) = -t**3 - 8*t**2 + 8*t + 8. Let o be a(-7). Let r(y) = -y**2 + 7*y + 16. Let m be r(9). Is -1 + m + 0 - o a prime number?
False
Let c(q) = -q**3 - 19*q**2 + 26*q - 13. Let w be (-21)/6*2*-1*-3. Is c(w) a prime number?
False
Let w(j) be the first derivative of 7/4*j**4 - 2*j + 5/2*j**2 - 2 + 1/3*j**3. Is w(3) a composite number?
False
Let i = 7096 - -18827. Is i a composite number?
True
Suppose 0 = 3*x - 10*x + 14. Suppose x*y = 10, 2*r - 1302 = -2*y - 2*y. Is r prime?
True
Suppose 5*x = 3*g - 1595, 5*x + 506 = 2*g - 554. Suppose -y - 520 = -5*n, 4*n - 4*y - g = -n. Is n prime?
True
Let i(z) be the first derivative of -3 + 8*z**2 + 40*z**2 + 29*z**2 - 11*z**2 + z. Is i(2) a composite number?
True
Suppose -40 = -3*w - 16. Suppose -w*q = -12*q + 148. Let n = 200 - q. Is n a prime number?
True
Let b(s) be the first derivative of 245*s**2/2 + 4*s + 15. Is b(3) prime?
True
Let v(y) = 24*y + 1. Let n be v(2). Let m = 240 + n. Let c = m - 162. Is c a composite number?
False
Let b(q) be the first derivative of -q**3/3 - 7*q**2/2 + 7*q + 5. Let a be b(-5). Suppose 3 = -2*j + a. Is j prime?
True
Let q = 89 - 129. Let f = 119 + q. Is f a prime number?
True
Suppose -5685 = 23*a - 1637. Suppose 0 = -2*q + 7*q - 1695. Let j = q + a. Is j a composite number?
False
Let v = 27 - 24. Is -4*((-764)/16 + v) composite?
False
Let d(f) = -1693*f + 687. Is d(-10) composite?
True
Suppose 0 = -4*z + 34558 - 5162. Is z a composite number?
False
Let c(m) = 5211*m**2 + m - 1. Is c(-1) prime?
True
Let i be 24/18 - (-10)/15. Suppose 0 = -3*d - 9, d = i*l - 4270 + 297. Is l prime?
False
Let o(t) = -t**2 + 11*t + 13. Let y be o(8). Suppose -3*d + 5*x - y = -5*d, -88 = -3*d - x. Is d a prime number?
True
Let l(y) = -y**2 - y + 3371. Let r be l(0). Let o = r - 2044. Is o prime?
True
Suppose 52 = 2*d - 22. Let t = 2 + d. Suppose r - t = q, 0*r + 2*r - 3*q = 80. Is r a composite number?
False
Suppose 7*i + 21 = -7. Let b(g) = -g. Let n be b(10). Is (i + 148/n)*-5 a composite number?
True
Let p = -19 - -21. Let q be 15/(-10) - 1/p. Is q/(-4) + 185/10 a prime number?
True
Suppose 0 = -9*r + 18*r - 10575. Suppose -79*s + r = -74*s. Is s a composite number?
True
Suppose -5*i + 5144 + 2262 = -u, -4*u = -4*i + 5928. Is i composite?
False
Suppose 5*s - 2301 = -4*i, 2*i - 2*s - 2901 = -3*i. Let q = i - 322. Is q a composite number?
False
Let a = 107 + -41. Suppose 3*r = 5*c - 667, 5*r + 308 + 105 = 3*c. Let i = c - a. Is i a prime number?
False
Let c be 1297 - ((-4)/(-8))/((-1)/(-4)). Suppose 4*s - u - c = -0*u, 2*s + 2*u - 640 = 0. Is s composite?
True
Let y(m) = -m - 6. Let r be y(-9). Is 1*(r - 2)*69 a composite number?
True
Let o(x) = 273*x**2 - 8*x + 11. Let u be o(4). Let n = -2708 + u. Is n a prime number?
False
Is (40/(-60))/((-2)/29931) a composite number?
True
Suppose 5344 = 4*y - 60*w + 61*w, 3*w = -12. Is y prime?
False
Let k be (-1 - -8)/(-12 - -11). Let b = k - -9. Suppose 6 = 3*z, 5*w - 101 = -b*z - z. Is w a composite number?
False
Let n(g) = 500*g - 453. Is n(10) prime?
True
Suppose 4*z - 8 = 0, 5*h + 5*z + 10 = 10*h. Suppose -4*k + h*j + 1116 = 0, -5*k - 3*j + 467 + 888 = 0. Is k a composite number?
True
Let i(k) = 4*k**2 - 18*k + k**3 + 5 - 5*k**2 - 12*k**2. Is i(15) composite?
True
Let s(d) = -94*d**3 - 6*d**2 + 7*d + 19. Is s(-2) composite?
False
Suppose -14141 + 106670 = 27*f. Is f a composite number?
True
Let r(x) = x**3 + 4*x**2 + 4. Let l be r(-4). Is (-4)/l*-1*277 composite?
False
Let q be -1 + (-1)/(4/16). Let s(d) = -d**2 + 5*d + 1. Let w be s(q). Let z = w - -126. Is z a prime number?
False
Let l(a) be the third derivative of -a**6/10 - a**5/20 - a**4/12 + a**3/6 + a**2. Let y(n) = -2*n**2 - 15*n - 9. Let z be y(-7). Is l(z) prime?
True
Let y(d) = 8*d - 4. Let p(r) = -3*r + 1. Let c(i) = -14*p(i) - 5*y(i). Let v be c(-3). Suppose v = u - 3*j - 161, 2*u - 330 = 2*j - 0*j. Is u a prime number?
True
Let t(u) = -106*u**2 - 4*u - 2. Let s be t(-4). Let l = -1020 - s. Is l a composite number?
True
Let o(c) = -110*c**2 + 490*c**2 - 2*c + c. Let s be o(-2). Suppose 5*g - s = 693. Is g a composite number?
False
Let l be 554/(-1 + (-2)/(-1)). Let q be 3 - 28*(4 + 2). Let r = l + q. Is r a prime number?
True
Suppose -2*t = 2*t. Suppose -8*k = -4817 - 2535. Suppose t*p - k = -p. Is p prime?
True
Let j(a) = -a**3 - 8*a**2 - 12*a - 2. Let m = -10 - -13. Suppose w - m*s = 0, 2*w - 4*s - 1 + 7 = 0. Is j(w) a prime number?
False
Is 0 + (-2 - -1) + 18600 prime?
False
Suppose -2743 = w - 2*w + 2*r, 0 = 3*w - 5*r - 8229. Is w prime?
False
Let y = 9571 + 22255. Is y prime?
False
Suppose 0 = 10*u + 3*u + 429. Let j = 491 + u. Is j composite?
True
Let a(i) = -i**3 - 4*i**2 + 7*i + 1. Let k be a(-5). Let r be ((-1264)/6)/(k/27). Is r/(4 + 0) + -3 composite?
True
Let b(k) = 30*k**2 + 5*k - 13. Let o be b(-7). Suppose -5*c = 4*c - o. Is c a prime number?
False
Suppose -3*j - j + 5*c - 196 = 0, j + 4*c = -28. Suppose 2*o = -o - 3*r - 12, -2*o - r - 7 = 0. Is (19/(-4) - o)*j composite?
True
Suppose 2*z + 23 = m + 6, -2*z + 3 = 3*m. Let d(u) = 4 + u - 5*u**2 - u - 7 + 2*u - u**3. Is d(z) a composite number?
True
Let v = 25 - 35. Let c be v*(-2 - (-8)/5). Is (-2)/(-6)*696/c prime?
False
Let i(m) = m. Let x(y) = 20*y + 28. Let r(g) = -g**2 + 6*g + 24. Let z be r(9). Let v(f) = z*i(f) - x(f). Is v(-15) a composite number?
False
Let h(a) = 65*a**2 - 31*a + 94. Is h(3) composite?
True
Suppose 3*i + 2982 + 1437 = 3*y, i - 2940 = -2*y. Is y a composite number?
False
Let w be (6 + -4 - -2)*1 + 582. Suppose 0*u + 2*u = w. Is u a composite number?
False
Suppose 2*x - 26 = -14. Is -38*(-1780)/16 + 9/x a prime number?
True
Suppose r + 4*v = 27631, 5*r - 55853 - 82222 = -4*v. Is r a prime number?
True
Suppose -36*d + 50529 = -33*d. Is d prime?
True
Let l(b) = 9*b + 57. Let g be l(-6). Suppose g*s + 2*u - 1174 = 1079, s + u = 750. Is s a composite number?
True
Let v be 9/(-3)*(-4)/6. Let d = 179 + -8. Suppose -v*j + d = j. Is j a prime number?
False
Let y = 1733 + 414. Is y prime?
False
Suppose 32 = 4*w + 4*a, -2*w - 4 = 3*a - 6*a. Let m = 0 - w. Is (m - -83)/(-1)*-11 a prime number?
False
Suppose 5*k - 16 = -1. Suppose 346 = 2*b + k*u, 3*u - 81 = -4*b + 599. Let w = b + -84. Is w a composite number?
False
Let n be 2 - (0 - 1) - 6. Let o be (5/2 + n)*0. Is (-3 - o)/3*-269 composite?
False
Suppose -27*s + 21*s + 1056 = 0. Let z = s - 139. Is z a prime number?
True
Suppose 0 = -10*f + 3*f + 14. Suppose z = -f*z + 447. Is z a composite number?
False
Suppose -2*b - 4*w + 24 = -8*w, w = -b. Suppose 9 + 6 = -5*d, -4*l + b*d = -328. Is l a prime number?
True
Let u = -7 + 4. Let o = -3 - u. Suppose 