 = y**2 + y - 1. Let m(w) = -38*w**2 + w - 1. Let x(l) = -m(l) + 2*v(l). Is x(-1) composite?
True
Let j(s) = -s + 3. Let f be j(-2). Suppose f = -2*i + 5*v, 5*v = 5*i - 8 - 2. Suppose -n = -3*h - 296, -i*n + h + 290 = -4*n. Is n composite?
True
Let l be (12/(-10))/(6/(-20)). Suppose -i = -b + l, 4*i + 0*b - b = -4. Suppose 4*k - 127 - 93 = i. Is k composite?
True
Let h(g) = -g**2 - 23*g - 22. Let c be h(-22). Is (-2*7)/(c - 10/115) a prime number?
False
Suppose 245*a + 3*w = 246*a - 7750, 2*a + w - 15507 = 0. Is a a prime number?
True
Suppose -5*s = -4*v - 32445, 0 = -4*s + 12*v - 8*v + 25960. Is s composite?
True
Let s = 38 + -31. Let r(n) = -2*n + 19. Let c be r(s). Suppose c*d + 3*x - 769 = 0, 223 = d + 5*x + 78. Is d a prime number?
False
Let q(w) = 3*w + 24. Let c be q(-6). Is -10 + c + 71*3 a prime number?
False
Let r be 12/(-8)*6/(-9). Let x(y) = 234*y**3 + 1. Let t be x(r). Suppose 400 + t = 5*g. Is g prime?
True
Let n be -1895 - (1*(-3 + 1) - -3). Let x = 3827 + n. Is x prime?
True
Is (-35)/21*-3 - -12884 composite?
False
Let k(i) = -i**3 - 14 - 3 - 26*i**2 - 3*i - 6. Is k(-26) a composite number?
True
Suppose 0 = 4*z + 8, -5*z + 4*z + 2 = -2*j. Let a be (-52371)/(-27) - j/6. Suppose -a = l - 5*l. Is l a composite number?
True
Let a be 0/((5 - 0)/5). Suppose q = 5*l - a*q - 2766, -4*q = -5*l + 2769. Is l a composite number?
True
Let x = 65 - 43. Let z = x + -18. Suppose -2*g = z*g - 1098. Is g a composite number?
True
Let r(h) = h**2 + 4*h - 1. Let o be r(-6). Let j = o - -218. Let l = 386 - j. Is l a prime number?
True
Let y be (-1193)/(-2) + (-15)/10. Suppose i - y = 8*i. Let r = i + 194. Is r prime?
True
Let d be (1 + -1)/3 - 6. Let v(y) = y**2 + 5*y - 2. Let z be v(d). Suppose z*p - 436 = -0*p. Is p composite?
False
Let q(x) = -x**2 + 12*x - 3. Let j be q(11). Is 109/(j/(-12)*(-12)/56) prime?
False
Let z = -133 - -1110. Is z a prime number?
True
Let p(h) = -26*h**3 - 2*h**2 - 7*h - 5. Is p(-6) a prime number?
True
Suppose 4*j = 9 + 11. Suppose 550 = j*b - 505. Is b a prime number?
True
Let j(u) = -u**2 + 12*u - 8. Let t be j(11). Suppose -t*c + 10 = 2*c. Suppose c*o = -g - 4 + 33, 5 = -5*o. Is g prime?
True
Let f(x) = -x**2 - 21*x + 8. Let b be f(-12). Let z = 211 - b. Is z a composite number?
True
Let d(k) = -43*k**3 + k. Let g be d(1). Let j = 20 + g. Is (-6099)/(-33) - 4/j a prime number?
False
Suppose -2567 + 13155 = 3*k + 5*q, -4*k + 2*q + 14152 = 0. Let l = 5635 - k. Is l a composite number?
False
Suppose 8071 = -2*n + 81249. Is n composite?
True
Suppose 0 = -2*s + 5*s + 15, 14684 = h + 5*s. Is h a prime number?
False
Let k(o) = 250*o**2 - 13*o + 17. Is k(8) a prime number?
True
Suppose 69366 = 2*v + 4*v. Is v prime?
False
Let a = 1745 - -12. Is a a composite number?
True
Let k(b) = -b**3 + 5*b**2 + 8*b - 3. Let a be k(6). Suppose -5*m + a*m - 260 = 0. Is m prime?
False
Let q(c) = c + 11. Let m be q(-11). Suppose -4*a - 358 + 4726 = m. Let g = -745 + a. Is g a prime number?
True
Let l = 2334 - 1745. Is l prime?
False
Let a(j) = -5*j**3 + 9*j**2 + 8*j + 4. Let p be a(-7). Suppose -5*v + p + 1206 = 0. Let k = v + -177. Is k a prime number?
False
Let a(x) = x**3 - 2*x**2 + 9. Let o(s) = -6*s + 1. Let u be o(-1). Let b be a(u). Is ((-2)/(-4))/(1/b) composite?
False
Suppose -1139 = -y + i, -4*y + 3*i = 1863 - 6419. Is y composite?
True
Let y(r) = 2*r + 0*r - r + 3. Let a be y(-3). Suppose 3*v + g - 44 = 0, v + g - 3*g - 17 = a. Is v a prime number?
False
Suppose m + 8 = 1. Let d = m - 0. Let o(q) = 3*q**2 - q + 3. Is o(d) a prime number?
True
Is (-10178 + 19)/(4/(-4) - 0) prime?
True
Let m be 30/16 - 1/(-8). Let k(j) = -j - 1 + m*j + 23*j**2 + 3*j - 5*j. Is k(-4) composite?
True
Let t = 2 - 0. Suppose -t*b = 2*b - 12. Suppose -2*r + b = n, -n + 6 = r - 1. Is n a composite number?
False
Let c be 3*(-3)/18*-14. Suppose 13*d - c*d = 3594. Is d composite?
False
Suppose -3*h = 9, -2*h = 5*g - 0*h - 14. Is (282/g)/((-6)/(-8)) a prime number?
False
Suppose 0*f = 10*f - 119010. Is f a prime number?
False
Let b(o) = -o**3 - 2*o**2 + 18*o + 87. Is b(-6) a prime number?
False
Is (2/10)/((-55)/(-4334275)) a prime number?
True
Let r = 638 - -7163. Is r a prime number?
False
Let l = 195511 - 95646. Is l a prime number?
False
Let s(q) = 3*q - 5. Let m be s(17). Suppose m = 4*v - 270. Is v composite?
False
Let g = -47 - -50. Let v(i) = 193*i**2 - 5*i + 13. Is v(g) a composite number?
True
Let o(r) = -28*r**3 + 2*r**2 + 3*r + 2. Let z(m) = -m**3 - m. Let p(x) = -o(x) - 2*z(x). Let y be p(2). Let i = y - -191. Is i a prime number?
True
Is 1713734/(-44)*2/(-1) a prime number?
False
Let c be 1/((-4)/24) + -2. Let a = -5 - c. Suppose 4*q + 5*u - 211 = 0, -q + u = a*u - 49. Is q prime?
True
Let p(k) = -46*k**3 - k**2 - 5*k. Let q(t) = -91*t**3 - 2*t**2 - 10*t - 1. Let s(m) = -5*p(m) + 2*q(m). Is s(3) a prime number?
False
Suppose -2*w - 317229 = -5*k, -2*k - 3*w = -128229 + 1345. Is k composite?
True
Let p(d) = -d**2 + 5*d + 5. Let j be p(6). Let v = j - -5. Is (1 - v) + 150 - -2 prime?
True
Let c(s) = 37*s**2 + 51*s - 19. Is c(31) composite?
True
Let v(f) = f + 3. Let s be v(3). Let o(l) be the second derivative of l**3/2 - 11*l**2/2 - 12*l + 5. Is o(s) a prime number?
True
Let n = 56 + 53. Is n composite?
False
Suppose -4*y = -y + a + 93, -y - 2*a = 36. Let u = -28 - y. Suppose 0 = 4*t - 7*t - s + 371, 0 = s - u. Is t prime?
False
Let h be -5 + 10 - 0/(-2). Suppose -h*o = -2*l - 2343, -5*o + 5*l = -0*o - 2340. Is o prime?
False
Suppose 14 - 2 = 3*u. Suppose z - 10 = u*t + 12, 5*t = 5*z - 95. Is (-311)/(-2) + z/12 a prime number?
True
Let v(g) = 9 - 34 + 185*g**2 + 13 + 19 + 5*g. Is v(-3) composite?
False
Let v(m) be the second derivative of m**4/12 - 7*m**3/6 - 5*m**2/2 - 5*m. Let h be -2*(-36)/8 + 3. Is v(h) composite?
True
Let s = 2846 + 749. Suppose 0 = -4*i + s - 763. Suppose 0 = -5*g + 9*g - i. Is g a prime number?
False
Let v be 4347 - (0 + -5 + 2). Suppose -1085 = -5*a + v. Is a a prime number?
True
Let f(y) = -20*y - 7. Let b be f(-8). Let n = -45 + b. Suppose m - 2*m - 4*r + 61 = 0, r - n = -2*m. Is m prime?
True
Let b be 84519/18 - 2/4. Suppose b = 6*i + 261. Is i a prime number?
True
Suppose 5*a - 3*a - 5*m = -7, 2*m + 3 = -5*a. Let h be (-224)/(-6) + a/3. Suppose 25 = 2*p - h. Is p composite?
False
Let r(v) = v**2 + 4*v + 631. Is r(0) composite?
False
Let i(q) = 117*q**3 + 3*q**2 - 3*q - 3. Let b be i(-2). Let j = 3472 + b. Is j prime?
True
Let s(a) = a - 23. Let t be s(23). Is (-4)/((-16)/940) - t composite?
True
Suppose 5*y = 4*u + 6, 4*u - 6*u = -3*y + 4. Is (u/6)/(22/(-17853))*-4 prime?
True
Let t = -89 + 101. Is 3089 + -1 + 12/(t/(-3)) a composite number?
True
Let b(l) = -5*l - 4. Let h(n) = -4*n - 4. Let m(a) = 6*b(a) - 5*h(a). Let w be m(-4). Is 2/9 - (-1972)/w a composite number?
True
Suppose t + 0*t + 1331 = 0. Let x = t + 917. Let a = -191 - x. Is a composite?
False
Is 2/(-3) + 1078/168*1948 a composite number?
True
Suppose 593 = -2*o + 3*o - 2*b, -o + 3*b + 598 = 0. Is o a composite number?
True
Suppose 4*z = -3 - 1. Let c be z/3 + 3/9. Suppose 5*p = -5*v + 3145, 2*v + c*v = -3*p + 1889. Is p a composite number?
False
Let u(o) = 330*o**2 - 6*o - 1. Is u(-1) composite?
True
Suppose -4*h = -92 - 180. Let g = 24 - 22. Suppose g*w - 534 = -h. Is w composite?
False
Let z(d) = 7*d**3 - 11*d**2 - 6*d - 14. Let x be z(10). Let q = x + -1043. Is q composite?
False
Let x be 0 + -2 - (-4410)/5. Let h = 1751 - x. Is h a composite number?
True
Let i = -100 - -95. Let w(a) = -68*a - 11. Is w(i) composite?
True
Suppose 680 - 23 = q. Let s = -278 + q. Is s a composite number?
False
Let b = -18 + 20. Let x be 1/((-1 + 2)/b). Suppose x*u - 5*u = -393. Is u composite?
False
Suppose 37*r - 16*r - 126357 = 0. Is r prime?
False
Let o be (-1)/(-2) - 7/14*-11. Let i(z) be the third derivative of z**6/120 - z**5/60 - z**4/8 - z**3/6 - 2*z**2. Is i(o) prime?
False
Let v = 56 - 92. Let s be 3/(-2)*120/v. Suppose c = -5*r + 1352, c = -3*c - s*r + 5363. Is c composite?
True
Suppose -85589 = 7*w - 14*w. Is w a prime number?
True
Suppose 4*a = 2*y - 14794, 0 = y + 2*y + 4*a - 22171. Is y a composite number?
False
Let i(n) = 4 + 2*n**2 - n**2 - 6 + 12*n**2 + 2*n. Let t be i(2). Suppose -4*g = -o + t + 113, -g = -4*o + 713. Is o prime?
True
Suppose -2*h 