er?
False
Let h = -3 - -7. Suppose -t + 40 = h*n - 27, -3*n = -t + 67. Is t a composite number?
False
Let y(q) = 48*q**2 + q. Is y(2) composite?
True
Let m be (-2 - (-3 - 5))*30. Suppose 2*i - 146 = m. Is i composite?
False
Let k = 1806 - 437. Is k composite?
True
Is (121/22)/(2/188) prime?
False
Is 369/3 + 7 - (-1 + 4) a prime number?
True
Suppose 0*k = k - 3*z - 916, 0 = 2*k + 2*z - 1840. Is k composite?
False
Is (-11 + -1)/(1 + -3) composite?
True
Suppose 3*w + 3*u = u - 3, 4*u = -w - 1. Is w/(-4)*4 + 13 a composite number?
True
Let k be (-2)/((-10)/4 + 2). Let n = k - -1. Suppose n*p - 125 = 60. Is p a composite number?
False
Is (-52688)/(-48) + (16/(-6) - -2) prime?
True
Suppose k + 14 = -m, 4*m + 82 - 6 = k. Let o be 1 - (m - 6/(-3)). Suppose 48 = 4*r + s, r - o = 2*s - s. Is r prime?
True
Suppose 30 + 16 = b. Is b a composite number?
True
Is -4*(2/8 + -3) a prime number?
True
Let l(p) = -p - 3. Let w be l(-7). Suppose w*b + 0*q - 231 = -q, -3*q = 5*b - 280. Is b a composite number?
False
Let j = -60 - -125. Let u(l) = l**2 + 3*l + 9. Let r be u(-6). Let t = j - r. Is t a composite number?
True
Let v = 10 + -1. Is 5975/45 - (-2)/v a composite number?
True
Suppose 5*n = 3*c + 6, -n - 15 = -3*c - 3*n. Suppose c*l + 102 = 5*l. Is l composite?
True
Suppose 28 + 34 = 2*q. Is q prime?
True
Suppose 1265 = y - 1742. Is y a prime number?
False
Let f(w) = w**3 + 8*w**2 - 10*w + 9. Suppose 8 + 22 = -5*b - 5*s, 4*b - s = -39. Let x be f(b). Suppose 5*n = -43 + x, -2*n = -3*g + 115. Is g a prime number?
False
Let w(a) = 972*a + 1. Is w(1) prime?
False
Let n = 23 - 14. Suppose -n*c = -6*c - 447. Is c prime?
True
Let b be 8/3*(-117)/(-6). Suppose f = -o - 25, 5*o - 7 = 3*f + b. Let r = f - -76. Is r composite?
False
Let z(y) = -12*y - 2*y + 4 - 5*y. Let a be z(-5). Let t = a + -16. Is t composite?
False
Is (5 - -1)*(-254)/(-6) a composite number?
True
Suppose 2*a + 1 = 5. Suppose -790 = -3*c - a*c. Is c a prime number?
False
Let p be (-2)/(-2) + (15 - -1). Suppose s = 4 - 2. Let r = p + s. Is r composite?
False
Suppose -o = o - 4. Is (-39 + 0)/((-3)/o) a prime number?
False
Suppose -4*p - 5*i - 12 = 0, p - 5*i = -p + 24. Suppose 4*h - p*c - 668 = -5*c, -4*h = c - 660. Let j = h - 85. Is j a composite number?
False
Let c = -3 - -123. Suppose -2*k + c = 2*l, -2*k + 16 = 6. Is l a prime number?
False
Let i(g) = 3*g - 7. Let a(d) = -6*d + 14. Let y(b) = -3*a(b) - 5*i(b). Is y(6) prime?
True
Is 2/1 - 2367/(-3) a composite number?
True
Let d = -2 - -2. Suppose 23 = -n - d*n. Let w = n + 42. Is w prime?
True
Suppose -3 = -3*u - 0. Is u/3 - (-1824)/9 composite?
True
Let s(x) be the third derivative of x**6/120 + 11*x**5/60 - 5*x**4/24 - 3*x**3/2 + x**2. Is s(-11) a composite number?
True
Let y(n) = -2*n + 41*n**2 + 3 + 1 - n**2 - 1. Is y(2) composite?
True
Let o = 17 - 12. Suppose 2*d + o = 5*l - 3*d, -2*l = 4*d - 32. Is l prime?
False
Let i(o) = o**3 - 4*o**2 + 3*o + 4. Let a be i(3). Is ((-37)/(-2))/(a/24) prime?
False
Let x(o) = -4*o**3 - 6*o**2 + 1. Let i be 0/((-4)/(-4 + 2)). Let m be -3 + 2/(-2 - i). Is x(m) prime?
False
Let y(j) = j - 1. Let v be y(9). Suppose 0*x - v = -4*x. Suppose x*h - 42 = -h. Is h composite?
True
Suppose -15 = -2*r - 1. Is r/2*-19*-2 a composite number?
True
Suppose 0 = 5*h - s - 18 - 2, -h + 18 = -3*s. Let r(y) = y**2 - 8*y + 12. Let p be r(8). Suppose -5*c + h*k + 99 = 0, -c + p = -4*k - 1. Is c composite?
True
Suppose 0 = -0*a - 2*a. Suppose a + 1 = d. Is -1 - (-2 - 18/d) prime?
True
Let f(d) = -d - 1. Let v be f(-6). Suppose 17 + 3 = -v*g, 4*j = 2*g + 320. Suppose j = 2*w + 8. Is w composite?
True
Suppose 2*c + 4*j - 17 = -3, 3*c + j = 16. Let r(a) = 4*a**3 - 6*a**2 + 6*a - 3. Is r(c) a composite number?
True
Let d(g) = -22*g**3 + g**2. Let v be d(-1). Suppose -v = -l - w, 0*w = w - 3. Let k = -9 + l. Is k composite?
False
Let s(a) = 8*a + 3. Let b(q) = -q**3 - 7*q**2 - 8*q - 5. Suppose 2*i - i = 0, -2*i - 30 = 5*w. Let t be b(w). Is s(t) a prime number?
True
Suppose 5*a + 233 = 6*a. Is a composite?
False
Let t = -1283 + 3172. Is t composite?
False
Let a(p) = -p**2 + 4*p + 5. Let b be a(6). Let z = b - -18. Is z composite?
False
Is 2526/10 + (-2)/(-5) a prime number?
False
Suppose 5*m - 3*a - 52 = 0, 0*a + 24 = 5*m + 4*a. Suppose -m - 12 = 4*f, -4*f = -s + 179. Is s prime?
False
Suppose 3*w = 5*v - 16004, -12 = -3*w + 7*w. Is v composite?
True
Suppose -2*c - 12 = 52. Let d = 2 - c. Is d prime?
False
Suppose -2*l - l = -w - 3301, -3281 = -3*l - 4*w. Is l a composite number?
True
Suppose f - i + 5 = -2*i, -i = -2*f - 7. Let l(m) = m**3 + 5*m**2 + 4. Let a be l(f). Let b = a - 10. Is b composite?
True
Let r(u) = 57*u**2 + 8*u - 8. Is r(-7) prime?
True
Let z(c) = -c**2 + 5*c - 2. Let m be z(4). Suppose -2*g = -5*s + 18, -g = 3*s - m*s + 2. Suppose -2*j = -s - 42. Is j a composite number?
True
Let t(a) = a**3 - 2*a**2 - 6*a + 3. Is t(8) a composite number?
True
Suppose -3*s + 10 = 2*s. Is s/(-3 + (-46)/(-14)) a prime number?
True
Let d(u) = u**3 + 3*u**2 + u + 1. Let i be d(-2). Let n(g) = -8 - 2 - 8*g + i + 0*g. Is n(-5) composite?
True
Suppose 0 = -2*j - 5*y + 3*y + 8, -j + 10 = -2*y. Let s = j - 16. Is 1098/30 - 4/s composite?
False
Let v = -1 + 4. Suppose -24 = v*d - 471. Is d a prime number?
True
Suppose -3*u = 4*c - u + 10, -3*c = 3*u. Let v = -5 - c. Suppose -3*d - 2*d + 105 = v. Is d composite?
True
Let k = 1 - 4. Let g = -3 + k. Is (-2 + 1 + g)*-1 composite?
False
Suppose -4*y = -4*g + 180, -4*g - 4*y + 6*y + 186 = 0. Suppose -2*l + g = j + 3*j, -3*l + j = -107. Is l prime?
False
Let c(h) = 238*h**2 - 10*h - 25. Is c(-3) composite?
True
Suppose 6*i - 10*i = -808. Is i composite?
True
Suppose -2*w = -3*o - 376, 0 = -4*o - 5*w + 106 - 638. Let s = o - -240. Suppose -2*m = -2*p - s, 2*p - 85 = -2*m + 23. Is m a composite number?
True
Suppose -2*n = -4*n. Suppose n*c + 390 = 2*c. Suppose 4*x = c + 281. Is x composite?
True
Is (-1)/4*-1 - 2163/(-4) composite?
False
Let l be 1*(0 + 3/3). Let i be (-2*5)/(-2*l). Suppose i*b - 145 = -50. Is b composite?
False
Suppose 4*u - 8*u + 28 = 0. Let m = 1 - u. Is (-1)/m + (-893)/(-6) a prime number?
True
Let r = -1405 + 2360. Is r prime?
False
Suppose -4*u + b = -557, 2*u - 267 - 9 = -2*b. Is u composite?
False
Let d = 509 - 835. Let b = -125 - d. Is b composite?
True
Suppose 3449 = 5*a - 316. Is a a composite number?
True
Let z be (13/(-2))/((-3)/18). Suppose 3*h + 34 = 2*v - h, 2*v - 5*h = z. Let s(y) = 8*y - 1. Is s(v) composite?
True
Let n(w) = -w**2 + 4*w + 2. Let d be n(-4). Is 156/10 - (-18)/d composite?
True
Let z be -1 + 5/(15/(-6)). Let r = 16 + z. Is r a prime number?
True
Suppose -22*u = -13*u - 2277. Is u a composite number?
True
Let b(u) = -u**3 + 4*u**2 + 4*u + 1. Let n be 3 + -1 - (1 - -1). Let c = 3 - n. Is b(c) a prime number?
False
Suppose 30 = -4*y - 154. Let o = y - -92. Is o a composite number?
True
Let n = 1 - 4. Let t be 7 + 4/2 + n. Suppose t + 109 = 5*i. Is i a prime number?
True
Suppose 609 - 1715 = -2*t. Is t a prime number?
False
Let i(b) = b**2 - b + 187. Is i(0) a prime number?
False
Let m be (1 - -1 - 1) + 4. Suppose m*x - 3*z = 7, -3 - 2 = -5*z. Suppose 3*a + x*a = 170. Is a prime?
False
Let o(m) = -m**3 - 2*m**2 + 3*m + 2. Let c be o(-3). Suppose 343 + 103 = c*s. Is s prime?
True
Let z(l) = -6*l + 5. Is z(-8) composite?
False
Suppose 4*s + 79 - 351 = 0. Suppose -j - 4*p + 3 = -s, -5*p + 15 = 0. Is j a prime number?
True
Let d(v) = 20*v - 6. Is d(7) a composite number?
True
Suppose 222 = 5*c - 273. Let w = 352 - c. Is w prime?
False
Suppose 1 = -2*k + 3. Let f be k/1*1 - -19. Let t = f + -13. Is t a prime number?
True
Is -1 - (-2 - -1 - (6945 - -2)) a composite number?
False
Let j be (4 + (-14)/4)*8. Suppose -2*h + 2*f = -f - 95, 5 = f. Suppose 5*m + 4*p - h = 0, j*p - 2*p + 44 = 4*m. Is m prime?
True
Suppose 9*m - 13*m = -844. Is m a prime number?
True
Let p be -3*(-2)/12*4. Let f be 2 + (-9)/6*p. Is (-19)/2*f*22 a prime number?
False
Suppose -a - 3 = 5*p - 1, 10 = -2*p - 5*a. Suppose p = -4*c - 147 - 97. Let y = -40 - c. Is y composite?
True
Let v = -255 + 634. Is v prime?
True
Let o(u) = 2*u**2 + 6*u - 4. Let z be o(-5). Suppose -3*a + z = -5. Is a a composite number?
False
Is 114/12*(1 + 21) a prime number?
False
Suppose 0 = 2*d + 4, 0 = -3*o - 0*o