*a + g*o + 2107 = 0, -o = a - 0*a - 415. Is a composite?
False
Let y(g) = g**3 + 25*g**2 + 16*g - 21. Let i be y(-24). Let z be -7*(-14)/(2 + 0). Let m = i - z. Is m a composite number?
True
Let k(n) = 35*n - 13. Let z be k(-13). Let v = z + 874. Is (0 + -2 - -5) + v composite?
False
Let g(u) = 11*u + 1. Let d be g(-1). Let z be (12/d)/(6/(-15)). Suppose -65 - 73 = -a + w, a = z*w + 130. Is a prime?
False
Let d = -227 + 2170. Is d a composite number?
True
Let y(c) = -11*c + 9. Suppose -4*m + 25 = -7. Suppose 2*a = a - m. Is y(a) a composite number?
False
Let g(l) be the second derivative of 4*l**3/3 - 8*l**2 - 2*l. Let w be g(-14). Is w/(-13) - 4/(-26) composite?
True
Suppose -155*v + 162*v - 182581 = 0. Is v a composite number?
False
Let n(w) = 42*w - 125. Is n(27) composite?
False
Suppose 0 = 5*n + 13 - 8. Let v be 2 + (-2)/n + 1. Suppose 5*b + v*z - 755 = 0, b + 29 = 4*z + 170. Is b a prime number?
True
Let z(c) = c**3 + 13*c**2 + 10*c - 14. Let y be z(-12). Let u = 68 - y. Is u composite?
True
Let v(c) = 618*c**2 - 16*c - 49. Is v(-4) a composite number?
True
Let z(n) = 69*n**2 + 5*n - 5. Let q be 2/(-28)*-38 + 28/98. Is z(q) a prime number?
True
Suppose 98*r = 100*r - 6, -3*j = -3*r - 93912. Is j a composite number?
False
Suppose 17*o = 6*o - 11. Let z(d) be the third derivative of -149*d**4/24 - d**2. Is z(o) a composite number?
False
Suppose 3*f + n = -323, 5*f + 4*n + 0*n = -543. Let l = 388 - 236. Let x = l - f. Is x composite?
True
Suppose -f - 3*f = 56. Let c = -11 - f. Suppose c*l - 2*z - 622 = l, -5*l + z = -1539. Is l prime?
True
Let u be 1*177*-5 + 1. Let r = -1314 - -2763. Let s = r + u. Is s a prime number?
False
Suppose b = -4*y + 18, 5*y + 3*b + 2*b - 30 = 0. Let l(g) = g - 6. Let u be l(y). Is (-1 + 43)*u/(-4) a prime number?
False
Is 2/13 + (10188810/117 - -1) composite?
True
Let p(l) = -3 + 56*l + 4 - 95*l. Is p(-12) a prime number?
False
Is 17/(-34) + 21886/4 composite?
False
Let v be (5/(-20))/(1/4). Let s be v/(8/(-6) - -1). Suppose -s*i = 1 + 8, 29 = z + 3*i. Is z a composite number?
True
Suppose -12 = -4*c, 3*l + 4 = 4*c - 17. Is -1 + 148 + -1 + l a prime number?
False
Let t(w) be the second derivative of -w**4/2 - w**3/6 + 3*w**2/2 - 4*w. Let k(f) be the first derivative of t(f). Is k(-5) prime?
True
Let f(w) = -30*w + 53. Is f(-22) a prime number?
False
Is 284930/6*(-225)/(-375) a prime number?
True
Let v = 333 + -110. Is v composite?
False
Let x(a) = 69*a**2 + 360*a + 16. Is x(-19) prime?
False
Let f(z) = -z**2 + 17*z + 14. Let y(w) = -3*w**2 + 50*w + 41. Let l(o) = 17*f(o) - 6*y(o). Let v be l(7). Is (-3)/((v/44)/3) a composite number?
False
Suppose 0 = f + 2*o + 4, o - 8 = f - 4*f. Suppose f*u = -3*d - 25 + 147, 162 = 4*d + 5*u. Suppose -a = -d - 15. Is a a composite number?
False
Suppose -4*v + 34 = 3*z, -6*z + 3*z + 4*v = -26. Let q(p) = -29*p - 8 + 14*p + 9*p + z*p**2 - p**3. Is q(7) a prime number?
True
Suppose 1 = 4*c - 19. Let q be ((-5)/c)/(1/(-2)). Suppose -q*n - 128 = -6*n - 4*l, 0 = 2*n + 3*l - 61. Is n a composite number?
True
Suppose -547 - 3551 = -2*h. Is h a prime number?
False
Suppose 41*w = 44*w - 9. Suppose 651 + 486 = w*y. Is y a composite number?
False
Let n be 1*-7*(0 + -53). Let k(p) = -61*p - 16. Let x be k(-10). Let b = x - n. Is b prime?
True
Suppose -2*o + 9 - 3 = 0. Suppose x + o = 80. Is x a composite number?
True
Suppose 7*y - 6*y - 25439 = 0. Is y composite?
False
Let d be (4 + -6 - -5) + -467. Let k = d - -1171. Is k a prime number?
False
Suppose 0 = -2*t - 7*v + 4*v + 324, -4*t + 2*v = -616. Let i(g) = -2 - 5*g + t*g**2 + g + 3*g. Is i(-1) a composite number?
True
Let y(s) = -3*s**2 - 8*s - 4. Let x be y(-11). Let a = -58 - x. Is (2 + a)/(-1 + 2) prime?
True
Let v(t) = 7*t**3 + 16*t**2 + 24*t - 19. Is v(12) composite?
False
Suppose 3*l + 48 = -l. Let t(o) = -11*o - 7. Let h(v) = 44*v + 29. Let b(d) = 2*h(d) + 9*t(d). Is b(l) composite?
False
Let w(d) = 24*d**2 - 19*d - 77. Is w(-10) a prime number?
False
Is 1/(-4)*2 + (-16138479)/(-322) a composite number?
False
Suppose -41570 = -3*v - v + 2*u, 2*v + 2*u - 20776 = 0. Is v a prime number?
True
Let l(w) be the first derivative of 44*w**3 - w - 1. Is l(-1) a prime number?
True
Let m be 5 + (-1)/(4/(-193352)). Suppose -19*a + m = 11388. Is a composite?
True
Suppose -2*w = 6, -3*y - w = -0*y - 2214. Suppose -4*x + 309 = -y. Is x composite?
True
Let k = -40 + 46. Suppose k*r = 2*r + 1436. Is r a prime number?
True
Is 24359/(-3)*(-612)/204 composite?
False
Suppose 15 = 5*p, -5468 - 2497 = -3*h + 2*p. Is h prime?
True
Suppose -3*z = -2*h - 2992, -z - h + 992 = -3*h. Let q = z + -299. Is q prime?
True
Let o(x) = 16694*x - 309. Is o(7) a composite number?
False
Let b(t) = -29*t**3 + 3*t**2 - 3*t + 7. Let c be b(-4). Is c/(-3)*(2 + -3) a composite number?
False
Let z(l) = -124*l**3 - 12*l**2 - 62*l + 1. Is z(-5) a prime number?
True
Suppose -10*w + 19*w = 325683. Is w a prime number?
True
Suppose -5*p = -5*d - 20, -4*d + 3 = -5. Let q(r) = 64*r + 19. Is q(p) a composite number?
True
Let c = 72 - -18. Suppose r - 82 = -0*v + 2*v, 0 = r - 4*v - c. Is r a composite number?
True
Suppose 2*k - 3*k = 4*j + 20, 0 = 5*k - 3*j - 15. Suppose 6 = 3*n - k. Suppose -3*s = -n*s - 259. Is s a composite number?
True
Is (-3 - 136/(-48)) + 11438/12 a composite number?
False
Suppose 4*m = -4*y + 8, -3*y = y - 20. Let g = 3 + m. Suppose 0 = 2*r - g*r - 118. Is r prime?
True
Suppose -2 = -i + 5*f, -5*f + 14 = 3*i + 48. Let a(g) = 5*g**2 + 12*g - 1. Is a(i) a composite number?
False
Suppose -2*n + 2120 = -2*p + 5*p, 0 = -p - 4*n + 690. Let h = p - 301. Is h composite?
False
Let h(k) = k**3 + 8*k**2 - 10*k - 7. Let w = 24 + -33. Let q be h(w). Is (-2)/q*(7 - 134) composite?
False
Let h(q) = -q**2 - 9*q - 3. Let j = -8 + 1. Let u = 1 + j. Is h(u) composite?
True
Let f(a) be the third derivative of -29*a**6/60 + a**5/30 - a**4/8 + a**3/3 - 5*a**2. Let k be f(2). Let w = k + 779. Is w prime?
False
Is (37272/32)/(2/8) a prime number?
False
Suppose 21*l - 77509 = 58298. Is l prime?
False
Suppose 0*d + 3*d + 12 = 0. Let n be (2/d)/((-9)/2286). Is (-2)/((-8)/4)*n prime?
True
Let o(g) = g**3 - 19*g**3 - 5 - 12*g**3 - 5*g - 2*g**2 - g**3. Is o(-4) a composite number?
True
Suppose 0 = -0*j + 2*j + 4*t + 10, 0 = -3*t - 6. Is j/(348/88 - 4) prime?
False
Let a be -3*-1*(2 - 1). Suppose a*n - n = 0. Suppose n = -3*b + 2*b + 37. Is b a composite number?
False
Let d(k) = k. Let u be d(3). Let j be -1719*1/(u/(-4)). Is j/16 - (-3)/(-12) a composite number?
True
Let l = 41 - 67. Let c be 4/l - 15/(-13). Let t(p) = 52*p - 1. Is t(c) prime?
False
Let d(g) = -2*g**2 + 2. Let y(i) be the first derivative of i + 4. Let s(c) = -d(c) + y(c). Is s(6) prime?
True
Let y be (18/(-9))/((-4)/(-2914)). Let o = y - -2130. Is o prime?
True
Suppose 0 = -0*j + 7*j. Suppose f - 404 - 45 = j. Is f composite?
False
Let s(h) = -h**2 + 17*h - 13. Let n be s(11). Let x be (-3)/4 + 411/4. Let d = n + x. Is d a prime number?
False
Suppose 2*t - 34876 = 3706. Is t prime?
False
Let j(q) be the first derivative of -7*q**3/3 - 5*q**2/2 - 2*q - 8. Let x be j(-3). Let w = x + 133. Is w a composite number?
False
Suppose -t - 4*t - 2*g = -320, 0 = 3*g. Suppose t + 158 = 2*b. Is b prime?
False
Let g = 24740 - 5333. Is g a composite number?
True
Let t be (-2*1 - -6) + -1. Let q be (-4)/18 - 190/(-45). Suppose -316 = -q*h + d + 211, 2*d = -t*h + 409. Is h a composite number?
True
Suppose 3*h + 174 = 5*y, -3*y - h = 5*h - 120. Suppose 4*o = 7*d - 4*d - 77, 5*o - 13 = -2*d. Let n = y + d. Is n a composite number?
True
Let d be -1078 + -3 + (-2)/2. Let n = d + 1723. Is n composite?
False
Suppose 67*t + 102833 = 84*t. Is t composite?
True
Suppose -2*k - 3*w + 17776 = 3*k, -5*k + 4*w + 17762 = 0. Is (k/(-8))/(6/(-24)) composite?
False
Let m be (-1)/((-27)/12 + 2). Let j be (m - -1)*22/55. Suppose -2*u = j*t - 3*u - 1902, -3*u + 12 = 0. Is t composite?
False
Let f = 1167 - 9. Is f/12 + 1/2 a composite number?
False
Is (-2)/(-5*(-6)/(-16305)) prime?
True
Is 27638/((-340)/(-153) - 4/18) a prime number?
False
Suppose -445*d + 434*d + 598334 = 0. Is d a prime number?
False
Suppose -2*b + 9075 = 3*j - 10030, -4*b + 19097 = 3*j. Is j a prime number?
False
Suppose 57*w + 7325 = 62*w. Is w composite?
True
Suppose 2*x - 69 - 457