 = -6*m - 3. Is u(k) a composite number?
True
Suppose 1 = -5*u + 11. Suppose u*w - 2221 = -5*c, 5*c - 888 = 3*c - w. Is c a prime number?
False
Let s(d) = -d**2 - 3*d + 12. Let v be s(-5). Is 184 + (7 - v) + -4 prime?
False
Suppose 5*i = 212 - 617. Let g = 25 - i. Suppose 0 = 2*k - 4*k + g. Is k a prime number?
True
Suppose 4*i + 396 = 10*i. Suppose -b + i = b. Is b a prime number?
False
Let g(p) = 25*p**3 + 19*p**3 - 8*p**3 + p - 2*p**2. Suppose 2*a + 1 = 5*v, 3*v + 3*a + 7 = 8*a. Is g(v) a composite number?
True
Let g = -4 + 6. Let m(d) = g*d - d + 4*d**2 - 2*d + 7*d + 7. Is m(-7) a prime number?
False
Suppose -5*z = 25, -4*j - 5 = z - 16. Suppose -c + j*c - 27 = 0. Is c prime?
False
Suppose -13*w + 9*w = -5140. Is w composite?
True
Suppose 4*f = 5*o + 32659 - 11184, 0 = 2*f + 5*o - 10745. Is (-4)/6*f/(-4) prime?
False
Is 39/1 + -6 + (-60)/(-6) a prime number?
True
Suppose 4*n = -n + 575. Is n composite?
True
Let n = -16 + -11. Let h = n + 18. Let x = -2 - h. Is x composite?
False
Let b(u) = 42*u - 5. Is b(8) a prime number?
True
Let v(z) be the second derivative of -z**3/6 + 77*z**2/2 + 3*z. Let f be v(0). Suppose 0*p = p - f. Is p prime?
False
Let s = 8 - 14. Let z(o) = -7*o**2 + 20*o + 14. Let w(l) = -4*l**2 + 10*l + 7. Let p(g) = 5*w(g) - 3*z(g). Is p(s) prime?
True
Let z(t) = t**3 - 2*t**2 - 10. Suppose -3*k = -0*k - 15. Is z(k) a prime number?
False
Suppose -6*r = -5425 - 293. Is r prime?
True
Suppose 24 = 5*d - 16. Let y = d + -2. Is (-1 - -159)*3/y composite?
False
Let y(q) = q**2 - q. Let a be y(2). Suppose s + 9 = -a*s. Is 28/2*s/(-2) composite?
True
Let c(v) = v. Let s be c(6). Let m(u) = 2*u**2 - 8*u - 5. Is m(s) a composite number?
False
Suppose -5 = 5*i - 0. Let u = 19 - 18. Is i - (-2 + -2*u) a composite number?
False
Let z = -39 - 74. Let k = z + 192. Is k composite?
False
Suppose 0*a - 1258 = -2*a. Is a a prime number?
False
Is -4*(0 + 508/(-16)) a composite number?
False
Suppose 0 = 3*f + 2*s + 3 - 7, -4 = 2*f - 2*s. Suppose 5*n - 209 + 24 = f. Is n a composite number?
False
Let s = -30 - -12. Let g = 39 + s. Is g composite?
True
Let g(l) = -l**3 - 6*l**2 + 6*l - 3. Let d be g(-7). Suppose 3*r + 36 = 2*m, 54 = d*m + 5*r - 2*r. Is m/20 - (-114)/8 a composite number?
True
Let d = 2245 - 1490. Is d a composite number?
True
Suppose -25 = -b + 12. Let h be 1*(1 + 0) - 3. Is (-1)/((h - -1)/b) a composite number?
False
Suppose 5*d - 23 = -g, 0 = -2*d + g - 6*g + 23. Suppose 25 = k + 2*s, -5*k + 4*k + 25 = -d*s. Suppose k = -m + 3*m + v, -5*v = -15. Is m a composite number?
False
Suppose -i - 5*v = -84, 4*i - 2*v = 3*i + 98. Suppose 5*a - 2*a = -171. Let y = a + i. Is y composite?
False
Suppose -3*g = -7*g. Let w(i) be the third derivative of i**4/24 + 37*i**3/6 - 2*i**2. Is w(g) composite?
False
Let y be 130*5/((-50)/(-32)). Let l = y - 111. Is l a composite number?
True
Let n(j) = 4*j**3 - j**2 - j + 1. Let f be n(1). Suppose -f*l + 7*l - 100 = 0. Is l composite?
True
Let a be (3 - (-79 - 0))*6. Suppose 0 = 5*k - 1993 - a. Is k prime?
False
Suppose 2*r - 243 - 275 = 0. Is r composite?
True
Let y(u) = 5*u**2 + 0*u**2 - 2*u - 11 - u**2 - 2*u**2. Let o be y(-8). Suppose f = -i + 62, f = 3*f - i - o. Is f a composite number?
True
Suppose -1003 - 544 = -13*k. Is k a composite number?
True
Let v = 25 - 21. Let i(f) be the second derivative of 5*f**3/2 - 5*f**2/2 + f. Is i(v) prime?
False
Suppose -75*a = -78*a + 5679. Is a prime?
False
Suppose 435 = -2*t - 163. Let k = t + 426. Is k composite?
False
Suppose 0 = -2*r - 0*r. Suppose r = 3*y + u - 766, 5*y - 1290 = -2*u - 3*u. Is y composite?
True
Let z(p) = 2*p**2 - p - 1. Let m be z(2). Let d(j) = m*j + 52*j**2 - 5*j - j. Is d(-1) a composite number?
False
Let a(s) = s**3 - s**2 + 5*s + 4. Is a(5) prime?
False
Suppose -p = 5*w - 865, -2 - 8 = -2*p. Let c = w - 292. Let l = 173 + c. Is l a composite number?
False
Let k(u) = -351*u + 8. Is k(-3) composite?
False
Suppose 4*x + 36 - 304 = 0. Is x prime?
True
Let r be (1 + 19)*68/(-10). Let k = r - -231. Is k a prime number?
False
Let w = -6 - -4. Let h be (-128)/w + -1 + -1. Let p = -13 + h. Is p prime?
False
Let z be (0/(-1))/(-1 + -1). Suppose z = 4*j - 3*k + 19, 3*j + 4*k = j + 18. Is 0/j + 50 - 1 composite?
True
Let o = -1354 - -1922. Suppose 0 = -3*c + 35 + o. Is (1/3)/1*c a composite number?
False
Let g(o) = 10*o - 1. Let v be g(1). Suppose -4*d + v*d = 235. Is d composite?
False
Let g(l) = -191*l. Is g(-1) composite?
False
Let n(k) = 6*k**3 + 5*k**2 + k - 3. Let r be (-8 - -4)*(-1)/(-1). Let m be n(r). Let f = -192 - m. Is f composite?
True
Let h(l) = 24*l**2 + 4*l - 5. Is h(4) prime?
False
Is (-4)/(-14) - (6126/(-21) - 3) a prime number?
False
Suppose 24 = -i + 5*i - 2*v, -4*i - 3*v = -4. Suppose 2*l + l = 9. Suppose -u - 95 = -l*z, -116 = -z - 3*z - i*u. Is z a composite number?
False
Let i = -456 - -944. Let w = -275 + i. Is w a prime number?
False
Suppose 25 - 9 = 4*g. Suppose 3*q + g*b - 119 - 112 = 0, -b - 77 = -q. Is q a composite number?
True
Suppose 6*b - 3*b + 4 = -4*g, 4*g + 4 = -2*b. Suppose v = -2 - b. Is ((-8)/(-10))/(v/(-95)) a prime number?
False
Suppose y = 217 + 50. Suppose -5*o = -288 - y. Is o a prime number?
False
Suppose -2*r = -4*r + 106. Is r composite?
False
Let i = -58 - -38. Let z be (72/(-30))/((-6)/i). Let b(a) = -a**3 - 4*a**2 + 7*a - 9. Is b(z) prime?
True
Suppose 3*q - 193 = -52. Is q a prime number?
True
Let r(d) be the third derivative of -19*d**7/2520 - d**6/720 + d**5/30 + 3*d**2. Let m(t) be the third derivative of r(t). Is m(-3) a prime number?
True
Let s(w) = w. Suppose -y - n = 2*n - 2, -4*n - 8 = 4*y. Let z be 20/6 + y/(-6). Is s(z) composite?
True
Let d be (0 + 0 + 0)/(-1). Let i be 141 + 0 + d - -1. Let t = -89 + i. Is t a prime number?
True
Suppose 0*l - 446 = -2*l. Is l a prime number?
True
Let k(s) = 1125*s**2 - 3*s + 5. Is k(2) a composite number?
True
Let o be (3 + -4)/((-1)/3). Suppose o*r = -73 - 788. Let b = r - -402. Is b prime?
False
Suppose 2*t - 2*h - 36 = 32, 0 = 5*t - 2*h - 158. Let l = -11 + t. Is l composite?
False
Suppose 2*l + 1515 = 11185. Is l composite?
True
Is ((-2)/(-2) - 3) + 559 a prime number?
True
Let m = 3 + 0. Suppose 6 = b - m. Is (-1)/(-3) + 24/b prime?
True
Let q = 18 - 8. Suppose 5*f - q - 10 = 0. Let g = f - -5. Is g a composite number?
True
Suppose b + 14 = w, -6*b = -3*b - 6. Suppose 41 + w = 3*v. Is v prime?
True
Let d(c) = -123*c - 7. Is d(-8) a prime number?
True
Let g be (0*(-1)/(-2))/(-2). Let m be -11*((-1 - 0) + g). Suppose m = 3*u - 64. Is u a composite number?
True
Let m be 50/6 - (-2)/(-6). Suppose 2*j = 6*j - m. Suppose -3 - 15 = -j*y - 5*f, 0 = -y - f + 15. Is y composite?
False
Is -74*(-1)/(-2)*-29 a prime number?
False
Let j(m) = 2*m**2 - 8*m - 5. Let w be j(5). Let q = w - -10. Is q a prime number?
False
Suppose 4*i = -n + 461, -3*i + 5*n + 455 = i. Is i composite?
True
Let o(j) be the second derivative of j**4/12 - j**3 - 7*j**2/2 + 2*j. Let k be o(7). Is (1*3)/(1 - k) composite?
False
Suppose 0 = -5*z + 15, x + z = -z + 6. Let y(c) be the third derivative of c**5/60 + c**4/24 + 17*c**3/2 - c**2. Is y(x) a prime number?
False
Suppose -1328 = -3*b + 1186. Is b a prime number?
False
Is ((-57141)/(-36))/((-1)/(-4)) prime?
False
Suppose 4*k = 7 - 15. Let q(w) = -88*w**3 - w**2 + 2*w + 1. Is q(k) prime?
False
Let y(g) = g**3 + 5*g**2 - 6*g + 5. Let u be y(-6). Suppose h = -3*n + 26 + 12, -u = 5*h. Is n prime?
True
Let o(n) = -n - 2. Let b(g) = 2*g + 3. Let f(c) = -3*b(c) - 4*o(c). Let v be f(-1). Is (-1)/(v - 20/19) a prime number?
True
Suppose v + 2*v = 159. Is v a composite number?
False
Let r(l) = -l**3 - 4*l**2 - 6*l + 5. Is r(-6) composite?
False
Let s(y) be the third derivative of 163*y**6/120 + y**5/60 - y**4/24 + y**2. Is s(1) composite?
False
Let c(p) be the second derivative of -p**5/20 + 11*p**4/12 - 4*p**3/3 + 5*p**2/2 + p. Is c(5) composite?
True
Let z(s) = -s**3 + 5*s**2 + 3*s + 6. Let l(t) = t**2 - 4. Let o be l(3). Let w be z(o). Suppose 3 = 4*j - w. Is j composite?
True
Suppose l + 3*b = 490, 0 = 4*l - 5*l - 2*b + 489. Is l a prime number?
True
Let h = 2 + 0. Let c be (-1)/h + 6/4. Is c + 18 - 0/2 a composite number?
False
Suppose w + a + 2*a = 201, -w - 5*a = -193. Let f = -114 + w. Let p = f + -65. Is p a prime number?
Fal