= -4*u - 86. Is u composite?
True
Suppose 8 = 2*j - 2. Suppose -70 = -5*s + j*h, h + 56 = 5*s + 3*h. Let o = 31 - s. Is o composite?
False
Suppose 5*f + 2*u = 25, 5*u - 31 = -f - f. Suppose f*o - 399 = 1602. Is o a composite number?
True
Let d(q) = -7 + 10*q - 2*q + 2*q. Let v be d(5). Let m = 380 - v. Is m prime?
True
Let m = -4 + 9. Suppose -5*h - 2*h = -868. Suppose -t = -h + m. Is t a composite number?
True
Let y(s) = 4*s**2 + 5*s - 5. Let v be y(5). Suppose 0 = -4*m + 8*m + v. Let j = m - -55. Is j a prime number?
False
Let a = 355 + 186. Is a a prime number?
True
Let s(y) = 2*y - y - 10*y + 3 + 0*y**2 + 3*y**2. Is s(-7) a prime number?
False
Let a be (-2)/(-4) + 13/(-2). Let n(u) = 60*u + 15. Let b(f) = -30*f - 7. Let x(i) = a*n(i) - 13*b(i). Is x(7) a composite number?
False
Let q be (-1 - -5)/(-4)*-1. Is (1310/(-30))/(q/(-3)) a prime number?
True
Let p(d) = -65*d**2 + 8*d + 17. Let h be p(-5). Let t = h - -2371. Is t prime?
False
Suppose 5*d + 7*d = 92604. Is d a prime number?
True
Suppose h - 284 = 6*h - 4*f, -3*f = -h - 48. Let w = h + 171. Is w a prime number?
False
Let g(n) = 3*n**3 + 8*n**2 - 5*n - 3. Let k(b) = -4*b**3 - 7*b**2 + 4*b + 4. Let h(s) = 3*g(s) + 2*k(s). Let c be h(-6). Suppose 0*w = 5*w - c. Is w prime?
True
Suppose 3*l + 0*l = 9. Suppose -l = -t + 3. Suppose -q + t = -13. Is q a composite number?
False
Let k(o) = 2*o - 24 + o**3 + 25*o**2 + 3 + 2*o. Is k(-10) composite?
False
Let d be ((-369)/(-12))/((-9)/(-24)). Suppose d = 4*c - 810. Is c prime?
True
Suppose -2*u + 4*v = 4, -u - 5 = 4*u - 5*v. Suppose -4*m + u*i + 1703 = -5*i, 4*i - 1254 = -3*m. Is m prime?
False
Let a(n) = 5*n + 1. Let i(p) = -p**3 - 2*p**2 + p + 1. Let q be i(0). Let r be a(q). Suppose -729 = -r*f - 3. Is f composite?
True
Let z be ((-77)/(-21) + -1)*15303/2. Suppose 5406 = 10*m - z. Is m a prime number?
False
Is 14/21 - 1*32644/(-12) a composite number?
True
Let t = 9333 + -4988. Suppose 0 = 27*p - 22*p - t. Is p a prime number?
False
Suppose -3*w + 3*c - 5*c = -769, -5*w + c = -1260. Is w a prime number?
False
Let m(p) = -1 - 2*p**2 + 3*p**2 - p + p**2 + 0. Let o be m(-1). Suppose -o*t - t = -627. Is t a composite number?
True
Suppose 3*g + 2*p + 144 = 1405, -g + 437 = 4*p. Suppose 3*s - 857 = -245. Let r = g - s. Is r a prime number?
False
Let j = 56 - 50. Let g = 1745 + -1030. Suppose -j*u + 431 = -g. Is u a composite number?
False
Let p be (-1552)/2*(12/8 + -3). Suppose 6*l - 8442 = -p. Is l a composite number?
False
Is -11 + 16 - (-20854 + -2) composite?
True
Let f be 2*-1 + -87 + (-6 - -3). Let r = 119 - f. Is r a composite number?
False
Suppose -t = -12*d + 9*d + 63155, -2*d + 4*t = -42090. Is d a prime number?
False
Suppose -4*u - 9 = z - 0, 0 = 5*z + 3*u - 6. Suppose 5*k - 6 - 2 = -4*m, -4*k - 6 = -z*m. Suppose m*y - 6 + 0 = 0. Is y a composite number?
False
Let w be (-1484)/(-49) + 4/(-14). Is (10/w)/((-1)/(-6339)) + -2 a prime number?
True
Let n(r) be the third derivative of r**8/5040 + r**7/720 + 7*r**6/720 - r**5/12 + r**2. Let m(w) be the third derivative of n(w). Is m(8) a composite number?
True
Let w(k) be the second derivative of -101*k**3/6 - k**2 + 32*k. Is w(-5) composite?
False
Let n(t) = 7 - 19*t - 7*t - 1 + 15. Is n(-6) composite?
True
Let u = 1273 - 671. Let j = u + -919. Let z = -224 - j. Is z prime?
False
Suppose 65*s = 75*s - 146930. Is s a prime number?
False
Suppose 0 = -5*n - j + 2538, j = -4*n - 0*j + 2030. Suppose -5*r + 2432 = 5*d - 68, 3*r = d - n. Suppose d = -b + 3*b. Is b prime?
True
Let t(p) = p**2 + 9*p + 18. Let d be t(-13). Suppose -4*z - 50 = -2*q - 0*q, -4*z - 2*q - d = 0. Let l = -1 - z. Is l a prime number?
False
Suppose -74 = -y - 1826. Let m = y + 3753. Suppose 4*r - 163 - m = 0. Is r a prime number?
True
Suppose -5*y + 6 = -7*y. Is (-632)/y - (4 + 39/(-9)) prime?
True
Let m be (21*50)/2 + -4. Suppose -10*a + 3031 = m. Is a prime?
True
Suppose -10 = -3*b - 1. Suppose -c + 934 = -0*c - 2*m, 4*m - 2772 = -b*c. Let t = c + -591. Is t composite?
False
Let p(y) = y**3 + y**2. Let q(x) = 5*x**3 - 3*x**2 - 2*x + 7. Let c(m) = 2*p(m) - q(m). Is c(-7) composite?
True
Suppose -41*p + 17*p = -624744. Is p prime?
False
Let u be ((-162350)/(-45) - 3) + 2/9. Let f = u + -1500. Is f a composite number?
True
Let n be (-15)/(-6)*(3 - 1). Suppose 0*p = -n*p + 25. Suppose -p*t + 753 = -1312. Is t prime?
False
Let b be 1 - 22/(-12) - 1/(-6). Let a(c) = 2*c**2 + 7*c + 1. Let u(q) = q**2 + q - 1. Let g(y) = -a(y) + 6*u(y). Is g(b) composite?
True
Let n(s) = -2297*s**2 - 1. Let w be n(1). Let a = -1467 - w. Is a prime?
False
Is 4/(-10) + 45528288/520 composite?
True
Let k(d) = -d**2 + 9*d + 2. Let s be k(9). Is s/(-12) + 9259/6 a composite number?
False
Let s be 10/(8/40 - 18/(-10)). Suppose 0 = -s*r - 4*u + 4515, 5*u + 73 - 1862 = -2*r. Is r a composite number?
False
Suppose 0 = -3*x - 4*a + 26, 5*x - 50 = -a - 4*a. Suppose -14572 = -x*m + 6526. Is m composite?
True
Let s be (-5)/(-10) + 3/(-2). Let y(p) = -861*p + 4. Is y(s) prime?
False
Let t(n) = -24902*n - 19. Is t(-1) a composite number?
True
Let a = 4440 + -2287. Is a a prime number?
True
Let b be (-6)/10 - (-18)/30. Suppose -4*g - g + 885 = b. Let i = g + -14. Is i composite?
False
Is (-4244)/6*(-3)/2 a prime number?
True
Let j = 325 - -988. Is j a composite number?
True
Let l = -114 - -100. Is ((-2032)/(-8))/((-4)/l) prime?
False
Suppose -3077 = 53*h - 54*h. Is h a composite number?
True
Let x = 18642 - 10181. Is x a prime number?
True
Let d(i) = 101*i - 13. Is d(4) a composite number?
True
Suppose 0 = -2*z - 5*r + 62107, 7*r + 93152 = 3*z + 6*r. Is z prime?
True
Let z be (5 - 4)/((-1)/2). Let u be z + 3 + 0 - -4. Suppose 1046 = -a + 5*a + u*q, 2*a = q + 516. Is a prime?
False
Suppose 7 = -n - 3*u, 0*u = 2*n - u - 14. Suppose 3*m + 3*h = -0*m - 6, -m = -n*h + 8. Is -331*(m + (4 - 2)) a prime number?
True
Let k(b) = -b**2 - 2*b + 2. Let v be k(-2). Let y be v + -6*1/(-2). Suppose -a = 3*n - 74, -5*a + y*n + 448 = 178. Is a a composite number?
False
Suppose -5*v + 16951 = -69154. Is v a composite number?
True
Let q(j) = 2*j. Let t be q(-6). Let p be 5*-1*(11 + t). Suppose -n - p*f = 13, -5*n + 64 = -5*f + 9. Is n composite?
False
Let r = 52268 - 26917. Is r prime?
False
Let z be 2 - (0 + 1) - -3. Suppose 0 = -3*u - 3*f + 21, -5*u + z*u + 3 = -f. Suppose 208 = u*n - 177. Is n a prime number?
False
Let x(y) = 23*y**2 - 403*y - 31. Is x(39) a composite number?
True
Suppose 5*b + 0*o = 3*o - 1462, -b - 291 = -2*o. Is (b/2)/(2/(-4)) prime?
True
Let g(u) = -6289*u + 6. Let t be g(-3). Suppose 15*b - t = -5358. Is b a prime number?
False
Let g(i) = 13*i - 10. Let m be g(7). Suppose 4*o + s = -o - 77, -m = 5*o + 3*s. Is (-140)/o - 4/(-6) a prime number?
False
Let l(j) = -8457*j**3 - 5*j**2 - 4*j + 1. Is l(-1) a composite number?
True
Let t(z) = 2*z**2 + 2*z - 2. Let o be t(-2). Suppose -5*w = -u + 12, 4 = -3*w - o*u + u. Is ((-4)/6)/(w/99) composite?
True
Suppose 0 = -2*r - 4*k - 748 + 3794, -2*r + 2*k = -3028. Is r composite?
True
Let d be ((-3446)/3)/((-10)/(-15)). Let y = 426 - d. Is y a prime number?
False
Suppose -k = 2*k + 2*o - 7, 5*o + 20 = 5*k. Suppose -5*j = -5*s + 390, 8*s - 340 = k*s - 5*j. Suppose -9 = -v + s. Is v a composite number?
True
Suppose -2*y + 0*y + 46 = -2*w, -w = 0. Let j = y + -20. Is -20*j/(-3) - -2 prime?
False
Let a(v) = 75*v - 1. Let x(z) = z**3 - 9*z**2 + 8*z + 2. Let o be x(8). Let g = 0 + o. Is a(g) a prime number?
True
Suppose 4*r - 4207 = 30637. Is r prime?
False
Suppose 5*r - 35 = -2*r. Suppose 5*u - 1788 = -4*i + 5431, -2*i = -r*u - 3587. Is i a prime number?
True
Let t = 2 + -1. Suppose -5*b + 22 = -3. Is (t - b)*(-381)/12 composite?
False
Let d(k) = 2*k + 18. Let z be d(-8). Suppose 160 = z*g - s, -s - 243 + 1 = -3*g. Is g prime?
False
Let v be (9 - 6) + (0 - -1). Suppose -k = -2*r + 9813, v*k + 3597 = 3*r - 11110. Is r composite?
False
Let m(s) = 528*s + 37. Is m(9) a composite number?
False
Let u(z) = z - 3. Let x be u(2). Is 2455/11 + x/(55/10) prime?
True
Suppose k = -2*f + 3*f - 735, 3*f + 4*k - 2219 = 0. Is f composite?
True
Let c(t) = 8*t + 7. Let d be c(-3). Let n = 68 - d. Is n prime?
False
Let q be 2 + (-84)/39 - (-48350)/(-65). Let c = -121 - q. Is c a composite number?
True
Let o(j) = 143*j**3 + 4*j**2 - 9*j + 9. Is