*b + 7 = 0, 0 = 3*i - 7*i + 5*b - 22. Is (-118)/i - h/9 composite?
True
Suppose 4*u = -5 + 1. Let c(n) = -12*n**3 - 4*n**2 + 5. Let a(q) = -37*q**3 - 11*q**2 + 14. Let t(m) = 6*a(m) - 17*c(m). Is t(u) prime?
True
Suppose -c = -13 + 2. Let v = -7 + c. Suppose -a + v*a + 6 = 0, 3*k - a - 47 = 0. Is k a prime number?
False
Let h(p) = -11*p. Let g be h(-2). Suppose -2 = 4*v - g. Suppose 177 = v*k + 3*f, 57 = 5*k + f - 112. Is k composite?
True
Let v(u) = u**3 - 5*u**2 - 10*u + 7. Suppose -4*d + 55 = 5*s, 55 = 5*s - d - 2*d. Suppose s = 6*t - 3*t + 2*n, 20 = 5*t + 3*n. Is v(t) prime?
False
Is ((1 - -2) + 0)*33765/9 a composite number?
True
Let x = -198 + 607. Is x prime?
True
Let g(s) = 3*s**2 - 13*s + 21. Is g(10) prime?
True
Let a(q) = q - 3*q**3 + 9*q**2 + 2 + 5*q**3 - q**3. Is a(-7) composite?
True
Suppose 4*o + 3*q - 219 = 0, o = -3*o - 5*q + 229. Is o prime?
False
Let h(x) = 67*x**2 + 2*x + 1. Let p be (-1 + -1)*(-6)/(-4). Let o be h(p). Is (-2)/9 + o/18 prime?
False
Suppose 0 = -0*f + 6*f - 8790. Is f a prime number?
False
Let l = 4 - 7. Let p = l - -1. Let y(f) = 4*f**2 - 3*f - 3. Is y(p) prime?
True
Let o(w) = 22*w + 6. Let r be o(11). Suppose 0 = 5*l - 4*c - 310, 4*l + 3*c + 2*c - r = 0. Is l composite?
True
Let b = 5 - 2. Suppose b*z - 381 = -f + 2*f, 0 = -3*z - f + 381. Is z composite?
False
Let x(p) = p**3 + 4*p**2 - 8*p + 2. Is x(7) prime?
False
Let p(g) = 111*g**2 + 5*g - 5. Is p(-4) prime?
False
Suppose 5*g - 23 = g - 3*o, -3*o + 17 = g. Suppose g*h - 84 = -2*i + 6*h, 0 = 2*h - 4. Is i a prime number?
False
Let f = 5 + -2. Suppose -z + q = -3*z + 26, f*z + q - 39 = 0. Is z a prime number?
True
Let t = -174 - -443. Is t a prime number?
True
Let x(r) = 3*r**2 + 1. Let i be x(1). Let p = 9 - i. Suppose -p*q = -3*q - 74. Is q a composite number?
False
Let j(z) = -z**3 + 11*z**2 + 9*z - 12. Let h be j(9). Let f be (1 - 0 - 1)/1. Suppose 5*g - y - 330 = f, 15 - h = -3*g - 3*y. Is g a composite number?
False
Let c(b) be the third derivative of b**6/60 - b**5/120 - 5*b**4/24 + b**3/2 + 2*b**2. Let t(s) be the first derivative of c(s). Is t(-6) a composite number?
True
Let h = -255 - -613. Is h a composite number?
True
Is (-2 - (1 - 4))*395 a composite number?
True
Suppose 4*u + 7 = -5*g, -4*g - 12 + 0 = 0. Let t = -2 + u. Is 0/1 + (15 - t) a prime number?
False
Suppose -4*v + 11313 = -1483. Is v prime?
False
Suppose -3*l - l + v = -8, -2*l - 4*v + 4 = 0. Suppose t - 71 = -n, 2*n - 327 = -3*n + l*t. Is n composite?
False
Suppose 4*l - l - 15 = 0, -4*w + l + 7 = 0. Let x be 3/((-2)/((-92)/w)). Suppose -3*u + 5*u = x. Is u a composite number?
False
Suppose 9*x - 7087 - 1967 = 0. Is x a prime number?
False
Suppose 2*m + 12 = -2*m. Let a = m - -13. Is a/1*2/5 a composite number?
True
Is ((-2)/(-3))/(4 - 1100/276) a composite number?
True
Is 3722/22 + 10/(-55) a prime number?
False
Let w(m) = -5*m - 7. Let p = 6 + -3. Suppose -4 = p*o + 14. Is w(o) a composite number?
False
Is (2812/8)/((-3)/(-6)) composite?
True
Let g be 190/45 + 4/(-18). Suppose -3*p - g*p = -1099. Is p prime?
True
Suppose 3*k = -2*k - 4*w + 22, 0 = -3*k + w + 3. Let b be (3/k)/((-3)/(-4)). Suppose b*o - 187 = o. Is o a prime number?
False
Let y(x) = -288*x**2 - 4*x - 1. Let q be y(3). Is ((-2)/(-2))/((-5)/q) a prime number?
True
Suppose -j - 2*o = 2*j - 699, 4*o = 4*j - 952. Is j prime?
False
Let c = 19 - 10. Let z be ((-4)/6)/((-3)/c). Is (-7)/(2/(-2*z)) a prime number?
False
Suppose 4 = -2*y, 2*y - 5 = -3*f - 0*f. Suppose -2*h = -h + f, -307 = -5*a - h. Is a prime?
False
Suppose q - 1743 = -3*c - 312, 2*c = -5*q + 7116. Suppose 527 = 4*s - 2*w - 1343, 5*w - q = -3*s. Is s composite?
True
Let w = -36 - 27. Let b = 4 + w. Let o = -2 - b. Is o prime?
False
Suppose -y + 10*t - 5*t = -65, 3*t = 0. Is y composite?
True
Suppose -5*s + 0*s = -1735. Is s a composite number?
False
Let t be (18 - 2)*(-5)/(-4). Let p = -8 + t. Is p/4 + (76 - 0) a prime number?
True
Suppose 4*m - 20 = -m. Suppose -3*o + 4 = -2*i, m*i - 3*i = -4*o + 20. Suppose -22 + 244 = 2*r + 2*x, r - i*x - 131 = 0. Is r composite?
True
Let h = -5 - -9. Suppose -20*f = -25*f + 80. Suppose -s + f = -2*q, -3*s - h*q + 16 = -2. Is s composite?
True
Let a be -2*1/(-2) - 2. Let x(y) = -8*y**3 + y**2 + y. Let c be x(a). Is (c/12)/(2/57) a composite number?
False
Suppose 181 = -4*m - w + 1057, -4*m - 4*w + 864 = 0. Suppose -4*y + m = 72. Is y a composite number?
False
Suppose -3 = -3*g + 2*m, 5*m - 3 = 4*g - 0. Suppose -46 = -g*j - 13. Is j a prime number?
True
Is 8292/21 + 6/42 a prime number?
False
Let y(d) = 2*d**2 + d + 286. Let h(j) = j**2 + j + 287. Let m(p) = 3*h(p) - 2*y(p). Suppose 5*k - 2*i - 5 - 1 = 0, -12 = -4*k + 4*i. Is m(k) composite?
True
Let w be -2 + 3 + 2 + 0. Let z(b) = b**3 + 4*b**2 - 4*b + 4. Let h be z(w). Suppose a + 4*a = h. Is a a composite number?
False
Let r be (-15)/(-5) + 0 + 2. Suppose -6*a + 2*a = -r*s - 18, -4*s = a + 6. Is 890/4 + s/(-4) a prime number?
True
Let c be 77/22*6/7. Let f(g) = 3*g**3 - 3*g**2 - 2*g + 1. Is f(c) composite?
True
Suppose y = -5*f + 29687, 23749 = 4*f - 0*y + y. Is f composite?
True
Let d = 52 - -160. Let b = d - 117. Is b a composite number?
True
Suppose 93 = 3*i - 108. Is i a prime number?
True
Let v be 10/4*(-4)/(-5). Let z(k) = 3*k - 1 - 5*k**v + k**3 + k**2 - 2. Is z(5) a prime number?
True
Let d = 5 + -8. Let x(n) = -10*n + 1. Is x(d) composite?
False
Suppose -4*v + 195 = 3*d, 4*v + v - 264 = 3*d. Is v a prime number?
False
Suppose 4*m - 553 = -17. Suppose -2*u + m = 18. Is u composite?
True
Suppose 0 = -3*l - 6 - 0. Is (15 - 2)/(l + 3) composite?
False
Let g = -6 + 26. Suppose 104 = 2*s + g. Let q = s - 29. Is q a prime number?
True
Let g(q) = 43*q - 3. Suppose 5*i - 27 + 2 = 0. Let y be g(i). Suppose -3*s + y = s. Is s prime?
True
Let f be (-12 + 262)/(0 - 1). Let o = f + 377. Is o composite?
False
Let j(w) = w**3 + w + 145. Is j(0) a composite number?
True
Let q = 27 + -24. Suppose 3*g - 3*a = 2437 - 430, -2017 = -q*g + a. Is g a composite number?
True
Let c = -6 + 9. Let n(d) = d**3 - 3*d**2 + 2*d - 3. Let o be n(c). Suppose -r + 157 = o*z, z = -3*z - 5*r + 202. Is z composite?
False
Suppose -2*m - 5*z = -150, -156 = -2*m - 3*z - 14. Is m a prime number?
False
Let q(x) = -2*x + x**3 + 9*x**2 - 2 + 0*x + 5*x - 3. Is q(-6) prime?
False
Let h = 0 - 4. Let u = 1 + h. Let v(i) = 9*i**2 - 2*i. Is v(u) composite?
True
Is ((-4)/(-6))/((-3 - 0)/(-5067)) prime?
False
Let b = 2 - -1. Suppose -2*j + 0*t + b = 5*t, -2*t - 22 = -5*j. Suppose 5*v - 3*l - 445 = 0, -4*v + 311 + 45 = -j*l. Is v prime?
True
Suppose 0 = -3*t + 3*y + 15 - 0, -19 = -3*t + 5*y. Suppose -t*v + 5 = -94. Is v prime?
False
Let h be ((-1)/(-2))/((-7)/(-98)). Suppose 2*d = h*d - 185. Is d composite?
False
Let s = 597 + -104. Is s a prime number?
False
Suppose -6*f + 3*f = -753. Is f composite?
False
Let v = 206 - 91. Suppose 0*c + 5*c - v = 0. Is c a composite number?
False
Let g(i) = 5*i**3 + 51*i**2 - 76*i + 44. Let n(k) = -k**3 - 13*k**2 + 19*k - 11. Let b(m) = 2*g(m) + 9*n(m). Is b(14) prime?
True
Suppose f - 10 = -5*t + 5, 4*f - 22 = -t. Suppose -3*m - t*l - 2*l = -1157, 0 = 4*l + 16. Is m prime?
False
Let i(p) = 4*p - 2. Let s be i(-3). Let f = s + 49. Is f prime?
False
Let a(g) be the second derivative of g**4/12 + 2*g**3/3 + g**2 + 2*g. Let b be a(-4). Is 5286/18 + b/(-3) a composite number?
False
Suppose 5*f = 3*j + 31, 3*f = 2*j + 4*f + 12. Let i = -7 - j. Suppose i*g = 3*v + 2*g - 65, 5*g - 26 = -v. Is v composite?
True
Let k(p) = p**3 + 3*p**2 + 4. Let j be k(-3). Suppose 5*y - 233 = 2*a, -j*y + 3*a = y - 232. Suppose 2*g = -4, y = 5*o + 3*g + g. Is o composite?
False
Suppose 0 = -0*m + 5*m - 1435. Is m a composite number?
True
Let d(x) = -4 + x**2 - 2*x + 0*x**2 + 1. Let g be d(4). Let v(o) = -o**2 + 7*o - 3. Is v(g) a composite number?
False
Suppose 8*y = 5*y + 2865. Is y prime?
False
Is 10*(265/10 + 0) a composite number?
True
Suppose 2*x - 2 = -2*g, 3*g - 2*g + 3*x + 5 = 0. Suppose -h + 37 = -o, h = -6*o + g*o + 37. Is h a composite number?
False
Suppose f - 5*f + 1316 = 0. Is f composite?
True
Suppose -5*i = -788 + 143. Is i composite?
True
Let g(v) = -v - 2. Let m be g(-6). Suppose -m*s = -s - 267. Suppose -2*b + 0*b + s = -5*i, 5*i + 200 = 5*b. Is b composite?
False
Let z(q) = -q