 k**3 - 9*k**2 + 6*k + 17. Let o be p(8). Is (o - 2292/8)*-2 prime?
True
Let r = 2935 - 1999. Suppose 11*y - r = 8*y. Suppose -4*h + y = -452. Is h prime?
True
Let h = -101 - -103. Suppose -1803 = -p - 5*c - 323, h*p = -2*c + 2936. Is p composite?
True
Let m(s) = 48*s - 7. Let v be m(3). Suppose 4*f - 1011 = v. Is f composite?
True
Let x = -3614 - -7225. Is x prime?
False
Let n = 42 + -42. Suppose n = -3*o + 14*o - 11099. Is o a composite number?
False
Let o(k) = 455*k + 3. Let w be o(3). Suppose 2*z = -2*z + w. Suppose -2*x + 104 + z = 0. Is x a prime number?
True
Let j(n) = 7*n**2 + n + 11. Let w = 12 - 17. Is j(w) composite?
False
Let d = 828 + 7313. Is d a composite number?
True
Let j(f) = 4*f**2 + 7*f + 3. Let u(w) = -11*w**2 - 20*w - 8. Let n(i) = -8*j(i) - 3*u(i). Let o be n(-4). Suppose -4*c - 22 + 82 = o. Is c prime?
False
Is (-72590)/(-17) - 2*2/(-4) prime?
True
Suppose -23588 = -5*l + 3*i, -1600 = -2*l + 2*i + 7836. Is l a composite number?
True
Is ((-6421)/(-3))/((-9)/(-54)) a prime number?
False
Let b(p) = -15*p**2 - 11*p + 5. Let y(s) = -15*s**2 - 12*s + 6. Let l(d) = -5*b(d) + 4*y(d). Let t(f) be the first derivative of l(f). Is t(4) composite?
False
Let v(d) = 4*d**2 - 20*d - 89. Is v(-9) composite?
True
Suppose a + 4*f - f = 215, -685 = -3*a - f. Let s be (-2)/(1 - 26/24). Suppose -a = -2*k + s. Is k a prime number?
True
Let u(m) be the third derivative of -25*m**4/24 - m**3/6 + 8*m**2. Is u(-8) a composite number?
False
Suppose 7*r = 2*r + 20, 3*t - 4*r = -10. Suppose 3*v - 8 = t*n - v, -4*v + 28 = 3*n. Suppose 0 = -3*l - 1 + n, 4*y + 3*l - 751 = 0. Is y a composite number?
True
Let q = 6101 + -1212. Is q composite?
False
Let o = -2 + 8. Suppose -6*n + 3*n = -o. Is n/(-6) - (-1278)/27 prime?
True
Suppose 4*f - 3944 = -n + 7*f, f = 1. Is n a composite number?
False
Let d = -5581 + 18714. Is d composite?
True
Suppose 371 = -3*l - 4*v, v = -3*l + 90 - 446. Let i = -30 - l. Is (-6)/((-1)/(i/6)) composite?
True
Suppose 5*j = -4*o + 1609, -2*o + 296 + 510 = 2*j. Let a(g) = g**2 + 6*g + 7. Let z be a(-5). Suppose v - 205 = 4*d, -z*v = -7*d + 3*d - o. Is v a prime number?
False
Let z(d) = -11*d**3 + d**2 - d - 2. Let w be z(-2). Suppose -29 = -30*y + 31. Suppose g = -3*g + 2*u + 190, -2*g - y*u = -w. Is g composite?
False
Suppose p - 5 = 0, -8*p = 2*y - 5*p + 193. Let d = y + 483. Is d a composite number?
False
Let h = -38498 + 58680. Is h a prime number?
False
Let b(l) = -6*l - 58. Let a be b(-10). Suppose 0 = 5*c - 3*c - 3*k - 478, -3*c - a*k + 717 = 0. Is c a prime number?
True
Suppose -5*c - 12 = -c, -4*h + 59 = -c. Let f be 3*2*7/h. Suppose -8*u + 575 = -f*u. Is u a composite number?
True
Let v(x) = -x - 10. Let f be v(4). Let a = -16 - f. Is (5180/40)/(a/(-4)) prime?
False
Is 1639/(((-24)/(-3))/8) a composite number?
True
Suppose 3*d + 4*z + 2 = 3, 0 = 5*z + 10. Suppose 5*i - i - 2*h = 70, -2*i - d*h + 55 = 0. Let l = i + 57. Is l a composite number?
True
Let d(l) be the second derivative of 3*l**5/5 + l**4/4 - l**3/6 - 6*l. Is d(1) a composite number?
True
Suppose 4*w = -0*w. Suppose w = 12*d - 10*d - 720. Suppose l = -f - 110 + d, 5*f = -4*l + 999. Is l a composite number?
False
Suppose v = -3*v. Suppose 3*w - 20 = -w, v = -4*b + 2*w + 2202. Is b a composite number?
True
Let j(m) be the first derivative of -m**4/4 - 2*m**3/3 - 7*m**2/2 - 5*m + 2. Suppose -2*s - 4 = -s. Is j(s) a prime number?
False
Suppose -57 = 4*h + 171. Let x = h + 18. Is ((-148)/12)/(1/x) composite?
True
Let z be (-1 - -2)/(-2)*8. Is -6 + 6 + z - -331 a prime number?
False
Suppose -5*h - 221 = -0*y + 3*y, -h - 35 = -4*y. Is -4 + h/(-2)*(3 - -7) composite?
False
Let r(n) = -n**3 - 11*n**2 + 11*n - 4. Suppose m + 3*u = 3, u = -m + 6*u - 37. Let x be r(m). Is (-2)/x + (-788)/(-16) a prime number?
False
Let p = -735 + 1576. Is p prime?
False
Suppose 2143 + 5733 = 4*i. Is i prime?
False
Suppose a + 2*s = -3*a, 5*a = 3*s. Suppose 4*x + 3*f = 1331, x + 2*f - f - 334 = a. Is x prime?
False
Let j be ((-4)/1)/(-4) - -2. Suppose l = -3*u - l + 159, 106 = 2*u + j*l. Is u composite?
False
Let h(x) = 1204*x**3 + x. Let i(g) = 3*g + 5. Let j be i(-2). Let s be h(j). Let l = -758 - s. Is l a composite number?
True
Let h(p) = p**2 - 4*p + 2. Let r(g) = -g**2 + 5*g + 8. Let x be r(6). Let u be h(x). Is -2*(-1)/u*-863 prime?
True
Suppose -m + 4 = -0*m. Suppose m*h - 3662 = -2*c, 2*c + 917 = h - 6. Is h a composite number?
True
Let x(o) be the third derivative of o**4/8 + 2*o**3/3 - 2*o**2. Suppose 5*g - 12*g = -70. Is x(g) composite?
True
Let j = -33 - -21. Let r be ((-8)/j*6)/2. Is -2*r/(-4) + 88 composite?
False
Let y be (-1)/(-2) + (-201)/2. Let l = -259 - y. Let w = l - -250. Is w a composite number?
True
Let b = 0 - 0. Let m be b + 5/(10/438). Suppose -155 = -2*p + m. Is p prime?
False
Let l(j) = -10192*j**3 - 4*j**2 + 23*j + 50. Is l(-3) a prime number?
True
Let s = 1 + 2. Suppose -s*d + 131 + 106 = 0. Is d a prime number?
True
Let b = -45 - -52. Suppose -p + 297 = -2*x, -2*p - 5*x - 1490 = -b*p. Is p prime?
False
Let h = -24740 + 38107. Is h composite?
False
Let i(w) = w**3 + 18*w**2 - 5*w - 33. Suppose 2*n = h - 37, -92 = -0*n + 5*n - 2*h. Is i(n) prime?
False
Let g(t) = t**3 - 10*t**2 + 15*t + 8. Let i = -39 + 48. Is g(i) a composite number?
True
Suppose 3*u + 39413 + 107682 = g, -294154 = -2*g - 3*u. Is g composite?
False
Let f(m) = -20 + m - 18*m + 1. Is f(-6) a composite number?
False
Let l(v) = 43*v**2 + 9*v + 13. Is l(-5) composite?
True
Let f = -5 - -7. Suppose 1066 = 2*x + 4*u - f*u, u + 1603 = 3*x. Suppose x = 8*b - 2*b. Is b composite?
False
Suppose -2*x = 4*a - x - 470, 0 = -2*a + 4*x + 244. Let y = 25 + a. Is y a composite number?
True
Suppose j = 4*i - 3, 4*i - i - 3 = j. Is 318 - (-2 + 4 + j) a prime number?
False
Let t(j) be the second derivative of 143*j**3/3 - 35*j**2/2 - 17*j. Is t(7) composite?
True
Suppose 3*y + 4*j = -17, 0 = 2*y - 6*y - 5*j - 21. Let u(a) = 1 - 122*a + y - 17*a. Is u(-3) a prime number?
True
Suppose -2*y = -22526 + 7564. Is y prime?
True
Let p be 8 - (12/4 + -1). Suppose 2*k + p = -j + 20, k + 3*j - 17 = 0. Is (-37)/(-1) + k + -5 a composite number?
False
Let j(d) = 7*d**2 + 10*d - 7. Suppose 2*p - 6 = -2. Suppose p*c - 4*z = c + 16, 2*z - 36 = -5*c. Is j(c) prime?
True
Let m(j) = -j**2 + 16*j + 21. Let l be m(17). Suppose 869 = l*w + 153. Is w prime?
True
Let v(n) = 0*n**3 + n**3 + 0*n + 0 + 2*n - 8 - 6*n**2. Let z be v(6). Suppose 798 = z*a - i - 610, 0 = 4*i - 16. Is a a composite number?
False
Suppose 0 = -31*i + 42*i - 225247. Is i composite?
False
Suppose -4*q = 1 + 3. Let g be (2 - q)*1416/12. Suppose -j + 113 = -g. Is j prime?
True
Suppose 0 = -y - 3*f + 4, 3*y + f - 26 = -f. Suppose 447 = y*b - 7*b. Is b composite?
False
Let r(k) = k**3 + 5*k**2 - 7*k - 1. Let q be r(-6). Suppose -7813 = -q*i + 2*u - 4*u, 4*i = u + 6240. Is i composite?
True
Is 4721/1 - 0/(-5 + 2) prime?
True
Suppose -2*v = 2*l - 2, 4*l + 21 = 2*v + 1. Suppose v*d - 3155 = -d. Is d prime?
True
Suppose 3*c + 3*v - 1412 - 40 = 0, -4*v - 950 = -2*c. Suppose m = 574 - 200. Suppose -4*x + 0*h + 2*h + m = 0, -2*h = 5*x - c. Is x a prime number?
False
Let n(c) = -2*c - 31. Let f be n(-17). Suppose 2*b = f*j - 3643, -j - 3*j + b = -4854. Is j composite?
False
Suppose -25*h + 117872 + 175153 = 0. Is h a composite number?
True
Let g(h) = -h - 9. Let c be g(-6). Let a be c - -7*18/3. Suppose -a - 67 = -2*j. Is j composite?
False
Suppose 4*s - 17 = -9. Suppose 4 = -s*n + 2, 0 = -5*c + 5*n + 6060. Is c a composite number?
True
Suppose 0 = -8*w - 3484 + 35268. Is w prime?
False
Suppose v + m - 4726 = 0, 5*v - 10*m + 6*m - 23585 = 0. Is v a composite number?
False
Suppose 48*a - 36031 - 372017 = 0. Is a a prime number?
True
Let w(q) = -4*q**2 + 3 + 5*q**2 + 10 + 19. Let c be w(0). Suppose 0 = -5*h - 2*r + 169, 0*h = h + r - c. Is h a prime number?
False
Suppose 2*c + 3*c - 16 = 4*w, -c + 41 = -5*w. Let f(k) = 5*k**2 - 6*k + 10. Is f(w) prime?
False
Let j be 18/45 + 4/(-10). Suppose j = -d - 4*b - 348, 0 = -8*d + 3*d + 4*b - 1716. Let q = -57 - d. Is q prime?
False
Suppose -5 = 3*l - 17. Suppose -l*c - 1 = -21. Suppose -i = -c, -i + 33 = 2*v - 402. Is v prime?
False
Suppose -4*d + 10422 + 5910 = 0. Is d composite?
True
Let h(j) = -5*j**2 - 32 + 10*j + 6*j + 13 - 