-2*s - 222 = -b - 1257, -b + 1560 = 3*s. Let g = s + -70. Is g a prime number?
True
Let z(r) = r + 3354. Let p be z(0). Let u = p + -8483. Let f = -2908 - u. Is f a prime number?
True
Let b be 1 + 629 - -1 - -4. Suppose 5*x + b - 1918 = -3*r, 5*r = -3*x + 757. Is x a composite number?
True
Let n = -60875 + 107682. Is n a prime number?
True
Let l = 3517 + -1412. Suppose -4*u + 1091 = -l. Is u prime?
False
Suppose -8*f = -4*f + 4. Is 2/((-1)/f)*9651/6 composite?
False
Suppose 2*h + 3*x + 1 = 0, -5*h + 3*x = 5*x + 8. Is 756 + h/(-1 - -3) a composite number?
True
Let p be (-4 + -13)*(3 + 0). Let h = 196 + p. Is h a prime number?
False
Suppose 2964 + 3189 = 3*h. Is h prime?
False
Let i = -1911 - -6204. Let y = i - 1684. Is y prime?
True
Suppose -3*q + 7*q = 3*t + 17, -15 = -3*q. Let o(y) = -447*y**2 + y - 1. Let h be o(t). Let c = -298 - h. Is c a prime number?
True
Let l(o) = -o**2 + 4*o + 2. Let p be l(4). Suppose 2*j = -n - p*n + 337, 0 = n - j - 109. Is n a prime number?
False
Let o be (-15 - -14)/(2/(-36)). Is ((-2490)/o)/((-2)/6) a composite number?
True
Let m = -19 + 23. Suppose r - v - 5 = 0, 7 = 5*r - m*v + 5*v. Suppose 105 = 3*t + r*s, 4*s + 9 = s. Is t a composite number?
False
Suppose -5 = -5*h + 10. Suppose h*d + 0*d + 6 = 0. Is ((-1)/2)/(d/804) a composite number?
True
Suppose -2*c + 25208 = -29390. Is c prime?
True
Is (3*(-464)/24)/(-4)*502 a composite number?
True
Let y be (1 - -9)*-2*-1. Let w be (-2 - 0) + y + -1. Let u = w - 13. Is u a composite number?
True
Is 6/9*456 + 0 + 3 a prime number?
True
Let h(z) = -z**2 + 2*z - 2. Let i be h(0). Let l(n) = 610*n**2 + n - 1. Is l(i) a prime number?
True
Let q be ((-15)/5)/((-2)/2). Let i be 1/q*0 + 8. Is (1 + -7)/(i/(-172)) a prime number?
False
Let d be 6/(-2) + (0 - 0). Is 3/(d - 58/(-19)) composite?
True
Let v(l) = -28*l**3 - 8*l**2 - 5. Suppose 3*c - 14 = 7*c - 5*x, 3*x = 3*c + 12. Is v(c) composite?
True
Let k(l) = 606*l + 627. Let w(y) = -173*y - 179. Let z(n) = -5*k(n) - 18*w(n). Is z(11) composite?
True
Suppose 0 = -c - 3*a - 77, -5*a = -2*c - 188 + 45. Let v = c + 153. Is v a prime number?
True
Let d(b) = 4*b**3 + 3*b**2 + b - 14. Let u(k) = -5*k**3 - 2*k**2 - 2*k + 15. Let q(i) = 6*d(i) + 5*u(i). Is q(5) composite?
True
Let p(t) be the second derivative of -t**5/60 - 5*t**4/8 + 3*t**3/2 + 4*t**2 - 4*t. Let z(q) be the first derivative of p(q). Is z(-7) prime?
False
Let x(o) = -219*o + 1. Is x(-4) composite?
False
Let a(p) = -92*p**3 + 3*p**2 + 3*p + 1. Let o be a(-1). Let l(b) = -4*b + 5*b + 3 + o*b. Is l(1) a prime number?
True
Let u = 484 + 2821. Let f = u - 1566. Is f a composite number?
True
Let v = 1 - 11. Let x = -8 - v. Suppose x - 157 = -5*l. Is l composite?
False
Let o be 3/21 - -43*(-4)/28. Let t(g) = -265*g - 55. Is t(o) a prime number?
False
Let a(q) = 22*q**3 + 5*q**2 - 9*q + 13. Suppose 31 - 36 = -f. Is a(f) a prime number?
True
Let u = -19 - -19. Is (u + 1)*(-1 + 123) a composite number?
True
Suppose 2*s - 16 = 4*s. Let y be ((-9)/6)/(2/s). Let x = 15 + y. Is x a composite number?
True
Let l be 7/(-21)*(1 + -22). Let z be ((-2)/4)/(l/(-18942)). Suppose z = 3*u + 2*o, -3*o = -u - 59 + 499. Is u a prime number?
True
Suppose -2*l = -5*x - 3943, 21*l - 3967 = 19*l - 3*x. Is l a prime number?
True
Let f(c) = 93*c**2 + 334. Is f(-24) prime?
False
Is ((4 - 118956)/8)/(-1) prime?
True
Let x(w) = w + 1. Let b be x(-2). Let s(n) be the second derivative of -913*n**5/20 - n**4/12 - n**3/3 - n**2/2 + 287*n. Is s(b) a composite number?
True
Let g(y) = 8*y**3 + 11*y**2 - 6*y - 76. Is g(13) a prime number?
False
Suppose 0 = -3*u - 4*v - 32, -2*u + 4 = 4*v + 28. Let m(z) = -6*z - z**3 + 0*z**3 + 0*z**3 - 10 - 1 - 4*z**2. Is m(u) composite?
False
Let o(q) = 14*q**2 - 18*q - 61. Is o(24) prime?
False
Suppose 21*l - 58295 = 16*l. Is l a prime number?
False
Let g(u) = 5*u - 3. Let y be g(11). Let o = 17 + y. Suppose 3*v = 36 + o. Is v prime?
False
Let k = 120 + -80. Suppose -c = 3*z - 56, -k = -z + 2*c + 3*c. Suppose 0 = -z*u + 18*u + 574. Is u a prime number?
False
Suppose 11*k + 8 = 7*k. Is 18/(-12)*(k + -696) a composite number?
True
Let z(v) = -v**2 - 8*v - 4. Let q be z(-7). Suppose q*w - 10*w - 2331 = 0. Let o = w + 590. Is o composite?
False
Suppose 0 = -y + 4*s + 4721, -y + 2*s - 4721 = -2*y. Is y composite?
False
Let w(g) = 16*g + 18. Let j be w(-10). Let a = j - -291. Is a composite?
False
Suppose 66 = -7*w + 374. Is (-84004)/(-44) + (-8)/w composite?
True
Suppose 4*o + 16 = 2*v - 6*v, -2*o - 2 = -4*v. Is (-1)/(((-6)/(-36954))/(v/3)) a composite number?
False
Let b(x) = -x**3 + 24*x**2 - 33*x + 109. Is b(-22) prime?
True
Let w be (-790)/4*-10*(2 + -1). Suppose 0 = -41*h + 46*h - w. Is h a composite number?
True
Let i(t) = -2*t + 9. Let y(g) = -g**3 + 4*g**2 + 2*g - 2. Let v be y(4). Let j be i(v). Is (-38)/((-6)/j)*-1 a composite number?
False
Suppose 0 = -2*a + 3*r + 67297 + 59437, 0 = -4*a + 5*r + 253464. Is a composite?
False
Let a be 2 + 32/(-12) + (-6065)/15. Let d = -222 - a. Is d prime?
False
Suppose 2*h + 0*q - 7 = -3*q, -4*q = -h - 13. Is (156/(-24))/(h/46) a prime number?
False
Let k(y) = 2*y**3 + 4*y**2 + y - 6. Let b be k(-2). Is -1*b/52 + (-124532)/(-52) prime?
False
Let s(u) = u + 4. Let l be s(-4). Suppose l = 7*q - 2*q. Is (q - 422)/(-2 - 0) composite?
False
Suppose 4*j + 105461 = 5*g, -7*g + 3*g + 4*j = -84372. Is g prime?
True
Is ((-4)/(-8))/((-59842)/19948 - -3) a composite number?
False
Let d(g) = 3*g**2 + 19*g - 15. Is d(-17) a prime number?
False
Let z(j) = j**3 - 2*j**2 + 5*j - 5. Let g be z(2). Suppose 3*q + g*c - 777 = 962, 4*q - 2324 = -4*c. Is q a composite number?
True
Let f = -2292 + 5852. Suppose -f = -5*x + 2255. Is x composite?
False
Let h(k) = 37*k - 4. Let y = 20 - 14. Let p be h(y). Suppose 5*a - p = 3*a. Is a a composite number?
False
Let h be (6/10)/(21/105). Suppose 0 = -2*i + h + 1. Is (-2 - -13)*(9 - i) prime?
False
Suppose 2210 = 20*r - 2010. Is r a prime number?
True
Let k(j) = -2*j**3 + 14*j**2 - 2. Let t be k(7). Is t/((-18)/5718*4/6) prime?
True
Suppose -x + 14 + 3 = 0. Let i = -13 + x. Let z(s) = 23*s**2 + 7*s - 1. Is z(i) a composite number?
True
Suppose 3*d + 167 = -5*i, -i = 3*d + 3*i + 172. Let l = 1191 - d. Is l a composite number?
True
Let k(u) = -u + 11. Let o be k(9). Let g = o - -2. Let i(d) = 76*d + 7. Is i(g) composite?
False
Let z = 19 + -19. Suppose o = -z*o + 97. Is o a composite number?
False
Is (5 - -249)*(-4 - 0)/(-8) prime?
True
Let q(a) = -4*a + 4. Let f be q(-2). Let p(n) = 12*n + 5. Is p(f) a composite number?
False
Let d(v) = -v**3 + v**2 + v + 4. Suppose 0 = -5*r - 4*s - 52, 3*s - 22 = r - 2*s. Let c = r - -7. Is d(c) a composite number?
False
Let t = -12 + 15. Suppose -t*s - 313 = -2416. Is s composite?
False
Is 6 - -10*1772/8 prime?
True
Let u be 84/(-15) + (-8)/20. Let j(x) = -4*x**3 - 11*x**2 - 15*x - 1. Is j(u) a composite number?
False
Is (445/10)/(5/1490) prime?
False
Suppose t + 4*n = 2, 5*t - 6 = 2*t + n. Is 3562/39 - t/6 a composite number?
True
Let t(l) = -57*l**3 + 6*l**2 - 2*l - 6. Is t(-5) a composite number?
True
Suppose -22*f = -26*f + 4. Is (f/(-3))/((-13)/43251) prime?
True
Let b(r) = 4*r**3 + 5*r**2 - 10*r - 4. Let c(q) = 14*q - 33. Let n(h) = 9*h - 22. Let k(x) = 5*c(x) - 8*n(x). Let u be k(3). Is b(u) a prime number?
True
Let k(h) = 5*h**2 + 3*h + 7. Let b(d) = -7*d**2 - 3*d**2 - 14 - 5*d + d**2. Let i(o) = -4*b(o) - 7*k(o). Is i(7) a prime number?
False
Suppose 0*v + 665 = 5*v. Suppose -b - 210 = -3*i, 4*i - 3*b - v = 2*i. Is i a composite number?
False
Let q = -442 + 818. Suppose 49*i = 45*i + q. Is i composite?
True
Let x(k) = -2*k + 186*k**2 + 14 - 27 + 5*k + 8. Is x(2) a composite number?
True
Let o = -567 - -2083. Suppose -21*h - o = -25*h. Is h prime?
True
Is 5*(-1)/2*124182/(-45) a prime number?
True
Let m(w) = -w + 1. Let o(p) = -127*p - 7. Let n(a) = 4*m(a) + o(a). Let d be n(-3). Suppose -4*f - 3*k + 996 = f, -2*f - 4*k = -d. Is f composite?
True
Suppose -34*x = -1199271 + 284501. Is x a prime number?
False
Suppose 7*w = -w + 32. Suppose 0*x + 4*x - 1208 = -w*j, 3*x = -2*j + 605. Is j a composite number?
True
Let n = -10127 + 14562. Is n a prime number?
False
Let s = 4109 + 1458. Is s a prime number?
False
Let w(f) = f - 1. Let r be w(6). Suppose r*z - 702 = 3*z. Let 