) composite?
True
Let r(n) = 23*n**3 - n**2 + 1. Let u be r(1). Is -6 + (0 - -2) + u prime?
True
Let m(z) = z**2 - 6*z - 4. Let r be m(7). Is -1*(-334*1 + r) a composite number?
False
Suppose -2*c + 0*y = -2*y - 40, 76 = 3*c + 5*y. Suppose -43 = -3*s - h, -h = 2*s + 3*h - c. Is s composite?
True
Suppose 0 = -2*u + 35 + 149. Suppose 3*x = -0*g + 4*g - 283, 0 = g - 5*x - u. Is g composite?
False
Let q(g) = 1170*g**2 - 1. Is q(-1) a composite number?
True
Let l(j) = 3*j + 4. Let k be l(6). Let w = -15 + k. Is w prime?
True
Let h be 6/(-15) - (-17)/5. Suppose -5*p = -4*v - 231, h*p - 119 = -5*v - 10. Is p a prime number?
True
Suppose -5*m - 130 = 3*u, -u - m = -3*m + 36. Let x = -29 - u. Is x composite?
False
Is 6/(30/21655) - 4 a prime number?
True
Let u = -9 - -14. Suppose -u*k + 21 = 1. Suppose -g - 88 = -k*v, -v + 2*v = 3*g + 11. Is v a composite number?
False
Suppose 0 = 4*z - 4, 0*l - z + 5 = 2*l. Is -1*l + -12 + 315 a prime number?
False
Suppose -32 = -w - 3*w. Let i = w - -10. Let j = i - 11. Is j prime?
True
Let w be (3 + 0 - 4) + 246. Suppose w = 3*m + f, 357 = 4*m + f + 29. Is m composite?
False
Let d(t) be the second derivative of t**5/20 + t**4/2 + t**3 + 9*t**2/2 + 2*t. Let b be d(-6). Let o = b + 48. Is o composite?
True
Suppose -4*q = 4*i, -4*i + 24 = -3*q + 3. Suppose -17 = -p - 3*f, 3*p + 8 = i*f - 1. Suppose -p*b - 25 = -119. Is b prime?
True
Is (-101 - -34)/(1/(-2)) a composite number?
True
Let r = -5 - -9. Suppose -3*x = t - 8*x - 42, r*t = -x + 147. Is t composite?
False
Suppose 3*g - 92 = g + 3*p, g = 5*p + 60. Suppose -v + 3*z = -g, -2*z + z = 5*v - 184. Is v composite?
False
Let y(c) = 5*c**3 - 23*c**2 - 7*c + 11. Let d(n) = -2*n**3 + 11*n**2 + 4*n - 5. Let j(r) = 7*d(r) + 3*y(r). Is j(-5) a composite number?
True
Let r(d) = 17*d. Suppose 0*x + 4*x - 2*n - 12 = 0, 6 = 2*x + 4*n. Let z be r(x). Suppose s = q - z - 197, -3 = -s. Is q composite?
False
Let s = -27 + 116. Is s a prime number?
True
Suppose -5*k = 5*u - 1050, -3*u + 0*k = -k - 646. Is u a prime number?
False
Let v be (12/(-20))/((-1)/5). Suppose -v*d + 129 = 3*x, 0*d = 4*x - 5*d - 136. Is x prime?
False
Is 4647/9 + 4/6 composite?
True
Suppose -2*x = -3*x. Let q = 2 + x. Suppose 0*m + q*m - 22 = 0. Is m a composite number?
False
Let d(p) = -1 + 0*p**2 + 2*p**2 - 3*p - 5*p + 2*p. Is d(-11) a composite number?
False
Suppose -7*g = g - 32. Let t(w) = w**2 - 2*w. Let v be t(-2). Suppose v*z - 1364 = g*z. Is z a prime number?
False
Suppose 2*k + 0*k - 2*h = 4, -2*k + 2 = -4*h. Suppose 4*r - k*r = 187. Is r composite?
True
Is (-19096)/(-20) + (3/5)/3 prime?
False
Let x be (-10)/(-35) - (-47)/7. Let m be 2/x + 26/7. Suppose 2*i - 4*q - 23 = i, m*i - 5*q - 125 = 0. Is i a composite number?
True
Let c(s) = 6*s - 3. Let l be ((-2)/(-7))/((-1)/(-7)). Is c(l) composite?
True
Let h = 103 + -58. Suppose -3*z - 2*z = -h. Suppose -3*u + z = 0, 3*m + u - 52 = 20. Is m a prime number?
True
Let r = 4 + -2. Let s be r/9 + (-356)/(-18). Let c = 30 - s. Is c a composite number?
True
Let g = -10 - -4. Is (-226)/(-4)*(8 + g) prime?
True
Let y(l) be the second derivative of 3*l**4 - 1/2*l**2 - 1/2*l**3 + 0 + 4*l. Is y(-2) a composite number?
False
Let x(r) = 2*r - 6. Let z be x(4). Suppose -z*w - w = -93. Is w a composite number?
False
Let z = 10 + -5. Suppose 0*m - 5*v - 118 = -m, -2*m - z*v + 221 = 0. Is m prime?
True
Let d = 1636 - 2898. Is (d/(-8))/(3/12) a prime number?
True
Suppose -3*c = -3*m, 4*c - m = 2*m - 1. Let o = c - -38. Is o prime?
True
Let y(u) = 3*u + 1. Let f be y(-1). Is 3/f + (-530)/(-20) prime?
False
Suppose 4*w - 5908 = -0*w. Is w prime?
False
Suppose 4 = y, 7*a + y - 4199 = 2*a. Is a a prime number?
True
Is ((-1)/2 - -1) + (-3285)/(-10) a composite number?
True
Let l(f) = -f**2 + 9*f + 14. Is l(8) a prime number?
False
Suppose -5*r + 2 = l + 7, 0 = -2*l + 2*r + 14. Suppose 4*g + 5*s = 632, -2*s - 249 = -l*g + 541. Suppose 0*w = -2*w + g. Is w a composite number?
False
Is (3 + 3 + -1)*(35 - 4) a composite number?
True
Let o(u) = -u**2 - 7*u - 4. Let n = -16 - -10. Let k be o(n). Suppose 5*b - 2*x - 30 = 0, -3*b + k*b + 6 = -2*x. Is b a composite number?
True
Let w be (1/1)/((-1)/(-2)). Suppose -2*c + w*z = -2, -c - 3*c + 24 = z. Suppose c*m + 171 = 456. Is m a prime number?
False
Suppose -2*v = -3*v + 317. Is v a composite number?
False
Suppose -3*u = a - 3, 0*a + 5 = 5*u - 3*a. Let q = 230 - u. Suppose 5*s = -4*c + q, -4*c - 2*s + 224 = 2*s. Is c a prime number?
False
Let u(l) = -25*l. Suppose -8 = -4*y - 4*m, 0 = y + m + 3*m + 1. Suppose i + 2*a - 14 = -3*a, -y*i + 2*a = 9. Is u(i) a prime number?
False
Let o be ((-1 - 0) + 2)*-10. Let s = 5 + -21. Let j = o - s. Is j prime?
False
Let h be (-18)/(-8) + 3/4. Suppose 5*s - 17 = h. Suppose -3*z = -s*p - 197 - 70, 2*z = 4*p + 178. Is z a composite number?
False
Suppose -3*g = -4*j - 404, 3*g + g = 0. Let h = j - -259. Suppose 2*c + 0*c - h = 0. Is c composite?
False
Suppose k = -3*k - 2*w + 1284, 3*k - 961 = -2*w. Let g = 544 - k. Is g prime?
False
Let w be 302/8 + (-9)/(-36). Let j = w + 9. Is j a composite number?
False
Is 1736/21 + 4/(-6) composite?
True
Let j(f) = -f**2 - 26*f + 69. Is j(-19) a prime number?
False
Suppose 0*s + 2*s + 364 = 0. Let l = s - -259. Is l composite?
True
Suppose -4 + 10 = 3*g. Let r be 6/(-2)*(1 - g). Suppose r*j - 446 = j. Is j a prime number?
True
Let u = -12 + 8. Is u/4*3 - -152 a composite number?
False
Let y = -5 - -12. Let g(t) = 12*t - 1. Is g(y) a composite number?
False
Suppose -127 + 37 = -2*o. Suppose -2*s - 35 - o = 0. Let q = s - -63. Is q composite?
False
Let n = -157 + 234. Is n a prime number?
False
Let w = -1 - -14. Suppose 8*y = w*y - 1390. Is y prime?
False
Let m be (2 - -32) + (-2 - -5). Suppose -j - 126 = -4*c, -j - 2*j - m = -c. Is c a composite number?
False
Suppose 5 = t - 3. Let q(i) = -2*i**2 + 7*i + 9. Let g(p) = p**2 - 4*p - 4. Let r(z) = -13*g(z) - 6*q(z). Is r(t) a composite number?
True
Suppose -3*s + 161 = -r, 0 = r + 6 - 1. Suppose j = -t + s + 36, 3*t - 266 = -j. Is t prime?
True
Let p = -1852 + 3003. Is p prime?
True
Let o = -12 + 18. Let s(j) = j**3 - 5*j**2 - 6*j. Let g be s(o). Suppose g = -0*c - 2*c + 14. Is c a composite number?
False
Let y = 1517 + 854. Is y prime?
True
Let y(i) = i**2 + 5*i + 6. Let d be (-3)/(-9) + (-14)/6. Let x be d/3 - (-39)/(-9). Is y(x) prime?
False
Let z(k) = 561*k. Let t be z(1). Suppose -3*v - 3*g + t = 0, 4*g - 3 = g. Is (v/10)/(4/20) prime?
False
Suppose -2*o - 2*o - 28 = 0. Let h = o + 7. Is (h + 0 - 7)*-7 prime?
False
Let m(n) = n**2 - 21. Let f be m(7). Suppose 0 = 4*j + f - 1616. Is j prime?
True
Let x(y) = -y + 1. Let r be x(-3). Is r/8*(61 + 1) composite?
False
Suppose l = -l + 166. Is l a prime number?
True
Suppose 5*n + 2 = 6*n. Let a be 2/(n*(-3)/(-264)). Suppose -q - 3*q + a = 0. Is q a prime number?
False
Suppose w = 3*u - 4, u - 12 = 3*u + 3*w. Let h be u + (2 - (3 - 5)). Is 597/h - 1/4 composite?
False
Let u(c) = 5*c - 7. Let f(g) = -g**3 - 4*g**2 - g + 1. Let i be f(-4). Let n be u(i). Let j = n + -5. Is j composite?
False
Let q be ((-1)/(-2))/((-2)/(-84)). Is (-6)/q + 65/7 composite?
True
Let d = 164 + -93. Is d a prime number?
True
Let y(m) = -m**2 - 9*m + 7. Let t be y(-9). Let z = 10 - t. Is (z/9 + 0)*21 a composite number?
False
Suppose -4*q - a + 0*a = -452, -3*a + 330 = 3*q. Let i = q - 77. Is i a prime number?
True
Let t(a) = -a**3 + 15*a**2 + 24*a - 14. Let o be t(17). Is o/(-6) - (-5)/15 prime?
True
Let x = -12504 + -1311. Is (-6)/33 + x/(-55) a prime number?
True
Let v(l) = -l**3 - 6*l**2 - 6*l. Is v(-7) a prime number?
False
Is (10/(-4))/((-1)/(-268)*-2) a prime number?
False
Let n(p) = 40*p**3 - p**2 + 3*p - 3. Is n(2) prime?
False
Let m = 13 - 8. Suppose m*h + 7 = 17. Suppose 4*k + p = h*k + 71, p = -4*k + 145. Is k a prime number?
True
Let l(p) = 18*p**2 - 5*p - 25. Is l(8) prime?
True
Let d be 10*2*(-3)/(-12). Suppose 10 = -d*c, -o - c + 5*c = -379. Is o a prime number?
False
Let q be (-2)/(-13) - (-862)/(-26). Is (-1 - q) + -3 + 2 a prime number?
True
Let s(x) = x - 3. Let v be s(3). Suppose 2*l = -y + 97, -y - 4*l + 76 + 29 = v. Is y composite?
False
Let u be 4 + -6 + (0 - -31). Let q = u + -10. Is q a composite number?
False
Let z(c) = -c**3 - 5*c**2 - 4*c. Let x be z(-5). Let o be