et u be 1/((-2)/(1 + -43)). Let p be 1 + -1 + 8*u. Suppose -17 = -5*l + p. Is l prime?
True
Let p(t) = -t**3 + 17*t**2 - 8*t + 5. Is p(12) composite?
True
Suppose -2*l + 314 - 60 = 0. Is l a prime number?
True
Let p be ((1 - 2) + 1)/(-2). Suppose p = g - 3. Suppose -5*r - g*j + 2*j = -247, 53 = r + 2*j. Is r a prime number?
False
Let z(i) be the third derivative of 1/24*i**4 + 0*i + 1/6*i**3 + 0 + 1/6*i**5 + i**2. Is z(-1) a prime number?
False
Suppose 5*i - 5*b = 245, 0 = i + 5*b + 44 - 117. Is i composite?
False
Suppose -12 = -5*u + 8. Let s(y) = 23*y - 7. Is s(u) a composite number?
True
Suppose 3*f - 4*b = 2033, 2*b + b = -4*f + 2719. Is f prime?
False
Let n(s) = 55*s**3 + s - 1. Let q = 8 + -7. Is n(q) prime?
False
Let x(m) be the third derivative of m**6/120 + m**5/30 + m**4/6 - 2*m**3/3 + 4*m**2. Let l(s) = s**2 - s + 3. Let h be l(0). Is x(h) composite?
False
Let w(o) = 49*o**2 - 2*o - 1. Is w(2) composite?
False
Let v be 2*3/(-6) - 2. Let r be 73/3 - 2/v. Suppose 0 = -5*h + 120 - r. Is h prime?
True
Let l(g) = -5*g + 7. Let k(w) = -4*w + 8. Let r(d) = 5*k(d) - 6*l(d). Let f be r(-6). Let v = 93 + f. Is v a prime number?
True
Let v be (22/3)/((-2)/(-3)). Let p = -14 - v. Is (2 + p)*(-3 - -2) prime?
True
Suppose -3*b + 3 + 12 = 0. Suppose 10*p - b*p - 185 = 0. Is p composite?
False
Suppose -4*i - 2*h = -26, -2*i + h = 3*i - 15. Is (422/(-8))/(i/(-16)) prime?
True
Let z be 0*4/8*-1. Suppose z = -h - 4*h + 455. Is h composite?
True
Suppose -h = -y + 2*y + 3, -3*h + 4*y + 5 = 0. Let l(w) = w**3 - 7*w**2. Let f be l(3). Is h - (f + (-1)/(-1)) a prime number?
False
Suppose -i + 0*i = 27. Let w be (-4)/(-18) - (-222)/i. Is w/(-28) + 159/7 a composite number?
False
Let f(w) = 232*w - 35. Is f(9) a composite number?
False
Let s(q) = q**2 - 2*q + 4. Let h(c) = c**3 - 4*c**2 + 3*c + 3. Let i be h(3). Let j be s(i). Let u(n) = -n**3 + 9*n**2 - 10*n - 2. Is u(j) composite?
True
Let a be (-1 + -1)/(4/(-18)). Suppose -z + 5*z = 5*h - 50, 50 = 5*h + 2*z. Let l = h + a. Is l prime?
True
Let o = 2293 + -920. Is o a composite number?
False
Is ((-514)/8)/(68/(-16) - -4) a composite number?
False
Suppose 2 - 3 = a + 2*v, -4*a = v + 4. Is (a/(-3))/((-1)/(-165)) a composite number?
True
Suppose -2*v + 124 = -v - 3*r, 5*r = 25. Is v a prime number?
True
Suppose 2*z + 4*x - 6 = 0, 4*z + 19 = -x + 59. Suppose -223 = z*q - 12*q. Is q a prime number?
True
Let f(o) be the third derivative of o**5/60 - o**4/8 - 2*o**3/3 + 4*o**2. Is f(5) prime?
False
Suppose -3*m + 1127 = -0*i + i, 3*m + 2218 = 2*i. Is i composite?
True
Let j(l) be the second derivative of 1/20*l**5 + 0 + 1/2*l**2 - 1/6*l**4 - 2*l + 1/2*l**3. Is j(3) a prime number?
True
Let g be 9/(-2)*6/(-9). Let n(l) = 2*l**3 - l**2 + l - 1. Let d(x) = -2*x**3 + x**2 - 2*x + 2. Let h(m) = 4*d(m) + 5*n(m). Is h(g) prime?
False
Suppose 0*x + 5*b = -3*x + 245, -4*x + 350 = -5*b. Is x a composite number?
True
Let i be 82/(-3 + 1) - -1. Let g = -9 + 4. Let n = g - i. Is n a prime number?
False
Suppose 3*z - 2254 = -4*y + 5*z, 1692 = 3*y - z. Is y a prime number?
False
Let g = -595 - -1124. Is g composite?
True
Suppose -5*h + 3*d + 3 = 0, d = 4 - 0. Suppose -4*p + 28 = 2*l - 4*l, -h*p - l = -16. Let b(j) = 11*j - 9. Is b(p) a composite number?
True
Suppose 6 = 2*t - 4. Suppose -84 = t*w - 269. Is w prime?
True
Let p(a) = -207*a + 10. Is p(-3) prime?
True
Suppose -5*z + 34 = 2*a, -3*z + 4*a = -7 - 3. Let r(v) = -v**3 - 1. Let s(q) = -7*q**3 - 5*q**2 - q - 1. Let c(k) = z*r(k) - s(k). Is c(-4) a composite number?
False
Suppose -3*h - 19 = -5*w, -3*w + 7 = -2*h - 2*h. Let p be (1 + 27/2)*2. Let y = w + p. Is y a composite number?
True
Let s be 7 - 1 - (4 - 2). Suppose s*h = h. Suppose -4*t - t + 115 = h. Is t a prime number?
True
Suppose 0 = -2*l - 3*l + 565. Is l a prime number?
True
Suppose -4*h - 4*p + 0*p + 1496 = 0, 2*h - 2*p - 736 = 0. Is h composite?
True
Let k be -2 + 130 + -3 + 2. Suppose x = k + 7. Is x prime?
False
Let r(b) = 12*b + 7. Let f = 5 + 1. Is r(f) prime?
True
Let n(u) be the second derivative of -2*u**2 + 0 + 2/3*u**3 + 3*u + 1/4*u**4. Is n(5) prime?
False
Let v(d) = -756*d - 1. Is v(-2) a prime number?
True
Suppose d + 20 = 5*d. Let i(a) = 11*a**2 - 2*a + 2. Is i(d) composite?
True
Let z = 1 - 1. Suppose 0 = 3*f - 5*b - 4, -b + z*b - 2 = 0. Is (70/(-4))/(1/f) a prime number?
False
Is 4/(-24) - (-25790)/12 composite?
True
Suppose 0*c - 5*c - 5054 = -4*f, 4*f + 5*c - 5034 = 0. Is f a composite number?
True
Let q(b) = -b**3 - 2*b**2 - b - 1. Let j be q(-1). Is 32/4 - j*3 prime?
True
Suppose 5*v + 3*g - 6 = 0, 2*v - 6*v = -g - 15. Suppose -a - 2*h = -0*a - 97, h = -v*a + 281. Is a composite?
True
Let n be (-16)/(-5) - (-1)/(-5). Let p be 266/8 + n/(-12). Suppose -c + 2*z + p = -3*z, -5*c + 107 = 4*z. Is c a composite number?
False
Let i be (-2)/(-8) - 233/4. Suppose 372 = -18*f + 14*f. Let g = i - f. Is g a composite number?
True
Suppose 2*i = -3*i + 280. Let y be (-2)/(-5) + i/10. Is y + -1 + 6/3 composite?
False
Let s = -2 + 6. Let t = 314 + -166. Suppose -3*i + 84 = -i + 3*u, -4*i + s*u + t = 0. Is i a composite number?
True
Let y(r) = 3 - 10*r - 2 - r**2 + 12. Is y(-9) prime?
False
Suppose -3*j = -7*j + 1636. Is j a composite number?
False
Suppose -5*o + 3*c - c = 26, 5*o = -5*c - 5. Is ((-1299)/12 + -4)*o composite?
False
Let a = 298 + -141. Is a composite?
False
Let j(w) = w**2 - 3*w + 4. Let h(n) = n - 3. Let d be h(6). Let p be j(d). Suppose -p*a + 157 + 207 = 0. Is a a prime number?
False
Let r be 1*8 + (-2 - -1). Suppose 2*k + 1360 = r*k. Suppose -2*g - 2*b + 168 = 0, 4*b + k = 3*g + 3*b. Is g a composite number?
False
Let r(a) = 5*a**2 - 13*a - 20. Is r(14) a prime number?
False
Suppose 0 = 3*s - 2*j + 4, -12 = 3*s - 5*j - 2. Suppose 4*d + d = s. Suppose d = -q - 0*q + 127. Is q composite?
False
Let r(t) be the first derivative of -39*t**4/4 + t**3 + t**2 - t + 1. Is r(-2) composite?
True
Let z be (-2)/((-8)/(-2))*-4. Suppose z*q = -o + 33, 4*q = -2*o - q + 67. Is o a composite number?
False
Suppose -l - 5 = 0, 0 = -2*d - 2*d + 3*l + 35. Let s be (-18)/(-2) + (-3)/(-3). Is (-6)/s + 218/d prime?
True
Let j be (-2)/(-1) + (-1)/(-1). Suppose -2*s + 147 = -j*k + 712, -2*k - s + 386 = 0. Is k composite?
False
Let a be (3/3 + 284)*-1. Let g = a - -508. Is g prime?
True
Let f(q) = -2*q**3 - 4*q**2 + 3*q. Let v(l) = 0*l - 6*l + 7*l**2 + 4*l - 3*l + 5*l**3. Let b(t) = 7*f(t) + 4*v(t). Is b(1) a prime number?
True
Let s(h) = 6*h - 5. Suppose 3*g + 2*x = 10, -5*g = -4*g + 4*x. Is s(g) composite?
False
Let y be 2/(-1)*(-220)/8. Suppose -3*g + y = -56. Is g composite?
False
Is (-3)/4 - 439/(-4) composite?
False
Let g(v) = -39*v**3 - v**2. Let m be g(-3). Let o = m + -721. Is o prime?
False
Let r = 10 - 6. Suppose 0 = -r*o + o + a + 40, 0 = 4*o - 4*a - 48. Is o prime?
False
Let b(x) = x - 16. Let m be b(12). Is (m/(-6))/(10/135) a prime number?
False
Let m(n) = n**3 - 2*n**2 + 2*n + 2. Let a be m(2). Let j(k) = 3*k**2 - 12*k + 1. Is j(a) composite?
False
Suppose 4*p - 6*g - 8 = -2*g, -g - 2 = 5*p. Let z be (4/(-16))/(2/(-8)). Is (-16 + (z - p))/(-1) prime?
False
Let u(z) = -z**3 + 10*z**2 + 4. Let v = 18 - 8. Let b be u(v). Suppose b*t + 415 = 9*t. Is t composite?
False
Let o = -324 + 1111. Is o a prime number?
True
Let s(o) = 2*o**3 - o**2 - 2*o + 8. Is s(7) a prime number?
True
Let u(c) = 7*c - 40. Is u(18) a composite number?
True
Suppose 4*n = -2*x - 0 + 8, -4 = -2*n. Let a(g) = -g**2 + 3. Let c be a(x). Suppose c*k - 88 = 170. Is k a prime number?
False
Suppose -3*q - 4*q = -8519. Is q a prime number?
True
Let k(v) = -v**3 + 14*v**2 + 5*v + 11. Is k(-12) a composite number?
True
Suppose 0*g + 5*g - 155 = 0. Is g a prime number?
True
Let i(y) = 4*y - 3. Let q = 1 + -2. Let p(v) = 5*v**2 - 1. Let a be p(q). Is i(a) a prime number?
True
Let u(y) = 2*y - 14. Let m be u(10). Suppose m*k - k = 1465. Is k a composite number?
False
Is 3*(140/15 - -2) a composite number?
True
Let o(m) = -12*m + 1. Suppose -2*f = 3*f. Suppose f*x + 36 = -4*x. Is o(x) composite?
False
Let h = -322 + 548. Is h a composite number?
True
Let f(r) = r**3 + 9*r**2 - 13*r + 9. Is f(-10) a composite number?
True
Let u = 564 + -233. Is u prime?
True
Is (942/(-8) - -1)*(-8)/2 composite?
False
Suppose -h = -5*t + 61, -2*t + 21 = -h +