) = -5 - 3 + 10 - 131*t. Is l(-4) composite?
True
Suppose 0 = -2*x + 4*o + 26, -86 + 15 = -5*x + 4*o. Let w be (-23)/(-5) - 9/x. Suppose -5*t + 718 = 5*m - 162, -4*m + w*t = -728. Is m prime?
True
Suppose 0 = -3*d + 3153 - 540. Suppose -5*o = -1614 - d. Is o composite?
True
Let w(s) = 2*s**2 + s. Let h be w(1). Let j(v) = 317*v + 4. Is j(h) prime?
False
Suppose 13*d - 564 = d. Is d a composite number?
False
Let d = -84 - -351. Is d a composite number?
True
Suppose -3*h = 3*h - 24. Suppose 6*k + h*k - 2650 = 0. Is k composite?
True
Let y(z) = z**2 - 11*z - 36. Let v be y(13). Is 2/((-4)/(-1354)) - (v - -10) prime?
True
Suppose 0 = 21*t - 10*t - 8*t. Suppose t = 18*z - 10*z - 13256. Is z composite?
False
Let r = -13 + 9. Let t be (-1 - (4 + r))*-2. Suppose -3*p + 5*h + 347 = -0*h, t*h + 8 = 0. Is p prime?
True
Let y be (2180/6)/(5/15). Let l = y + -514. Suppose 3*f - 3*m - 2694 = -l, -f - 3*m = -694. Is f composite?
True
Let a(b) = -5 - 34*b - 3 - 26*b - 33*b. Is a(-25) a composite number?
True
Suppose 0 = 121*c - 10906512 - 8039305. Is c prime?
True
Is ((-7912)/6)/(-2) + 138/(-414) a prime number?
True
Suppose 0 = t - 4 - 1. Suppose 769 = u - 3*v, 5*v = -t*u + v + 3845. Is u a composite number?
False
Let i be -1*60183/(-6)*12/(-9). Is (0 + -6)*(i/(-12))/(-3) a prime number?
False
Let t be (-728)/(-3)*(-189)/(-84). Let c = -27 + t. Is c composite?
True
Let s(f) = f**3 - 19*f**2 - 22*f - 19. Let j be s(20). Let t = 136 + j. Is t a prime number?
False
Is 22 + -15 + 0 + 17278 a prime number?
False
Let g(r) = 210*r + 1. Suppose 7 = -3*t - 5*d - 1, -3*t + 4 = 2*d. Suppose -t = -k, -6 = -5*s - 3*k + 11. Is g(s) a composite number?
False
Let s(c) = c + 20. Let j be s(16). Suppose 4*n - 272 = j. Is n a composite number?
True
Is (2400827/11 - 2)*1 a prime number?
False
Let m(a) = 8*a**2 + 4*a + 5. Suppose -10 = -6*d + 14. Is m(d) a composite number?
False
Suppose 2*r - 2*k - 514 = 0, 0 = -7*r + 6*r - k + 251. Is r composite?
True
Suppose -153*v - 223396 = -157*v. Is v prime?
True
Let q(f) = f**2 + 8*f - 6. Let d be q(-9). Suppose -d*t = p - 633, 0 = -2*t - 0*t - p + 422. Is t/((-1)/1*-1) a composite number?
False
Suppose 3*q + 2 = 4*q. Let r be 6/4 - 3/q. Suppose r = 5*p - 500 - 295. Is p a composite number?
True
Let h(a) = -13 - 665*a + 18 + 164*a. Is h(-2) a composite number?
True
Suppose -13*p - 8350 = -18*p. Suppose -5*d + n + 294 + 3881 = 0, -2*d = -5*n - p. Is d prime?
False
Let q(v) = 29*v - 11. Let p be q(-11). Let y = 169 + p. Let o = 424 + y. Is o a composite number?
False
Let o be (2 - 1)*0 - -2. Suppose -2*m + o*j + 206 = 2*m, -5*j - 144 = -3*m. Is m composite?
False
Let u = 9 - 5. Suppose -2*i + u = -i, 3*i = -3*m + 1851. Suppose x + 0*x = m. Is x a prime number?
True
Let b be 1 + (3 - (21 - 3)). Let c = 25 + b. Suppose -c = -4*m - 2*v + 81, 3*m = -4*v + 79. Is m prime?
False
Suppose h - 4*z - 7 = -2*h, -4*z = 5*h + 31. Let v(o) = -65*o**2 + o - 8. Let s be v(h). Is s/(-4) + 4 + -4 a composite number?
False
Let i = 14 - 11. Is (-263)/(3/((-9)/i)) a composite number?
False
Let o = 11389 - -412. Is o composite?
False
Let n = -10 - -6. Is (6340/12)/(n/(-12) - 0) a prime number?
False
Let g(k) = -2*k**2 + k + 407. Let a be g(0). Let o = a - 156. Is o a prime number?
True
Suppose -w - 3*a = 3*w, 0 = 4*w + 2*a - 4. Let l be ((-2 - 0) + w)*0. Is (l - -34) + (-8 - -11) a prime number?
True
Suppose 0 = 5*s + 2*w + 34, -s + 7*w + 2 = 3*w. Is 5/(75/s) - (-388)/20 prime?
True
Let l(u) = 3*u**2 + 3*u + 1. Let w be l(3). Let i = -61 + w. Is ((-36)/i)/(6/376) prime?
False
Is -2*1823/(-3)*(-126)/(-28) prime?
False
Let y(v) = 27*v**2 + 21*v + 69. Is y(-24) composite?
True
Let f(t) = -159*t + 164. Is f(-3) a prime number?
True
Let a(v) = -55*v + 12. Let k(d) = -61*d + 19. Let l(o) = -41*o + 13. Let s(t) = 5*k(t) - 7*l(t). Let z(r) = -3*a(r) + 8*s(r). Is z(3) a prime number?
True
Let a(h) = 21*h**2 + 19*h - 29. Is a(27) prime?
False
Let z = 20649 - -16470. Is z a composite number?
True
Suppose 2*h + 0*l + l = -1940, 5*l + 10 = 0. Suppose 5*m - 1778 = 4*m. Let k = h + m. Is k a prime number?
True
Suppose -v + 2208 = -3*c - 0*v, 1461 = -2*c - 3*v. Let a(l) = -38*l + 306. Let k be a(-23). Let o = c + k. Is o a composite number?
True
Let u = -89 + 134. Let t be ((-2)/(-6))/(5/u). Suppose 4*x - 587 = t*x. Is x a composite number?
False
Let g = 4 - -1. Let y = g + 52. Is y a composite number?
True
Is ((-849)/(-1))/(-2 - (2 + -5)) a composite number?
True
Let f = 2835 - 1976. Is f a composite number?
False
Let h(q) be the third derivative of q**6/120 - q**5/60 - q**4/24 + 2*q**3/3 + 6*q**2. Suppose 4*x = x + 9. Is h(x) composite?
False
Suppose 2*r - 9 = k - 47, 0 = -2*r - 6. Suppose 4*q - k = -2*v, -v - 2*v + 2*q + 8 = 0. Is (1 + 380)/(v/4) a prime number?
False
Suppose 2*j - b - 27644 = 30492, 4*j - 116262 = -3*b. Is j a prime number?
False
Let o = 773 + -1721. Let j = -657 - o. Is j prime?
False
Let s = 10 + -12. Let a be (-2 + 333)*(3 + s). Is a/(-2)*(-6 + 4) a composite number?
False
Suppose 4*k = 5*v + 1 - 8, -2*k - v + 7 = 0. Suppose -4*l = -2*l. Suppose -10 = -j + k*b, l*b - 6 = -3*b. Is j prime?
False
Let q(c) = 220*c**3 + 3*c**2 + 3*c + 3. Is q(2) prime?
False
Let u(c) = c**2 - 2. Let v be u(2). Suppose -2*y - 11 - 5 = -4*l, -y + v = 0. Suppose -l = -p + 20. Is p composite?
True
Let s(g) = -2*g**3 + 22*g**2 + 29*g + 18. Let a(c) = -c**3 + 11*c**2 + 14*c + 9. Let i be 1/3 + 13/(-3). Let n(k) = i*s(k) + 9*a(k). Is n(11) prime?
False
Let m = 9 + -37. Let w = 159 + m. Let s = w + 158. Is s composite?
True
Suppose 5*t + 36 = 4*s, -5*t + 2*t - 30 = -3*s. Is 28025/133 - (-4)/s a prime number?
True
Let i(v) = 4*v**2 + 28*v - 19. Let u be i(-13). Let x = u - 2. Is x prime?
False
Let n = -1006 + 1726. Suppose j = 5*t - 2571, n = -2*t - 3*j + 1762. Is t a prime number?
False
Let k(x) = 19628*x**2 - 11*x + 21. Is k(2) prime?
True
Suppose -1040 = -3*m - 3674. Let k = -292 - m. Is k a composite number?
True
Let l = 2919 + -740. Is l a composite number?
False
Let h be ((-3084)/(-2))/((-2)/(-1)). Let r(y) = 157*y**3 - y**2 + 2*y. Let z be r(2). Let l = z - h. Is l prime?
False
Suppose 2*s + v - 37577 = 0, 4*s - 75136 = 21*v - 17*v. Is s a prime number?
True
Suppose -5*l - 3*o = -15, 3*o + 2*o - 25 = -5*l. Suppose 0 = -4*x - l*x + 876. Is x prime?
False
Let a = -53 + -1228. Let v = a - -2336. Is v prime?
False
Suppose 83*b + 833685 = 98*b. Is b a composite number?
False
Suppose p + 2*p = 2*o + 76597, -5*p + 127635 = 2*o. Suppose -p = -6*w - w. Is w a prime number?
False
Suppose -2*q - 37 = -3*q. Let b = q + -14. Is b a composite number?
False
Is -7 - (-5 - 1) - -5115 a composite number?
True
Let a(d) = -884*d**3 - 1. Let u be a(-1). Let h = 2096 - u. Is h a composite number?
False
Let x = 272 - 600. Suppose -815 = 3*m - 320. Let j = m - x. Is j prime?
True
Let s(r) = 3*r + 4*r + 9 - 4*r**3 - 7*r**2 - 7 + 3*r. Let f be s(-7). Let k = f + -542. Is k a composite number?
False
Let f = -609 - -1652. Is f a prime number?
False
Let g(s) = -s**2 - 7*s + 11. Let z be g(-8). Suppose -3*t - 30 = -3*u, 0 = -t - u + z - 5. Let n(x) = -195*x - 7. Is n(t) a prime number?
True
Suppose -x - x = -2*u - 24, 34 = 2*x + 3*u. Let h = -12 + x. Suppose 1626 = 4*o - h*y, 0 = 4*o - 2*o + 3*y - 817. Is o prime?
False
Let z = 19 + -7. Let n(f) = -10*f + 8. Let m be n(z). Let q = 93 - m. Is q a composite number?
True
Let m = -41 + 41. Suppose -296 = -3*i + 2*n + 45, m = -i - n + 117. Is i a composite number?
True
Suppose 0 = -945*a + 946*a - 9442. Is a composite?
True
Suppose -3*u - 4*f + 5040 = 1049, -3*f + 6670 = 5*u. Is u a prime number?
False
Let z(d) = 5*d**2 - d - 2. Let l be z(4). Is (3/2)/(3/l) a prime number?
True
Let v = 17 + -14. Let p be 11/((-5 + v)/(-2)). Suppose -p*g + 446 = -9*g. Is g a composite number?
False
Let x = 2 + 348. Let n = 759 - x. Is n a prime number?
True
Let b = 9017 - 3804. Is b a composite number?
True
Let l = 26 + -16. Let h be -4 + (l - (3 - 0)). Suppose 0 = 5*w + 5*x - 475, -x - 285 = -h*w - 2*x. Is w a prime number?
False
Suppose -5*f + 8 = -f + 3*s, -9 = -5*f - 4*s. Suppose -4*l = 5*n - 491, 460 = 5*l - f*n - 120. Is l a composite number?
True
Let p be 1/(15/10)*60. Suppose -5*z - 84 = -2*z + 3*k, 0 = -2*k - 4. Let d = p + z. Is d a composite number?
True
Let s