er?
False
Suppose -5*x + 123 = q, -2*q = 3*x + 2*q - 84. Suppose 0 = s - 3*s + x. Suppose 0 = k - s + 1. Is k composite?
False
Let g = -1792 - -3137. Is g a composite number?
True
Suppose 148*l - 5791 = 146*l + 3*u, 5*l - 14505 = 2*u. Is l a prime number?
True
Let k = 20 - 16. Suppose 5 = 3*n - k. Suppose 0 = -n*m + 2*x + 289, 94 = m - 2*x - x. Is m composite?
False
Let y be (-33)/(-2) - (-21)/(-14). Suppose 0 = -y*x + 10*x + 2855. Is x a composite number?
False
Suppose -3*h + 914 = 4*x - 0*x, 5*h + x = 1546. Let y = 2590 - h. Suppose 5*k = -l + 1887, y = 5*k + 3*l + 389. Is k prime?
False
Suppose -5*z - 15 = 0, -u - 5*z - 2 = 10. Suppose -g + 0 = u*r - 10, g = 3*r - 14. Is (-36)/r*(-74)/6 prime?
False
Suppose 2*y - 1112 = h + 304, 2*h = -3*y + 2131. Is y prime?
True
Let s(l) be the second derivative of l**4/12 - 51*l**2/2 + 28*l. Is s(-14) composite?
True
Suppose -4*z + 1540 = -4*t, 3*z - 1440 = -4*t - 257. Is z a prime number?
True
Suppose o + 53 = 3*l + 2*o, -35 = -2*l - o. Let n = 33 - l. Suppose n = -5*s - 0*s, 118 = 2*h - 4*s. Is h prime?
True
Is (-28863)/(-36)*(-120)/(-18) a prime number?
False
Is 23414/(-7)*112/(-32) a prime number?
False
Let q = -80 - -85. Suppose -q*t = -545 - 3540. Is t a composite number?
True
Let l(o) = -23*o - 7. Let b be 30/5 - 12/3. Let k(a) = a - 4. Let c be k(b). Is l(c) composite?
True
Let y = -21 - -75. Let u be (-26)/12 + 9/y. Is u + 9/(18/32) a composite number?
True
Is -4 - (-2 + 2) - (-1212 - 3) a prime number?
False
Let q be -2 + 12 + -4 - 2. Suppose 2*h = q*r - 2348, 4*h - 587 = -r - h. Is r a prime number?
True
Suppose 3*g = -y - y + 14, 5*y - 58 = 4*g. Let a(r) = 3*r**2 - 5*r + 5. Let f be a(y). Let l = f + -98. Is l composite?
False
Suppose -4*v = 20, 4*f + v - 4*v - 4451 = 0. Suppose 3*y - f = -4*l, -4*l = 6 - 2. Is y composite?
True
Suppose 0 = -9*i + 4*i + 165. Suppose 3*p - 6*p = i. Let b(z) = -2*z**3 - 17*z**2 - 11*z + 13. Is b(p) composite?
False
Let c = 1 + -1. Let t(a) = -a**3 + a - 205. Let r be t(c). Let f = -118 - r. Is f prime?
False
Suppose 5*h - 24266 = -3*u - u, 3*h = u + 14563. Suppose 2*p + 4*p - h = 0. Is p a composite number?
False
Suppose 0 = -22*p + 87439 + 3179. Is p a composite number?
True
Let k = -15 - -15. Suppose k = 2*c - 4*p - 115 - 15, -4*c + 286 = 5*p. Suppose 424 = 5*w + c. Is w a prime number?
True
Suppose -2*f = -4*q + 20340, 8*q - 4*q - 4*f - 20336 = 0. Is q composite?
True
Let a = 3479 + -1938. Is a prime?
False
Let s(r) = 63*r**2 + 4. Let m = 25 - 25. Let a(z) = z**2 - z - 3. Let w be a(m). Is s(w) composite?
False
Let c(r) = -2361*r + 32. Is c(-2) a prime number?
False
Let o(i) = -2095*i - 171. Is o(-4) prime?
True
Suppose -4*b + 795 = -449. Is b prime?
True
Is (7245/(-180))/(1/(-4)) a composite number?
True
Suppose -r - 2*x - 3*x + 357 = 0, -735 = -2*r - 3*x. Suppose -3*o = -1509 + r. Suppose 5*z = 4*z + o. Is z a prime number?
True
Let h(a) = a**3 - 8*a**2 - 6*a - 17. Let w = -30 + 40. Is h(w) a composite number?
True
Let v(f) = f**3 + f**2 + f + 163. Let d(b) = -b**2 - 7*b - 6. Let h be d(-6). Suppose h = -3*y - y. Is v(y) a prime number?
True
Let x be -2 + 1 + (6 - 1). Let r = 6 - x. Is (3/(-3))/(r/(-194)) a prime number?
True
Let i(w) = -3*w**2 + 12*w. Let n be i(6). Let q = -17 - n. Is q prime?
True
Let m = 5727 + -2163. Let n = -2315 + m. Is n a composite number?
False
Let w(u) = -u + 5. Let h be w(-5). Suppose h*c - 2317 = 3*c. Is c a composite number?
False
Suppose 0 = -19*z + 7*z + 162732. Is z a prime number?
False
Let v be (-27)/45 + (-363)/(-5). Suppose -c - 187 = 5*m, c + v = -2*m - 109. Let u = c - -272. Is u a prime number?
False
Let p = -19 - -11. Is 2008/p*(2 + -1)/(-1) a composite number?
False
Is 121083/2*90/135 prime?
True
Let v(a) = -a**2. Let k be v(-3). Let h be 18 - 4/(12/k). Let t = 70 + h. Is t prime?
False
Let d(f) = -2*f**3 - 22*f**2 + 27*f + 16. Is d(-15) composite?
True
Let k be (-3720)/(-18) - 4/6. Suppose -c - 5 = -5*b - 6*c, -b = -5*c - 19. Is b/16 + k/8 prime?
False
Let b = 20735 - 996. Is b composite?
False
Let q(u) = u. Let d(k) = -29*k - 9. Let j(s) = d(s) - 3*q(s). Is j(-7) a composite number?
True
Suppose 2*a = 1 + 3. Suppose j - 108 = a*j. Is (-4010)/(-18) - 24/j composite?
False
Suppose 2*a = 6*a + 12, 4*j + 5*a = 21. Let h = j - 21. Is 5*(-141)/(h/4) a prime number?
False
Let r = 30 + -24. Is (r/9)/((-4)/(-894)) composite?
False
Let v = 73930 - 41391. Is v a prime number?
False
Let i(v) = 33*v + 14. Let l(o) = -66*o - 27. Let r(z) = -5*i(z) - 3*l(z). Is r(12) prime?
False
Let d(l) = -2*l**3 + 6*l**2 + 4*l + 45. Is d(-11) prime?
True
Suppose -i = -2, -4*v + 3*i + 2 = -0. Is 810/4 - 3/(-12)*v a prime number?
False
Suppose -7*h + 3*h = -1004. Let w = 169 - h. Let z = -59 - w. Is z a prime number?
True
Let x = -9 - -6. Let m be 5 + (-6)/(-9)*x. Is 178/m + 6/(-18) composite?
False
Let a be 2/4*(-2 - -8) - -632. Suppose -3*g - a = -8*g. Is g composite?
False
Let n(g) = 6978*g**3 + 16*g**2 - 32*g + 5. Is n(3) prime?
True
Let t(m) = m**2 - 6*m - 3. Let d be t(7). Suppose d*o - 1586 = 906. Suppose 0 = 3*n - o - 154. Is n composite?
True
Suppose -22 + 14 = -8*s. Is ((-2819)/(-2))/(s/2) a prime number?
True
Let d(m) = 24 - 52 + 17*m + m**2 + 57. Is d(-20) a composite number?
False
Let s(c) = -3*c - 5. Let x be s(-3). Let p be 1756/(-6)*6/x. Let y = -180 - p. Is y composite?
True
Is (-3 + 2)*(-4322 + -15) a prime number?
True
Suppose -v - b = 4*v - 10342, -3*v + 4*b + 6196 = 0. Let s = v + -1167. Is s composite?
True
Is 3535348/(-246)*(-6)/4 a prime number?
True
Let l(t) = -36*t - 1. Suppose 0 = -2*b + 3*b + 5. Let i(s) = -18*s - 1. Let z(p) = b*i(p) + 2*l(p). Is z(3) a composite number?
True
Let q(a) = -a**3 - 7*a**2 + a + 1. Let s be q(-7). Let z be 24/s - (-1559 - 2). Let u = -764 + z. Is u composite?
True
Let a(l) = l - 7. Let w be a(11). Suppose w*r = 12, 5*r = 5*f + 2*r - 4336. Is f a prime number?
False
Is 3 + 2*(-6 + 9 - -121) composite?
False
Let g(y) = 6 - 6*y + 3*y - 4*y - 2*y. Let r be g(10). Is 178/(-4)*r/6 a composite number?
True
Let k(l) = 46*l + 63. Is k(5) prime?
True
Let a = -12 + 14. Suppose -3*z = 3*t - 24, 2*t + a*t = -2*z + 24. Suppose -2*x - 5*d + 38 = x, -4*x + 40 = t*d. Is x a prime number?
False
Suppose -2*c + b = -16420, -19*c - 32842 = -23*c + 3*b. Is c composite?
False
Suppose -109*f + m = -107*f - 10321, -4*f + 20646 = 2*m. Is f composite?
True
Let y = -43 + 17. Let a = y - -61. Is a prime?
False
Let i(f) be the second derivative of f**5/20 - f**4 + 7*f**3/3 - 18*f**2 - 11*f. Is i(15) a composite number?
True
Let n(p) = p**2 - 2. Let l be n(-2). Suppose 2*t + 24 = -4. Is (-687)/(l - t/(-4)) a composite number?
True
Is (-26)/117 - 784599/(-27) a composite number?
False
Let d = 9 - -54. Suppose 2*u = 3*a + 92, -5*u + 104 = -3*a - 0*u. Let h = d + a. Is h a prime number?
False
Suppose 3*g + 25 = -2*g. Let i be 386 - g/(15/(-12)). Suppose 45 = -y + i. Is y composite?
False
Suppose -3*d + 2085 = -2*b, 0 = 12*d - 16*d - 5*b + 2803. Is d composite?
True
Is 84/(-28) + 332/1 a composite number?
True
Let s be (-1)/3 - 4265/(-15). Let n = s + -2. Let u = n - 28. Is u prime?
False
Suppose -4*a = -5*a + 5*v + 71931, -4*a + 287766 = v. Is a composite?
False
Suppose -2 = 5*p + 3. Let r be 12/4 + (-1 - p). Suppose r*b - 723 = 534. Is b prime?
True
Is 8*456*1 - 1 prime?
False
Let x = 2997 - 2043. Let y = -559 + x. Is y prime?
False
Let v be (-3 + 2/2)*2. Let d(q) = -26*q + 7. Is d(v) prime?
False
Let z(u) = 32913*u + 6. Is z(1) composite?
True
Let g(x) = -969*x**3 + x**2 + 2*x + 5. Is g(-3) composite?
False
Let m = 200 - 114. Let q be (-8)/20 + m/(-10). Is (-5)/(-15) + (-4326)/q prime?
False
Let t = -571 - -1746. Suppose 3*r + 2*r - t = 0. Is r composite?
True
Let t(x) = 10*x**3 - 2*x**2 - x. Let o be t(-1). Let k = o + 15. Let u(a) = -a**3 + 6*a**2 - 4*a - 5. Is u(k) a composite number?
False
Let p = 7 + -7. Is -5 + (1719 - (p + 5)) composite?
False
Suppose -4*z + 16 - 4 = 0. Let d be 3668/z + 2/(-3). Suppose -d = -5*m - 427. Is m a composite number?
True
Let k(n) = 24*n**2 - 3*n + 46. Is k(7) a prime number?
True
Suppose 10410 = 28*p - 2834. Is p a prime number?
False
Suppose 10*f = 924734 - 354364. Is f prime?
True
Let u(p) = -p**2 + 8*p - 3. Let v be u(7). Let i = v + -4. Suppose 3*m - 299 + 62 = i. Is m a c