 + 7*o - 4. Is m(f) composite?
False
Let y be (-26)/(-2) - (-3 + 7). Let r = y + -10. Let o = r - -66. Is o a prime number?
False
Let k(l) = -5122*l + 193. Is k(-4) a prime number?
True
Let t = 11 + -8. Suppose -2*a = -4*r + 512, t*a - 14 - 234 = -2*r. Is r a prime number?
True
Suppose -5*g + 31664 = -3*i, -g + 2525 = -5*i - 3821. Is g composite?
True
Let c(w) = -4959*w - 47. Is c(-2) a prime number?
True
Suppose -50 = f + 4*a - 225, -a + 1 = 0. Suppose 0*u - u - f = 0. Let n = u + 268. Is n a composite number?
False
Suppose -8*a + 9 - 9 = 0. Suppose n + 0*n - 79 = a. Is n prime?
True
Let t = 2405 + -1242. Is t prime?
True
Suppose 3911 = -5*v - 119. Suppose -5*z - 4*n - 3151 = -772, 476 = -z - n. Let x = z - v. Is x a composite number?
False
Is (-69)/(-253) + 200128/22 composite?
True
Suppose -l = 5*j - 29, -12 = -2*l - 2*j + 6. Suppose l*m = -0*m - 8. Is -934*m/(-4)*-1 composite?
False
Suppose h = -2*k - 2*h + 12, 2*k - 8 = -h. Suppose k*i - 13 + 4 = 0. Suppose 2*m - 740 = -l, -5*m + 2*l = -i*l - 1865. Is m a composite number?
True
Is (-3 - (0 - 2))*(-1043 + 0) prime?
False
Let s(d) = -d**3 + 12*d**2 - 11*d. Let y be s(11). Suppose -x = -7 + 5. Suppose 5*h = -x*i + 301, -298 = -5*h - y*i - i. Is h a prime number?
True
Let b(r) = 3*r**2 + 2*r**2 - 7*r**3 + 2*r**3 + 2 + 4*r**3. Let l be b(5). Suppose 0 = 2*k - 6, 106 = l*g + 3*k - 229. Is g a prime number?
True
Suppose 0 = -3*w + 11*f - 12*f + 20967, 5*w = 4*f + 34945. Is w composite?
True
Let s = 9 - 10. Let y be ((-8)/(-6) + s)*12. Suppose -b - 173 = -y*p, 3*p + 3*b - 42 = 84. Is p a composite number?
False
Suppose -5*n + 4*n = -8. Let d = -6 + n. Is d/(18/17 + -1) a prime number?
False
Let a(z) = -z**2 + 4*z - 5. Let b be a(0). Let y(w) = -81*w + 14. Is y(b) composite?
False
Let p(l) = 14930*l - 7. Is p(1) prime?
True
Let s be (-6 - -365) + (0 - 0). Suppose -4*u + s = 43. Is u composite?
False
Suppose -5*s + 135965 = -9710. Is s a prime number?
False
Let y(h) = -166*h - 29. Let z(k) = -164*k - 29. Let l(d) = -5*y(d) + 6*z(d). Is l(-6) a composite number?
True
Let f(m) = 5*m - 4. Let s be f(-4). Let l = s + 62. Is l*(-1 - (-9)/6) a prime number?
True
Let l(s) = -211*s - 1. Let c be l(1). Let t = -387 - c. Let k = t - -272. Is k a composite number?
False
Suppose -2361 = -j - f, 0*j + 2359 = j + 3*f. Let y = -1103 + j. Is y a composite number?
False
Let c = -31 + 24. Let d(h) = 4*h**2 + 6*h - 11. Is d(c) prime?
False
Let t = -61 + 533. Let f = -60 - t. Is 2/6 - f/6 prime?
True
Let p = 21976 + 21211. Is p a prime number?
False
Let m(v) be the third derivative of -41*v**4/12 - 41*v**3/6 + 10*v**2. Is m(-6) a composite number?
True
Let j be 2 - 7/(14/(-64)). Suppose 0 = 3*r + i + 239 + j, -104 = r - 4*i. Let x = r - -159. Is x a composite number?
False
Let j(c) = -c**3 - c**2 + 2*c. Let y be j(-2). Suppose y*w = -2*w. Is 0/(-2) + w + 62 prime?
False
Let w(j) = 11*j - 8. Let b = 21 + -15. Is w(b) a composite number?
True
Let v = -12419 + 58536. Is v a prime number?
False
Let s(j) be the second derivative of 24*j**5/5 - j**4/12 - j**3/6 + j**2/2 + 8*j. Let n(y) = 2*y**3 + 13*y**2 - 6*y + 8. Let w be n(-7). Is s(w) composite?
True
Let x(n) = -162*n + 17. Let i be 8/16 + (-15)/2. Is x(i) prime?
True
Suppose 27*v - c = 31*v - 64158, 3*c = 6. Is v composite?
True
Let c(y) = 666*y**2 + 20*y + 123. Is c(-5) prime?
True
Let p(i) = 9296*i**2 - 37*i - 69. Is p(-2) a composite number?
False
Suppose -4*s - 14 = 5*w - 2*w, -31 = -3*w + 5*s. Suppose w*b + 3*c = 7, 3*c = 4 - 1. Suppose d - 4*d = 0, b*d = -m + 37. Is m a composite number?
False
Let r(h) = h**3 + h**2 + 33*h - 20. Is r(9) composite?
False
Let z be (-1210)/(-18) - (-2)/(-9). Let g be 7/((-1 - -2)/1). Let i = g + z. Is i composite?
True
Suppose 0 = -5*m + 96 + 29. Is m/(-5) + 234 + 4 prime?
True
Let v = 10 + 6721. Is v a prime number?
False
Let g(w) = 2*w**2 - 3*w + 2. Suppose z + 12 = t + 2*t, 4*z - 2 = 2*t. Suppose -79 = -t*f - 24. Is g(f) composite?
False
Let l(h) = -h**3 + 8*h**2 + 20*h + 17. Let u be l(10). Let m(z) = -3*z**3 - 6*z**2 + 7*z + 4. Let f be m(-5). Let y = f + u. Is y composite?
False
Suppose -2*v - 131 = -139. Suppose 0 = -2*t - 8, -4*y + 0*t + 4028 = -v*t. Is y prime?
False
Suppose 0 = -5*l + 19750 + 159405. Is l prime?
True
Let x(j) = 250*j**3 + 5*j**2 - 51*j + 1. Is x(5) prime?
True
Let f(q) = -2*q**3 - 2*q**2 - 2*q - 21. Let c be f(-9). Suppose 4*w = 2*i + i - 2489, -5*w + 4*i = 3112. Let j = w + c. Is j composite?
False
Let m be 2 - (-3 + 1 - 0). Suppose -m*a + 97 = -147. Suppose -a = -4*v + 95. Is v a composite number?
True
Let f = 1653 - 1156. Is f prime?
False
Let q(t) = -13*t**2 + 2*t - 2. Let p be q(-11). Let u = 2460 + p. Is u a prime number?
True
Suppose -h = -0*h + 3, -5*h - 23 = -t. Suppose -3*a + a = -t. Let x = 17 - a. Is x a composite number?
False
Let j be -2 + 0 - 4/(-2). Let d(p) = 2*p + 431. Is d(j) composite?
False
Suppose 22992 + 10478 = 2*n - 4*u, -5*n - 5*u = -83630. Is n prime?
True
Let n = 70209 + -46138. Is n composite?
False
Is (19540/15)/1 + (-4)/(-12) composite?
False
Let g(b) = -3*b + 21. Let t be g(12). Let o(h) = -4 + 17*h**2 - 4*h**3 + 5*h + 16*h + 5*h**3. Is o(t) a prime number?
True
Let n = -12468 - -18153. Let r = n - 608. Is r a composite number?
False
Let p(w) be the second derivative of w**4/12 - 7*w**3/6 + 9*w**2/2 - w. Let c be p(8). Suppose c - 109 = -4*r. Is r composite?
False
Let o(b) = -1027*b - 49*b + 7 + 170*b. Is o(-1) a prime number?
False
Let b(n) = 9*n**2 - n + 1. Let u(h) = -8*h**2 - 4*h - 4. Let m be u(-2). Let j = 21 + m. Is b(j) composite?
False
Suppose 5*x - 6*x = 0. Let f(v) = -3*v**2 - v + 491. Let m(b) = -b**2 - b - 1. Let r(k) = f(k) - 2*m(k). Is r(x) a composite number?
True
Suppose -6*s - 6 = 6. Let k be (-8)/4*735/s. Suppose 5*a - 320 = k. Is a composite?
False
Let c be (3/4)/(6/24). Suppose -c*r + 3*a + 12 = -0*a, 0 = 5*a - 5. Suppose r*n + 709 - 3984 = 0. Is n prime?
False
Let n(w) = w + 3. Let l be n(0). Suppose 5*k - 2*k + 14 = d, l*d - 14 = 2*k. Suppose 5*p = 3*j + j - 110, d*j - 40 = -5*p. Is j prime?
False
Is ((-45)/60)/(6/(-719408)) composite?
True
Let r be (-8)/40 + -11*3/(-15). Is (-489615)/(-42) + (-1)/r a composite number?
False
Let v(k) = -5*k**3 - 11*k**2 + 4*k - 10. Let m(l) = -6*l**3 - 12*l**2 + 4*l - 10. Let f(g) = 4*m(g) - 5*v(g). Is f(-7) a composite number?
True
Suppose 4*m = 2*m. Suppose m*h - 5*h - 225 = 0. Let c = h + 64. Is c prime?
True
Is 2637174/78 - 5 - (-2)/26 composite?
True
Let g be (222 - 3)*(-2)/2. Let u = g - -308. Is u a prime number?
True
Is 42222 + (-8)/(-5 - -13) prime?
True
Suppose 0 = 2*j + 5*c - 13894, 0 = 3*j - 10*c + 9*c - 20841. Is j a composite number?
False
Suppose -4*i + 6*i - 734 = 0. Suppose -2*b + 295 = -i. Is b composite?
False
Suppose -1722 - 4088 = -10*j. Is j prime?
False
Let k be (((-6)/8)/((-6)/24))/1. Suppose -5*b = -4*w + 2292, 5*b = -k*w + 2*b + 1719. Is w composite?
True
Let r(p) = p**2 - 10*p - 2. Let n be r(11). Suppose 0 = -5*u + n*u - 1508. Is u a prime number?
False
Suppose -28*x + 121570 = -102234. Is x a composite number?
False
Let s = -9 - -14. Let k(i) = -2*i + s*i + 13*i + 2*i - 7. Is k(4) prime?
False
Suppose 3*b + k - 126 = 0, 3*k + 7 + 203 = 5*b. Is (51/(-9))/((-2)/b) prime?
False
Suppose 5*n - 3*h = 2 + 12, -5*n - 4 = 3*h. Suppose n = -2*a - b - 2, -15 = -5*a + 5*b. Suppose a = -l - 0*l - 2, -5*l + 139 = r. Is r prime?
True
Suppose -3*g - 27659 = -5*j - 4*g, -11082 = -2*j - 5*g. Is j composite?
False
Suppose 6*d - 5*d = 0. Suppose s + d*s = 0. Suppose -2*v + 4*z + 135 = -363, s = -5*z + 25. Is v prime?
False
Suppose 2*n = -3*n + 2420. Suppose -2*j - 5*s + n = 0, -2*j = -s + 2*s - 476. Is j a composite number?
True
Let v = 553 + -558. Let g(x) = 5*x + 10 - 46*x + 8. Is g(v) composite?
False
Let g(y) = 132*y + 19. Let i be g(7). Let b = -422 + i. Is b a prime number?
True
Is 37982/2 - 2/(-5)*-5 a prime number?
False
Let j(p) be the first derivative of p**4/4 + 4*p**3/3 - p**2 + 5. Let b be j(-7). Let r = -36 - b. Is r composite?
False
Suppose 9*m - 35 = -2*u + 4*m, -3*u + 95 = -m. Let z = -44 + u. Is ((-36)/(-21))/((-4)/z) composite?
True
Suppose 2*n - 4645 = -z, -11612 = -5*n - 3*z - 0*z. Is n a prime number?
False
Let b(z) = 38*z**2 - 11*z + 14. Let o(g) = 5*g - 5 - 13*g**2 + g - 2*g. Let q