(a) a composite number?
False
Suppose -150 = u - 6*u. Suppose 0 = -s + u + 25. Is s a prime number?
False
Let t(v) = 3 - 9*v + 2*v**2 - v**2 + 10. Is t(12) prime?
False
Let o(v) = 5*v**2 - v - 1. Let c be o(-1). Suppose -c*q + 273 = -302. Is q prime?
False
Let b(n) = n**3 + n**2 + 64. Let v be b(0). Suppose 0 = o + v - 191. Is o composite?
False
Suppose 7806 = 10*a - 7724. Is a a prime number?
True
Let j be 3*(-16)/(-12) - 0. Suppose m - j*m + 237 = 0. Is m a prime number?
True
Let x(l) = -2*l**2 + 11*l + 4. Let d be x(8). Let p = d + 170. Is p composite?
True
Let t = 332 - -111. Is t a prime number?
True
Let m(v) = 7*v**3 - v**2 - v + 1. Let f be m(1). Let s be 8/28 + (-60)/(-35). Suppose -b - f = -s*b. Is b prime?
False
Let h = 2 + -2. Is 37 + (-4 - -2) + h a prime number?
False
Let w = 46 - -23. Is w composite?
True
Let i(f) = f**2 - 7*f - 2. Let r be i(6). Is ((-28)/6)/(r/12) a composite number?
False
Let r(y) = 202*y**2 + 3*y - 2. Is r(1) prime?
False
Suppose -175 + 1 = -3*s. Is s composite?
True
Let n(g) = -3*g**3 + 2*g**2 - 5*g + 2. Let i be n(3). Let m = i + 173. Is m prime?
True
Let s be 2 + 1/(1/2). Suppose 3*t + 12 = i, i + s*t + 16 = -4*i. Suppose -3*n - 42 + 327 = i. Is n a composite number?
True
Suppose -14 = 4*k + 82. Is k/40 - 168/(-5) prime?
False
Let r(a) = -a**3 - 2*a**2 - a. Let b be r(-2). Suppose l + b*l = -48. Is ((-54)/24)/(6/l) composite?
True
Let g = -10 + 16. Suppose 2*t = 3*q - g*q + 326, -2*t - 416 = -4*q. Is q a prime number?
False
Suppose 8*b = 5*b + 1623. Is b a composite number?
False
Suppose -n = 1 - 4. Let b(p) = p**2 + 5*p - 3. Is b(n) composite?
True
Let b = -19 - -4. Let p be (-3)/b + 9/5. Suppose -p*w + 4*w = 4*u + 40, 5*w - 73 = u. Is w composite?
True
Suppose 5 = f + 2. Suppose f*h = 4*i + 18, -3*h = -i + 6*i + 9. Suppose 2*q - q + 2*u = 49, 0 = -q + h*u + 45. Is q composite?
False
Suppose 5*t - j - 10 = 4*j, 3*j = -3*t + 6. Let f be 133/49 + t/7. Suppose -4*r + 164 = 5*s, -f*r = -4*r + 5*s + 66. Is r a prime number?
False
Let i = 148 - 88. Let r be i/27 + (-2)/9. Suppose r*g - m = 81, -2*m - 2*m = 12. Is g a prime number?
False
Suppose a - 2*u - 55 - 93 = 0, a + u - 163 = 0. Is a prime?
False
Suppose -5*l + 2026 - 326 = 0. Suppose -438 = -4*w + t, 3*w - l + 5 = 4*t. Is w prime?
True
Let y be 0/1*(-3)/(-6). Suppose 4*s - 470 = 2*s. Suppose y = 4*p + p - s. Is p prime?
True
Let z(l) be the third derivative of 11*l**5/30 + l**4/24 + l**3/6 + 7*l**2. Is z(-2) composite?
True
Let h be (3 + -2 + 2)*1. Suppose 3*a = o + 1, -o - a - 7 = -5*o. Suppose -o*m - h*b - 2*b = -61, -3*b + 181 = 5*m. Is m composite?
True
Let x be 142 - (0 - (0 + -1)). Suppose -295 = -5*b + 5*h, 5*b = -3*h + x + 138. Suppose 2*j + r = 38, -2*r + b = 3*j - r. Is j composite?
False
Let n be (4/4)/((-1)/6). Let w = n + 3. Is (-144 - -3)/(w/2) prime?
False
Let s be 153 - (2 - 2 - -2). Suppose -r + n + s = 4*r, 5*r + 4*n = 171. Is r prime?
True
Let l = -8 - -12. Is 811/l + (-1)/(-4) prime?
False
Suppose -5*y - 5*v + 3*v + 6743 = 0, 2*v = y - 1339. Is y composite?
True
Let f be (-10)/1*(-2)/(-5). Let j be 308/12 + f/6. Let w = j + -14. Is w prime?
True
Suppose 2*q + o = 2013, -5*q + 701 = 5*o - 4334. Is q a composite number?
True
Suppose -2*c + 96 = g, -5*g + 4*c + 609 - 115 = 0. Let i = 123 + g. Is i a prime number?
False
Let w(o) = 56*o**2 - 3*o - 2. Is w(-1) composite?
True
Let a = 3875 - 6077. Is (-16)/56 - a/14 composite?
False
Let s be (8/(-5) - -2)*5. Suppose -3*o + s*d = -437, 4*o - d - 4*d = 592. Is o composite?
True
Suppose 0 = 4*p - 552 - 292. Suppose 0 = 5*o - 776 + p. Is o composite?
False
Let s be -2 + ((-33)/3 - -2). Let k = s - -69. Is k a prime number?
False
Let y(m) = 2*m - 4. Let p be y(6). Suppose -2*z + 227 = 4*t - 3*t, 459 = 4*z + 3*t. Suppose -q - i + z = 0, i = -3*i - p. Is q a composite number?
False
Suppose 4*s = 2*s + 2, -3*j + 18623 = 2*s. Is j a composite number?
True
Suppose -3 = 4*z - 15. Suppose -5*k + 14 = 3*f, 0 = -5*f + z*k - 1 + 13. Suppose -f*v + 56 = v. Is v prime?
False
Suppose -2*q + 2543 = 325. Is q prime?
True
Let l = -4 - -99. Suppose -5*f + 3*c = -0*f - l, 19 = f - 3*c. Is f prime?
True
Suppose 5*t + 20 = -35. Let r = t + 202. Is r composite?
False
Let k = -111 + 190. Is k a prime number?
True
Let t(q) = 4*q**2 + 28*q + 7. Is t(11) composite?
True
Let k(u) = 14*u + 2. Let w be k(4). Let b(t) = 9*t**2 - 5*t. Let d be b(1). Suppose -2*z - 7*a + w = -2*a, -d*z + 4*a + 60 = 0. Is z a prime number?
True
Is (-2)/((-680)/335 + 2) composite?
False
Let b(m) = -6*m + 5. Let n(x) = 78*x - 66. Let z(v) = -27*b(v) - 2*n(v). Let k(i) = 19*i - 8. Let o(a) = 2*k(a) - 7*z(a). Is o(-4) composite?
True
Suppose -8 = -2*x, q + x - 184 - 264 = 0. Suppose q = 5*m + d, 0*m - 3*d = 5*m - 442. Is m prime?
True
Suppose -y - 7*s = -2*s + 9, 0 = -2*y + 4*s + 24. Suppose -8 = -2*b + y*b. Let q(j) = -29*j + 1. Is q(b) a prime number?
True
Let o(p) = -2*p**2. Let k(j) = j**2 - 1. Let l(r) = k(r) - o(r). Is l(8) composite?
False
Is 2 + 2/4 + 24924/24 a composite number?
True
Let a(g) = g**2 + 16*g + 11. Is a(18) a prime number?
False
Is (18 + (0 - 1))*43 composite?
True
Let a(y) = -4*y + 4 + 4*y**2 + 2 + y - 4*y. Is a(5) composite?
False
Suppose 7*q = 8*q - 1561. Is q a composite number?
True
Suppose -4*l + 21 + 5 = 5*s, 0 = -l + 4. Let j(t) = -t**2 + 8*t + 12 - 3*t + 7*t**s - 5 - t**3. Is j(6) prime?
True
Let c(t) = t**3 + 6*t**2 - 3*t + 4. Let s be c(-3). Let p = 43 + 18. Let r = p - s. Is r prime?
False
Let u = -76 - 46. Let q = 299 + u. Is q prime?
False
Let o(b) = -4*b**3 + 3*b**2 - 5*b + 2. Let h(j) = j**3 + j + 1. Let d(r) = -3*h(r) - o(r). Is d(4) a prime number?
True
Suppose d + 0*g = -2*g + 79, 25 = 5*g. Is d a prime number?
False
Suppose -3*f - 2*a + 9 = a, 10 = 4*f + 2*a. Let n(y) = -9 + 2*y**f - 6*y + 9*y**2 - 7*y**3 + 6*y**3. Is n(10) a prime number?
True
Let u = 9 - 9. Suppose 3*m - o - 882 = u, -2*m = 3*o - 0*o - 577. Is m prime?
True
Suppose -4*a - 6 = -6*a. Suppose -4*v - a - 47 = -3*z, -2*v = 4. Is z composite?
True
Suppose 0 = p - i - 895, 3*p - 2*i - 3435 + 752 = 0. Is p a prime number?
False
Let f = -7 - -7. Suppose u - 50 + 4 = f. Is u a composite number?
True
Suppose 5*q - 1971 = -r, -4*q = q - r - 1969. Is q composite?
True
Let j = 7 - 6. Let t = -5 - j. Let p = 27 + t. Is p composite?
True
Let r be (-3)/6*(-13 + 3). Let o(h) = -5*h + 2*h + 2*h**2 - 2*h + 6. Is o(r) a composite number?
False
Let m = -672 - -2399. Is m prime?
False
Let b be ((-15)/1)/((-8)/40). Suppose 0 = 5*h + i - b, -5*h - 5*i = -81 - 14. Is h composite?
True
Suppose 2*t + 9 - 1 = 0. Let q be (8/(-6))/(t/474). Is (-3)/(-7 + 1)*q a composite number?
False
Let b(k) = 2*k**3 - 5*k**2 - 8*k + 4. Is b(5) a composite number?
False
Let t = 4 + 23. Suppose -4*x - t = -5*x. Let r = x - -6. Is r a prime number?
False
Suppose -5*x = -4*x. Suppose x = 4*p + p. Suppose -4*f + p*f = -136. Is f a composite number?
True
Let n be 2/(-4)*-6*1. Suppose -2*v - 5*r + 3 = -4*v, v = r + n. Is v a prime number?
False
Let b be (-1)/(-1) + (0 - 2). Let d = 5 + b. Suppose -4*t = -d*s - 0*s - 168, -4*t - 3*s + 203 = 0. Is t a prime number?
True
Suppose 298 = 4*u - 2*i, 4*i + 178 = 2*u + 44. Is u prime?
False
Let u = 3 - -2. Suppose 3 = -4*c + u*c. Suppose -3*y = c*n - 51, y - 4*n - 16 = -y. Is y prime?
False
Suppose 3*u - 26 = 16. Is u prime?
False
Let n(f) = -14*f**3 + 4*f**2 + 4. Let o be n(-3). Suppose 0 = -i + 3*i - t - o, -i + 231 = 5*t. Is i a composite number?
False
Let j(c) = 4*c**3 + 17*c**2 + 2*c - 7. Let b(w) = w**3 + w**2 + w. Let y(t) = -3*b(t) + j(t). Is y(-12) a prime number?
True
Let l = -210 + 54. Let v = 235 + l. Is v a prime number?
True
Let d(i) = 6*i**2 + 11*i + 6. Let c = -12 + 5. Is d(c) composite?
False
Suppose -6*p = -p - 10. Let f(u) = -u + 0*u + 2 + 4*u + 8*u**p. Is f(3) a composite number?
False
Suppose 2*f = 3*b + 2*b + 12, -f - 3*b = 5. Suppose 5*j - 66 = -c, 2*j = -1 - f. Is c a prime number?
True
Let h(j) = j**2 + j - 2. Let u be h(-4). Let n = -30 + 15. Let p = u - n. Is p a composite number?
True
Let c be (172 - (1 + 2))/1. Let w = c - 100. Is w a prime number?
False
Let t = -2 + 4. Suppose 0 = t*i - 7 + 3. Suppose 0 = i*d - 16 - 54. Is d composite?
True
Suppose 314 = 2*f - 3*i, 2*f + 4*i - 286 = -0*f. Is 4 + -7 - (-1 - f) prim