s 2084/4*(1 + 0) a prime number?
True
Let t(p) = 2*p - 7. Let u be t(6). Suppose 0 = 4*k - k + 3*g - 147, 0 = -u*k + 4*g + 227. Is k composite?
False
Suppose -3*v + 2 = -13. Suppose 0 = v*j - 10 - 5. Is j/2*42/9 composite?
False
Let f = 495 + -242. Is f a prime number?
False
Is 2 + 3389 + 0/3 + -4 a composite number?
True
Suppose -2*d + 1402 = -0*d. Is d composite?
False
Let i be (1/(-2))/((-2)/(-168)). Let s = 73 + i. Is s a prime number?
True
Let d be -4*2/(3 - 5). Suppose -d*w - 259 + 1939 = -2*l, 2*w + l - 836 = 0. Is w a prime number?
True
Let x = -4 - -11. Suppose 8*t + 30 = 3*t. Let n = x - t. Is n composite?
False
Suppose -604 = m + 2*j + 2*j, -j = -m - 619. Let o = -285 - m. Is o composite?
False
Let b be (5 + -2)*(-2)/(-3). Suppose -7 = -3*d + b. Is (74/d)/(4/6) composite?
False
Suppose -2*v + 173 = -249. Is v a prime number?
True
Suppose 0 = -12*l - 1680 + 34308. Is l prime?
True
Let y = 508 - 65. Is y a composite number?
False
Suppose u + 3 - 7 = -4*d, 0 = d + 5*u + 18. Suppose -p - g = 2, -2 = g + 3. Suppose -p*s + 1 = -d*s - 4*j, -59 = -5*s + 2*j. Is s a prime number?
True
Suppose -i - 5*l = -4205, 3*i - l = 11447 + 1136. Is i a composite number?
True
Let f(v) = 4*v + 1. Let q be f(-1). Let k(b) = -4*b**3 - 2*b**2 + 3*b - 2. Is k(q) composite?
False
Suppose 0 = 2*x - 0*x + 2*m - 10, 20 = 4*x + 5*m. Let f(r) = -3*r + 1. Let o be f(x). Let s = 35 + o. Is s a composite number?
True
Let j = 8 + -14. Let w(r) = r**3 + 7*r**2 + 4*r - 8. Let y be w(j). Suppose y*k + o = -o + 228, -20 = -5*o. Is k a composite number?
True
Suppose -4*d + 4153 + 2539 = 0. Is d composite?
True
Let c(m) = 11*m**2 + 7*m + 1. Is c(-3) a prime number?
True
Let s(c) = -15*c + 5. Let f be s(-4). Let n(v) = -12*v + 14. Let l be n(5). Let a = f + l. Is a a composite number?
False
Suppose 4*b - 16 = 0, -3*g + 0*g = b - 1441. Is g prime?
True
Suppose x - 22 - 19 = -4*w, -x + 5*w = -68. Is x prime?
True
Suppose -2*t = -0*t + 204. Let b = t + 184. Let s = 119 - b. Is s a prime number?
True
Let s(a) = -a**2 + 7*a + 4. Suppose 5*p = f + 50 - 17, -p - 1 = -4*f. Let i be s(p). Is (-22)/(-3) + i/(-12) a composite number?
False
Let r(g) = 2*g**3 - 13*g**2 + 4*g + 11. Is r(10) a composite number?
False
Let f be -2 + 8 + 12/(-6). Suppose 0*w + 776 = f*w. Is w a prime number?
False
Let z(p) = 35*p**2 - 2*p - 1. Let n = -6 - -4. Is z(n) prime?
False
Let l(u) = 10*u**2 - 4*u + 17. Is l(5) composite?
True
Suppose 4*l = -4*m - 20, m - 25 = -0*l + 2*l. Let q be 4/20 + (-28)/l. Suppose 0 = q*o - 0*o - 165. Is o prime?
False
Suppose 8 = -4*i, -8 = 4*n + 5*i + 6. Suppose -2*j - 4*u + 50 = 0, 2*j + 5*u - 28 = 27. Let a = j + n. Is a prime?
False
Suppose 0 = -3*z - 4*d + 1045, 0 = -z - 5*d + d + 335. Suppose z = 5*i - 5*p, 5*i + 68 = 4*p + 420. Is (-2)/(-10) + i/10 prime?
True
Let l = 6 - 5. Is (-18)/(-2) + -2*l a composite number?
False
Suppose -183 = 3*k - 5*j, 3*k = -j + 93 - 258. Let l = k - -111. Is l a prime number?
False
Suppose -5*s = 25, 0 = 2*h - 3*h + s + 144. Is h composite?
False
Let j(t) = -27*t - t + 1 + 8*t - 24*t. Is j(-2) composite?
False
Let y = -4 - -6. Let n(u) = -12*u**3 + 3*u**2 + 4*u + 2. Let l be n(-2). Suppose 0*k = y*k - l. Is k a composite number?
True
Suppose -5*w + 20 = -5*t, t + 3*w = -3*t - 37. Let z(p) = p**3 + 16*p**2 + 7*p + 5. Is z(t) a composite number?
False
Let m = -3 + 4. Let p(k) = -k + 1. Let u be p(m). Suppose u*s + 111 = 3*s. Is s a composite number?
False
Let x(d) = -d**3 - 13*d**2 - 10*d + 15. Let m be x(-12). Let f = m + 84. Suppose 0 = -4*j + 295 - f. Is j prime?
False
Suppose 4*j - x - 1346 = 0, -233 - 445 = -2*j - 2*x. Is j composite?
False
Let i = 0 + -14. Let k = -3 - i. Is k prime?
True
Suppose -3*q = -q + 432. Is (-4)/20 + q/(-5) a composite number?
False
Let x(o) = o**3 + 9*o**2 + 3*o + 8. Is x(-7) a prime number?
False
Suppose -4*u + 0*u + 3*s = 27, -3*u - 22 = -4*s. Suppose -d = -5*y - 54, y - 24 = 3*d - 200. Let v = u + d. Is v prime?
True
Suppose -2*t + 876 + 10 = 0. Is t a composite number?
False
Suppose 0 = 2*k + 3*m - 7*m - 118, -2*k + 3*m = -120. Suppose -5*p + 5*z + k = -p, 10 = 2*z. Is p a prime number?
False
Let j = 312 + -167. Is j prime?
False
Let f = 2 - 2. Let l be 1 - (-22 + 1 - f). Suppose -4*d + 18 = -l. Is d a prime number?
False
Let c = 5218 + -2741. Is c prime?
True
Let k(c) = 5*c**2 + 5*c - 11. Is k(12) composite?
False
Let a(m) = -3*m**3 - 3*m**2 + 5*m + 3. Is a(-4) composite?
False
Suppose -2*o + 9 = j, -j + 3*j = o - 2. Suppose -o*r = r - 20. Suppose -u = r*u - 230. Is u a prime number?
False
Suppose -466 = 2*t - 9*a + 4*a, -3*t + 4*a = 699. Let r = t + 416. Let v = 316 - r. Is v composite?
True
Let l(a) = 23*a - 2. Let f be l(-2). Let h = f + 105. Let u = -22 + h. Is u composite?
True
Let m = -3 + 3. Suppose m = 3*n - 42. Let t = 19 + n. Is t prime?
False
Is 2 - (-1)/((-4)/(-80)) a prime number?
False
Let b = 9 - 6. Let x = b - -11. Is x prime?
False
Let u = -35 - 8. Let x = -242 - u. Let d = 286 + x. Is d prime?
False
Suppose g + 4*g + 99 = t, -62 = 3*g + 2*t. Let q be ((-2)/(1*-1))/((-6)/(-171)). Let w = g + q. Is w a composite number?
False
Let r(u) be the first derivative of u**3 - 7*u**2/2 - u - 7. Is r(7) composite?
False
Is (8/(-30)*3)/((-16)/15160) a composite number?
True
Suppose 5*j - 265 = u - 6*u, 3*u = 3*j - 189. Is j composite?
True
Suppose -2*x = -2*l + x - 5, -5*l = x + 4. Let d be l*4/6*3. Is (d - (0 - 4)) + 77 prime?
True
Let c(g) = -2*g**2 - 6*g + 10. Let o be c(-7). Let h = o - -97. Is h prime?
False
Is ((-5)/(-3))/((1 - -1)/258) composite?
True
Let o(d) = -50*d**3 + 2*d**2 + 4*d + 1. Is o(-2) a composite number?
False
Suppose -s + 15 = 4*s. Let h = -22 - -37. Suppose s*d + h = 57. Is d a prime number?
False
Let q(k) = -3*k**3 - 6*k - 22. Is q(-7) composite?
False
Let j = 7 + -2. Suppose 718 = j*n - w + 2*w, -5*w + 301 = 2*n. Is n composite?
True
Let b be (9 + -15)*62/(-4). Suppose r = -r + 10, h + 2*r = b. Is h prime?
True
Let b(h) = -23*h**2 + 5*h + 10. Let i(j) = 11*j**2 - 2*j - 5. Suppose 0 = -4*c - 2 + 14. Let z(u) = c*b(u) + 7*i(u). Is z(4) composite?
False
Suppose 0 = r - 6*r. Suppose -6*n + n + 10 = r. Suppose -u + 7 = l, -l + u + 17 = n*l. Is l a prime number?
False
Let y be (4 - 2)/(1/147). Suppose -z = 4*p - 1635, -3*z + 112 = p - y. Is p prime?
True
Suppose 0 = j + 8. Is j/(-2) + -2 - -83 prime?
False
Let x = -3 + 5. Suppose x*l + 10 = y - 3*y, -5 = -2*y + 3*l. Let g = y + 4. Is g composite?
False
Let w(y) = 6*y - 10*y**2 - 3*y**3 - 5 + 2*y**3 - 16*y - 2. Let r be w(-9). Suppose 0 = 5*x - 3*k - 187, -4*k - 9 = -r*x + 77. Is x a composite number?
True
Let y = 1454 + -777. Is y prime?
True
Suppose 3*b = 237 + 102. Is b prime?
True
Let d(o) = -263*o - 36. Is d(-3) composite?
True
Is -3 - -5 - -1730 - -1 a composite number?
False
Let t be ((-1)/(-2) - 1)*-10. Suppose 3 + 1 = 2*v, -2*b = t*v - 272. Is b a composite number?
False
Is (-2054)/(-10) - 6/15 a prime number?
False
Let o = -98 - -193. Suppose 0 = -i + o + 198. Is i composite?
False
Let d(x) = x**3 + x**2 + x + 2. Let i(w) = 6*w**3 + 12*w**2 + 3*w + 2. Let u(v) = 4*d(v) - i(v). Suppose 0*z - 2*z = 14. Is u(z) a composite number?
False
Suppose 15 = -2*d - 3*d, -s = -3*d - 10. Let x(r) = 33*r - r + 45*r. Is x(s) prime?
False
Suppose -2*t + 12 = t. Suppose -2*z + 146 = t*u, -z + u + 31 = -30. Is z prime?
False
Let c(n) = -20*n + 20*n + 128*n**3 - 1. Is c(1) composite?
False
Suppose 2*x - x - 16 = 0. Suppose -3 = -i + x. Is i a prime number?
True
Let t(l) = -4*l + 2*l + l. Let h be t(-6). Let x = 39 - h. Is x a prime number?
False
Suppose -2*i - 8 = -0*i + 4*h, 2*i - 5*h = 19. Suppose -3*r - i*f = -103, 4*r - f - 136 = -5*f. Is r composite?
True
Let u(s) = s**3 + 8*s**2 + 10. Is u(-7) a composite number?
False
Suppose -4*r + 5*q + 1685 = -657, q = -3*r + 1747. Is r prime?
False
Let q(d) = d - 4. Let z be q(0). Let a(r) = -2*r - 2. Let i be a(z). Suppose 5*j + 2*u - i*u = 619, 3*j + 5*u - 401 = 0. Is j prime?
True
Suppose 445 - 147 = 2*k - 3*t, 0 = k - t - 151. Suppose 0 = 4*y - k - 337. Is y a composite number?
True
Let s(h) = h**3 + 5*h**2 - 4*h + 7. Let v be s(-6). Let d(l) = -l - 2. Let p be d(v). Suppose 2*y - 2*k + 168 = 4*y, p*y - 2*k = 227. Is y a composite number?
False
Let h(t) = 3*t + 2*t**2 + 7 - 6*t - t**2 + 0*