e
Let s = -17 + -8. Let h = 102 + s. Is h a composite number?
True
Let f = -2 - -4. Suppose -f*o = 2*o + 36. Is o/(-6) - 94/(-4) composite?
True
Is 2 - 3*-3*1683/27 prime?
True
Suppose 41*u = 34*u + 4858. Is u a prime number?
False
Let z(p) = -137*p + 5. Is z(-8) prime?
False
Let c(a) = -5*a**2 - 2*a + 11*a - 4*a + a**3. Let n be c(4). Is (-9 + 5)*(-97)/n prime?
True
Suppose -y + 3*y = 6. Is -3 - y/(-3)*61 composite?
True
Suppose 3*o - 1832 = 5*g, 1493 + 973 = 4*o + 5*g. Suppose 0*z - o = -2*z. Is z a composite number?
False
Suppose 0 = 3*h - 8*h + 445. Is h composite?
False
Suppose 0 = -5*m - 5*c - 330, 4*c + 55 = -2*m - 85. Let x = 99 + m. Is x a composite number?
False
Suppose -5*k - 4*d - 30 = -10, 0 = -3*k - d - 5. Suppose k = 5*z - 0*z - 110. Is z a prime number?
False
Let a(m) = -6*m**2 + 2*m + 2. Let f be a(-1). Let j be (1 - 1) + 0 + 2. Is (-3 + f)*j/(-3) a prime number?
False
Let v(p) = 41*p + 16. Is v(7) a composite number?
True
Let j(i) = -41*i + 4. Let k(q) = -3404*q + 333. Let f(w) = -333*j(w) + 4*k(w). Let d(l) = l - 5. Let g be d(6). Is f(g) a composite number?
False
Let k be (4/(-10))/(6/(-30)). Suppose 4*t + 5*h - 16 = h, 3*t - k*h + 3 = 0. Is ((2 - 2) + t)*25 prime?
False
Suppose 0 = 2*r + r - 9. Let x(n) = n**2 - n + 30. Let l be x(0). Suppose 96 = r*q + l. Is q prime?
False
Suppose -2*c - 3*c + 30 = 0. Suppose -21 = -3*f + 3. Let j = c + f. Is j a composite number?
True
Suppose -2*x - 2*t + 1940 = 0, x - t - 2*t = 958. Is x composite?
False
Suppose y = -4*y + 35. Suppose -3*a + 859 = 5*q, y = 5*q + 27. Is a composite?
False
Suppose -2*w = -2*c + 16, 4*c - 22 = 5*w + 15. Suppose 0*n + c*k - 74 = -2*n, -3*k = -3*n + 111. Is n composite?
False
Let f = 4 + -5. Is 82 + (f - -1*4) a prime number?
False
Let u(v) = -3*v**3 + v - 1. Let s be u(1). Suppose -5 = -5*l - 0. Is (-5)/((s*l)/15) composite?
True
Let q(k) = 169*k - 1. Is q(2) a prime number?
True
Suppose -2*q - 3*j = -253, q - 2*j = -3*j + 124. Is q a prime number?
False
Suppose -3*v + 0*f + 2*f - 7 = 0, -5*v - f = -10. Let s(d) = d**3 + 0*d - v - 2*d - 3*d + 4*d**2. Is s(-4) a composite number?
False
Let f(k) = 8*k**3 + 3*k**2 - 8*k + 19. Let d(h) = -4*h**3 - h**2 + 4*h - 9. Let v(t) = -13*d(t) - 6*f(t). Is v(4) a prime number?
True
Is -5 - -5 - (-1253 + 0) a prime number?
False
Let f = 1902 - 1039. Is f a prime number?
True
Let m(x) = 54*x. Let h = 4 - 2. Let t be m(h). Let q = t + -41. Is q prime?
True
Let k = 1467 + -696. Is k composite?
True
Let i be 183 - (-6)/(-1 + 4). Suppose 0 = -5*z - 5*p + 1060, -i - 31 = -z - 5*p. Is z prime?
True
Let x(m) be the first derivative of 1 + 14/3*m**3 + 1/2*m**2 + 0*m. Is x(-1) a composite number?
False
Let m(h) = -8*h**2 - h. Let k be m(-1). Let i(z) be the first derivative of z**3/3 - z**2/2 - 9*z + 2. Is i(k) prime?
True
Suppose 0 = c - 3*t + 19, 5*c - 2*t + 64 + 31 = 0. Let s = c - -180. Is s a composite number?
True
Let x be 14/1*(-6 - -7). Is x/7 + 111*1 composite?
False
Let o(d) be the second derivative of 53/2*d**2 - d - 1/12*d**4 + 0*d**3 - 1/20*d**5 + 0. Is o(0) prime?
True
Let z = 2 + 3. Suppose 2*k - 3*o - 167 = 0, -3*o = z*k + 2*o - 380. Is k prime?
True
Is -1 + (-5)/(-4) - 84318/(-104) composite?
False
Suppose -3*n - 67 + 298 = 0. Is n prime?
False
Suppose -86 = -2*d + p, 4*p - 30 = 5*d - 251. Let u = d - -108. Is u a composite number?
False
Let x = 10 - 7. Suppose -2*j - x + 29 = 0. Is j composite?
False
Let d = -37 + -16. Let z = 88 - d. Is z a prime number?
False
Let a = -114 - 162. Let j = a - -409. Is j prime?
False
Let a(h) = 7*h**3 - h**2 + h - 4. Is a(3) a composite number?
False
Let r(u) = -4*u**3 - 5*u**2 - 7*u - 5. Let c(i) = -3*i**3 - 3*i**2 - 5*i - 3. Let d(v) = -8*c(v) + 5*r(v). Is d(5) a composite number?
False
Suppose -35*v + 1287 = -26*v. Is v a composite number?
True
Let n(a) = -a. Let c be n(-5). Suppose -2*j = -c*j + 111. Is j prime?
True
Let l(s) = -10*s + 13. Is l(-15) prime?
True
Let f(p) = -76*p + 21. Is f(-8) a prime number?
False
Let j be (-1 - (2 - 1))/2. Let r = 3 + j. Suppose -a - r*f = -0*a - 31, 157 = 4*a - 3*f. Is a a prime number?
True
Let q(b) = -125*b - 3. Is q(-2) prime?
False
Let v = 11 - 9. Suppose -v*h + 70 = 2*o, -h + o + 60 - 21 = 0. Is h composite?
False
Let t = 48 - 9. Suppose 3*z - 359 = -5*c - t, 5*z - 585 = 2*c. Is z composite?
True
Let q be 1/(((-4)/(-3))/4). Suppose 2*l - l = 3*f + 2, 4*l = -q*f + 23. Is 2 + (2 - -15)*f a prime number?
True
Let j(n) = -4*n - n**3 + 11 + 0*n + 6*n + 7*n - 7*n**2. Is j(-8) prime?
True
Let p = -71 + 442. Is p composite?
True
Suppose -20 - 110 = -2*u. Is u composite?
True
Let w = 35 - -22. Suppose -l = 2*l - w. Is l a prime number?
True
Let f = 3 - 0. Suppose 0 = -k + 5 - f. Suppose g = -k*g + 57. Is g composite?
False
Is 89*(2 + -3)*-1 a composite number?
False
Suppose 350 = 2*p - 204. Is p composite?
False
Let t = 10 - 11. Let v be 1*(1 + t) + 4. Suppose -v*j + 111 = -j. Is j a composite number?
False
Suppose 3*s = -z + 49, s - 3*s = -5*z - 61. Let f = 41 - s. Is f a prime number?
True
Is (-6134)/(-3) - 1/(-3) composite?
True
Let g = 124 + 202. Suppose -4*c + g + 2 = 0. Is c prime?
False
Let r be 484/(-6) - 1/3. Let p be 3 + 0 + -4 - -137. Let u = p + r. Is u prime?
False
Suppose m - 3037 = -k, 3*m - 12228 - 2957 = -5*k. Is k prime?
True
Let u(s) = 1049*s**3 - s**2 + s. Is u(1) composite?
False
Let b be -3 + -45*4/(-6). Is (-2)/(-9) - (-12603)/b prime?
True
Let m(z) = 2*z - 7. Let h be m(6). Suppose h*a - 3*a - 66 = 0. Suppose -g + 64 = -a. Is g a composite number?
False
Let h be -6 - -3 - 20 - 2. Suppose -3*p - 4*k - 1768 = 1041, -5*p = -k + 4674. Is p/h + 4/(-10) a prime number?
True
Let a(y) = -y**3 - 5*y**2 - 3. Let b be a(-5). Let f = b - -3. Suppose -2*q - 2 + 64 = f. Is q a composite number?
False
Suppose -3*g = f - 5*f - 1320, 0 = -5*g - 5*f + 2165. Suppose 2*m - g - 16 = 0. Is m a prime number?
False
Let i(n) = -n**3 + 8*n**2 - 5*n - 7. Let d(u) = -7*u - 7. Let g(f) = 11*f + 11. Let t(y) = -8*d(y) - 5*g(y). Let b be t(5). Is i(b) prime?
False
Suppose -4*v + 3*n = -9*v + 1456, 0 = 2*v + 4*n - 574. Is v composite?
False
Suppose 10*q - 5*q - 1445 = 0. Suppose -4*w + w - 12 = 0, 4*w - 182 = -s. Let b = q - s. Is b prime?
False
Suppose -5*m = -3*s + 10, 6*m - m + 3*s = 20. Let x be (-2 + 13)*(-2 + m). Is (-56)/16*2*x prime?
False
Let f = -39 - -10. Let s = f - -63. Is s a prime number?
False
Let p be (2 + -2 - 0)/1. Suppose -y + 158 = -p*y. Is y a prime number?
False
Let u be 0 + -2*67/(-2). Suppose -2*f + 78 = -0*f - 3*l, 2*f - 82 = 5*l. Let d = u - f. Is d a prime number?
True
Let y = 414 + 175. Is y a composite number?
True
Suppose 833 = 5*p - 4922. Is p prime?
True
Let l = -43 + 794. Is l a prime number?
True
Let o(j) be the first derivative of -j**3/3 + 5*j**2/2 - 3*j - 2. Let x be o(5). Is ((-12)/(-8))/(x/(-92)) composite?
True
Let r = 483 - -770. Is r a composite number?
True
Suppose -3*z + 14*z - 13057 = 0. Is z composite?
False
Suppose -172 = -6*t + 518. Is t composite?
True
Suppose 4*l = 8*l - 8. Suppose 0 = 5*f + 3*u - 934, f - l*f + 2*u + 179 = 0. Is f prime?
False
Let q be 1/(-5) + (-644)/(-20). Let b = 53 - q. Is b composite?
True
Let o(r) = 8*r**2 + 7*r + 19. Is o(10) prime?
False
Let n be (7 + -5)*262/4. Suppose 121 = 3*c - n. Suppose 3*j - 5*f = 47, 4*j + f = -3*f + c. Is j a composite number?
False
Let k(s) = -2*s - 8. Let l be k(-7). Is 1074/l + (-2 - -2) prime?
True
Suppose 2*j + 0*d = d + 8, 5*d = -10. Let w = j - -1. Is 142/w - 1/2 prime?
False
Suppose -3*y + 3685 = 2*y. Is y prime?
False
Suppose 2*j + 5*f = -0*f + 60, 2*f = 5*j - 179. Is ((-21)/j)/(1/(-5)) a prime number?
True
Let m(z) be the third derivative of z**5/60 + z**4/8 - z**3/2 - z**2. Is m(5) prime?
True
Suppose 0*y + 6 = -3*y - 2*v, 0 = -4*y - v - 8. Let g be (4/10)/(y/(-20)). Suppose 0 = 4*d - 9*d + g*k + 127, -d = 4*k - 11. Is d composite?
False
Is 1/2*-6 + 2336 composite?
False
Let r(d) = 61*d - 30. Is r(7) composite?
False
Is -4 + 5052/(2 + 2) composite?
False
Let n = 4 + -2. Suppose -4*g = -k - n + 1, k - 5*g = -2. Is 526/8 - k/4 a composite number?
True
Let f = -4 + 6. Let b(u) be the third derivative of 3*u**4/4 + u**3/6 - 3*u**2. Is b(f) a prime number?
True
Suppose 2 = -y - 2. Let j(r) = -r**3 - r**2 - 6*r - 5. Is j(y) composite?
False
Let