+ 2*b - 3. Is v(l) composite?
False
Let x = -3191 - -8172. Is x a prime number?
False
Let s(v) = 1169*v**2 + 4*v - 2. Let b be (-6)/(-4)*(-12)/(-18). Is s(b) prime?
True
Suppose -12*w = -6*w - 9906. Is w composite?
True
Let c(h) = 131*h**2 + 41. Is c(14) a composite number?
False
Let o be (-12579)/(-35) + (-2)/5. Suppose 2*l = -2*a - o + 63, -4*a - 2*l = 588. Is 2 + 1 - (a - 0) a composite number?
False
Suppose 18*y = 8545 + 22685. Is y a composite number?
True
Suppose v = -4*i + 1155, 35*v + 4*i = 36*v - 1147. Is v prime?
True
Let f(t) = t - 1. Let v(x) = 8*x. Let b(g) = 15*f(g) + 3*v(g). Let y be b(6). Suppose -p + 3*i + 215 = 0, -p - i + y = -5*i. Is p a composite number?
True
Let t be (2 - -1)/(1 - (2 + 2)). Is ((-5)/(-10))/(t/(-2674)) composite?
True
Let d(k) = k**2 - 7*k + 17. Let o be d(7). Suppose -5*b + 3 = 3*u + 2, 0 = -b + 5*u + o. Is b*382/4*1 composite?
False
Let r = 2 + 10. Is ((-1340)/r - -4)*-3 composite?
True
Let b(k) = -k**3 - 8*k**2 - 7*k + 4. Let y be b(-7). Suppose -4*s - 22 = -3*q + s, y*q + s = 14. Suppose -q*m + 0*m + 1484 = 0. Is m composite?
True
Let t = 6833 - 4812. Is t a prime number?
False
Let z be 10*((-21)/(-6) - 3). Let q = z + -5. Suppose g + g - 266 = q. Is g composite?
True
Let o = -10 - -40. Suppose 3*g + o + 21 = 0. Let s = g + 48. Is s a prime number?
True
Let d(i) = -2*i**3 + 33*i**2 + 18*i - 6. Let c be d(17). Suppose c*k - 1892 = 5049. Is k prime?
True
Let m(b) = 7*b**2 - 7*b - 2. Let d(a) = a + 7. Let n be -3*(-2)/(-6) - 2. Let j be d(n). Is m(j) a prime number?
False
Suppose -6100 = -2*w - 3*r, 4*w + 0*w - 5*r = 12244. Let s = 4315 - w. Is s prime?
True
Suppose 2*p = 7 - 5. Let h(r) = 6628*r**3 + 2*r**2 - 2*r + 1. Is h(p) prime?
False
Suppose -4*b - 5*y - 275 = 0, b - 3*y = -4*b - 353. Is (-1128)/(-7) - (-10)/b prime?
False
Let i = 20 - 20. Suppose 4*b - 4791 - 1133 = i. Is b a composite number?
False
Suppose -z = z + 508. Is (-2)/12*z*3 a composite number?
False
Let u = 7917 + -4871. Is u prime?
False
Let c(q) = 5*q**2 - 8*q - 6. Is c(-5) prime?
False
Let q(j) = -4*j - 55. Let o be q(-10). Let w = 244 - o. Is w a composite number?
True
Suppose -5*q + 183 = j, 148 = 4*j + 3*q - 635. Suppose -5*s = -j - 1157. Is s a composite number?
False
Let h = 451975 - 285066. Is h a prime number?
True
Let s(j) = -j**3 - j**2 + j - 81. Let p(m) = m. Let g be p(0). Let q be s(g). Let c = q - -332. Is c a composite number?
False
Let r = 572 - 386. Let u = r + 623. Is u composite?
False
Let u(o) = 3045*o + 74. Is u(9) prime?
True
Let o(s) = 18*s + 3*s**2 + 2*s + 19 - 13*s + 16*s. Is o(-16) a prime number?
True
Suppose 3*l = -15, 4*k = 4*l - l + 23. Suppose -k*c = v - 54 - 17, -2*v + 160 = -2*c. Is v prime?
False
Let h(c) = -c**3 - 6*c**2 - 5*c. Let d be h(-5). Suppose d = -8*r + 11*r - 186. Let m = r - 27. Is m a prime number?
False
Let s be 2/6*-3 + -937. Let n = -605 - s. Let u = n - 148. Is u a composite number?
True
Let g(z) = z**3 - 4 + 0*z + 0*z**3 - z + 6*z - 7*z**2. Let n = -14 - -21. Is g(n) a composite number?
False
Is 150474/8 - (-28)/16 prime?
False
Is (78717/19)/((-9)/(-6)) prime?
False
Let u(d) = 5086*d**2 + 5*d + 2. Is u(1) prime?
False
Let y(l) = 408*l**2 - 2*l + 1. Is y(-2) composite?
False
Let b = -4 - -6. Suppose 4*w - 3*n = 1516, 2*n = -b*n. Is w prime?
True
Suppose 6*m - 2787 = 3*m. Suppose 2*b = 2*z - b - 373, -5*z + 4*b + m = 0. Is z composite?
True
Let p be (-6 + 3)/(3/5463). Let z = -3892 - p. Is z composite?
False
Let j(i) = -23*i + 7. Let v(c) = 7*c - 7 + 17*c + 8*c - 10*c. Let x(n) = -5*j(n) - 6*v(n). Is x(-12) a composite number?
False
Suppose 6*c - 24974 = -6044. Suppose 2*x = q + 1262, 3*x = -2*x + 2*q + c. Is x prime?
True
Let i(u) be the second derivative of u**5/20 + u**4/12 + u**2 + u. Let n be i(0). Suppose -2*r - n*r = -28. Is r prime?
True
Let v(r) = 1403*r**2 + 7*r - 5. Is v(-3) a prime number?
True
Let w(c) = c**3 + 6*c**2 - c + 1. Let r be w(-6). Suppose r*t - 9 = 4*t. Suppose 5*k - 1223 = -t*o - 5, o + 2*k - 407 = 0. Is o a prime number?
True
Suppose -5*z + 4*z - 5*p = -11103, -3*p = 2*z - 22220. Is z a prime number?
True
Let z be 4/(-6)*(3 - 1053). Let s = -401 + z. Is s prime?
False
Suppose -7*h + 4*m - 3164 = -2*h, -3*h - 1891 = 5*m. Let d = h + 1111. Is d a prime number?
True
Let x(o) = 4*o**2 + 20*o + 329. Is x(36) a composite number?
True
Let f be 3 + -2 - -2 - 3. Suppose f = -3*h - 5*n - 19 + 61, -n = -3*h + 60. Is h a prime number?
True
Suppose -o - 4*x - 3 = -24, 35 = 3*o + 5*x. Suppose -3*i = r - 380, o*r - 1490 = r - 2*i. Is r a prime number?
False
Let r = -29 - -1870. Is r a prime number?
False
Suppose -4 + 34 = 5*z. Let l be (-4)/(-6)*z/1. Suppose l*q = -g + 258, q - 3*g + 4*g - 63 = 0. Is q a composite number?
True
Let h = 82 + -33. Suppose 2*u - 168 = -4*z, -2*u + h = -u - 5*z. Suppose -3*j + u + 67 = 4*r, -3 = -r. Is j a composite number?
False
Suppose 0 = -4*w - s + 61794, -w + 5*s + 11593 = -3866. Is w a prime number?
False
Suppose -432 + 3969 = t - 4*n, 0 = n + 5. Suppose -14*d + t = -2769. Is d prime?
True
Suppose 0 = -3*m + 3*z + 420, m - 87 - 52 = 2*z. Let h = m + -56. Is h composite?
True
Let g be (243/6)/3*-2. Let a = 64 + g. Is a composite?
False
Suppose 14791 = 43*m - 17244. Is m a prime number?
False
Let j = -2417 + 7888. Is j composite?
False
Suppose -39694 = -6*s - 12112. Is s a prime number?
True
Suppose -3*k - 9 = 5*c, -2*k = k - 5*c - 21. Suppose 5*v = k + 3. Is 754/3 + v/(-3) composite?
False
Let f = 21661 - 13998. Is f composite?
True
Suppose 0 = -4*a - 2*b + 1 + 1, 2*b = a - 13. Suppose 162 = 3*m - z, 6*z + 221 = 4*m + a*z. Is m a composite number?
False
Let g(s) = 1538*s**2 - 2*s - 3. Is g(-1) composite?
True
Suppose 232 = -u + 1239. Suppose -3*x - 4*w - 232 = 0, -394 = 5*x - 0*w + 3*w. Is 32/x + u/5 a composite number?
True
Let s = -28 - -20. Is (-34)/(s/(-636)*-3) prime?
False
Suppose 4*x + x = 0. Suppose 0 = 5*o + m - 14, x = 6*m - 3*m - 12. Let q = o - -1. Is q a prime number?
True
Let s(b) = 787*b**2 - 16*b + 22. Is s(13) composite?
False
Let p(w) = 51*w + 47. Let b = -119 + 129. Is p(b) a prime number?
True
Let k = 16986 + -10847. Is k prime?
False
Suppose 3*k + 9 = y, -4*y - 19 = 4*k - 3*y. Let t be 6441/21 - k/14. Suppose -3*m = -1316 - t. Is m composite?
False
Suppose 0 = 24*l - 20*l + 96. Let n(o) = o**3 + 24*o**2 - 2*o + 21. Is n(l) prime?
False
Suppose -5*y + 7169 = 3*k, -2*y - 6 + 2 = 0. Is k a composite number?
False
Let b be -5 + 12 + -6 - (1 + -5). Suppose -p - 3*p = -5*x - 8939, -11140 = -5*p - b*x. Is p a composite number?
True
Let d be -1 + (1/4)/(1/22612). Let a = d - 3703. Is a prime?
True
Suppose 2*w - w - 2 = 0. Suppose -3 = w*h - h. Is ((-154)/4)/(h/6) a prime number?
False
Let m = -234 - -30505. Is m prime?
True
Let g(o) = 1331*o**2 - 27*o + 47. Is g(6) a composite number?
True
Suppose 2*h - 724 = 54. Is h a prime number?
True
Let z = 19 + -16. Suppose -4*i - z*c + 3 = 1, i + c = 0. Suppose i*j = 4*j - 374. Is j a composite number?
True
Is (-10)/2 + 2060 - 4 a prime number?
False
Let k = -272 + 2433. Is k a prime number?
True
Suppose -14*x = -10*x. Suppose -r + 86 + 117 = x. Is r a prime number?
False
Suppose -2*w = -4*o + 18, 0 = 2*o + 7*w - 3*w + 6. Suppose -o*t = t - 4*v - 16, 2*t + 5*v - 15 = 0. Suppose -t*p + 2*p + 201 = 0. Is p composite?
False
Let h(n) = 430*n - 19. Is h(8) prime?
False
Let x(p) = -615*p - 59. Is x(-8) a composite number?
False
Let u(y) = 33*y**2 + 21*y + 7. Is u(10) composite?
False
Let t be 2/9 - (0 + (-30894)/(-27)). Let z = 133 - t. Is z prime?
True
Let w = 3 + -16. Let d(o) = -o**3 - 9*o**2 - 7*o + 2. Is d(w) composite?
False
Is 21425 + (2 - 1) + -7 + 0 a prime number?
True
Let w be -3 - (0/1 + -11). Suppose -w = -2*n + 4*n. Is 475/3 + n/12 composite?
True
Let q(y) = -y**2 - y + 14. Let r be q(-14). Let f = r + 853. Is f prime?
False
Suppose -5*n = -10, 0*n - 26 = -2*k - 5*n. Suppose -2*d = -k*d + 24. Suppose -5*m = -y + 264, -d*y - 3*m = -y - 702. Is y composite?
False
Is 150572/16 - 2*(-5)/40 prime?
False
Let m(h) = 27*h + 79. Is m(17) a prime number?
False
Let m = 22660 - 9321. Is m a prime number?
True
Let w(l) = -l**3 - 6*l**2 + 2*l - 2. Let g be w(-6). Let n(d) = d**2 + 7*d - 1. Let y be n(-8). Is (-179 + 1)*y/g composite?
False
Let h(p) = 2297*p + 1208. Is h(13) a prime numbe