*i + 9. Let n = 18 - 14. Is w(n) prime?
True
Let j(g) = -78*g + 1. Let w(m) = -m + 13. Let z be w(14). Is j(z) composite?
False
Let x(l) = l**3 - 11*l**2 + 9*l + 14. Let c be x(10). Suppose -f - 176 = -c*f - o, 174 = 3*f + 3*o. Is f prime?
True
Is 3030/8 - (-20)/80 prime?
True
Suppose i - 10 = -4*i. Let b(m) = -m**3 - m**2 - 2*m + 5. Let h be b(0). Suppose 0 = 5*q + 3*f - 1279, i*q - h*f = -q + 781. Is q prime?
True
Let l be (3 + -3)/(3 - 0). Suppose -5*r + 2 + 18 = l. Suppose -4*x = -5*p - 144 + 30, -r*x + 134 = 5*p. Is x composite?
False
Suppose p - 12 = 5*p. Let i be (-1)/(-2) - p/2. Suppose 16 = 5*z - 2*g - 15, 0 = i*z - 2*g - 10. Is z composite?
False
Suppose -3*o - d = -3, 6*o - d = 3*o + 9. Let l be -1*(o + -4) - -1. Suppose -l*y + 51 = -282. Is y a composite number?
True
Let b(m) = -4 + 1 + 0*m - 4*m**2 - 5*m - 3*m**3. Let k be b(-4). Suppose -k + 421 = 4*t. Is t prime?
False
Let y be 1791/5 - (-2)/(-10). Suppose 0 = 3*h - 5*p + 4*p - y, 481 = 4*h - 5*p. Is h a prime number?
False
Suppose -1907 + 66 = -y. Is y a composite number?
True
Suppose 2*y = -y + 2*v + 399, 0 = 5*y + 3*v - 646. Is y a composite number?
False
Suppose 2*v = -2, -v - 11 = -y - y. Suppose 0 = q + 2 - y. Suppose -4*r = -g - 147, -q*r + g - 38 = -4*r. Is r a composite number?
False
Suppose -2*g + 14 = -4*g. Let k(v) = 4*v + 2. Let a(x) = x. Let b(d) = a(d) - k(d). Is b(g) a composite number?
False
Let r be (-2)/(-4) - (-171)/(-2). Let z(q) = -7*q**3 - 4*q**2 - 1. Let x be z(-3). Let h = r + x. Is h a prime number?
True
Is 9/(-27) - 116/(-6) composite?
False
Suppose -2*y = -3*y - 2. Let n(l) = l - 4*l**3 + 3*l**2 + 0*l**3 - 3*l**2 - l**2. Is n(y) a composite number?
True
Let m = -991 - -1548. Is m a composite number?
False
Let s(f) = -f + 7. Let p be s(7). Suppose -596 = -4*j - p*j. Is j a composite number?
False
Suppose 5*r + 3*i - 69 = 0, -2*r + 30 = 3*i - i. Let m = r + 47. Is m a composite number?
False
Suppose 0 = -4*u + 2*o + 582, 3*u + 2*o - 3*o = 434. Is u prime?
False
Let a(q) = -3*q + 213. Let h(l) = l**2 - l - 2. Let k be h(2). Is a(k) prime?
False
Let b = 101 + -50. Is b a composite number?
True
Suppose -w = 4*q - 198 - 36, -3*w + 772 = -2*q. Is w a prime number?
False
Let l be (-66)/8 - (-1)/4. Let b = -4 - l. Is (-56)/(-16)*1*b composite?
True
Let y = -111 - -327. Suppose -2 = -p - 5. Is y - (-2 + (0 - p)) a composite number?
True
Let a = 9 - -29. Is a composite?
True
Suppose -b + 2*b = 0. Let h be (b - (-6)/2)/1. Suppose h*a + t = 6*t + 23, 5*a = 5*t + 35. Is a prime?
False
Suppose 6 = 2*h - 4. Suppose 4*b = -g + h*g - 224, -b = 3*g - 164. Is g prime?
False
Let c be ((-84)/(-8))/7*2. Suppose -2*j = c*j + 2*k - 3405, -5*k = -25. Is j prime?
False
Let p be 2 + 15/(-3) + -2. Let v(n) = 6*n**2 + 2*n + 1. Let q be v(p). Suppose -2*x + m + 3 + 291 = 0, m - q = -x. Is x prime?
False
Let v = -1 + 3. Suppose -4*d + 3*d + 8 = v*q, 0 = d - 4*q + 4. Suppose 0 = d*w - 3*w - 77. Is w composite?
True
Let u(g) = -g**3 + 13*g**2 - 6*g + 7. Suppose 2*p + 2*z - 18 = 0, 2*p - 9 = -4*z + 3. Is u(p) prime?
True
Let w be (3/(-2))/((-1)/(-6)). Let q(r) = r + 2. Let c be q(7). Is (-6)/c - 141/w a composite number?
True
Let u = 203 - -11. Is u composite?
True
Let g be ((-4)/6)/((-4)/(-6)). Is (-5)/15*237/g a prime number?
True
Suppose 2*t + 4 = -3*g - 1, -4*t + 30 = -2*g. Let j be 167/5 - (-2)/g. Let f = 54 - j. Is f a prime number?
False
Suppose 2*s - 5*s = -12. Suppose 2 = k, s*k = -4*x - 202 + 818. Suppose 5*u = 143 + x. Is u a prime number?
True
Is 538 + (-3 + 2 - 2) a composite number?
True
Let p(k) = k**2 + 8*k + 5. Let l be p(-8). Suppose -25 = -5*f, -2*j - j - l*f + 274 = 0. Is j a composite number?
False
Suppose -6*x - 1102 = -8*x. Is x prime?
False
Suppose -4*d - 251 = -5*d. Suppose 0*l - 773 = -3*l - b, 2*b - d = -l. Is l composite?
True
Let p = 117 + -20. Is p a prime number?
True
Let p be -4 + 4 + 0 + 0. Suppose p*x = 3*x - 126. Let j = x + -23. Is j composite?
False
Let k(l) = 7*l**2 + 4*l - 7. Is k(6) composite?
False
Let g(i) = i**3 + 9*i**2 - 14*i - 11. Let m(q) = -q - 1. Let u(y) = g(y) - 4*m(y). Is u(-7) composite?
True
Let j(w) = w**2 - 8*w + 8. Let g be j(7). Let l = 5 - g. Suppose -l*o + 7 + 1 = 0. Is o a composite number?
False
Let j = 1288 + -917. Is j a composite number?
True
Let u be (-2)/3 + 2554/6. Let w = 718 - u. Is w a composite number?
False
Suppose 0*d + 188 = -4*d. Let b = d - -124. Is b prime?
False
Suppose -2*v - 6 = 0, -113 = -4*b - v - 4*v. Suppose -143 = -3*y - b. Is y a prime number?
True
Let z(v) = -142*v**3 - 2*v**2 - v. Suppose 0 = -2*t + 2*g - 2, 0*t + 4*g = -t - 1. Is z(t) a composite number?
True
Let t(m) = -20*m + 11. Is t(-9) prime?
True
Suppose 190 = -3*f + 481. Is f prime?
True
Suppose a + 0*a = 0. Suppose -2*s + 242 + 180 = a. Is s prime?
True
Let s(j) = -2*j**3 - 4*j**2 + 4*j - 1. Suppose 8 = n - 3*n. Is s(n) a prime number?
True
Let p(b) = -3*b + 4. Suppose 4 = -2*y - 18. Is p(y) a composite number?
False
Let o(d) = -2*d**3 - d**2 - 15*d - 11. Is o(-7) prime?
False
Let q(v) = 15*v + 8. Let x be q(-7). Let t(i) = 9*i**2 - i + 2. Let k be t(6). Let m = k + x. Is m a composite number?
False
Let i = -22 + 27. Suppose 5*l + i = 0, -3*g + 4*l + 1229 + 176 = 0. Is g composite?
False
Suppose 2*z = 4*j - 34, j + 5*z - 7 = 18. Suppose -3*n + j = 2*n, -18 = -s + 4*n. Is (s/4)/(2/20) a prime number?
False
Let k = 21 - -20. Let w = 91 - k. Let o = 72 - w. Is o a composite number?
True
Let m(d) = 133*d + 1. Suppose -4*v + 10 = -6*v. Let b be m(v). Let f = -459 - b. Is f prime?
False
Suppose 2*h = -5*z + 15, 4*h - 7 = 2*h + 3*z. Suppose 2160 = h*w + 790. Is w prime?
False
Let i = 231 + -146. Is i prime?
False
Let f(m) = 2*m - 9. Let p be f(6). Suppose 2*a = p*i + 3*a - 9, 0 = 3*i + 4*a - 9. Suppose i*o + 6*u - 5*u - 450 = 0, -o = -4*u - 137. Is o prime?
True
Suppose 3*g + 122 = g. Let t be 5 + (1 - (-1 + 1)). Let r = t - g. Is r a composite number?
False
Suppose 4*k = -4*d, 0*k = 5*k. Suppose d = 2*m - 1 - 9. Suppose 2*v = m*z + 173, 6*v - 4*z = 3*v + 249. Is v prime?
True
Suppose -t - 11 = -2*d, -2*d - 2*t = -d + 7. Suppose -8*o + 260 = -d*o. Let q = o + -30. Is q composite?
True
Suppose 5*c = -5*b + 530, -c + 3*c = -b + 105. Is b - (3 + -3 - -1) composite?
True
Suppose 3*s - 155 = 4*l - 9*l, 3*l = 4*s + 93. Let i = l + 12. Is i a prime number?
True
Let g(i) = i**2 + i + 7. Suppose 123 = 3*p + 18. Suppose 2*x + p = -3*x. Is g(x) composite?
True
Let b = -71 + 119. Let h = -100 + b. Let o = h - -73. Is o a composite number?
True
Let v(i) = i**2 - i - 11. Is v(10) a composite number?
False
Let z(m) = 2*m**2 - 15*m - 3. Is z(-6) a prime number?
False
Suppose 0 = -2*l - 13 - 3. Let w = l + 8. Suppose w = 4*j - 26 - 114. Is j composite?
True
Suppose g = -3*j + 91, 0*g + 3*g = -2*j + 49. Let f = 75 - j. Is f composite?
False
Suppose -18 = 5*h - 2*h. Let o = -1 - h. Is (6 - o)*3*1 composite?
False
Suppose -2*j - j + 693 = 3*y, y - 464 = -2*j. Is j composite?
False
Suppose 3*b = 4*b - 26. Let z = 220 - b. Is z composite?
True
Suppose 0 = -2*j + 4 + 12. Let l(q) = 9*q - 8*q + 1 + j*q. Is l(1) composite?
True
Let v be ((-2)/4)/((-2)/16). Suppose -v*a = -43 - 1. Is a a composite number?
False
Suppose j + 2027 = -2*j - 5*u, -2*j + u - 1373 = 0. Let t = -217 - j. Is t composite?
False
Let l be (20/8 + -3)*-4. Is 203 - (1 + l/(-2)) composite?
True
Let q(h) = -h**2 - 7*h - 8. Let f(z) = -z**2 + 7*z - 6. Let d be f(7). Let a be q(d). Is a/5 + 57/5 prime?
True
Let t(o) be the first derivative of -o**2/2 + 11*o - 2. Let r be t(11). Suppose r = -2*f + 2*b + 2*b + 866, 3*f = -2*b + 1275. Is f a composite number?
True
Suppose 0 = -5*c + 4*y + 5, 2*y - 4*y - 25 = 5*c. Is -3 - (3 + -20 - c) composite?
False
Let l(p) = -p + 2. Let m be (3/2)/(5/10). Let r be l(m). Is 1/(r*1/(-167)) a composite number?
False
Is 0 - (-2)/(2/1535) composite?
True
Suppose 2019 - 6078 = -9*t. Is t composite?
True
Let c(h) = h - 1. Let w(r) = 53*r - 10. Let b(o) = -5*c(o) + w(o). Is b(7) a prime number?
True
Let h(t) = t**2 - 5*t - 5. Is h(12) a composite number?
False
Suppose 3*k + 9 = 3*s + 4*k, -1 = -2*s + k. Suppose y + 11 = -s*q, -y + 5*y = q - 17. Is (q + -1)*(-415)/20 a composite number?
False
Suppose -4343 - 4012 = -5*a. Is a a prime number?
False
Suppose 3*s + 2*w = -s - 64,