986/4 + 1/(-2). Suppose 0*i + 245 = i + k*p, -3*i + 5*p = -u. Is i composite?
True
Suppose 4*w - 10 = w + 4*d, -10 = -5*d. Suppose -4*o + w*o - 375 = -5*q, -759 = -4*o - q. Suppose -o = -j + 15. Is j composite?
True
Suppose -2 = -2*y - 0, -2*y + 14 = 3*m. Suppose -m*r = 16, 0*o + 2*o = -r + 5022. Is o a composite number?
True
Let r(z) = 6*z. Let u be r(1). Let a be 4/u + 20/6. Suppose -a*y = -117 - 23. Is y a prime number?
False
Let y(a) = 2671*a + 119. Is y(8) a prime number?
True
Suppose 17*v = 94709 - 13806. Is v prime?
True
Suppose 2*b - 6200 - 2554 = 0. Let x be ((-8)/(-4))/((-3)/b). Is x/(-14) + 8/14 prime?
False
Let j be (-3)/6 + (-845)/(-2). Let n = j - 231. Is n a prime number?
True
Suppose 2*s + 3987 = -w, -2*s + 0*w - 3972 = -2*w. Let y = s + 3028. Is y prime?
False
Let c = -98 + 44. Is (c/(-36))/(3/262) prime?
True
Let i = 8 - 9. Let t be (-16)/(-4) - (0 + i). Is 10/t + (-147)/(-1) a composite number?
False
Let o be 1 - ((4 - 4) + -393). Suppose 3*w - 1802 = o. Suppose 104 - w = -4*k. Is k composite?
False
Let g be (-2)/(-4)*(1 - 713). Let q = -154 - g. Is q composite?
True
Suppose -3*j = 3*l - 29418 - 25260, -36453 = -2*j - l. Is j a prime number?
False
Let c = -2043 - -609. Let w = c - -2936. Is w a prime number?
False
Suppose -22 = -x + 40. Suppose -x = 5*q - 1387. Is q composite?
True
Let p(k) = 177*k + 65. Is p(2) a composite number?
False
Suppose a = 22 - 17. Suppose -4*p + 1984 = 4*f, a*f - 5*p - 1853 = 597. Is f a prime number?
False
Let r be (-1)/2 + (-1911)/(-14). Let i = r - -237. Is i composite?
False
Let x = -45 - -50. Let u(c) = 22*c**2 - c - 4. Is u(x) prime?
True
Let l(c) = -176*c - 4 + 63*c + 6. Let y be l(-5). Suppose 0 = -3*s + 2*r + y, -6*r + 3*r - 373 = -2*s. Is s composite?
False
Suppose -700 = 5*p - 5*i, -2*i + i = -4*p - 566. Let a = 61 - p. Suppose -214 = -3*c + a. Is c prime?
True
Let d(k) = -574*k**3 - 6*k**2 + 12*k**2 + 6*k + 5*k**2 + 5 + 573*k**3. Suppose -6*c = -3*c - 27. Is d(c) a prime number?
False
Let l = -22 + 19. Is l/(-9) - 6056/(-12) prime?
False
Let j = 12760 + -8393. Is j a composite number?
True
Let r(n) = -10*n**3 - 3*n**2 - 4*n - 2. Suppose -135 = -2*t + 7*t. Let o = -30 - t. Is r(o) composite?
True
Suppose 636 = 3*n + 5*u - 6078, -n + 2246 = -u. Is n prime?
True
Suppose -16*k + 112 = -80. Suppose k*z = 15*z - 1893. Is z prime?
True
Let h(q) = 37*q**2 - q + 53. Is h(-10) prime?
False
Let j = -2845 + 4316. Is j a composite number?
False
Suppose -5*u - 87 = -22. Suppose 0*m = -3*m - 3*d - 96, -5*m + 3*d = 160. Let r = u - m. Is r composite?
False
Let y be (5/3)/((-3)/(-9)). Suppose -2*p + 19254 = 5*q + 4559, 0 = -y*p. Is q composite?
False
Let v be 48606/(-42) - 4/(-14). Let h = 1638 + v. Is h composite?
True
Let x be 3*5*(-6)/(-10). Let z(d) = d**2 + d - 2. Let i be z(-7). Let w = i - x. Is w a composite number?
False
Let j(o) be the third derivative of o**6/120 + o**5/12 + o**4/6 + o**3/2 - 5*o**2. Let v be j(-4). Suppose v*k - 134 = k. Is k prime?
True
Is -8098*6/12*-5 composite?
True
Suppose -6*i = -11375 - 2623. Is i a prime number?
True
Let d = 50505 - 25492. Is d a composite number?
False
Let v(l) = l**3 + 39*l**2 + 22*l + 239. Is v(-29) prime?
True
Let h(m) = -31 + 22 + 2*m**2 + 15*m + 53 + 0*m. Is h(-13) composite?
True
Let f(a) = -13563*a - 47. Is f(-6) a composite number?
False
Let m = 10971 - 5674. Is m a prime number?
True
Let d(f) = -7*f**2 + 11*f - 8. Let x(g) = -g**2. Let c(b) = d(b) - 6*x(b). Let h be c(7). Suppose 0 = h*u - 19*u - 34. Is u prime?
False
Suppose 0 = 4*v + 2*p - 13442, 12 = p + 3*p. Suppose 5*q = 4*q + v. Is q a composite number?
False
Suppose 5*r - 5 = -5*x, 0*r - 10 = -4*x - 2*r. Suppose -x*z + 8*z - 1740 = 0. Suppose -3*f - z = -8*f. Is f a composite number?
True
Is -6*16674/(-96) - 2/16 composite?
True
Let s = 194 + -387. Is 2*(0 - s) + -5 prime?
False
Is 369692/30 - 41/615 a composite number?
False
Suppose 0 = 29*f - 26*f - 11379. Is f a prime number?
True
Is ((-56)/42)/((-32)/193416) composite?
False
Suppose 0 = -131*t + 79*t + 5530148. Is t composite?
False
Let l = 1311 - -448. Is l composite?
False
Let z be (-28)/35*(-10)/2. Let n be ((-110)/33)/(z/(-6)). Suppose -94 = -n*k + 5*y + 76, -4*k + 5*y + 132 = 0. Is k composite?
True
Let s = 17587 + -11972. Is s a prime number?
False
Let v = -9010 + 14386. Let a = v + -3043. Is a composite?
False
Is (-32459)/(-21)*(3 - 0) a prime number?
True
Let z = 21 + -3. Let v = z - 14. Is (-6)/9*(-894)/v a composite number?
False
Let p be 3/(-4) + -4862*1/(-8). Suppose 4*t - p = 565. Is t prime?
True
Let b = 2 + -1. Suppose b = -2*j + f, -5*j + 5*f + 5 = -5. Is 2/j*-3 + 113 a prime number?
False
Suppose -2*u + 6 = 0, -151217 = 17*s - 22*s - 4*u. Is s a composite number?
False
Let x(w) = -w**3 + 9*w**2 - w + 20. Let k be x(5). Suppose -6*q = -7*q + 4*o + k, 355 = 4*q + 5*o. Is q a prime number?
False
Let w(k) = 310*k + 6. Let b be w(7). Suppose 1440 = 4*x - b. Let q = -507 + x. Is q a prime number?
True
Let n(f) = -f + 13. Let u be n(11). Let x(w) = -w + 2*w**2 - 1 + u*w + 6*w**2. Is x(4) prime?
True
Let i(f) = -70*f**3 + 9*f**2 + 5*f - 7. Is i(-3) a prime number?
True
Suppose w - 3111 = -2*a, -2*w = w + 9. Suppose -5*h = -5*s + 3980, 0*s - 5*h = 2*s - a. Is s composite?
True
Let k = 49 - 43. Suppose -2*q - 752 = -k*q + 4*b, -b = 2*q - 385. Is q composite?
False
Suppose j = 7*j - 46692. Suppose -4*o + 5*d + j = 0, -4*d - 8296 - 1427 = -5*o. Is o a prime number?
False
Let q(a) = 3*a + 2219. Let b = -64 + 64. Is q(b) a composite number?
True
Suppose 5 = -2*t - 3*t. Is -4 + (t - (3 - 10)) prime?
True
Let p(b) = -48*b - 39. Let q be p(-15). Is (-8 + 12)/((-4)/(-2)) + q composite?
False
Let b(h) = h**3 - 8*h**2 - 8. Suppose 5*i - 49 = j - 5, j = -4. Let u be b(i). Let s = u + 61. Is s a prime number?
True
Let k be (2 + 1)*(-7)/(-21). Let d(w) = -5*w + 0 - k + 4*w**2 - w + 2*w. Is d(5) prime?
True
Let t be 2376/10 + (-2 - (-21)/15). Let a = t - -1018. Is a a prime number?
False
Let i(q) be the first derivative of 2*q**3/3 + q + 6. Let u be 10*1/(0 - -2). Is i(u) prime?
False
Let j be ((-6)/(-4))/(6/12). Let v(r) = -14*r**2 + r**3 + 16*r + 15 + 6*r**2 - 2*r**j. Is v(-10) a composite number?
True
Suppose 5*g - 139717 = -4*x, -4*g + 271*x - 274*x + 111773 = 0. Is g a composite number?
False
Let g(o) = -o**2 - 9*o**3 - 4*o + 3 - 4*o + 11*o**3 + 2. Let h be g(6). Suppose -2*x + h = -x. Is x a prime number?
True
Let k(a) = -675*a + 7. Let u be k(-4). Suppose -4*m = 2 - 14, -4*f = m - u. Let r = -347 + f. Is r composite?
True
Suppose -11*d - 4 = -12*d. Suppose d*r - a - 16911 = 0, -5*a = 7*r - 2*r - 21170. Is r a composite number?
False
Let f(m) = 2*m**2 + 19*m + 39. Let a be f(-11). Is 16/a + (-234590)/(-18) a composite number?
False
Suppose -3*k = -a + 18, -k + 2*k = -3*a + 74. Let j = a - 21. Suppose -4*x = -j*u - 42 - 18, 2*u - 30 = -2*x. Is x prime?
False
Let g be 4764/8 - (2/4 - 1). Suppose -3*q + 7*q = g. Is q composite?
False
Let f(d) = -2*d**2 + d - 7. Let u be f(7). Let a be u/(-10) - 1/(-5). Is (-6)/2 - (-47 + a) composite?
True
Let u(j) = 8*j**2 - j + 1. Let s be u(1). Let x(z) = -13*z + 3*z**2 + 0*z**2 - 2*z**2 + 6 + 10*z. Is x(s) a composite number?
True
Let j(x) = -x**2 - x. Let p(m) = -3*m**3 - 3*m**2 - 8*m - 1. Let a(b) = 2*j(b) + p(b). Is a(-7) prime?
True
Let d be 2/(-5) - (-36)/15. Suppose d*k - 10 = -6. Is (k + -23)*2/(-2) a composite number?
True
Let n = -5 - -7. Suppose 8 - n = -r. Is (-3)/(-2)*(-452)/r a composite number?
False
Let o(n) = 2*n**2 + 4 - 14 + 9*n + 27. Is o(-4) a prime number?
True
Suppose 3*p = y + 209872, 3*p - 2*y = 216052 - 6185. Is p a composite number?
False
Let m(q) = 56*q**2 + 33. Let y = 154 - 147. Is m(y) composite?
False
Let u be -3 - 12*(8/6 + -2). Suppose 5*o - 185 = t - 0*t, -3*o - u*t + 111 = 0. Is o a prime number?
True
Let q(s) = 3*s**2 + s - 2. Let h be q(1). Suppose -194 = -0*w - h*w. Is w composite?
False
Let h = -18 - -8. Let l(g) = -g**3 - 7*g**2 - 6*g - 23. Is l(h) composite?
False
Suppose 33 + 67 = -10*f. Is ((-13501)/(-92))/(f/(-8) - 1) a prime number?
True
Let c(a) = -a**2 + 6*a + 5. Let u = 8 + -4. Is c(u) composite?
False
Suppose 2*s = 3*f - 8*f + 570, 0 = 2*s + 2*f - 558. Suppose 5*j - 5480 - s = 0. Is j composite?
False
Suppose 4136 = 6*x + 2*x. Suppose 6*u - x