 + 5*c. Is l prime?
True
Let z(n) be the second derivative of 0 + 2*n + 1/2*n**3 - n**2. Is z(4) prime?
False
Suppose -2*h + 4*r = 2*r - 14, -2*h - r = -2. Is ((-4)/h)/(4/(-138)) a composite number?
True
Let z(j) = 33*j + 189*j - 37*j. Is z(1) a prime number?
False
Let b(a) = 3*a**2 + 3*a. Let p(i) = -8*i**2 - 10*i. Let o(s) = 7*b(s) + 2*p(s). Let g be o(3). Suppose 7*t + g = 5*d + 4*t, 3*d + 3*t = 24. Is d prime?
False
Let a(w) = -6*w**3 + 26*w**2 + 51*w + 14. Let c(g) = -g**3 + 5*g**2 + 10*g + 3. Let l(b) = 2*a(b) - 11*c(b). Is l(-7) prime?
False
Suppose 0 = 4*d + b - 25, -2*d = -6*d + 4*b. Suppose -d*q = -q - 328. Suppose 0 = -3*p + 23 + q. Is p a composite number?
True
Let r(i) = i**3 + 10*i**2 + 11*i - 3. Suppose 3*a + 3*l = -1 + 4, 9 = 3*l. Let z be (a - (-6)/3) + -8. Is r(z) a composite number?
False
Let k(j) = 5 - 6 - 34*j + 2 + 5. Is k(-2) a prime number?
False
Suppose -3*c + 0*c = 2*o + 5, -4*o - 3*c = -5. Let w(u) = u**3 - 3*u**2 + 3*u + 2. Is w(o) a prime number?
True
Suppose 0*v = 4*r - 3*v - 18, -r = -2*v - 7. Let k = -101 - -154. Suppose -q + 7*l = 4*l - 28, 2*q - r*l = k. Is q composite?
True
Is 56/14 + (453 - -1) composite?
True
Suppose -5*n + 612 + 980 = 4*j, -5*j + n = -2019. Is j a composite number?
True
Suppose -3*h + 658 = -0*h - 5*r, -3*h - 4*r + 613 = 0. Is h a prime number?
True
Let n(s) = -5*s + s**2 + 3 - 4 - 2 + 4. Let f be n(-6). Suppose -r - 4*v = -67, 4*r - 3*r - v = f. Is r composite?
False
Let p = 103 + -68. Is p a composite number?
True
Suppose 0 = 3*o - 4*o + 5, -p = -2*o - 5. Suppose c + p = 6*c. Suppose -n + 5*n = c*z - 69, 4*n = -z + 23. Is z a composite number?
False
Suppose -3*x - 5*u = -105 + 1, 0 = -2*x + 5*u + 61. Is x composite?
True
Suppose 0 = 4*i - i - 4*n - 233, i = 5*n + 63. Is i a composite number?
False
Suppose -f + 1681 = 2*j, -3*f + 0*f = 3. Is j prime?
False
Let l(n) = n**2 + 15*n - 2. Let j be l(11). Let z = j + 21. Is z composite?
True
Suppose 9 = 3*b - 6. Let u be b/2*212/5. Suppose -u = -4*k + 42. Is k composite?
False
Let b(c) be the first derivative of 7/3*c**3 + 2*c**2 + c - 1/4*c**4 + 1. Is b(4) prime?
False
Is (-1)/((-2)/1298) + -2 composite?
False
Is -2 + 4053 - (-3 - -5) composite?
False
Let a(w) = 21*w**3 + w**2. Let z be a(1). Let k be -3*z/(-3)*1. Suppose 4*m - 5*y - 36 = 0, -5*m + 4*m - 2*y = -k. Is m composite?
True
Is -2*3*(-1)/6*163 a prime number?
True
Let v(b) = -181*b**3 + 2*b**2 + b + 1. Let o be v(2). Let k(c) = -4*c**2 + 4*c - 4. Let a be k(2). Is o/a - 3/4 prime?
False
Suppose 2*o - 318 = -o. Is o a prime number?
False
Suppose 246*k - 5295 = 243*k. Is k a prime number?
False
Suppose -2*n - 129 = -3*c, 2*n - 6 + 0 = 0. Let l be 0/(1 + 1) + -24. Let h = l + c. Is h a prime number?
False
Suppose 0*c - 586 = -2*c. Suppose -5*f - d = -2*d - c, 5*f + d = 297. Is f a composite number?
False
Suppose -3*l - 5*t = -5*l + 899, 4*t + 20 = 0. Is l a prime number?
False
Let v(g) = g**3 + 10*g**2 + 10*g + 6. Let x(w) be the first derivative of w**3/3 + 3*w**2 - 2*w + 1. Let l be x(-5). Is v(l) a composite number?
False
Let f(x) = 3*x**2 + 13*x + 32. Is f(-9) a prime number?
False
Let g = -8 + 11. Suppose 5*u + j = 2*j + 5802, u - g*j = 1152. Is u/33 + 2/(-11) composite?
True
Let g = 6 + 1. Let s(z) = 3*z**3 - 18*z**2 + 4*z - 10. Let l(r) = 2*r**3 - 12*r**2 + 3*r - 7. Let o(t) = g*l(t) - 5*s(t). Is o(4) a composite number?
False
Let q be ((-54)/(-189))/(1/14). Let k(i) = i**2. Let c(w) = w**3 - 8*w**2 - w - 3. Let n(h) = -c(h) - 3*k(h). Is n(q) a prime number?
True
Suppose -a - 5*n + 138 = 0, -a + 142 = n - 0*n. Is a composite?
True
Let u(r) = r**2 + 9*r - 4. Suppose 0 = -5*i - 25 - 20. Let x be u(i). Is x*(-9)/12 + 11 a composite number?
True
Suppose -3*v = -4*c + 12, 3*c + 0*c = 2*v + 9. Let a = 42 - c. Suppose 4*k - 403 = -a. Is k prime?
False
Let z(p) = -p**3 + 7*p**2 + p - 2. Let l be z(7). Suppose 50 = -l*n + 1545. Is n composite?
True
Let u(s) = 6*s**2 + 8*s. Let w be u(-6). Suppose 0*v - 2*h = -3*v + w, 2*v - 125 = -3*h. Is v a composite number?
True
Suppose -41 = -5*c + 99. Let d be (-14)/(-6) - (-4)/6. Suppose d*w + w = c. Is w a prime number?
True
Let w = 7 + -5. Suppose 0*u - 210 = w*u - 2*n, 5*n = 2*u + 207. Is ((-9)/6)/3*u a composite number?
False
Suppose -2*p + 0*p + 234 = 0. Let q = p - 12. Let t = -26 + q. Is t composite?
False
Let z(p) be the third derivative of -19*p**7/840 + p**6/360 + p**5/120 + p**3/3 + 2*p**2. Let w(k) be the first derivative of z(k). Is w(-1) a composite number?
False
Let k(n) = n**2 - 2*n - 3. Let f be k(9). Is ((-1)/1)/((-4)/f) a prime number?
False
Let v(n) = 3*n**2 + n + 1. Let t be v(-3). Suppose -f - 4*u = -6*f + 163, f + 3*u - t = 0. Is f composite?
False
Is (3 + -1 + 81)/1 prime?
True
Let s(z) = 41*z**3 + 2*z**2 - 2*z - 3. Is s(2) composite?
True
Let w be ((-55)/2)/((-5)/10). Let i = w + -20. Is i a prime number?
False
Let t be (2 + -1)/(4/12). Suppose 0*l + 139 = 2*l - 5*h, 5*h = -t*l + 246. Is l a prime number?
False
Let v(f) = 4*f + 12. Let m be v(-5). Let q(i) = -i**2 - 9*i - 1. Is q(m) a prime number?
True
Let p = -329 - -492. Let q = -86 + p. Is q a prime number?
False
Suppose 2*i + 5*m - 7 = 0, -i + 5*m = 4*i. Let t = 1 + i. Suppose t*w = w + 127. Is w composite?
False
Suppose -6*s + s + 5 = 0. Let x(z) = 7*z**2 - 4*z - 4. Let p(k) = 6*k**2 - 3*k - 3. Let t(y) = 4*p(y) - 3*x(y). Is t(s) composite?
False
Suppose 0 = -4*w + 4*g + 60, 4*g + 28 = 4*w - 2*w. Suppose 5*t + 2*y + w = 275, 2*t - 2*y - 98 = 0. Is t a prime number?
False
Suppose 0 = 2*n - 174 - 208. Is n a composite number?
False
Suppose 5*l + 3*v - 192 = 0, -74 = -4*l + 2*l - 4*v. Let x = 22 + l. Let i = x - 8. Is i a prime number?
True
Is 36/(-24)*(206/(-3) - 0) a composite number?
False
Suppose 48 + 2063 = a. Is a composite?
False
Suppose 0 = -3*c - c. Suppose c = -i - i. Let d = 13 - i. Is d prime?
True
Suppose 3*w + 412 = 7*w. Is w composite?
False
Let u = 4 - 6. Is (u/(-2) + -162)*-1 prime?
False
Let y(s) = -77*s**3 - s**2 + s + 1. Let h be y(-1). Suppose -396 = -4*z + h. Suppose -4*v + z = 2*m, 0 = 4*m + 4*v + 82 - 334. Is m a prime number?
True
Let d = -31 - -49. Is d/(-30) - 856/(-10) composite?
True
Is (8 - 7)*69/1 a composite number?
True
Let s = -2327 + 3700. Is s a prime number?
True
Let y = 7 + 12. Is y prime?
True
Let q = 3 + 3. Suppose -2*d + q = d. Suppose -v + 40 = u, 0 = 4*u - d*u + v - 78. Is u composite?
True
Let s = 391 + 278. Is s a composite number?
True
Let l = 6 + -4. Suppose 4*a - 3*q - 320 = -7*q, -4*a + l*q + 350 = 0. Is a a composite number?
True
Is ((0 + 2)/4)/(7/16982) a composite number?
False
Let y = 10 - 8. Suppose -4*p + y*p + 166 = 0. Is p a composite number?
False
Is (-6)/(-39) - (-2780)/13 a composite number?
True
Suppose 7045 = 84*l - 79*l. Is l prime?
True
Let t(k) = 3*k**2 - 3*k + 10. Let i(g) = -3*g**2 + 3*g - 9. Let r(u) = -7*i(u) - 6*t(u). Is r(3) prime?
False
Let v be (-286 + 3)*(-1 + 3). Let l = -179 - v. Suppose 4*m - l = 25. Is m prime?
True
Let r(p) = 5*p + 6. Let d be r(6). Suppose -3*j - 3*i = -d, 7 = 4*i + 3. Is j a prime number?
True
Suppose 5*m = -3*j + 33, 5*m - 23 = -2*j + 4. Is j composite?
True
Let q = 206 + -49. Is q composite?
False
Let i(d) = d**2 - 6*d - 4. Let k be i(7). Suppose -31 = -2*a - k*f, -3*f = -2*a - 0*f + 25. Is a a composite number?
True
Let j(v) = 40*v**2 + 4*v + 5. Is j(-2) a composite number?
False
Suppose 2*k = 2*c, -5*c = -k + 5 - 1. Let r be (-8)/(-2) - (-3 - c). Let j(q) = q**3 - 4*q**2 - 5*q + 5. Is j(r) a prime number?
True
Suppose -6 = -6*j + 5*j. Let i(g) = -g**3 + 8*g**2 - 2. Let a be i(j). Suppose -15 = y - 6*y, -2*o + a = -2*y. Is o prime?
False
Let l(k) = -k + 131. Suppose 0*n + n = 0. Suppose -3*y - y = n. Is l(y) a composite number?
False
Suppose 4*d - 1503 = 3*q, 0 = 3*d - 4*q - 411 - 711. Suppose d = 4*z - 4*r - 794, -3*r + 1449 = 5*z. Is z a prime number?
False
Let d = -200 - -297. Is d composite?
False
Let i(z) = 17*z**2 - 1 - 5*z + 3 + z**2. Is i(3) prime?
True
Let j be 8 - (-2 + (4 - 2)). Let m(y) = 3*y**2 - 4*y - 3. Is m(j) a prime number?
True
Suppose 0 = l - 1, 0*b - 5*l = -b - 10. Let c(g) = -418*g**3 - 5*g**2 + 5*g. Let h(s) = 627*s**3 + 8*s**2 - 8*s. Let j(r) = b*h(r) - 8*c(r). Is j(1) composite?
True
Let v = -140 + 439. Suppose v = -4*u + 1495. Is u a composit