Let k(g) = -163*g - 1. Suppose -2*f = -6*f - 4. Let p be k(f). Suppose -3*j - p = -2*a - j, -j = -2*a + 158. Is a a composite number?
True
Let b be (44/(-10))/(2/40). Let z = -116 - -271. Let m = z + b. Is m prime?
True
Let d(v) = -34*v**3 - 4*v**2 - 2*v + 2. Is d(-2) composite?
True
Let u = 25 + -14. Is u a prime number?
True
Suppose 0 = -2*t - 88 + 298. Let g = 159 - t. Suppose k - l = -16 + g, 2*k = -l + 67. Is k a composite number?
True
Suppose 0*y = -2*y + 1358. Is y prime?
False
Suppose -3*i - 22 = -5*i. Is i a prime number?
True
Suppose 0 = -g - 2*g + 3. Suppose -3*k + r + 100 = 410, -r + g = 0. Let q = k + 180. Is q a composite number?
True
Suppose -2*j = 8, 0 = -u + 5*j - 1 + 20. Is 89/u*(-6 + 5) a prime number?
True
Suppose -10 = -l - l. Let u(f) = 6*f**2 - f. Is u(l) composite?
True
Is (4 + 1)*(-4 + (-13708)/(-20)) a composite number?
False
Let l(g) be the first derivative of 4 + g - 11/2*g**4 + 1/2*g**2 + 0*g**3. Is l(-1) prime?
False
Let o = 29 - 13. Suppose o = 2*u - 26. Is u composite?
True
Let s be (2 - 16/10)*10. Let x = s - 1. Suppose -21 = -x*g + 36. Is g a composite number?
False
Let i(p) = 656*p + 4. Let a(q) = -2625*q - 15. Let l(v) = 4*a(v) + 15*i(v). Let t be l(-1). Let s = t + -469. Is s composite?
False
Let h(g) = 4*g - 9. Is h(11) composite?
True
Let y(n) = -n**3 + 5*n**2 - n. Let s be y(7). Let q = 184 + s. Is q prime?
True
Suppose 5*w - c - 6 = 0, w - 2*w - 3*c = -14. Suppose -w*a = -a - 57. Suppose 3*q = -0*q + a. Is q a composite number?
False
Let g be (-8)/5 + 2/(-5). Let s = 7 + g. Suppose 0 = 5*u + n - 30, s*u = -4*n + 3 + 27. Is u composite?
True
Is -1 - (-15)/12 - 278/(-8) a prime number?
False
Suppose 4*k - 28 = d - 2*d, 16 = 4*k - 2*d. Let c = 548 - 378. Suppose s = k*s - c. Is s a prime number?
False
Suppose -3*z + 4 = -z. Let n = 18 - 12. Suppose 0*t = -z*t - n, h - 3*t = 46. Is h prime?
True
Suppose 2*d + 10 = -3*h - 3*d, h - 3*d = 6. Let o(l) = -47*l + 9. Let a be o(-10). Suppose h = 3*v - 2*y - a, 4*v + 2*y - 114 - 548 = 0. Is v a prime number?
True
Let w(k) = 14*k**3 + k**2 + 2*k + 2. Let m be w(3). Suppose -3*t = 2*t - m. Is t composite?
False
Suppose 4*q + 3*k - 4*k = 28, -2*q + 32 = -5*k. Let m(g) = -7 + 6 + 5*g - 7. Is m(q) composite?
True
Let b(r) = 476*r + 1. Is b(2) a composite number?
False
Let w(r) = 2*r**2 + 5*r + 0*r**2 + 5*r - 13. Is w(-9) composite?
False
Suppose -2*r - i = -1, -4*i - 5 - 15 = -4*r. Let d(b) = 11*b**3 - 2*b**2 - b + 1. Is d(r) composite?
False
Let h(o) = 2*o**2 + 9*o - 15. Let p(x) = x**2 - 1. Let s(f) = -h(f) + 3*p(f). Is s(10) prime?
False
Let x = 1060 - 669. Is x a prime number?
False
Suppose 0 = 5*d + 2*g - 4, 2 = -4*d - 3*g + 1. Suppose f + 3*b = b + 129, 125 = f - d*b. Is f a composite number?
False
Let s = 1 + -4. Let y = 3 + s. Suppose y*i = i - 3*m - 19, -2*m - 8 = 0. Is i a prime number?
True
Let m = -1109 + 3740. Is m a prime number?
False
Let r(o) = -o**3 - 12*o**2 - 10*o - 6. Let d be r(-11). Suppose 0 = c + 3 - 17. Let g = c - d. Is g a prime number?
True
Is -44*(14/(-8) + -4) composite?
True
Let y(x) = -341*x - 14. Is y(-3) a composite number?
False
Let s(d) = -2*d**3 + d**2. Let a be s(-1). Suppose -z + 63 = 5*x, -z + 112 - 17 = -a*x. Is z prime?
True
Let y = -30 - -101. Suppose 2*k = 5*h - 0*k - 123, -3*h + y = -4*k. Suppose -5*z + h = -80. Is z a prime number?
False
Suppose p - 8 = 2*i, -4*p + 19 - 3 = -4*i. Suppose -10 = -s - s + k, p = -k. Suppose 3*a - s*a = -78. Is a a prime number?
False
Suppose 0 = z - 2*z + 65. Is z prime?
False
Let x(n) = 10 - 2 - n + 1. Suppose 7*j + 2 = -3*t + 3*j, -16 = -t + 2*j. Is x(t) a composite number?
False
Suppose 5*g + 2*s - 568 = -123, -2*s + 97 = g. Is g a prime number?
False
Let x(t) = 4*t**2 - 3. Let y(l) = l + 5. Let w be y(-5). Suppose -3 = -w*j - j. Is x(j) composite?
True
Let u(j) = -j**2 + 13*j + 15. Is u(13) composite?
True
Suppose -5*f = -2 - 3. Suppose 20 = -0*b + 2*b. Let q = b + f. Is q composite?
False
Is 5/(-10)*(-7554)/3 a prime number?
True
Let z(m) = 2*m**2 - 10*m - 1. Let s = 7 - 6. Let u be (2 - -2) + 3 + s. Is z(u) composite?
False
Suppose 5 = 3*w - 7. Suppose 4*n = -2*o - n - w, 0 = 2*o + 3*n. Suppose -o*l + 0*l = -21. Is l a composite number?
False
Let y(p) = -14*p**3 + p**2 - 4*p - 9. Is y(-4) a prime number?
True
Let o(y) = y**2 - 11*y + 11. Is o(-18) prime?
False
Let c(p) = 78*p + 9. Let z(q) = 39*q + 5. Let m(n) = 3*c(n) - 7*z(n). Is m(-7) composite?
True
Let o = -1 - -4. Suppose o*m - 17 = -2*h - 2*h, 2*m - 10 = -2*h. Is 83*1/(-1 + h) prime?
True
Let k(h) = -8*h**2 + h**3 + 0*h + 2*h + 4*h**2 + 4. Is k(5) composite?
True
Let x be -2 + 3/((-9)/1038). Let c = x + 531. Let o = c - 92. Is o composite?
True
Suppose 5*d = 5*j - 3 + 23, 3*d = 2*j + 10. Is (-2)/(4/j) + 36 a composite number?
False
Let q(x) = x**3 - 9*x**2 + 9. Is q(16) prime?
True
Let h be (6 + -5)*2/(-2). Is (-284)/(-8) - h/(-2) a prime number?
False
Let f = -7 + 11. Let s = 8 - f. Suppose -s*v = -v - 249. Is v prime?
True
Let p(d) = -9*d - 1. Is p(-3) prime?
False
Let z be 4 - 1 - (-3 + 4). Let s be 1*-2 - (-6 + z). Suppose 5*i + s*q - 6*q - 615 = 0, -3*i = 4*q - 337. Is i a composite number?
True
Let t = 6 - 2. Suppose 0 = t*b - b - 1947. Suppose -f - 4*f = 3*o - 689, -3*o = -5*f - b. Is o a prime number?
True
Is 13*4/((-8)/(-38)) prime?
False
Is (-10)/15*2583/(-6) a composite number?
True
Suppose 5*y = -0*g + 4*g + 40, 3*g = 4*y - 31. Let t = g + 9. Suppose t*x + 84 = 296. Is x a prime number?
True
Suppose 10 = -d + 6*d. Let t = d - 2. Is 7 - (2/2 - t) a prime number?
False
Suppose -5*i - 10 = -5*v + 8*v, -i = 2*v - 5. Suppose -4*n - v*z - 13 = 0, 4*n + 2*z + 7 = 3*n. Suppose -3*x - c = -7*x + 87, 38 = x + n*c. Is x composite?
False
Is 3/(-5) - (-2965)/25 a composite number?
True
Suppose -5*z = -z - 3*c - 8522, -z + 5*c + 2139 = 0. Suppose 4*x - 3*u = -8*u - 2835, -z = 3*x + u. Is (-3)/9 + x/(-6) a composite number?
True
Let k(u) = -2*u**3 + 11*u**2 + 7*u + 5. Is k(6) a composite number?
False
Let n = 4 + -4. Suppose n*c + 2 = -2*c. Is 1/(c*1/(-26)) a composite number?
True
Let u(w) = -w + 5. Let p be u(5). Suppose 5*c + 3*l - 376 = p, -207 = -3*c - 3*l + 21. Is c prime?
False
Suppose -4*g + 4*i - 60 = 0, -3*g - 38 = -2*i + 2. Let x be (72/g)/(4/(-110)). Suppose 2*h = -2*f + x, -f + 5*h + 3 = -120. Is f a prime number?
True
Let f(a) = -12*a - 13. Is f(-8) composite?
False
Let i(b) = -b - 1. Let f be i(9). Let c be (2/8)/(f/(-40)). Is ((-14)/(-8))/(c/8) composite?
True
Suppose 3*q - 56 = q. Suppose -k - c + q + 23 = 0, -k = 4*c - 57. Suppose 21 = 2*x - k. Is x a prime number?
False
Suppose 2*f - 21 = -f. Let t(w) = -2*w**2 + 2*w - 3. Let a be t(f). Let c = 142 + a. Is c a prime number?
False
Let k(o) = 35*o - 24. Is k(9) composite?
True
Suppose -4*u + 61 = 3*i, 19 = 3*u - 4*i - 33. Suppose u*p - 2785 = 11*p. Is p composite?
False
Let d(c) = c. Let f be d(3). Suppose -8 = 4*q + 2*x + 3*x, -2*q - 6 = f*x. Suppose 2*t + 3*t = 4*p - 99, -3*p + 72 = -q*t. Is p a prime number?
False
Let h(g) = 0 - 4 - 3*g**2 + 11*g**2 - 3*g + 6*g**2. Is h(-3) a composite number?
False
Let w = -3 - -2. Let q(o) = -2*o**2 - 2*o + 3. Let r be q(3). Is 7/w*(2 + r) a composite number?
True
Let m(j) = j**3 - 5*j**2 - 7*j + 9. Let b be m(6). Suppose -2*a = -2*z - 1168, z = -b*a - 4*z + 1728. Is a prime?
False
Suppose 198 = 4*q - 22. Is q a composite number?
True
Let f = 60 - 103. Let x = f + 76. Is x a composite number?
True
Suppose -p - 4*p = -5*q - 15, -2*p = 0. Let k(d) be the first derivative of 14*d**3 + d**2/2 - 4*d + 7. Is k(q) a prime number?
False
Let h = -2726 + 4639. Is h composite?
False
Is 1560/21 - (-2)/(-7) a composite number?
True
Suppose r = -3*u + 1349, -2*u + 4019 = 6*r - 3*r. Is r a composite number?
True
Let z(c) = 5*c**3 + 7*c**2 + 2*c - 9. Let a(k) = 11*k**3 + 14*k**2 + 5*k - 19. Let m be 1 - (-4)/((-12)/15). Let q(u) = m*a(u) + 9*z(u). Is q(-6) composite?
False
Suppose -4*c + 1507 + 781 = 4*x, 1 = c. Is x prime?
True
Let z be (-6 - -8)*(1 - 0). Suppose s + 161 = z*s. Is s prime?
False
Suppose 5*w + 5*i + 0*i = 1465, -5*w + 5*i + 1465 = 0. Is w composite?
False
Suppose -6*s + 27583 = -3599. Is s a composite number?
False
Let c be (-3596)/(-16) - 6/8. Suppose -4*q = 2*g - c, 3*q - g = -38 + 201. Is q composite?
True
Let m(u) = u**