0 = -2*u - 4. Is l a prime number?
False
Is (4/(8/(-586)))/(-1) composite?
False
Let z = -7 - -10. Is z*32/6 - 3 a composite number?
False
Suppose 0 = 4*d - 3*x - 4865, 5*x + 5506 = 3*d + 1860. Is d a composite number?
False
Let u(y) = 47*y**2 + 6*y + 57. Is u(-8) composite?
True
Let h(n) = 0*n**2 - 2 + n + 3*n**2 - 3*n. Let j be h(2). Is (j/(-5))/(6/(-15)) prime?
True
Let g(l) = 47*l - 1. Let s be g(1). Suppose 0 = j + y, -y = -5*j + 2*j. Suppose -s = -2*b - j*b. Is b prime?
True
Let l = 2 + 6. Let p be (10/8)/(2/l). Is (-134)/(-4) + p/10 prime?
False
Suppose 0 = -4*w + 2*w + 26618. Is w composite?
False
Let y(z) be the second derivative of -131*z**3/2 - z**2/2 - 3*z. Let t be y(-1). Suppose 0 = -3*o - 131 + t. Is o a composite number?
True
Let f(g) = -73*g - 8. Is f(-9) a prime number?
False
Suppose 75 = n - 566. Is n prime?
True
Let n(t) be the second derivative of t**4/4 + t**3/2 + 3*t**2/2 + 2*t. Suppose 0*u + 3 = -u - j, 0 = -4*j. Is n(u) a composite number?
True
Let n = 5500 - 3561. Is n composite?
True
Suppose -2*r + 3*d = -1180, -4*r - 597 = -5*r + 5*d. Is r composite?
False
Let s = 106 + -467. Let h = s + 1016. Is h a composite number?
True
Is 132/88*(-35924)/(-6) a prime number?
False
Let s(t) be the third derivative of t**5/20 - t**4/4 + 7*t**3/6 + 2*t**2. Is s(6) prime?
True
Let o be (-34)/(-14) + 9/(-21). Suppose -4*r = o*f - 766, -f + r = -4*f + 1139. Is f a composite number?
False
Let j(r) = -4*r + 3 + 0*r + 2*r. Let c be j(-6). Suppose 0 = 5*m + c, 5*d - 2*d - 612 = m. Is d prime?
False
Suppose 2*p + 2*a - 8 = 0, -4*p - 6 = -8*p - 2*a. Let b be 4/6 + (-15)/9. Is -1 - (p + -20 - b) a composite number?
False
Suppose 0 = -4*r - s + 744, -3*r + 2*r + 173 = -3*s. Is r composite?
True
Let p be ((-886)/(-8))/((-11)/44). Let c = p - -750. Is c a prime number?
True
Let t = 24 + -14. Is t prime?
False
Let s(a) = -a**2 + 2*a + 4. Let h be s(3). Suppose -4*i - 2*y = 6, -4*i + 2*y + h = 11. Is 4/i*11/(-2) a composite number?
False
Suppose 2*v = c - 471, -3*c + v = -2*v - 1425. Is c composite?
False
Suppose b - 104 = -5*p, -5*b + p + 420 = 6*p. Is b composite?
False
Suppose 3*f - 309 = -81. Suppose -4*r - f = -244. Suppose -2*g + 46 = 4*n, 3*g = -3*n + 12 + r. Is g prime?
True
Suppose -g + m + 1 = 0, 0*m = -3*g - m + 19. Suppose -500 = -5*t + j + 147, t - g*j = 139. Is t composite?
True
Let t = 0 + 149. Is t a prime number?
True
Let w = 1338 - 919. Is w a composite number?
False
Let l(g) = 381*g**2 - g + 3. Is l(-5) composite?
False
Let n(t) = 2*t**2 - 5 - 7*t + t + 3*t. Is n(4) a prime number?
False
Let p(a) = 215*a. Let h be (2/(-10))/(2/(-10)). Is p(h) prime?
False
Suppose -1 = 2*o + 2*j + 155, o - 4*j + 63 = 0. Let k = 54 - -170. Let q = k + o. Is q a prime number?
True
Suppose 3*f = 1918 + 5909. Is f prime?
True
Suppose -5*m = -3*b + 250, 0 = -b - 0*b - 4*m + 106. Suppose 5*s = p - 25, 5*p - 77 = 4*s + b. Is p a composite number?
True
Let q(u) = -14*u + 1. Let w be q(-1). Let g = -2 + w. Is g a prime number?
True
Let l be (-3)/(0 + (-3)/4). Suppose 5*n + 36 = a, 0*a - 96 = -4*a + l*n. Is a a composite number?
True
Let w be (45/(-12))/((-3)/(-8)). Let k be (1 + 86/w)*-15. Suppose 2*c = k + 40. Is c prime?
False
Let r = -5 - -5. Suppose -6*s + 2*a + 5 = -s, 30 = 5*s + 3*a. Suppose r = s*k - k - 18. Is k composite?
True
Suppose -2*b + 6*b - 1188 = 4*c, -3*c = -2*b + 589. Is b prime?
False
Let s(c) = 1740*c**2 - c. Is s(1) a prime number?
False
Suppose 76 = 4*j - 128. Is j prime?
False
Let z(i) = 2*i**3 + i**2 - 3*i - 5. Is z(4) a composite number?
False
Let w = 15 - 29. Let c = w + -8. Let n = -11 - c. Is n composite?
False
Let u = 3 + 3. Is ((-185)/(-10))/(1/u) a prime number?
False
Let i be -6*1/9*3. Let r(a) = -a**3 - 3*a**2 - 2*a + 2. Let g be r(i). Suppose -g*l + 115 = 3*l - 5*s, 3*l - s = 61. Is l a composite number?
False
Is (-9)/(-12) + (-705)/(-4) composite?
True
Suppose 5 + 10 = -3*x. Let w(c) = c**2 - 2*c + 2. Is w(x) composite?
False
Let u(n) = 2*n**2 - n. Suppose -5*g = 5*j + 35, 2*g + 11 = -4*j - 3. Let z = -9 - g. Is u(z) prime?
False
Let x(g) = 6*g**2 - g - 1. Let u be x(-4). Let m = -46 + u. Is m a composite number?
False
Suppose n + 4*d + 11 = -5, 2*n - 3*d - 23 = 0. Suppose -4*x - 30 = n*z - 2*x, -42 = 5*z + 4*x. Is ((-27)/z)/((-6)/(-8)) composite?
True
Suppose 5*a = -5, 0*a + a + 17 = 4*o. Let y be (-1 - -5)*2/o. Suppose m + 2*m - 187 = -5*i, -y*m = -3*i + 97. Is i composite?
True
Suppose -5*o - 1402 = -7*o. Is o prime?
True
Let m be 10*(2 - (-24)/(-10)). Is m/(-8) - 459/(-6) a composite number?
True
Let n(j) = j**3 + 10*j**2 - 13*j - 11. Let t(c) = c**2 + c + 1. Let g(o) = -n(o) + 2*t(o). Is g(-11) a composite number?
False
Let d = 3800 - 2257. Is d a prime number?
True
Suppose -3612 = -5*s + 113. Is s composite?
True
Suppose -2*u + 10 = 0, -3*n - u - 17 = -5*u. Suppose 7*o = 10*o. Suppose o = 5*l - 4*l - n, 3*d = 2*l + 61. Is d composite?
True
Suppose -1459 = -3*a + 164. Is a a composite number?
False
Let s(m) = 38*m**2 + m + 16. Is s(5) composite?
False
Let o(t) = -6*t - 1. Let r be o(-1). Let s(f) = f**3 - 11*f**2 + 9*f + 10. Let b be s(10). Suppose -i + 4 = 0, 3*i = -r*v - b*i + 277. Is v a prime number?
True
Let q be 2/9 + (-25)/(-9). Suppose 81 = -3*n - t, 5*t = q*n + n + 127. Let h = 50 + n. Is h composite?
True
Suppose -4*g + 5*z + 2302 = 0, -3*z - 1725 = -6*g + 3*g. Suppose 2526 + 1294 = 5*j. Suppose -2*t + 5*t = 5*d + g, 4*t - j = d. Is t prime?
True
Let o(z) = 45*z**2 + 4*z + 1. Is o(-6) a prime number?
True
Let q(h) = -h**3 + 12*h**2 - 20*h + 14. Is q(10) a prime number?
False
Suppose 4*l + 20 = -4. Let q be l/(-21) + 152/7. Suppose -s = -4*w + 30, -w - w = -4*s - q. Is w a composite number?
False
Suppose -4*l = 3*d - 1277, 3*d - l - 1290 = 7. Is d composite?
False
Suppose 0 = -6*q + q. Let d = 4 - q. Suppose 105 = d*l + l. Is l prime?
False
Suppose -x + 7 = g + g, -x + 5*g = -7. Is x prime?
True
Suppose 5*m - 2332 = -877. Is m prime?
False
Let n be 2/(411/(-417) - -1). Suppose -n - 65 = -4*c. Is c a prime number?
False
Is (-2952)/(-10) - 2/10 composite?
True
Let w = -203 + 394. Is w composite?
False
Let a = -46 + -116. Let k = -74 - a. Let b = k - 39. Is b prime?
False
Suppose -10 = 5*f + c + 23, 9 = -3*f + 3*c. Let w(s) = 22*s + 1. Let u(j) = 43*j + 2. Let p(l) = -6*u(l) + 11*w(l). Is p(f) a prime number?
False
Let h be (-9)/(-6)*32/12. Let i(o) = -o**3 + 5*o**2 - 4*o + 3. Let t be i(h). Suppose -68 = t*d - 161. Is d a composite number?
False
Suppose -4*b + 0*b - 1832 = 0. Let l = -165 - b. Is l a composite number?
False
Let l(r) = -r + 7. Let o be l(7). Let u = -5 - o. Let q(j) = -j**3 - 3*j**2 + 2*j - 7. Is q(u) a prime number?
False
Let f = 3 + -3. Suppose -2*a - a + 597 = f. Suppose 4*q - 12 = 8*q, 2*q = -j + a. Is j a prime number?
False
Let w = -1732 + 2715. Is w a composite number?
False
Suppose -4*u = u + 4*p + 16, 2*p = 3*u - 8. Suppose -a + 7 + 12 = u. Suppose 0 = -3*n + 2*l + a + 92, 0 = 4*n - 4*l - 148. Is n a composite number?
False
Suppose -12898 = -44*k + 42*k. Is k a composite number?
False
Let w(f) = -f**3 - 5*f**2 + 2. Let s be w(-5). Suppose 208 = 2*n + s*n. Let b = n - -61. Is b a prime number?
True
Let i(c) = 7*c + 2. Let x be i(2). Suppose 2*m - m + 68 = 5*w, -w + m + x = 0. Is w a composite number?
False
Let b(t) = 32*t + 19. Is b(6) a prime number?
True
Let s be (1/3)/((-2)/(-54)). Let r be s/2*(-32)/(-3). Suppose -n = -5 - r. Is n prime?
True
Let j be 90*(2 - 87/2). Is j/(-20) + (-1)/(-4) a prime number?
False
Suppose -4*n - 4 = 16, b - 3*n = 606. Is b a composite number?
True
Let j(p) = p - 3. Let h = 2 - -2. Let w be j(h). Is (-49 + 0)/((-1)/w) prime?
False
Suppose -8*x - 14*x + 3058 = 0. Is x a prime number?
True
Suppose 6*n - n + 2*p + 10 = 0, 2 = -n + 4*p. Let s be (n/(-3))/(2/(-3)). Is -2*31*s/2 a prime number?
True
Suppose 0 = k + 991 + 488. Let a = k + 2158. Is a a composite number?
True
Let l be 2/(3/9 - 1). Let i = 6 + l. Suppose 2*u + 38 = i*u. Is u a composite number?
True
Let z = 2 + -2. Suppose -s + 18 = -z*s. Let j = s - -3. Is j prime?
False
Let o be 46*(-1 + 1 - -1). Suppose 5*c - 4*w = o, 2*c + 3 - 25 = -2*w. Is c a composite number?
True
Is (-166)/(-8) + 4/16 a prime number?
False
Let p(k) be the third derivative of k**6/120 + 3*k**5/20 + 3*k**4/8 - k**3/3