Is g(b) a composite number?
True
Suppose -3*i - 2*i = 3*u - 1003, 0 = 2*u - 3*i - 694. Is u a prime number?
False
Let m be 1 + -2 - 162/(-3). Suppose 3*n - 275 + m = 0. Is n a composite number?
True
Let p(d) = -d**3 - d**2 + 2. Let y be p(0). Suppose -2*q + 1022 = -3*u + 7*u, 243 = u - y*q. Is u a composite number?
True
Suppose r - 3*h - 36 = 0, 2*h = 3 - 5. Let b be (0 + 9)*r/9. Let k = -19 + b. Is k composite?
True
Suppose 3*s - 228 = -s. Is s a composite number?
True
Let m = 703 + -500. Let c be 212/2*-1 + -2. Let t = c + m. Is t a prime number?
False
Is (-3)/(7 + -1)*-38 a prime number?
True
Is -3 + (-4338)/(-22) + (-4)/22 prime?
False
Let v = 0 + 8. Suppose 3*j + v = 50. Let b = j - 0. Is b a composite number?
True
Suppose -48 = h - 3*h. Suppose h = x - 5*q, q - 36 = -4*x + 6*q. Suppose 3*o + x*g = 5*g + 24, 9 = 3*g. Is o a prime number?
False
Let i(y) = -y**3 + y**2 + y + 1. Let p be i(2). Let l = p - -2. Suppose 0 = -m + l + 5. Is m prime?
False
Let y(t) = t**3 - 2*t**2 - 5*t + 1. Let a = -9 - -13. Is y(a) a composite number?
False
Suppose 2*v = g + 1789, -5*v + 0*v + 4477 = 2*g. Is v a prime number?
False
Let n(a) = 2*a**3 - 8*a**2 + 6*a - 5. Is n(7) composite?
False
Is ((-40035)/(-9))/5*3 composite?
True
Let o = 138 + -64. Suppose -278 = -b + o. Suppose 0 = 4*g + 4*j - b, 2*g + 4*j - 7 - 167 = 0. Is g composite?
False
Suppose 4*b - 3 - 2 = 5*g, g + 1 = b. Suppose -2*x + 0*x + 70 = b. Is x prime?
False
Suppose -5*r + s = -3758, -2 + 5 = -s. Suppose r + 1101 = 4*v. Suppose -4*l - 5*p + 664 = 0, v = l + 2*l - 5*p. Is l prime?
False
Let n(u) = 50*u - 5. Let j(m) = -51*m + 5. Let t(o) = 3*j(o) + 2*n(o). Is t(-6) a prime number?
False
Let p be (-6 - -2)*33/(-6). Let r = p - -16. Suppose -z = z - r. Is z composite?
False
Suppose 0 = -3*l + 5*l + 30. Let z be 569/4 - 3/12. Let s = l + z. Is s a composite number?
False
Let t = 61 + -42. Let w = 336 + t. Is w prime?
False
Suppose 2*s = 3*s - 79. Is s a prime number?
True
Suppose 624 = 2*g - 434. Is g prime?
False
Let s(x) = x. Let m(g) = -6*g + 7. Let d(t) = -m(t) - 4*s(t). Let n be d(5). Let y(i) = 10*i + 1. Is y(n) prime?
True
Let z(x) = -2*x - 1. Let t be z(-5). Is ((-251)/2)/(t/(-18)) prime?
True
Let j = -8 - -12. Suppose j*x + n = 16, 9 = -x + 3*n - 0. Suppose -f = -5, 2*f - 90 = -r - x*f. Is r a prime number?
False
Let r = 7 + -4. Is 46/8 - r/(-12) composite?
True
Suppose 116 = 5*h - 164. Let f = 167 + h. Is f prime?
True
Suppose 0 = 2*r + 3*r - 105. Is r a prime number?
False
Suppose -3*p - 1972 = p. Let z = p - -1172. Is z a composite number?
True
Let j be (-1017)/2*(-4)/6. Let f = j - 142. Suppose -m = 3*r - 140, 0 = 2*m - 2*r - 107 - f. Is m a composite number?
False
Suppose -7*y + 5*y + 1916 = 0. Is y a composite number?
True
Let r(a) = a**3 - 6*a**2 + 7*a - 6. Let j be (-9 + -1)*2/(-4). Let s be r(j). Suppose 2*w = l + 17, -5*l + 40 = s*w - l. Is w prime?
False
Suppose 3*n - 17 = 5*f, -3*f - 5*n + 2*n = 15. Is (106*1)/(6 + f) composite?
False
Suppose g + u = 3*g + 10, -g - 2*u = 0. Is 37 - -2 - g/(-2) a prime number?
True
Suppose 3*w = 3*x - 14367, -3*x + 14379 = 5*w - 2*w. Let f be (10/6)/(0 - 3/(-18)). Is x/15 - 4/f prime?
False
Suppose 3*x = 4*y - 894 - 125, 0 = 2*x - 4*y + 678. Let v = -202 - x. Suppose -3*g = 0, v = 5*b - 5*g + 44. Is b composite?
False
Suppose 5*d = -d + 7530. Is d prime?
False
Let l = 3 - -1. Suppose 5*o - 156 = -26. Suppose m - 29 = -l*m - 3*q, o = 4*m + q. Is m composite?
False
Suppose -6*w + w = 3*g - 529, 0 = 2*w + 2*g - 214. Let j = w - 67. Is j a composite number?
False
Suppose -o - 29 = 4*j - 204, -2*o + 360 = -2*j. Is o composite?
False
Suppose 5*x = 5 - 0. Let p be (-12)/8 - (-26)/4. Let c = x + p. Is c a composite number?
True
Suppose 0 = 4*b - 0*b - 3*j - 417, 312 = 3*b - 3*j. Let a be (-2)/3 - (-1088)/3. Let v = a - b. Is v a composite number?
False
Let i = 3 - 1. Suppose -4*x = -i*q + 20, 8 = -2*x + 4*q - 14. Is 4 + x + (3 - 1) prime?
True
Let t(f) = 6*f**2 + 8*f - 5. Is t(5) prime?
False
Let q = -356 - -130. Let s = q + 353. Is s composite?
False
Let r = -7 + 10. Let i = 10 - r. Suppose 25 = -5*y, 0 = 4*f - i*f + 2*y + 109. Is f prime?
False
Is (-10844)/(-16) - (-9)/(-12) a prime number?
True
Let z(b) = -28*b**3 - 3*b**2 + b - 1. Let q be z(2). Is 0/(12/(-3)) - q a composite number?
True
Suppose 3 = 2*m - 235. Is m prime?
False
Suppose -3*p - 1061 = 295. Let n = p - -973. Let s = -148 + n. Is s a composite number?
False
Let u(d) = 7*d**2 + 9*d + 3. Is u(-6) a composite number?
True
Let i(u) = -41*u + 1. Let b be i(-3). Let y = b + -62. Is y composite?
True
Suppose -5*k + 2*x = x - 114, -3*x - 89 = -4*k. Is k a prime number?
True
Is 2/(-6) - 3522/(-9) a composite number?
True
Let u(g) = 418*g**2 + 1. Is u(1) composite?
False
Let y = 26 + 48. Is y a composite number?
True
Let p = -1929 - -3328. Is p a composite number?
False
Let t(w) be the second derivative of w**5 - w**3/6 + 3*w. Suppose 4*d = -2*l + 6, -3*d + 2 = -d. Is t(l) a prime number?
True
Let c(u) = -508*u + 7. Is c(-3) prime?
True
Suppose -j + 4*j + 3 = 0. Is 202 + 3 + j + -1 composite?
True
Suppose 3*u - u - 74 = 0. Suppose 4*l = -u + 173. Is l prime?
False
Let b be ((-4)/5)/(4/(-20)). Suppose 0 = -0*p + b*p - h - 215, 3*p - 165 = 2*h. Is p a prime number?
True
Let q = -4583 - -6514. Is q a prime number?
True
Let m = 8 - 5. Suppose 3*o + 3 = 3*b - 12, 6 = m*o. Is b composite?
False
Let j be 6/4 + (-21)/(-14). Suppose -3*d + j*l = -5 - 4, 3 = l. Is d a composite number?
True
Let n(d) = d**2 + 13*d - 5. Is n(-19) a prime number?
True
Suppose 5*l = 363 - 53. Is l composite?
True
Let k(m) = -94*m - 5. Is k(-1) a composite number?
False
Let n(g) = -g + 4. Let i be n(6). Is ((-78)/(-12))/(i/(-28)) prime?
False
Let z = 104 + -228. Let w = -69 - z. Is w a prime number?
False
Let b = 3954 - 1033. Is b prime?
False
Suppose 3 = -y - 0. Let i = 5 + y. Is i*3/18*507 prime?
False
Let n = 28 + 52. Let z = n - 57. Suppose 0 = -4*g + 4*x + 60, 3*g - 68 + z = -x. Is g a prime number?
False
Let d(m) = m**2 + 6*m + 2. Let j be d(-4). Let p(o) be the second derivative of o**4/6 + 3*o**3/2 + o**2/2 - o. Is p(j) prime?
True
Let f(w) = -3*w**3 - 2*w**2 + 1. Let j be f(-1). Suppose j*s = -10, 0 = -3*u + u + s + 403. Suppose -5*n + u + 31 = 0. Is n a prime number?
False
Let p = -328 - -627. Suppose -3*d - 3*s + 580 = -p, 0 = 4*s + 8. Is d composite?
True
Suppose 5*z = -10, 2*h + 4*z = -h - 17. Let b be (-339)/h - (0 + -1). Let v = -65 + b. Is v composite?
True
Let h(i) be the third derivative of i**6/120 - i**4/24 + 2*i**3/3 - 2*i**2. Let l be h(0). Suppose 94 = l*z - 94. Is z composite?
False
Let d(c) = -c**2 + 7*c - 6. Let t be d(7). Let n(y) = -10*y - 7. Is n(t) prime?
True
Suppose -5*u - 2*v = 2*v - 3503, 0 = 2*v + 6. Is u prime?
False
Suppose -2*b = b - 1902. Let h be 30/(-5)*4/(-8). Suppose -h*r - 2*o + 632 = -o, 3*r - o = b. Is r composite?
False
Let j(r) be the first derivative of -r**3/3 + 7*r**2/2 - 4*r - 1. Let a be j(6). Suppose -6*n = -2*o - a*n + 50, 3*o + 5*n = 64. Is o a prime number?
True
Let n(d) = 120*d + 65. Let y(p) = 15*p + 8. Let f(a) = 3*n(a) - 25*y(a). Suppose -4*r + 5*r = 0, -2*k - 5*r - 8 = 0. Is f(k) composite?
True
Let r be 18/4 - 1/2. Suppose -61 = -r*l - 1. Is l prime?
False
Let u(g) = -2*g**2 + 1. Let p(k) = -3*k + 5. Let i be p(4). Let b be u(i). Is (b/2)/(2/(-4)) a prime number?
True
Let l = 451 - 182. Suppose 5*g - 2*s - l = 0, -4*s + 12 = -2*g + 126. Is g a composite number?
False
Let k be 3/(-4)*2*34. Let b(d) = -d**2 + 136. Let q be b(0). Let t = k + q. Is t a prime number?
False
Let x be (-2)/5 - 14391/(-15). Let w = x + -630. Is w prime?
False
Suppose 6*k - 6 = 3*k. Suppose -a = k*a - 111. Is a a composite number?
False
Is ((-164)/8)/((-1)/14) a prime number?
False
Let n = -134 + 220. Is n a prime number?
False
Let f(p) = 1 - 2*p**2 - 5*p**2 - 1 + p**3 + 3. Let d be f(7). Suppose -d*m + 131 = -64. Is m a composite number?
True
Let j(w) = -53*w**2 - w + 5. Let q(l) = -l - 1. Let o(n) = -j(n) - 2*q(n). Is o(2) a composite number?
True
Let r = 301 + -205. Let v = r - -11. Suppose -f - 5*i + 29 = 0, 9*i - v = -3*f + 4*i. Is f composite?
True
Let f(l) = l - 5. Let k be f(5). Suppose 0 = -k*a + 5*a - 435. Is a composite?
True
Let y(b) = -b**2 - 7*b - 4. Let w be y(-6). Sup