e?
True
Let z be 20/(-15)*(-18)/4. Let l(j) = -j + 6. Let p be l(z). Suppose 4*g - 3*x - 185 = p, -5*g + 2*x + 243 - 10 = 0. Is g prime?
True
Let n(x) = 3*x + 2. Let j = 10 - 0. Let d be ((-14)/4)/((-5)/j). Is n(d) a prime number?
True
Let w = -1 + 4. Suppose 2*p = -2*h + p + 410, w*h - 615 = 2*p. Is h composite?
True
Let g = 166 - 96. Let o = 75 + g. Is o composite?
True
Suppose -5*d + 2 = -13. Suppose 671 = d*x - 466. Is x composite?
False
Let t(n) = 71*n**2 + n - 20. Is t(7) a composite number?
True
Let n be 1/7 - (-909)/7. Suppose -2*o + 100 = -n. Is o a composite number?
True
Suppose -6*w - 6 = -9*w. Suppose -2*m - 530 = -2*b + 238, -4*b = -w*m - 1530. Is b a composite number?
True
Suppose -4*j - 4 + 16 = 0. Is j prime?
True
Let p(x) = -6*x + 10. Suppose 2*q + n + 17 = 4*n, -31 = 5*q + 4*n. Let y be p(q). Suppose h - y = l, 4*h + 3*l - 5*l - 214 = 0. Is h composite?
True
Suppose 4*x + 2 + 2 = 4*w, 5*x - 3*w = -7. Let o(l) = -2*l**3 - 4*l**2 - 2*l. Let d be o(x). Suppose 4*h = 3*h + 4*m + 26, 5*m - 41 = -d*h. Is h composite?
True
Let g be 1/(-3) - (-14)/6. Suppose g*i - 4*i = -190. Is i a composite number?
True
Suppose -376 = -j - m, 0 = 4*j - 0*m + 3*m - 1507. Is j prime?
True
Suppose 262 + 80 = y. Let b = y - 139. Is b a prime number?
False
Let x = 28 - -183. Is x composite?
False
Suppose 0 = -3*p, 2*h - 2*p - 6 + 0 = 0. Let a = h + -6. Is (a - -2)/(2/(-6)) prime?
True
Let b = 121 - 123. Let x(h) = -2*h**2 - 6*h**3 + 2 + h + 0 - 1. Is x(b) prime?
False
Let r = -1 + 3. Let p = -187 + 290. Suppose r + p = 5*d. Is d composite?
True
Let q(o) = -o**3 + 5*o**2 - 3*o + 1. Is q(2) composite?
False
Let c = -642 - -1385. Is c prime?
True
Suppose 3 - 7 = -4*y, 4*r + 3*y = 907. Is r a composite number?
True
Suppose 4*c = 6*c - 538. Is c prime?
True
Let a be (-816)/(-5) + 4/(-20). Suppose 4*o - 4*y = 376, 0*o + 3*y - a = -2*o. Is o a prime number?
True
Let m(c) = 17*c**2 - 4*c + 2. Suppose 2*k = -4*p - 18, k - 9 = 3*p + 7. Is m(p) a composite number?
True
Let k(r) = -3*r**3 - 18*r**2 - 2*r + 20. Let o be (-4 + 0)/((-5)/(-10)). Let l(d) = d**3 + 6*d**2 + d - 7. Let m(g) = o*l(g) - 3*k(g). Is m(-5) prime?
True
Suppose -3*m - 2*h = -m - 6, m = -2*h + 8. Let x = 1 - m. Suppose -56 = -x*g + 109. Is g prime?
False
Suppose 2*o = -3*o + 8665. Is o composite?
False
Is 9/(-3)*(-42)/9 prime?
False
Suppose 0 = 8*p - 11*p. Is 36 + (-2 - -3) + p a composite number?
False
Let u(x) = 153*x - 3. Let p be u(-5). Let j be -5*(-2 + p/15). Let o = -147 + j. Is o prime?
False
Let b(g) = -3*g**2 + 0*g**2 + 2*g**2 - 8*g. Let a be b(-5). Suppose 18 = 3*o - a. Is o a prime number?
True
Let v be (-1*(-118 + 0))/(-2). Let f = 126 + v. Is f a composite number?
False
Let r = 8 - -5. Let n be (2 - 1)*(r - 0). Suppose i - 25 = n. Is i composite?
True
Let u = -200 - -105. Let b = 164 + u. Suppose -2*t = -3*t + b. Is t composite?
True
Suppose -i + 2 = -0*i. Let q = i - 2. Suppose 3*n + 2*n - 110 = q. Is n composite?
True
Let y be -5*((-26)/(-10) - 3). Suppose o + 72 = 4*b - y*o, 0 = 4*o + 16. Is b a prime number?
False
Suppose -i - 21 = -0. Let r = -15 - i. Let w(q) = -q**3 + 6*q**2 + 3*q + 4. Is w(r) a prime number?
False
Let r(m) be the second derivative of -7*m**3/3 + 3*m**2/2 - 4*m. Is r(-6) composite?
True
Let l(q) = q**2 - 7*q - 5. Let u be l(8). Suppose 4*r = u*w + 50, -5*r + 3*w + 62 = -w. Is r prime?
False
Is (3 - 1)/(11/77) prime?
False
Let m = 2512 + -1413. Is m prime?
False
Let v(y) = -y**3 + 7*y**2 - 2*y - 3. Let p(o) be the third derivative of o**6/120 + o**5/6 + 7*o**4/24 - 2*o**3 - 3*o**2. Let r be p(-9). Is v(r) prime?
False
Suppose 3*u - 55 = -2*u + 5*o, 5*u = -2*o + 41. Is (-2)/(-3) - (-1137)/u a composite number?
False
Let j(v) = -44*v**3 + v**2 + v - 5. Let m(s) = 89*s**3 - 3*s**2 - 3*s + 11. Let t(c) = 7*j(c) + 3*m(c). Let o be t(-3). Let z = -698 + o. Is z a prime number?
False
Is (2/4)/(10/4300) a composite number?
True
Suppose -3*v + 74 = 4*y, y = -2*v - 2*v + 90. Let r = -105 - v. Let m = -60 - r. Is m prime?
True
Let s = 376 + -45. Is s prime?
True
Let q(o) = 10*o**2 - 5. Is q(-8) a prime number?
False
Suppose 0 = -t + 5*p + 51, 4*t - 2*p - 153 = t. Is t composite?
True
Suppose 2*m - l + 22 = 0, 13 + 22 = -3*m + 2*l. Let f be 2/(-6) - 507/m. Let o = f - -29. Is o prime?
False
Let q(b) = b**3 - b**2 - 5*b + 2. Let t be q(3). Suppose 3 + 7 = t*j. Suppose y - 260 = -5*u + 4*y, j*y = 10. Is u prime?
False
Let p(z) = z**3 - 2*z - 1. Let j be p(-1). Suppose d + 4*i = 4*d - 24, -2*d - i + 5 = j. Suppose r + d*u = 45, -5*r + 191 = 2*u + u. Is r a composite number?
False
Let r(v) = v**2 + v + 194. Is r(0) a prime number?
False
Is -2*18921/(-54) + (-4)/(-18) a prime number?
True
Suppose -5*p + 0*f + 20 = 4*f, 2*p + f - 5 = 0. Suppose 79 = j - p*j. Is j prime?
True
Suppose -7*j + 218 + 923 = 0. Is j prime?
True
Suppose -2*n - s = 6 - 172, 166 = 2*n - 4*s. Suppose -n = -3*r + 94. Is r prime?
True
Let p(j) = -j**3 - 2*j**2 - 2*j - 8. Is p(-7) a composite number?
False
Let k = 27 - 15. Let m = k - 8. Suppose 204 = m*d + 2*y - 5*y, 5*d = 3*y + 255. Is d a prime number?
False
Let r be -4*((-5)/(-2) - 3). Suppose r*s - 287 = -3*o + 312, o - 2*s - 213 = 0. Is o composite?
True
Let l = 55 - -156. Is l a composite number?
False
Let j(l) = -80*l + 1. Is j(-8) a prime number?
True
Suppose -430 = 2*m - 3*v, -2*m - 2*v = -3*m - 214. Let p = m - -423. Is p a prime number?
False
Let g = -8 - -12. Let s = 9 - g. Is 75/2 - s/10 composite?
False
Let m(k) = -3*k + 1471. Is m(0) prime?
True
Suppose 2*n - 1117 = -371. Is n a composite number?
False
Is (-1)/(-3) - (-346)/6 a composite number?
True
Let y = 152 - 25. Is y composite?
False
Let x(q) = -q**3 + 6*q**2 + 6*q - 6. Let r be x(6). Suppose 3*a - 25 = -z, -21 - 155 = -5*z + 2*a. Is z/5 - (-6)/r composite?
False
Suppose r - 13*r + 3972 = 0. Is r a composite number?
False
Let o = 1 - 1. Suppose k + o = 7. Is 93/7 - 2/k composite?
False
Suppose -4*i + 0*i + 12 = 0. Suppose f + i*r - 75 = 2*r, 2*f - 3*r = 160. Is f composite?
True
Let y = 83 - 76. Let w(n) = 4743*n**3 - 1. Let h be w(-1). Is h/(-56) - (-2)/y a prime number?
False
Let j = 7 + -5. Suppose -j*w + 5*b + 419 = 0, b + 214 = -0*w + w. Is w a composite number?
True
Suppose c + 2 - 5 = 0. Suppose -c*i - 6 = 0, 2*p - p + 4*i = 141. Is p prime?
True
Let t(k) = -91*k. Let h be t(1). Let x = -54 - h. Is x a composite number?
False
Suppose 3*c - 2739 = -8*c. Is c composite?
True
Suppose 3*w + 2 = -4*d + 1, 0 = 4*d - 4*w - 20. Suppose 555 - 199 = d*r. Let x = r - -27. Is x composite?
True
Is 6636/30 - 3/15 prime?
False
Suppose 0 = -2*n + z + 144 + 213, n - 3*z - 176 = 0. Is n prime?
True
Let s(y) = -87*y**2 - y + 1. Let u be s(1). Let g = u + 274. Is g prime?
False
Let l = 977 + -670. Is l a prime number?
True
Let d be ((-15)/(-2))/(1/2). Let j be 4/((-24)/d)*-2. Suppose 0*l + 4*l = -j*c + 73, -4*l - 5 = -c. Is c a prime number?
True
Suppose 0 = -4*g - 0*g + 48. Let d = 23 - g. Is 6/2*d/3 a composite number?
False
Let s = 3608 - 1707. Is s a composite number?
False
Let q(l) = 54*l + 35. Is q(9) prime?
True
Let c(s) = 175*s**2 - s + 3. Is c(2) a composite number?
False
Suppose 4*z = -3*q - 34, -2*z - 3*q - 11 - 3 = 0. Let w(f) = f**2 + 11*f + 12. Let t be w(z). Is (-53)/(2/(-4)*t) prime?
True
Suppose 0*h - 69 = -3*h - 2*d, 0 = 3*h + d - 69. Let w = 37 - h. Is w a prime number?
False
Suppose -3*j = f + 5 + 2, 3*f + 17 = -5*j. Is 282/26 - f/26 a prime number?
True
Let v = -145 + 293. Let p = v + -86. Is p prime?
False
Suppose 3*u = 3*a + 845 + 832, -5*u = -2*a - 2789. Is u prime?
True
Let d(v) = 2*v + 3 + 14*v**2 + 2*v + 4*v**2 - 2*v**2. Let u(o) = -o - 5. Let w be u(-3). Is d(w) prime?
True
Let y = 822 + -555. Is y a composite number?
True
Let c(v) = -13*v**3 + 5*v**2 + 13*v + 141. Suppose g + 2*g + 6 = 0. Let f(w) = -3*w**3 + w**2 + 3*w + 35. Let a(b) = g*c(b) + 9*f(b). Is a(0) a prime number?
False
Is -3 - -2 - (41 - 3)*-48 prime?
True
Let f(c) = 175*c - 8. Is f(3) a composite number?
True
Let n(r) = -1 + 2*r + 4 - 6*r. Let x = 18 - 26. Is n(x) composite?
True
Let x(l) = l**2 - 4*l + 1. Let z be x(6). Suppose 0 = 4*g - 3*u - z, g + u = -g + 19. Is g composite?
False
Let u(t) = -t**3 + 6*t**2 + 1. Let l be u(6). Let g be 2/(-4) + l/(-2). Let j = g + 63. Is j composite?
True
Let m = 