
Let n(z) be the second derivative of 3*z**3/2 - 7*z**2/2 + z. Is n(6) prime?
True
Let u = 321 - 202. Is u composite?
True
Let d(x) = -x - 2. Suppose -4*w - 43 = 5*m, -2*m = -2*w - 10 + 2. Let f be d(w). Suppose 84 = -s + f*s. Is s a composite number?
True
Suppose 73 = k - 3*s, 3*k - 266 + 33 = 2*s. Is k composite?
False
Suppose 2*w - 4*r - 47 = 5, 5*w - 130 = 4*r. Let g = 12 + w. Suppose g = -0*k + k. Is k composite?
True
Let u be (24/15)/(1/(-10)). Let q = 17 - -38. Let z = q + u. Is z prime?
False
Let s = 27 + -14. Let x = s + -9. Suppose 3*o - 1040 = -x*c, 5*c + o = -3*o + 1301. Is c a prime number?
True
Let a(t) = t**2 - 5*t. Let s = -2 + 6. Let k be a(s). Is 783/21 + k/14 a composite number?
False
Suppose 2*p - 1 - 15 = -5*x, 11 = 3*p + x. Let l be -12*3/(3/(-32)). Suppose 6*j = 3*j - p*w + l, -w + 1 = 0. Is j prime?
True
Let f(n) = n**3 - 7*n**2 - 3*n - 5. Suppose 0 = 2*t + 5*p - 38, -t + 3*t - 4*p - 56 = 0. Let m be (-122)/(-12) - 4/t. Is f(m) a prime number?
False
Is (-102)/(-5 - -3) + 4 composite?
True
Let t be -2 + 0 - -4 - 1. Is t - (2 - (191 - -1)) a prime number?
True
Suppose -4*d - 49 - 444 = 3*j, 4*d + 5*j = -499. Let h = 210 + d. Is h a composite number?
False
Let u(h) = -19*h**3 + 5*h + 1. Is u(-3) a prime number?
True
Suppose 4*o - 467 = -2*l - l, -3*o + 611 = 4*l. Is 9/(-9) + (l - -1) a composite number?
False
Let q = 149 + -55. Suppose 0 = -3*g + 2*g. Suppose g = -4*d + q + 46. Is d a composite number?
True
Let z = 21 + 7. Suppose 4*g = -0*g + z. Is g a composite number?
False
Suppose -5*u = o - 13 + 3, -13 = 4*u + 5*o. Suppose 3*c = u*l + 42 - 12, 0 = 4*l + 8. Let x(f) = -f**3 + 11*f**2 - 10*f + 1. Is x(c) a prime number?
True
Suppose 11 + 2 = -b - 5*i, i + 11 = 4*b. Suppose 5*s - b*s - 39 = -4*c, 0 = -s + 5. Is c a composite number?
True
Let o(l) = l**3 - 10*l**2 + 9*l + 2. Let x be o(9). Suppose x*r - r - 187 = 0. Is r composite?
True
Let u(j) = j + 6. Let s be u(-4). Suppose -4*h = s*t - t - 80, 12 = 3*t. Is h composite?
False
Let x = 665 + 294. Is x a composite number?
True
Suppose k - 3*h + 0*h = 285, k + 2*h = 300. Is (k - 2) + -3 + 4 composite?
False
Suppose -2*d - 3*d + 4*u + 3147 = 0, d + 4*u - 639 = 0. Is d composite?
False
Let r be 358/(-7) + 1/7. Let y = 200 + r. Is y prime?
True
Let z(t) = 472*t - 67. Is z(8) composite?
False
Let k(i) = i**3 - 5*i**2 - 8*i + 6. Let f be k(6). Let w be ((-2)/4)/(1/f). Suppose 0 = -5*t + 5*z + 170, -t + w*t = 5*z + 77. Is t composite?
False
Suppose 0 = -4*d + 3*d + 1903. Suppose 2*z - d = -5*w - 712, -z = -w + 241. Is w composite?
False
Let x be 3 + 3/(-1) - 1. Is x*2*1106/(-14) prime?
False
Let b be ((-30)/(-25))/(4/10). Let n(c) = 5 - 10*c + 2*c**2 + 3*c**2 + c**b - 4*c**2 + 7*c**2. Is n(-8) a composite number?
True
Suppose -2*i - 2*k + 20 = 0, -6*i + 3*i = 5*k - 40. Let g = 73 + i. Is g - (-3)/(0 + -3) prime?
False
Let s(w) = -w**3 + 5*w**2 + 6*w + 9. Let p be s(8). Let g = p + 224. Is g a composite number?
False
Suppose -7*o = -2*a - 2*o + 19, a + 2*o - 5 = 0. Let h = a + 50. Is h a prime number?
False
Let q(w) = w**3 + 6*w**2 - 8. Is q(9) a composite number?
True
Let q = 239 + -28. Is q composite?
False
Suppose 140 = 2*z - 496. Is 6/21 + z/14 prime?
True
Let y(m) = -m**2 + 4. Let b be y(-4). Let j = 21 + b. Is j composite?
True
Let d be (2 - 0)/(-2)*5. Let k(f) = -4*f + 4. Let h be k(d). Suppose 5*q = 4*l - 119, h = l + q + 1. Is l composite?
True
Suppose -2*i + 0*i + 4*j + 130 = 0, 3*j = -3*i + 204. Is i prime?
True
Suppose t - 16 = 3*x + 59, 0 = -3*t - x + 265. Is t a composite number?
True
Suppose 3*n - 8 = -n. Is -213*n/6*-1 a composite number?
False
Let s = 177 - 82. Is s prime?
False
Let a(q) = -q + 40*q**2 - 4*q**2 - 1 + 0*q + 2*q. Is a(-2) composite?
True
Let m(i) = -i**2 + i + 6637. Is m(0) a composite number?
False
Suppose 2*h + 30 = -3*h. Let m(i) = -69*i**2 + 7*i - 1. Let g(z) = -35*z**2 + 4*z - 1. Let b(s) = h*m(s) + 11*g(s). Is b(4) a prime number?
True
Let m(y) = 144*y + 11. Is m(4) prime?
True
Suppose 0 = 5*k - p - 5, 2*k - 2*p = -0*p + 10. Suppose c + 0*m = m + 336, k = 5*c + 2*m - 1687. Is c a composite number?
False
Let b(g) = -4*g**2 - g - 2. Let c be b(-6). Is -3 + c*21/(-6) a composite number?
False
Let r = 8 + -4. Suppose -5*p + t + 512 = -119, -r*t - 492 = -4*p. Is p prime?
True
Let a(u) = 24*u**2 + 2*u - 1. Is a(-2) composite?
True
Let x = -785 + 1230. Is x composite?
True
Let k(j) = j**3 + 6*j**2 + 6*j - 5. Let a be k(-5). Let l(y) = -4*y**3 + 5*y - 11 + 2*y**3 + 11*y**2 + 3*y**3. Is l(a) a composite number?
True
Let i(d) = 5*d**2 - 2*d - 2. Let y be i(-4). Let k = 153 - y. Is k a prime number?
True
Let h = 9 - 17. Let b(s) = -s**3 - 7*s**2 + 9*s + 6. Let u be b(h). Is 14/4*u*-29 a composite number?
True
Let f = -1019 - -1806. Is f prime?
True
Suppose 5*z = 4*h + h - 1670, 5*z = -4*h + 1309. Is h a composite number?
False
Let r(n) = n**2 + 2*n. Let i be r(-4). Let m(a) = -a**3 + 8*a**2 + a - 5. Is m(i) a prime number?
True
Is 0 - (18/(-27) + 10568/(-6)) a prime number?
False
Suppose -5*f + 0 = 5. Let z(j) = 46*j**2 + 2*j + 1. Let b be z(f). Let g = b + 8. Is g composite?
False
Let n(b) be the third derivative of 0*b - 1/3*b**4 - 4/3*b**3 - 1/120*b**6 + 2*b**2 + 0 + 1/5*b**5. Is n(9) a prime number?
True
Let o be 1*3/((-6)/(-22)). Suppose -5*g = 3*c - 83, -5*c + o = g - 3*c. Is g prime?
True
Let x(h) = 25*h**2 + 6*h + 7. Is x(-8) composite?
False
Let g be (-2)/(-8) + (-63)/(-36). Is (1407/(-6))/(-7)*g composite?
False
Let j(y) = 20*y**2 + 2*y + 1. Suppose 0 = -0*k - 2*k. Suppose k = 2*a - 2 + 6. Is j(a) a composite number?
True
Suppose -4*w + 0*w - 454 = 3*f, 2*w + 226 = -2*f. Let o = -81 - w. Is o composite?
True
Suppose p + 6 + 1 = 0. Let x(c) = -22*c + 9. Is x(p) composite?
False
Is (6/4)/((-3)/(-268)) a composite number?
True
Let v(h) = h**3 + 3*h**2 - 6*h - 5. Let q be 5 + -3 - (6 + 0). Let c be v(q). Suppose w + c = 50. Is w prime?
True
Let j = -135 - -139. Let x(t) = 4 - 3 + t**3 + 2 - 2*t. Is x(j) a prime number?
True
Suppose -2*r - 4*c + 0 + 38 = 0, 2*c - 76 = -4*r. Is r prime?
True
Let x(v) = -4*v**2 - 1 - 4*v + 2*v**2 - 5*v**3 + v. Suppose -1 = -2*q + 6*r - r, 4*r = -4. Is x(q) prime?
True
Let v = 284 + -153. Is v prime?
True
Suppose -3*s + 3 = -6. Suppose d + 134 = s*d. Is d a prime number?
True
Is (-4455)/(-6) + 7/14 prime?
True
Suppose 0 = p + 4*p - 8720. Suppose -z + p = 3*u, 2*u - 2*z - 1071 = 89. Is u a composite number?
True
Let x = 10 - 8. Suppose 0*p - x*p + 118 = 0. Is p a prime number?
True
Let j(u) = 3*u**2 - u - 12. Let w be j(5). Let x = 164 - w. Is x a composite number?
True
Let v be ((1 - 13)/(-4))/1. Suppose d + 92 = v*d. Is d a composite number?
True
Let v(g) = -g**3 - 3*g**2 - 2*g**3 - 2*g + g**2 + 4*g**3. Let h be v(3). Suppose -h*n + 2*n - 270 = -5*i, 0 = i + 3*n - 38. Is i composite?
False
Let k(x) = -x**3 - 5*x**2 - 5*x - 2. Let q be k(-4). Suppose q*g = 2*l - 44 - 58, -5*l - 5*g + 215 = 0. Is l a composite number?
False
Let m = -88 - -169. Suppose 44 = -g - 0*g. Let d = m + g. Is d a prime number?
True
Let q be 0*(-3)/12*2. Suppose 5*h + 17 + 2 = y, 4*y - 2*h - 4 = q. Is ((-6)/(-12))/(y/(-134)) prime?
True
Suppose 0 = -12*q + 14*q - 154. Is q a composite number?
True
Let z be 15/5 - (0 - 2). Suppose 4 = -2*l, 0 = -r + z*l + 125 - 50. Is r prime?
False
Let f(c) = -c**3 + 4*c**2 + 6*c - 2. Let s be f(5). Let m = -3 + s. Is -1 + 0 - (-50 + m) prime?
False
Let a = -283 - -1326. Is a a composite number?
True
Suppose 54 = -3*g - 141. Let u = 54 - g. Is u composite?
True
Is ((-6)/(-12) + 0)*1174 a prime number?
True
Let v(p) = 33*p**2 + p - 7. Is v(3) a composite number?
False
Let g(s) be the second derivative of -s**3/6 + 4*s**2 - 2*s. Is g(6) a prime number?
True
Suppose 2*p + 6 = -p. Let i(b) = 2*b. Let a be i(p). Let o = a - -37. Is o a composite number?
True
Let k = -11 + 13. Suppose 437 = k*y - 3*g, 0 = 2*y - g - 4*g - 443. Let q = -147 + y. Is q composite?
False
Suppose 2*x + 5*n + 14 = 0, 5*x + 1 = 4*n + 32. Suppose -3*r - 6 = -2*w + 12, 5*r + 25 = x*w. Is w composite?
True
Let w(b) = b + 6. Let l be w(5). Suppose -l - 9 = -5*k. Suppose 0 = k*c - 47 - 157. Is c a prime number?
False
Let w = -7 + 11. Suppose -w*s + 309 = -s. Is s prime?
True
Let j(o) = -29*o - 3. Let k be (-11 - -1)*(9 - 8). Is j(k) a composi