e
Let c(u) = -193*u**3 + 3*u**2 + 6*u - 3. Is c(-2) prime?
False
Let t(z) = -z - 20. Let w be t(0). Is (1 - 4)*w/30 composite?
False
Suppose -a = 5*j - 918, 5*a - 3723 = -5*j + 887. Is a a composite number?
True
Let r(q) = -q + 274. Is r(0) a composite number?
True
Let l(s) = 7*s**2 - s + 1. Let z be l(1). Suppose z*m = 2*m + 15. Let w(r) = r**3 - 3*r**2 + 5*r - 2. Is w(m) a prime number?
True
Let w be (-104)/3*6/(-4). Suppose w = 8*j - 4*j. Is j composite?
False
Suppose 0 = 4*h + 5*h - 9783. Is h prime?
True
Let d(j) = 6*j**2 - 14*j - 1. Is d(6) a prime number?
True
Suppose 0 = -10*g + 5*g - 5. Let s(a) = -7*a**2 - a - 1. Let p be s(g). Is (-415)/p + (-6)/21 prime?
True
Let m(w) = -3*w**2 + 6*w - 3. Let a be m(7). Let j be ((-4)/(-3))/((-8)/a). Is ((-8)/(-6))/(4/j) prime?
False
Suppose p + 2*k - 28 = 0, p - 14 = 3*k + 39. Suppose -a + p = a. Is a a prime number?
True
Suppose 0 = -5*r + 2*u + 20, 5*u + 15 = -7*r + 2*r. Let s(q) = -q**2 - 7*q - 6. Let w be s(-5). Suppose 2*y = 6, 0*b = w*b - r*y - 326. Is b a prime number?
True
Let x(d) be the third derivative of -d**6/120 + d**4/12 - d**3/2 + 2*d**2. Let p be x(-4). Suppose 0 = 4*l - 471 - p. Is l prime?
True
Let l = 86 - -125. Is l composite?
False
Let s = 36 + -26. Is s prime?
False
Suppose -u + 2*f - 791 = 0, f = 3*u - f + 2389. Let z = 1268 + u. Is z a composite number?
True
Let j(x) = 17*x + 2. Suppose 0 = 3*p - p - 6. Is j(p) prime?
True
Suppose 5*k - 6372 = -1087. Is k a prime number?
False
Suppose -3*a + 6*a = 996. Suppose -a = -5*h + 333. Is h a composite number?
True
Let c(j) = -58*j + 4. Suppose -10 = -5*f, 4*z - 4*f + 0 + 20 = 0. Let t be c(z). Let n = 255 - t. Is n prime?
False
Suppose -2*u + 1373 = -5*f + 4*f, -1358 = -2*u - 4*f. Is u prime?
False
Suppose -3*y = -4*l + 2*y + 38, y = 4*l - 30. Is l prime?
True
Let t = 4 + -4. Suppose 0 = 3*q - 3*j - t*j - 3, 19 = 5*q + 2*j. Suppose -2*z = -2*a - q*z + 49, 0 = 3*a + 2*z - 72. Is a prime?
False
Suppose 0*x - 2*x = 2*y - 346, 20 = 5*y. Is x prime?
False
Let g be 2/((-8)/(-1236)) + -2. Is (-2)/(-2)*(g + 0) prime?
True
Let d(p) = -p**3 + 7*p**2 + 7*p. Let t = -12 - -19. Is d(t) a composite number?
True
Let f(l) = 64*l + 1. Is f(4) a composite number?
False
Suppose 2 - 7 = -5*h. Suppose 0 = 4*w + 3*v - 82, -w + 2*v + h = -25. Is w a composite number?
True
Suppose 5*a - 3 = 7. Suppose -22 = -a*x + 20. Is x a prime number?
False
Let i be (-4)/2 - (-1 + 20). Let y = i - -30. Is y a composite number?
True
Suppose -2*b = 7*b - 3411. Is b a prime number?
True
Suppose -5*i + 4111 = y, -12*y = -7*y + i - 20531. Is y prime?
False
Suppose 2*w = -3*w. Let i(d) = -d**3 + d**2 + 257. Is i(w) composite?
False
Suppose 2*v + 4*d = -4, 8 = v - d + 4. Suppose -v*i + 0*i = -74. Is i a prime number?
True
Suppose 2 = -f + 5, 2*v = 5*f - 31. Let a(s) = -s - 5. Let q be a(v). Suppose -111 = -5*d - 2*z - 0*z, q*d - 75 = 3*z. Is d composite?
False
Let p = -1198 + 2855. Is p prime?
True
Suppose -5*b - 128 + 328 = 0. Let o = b + -21. Is o composite?
False
Suppose k - 3*r = 5*k - 3637, 4*k = 2*r + 3622. Is k prime?
True
Let h(n) = -18*n**3 - n**2 + 3*n - 4. Let m be h(-3). Let a = m + -253. Is a prime?
True
Let a = 10 - -27. Is a a composite number?
False
Let g = 10 - 7. Suppose -g*a - 2*a + 5*x + 15 = 0, a + x = 5. Let p(o) = 2*o**2 - 4*o + 3. Is p(a) composite?
False
Let z = -8 + 6. Is 21 + 3 - (5 + z) a composite number?
True
Suppose -1785 = -3*x - 0*y - 4*y, 2*x - 1204 = 2*y. Let d = x - 388. Is d a prime number?
True
Suppose p + 0*p = 0. Let c(z) = z**2 + 3*z + 211. Is c(p) a prime number?
True
Suppose 5*t + 4*u - 547 = u, -436 = -4*t - 2*u. Let n be (-164)/(-3) + 1/3. Suppose n = r - 2*d, -2*r + 5*d = 2*d - t. Is r a prime number?
False
Let t(n) be the first derivative of 2*n**2 + 2*n - 4. Is t(2) a composite number?
True
Let r be -2*3/6*-3. Suppose -b = 3*b - r*w - 182, 4*w - 8 = 0. Is b prime?
True
Let k = -3 - -7. Suppose -k*y + 316 = -0*y. Is y composite?
False
Suppose 2*l + 1 + 3 = 2*q, 0 = -5*l. Let y = 6 - q. Is y composite?
True
Let l(y) = y**2 + y + 2. Let q be l(0). Suppose 19 = q*n - 11. Is n a composite number?
True
Let p(c) be the first derivative of c**7/420 - c**6/120 + c**5/120 + c**4/24 - c**3 - 2. Let h(t) be the third derivative of p(t). Is h(4) composite?
True
Let h = 5334 + -3625. Is h prime?
True
Suppose r + 5*p - 5 = 2*p, -2*r = -p - 10. Suppose 0 = 3*u - 5*i - 485, 6*i - i - 290 = -2*u. Suppose 7 = -r*d - 3, -u = -3*l + 4*d. Is l a prime number?
False
Let r = -1035 + 1751. Suppose 5*j - r = j. Is j a prime number?
True
Let s = 5 + -3. Let n = -3 - -5. Suppose s*c + 5*z - 415 = -3*c, -4*c + n*z = -308. Is c prime?
True
Suppose 6*p = p. Suppose 2*w = -2*o + o + 151, 2*o + w - 299 = p. Is o a prime number?
True
Let s(x) = -x**2 - x + 3. Let b be s(0). Suppose 0*t - b*t = -1659. Is t prime?
False
Suppose -5*q - 15 = -5*v, -2*v = 3*q - 6 - 5. Let b(w) = w**3 - w**2 - 4*w + 6. Let p be b(v). Is 3*3/(18/p) composite?
False
Let g = 1060 - -1747. Is g a prime number?
False
Is 22232/3 - (-1 + 4/6) a composite number?
False
Let a(p) = -p**2 + 2*p + 6. Let n be a(5). Is ((-12)/n)/((-6)/(-27)) a prime number?
False
Is 1*(-4 + 0 - -255) composite?
False
Let n be (309/(-2))/(2/(-4)). Let j = 395 + 75. Let c = j - n. Is c a composite number?
True
Let c = 140 + -13. Is c prime?
True
Suppose 3*i = -0*i - 9. Let c = 6 + i. Is (-64)/(-2) - -1*c prime?
False
Suppose y - 305 = 2*m, 5*m - 3*m = -y + 309. Is y prime?
True
Let a = 136 + 51. Is a composite?
True
Let s = 5 - 17. Suppose r + 16 = n + 6*r, -2*n + 4 = 3*r. Is 65/3 + n/s prime?
False
Suppose 30 = 4*i - i. Is i/(-50) - (-336)/5 a prime number?
True
Let r be 2/(-7) + 2/7. Suppose 5*a + 0*a - 110 = r. Is a prime?
False
Let l = -371 + 664. Is l composite?
False
Let c be 4 + 0 + (-1 - 1). Suppose 0 = c*y - 0 - 4. Suppose 2*n = -0*n + 3*i + 190, -2*n + y*i = -186. Is n a prime number?
True
Let l(c) = -12*c - 4. Let d be l(-3). Suppose x + x = -d. Let y = x - -29. Is y composite?
False
Let s(j) = -j - 6. Let c be s(0). Let b = -11 - c. Let v(p) = -p**3 - 2*p**2 + 8*p + 3. Is v(b) composite?
True
Let y(v) = 46*v**3 + v**2 + v - 1. Let z(u) = u**2 + 10*u + 9. Let o be z(-9). Suppose 0 = -n - o*n + 1. Is y(n) composite?
False
Is (-3*(-8)/(-72))/(2/(-5034)) composite?
False
Let t = 1520 + -527. Is t composite?
True
Let w = 9 + -5. Suppose -3*q - 9 = -5*x, -5*x + w*q - 6 = -18. Suppose 4*y - 47 - 41 = x. Is y a composite number?
True
Let r be -1 - ((-3 - -6) + -258). Suppose -5*b + 590 = 5*z, z - r = -z + 4*b. Is z composite?
True
Let d(s) = 3*s**3 - 5*s**2 + s + 4. Is d(5) prime?
False
Suppose -5*a + 3*p + 2948 = 0, 1336 = 2*a + 3*p + 161. Is a prime?
False
Suppose 0 = 2*h - 3*h - 3*w + 16, 18 = h + 4*w. Let s = -7 + h. Is (-2 + 0)/((-1)/s) prime?
False
Suppose -2*g = -3*y - 2299, -3*g + 3*y + 5073 = 1629. Suppose -g = -2*x - 5*t, -4*x + 753 = -5*t - 1492. Is x prime?
False
Suppose 4*s - 2 = -2*y, -2*y - 4 - 4 = -s. Let f(w) = 16*w**3 + w**2 + 2*w - 2. Let j be f(s). Let n = j - 79. Is n a composite number?
True
Let k(j) = j**3 + 3*j**2 - j - 26. Let c(y) = 2*y**3 + 7*y**2 - 2*y - 53. Let g(q) = 4*c(q) - 9*k(q). Let h be 1/2*0/(-6). Is g(h) composite?
True
Let k(u) = 5*u + 5. Is k(6) composite?
True
Suppose 4*c - 16 + 4 = 0. Suppose 3*s - c*h - 113 = -11, -h = -4*s + 121. Suppose d - s + 10 = 0. Is d a prime number?
True
Let l be -1 + (-2)/(6/(-9)). Let i = l - 0. Suppose i*h - 61 - 41 = 0. Is h a prime number?
False
Let l(v) = 11*v + 21. Let c(i) = -5*i - 10. Let d(y) = -5*c(y) - 3*l(y). Is d(-6) composite?
True
Let r be (6/(-8))/((-3)/(-60)). Let k be (-33)/r - 1/5. Suppose 3*v - 5*q - 427 = 0, 0*v - k*v = 4*q - 314. Is v prime?
True
Let u(k) = -k**2 - 7*k - 4. Let s be u(-6). Suppose -2*z - 4 = -2*b - 0, -s*z = -5*b + 10. Suppose p = f - 12 + 4, b*f + 3*p = 21. Is f composite?
True
Suppose 6*z - z - 40 = 0. Let t(v) = v**3 - 6*v**2 - 9*v - 3. Is t(z) a composite number?
False
Let c = -1445 + 2061. Suppose 4*p + 4*b = c, -124 = -p + 8*b - 3*b. Is p a prime number?
True
Let m = 43 + -24. Is m a prime number?
True
Let h(z) = -z**2 + 0*z**2 + 5*z + 1 + 6. Let r be h(6). Is (0/(-2) - r) + 234 prime?
True
Is 67/6 - (-5)/(-30) composite?
False
Let x(m) = -m. Let g be x(-2). Let k(w) = w**2 - 9*w - 10. Let t 