5*a = c - 744. Is a a composite number?
False
Is 1/(-2)*(6 + -640) composite?
False
Suppose -x - 5*p + 11 = 0, 0*x = -2*x - 3*p + 50. Let q = 248 - x. Is q composite?
True
Let a = 37 - 25. Is (32/a - 3)*-339 prime?
True
Let h(o) = -16*o - 11. Is h(-9) prime?
False
Let a(o) be the first derivative of 3*o**2/2 - 17*o - 7. Is a(12) composite?
False
Suppose 0 = -c - c + 2, 25 = 5*q - 5*c. Suppose r = q + 4. Is r composite?
True
Let n(b) = -3*b**3 - 4*b**2 + 4*b - 4. Let g = 5 + -10. Is n(g) prime?
True
Let i(w) = 292*w**3 - w**2 + w + 1. Is i(1) composite?
False
Is ((-5)/25)/((-6)/(-15))*-662 a composite number?
False
Let q be -1*((-4)/1 - 0). Let c(x) = -x**2 + 8*x - 2. Let h be c(6). Is q/h + 258/30 a prime number?
False
Let n = 1490 + 147. Is n a prime number?
True
Suppose 2764 = -12*k + 122296. Is k prime?
False
Let u(z) = -z**3 - 6*z**2 - 2*z - 8. Let l be u(-6). Suppose l*c = q + 2*q + 183, 0 = 4*q + 3*c + 219. Let o = 92 + q. Is o a prime number?
False
Suppose -3*u + u = 112. Is 1*3 - (u + 4) a prime number?
False
Suppose 4*n + 420 - 2022 = 5*a, -n = -a - 401. Is n prime?
False
Let r(j) = -67*j**2 - 5*j - 3. Let m(b) = -14*b**2 - 19*b**2 - 5 + 3 - 3*b. Let g(y) = 5*m(y) - 3*r(y). Is g(1) a prime number?
False
Let v(s) = 8*s**3 - 12*s**3 - s**2 + 8*s**3 - 1 - 3*s. Is v(3) composite?
False
Suppose -4*p + 4*s = -80, p + s = 5*p - 77. Is p composite?
False
Let u = -4 + -1. Let a(o) = o**2 + 4*o - 1. Let t be a(u). Suppose -155 - 81 = -t*s. Is s prime?
True
Let x be 1/(2/2) - 0. Let w(o) = -4*o - 16. Let t be w(-6). Let f = t + x. Is f composite?
True
Suppose 0 = r - 2*r - 3*b + 778, -5*b = 2*r - 1557. Is r a composite number?
True
Let l = -290 + 919. Is l a composite number?
True
Let a(t) = 3*t**2 + 3*t - 5. Let f(q) = -q**2 - q + 11. Let c be f(0). Let k(b) = 14*b**2 + 15*b - 24. Let i(w) = c*a(w) - 2*k(w). Is i(7) a composite number?
True
Let a(n) = 13*n**2 + 3*n + 1. Let m = 6 - 8. Let k be a(m). Suppose k + 12 = 5*z + 3*g, -3*z - 2*g + 35 = 0. Is z composite?
False
Let h = 0 - -6. Suppose -2*s = 4*f + 3*s - h, 0 = -2*f + s - 4. Is (15/10)/(f/(-14)) a composite number?
True
Let x be 104/(-10)*(-50)/20. Let g be -52*(2/8 - 1). Is 6/g + 386/x a composite number?
True
Suppose -w - 2*w - 16352 = -5*p, -w + 1 = 0. Is p composite?
False
Suppose -k - 4*c - 35 = -4*k, -3*k = 3*c. Suppose -21 = -5*j + y, j + k*y + 13 = 3*j. Suppose -4*n - j + 272 = 0. Is n composite?
False
Let z(f) = 201*f + 7. Is z(2) a prime number?
True
Let b = -1648 + 3297. Is b a composite number?
True
Suppose 16 = -4*y, -5*v - y = -4*y + 1823. Is (-1)/(3/(-2 + v)) a prime number?
False
Suppose -1190 = -7*b - 7*b. Is b composite?
True
Suppose 4*f + 5*k - 8 = 0, -5*f + k + 6 = -2*f. Is (-14824)/(-22) - f/(-11) a prime number?
False
Let x(w) = 433*w**2 - w - 1. Let p be x(-1). Is p/7 - (-7)/49 composite?
True
Let o(m) = m**3 - 2*m**2 + 3*m - 2. Let g(t) = 2*t**3 - t**2 + 3*t - 3. Let a(w) = 2*g(w) - 3*o(w). Let x be a(3). Is 1 - (-7)/(7/x) prime?
False
Suppose -4*c = -357 + 73. Is c composite?
False
Is -1 + (-1 - -289)/2 prime?
False
Suppose -2*o - 4*d = -322, 0*o + 634 = 4*o + 3*d. Is o a composite number?
False
Let q = -8 + 11. Suppose -6*h = -q*h - 9. Suppose -2*y + 1524 = 5*c + 461, -4*y = h*c - 649. Is c a composite number?
False
Let j(s) = 4*s**2 - 4*s - 4. Let b be j(-9). Let f be ((-15)/5)/((-6)/b). Let m = f - 125. Is m prime?
True
Is 19980/25 - 1/5 composite?
True
Let k(c) = -9*c**2 - c**2 + 0*c**2 + 14 - 4*c - c**3. Is k(-11) a composite number?
False
Suppose 0 = 4*j + 2*q - 1066, -367 = 3*j + q - 1167. Is j prime?
False
Suppose -2*m = -3*o - 106, -3*m + 39 + 139 = -5*o. Let i = -23 - o. Is i a composite number?
True
Suppose -4*z + 0*z - 8 = 0. Let f = 4 + z. Is ((-11)/f)/(1/(-6)) a prime number?
False
Is (-14)/49 - 3126/(-14) prime?
True
Let l be 0 + (2 - -1) + -28. Let x = -19 - l. Is x composite?
True
Let g = 111 - 170. Let u = 456 + g. Is u a prime number?
True
Suppose 0*i - i = -6. Suppose -i*h + h + 95 = 0. Is h prime?
True
Let p = -266 + 411. Is p composite?
True
Let p(y) = -y**2 - 6*y - 4. Let k be p(-3). Suppose 5*i + g = -k, -2*g = 4*i + 2*g + 20. Suppose 5*m - 90 - 35 = i. Is m a prime number?
False
Let r = 407 - 229. Is r a prime number?
False
Is (-5)/(20/(-1172)) + 0 prime?
True
Is (3/(-2)*2742/9)/(-1) composite?
False
Let a(q) = q**3 + 9*q**2 - 13*q + 2. Let j(c) = c**3 + 8*c**2 - 12*c + 1. Let y(u) = 5*a(u) - 6*j(u). Let z = 1 - 6. Is y(z) prime?
True
Let j(m) = -m**2 + 6*m. Let u be j(4). Suppose p - 47 = -u. Is p a prime number?
False
Is (-2 + 0)*(-1)/2*1409 composite?
False
Suppose 3*n - 349 = -2*s + 75, -5*n + 728 = -2*s. Suppose n + 55 = a. Is a a prime number?
True
Let v(n) = n**3 - 4*n**2 + 2*n - 6. Let q be v(4). Suppose r - 13 = h + q*h, -4*r - 4*h + 52 = 0. Is r a composite number?
False
Suppose o - 5*c = 2*o - 29, 2 = -2*o + 5*c. Let z(x) = x**3 - 9*x**2 - 1. Let a be z(o). Let k(i) = -19*i. Is k(a) prime?
True
Suppose 0 = -2*s - 0*s - 224. Let k = s + 60. Let y = -33 - k. Is y a composite number?
False
Suppose -4*p + 2*p - 454 = -4*r, -r - 5*p + 97 = 0. Let b = r + -174. Is b/4*(-2 + 0) prime?
True
Let r(f) = 56*f - 7. Is r(9) prime?
False
Suppose f + 3*v - 3 = 2*f, 2*v = 10. Let g = 1 + f. Is g a composite number?
False
Let x(k) = -6*k**2 - 11*k - 7. Let q(s) = s + 1. Let z(i) = -6*q(i) - x(i). Suppose 4 = 4*f, -5*c - 4*f - 19 = -3. Is z(c) a prime number?
False
Let f be (-2)/(-6) - 15/(-9). Let s = -2 + f. Is s*(-1 - 0) - -23 a prime number?
True
Suppose -4245 - 2524 = -7*y. Is y a composite number?
False
Let b be (-8)/5*(-5750)/20. Suppose -2*p + b = 2*p. Is p a prime number?
False
Suppose f = -4, 2*w + 5*f = -w + 1447. Is w composite?
True
Let k(q) = -q**2 - 10*q - 3. Let c be k(-9). Let r(l) = -l**3 + 5*l**2 + 7*l + 8. Is r(c) a composite number?
True
Suppose -835 = 4*o - 9*o. Is o composite?
False
Let r(m) = -m**2 + 2*m - 1. Let d be r(1). Suppose -4*v + 3*g + 19 - 7 = d, -v = 3*g - 18. Let j = 13 + v. Is j a composite number?
False
Suppose 0 = -q - 2*q - 4*n + 1250, -3*q - 2*n + 1246 = 0. Suppose -2*g + 4*t + 1053 = 3*g, -4*t - q = -2*g. Is g composite?
True
Suppose 12530 = 4*y - 2922. Is y a composite number?
False
Suppose -5*y = -0*y + 35. Let t(j) = j**2 + 8*j + 1. Let u be t(-6). Let z = y - u. Is z a prime number?
False
Let w = 17 - 19. Is (-2)/(w*4/844) composite?
False
Let w be (3/(-6))/1*-8. Suppose -12 = -4*f, -w*f + 12 = 3*s - 2*f. Suppose j + s = -3*o, 3*o + 40 = 2*j - 1. Is j composite?
False
Let r(c) = -c**3 - 5*c**2 + 6*c + 9. Let z be r(-6). Suppose -4*h - 785 = -z*h. Is h prime?
True
Let w be 4 - (-2 + 4) - -2. Suppose d + 143 = w*q, -5*q - d + 5*d + 165 = 0. Is q prime?
True
Let c(i) = 44*i**2 - 4*i - 5. Is c(3) composite?
False
Suppose z + k - 25 = -3*z, 3*k - 25 = -2*z. Suppose -395 = z*n + 5. Is ((-6)/(-8))/((-4)/n) a composite number?
True
Let v(n) = n**3 + 9*n**2 + 13. Is v(-9) prime?
True
Let z(v) be the third derivative of v**6/120 - v**5/20 + v**4/12 - v**3/6 - v**2. Is z(4) composite?
False
Suppose -5*x + 170 = i + 38, i - 2*x - 125 = 0. Is i composite?
False
Suppose -102*l + 104*l = 2006. Is l a prime number?
False
Let w(c) = -c + 27 + 2*c + 18 - 10. Is w(0) prime?
False
Is -3 + (-408)/(-1) + -2 prime?
False
Suppose -2*c - 4*g = -770, 5*c + 3*g - 4*g - 1892 = 0. Is c a prime number?
True
Suppose -3*b - 2*o = -24451, -10115 = -2*b - 3*o + 6194. Is b a composite number?
False
Let k = 460 + 1387. Is k a prime number?
True
Suppose 4*k = -5*r - 112 - 62, 2*r + 226 = -5*k. Let o = k + 125. Is o a prime number?
True
Let z = 27 + 10. Is z prime?
True
Let r(z) = -z + 2. Let l be r(0). Let d be 67/((l/(-8))/1). Is (-2)/6 + d/(-3) a prime number?
True
Let p be -4 - -588*(0 + 2). Is (28/(-16))/(-7)*p prime?
True
Let v = -85 + -12. Let g = -4 - v. Is g a composite number?
True
Let n(x) be the second derivative of 4*x**4/3 + x**3/3 - 5*x**2/2 - x. Is n(4) a prime number?
False
Let f(x) = -2*x. Let k be f(-3). Suppose -3*o + k*o = 150. Suppose 0 = 2*i - 0*i - o. Is i prime?
False
Suppose 4*g = -g + 20. Suppose -g = l - 1. Is 3/9 - 56/l a composite number?
False
Suppose -t - 471 = -4*t. Is t prime?
True
Let v(i) = 3*i**3 + 0 + 0*i**3 - 2 + i. Let k be v(2). Suppose 3*u - k = -5*h, 3*u = -4*h - 2*u + 14. Is h a prime numb