16*i - 53825 = -41*i. Is i prime?
True
Let c be (21/(-9))/(16/(-3) - -5). Let b = -1 - 1. Is b/2*(-1141)/c composite?
False
Let i(x) = 23*x**2 - 5*x - 31. Is i(-12) a prime number?
False
Let o(k) = k - 3. Let i be o(4). Is (i - 249/(-2))*2 a prime number?
True
Let b(a) = 35*a**3 + 7*a**2 + 9*a + 26. Is b(7) composite?
False
Is 16/4 + 0 + 5977 prime?
True
Suppose -8*l - 19*l + 59859 = 0. Is l a prime number?
False
Suppose 2*i - 498 = 570. Is ((-12)/8)/((-9)/i) composite?
False
Let m(o) = o + 6. Let c be m(-3). Suppose c*p - 8*p + 370 = 0. Is p composite?
True
Let y(p) = -2788*p - 341. Is y(-8) a prime number?
False
Suppose -4*k - 7*c = -2*c - 1948, -c = 2*k - 974. Suppose z = 3*m - 9, 3*m - z - 18 = 3*z. Is (m + 1 + -2)*k a prime number?
True
Suppose t + 6*u - 127 = 9*u, 4*t - 5*u = 536. Is t prime?
True
Let n = 551 - 254. Let r = -102 + n. Let k = r + 558. Is k prime?
False
Let q = -19 - -28. Suppose -2*t = -3*t + q. Let k(b) = -b**3 + 13*b**2 + 7*b + 8. Is k(t) a composite number?
True
Suppose 2*m - 6 = 0, -t - 618 + 2012 = 5*m. Is t composite?
True
Is (-520)/52*1811/4*-2 composite?
True
Suppose -62*d - 247478 = -76*d. Is d composite?
True
Let i be 24/(-14) + (-12)/42. Let z be i/(-8) - (-44)/16. Let t(c) = 21*c**3 - c**2 - c - 2. Is t(z) a prime number?
False
Let p(u) = 35*u**3 + 2*u**2 - 6*u - 2. Let q be p(5). Suppose 2*o - 7*o + 3*n = -4392, -5*o + q = -2*n. Is o prime?
False
Let y(r) = 94*r**3 - r**2 - 6*r - 2. Let z(h) = 189*h**3 - h**2 - 11*h - 3. Let g(n) = -5*y(n) + 3*z(n). Is g(2) prime?
False
Is 25/(-50) - 6287/(-2) composite?
True
Suppose 66*b - 56*b - 86910 = 0. Is b a prime number?
False
Is 9*2*-2498*2/(-24) composite?
True
Suppose -31*v = -225172 - 405027. Is v prime?
False
Let p be 9/18 - (-9)/(-2). Let h(f) = 3*f + 10. Let c be h(p). Is 1 - -3 - 606/c composite?
False
Suppose -c + 48*c = -94. Let g(v) = 69*v**2 - 16*v**2 - v - 3 + 0*v. Is g(c) composite?
False
Suppose -6*z + 112125 = 9*z. Suppose -1383 = 4*y - z. Is y composite?
False
Suppose 3*k = -3, 2*k - 7342 = -2*u + 13102. Is u a composite number?
False
Let f(x) = -x**3 - 9*x**2 - x - 4. Let z be f(-9). Suppose z*g = -20, -g + 4*g - 2723 = -5*u. Is u prime?
True
Let k(t) = -t + 5. Let x(j) = -3*j + 10. Let w(z) = -5*k(z) + 2*x(z). Let r be w(-7). Suppose p - 377 = 2*y, -6 = r*y - 0. Is p composite?
True
Let a(j) = j**2 - 2*j - 14. Let c be a(5). Let s(f) = 898*f - 9. Is s(c) a prime number?
False
Let w be -7 + 3 + (-6)/(-3). Is 2*(-363)/w - -2 composite?
True
Let h = 419 + 177. Suppose -x + 8 = -3*x. Is -2 - (2 + h/x) composite?
True
Suppose -1596 - 1256 = -4*w. Is w a prime number?
False
Let u = -17 - -13. Let w = u + 6. Let r(y) = 176*y + 3. Is r(w) prime?
False
Let i(p) = -p**2 + 11*p + 29. Let r be i(13). Suppose -1272 = -r*g + 2811. Is g composite?
False
Suppose -13*q - 17435 = -24*q. Is q a prime number?
False
Let c(l) = 4*l - 3. Let g be c(-1). Let f be 370/(-4)*(g - -5). Suppose q + 0*q = f. Is q prime?
False
Let k(i) = 2*i**2 + 14*i. Let y(w) = 3*w**2 + 14*w - 1. Let p(t) = -5*k(t) + 4*y(t). Let d be p(12). Suppose 6 = -5*m + d. Is m composite?
True
Suppose -2*p = g + 2*p - 284, 0 = 2*g + p - 554. Suppose -2*v = -5*y - g, -4*v - 4*y + 294 = -2*v. Is v composite?
True
Let m be (-9)/3 - (-689*12 + -4). Suppose 16*u = -1757 + m. Is u prime?
False
Suppose -i + 4 = -5*y, 0 = 5*i - 4*i - y + 12. Is (i + -5 - 4)/(-1) prime?
False
Let g be 1 - (1 - (-2 - -5)). Suppose g*a + 57 = 4*a. Suppose 0 = 3*b + i + i - a, -i + 57 = 3*b. Is b prime?
True
Let d = 2318 + 3488. Is d a composite number?
True
Let f = 8727 - 4784. Is f prime?
True
Let t(u) = -3*u**3 - 10*u - 9. Let c = -5 - -1. Is t(c) a prime number?
True
Suppose d + 8 - 9 = 0. Let n(x) = 256*x**2 - 2*x + 3. Is n(d) a composite number?
False
Suppose 0 = -37*h + 26*h + 193853. Is h composite?
False
Let t(j) = -7*j**3 + 2*j**2 - 8*j + 2. Let d be t(-5). Let s = d + -299. Suppose 5*b + 93 - s = 0. Is b a prime number?
False
Let d be (-11)/(-5) - 1/5. Let v(q) = -1 - d*q + 6*q + 8*q**2 + 0 + q**3. Is v(-6) a composite number?
False
Let r = -32 - -35. Suppose 3*v = -r*q - 3462, 4*v - 606 = 2*q + 1690. Is (-3 - (q + 2)) + 2 a prime number?
False
Let a = 19 - 15. Suppose 0 = a*s - 6*s + 1402. Let x = s - 444. Is x a prime number?
True
Suppose 3*r + 87 + 3 = 0. Is 379/(-5)*r/12*2 a prime number?
True
Let y be (574 - 3 - 2)/(1/(-1)). Let h = 528 - y. Is h a prime number?
True
Let q = -41 + 37. Suppose 5*p - 4 = -14. Is 13/p*(-50 - q) prime?
False
Suppose 3*z - 1656 = -0*z. Let w = -88 + 88. Suppose w = 6*f + z - 2058. Is f composite?
False
Is -4*(1455/(-20) + -7) a composite number?
True
Let z(b) = 3*b - 10*b - 5 + 0*b. Is z(-6) prime?
True
Suppose 526 = 10*t - 8*t. Let x = 73 + -69. Suppose -2*o = -4, -r = -x*o + o - t. Is r a composite number?
False
Let h(m) = -129*m + 1. Let y be h(-1). Suppose 3*g - 14 = -5, 0 = s + 4*g - 65. Let t = y - s. Is t a composite number?
True
Let x be (-104810)/(-26) + 2/(-13). Let k = x + -2358. Is k prime?
False
Let o = -20 - -30. Let k be 4/(-8) - (-5)/o. Let c = k + 139. Is c prime?
True
Let m(r) = 4*r - 9. Let s(b) = -b + 1. Let c(a) = -m(a) - 5*s(a). Let d be c(0). Suppose 4*t = -4*k + 56, 0*k + 42 = 3*t + d*k. Is t composite?
True
Let g = 18 - 14. Suppose 2*b + g*b = 28686. Is b a prime number?
False
Let i(j) = -16*j**2 - 30*j - 25. Let q(o) = -5*o**2 - 10*o - 8. Let s(d) = 2*i(d) - 7*q(d). Is s(5) prime?
True
Let r = 18 - 16. Is 3/(-4)*r - (-15190)/28 prime?
True
Let x = -31 - -37. Suppose -x*b = -7*b + 4. Is 1/b - 1875/(-4) prime?
False
Let c = -7885 + 26066. Is c prime?
True
Let m be ((-4)/6)/((-1)/57). Suppose -120 = 5*q - d, -4*d = -2*q + d - 48. Let r = m + q. Is r a composite number?
True
Suppose 0 = -w + 34*w - 2067747. Is w prime?
True
Let r(m) = -49*m**3 + m**2 - 5*m + 6. Let z be r(4). Let t = -1653 - z. Is t composite?
False
Suppose -4640 = 3*g - 4*v, 5*v = 4*g - 1056 + 7242. Let x = -850 - g. Is x prime?
False
Let a(c) = 2*c**2 - 11*c - 191. Is a(-34) prime?
False
Suppose 142 = -5*w + 12. Let x = -22 - w. Suppose 0 = -x*l + 1607 - 43. Is l a composite number?
True
Let w = -672 - -1324. Suppose -z - 3*y + 105 = -70, w = 4*z - 4*y. Is z a composite number?
True
Let r(d) = 54*d**3 - 9*d**2 - d + 17. Is r(6) a composite number?
False
Suppose 4*u - 9 = v, 0*v + v - 15 = -4*u. Suppose 3*w + 5*z - 6131 = 0, u*z = 5*w - 0*z - 10241. Is w a composite number?
True
Suppose 5*r = 2*m + 9009, -2*r + 7*r = m + 9007. Is r a composite number?
False
Let k(j) = j**3 - j**2 - j. Let y be k(2). Suppose -2*q + 4*q = 96. Suppose -y*r = -38 - q. Is r composite?
False
Let b(w) = -w**3 + 14*w**2 + 2*w + 6. Let s = -22 + 33. Is b(s) a prime number?
False
Let x(u) = 134*u**2 - u - 2. Suppose -1 = -4*i + h, -11 = -2*i + 5*h + 12. Is x(i) a prime number?
False
Let u(q) = 23*q**2 + 6*q - 61. Is u(-32) prime?
False
Let n = 256 - -765. Suppose -5*u - 5*b = -2545, 5*b = -4*u + 2*u + n. Suppose 4*g = 2*g - 5*z + 529, 2*g - 2*z - u = 0. Is g a prime number?
True
Let c(g) = 329*g**3 - 2*g**2 - 4*g - 3. Is c(4) a composite number?
True
Is (-1820860)/(-65) - (-18)/(-78) composite?
True
Let v(p) = 6918*p**2 + p - 1. Is v(2) prime?
True
Let j be -2*1 - (-66)/2. Suppose k - j = -111. Let o = -45 - k. Is o composite?
True
Let x = 21 + -3. Let u = 43 - x. Is u composite?
True
Suppose 4 - 9 = 5*b. Let r be 16*(6/8 - b). Let n = r - 13. Is n a prime number?
False
Suppose 13*w = 8*w. Suppose w*d + 11*d = 11341. Is d a prime number?
True
Suppose 0 = -3*w - 0*l - 2*l + 1646, l - 2755 = -5*w. Suppose 0 = 3*r - w - 621. Is r prime?
False
Suppose -6*v = -2507 - 169. Let n = 2139 - v. Is n composite?
False
Let q(y) = 38*y**2 - 1. Let o = 23 - 24. Let c be q(o). Let i = 0 + c. Is i composite?
False
Suppose 0 = -0*w + w - 4. Suppose 0 = 3*k + w - 67. Suppose 4*o = 3*b - 0*b - 43, -2*b = 5*o - k. Is b a composite number?
False
Suppose -3 = -2*w + 5*w, 3*w + 2891 = -4*z. Let i = z + 1353. Is i a prime number?
True
Suppose 3*g - 24 = -4*o, -6*g - 2*o + 10 = -5*g. Suppose y = -g + 78. Is y a composite number?
True
Suppose -4*z - 2*p = -38, 10 + 13 = 2*z - 3*p. Is 4239*28/20 + z/25 a prime number?
False
Suppose 81*v - 569645 = 499474. Is v prime?
False
Let l = 16 - -93. Is l composite?
False
Suppose -5*f = -9253 - 6942. Is f com