e
Suppose 5*h + 2535 = -4*v, 2*v - 5*v - 1014 = 2*h. Is 1 + (1 - h) + -4 composite?
True
Let r be (6/5)/(-2)*-65. Suppose -r = 4*a + 789. Is 26/(6*(-3)/a) a composite number?
True
Let x = 1363 + -779. Suppose -2*i + 4*d + 40 = -252, 0 = -4*i + 5*d + x. Is i a prime number?
False
Let z = -5690 + 15467. Suppose 4*h - z + 893 = 0. Is h a composite number?
False
Let b be 2/(-3)*27/(-6). Suppose -2*t = -6*t - x + 4, b*t - 5*x - 3 = 0. Is -758*t/(-2) + 0 prime?
True
Let i(x) = x**2 - x - 12. Let c be i(5). Let t = c + -9. Let m(y) = 80*y**2 - 1. Is m(t) composite?
False
Suppose -2*f = -z - 1, -8 = 4*f + 2*z - 30. Suppose -437 = f*w - 4*w - 5*b, 0 = -5*w - 5*b + 2225. Is w prime?
False
Let z = 94565 - 52986. Is z a prime number?
True
Suppose 0 = -p - 12*s + 8*s + 13661, 3*p - s - 40944 = 0. Is p prime?
True
Let g(z) = 125*z - 12. Let u(p) = -126*p + 11. Let n(j) = -4*g(j) - 3*u(j). Is n(-7) prime?
False
Let j = 9283 + -3894. Is j a composite number?
True
Let f be 2/5 + 4483/5. Let i = f + 1220. Is i prime?
False
Suppose 2*m - i = 6*m - 346, 5*i - 77 = -m. Is m prime?
False
Let r(v) be the first derivative of -v**3/3 - v**2/2 + 80*v + 8. Let c be r(0). Is (c/24)/(4/222) composite?
True
Let m(p) be the first derivative of p**4/2 - 2*p**3/3 - 3*p**2/2 + 3*p - 2. Let i be m(2). Is (-3)/i - 458/(-5) prime?
False
Suppose 5*g = m - 487, m = -3*g + 111 + 384. Suppose -114*s = -118*s + m. Is s a prime number?
False
Suppose -101*p = -35*p - 508794. Is p composite?
True
Let m(r) be the third derivative of -11*r**4/12 + 7*r**3/2 + 6*r**2. Let x be m(-10). Let o = 495 - x. Is o a composite number?
True
Let z(s) = 37*s + 100. Is z(21) a composite number?
False
Is 4/(4/1973) + 0/13 a prime number?
True
Suppose -r - 3*b = 6 + 7, -23 = r + 5*b. Suppose -2*f = -6, 2*f = -r*i + 5*f - 41. Is (-8)/i*(21 + 1) a prime number?
True
Is (-4)/(-12)*-3*-3631 prime?
True
Let v = -10562 + 19225. Is v composite?
False
Suppose t - 1 = 2*c + 1, 2*c = -2*t - 2. Suppose 4*d + 811 - 2975 = t. Is d composite?
False
Let p(l) = -4*l**2 + 3*l + 1. Let i be p(3). Let z = i + 27. Is (-444 + z)/(1/(-1)) composite?
False
Let n(q) = 780*q**2 - 8*q + 2. Let v be n(3). Let h = -2889 + v. Is h composite?
True
Let o(w) = -408*w**3 + 1. Let j be (1 + 2)*1/(-3). Is o(j) composite?
False
Let w = 85 + -258. Let c(k) = 437*k**2 + k. Let i be c(-1). Let a = w + i. Is a a prime number?
True
Suppose -5*d + 556 + 988 = -j, 5*j - 288 = -d. Let x = 531 - d. Is x composite?
False
Suppose -15*m - 2736 = -35421. Is m a composite number?
False
Let m = -11720 - -20749. Is m a composite number?
False
Let y(j) = 2*j**2 - 2*j + 86. Let u(d) = -5*d**2 + 5*d - 173. Let h(m) = 3*u(m) + 7*y(m). Is h(0) a composite number?
False
Let g = 13 - 15. Is (g/6)/((-11)/16533) a prime number?
False
Suppose -2*x = o + 188, -3*o + 80 = -x - 0*o. Let i be x + 2/1 + 0. Let n = i - -208. Is n a prime number?
False
Suppose -5*g - 1101 + 4466 = 0. Is g a composite number?
False
Suppose 10*v - 8*v - 3*d + 2 = 0, -2 = -5*v + 4*d. Suppose 59 - 183 = -v*h. Is h a composite number?
True
Let n be 0 + 2/6 + (-186427)/(-123). Let h = n - 905. Is h prime?
False
Let y = 927 + -413. Suppose -2*f + 4 = 0, -q + 2*q = -3*f + y. Suppose -2*r = 2*r - q. Is r prime?
True
Let s be -1*12/(-4) - -9. Suppose 3*z - 375 = -2*y - y, 0 = -3*y - s. Let j = 256 - z. Is j a prime number?
True
Let f be -3*8/12 - -772. Let d = f + -462. Suppose d = 7*c - 3*c. Is c a prime number?
False
Let l(p) = p**2 + 17*p + 22. Let r be l(-16). Suppose r*d - 4 = 2*d, 2*d - 607 = -5*k. Is k a composite number?
True
Let b(p) = 50*p - 151. Is b(31) prime?
True
Let k = 100 + -105. Is (0 - 202)*k - 1 prime?
True
Suppose 6*c - 6386 + 1550 = 0. Suppose 5953 = v + c. Is v a prime number?
True
Let g be (-5)/(-3*2/786). Is 2/(1320/g - 2) a prime number?
True
Is ((-1)/7 - (-288)/(-42)) + 1416 a prime number?
True
Let u = 5068 - 69. Is u composite?
False
Is 252021/12 - (3 + 72/(-32)) prime?
True
Suppose -8*f + 58 = 98. Let d(l) = -2*l + 1 - 25*l + 3. Is d(f) a prime number?
True
Let j(q) = 4*q**2 + 3*q + 7. Let k = -7 - -13. Let s be (k/4)/(2/(-4)). Is j(s) composite?
True
Let b = 1700 + -141. Is b a prime number?
True
Suppose 4*k = -5*l + 86131, -l - 11068 = -3*k + 53516. Is k composite?
False
Let t(k) = -11087*k - 845. Is t(-6) a composite number?
False
Suppose -r = -8*r - 1519. Let n = r - -308. Is n prime?
False
Let q(t) = -24*t + 5. Let g be q(10). Let n be 3*(-2)/3 - g. Suppose -3*s + n = -2*s. Is s prime?
True
Suppose -2290 = -2*s + 3*f, -4*f + 4540 = 4*s - 0*s. Is s prime?
False
Let f be 2/10 + (-63)/15. Let q be (-3 + -1)*2/f. Suppose c + 0*c + 130 = q*t, -276 = -4*t - 2*c. Is t a composite number?
False
Suppose 10891 + 2630 = 3*w. Is w a prime number?
True
Let u be 2 + 16/(2 - -2). Suppose 776 = u*r + 110. Is r composite?
True
Let a = 23 - -22. Suppose q - h = a, -2*h - h - 227 = -5*q. Suppose -z + q = z. Is z prime?
True
Let x be 4*2/(24/9). Let n(d) = 0 + 25*d + x - 6 - 2. Is n(6) prime?
False
Suppose 3*q + 3*v - v - 648 = 0, 0 = -5*q - 4*v + 1082. Suppose 3*x = 4*u + q, -u = 2*x - 202 + 52. Is x a prime number?
False
Is (-82830)/(-42) + (-18)/(-21) a composite number?
False
Let v be -2*((-5242)/(-4) + -2). Let f = 1533 + v. Let n = f + 1577. Is n composite?
True
Let q(v) = -v**3 - v**2 + v - 4. Let u(r) = r + 5. Let t be u(-5). Let l be q(t). Let z(s) = s**3 + 5*s**2 + 5. Is z(l) a prime number?
False
Let x = -1334 - -4168. Let u = -945 + x. Is u composite?
False
Let l = -21 - -25. Suppose -a + 324 = -q + 2*a, l*a + 998 = -3*q. Let j = 305 - q. Is j a composite number?
True
Suppose -5*k + 759 = -2*w + 92, k - 132 = -w. Suppose 427 = 5*b - k. Let x = -77 + b. Is x a composite number?
True
Let r = 53 + -307. Let v be (-3)/(-9)*-3 - r. Let m = 120 + v. Is m prime?
True
Suppose 0 = k + 1, 4*v = -4*k + 6840. Is v composite?
True
Let u(r) = 112*r**2 + 2*r + 1. Let b be u(-1). Let m = b - 189. Let v = 33 - m. Is v composite?
True
Let v(s) be the third derivative of 41*s**6/120 - s**5/60 - s**4/3 + s**3/2 + s**2. Let q be v(3). Suppose -p + 521 = -4*o - 0*o, 2*p = o + q. Is p prime?
True
Let p(r) be the first derivative of -r**3/3 - r**2/2 - 2*r + 4. Let l be p(-2). Is (-221)/l - 3/12 a prime number?
False
Let a(g) = -2*g - 11. Let x be a(-10). Let p be (10/(-1))/((-3)/x). Suppose j - 65 = p. Is j composite?
True
Let l be 234/63 - (-6)/21. Suppose 0 = 5*d - h - 44 - 595, d - l*h = 143. Is d composite?
False
Suppose -11*o = -265411 + 61592. Is o a prime number?
False
Let c = 2595 - 608. Is c a prime number?
True
Let d = 14851 + -10460. Is d prime?
True
Let f be (8/(-20))/((-3)/30). Suppose -f*k = w - 2445, -12129 = -5*w - 2*k + 6*k. Is w a composite number?
True
Let k(b) = 205*b + 19. Let c(v) = 102*v + 9. Let a(l) = -5*c(l) + 2*k(l). Is a(-3) prime?
True
Suppose 0*c = 4*i - 2*c - 52956, 0 = 4*i + 4*c - 52980. Is i prime?
True
Suppose -15 = -3*f + 90. Suppose 34 = p - f. Is p prime?
False
Let u be (24/(-9))/(2/537). Let c = u - -2973. Suppose 4*j - c = -5*l, j + 0*j = -2*l + 901. Is l a composite number?
False
Is 9560 + (3 - -1 - -1) prime?
False
Is (15/(-25))/(21/(-271355)) prime?
True
Let q(b) = -6*b**2 - 17*b - 17. Let j(s) = -2*s**2 - 2. Let r(z) = 2*j(z) - q(z). Let y(k) = k**2 - 14. Let p be y(0). Is r(p) prime?
True
Suppose -v = -5*v - 3*i + 255718, 5*v = -4*i + 319647. Is v composite?
True
Suppose -s - 2*x = -3300, -s + 3309 = 5*x - 0*x. Let c = 4687 - s. Is c a composite number?
True
Let s be ((-3262)/(-21))/((-4)/(-6)). Suppose p - 62 = -2*q, 5*q + 62 = 5*p - s. Suppose 298 - p = 2*h. Is h prime?
False
Let f(k) = 5*k**3 + 4*k**2 + 10*k - 25. Is f(12) a composite number?
False
Let y(c) = -c**2 + 3*c + 1. Let r be y(3). Is (r/(-2))/(17/(-18394)) a prime number?
True
Is ((-8)/3 - -2)*321420/(-40) a composite number?
True
Suppose -15 + 41 = -2*g. Let z = g - -102. Is z a composite number?
False
Let d(r) = 7*r**2 - 11*r - 107. Is d(-50) a composite number?
True
Let u = 17762 + 5831. Is u a prime number?
True
Suppose 0*t + 4*t - 8 = 0. Suppose 0*z + 2*z - t = 0. Is -1*(-844)/(z + 3) a prime number?
True
Suppose 1171 = 4*w - 313. Is w a prime number?
False
Let u(q) = -1785*q + 64. Is u(-14) a prime number?
False
Suppose 2 - 1 = -k. Is (k/1 + -1310)*1/(-3) composite?
True
Let f(y) 