2. Is o composite?
True
Suppose -3 - 5 = -4*k. Let n = k - -48. Is 3 + (n - 1) - 3 a composite number?
True
Let v be 210/55 - 2/(-11). Suppose 3*c + 89 = v*c. Is c prime?
True
Let o = 11 + -14. Let w(k) = 27*k**2 - 2*k + 4. Is w(o) composite?
True
Suppose p - 2 = 1. Is ((-10)/p)/(2/(-21)) a composite number?
True
Suppose 4*n = -5*h - 609, -n + 601 = -5*h + 3*n. Let c = h + 234. Is c a composite number?
False
Let o(b) = 148*b + 7. Is o(3) a prime number?
False
Suppose 2*r = -18 - 0. Let t be 4/12 - 42/r. Suppose 4*j - t*l = 308, -j - 4*j + 4*l = -394. Is j a composite number?
True
Suppose -l = -0*l + 4, -l - 13 = 3*o. Suppose -4*i + r = -19 - 10, -4*r = 3*i + 2. Is (o/i)/((-1)/74) composite?
False
Let g be 8 + (-3)/(-3) + -2. Let x(u) = 3*u**2 - 10*u + 10. Is x(g) a prime number?
False
Suppose 3*n - 174 = -0*n. Is n a prime number?
False
Let t be (-1)/((-2)/(-79))*-2. Let d = t + -20. Is d composite?
False
Let p be 0/1*(-3)/(-6). Let f(t) = t**3 - t**2 + 337. Is f(p) a prime number?
True
Suppose 125 = 8*k - 3*k. Let m = 54 + k. Is m a prime number?
True
Let b(l) = 6*l**2 - 3*l**2 - 9 - l - 4*l**2. Let i be b(0). Let g(x) = -x**2 - 12*x + 8. Is g(i) prime?
False
Suppose -3*v + 4*a - 10 = -39, 2*v - 3*a - 21 = 0. Suppose 2*c + 3*c - 11 = 3*r, 2 = -c + 2*r. Suppose -v*w = x - 992, c*x - 12 = 8. Is w prime?
False
Let s(z) = 3 + 2 - 4 + z. Let a be s(-2). Let l(n) = 54*n**2 - n. Is l(a) a prime number?
False
Suppose 2*b - 524 = -2*b. Is b prime?
True
Let o(t) = t**2 - t - 17. Is o(12) a composite number?
True
Suppose -2*j + 7*j = 30. Suppose -2*g - 2*a + 68 = -g, j = -2*a. Is g composite?
True
Suppose 2*l - 2217 + 199 = 0. Is l composite?
False
Let t be 3/((-27)/6)*3. Let o be (-1 + 1)/(0 - t). Suppose o*z + 57 = 3*z. Is z prime?
True
Let j(k) = 109*k**2. Suppose 2*b = -2*a - 12, -5*a - 2*b - 17 = -2. Is j(a) composite?
False
Suppose -10*l + 2765 = -5*l. Is l composite?
True
Suppose -2*l + j = -75, -5*j + 3*j = 5*l - 174. Suppose 3*a - 4*g + 3*g - 115 = 0, a + 2*g = l. Is a a composite number?
True
Let t(c) = 12*c**2 + 1. Is t(8) composite?
False
Let s = -210 + 391. Let n = 320 - s. Is n prime?
True
Let v = 246 - 115. Is v a prime number?
True
Let u(z) = z**3 - z**2 + 875. Let k be u(0). Suppose -4*w + k = w. Suppose -2*l = 3*l - w. Is l a composite number?
True
Let h = -433 + 612. Is h a composite number?
False
Suppose 0 = 18*g - 16*g - 1594. Is g prime?
True
Is (-3246)/(-1)*(-17)/(-34) prime?
False
Let p = 4 + 61. Is p a composite number?
True
Is 3694/(-5)*-1 + 2/10 a prime number?
True
Let n = 9 + -3. Suppose -4*v + 16 = -n*v. Let r(d) = -5*d - 3. Is r(v) a composite number?
False
Suppose -1444 = -4*x - 5*r + r, -721 = -2*x - 3*r. Let h = x + -217. Is h composite?
True
Let r(x) = -35*x. Let t(a) = -23*a. Let d(q) = -5*r(q) + 7*t(q). Is d(1) a composite number?
True
Let z = -1 - -10. Is 14/(-2 + 24/z) composite?
True
Suppose -5*s - 20 = -m, 3*s + 1 = 2*m - 4. Let l(c) = -c**3 - 3*c**2 + 3*c + 4. Is l(s) prime?
False
Let c(g) = g**2 - 8*g + 7. Let n be c(7). Suppose -z = 4*q - 7*q + 151, z + 4 = n. Is q prime?
False
Suppose -21*c = -19*c - 2334. Is c a prime number?
False
Let v be -1 + (2 - -1*11). Suppose k - 5*k = -v. Suppose 87 + 180 = k*g. Is g composite?
False
Is ((-20)/(-50))/((-1)/(-415)) prime?
False
Let i(h) = h - 15. Let f be i(11). Let k(n) = -5*n + 1. Is k(f) prime?
False
Is (1 - -2038)*1/1 a composite number?
False
Let l(i) = -i**3 - 5*i**2 - 5*i + 5. Let g be l(-6). Let q = g + 90. Is q prime?
False
Let y(i) = -2*i - 4. Let v be y(-4). Suppose 0 = -p + 5 + 4. Suppose v*q - p*q = -105. Is q prime?
False
Suppose -2 = 2*c - 0*c. Let n(u) = -24*u - 1. Let d be n(c). Suppose 0 = -b + 14 + d. Is b prime?
True
Suppose 0*u = 5*d - u - 13, 0 = -4*u - 12. Suppose -146 = -2*v + d. Suppose v = 3*w - w. Is w a prime number?
True
Suppose 0 = -x + 7 + 1. Suppose 3*u - x = -2*j, 2*u + 3*j + 2 = -1. Is (141/u)/((-2)/(-4)) prime?
True
Suppose -3*m - 2 = 4*d, -d = 4*m - 0*d - 6. Let z(q) = -13*q**2 - q + 2. Let h be z(m). Let y = 110 + h. Is y a composite number?
True
Suppose -5*m = 0, -h + m = -0*m - 7039. Is h a prime number?
True
Suppose -1 - 2 = -3*f. Suppose w + f = 5. Is 195/w + 1/4 a prime number?
False
Let j be (-1)/2 + 53/2. Let a = -589 - -1427. Suppose 4*z + j = a. Is z composite?
True
Is (-3 + 576)/(2/(-1) + 3) prime?
False
Let v be (1 - -1) + 3/(-3). Is (-40 + 3)*v/(-1) a composite number?
False
Suppose -3*u - 5*s - 945 = 0, 245 + 70 = -u + 5*s. Let k = -222 - u. Is k a composite number?
True
Let l(i) = i**3 + 7*i**2 + 5*i + 5. Let p be l(-6). Suppose 3*u - 7 = p. Is u a composite number?
True
Let u(d) = -d**2 + 4*d + 3. Let n be u(4). Suppose -4*f + 838 = -2*i, n*f = 3*i + 443 + 187. Is f prime?
False
Suppose 0 = 5*l + 3*d - 4*d - 11, 4*d + 14 = 5*l. Suppose 21 = y - l*q, 0 = 3*y - 7*y - 4*q + 48. Is y a composite number?
True
Let o(f) = -1950*f + 1. Is o(-2) a prime number?
False
Let d = 1149 + -793. Suppose 2*o - d = -0*o. Is o composite?
True
Let u(z) = 308*z**3 - 4*z**2 - 5*z - 2. Let w be u(-2). Is -1 + -1 + w/(-8) a prime number?
True
Let i = 107 + 38. Is i composite?
True
Suppose 889 = 5*q - 3*u, 2 - 11 = 3*u. Let b = -46 + q. Suppose 2*l - b = -0*l. Is l a prime number?
False
Let z be (0 - 5*-2) + -2. Suppose 0 = -d - 2*i + 5*i - z, 4*d + 2*i - 24 = 0. Is d composite?
True
Let s(f) = -f**2 - 2*f + 2. Let v be s(2). Is (-1)/(v/34)*15 a composite number?
True
Let q(v) = -v + v**3 - 7*v**2 - 8*v + v**2 + 1 - 12. Let t be q(8). Is (-15)/((t/6)/(-5)) prime?
False
Suppose -4 = -2*c, 4*a + 96 - 1066 = -c. Suppose -2*n = 3*x - a + 43, 5*x - 330 = -5*n. Is x composite?
False
Let j = 230 + -155. Suppose -3*l + j = -6*l - 3*m, 5*l + 116 = -2*m. Is (l/(-4))/((-3)/(-42)) prime?
False
Suppose 299 = -q + 119. Let b = q + 311. Is b prime?
True
Let q(b) = b**3 - 3*b**2 + 11*b + 2. Is q(9) composite?
False
Let m(x) be the first derivative of -5*x**2/2 + 13*x + 1. Is m(-8) composite?
False
Let h = -416 - -627. Is h a prime number?
True
Let n = 333 + -186. Let a(b) = b**3 - 2*b**2 - 5*b - 2. Let q be a(-4). Let k = n + q. Is k a composite number?
True
Let y(k) = -k**2 + 5*k - 7. Let o be y(5). Let d(f) = -f**2 + 5*f + 5. Let h(t) = 5*t**2 - 26*t - 26. Let b(j) = -11*d(j) - 2*h(j). Is b(o) a composite number?
False
Let v = 148 - -36. Let j = -108 + v. Let p = 129 - j. Is p composite?
False
Let y = 13 - 8. Suppose -30 - 10 = y*b. Is b/(-4)*(-114)/(-4) a composite number?
True
Suppose f + 7 = 5*c + 18, 4*f - 27 = 3*c. Let s(h) = h**2 - 5*h - 4. Let a be s(f). Suppose -34 = -a*n + 132. Is n prime?
True
Let m be (-5 - 45)/(1/(-2)). Let f = m - 369. Let s = 600 + f. Is s prime?
True
Let k(u) = 17*u**2 - 3*u + 9. Is k(5) a composite number?
False
Suppose 2*i = -2*d + 726, 4*i + 8*d = 3*d + 1454. Is i composite?
True
Let c(p) = -p**2 + 5*p + 7. Let i be c(5). Let s(q) = -q + i + q - 2*q. Is s(-6) a prime number?
True
Let w(o) be the first derivative of -o**5/10 - o**4/4 + 2*o**2 + o - 1. Let h(u) be the first derivative of w(u). Is h(-3) prime?
True
Let c(t) be the third derivative of 103*t**4/24 - t**3/6 + 5*t**2. Is c(2) a composite number?
True
Suppose 5*z = 10*z. Suppose z = 2*v - 7*v + 245. Is v prime?
False
Let m(o) = 64*o - 67. Is m(21) a prime number?
True
Let q(o) = 4*o**2 + 13*o + 3. Let m(i) = 5*i**2 + 14*i + 4. Let k(f) = -3*m(f) + 4*q(f). Is k(-11) composite?
False
Suppose 5*z + j + 1 = -8, -2*z - 14 = 3*j. Let a = z + 2. Is (-4)/a*-2 - 2 prime?
False
Let n = 5840 + -4078. Is n composite?
True
Suppose 1384 = -5*z + z. Let k = -159 - z. Is k composite?
True
Suppose 0*u = 2*u - 36. Let w be u/(-3 + 0)*4. Let d = 7 - w. Is d a prime number?
True
Let b(c) be the first derivative of c**3/3 + 6*c + 3. Is b(0) a composite number?
True
Let g be (1 - -2 - 2)*19. Let u(k) = -k - 1. Let h be u(-3). Suppose -m = -h*m + g. Is m a composite number?
False
Let m(v) be the third derivative of 7*v**4/24 - v**3/2 - 4*v**2. Is m(8) a composite number?
False
Let b(k) = k**3 + 10*k**2 + 10*k + 8. Let j be (-2)/5 + (-43)/5. Let i be b(j). Let c = 5 - i. Is c a prime number?
False
Let t be ((-30)/(-9))/((-2)/(-6)). Let q(h) = 3*h**3 - 14*h**2 + 10*h - 7. Is q(t) a composite number?
False
Let o(q) = 2*q**3 + 13*q + 2. Is o(5) composite?
False
Let f(s) be the second 