umber?
False
Let o(m) = -m - 8. Let x be o(-10). Suppose -262 = -0*w - x*w. Is w composite?
False
Let g(s) = -9*s - 1. Let t be g(-1). Let z(v) = v**2 - 9*v + 10. Let o be z(t). Is o/(-6) + 1251/27 prime?
False
Let y(m) = 1584*m + 19. Let o be y(2). Let s = 5336 - o. Is s a prime number?
False
Suppose -3*p = 3*w - 87, p - 4*w = -7*w + 39. Let j = 186 + -168. Is 7539/j + 4/p composite?
False
Let f(n) = 110*n + 19. Let o(y) = 37*y + 6. Let s(t) = 2*f(t) - 7*o(t). Is s(-5) a composite number?
False
Suppose 0 = -5*v - 15 - 55. Is (18/v - -1) + 4923/7 prime?
False
Let v be (1398/12 + 5)*4/6. Let y = v - 48. Is y a composite number?
True
Let u be (-9021)/(-7) + 40/140. Suppose -5*o = -766 - u. Is o composite?
True
Is ((-13815)/90)/((-1)/2) a prime number?
True
Suppose -2*a = 9 + 3. Let k be 5118/36 + 1/a. Suppose -b - k = -3*b. Is b prime?
True
Suppose -2*l + 29102 = 2*r + 2*r, -3*l - 5*r = -43651. Suppose l = 4*v - 8945. Is v composite?
True
Let n(g) = 2*g**3 + 15*g**2 + 10*g - 9. Let x be n(7). Suppose -30*u + x = -24*u. Is u prime?
False
Suppose 4*d + 4*h - 167 - 513 = 0, -4*d = 2*h - 682. Suppose 4*v - 4*u - 1196 = 0, 602 = 2*v - u + 3*u. Let t = v - d. Is t a prime number?
False
Let y = 2177 + -288. Is y composite?
False
Let g(b) = b + 1. Let w(k) = -28*k - 9. Let i(d) = d**2 - 15*d + 1. Let u be i(12). Let m(a) = u*g(a) - 5*w(a). Is m(5) prime?
False
Suppose 8*u + 34*u - 1245426 = 0. Is u composite?
True
Suppose v - 8651 = -2*d, d + 0*d - 3*v - 4336 = 0. Is d a composite number?
False
Let h(v) = -2*v**2 - 2*v + v**3 + 2764 - 1005 + 2*v**2. Is h(0) prime?
True
Suppose 6*k - k = -3900. Let q be (67 + -5)*51/(-6). Let y = q - k. Is y composite?
True
Let i(p) be the second derivative of -20*p**3/3 + 15*p**2/2 - 3*p. Is i(-13) composite?
True
Suppose 51727 = t + 4*t + n, -20700 = -2*t - 5*n. Is t a composite number?
True
Suppose 0*v - 4*v = -12. Suppose 69927 = 2*j - p, -v = -5*p + 12. Is 8/10 - j/(-75) prime?
True
Let j = 3 + -3. Let z(l) = -l**3 + 16*l**2 + 3*l + 19. Let v be z(16). Suppose j*n - 3*r = n - v, n + 5*r - 75 = 0. Is n a prime number?
False
Let u(g) = -509*g + 35. Is u(-30) a prime number?
False
Suppose 0 = -25*h + 21*h + 12. Is (h - 4)/(5/(-5630)) composite?
True
Let x = 278 - -1264. Suppose 5*w - x = 2203. Is w composite?
True
Let w(g) = g**3 + 1. Let a(y) = y**3 + 2*y**2 - 2*y + 4. Let l(j) = a(j) - 2*w(j). Let q be l(2). Let x(p) = -27*p**3 - p**2 - 2*p + 1. Is x(q) a prime number?
False
Let u(r) = 97*r - 15. Let x be u(4). Suppose -3*a + 1942 = x. Is a a composite number?
False
Let c be (-15127)/(-42)*4 + 2/6. Let o = 40 + c. Is o prime?
True
Let s be 1 - (-266 - (2 + -1)). Suppose 7*n = -n. Suppose n = 5*u - u - s. Is u composite?
False
Suppose 34*d - 280417 + 81891 = 0. Is d a prime number?
True
Let m(w) = w**3 - w. Let j be 1 + 5/((-15)/6). Let d be m(j). Suppose n + 3*s - 118 = 0, -2*n - 4*s + 106 + 124 = d. Is n composite?
False
Suppose 342 = 8*k + 86. Suppose -9 - 11 = 3*t - 4*m, 25 = 5*m. Suppose k = l - t*w - 5*w, -80 = -4*l - 4*w. Is l a prime number?
False
Suppose -36*o + 114603 = -94449. Is o a composite number?
False
Let w be (-4)/10 + (-3713)/5. Let t = w - -1180. Is t a prime number?
False
Suppose -609*n + 623*n - 77798 = 0. Is n a composite number?
False
Let g(z) = -3*z - 5. Let x(k) = k. Let q(a) = g(a) + 4*x(a). Let l be q(5). Is (3 - (-258)/3) + l prime?
True
Suppose 2*l - 219 = -l - 3*s, 2*l - 122 = 4*s. Let b(y) = y + 37 + 71 - 36 + l. Is b(0) a prime number?
False
Let g = 2104 + -1237. Suppose 2*s + 5*n - g = 1176, -3*s = 4*n - 3047. Is s composite?
False
Let w = -113 - -52. Let v = w + 163. Let u = -13 + v. Is u composite?
False
Suppose -3*p + 11 = -2*r - 3*r, -17 = 2*r + 3*p. Let j be 39/3 - -4 - r. Is (-7)/(j/12) + 533 composite?
True
Let l be (-9)/(162/82 - 2). Suppose 4*b + l = 7*b. Suppose 5*j - b = -k, k + 3*k = 3*j + 584. Is k a composite number?
True
Let f(s) be the first derivative of -5*s + 11/3*s**3 + 1 - 3*s**2 - 1/4*s**4. Is f(5) prime?
False
Let b be (2 - 2/1)/(-1). Suppose b = l - 398 - 355. Is l composite?
True
Let d(n) = n**3 - 8*n**2 - n + 6. Let y be d(8). Let x be 8*1/y + 6. Suppose 1070 = 7*r - x*r - o, o = r - 210. Is r a composite number?
True
Let q be 4/(-3) + (-10)/15. Let u be (q - (0 - 2)) + -732. Let n = -521 - u. Is n a composite number?
False
Suppose 5*o + 2*p - 57494 = 0, 5*o + 3*p = 37127 + 20364. Suppose -4*r - 4*t + o = 0, -16 = 2*t - 8. Is r composite?
False
Let f(j) = -983*j + 2. Let h be (-64)/16 - (-1 - 1). Let p be f(h). Suppose -2*v + p = 22. Is v a composite number?
True
Suppose 7*s - 26 = -u + 2*s, 0 = 4*u - s - 41. Suppose u*c = -4*c + 6855. Is c composite?
False
Let h = 11931 + 10120. Is h a prime number?
True
Let d be (-2 + 0)/(4/340). Let b = -107 - d. Let h = 122 - b. Is h composite?
False
Suppose -u + 3 = -3. Let b = u - 6. Suppose -4*v + 67 + 89 = b. Is v a composite number?
True
Let r = 28397 + 7214. Is r composite?
True
Suppose -2*o = 4*n + 8, 4*o = -5*n - o - 5. Let l = 0 + 0. Is (l - n)*381/3 composite?
True
Let i(x) = x**3 + 18*x**2 + 37. Suppose v + 4*w = -18, -2*v - 2*w - 3*w - 36 = 0. Is i(v) prime?
True
Let t be 4/(112/490 - 8/(-14)). Suppose 230 = 5*h - 1030. Suppose h + 143 = t*y. Is y a composite number?
False
Suppose -2*i - 12232 = -4*r, 4*r - 7348 - 4878 = -i. Is r a prime number?
False
Let c = 132 - 85. Let t = c - -68. Is t a prime number?
False
Let b = 4 - 8. Let a(v) be the third derivative of -v**6/40 - v**5/30 + v**4/12 - v**3/2 - 6*v**2 + 12*v. Is a(b) a composite number?
False
Suppose 3*y = 2*k + 39871, -4*y + 32*k + 53168 = 36*k. Is y composite?
False
Suppose -12*f - 29977 = -43*f. Is f a prime number?
True
Let h(b) = -9*b**3 - 14*b**2 - 21*b + 11. Is h(-12) a prime number?
True
Suppose k + 2*q - 3 = 0, -2*k - q = -2*q + 19. Let c(d) = -3*d**3 - 7*d**2 - 10*d - 3. Is c(k) a composite number?
True
Let g be 1/((-3)/(-1923)*-1). Let q = 898 + g. Let p = q + -130. Is p a composite number?
False
Let k = -731 + 417. Is -3 + (-4 - k)*1 prime?
True
Suppose 4*b + 1726 = 13446. Suppose -b = -5*h + 3*h. Is h a composite number?
True
Is -2*13614/(-12) - 2/1 a prime number?
True
Let t = 18 + -18. Suppose t*r - 2465 = j - 4*r, 0 = -3*j - 3*r - 7395. Is j/(-20) - 2/8 a prime number?
False
Let j(r) = 9*r**2 + 3 - 2*r + 0*r - 4 - 5*r**2. Let l(q) = q**3 - 4*q**2 + q. Let g be l(4). Is j(g) a composite number?
True
Suppose p + 4888 = 3*i, -10069 = -4*i - 4*p - 3525. Is i a prime number?
False
Let u be (-3447)/4 - 10/40. Let w = -489 - u. Is w composite?
False
Let k(g) be the first derivative of -g**3/3 - 11*g**2/2 - 8*g + 3. Let c be k(-6). Suppose 5*w + 0*w + c = 2*p, p - 33 = -3*w. Is p prime?
False
Let c(z) = 1652*z + 93. Is c(7) composite?
False
Let t(y) = 39*y**2 + 8*y + 2. Suppose 0*a = 4*a - 3*w + 3, -5*a + 2*w = 9. Is t(a) a composite number?
True
Let h(q) = 7*q**2 + 6*q + 3. Let f(m) = 8*m**2 + 6*m + 2. Let s(p) = -2*f(p) + 3*h(p). Suppose -2*r = -5*l - 8, -r = 3*r + l + 28. Is s(r) a composite number?
False
Let z be -1*3*(-7 + 5). Let b(k) = -2*k**2 + 2*k - 8. Let y be b(z). Let c = y - -103. Is c a prime number?
False
Is (0 - 10) + 0 + 47691 composite?
False
Let i(j) = -80*j**3 + 4*j**2 + 11*j. Let a(r) = -40*r**3 + 2*r**2 + 5*r. Let d(w) = 13*a(w) - 6*i(w). Is d(-3) composite?
True
Is (-6)/(-4)*468380/66 prime?
False
Let w(b) be the third derivative of -139*b**4/4 + 5*b**3/6 + 7*b**2. Is w(-1) prime?
True
Suppose 26*y = 14773 + 85249. Is y a prime number?
True
Let h(x) = 5*x**3 + 7*x**2 - 147*x - 16. Is h(23) composite?
False
Let h be 84/(-10)*(4 - -1). Let i be (-12)/h + (-19)/(-7). Is i*(-2)/(24/(-716)) a composite number?
False
Is (-8)/(-16)*(2816 - -2) prime?
True
Suppose 0 = -3*l - 3*h + 12, -2*l + 0*h = 3*h - 12. Suppose l = 5*n - 541 - 994. Is n prime?
True
Let f be (12/(-4))/(6/(-16)). Suppose -272 = -3*n - a, -a - 3 = -f. Is n a prime number?
True
Let r(c) = c**2 - 14*c - 15. Let b be r(15). Suppose b*x - 4*x + 4764 = 0. Is x composite?
True
Let f(x) = -1777*x - 645. Is f(-8) prime?
False
Let w be ((-12)/(-1))/(10/1640). Suppose 4*d = -4*r + w, -2*r - 1953 = -4*d - 3*r. Is d a prime number?
True
Suppose 10 = 6*q - 8. Suppose q*b - 85 = 17. Is b prime?
False
Is (-8397)/(-6) + 35/(-14) + 2 composite?
False
Suppose 1499 = 3*o + 5*n