er?
True
Suppose -3*l + 805 + 182 = 0. Is l composite?
True
Let k = 4 - 10. Let y = k - -133. Is y composite?
False
Let y(o) = -o**3 + 3*o**2 - o + 5. Is y(-4) a composite number?
True
Let n(q) be the third derivative of -q**6/3 + q**5/12 + q**4/8 - q**3/6 - 5*q**2. Is n(-3) a composite number?
True
Let q(k) = -k**3 - 12*k**2 - 11*k + 13. Is q(-11) a prime number?
True
Suppose 0 = -5*i - 30. Suppose 5*c - 12 = -c. Is (-37)/(3/(i/c)) composite?
False
Let h be 4 + -3 + 20/2. Let b = h - 2. Is (201/b)/((-2)/(-6)) composite?
False
Suppose -3*z = -2*z + 9. Is -3*(102/z - 1) prime?
True
Suppose h = -4, -3*h = 5*a - 0*h - 923. Let b = -102 - -64. Let s = a + b. Is s composite?
False
Suppose r - 54 = -3*i, 0 = r - 4*i + 22 - 69. Suppose -2*n + 3*n = 2*b + r, 0 = 2*b - 2*n + 56. Let p = 44 - b. Is p a prime number?
True
Let k(j) = 278*j**2 + 2*j - 2. Let x be k(2). Suppose 3*p = p + x. Is p a prime number?
True
Let m be (-8)/6*(-52 - -1). Suppose -4*r + m = -572. Suppose 4*s = -4*h + r, -s - 95 = -4*s + 2*h. Is s a prime number?
False
Let d = 5 - 1. Is 1*4/d - -162 prime?
True
Let h = -57 - -188. Is h prime?
True
Suppose -5*n - 3 - 17 = 0. Let u(x) = 8*x**2 - 1. Let c be u(n). Let m = c - 38. Is m a prime number?
True
Suppose 0 = c - 6*c. Suppose c = -4*a - 2*v + 382, -v + 185 = 2*a - 6*v. Suppose -a = -3*y - 4*s + 7, 4*y - 4*s - 164 = 0. Is y a composite number?
True
Let r(k) = 2*k**3 - 10*k**2 + 6*k + 1. Is r(6) a composite number?
False
Let b(v) be the first derivative of -v**4/4 - 8*v**3/3 - 7*v**2/2 - v - 1. Is b(-8) a prime number?
False
Let u(v) be the third derivative of 1/3*v**4 + 1/2*v**3 - 3*v**2 + 0 + 0*v. Is u(8) a prime number?
True
Suppose -1 = 3*a - 16. Suppose f - a*f + 156 = 5*w, -3*w = 12. Let m = f - 31. Is m a prime number?
True
Let q(w) = 134*w - 5. Let m be q(2). Suppose 4*j - 389 = m. Is j prime?
True
Let j be (-3)/(-4)*(-12)/1. Let c be (-4)/(-6) + (-3)/j. Is (-26)/(-4)*c*10 composite?
True
Let p(t) = t**2 + 5*t + 4. Let w be p(-3). Let z be w/8 + 2578/8. Suppose -m + 73 = 2*n, 2*n = -0*m - 4*m + z. Is m prime?
True
Suppose 3*v - 1291 + 349 = 0. Is v prime?
False
Is (11/(-2))/(13/(-442)) a composite number?
True
Suppose -3*n + 5*n - 10 = z, -z = 0. Suppose -4*b - 8 = 0, b + 27 = n*t - 0*b. Suppose 0 = -4*c - 7*r + 4*r + 133, 5*c - 160 = -t*r. Is c composite?
False
Let y be 1 - 2/2 - 1. Let n(f) = 2 - 2 - 35*f. Is n(y) prime?
False
Suppose 2*c + 3*f - 802 = -f, -5*c + 1975 = 4*f. Is c a composite number?
True
Suppose 2*n - 37 = -d, n + 3*d + 0 - 11 = 0. Suppose -h = -5 + n. Let m = -8 - h. Is m composite?
False
Let s be 3/12 + 22/8. Let i(b) = 0*b - 2*b + s*b + 11. Is i(0) a prime number?
True
Let x(u) be the third derivative of -u**4/2 + 7*u**3/6 + 2*u**2. Is x(-8) composite?
False
Let r be -45*(204/9)/(-4). Let f = r - 140. Is f composite?
True
Suppose 0 = -4*a - 2*o + 8600, 0 = -2*a - 2*a + 2*o + 8592. Is a a prime number?
False
Suppose 4*h = n + 328, h = 4*n - 3*n + 79. Is h a composite number?
False
Let r(o) = 20*o - 3. Let u(j) = -j. Let d(p) = -r(p) - u(p). Suppose -4*f - 8*z + 4*z = 40, -4 = f - 2*z. Is d(f) composite?
True
Let d = -468 - -704. Let g = 351 - d. Is g composite?
True
Suppose -2*d + t - 4*t + 19 = 0, 3*d - 3 = 4*t. Suppose -d*k + 1 = 6. Is ((-79)/3)/(k/3) a composite number?
False
Let z(d) = d**3 + 4*d**2 + d + 3. Let i be z(-3). Suppose i + 7 = 4*o. Suppose -3*m = -3*x + 60, -o*x + 4*m - 6*m = -86. Is x prime?
False
Let l = 272 + 777. Is l a composite number?
False
Suppose 3*x - w = 4*w + 1256, -2100 = -5*x + 5*w. Is x composite?
True
Let y be 1*(3 - (-39)/3). Suppose y = -2*s + 58. Is s a prime number?
False
Let n(i) be the second derivative of 8*i**3/3 - i**2 - i. Let h be n(4). Suppose 0*v + h = 2*v. Is v a prime number?
True
Let v = -641 + 1191. Suppose 0 = 4*w - v - 454. Is w prime?
True
Let a be 2 - 1 - 6/(-2). Suppose a*v - 80 = k, 4*v - 78 = -3*k + 18. Let m = v + 170. Is m prime?
True
Is 4/(-14) - 2611/(-49) a composite number?
False
Let y(i) = 16 + 2*i**2 - i**2 - 19. Let o = 0 - -5. Is y(o) a composite number?
True
Let d(p) = 25*p**3 + 3*p**2 + p - 4. Let i be d(3). Suppose i + 56 = f. Suppose -3*y - z - 4*z = -f, -5*z + 498 = 2*y. Is y composite?
True
Let z(o) = 22*o**2 + 5*o - 5. Let j(f) = -65*f**2 - 14*f + 14. Let x(h) = 3*j(h) + 8*z(h). Let t be x(-4). Let w = -167 - t. Is w composite?
False
Let x(c) = 2*c**2 + 7*c + 0*c**2 + 0 + 3 + c. Is x(9) prime?
False
Suppose -3*k = 5*c - 4470 - 926, 5392 = 3*k + c. Is k a composite number?
True
Let m be (1/(-4) - -3)*4. Suppose 0 = -5*b + 4*b + m. Is b a composite number?
False
Let i be (-1 + -7)*(-3)/6. Let n(c) = 0*c - 2*c**2 - 1 + 3*c**2 - 2*c. Is n(i) prime?
True
Let y(a) = -a**3 + 3*a**2 - 3*a + 2. Let k be y(2). Suppose -5*n + 46 = c - k*c, -42 = -5*n - 2*c. Is (4/(-6))/(n/(-555)) a prime number?
True
Let t(k) = -k**2 - 5*k + 6. Let x be t(-6). Suppose -w + 0*w + 212 = x. Suppose -5*y + y = -w. Is y prime?
True
Let h(r) be the second derivative of -r**5/20 - r**4/3 - 4*r**3/3 + r**2/2 + 3*r. Is h(-6) composite?
True
Let a be 0 + 6/(-2)*-18. Let b be -3*-1*4/6. Suppose -h - b*h = -o + a, 0 = -o - 2*h + 49. Is o a composite number?
True
Let y(c) = -106*c + 57. Is y(-20) a prime number?
False
Suppose 0 = 6*h - 2*h - 276. Is h a prime number?
False
Let j(g) = g - 1. Let m be j(4). Let f be (m - -3)*(-62)/(-6). Let c = 121 - f. Is c a composite number?
False
Suppose 4*q - 16 = n + 3*n, -n - 28 = -5*q. Is q a composite number?
True
Suppose k = 7*k - 5802. Is k a composite number?
False
Let y = -23 - 562. Let p = y + 1030. Suppose -2*f = 3*f - p. Is f a prime number?
True
Let s = -4 + -1. Let j = s - -7. Suppose 0 = 3*m + j*m - 165. Is m prime?
False
Let x(c) = 55*c - 2. Is x(1) composite?
False
Suppose 3*g - 8 = 4. Let i be 19/g + (-1)/(-4). Let n(f) = 5*f. Is n(i) a composite number?
True
Suppose -3*m - m = 0. Let r be m/3 + 1 + -1. Suppose r = 4*x + 170 - 526. Is x composite?
False
Suppose -i + 0*z = 5*z + 39, 0 = -5*z + 25. Let d = i - -321. Is d a prime number?
True
Let p be (-7 - -1)/(4/(-2)). Suppose -80 + 227 = p*j. Is j prime?
False
Let x(y) = y**3 - 7*y**2 + 6*y + 4. Let o be x(6). Suppose 10 = -4*q - 2. Is o/(-12) + (-250)/q a composite number?
False
Let b be 4/(-5)*15/(-2). Suppose -w - 615 = -b*w. Is w a prime number?
False
Let v(i) = -i + 14. Let j be v(8). Let r = -3 + j. Is r/(-6)*3*-2 composite?
False
Let w(v) = 5*v**2 - 5*v**2 + 9*v**3 + 1. Let y be w(1). Let k(c) = c**2 - 4*c - 13. Is k(y) prime?
True
Let b be (-2 - -1)/((-4)/28). Suppose -2*j + 11 = b. Let c(x) = 30*x - 3. Is c(j) a prime number?
False
Let b = 762 + -85. Is b a composite number?
False
Let s = -9 - -168. Is s composite?
True
Let a(j) = 209*j + 51. Is a(4) prime?
True
Let p = -3 + 3. Suppose p = x - 2*x + 41. Suppose -4*n - x = -k - 2*k, -k + 2*n + 15 = 0. Is k a prime number?
True
Let y(x) = 24*x + 25. Is y(13) composite?
False
Let t = 545 + -329. Let h = t + -400. Is (-5)/(-15) - h/6 a composite number?
False
Let w(a) = 22*a**3 + 4*a**2 - 3*a + 1. Suppose 0 = 4*x - 12, 16 = b + b + 4*x. Is w(b) a prime number?
False
Let b(p) be the second derivative of -3*p**5/20 - p**4/3 + p**3 + 3*p**2 - 2*p. Let z be b(-4). Is z/(-4)*-2*1 composite?
True
Suppose 1 = -5*o + 11. Suppose o*z = 2*x + 276 + 34, x = 0. Is z a composite number?
True
Let o(g) = g**3 + 3*g**2 + g. Let y be o(-3). Let z be (y/6)/(2/(-12)). Suppose -4*r + 92 = z*b - 11, b - 34 = -r. Is b a prime number?
False
Suppose -p - 4 = p. Is p + 2 - (-22 + 3) composite?
False
Suppose 548 = 2*i - 2*s, 3*i = -s + 2*s + 816. Is i prime?
True
Is 66 - (-2)/(0 - -2) composite?
False
Suppose 2*m - 6*m + 321 = v, -v + 333 = -2*m. Is v composite?
True
Is (1042/(-5))/(12/(-30)) composite?
False
Let o(b) be the first derivative of -b**4/4 + 2*b**3 + 5*b**2/2 - 3*b - 2. Suppose 0 = -5*c - 4*j + 17, 4*c + j = -j + 16. Is o(c) prime?
True
Let b be (-6)/(-4)*48/18. Suppose -3*s - 2 = -2*y + 9, 29 = b*y + s. Suppose 2*i + 355 = y*i. Is i composite?
False
Suppose -45 = -3*v + 96. Let x = v + 30. Is x a composite number?
True
Let m = 425 + -270. Let j = 222 - m. Is j a composite number?
False
Suppose u - 12 = -2*u. Suppose 0 = -5*y + 4*o + 481, -o = -u*y - 2*o + 389. Is y a prime number?
True
Suppose 545 = -3*n + 6068. Is n comp