e?
True
Let f(j) = j + 3. Let z be f(0). Is 0/(z + -1) + 83 composite?
False
Suppose -3*m = -5*u + 9, -3*m + m + 13 = 3*u. Suppose -3*j + 266 = -4*w + 3*w, -j + 87 = -m*w. Is j a composite number?
False
Suppose 13 = 4*q + a, -1 = -3*q - 0*a + a. Suppose -q*c + 72 = -192. Suppose -c = -4*j - 0*j. Is j a prime number?
False
Suppose o + 2 = 4. Suppose 3*l = -5*h + 182, o*h + 2*h = -4*l + 256. Is l prime?
False
Suppose 67 + 80 = -3*t. Let b = 8 - t. Suppose -261 + b = -4*c. Is c prime?
False
Let n(f) = 11*f**2 - 4*f - 13. Is n(-6) prime?
False
Let s(i) = i**2 - 7*i - 1. Let p be s(11). Suppose -p = -0*q - q. Suppose x + q = 2*x. Is x composite?
False
Let k(h) = h**2 - h. Let d(o) = -5*o**3 + 5*o**2 - 7*o - 2. Let x(s) = -d(s) + 4*k(s). Let w be x(-2). Let t = -29 - w. Is t composite?
False
Suppose -2*z + 5 = -1. Suppose -3*h = z*l - 9, -h - 2 = -l - 3*h. Suppose l*k - 190 = 2*o, -1 = -3*o - 4. Is k composite?
False
Let k be 96 + 5/((-15)/9). Suppose 3*g + 4*x - 4 = 2, 2*g - 2*x = 4. Suppose l - k = -g*l. Is l prime?
True
Suppose 3*z = -8 - 4. Is (-2020)/(-16) - 3/z a composite number?
False
Let h(i) = -i**3 + 11*i**2 - 13*i - 8. Is h(9) composite?
False
Suppose -8*b = -10*b + 1778. Is b a composite number?
True
Let q(l) = 322*l - 1. Suppose o + 2 = 3*t - 0*t, 5*o - 6 = -t. Is q(o) a prime number?
False
Suppose -2*a + 543 = 161. Is a a composite number?
False
Is (-17)/(-3)*9 + 4 a prime number?
False
Let p = 36 - 66. Is 830/(-4)*p/25 a prime number?
False
Let f(z) be the second derivative of z**4/4 + z**3/3 - z**2/2 + 2*z. Let a be f(1). Suppose 4*s - 358 = -2*v + 3*v, 4*s - 348 = -a*v. Is s composite?
False
Is (536/(-32))/(2/(-8)) composite?
False
Let k(b) = b**3 + b**2 - b - 5. Let j(v) = -2*v**3 - v**2 + v + 10. Let g(f) = -3*j(f) - 7*k(f). Is g(-6) composite?
False
Let n(m) = 4*m - 4. Let u be n(-3). Let d = u + 35. Is d a composite number?
False
Let s(c) = 49*c - 2. Let f be s(3). Suppose -598 = -4*b - 2*g, -g = -b + 3*g + f. Is b prime?
True
Let a be (-5225)/(-30) + 1/(-6). Let v = a - 83. Is v a prime number?
False
Is (-2 + -1 - 0) + (215 - 9) a prime number?
False
Let b be ((-225)/(-10))/((-2)/(-40)). Let k = b - 224. Suppose 0*w + 2*w = k. Is w a prime number?
True
Let b = -29 + 20. Is ((-1335)/b)/((-2)/(-6)) prime?
False
Let r(n) = -n**3 - 8*n**2 - 8*n - 8. Let k be r(-7). Is (k - -185 - -1) + 0 a prime number?
False
Let c(d) be the first derivative of d**5/60 - d**4/6 + 5*d**3/6 + 3*d**2/2 + 1. Let f(r) be the second derivative of c(r). Is f(5) composite?
True
Let b = -2 - 3. Let v = b - -9. Suppose -127 = -v*j + g, 6*j + 5*g - 78 = 3*j. Is j prime?
True
Let m = 18 + -14. Suppose -4*p + 351 = t, m*t - t - 9 = 0. Is p composite?
True
Let f(y) = 6*y**3 + y**2 + 2*y - 3. Let d be f(2). Suppose -k = 7 - d. Is k a composite number?
True
Let l(w) = -w**3 + 4*w**2 + 4*w + 5. Let r be (-4)/(-14) + (-78)/(-21). Is l(r) composite?
True
Suppose 3*z = 2*z + 217. Is z prime?
False
Suppose -5*r + 110 = -50. Suppose -r = -n + 1. Is n composite?
True
Suppose -3*w - 3*l = 0, -3*l = -w - 0*w. Let u(z) = z + 163. Let d be u(w). Suppose -5*k + d = -22. Is k a composite number?
False
Let r = -6 + 11. Suppose -u - r = -26. Is u prime?
False
Is 9243/45 + 2/(-5) prime?
False
Let l(s) = -s**3 - 2*s**2 - 13*s - 13. Is l(-10) a prime number?
False
Let g = -284 - -650. Suppose 0*n = -4*t - n + 1519, -3*n = t - g. Is t a prime number?
False
Let f = 1 + 1. Suppose 34 = -3*p - h + 324, f*h + 2 = 0. Is p composite?
False
Let k = 0 + 0. Let w be -1 + k + (-30 - -2). Let n = w + 52. Is n prime?
True
Suppose -o = 2*z - 415, 1452 + 614 = 5*o + z. Is o a prime number?
False
Suppose 5*t - 32 = -4*a, 2*a + 1 = 5*a - 2*t. Let s(f) = 2*f**2 - f**2 - 5*f + 11*f - a. Is s(4) prime?
True
Let z(u) = u**2 + u - 9. Is z(11) a composite number?
True
Let y(u) = 3*u**2 + 3*u - 7. Is y(-5) a composite number?
False
Let q(b) = 8*b**2 + b - 17. Is q(4) composite?
True
Suppose 5*g + 0*j - 3*j - 28 = 0, 0 = 2*g - j - 11. Let w be (-2)/g + (-2742)/(-30). Suppose x - 36 = w. Is x a prime number?
True
Let x = 2860 + -291. Is x a composite number?
True
Suppose -2*z + 3*z + 6 = 0. Is (z/4)/(2/(-4)) a composite number?
False
Suppose 2*d - 592 + 160 = 0. Let w = d - 129. Is w composite?
True
Let m(q) = 9*q**2 + 4*q - 6. Let l be m(4). Suppose -t - 43 = 40. Let f = t + l. Is f composite?
False
Let o be (-2 - (-15)/6)*-22. Let j = o + 16. Let l(u) = 8*u - 7. Is l(j) a prime number?
False
Let k(u) = 29*u**3 + u**2 + 8*u - 9. Is k(4) a prime number?
False
Suppose 1 - 3 = -l. Is (1 + 9/l)*10 a composite number?
True
Let p(a) = -a**3 + 7*a**2 + 2*a - 10. Let u be p(7). Suppose 0 = n - 2*t - 31, n + u*t - 41 - 14 = 0. Is n composite?
True
Suppose 2*n = g - 10, 0*g = -3*g + 3*n + 27. Suppose -2*c - 74 = 4*x, -3*c + 25 = -2*x - g. Let r = x - -31. Is r a prime number?
True
Suppose -u - 3*u + y + 1527 = 0, 4*u = -y + 1521. Is u composite?
True
Suppose -5237 = -2*n - 5*s, -3*n - 2*s + 6587 + 1252 = 0. Is n a prime number?
False
Let b = -73 + 207. Is b composite?
True
Suppose -56 = -3*c + c. Suppose -c = 5*l - 273. Is l a prime number?
False
Let i(h) = -3*h + 2. Let p be (1 - 2)*(-9 + -1). Let t = 6 - p. Is i(t) a composite number?
True
Let c(f) = -f**3 + 14*f**2 + 17*f + 11. Is c(10) a prime number?
False
Suppose 0 = 4*f - 468 - 376. Is f a prime number?
True
Is 331 + (2 + 1 - 3) a composite number?
False
Suppose -18*w + 108 + 12114 = 0. Is w a composite number?
True
Suppose 0*w = 2*w - 6. Suppose -8 = -2*q, w*p - 34 = -3*q - 4. Is 1005/(-10)*(-4)/p prime?
True
Let m(w) = -w**3 + 2*w**2 - 4*w + 3. Let f be m(2). Is (f/(-2))/((-7)/(-154)) a composite number?
True
Is (2/(-3))/(14/(-5397)) prime?
True
Is 0 + 131 + (-2 - -5) composite?
True
Let q be (-2 - -1)/(4/(-16)). Let k(z) = 9*z - 3. Is k(q) prime?
False
Suppose 7 + 8 = 5*c. Is c/12 + 918/8 a composite number?
True
Suppose 2*r + 4*p = -3*r + 776, -3 = 3*p. Suppose 0 = -l - i + r + 267, -5*i = -20. Is l composite?
False
Suppose -o = 2*o - 402. Let b = -49 + o. Is b a composite number?
True
Let d = 209 + -95. Let w = 9 - 5. Suppose -3*f = -g - 88, 4*f - w*g - d = -10. Is f a prime number?
True
Suppose -18 = -s + 4*s. Let g(h) = 7*h**2 - 7*h - 7. Is g(s) a prime number?
False
Suppose 2*o - 501 - 257 = 0. Suppose -z + o = 4*z + 3*k, 2*z + 5*k = 144. Is z a prime number?
False
Let h(i) = -129*i - 1. Let j(k) = 3*k**3 + k**2 + k + 1. Let v be j(-1). Is h(v) a composite number?
False
Let f be (-1 - -1) + (-1032)/(-2). Let o = f - 353. Is o prime?
True
Let q be 580/6 + (-6)/9. Suppose 3*j = 117 + 528. Let f = j - q. Is f a prime number?
False
Let g = -3 - -4. Is (17 - (-1 - g))/1 a prime number?
True
Let u(f) = 2*f + 3. Let x be u(-2). Let v be (-1)/x + 4 + 0. Suppose m - 69 = 5*p, 0 = -v*m + 3*p + 2*p + 425. Is m a composite number?
False
Suppose 0 = b + 3, 2*f - 437 = 4*b - b. Is f prime?
False
Suppose 2*x = 183 + 11. Is x prime?
True
Let w = 1476 + -481. Is w prime?
False
Let z be 2/(-2) - (-3 - 2). Suppose 0 = -5*f - 1 - z. Is (1/f)/((-3)/63) prime?
False
Let w(m) = 15*m**2 - 2*m - 1. Let v be w(-1). Suppose -4*a - 8*l + 1232 = -4*l, 4*l = v. Suppose 4*i - 948 = -a. Is i a prime number?
False
Let j(k) = 160*k**2 - k + 2. Is j(3) prime?
True
Suppose 0 = 5*z - 15. Suppose -z*i = -4*i + 19. Is i a composite number?
False
Suppose 4*t + t - 40 = 0. Suppose 0 = 2*c + 2*p - 96, 2*p = -5*c - 0*p + 252. Is (1 + 5)*c/t a composite number?
True
Suppose -5*o + 2*b = -24, -3*o - 4*b - 12 = -4*o. Let x(a) = 3*a**3 + a**2 - 2*a - 1. Is x(o) prime?
True
Suppose -3*r = -31 - 32. Is r prime?
False
Let m(z) be the first derivative of 1 + 5/2*z**2 + 5*z. Is m(6) a prime number?
False
Let f = 6 - 1. Let k be (4/(-5))/(8/(-20)). Suppose 0 = f*a - a + k*l - 398, 3*l = 2*a - 179. Is a a composite number?
False
Suppose -2*i + 2*o + 0*o + 42 = 0, -2*o = 3*i - 58. Suppose 5 = c + y, 2*y + 4 = 3*c + 9. Let f = c + i. Is f a prime number?
False
Is 1173/(-6)*-2 - -2 prime?
False
Let u be ((-12)/(-18))/((-2)/12). Let j(z) = -9*z + 1. Is j(u) prime?
True
Is 11192/20*5/2 prime?
True
Let n = 20 - 18. Suppose -n*t - 4*s = -38, 0*s = -2*t - 3*s + 41. Is t a composite number?
True
Let w = -254 - -381. Is w composite?
False
Let c(k) = 16*k**2 - 6*k + 3. Is c(4) composite?
True
Let z(c) = c**3 