+ 17*j**2 + 17*j + 68. Is c(13) composite?
True
Suppose -5*b + 2 = 2*j, -5*j = 3*b - 3 + 17. Suppose -b*z + 4*z - 2*a = 522, 5*z - 1329 = -a. Is z a composite number?
True
Is (1 - -56401)*((-243)/18)/(-27) composite?
False
Suppose -41*d = -154975 - 58020. Suppose 5*j + 5*t - d = 0, 4*t = 5*t + 4. Is j a composite number?
True
Suppose -553389 = -7*x + 2*x - 2*a, 0 = 3*x + a - 332035. Is x a composite number?
False
Let h = 2354 + 13305. Is h a composite number?
True
Let i = -5638 - -6159. Is i a prime number?
True
Let i = 62 - 5. Is (((-12576)/18)/(-8))/(2/i) a composite number?
True
Let w be ((-343472)/(-24))/((-2)/(-33)). Suppose -5*o - 6*o = -w. Is o a prime number?
True
Let f(b) = -2976*b + 8459. Is f(-23) prime?
True
Let q(x) = 0*x + 6 - x + x**2 + 0*x - 4*x. Let t be q(5). Is 3 - t - -74 - 4 prime?
True
Let y = -162024 + 259775. Is y prime?
False
Let k be (-12 + 15)*173/3. Suppose z - 4*d - k = 0, -24 = -5*d + 1. Suppose -4*u + 403 + z = 0. Is u a composite number?
False
Let q = 352 - 148. Let g = -853 + q. Let n = 1862 + g. Is n composite?
False
Is (290106/24)/((-5)/(-40)*6) composite?
True
Let m = 48650 - 18379. Is m a prime number?
True
Is 8124842/(-92)*(0 + 3)*12/(-18) a prime number?
False
Let f(a) = -1096*a + 7. Let k(x) = -x**2 + x + 38. Let q be k(7). Is f(q) prime?
True
Let u(j) = -600*j - 12. Let r be u(4). Let v = 4812 + r. Suppose 3*b - v = 3717. Is b a composite number?
False
Let w(c) = c**3 + 5*c**2 + 5*c + 6. Let o be w(-4). Suppose o*z = 5*t + 78, -2*z - 2*t = t - 62. Let r = -3 + z. Is r a composite number?
False
Suppose 0 = 6*z - 5*z + 1, -z + 175 = -i. Let g = i - -1097. Is g a composite number?
True
Let q = -2736 + 9181. Let a = -2407 + q. Suppose -11*h = -17*h + a. Is h a prime number?
True
Suppose 6*n = 7*n - 2*x - 18373, -2*n + 3*x + 36748 = 0. Suppose -n = -a - 5*l, -3*a + 6*l - 5*l + 55195 = 0. Is a composite?
False
Let y(k) = -3*k. Let g be y(-2). Suppose 4*l - g = -3*m, m + 3*m + 11 = l. Suppose l*p - 529 = 350. Is p composite?
False
Let c(p) = -753*p**3 + 9*p**2 + 177*p + 1333. Is c(-8) composite?
True
Suppose -4*b + 0 = -4, 5*b + 123 = h. Let r = 837 - 414. Let o = h + r. Is o composite?
True
Let i(g) = -2*g**3 + 22*g**2 - 5*g + 14. Let y = -80 - -89. Is i(y) composite?
False
Suppose -4*z + r + 487036 = -3*r, 2*r - 121771 = -z. Is z a prime number?
True
Let z be (-34)/221 + 93/13 + 0. Suppose -z*k - 10*k + 6715 = 0. Is k prime?
False
Suppose -4*o + 117 = 5*o. Let v(w) = 3*w**3 + 14*w**2 - 5*w - 5. Is v(o) a composite number?
False
Suppose 0 = 5*x + 4*i - 26, -x - 2*i = -15 + 5. Suppose -15 = 9*b - 13*b - q, 0 = -5*q + 35. Suppose -4*a - x*n = -b*a - 1808, 0 = 4*n - 12. Is a prime?
False
Let s be ((-6)/12)/(4/(-40)). Suppose 0*z - 2415 = -s*c - 5*z, -3*z = c - 493. Is c a prime number?
False
Suppose 4*v - 1818061 = -5*g + 144989, -392591 = -g + 3*v. Is g a composite number?
True
Let q = -54 + 110. Let u = -53 + q. Suppose m - j - 261 = 0, -4*j - 109 = -u*m + 670. Is m prime?
False
Suppose 46969 + 16939 = -2*v. Is (-15)/5*(v/6 - -2) prime?
True
Let c = 135 - 155. Is (-2)/c - (-1907236)/40 composite?
False
Suppose 9*o - 5030575 - 2695942 = -449666. Is o prime?
False
Let y = 265 - 215. Suppose 0 = -44*o + y*o - 62838. Is o a composite number?
True
Suppose 2103722 - 4748953 = -83*n + 4922958. Is n composite?
False
Let o be 2/(4/82*-1). Let g = o - -147. Suppose -g + 551 = 5*a. Is a a composite number?
False
Let w(m) = 3*m**3 + 4*m**2 - 6*m + 8. Let j(f) = -4*f**3 - 3*f**2 + 7*f - 10. Let v(g) = -2*j(g) - 3*w(g). Is v(-11) a prime number?
True
Let c be ((-48)/30)/(6/(-2595)). Suppose 9*k - c = 658. Let i = 347 + k. Is i a prime number?
False
Let q = 13349 + -9278. Let a = q - 1712. Is a a prime number?
False
Suppose 3*l - 4*a + 9 + 7 = 0, -4*l - 3*a = -12. Suppose -16*h + 0*h + 299408 = l. Is h a composite number?
False
Let w(y) = -309368*y + 99. Is w(-1) prime?
False
Let q = -37375 + 20203. Let s = q + 32143. Is s composite?
True
Let h = 200890 - 16839. Is h a composite number?
True
Suppose -477*g - 1929741 = -488*g. Is g composite?
True
Let y = 357581 + 121500. Is y prime?
True
Suppose -8850 - 19653 = -9*s. Suppose -5*o + s = -22028. Is o a composite number?
False
Suppose 0 = -5*p + 3*s - 19, 5*p - 6*s = -11*s - 35. Let t(f) = -f. Let g(m) = -43*m + 4. Let b(n) = g(n) - 4*t(n). Is b(p) a composite number?
False
Let x(j) = 2*j**3 + 41*j**2 + 20*j + 2. Let g be x(-20). Suppose f = g, 2*k - 6*f + 10 = -f. Suppose k = -n + y + 331, 1262 = 5*n + 4*y - 420. Is n composite?
True
Is 4/6*(-51)/(-136)*488468 a prime number?
True
Let o = 1340 + -2099. Let t = -536 - o. Is t prime?
True
Suppose 2*k = -3*w + 18765, 3*k + 25037 = 11*w - 7*w. Is w a prime number?
True
Suppose -67 = 69*q - 71*q + 3*x, -q - 3*x = -29. Is 2/4 + 236784/q + -3 a composite number?
True
Suppose -2*i + 21*t - 24*t = -560, -3*i - 4*t = -839. Is i a prime number?
True
Let c = -523368 - -893389. Is c composite?
False
Let m be ((-52)/13 + (-1)/(-4))*-5860. Is 1/6*(-21 + m) prime?
True
Suppose o - 73 = 3*y, 3*y + 21 = 6. Suppose 0 = 9*g + 13*g - 110. Suppose -g*n + 232 + o = 0. Is n a prime number?
False
Let x(i) = -26*i**2 - 2*i. Let r be x(-1). Let g be (-3676)/(-6)*(-5)/(40/r). Let l = g + 341. Is l a prime number?
True
Let n = 10 - 7. Let i be (65/(-2) + n)*-4. Let v = i + 1. Is v a composite number?
True
Let w(o) be the first derivative of 71*o**4/12 - o**3 + o**2 + 19*o - 17. Let r(s) be the first derivative of w(s). Is r(5) prime?
True
Let b = 480756 - 325703. Is b prime?
False
Suppose 167*a - 41484036 = -4947275. Is a a prime number?
True
Suppose 0 = -5*r - 10*r + 240. Let w(d) = 216*d + 35. Is w(r) prime?
True
Let j(z) be the second derivative of -131*z**6/20 + z**5/30 + z**4/24 - 4*z**2 + 6*z. Let c(d) be the first derivative of j(d). Is c(-1) prime?
True
Suppose 0 = 119*x - 134*x + 3705. Let t = 20 + 136. Let u = x - t. Is u a prime number?
False
Let t(f) = 789*f**2 - 4*f + 23. Is t(-6) composite?
True
Let d(u) = -7*u + 293. Let j be d(6). Suppose s = -3*x + j, -2*x - 149 = -4*x + 3*s. Is x a composite number?
True
Let g(l) = -8*l + 50. Let i be g(6). Suppose 0 = 3*k - 7*k - 3*c + 21191, -i*c - 26483 = -5*k. Is k a prime number?
True
Suppose -163*o + 1278333 = -124*o - 2106126. Is o composite?
True
Suppose q - 4 = 3. Let l(i) = 51. Let m(b) = b - 48. Let t(j) = 5*l(j) + 6*m(j). Is t(q) a prime number?
False
Let z(m) be the second derivative of 5*m**3 + 5*m**2/2 + 134*m - 2. Let a be (10/(-4) + 1)*-2. Is z(a) a composite number?
True
Let s = 61 - 51. Suppose 4*v = s*v - 5178. Suppose -4*j - v + 2755 = 4*q, 4*j - 1860 = 4*q. Is j composite?
True
Suppose 36 - 21 = 5*o. Suppose -6796 = o*m - 5*p, 0*p = -p + 5. Let c = m - -4220. Is c a prime number?
False
Let f(p) = p**3 + 13*p**2 + 11*p - 13. Let l be f(-12). Let a be (-766)/l*2/4. Suppose -11*o = -a - 8098. Is o a composite number?
True
Let m(n) = -121*n**3 + 2*n**2 - 9*n - 25. Is m(-3) a prime number?
False
Let c(q) = 15*q**2 + 8*q - 71. Suppose -o + j = o - 23, j - 37 = -4*o. Is c(o) a composite number?
True
Suppose 22121017 - 42358814 = -46*z + 45428445. Is z a composite number?
True
Let z(h) = h**3 - 2*h**2 - h - 40. Let j be z(0). Let x(i) = i**3 + 48*i**2 + 53*i + 59. Is x(j) a prime number?
True
Let z(w) = 4*w + 28. Let x be z(-7). Suppose -4*u - 4*m = -1748, 3*u - 1315 = -x*u - 2*m. Suppose 3*g - 456 - u = 0. Is g a composite number?
True
Suppose -448 = 4*b + 5016. Suppose -5*s = -52*s - 91039. Let k = b - s. Is k a prime number?
True
Let s(t) be the first derivative of 130*t**3/3 - 3*t - 35. Is s(-1) composite?
False
Let z(f) = -f**3 - 9*f**2 - 24*f + 5. Let b be z(-10). Let p(r) = -58*r - b + 340 - 23*r + 0*r. Is p(-22) composite?
False
Suppose m = -5*c + 4182, 0 = -137*m + 136*m - 3*c + 4188. Is m composite?
True
Let q(f) = -142 - 128 + 259 - 664*f. Is q(-7) prime?
True
Suppose 3*q = z + 11, -2*z = -5*q + z + 25. Let l(m) = 12*m + 175. Let i be l(11). Suppose w = -3*p - q*p + i, -w + 307 = p. Is w prime?
True
Suppose -3*g = 5*q - 6*g - 65, 0 = g - 5. Suppose -5*f = -f + q. Is ((-3295)/(-15))/(f/(-60)) prime?
False
Let k be (0 + 2)*636/(-72)*-108. Suppose -8*p + 9*p = -5*a + k, -5*p + 9450 = -5*a. Is p composite?
True
Let o = 4 + 11. Let j(l) = -7*l - 79. Let s be j(-12). Is 3*s/o - -2