25, 2*z = -c*h + 153. Is z a composite number?
True
Let u(l) = 14*l**2 - 10*l - 17. Is u(-9) composite?
True
Let g(a) = -a**3 - 12*a**2 - 11*a + 1. Let l be g(-11). Is 1*(l - 1) - -251 a composite number?
False
Let b(t) = 2*t**2 + t + 2. Suppose -2*h - 22 = -5*a + 2*h, 3*a + 2*h = 0. Suppose -a*z + 2 = -8. Is b(z) prime?
False
Let s(q) = -3*q**3 + q - 1. Let d(l) = l**2 - 3*l - 2. Let m be d(3). Let a be (-1)/(m - (-14)/6). Is s(a) a composite number?
True
Let y = 167 + 204. Is y a composite number?
True
Let h(z) = z + 7. Let m be h(-3). Let b be ((-8)/6)/((-6)/1854). Suppose -m*c + b = 144. Is c composite?
False
Suppose -5*g + 159 + 456 = 0. Is g a prime number?
False
Let r(w) = -w**2 + 8*w - 5. Let z be r(8). Let o = 2 - z. Is o a composite number?
False
Let x = 3425 + -1686. Is x composite?
True
Let k(t) = -t**2 + 11*t + 14. Let p be k(12). Suppose 255 = 3*l + p*l. Is l a composite number?
True
Suppose -4*x + 253 = -55. Is x composite?
True
Let y = 1872 - 1285. Is y prime?
True
Let o(j) = 3*j**3 - 2*j + 1. Let b be o(2). Let h = b + -6. Is h a composite number?
True
Suppose -3*a = -8*a + 1780. Suppose -72 = 4*w - a. Suppose -w - 182 = -j. Is j a composite number?
True
Let o = 4 + -4. Suppose 5*n - j = 96, o*j - 5*j - 62 = -3*n. Is n prime?
True
Suppose 5*i = 4*p + 25, -2 = 5*p - 5*i + 33. Let u = p - -15. Suppose 2*w + 3*w = -u, q - 3*w - 58 = 0. Is q a prime number?
False
Let z(d) = 29*d**2 + 11*d - 10. Is z(8) a composite number?
True
Suppose -2*a = -1632 - 142. Is a composite?
False
Let h(i) = 457*i**2 - 2*i + 2. Is h(3) prime?
False
Is 1949 - 1 - (9 - 10) a composite number?
False
Let z(r) = r**2 - 8*r + 4. Let t be z(8). Suppose q = 2*q + t*d - 422, -398 = -q + 2*d. Suppose 2*k + 0*k = q. Is k a composite number?
True
Suppose 1 + 2 = u - r, 4*r = -5*u + 6. Suppose a - 3 = 110. Is (a/(-2))/(u/(-4)) a prime number?
True
Let n = 61 + 66. Is n a prime number?
True
Let g(y) = -y + 3. Let j be g(3). Let i(m) = j - 3 + 0*m + m. Is i(6) a prime number?
True
Let q(o) = o**2 + o - 4. Let y be q(3). Suppose -n = -y - 49. Suppose 10 = -5*c - 0, 4*c + n = b. Is b composite?
True
Suppose -458 = -s + 4*g, -6*s + 11*s + 2*g = 2202. Let i = s - -123. Is i composite?
True
Suppose 106 = -2*u + 360. Is u a composite number?
False
Suppose 0 = 5*k - 499 - 246. Is k a prime number?
True
Suppose -3*t + 128 = -613. Is t prime?
False
Let m(p) = -136*p + 37. Is m(-5) composite?
True
Let v = 806 + 233. Is v a composite number?
False
Let q(d) = -d**3 - 5*d**2 - 14*d + 13. Is q(-10) a composite number?
False
Let m be (-2 + -82)*6/(-7). Let n be -1 + m + 2 + -2. Suppose -j = -4*z - n, -z - 123 + 46 = -j. Is j prime?
True
Let p be (-4)/6 + (-16)/(-6). Let h = 202 + -710. Is (p/(-4))/(2/h) a composite number?
False
Let r = 844 - 447. Is r prime?
True
Is 0*(-4)/12 + 3259 composite?
False
Let q = 3 - 9. Is -203*3/q*2 a prime number?
False
Let y = 569 - 160. Is y a composite number?
False
Let p = 202 - -9. Is p a prime number?
True
Let z be 7/5 + (-12)/30. Let d be 1/(z/6*-2). Is 36/3 + (d - -5) prime?
False
Suppose -2*j + 24 - 2 = 0. Suppose 0 = 8*g - j*g + 879. Is g a composite number?
False
Let s(y) = 254*y**3 + y**2 - y. Is s(1) composite?
True
Let k be ((-4)/(-6))/((-16)/(-4560)). Let a = k - 135. Is a prime?
False
Let o(a) = 2*a**2 + 3*a + 9. Let g be o(-7). Let k = g - -5. Is k a composite number?
True
Let d be 2/7 + 76/28. Suppose 3*m + o = -m + 47, 3*m - 24 = -d*o. Is m composite?
False
Suppose 0 = -5*o + 22 + 13. Suppose -o*n + 753 = -4*n. Is n prime?
True
Suppose 4*x + 0*b + 2*b - 10 = 0, 5 = x + 3*b. Suppose -x*i - 29 = 95. Is i/(-2) - (-2 + 2) a composite number?
False
Suppose j - 8572 = -3*x, -2*x + 5*j = -7*x + 14270. Is x composite?
True
Suppose -2*n + 0 = -4. Suppose 4*d - 8 = 2*d. Suppose -i - d = -n*i. Is i a prime number?
False
Is 199/(0 + -3 + 4) composite?
False
Let p(f) be the third derivative of 29*f**4/12 + f**3/2 + f**2. Is p(3) prime?
False
Let k = -2 - 1. Let v = k - -94. Is v composite?
True
Suppose -3*a = 3*m - 4*m + 68, 47 = m + 4*a. Is m prime?
True
Suppose -3*i + 2426 = -5*t, 0 = 3*i + 2*t + t - 2418. Is i a prime number?
False
Suppose -2*r - 2*d = r - 1610, -2*d - 1618 = -3*r. Is r prime?
False
Let c = -3 - -3. Suppose c = -x - 1. Is 0 + x + 1 - -23 composite?
False
Let o(d) = d**3 - 8*d**2 + 15*d - 15. Is o(10) a prime number?
False
Suppose 4*a + p - 25 = 0, -3 + 8 = -4*a + 5*p. Suppose -4*u = -4, -a*u = 5*k - 133 - 492. Suppose 2*h = -2*h + k. Is h prime?
True
Let i(b) = 21*b**2 + 4*b + 3. Let o be i(-3). Suppose -5*n = 505 + o. Let y = -90 - n. Is y composite?
False
Let y(d) = -5*d + 9. Let i be y(-12). Suppose i = -0*n + n. Is n a composite number?
True
Suppose -10*m + 8*m = -590. Is m prime?
False
Let o(x) = x - 7. Let l be o(10). Suppose 0 = -l*j + 231 + 216. Is j a composite number?
False
Let g = 5 - 5. Let r be 4/(-2) - (-2 + g). Suppose 2*u - 54 - 56 = r. Is u prime?
False
Let s(x) = 9*x**2 + 11*x + 7. Is s(6) a composite number?
False
Let l be 6/10 + (-4692)/(-30). Suppose -a + 28 = 3*k, 7*k + l = 4*a + 4*k. Is (a/4)/(6/24) a prime number?
True
Suppose -4*r + 2*r = -1790. Is r prime?
False
Let q(o) = -3*o**2 - 9*o. Let z be q(-7). Is (-2)/(2 - (-176)/z) prime?
False
Suppose 87 + 221 = 2*s. Suppose 5*c + s - 543 = 2*d, 380 = 5*c - 5*d. Is c a composite number?
False
Let j(l) be the second derivative of 6*l**5/5 - l**3/3 + l**2/2 - 3*l. Is j(1) a prime number?
True
Let k(u) = 6*u**2 - 4*u - 21. Is k(8) a composite number?
False
Let v(m) be the second derivative of m**4/12 + m**3/6 - m**2/2 - 2*m. Let c(j) = j**3 + 9*j**2 + 9. Let u be c(-9). Is v(u) a composite number?
False
Let l = -620 - -1039. Is l a composite number?
False
Let n(z) = 4*z**2 - 69*z + 16. Is n(31) a prime number?
True
Is (-4)/1 - -8 - -627 composite?
False
Let v(y) = -1 - 1 - 1 + 13*y. Is v(2) prime?
True
Let s = 5 - 3. Suppose -3*c - 3*m + 12 = 0, -3*c + 4*m = -0*c - 5. Suppose -s*a + 385 = c*a. Is a a composite number?
True
Suppose -y + 4*z + 45 = 2*y, -75 = -5*y + 4*z. Suppose 0 = -3*i - 2*i - y. Is (0 - i)/((-12)/(-184)) composite?
True
Let o = 204 - -437. Is o prime?
True
Let y(k) = 22*k**3 - k**2 - k. Let w be y(2). Is ((-9)/15)/((-2)/w) prime?
False
Let o = 4 - -3. Let l(j) = j**3 - 8*j**2 + 7*j + 2. Let a be l(o). Suppose a*g + 3*g - 70 = 0. Is g a prime number?
False
Suppose 17 = 3*b + q, -4*b = -9*b - 5*q + 35. Suppose 0 = 2*w - 3*s - 10 - 5, -s - b = 4*w. Let d = 21 - w. Is d composite?
True
Let x be 12/(-16) + 2/(-8). Let b(k) = -86*k**3 + k**2 - k - 1. Is b(x) a composite number?
True
Suppose -2*t + 10 = -4*t. Let q = t - -5. Is (-1 + -52)/(-1 - q) a composite number?
False
Let g = 23 - 19. Is (-3484)/(-44) - g/22 composite?
False
Let w(v) = 50*v**2 + 8*v - 5. Is w(5) prime?
False
Let o(k) = 29*k - 5. Let i be o(2). Let s = 2 + -2. Suppose -3*w + 2*w + i = s. Is w a composite number?
False
Suppose m + 55790 = 11*m. Is m a prime number?
False
Is 1114/(-4)*(-3 - -1) a composite number?
False
Suppose b + 6*l = 3*l + 1349, -5*l = -b + 1381. Is b a prime number?
True
Let j(z) = -33*z - 5. Let q be j(8). Let l = 704 - 142. Let s = l + q. Is s prime?
True
Let b(u) be the third derivative of -u**4/6 - u**3/6 - 2*u**2. Suppose -j = 6 - 1. Is b(j) prime?
True
Let i(u) = -101*u + 8. Let a be i(-8). Suppose -3*g + 15 = 2*g. Suppose 5*q - g*z - a = -319, 4*q + 2*z - 380 = 0. Is q a composite number?
False
Suppose -30 = -5*a - 5. Suppose -a*v = -v - 216. Suppose 5*g - 41 = v. Is g prime?
True
Suppose 4*y - 3 - 5 = 0. Is (-194)/(-4) + (-3)/y a prime number?
True
Suppose -254 - 235 = -3*p. Is p prime?
True
Suppose 2*z + 2*j = 3 + 7, 4 = 2*z - j. Suppose 2 = z*g - 4. Suppose 4*n - i = 86, 3*n - g*i + 17 = 4*n. Is n prime?
False
Suppose -4*n = 6*f - 5*f - 27, -3*n - f + 20 = 0. Let r(q) = -5*q**2 - 19*q + 1. Let p(y) = y**2 + y - 1. Let s(l) = -6*p(l) - r(l). Is s(n) a prime number?
True
Let n be -3 - 4/(-2) - -3. Let a be (-12)/20 + (-13)/(-5). Suppose -228 = -n*l - a*l. Is l composite?
True
Let z = 167 - 84. Is z a composite number?
False
Suppose -f - 125 = -6*f. Is f prime?
False
Suppose -4*z + z = o - 37, -z - 122 = -4*o. Is o prime?
True
Let p(i) = -131*i + 24. Is p(-11) prime?
False
Suppose -196 = -2*i - 32. Let n = -45 + i. Is n prime?
True
Let b(k) = k*