 composite?
True
Let b(l) = 52*l - 1. Let j be b(1). Let s = j + -14. Suppose -m + s = -42. Is m a prime number?
True
Suppose 2*v = -692 + 162. Let n = v + 452. Is n composite?
True
Suppose 127 = q + 30. Is q a composite number?
False
Let w(n) = -14*n + 21. Is w(-17) composite?
True
Let w be (9 + -2)/(2 - 1). Suppose -2*x + w = 1. Suppose x*v = 25 + 20. Is v prime?
False
Let d = 0 + 1. Let f = 5 - d. Is (2 + 0)*290/f composite?
True
Suppose -10 = 2*x + 3*x, -5*q - 13 = 4*x. Is ((4 - 2) + q)*19 a prime number?
True
Let i(f) = -f**2 + 4*f. Let k be i(3). Suppose k*y + y = 660. Suppose g = 4, 3*w - y = -0*w - 3*g. Is w a prime number?
False
Suppose 0*r = -4*r + 1556. Is r composite?
False
Suppose h - 282 = 277. Is h a prime number?
False
Let w(c) = 19*c + 9. Is w(4) a composite number?
True
Suppose 3*l - 4*l + 591 = 0. Is l a prime number?
False
Let y be (-6)/24 + (-238)/8. Is 9*(-1 - y/9) prime?
False
Let z(a) be the first derivative of 53*a**3/3 + a**2 + 3*a + 3. Suppose -4*o - 3*d + 6*d - 5 = 0, -2*o - 2 = -2*d. Is z(o) prime?
True
Suppose 0 = -3*f - 0*f + 3. Suppose 4*s = f + 19. Suppose s*j - 1012 = j. Is j composite?
True
Suppose -2*h - 14 = 8. Let j = -26 - -43. Let d = h + j. Is d a composite number?
True
Suppose 0 = m - 3*m. Suppose -2*x = z - 217, -5*x = -m*x - 15. Is z prime?
True
Suppose 0 = 4*m - 27 + 11. Suppose -3*h - 215 = -m*h. Suppose -h = -4*g + 33. Is g a prime number?
False
Let b(d) = 4*d + 0*d + 3 - 8. Is b(9) a composite number?
False
Let r(h) = 6*h**2 + 9*h + 7. Is r(8) a prime number?
True
Let x(s) = 3*s**2 + 13*s - 13. Is x(-9) composite?
False
Let p be (-4)/5*(-25)/10. Suppose p*c + 2*c - 1384 = -5*x, 2*c + x = 692. Is c a prime number?
False
Let o(g) be the first derivative of g**6/90 - g**5/120 - 5*g**4/24 + 2*g**3/3 + 1. Let z(s) be the third derivative of o(s). Is z(4) a prime number?
False
Let o(v) = 3*v**2 + 3*v + 2. Let g = 2 + -6. Is o(g) composite?
True
Is (0 + -2)*(-2846)/4 a prime number?
True
Let a = -1047 - -2026. Is a composite?
True
Let b(i) = 29*i**2 + 2*i - 1. Is b(-2) a prime number?
False
Suppose 0 = 5*m - 1225 - 1835. Suppose -3*s + m = -0*s. Suppose 136 + s = 4*v. Is v a prime number?
False
Let l be (-6)/(3/(-3) + 0). Suppose -2*z - l = 4*u + 6, -u = 2*z - 3. Suppose -z*d + d = 5*o - 293, 3*o - 4*d = 170. Is o a prime number?
False
Suppose 2*n - 568 = 670. Is n prime?
True
Let k = 962 - 687. Let n = -172 + k. Is n prime?
True
Let h be ((-2)/(-4))/(2/(-396)). Let r = h + 154. Is r prime?
False
Let f = 6 - 3. Suppose 2 = r - 5*u, f*u = 2*u. Is r composite?
False
Let x(h) = h**3 - 5*h**2. Let u be x(5). Let t be -37 - (u + (3 - 4)). Is (-2)/(-9) - 1540/t a prime number?
True
Suppose -2*c - 5*k = 108, 2*c + 63 = -4*k - 43. Let j(z) = -z + 2. Let u be j(0). Is c/(-2) - u/(-4) prime?
False
Let l(j) = 2*j**3 + 8*j**2 + 14*j + 13. Is l(9) composite?
True
Let x(i) = 6*i - 2. Let p be x(-8). Let t = -35 - p. Is t composite?
True
Let q be ((-2)/(-3))/(3/(-9)). Let x = 21 + -34. Is x/2*4/q a prime number?
True
Let f(k) = -374*k - 1. Is f(-1) composite?
False
Let z(x) = -16*x - 4. Let d be z(-4). Suppose 0 = -4*c + 4*j + 104, 2*c - j - d = -11. Is c a prime number?
True
Suppose s + 75 = -4*c, -4*c + 4*s = -56 + 156. Let v be (-14)/((-1)/((-10)/(-4))). Let x = c + v. Is x composite?
True
Suppose 0 = -3*u + 5*u - 802. Suppose 0 = 3*q + 5*n - 361, -q + 4*q - 5*n = u. Is q a prime number?
True
Let o(f) = 75*f**3 + f + 1. Let c be o(-2). Is 10/45 - c/9 a composite number?
False
Let w be 420/18*(-6)/(-4). Let o = w + 49. Suppose 0 = -4*y - 0*y + o. Is y a prime number?
False
Let c = 1705 + -559. Is 6/15 + c/10 prime?
False
Let f(l) = 36*l - 1. Let q(w) = -37*w + 2. Let o(u) = -3*f(u) - 2*q(u). Is o(-2) a prime number?
True
Let n = 74 + 406. Suppose o = 4*o - n. Is 2/7 + o/28 a composite number?
True
Let p(f) = 3*f**2 + 3*f + 2. Is p(4) composite?
True
Suppose 332 = -2*w - 2*w. Let j = w - -136. Is j a composite number?
False
Let v(k) = -k**2 + 3*k + 9. Let p(y) = -5*y**2 + 13*y + 35. Let x(w) = -2*p(w) + 9*v(w). Let o = -2 + -7. Is x(o) prime?
True
Let i = 256 + -115. Is i prime?
False
Is 1*-3369*13/(-39) a prime number?
True
Let w(d) be the second derivative of -d**4/12 - 3*d**3 - 3*d**2 - 3*d. Is w(-7) prime?
True
Let x = 148 - 77. Let m = x + 120. Is m a prime number?
True
Suppose j - 882 = 5*w, -2*w + 912 = j - w. Is j prime?
True
Let p be (-1)/3 + 13/3. Let c = p + -6. Let n = c - -5. Is n a prime number?
True
Let q(f) = -3*f**3 + f**2 - 1. Let a(d) = d + 13. Let b be a(-9). Let u = b + -7. Is q(u) composite?
False
Suppose -12*c = -9*c - 993. Is c composite?
False
Suppose 5*t + 7 - 342 = 0. Is t a prime number?
True
Suppose 788 = -0*x + 3*x + d, 3*x = -3*d + 786. Is x composite?
False
Let a(j) be the first derivative of 157*j**3/3 - j**2 - j - 6. Is a(-2) prime?
True
Suppose 3*v = 4*v - 1. Let h(x) = x**2 + 1. Let b be h(v). Suppose -23 - 15 = -b*u. Is u prime?
True
Let m = -5 + 7. Suppose -m*z - 3*z = -10. Suppose 3*y + y - 118 = -z*i, 273 = 5*i - y. Is i a prime number?
False
Let q be (-3 - 0 - -5) + 54. Is q + (4/(-2))/(-1) a prime number?
False
Let m = 7 - 4. Suppose 0 = -c + 2*c - 40. Suppose -a = z - c, z - a = -m*z + 145. Is z a composite number?
False
Suppose 5*h - 514 = -2*d + 21, -d = -5. Suppose 290 + h = 5*b. Is b a prime number?
True
Let l(s) = s**2 + 479. Is l(0) composite?
False
Suppose -3*j - 69 + 12 = 0. Suppose -308 = -5*s + 52. Let h = s - j. Is h a prime number?
False
Let q be ((-2)/3)/((-6)/1143). Let y = q + -409. Is (-6)/(-9)*y/(-4) prime?
True
Let f = 47 + -10. Is f a prime number?
True
Suppose 2*j - 5*h - 45 = -3*j, -4*h = 20. Suppose k = 3*c + j*k - 150, c - 56 = k. Is c prime?
True
Suppose 0 = 3*y - 93 - 447. Suppose -3*z + 275 = -m, 3*m - y = -2*z + 2*m. Is z a prime number?
False
Suppose 110 = -2*k + z, k + 74 = -3*z + 26. Let n = k - -109. Is n a composite number?
True
Let z be (4/(-5))/(1/(-15)). Let k = -9 + z. Is ((-1)/2)/(k/(-414)) a prime number?
False
Suppose -2*o + 2288 = -510. Is o prime?
True
Let y(z) = -5*z**3 + 6*z**2 + 5*z + 1. Suppose 1 = 5*j + 2*l + 17, 5*l - 10 = 0. Is y(j) composite?
False
Let k = 0 - -3. Suppose -20 = -4*f, 5*c + k*f = -0*f + 110. Is c a composite number?
False
Let x(n) = n**3 - 5*n**2 - 4*n - 1. Let b be x(-3). Let k = 416 + b. Is k prime?
False
Let h = 9 + -15. Is (-18)/(-27) + (-122)/h composite?
True
Let n = 6 + -4. Suppose 0 - 74 = -n*s. Is s a composite number?
False
Let d = 25 - 11. Suppose 3*l - 13 = 2*w, 0 = -4*l + 3*w - 2*w + d. Is l a prime number?
True
Let w = -18 + 22. Is w/10 + 3549/15 a composite number?
True
Suppose 3*j = a + 2*a - 993, 4*a + 5*j = 1306. Is a composite?
True
Let n = 2114 - 1461. Is n composite?
False
Suppose 3*f = 5*i + 32, -4*i + f - 2*f - 12 = 0. Let g(v) = 5*v + 11. Let z be g(-3). Is 194/i*(2 + z) a prime number?
True
Let w(f) = 6*f**3 + f**2 + 2*f - 3. Suppose 3*p - 12 = 2*c + c, 0 = -2*c - 5*p + 20. Let b = c - -2. Is w(b) a prime number?
True
Let o(k) = -k**3 + 8*k**2 - 6*k - 10. Let j be o(7). Let u(f) = -f - 5. Let h be u(j). Is h/(-8) - 166/(-8) a prime number?
False
Let o(l) = -7*l - 3. Suppose 0*n - 17 = -v - 5*n, 2*n = 3*v + 34. Is o(v) composite?
False
Let c(s) = s**2 - s - 2. Let l be c(3). Let m(z) = 13*z**2 - z - 1. Is m(l) prime?
False
Let d(h) = h**3 - 4*h**2 + 4*h. Let b be d(4). Suppose b - 58 = -2*z. Is z prime?
False
Suppose -a + 290 = 5*o, o - a - 25 = 39. Suppose c + 0*c - o = 0. Is c composite?
False
Let r(k) = 23*k**2 - 2*k + 4. Is r(3) a composite number?
True
Let l(m) be the first derivative of 13*m**3/3 - 3*m**2/2 - 2*m + 2. Let j be l(3). Let r = j - 53. Is r composite?
False
Suppose 4*f = -f - 4*w + 5687, -5*f + 5*w + 5705 = 0. Is f a prime number?
False
Let o(q) = -q**2 - 7*q + 8. Let t be o(-6). Suppose t = -4*w + 358. Is w prime?
False
Suppose 3*z - 16 + 4 = 0. Suppose -v = -z*v + 12. Suppose 3*x + 4*n - 36 - 15 = 0, -v*n + 64 = 4*x. Is x composite?
False
Let x(d) = -8*d**2 - 3*d - 4. Let k be x(-3). Let o = k + 100. Is o a prime number?
False
Let k = -1270 - -1988. Is k composite?
True
Let g = 199 - 378. Let b = g + 258. Is b a composite number?
False
Suppose 4*m - 5*s = 18, -2*s = -0*m + 2*m. Is 2/(m/415) - 2 a composite number?
True
Suppose 0 = -2*m + 6*m. Suppose 5*h + m = 1