2*u**2 + 17*u - 1. Is r(-6) a prime number?
True
Let m(f) = 2*f**3 - 29*f**2 - 12*f + 10. Let w = 4 + -11. Let h(k) = k**3 - 14*k**2 - 6*k + 5. Let y(d) = w*h(d) + 3*m(d). Is y(6) a composite number?
False
Let v = -85 - -181. Suppose v = 3*p + p. Is p - (1 - 0) - 2 composite?
True
Suppose 0*j + 6 = 2*j. Let o(z) = 77*z - 1. Let v be o(j). Suppose v = 4*f + f. Is f prime?
False
Suppose -5 = b - 2*b. Let s = 7 + b. Let c = 2 + s. Is c a prime number?
False
Is 2/(-2*(1034/518 - 2)) prime?
False
Suppose b - 2437 = -j, j + 2*b = -3*b + 2437. Is j a prime number?
True
Is (-2)/(632/318 - (3 - 1)) composite?
True
Let z(j) = 0*j**2 - 7*j - 4*j**2 + 2 + j**2. Let b be z(-5). Let k = -23 - b. Is k a composite number?
True
Suppose -2*o - 47 + 411 = 0. Suppose -2*v + o = -420. Is v composite?
True
Suppose -442 = 2*c - 4*c. Suppose -5*i = -434 - c. Is i composite?
False
Let d(r) = r**3 - 5*r**2 - 2*r - 3. Let q be d(6). Let v = 10 + q. Is v a composite number?
False
Let q(h) = 2*h**2 + 2*h + 3. Let z be q(-6). Suppose 8 - z = -c. Is c a composite number?
True
Let t = 10 - 10. Let q(n) = n + 8. Let j be q(t). Let k(d) = d**2 - 6*d - 9. Is k(j) a composite number?
False
Suppose 5*n + 24 = -16. Let u = 15 + n. Is u prime?
True
Suppose -5*o - l = -710, 0 = 5*o - 3*l - 660 - 30. Is o a prime number?
False
Let o(i) = 11*i - 1. Let r be o(3). Suppose z = r + 20. Suppose -2*a = 5*m - 53, 4*m = 3*a - z - 62. Is a prime?
False
Suppose 2*c = -3 + 13. Suppose 5*l - 13 = -2*f + 3*f, c = 4*l + f. Is (-2)/(l/(-255)*3) a prime number?
False
Let x(g) = 3*g - 1. Let z be x(1). Suppose -1 = r - z. Let j(n) = 113*n. Is j(r) a composite number?
False
Suppose 5*s = 7*s + 6, s + 276 = 3*l. Let a = l - 14. Is a a composite number?
True
Let k = 26 - -19. Suppose -i = -4*s - 2*i + 45, -3*i - k = -3*s. Is (6/s)/(2/124) a composite number?
False
Let w = -7 + -7. Is ((-58)/4)/1*w a composite number?
True
Suppose 0 = -8*n + 3*n. Let x(h) = -h**3 + 2*h + n*h + 4*h**3 + 1 - 23*h**3. Is x(-1) a composite number?
False
Suppose -10 = 5*b, 3*u + 5*b - 476 = -39. Is u prime?
True
Suppose y - 4 = -0*y. Suppose -5*z + 51 = 4*u, y*z - 36 = -0*z - 2*u. Is z a prime number?
True
Let j(x) = -25*x + 9. Let n be j(-11). Let q = n + -157. Is q composite?
False
Let t = 1626 + -971. Is t a prime number?
False
Suppose x + 3*g + 0 = -8, 5*g = -5*x. Suppose 0 + 24 = -x*r. Is (28/r)/(6/(-27)) prime?
False
Suppose -6*f + 5823 = 3*f. Is f composite?
False
Suppose 0 = -5*t + 606 - 211. Is t a composite number?
False
Let r be 0/(1/(-3)*-3). Suppose 3*t + r + 12 = 0. Is (-210)/t - 12/8 prime?
False
Suppose 8*v - 1913 - 223 = 0. Is v composite?
True
Suppose 0 = 84*y - 89*y + 4865. Is y a prime number?
False
Let y(k) = 2*k**2 - 3*k + 2. Is y(-9) composite?
False
Let k be 54/10 + (-8)/20. Suppose -k*a + 82 + 33 = 0. Is a a composite number?
False
Let g(c) = -c + 7. Let a be g(7). Suppose -2*u = 3*r + 7, a*u + 2 = -u. Is r + -1 + 18/2 composite?
False
Let v be ((-2)/(-4))/((-1)/(-2)). Let z(n) = 1 - 2*n**2 + 2*n - 2 + 35*n**2. Is z(v) composite?
True
Let q be 2/5 - 84/10. Let n(y) = -y**3 - 4*y**2 + 9*y + 1. Is n(q) prime?
False
Let a = 67 - -624. Is a composite?
False
Suppose -z + 53 = -0*z. Let a = z + 252. Is a a composite number?
True
Suppose 5*h - 2495 = -0*h. Suppose 6*l = 3*a + 2*l - h, -640 = -4*a - l. Is a a composite number?
True
Let w be (-15)/6*(-1 + 7). Let v be 5 + -4 + w + 0. Is v*(0 + 33/(-6)) a prime number?
False
Let o be 357/4 - 2/8. Let n be 8 - (1 - -1) - 1. Suppose 4*b - o = -n. Is b prime?
False
Suppose 2*z + 1192 = 5*o, -1797 = 4*z - z - 3*o. Let x = -344 - z. Is x a composite number?
False
Let b(w) = 3*w**2 - 5*w + 319. Is b(0) prime?
False
Let u(p) = 11*p. Let v be (-4)/1*1/2. Let s be u(v). Is (s/3)/((-4)/12) a composite number?
True
Let j(a) = -a**2 - 6*a + 2. Let p be j(-6). Suppose -103 = -o + p*n + 24, -4*o + 516 = -4*n. Is o composite?
False
Let v be 4/14 + (-76)/(-28). Suppose -85 = v*x - 442. Is x prime?
False
Let n(l) = 15*l - 4. Is n(11) composite?
True
Suppose -2*i - 178 = -4*n, 5*n = -0*n + 4*i + 215. Is n a prime number?
True
Let q(a) = -4*a - 2. Let u be q(-2). Let i(d) = d**3 + 3*d**2 - 3*d + 4. Let t be i(-3). Let v = u + t. Is v prime?
True
Let z = 12 - 9. Suppose -z*s + 70 = -602. Let j = s - -245. Is j a composite number?
True
Let p(n) = n**3 - 7*n**2 + 9*n - 1. Let i be p(6). Suppose 0 = m + 4*r - 26, m + r - i = -6. Let j = 71 - m. Is j composite?
True
Suppose -2*o = -3*o - 2. Let m(s) = -s - 1 - s - 8*s. Is m(o) a composite number?
False
Let g be (1 - 0)*(-2 - 5). Let d = g + 448. Suppose -267 = -5*v - 2*t, -5*v + d = 3*t + 178. Is v a prime number?
False
Let f = -63 + 37. Let p = 95 + f. Is p composite?
True
Let o(p) = -p**3 - 11*p**2 + p + 13. Let y be o(-11). Suppose 0 = -y*k + k + 19. Is k a prime number?
True
Suppose 4*j = -3*k + 6*k + 8, 4*j - 8 = -3*k. Suppose -2*g + 18 = j*l + 6, 5*g - 26 = -3*l. Let f(a) = -a**3 + 6*a**2 - 2*a - 2. Is f(g) prime?
False
Let b = -9 + 9. Let z = 3 - b. Suppose -z*p + 2*o + 140 = 39, -128 = -4*p + o. Is p a composite number?
False
Let p(o) = 57*o**3 - 4*o**2 + 2*o + 2. Is p(3) prime?
True
Suppose -3*m = -2*i - 13, 24 = 8*m - 4*m - 4*i. Let q(k) = 4 + m - 2*k + 6*k. Is q(7) a prime number?
False
Suppose -2200 = -i - 4*i. Suppose 5*j - 195 = i. Is j a composite number?
False
Suppose -i = -4*l - 22, 25 = -l - 4*l. Suppose -3*k - i*k = -30. Is k prime?
False
Let q = -12 - -18. Suppose -955 = q*r - 11*r. Is r a prime number?
True
Suppose -4*i = 96 + 752. Let j = 27 - i. Is j prime?
True
Let v(n) be the third derivative of -n**8/3360 + n**7/630 + n**5/120 + n**4/24 + n**2. Let h(s) be the second derivative of v(s). Is h(-3) a composite number?
True
Let q be (-1 - -63)/(-2)*-1. Let c = 114 - q. Is c a composite number?
False
Let g = 51 - 48. Is g prime?
True
Is (-4476)/(-15) - 15/(-25) composite?
True
Is ((1 - -2) + -229)/(-1) a composite number?
True
Is (2 - 3)/(-1)*(216 + 2) composite?
True
Let o = 1176 - 702. Let b = o + -203. Is b a prime number?
True
Suppose 0 = 10*v - 6*v - 6556. Is v composite?
True
Let b(l) = -228*l**3 - 6*l**2 - 4*l - 7. Let d(x) = 227*x**3 + 5*x**2 + 3*x + 6. Let v(j) = 5*b(j) + 6*d(j). Is v(1) a prime number?
False
Let h = 4 + -2. Suppose b + 87 = h*b. Is b prime?
False
Suppose 11*n = 6*n. Suppose -4*o + 3680 + 2708 = n. Is o prime?
True
Suppose -3*h - 10 = -271. Is h prime?
False
Let i(z) = 539*z**2 + 7*z + 13. Is i(-2) a composite number?
True
Let a = 229 - 72. Is a composite?
False
Let m be (0/(-1))/2 - -3. Let v be -1 + (57 - 0/(-2)). Suppose -w = m*w - v. Is w a composite number?
True
Suppose 0 = -r + 4, 0 = 2*f - 2*r + 190 - 1992. Is f prime?
False
Let r = -2 + 4. Let s = 7 - r. Suppose s*n + 0*n - 110 = 0. Is n a composite number?
True
Suppose 3*i + 15 = -2*i. Is 79/(i/(-3 - 0)) a prime number?
True
Let o(v) = -8*v + 6*v**2 + 8*v**3 - 6*v**2 + 1 + 8*v**2 - 7*v**3. Is o(-6) a prime number?
False
Suppose -6*h + h + 3395 = 0. Is h prime?
False
Suppose a - 333 = 2238. Is a a prime number?
False
Suppose -f - 3*f = 0. Suppose f = -5*h + 13 - 3. Is ((-93)/6)/(h/(-4)) a prime number?
True
Suppose 3*y - 35 = -2*y. Let i(j) = y - 3 - 3 + 33*j. Is i(2) a prime number?
True
Let y be 6/(((-3)/(-3))/28). Let p = y - 85. Is p a composite number?
False
Let a(j) = 2*j. Let g be a(-1). Let z = 2 + g. Suppose z = s + 2, -t = -5*t + 5*s + 318. Is t prime?
False
Let u = 72 + -35. Is u a prime number?
True
Suppose 22 - 6 = 2*r. Let a = r - 4. Suppose i - 95 = -a*i. Is i a composite number?
False
Let s(v) be the second derivative of 3*v**5/20 - 2*v**4/3 - 5*v**3/6 + 7*v**2/2 - 2*v. Is s(6) a composite number?
False
Let f = 260 + 135. Is f a prime number?
False
Let a(p) = 6*p**2 - 5*p + 4. Let z be (1/3)/(4/36). Is a(z) a composite number?
False
Let v(o) = -o**3 - 10*o**2 - o - 7. Let a be v(-10). Suppose 0*m - 1048 = -5*b + a*m, -3*b = 5*m - 622. Is b prime?
False
Let o be 2/5 + (-36)/(-10). Suppose 0 = -o*b + 1552 + 532. Is b a composite number?
False
Let b(a) be the second derivative of 2*a**7/315 + a**6/240 + a**5/120 - a**4/6 - a. Let r(j) be the third derivative of b(j). Is r(-2) a prime number?
True
Suppose -2*v = -3*q - 3*v, 0 = 5*q + 3*v. Suppose q = -5*c + 2316 - 461. Is c prime?
False
Is 8/2 - 2 - 13*-45 a compo