e?
True
Let w = 69 + -24. Suppose 0 = -2*x + w + 61. Is x prime?
True
Suppose 5*x + 5*k = 4 + 1, -4*k = 3*x - 1. Suppose 3*p - 2*c = -2, 0 = 4*p - 5*c + 2 + x. Suppose 6*z - 25 = z + m, p = -z + 4*m - 14. Is z composite?
True
Is (-8292)/(-20) + 4/10 a prime number?
False
Suppose -45 = 5*l + o, -4*o - 10 = 4*l + 10. Let s be 10/(-4)*8/l. Suppose s*q + 9 = -2*i + 31, -4*q + 14 = i. Is i a composite number?
True
Suppose -3*w = -354 - 981. Is w composite?
True
Suppose 4*i = 3*g - 26, -3*i - 2*g + 4 - 15 = 0. Let v(l) be the third derivative of l**6/120 + l**5/10 + l**4/12 - 2*l**3/3 - l**2. Is v(i) a prime number?
True
Let u(p) = 0*p**2 + 2*p - 2*p**2 - p**2 - 17 + 9*p**2. Is u(7) a composite number?
True
Let n(j) = -9*j**3 + 5*j**2 - 2*j + 5. Is n(-4) prime?
False
Let h(y) = y**2 + 25. Suppose -9 = 4*d - 89. Suppose p + d = 6*p, -4*m - p + 4 = 0. Is h(m) a composite number?
True
Suppose -5*n + 4*a - 12 + 36 = 0, -8 = -n + 4*a. Suppose -12 = -5*o + n*y + 38, 4 = 4*o + 4*y. Suppose -2*h + o*h = 92. Is h a prime number?
True
Let b be -2 + 2/((-6)/189). Let g = b - -160. Is g a prime number?
False
Suppose -t = 3*b - 1268, 6*t + 3762 = 9*t - 5*b. Is t prime?
True
Let z = 7 - 11. Is -5*z/(40/138) a composite number?
True
Let s(l) = -l + 16. Let j be s(12). Suppose 5*t = m + 372, j*m + 146 + 158 = 4*t. Is t a prime number?
False
Let p(j) = 1 + 3*j - 2*j - 1 + 7. Let l be p(-5). Suppose 410 = 5*a - l*x - x, -5*a - 5*x = -370. Is a a prime number?
True
Let h(n) be the third derivative of n**5/60 - n**4/4 - n**3/6 + n**2. Let f(j) = j**2 - 9*j - 4. Let o be f(9). Is h(o) a composite number?
True
Suppose -16*l = -32*l + 7120. Is l a composite number?
True
Let a = -15 - -22. Let b = 21 - a. Is b prime?
False
Let s(f) = -13*f - 6. Let d(a) = -68*a - 65 - 29*a - 46*a. Let g(p) = -6*d(p) + 65*s(p). Is g(1) a prime number?
True
Let a(u) = 2*u**3 - 7*u**2 - 3*u + 13. Is a(9) a prime number?
True
Suppose -4*z - z = -4*j + 35, 0 = -z - j + 2. Let t be -3*(2 + 20/z). Suppose 0 = x + 5*r - 16, -t = -4*x - r + 6*r. Is x composite?
True
Let c = -232 - -489. Is c a prime number?
True
Let x(g) = g + 8. Let q be x(-5). Suppose q*b - 4*b = -11. Is b a prime number?
True
Suppose -2*k + 0*k + 466 = 0. Is k prime?
True
Suppose l - 234 = -2*l. Suppose c + 5*s - l = 0, -c + 2*s - 5*s = -78. Suppose -n - n = -c. Is n composite?
True
Suppose 9*m + 3889 - 10216 = 0. Is m a composite number?
True
Suppose 2*c = -3*u - 169, -5*c + 0*u - 454 = -3*u. Is 4 - (-2 + 2 + c) prime?
False
Is 1039 - -1 - (-13 + 10) prime?
False
Let z = -339 + 535. Suppose 3*n - 3*v = 273, 20 = -2*n - v + z. Is n prime?
True
Is 382 - (4 - (4 + -1)) composite?
True
Suppose 0*f = -5*f + 1605. Is f prime?
False
Suppose -2*u - 35 = -11. Let j be 2/8 - (-3)/u. Suppose -3*t - 2 = -2*t, 3*o + 4*t - 259 = j. Is o prime?
True
Suppose -x - x + 1454 = 4*v, -2*x = 2*v - 1464. Is x a composite number?
True
Suppose -3*l = 2*m + 23 - 166, -l = -4*m + 321. Let q = -33 + m. Is q a prime number?
False
Suppose 12 = -4*i + 3*f, 5*i + 3*f = f - 15. Let p be 39/4 - (-1)/4. Is p/(i/(-6)*2) prime?
False
Let o(k) = -k**2 - 6*k + 6. Let b(c) = -c**2 - 7*c + 7. Let p(n) = 3*b(n) - 4*o(n). Let t be p(-3). Is (t/(-6))/((-2)/(-364)) prime?
False
Let d be ((-6)/4)/(3/(-10)). Let h(y) = -y**2 + 4*y + 7. Let x be h(d). Is ((-3)/9)/(x/(-1542)) a composite number?
False
Let g be (-8)/10 - 190/(-50). Is (g - 1)/8*724 prime?
True
Suppose 10*w - 6*w - 148 = 0. Is (4 + -9)*w/(-5) a composite number?
False
Let x(s) = 2*s - 3. Let d be x(3). Suppose o - d - 1 = 0. Suppose 5*j = 2*r - 200 + 20, -o*j + 388 = 4*r. Is r a composite number?
True
Suppose 3*z = z + 5*j + 1755, 3*j = -15. Is z composite?
True
Suppose -2*t + 23 = 3*z - 49, 105 = 3*t + 3*z. Let p = t + -47. Is 107/7 + 4/p prime?
False
Let i = 105 - -18. Is i a prime number?
False
Let p = -874 - -504. Let q = -257 - p. Is q composite?
False
Let p = -6 - -6. Suppose 5*s + 5*z - 190 = p, -3*s + 4*z + 107 = -0*z. Is s prime?
True
Is 673 - 0/(12/(-4)) a prime number?
True
Let t = -835 + 1378. Is t composite?
True
Let x = 179 - 64. Is x a prime number?
False
Is 1137*-2*3/(-18) prime?
True
Let l(r) = -r**3 + 14*r**2 - 7. Let q be l(11). Is q/(-12)*(-2 - 1) composite?
False
Let m be 29 - 5 - (-1 - -1). Suppose 5*d - m = -g, d - 94 = -3*g - 3*d. Is g a composite number?
True
Let c be 165 - (-1 + 0) - -2. Suppose 2*n - 2*h = 236, 2*h = 5*n - 425 - c. Is n prime?
False
Suppose -10 = 3*s - 34. Let r = 45 - s. Is r a prime number?
True
Suppose 3*f = -209 + 6368. Is f a composite number?
False
Let f(j) = -5*j + 3. Let g be (-24)/(-3) + -2 + 0. Let o be 1 - 2*15/g. Is f(o) composite?
False
Let m(x) = 6*x**2 - 32*x - 3. Is m(-14) a composite number?
False
Suppose 2*z = -q - 1, -q - 3*q + 2*z + 6 = 0. Let g be (-4 + q)*(0 - -1). Is -23*(1 - (-6)/g) a prime number?
True
Let m be ((-3)/(-9))/((-1)/(-267)). Suppose -2*j = -2*y - m - 17, y + 3*j + 69 = 0. Let o = 180 + y. Is o prime?
False
Let z(d) = -17*d + 3. Is z(-4) a composite number?
False
Let i(b) = -b**2 + 7*b - 6. Let f be i(4). Let m(o) = 8*o - o**2 + 4 + 1 + 2. Is m(f) composite?
False
Let z(x) = 5*x + 1. Let v(p) = 6*p + 1. Let w(h) = -4*v(h) + 5*z(h). Let u(n) = -6*n**2 - 7*n - 6. Let m(k) = -u(k) - 3*w(k). Is m(4) a prime number?
False
Let m = 2 - -2. Let o be m*(-2 - 222/(-8)). Is (-1)/2 - o/(-2) composite?
True
Let y(q) be the third derivative of q**6/120 + q**5/5 - 3*q**4/8 + q**3/2 + 2*q**2. Is y(-10) a prime number?
True
Suppose -4*j - 3*c + 540 = c, 4*j - 3*c = 533. Is j composite?
True
Let d be ((-4)/3)/((-2)/(-24)). Let l = d + 53. Is l composite?
False
Let y(v) = -33*v**3. Let r = -3 - -2. Is y(r) composite?
True
Suppose -g + 3*b - 8*b - 8 = 0, 3*g + 5*b = -4. Suppose -651 = -g*k + 659. Is k a prime number?
False
Suppose 2*o + 25 - 7 = -4*p, o + 17 = -4*p. Let h = 45 - o. Is h composite?
True
Let z = 65 + 2. Is z a prime number?
True
Let b(z) = 6*z**2 + 6*z - 5. Is b(11) a prime number?
True
Let a(i) = -i - 3 + 2 - 3. Let z be a(-6). Let h(b) = 17*b + 1. Is h(z) composite?
True
Suppose 5*n - 8 = 2. Suppose 2*b + 3*b - z = 77, n*b = -2*z + 26. Is b composite?
True
Let w(b) be the first derivative of -20*b**2 - 2*b + 3. Is w(-1) a composite number?
True
Let y be (-21)/(-1)*(-2)/(-3). Let a(t) = -t**3 - 4*t**2 + 4*t - 3. Let s be a(-5). Suppose i + y = s*i. Is i composite?
True
Let g(j) = -37*j + 7. Let n(b) = 18*b - 4. Let o(f) = 3*g(f) + 5*n(f). Is o(-2) a prime number?
True
Let v be 12/(-4) + (0 - -5). Is -67*1*(-3 + v) composite?
False
Let u(y) = 640*y**2 + 1. Is u(-1) a prime number?
True
Is (2 + (-14)/4)*(-149440)/96 composite?
True
Let x = -542 + 317. Is x/(-10) + 1/2 composite?
False
Let n(b) = -15 + 4*b + 4*b**2 + 2*b**2 - 5*b**2 + 17*b**2. Is n(8) composite?
True
Let g(y) = 6*y**2 + 3*y + 13. Is g(-6) prime?
True
Let j be (-248)/(-2)*(-1)/(-2). Suppose 2*p = 6*p - i - 50, 0 = 5*p - i - j. Suppose -t = -2*g + 10, 0*t + p = g - 4*t. Is g prime?
False
Let z(k) = -22*k**3 + 2*k**2. Let w be z(-2). Suppose -959 = -5*j - w. Suppose -4*c + j = 3*g + 42, -4*g = c - 38. Is c a prime number?
False
Let w = -1385 + 2250. Is w a composite number?
True
Suppose -3*u = -2*i + 3, 3*i - 14 = -10*u + 5*u. Suppose 2*f - u = -2*g + 3*g, 5*g + 14 = f. Let b(o) = -12*o + 1. Is b(g) prime?
True
Suppose -3*b + 4*b = 52. Let c be (-4)/14 - b/14. Let k = c + 6. Is k prime?
True
Let t be (-2)/4*-2 - 0. Is (2/(-4)*-62)/t a composite number?
False
Is ((-34)/(-3))/(-8 - 15250/(-1905)) a composite number?
True
Is 5*53 - (7 - 5) prime?
True
Suppose -v - 2*c = -0*c - 209, -3*c = 4*v - 811. Is v prime?
True
Is 482 + 1/(-9) + (-56)/(-18) prime?
False
Let l = 436 - -53. Is l a prime number?
False
Suppose -3*h - 1644 = -5*k - 2*h, -3*h = -k + 326. Is k prime?
False
Suppose -169 - 59 = -2*r. Is 10/3*r/4 a composite number?
True
Suppose 14 = 4*s - 3*v - 1, v = 3*s - 15. Let q = 9 - s. Suppose 198 = 4*d - 2*j - 0*j, q*d + j = 136. Is d composite?
False
Let w(v) = -v**3 - 11*v**2 + 7*v - 7. Is w(-12) composite?
False
Let n(y) = -y**3 - 11*y**2 + 9*y - 10. Is n(-13) composite?
False
Suppose -10*v = -469 - 201. Is v composite?
False
Let n = 4 + -7. Let x be 1/n - 14/(-6). Suppose a - x - 8 = 0. Is a composite?
True
Let d(i) = -8*i**3 - 4*i**2 + i - 10. Is d(-7) prime?
True