6 - 3. Is (-6)/8*(-31 + i) a prime number?
False
Let s(y) = y**3 + 3*y**2 + 4*y + 6. Let o be s(-4). Let d = 45 + o. Is d a prime number?
True
Let a = 170 - 25. Is a composite?
True
Let a(g) = -43*g + 1. Let v(d) = -44*d + 1. Let n(o) = 5*a(o) - 6*v(o). Is n(2) composite?
False
Let a be (-726)/7 + (-12)/42. Let n = -45 - a. Let s = n - 40. Is s composite?
False
Suppose 0 = -4*y + u + 438 - 39, y - 111 = 4*u. Let o = y + -64. Suppose -2*x + 4*x + o = 3*c, -50 = -2*c - 4*x. Is c prime?
False
Suppose -12*n = -11*n - 431. Is n a prime number?
True
Let o(i) = -i - 3. Let p be o(-4). Let m = p + 2. Suppose 199 = m*w + 58. Is w a prime number?
True
Let q = 8 + -18. Let z = -45 + 26. Let i = q - z. Is i a prime number?
False
Let g(l) = -98*l - 35. Is g(-6) prime?
False
Suppose 3*x = -j + 8, -3*x = x - 3*j - 2. Let r be ((-154)/x)/(-1) - 2. Let u = -50 + r. Is u a prime number?
False
Suppose 7*p = 13*p - 2814. Is p a prime number?
False
Let x(u) = -3*u + 7. Let w be x(5). Is (-2348)/w + 3/(-6) prime?
True
Suppose -g + 3*b = -116, -2*g + 6*g - 498 = -5*b. Is g a composite number?
True
Suppose -6*i + 20 = -i. Suppose -2*d - 2*d - i*k - 84 = 0, d - 3*k = -13. Let t = 18 - d. Is t prime?
True
Suppose -8368 = -4*p + 3*z, 5*p = 4*z + 9237 + 1222. Is p a prime number?
False
Let c = 0 + -2. Let i = 7 + c. Suppose -110 = -5*f - 5*v, f + 4*v + i - 24 = 0. Is f a prime number?
True
Suppose 4*s = 1649 + 563. Is s a prime number?
False
Let x be (2/6)/(3/(-18)). Let z be (x - -3)*1 - 4. Is -1 - ((-3)/z + -33) composite?
False
Suppose 0 = 2*w - 704 - 8478. Is w prime?
True
Suppose -1 = v - 4, -4*v = 2*j - 5002. Is j a composite number?
True
Let k be (-7)/(-2) - (-48)/(-32). Suppose -186 - 72 = -k*i. Is i a prime number?
False
Let d(q) = -q**2 - 6*q - 3. Let c be d(-5). Suppose -3*s - 24 = -4*n, -c*n + 6*n + 4 = -4*s. Suppose -16 = -4*i - n*l - 1, i - 4 = -l. Is i a prime number?
True
Let c(a) be the third derivative of 7*a**4/12 + a**3/2 - 2*a**2. Let m = 11 + -7. Is c(m) composite?
False
Suppose 0*u + 14 = u. Suppose -3*i + u = 3*s - 8*s, 2*i + 3*s = 3. Suppose -28 = -i*l - l. Is l composite?
False
Let j(i) = i**3 + 5*i**2 - 2*i - 7. Let u be j(-5). Suppose u*s + 65 + 185 = 5*v, -3*v = 4*s - 179. Is v prime?
True
Let p(m) = 5*m + 3*m**2 + 4 - 2*m**2 + 0*m**2 + 1. Let n be p(-5). Suppose r = -n*b - 4*r + 270, -r + 164 = 3*b. Is b a prime number?
False
Is (1 + -4)/((-18)/13830) composite?
True
Suppose -4*d + 0*d + 80 = 0. Suppose 4*n + 17 + 15 = 4*v, 4*n = -2*v - d. Let g(b) = b**3 + 8*b**2 + 5*b - 7. Is g(n) composite?
True
Let n(w) = w**3 - 9*w**2 - 3*w + 6. Let x be n(9). Is (-1538)/(-5) - x/(-35) a prime number?
True
Suppose 2*o - 152 = 54. Suppose -3*t + 188 = -o. Suppose -298 + t = -3*i. Is i prime?
True
Let y be (-3 - -2)/((-2)/4). Suppose y*d + 7 = 33. Is d prime?
True
Suppose 0 = -3*c + 4*c + 5*m - 12, 4*m = 12. Is (c + 2)*1*-289 a prime number?
False
Suppose -4 = -3*i + 11. Suppose m - 1188 = -2*m - i*r, -5*m - 3*r = -1996. Let u = m - 198. Is u a prime number?
False
Suppose -5*d = -3*k + 2746, d - 6*d - 3663 = -4*k. Let i = 1288 - k. Is i a prime number?
False
Let d = -2 + 7. Suppose d*k + 2*o - 1 = -2, 0 = 3*k - 3*o + 9. Is k/((-57)/(-30) - 2) prime?
False
Let s(q) = -q**3 - 3*q**2 + 2. Let k be s(-3). Let f(l) = 8 - 49*l - k*l**2 + 61*l + l**2. Is f(9) a prime number?
False
Let g be (3 - 2)/((-3)/(-15)). Suppose 3*s = -2*l + 157, 0 = g*s + 4*l + 52 - 313. Is s composite?
False
Let l = 20 + -13. Is l composite?
False
Let q = -202 + 330. Let c = -70 + q. Is c composite?
True
Is ((-1730)/6)/(6/(-18)) composite?
True
Suppose -7*t + 450 + 1867 = 0. Is t prime?
True
Suppose -5 = -5*a, a - 16333 = -4*k - 0*a. Is k prime?
False
Let u(w) = w + 119. Let g(k) = k**2 - k - 2. Let q be g(2). Is u(q) a prime number?
False
Suppose -4*f - 5*q = -461, -4*q = -3*f - 5*q + 332. Is f a composite number?
False
Let k(p) = -61*p - 3. Suppose 2*g = 3*g + 3*l + 14, 4*g = -2*l - 16. Let c = 0 + g. Is k(c) prime?
False
Let u = -12 - -17. Suppose x = 5*h + 57, -4*h + 37 - 238 = -u*x. Is x a composite number?
False
Suppose -2*o + u - 1610 = -4*o, 0 = o - u - 799. Is o a prime number?
False
Let d = -53 + 118. Is d a composite number?
True
Let b = 95 + 96. Is b composite?
False
Let o(v) = -v + 13. Let x be o(4). Let h = 10 + x. Is h a prime number?
True
Let w be (5/2 - 1)*2. Suppose 12 = 3*y + 2*m, 3*y + 5*m = 25 - 4. Suppose -y*z - w*z + 15 = 0. Is z composite?
False
Let r(z) = -z**2 + 9*z - 9. Let u be r(8). Let s = -11 + -4. Is u/(6/4)*s a prime number?
False
Suppose 5*a + 4*r = 1901, -2*r + 1139 = -a + 4*a. Is a a prime number?
False
Let k(i) = i + 8. Suppose -29 = 5*x - 0*x + a, 15 = x - 5*a. Is k(x) composite?
False
Suppose 5*n - 500 = 3*n. Is (-2)/2 + n - -2 a composite number?
False
Let m(o) = -2*o**2 + o**2 + 3 + 9*o - 2*o - 1. Let h be m(7). Is (0 + (-95)/h)*-2 composite?
True
Let o = -1029 - -1498. Is o a composite number?
True
Is (-1266)/(-10) - 12/(-30) a composite number?
False
Let j = 8 + -1. Suppose -5*n - 657 = -5*y - j*n, -4*y = 2*n - 526. Is y a composite number?
False
Let r(i) = -3*i + 18. Let w be r(7). Is 2 - 288/w - 1 a composite number?
False
Suppose 54*o - 9332 = 50*o. Is o a prime number?
True
Let l be 4 - (0 + 2)/(-2). Suppose -f + 2*f - 135 = -r, l*r = 5*f + 665. Is r a composite number?
True
Let w = 5 + -2. Suppose -w*n - r = 16 + 6, -r = -4*n - 34. Is 1/(-4) - 250/n prime?
True
Let i = -2 + 86. Is (142/(-4))/((-6)/i) prime?
False
Suppose -k + 5 = 4*s - 37, -k + s + 67 = 0. Suppose -3*j - k = 4*c - 213, 3*c - 3 = 0. Is j prime?
False
Suppose 3*r + 2*r - 11543 = -4*a, 8658 = 3*a + 3*r. Is a a composite number?
False
Suppose 26 + 34 = 4*m. Suppose -m = a - 3*n, -2*n - 3*n = -3*a - 25. Suppose -3*c + 15 + 42 = a. Is c composite?
False
Let k(v) be the third derivative of v**5/3 - v**4/4 - 5*v**3/6 - v**2. Is k(6) a composite number?
True
Let c(a) = 6*a - 3. Let i = -8 - -10. Let v be c(i). Let h = 12 - v. Is h a prime number?
True
Suppose 4*a - 3*f - 3103 = 3*a, f + 9325 = 3*a. Is a composite?
False
Suppose 5*b + 10 = 5*r - 0*r, 5*b = -3*r + 22. Suppose 4*g + 16 = 0, 4*u - b*g = 9 - 1. Suppose u = -3*k + 4*v + 72 + 103, -3*v - 310 = -5*k. Is k prime?
False
Is (778/(-10))/(1/(-5)) prime?
True
Let n = -253 + 456. Is n prime?
False
Let h be (2 + -3)*(0 + 1). Let t(o) = -135*o**3 - o**2 - o - 1. Let g be t(h). Suppose -c - c = -g. Is c a composite number?
False
Let t = 200 + -110. Let l = t - 59. Is l prime?
True
Let h be 6 + (-2)/(-1) + -5. Suppose -4*s - 127 = -3. Is s/(h/3 - 2) a prime number?
True
Let a(b) = -b**3 - 5*b**2 + 7*b + 2. Let x be a(-6). Is 222/24*x/(-1) prime?
True
Let b(i) = 14*i**2 - 3*i - 3. Suppose -h + 6*h + 10 = -5*c, 4*h = 0. Let x be b(c). Let v = -28 + x. Is v a composite number?
False
Let x = 4 - 8. Let o be x/6 + (-11)/(-3). Suppose -2*l = 2*l + i - 129, 0 = -2*l - o*i + 77. Is l prime?
True
Suppose 2*a - a = 121. Suppose -4*r - r = -20, a = 5*f - r. Is f prime?
False
Let i(q) = -q**2 - 7*q + 11. Let u be i(-8). Let k(s) = -s**3 + 4*s**2 + s - 3. Let v be k(u). Let l = 22 - v. Is l prime?
True
Let g be (2/(-6))/(2/6). Let v(k) = -43*k**3 - 2*k**2 - k. Let y be v(g). Suppose -j - y = -3*j. Is j a prime number?
False
Suppose -i - 3 = 4*k - 44, 3*k - 42 = 3*i. Let c be (-1108)/(-44) + (-2)/k. Suppose 3*g = 4*m - 82, -5*m + g + c = -72. Is m a composite number?
False
Suppose -23 + 258 = d. Is d prime?
False
Suppose 2*m = -4*c + 18, -2*m - 2*m + 4*c = 0. Let x be 2/(((-3)/4)/m). Is ((-4)/x)/((-3)/(-114)) prime?
True
Let v be (-22 - -5)/(1/1). Let t = v - -96. Is t a composite number?
False
Let d(q) = -72*q - 7. Is d(-9) prime?
True
Let q(d) = d**2. Let y(c) = -16*c**2 - 4*c - 3. Let m(g) = 5*q(g) - y(g). Let k = 3 - 5. Is m(k) a prime number?
True
Let r(p) = p**2 - 6*p + 5. Let g be r(3). Is (-11)/(0 - g/(-52)) a composite number?
True
Let p = -3 + 4. Suppose -v + 3 = p. Is v - 2 - -5*5 a composite number?
True
Suppose -6*j + j + 13 = 2*w, -w = 5*j - 14. Suppose -j*b + 75 = -105. Suppose 5*g - 78 = 4*y, -4*g = -y - y - b. Is g a prime number?
False
Let s = 66 + 53. Is s a composite number?
True
Suppose -j + 3*r = -0*r - 80, 424 = 5*j - 3*r. Is j a prime number?
False
Let t = 106 + -47. Is t a composite number?
False
Suppose 7*y + 10 = 2*