e
Let r(f) be the second derivative of -5/2*f**3 + f + 0 + 1/2*f**2. Is r(-6) composite?
True
Let w = 1156 + -603. Is w prime?
False
Suppose 2*w - 2 = 0, 3*k + 5*w - 2 = 3*w. Suppose 0*m + m - 8 = k. Let f(r) = r + 3. Is f(m) composite?
False
Let c = 5 - 1. Suppose 0 = -c*t - 3*u + 27, -t = 2*u - 0*u - 13. Is t a prime number?
True
Let r be (-415)/(-25) - (-3)/(-5). Suppose -3*k + r = k, 0 = v + 5*k - 147. Is v composite?
False
Suppose -3*a + 17 = 5. Let k = a - 2. Suppose k*c = -45 + 119. Is c composite?
False
Let t be (-344)/(-6)*6 - 2. Let w be 2/3 - (-28)/21. Suppose -r = v - 155 - 12, t = w*v + 4*r. Is v prime?
True
Is -573*4/(-12)*1 a composite number?
False
Let i be (-2)/3 + (-142)/(-6). Let c(w) = w**2 + 8*w - 1. Let q be c(-6). Let u = i + q. Is u prime?
False
Let j = -5 + 8. Suppose -5*i + 84 = j*d + 21, 4*d = -i + 84. Is d prime?
False
Let k(u) = -3*u**3 - 6*u**2 - u + 1. Let l be k(-4). Suppose 0 = -3*b + l + 58. Is b composite?
False
Let t(d) = d**2 + 9*d + 15. Is t(12) a composite number?
True
Let t be 2 - (1 - 0)*-1. Let p(g) = -4 + 4*g**3 - t*g - 4*g**3 - 5*g**2 - g**3. Is p(-5) prime?
True
Let x = 17 + -15. Suppose -x*w + 1304 = -914. Is w a prime number?
True
Suppose 10*m + 5*o + 55 = 5*m, -4*m - 20 = -2*o. Let b = m + 11. Is b a composite number?
True
Let q(z) = -2*z - 6. Let t(h) = h + 3. Let s(v) = -3*q(v) - 5*t(v). Let m be s(-3). Suppose 0 = -3*a - m*a + 141. Is a a composite number?
False
Suppose 5 = -a + 4. Is a/3 + (-40)/(-3) composite?
False
Suppose 2*g = 4*t, 4*t + 8 = 2*t + 3*g. Suppose 0 = t*o - 0 - 4. Suppose -54 = -4*r - o. Is r prime?
True
Let c = -220 - -1171. Is c a prime number?
False
Suppose -5*y = -0*y - 15. Suppose 2*f = 5*s - 20 - 5, 0 = -y*f. Suppose 3*z = 2*m + 4*z - 102, 5*m - s*z = 255. Is m a composite number?
True
Is (1 + -24)/((-12)/84) a composite number?
True
Let y(s) = 2*s**2 - 9*s + 9. Let p be y(6). Is 3 + p + -2 + 3 prime?
True
Let h = 10 + -5. Suppose -h*g + 41 = -2*v, v - 4*v - 9 = 0. Is g composite?
False
Let b(v) = 2*v**2 + 4*v + 2. Let d be b(-2). Suppose 0*p = d*p - 164. Is p a composite number?
True
Let v(k) = k + 11. Let f be v(-8). Suppose -5*g = -73 + f. Is g composite?
True
Let q = -9 + 15. Suppose 0 = -0*u + 3*u - q. Is 86/6 - u/6 a composite number?
True
Let a = 3 + 4. Let r(p) = -6*p**2 - 3 + 2 - p**3 - 5*p + 2*p**3. Is r(a) composite?
False
Suppose 0 = 2*y - 688 - 1686. Is y prime?
True
Suppose -x = x + 12. Let j(a) = a**3 + 6*a**2 - 6*a - 1. Is j(x) prime?
False
Let l = -1290 - -2927. Is l a composite number?
False
Let f(g) = g**2 - 3*g + 3. Let v(t) = -2*t + 1. Let p be v(-2). Suppose -2*y = 13 - p. Is f(y) a composite number?
False
Let n be ((-2)/(-3)*-21)/1. Let t = n - -29. Is t composite?
True
Let a be ((-3)/(-2))/((-21)/(-56)). Suppose -5*q = a*x - 276, 5*x + 0*q = 2*q + 345. Is x composite?
True
Is (3345/9)/(2/6) prime?
False
Let f = 22 + -6. Suppose -f = -i + 43. Is i prime?
True
Let m be ((-2)/(-1))/2*2. Suppose m*o - 3*o = 0. Suppose -4*x + o*x = -644. Is x composite?
True
Let q(l) = -l**3 - 7*l**2 - 7*l + 1. Suppose -9 + 1 = -2*o, 0 = 3*z - 5*o + 38. Is q(z) a prime number?
True
Suppose 4*o - 3 = -11. Let x(j) = 5*j**3 + j**2 + 1. Let r be x(o). Let m = 23 - r. Is m a prime number?
False
Suppose -27 = -3*o + 480. Is o a prime number?
False
Let v = -2 + -4. Let q be 4/v*6*1. Let s = q - -7. Is s a composite number?
False
Let s = 652 + -359. Is s composite?
False
Suppose -4*q = -4*g - 0*q + 1812, g = 5*q + 461. Is g composite?
True
Let q be ((-4)/10)/((-1)/(-25)). Let h = -10 - q. Suppose -2*z - 4*s + 2*s + 24 = 0, -z + 3*s + 4 = h. Is z a prime number?
False
Let m = -502 + 1461. Is m a composite number?
True
Let v = -3 - -6. Suppose -k = -v*h + h + 9, 3*h = -k + 21. Suppose -260 = -h*o + 2*o. Is o a composite number?
True
Suppose -2*f + 2*a = -1132, 0 = -5*f - 5*a + 3222 - 422. Is f prime?
True
Let l(v) = -v. Let i(f) = f**2 + 7*f + 4. Let w be i(-6). Let k be l(w). Suppose -4*y - h = -27, 3*h - 11 = k*y - 4*y. Is y prime?
True
Suppose 28932 = 15*n - 6063. Is n prime?
True
Suppose 2*v + 697 = 5*b + v, -5*v - 566 = -4*b. Is b a composite number?
False
Suppose 5*a + 2*d = 922 + 986, -5*d = 4*a - 1523. Is a a prime number?
False
Let x(c) = -2*c**2 + c + 1279. Is x(0) prime?
True
Suppose 5*m + 637 = x, m = -5*x + 3311 - 48. Let p be x/5 - 4/10. Suppose i + p = 6*i. Is i a composite number?
True
Suppose 5*r + 4*a - 1907 = 0, -46 = -3*r - 2*a + 1097. Is r a composite number?
False
Is (3/(-9))/((-1)/879) prime?
True
Suppose -4*x + 0*x = -16. Suppose -4*w = -0*w + 4, -r + 6 = x*w. Suppose -2*t + r = -8. Is t composite?
True
Suppose -3*g = -2*v - 6*g - 29, 3*g = -5*v - 59. Let l = -5 - v. Suppose 5*t - d - 393 = -0*t, -385 = -5*t + l*d. Is t a prime number?
True
Suppose 7*n - 3*n = 0. Suppose n = h - 4 + 2. Suppose 0 = 2*j + h*j - 140. Is j prime?
False
Let a(z) = -z**3 - 6*z**2 - 5*z + 2. Let q be a(-5). Let v(i) = -i**3 - 4*i**2 - q*i**3 + 5*i**3 - 3 + 0*i**3. Is v(3) prime?
False
Suppose -2*g + 6*g - 596 = 0. Is g composite?
False
Let s(v) = v**3 - 6*v**2 + 8*v - 6*v + 1 + 7*v + 16*v**2. Let y be s(-9). Suppose 3*f + 0*r - 566 = -5*r, 0 = -r + y. Is f a prime number?
False
Let p be 3*7/(84/8). Suppose -2*q + p*r = -1346, 4*r + 2019 = 3*q - r. Is q prime?
True
Let v(a) = 77*a**2 - 5*a - 7. Is v(6) composite?
True
Let g(z) = -z - 9. Let u be g(-9). Suppose 2*k = -3*k. Suppose 2*x - 14 + u = k. Is x a prime number?
True
Suppose -2*m = 3*m - 370. Suppose z - m = -z. Is z a composite number?
False
Suppose 3*x + 0*h - 19 = 2*h, 2*x - 16 = 2*h. Let v(q) be the third derivative of q**6/120 - q**5/30 + q**4/24 + q**3/3 + 19*q**2. Is v(x) composite?
True
Let b be 1/(1/2) - 23. Let f(r) = r**3 - 6*r**2 - 7*r - 6. Let m be f(7). Is (-355)/(-7) + m/b prime?
False
Suppose 50 = 2*o - 2*y, -2*o + 4*y + 46 = 3*y. Is o a prime number?
False
Suppose 5*u - 28 + 8 = -5*c, 0 = 4*u - c - 36. Is 2/u + 811/4 prime?
False
Let y(x) = 17*x + 3. Let s be y(-4). Let c = s - -431. Let d = c - -7. Is d a composite number?
False
Let s be 12/(-27)*-3*-6. Let o(y) = y**3 + 11*y**2 + 9*y - 11. Is o(s) prime?
True
Suppose 3*w = -4*i - 2*w + 1162, 5*w - 283 = -i. Is i a composite number?
False
Suppose -5*p = 7 + 8. Let y(d) = -3*d + 1. Is y(p) a prime number?
False
Suppose u - 963 - 124 = 0. Is u a prime number?
True
Suppose 2*s + 2*o = 4*o + 2284, 4*o = 5*s - 5713. Is s a composite number?
True
Is ((-4)/(-2))/((-9)/(-63)) prime?
False
Let c(r) = r**3 + 8*r**2 + 6*r + 8. Is c(-5) a composite number?
False
Suppose -5*g - 2*c + 856 - 13 = 0, 2*g - 343 = 5*c. Let r = g - 20. Is r a prime number?
True
Let c(w) = -w**2 - 7*w + 11. Let a(p) = -2 + 1 + 8*p - p. Let i be a(-1). Is c(i) prime?
True
Let h(i) = -17*i - 2. Let d(v) = v - 1. Let q(t) = 4*d(t) + h(t). Is q(-7) composite?
True
Suppose -5*z = -2*z - o - 27, 3*z + 4*o = 42. Is z prime?
False
Let l(i) = -89*i - 2. Is l(-1) a prime number?
False
Is -1*(-3)/(-6) + 1245/2 a composite number?
True
Let c(j) = -2*j + 3. Let o be c(3). Is -4 - (1 + o) - -6 a composite number?
True
Suppose -3*f = -330 - 504. Is f composite?
True
Is (2333*(-1)/(-4))/((-7)/(-28)) a prime number?
True
Let s = -21 + 43. Let k(f) = -2*f**2 + 16*f - 7 + 4*f**2 + s. Is k(-10) a prime number?
False
Let s = 15 + -6. Is s/3 + 15*2 a prime number?
False
Suppose 0 = -5*t, -7*t + 4*t + 20 = -2*v. Suppose -129 = -5*d + 106. Let p = v + d. Is p prime?
True
Let f = 104 - 148. Let y = f - -147. Is y a composite number?
False
Suppose -25*l = -8*l - 6647. Is l a composite number?
True
Is 2282/6 + (-8)/(-12) composite?
True
Let k = 0 + 5. Suppose k*u - 4151 - 1219 = -5*w, 3*w - 4*u - 3187 = 0. Suppose -4*o + w - 249 = 0. Is o composite?
True
Let q(s) = 3*s**2 + 10*s - 5. Let g be q(-4). Suppose 3*p - 368 = -p. Let a = p - g. Is a composite?
False
Let z(h) = -6*h - 1. Suppose 0*o = -2*o - 4. Let b be z(o). Let v = b - -14. Is v composite?
True
Let x = -12 + 246. Let p = 166 - x. Is p/(-1) - (2 - 1) a prime number?
True
Let z be ((-3)/(-1))/(3/2). Suppose -2*s - 4 = -2*w, -2*w + z = 3*s - 2. Is 2 + 0 + s/2 a prime number?
True
Suppose 4*m = -4*g - 29 + 1, -2*g - 9 = -3*m. Let t(a) = -10*a + 8. Let l(n) = -29*n + 23. Let h(k) = 3*l(k) - 8*t(k). Is h(g) a composite number?
False
Let q be -20*1/(-4)*2. I