ite?
False
Let g = 152 + -60. Is (g + 2)/((-12)/(-42)) a composite number?
True
Let a(t) = -t**2 - 8*t + 13. Let m be a(-9). Let o(s) = -3 + 6 - m*s - 4 - 4*s. Is o(-2) composite?
True
Suppose -3*j = -0 - 6. Is 6*j/4 + 262 composite?
True
Let m(y) = 8*y**3 + 0*y**3 + 2*y**2 - 3*y**3 - y + 3*y - 3. Is m(2) prime?
False
Let g(y) = 8*y**2 + 5*y + 5. Is g(-6) composite?
False
Let z(p) = -58*p + 17. Is z(-5) composite?
False
Let a(q) = -q - 11. Let k be a(-5). Is 41/2 + 9/k prime?
True
Let i(c) = -c**2 - 1. Let w(q) = -7*q**2 - 5*q + 1. Let k(o) = 5*i(o) - w(o). Let y(t) = -5*t**3 + t - 1. Let m be y(1). Is k(m) prime?
True
Let m(n) = -n**3 + n**2 - 3*n + 5. Let w be -1 - 1 - 1*2. Let h be m(w). Suppose 5*q - h = -32. Is q a composite number?
False
Is -4 + (1655 - -4 - -2) a composite number?
False
Let w = 586 + 321. Is w a prime number?
True
Let r(a) = -a - 3. Let u be r(-4). Is u/(-6) + (-2145)/(-18) composite?
True
Let f(c) = -2*c + 16. Let z = 6 + -17. Is f(z) a prime number?
False
Let z(g) = -g**3 - 4*g**2 - 2*g - 6. Let d be z(-4). Suppose y + 380 = 5*w + d*y, 5*y = 3*w - 256. Is w composite?
True
Let h = -107 - -56. Is 2*(-1 + h/(-6)) a prime number?
False
Let x be (-122)/6*-3 + 3. Suppose -5*k + 1 + x = 0. Is k a prime number?
True
Suppose 3*z = 5*t - 1067, 5 = 5*z + 25. Is t composite?
False
Let n = -45 + 63. Let m = n + 435. Is m a prime number?
False
Suppose 459 = 2*f - 175. Is f composite?
False
Suppose 3*o - 6*o = 3*i, -o = -4*i + 5. Let v(b) = -1 + 1 - 1 + 23*b. Is v(i) a prime number?
False
Suppose -4*y + 1994 = 5*l, 0*y - 3*l - 1008 = -2*y. Is y a prime number?
False
Let h(g) = -3 + 6*g - 7*g - 11*g. Is h(-3) prime?
False
Let z = 273 - -446. Is z a composite number?
False
Let y be 22/8*4/1. Let i = 2 - y. Is ((-3)/i)/(2/24) a prime number?
False
Let a = -12 - -25. Suppose 9 = -v - 0*k + k, 3*v = -5*k + a. Is ((-3)/v)/((-2)/(-56)) composite?
True
Is -15*((-258)/9 + 1) a composite number?
True
Suppose -4*g = -5*g + 1. Let w(u) = 202*u**3 + u**2 + u - 1. Is w(g) prime?
False
Let v = 1408 - 767. Is v a composite number?
False
Let l(x) = -27*x + 5. Is l(-4) a composite number?
False
Suppose 0 = 3*a - 748 - 683. Is ((-2)/(-6))/(3/a) a prime number?
True
Suppose 4*b = -4*d + 3*b - 835, 220 = -d + 2*b. Let c = 419 + d. Is c composite?
True
Suppose -5*j - 4 = 2*g + 3, j = 3*g - 15. Is (-6)/(-18) - 236/j a prime number?
True
Let u = 367 - 201. Suppose -b - u = -3*b. Is b composite?
False
Is 4 - 115/30 - (-53050)/12 a composite number?
False
Suppose -1338 = -3*i - 0*i. Is i a composite number?
True
Let d = 37 + -18. Suppose 5*q - d = 76. Is q prime?
True
Let s(w) = 5*w + 4. Suppose 0 = 2*q + 5*x - 12, 4*q - 4*x + 2*x = 48. Is s(q) a composite number?
False
Suppose -6 = -j - j. Let g be (j/(-6))/(3/(-6)). Is (-1)/1 - g - -39 a prime number?
True
Suppose -4*r + 12 = 5*x - 3*x, -3*x + 5*r = 26. Suppose -7 = 3*p - 1. Is x + (p - (-103 + 2)) a prime number?
True
Suppose -2*c = -4*c - 354. Let u = -110 - c. Is u a prime number?
True
Let y be (3 + 1)*(0 + -10). Let g = y + 69. Suppose 0 = -4*u + g + 27. Is u composite?
True
Let v be ((-1)/(-3))/(2/6). Suppose -2*u = -4*b - 196, v = -2*b - 5. Suppose -q - 3*q = -u. Is q prime?
True
Let c = 135 + 318. Suppose m = 5*x + 4*m - 2233, -c = -x + m. Is x a prime number?
True
Suppose -3*g + 5029 = -3*k + 415, -4*g + 5*k = -6153. Is g a composite number?
True
Let z be 2 + (3 - (6 - -1)). Is (72/3 - -1) + z composite?
False
Let h be -4 + (-6 - (-5 + 1)). Is (h/(-8))/(3/276) prime?
False
Let p be (-1 + 108 - 2) + -2. Suppose 0 = -2*n - 0*n + 3*l + 76, -3*n = l - p. Is n composite?
True
Let h(c) = 15*c**2 - 10*c + 19. Is h(14) prime?
True
Suppose 0 = 5*k - 4*u + 2*u - 3785, 1514 = 2*k - 5*u. Is k composite?
False
Let o(c) = 64*c**2 + 4*c - 4. Let i(s) = -s + 8. Let f be i(5). Let y be o(f). Is y/6 + 3/(-9) composite?
False
Let h(r) = 0 + 5*r**2 - 7 + 0 + 5*r. Is h(-5) a composite number?
True
Let j(c) = c**3 + 7*c**2 + 6*c - 1. Is j(6) prime?
True
Suppose -4*p = -4*n + 2844, 2*n - 3*n - 3*p + 719 = 0. Is n a prime number?
False
Suppose 2*y = -2*x - 2, -5*x = y + 3*y. Suppose -5*t + 3*v = -3*t - 1180, x*v = 2*t - 1178. Is t prime?
True
Let f = 661 + -354. Is f composite?
False
Suppose 0 = -u + 2*u - 3, -5*f + 3*u = 5779. Let d be f/(-3) + 4/12. Let h = d + -242. Is h a composite number?
True
Let b(m) = -m**2 - 5*m. Let z be b(-4). Suppose z*f - 176 = -28. Is f prime?
True
Let f(t) = 9*t - 3. Let r be f(3). Let p be -3*(1 + 0/(-2)). Is r - (-2 - (p - 0)) composite?
False
Let q(r) = 2*r**3 - 6*r**2 - 14*r + 11. Is q(7) a composite number?
True
Let h(i) = 0*i + 3 + 12 - i + 0*i. Suppose -2*x = -3*k + 3, 4*x - 3*k + 5 = 2*k. Is h(x) composite?
True
Let h(s) = -s**2 + 7*s - 1. Let z be h(5). Let p = z - 7. Suppose 3 = p*m - m - 5*o, -4*o = -m + 7. Is m a composite number?
False
Suppose 17594 = 3*n - 6295. Is n a prime number?
True
Suppose -4*u = 5*b - 288, 2*u - b - 122 = 2*b. Is u composite?
False
Let h = -4 + 9. Let i = h - -6. Is i prime?
True
Suppose 2*u - 4466 = -1348. Is u composite?
False
Is (-73094)/(-115) - 6/10 prime?
False
Let o(q) = 553*q - 8. Is o(3) composite?
True
Let b be (2 + 0)*(-2 - 0). Suppose c - 5*v - 46 = 0, 1 = -3*v - 8. Let u = c - b. Is u prime?
False
Suppose 2*q = q + 4. Suppose -7 = -v + 3*v + 5*a, -q*v + 2*a = 2. Is (v - (-17)/2)*2 prime?
False
Suppose -3*a + 7 = -5. Suppose -4*n = 3*m - 328, a*n - 2*m - 139 = 169. Is n composite?
False
Suppose 2 = -3*c - 1, 5*h - 2*c = 7. Let g = h + 9. Suppose 0*q - 5*f = -q + g, f = 3*q - 72. Is q prime?
False
Suppose -320 = -3*k - 47. Is k composite?
True
Let l = 57 + -8. Suppose 2*j - l = 4*r - 193, 4*r - j = 146. Is r a prime number?
True
Suppose 1461 = 9*d - 6*d. Is d a composite number?
False
Let w = 7 - 7. Suppose w = 6*x - x. Let b(n) = -n**3 + n**2 - n + 35. Is b(x) a prime number?
False
Let w(u) be the second derivative of -u**5/20 - 2*u**4/3 + 3*u**3/2 + u**2 - 3*u. Let c be w(-9). Is 3 + (2 - c)/2 prime?
True
Suppose 12 - 2 = -3*i - 4*b, 2*b = -4*i. Suppose i*v = 5*t + 54, -v - v - 3*t + 86 = 0. Is v a prime number?
True
Let b(g) = -g**3 - 6*g**2 - g - 1. Let f(s) = 1. Let h(y) = -b(y) + 5*f(y). Is h(-5) composite?
True
Let m(k) = -2*k - 1. Let r be m(-3). Suppose r*o - 556 = 1099. Is o a composite number?
False
Let r(x) = x**2 - x + 4. Let h be r(0). Suppose 2*a - 2*u + 14 = 0, -3*u + 5*u - 18 = h*a. Let l(t) = 2*t**2 + 2*t + 3. Is l(a) a prime number?
True
Let p(x) be the second derivative of x**4/6 + 11*x**3/6 + 7*x**2/2 - 2*x. Let g = -19 + 27. Is p(g) composite?
False
Let a = -1088 - -1797. Is a composite?
False
Let h be (-67)/(-13) - (-6)/(-39). Suppose -h*l - 52 = -837. Is l composite?
False
Suppose -3*x + 192 = 2*m, x = -4*m + 3*x + 368. Is 2/(99/m - 1) composite?
False
Let j(g) = -7*g**3 + 18*g**2 - 18*g + 4. Let r(d) = -3*d**3 + 9*d**2 - 9*d + 2. Let p(y) = 2*j(y) - 5*r(y). Is p(8) a composite number?
True
Suppose 52 - 516 = i. Let q be (i/12)/((-2)/21). Suppose -p + q = p. Is p a composite number?
True
Suppose 2*r - 31 = 297. Let i = 34 - r. Is ((-1)/2)/(5/i) a composite number?
False
Suppose -4*h + 301 + 99 = 0. Suppose 5*f + 2*t - h = 101, 5*t - 15 = 0. Suppose 4*o + 23 = g, o + f = 5*g - 0*o. Is g a prime number?
True
Suppose -4*a = i - 2159, -3*i + 1077 = 2*a - 2*i. Is a a composite number?
False
Suppose -5*g - 4*z - z = -2085, -5*z + 828 = 2*g. Is g a composite number?
False
Suppose -5*c = -9*c + 8. Is c a composite number?
False
Suppose 0 = 9*h - 4*h - 2605. Is h prime?
True
Let f(i) = i**2 + 11*i + 8. Let c be f(-11). Suppose -c + 68 = 5*b. Is (-8)/b*(-354)/4 composite?
False
Let v(j) = 270*j**2 - 5. Is v(-4) prime?
False
Let d = -16 + 19. Is 339*-1*d/(-9) a composite number?
False
Let i(o) = 4*o**2 - 7*o - 32 + 2*o**2 + 31. Is i(-3) composite?
True
Let c(l) = 2*l. Let a be c(1). Suppose 6*i - 24 = a*i. Suppose 0 = i*u - 4*u - 46. Is u a composite number?
False
Is 17163/57 + 2/(-19) a prime number?
False
Let g(v) = v**2 - 5*v - 9. Is g(8) composite?
True
Let d(h) = h**2 + h + 74. Is d(0) prime?
False
Let t = -13 + 192. Is t composite?
False
Let p(o) = o**3 - 12*o**2 - 11*o + 14. Let l be p(13). Let c = -3 + l. Is c composite?
False
Let i = 45 - 32. Is (i/4)/(7/28) a prime number?
True
Let w(c) = c + 1. Let a be w(2). Let