k) = 1 + 5*k - 1 + 4*k**3 - 8*k**2. Let j be g(5). Let i = -210 + j. Is i composite?
True
Let z be (5 - (-4)/(-2)) + 296. Is (-10)/45 - z/(-9) composite?
True
Let h = 159 + 6. Suppose 6*f - f = h. Is f a prime number?
False
Let v(q) = 77*q + 2. Is v(1) prime?
True
Let c be (-3 - -2) + -7 + 2. Let s be (-1 + (-8)/c)*0. Suppose -3*r + 12 = 0, s*f + f - 5*r = 11. Is f composite?
False
Let i(f) = 4 + 4 - 2*f**2 - 3 + 5*f**2 - 3*f. Let d = 7 + -12. Is i(d) prime?
False
Let d(s) = -20*s**3 - 3*s**2 + 6*s - 9. Is d(-4) a prime number?
False
Let x(r) = 4*r**2 + 2*r + 1. Let k be x(-1). Suppose k*g = 117 - 0. Is g a composite number?
True
Suppose 2*b + 7628 = 6*b. Is b composite?
False
Suppose -a - 2*a - 24 = 0. Let z(c) = 2*c**2 + 9*c + 9. Is z(a) prime?
False
Let n(d) = d**3 - 5*d**2 + 5*d - 4. Let h be n(4). Suppose -556 = -2*a - h*a. Suppose 5*p = -4*l + 3*p + a, 216 = 3*l + 3*p. Is l prime?
True
Let n = 9 - 7. Suppose 3*m - 4*j = -n*m + 85, 3*j - 37 = -4*m. Is m composite?
False
Let g = 7 + -8. Is (1 + 1 + g)*3 a prime number?
True
Suppose -4*s + 572 = 4*c, c + 0*s = -4*s + 128. Suppose 0*v + 4*v - c = 0. Is v prime?
True
Let o = -1213 - -2108. Is o a prime number?
False
Let i = 29 + 14. Is i a composite number?
False
Suppose 2*v = -7*v + 14193. Is v a composite number?
True
Let r(p) = p + 7. Is r(-4) composite?
False
Let p(w) = w**2 - w + 157. Is p(0) composite?
False
Let u = -6 + 9. Suppose u*x - 1025 = -2*x. Is x prime?
False
Let b(u) = -153*u + 1. Is b(-2) a composite number?
False
Is 2/15 - 18926/(-30) a prime number?
True
Let v(x) = -x**3 + 7*x**2 - 5*x - 3. Let r be v(6). Suppose -i - 2*f + 59 = -0*i, r*i - 193 = -2*f. Is i composite?
False
Let h = 26 - 26. Suppose h = -2*c + 477 + 597. Is c a prime number?
False
Let m = 513 + 181. Is m composite?
True
Let a = 614 + -317. Let c = a + 16. Suppose 3*d = 44 + c. Is d a composite number?
True
Let l be 2*4*(-1)/(-2). Let h = 11 - l. Suppose -w + 24 = -h. Is w composite?
False
Suppose 0 = -y - f + 298, 2*y + 1210 = 6*y - 2*f. Is y a composite number?
True
Let s(q) = -2*q**3 - q**2 - 4*q - 4. Is s(-3) composite?
False
Let f(x) = -3*x - 14. Let v be f(-6). Suppose -50 = v*h - 486. Is h prime?
True
Suppose 3*k - 2*j = 12, 2*k + 2 = -0*k - 2*j. Suppose w - 4*v = k*w, w + 3*v - 1 = 0. Suppose 0 = 3*g - 6*g + 15, 27 = r + w*g. Is r prime?
True
Let i = -5 - 11. Let m = i + 11. Let k = 48 + m. Is k a prime number?
True
Suppose -5 + 3 = 3*s + 4*v, 3*s + v + 5 = 0. Let o be (-2)/(-14)*s*-7. Let y(u) = 28*u - 3. Is y(o) composite?
False
Suppose 0 = -3*l - v + 13, -5*l - 5*v + 29 = -2*l. Let x = -8 - -15. Suppose 2*b = -l*f + 451, -2*b + x*b + 735 = 5*f. Is f composite?
False
Suppose -2*o - 8 = -6*o. Let w(t) = -4*t + 24*t**o - 3 - 23*t**2 - t. Is w(7) prime?
True
Let u(g) = 3*g**3 + 7*g**2 + 4*g + 10. Let k(a) = a**3 - a + 1. Let q(c) = -4*k(c) + u(c). Let m = 9 + -1. Is q(m) a prime number?
False
Let l(v) = -16*v**3 - 11*v**2 - 46*v + 14. Let n(s) = 3*s**3 + 2*s**2 + 9*s - 3. Let j(x) = 2*l(x) + 11*n(x). Is j(4) a composite number?
True
Suppose n + 271 = -3*x + 1463, 0 = -5*x + 5*n + 1980. Let h = -234 + x. Is h prime?
True
Suppose -2*d + 398 = -694. Suppose 2*h - 371 - d = -5*x, 2*h = x - 193. Is x a prime number?
False
Suppose -8*n - 279 = -1967. Is n a prime number?
True
Let u be (-1)/(-3) - (-142)/(-3). Let q be u/4 - (-2)/(-8). Let k = q - -34. Is k prime?
False
Let n be (3 - 0 - 4)*-4. Is 57 + (2 - (n + -2)) a composite number?
True
Let z = -424 + 1046. Is z a prime number?
False
Suppose -2*q + 452 = 2*q. Let l = 168 - q. Is l a prime number?
False
Let w = 6 + 14. Suppose -2*j + 0 = -4*d - w, -5*j = d - 28. Is j a prime number?
False
Let h = -16 - -19. Suppose h*c = -2*c + 445. Is c a prime number?
True
Let n = 11 + -11. Suppose n*g = -2*g + 974. Is g a prime number?
True
Suppose 0 = -4*y - 20, 4*y = 3*i + 196 - 1827. Is i a prime number?
False
Suppose 4*i - 2*v - 6 = -0*v, 2*v - 6 = i. Let y(w) = 9*w - 1. Let u(l) = l. Let c(t) = -4*u(t) + y(t). Is c(i) composite?
False
Let s = -1 - -1. Suppose s*h + 2*h - 560 = -4*p, 0 = 3*p - 2*h - 427. Is p a prime number?
False
Let o(j) = -82*j**3 - 2*j**2 + j. Let q be o(1). Let d = -28 - q. Is d a prime number?
False
Is (2/4)/(6/11028) composite?
False
Let k(b) be the second derivative of -37*b**3/3 + b**2/2 - 2*b. Is k(-2) composite?
False
Let j = 12 - 8. Is 1050/8 + (-1)/j a prime number?
True
Suppose -2*v = 6, d + d - 4*v - 146 = 0. Suppose -j + 0*j + d = 0. Is j prime?
True
Let b be 2/3 - ((-62)/6 - -3). Let m(l) = 24*l - 6 - 6 + 3. Is m(b) composite?
True
Suppose -79*a = -77*a - 1346. Is a a prime number?
True
Let c = -106 + 563. Is c composite?
False
Suppose 2*m + 4*l - 4 = 0, 0*m - 8 = -4*m - 3*l. Is m a prime number?
True
Let x(d) = -177*d**2 - d + 2. Let i be x(1). Let p = i + 429. Is p a composite number?
True
Suppose -441 + 23 = -x + 3*r, 0 = x + 2*r - 413. Suppose -2*h - 3*t + 850 = 0, h - 4*t - x = -3*t. Is h a prime number?
True
Let h(f) = -f**3 + 4*f**2 - 2*f - 2. Let y be h(2). Let c(v) = -7 + 0*v + 2 - y*v. Is c(-6) prime?
True
Suppose y = -4*y. Suppose y = -i - 19 - 19. Let h = -1 - i. Is h a composite number?
False
Let a(y) = -798*y - 1. Is a(-1) a composite number?
False
Is 40788/20 - 8/20 a prime number?
True
Let g(m) = 51*m**2 - 1. Is g(-2) prime?
False
Let w(t) = -10*t + 3. Let f be w(-2). Is f*(-26)/(-6)*3 a composite number?
True
Let l(t) be the first derivative of 2*t**2 - 2 + 1 - t - 4*t**2. Is l(-5) composite?
False
Is 12/(-3) - (-215 + -4) prime?
False
Suppose 4*q - 2*g = -10, 4*q + 0*q - 4*g = 0. Is (-19)/(-1) - (q + 3) a composite number?
True
Let v(b) = -3*b + 4. Let a be v(3). Is (a + 136)/(0 + 1) composite?
False
Suppose 0 = 2*u + 3*l + 6, 4*u - 5*l - 11 + 1 = 0. Suppose u = -2*n - n + 12. Suppose -3*c = -2 - n. Is c a prime number?
True
Is ((-118)/5)/(6/(-15)) composite?
False
Let d = 2 - 0. Suppose -d*b = -4*b + 2*u + 30, 5*b = 2*u + 60. Suppose -2*x - 5*p + 123 = -b*p, -29 = -x - 4*p. Is x composite?
True
Let i be (-1336)/(-16) + (-2)/(-4). Suppose n - i = -3*n. Is n a composite number?
True
Let r = 13 - 13. Suppose 448 = 5*z + 3*y - 6*y, r = -5*y - 5. Is z prime?
True
Suppose -2737 = 2*t - 9*t. Is t a prime number?
False
Let f be 4 + 3/(-3) + -5. Is (-445)/f - 7/(-14) composite?
False
Let d(w) = w. Let g be d(-7). Let v(h) = -h**2 - 9*h + 5. Is v(g) composite?
False
Let d(i) = i**3 - i**2 - i. Let h(r) = 4*r**3 - 12*r**2 + 5*r - 7. Let g(m) = 3*d(m) - h(m). Let y be 1/2*0 + 8. Is g(y) a composite number?
False
Is (-21912)/(-22) + (1 - (-1 + 0)) composite?
True
Let w = 9 + -6. Let c(s) = -s**3 - 7*s**2 - 9*s + 4*s + 0*s**w. Is c(-7) a composite number?
True
Suppose 0 = 4*w - 7*w + 5*j + 136, 3*j = 5*w - 216. Let q(m) = 2*m**2 - m - 1. Let u be q(-4). Let l = w + u. Is l composite?
True
Let v be 104/(-18) - (-4)/(-18). Let n be 3/(((-3)/v)/1). Suppose 2*q - n*q + 596 = 0. Is q a composite number?
False
Suppose 2*q = q. Suppose -15 = -2*n - 3*f - q*f, -2*f = -5*n - 10. Suppose -z + 21 + 14 = n. Is z prime?
False
Let l be 1/(-2)*(-2 - -2). Suppose l*p = -p. Suppose -5*x + 2*c = -9, c - 2 - 1 = p. Is x prime?
True
Let h be 6/33 - (-174)/11. Suppose 14 = 2*f - h. Is f composite?
True
Let p = 16 + -72. Let f = 247 + p. Is f prime?
True
Let u = 20 + 31. Suppose -u = -4*b + 33. Is b composite?
True
Let o = -52 + 91. Let w = 7 + o. Is w prime?
False
Let r(q) = 103*q - 3. Let w be (-1 + 0 + 2)*2. Is r(w) a composite number?
True
Let j = -32 + 50. Is j/63 - 2889/(-7) prime?
False
Let b = -12 + 18. Let m be -9*(-1 + (-40)/b). Let j = m - -50. Is j a composite number?
True
Let v = 1 - 1. Suppose y + 2 = -v. Let u(z) = 11*z**2 - 2*z + 1. Is u(y) a composite number?
True
Is (2 + (-340)/(-8))/(2/4) composite?
False
Suppose 3*y - 4*z + 1 = 0, 2*z + 4 = 12. Let r(b) = 5*b**2 - b - 5. Is r(y) a prime number?
False
Let b = 2083 + -1346. Is b composite?
True
Suppose -3*m - 2*m = 5*b - 30, 3*m - 4*b + 3 = 0. Suppose m*u = u + 254. Is u composite?
False
Suppose 1391 = 5*c - 4314. Is c prime?
False
Let j(o) = -o**2 - 12*o - 7. Let h be j(-7). Suppose v - 3*v = -h. Let u = 20 - v. Is u a composite number?
True
Let b(j) = -j**3 - 7*j**2 - 5*j + 8. Let m be b(-6). Suppose -5*x - m = 3. Is 0 - x*(80 + -1) a composite number?
False
Suppose 3*v + 7