*w - 10. Suppose 6 = a*v - b. Is v prime?
True
Suppose 0*v - 2*v = -u - 3419, 0 = -3*v + 2*u + 5129. Is v a composite number?
False
Suppose -3*f + 124 = w - 0*f, 2*f = -2. Is w a prime number?
True
Suppose 4*m + m + 200 = 0. Suppose 55 + 128 = -3*v - 2*k, 0 = 3*v + 3*k + 186. Let g = m - v. Is g prime?
True
Let n be (-52)/(-14) + (-4)/(-14). Let j(p) = -n + 6*p**2 - 7*p**2 - 11*p + 2. Is j(-7) a composite number?
True
Let s(i) = 94*i**2 - i + 2. Is s(-1) composite?
False
Let f be ((-2)/4)/((-2)/4). Suppose 5*k + v - 7 = 0, 0 = -0*k - k - v - f. Is (1 - (1 - k)) + 19 composite?
True
Let o(y) = y**3 + 9*y**2 + y + 18. Let w(v) = 7*v - 1. Let a be w(-1). Is o(a) composite?
True
Suppose 971 = 3*x - 2*n, -n = -3*x + 3*n + 979. Is x a composite number?
True
Let f(i) = 2*i**2 - 5*i - 4. Is f(-9) a prime number?
False
Suppose -175 = -2*v - 3*v. Let p = v - -74. Is p a composite number?
False
Let b = -84 - -141. Let r = b + 12. Let w = r + -46. Is w composite?
False
Suppose -2*f = -3*f + 205. Is f prime?
False
Suppose -2*a = 2*x + 4, -2*a + 4*x = -11 - 3. Let t(y) = 5*y. Let o be t(a). Suppose 2*w = o*w - 57. Is w prime?
True
Suppose -2*v = 8, -4*v + 1270 = 3*p - 5*v. Let j = p + -277. Let y = j - 96. Is y prime?
False
Suppose -95 = -4*q + 3*q. Is q a composite number?
True
Let h(j) = -56*j**3 - 2*j**2 - j. Let x be h(-1). Let s(u) = u**3 - 5*u**2 - 5*u + 1. Let y be s(5). Let z = y + x. Is z composite?
False
Let o = 1123 + -602. Is o a composite number?
False
Let w(o) be the third derivative of -o**6/120 + 3*o**5/20 + o**4/12 - o**3/6 + 2*o**2. Is w(8) a composite number?
False
Let p(w) = w**3 - 3*w**2 + w. Let s be p(3). Suppose s*y - 355 = -88. Is y a composite number?
False
Let h(v) = v + 13. Let t be h(-11). Let m(n) = 86*n. Let x be m(t). Suppose 4*f - 239 = -3*a, -3*f + 7*a = 2*a - x. Is f a composite number?
False
Let t = 3945 - 1756. Is t a composite number?
True
Let o = -98 + 173. Let n = -40 + o. Is n prime?
False
Suppose -k + 13 = -35. Suppose -4*n = -17 + 1. Suppose n*o = -o + 3*b + k, 0 = o - 5*b - 14. Is o a composite number?
True
Let t be ((-14)/21)/(4/(-3066)). Let i = t - 177. Is i a prime number?
False
Suppose -x + o = -0*x - 2, 3*o + 6 = 0. Let r = 3 - x. Suppose 2*a - 105 = -r*a. Is a a composite number?
True
Suppose c + 2*r - 7 = -1, -4*c - 4*r + 20 = 0. Suppose -c*j = -5*j + 127. Is j a composite number?
False
Let i be (-4868)/(-12) + 2/(-3). Suppose -5*s - 5*x = -i, -x = 3*s - 129 - 106. Is s prime?
False
Let k = 10 - 10. Suppose k = -2*x - 41 + 1399. Is x prime?
False
Suppose -y + 0*y + 5*w = -114, 193 = 2*y - 3*w. Is y a prime number?
True
Let a = 135 - 81. Let z = -123 + a. Let k = 103 + z. Is k composite?
True
Suppose -485 = -4*o - o. Is o a composite number?
False
Suppose -3*c + 0 - 15 = 0, -25 = -p + 5*c. Suppose -5*a = -p*a - 1750. Let w = a + -216. Is w a composite number?
True
Suppose -5216 - 5026 = -6*t. Is t prime?
False
Suppose 0 = i - 1175 - 1598. Is i composite?
True
Suppose -2*l - 5*h - 64 = -6*l, 2*l = -h + 46. Suppose -l = -4*u + 55. Is u composite?
False
Let u be (-70)/(-15)*57/2. Is u/14 - (-1)/(-2) a composite number?
True
Suppose 0*v = -v - 4*s + 31, -2*v - 5*s + 77 = 0. Is v a composite number?
True
Let f be ((-4)/10)/((-581)/290 + 2). Let z(q) = q**2 + 4*q - 5. Let l be z(-5). Suppose 5*i + l*i - 281 = 3*x, f = 2*i - 3*x. Is i a prime number?
False
Suppose 2*o - 6*o + 4*y = 492, 5*o + 607 = -3*y. Is -2 - o*(-1)/(-2) prime?
True
Suppose 4*h + 6 = 18. Suppose 2*z - z - k = -55, 2*z - h*k = -105. Let i = 85 + z. Is i a prime number?
False
Suppose -2*n + 910 = -0*n. Suppose 5*h - 430 = n. Is h a prime number?
False
Suppose -4*x + 0 = 8. Is 1/(x*(-2)/348) a prime number?
False
Suppose -5*g = -2*r - 20, 5*g - r - 10 = 3*r. Suppose y - 18 = -2. Let d = y + g. Is d prime?
False
Suppose 0 = 4*b - 5*z - 30, -4*b + 23 = 2*z + 7. Suppose 3*o - n - 191 = 89, -3*n = b*o - 476. Is o/2 + (-4)/(-2) prime?
False
Let w be (2/4)/((-1)/(-228)). Suppose j = -j + w. Is j*((-8)/(-6) - 1) a prime number?
True
Let f(b) = 2393*b**2 - 2*b. Is f(1) a composite number?
True
Suppose 0 = v - 21 - 46. Is v a composite number?
False
Let g(c) = -c**2 - 5*c**2 + 11 - c + 5*c**2. Is g(0) prime?
True
Suppose -1 + 3 = k. Suppose -3*j - 8 = -k*j. Is j/20 - 104/(-10) composite?
True
Suppose -5*x = 3*n - 27, 5*x + 14 = 5*n + 49. Suppose 8*s + 1164 = 11*s. Is 3/2*s/x a prime number?
True
Let i(p) = -p**3 - 11*p**2 - 16*p - 15. Let z be i(-10). Is 17785/z - (-4)/(-18) composite?
True
Let y = 5 + -3. Let a be 600*2/(-8)*y. Let r = -151 - a. Is r composite?
False
Suppose -3*s - o = 2 + 2, -2*s - o = 3. Let r be ((-1 - -3) + s)*5. Suppose 445 = r*t - 0*t. Is t a prime number?
True
Let d(r) = -r**2 - 10*r + 2. Let c be d(-9). Suppose 2*k - 3*k = -3*v - c, 3*v = -4*k - 1. Is (-68 + 1)/(v/3) prime?
True
Let b(x) = 79*x**3 + 3*x**2 - 7. Is b(3) a composite number?
False
Suppose 2*v + 2*v + 48 = 0. Is -14*3/24*v composite?
True
Let l = 207 + -75. Suppose -y = -l - 73. Is y a composite number?
True
Suppose -4*w + 2*p = -0*w - 1326, 0 = 2*w + 4*p - 658. Is w/(-4)*-2*2 a composite number?
False
Let c(s) = -s**2 - 20*s + 18. Is c(-10) a prime number?
False
Suppose -4*d = -2*o + o - 6040, o = 4. Is d a prime number?
True
Suppose -5*t - 202 = 4*f + 352, -5*t + 3*f = 582. Let w = t - -227. Is w a prime number?
True
Let t(h) = 24*h - 5. Let x(c) = 25*c - 6. Let z(l) = -2*t(l) + 3*x(l). Is z(5) a composite number?
False
Let m(x) = 62*x - 2. Is m(2) composite?
True
Let z = 1 - -4. Suppose 4*r - 571 = 5*t, -r - z*t + 770 = 4*r. Is r prime?
True
Suppose 0 = v - 3*x - 1747, 6*v - 2*v = 3*x + 7024. Is v composite?
False
Let j be (-5)/(10/(-72)) + 1. Suppose -j = -4*k - 109. Let a = 15 - k. Is a composite?
True
Suppose -6*f = -5*f - 3. Suppose f*h + 2*w - 561 = 148, -697 = -3*h + 4*w. Is h composite?
True
Suppose -6*h = -h - 25. Let g = h - 2. Suppose v + 3*z + 68 = 194, -z = -g*v + 328. Is v prime?
False
Is (3 + (-50)/(-6))*(-282)/(-4) a prime number?
False
Let g(s) be the third derivative of s**8/4032 + s**7/5040 + s**6/720 + s**5/60 - 3*s**2. Let o(q) be the third derivative of g(q). Is o(-4) prime?
False
Suppose 4*p - p - 642 = 0. Let b = p + -29. Is b a prime number?
False
Let i = 944 + -565. Is i prime?
True
Let n = -91 - -689. Let o = n + -329. Is o prime?
True
Let r = 2999 + -832. Is r a composite number?
True
Suppose -3*y = 2*y - 4*r - 1845, 5*y - 1885 = -4*r. Is y composite?
False
Let f be 1 + -1 - (-18)/1. Let i be (-6)/f + (-2)/(-6). Suppose i = -3*m + 8*m - 545. Is m a prime number?
True
Let n(c) = c**2 + 10*c + 27. Is n(-14) prime?
True
Suppose -a = y - 3*y - 152, -5*a + 778 = -4*y. Is a prime?
False
Let q = -13 - -21. Suppose -q = v - 5*v. Is ((-333)/(-2) - 1)*v a prime number?
True
Let t(f) = 4*f**2 - 38*f - 41. Is t(-30) prime?
False
Suppose 569 = 8*q - 959. Is q prime?
True
Let j(i) = 535*i**3 + i**2 - 2*i + 1. Is j(1) a composite number?
True
Suppose -5*c + 4613 = 2*d, -4*c = -5*d - 4397 + 700. Is c a prime number?
False
Suppose m = -0*m + 253. Is m a composite number?
True
Suppose -4*v - v + 10 = 5*k, 2*k - 3*v = 4. Let i(f) = -5*f**2 + 1. Let z be i(1). Let j = k - z. Is j prime?
False
Let m = 3 + -6. Is (72 + m/3)/1 prime?
True
Let p(m) = -m**2 - m + 6. Let l = -15 + 9. Let g be p(l). Let t = -13 - g. Is t a composite number?
False
Is ((-7)/4)/((-6)/552) a prime number?
False
Let x be (124/(-12))/((-3)/117). Suppose 0 = 5*u - 1212 - x. Is u prime?
False
Let v(i) = -i**2 - 2*i + 1. Let p be v(-2). Let x = 3 + p. Suppose 5*u = 2*d + 2*d + 111, 0 = -5*u - x*d + 79. Is u prime?
True
Let g be (9 - 2/1) + -3. Let w = g + 1. Suppose 0 = 4*h + 2*c - 108, 37 + 83 = 5*h - w*c. Is h composite?
True
Let s(j) be the second derivative of j**4/6 - 7*j**3/6 - 3*j**2/2 - j. Let v be s(-5). Let x = -51 + v. Is x composite?
False
Suppose o + j - 3 = -0*j, -5*j = -4*o - 24. Let r = 3 - 6. Is r + (-43)/o - 2 composite?
True
Let i be 18/(-4)*(-2)/3. Suppose -i*q - 3*r - 2 = 13, -3*q = -r - 1. Is q/(-2)*0 + 22 prime?
False
Suppose 4*z + 5 = s - 4*s, -4*z = -3*s + 35. Suppose 80 = s*c + 20. Let i(g) = 9*g + 15. Is i(c) prime?
False
Suppose 3*g = -16 + 4. Is 2*((-370)/g)/5 a prime number?
True
Let q be (-32)/(-12) - (-4)/(-6). Suppose 2*v = 5*t + 107 + 16, 0 = 4*t - q*v