 + 23. Let k be (-2)/(-6) + 582/z. Suppose 5*o - 3*o + 8 = 0, 0 = -3*j + 5*o + k. Is j composite?
True
Suppose 5*n + 2868 - 16403 = 0. Is n a composite number?
False
Suppose -2*l = -0*s - 3*s - 500, 260 = l + s. Suppose 148 = 5*x + 3*u - l, 5*u = 3*x - 222. Is x prime?
True
Let t(u) = 2*u**3 - u. Let z be t(2). Suppose -i + 29 = -z. Is i composite?
False
Let s(q) = q + 1. Let b be s(2). Let v = b + 0. Suppose 30 + 12 = v*d. Is d a prime number?
False
Let z be 3/(1/(2 - 1)). Suppose x + 324 = -2*x + z*m, 2*m = -3*x - 309. Is -1*(0 - x)/(-3) prime?
False
Let m = 656 - 188. Let x = -113 + m. Is x prime?
False
Suppose 0 = 3*v + 1 + 2. Let r(j) = 246*j**2 - j - 1. Let q be r(v). Suppose -k = 0, 0 = 2*x - 3*k - 176 - q. Is x a prime number?
True
Let x = -16 - -11. Is -2 - ((-2 - x) + -154) a prime number?
True
Let q(k) = -k**3 - 2*k**2 + 3*k - 1. Suppose 12 = 5*c - c. Suppose 0 = -3*f - c, -2*f + f = -4*v - 15. Is q(v) a prime number?
True
Suppose 2*x - 4*g = 42, -9 = x + 5*g - g. Is x prime?
True
Let j(x) be the first derivative of x**4/4 + 2*x**3 - 3*x**2 + 9*x - 3. Let y be j(-7). Suppose q = 5*f - y*f - 362, 5*q = 2*f - 263. Is f a composite number?
True
Let c be ((-2)/(-1) - -29)*-1. Let l be (3/(-2))/(4/(-120)). Let j = c + l. Is j composite?
True
Let c(x) = x**2 - 4*x - 4. Let a be c(5). Is -6 - -131 - (a + 2) composite?
True
Is (-8)/((-16)/(-5))*(-2824)/10 a prime number?
False
Suppose -4*v + v + 141 = 0. Let c = v + -8. Is c a prime number?
False
Suppose -5*d + y = -17, 0 = d + 2*y - 16 + 6. Suppose d = -4*n, j - n - 1120 = -2*j. Is j a composite number?
False
Suppose 3*o - 15 = 0, -4*o - 269 - 81 = -2*g. Is g a composite number?
True
Suppose m = -4*m + 790. Is m a prime number?
False
Let y(o) = o**2 + 5. Let u be y(4). Suppose 0 = -2*c + 7*s - 2*s - u, -s + 5 = 0. Is -4 - (c + -4) - -49 prime?
True
Let r(x) be the third derivative of 0*x + 1/24*x**6 + 2*x**2 + 0 - 1/30*x**5 + 1/8*x**4 - 1/2*x**3. Is r(2) composite?
True
Let z(c) be the third derivative of c**5/60 + 7*c**4/24 - 5*c**3/6 - 2*c**2. Is z(-9) a composite number?
False
Suppose -3*n + 9 = 0, 5*c - 3*n = c - 33. Is ((-237)/9)/(2/c) composite?
False
Is ((-7)/(-2))/((-7)/(-1106)) a prime number?
False
Let o be 48/18 + (-2)/3. Is -246*(o/(-3))/2 prime?
False
Is (-14)/28 - 399/(-2) a composite number?
False
Suppose 3*b + 2*x = 1605, 3*x + 0*x + 2123 = 4*b. Is b prime?
False
Suppose 13 - 1 = -2*x - 3*b, 2*x + 5*b + 20 = 0. Suppose 4*k - 2*s + 0*s - 308 = x, -8 = -2*s. Is k prime?
True
Suppose 99 = -2*c + 5*c. Is c a composite number?
True
Let n = 14 - 10. Let r = -15 + 46. Suppose 0 = v - n - r. Is v a prime number?
False
Let r(q) = -q**3 - q**2 - 2*q - 6. Let n be r(-2). Let i be (-11 - -1)/(2/(-53)). Suppose -i = -7*c + n*c. Is c prime?
True
Let u(c) = 192*c + 6. Let w = 13 + -7. Let l(b) = -191*b - 5. Let f(t) = w*u(t) + 7*l(t). Is f(-2) a prime number?
False
Let n = -237 - -496. Is n a composite number?
True
Suppose 9*q = 683 + 13204. Is q a composite number?
False
Let s(n) = 2*n**3 - 4*n**2 - 4*n - 10. Let m(a) = 5*a**3 - 7*a**2 - 7*a - 21. Let x(d) = 3*m(d) - 7*s(d). Let g be x(-6). Is g - 13*(-2 + 1) a composite number?
True
Suppose 8 = -i - 0*i. Let s(q) = q**2 - q - 3. Is s(i) a prime number?
False
Let g be (8/10)/(8/20). Let p = g + 0. Suppose 0 = -p*y + 6 + 56. Is y composite?
False
Suppose w = -5*b + 1011, 0 = 3*b - 5*b + 2*w + 414. Is b a prime number?
False
Is 3 + 0 + -4 - -552 a composite number?
True
Let z(m) = -m + 1. Let l be z(-2). Suppose -x = l*c - 8, 3 = 4*c + x - 7. Suppose 0 = -i - c*i + 114. Is i a composite number?
True
Suppose 3*s = 6*s. Suppose 2*h + 2*h - 16 = s. Suppose -8*b = -h*b - 316. Is b a prime number?
True
Suppose -j + 24 = 2*j. Suppose q + q - j = 0. Suppose 0 = q*x + 5*v - 306, -5*x + 0*v + 399 = -2*v. Is x composite?
False
Suppose -5*a - 8 = -b - 3*a, -2*b - 5*a = 20. Suppose -3*w = -b*w - 489. Is w prime?
True
Let l be (-8)/(-36) + (-25)/(-9). Suppose -44 = -l*p + j, -51 = -p - p + 5*j. Is p composite?
False
Let x = 13 - 8. Suppose 0 = -4*u + 5*j + 40, -j + 50 = x*u + 3*j. Suppose 0*m = 5*c - 2*m - 349, u = -5*m. Is c a prime number?
False
Let b(h) = 10*h**2 - 11*h + 6. Is b(5) composite?
True
Let l(w) = w**2 + 3*w + 2. Let t be l(-2). Suppose t*y - v - 40 = 5*y, -32 = y + 5*v. Let u(g) = g**3 + 10*g**2 + 11*g + 7. Is u(y) composite?
True
Let f = 34 - -1131. Suppose 0*c + 3*c + f = 4*k, -593 = -2*k + 5*c. Let y = k + -206. Is y prime?
True
Suppose 5*x = 3*x + 2570. Is x a prime number?
False
Suppose 5*v - 15 = 7*o - 2*o, 3*v + 3 = -o. Let l be -214*(3 - v)/(-6). Suppose 5*b = 4*h - 0*h - l, 0 = -3*h - b + 66. Is h composite?
False
Suppose 2*q = -0*q + 4, 4*p - 17122 = -3*q. Is p a composite number?
True
Suppose 3*k + 2*v = -k + 36, k = 5*v - 2. Let m = k + -4. Let j = m + 6. Is j prime?
False
Suppose -7103 = -5*d + 3*s, 4*d + 2*s = -3*s + 5712. Is d a composite number?
False
Let q(j) = -j**3 + 3*j**2 - 3*j + 3. Let d be 3*(3 + 0)/3. Let x be q(d). Let s(c) = c**2 + 4*c + 3. Is s(x) a composite number?
True
Let d(u) = u - 2. Let z be d(6). Let c = z + -6. Is c - (-18)/4*18 prime?
True
Let m be (16/6)/4*3. Suppose 17 + 11 = m*y. Suppose -h - 3*d = d + 6, -y = -4*h + 3*d. Is h prime?
True
Is 2577 + (-16)/(-7) + (-2)/7 composite?
False
Let m(p) = -92*p + 3. Is m(-2) a prime number?
False
Let z(u) = -583*u + 4. Is z(-1) composite?
False
Let t = 6 + -6. Let k(l) = -l**2 + 71. Is k(t) a composite number?
False
Let w(f) = 4*f + 70*f + 6 - 5. Is w(3) prime?
True
Suppose -5 - 15 = -5*k. Suppose v = k*v - 27. Let b = 16 - v. Is b composite?
False
Suppose 15 = 3*z, 5*k + 4*z - 317 = 88. Is k a prime number?
False
Suppose 11526 + 5266 = 8*a. Is a composite?
False
Suppose -2*x - 2*h - 12 = 0, h = 5*x - 0*x. Is x/(((-4)/138)/2) composite?
True
Is ((-2046)/(-12) + -5)*2/1 a composite number?
False
Let r = -8 + 4. Let y = r - -54. Is y - (-7 + 2 + 2) a prime number?
True
Let b(v) = 44*v + 11. Is b(18) prime?
False
Let g(y) = 23*y - 19. Is g(6) a prime number?
False
Let f(h) = 44*h + 17. Is f(10) prime?
True
Suppose -2*s - 2*s + 2056 = 0. Is s a composite number?
True
Suppose -t - 11 = 2*t - 5*g, -4*g = 2*t - 22. Suppose b = t*b + 20. Is (2 - b/(-4))*-38 a prime number?
True
Let u(j) = j + 2. Let m be u(3). Suppose -2*d = -m - 11. Let p(y) = 2*y + 5. Is p(d) a prime number?
False
Suppose 0 = l - 5*l + 124. Suppose 2*s - 13 = l. Is s a prime number?
False
Let u be (2/6)/(9/(-81)). Is u - (-1)/(2/508) a prime number?
True
Is ((-4)/12)/(1/(-231)) a prime number?
False
Let m(y) = -16*y - 1. Let w be -2 + 2 + 1*4. Let u be m(w). Let a = u + 132. Is a a composite number?
False
Let l be (-32)/(-14) - 8/28. Suppose l*z + 142 = 2*v, 0 = 8*v - 3*v + 2*z - 320. Suppose 8*t - v = 6*t. Is t composite?
True
Let f(m) = 18*m**3 + 2*m**2 + 4*m - 7. Let u be f(3). Suppose 3*d = 5*k - 7, 0 = 4*k + 3*d + 1 - 12. Suppose k*o - u = -121. Is o a prime number?
False
Suppose 0 = 2*q - 5*q + 318. Is q prime?
False
Suppose 4*c + 2*h = 588, 0*c - 2*h + 439 = 3*c. Is c prime?
True
Suppose 0 = -14*s + 11*s + 465. Is s a composite number?
True
Let c(u) = 36*u**2 - 3*u + 14. Is c(5) a prime number?
False
Suppose 3*t + 3*t - 2346 = 0. Is t a composite number?
True
Suppose 0 = 5*w - 89 - 6. Suppose -21 = -5*o - 4*f, 2*f + w = -5*o + 42. Suppose x + 155 = 5*x + o*d, 2*x - 3*d - 61 = 0. Is x a composite number?
True
Suppose 5 = -5*u, c + u + 1 - 4 = 0. Suppose 3*j - c*q - 2703 = 0, -3*q = 5 - 14. Is j a composite number?
True
Let f = -29 - -78. Is f a composite number?
True
Let g(m) = -2*m**3 + m**2 + 6*m + 3. Let t be -2*28/8 + 3. Is g(t) composite?
True
Let f = 8 + -2. Is 1/f - 317/(-6) prime?
True
Let s be ((-1)/(-4))/((-2)/(-8)). Let p(d) = d - 1. Let o be p(-7). Is (74/o)/s*-4 composite?
False
Suppose 0*v - v - j + 64 = 0, 0 = 3*v - j - 200. Suppose -b + g + v = 0, 8 - 182 = -3*b - 3*g. Let u = 93 - b. Is u composite?
False
Suppose 2*x + 15 = x + 4*p, 2*p = -4*x + 12. Let h be 9/(-12)*(x - -7). Is (148/h)/((-2)/3) composite?
False
Suppose 0 = -b + 5 - 1. Is (110/b)/(1/2) a composite number?
True
Let u be (6/(-8))/(2/(-248)). Let i(r) = -r**2 + 15*r - 12. Let f be i(14). Suppose -q - f*q = -u. Is q prime?
True
Let g = 6 + -6. Suppose q - 228 = -0*q + 5*k, q - k - 208 = g. Is q prime?
Fals