= i + y. Is c a composite number?
True
Suppose 0 = -d - 4*z + 5*z, -d = z - 2. Is 817 + -5 + 2 + d a composite number?
True
Let j(i) = -13*i + 9. Suppose -4*r = -3*m + 30, 0 = 2*r - 0*r - 3*m + 18. Is j(r) prime?
False
Let k = 12060 - 23. Is k a prime number?
True
Is (-6 - (-636)/108) + 54488/18 composite?
True
Suppose -2*o = -4*q + 20160, -2*o + 5037 = q - o. Is q composite?
False
Suppose -3*q - 2 = -14. Suppose -g + q = -0. Suppose -2*r + 6*r - 157 = -3*o, g = r. Is o composite?
False
Suppose 0 = -150*y + 152*y - 538. Is y a prime number?
True
Suppose -18*v + 3884 + 1642 = 0. Is v composite?
False
Let r = -546 + 957. Is r prime?
False
Is 3*2023293/45 - 144/(-180) a prime number?
True
Suppose 5*b + 27603 = -t + 1597, -b - 5190 = 3*t. Let g = -2467 - b. Is g a prime number?
False
Let x(p) be the second derivative of -p**5/20 - p**4/4 - p**3/6 - 5*p**2/2 + 6*p. Let l be x(-3). Is (2 - 3)*(l + -17) prime?
True
Let q be 2/(-8)*0 + 3. Let n be 162/q*(-2)/(-3). Let l = 50 - n. Is l composite?
True
Let v = 1292 - -655. Let h = -1061 + v. Let z = h - 579. Is z a composite number?
False
Suppose 3*q + 3434 = -4*f + 516, 2*q + 1938 = f. Let x = q + 1553. Is x a composite number?
True
Let b(t) = t**3 + 37*t**2 + 40*t - 53. Is b(-32) a composite number?
True
Let w = 40 - 66. Let i be (-4)/w - (-236)/(-13). Let q = i - -89. Is q a composite number?
False
Let f(n) = -n**2 + 5*n + 1. Let k be f(4). Suppose 321 = k*i - 124. Is i prime?
True
Let q = 6 - 6. Suppose -2*w = 3*s + 10, 25 = -q*s - s - 5*w. Suppose -3*x - 4*r + 3*r + 261 = s, -5*x - 4*r = -435. Is x prime?
False
Let q = 43 + -38. Suppose 0*k - 2465 = -q*k. Is k prime?
False
Let s(o) = -240*o - 353. Is s(-34) prime?
False
Suppose 12*f - 11 = 37. Is (2767/(-2))/(f/(-2 + -6)) a composite number?
False
Let x(r) = r**2 + 10*r + 24. Let n be x(-9). Suppose n*o - 1377 - 15888 = 0. Is o a composite number?
False
Let w = -154 - -157. Is w/(-4) - (-3 + 1389/(-12)) prime?
False
Let k be 8/(-12) - 4/(-6). Suppose 0*j - 2*j + 8 = k. Suppose -j*q = -207 - 41. Is q a prime number?
False
Is 2613 + (6 - 7 - 3) a composite number?
False
Let f be 2/(-16) + 5/40. Suppose 3*s = 3, -c + 5*s - 6*s + 2508 = f. Is c a prime number?
False
Suppose 4*s + 25401 = 5*s - 2*x, s = x + 25396. Is s a composite number?
False
Is ((-69294)/18)/(2/(-6)) a prime number?
True
Let r = 1503 + -957. Suppose 2*o - 8 = h, -5*o - 3*h = 2*h - 5. Suppose 0 = o*u + s - r, 55 - 958 = -5*u - 4*s. Is u a prime number?
False
Suppose 4*v = 5*w - 13 - 14, -5*w + 30 = -5*v. Suppose 0*z = w*z - 741. Is z a prime number?
False
Suppose 0 = 15*c - 53925 - 39660. Is c a composite number?
True
Let t(s) = 7*s**2 - 9*s + 67. Is t(-15) prime?
True
Let b(p) = -2425*p**2 + 8*p + 15. Let g be b(-8). Is g/(-57) + (-2)/3 composite?
True
Let n = -1 + 6. Suppose 5*a - a = -w + 310, 4*w - 393 = -n*a. Is a prime?
False
Let c(g) = -88*g + 299. Is c(-20) composite?
True
Suppose 9*t = 5*t - 68. Let o = t - -75. Is o a composite number?
True
Suppose 2*t - 28013 = m, -11*m + 27992 = 2*t - 5*m. Is t prime?
False
Let n(x) be the third derivative of x**5/30 + 11*x**4/12 - x**3/3 + 14*x**2. Is n(-15) a composite number?
True
Suppose -3*q - 19 = -2*l, 6*l + 3*q = 4*l + 13. Is 6*(-4)/l + 92 a composite number?
False
Let y = -615 + 2947. Suppose -105 + 115 = 2*l. Suppose a + y = l*a. Is a composite?
True
Suppose -7*v + 636204 = 5*v. Is v composite?
False
Let r(p) = p**2 + 7*p - 7. Let g be r(-9). Suppose g*n - 15 = 6*n. Suppose -5*b + 100 = -5*z, n*z - z - 23 = -b. Is b a prime number?
False
Suppose -4*z + 13 = -7. Is 19943/z - (3 + 85/(-25)) a composite number?
False
Suppose 14*i - 85533 + 17087 = 0. Is i a composite number?
False
Suppose 0 = -0*x + x - 4, t = 4*x - 17. Is (2152 + 2 - (t + 0)) + -2 a prime number?
True
Let l be 506/33 + (-1)/3. Let f(d) = 6*d - 11. Is f(l) prime?
True
Let k(x) = 339*x**2 - x + 9. Is k(-4) composite?
False
Let f be (5/2)/((15/66)/5). Suppose -95 = -2*o + v, o + v = -v + f. Is o prime?
False
Is (-2)/(14/(-186679)) + 24/42 prime?
True
Let i = -639 + 1767. Suppose a = -4*m + i + 589, -3*a + 5151 = 3*m. Is a a composite number?
True
Let k be (-6)/(-4)*110/15. Let b = k + -8. Suppose 505 = -0*t + 3*t + 4*l, b*l = -3*t + 504. Is t composite?
False
Let f(b) = 4*b + 15. Let t be f(-4). Let w(x) be the second derivative of -31*x**3/6 + x**2 + 2*x. Is w(t) a composite number?
True
Let v(w) = 10 + 13 + 14 - 14 + 6*w. Is v(10) composite?
False
Suppose 5*t + 4*n = 901, -2*n = -5*t + 7*t - 362. Is t a prime number?
False
Let f be (-14)/4*2/1. Let a(w) = -w**2 - w - 1. Let i(g) = -3*g**2 - g + 1. Let x(m) = -4*a(m) + i(m). Is x(f) a composite number?
True
Let p = 441 + -81. Let n(b) = 30*b**3 - 3*b**2 + 3*b - 1. Let j be n(2). Let i = p - j. Is i prime?
True
Suppose -2*j = -0*j - 8. Suppose 2*d + 3961 = 3*w + d, -1303 = -w - j*d. Is w composite?
False
Suppose -5*f = 4*z - 6079, -f + 0*z + 2*z + 1213 = 0. Suppose -f = -5*o + 2*o. Suppose 4*u = g + u - 409, 2*u = g - o. Is g composite?
False
Suppose -2*v - 32 = 4*u, -3*v = 4*u + 17 + 11. Is (-18582)/(-30) + 4/u a prime number?
True
Let v(x) = -83*x - 5. Let g be 6/(-1)*(-6)/18*-1. Is v(g) composite?
True
Let o(d) = 9*d**3 - 8*d**2 + 3*d - 7. Let z be o(6). Suppose -5*r + 310 = -l - 9, -5*l = -r + z. Let h = 539 + l. Is h composite?
True
Let v(k) be the first derivative of 11*k**3/2 - 10*k**2 + 9*k - 13. Let l(w) be the first derivative of v(w). Is l(7) a prime number?
True
Let o(n) = -18*n - 25. Let w = 10 + -20. Is o(w) composite?
True
Suppose 5*i + 3*i = 0. Suppose q - 5*y = -0*q + 64, i = -q - 5*y + 114. Is q prime?
True
Suppose -673 = -4*h + 87. Suppose s + 360 = 4*j, -3*j + j + h = -3*s. Is j prime?
True
Let b be ((0 + -3)*1)/(-1). Let u be (11 - 1) + (1 - b). Let d(p) = -p**3 + 10*p**2 - 9*p - 5. Is d(u) prime?
False
Suppose 0 = -3*k + s + 27458, 32*k + 45760 = 37*k - s. Is k a composite number?
False
Let k(q) = q + 7. Let x be k(-7). Suppose x = 2*a + 2, 0*n - 3*n = -4*a - 1486. Suppose 0 = -2*u + 4*u - n. Is u a composite number?
True
Suppose 5*t = 4*k + 4*t - 11300, -5*k - t + 14125 = 0. Let x(p) = 5*p - 21. Let w be x(5). Suppose w*y = -y + k. Is y prime?
False
Let v(l) = l + 4 + 2*l + 3*l - 2. Is v(2) prime?
False
Let x = -74 - -74. Suppose 3*b - 10206 - 15 = x. Is b a composite number?
False
Suppose -17*k - 11 - 261 = 0. Is 26966/8 + -2 + (-36)/k a composite number?
False
Let a(o) = -4*o - 20 + 2*o + 90*o**2 - 7*o**2 + 8*o**2. Is a(-9) a composite number?
False
Let z = 243 - 70. Let v = 275 - z. Suppose -v - 16 = -2*y. Is y composite?
False
Suppose 0 = 63*d - 43*d - 795580. Is d a composite number?
False
Suppose 2*m - 464 = 586. Suppose -2*t + 1321 + m = 0. Is t prime?
False
Suppose 2*m + 2*m + 12 = -5*b, -5*b - 5*m = 15. Let p be b/(-1*(0 - -1)). Suppose -5*a = -3*h - 946, h - 385 = -2*a - p*h. Is a prime?
True
Suppose -5*i - 5*m + 10 = 0, -6 = -2*i + 5*m + 5. Suppose -2*r + 20 = i*r. Suppose -r*b = 5*s - 585 + 30, 444 = 4*s + b. Is s a composite number?
True
Let i(k) = 8*k**3 + 3*k**2 + 4*k - 1. Let m be i(-4). Let z = m + 707. Is z composite?
True
Suppose 780824 = -67*d + 1897915. Is d a composite number?
False
Suppose -11*h = -33*h + 45034. Is h prime?
False
Suppose -26648 - 8323 = -3*y. Is y composite?
False
Let y(m) = -m**3 - 4*m**2 + 12*m + 6. Let l be y(-10). Let h = -151 + l. Is h prime?
False
Let m = 269 - 408. Let d = -18 - m. Is d prime?
False
Suppose -6666 = -4*y - 2*x + 3110, 7318 = 3*y + 5*x. Is y composite?
True
Let u = -1197 - -2890. Is u a composite number?
False
Let a(y) = 2*y**3 - 24*y**2 + 39*y - 19. Is a(18) composite?
True
Let a = -23 - -25. Is a*(3955/10)/7 prime?
True
Let w(m) = -840*m + 43. Is w(-16) a prime number?
False
Suppose -2*p = -t + 2305, -2*t - 3*p = -6*t + 9200. Suppose t = s - 4922. Is s prime?
True
Let z = -339 - -653. Suppose -m + 5*w + z = -120, m = 2*w + 425. Is m composite?
False
Suppose -2 = -l - 0*l. Let c be l/4*(2 + 8). Suppose -c*h = -110 - 20. Is h a composite number?
True
Suppose 0 = -4*n + 6*n - 10. Suppose 5*c = 20 - n. Suppose -c*y - 3*s = 61 - 340, 3*y + 4*s - 277 = 0. Is y a composite number?
True
Let l(f) = -f**2 + 20*f + 23. Let o(n) = -5*n + 2. Let j be o(3). Let r(x) = -x**2 - 14*x + 3. Let z be r(j). Is l(z) a prime number?
False
Suppose 0 =