 = 2*l + 4. Is s prime?
True
Suppose 2*b + 3687 = 5*b. Is b a prime number?
True
Let p = -8 - -17. Suppose -4*m - 78 = -p*m - l, 2*l = 6. Is m prime?
False
Suppose -2*m = -5*m + 3. Let u = 2 + m. Suppose 0 = -y + u*f + 2*f - 15, -5 = 2*y - 5*f. Is y composite?
True
Suppose 3*f - 259 = -5*t, 5*f + 49 = t - 14. Is t a prime number?
True
Let u(h) = h + 8. Let x be u(-6). Is 118*x - (1 + 2) composite?
False
Suppose 9 = 3*v - 0*v. Suppose 0*t - v*t = -633. Is t a composite number?
False
Let o(x) = x**2 - 4*x + 2. Is o(5) prime?
True
Let l(j) = 7*j**2 - 3*j - 19. Let x(d) = 3*d**2 - 2*d - 9. Let t(q) = -2*l(q) + 5*x(q). Let f be t(6). Suppose 159 = f*p + 54. Is p prime?
False
Suppose p = 4*v + v + 19, p - v - 7 = 0. Suppose 0 = -w + p*s - 0 + 7, -4*w = -3*s - 67. Is w prime?
True
Let c be (-34)/(-8) + 1/(-4). Let l(p) = 135*p - 5. Let d be l(2). Suppose -c*n = n - d. Is n a prime number?
True
Is 181 - (5 - (4 + (-1)/1)) a prime number?
True
Let t(k) be the first derivative of 4 + 7*k - 3*k**2 + 2 - 7. Is t(-5) a composite number?
False
Suppose 4*w - 357 = 3*v, -3*w + 326 = -v + 52. Let k = 366 - w. Suppose k = 2*o + o. Is o prime?
False
Let x = -5 + 4. Let q = 2 - x. Is q/9*1*147 composite?
True
Suppose -2*g = i - 403, 0 = 7*i - 2*i + 4*g - 2033. Is i a composite number?
False
Let m(h) = -h**3 + 5*h**2 - 4*h - 1. Let q be m(3). Suppose -2*j + 4*z = -q*j + 224, 4*j - 278 = 5*z. Suppose -34 = -2*g + j. Is g composite?
False
Suppose h + 3*u = 1733, 4*h + 90 - 7022 = -5*u. Is h prime?
True
Let l = -41 + 90. Suppose -2*k = -121 - l. Is k composite?
True
Let k be 0*(-1 - (-6)/3). Suppose -3*o + 15 = k, 2*o = -2*y - o + 15. Is (-3 - y) + 136/4 a composite number?
False
Let c = -792 + 1699. Is c prime?
True
Suppose -9 = -x - 2*x. Let q = 34 + x. Is q composite?
False
Let c be (-2)/(-7) - 864/(-14). Suppose -s = -309 + c. Is s composite?
True
Let s(g) = g + 6. Let c be s(-3). Suppose -h - c*h = -812. Is h a composite number?
True
Suppose 5*y + 4*j - 114 - 147 = 0, j = 5*y - 266. Is y composite?
False
Suppose 0 = -4*h - 4*r + 12, 2*r - 2 - 6 = -3*h. Suppose h*z + 2 - 8 = 0. Suppose -z*p = 3*w - 105, 3*w - w + 4*p = 66. Is w a composite number?
False
Let o = 4 - 2. Suppose 3*l = -o*p - 5700, 3*p - 9519 = 7*l - 2*l. Is 1/(-3 + l/(-633)) a composite number?
False
Suppose -10 = 2*d, -4*f - 3*d - 289 + 1166 = 0. Is f a prime number?
True
Let s(n) be the second derivative of -n**8/140 + n**7/1260 - n**5/120 + n**4/4 + 2*n. Let r(m) be the third derivative of s(m). Is r(-1) prime?
False
Let k(b) = 6*b**2 - 4*b + 5. Let h = -13 + 18. Let u be k(h). Let l = 258 - u. Is l a composite number?
True
Let f(o) = 10*o - 1. Let u(g) = g - 6. Let x be u(5). Let i(b) = b + 1. Let r(d) = x*f(d) + 5*i(d). Is r(-5) composite?
False
Let k(a) = -a**2 - 5*a + 2503. Is k(0) a composite number?
False
Let b = -493 - -744. Suppose -96 = 5*t - b. Is t composite?
False
Let c be 1 + -1899 - (1 - 0). Is c/3*(-2)/6 composite?
False
Suppose 5*s = 0, -2*c + 3*s + 11 = -9. Is c prime?
False
Suppose 2*g - 426 = 988. Let w = -386 + g. Let u = w + -226. Is u composite?
True
Let q = 3 + -3. Let b be 2 + (q - (-52)/2). Let m = 15 + b. Is m a composite number?
False
Is (-2466)/(-10) + (-2)/(-5) a prime number?
False
Is 470 - 2 - (2 - (2 + -1)) prime?
True
Let t = -31 - -65. Let z = t + -10. Let o = 35 - z. Is o a prime number?
True
Suppose 2*b + 0*b = 3*k + 9, k - 7 = -b. Let h be (3*-1)/(b/(-8)). Suppose 3*a - 6*a = 4*y - 78, h*y = a - 10. Is a prime?
False
Suppose -5*j - 63 = -2*j. Let g be 6/j + 66/(-14). Let u = 19 + g. Is u a prime number?
False
Suppose d = 3*d - 4. Suppose 0 = d*y - 4*w - 8, 3*y - 6 = -y + 3*w. Suppose -2*h - 6 = y, -5*h - 83 = -4*n + 2*n. Is n a prime number?
False
Let d(p) = -p**3 + 4*p**2 - 3*p + 4. Let v be d(3). Suppose -5*g = v*c - 465, 0 = -0*c - 4*c + 5*g + 455. Suppose -x - c = -2*x. Is x a composite number?
True
Let p(a) = -a**2 + a + 287. Is p(0) prime?
False
Let f(m) be the first derivative of -5*m**2/2 + 4*m + 3. Is f(-11) a composite number?
False
Suppose -2*f = -176 + 42. Is f a composite number?
False
Suppose -5*w - 7 = i - 77, -5*i - 70 = -3*w. Is w composite?
True
Let l(w) = -w**3 + 4*w**2 - w - 3. Let d be l(3). Suppose 5*c + 3*z = d, -4*c = -c + 5*z + 11. Suppose -5*h + 90 = c*f, -f + 0 = -5. Is h a prime number?
False
Suppose 28*d = 27*d + 1477. Is d composite?
True
Let y be -1 + (-5 - -2 - -5). Let q be 13/(-2 + 3/y). Let k(m) = -m**3 + 14*m**2 - 9*m - 13. Is k(q) prime?
False
Suppose -2*q + p = 444, -4*p = 3*q + 302 + 375. Let n = q + 371. Suppose n = -3*m + 7*m. Is m a composite number?
False
Suppose 0 = -3*v - 2*g, 0*v - g = v. Suppose -4*y + 2*s + 710 = 0, 0 = 2*s + 10 - v. Let p = -60 + y. Is p composite?
True
Suppose 0 = -4*n + 3*n + 2, 3*n = -2*q + 112. Suppose -x + 126 + q = 0. Is x a composite number?
False
Let l(q) = 14*q + 7. Suppose 2*r - 2*d = 5*r - 11, -2*r = 2*d - 6. Is l(r) a composite number?
True
Suppose w + 4 = 6. Suppose 21 = w*k - 581. Is k prime?
False
Let b = 2756 + -25. Is b a composite number?
False
Is 4/(-8) - 382/(-4) a composite number?
True
Let y be -3 + 0 - (305 + -1). Is (6 - 3)/((-3)/y) a composite number?
False
Let d be 15/6 + (-1)/2. Suppose -3*f + d = -10. Suppose 357 = f*z - z. Is z a prime number?
False
Suppose 0 = y + 2*y + c + 397, 5*y + 5*c = -655. Let r = y - -192. Is r a composite number?
False
Suppose -3*s + 835 = 2*s - y, 5 = y. Suppose -25 = 5*a, 0 = -4*p + a + 1025 - s. Is p prime?
False
Let p(u) = 107*u**3 - 3*u**2 - 3*u + 17. Is p(4) prime?
False
Let x(s) be the third derivative of -s**6/120 + s**5/10 - s**4/6 - s**3/2 + 2*s**2. Let n be x(5). Suppose -q + 3 + 8 = d, 0 = n*d - 3*q - 37. Is d prime?
False
Let o = 13 - 10. Suppose -m - 514 = -o*m. Is m a composite number?
False
Suppose 620 = 5*i - 610. Suppose -5*w + 2*t - 5*t + 667 = 0, 4*t + i = 2*w. Is w prime?
True
Let j(v) = -27*v - 4. Let s(l) = -1 - 1 + 26*l + 7 + 0. Let y(k) = 2*j(k) + 3*s(k). Is y(5) prime?
True
Let o(i) = -1. Let z(p) = -91*p**3 - 3*p**2 - 3*p - 5. Let n(m) = -4*o(m) + z(m). Is n(-2) a composite number?
True
Let u(o) = 102*o + 1. Suppose 0 = 5*c + 4*d - 11, 3*d - 1 = 4*d. Is u(c) a prime number?
True
Let f = 17 + -2. Is (-632)/(-3) - (-5)/f a prime number?
True
Suppose 5 = -y, 3 = 2*f + y - 2. Suppose 12 = -4*d, f*j + 2*d = -3*d + 280. Suppose 6*u - 5*u - j = 0. Is u a prime number?
True
Suppose -2*y = -4*y + 6. Suppose 655 = 2*g + y*g. Is g composite?
False
Let c(z) = -139*z**3 + z + 0 + 0*z - 1 - 3*z. Let m be c(-1). Suppose 4*t - 16 = -2*n + 36, 0 = -4*n + t + m. Is n composite?
True
Let b = 7 - 7. Suppose 6*v = 5*k + 2*v - 169, 5*k - 2*v - 177 = b. Is k composite?
False
Suppose 4*j = j + 42. Suppose 2*r = 4*r - j. Is r a prime number?
True
Suppose -j = 1 + 6. Let f = j - -14. Is (-1 - 1)/((-2)/f) composite?
False
Let p(l) = -125*l - 8. Let k be p(6). Let v = -467 - k. Is v a prime number?
False
Suppose -4*r + 4 = -0*r. Suppose p = 15 - r. Is p a composite number?
True
Suppose 4*x - 25 - 15 = -a, -x = -5*a - 31. Suppose x = -5*o + 106. Is o composite?
False
Let l = 17 + -51. Suppose 0 = 4*g - 113 - 79. Let u = l + g. Is u a prime number?
False
Let r = -19 - -15. Let j(a) = -a**3 - 2*a**2 - 6*a - 1. Is j(r) a prime number?
False
Suppose -m - 2 = -0*m + 3*p, -10 = -5*m + 5*p. Suppose -m = 4*v + 3. Let h(n) = -10*n. Is h(v) a prime number?
False
Let a(x) = 43*x**2 - 6*x - 5. Is a(-6) a composite number?
False
Suppose 5*a - 159 = -3*v, 0 = -0*v + 2*v - 4*a - 106. Let s = -4 + v. Suppose -2*k - i = -s, -5*k + 48 = 3*i - 73. Is k a composite number?
True
Let n(c) = 8*c**2 + 14*c + 24. Is n(-11) composite?
True
Let c = -12 + 38. Let t = -27 - c. Let s = 90 + t. Is s a composite number?
False
Let z = -313 - -585. Let y be z/6*(-18)/(-8). Let r = y - -83. Is r composite?
True
Let k = 7 - 13. Let c(u) = -u**3 - 5*u**2 + 4*u + 9. Let t be c(k). Suppose 0 = j - 16 - t. Is j prime?
True
Let m = 66 - -185. Is m prime?
True
Suppose 482 = r - o, -o + 2*o - 1434 = -3*r. Is r composite?
False
Let n be 2*-1*(-1 + 0). Suppose 2*c = -n*c + 740. Is c a prime number?
False
Let m be -2 + (0 - -2) - -1. Let b(s) = 59*s**3 - s**2 + 2*s - 1. Let o be b(m). Suppose a - o = 2*q, 5*a = -3*q + 39 + 217. Is a a composite number?
False
Let z = -85 + -110. Let 