posite?
True
Suppose 5*s - 308 = s. Let y = s - -42. Is y composite?
True
Suppose 3*m - 4*u - 2 = 0, -5*u + 1 = -m - 2*u. Let s(t) be the third derivative of 2*t**4/3 + t**3/6 + t**2. Is s(m) composite?
True
Let p = -124 + 977. Is p prime?
True
Let j(h) be the first derivative of 3 - h - 3/2*h**2 + 11/3*h**3. Is j(4) a composite number?
False
Let b = -371 - -607. Suppose -2*m - 4*r + 21 = -1, 2*m = -r + 13. Suppose -m*y + b = -y. Is y a composite number?
False
Let f be 2 - 5/(15/(-99)). Is 4/14 + 900/f prime?
False
Let s(b) be the first derivative of b**4/4 + 4*b**3/3 - 5*b**2/2 - 4*b + 2. Let j be s(-5). Is 1 - 2/j*2 a composite number?
False
Let x(j) = -1. Let f(o) = -o**3 - o**2 - 626. Let k(r) = -f(r) - 3*x(r). Let a be k(0). Suppose 4*q + a = 3*i + 2*q, 5*i - 4*q - 1047 = 0. Is i a prime number?
True
Let t(h) be the first derivative of -h**3/3 - 7*h**2/2 - 8*h - 1. Let q be t(-10). Let s = q + 60. Is s a composite number?
True
Let q = -22 - -36. Is q prime?
False
Let u(l) = -l**3 + 3*l**2 - l. Let h be u(3). Is 0/(h + 7) + 7 composite?
False
Let b(v) = 12*v. Let f be b(1). Suppose -s = -2*c + f, 5*c - 39 = 4*s - 3. Is 1637/11 + c/22 a composite number?
False
Let q(y) = -7*y + 3*y**2 - 3*y + 9 + 10*y. Is q(10) composite?
True
Let z(h) = 78*h - 1. Let r(m) = -m**2 - 9*m + 1. Let f be r(-9). Is z(f) a composite number?
True
Let y(l) = 273*l**2 - 3*l + 5. Is y(2) a composite number?
False
Suppose 2*p = 17 + 117. Is p a prime number?
True
Suppose -5*u + 4*m - 90 = 0, 68 = -4*u + m + 3*m. Let o = 69 - u. Is o a composite number?
True
Suppose -390 = 2*j - 7*j. Let s be ((-2)/4)/((-2)/16). Suppose s*p - 139 = -5*c, 2*c - p = 3*p + j. Is c a composite number?
False
Let h = 11 - 5. Is h/9 + (-278)/(-6) composite?
False
Let h = -28 - -65. Is h a composite number?
False
Let n = 68 + -30. Suppose -2*h + 4*p + 10 = -h, h - n = -3*p. Is h a composite number?
True
Is (-3 + -440)/((-3)/3) a prime number?
True
Let a = -6 + 8. Suppose 2*h = y + 10, -a*y + 0*y = 8. Suppose -h*d - 537 = -6*d. Is d composite?
False
Let q = -15 + 19. Suppose 0 = -q*g + 5*g - 187. Is g prime?
False
Suppose 3*m - 5*m - 3*l + 1885 = 0, -4*l = -2*m + 1920. Is m/12 - (-3)/(-18) a prime number?
True
Let u be (-2)/(-9) - (-86)/18. Suppose -1975 - 450 = -u*k. Suppose -5*z = -10*z + k. Is z prime?
True
Suppose 0*t - 4*t = -516. Is t a prime number?
False
Suppose -25 - 26 = -q - 2*h, 3*q = h + 174. Let v be 5/(-10) + q/(-2). Is -3*v/6*10 a prime number?
False
Let m(y) = y**3 + 9*y**2 + 2*y - 26. Let f be m(-10). Let v(r) = -2*r**3 - 2*r**2 - 8*r - 7. Let u be v(-5). Let n = u + f. Is n a composite number?
True
Let p(x) = x**3 - 3*x**2 - 5*x + 1. Let b be p(4). Let d = b + 7. Suppose -49 = d*v - 153. Is v prime?
False
Suppose 0 = -c + 4*z + 8, 2*z = -c - 3*z + 17. Suppose 4*l = -0*l + c. Suppose l*i - 2*i + v - 56 = 0, 2*v - 6 = 0. Is i composite?
False
Let u be (-2 - -7)/(0 - -1). Suppose 20 = u*p - p. Suppose 6*q = 4*q - 3*x + 2, 4*q + p*x - 8 = 0. Is q a composite number?
False
Let m(u) = -u**3 + 9*u**2 - 13*u + 6. Let s be m(6). Let j = 33 + s. Is j a composite number?
True
Suppose -2*o - 1 = 5*w + 32, -4 = -4*o. Is w*(-1)/(14/4) composite?
False
Suppose -11 = -3*b - 2. Suppose 0 = b*g - 4 - 5. Suppose 2*l - 66 = -4*n, 36 + 44 = 5*n + g*l. Is n prime?
True
Let w(m) = -25*m**3 - 3*m**2 - m + 1. Is w(-2) composite?
False
Suppose -5*r + 5 = -v - 17, 0 = -v - 2. Let i be (4305/(-6))/7*-2. Suppose 4*o + k - 185 = i, 2*o = r*k + 186. Is o prime?
True
Let h(u) = -6*u - 7. Let i(l) = l**2 + 10*l + 11. Let g be i(-8). Is h(g) composite?
False
Is (-15)/(-5) - (-12)/3*2 a prime number?
True
Let j(r) = -7*r**3 + r**2 - r. Is j(-3) a prime number?
False
Let b(x) = -13*x + 2. Let f = 19 - 27. Is b(f) a prime number?
False
Let h(w) = w**2 - 9*w - 1. Is h(10) prime?
False
Let r be 2/4 - 222/12. Let q = -5 - r. Is q a prime number?
True
Is 537/(-2)*12/(-18) a composite number?
False
Is 191*2 - (-18)/(-6) a composite number?
False
Let w = 6 + -25. Is (0 + -1)*(-2 + w) a prime number?
False
Suppose -2*f + t = 33, 0 = 4*f + t + 71 - 20. Is 16/(-56) - 914/f prime?
False
Suppose -3*z = -0*z + 351. Is (-2)/(-4) + z/(-2) a composite number?
False
Suppose 20 = -5*f, 0 = -3*p + 7*f - 3*f + 3433. Is p composite?
True
Suppose 4*h - 7320 = 4*l, 0*h - 9151 = -5*h + 4*l. Is h a prime number?
True
Let q(x) be the second derivative of x**5/10 - x**4/24 - x**3/2 - x**2/2 + x. Let f(m) be the first derivative of q(m). Is f(4) composite?
False
Suppose -a = 6 + 1. Is 2/a + (-1436)/(-28) a prime number?
False
Is (12/4)/(-1) + 634 prime?
True
Let p(n) = -20*n + 47. Is p(-21) a prime number?
True
Suppose 6*q - 3*q - 111 = 0. Is q a composite number?
False
Is (4/(-2) - -805)/1 composite?
True
Let c(k) = -k**2 + 5*k - 7. Let g be c(6). Let d(j) = 121*j - 5 - 123*j - 7. Is d(g) a prime number?
False
Suppose 2*h - 1 = 7. Let y(d) = 14*d**2 + 4*d - 5. Is y(h) a composite number?
True
Let m = -2 - -17. Let o(l) = 2*l**2 + 3*l. Let q be o(-2). Is m + -4 + (2 - q) composite?
False
Let i(o) = -316*o**3 + o**2. Let m be i(-1). Let t = -174 + m. Is t a composite number?
True
Suppose -6*r = -749 - 13. Is r prime?
True
Let f(d) = d - 1. Let a be f(10). Let l(z) = 21*z + 2. Is l(a) a prime number?
True
Let i(u) = -6*u**3 + u**2 - 9*u + 9. Let k(h) = -3*h**3 - 4*h + 4. Let q(r) = -3*i(r) + 7*k(r). Is q(-3) a prime number?
False
Let i(v) = 24*v**2 - 2*v + 3. Is i(8) a prime number?
True
Suppose -7*x = -6*x - 737. Is x a composite number?
True
Let a = -417 + 608. Is a a composite number?
False
Let a = -20 + 32. Let d be a/(-54) + 40/18. Is 42 + -2 + 1 + d a composite number?
False
Suppose y - 4*o = -0*o + 235, 3*y - 705 = -3*o. Is y a composite number?
True
Let o be 10/15*(-6)/4. Let j be 4/(-2) - (3 + o). Let s(i) = -13*i + 3. Is s(j) composite?
True
Let o(n) = -n**3 + 4*n**2 - 3*n. Let u be o(2). Is 1*(130*u)/4 a prime number?
False
Suppose 4*d - 1321 - 1003 = 0. Is d prime?
False
Suppose -5*w - 3*f = -728, 4*w + 6*f - 5*f = 581. Suppose 5*n - 320 = w. Suppose 0 = 4*v - o - 653, 4*o + 237 = 2*v - n. Is v composite?
False
Let a(i) = -i**3 - i - 6*i**2 + 4 - 4 - 3. Let n be a(-6). Let m(d) = 21*d + 2. Is m(n) a composite number?
True
Suppose 0 = -2*i - x - 2*x + 3924, 0 = -3*i + 5*x + 5867. Is i prime?
False
Suppose 3*k - 2*k - 52 = 0. Let w be k/6 + 4/(-6). Suppose w*l = 3*l + 15. Is l a composite number?
False
Suppose -4*s + 128 = -0*s + f, 0 = -4*s + 4*f + 148. Is s composite?
True
Let l be 3*1/3 + 3. Suppose 12 = -l*c + 44. Let q(w) = 19*w + 7. Is q(c) a composite number?
True
Suppose 20 = g + 3*g. Suppose i + 0*i + g*o = -8, i = 4*o - 35. Let s = 74 + i. Is s prime?
False
Suppose 0 = o, -2*r + 324 = -0*r - 5*o. Suppose j - 84 = 23. Let h = r - j. Is h a prime number?
False
Let w be (-2)/(-10) + 56/20. Let k be w*2/((-12)/(-34)). Let o = k + -6. Is o a prime number?
True
Let n be (-2)/(2/(-1))*2. Suppose -n + 35 = 3*p. Is p a prime number?
True
Let r(i) = 16*i + 5. Is r(5) a prime number?
False
Is 192*20/18 + (-1)/3 a composite number?
True
Let j be 0*(1 - -2)/6. Suppose 3*m + j*p = -5*p + 18, 0 = -m - 2*p + 7. Suppose -t - m = -12. Is t composite?
False
Suppose 356 = 2*x - 66. Is x a prime number?
True
Suppose -4*f + 0*f = 4324. Is (-1)/(f/(-541) + -2) composite?
False
Let y = 5181 - 1890. Is y composite?
True
Suppose 1012 + 376 = 4*y. Is y composite?
False
Let x(m) = m + 5. Let k be x(0). Suppose -5*u + 5*c + 105 = 0, 2*u - 47 = -u - k*c. Suppose -2*r + 43 = -u. Is r a prime number?
True
Let s(h) be the second derivative of 53*h**4/2 - h**3/3 + h**2/2 + 6*h. Is s(1) a composite number?
False
Let f be 2/(-11) + (-14)/(-77). Suppose -2*z + z + 307 = f. Is z composite?
False
Let f = -2 + 7. Suppose f*j + 2*p = -276, 3*p = -2*j - 54 - 52. Is j/(-3) - 1/(-3) composite?
False
Is (4/8 - 0)/(1/314) prime?
True
Let b(k) = -k + 14. Let u be b(11). Let l(x) = x**3 + x**2 + x - 2. Is l(u) prime?
True
Let m be (-1)/(3/(-1122)) + 0. Let c be 3 - (0 + 1) - m. Is 4/18 - c/27 a prime number?
False
Let k = 63 - -160. Is k a composite number?
False
Let z(y) = -25*y**2 - 2*y + 2. Let q be z(2). Let a be -18*-1*(-3)/(-6). Let k = a - q. Is k a prime number?
False
Let t(m) = -12*m - 23. Is t(-10) a prime number?
True
Is (-5)/(-2)*(-12)/(-10) prime?
Tr