 = 25 - x. Is b prime?
True
Suppose 0 = 6*x - 4794 + 900. Is x a prime number?
False
Suppose 3*w = 796 + 623. Is w a composite number?
True
Suppose -2*u - 3*d + 1 = 18, -5 = -5*d. Suppose 4*b - f - 61 = 2*f, -4*b - 5*f + 69 = 0. Let g = u + b. Is g prime?
False
Let z(o) = -o**3 + 10*o**2 - 14*o + 11. Let c be z(9). Let b = 53 + c. Is b prime?
True
Let q(s) = -2*s - 2. Let u be q(1). Is 1/((-1)/340*u) prime?
False
Let o(f) = f**3 - 2*f**2 - 2*f + 1. Suppose 5*m - 2*x = 17, -4*m - 2 = 2*x - 12. Let h be o(m). Suppose 158 + 278 = h*b. Is b prime?
True
Let k be (-14)/18 - (-2)/(-9). Let u be 74*k*(-12)/(-8). Is (u/6)/((-1)/2) a composite number?
False
Suppose 2*a = -3*a + 1735. Is a prime?
True
Let s(b) be the second derivative of 2*b**3/3 - b**2 + 3*b. Is s(7) a prime number?
False
Suppose 12 = 2*n + 2*n. Let i(y) = y**3 + 2*y**2 - 3*y - 3. Is i(n) prime?
False
Suppose -3*l + 13 = -8. Is l composite?
False
Is ((-277)/2)/(5/(-10)) composite?
False
Suppose 2*b + 0 = 4. Suppose u = -4*u + 5*n + 30, b*u - 16 = 4*n. Suppose s + 2*f = u + 7, 3*f - 9 = s. Is s a prime number?
True
Suppose 0 = -3*d - 5*t + 250, 4*d - 2*t = 7*d - 253. Is d a composite number?
True
Suppose -2*r - r = -42. Suppose j - 4*f + 13 = 0, 3*j - 5*f + r = j. Suppose o - 12 = -4*b, -b + 3*o + j = -0*b. Is b composite?
False
Is 4/(-18) + 4259/9 a prime number?
False
Suppose i - 52 = 3*i. Suppose -3*y - 95 = 5*f + 2, 4*y - f + 160 = 0. Let w = i - y. Is w a prime number?
True
Suppose 4*n = 11743 - 367. Suppose -4*o = -0*o + n. Is (-2)/3*o/6 prime?
True
Suppose -3*t + 181 = 4*r, -6*r + 123 = 2*t - r. Is t a prime number?
True
Let y be (-84)/(-10) + (-6)/15. Is y/(-6)*(-60)/8 a prime number?
False
Suppose -956 - 654 = -o. Suppose 3*r = 5*r - o. Suppose -2*s - r = -7*s. Is s prime?
False
Let t be (12/10)/((-8)/(-20)). Suppose 4*p - t*p = 19. Is p a composite number?
False
Let c(h) = 3*h**2 + 7*h - 21. Is c(5) composite?
False
Is ((-51)/(-9))/((-2)/(-174)) prime?
False
Let q be 4 - 6 - 2*10. Let r = -3 - q. Is r a composite number?
False
Suppose -8 = 4*f + 4. Let a = f - -7. Suppose 0 = a*x + x - 465. Is x a composite number?
True
Suppose -3*o - 5*j = -2*o - 10, 0 = -2*o + 4*j + 6. Let w = o - 0. Suppose -4*u + y = -84, -w*y - 31 = -u - 10. Is u a prime number?
False
Let l(m) = -16*m + 4. Let w = -4 + -3. Let y be l(w). Suppose 20 = 5*r, 5*k + 4*r = k + y. Is k composite?
True
Let k(s) = -48*s + 47. Is k(-18) a composite number?
False
Suppose -320 = -v + 381. Is v a prime number?
True
Let j(s) = s**2 - 2*s + 6. Is j(-11) a composite number?
False
Let d(a) = 21*a**2 - 4*a + 3. Let y be d(5). Let b = y - 285. Is b prime?
True
Suppose 3*z - 3*k - 546 = 0, 892 = 5*z - 2*k + 3*k. Suppose f = 5, 0*l - 3*f - z = -2*l. Is l prime?
True
Let k = -9 + 12. Suppose 3*f + k*g - 393 = 0, g + 12 = 4*g. Is f composite?
False
Suppose 4*h - 5 = 3. Suppose h*j - 5*j = -795. Is j a prime number?
False
Let m = 25 - 43. Let v be 4/18 - 50/m. Let u = 4 + v. Is u prime?
True
Let z = -152 + 294. Let v = 211 - z. Is v composite?
True
Suppose 2*n = 7*f - 3*f - 24, 2*f - 4*n = 24. Suppose 0*g - 16 = -f*v + 2*g, 0 = -4*v - 3*g + 36. Is 98/(-3)*v/(-4) a composite number?
True
Suppose g - 3 + 11 = 0. Let p = 7 - g. Let u = -1 + p. Is u a prime number?
False
Suppose -3*f + 3 + 9 = 0. Suppose 0 = -5*w - 5*y + 8800, 0 = -5*w + f*w + 2*y + 1751. Is w a composite number?
True
Suppose -6*b = b - 3871. Is b a prime number?
False
Let a be (1 - 0)*28/7. Let g be 15830/(-35) + a/14. Is (2 + -3)*g/4 a composite number?
False
Let b = 10 + 9. Is b prime?
True
Let w = -2031 + 4057. Is w composite?
True
Suppose 6*j - 4*j - 2278 = 0. Is j prime?
False
Suppose 0 = 5*j - 0 - 35. Is j prime?
True
Let q(x) = 2*x**3 + 2*x - x - 4*x**3 + 1. Is q(-6) prime?
False
Let j(o) = 37*o**2 - 11*o - 7. Is j(6) a composite number?
False
Let u be 3*-1 + 80 + -3. Is (u/6)/(-1)*-3 a prime number?
True
Let f be (0/(-5 - -2))/2. Suppose -2*s + 82 = 2*q, -3*s = -f*s. Suppose -5*z = -q - 54. Is z composite?
False
Suppose 4*c - 2 = 6. Suppose -v - 5*p + p = -37, -c*v = 3*p - 84. Suppose 0 = 2*w - v + 17. Is w a composite number?
True
Suppose 5048 = 36*t - 28*t. Is t composite?
False
Suppose -2*c + 10 = 2*g, -c + 5 = 4*g - 12. Let p be 2 - c - (-20 - -4). Is (2 - 4) + 5*p composite?
False
Suppose 0 = 4*q - q - 138. Is q composite?
True
Let l be (-1)/((-10)/8)*30. Suppose -l = -g + 7. Is g composite?
False
Let y be 16/3 - (-1)/(-3). Suppose -4*f = 2*m + 216, -2*m + y*f + 114 = -3*m. Is m/(-18) + 2/9 prime?
False
Suppose 0*l - 28 = -4*l. Suppose -2*m + l*m = 175. Is m a prime number?
False
Suppose 6 = -s - 3. Let o be 980/6 + 3/s. Suppose -173 = -5*v - g + o, 4*g = -2*v + 138. Is v prime?
True
Suppose -3*v + 11 - 2 = 0. Let d = v - 1. Suppose -73 = -5*l + d*f, f = -3*l - 2*f + 27. Is l a composite number?
False
Let v(s) = 166*s + 35. Is v(5) a composite number?
True
Let v(g) = g**2 - 5*g + 5. Is v(-7) a prime number?
True
Let m(s) = s**3 + 14*s**2 - 2*s - 3. Is m(-8) a prime number?
True
Let b = 13 - -121. Suppose 3*f = 5*f - b. Is f prime?
True
Let j = 9 + -21. Let i be (93/j)/((-1)/4). Is (6 - 4)*i/2 a prime number?
True
Let p(t) = -24*t + 7. Let u(z) = -23*z + 7. Let v(b) = -4*p(b) + 3*u(b). Is v(6) composite?
True
Let b be 8 + -1 + (-6 - -8). Suppose -1086 = 7*f - b*f. Is f composite?
True
Let g(f) = -f**2 + 3*f. Let n be g(3). Suppose 0 = -l - n*l + 2. Suppose 2*x - l*k = -4, 6 = -x + 2*k - 1. Is x a composite number?
False
Let q(a) = 4*a - 9. Let r be 4 + -2 + 0 + 16. Suppose 0*p - 2*p - 2*u + r = 0, 0 = -2*p + u + 12. Is q(p) prime?
True
Suppose 0 = -0*z + 5*z + 285. Let l = 146 + z. Is l prime?
True
Suppose -4*r + 1078 = -1054. Is r a composite number?
True
Suppose 4*x = x + 54. Suppose 0 = -5*l + x + 7. Suppose -3*t + l*t = 314. Is t composite?
False
Let a = -8025 + 12488. Is a prime?
True
Suppose 10*o = 12*o - 2018. Is o prime?
True
Suppose 6*d - 2*d - a - 872 = 0, d - 5*a - 237 = 0. Is d a prime number?
False
Suppose 0 = -m - 5*j + 27, 3 + 2 = -m + 3*j. Let z(u) = 7*u**3 - 14*u**2 - 9*u. Let q(w) = -3*w**3 + 7*w**2 + 4*w. Let i(o) = 5*q(o) + 2*z(o). Is i(m) prime?
False
Suppose 2*c + 0*c - 890 = 0. Is c prime?
False
Let g(a) = 2*a**2 + 2*a - 2. Let o be g(-2). Let k(y) = 6*y**3 + y**2 + y - 1. Is k(o) prime?
True
Let g = 2 + 3. Suppose -5*d = w - 3 + 8, -g*w + 19 = 3*d. Is 11*(3 + d)/1 composite?
False
Suppose 6 = -4*l - 3*f, 2 = -2*l - 5*f - 8. Let g be l + (0 + -1)*2. Is g + 2/1 - -4 prime?
False
Let j(l) be the first derivative of l**3/3 - l**2 + 94*l + 2. Is j(0) composite?
True
Is 3/(-2) + (-274)/(-4) a prime number?
True
Let x(t) = 4*t - 50. Is x(15) prime?
False
Let d(p) = 4*p**2 - 2*p + 7. Let f = -12 - -8. Let v be f/(-6)*(-10 - -1). Is d(v) prime?
True
Let r = 5 + -7. Is r - -39 - 8/(-4) composite?
True
Suppose 17*x - 5199 = 14*x. Is x composite?
False
Let c = -8 - -12. Suppose 340 = -0*l + c*l. Is l a prime number?
False
Suppose -o = -3*g + 4109, -5478 = -5*g + g + o. Is g prime?
False
Let j(w) = -w**3 + 4*w**2 + 5*w - 7. Let f be j(5). Let g = f + 12. Suppose l - g*l - 58 = -2*o, 5*o - 115 = -5*l. Is o a composite number?
True
Let v(g) = -g**3 + 12*g**2 - 16*g - 15. Is v(8) prime?
True
Let i = -47 + 86. Is i composite?
True
Suppose 3*d - 13 = -u, 0*d - 15 = -3*u - d. Is u a prime number?
False
Let a = -3615 - -6554. Is a composite?
False
Let r(p) = p**2 - 4*p + 1. Suppose m + 3*u - 22 = 0, -5*m = -0*m + 4*u - 55. Let n(d) = -2*d + 10. Let g be n(m). Is r(g) composite?
True
Is (2 - (-1 + 2))*(-6 + 847) composite?
True
Let f(z) = -4 - 6*z - 15*z + 5. Suppose 0 = 2*t - 5*o - 3, -2*t - 4*o - 3 = 3. Is f(t) a composite number?
True
Is -4 + 4 + (1049 - 6) composite?
True
Let t(x) be the third derivative of -47*x**4/24 - 25*x**3/6 - 6*x**2. Is t(-10) a composite number?
True
Let l be (18/8)/((-18)/(-48)). Suppose -483 = -3*h + 3*u, 0 = 3*h + 2*u - l*u - 485. Is h a composite number?
True
Let t(q) = 11*q**2 + q - 1. Let x be t(1). Let k = 49 - x. Is k a composite number?
True
Is -2 + 4*(1 - -98) + 3 composite?
False
Let i be 865/(-45) + (-2)/(-9). Let x = 1 + -1. Is i*1*(x - 1) composite?
False
Suppose p + 2*q + 150 = -4*p, -4*p + 2*q - 102 = 0. Let d = p + 42. Is d a composite number?
True
Suppose 0 = 5*k - 3*q - 61, k - 3 = -6*q + 2*q. Is k 