6, -a + 75 = -n + 2*n. Is n composite?
True
Let d(l) = l**3 + 4*l + 10*l - 10 - 9*l**2 - 1. Let b be (1 + -3 - 7)/(-1). Is d(b) a composite number?
True
Suppose 14 = 2*i - 10. Suppose i*x = 8*x + 2012. Is x composite?
False
Let s = -168 - -257. Is s composite?
False
Let l(m) = -m**3 + 0*m**3 - m - 7*m**2 - 7*m + 2. Is l(-6) prime?
False
Is 4*(3 + (-725)/(-20)) a prime number?
True
Let w(c) = -56*c - 19. Is w(-6) composite?
False
Suppose 2*o = 3*o + 4*d - 7, 2*o - 2*d = 34. Let t = o - -79. Is t a composite number?
True
Let s = 1497 - 796. Is s a composite number?
False
Let n(d) = -d**3 - 7*d**2 + 13*d + 8. Let b be 22*-1*3/6. Let v = 2 + b. Is n(v) a prime number?
True
Suppose 12 = -2*r + 4*a, 5*r + 2*a = 7*a - 25. Is 2 - r/(4/35) composite?
False
Suppose -4*x = -5*x - 5. Is 30/12*(-654)/x a composite number?
True
Let v(j) = 2*j**2 + 5*j + 1. Let q be v(-5). Suppose -5*l = q - 76. Is l a composite number?
True
Let a = 1 - 0. Suppose -a + 21 = 5*b. Let n = b - 0. Is n composite?
True
Let k(q) = -q**2 - 20*q + 8. Is k(-15) a composite number?
False
Let z = -2 - 1. Let w(n) = -23*n. Is w(z) prime?
False
Is (-5571)/(-21) + (3 - 69/21) a composite number?
True
Let g(p) = 76*p + 9. Is g(7) prime?
True
Suppose 0 = -2*g - 2*g. Suppose 3*x - 2*x - 3 = g. Suppose 3*a + 12 = 0, -5*q - a + 649 = x*a. Is q a prime number?
False
Suppose 2*h + 12 + 8 = 4*b, -3*b + h = -14. Suppose 3*c = -3*v + 150, b*v - 4*c - 235 = -c. Is v prime?
False
Is ((-3)/(-9))/(-1 + 800/795) a composite number?
False
Is 28/(-70)*(-1 - -11) - -2945 prime?
False
Suppose 4*o = -5*v + 165, -4*o - v + 183 = 6. Suppose 0 = -0*w - 3*w + o. Is w a prime number?
False
Let q = -114 - -431. Is q composite?
False
Suppose -266 = -4*d + 1082. Is d composite?
False
Suppose 0 = 4*r - 8*r + 3*g + 15, -5*g = 5*r - 10. Let q(f) = -3*f**3 + 1 + 6*f**r + 7*f + 0*f**2 - 4*f**3 - 4*f**2. Is q(-6) composite?
False
Let a(w) = -21*w. Let f(c) = c + 6. Let g(v) = 2*v + 7. Let n(l) = 3*f(l) - 2*g(l). Let s be n(5). Is a(s) composite?
True
Suppose -2*d - 90 = -4*d. Let y be d/6*48/5. Suppose 4*o = 332 - y. Is o a composite number?
True
Let a = 275 + -136. Suppose -2*b = -10, -x - 4*b + a = 30. Is x prime?
True
Let u(g) = 7*g**3 - 2*g**2 + 1. Let h be u(3). Let j = -31 + h. Is j prime?
False
Let o(x) be the second derivative of -x**8/6720 - x**7/1260 - x**6/360 - x**5/120 + x**4/12 - x. Let r(f) be the third derivative of o(f). Is r(-4) composite?
True
Is (-24028)/(-10) + -4 + 1/5 a composite number?
False
Let n(b) = -3*b**3 + 8*b**2 + 9*b + 7. Is n(-6) composite?
True
Suppose -2*o - 2*q + 3*q + 2366 = 0, -3*o = -q - 3547. Is o a prime number?
True
Suppose -m = 2*w - 21, 4*w = -m + 4*m - 113. Is m a prime number?
True
Is 4/(-6)*641*(-3)/2 a prime number?
True
Let m = 9 - -37. Let a be 1/(2*1/54). Let q = m - a. Is q prime?
True
Suppose -7*h - 598 = -9*h. Is h composite?
True
Let q(a) = -a**2 + 271. Is q(0) prime?
True
Let l be -1*1 + (44 - -1). Suppose -3*r - 2*r - 5*f + 120 = 0, -l = -r - 5*f. Is r composite?
False
Let y be (-11)/5 - 2/(-10). Is y*(573/2)/(-3) prime?
True
Let m(z) be the first derivative of 4*z**3/3 + 3*z**2/2 + z - 4. Let i be m(4). Is (i/3)/(8/24) composite?
True
Let x be -1 - (-1 - (-2 + 2)). Let t be 2*(x - 149/(-2)). Suppose -4*a = -3*a - t. Is a composite?
False
Let k = 2027 - 318. Is k a prime number?
True
Suppose 3*l - 14 = -2. Let a be 1 - l/(-1) - -2. Suppose -4*i = -219 + a. Is i a composite number?
False
Let p(s) = -27*s + 9. Let c be p(-7). Suppose -54 - c = -3*v. Suppose 4*m = m + 2*t + 83, -4*t + v = 4*m. Is m a prime number?
False
Let q(d) be the third derivative of d**5/60 - d**4/8 - 3*d**3/2 - d**2. Is q(-13) prime?
True
Is ((-19)/3)/((-4)/60) composite?
True
Suppose -4*h + 0*c + 163 = -5*c, -5*h = -5*c - 200. Is h a composite number?
False
Suppose -2*w - 2*w = -1292. Is w a prime number?
False
Suppose -4*j + 9976 = -4*x, x = -3*x + 4. Is j prime?
False
Suppose -4*h - 10 = 38. Let w = h + 2. Is (2/3)/(w/(-3885)) composite?
True
Suppose 5*s - 264 = 4*s. Let a = -97 + s. Let t = a + -114. Is t composite?
False
Let s(d) = 0 - 3*d + 0. Suppose 2*v + 8 = 2*b, 3*v = 2*v - 4*b - 19. Is s(v) a prime number?
False
Suppose 6*k - 171 = -3*k. Is k a prime number?
True
Let y(k) = k**2 - 7*k - 4. Is y(-6) composite?
True
Let o(g) = -g**2 - 7*g - 18. Let z(r) = r**2 + 6*r + 19. Let f(p) = -4*o(p) - 3*z(p). Is f(-14) composite?
False
Is (-487)/(-1) + (6 - 8) a prime number?
False
Let t(c) = 88*c + 17. Is t(19) prime?
False
Let q(i) = 3*i**2 - 4*i + 1. Let g be q(2). Suppose 0 = -5*b + 4*b + 26. Let x = g + b. Is x a prime number?
True
Suppose 5*o - 4*a = -612 + 4023, -2*a - 687 = -o. Is o a composite number?
True
Suppose -r = -122 - 101. Is r a prime number?
True
Let p = -92 - -168. Suppose -n - n = -p. Is n a composite number?
True
Let r(w) = 19*w**2 - w - 1. Is r(-2) a composite number?
True
Is -1366*2/4*(5 + -6) composite?
False
Suppose -3*y = 18 - 0. Let c(g) = 21*g**3 + 28*g**2 + 33*g + 20. Let m(v) = 5*v**3 + 7*v**2 + 8*v + 5. Let x(j) = 2*c(j) - 9*m(j). Is x(y) composite?
True
Suppose 0 = -4*m + 9 + 83. Is m composite?
False
Let h = -167 - -358. Is h a composite number?
False
Let v(d) = d**2 + 7*d + 6. Let b be v(-6). Suppose -5*p = -b*p. Suppose l + p = 10. Is l a prime number?
False
Suppose 9174 = 9*p - 3*p. Is p composite?
True
Let x = -15 + 20. Suppose 3*v = o, -60 = -x*o + 2*v + 5. Is o a prime number?
False
Suppose -3*b = -2*x + 12, -5*b - 8 = -3*x + 12. Suppose 0 = -x*q + 2*q - 26. Is q a composite number?
False
Let x(l) = -4*l - 4*l**3 + l**3 - 2 - 4*l**2 + l**3. Let p be x(-2). Is (-15)/(-4)*(-2 + p) a prime number?
False
Suppose 0 = -4*z - 3*i + 24, -4*i - 18 = -3*z - 0*i. Let y be (1 + -11)*(-3)/z. Is (-170)/(-25)*(y - 0) a composite number?
True
Let a = 16 - 7. Let n = 13 - a. Suppose 4*q = g + 1, -2*g + 6*q - q + n = 0. Is g prime?
True
Let c(o) = 20*o**2 + 3*o + 8. Is c(-5) a composite number?
True
Suppose -n - j + 4 = -1, 3*j = -n + 7. Let i(k) = 20*k**2 + k + 5. Is i(n) a composite number?
True
Suppose 5*t - 20 = -55. Let l(k) = -7*k - 12. Is l(t) a composite number?
False
Let z = 858 - 607. Let n be 12/9*(-3)/2. Is z - (1 + n + 1) prime?
True
Let l = -7 - -3. Let p(k) = -2*k**3 + k**2 + k - 2. Let n be p(l). Let t = n - 11. Is t prime?
True
Suppose 0*f - 16 = 4*f. Is (-1 + -73)/(f/10) a composite number?
True
Let g(t) = t**3 - 6*t**2 + 2*t - 8. Let h be g(6). Suppose -2*a - 20 = 3*z - 64, -a - h*z = -17. Is a prime?
False
Let z(r) = 5*r**3 - 2*r**2 + 2*r - 1. Let t be z(1). Suppose -4*u = t, 4*c + 5*u = -97 + 352. Is c prime?
False
Let u = 2 - 5. Suppose 0 + 6 = -2*m. Is u*m/((-9)/(-21)) a composite number?
True
Suppose -v + 3449 = 5*k, k - 2*v + 4*v - 688 = 0. Suppose k = 3*l - 63. Is l prime?
True
Let q(b) = -2*b**3 - b**2 - 3*b - 1. Let m be q(-3). Let d be m - (-1 + (3 - 4)). Let i = 104 - d. Is i a composite number?
True
Suppose 401 + 399 = 4*j. Let m = j - 133. Is m a prime number?
True
Suppose -6*u + 261 = -3*u. Is u a composite number?
True
Let b(i) be the third derivative of 11*i**5/30 - i**4/6 - i**3/6 - i**2. Suppose -3*y + u + 10 = 0, y + 4*u - 16 = -y. Is b(y) a prime number?
False
Let z(d) = d**3 + 4*d**2 - 3. Let n be z(-3). Let h be n/(-5)*(-4850)/(-15). Is h/(-10) - (-9)/45 composite?
True
Let a(h) = 27*h**3 + 2*h**2 - 15 + 7 + 11 - 2*h. Is a(2) a prime number?
True
Let m = -26 + 50. Let x = m + 9. Suppose -5 = s + 3*z, -5*s - z + x = -12. Is s a composite number?
True
Let a(t) = 93*t**2 - t. Let p(g) = -g**2 + 6*g - 1. Let c be p(6). Let b be a(c). Is (-5)/15 - b/(-3) prime?
True
Suppose 0 = 5*c + 276 - 916. Let o = c + -64. Let q = -27 + o. Is q composite?
False
Let y(v) = 5*v - 12. Suppose -4*m + 5*k + 36 = 0, 2*k = 3*m + 18 - 45. Is y(m) composite?
True
Let c(l) be the third derivative of l**5/30 + l**3/6 - 2*l**2. Is c(2) a prime number?
False
Suppose -2*m = -5*s - 1278, 2*m + 8*s - 1318 = 3*s. Is m a composite number?
True
Let i(k) = k**3 - 7*k**2 - k + 8. Let n be i(7). Suppose n = 4*l - 15. Is (-2)/l - (-156)/8 prime?
True
Let x = -3 - -6. Suppose i - x*i - 30 = 0. Is (i/(-6))/(1/86) a prime number?
False
Suppose 0 = 7*x - 4*x - 9. Suppose 2*o + 202 = x*o. Is o a composite number?
True
Let t(n) = n**3 + 4*n**2 + 4. Let k be t(-4). Suppose 