 composite?
False
Let f be 2 + 0 + 2*-1. Let n = f + 4. Suppose 2*k = o - 91, 5*o - n*k = -77 + 508. Is o prime?
True
Suppose 13*o - 6*o - 42567 = 0. Is o a prime number?
False
Let n(y) = 1062*y + 35. Let r(j) = -354*j - 12. Let d(p) = -2*n(p) - 7*r(p). Is d(8) a composite number?
True
Let t(m) = -11 - 3 + 5 - 22*m. Is t(-7) prime?
False
Suppose 103 - 143 = -4*d. Suppose 0 = -d*q + 8*q + 74. Is q prime?
True
Let d(t) = 179*t**2 - 16*t - 60. Is d(-9) a composite number?
True
Let s(q) = -7 - 2*q + 4*q**2 + q**3 + 2*q**2 + 5*q. Let a be s(8). Let c = 1286 - a. Is c composite?
False
Suppose -4*t - g = -110, 2 = -t - 2*g + 33. Let m = 139 - 127. Let j = t - m. Is j prime?
False
Let y(f) = 19*f + 7*f + 4*f - 6*f - 17. Is y(6) composite?
False
Let n be 1/2*(-2 - -5 - 3). Suppose n = 4*a + 2*x - 3686, x = 2 + 3. Is a a composite number?
False
Let i be 48/22 - (-4)/(-22). Is (i/10)/(1/895) a prime number?
True
Let q(g) = -9*g + 3. Let j(o) = 1. Let k(w) = 3*j(w) - q(w). Let s be k(1). Let x = 16 + s. Is x composite?
True
Let g(x) = -278*x**3 - x**2 - x + 1. Let w be g(-2). Let u = -1582 + w. Is u prime?
True
Let d(y) = -y**3 - 2*y - 1. Suppose -2*o = -0 - 8. Let u be 1 + 0 + o + -7. Is d(u) a composite number?
False
Let g(h) = -h**2 + 3*h + 70. Let c be g(0). Let i(n) = n**2 - 237. Let v be i(0). Let a = c - v. Is a a prime number?
True
Suppose 5*c - 3*c = -3*d + 6483, 5*c = -3*d + 6492. Is d composite?
True
Let t(q) be the third derivative of -q**6/120 + q**5/5 + q**4/2 + 7*q**3/6 - 20*q**2. Is t(6) a prime number?
False
Let l(p) = 4*p**3 + p**2 + 3. Let q be l(-5). Let s = q + 1175. Is s a composite number?
True
Let m be 4/12*(4 + 2). Suppose -3 = m*x + x. Is (2*1)/(x/(-41)) a prime number?
False
Let m(u) = 204*u**3 + u**2 + 2*u - 2. Let f be (-2)/(-6) + 10/15. Let h be m(f). Suppose -6*g + 5*g = -h. Is g composite?
True
Let m(s) = 3*s**2 + 5*s + 1. Let x be m(-3). Suppose 0 = 8*b - x*b. Suppose 2*d - 40 - 6 = b. Is d prime?
True
Let l = -34661 - -54822. Is l a composite number?
False
Let n(w) = -362*w + 133. Is n(-5) a composite number?
True
Let g(w) = 1866*w**2 - w + 2. Let u(r) = r**3 - 9*r**2 - 8*r - 19. Let q be u(10). Is g(q) prime?
True
Suppose 3*n - 5207 = -x + 2283, -4*x + 3*n + 29915 = 0. Is x composite?
False
Suppose 5*g = 14 - 4, -5*j = -5*g - 32520. Suppose -j - 8264 = -10*f. Is f a prime number?
False
Let h(x) = x + 11. Let q be h(-6). Suppose -376 - 109 = -q*u. Is u prime?
True
Suppose 2*j + 10 = j. Let o(g) = -3*g**3 - 11*g**2 + 5*g - 10. Let b be o(j). Suppose b = 5*t + 2*q + 3*q, -3*t + 3*q = -1122. Is t composite?
True
Let i = -2386 + 6503. Is i a prime number?
False
Suppose p + 4*p - 10 = 0. Let n = 1 + p. Suppose -n*q = 247 - 2908. Is q composite?
False
Let x = 181 - 103. Let v(i) = -i**3 - 6*i**2 + 10*i - 8. Let b be v(-8). Let r = x + b. Is r a composite number?
True
Let x(p) = 4*p**2 - 10*p - 13. Let b = -2 - -10. Is x(b) prime?
True
Suppose 18*d = 17*d - 2. Let o be -3 + (14 - (-3 - d)). Suppose -3*x = -171 + o. Is x a prime number?
True
Let t(l) = -797*l - 71. Is t(-6) a composite number?
True
Let j(n) = -13*n + 27*n - 16*n + 19. Let x be j(7). Suppose 0 = 3*k - x*y - 1418, -3*y - 2358 = -2*k - 3*k. Is k a prime number?
False
Let i(t) = t**3 - 6*t**2 + 17*t - 18. Let v be i(13). Suppose -3*h - 2*h + 4*y = -3429, -2*h + v = 2*y. Is h a prime number?
False
Let r = -436 - -1913. Let f = -798 + r. Is f prime?
False
Suppose 4*j - 15822 = 9*d - 6*d, -4*j - 2*d = -15832. Let t = j + -2458. Is t prime?
True
Let a(g) be the third derivative of -g**4/24 - g**3/2 - 5*g**2. Let u be a(-6). Suppose -132 + 39 = -u*z. Is z prime?
True
Let s(h) = 20*h**2 - h + 2. Let f be s(-2). Let g = -105 - -209. Suppose -z + g = -3*v, -2*z + z + f = v. Is z a composite number?
False
Let u(r) = -r**3 - 2*r**2 + 6*r - 7. Let g(n) = -n**2. Suppose -2*t - 4 = 2*t. Let w(a) = t*u(a) - 2*g(a). Is w(6) a prime number?
True
Suppose t + 9 = 4*b, -4*t = -3*b + 1 + 22. Is (-2092)/(-2) + (b + 2)/1 a prime number?
True
Suppose 5*n = -3*d + 226656, -d + 5*n = -27802 - 47730. Is d composite?
True
Suppose 4*d + 7 = -2*q - 7, d = 3*q. Let x(m) be the third derivative of -103*m**6/120 + m**5/60 - m**3/6 - 4*m**2. Is x(q) a prime number?
True
Let w be 3/(-3 + (-50)/(-15)). Let k(a) be the second derivative of a**5/20 - a**4/2 - a**3/2 - 11*a**2/2 - 5*a. Is k(w) composite?
True
Is -5 - (-2 + 29*-10) a prime number?
False
Suppose -8 - 28 = -3*q. Let a be (-84)/(-8)*8/q. Suppose -a*h = -3*h - 3548. Is h a prime number?
True
Suppose w = -4*w + 20. Suppose 5*o - 772 = 1513. Suppose w*f + z - 2065 - o = 0, -4*f + 3*z = -2530. Is f a composite number?
False
Suppose 520 + 389 = -3*g. Let r = -80 - g. Is r a composite number?
False
Let j = -2674 - -6663. Is j a composite number?
False
Let h(t) = 273*t**2 - 95*t - 497. Is h(-5) a composite number?
False
Let l(b) = 3*b**3 + 3*b**2 + 12*b - 13. Is l(6) prime?
False
Suppose -15*x = -146782 - 633533. Is x prime?
True
Let x(g) = -20*g - 42. Let s be x(-6). Let q = 177 - 56. Suppose t = q + s. Is t composite?
False
Suppose -n + 110 = 5*s, 0*s - 110 = -5*s - 4*n. Suppose -13461 = -25*w + s*w. Is w composite?
True
Let h(x) = 1. Let s(q) = 908*q**2 + 2*q + 5. Let r(z) = -4*h(z) + s(z). Is r(-1) a composite number?
False
Let u = 10 + -14. Let o be (-4 - -2) + 475 + u. Is o - (1 - 1 - 0) a prime number?
False
Let u(g) = 127*g + 3. Let s be u(-7). Let n = s - -1657. Is n prime?
False
Let c be ((-2)/4)/(2/44). Let y = 56 - c. Is y prime?
True
Suppose -14 - 2 = -4*c. Suppose 0 = -2*j - 4*h + 1050 + 1652, c*j = 5*h + 5469. Is j prime?
True
Suppose 2*f + 2*v - 1143 = 671, -3*f = -3*v - 2727. Suppose 2*o - 3*y - f = 0, -2*o - 4*y + 363 = -531. Is o a prime number?
False
Let z be (-4)/(-5)*105/14. Let d(c) = -c - 26*c**3 - c**2 - c**2 + 4 + z - 6. Is d(-3) composite?
False
Suppose 3*p - 54696 = -5*v, -91120 = -8*p + 3*p + 5*v. Is p a prime number?
False
Suppose 0 = -5*i + 254 + 1. Let a(r) = -12 - 24*r + 14*r - i*r. Is a(-7) composite?
True
Let b(q) = 2*q - 3. Let h be b(2). Is (1/1)/(h/937) a composite number?
False
Let t(j) = -48*j + 11. Let d(u) = u**2 - 11*u + 5. Let h be d(10). Is t(h) a composite number?
False
Suppose 2*o + 6 = 0, -q + 4*o - 3*o + 238 = 0. Let b = 1828 - 528. Suppose b = 5*t + q. Is t a prime number?
False
Is ((-580419)/(-45))/7 + 4/10 prime?
False
Let v(m) = 5*m**2 + 5*m + 18. Let p be v(-11). Is p/6 + 36/(-54) composite?
True
Suppose 3229 = 5*h - 4*p, p = 2*h - 199 - 1095. Is h a composite number?
True
Let i(u) = 12*u**2 + 61*u - 855. Is i(34) a prime number?
True
Let u(i) = 36*i**2 + 7*i - 7. Let z be ((-32)/(-4))/((-8)/4). Is u(z) composite?
False
Let f be (-1 - -3)*9/2. Suppose -2*d - 5*b = -f, 0 = -d + 5*b - b - 2. Suppose 0 = -d*s + 17 + 29. Is s a composite number?
False
Let w(q) = 872*q - 43. Is w(6) prime?
True
Let z = -16 - -16. Suppose 3*v + z*v + 61 = u, -2*u = 3*v - 140. Is u a composite number?
False
Suppose 0 = -0*w - w + 2. Suppose 2*f + s = 360 + 431, -3*f = -w*s - 1204. Is f prime?
False
Let a be ((-39)/(-6))/(5/(-10)). Let p(o) = -o**3 - 13*o**2 - 2*o + 12. Let l be p(a). Suppose u = -l + 223. Is u a prime number?
False
Let l(s) = s**2 - s - 1. Let z(o) = 432*o**3 - 4*o**2 + 12*o + 13. Let a(g) = -6*l(g) - z(g). Is a(-2) prime?
False
Suppose 0 = -11*s + 1701 - 51. Suppose -157 = -m + s. Is m composite?
False
Let y(u) = 7*u**2 - u + 1. Let d be y(-1). Suppose -f + 4*b + 12 = f, 0 = -3*f + 3*b + d. Suppose -o + 553 = -f*o. Is o composite?
True
Let q be ((3 - -1) + -3)/(-1). Let b be 10/(-15)*3*q. Suppose b*l = l + 87. Is l composite?
True
Let x(a) = -a**3 + 6*a**2 - 3*a - 5. Let p = 21 - 16. Let z be x(p). Let c(l) = 3*l**2 - 4*l - 6. Is c(z) prime?
False
Let w be (-76)/(-6)*(-105)/(-2). Suppose -2*d - z = -440, 0*z - z = -3*d + w. Suppose -d - 257 = -2*k. Is k prime?
True
Suppose 167981 = -98*s + 1948543. Is s composite?
False
Suppose -4*f + 13 = -4*x - f, 3*f = -2*x - 11. Let b = -2 - x. Suppose 0*n = -b*n + 1354. Is n a composite number?
False
Suppose 34 = 4*a - 10. Let n(s) = s**2 - 9*s - 16. Let m be n(a). Suppose 4*v + 1172 = m*v. Is v composite?
True
Is (2212/20)/((-1)/(-5)) prime?
False
Let f(o) = -149*o - 14. Let w be f(-4). Suppose -w = -0*x + 3*x. Let p = 315 + x. Is p a prime number?
False
Le