d composite?
True
Suppose 5*y = 4*r - 6 - 2, -3*y - 5*r - 27 = 0. Is y/(-14) + (-1503)/(-7) a prime number?
False
Let z = 29 + -42. Let r = z + 5. Is 682/8 + 2/r composite?
True
Let a = 19 - -7. Suppose -3*p + a = 2*u - 112, -4*p + 184 = 3*u. Is p a composite number?
True
Let o = 2 - -24. Is o composite?
True
Let d(u) = 41*u + 1. Let p be d(-8). Let x = 518 + p. Is x a composite number?
False
Suppose 3*x + 1 = 7. Suppose -y + 8 = -x*j, -4*j + 1 = 4*y - 19. Let n(b) = 3*b**2 - 6*b + 5. Is n(y) a prime number?
False
Suppose 2*n + 2*r = -0*n + 16, 4*r = 4*n - 16. Let x(w) = 2*w**2 - w - 4. Is x(n) prime?
False
Let f be 0*-4*(-4)/48. Suppose f*c - 2*c = -230. Is c composite?
True
Let q(f) = 46*f**2 - 3*f - 4. Is q(-3) a prime number?
True
Suppose 5*u = -5*r - 10, r - 1 - 1 = -2*u. Let t = r - -5. Let j = t + 11. Is j a composite number?
True
Let z(k) be the third derivative of -k**5/60 + k**4/4 + 7*k**3/6 - 2*k**2. Let n be z(7). Suppose n = -2*d + 5*d - 18. Is d a composite number?
True
Suppose 2*c - 3*g = 164, 0*g = -5*g - 10. Is c prime?
True
Let l = -3 - -7. Suppose 2*k - 4*m + 2 = 0, l*k + 0*m = -3*m - 15. Is (62/k)/(2/(-3)) prime?
True
Suppose -t - 5*i + 1 = 0, -1 = 5*i + 4. Let a = 27 - t. Is a composite?
True
Let g(w) = -67*w**3 - 3*w + 1. Is g(-3) composite?
True
Suppose 0 = -4*x - 0*x. Suppose 72 = 3*p + d, d = -4*p - x*p + 95. Is p composite?
False
Is ((-14)/3)/((-1149)/1143 + 1) a composite number?
True
Suppose 4*i - 24 = 4*v - 0*v, 3*i - 2*v - 19 = 0. Is i composite?
False
Let r = 8 + -5. Suppose 3*h - 5*x = -42, h + r*x + 17 = 3. Let f = h + 24. Is f a composite number?
True
Suppose 5*u - 807 = 2*u. Is u composite?
False
Suppose -162 = -s - 3*q - 2*q, 3*q + 350 = 2*s. Suppose 3*c + 19 = s. Is c composite?
True
Let c = 847 + 40. Is c a prime number?
True
Let o = -3 - -3. Suppose 6*z - 2*z = o. Is (-14)/4*(z - 6) prime?
False
Let k be (-2)/4*568/(-4). Suppose -u + 102 = -60. Let g = u - k. Is g composite?
True
Suppose 3*s = -6*c + 2*c - 2, s - 4*c + 22 = 0. Let n(a) be the third derivative of -5*a**4/24 + a**3/6 - 3*a**2. Is n(s) a composite number?
False
Let u(f) = -f**3 - 5*f**2 + 23*f + 8. Is u(-11) composite?
True
Suppose -5*l + 1113 = -2*l - 3*f, l + 2*f - 377 = 0. Is l a prime number?
True
Let z(s) be the first derivative of -1/2*s**2 + 9*s - 1. Is z(-10) a composite number?
False
Suppose c = -b - 0*b + 81, -2*b + 417 = 5*c. Is c composite?
True
Let c(a) = a**3 - 4*a**2 - 4*a - 4. Let t be c(5). Let b = 1 + t. Suppose b*w + 2*w - 52 = 0. Is w a composite number?
False
Let b(a) = 125*a**2 - 2*a - 2. Is b(-2) composite?
True
Let u be ((-596)/(-10))/(4/100). Suppose -2*r - r = -2*f + 611, -5*r + u = 5*f. Is f prime?
False
Let b(k) = k. Let l be b(8). Is l/10*(-45)/(-6) composite?
True
Suppose 0 = 2*l + 5*o - 33, 0*o - 3*o + 31 = 2*l. Is l/21*(-186)/(-4) a prime number?
True
Suppose v = -0*v - 37. Let h be 2/(-10)*4*-145. Let x = v + h. Is x prime?
True
Suppose 3*q + 2*a = 22, -2*a - 3 = -2*q + 5. Is q prime?
False
Let x(a) = -7*a**3 + a**2 - 5 + a**2 + 0*a**3. Let n be x(-4). Suppose h - 6*h = -n. Is h composite?
True
Let i be ((-798)/(-28))/(2/(-4)). Let n = i + 136. Is n a composite number?
False
Let o(q) be the first derivative of 25*q**2/2 + 11*q + 3. Is o(8) prime?
True
Let p = 82 + -55. Suppose 3*z + 3*l - 165 = 0, 4*l - p = -3*z + 138. Is z a prime number?
False
Let n = 27 - 48. Suppose -4*t - t = -3*y - 562, 8 = -2*y. Let j = t + n. Is j prime?
True
Suppose 0 = 2*t - 4*t + 8. Suppose 203 + 305 = t*x. Is x a prime number?
True
Let z(w) = -4*w + 15. Let y(g) = 16*g**3 + g**2 - 1. Let o be y(-1). Is z(o) composite?
False
Let z be (-5 - -5) + 0/(-2). Suppose z = -3*f + 3 + 6. Is (-2 - (-276)/9)*f a prime number?
False
Let q(i) = 2*i - 5. Let k be q(7). Suppose s + k - 102 = 0. Is s composite?
True
Let j(k) = -k - 3. Let v be j(-5). Let p be (2804 - v)*(-1)/(-3). Is (p/(-6))/(1/(-3)) a prime number?
True
Suppose -4*d = -2*b - 200, -7*d + 5*b + 212 = -3*d. Suppose 5*s - 3*t - 124 - d = 0, s + 5*t = 40. Is s a prime number?
False
Let d(o) = -o**2 + 46*o + 27. Is d(20) a prime number?
True
Suppose -878 = -4*a + 3342. Is a composite?
True
Let h(b) = 12*b - 3. Let n = 4 + 8. Is h(n) composite?
True
Let f be -3 - (-5)/((-15)/(-6)). Let g = f + 6. Suppose 5*q = -g*t + 620, 0 = -3*q + t + 466 - 106. Is q a composite number?
True
Let p = 16 + -5. Let i = -7 + p. Suppose 0 = i*a + 4*c - 168, -5*a + 40 = -c - 140. Is a a prime number?
True
Suppose 4*w = -9*w + 17641. Is w a prime number?
False
Suppose -3*x - 15 = -72. Suppose m = -4*q - x, -9*m + 2*q + 14 = -5*m. Let v = 64 + m. Is v prime?
False
Let z be ((-392)/(-12))/((-2)/(-3)). Suppose k - 2 = z. Is k prime?
False
Is 211 - ((7 - 4) + -3) a prime number?
True
Suppose -3*x - 6 = 0, 4*b + 4*x + 107 = 3671. Is b a prime number?
False
Let r(w) = -40*w**3 - w + 1. Suppose 15 = -5*j + 5. Is r(j) a composite number?
True
Let z(r) = r**3 + 6*r**2 + 3*r - 5. Let m be z(-5). Suppose -m*n + 11 = 5*i + 26, 0 = -3*n + 2*i - 14. Is (-3)/12*37*n a composite number?
False
Suppose -y + 0*y - 112 = 0. Let i = -47 - y. Is i composite?
True
Is (9/6)/(4/(21552/9)) composite?
True
Suppose 4*r + 530 + 190 = 0. Let f be (-6)/9*(-3084)/8. Let w = r + f. Is w composite?
True
Let r be 1*72993 - (-2 - -5). Is 2/(-10) - r/(-75) a composite number?
True
Suppose 0 = t - 3 - 0. Is 282/(-2)*(-1)/t composite?
False
Let a(k) = -44*k**2 - 6*k + 4. Let d be a(4). Let i = d - -1340. Suppose -4*c - 4*m + i = 0, -3 + 1 = 2*m. Is c a prime number?
False
Suppose 0 = -3*r - 2*v + 2727, -3634 = -4*r + v - 3*v. Is r composite?
False
Let s = 6 - 6. Suppose -2*j + 230 - 46 = s. Is (6 - 9)*j/(-6) a composite number?
True
Suppose -3*m + 1 = -14. Suppose 2*p - 4*p - 4*j + 154 = 0, -m*j = 4*p - 308. Is p prime?
False
Suppose 11*l = 4*l + 28. Suppose 8*b - 940 = l*b. Is b a prime number?
False
Let x(m) = -m**3 + m**2 - m + 1. Let k(u) = -u**3 + 10*u**2 - 11*u - 10. Let t(l) = -k(l) + 3*x(l). Is t(-6) a prime number?
False
Let i = 1988 - 739. Is i a prime number?
True
Is 2*178*(-4)/(-16) composite?
False
Suppose 2*l = -j + l - 5, -5 = 3*j + l. Suppose 8*y - 3*y - 465 = j. Is y a composite number?
True
Let l = -2537 - -5026. Is l a composite number?
True
Is 1623*((-2)/3 + 1) composite?
False
Let n = -11 - -70. Is n a prime number?
True
Let j be (-12)/(-3)*(-1)/2. Is (j/4)/((-3)/948) a prime number?
False
Let a(v) = 119*v - 1. Is a(2) prime?
False
Let b be (-25)/2*24/15. Let t = 77 - b. Is t a prime number?
True
Let u be 2/(-4)*(-2 + -4). Suppose -g = u*g - 16. Suppose -5*b + 4*z = -195, 0*z + g*z - 50 = -2*b. Is b composite?
True
Let b(g) = g**3 + 2*g - 3. Let f(p) be the second derivative of p**5/20 - p**4/4 - p**3/2 - p**2 - 2*p. Let t be f(4). Is b(t) a prime number?
False
Suppose -6 + 10 = 2*y. Suppose 2 = -y*m - 2*f + 62, -5*m - 3*f + 156 = 0. Is m prime?
False
Let f(d) = d - 5. Let b be f(8). Suppose -8*h + b*h = -795. Is h a prime number?
False
Suppose -3*y - 2*j + 24 = -y, 51 = 4*y + 5*j. Is 66/(-2)*(-39)/y a composite number?
True
Let o(t) = 25*t + 2. Let a be o(-7). Let x = 242 + a. Is x a prime number?
False
Let t(n) = 3*n**2 + 2*n - 10. Is t(9) composite?
False
Let o be 50 + (-3)/(9/6). Let n be (21/(-4))/((-9)/o). Suppose n = 2*f - 10. Is f composite?
False
Let a(x) = 2*x**3 - 19*x**2 + 25*x - 2. Let n(q) = -q**3 + 10*q**2 - 13*q + 1. Let c(r) = 2*a(r) + 5*n(r). Is c(10) prime?
False
Let l(v) = 90*v - 49. Is l(20) prime?
False
Suppose 19*w - 5495 = 14*w. Is w a prime number?
False
Let o be (-2)/(-4)*(13 - 1). Suppose 2*f - 4 - o = 0. Suppose -103 = -f*j + 4*u, 6*j - 3*j + 3*u = 78. Is j a prime number?
True
Let h(m) = m**3 - 2*m**2 + m + 445. Is h(0) composite?
True
Suppose -2*j + 35 = 3*j. Let h be 19/j + 2/7. Let x(r) = 8*r**2 - 3*r + 4. Is x(h) a prime number?
True
Let i be (2/4)/(1/6). Let x(b) = -b**2 - 9*b + 4. Let t be x(-8). Suppose 6 = i*g - t. Is g composite?
True
Let z be 0/(-1)*(-5)/10. Suppose -f + 3*c = -262, -f - c + 267 + 7 = z. Suppose -l + 5*g - g = -65, 0 = 5*l - 2*g - f. Is l a composite number?
False
Let h = 1 - -1. Suppose -293 = -3*t - 5*l, -6*t + h*l + 447 = -t. Is t a composite number?
True
Let z(g) = -2*g + 2. Let w be z(4). Let k = -135 - w. Let q = 184 + k. Is q a prime number?
False
Suppose 16