o - 3*o + 98. Is o a composite number?
True
Let k be 24/(-14) + (-10)/35. Let s = 0 + k. Is 2/(368/182 + s) a composite number?
True
Let l(n) = 2*n**2 + 8*n - 4. Let t be l(-10). Suppose -5*f - 102 = -2*a + 54, 4*f - 91 = -a. Let x = t - a. Is x composite?
True
Let r(v) be the third derivative of 0 - 4*v**2 + 1/2*v**3 + 1/8*v**4 + 2/5*v**5 + 0*v. Is r(-2) composite?
True
Let q be (-28)/(-21)*(-1 - 122). Let w = 304 + q. Let a = 198 - w. Is a a prime number?
False
Suppose -3*q + 5*f = -3233 + 379, 1901 = 2*q - 5*f. Is q prime?
True
Is (-1)/((-148)/(-149) - 1) prime?
True
Suppose 3*l + 2 = -7. Is (l - -35) + -3 - -2 a prime number?
True
Is ((-4 - 4) + 2)*(-331)/2 composite?
True
Suppose 0 = -d + 2*x + 28, d + 3*x = 2*d - 25. Is d a composite number?
True
Let n(u) = -9*u**2 - 7*u - 3*u - 1 + 4 + 0*u - u**3. Is n(-10) composite?
True
Let z(b) = 218*b - 9. Is z(2) composite?
True
Is (89/2)/((-4)/(-8)) a composite number?
False
Let k = -27 - -6. Suppose 3*f + 5*v - 155 = f, -5*f - 5*v = -365. Let u = k + f. Is u prime?
False
Let r(h) = h + 7. Let k be r(-5). Suppose 5*t + 9 - 25 = 2*p, 2*t + 2*p = 12. Suppose 4*j - t*z - 512 = 0, k*z - 3*z = 1. Is j prime?
True
Let s(q) = q**3 + 14*q**2 + 9*q + 13. Is s(-13) a composite number?
True
Suppose 0*g + 26 = g. Is 3 + (g*3 - 4) composite?
True
Let v(g) be the first derivative of g**4 - g**3/3 + 4*g**2 - g - 6. Is v(4) composite?
False
Suppose -2*b = 5*o - 18944, 2*o - 7*o - 37888 = -4*b. Is b/112 + 6/14 a composite number?
True
Let q(a) = 5*a**2 - 3*a - 15. Suppose -3*g - 16 = c, 5*g + c + 36 = 6. Is q(g) prime?
True
Suppose -83 = 4*c - 3603. Suppose 0 = 4*i + 4*y - c, 2*i + 5*y - 223 = 211. Suppose 5*w = 3*w + i. Is w a composite number?
True
Let g = 1559 - 1038. Is g prime?
True
Suppose -9*c = -6*c. Let m(j) = -j**2 + 83. Is m(c) composite?
False
Suppose x - 2*l - 987 = 0, -4*x + 5*l = -x - 2957. Is x a prime number?
False
Let b(h) = -h**3. Let i(r) = r**3 + 7*r**2 - 11*r + 7. Let y(p) = -2*b(p) - i(p). Is y(8) a prime number?
False
Let y(s) = -3638*s + 9. Is y(-1) a composite number?
True
Let z(g) = -9*g**2 - 4*g + 6. Let b(l) = 2*l - 2. Let m be b(-2). Let r be z(m). Is (r/(-3))/2 + -2 a composite number?
False
Let g = 174 - 310. Let l = g - -213. Is l prime?
False
Is (-4 + 26/6)*669 a prime number?
True
Let k = 3 + -1. Suppose 5*g = k*j + g - 90, -4*g - 55 = -j. Is j prime?
False
Suppose -13*o + 11694 = -7*o. Is o prime?
True
Suppose -3*m + 348 = 3*c, 2*c + 3*c - 132 = -m. Let y = m + -53. Is y prime?
True
Let a be 5 + 2 + 4/(-2). Let y(u) be the first derivative of 2*u**3/3 + 2*u**2 + 7*u - 1. Is y(a) a prime number?
False
Is 16/24 - 142/(-6)*17 prime?
False
Let j = 284 - -871. Suppose 5*h - 185 - j = 0. Suppose 3*l + l = h. Is l prime?
True
Suppose -10*q + 3122 = -3*q. Is q a prime number?
False
Is 4*(-12)/(-16) + 12 composite?
True
Suppose -4*i = -4*m - 16, 2*i - 13 = m - 2. Suppose 22 = 3*t + i. Suppose -t*n + 277 = 92. Is n composite?
False
Suppose -234 = -2*f + 142. Suppose 2*u - 6*u + f = 0. Let z = u + 6. Is z a composite number?
False
Let p = 76 - 0. Is (p/(-4))/(1/(-2)) composite?
True
Let c = -5 + 10. Suppose -3*f - 168 = -3*g, 118 = 2*g + c*f + 13. Suppose 0*v + g = 5*v - 4*p, -5 = p. Is v a prime number?
True
Is (267/6)/((-2)/(-4)) a composite number?
False
Let j(s) = 140*s - 5. Is j(5) a prime number?
False
Is (-13)/(3/(-534)*2) a prime number?
False
Let v be (-4 - -3) + (-2 - -5). Is (0 - v)*76/(-8) a prime number?
True
Let i = 4 + -4. Suppose -3*z + 360 = 5*a, i = -5*z + z - 4*a + 472. Is z a composite number?
True
Suppose -2748 = -h - 5*r, 5*r - 3958 = -3*h + 4276. Is h a prime number?
False
Let y(c) = 12*c - 1. Let w(h) = 3*h**3 + h**2 - h. Let z be w(1). Suppose 0 = 5*j - 4*p - z, 18 = 2*j - 3*p + 7*p. Is y(j) a composite number?
True
Suppose y = 4*r - 102, -3*r - 4*y - 13 = -99. Is r a composite number?
True
Suppose 3*a + 3*n + 2*n - 324 = 0, 0 = 3*n. Suppose -42 + a = 2*s. Is s composite?
True
Let d(q) = -q**3 - 4*q**2 - 8*q - 4. Is d(-7) prime?
True
Suppose 5*m - g - 15 = 4*g, -2*m + 9 = -5*g. Suppose -m*u + 86 = -0*u. Is u a composite number?
False
Let n(z) = -70*z - 5. Is n(-1) a prime number?
False
Let h(f) = 251*f**3 + f**2 - 1. Suppose -4*k + 14 = -2*o, -k = 2*k - 12. Is h(o) a composite number?
False
Let l = -11 + -197. Let k = l - -399. Is k composite?
False
Let p be (-13)/(-2) - (-9)/(-6). Suppose 0 = -p*l, -64 = 3*n + 4*l - 229. Is n a composite number?
True
Suppose 3*s - u - 1208 = 0, -u - 426 = -s + 4*u. Is s prime?
True
Suppose 4*z = 2*v + z - 111, 4*z + 108 = 2*v. Let j be (-3)/((-4)/(v/9)). Suppose 4*y + 7 = j*y. Is y a composite number?
False
Let m(w) = 166*w**2 - 3*w - 3. Let q be m(-2). Suppose -c + 0*c = -q. Is c composite?
True
Suppose x = l - 2*x - 518, l - 519 = 2*x. Is l prime?
True
Let c = -5 - -4. Is (-2 + (c - -2))*-55 prime?
False
Suppose h - 46 = 12. Is h prime?
False
Let n be ((-24)/3 + 3)*-1. Suppose -5*b = -0*b + n*a - 585, -b - 3*a = -109. Is b prime?
False
Suppose s = -0*s + 2. Suppose 5*c = s*c + 489. Is c a composite number?
False
Is (-85595)/(-20) - ((-6)/(-8) - 0) composite?
True
Let y(d) = 2*d + 1. Let i be y(1). Let t be (-1)/i + (-632)/(-6). Suppose 0 = -6*h + h + t. Is h a prime number?
False
Let n = -57 + 383. Is n composite?
True
Suppose 0 = -0*s - s - 8. Let n(w) = -w**3 - 3*w**2 + 2*w - 11. Is n(s) composite?
False
Suppose -4*h + 2*c = 3 + 9, 5*h + 4*c = -2. Is h/(-7) - 160/(-28) composite?
True
Suppose -4*a = -10 + 2. Suppose -a*g - 27 = 3*i - 89, 2*g - 5*i - 94 = 0. Is g composite?
False
Let q(r) be the second derivative of 1/20*r**5 + 3*r - 2/3*r**3 - 1/2*r**2 + 0 + 7/12*r**4. Is q(-5) prime?
False
Let c = 1154 - 567. Is c composite?
False
Suppose 70 = i + 4*i. Is i prime?
False
Suppose -3*k + 984 = 4*z - z, -2*z - 1661 = -5*k. Is k prime?
True
Let r = -25 + 43. Let s(f) = 2*f**3 + 4*f**2 + 4*f - 1. Let v be s(-4). Is (-2038)/(-18) + r/v a composite number?
False
Let j(r) = 288*r**3 - r**2. Let k = -18 - -19. Is j(k) composite?
True
Let b be -1 - 2*15/(-3). Let l(d) = -d**3 + 8*d**2 + 13*d - 1. Is l(b) a prime number?
False
Suppose 2*f + 3*f - 2*y - 3165 = 0, 0 = -3*f - 2*y + 1883. Is f a composite number?
False
Suppose a + 2*y = 220, 3*a + 5*y = 12 + 643. Suppose 0*z - a = 5*s - z, -4*s + z = 168. Is (-135)/(-7) - (-12)/s prime?
True
Suppose d = 3*b - 4*d - 1325, b + 4*d = 453. Is b a prime number?
False
Suppose 5*o - 36 = 44. Let r(a) = a**2 - 11*a + 5. Is r(o) a prime number?
False
Let f = 6 + -5. Let u(x) be the third derivative of 3*x**6/10 + x**5/30 - x**4/24 - x**2. Is u(f) a prime number?
True
Is (-3)/(-7) - (-11628)/63 composite?
True
Suppose -10991 + 29031 = 5*d - 5*o, 0 = 2*d + 5*o - 7209. Is d a composite number?
False
Let y(q) = q**3 + 4*q**2 - 6*q + 5. Let t(k) = k**2 + 7*k + 1. Let c be t(-6). Is y(c) prime?
False
Suppose -118 = -4*d + 22. Is d a prime number?
False
Let a be (4 - 2) + 2 - 1. Suppose -3249 + 786 = -a*m. Is m a prime number?
True
Let g(r) = r**3 - 5*r**2 + 2*r + 7. Let f be g(5). Suppose 4*v + 1 = f. Suppose -4*s + v*z = -0*s - 320, 2*s = -2*z + 148. Is s composite?
True
Suppose 5*f = 3*f - 20. Let o be f/(1/((-3)/6)). Let v(d) = 17*d - 6. Is v(o) a prime number?
True
Suppose 0*r + 4*r = -t - 19, 2*r + 5*t = -23. Let u = 5 + r. Is 39 + 2*(-2 + u) composite?
False
Let t(g) = g**3 - 12*g**2 + 8*g - 16. Suppose -2*r = 3*r - 65. Is t(r) a prime number?
True
Let k(n) be the third derivative of -11*n**5/120 - n**4/12 - n**3/6 - 2*n**2. Let i(r) be the first derivative of k(r). Is i(-5) a prime number?
True
Let z be 19 + -1 + 3/(-1). Suppose -6*r = -r - z. Suppose -r*n = -8*n + 110. Is n composite?
True
Let s(p) = -p**3 - p**2 + p + 5. Let r be s(0). Suppose 5*z = w - 5*w + 21, -z + 21 = r*w. Is -1*-2*z + 5 a composite number?
False
Suppose -2*l + 7*l - 980 = 5*i, 0 = -5*l - 5*i + 1020. Suppose 4*k - 242 = -k - 3*g, -4*g = -4*k + l. Is k composite?
True
Let v = 2329 + -1483. Suppose 3*g + 0*g = -a + 644, -4*g = -5*a - v. Is g prime?
False
Let h(l) = 9*l**3 - 11*l**2 + 9*l - 2. Is h(7) a prime number?
True
Let o = -154 - -1469. Is o a prime number?
False
Suppose 3*u - 6890 = 3409. Is u a composite number?
False
Suppose -a = -4*q - 10 - 8, 5*a + 3*q + 2 = 0. Let b(v) = 3*v**3 - 2*v**3 - 2*v**2 + 3*v + 1 + 7*