et s be 0*(1 - 3/6). Suppose s = 4*b + 206 - 2. Let a = b + 128. Is a a composite number?
True
Let c(i) = 2*i**2 + 2*i**2 + 0*i + i. Is c(7) prime?
False
Let d(t) = 38*t - 14. Is d(6) a composite number?
True
Let h = -118 + 245. Is h a prime number?
True
Suppose 0 = -3*o - o - 20. Let y be (-164)/o + 4/20. Let b = y - -22. Is b composite?
True
Suppose -5*n - 5 = 4*h, 3*h + 24 = 6*n - 3*n. Let j be 0 + 2 + (3 - n). Is 5 + -2*(j + -1) a prime number?
True
Let p = 3983 + -2506. Is p a composite number?
True
Suppose 0 = v + v + 10, -3*g - 80 = -5*v. Let b = 50 + g. Is b composite?
True
Suppose -2*r = 3*r - 25255. Is r a prime number?
True
Let h(k) = 4*k + 5. Suppose 3*a + 3*r - 4 = 23, -4*r = 3*a - 30. Let p be h(a). Is p - (2*-1 - 0) a composite number?
False
Let b(r) = r - 31. Let y(u) = 4*u - 92. Let f(w) = -7*b(w) + 2*y(w). Is f(0) a prime number?
False
Let b(l) = 145*l**3 + 3*l**2 - 2*l + 1. Is b(2) prime?
False
Let a be ((-1)/1 - -2) + 1. Let v = 1 + 5. Suppose p + a = v. Is p composite?
True
Let b(y) = 1152*y**2 - y. Is b(1) a prime number?
True
Let b = 0 - -111. Is b prime?
False
Let d(u) = 36*u**2 - 3*u + 5. Let b be d(4). Let g = b - 384. Is g a composite number?
True
Let p = 23 - 17. Is p a composite number?
True
Let c = 1043 - 626. Is c a composite number?
True
Suppose -5*m - 2*m + 2751 = 0. Is m composite?
True
Let b = -303 + 460. Is b prime?
True
Let a be (-6)/(-2) + -2 + 2. Is a - 538/((-3)/3) a composite number?
False
Let v(r) = -13*r + 3. Suppose -m - 20 = 5*i + 34, -5*m = 3*i + 50. Is v(i) composite?
True
Let b = 9 - 5. Suppose 0 = -a - b*k + 169, 4*a + a - 735 = 2*k. Is a prime?
True
Suppose -2*w + 25 = -h, h + 0*w + 2*w + 9 = 0. Let g = h + 25. Suppose -4 - g = 3*r, -2*u + 50 = -2*r. Is u a composite number?
True
Let q(c) = 325*c**2 - c + 1. Let u be q(1). Let m = 2 - 0. Suppose m*o = 7*o - u. Is o prime?
False
Suppose i = -i + 52. Is i a prime number?
False
Let w be 645/(-18) - 1/6. Let r = w + 119. Is r prime?
True
Let p(c) = c**3 + 5*c**2 + 5*c + 2. Let d be p(-4). Let h be 3/(-1)*d/2. Suppose -b + m + 3*m = -153, 5*m = h*b - 445. Is b composite?
True
Suppose 2*n + a + 220 = 5*n, 4*a - 230 = -3*n. Is n a composite number?
True
Suppose 20290 = 22*u - 17*u. Is u prime?
False
Let w = -95 - -310. Is w a prime number?
False
Is (-60)/(-8) + (-4)/8 a composite number?
False
Suppose 0 = -o - m - 0*m + 1, -2*o - 4 = 4*m. Suppose -o*p + 332 = 104. Is p composite?
True
Suppose 5 = -4*g + 69. Suppose -c - 3*j = 4*c, -g = -2*c + 2*j. Suppose -k + 196 = c*k. Is k composite?
True
Let u(t) = 19*t**2 + 3*t + 2. Let w be u(-2). Let j = w + -41. Is j composite?
False
Suppose 0 = 2*v + 3*d - 4, -v + 14 = -4*d + 1. Suppose -h - 3*y + 192 = 0, -y - v + 2 = 0. Is h prime?
False
Let y(x) = -11*x + 2. Let k be y(-2). Suppose -2*t - t - j = -16, -3*t - 3*j = -k. Suppose 2*p - 34 = t. Is p composite?
False
Let v be 4/(-18) + 10250/(-45). Let h = -145 - v. Is h a composite number?
False
Let w(v) = 5*v**2 + 8. Is w(7) composite?
True
Suppose 3*i = i + 2*a + 806, 4*a = i - 403. Is i a composite number?
True
Let l be -10 + 0 + 1 - 1. Let p be (-2)/10 - 1522/l. Let k = p + -61. Is k a composite number?
True
Let t = -9 - -13. Suppose z + t*z - 10 = -5*p, 19 = 2*z - p. Let m(v) = -v**3 + 7*v**2 + 3*v + 10. Is m(z) composite?
False
Let z(q) = 6*q**3 - 5*q**2 - 4*q + 1. Suppose -5*g = 2 - 22. Is z(g) a composite number?
True
Let h = 327 + -598. Let w = h - -590. Is w a composite number?
True
Let h(p) = p**2 + 6*p + 10. Is h(-8) composite?
True
Suppose -10*y = -11*y - 24. Is (-6232)/y + (-2)/3 composite?
True
Let v = 24 + 58. Is v a prime number?
False
Let w(t) = -2*t - t + 3 - 4*t + 4*t - 2*t**2 - t**3. Let r be w(-5). Let m = r - -34. Is m a composite number?
False
Let f = -1 + 3. Suppose -5*m = 3*j - 57, -j + 57 = f*j + 3*m. Is j a composite number?
False
Suppose 5*k - 1306 = -2*t + 2224, -3*t = -5*k + 3530. Let j = k - 411. Is j a prime number?
False
Let j = 0 - -31. Suppose -4*n - 27 = -5*l, -5*l + 2*n + 14 = -7. Suppose -l*p + 143 = -j. Is p prime?
False
Let k = -950 + 1399. Is k composite?
False
Suppose -5*n = -10*n - 2*h + 2163, -4*n = -h - 1720. Is n composite?
False
Suppose -q = -5*w - 462, -1824 = -4*q - 0*q - 4*w. Is q a composite number?
False
Is (-4)/3*-186 + 3 a composite number?
False
Let v(k) = k**3 + 5*k**2 + 4*k + 5. Let u be v(-4). Let m(c) = 4*c - u*c**2 - 1 - 2*c**3 - c + 4*c**2. Is m(-3) composite?
True
Is (4 - -742)*(-2)/(-4) a prime number?
True
Suppose 0 = -3*y + 2*o + 6, 19 = -0*y + 4*y + o. Suppose 2*v - 4*v - 3*a = 1, y*a = -4*v. Let q = v + 6. Is q composite?
False
Is (9055/11 - 2) + (-18)/99 composite?
False
Is (2658/(-24))/(1/(-4)) a prime number?
True
Let u(r) = 5*r**2 + 5*r - 3. Let s(j) = -j**3 - 3*j**2 - j. Let i be s(-3). Is u(i) composite?
True
Let a = 59 + 58. Let b = 214 - a. Is b prime?
True
Suppose z = -o + 39 - 14, -5*z = 0. Suppose 126 + o = 4*j + 5*h, 3*j + 5*h = 117. Is j a composite number?
True
Let h = 502 - 341. Suppose 10*b + h = 11*b. Is b prime?
False
Let h = -414 - -713. Is h composite?
True
Let y(n) = -n**2 + 15*n - 5. Suppose 2*t + 4*k = -1 - 11, -t - 3*k - 10 = 0. Suppose 5*g = 4*b - 44, 2*g - 4 = -4*b + t*b. Is y(b) a prime number?
False
Let f = -461 - -736. Let j = -148 + f. Is j prime?
True
Let b be (12/(-4))/(6/(-16)). Suppose -5*x + b + 12 = 0. Suppose -2*n = -x*f + 206, 3*f + 4*n - 29 = 2*f. Is f prime?
False
Let r(m) = -m**3 + 5*m**2 - 5*m + 6. Let a be r(4). Suppose 0 = -a*j + 1 + 3. Suppose -3*q = -j*q - 33. Is q prime?
False
Suppose -96*y - 7356 = -100*y. Is y a prime number?
False
Suppose 2*c + c = b + 1260, -3*b + 1667 = 4*c. Is c a composite number?
False
Is 3/2*(-2286)/(-27) a composite number?
False
Let f(n) be the first derivative of n**5/20 + 2*n**4/3 + 7*n**3/6 + 2*n**2 - 2*n - 2. Let c(s) be the first derivative of f(s). Is c(-6) composite?
True
Suppose 0 = d + d - 194. Is d a composite number?
False
Suppose -3*f + 41 = g, -g - g + 67 = f. Let b = g + -15. Suppose 5*r = 2*t + b + 48, -3*r + t + 39 = 0. Is r composite?
False
Suppose 2*w - 5*w = -21. Suppose -2*b = 89 - w. Let v = b + 118. Is v prime?
False
Let n(j) = -1392*j - 7. Is n(-1) composite?
True
Let a be -1*1 + 2 + 1. Let p be -3*a/(-3) + 2. Suppose 0 = -y, k + 4*y + p - 37 = 0. Is k a composite number?
True
Let w(a) = 0*a - a + 1 + 0 - a + 10*a**2. Suppose 3 = -4*p + 3*p. Is w(p) composite?
False
Let m = -100 - -242. Is m a prime number?
False
Suppose -3*b = -5*b + 734. Is b a composite number?
False
Let i be ((30*2)/3)/1. Suppose 2*q - i - 18 = 0. Suppose 2*t + 0*n + 4*n - 38 = 0, n + q = t. Is t a composite number?
False
Suppose 505 = 7*l - 1812. Is l prime?
True
Let a be (2/((-2)/(-2)))/1. Let c = 257 - 151. Suppose -a*n = -c - 48. Is n composite?
True
Let i(w) = -1 + 2*w - 5 + 2*w**3 + 4. Let n be i(2). Let o = n + -3. Is o a prime number?
False
Let f = 164 + -99. Is f composite?
True
Let r(y) = 240*y**2 - 4*y + 1. Is r(1) prime?
False
Suppose 2*u + 5*c + 9 = 0, -2*u = -5*c - 10 - 11. Let y(i) = -3*i + u*i**2 - 4*i + i**2 + 2. Is y(7) prime?
True
Let h(s) = 3*s**2 - 6*s + 5. Let p(w) = w**3 + 6*w**2 + 6*w. Let t be p(-4). Is h(t) composite?
False
Let s(c) = c**3 + 9*c**2 + 9*c + 12. Let t be s(-8). Suppose -186 = -t*r + 2*r. Suppose f - r = -2*f. Is f composite?
False
Suppose 3*a - 2*o - 5 = 0, 2*a + 2*a + o = -8. Let p be 3/((-3)/(-3)*a). Is -3 + (-3)/p + 79 prime?
False
Let k(n) = 3*n**3 + n. Let f(y) = -2*y**3 + y**2 - y. Let l(j) = -2*f(j) - 3*k(j). Is l(-2) composite?
True
Suppose -3*q + b + 477 = 0, -2*b = -q + 82 + 82. Is q a prime number?
False
Suppose -3*k + 8*k + 4*d + 1 = 0, 4*k + 2*d = -2. Is -88*6/(-4) - k prime?
False
Suppose -284 = -7*j + 5*j. Is j a composite number?
True
Let a(w) = -w**3 + 5*w**2 - 9*w + 6. Let x be a(6). Let r = 24 + x. Let i = r + 187. Is i a composite number?
False
Let h(g) = 2*g**3 - 3*g**2 - 7*g - 5. Is h(4) composite?
False
Let y = 180 - 392. Suppose 4*o = 3*o + 6. Is (y/o)/(6/(-9)) prime?
True
Let t = 881 + -502. Is t composite?
False
Let a(t) = -t**3 - 12*t**2 + 9*t - 9. Is a(-14) a composite number?
False
Suppose -5*j + 241 = -169. Is j composite?
True
Suppose -4*t + 130 = 5*c - 122, 0 = 4*t + 2*c - 240. Is t prime?
False
Suppose 1 = j - 5. Let g(y) = -10*y + 3. Let m(c) = 11*c