g + 1104 - 280. Is z a composite number?
False
Let z(s) = 14*s**2 - 2*s + 7. Let j be z(6). Suppose 4*w = -d + 411, -4*d + 1132 + j = 3*w. Is d a prime number?
False
Suppose -6845 = -20*u + 15*u. Is u prime?
False
Let u = 26 - 21. Suppose 4*j + r - 520 = 0, -u*j - 5*r + 504 = -j. Is j composite?
False
Suppose -3*b = -b - 4. Suppose -b*g = 3*g. Suppose -2*h - 3*h + 185 = g. Is h composite?
False
Let a be (-1)/(-4) + 124/16. Suppose a = -5*s - 2, 2*v - 2*s - 294 = 0. Is v a composite number?
True
Let t(n) = -n**2 + 13*n + 17. Let k be t(14). Let q(b) = 102*b**2 + 3*b - 10. Is q(k) composite?
True
Suppose 0 = -y + 4*k - 57, -2*k - 171 = 3*y + 2*k. Suppose 4*p = 2*z - 158, 13 = 5*z - 2. Let s = p - y. Is s a composite number?
False
Let t(g) = -7*g - 2. Let m be t(-8). Suppose -23 = -l + m. Is l a prime number?
False
Suppose -l + 0*l + u = -217, 4*l = -4*u + 900. Is l composite?
True
Let g = 106 + -44. Let p = 87 - g. Is p a prime number?
False
Suppose 24 = 5*c + 3*u, 21 = 4*c - 0*u + 3*u. Suppose 2*t = -c*t. Suppose t = 3*m - m - 6. Is m a prime number?
True
Let v(m) = 3*m**2 - 9*m + 11. Is v(8) prime?
True
Let y = 349 - 118. Let f = y + -142. Is f a composite number?
False
Suppose z = -z + 4. Suppose 4*h + 414 = z*h. Let l = -130 - h. Is l prime?
False
Suppose 69 - 4 = g + 4*b, 3*b = -4*g + 299. Is g a composite number?
True
Let i be 0 - (-4 + -1)/1. Suppose f + 9 = 4*n, -10 - 17 = -i*f - 4*n. Is f prime?
True
Let u be 0/((-4)/(1 - 3)). Suppose u = 5*m - 539 - 1526. Is m a composite number?
True
Suppose -j + 12 + 2 = 3*q, 2*q - 4*j = 28. Let i = 5 - q. Let y(a) = 34*a**2 + 2*a + 1. Is y(i) a prime number?
False
Let q(d) = d**3 - 4*d**2 + d. Let w be q(4). Let x be (6/w)/(4/(-8)). Is 1/3 + (-104)/x a composite number?
True
Suppose 7*y - 2*y = 170. Is y a prime number?
False
Let q(f) = -f - 17. Let b be q(0). Let d = 12 + b. Let r(a) = -2*a. Is r(d) a prime number?
False
Suppose 0*k - 2*y = 5*k - 25859, -3*k + 5*y + 15503 = 0. Is k composite?
False
Suppose 2*g = -49 + 153. Let a(r) = -r**3 + 7*r**2 - 2*r + 4. Let n be a(3). Suppose -4*c + 2*u = -0*c - g, -3*u - n = -2*c. Is c prime?
True
Let u = 348 - 227. Is u a composite number?
True
Let o be (8/8)/((-1)/(-11)). Let w = o + -7. Suppose 4*c - 5*t = 83 + 10, w*c = -3*t + 85. Is c a prime number?
False
Let r(i) = -i. Let f(a) = -3*a. Let w(g) = -6*f(g) + 13*r(g). Let t be w(3). Suppose -3*j = -2*j - t. Is j composite?
True
Suppose 251 + 121 = 5*g + s, 4*s = -5*g + 378. Is g a prime number?
False
Let o = 5 + -2. Suppose -1 = o*j - 22. Is j composite?
False
Let p = -30 + -10. Let u = -26 - p. Is u a composite number?
True
Let i = -2 - -4. Suppose -4*v = i*m - 16, 5*v - v = 12. Let k(n) = 6*n**3 + 3*n**2 - 2*n + 3. Is k(m) composite?
False
Let v = 126 - 17. Is 4/8*(v - 3) a prime number?
True
Suppose -79 = 5*a - 6*a. Is a composite?
False
Let f be (3/(-4))/((-3)/252). Suppose 0 = s - v - 14, 0*s - 5*v = 2*s - f. Is s a prime number?
True
Let g = 26 - 8. Let c be 1*(-3 - (g - 2)). Let a = 58 - c. Is a prime?
False
Suppose n = 6*n - 785. Is n a composite number?
False
Let k(g) = 35*g**2 - 3*g + 5. Is k(8) composite?
False
Let t(k) = 8*k**2 - k - 6. Let r be (4/(-6))/2*15. Is t(r) a prime number?
True
Let o(w) be the third derivative of -w**6/120 - 7*w**5/60 - 7*w**4/24 + w**2. Suppose -3*q + 33 = -4*u + u, -5*q + 13 = 2*u. Is o(u) prime?
False
Suppose -5*q + 4*h = -8*q + 1757, -q = h - 586. Is q prime?
True
Let r be (-3)/9*3 - 63. Suppose 4*h - 423 = h. Let y = h + r. Is y a prime number?
False
Suppose -3*i + 226 = 2*i - v, -5*i + 242 = 3*v. Is i a prime number?
False
Suppose 2*s - 12 = -2*s. Suppose -8*a + 1365 = -s*a. Suppose -3*d + 0*d = -a. Is d prime?
False
Suppose -3 = 2*i - 15. Let v = i + -2. Is (75/(-4))/(-5)*v prime?
False
Suppose n + 158 = 3*n. Is n a composite number?
False
Suppose -2*i - 257 + 2979 = 0. Is i a prime number?
True
Let j be (-40)/(-18) - 8/36. Let t(s) = -s**3 - 5*s**3 + 1 + 4*s**2 + 4*s + j - s**2. Is t(-2) composite?
True
Let h(k) be the first derivative of 261*k**2/2 + k - 3. Is h(1) prime?
False
Let n = 58 + -8. Let h = n + 129. Is h a prime number?
True
Let a(y) = 11*y + y**2 - y**2 + 8 - 4*y - y**2. Let d be a(7). Is (-855)/(-12) - 2/d a prime number?
True
Let o be (10/3)/(-5)*-150. Suppose -5*z - o - 30 = 0. Let n = z - -40. Is n a prime number?
False
Let l = -6133 + 8712. Is l prime?
True
Let c(l) = -17*l + 2. Let x be ((1 - 1)/(-3))/(-2). Let y(a) = -a**2 - a - 9. Let m be y(x). Is c(m) prime?
False
Suppose 2*n - 3*p - 233 + 17 = 0, -5*n = -p - 514. Suppose -3*s - n = -6*s. Is s a prime number?
False
Let j(l) be the second derivative of -65*l**3/6 + l**2/2 + 3*l. Let t be j(-1). Suppose 5*p - t = -3*u + 59, -u - p = -39. Is u composite?
True
Suppose -x - 3*l = -179, l + 552 = 3*x + 5*l. Suppose -2*w - 2*w = -x. Is w a prime number?
True
Let c(r) = r + 4 - 3 + 2*r**2 + 1. Let v(k) = -k**2 + 7*k - 3. Let b be v(6). Is c(b) a composite number?
False
Let i(n) be the first derivative of 18*n**2 - 2*n + 1. Let v be i(-2). Is 2/(16/v)*-4 a prime number?
True
Let q be (-2135)/55 - (-4)/(-22). Is q*(-5)/(15/7) a prime number?
False
Is (654/(-8))/((-81)/1188) a composite number?
True
Suppose -344 = -4*f - 5*l, -f - l = l - 86. Let v(w) = w**3 + 8*w**2 + 6*w - 7. Let p be v(-8). Let s = f + p. Is s prime?
True
Let j be 0*2/(-2 + 0). Is (j + 0 - -2) + 231 a prime number?
True
Suppose -5*k + 3*m = -1306, 4*m - m + 254 = k. Is k a composite number?
False
Let q(j) = -4*j - 1 + 1 + 3*j. Let w be q(-5). Suppose -6*h - w*u = -h - 80, 5*u = 5. Is h composite?
True
Let v(r) = 8*r**2 + r + 1 + 2*r - 7 + 2. Is v(5) composite?
False
Suppose 2*a = -2*v, -6 = -2*v + 2*a - a. Let x = 2 - v. Is (-3)/(-3)*x + 53 a prime number?
True
Let x(k) = -13*k - 4. Let o be x(-3). Suppose -2*u = -0*u + 24. Let r = o + u. Is r composite?
False
Let o be -1 - (-3 + -2)*1. Suppose 0 = o*l - 219 - 169. Is l a prime number?
True
Suppose -2*u - 99 = -5*u. Is u prime?
False
Let h(q) = q**2 - 3*q - 4. Let p be h(5). Suppose p = 4*z - z. Suppose -50 = -z*j - 3*j. Is j a composite number?
True
Suppose w - 2677 = -3*y, -4*y + w + 1682 = -1885. Suppose 0*o + 4*o - y = 0. Is o a composite number?
False
Let d = -31 - -10. Is (d/9)/(4/(-60)) composite?
True
Suppose -3*k + 2*k + 5 = -3*z, -4*z = 5*k + 13. Let n = z + 5. Suppose -n*t + 13 = -2*f - 6, 5*t + 3*f - 57 = 0. Is t composite?
True
Let l(o) = o**2 - 1. Let g(n) = -n**3 - 3*n**2 + 6*n + 1. Let u(v) = -g(v) - 5*l(v). Let h be (0 - 1)*(-3 + -2). Is u(h) a composite number?
True
Let l(u) = -u**2 + 4*u - 2. Let x be l(3). Let d(s) = 11*s - x + 0 - 57*s. Is d(-2) a prime number?
False
Let v = 24 - 6. Let d be (-1)/(((-3)/v)/1). Let q(m) = m**3 - 5*m**2 - 4*m + 2. Is q(d) a prime number?
False
Is (-3 - 0)*(-191)/3 a prime number?
True
Suppose 3*b = 2*b - 3. Let q(i) = i**3 - 1. Let f(k) = 2*k**3 - 2*k**2 + k - 2. Let m(s) = -f(s) + q(s). Is m(b) a composite number?
True
Let t(c) = 4*c**3 - 11*c**2 + 3*c + 2. Let j(l) = 3*l**3 - 10*l**2 + 3*l + 1. Let w(a) = -3*j(a) + 2*t(a). Is w(4) prime?
True
Let z = 962 - 543. Is z composite?
False
Let y = 13 - 31. Let s = 68 - 43. Let p = y + s. Is p a prime number?
True
Suppose 3*r = -4*d - 20, r - 4*d - 25 = d. Let g = r + 2. Suppose -71 = -o - 2*c, 2*o - 197 = -o + g*c. Is o prime?
True
Suppose 3*m = -4*l + 10, -2*m - 5*l = 3*m - 10. Is (-1)/(0 + m/6) a prime number?
True
Let g = -950 + 1339. Suppose -2*d + 3*b = 5*b + 398, b - g = 2*d. Let r = 275 + d. Is r a composite number?
False
Let k be (-4)/4*(-4)/(-1). Is k/10 - 1274/(-10) prime?
True
Suppose 2*i - 428 = 4*q, -4*i = -q + 2*q - 811. Suppose -2*n + i = 56. Is n prime?
False
Let z be 116/6 - 14/(-21). Let o = z - 10. Is o a composite number?
True
Suppose 3*i = 0, 103 + 71 = 2*j + 2*i. Is j prime?
False
Suppose -113 - 3 = -3*u - 4*n, 0 = 5*u + 3*n - 208. Let d be -2 + 0 - (-69)/(-3). Let g = d + u. Is g a prime number?
True
Let u = 95 + 422. Is u prime?
False
Let v = 8 - 1. Suppose -v*w = -2*w - 105. Is w a prime number?
False
Let l(k) = -4*k**3 + 2*k**2 + k. Let m be l(-1). Is 12/(-20) + 638/m a composite number?
False
Let g be (24/9)/(-2)*3. Let p = 4 + g. Suppose a - 4*a + 201 = p. Is a prime?
True
Let z(t) be the first derivative of 25*t**4/2 - 2*t**3/3 + t - 2. Is z(1)