*n - 5*z - 2 = 3, 0 = 4*n - 4*z - 20. Let o(s) = -s + 14. Let g be o(9). Suppose 0 = -3*r - g*b + 715, -n*r + 2*b = r - 701. Is r a prime number?
False
Suppose 31 = 3*o - 4*f - 0, -f + 54 = 4*o. Let n(b) = b**2 - 4*b - 14. Let g be n(o). Is g/4 + 3/(-4) composite?
True
Let d = 3654 - 2587. Is d a composite number?
True
Is -11406*(-5 + (1914/(-36))/(-11)) a prime number?
True
Let r(i) = i + 15. Let m be r(-13). Suppose -2 = m*u - 46. Suppose b = u + 37. Is b a composite number?
False
Suppose 5*t = 11 + 9. Is t/6*(-15822)/(-36) prime?
True
Let g(c) = c - 6. Let a be g(7). Let f be (-8)/(-3 - a) + -1. Is (-623)/(-7)*1/f prime?
True
Suppose 2*y - 3*m - 20 = -5*m, 25 = 5*m. Suppose 2*d - y*g - 1256 = 0, 4*g - 2*g = 4. Is d a composite number?
True
Let b(d) be the first derivative of -14*d**2 - 10*d - 4. Let w be b(-10). Suppose w = x - 17. Is x a composite number?
True
Is 30/105 - (-144042)/14 prime?
True
Suppose 5*u = -j + 32, 2*u - 3*u = -3*j. Is (397/(-2))/((-3)/u) a composite number?
False
Is 14692/14 + 2 + 34/(-14) a prime number?
True
Let i(x) = x + 13. Let a be i(-7). Suppose -3*z = a - 21. Suppose 5*h - z*n - 1920 = 0, 0 = 5*h + 2*n + 462 - 2417. Is h a composite number?
False
Suppose 0 = 2*u - 3*u. Suppose -4*t + t + 225 = u. Let k = t + -38. Is k a prime number?
True
Let l(p) = -48*p + 5. Let n(v) = -v + 1. Suppose 6*f + 2 = -4. Let j(c) = f*l(c) - 6*n(c). Is j(13) prime?
True
Let v be ((-21)/(-9) + -2)*51. Let f = -12 + v. Suppose 2*q - 2*r + 17 = 331, -f*q + 785 = -3*r. Is q composite?
False
Suppose -2*k + 3562 - 276 = 0. Is k prime?
False
Suppose 164 - 23774 = -6*f. Is f composite?
True
Let k(p) = p**3 + 10*p**2 + 4*p - 13. Let y(f) = -f**2 + f - 8. Let t be y(0). Is k(t) a composite number?
False
Let v(r) be the second derivative of 3*r**2 - 1/20*r**5 + 0 - 1/3*r**3 - 7*r + 5/12*r**4. Is v(4) a prime number?
False
Let p(f) = 19*f**2 - 1 + 19*f**2 + 9*f + f - 5*f. Is p(-6) a prime number?
False
Let j(w) = -11*w - 12. Let v be j(-2). Suppose -v*k = -14*k + 1196. Is k prime?
False
Let d be (10/(-4))/((-3)/18). Let w(o) = 15*o + 11. Let v be w(d). Let k = v - 167. Is k composite?
True
Is (-442239)/14*2/(-3) a prime number?
True
Suppose 4*d - 24 = d. Is -2*(-12)/d - (-454 - 0) composite?
False
Suppose -9 = -3*p + 6. Let n(b) = -36*b + 1. Let m(o) = -24*o + 1. Let r(v) = p*n(v) - 8*m(v). Is r(15) composite?
True
Let m(t) = -t**3 - 9*t**2 - 9*t - 8. Let r be m(-8). Suppose 5*w + 3 = -5*l - 2, 3*l - w - 17 = r. Suppose -l*a + 762 + 1178 = 0. Is a a prime number?
False
Suppose -r = -3*w - 1909, -4*r - 1895 = -5*r - 4*w. Is r composite?
True
Is (-303 - (6 + -11))*-1 a prime number?
False
Suppose 4*v + 28 = 4*q, 2*v - 5*v = 4*q + 7. Let y(p) = 110*p**2 + 2*p - 1. Is y(q) a composite number?
False
Let z(q) = -q**3 - q + 6. Let i be z(0). Is -3 + (692 - i/(-3)) a prime number?
True
Suppose 0 = -19*f + 17700 - 809. Is f prime?
False
Let s = -26782 + 44225. Is s composite?
False
Suppose -2*l = 5*q - 9848 - 8287, -4*l + 36210 = -2*q. Is l prime?
False
Let l = -26276 - -38979. Is l a composite number?
False
Let m(u) = -u**2 - 14*u + 14. Let j be m(-15). Is (-6198)/(-15) + j/5 a composite number?
True
Let f = 978 + 173. Is f prime?
True
Let o(y) = -12*y - 4. Suppose 0*l = -2*l - 6. Let p be o(l). Suppose 2*m + p = 6*m + 4*x, -2*m + 15 = 3*x. Is m a composite number?
True
Let a = 23 - 8. Suppose -4*z - 244 = -5*d + 78, -5*z - a = 0. Suppose 0 = -3*c - 2*s + 105, -6*s = 2*c - 2*s - d. Is c prime?
True
Let d = -1172 + 1762. Suppose -2250 = -2*n - d. Suppose -n = -2*t - 244. Is t a prime number?
True
Is 20/(-25)*750495/(-12) composite?
False
Let r = -20 + 62. Let b be 6/(-21) - (-810)/r. Let l = 70 + b. Is l prime?
True
Let k(x) be the second derivative of 3*x**5/10 + x**4/24 - x**3/3 - 3*x**2/2 - 2*x. Let f(y) be the first derivative of k(y). Is f(-3) a composite number?
False
Let c be -9*((-20)/(-12) + -1). Let r(o) = o**2 + 7*o + 7. Let n be r(c). Is (-1*(48 + n))/(-1) a composite number?
True
Suppose 0*g + 5*g - 40 = 0. Let y be -30*g/(-36)*-3. Is 21/(-2)*y/6 a prime number?
False
Let f(i) = 2*i**2 - 8*i - 3. Let g be f(6). Suppose -g + 13 = -2*r. Suppose -r*x + 4401 = 229. Is x composite?
True
Let d(q) = -q**3 - 4*q**2 - 16*q + 10. Let j = -40 - -33. Is d(j) composite?
False
Let g be -5 + 2 - 12/(-4). Suppose -z = -5*y + z, 3*y + 4*z - 26 = g. Suppose 3*b = 2*p - 842 + 2257, y*b + 2*p = 930. Is b composite?
True
Let x = -56 + 35. Let c = -29 - x. Is (-242)/c + 3/4 a composite number?
False
Suppose 2*f - 2*t - 50 = 0, 2 = 4*t + 6. Suppose 3*i - q + 6 = 0, 15 = -2*i - 2*q - q. Is 2/i + 10072/f composite?
False
Suppose -2*r + 2 = 3*z - 21, -5*r = -4*z - 23. Let u(d) = 1 - 1 - 8 + 11*d. Is u(r) a composite number?
True
Let w(q) = q**3 + 13*q**2 - 2*q. Let v be w(-13). Suppose -21*t = -v*t + 2705. Is t composite?
False
Let k(m) = 320*m + 2. Let y be k(-1). Let u = y - -589. Is u prime?
True
Is -4 + -3 - (-3985 - 11) composite?
False
Let b = -90 + 138. Let o = b - -139. Is o a prime number?
False
Let w(v) = 2*v**2 - 2*v. Let g be w(2). Suppose -9*k = -g*k - 50. Let o = k + 36. Is o a prime number?
False
Let f(c) = -7*c**2 - 8*c + 1. Let y be f(-13). Let o = 1571 + y. Is o a composite number?
True
Is (-7)/4 - 66649/(-44) a composite number?
True
Let b(w) = 2*w**2 - w - 5. Let a be b(-2). Suppose 0 = 4*g + 5*q - 1238, -g = a*q - 309 - 8. Is g composite?
False
Let b = 57 + -43. Is (3/(-24))/(1/b)*-28 a prime number?
False
Let s(a) = -8564*a**3 - a**2 + 3*a + 3. Is s(-1) a composite number?
False
Let c(i) = -948*i**3 + i**2 - i + 4. Let y be c(2). Let x = y - -13751. Is x composite?
False
Is (-6)/(-36)*(-6 + 4728) composite?
False
Suppose -32*a = -42*a + 8070. Suppose -4*q + 3*m + 26 = 0, 2 = q - 2*m - 7. Suppose s = 1 - 0, 0 = 2*b + q*s - a. Is b a composite number?
False
Suppose 16 = 4*u, 0*t + 5*u + 7626 = -2*t. Let v = -2346 - t. Is v composite?
True
Let b = 4112 - 8171. Is (-1)/(-3)*b/(-3) prime?
False
Let f(d) = 489*d + 126. Is f(13) composite?
True
Let l be 2/(1 - -1)*4. Suppose -5*p + n + 8036 = -n, -3*p - 3*n = -4830. Suppose -4*t + 0*s + 1620 = -2*s, 0 = -l*t - s + p. Is t a prime number?
False
Let x(f) = f + 1. Let a(u) = u - 3. Let d(r) = -a(r) - 2*x(r). Let h be d(-5). Let t = h + 17. Is t prime?
False
Let y = 478 + -843. Let x = y + 1368. Is x a composite number?
True
Let m(k) = k**3 + 9 - 18*k - 1 + 14 - 17*k**2. Is m(18) a prime number?
False
Let a(x) = 17*x - 27*x + 84*x. Suppose -r - 8 = -6*r - p, -4*r + p = -1. Is a(r) prime?
False
Suppose 0 = -13*q + 15*q - 7114. Is q composite?
False
Suppose j + r = 66081, -141*r = 2*j - 138*r - 132166. Is j prime?
False
Let q be 6*(6/4 + -1). Suppose -q*a - 160 + 862 = 0. Suppose 3*t = 33 + a. Is t composite?
False
Let a be (-1 - -3) + 0 - (2 - 0). Suppose -2*t + 251 + 255 = a. Is t prime?
False
Is (-358272)/(-108) - (-10)/6 composite?
False
Suppose -3*n = -15, 647 + 360 = h + 2*n. Is h composite?
False
Let c(z) = -16*z**3 + 2*z + 1. Let o be c(-1). Suppose -o = u - 6*u. Suppose -2*n = -3*s + 479, u*n + 323 = 2*s - 2*n. Is s composite?
True
Suppose 3488 = 4*o - 1772. Is o prime?
False
Let s be 4/24 - 19205/(-6). Suppose 2*t = 5*o - 3197, -t = -6*o + o + s. Is o prime?
True
Suppose 4*a - 3*c = 337190, -44*a + 3*c = -49*a + 421501. Is a prime?
True
Let f = 61 - -6. Suppose f = 2*b - 87. Is b a composite number?
True
Let q(l) be the third derivative of l**7/1008 - l**6/720 - l**5/30 + 6*l**2. Let a(f) be the third derivative of q(f). Is a(4) composite?
False
Let s = 9437 - 4308. Is s a composite number?
True
Let g(h) = 7216*h**2 + 7*h - 6. Is g(1) a composite number?
True
Let o = -192 - -378. Is 1/(-5*74/o - -2) a composite number?
True
Let d(k) = 1 + k + 4 + 13. Let x be d(-14). Suppose x*m - 92 = 32. Is m a prime number?
True
Is 894 - (1 + -3)*10/(-4) prime?
False
Suppose 12*o - 17*o + 11535 = 0. Is o prime?
False
Suppose 2*x + 6577 = 2*s - 129, -3*s + 10065 = -x. Let u = s - 1425. Is u a composite number?
False
Suppose 3*a = 3*x + 9, -3*a - 2*x = -2*a - 3. Let n(c) = 161*c**2 - 4*c + 20. Is n(a) a prime number?
False
Let w(c) = -c**2 - 6*c - 1. Let d be w(-5). Suppose z = -1, 2*m - 297 = -z - d*z. Is -2 + -1 + 1 + m prime?
True
Is (12 + -9)*991/3 composite?
False
Suppose 12 = -2*y - 2*h, y + 0*y + 2*h