v be g(-19). Let o be 15/(-2 - (-44)/20). Suppose -o - v = -6*w. Is w composite?
True
Let m = -71 + 146. Suppose 2*k + 3*y - 35 = -7, k + y = 15. Let n = m - k. Is n a prime number?
False
Is (-8)/8*(-3 + -8436)/3 a prime number?
False
Let z be (-11 + 2)*(-2)/6. Suppose -2*k - 51 = z*g - 218, 5*k - g = 392. Is k a prime number?
True
Let k(h) = -2*h**3 + 2*h**2 - 10*h + 22. Let x be k(5). Let p = x - -535. Is p prime?
True
Let j be 8/(-6) - (-2)/(-3). Suppose 4*p - r - 9229 = 11096, p = -3*r + 5091. Is p/35 + j/10 a composite number?
True
Suppose -3*n + 5*a + 11102 = -n, 3*n = 2*a + 16631. Is n composite?
True
Let a(b) = -6*b**3 - 5*b**2 + 6*b + 2. Let s be a(-7). Let m be 6/9*s/6. Suppose 5*i - 4*x = 319, -3*i + 4*x + m = 3*x. Is i prime?
True
Let r(q) = 14 - 7*q - 2 - 3*q - 2. Let h be r(-8). Let k = h + -1. Is k prime?
True
Let z(v) = -v**3 - 4*v**2 - 5*v - 3. Let t be z(-3). Suppose -t + 9 = 2*s. Suppose -n = 3*x - 44, -5*x = s*n - 18 - 54. Is x a prime number?
False
Let n(y) = -18*y - 10 - 1 + 0 + 94*y. Is n(7) composite?
False
Let f be -380*((-2)/2 + 0/6). Suppose -4*o - 2*n + 1272 - f = 0, -3*n = 5*o - 1115. Is o prime?
True
Let v be ((-1 - 1)/2)/(6/(-1230)). Suppose p - z = 4*z + v, 0 = -3*z. Is p prime?
False
Let y(w) = 10*w**3 - 2*w**2 - 2*w - 1. Let i be y(3). Suppose 4464 = 50*l - 41*l. Let p = l - i. Is p prime?
True
Let k(u) = u**3 - u**2 + u + 12. Let i be k(0). Suppose r + 3*r + i = 0. Is 0 + -1 + (-405)/r a composite number?
True
Suppose -5*m + 4 = -2*o - 3, 2*o = -3*m + 17. Suppose 5*t = 4*j - 610, m*j - 2*t - 455 = 3*t. Is j composite?
True
Is ((-35886)/(-9))/(-3 - (-141)/45) a composite number?
True
Suppose 4*y - 66 = -2*c, 3*c = y - 4 + 68. Let u = 13 - c. Let a = 17 + u. Is a a composite number?
False
Let h = 2138 + -1371. Is h prime?
False
Let y(g) = -g**3 + 4*g**2 + 4*g + 8. Let p be y(5). Suppose 0 = p*t - 13*t + 3950. Is t prime?
False
Let i be (-16)/(-10)*(-6)/(48/(-20)). Suppose -i*l - 2*t + 1682 = 0, 3*l + t = -l + 1685. Is l a composite number?
True
Suppose 0 = -4*u + 158 + 98. Let v = u + 22. Let f = v - -5. Is f a prime number?
False
Let p(g) = -g + 2 + 9*g + 3*g**2 - 7*g + 27*g**2. Is p(-1) a prime number?
True
Let w = 18 + -15. Suppose 4*r + g = -609, -2*r - w*g = -7*g + 282. Is r/(-2) + 12/(-8) a prime number?
False
Let c(a) = -a**2 - 186*a - 338. Is c(-63) prime?
True
Let x(k) = -645*k - 52. Is x(-7) prime?
True
Suppose 35*x - 38*x + 2566 = v, 2*x + 2551 = v. Is v prime?
True
Let x(w) = 57*w**2 + 42*w + 23. Is x(-6) a composite number?
False
Let u = 444 + -148. Suppose 0 = 4*k - u - 300. Suppose 2*h - 4*f - 78 = 0, f - 13 = -5*h + k. Is h composite?
True
Let g be -3 + 2 + 3 + 1 + 1. Suppose 0 = g*d + d - 2935. Is d composite?
False
Suppose -4*g - 14 = 6. Let d = 61 + g. Is d/3 - 7/(-21) prime?
True
Suppose 3310 = 49*i - 39*i. Is i a composite number?
False
Let s = 314 - -2493. Is s a composite number?
True
Let q(m) = 11*m**2 + 4*m. Let p = 32 + -62. Let z be (-36)/p*10/4. Is q(z) a composite number?
True
Suppose -247 = -u - 2*q, 7*q - 4*q + 696 = 3*u. Is (-2)/(-6)*u*11 composite?
True
Suppose -4474 = -2*c + 3*f, -16*c = -15*c + 4*f - 2237. Is c a composite number?
False
Let n = 6042 + 18399. Is n prime?
False
Suppose 4670 = 5*d - 4335. Is d composite?
False
Suppose 3*g = 3*b - 20226, -13682 = -5*b + 4*g + 20023. Is b prime?
True
Suppose 5*n + 0*n = g - 5, 4*g + 4*n + 4 = 0. Suppose -d + 229 = 3*y - g*y, -4*d = 3*y - 871. Is d a prime number?
False
Let y = -174 + 120. Let j = y - -365. Is j a composite number?
False
Is ((-9193)/3)/(-1) - (-10)/15 composite?
True
Let y be 8/(-5) + 15/25. Let n(f) = 268*f**2 - 1. Is n(y) composite?
True
Suppose -4*k + 169381 = 4*h - 89295, 4*k = 3*h - 194007. Is h a composite number?
True
Let t = 2198 + -1455. Is t a prime number?
True
Suppose 0 = n + a + 6, 2*a + 1 - 43 = 4*n. Is 99 - 3/n*-6 a composite number?
False
Let i(j) = 2*j - 11*j - 3 - 22*j. Suppose -3*d - 3 - 3 = 0. Is i(d) a prime number?
True
Is (20/(-4) - -6769) + -3 prime?
True
Let j = 14 + 11. Suppose 0*a + 5*a = 3*v - j, -4*v = -3*a - 4. Is 66*(a/12)/(-2) composite?
True
Let m(f) = 182*f - 209. Is m(23) a prime number?
False
Suppose -5*b - 2 + 17 = 0. Suppose 10 = x - 6*x, -b*x = 4*f - 10. Suppose -f - 811 = -5*z. Is z a prime number?
True
Is 6*((-30)/(-9))/(-5) - -3911 composite?
False
Suppose -11*i + 14*i = -4*j + 131717, 3*j - i = 98778. Is j prime?
False
Is 11 - (13 - (157851 + -12)) a composite number?
False
Suppose 4*u + 1 = -y, -3*y = -u + 4*u + 12. Is 20*-74*y/40 prime?
False
Let n(o) = -5*o**3 - o + 17. Is n(-5) a prime number?
True
Let w = 3 + -3. Suppose n + w*n = 379. Is n composite?
False
Let d(k) = k**2 + 13*k + 14. Let m be d(-12). Let u(l) = -l - 4*l - 12 - 6*l - m*l. Is u(-7) prime?
True
Let v(z) be the third derivative of -7*z**4/24 - 7*z**3 + 7*z**2. Is v(-17) prime?
False
Suppose 0 = 3*z + 4*b - 3017, 8*b - 4022 = -4*z + 3*b. Is z a prime number?
False
Let q = -4474 - -8165. Is q prime?
True
Let q(a) = -a**3 + 30*a**2 - 32*a + 9. Is q(28) prime?
False
Let i = 119 + 19. Suppose 5*p - i - 635 = 4*f, -4*f = -12. Is p composite?
False
Suppose 4*a + 2*a = 2*a. Suppose -3*l - 2*m + m + 1221 = a, 0 = -3*m. Is l composite?
True
Let s(t) = 6 - 19 - 3*t**3 + t**3 + 5*t + 3 - 7*t**2. Is s(-7) prime?
False
Suppose 57*b - 76*b = -4769. Is b a composite number?
False
Let w(j) = -j**3 + 9*j**2 + 23*j - 8. Let s be w(11). Suppose -7*c = -s*c + y - 12407, 5*y - 9284 = -3*c. Is c composite?
True
Suppose 1 - 9 = -i. Let r be i + 0 + 3 + -3. Suppose 4*b = -r, -125 = 4*y + 2*b - 349. Is y prime?
False
Let k(c) = 41*c**2 - 20*c + 67. Is k(8) prime?
True
Let q = -77 + 694. Let h = 1030 - q. Is h a prime number?
False
Suppose -42570 = 29*b - 296987. Is b a composite number?
True
Let l be (1/(-4) + 10824/32)/1. Let g = -47 + l. Is g a prime number?
False
Suppose -q = -2 + 4. Let p be (-194)/4*q/1. Suppose 5*t + 2*s = s + 433, -5*s = -t + p. Is t a composite number?
True
Let g(m) = m**3 - 4*m**2 + 3*m + 7. Suppose -2*u - 2*b + 24 = 0, -19 = 3*u + 5*b - 63. Is g(u) a composite number?
True
Let r(y) = 2614*y - 51. Is r(1) composite?
True
Let x be 7 - (0 + -1 + 10/5). Is (-1)/(3/x) + 795 a prime number?
False
Let c be (-12)/12 - 2*-1. Let w(n) = -32*n + c + 5 - 27*n. Is w(-5) a composite number?
True
Suppose 3*q = -4*a + 91885, 9099 = 4*q - 5*a - 113435. Is q a composite number?
False
Let s = -11 - -14. Suppose -5*x - 2*q + 14 = -3*x, q - 17 = -s*x. Suppose 1384 = x*m + 89. Is m composite?
True
Let c(n) = n**3 - 4*n**2 + 2*n - 5. Let x be -5*(-2 - 12/(-15)). Let t be c(x). Let p = 330 - t. Is p composite?
False
Let m(b) = -4162*b + 25. Is m(-4) prime?
True
Suppose -18826 - 116225 = -21*u. Is u a prime number?
False
Let w(b) = 7*b**2 - 6*b - 8. Let m be w(7). Suppose 581 = y + 3*y - 3*l, 2*y - m = l. Is y a composite number?
False
Let t = 202 - -1. Is t a prime number?
False
Suppose -3*f + 7954 = j, -3*j - j - 2*f + 31766 = 0. Is j a prime number?
False
Is 6619*(-5)/(16 - -4)*-4 composite?
False
Let h = 17743 + -7880. Is h a composite number?
True
Let b(k) = -69*k**3 + 24*k**2 - 25*k - 23. Is b(-12) prime?
False
Suppose -4*v - 1648 = 4*v. Let p = 1267 + v. Is p composite?
False
Let d(t) = 10*t**2 + 21*t - 2. Let z be d(-9). Let x = 120 + z. Is x prime?
True
Suppose 30*h - 855419 = 182041. Is h prime?
False
Let p = 35749 + -17630. Is p composite?
False
Suppose -1168 = -2*n - y, 2*n + 47*y - 1152 = 42*y. Is n prime?
False
Let q(k) = k - 6. Let j be q(10). Let t(w) = 83*w + 3. Is t(j) a prime number?
False
Let r(g) = 1115*g + 516. Is r(35) a prime number?
True
Suppose -v = 2*v - 87. Suppose w = 4*j - 619 - v, -810 = -5*j + 2*w. Suppose j - 38 = 4*x. Is x a prime number?
True
Let w(s) = 380*s + 11. Suppose x - 11 = -4*d, 2*d - 25 = 5*x + 8. Is w(d) a composite number?
False
Suppose 4*f - 7673 + 741 = 0. Is f a composite number?
False
Let p = -29 + 29. Let c(o) = -3*o + 3 + o**2 - 5*o**2 + p*o - o**3. Is c(-6) prime?
False
Let r(i) = 9*i - 8. Suppose w + 11 = 2. Let n be r(w). Is (1 - (0 - -2))*n a prime number?
True
Let v be ((-756)/(-16))/(2 + (-93)/48). Let z = v - -463. Is z a composite number?
True
Suppose -2*p + 4213 = 3*a, -2*a + 1835 = p - 973. Let o = a - 981. Is o a composite number?
True
Let b(v) = v**3 - 8*v**2