?
False
Let a(c) be the second derivative of c**4/6 + c**3/3 + c**2/2 - c. Suppose -3*z + 0*q = -2*q - 13, -5*q + 41 = 3*z. Is a(z) composite?
False
Suppose -3 = 3*u - 9. Suppose -k + 2 = -s, 5*k = -5*s + 15 + 5. Is u*((-165)/(-6) - s) composite?
False
Let a be ((-32)/2 - -1) + 1. Let q = -18 - -46. Let g = a + q. Is g a composite number?
True
Suppose -5*h = 2*j - 844, -4*j - 7*h + 3*h + 1700 = 0. Is j a composite number?
True
Let b = 11 + -8. Suppose -2*p - b*u + 118 = -0*p, -u + 110 = 2*p. Is p composite?
False
Suppose -1200 = -4*v - 4*h, -4*h + 254 = 3*v - 643. Let s be v/15 + 1/(-5). Suppose 2*m + 3*m - s = 0. Is m composite?
True
Let r be (1 - -2) + (-3 - 1). Is ((-52 + r)/(-1))/1 prime?
True
Let g = 3315 - 206. Is g prime?
True
Let q be 35628/(-66) - 2/11. Let s = q - -933. Is s a prime number?
False
Let c = 5 - 11. Is (-3)/c + (-315)/(-6) composite?
False
Let d(u) = 5*u**3 + 8*u - 3. Let y(a) = a**3 + a**2. Let m(r) = -d(r) + 6*y(r). Is m(-7) a composite number?
True
Suppose -4*i + 110 = -5*s - 100, 4*i = -5*s + 230. Is i a composite number?
True
Suppose 5*c - 868 - 252 = 0. Let o = -33 + c. Is o composite?
False
Let a = -192 - -981. Is a a composite number?
True
Let k be (-19)/(-4) - (-3)/12. Suppose -191 - 856 = -k*x + 2*t, 5*t - 20 = 0. Is x a prime number?
True
Let w(k) = 5 - 52*k + 48*k + 357*k. Let v be w(-4). Is ((-4)/6)/(14/v) a prime number?
True
Let w(s) = -24*s**2 - 9. Let i(r) = -r**2 - r - 1. Let d(f) = 4*i(f) - w(f). Is d(5) composite?
True
Let l(u) = 2*u**2 - u + 1. Let n be l(1). Let t be (-6)/(-24) - (-2)/(-8). Suppose t*f - 4*f = -3*d + 29, 3*f = n*d - 20. Is d a composite number?
False
Suppose -c + 38 = -11. Is c a prime number?
False
Suppose 9*r = 6*r + 1293. Is r composite?
False
Let v be (-22 - (-3 + 4)) + 0. Let g = 56 - v. Is g composite?
False
Let o(s) = s**2 + 14*s + 15. Let n be o(-13). Suppose -n*f - 11 = -73. Is f composite?
False
Let l(w) = 17*w**2 - 5*w + 5. Is l(6) a composite number?
False
Suppose -z - 100 = 9. Let g = z + 77. Let s = g + 46. Is s a prime number?
False
Let i = -11 - -14. Is 1*5*(10 - i) a prime number?
False
Let i = 14 + 2. Let n(m) = 10*m - 3 - 12*m - i*m. Is n(-2) a composite number?
True
Let j be ((-2)/(-4)*0)/(-2). Let k be (j/(-2) + 0)/1. Suppose 4*g + 3*o - 103 = 0, k*o = -4*g - 4*o + 104. Is g prime?
False
Let r = 38 - 18. Suppose -4*i - r = 0, 3*d - i = 5*d - 57. Is d composite?
False
Suppose 6*y = y + 710. Is y a prime number?
False
Is (-149)/((-1)/(3 + -2)) a composite number?
False
Let j(v) = -v + 53 - 2*v**2 + 3*v**2 + 2*v. Let m be (3 + -3)*(-1 + 2). Is j(m) composite?
False
Let p = 2398 - 1565. Suppose -2*j = -0*h - 2*h - 824, h - p = -2*j. Suppose 2*z - 5*f - 138 = 0, -5*z + 0*z - 5*f = -j. Is z composite?
False
Let q(j) = -7*j**2 + j. Let b be q(-1). Is (-1)/4 + (-346)/b composite?
False
Suppose -4*p - 5*g = -3578 + 1036, -p + 627 = -3*g. Is p composite?
True
Let d(x) = -1 + 4*x - 3*x**2 + x**2 + 0 + x**2. Let w be d(4). Let g = 6 - w. Is g composite?
False
Let o = -2 + 4. Suppose -o*r + 1655 = 3*r. Is r composite?
False
Suppose 0 = -4*s + 933 - 169. Is s prime?
True
Let u = -4 + 90. Is -1 - (-1)/(1/u) prime?
False
Let o be ((-54)/15)/(4/(-10)). Let l(b) = -3*b - 2. Let j(k) = -5*k - 5. Let m(f) = 3*j(f) - 7*l(f). Is m(o) composite?
False
Let f = 781 + -332. Is f a prime number?
True
Let z(p) = 3*p + 12. Let r be z(-9). Let q = r + 22. Let x(i) = 2*i**2 - 5*i - 6. Is x(q) a composite number?
True
Suppose 0 = -a - 5*b - 0 - 1, -3*b - 19 = -4*a. Let i(c) = 7*c + 5. Is i(a) composite?
True
Let h(q) = -q**2 - 8*q + 2. Let z be h(-8). Suppose 0 = z*m - 3*m + 59. Is m a composite number?
False
Let q(j) = 4*j**3 + 3*j**2 - 3*j + 7. Is q(4) composite?
True
Let t(l) = 0*l**3 + 7*l**2 - 3*l**3 - l - 10*l**2 + 2*l - 4. Is t(-3) prime?
True
Let j(w) = -14*w**3 + 2*w + 1. Let q be -2 + 4*(0 - -1). Suppose -1 - q = 3*f. Is j(f) a prime number?
True
Let t(i) = i**2 + 2*i - 4. Let w be t(-4). Suppose w*l = l + 69. Is l prime?
True
Let r(z) = z**2 - 9*z - 5. Let y be r(8). Let n = -7 + -2. Is (-1 + n)*y/2 a composite number?
True
Suppose -12 - 8 = 4*b, -5*f + 2*b + 25 = 0. Is 2/f - (-31)/3 composite?
False
Let z = -3 + 3. Suppose 0*a + 4*a = 5*w + 221, 4*w - 3*a + 176 = z. Let f = w - -80. Is f a composite number?
True
Suppose 0 = o - 0 - 4. Let d(n) = 7*n - n + 7 + 3*n - o. Is d(4) a composite number?
True
Let b(r) = -r**3 - 14*r**2 - 12*r + 11. Let t be b(-13). Is (-4 - -17)/(t/(-46)) prime?
False
Let k(l) = 5*l - 3. Let z be k(2). Let p(s) be the second derivative of s**4/4 - 3*s**3/2 - 7*s**2/2 - s. Is p(z) composite?
True
Is (-6)/9*169719/(-22) a composite number?
True
Let p(t) = 41*t - 6. Let o be 5 - (6/(-3))/(-2). Let w be p(o). Is w/3 + (-5)/(-15) a prime number?
True
Let t(x) = -x + 1. Let d(h) = -6*h + 9. Let i(p) = d(p) - 5*t(p). Is i(-9) composite?
False
Suppose 4*h + 5*b = 10412, 7905 = 4*h + 3*b - 2515. Is (h/(-24))/(2/(-3)) prime?
True
Let f be (-2)/(-8) + 975/20. Suppose d + 2*d - 164 = 5*s, d + 4*s - f = 0. Is d a prime number?
True
Suppose 4*k = -0*k. Suppose k*s - 2*s = -6. Suppose 0*c = s*c - 147. Is c a composite number?
True
Suppose -33 + 5 = -4*m. Let x(n) = 12*n + 5. Is x(m) prime?
True
Let a(n) = -n**3 - 2*n**2 - 3*n - 3. Let v be a(-2). Suppose -179 = -2*f - j, 4*f - v*f = 2*j + 87. Is f a composite number?
False
Let t(s) = -57*s**3 - s**2 - s + 1. Is t(-1) a prime number?
False
Is (-6)/(-2)*(-296)/(-8) a composite number?
True
Suppose -3*q = -899 + 86. Suppose -q = -s - 22. Let r = -94 + s. Is r a prime number?
False
Suppose 2*z = -0*z + 4*f + 4, 5*z = f - 26. Let a be 2*(1 - (-15)/z). Is 1*a/2*-14 a prime number?
False
Let d = 3 - 5. Is (27/(-4) - d)*-4 a composite number?
False
Suppose 2*g - 19 = -2*g - n, -3*g = 2*n - 18. Suppose -4 = 3*t + g*k - 3*k, t = 5*k + 4. Is t/2*(-3 - 75) prime?
False
Let s = 518 - -69. Is s a composite number?
False
Let k be (-2 - -1)*2 - -5. Suppose 0 = -y + 2*y + k*t + 33, -y = -5*t + 65. Let o = -24 - y. Is o a prime number?
False
Suppose a - 9 - 13 = 0. Is (-4)/(-22) + 4638/a prime?
True
Let z = 13 + 174. Is z a composite number?
True
Suppose 70 = -4*c + 2*c. Let f = c + 50. Is f a composite number?
True
Let l = 177 + -303. Let d = -89 - l. Is d prime?
True
Let t be (-2)/8 + (-42)/24. Let y be (4 - 2) + 1 - t. Suppose -y*r = -d - 1, 5*d - 3*r = 2*d + 33. Is d a composite number?
True
Let t(b) = b**2 - 5*b + 4. Let i(x) = 2*x + 1. Let s be i(1). Let d be 14/s + (-3)/(-9). Is t(d) composite?
True
Let t(j) = 3*j**2 + 4*j + 7. Let d = -12 + 7. Let n be t(d). Suppose i - n = -i. Is i prime?
True
Let q(n) = -5*n**3 - 3*n**2 - 7*n - 2. Is q(-5) a composite number?
True
Let a(s) = s**2 + 7*s - 10. Let o be a(-6). Is (-7020)/o - (-1)/4 a prime number?
True
Suppose 0 = -3*j + 2*j. Suppose j*b + 9 = 3*b. Suppose -b*d + 149 = 38. Is d a composite number?
False
Let r(p) be the first derivative of 2*p**4/3 - 7*p**3/6 + 3*p**2/2 - 2. Let b(l) be the second derivative of r(l). Is b(6) a composite number?
False
Let d = 426 - 169. Is d prime?
True
Suppose 5*i - 983 - 9288 = 2*h, 2041 = i + 4*h. Is i a prime number?
True
Let p = -6 + 2. Let o(j) = -j**3 - 4*j**2 - 2*j + 1. Is o(p) composite?
True
Suppose f - 5 - 7 = 0. Suppose -2*b + 4*b - 5*r + f = 0, 0 = -4*b - 4*r - 24. Let h(y) = -7*y + 7. Is h(b) a prime number?
False
Suppose 6*p = 3*p + 633. Is p a composite number?
False
Let o = 22 + -31. Let f be 4/18 + (-1168)/o. Suppose -r + f = 41. Is r prime?
True
Suppose -4*q - 44 = -15*q. Let v(s) = 4*s**2 + 1 + 5*s**2 - 2*s**2. Is v(q) a prime number?
True
Suppose -4*c - x = -942 + 359, -2*x = c - 151. Is c a composite number?
True
Is (-2 - 0) + (-921)/(-2)*2 prime?
True
Let r = 33 - 19. Suppose -y - y = -r. Is y prime?
True
Suppose 14*z - 9*z + 5684 = 3*b, 2*b - 4*z - 3786 = 0. Is b prime?
False
Suppose 0*c + 2*c - 8 = 0. Let s(p) = -p**2 + 7*p + 3. Is s(c) a composite number?
True
Let k = 1406 + 2603. Is k composite?
True
Let c = -434 - -919. Is c prime?
False
Is 1585/(10/2)*1 composite?
False
Suppose 6*a = 3*a. Suppose a = -2*b + 6, -3*d - 3*b = -2*b - 114. Suppose y - 31 = -0*r - 3*r, -5*r + 2*y = -d. Is r prime?
False
Suppose 5899 = 3*l + 4*z, 0 = 2*l - 3*l + z + 1978. Is l a composite number?
False
Is ((-381)/(-9))/(4/12) a composite num