4). Let r be 65/15 + (-4)/f. Suppose 4*o - r*u = 293, -129 = 3*o - 5*o - u. Is o a prime number?
True
Suppose -27*a + 31*a - 8660 = 0. Is a a prime number?
False
Suppose 0 = 7*a - 3*a - 5*c - 1624, 0 = 5*a - 3*c - 2030. Let t = -189 + a. Is t prime?
False
Let i(w) = 10*w**2 + 3*w + 3. Let l = -7 + 5. Is i(l) a prime number?
True
Let r be 1/(272/(-91) - -3). Suppose r = 4*a - 105. Is a a composite number?
True
Let o be 0 - 1 - (0 + 0). Let c = o + 7. Is 541/7 + c/(-21) a composite number?
True
Let u = 58 + 29. Is u composite?
True
Let w(s) be the second derivative of 3*s + 0 - 7/2*s**2 + s**3 - 1/20*s**5 + 3/4*s**4. Is w(9) composite?
False
Is 4 + -1*(1 - -1) prime?
True
Let z = 7 + -16. Let m(p) = -p**2 - 17*p + 2. Is m(z) composite?
True
Suppose 0 = -4*v - 211 + 1175. Let n be (v*2)/2 + 0. Let o = n + -144. Is o prime?
True
Suppose -q + 6*q = l + 9113, 2*l = 3*q - 5465. Is q prime?
True
Suppose 0 = -2*s - 2*f + 12, 5 + 17 = 3*s + 5*f. Suppose -2*v = -v - 403. Suppose 2*g + 3*g - v = 4*c, -s*g = c - 314. Is g a composite number?
False
Let q(n) = -n**2 + 4*n + 4. Let l be q(5). Let w(t) = -126*t + 1. Is w(l) composite?
False
Suppose -11*n = -6*n - 895. Is n a composite number?
False
Suppose 5*k - k = 4. Let u be (0 - 1 - 46) + k. Is 2 + u*3/(-6) prime?
False
Suppose 6 = r + 1. Suppose r*q - 10 = 3*q. Suppose -155 = -q*k + 40. Is k prime?
False
Suppose -n = 2*n - 12. Suppose 2*t - 3*f - 274 = 2*f, -n*t = -5*f - 528. Is t composite?
False
Let f(i) = -2 + 0*i + i + 1. Let s be f(4). Suppose o - s*m + 30 = 6*o, m + 41 = 4*o. Is o a composite number?
True
Let d = -10 + 28. Is 1058/d + (-4)/(-18) composite?
False
Let m be 3/9 - (-173)/3. Suppose m = -0*f + f. Is f a prime number?
False
Suppose -4*s + 10 = s. Let i = s - 5. Is 79 - (0 + (-6)/i) a composite number?
True
Let u = -3 + 42. Suppose 4*w = -5*q - 0*q + u, -2*q + 18 = 4*w. Suppose -4*o - q + 54 = 3*h, -3*h - 9 = 0. Is o a composite number?
True
Suppose 17 = 6*s - 817. Is s composite?
False
Suppose 2*i = -4*w + 4*i + 7756, -3*w + 3*i + 5817 = 0. Is w prime?
False
Suppose g + 1323 = 5*v + 5*g, 3*g = 6. Is v a prime number?
True
Suppose -2*m + 164 + 98 = 0. Is m prime?
True
Suppose 5*g = -6 + 196. Suppose 4*w - 20 = -s, 0 = -w + 4*w + 5*s - 15. Suppose -2*u + 4*h + 6 = 0, 0*h + w*h - g = -4*u. Is u a prime number?
True
Suppose 0 = -3*d + 3*h + 540, 0 = 2*d - 0*h + 5*h - 332. Suppose -1 - d = -z. Is z prime?
False
Is (352/4)/4 - 3 prime?
True
Suppose -x + 3*a + 71 = -0*x, x = -4*a + 43. Is x a composite number?
False
Suppose -7 = 2*l - 5*h + 18, -5*l + 5 = h. Suppose -a - 4*a + 2345 = l. Is a a composite number?
True
Suppose d + 3*j = 248, d + 3*j - 252 = 4*j. Is d prime?
True
Let q(i) = 45*i**2 - 5*i + 1. Suppose -3*h + 4*d = d - 12, h - 3*d = 4. Let r be q(h). Suppose 0 = 4*w - r + 249. Is w composite?
False
Let g(c) = -c**3 + c**2 - 5*c - 6. Is g(-4) a prime number?
False
Suppose -2*a = -y - 3*a + 79, 2*y - 162 = -a. Is y composite?
False
Let m be (-4)/(-10) - 8/(-5). Suppose b + 367 = 2*u, 922 = m*u + 3*u - b. Is u prime?
False
Let n(g) = -g**2 + g + 98. Let r be n(0). Is (3/2)/(3/r) prime?
False
Let f(c) = 7*c**3 + 3*c**2 + 4*c - 9. Let g(u) = -15*u**3 - 6*u**2 - 9*u + 18. Let q(n) = -13*f(n) - 6*g(n). Is q(-7) prime?
True
Let q(j) = 3 - 3*j + 3 - 4. Let m be q(-2). Suppose s - 113 = m. Is s composite?
True
Suppose -o = -3*o + 622. Let l = o - 168. Is l composite?
True
Let r(g) = 25*g**2 + 2*g. Let a be r(-4). Suppose -a = -4*h + 5*v, -4*v + 93 + 129 = 2*h. Is h prime?
True
Is (3 - (1 - 0))/(12/14622) composite?
False
Let a = 19 - 58. Let x = -413 + a. Let o = 703 + x. Is o a composite number?
False
Let l = 29 - 17. Suppose -q + l = q. Suppose c - 7 = q. Is c a composite number?
False
Suppose -3*a = 4*w + 4, 3*a + 2 = -4*w - w. Suppose 5*k = o + 47, 0 = -w*o - 2 + 8. Let d = k + 57. Is d prime?
True
Suppose 2*m + 3*x + 72 + 78 = 0, 2*x + 292 = -4*m. Let d be (-56)/m - 2/(-9). Is (d - 0)/((-5)/(-555)) composite?
True
Let d(u) be the first derivative of u**2/2 + u - 3. Let f be d(4). Suppose -f*s = -5 - 5. Is s a composite number?
False
Let w(c) = -10*c + 3 - 2*c + 0*c. Is w(-4) a prime number?
False
Let z(w) be the third derivative of -2*w**4/3 + w**3/6 + w**2. Is z(-2) a prime number?
False
Is 3/(-12) + (-66344)/(-32) prime?
False
Suppose b + 2*p = -3*b + 152, b - 31 = -4*p. Suppose -5*v - 19 = 2*c, -5*c + 7 = -3*v + b. Let y = c + 60. Is y composite?
False
Let c(d) = 10*d**2 + 9*d - 8. Let r be c(7). Suppose -r = 3*m - 8*m. Is m a prime number?
True
Is (4 + -1)*228/36 a composite number?
False
Let t = 183 - -710. Is t composite?
True
Let y be 2/1 + (1 - 0). Let c be -6*-2*y/12. Suppose c*i = -2*i + 30. Is i a prime number?
False
Let h(q) = -q**3 - 6*q**2 - 9*q - 3. Is h(-7) composite?
False
Let h(r) = -101*r. Is h(-13) a prime number?
False
Suppose 2*s - n = -s - 9, 5*s + 13 = n. Is 92 + -1 + 4 + s composite?
True
Let g(p) = -2*p**3 + 6*p**2 - 11*p + 10. Is g(-7) a composite number?
True
Suppose 3*a + 4 = 19. Suppose 455 = 4*f + 5*m, a*f - 65 = 2*m + 512. Is f a prime number?
False
Let i = 894 - 630. Suppose -4*s = 3*j + 704, 3*j - 5 = -17. Let d = i + s. Is d a prime number?
False
Is 3/6*(221 - -5) a prime number?
True
Let o(i) = -i**2 - 6*i. Let j be o(-3). Is (j + -8)/(1/11) a composite number?
False
Let n(p) = -p**3 + 12*p**2 - 16*p + 15. Is n(10) a composite number?
True
Suppose 2*r - s = r + 8940, -44698 = -5*r + 3*s. Is r composite?
True
Suppose i + 3*i - 24 = 0. Is 47 + i/((-6)/(-2)) a prime number?
False
Suppose 3 + 7 = 2*y. Is (3 - y)*83/(-2) composite?
False
Suppose z + x = 2*z - 153, -2*z + 3*x = -308. Let c be (-6)/2 - ((-6)/(-2) - 104). Let r = z - c. Is r a prime number?
True
Suppose -5*g = -5 - 20, 3*s = -2*g - 1835. Is (s - -1)/(-16 - -14) a composite number?
False
Let b = 3 - 0. Suppose 73 = 4*t + b*d, -3*d - 2*d = -4*t + 113. Is t a prime number?
False
Let o(l) be the third derivative of -l**6/120 + l**5/20 + l**3/2 - l**2. Let k be o(6). Let a = 152 + k. Is a a composite number?
False
Is 1/(11055/(-2765) + 4) composite?
True
Suppose -4*c + 2*c = 78. Let v = 20 + -36. Let k = v - c. Is k composite?
False
Let r = -41 - -32. Let v(u) = -u**3 - 10*u**2 + 14*u + 2. Let m(s) = 2*s**3 + 21*s**2 - 29*s - 4. Let w(d) = 3*m(d) + 7*v(d). Is w(r) a composite number?
True
Let c = -1 - -2. Suppose t - 1 = -2. Is 7/c*(6 + t) prime?
False
Let p be (4 - 3)*5 + -2. Let d(j) = 2*j**2 + p*j**3 + 2*j + 0*j**2 - 3 + j - 4*j**2. Is d(2) prime?
True
Let x(b) be the first derivative of 5*b**4/4 - 2*b**3/3 + b**2 - 3*b - 3. Is x(2) composite?
True
Suppose 1304 + 1033 = 3*g. Is g a composite number?
True
Suppose 5*b - 2*l = 71, 4*b + 5*l = -0*b + 37. Suppose -3*d + b = -41. Suppose -3*p + d + 0 = 0. Is p composite?
True
Let g be 2/4 - 3/6. Suppose 127 = f - g*f. Is f prime?
True
Let l(a) = 2*a**3 + 24*a**2 - 27*a + 12. Is l(-13) a prime number?
False
Is ((-85)/15)/(1/(-15)) a prime number?
False
Let x be 1211/3 - 5/(-15). Let i = -275 + x. Is i composite?
True
Suppose 0 = 4*a - 140 - 284. Suppose 0*v + 4*v - 164 = 0. Let r = a - v. Is r a prime number?
False
Let s(i) = -5*i**3 - 4*i**2 - 2*i - 4. Let q be s(-3). Let v = 163 - q. Let k = -43 + v. Is k composite?
False
Let p(x) = -x**3 + x**2 + 37. Suppose -5*l = -0*l. Let w be p(l). Is (-2 - -3)*w/1 a composite number?
False
Let a(l) be the second derivative of 0 - 1/2*l**2 + 1/3*l**3 - 3*l + 11/6*l**4. Is a(-3) composite?
False
Suppose 3*y - 2190 - 1837 = 2*x, 0 = -3*y - 2*x + 4043. Is y composite?
True
Suppose -2*t - 3*m = -404, 4*t + 404 = 6*t + 2*m. Is t composite?
True
Suppose 5*w - 184 - 46 = b, -104 = -2*w - 2*b. Is w composite?
False
Suppose -l - k = 2*l - 1468, -3*k = -5*l + 2470. Is l prime?
True
Suppose -a + 2 + 0 = 0. Suppose 0 = -a*p + p. Suppose p = 3*c - 1 - 11. Is c prime?
False
Suppose -3 = -3*d + 3*f + 303, -d + 122 = -5*f. Is d prime?
True
Let w(u) = u**2 - u + 2. Suppose -2*i - 3 = -3*i. Let k be w(i). Let r(f) = f**2 - 4*f + 3. Is r(k) a composite number?
True
Suppose 3*v + 4083 = 6*v. Is v prime?
True
Let f = -11 - -13. Suppose 0 = -q - 5*x - f, -4*x + 6*x + 33 = q. Is q a prime number?
True
Let s be 91/6 + (-2)/12. Let y = 250 - s. Is y a composite number?
True
Let z(h) = -16*h + 1. Is z(-6) prime?
True
Suppose k - 5*g -