 composite?
True
Let g = 5 + 30. Is g prime?
False
Let b(u) = -u - u - 5*u. Let t(n) = -7*n. Let v(p) = 2*b(p) - 3*t(p). Is v(5) a prime number?
False
Let i = -16 + 12. Is ((-106)/i)/(1/4) a composite number?
True
Suppose 2*n + l - 6448 = 0, 5*l + 2597 = -4*n + 15499. Is n a composite number?
True
Let t = -4 + 79. Suppose -5*o = -0*o - t. Is o composite?
True
Let f = 322 - 179. Is f composite?
True
Let s be 38/(-3)*51/2. Let o = 534 + s. Is o prime?
True
Suppose 2*l - 58 = -0*l + 3*u, 5*u + 15 = l. Suppose 2*t + l = 3*t. Is t a prime number?
False
Suppose -4*j - j = -10. Suppose -5*t + 12 = -j*t. Suppose -h = t*h - 35. Is h prime?
True
Suppose -3*f + 2 + 10 = 0. Suppose -g + 86 = f*s + 1, 0 = 5*g + 4*s - 425. Is g prime?
False
Let l(z) = 14*z - 2. Suppose 11 = 2*i + w, 4 = -2*i - 3*w + 5*w. Let u = -1 + i. Is l(u) a prime number?
False
Suppose -n = -3*s - 12, -3*n = -4*s - 0*n - 21. Is -2 - s - (-3 + -55) a prime number?
True
Suppose -3*g = -5*v + 7, -5*v + 4*g + 6 = -0*g. Suppose 2*a + 28 = 106. Is a/v*(-3 - -5) a composite number?
True
Is (-5)/(-20)*-1 - 8314/(-8) composite?
False
Let p(b) = b**2 - 2. Let t be p(0). Let k(m) = -m**3 + 2*m - 1. Is k(t) composite?
False
Suppose 0 = 2*n - n - 1266. Is 2/(-11) - n/(-66) a composite number?
False
Let k = 11 - 3. Suppose -5*m + 2 = -d, -6*m = -4*d - 5*m - k. Is 8/d*74/(-8) composite?
False
Let y(w) be the third derivative of -w**4/4 - w**3/2 + 3*w**2. Is y(-4) composite?
True
Suppose 146 = -l + 3*l. Let n = l + -38. Is n a composite number?
True
Let h(b) = -b - 2. Let w be h(-4). Suppose w*j - 8 = 4. Is (2/j)/(3/2367) a prime number?
True
Let p = 21 - 16. Let b(r) = 10*r**3 - r**2 - 3*r + 3. Is b(p) composite?
False
Suppose 0 = 3*q, -3*q = -y - q. Let l(u) = u + 223. Is l(y) composite?
False
Let d = 1447 + -774. Is d a composite number?
False
Suppose z - 228 - 659 = 0. Is z composite?
False
Suppose -z + 419 = -210. Is z a composite number?
True
Let z be 5 + -3 + -4 + 12. Suppose 0 = 4*f - h - 15, f - 5*h = 6*f. Suppose -2*v + f*v = z. Is v a composite number?
True
Suppose -3*k = -k + 14. Is (-147 + -1)*k/28 a composite number?
False
Suppose 3*b + 2*b = 0. Suppose 2*x + 56 = 5*j - 26, -4*j - 4*x + 60 = b. Let f = j - -5. Is f a prime number?
False
Suppose 2*v - 12 = -3*r, 9*v - 80 = 4*v + 5*r. Let u = -7 + v. Suppose 0*g + c + 9 = 3*g, u*g = 4*c + 8. Is g a composite number?
True
Let o(s) = -2*s**3 + 4*s**2 + 3*s + 2. Let k(x) = -x**3 + 3*x**2 + 2*x + 5. Let p be k(4). Is o(p) prime?
True
Suppose -35*y + 40*y = 555. Is y a composite number?
True
Let w(o) = 0*o + 19 + o**2 + o**3 + o + 36. Let t be -2 - (-3 - (-1)/1). Is w(t) a prime number?
False
Suppose 0 = -m + 8 + 5. Let s be (m/(-4) + 2)*-4. Is (-236)/(-5) - 1/s a composite number?
False
Let c be ((-3)/4)/(2/(-8)). Suppose -4*v + 4*y + 36 = 0, 6*v + c*y - 71 = 2*v. Is v composite?
True
Let m = -4 - -7. Suppose -m*v = 2*p - 633, p = v + 5*p - 211. Is v composite?
False
Suppose 0*l + 2 = 4*p + 5*l, -3*p + 5 = 2*l. Suppose 0*r + p*r - 6 = 0. Is r*((-230)/4)/(-5) a prime number?
True
Let h = -133 + 398. Suppose 0 = o - 3*a - 45, -4*a - 2 = 5*o - h. Is o a composite number?
True
Let i = 3945 - 1588. Is i a prime number?
True
Suppose 20 = 5*r, 2 = -2*a + 3*r + 10. Suppose -3*j + 2*n - n + 244 = 0, -a = -5*n. Is j a prime number?
False
Let h = -24 - -88. Let w = 29 - 16. Let r = h - w. Is r a composite number?
True
Suppose -20*n + 26425 = -16035. Is n a composite number?
True
Let h = -2 + 6. Let j(t) = -2*t + 0 - t**2 + 3 - 3*t**3 + h*t. Is j(-2) a prime number?
True
Suppose -5*j + 2 = -2*q - 2*q, -3*q + 3*j = 0. Let w = 4 + q. Is w a prime number?
False
Let y be 2/(1 + -3)*-2. Suppose -7*f + 2335 = -y*f. Is f a prime number?
True
Let b(s) = s**2 + 3*s + 2605. Is b(0) composite?
True
Suppose m + 0*m = -101. Let t = m + 193. Suppose 7*z - 3*z = t. Is z prime?
True
Let i(t) = -t**3 + 10*t**2 - 10*t + 13. Let o be i(9). Suppose -3*p + 432 = v - 120, 0 = -o*p - 5*v + 725. Is p prime?
False
Suppose -10 = -5*h - 0*h. Let m(t) = -1 + 2 + 7*t - h - 4*t. Is m(5) a composite number?
True
Suppose 3*w + 4 = 19. Suppose w*u = -0*u + 105. Is u a composite number?
True
Let y be (6/(-10) - -1)*195. Suppose 3*c - y = 171. Is c a composite number?
False
Let g = -6 - -9. Suppose -7*p = -g*p - 4792. Suppose -p = -5*x - 363. Is x a composite number?
False
Let m be (-1178)/(-6) + (-10)/(-15). Suppose 2*c - 157 = m. Is c prime?
False
Suppose 3*f + f = 16. Suppose -f*u - u = -110. Is u prime?
False
Let p(w) = -w**3 - 11*w**2 - 6 + 5 + 0 - w. Let k be p(-11). Let c = 9 + k. Is c composite?
False
Let l = -3 + 3. Suppose -q - 27 + 218 = l. Is q a prime number?
True
Let o be (1 - 0/(-2))/(-1). Suppose p + 159 = -5*t, 3*p - 5*p - 2*t - 310 = 0. Is p/2*(-2 - o) a prime number?
False
Let b = 13 - 10. Let v = 38 + -17. Suppose b*x + v = 4*x. Is x a prime number?
False
Let p(d) = -7*d**3 + 2*d + 2. Let k be p(-1). Let a(z) = 3*z**2 - 5*z - 3. Is a(k) a prime number?
True
Suppose 0 = -10*k + 5*k + 5675. Is k a prime number?
False
Suppose 5*l - 3*v = 25, -l + 3*v + 21 = 2*l. Suppose -l*j - 14 = m - 3*m, -m - 5*j = 5. Suppose m*u - 66 = 9. Is u composite?
True
Let t(u) = -2*u**3 - u**2 - 2*u - 1. Let p be t(-1). Suppose -p*h = -2*d - 14 + 182, -336 = -4*d + h. Let y = d + -31. Is y a prime number?
True
Suppose 0 = -3*k - k - 512. Let l = k - -35. Let f = -42 - l. Is f a prime number?
False
Let a = 7 - 8. Is (a/2)/(1/(-110)) composite?
True
Suppose 5*z - 5619 = -4*l, 0 = -4*z - 4 - 16. Is l composite?
True
Suppose 0 = -5*q + 26 + 19. Is 546/q*(-6)/(-4) a prime number?
False
Let w be 2*1 - (-19 + 7). Let z = w + 7. Let o = z + -8. Is o a prime number?
True
Let f(q) = -q - 2. Let h be f(-4). Suppose -h*k + 4*c = c - 185, 3*k - 5*c - 280 = 0. Is k composite?
True
Let s = -8 - -8. Suppose 4*r + s*r - 620 = 0. Is r composite?
True
Suppose 67 + 27 = -2*h - 2*a, -3*a = -2*h - 94. Let i = 96 - h. Is i prime?
False
Let b = -10 + 15. Suppose 2*v = -4*w - 6 + 576, 4*v - 705 = -b*w. Is w a prime number?
False
Suppose -2*s + 4*s + 20 = -4*z, -3*z - 15 = s. Let r(p) = -25*p - 2. Let t be r(z). Is (-1)/4 - t/(-12) composite?
True
Suppose -4*u + 4*z = -32, -4*u + 2*z = -u - 21. Suppose -3*a = 4*y - 631, 4*a + 375 = u*y + 1175. Is a a prime number?
False
Suppose 6*v - 4929 = 35889. Is v composite?
False
Let j be (100/15)/(1/123). Suppose 0*o = -4*o + j. Is o a composite number?
True
Let u = 23 + -9. Is u a prime number?
False
Let n(m) = -m**3 + 7*m**2 + 4*m + 5. Let t be n(7). Suppose t = 5*a - 157. Is a a composite number?
True
Is 865/25 + 2/5 a composite number?
True
Let f(x) = 197*x + 4. Let r be f(3). Suppose s - 6*s + r = 0. Is s a prime number?
False
Let v be (6 - 2 - -2)/1. Let z be (-2)/v + 248/(-12). Let o = -12 - z. Is o prime?
False
Let b(s) = 39*s + 4. Is b(5) a composite number?
False
Suppose -8 = -t - 3*t. Suppose -k = t*k. Suppose 0 = 4*a + 2*v - 178, a + 5*v + 0*v - 22 = k. Is a prime?
True
Suppose 0 = 2*k - 2 - 6. Suppose k*m = -3*i + 4*i - 37, -i = -3*m - 37. Is i prime?
True
Is 17*(1099/35 + 2/(-5)) composite?
True
Let v be 6/10 - 52/20. Is (2 - 3)/(v/14) prime?
True
Suppose -4*k + 6*k = 4. Suppose -36 = -k*n + 130. Is n a composite number?
False
Let l = 492 - -181. Is l a composite number?
False
Is ((-4)/6)/(-6 - 26816/(-4470)) composite?
True
Let l(f) = 52*f**2 + 1. Is l(-1) a composite number?
False
Is ((-6)/18)/((0 + -2)/3894) composite?
True
Is (-13077)/(-6) - -3*(-4)/24 a prime number?
True
Suppose t + 10 = 5*u + 6*t, 0 = -3*t + 3. Let a(v) = 10*v**2 + 1. Is a(u) a prime number?
True
Let j(k) = k**3 + 4*k**2 + 3*k - 4. Let p be j(-3). Let l be 1/1 + 5 + p. Suppose 0*h - l*h = -22. Is h prime?
True
Let c(o) = -10*o**2 - 3*o - 4. Let s(l) = 9*l**2 + 3*l + 3. Let d(g) = 2*c(g) + 3*s(g). Let y(f) = 2*f - 20. Let z be y(9). Is d(z) prime?
True
Let a = -2 - -7. Suppose 5*l - 327 = 2*f, 47 = 2*l - l - a*f. Is l a prime number?
True
Suppose -u + 1253 = q, -u = -4*u - 5*q + 3759. Is u a composite number?
True
Let h be (-1)/3 + 21/9. Suppose -h*k + 3*k - 46 = 0. Suppose -u - 8 = -2*x + 34, -2*x = -2*u - k. Is x prime?
True
Let a(d) = -d - 3. Suppose 2*q - 2 = r - 2*q, r = -q - 7. Let w be a(r). Suppose 5*u - s - 3*s = 487, -w*s = -3*u + 294. Is u composite?
True
Suppose 7*l - 9*l + 78