119 = -f*g. Is g composite?
True
Suppose -2*z - 28 + 10 = 0. Let f be (-27)/z - (-10 - -1). Suppose -4*y - f + 104 = 0. Is y a composite number?
False
Let q(x) be the third derivative of x**5/20 - x**4/8 - x**3/6 - 6*x**2. Let i = 15 + -9. Is q(i) prime?
True
Let j(a) be the first derivative of 19*a**2 + 8*a + 5. Let b be j(6). Suppose -b = -q - 15. Is q prime?
False
Let c be 8/2 - 4 - 2*-1. Suppose 14733 = -c*d + 11*d. Is d a composite number?
False
Let t(x) = 1088*x + 4. Let a be t(-1). Suppose -2*l + 3854 = -5*y, 2*l - 3*y = -0*l + 3854. Let g = a + l. Is g a composite number?
True
Suppose 5*k + 5*m + 8 - 58 = 0, -k + 4*m = 10. Let o(n) = 2*n**3 - 6*n**2 - 2*n - 3. Is o(k) prime?
False
Let c = 9 + -2. Let a be (c/(-4))/(2/8). Let h(r) = -r**3 - 5*r**2 + 8*r - 9. Is h(a) a prime number?
False
Let a(q) = 18*q**2 + 4*q - 6. Let c = 37 + -31. Let u be (-7)/((-35)/(-10)) + c. Is a(u) prime?
False
Let t = -13584 + 32371. Is t a composite number?
False
Let r(u) be the third derivative of 11*u**5/60 - u**4/12 - 5*u**3/6 + 19*u**2. Suppose -3*a = -a + 8. Is r(a) a prime number?
True
Suppose z = -2*z. Let b(t) = t**2 + 4. Let i be b(z). Is -159*(0 + 3 - i) composite?
True
Let v be 37/(-5) - 6/(-15). Let p(n) be the first derivative of -11*n**2/2 + 2*n + 16. Is p(v) a prime number?
True
Is 13999 + -1*(-2 - -8) a prime number?
False
Is (521/7)/(2/14) composite?
False
Is 2857 - ((-36)/(-270) - (-56)/30) a composite number?
True
Let p = 13733 - -3188. Is p prime?
True
Let g(b) = b**3 + 7*b**2 + 4*b - 8. Let x be g(-6). Suppose t = x*t. Let m(v) = v**3 + 209. Is m(t) composite?
True
Suppose 0 = -18*k + 72396 + 12726. Is k prime?
True
Let o(h) = h**2 + 9*h + 10. Let s be o(-8). Suppose s*p - 20 = -2*n + 7*n, p - 5 = 0. Is (-1)/(n/638 + 0) a composite number?
True
Let c(z) = -14597*z + 251. Is c(-6) a prime number?
True
Let h = -22 + 22. Suppose 3*o = -h*o - 3. Is (o/(-3))/(7/24171) prime?
True
Suppose -2*y + 4*r + 3465 = y, 0 = 2*y + r - 2299. Is y a prime number?
True
Let i(n) = 1017*n**3 + 9*n**2 - 15*n - 1. Is i(2) a prime number?
False
Let v(r) = r**2 - 3*r - 2. Let a be v(4). Suppose -a*s + 5*s = 804. Suppose -p - 3*p + s = 0. Is p a composite number?
False
Suppose 5*x = 151228 + 12627. Is x composite?
False
Suppose -5*x = 2*o - 11851, -3*x + 27766 = 4*o + 4071. Is o a prime number?
True
Suppose -7*l + 401466 = -l. Is l prime?
False
Suppose 5*m = -2*l - l + 15383, 2*l + 2*m - 10258 = 0. Is l composite?
True
Let m = -173 - -468. Suppose -990 - m = -5*b. Is b a prime number?
True
Let m(g) = 7 + 8*g - 74*g - 46*g - 13*g. Is m(-2) composite?
False
Let t(g) = g**2 - 10*g + 13. Let c be t(9). Let u be 1/(-1*c/(-16)). Suppose -5*f - u*w = -275, 5*f + 5*w - 173 = 102. Is f a prime number?
False
Suppose -4 = -7*o - 396. Is 4886/o*(0 - 28) prime?
False
Suppose 1296 = 4*f - 620. Let q = f + -961. Let l = -271 - q. Is l a composite number?
False
Let f(h) = -h**3 + h**2 + 4*h + 1. Let m = 22 - 26. Is f(m) prime?
False
Suppose 0 = -3*o - k - 12, k - 3*k - 9 = o. Is (19 + o)/4 - 675/(-1) a prime number?
False
Let l = 4058 - 1527. Is l composite?
False
Let n = -28 + 31. Suppose -5*c - n*c + 248 = 0. Is c composite?
False
Let m(g) = -g**3 - 16*g**2 - 38*g + 10. Let r be m(-13). Is 3/(r + -3)*-4306 composite?
False
Suppose 4*u = 4*l + 128, -l = -5*u + u + 137. Is (-7)/(u/(-710)) - 0 a prime number?
False
Let o = 10 - 1. Let k(g) be the first derivative of -g**4/4 + 3*g**3 + 13*g**2/2 - 2*g + 28. Is k(o) prime?
False
Let l = -352 + 605. Is l composite?
True
Suppose 4*s = 0, -4*i + 5020 = -15*s + 13*s. Is i a prime number?
False
Let i be 2 - -2*(-87)/3. Let b = 123 + 22. Let z = i + b. Is z a composite number?
False
Let z(r) = 241*r**2 + 4*r - 103. Is z(-10) a prime number?
True
Let v(j) = -j**2 - 7*j - 5. Let b be v(-5). Let n = 235 + -150. Suppose 4*g - 3*g - n = -2*m, b*m - 79 = -g. Is g composite?
False
Let s be 4 + (-2)/1 + 0. Let o be 2 - (s + (7 - -2)). Is 759*((-21)/o + -2) a composite number?
True
Let n = 83 - 83. Is -2583*(-1 + n) - 2 prime?
False
Let r(h) = 3*h - 2. Let s be r(2). Suppose 2*u + 30 = -s*i - 144, 5 = -u. Let j = 278 - i. Is j a composite number?
True
Let c(a) = 411*a - 31. Is c(2) prime?
False
Let h(p) = p**2 - p - 7. Let l be h(-6). Let c = l - 19. Suppose 4*g = c + 116. Is g a prime number?
False
Is 179895/(-3)*(-23)/115 composite?
True
Let y(p) = -405*p - 178. Is y(-5) prime?
True
Suppose 0 = 18*q - 17614 + 5824. Is q prime?
False
Let a be ((-180)/(-14))/(6/(-84)). Let d = 383 + a. Is d prime?
False
Suppose 18 - 3 = 5*p. Is 1250 + p/(-5)*(-1 + -4) a prime number?
False
Let k(l) = 335*l + 17. Is k(2) composite?
True
Let a(k) = -k**3 + k**2 - 5*k - 5. Let m = -2 - 4. Let o be a(m). Suppose -4*z - o = -2*j - 977, 3*z = -4*j + 547. Is z prime?
False
Let b = -14189 + 26158. Is b a prime number?
True
Suppose 5*l = -2*l + 13307. Suppose 3*m - 2*d = l, 2*m = 3*d + 2*d + 1282. Is m a composite number?
False
Suppose 0 = -3*o - 2*o. Let t(x) = -2*x**2 - x + 2099. Is t(o) composite?
False
Suppose -3*m + 4*f = -2855, -3*m - m + 4*f + 3812 = 0. Suppose 3*j - 282 = m. Is j a prime number?
False
Suppose -4*x - 12281 = -5*l, -4*l = -8*l - 4*x + 9796. Is l a prime number?
False
Let t(x) = x**2 - 601. Let g be t(0). Let b = g - -876. Suppose 478 = 3*v - b. Is v composite?
False
Suppose -28*v - 18812 = -4*y - 27*v, -v = 0. Is y prime?
True
Let t(p) = 56*p - 41. Let m be (4/2)/((-10)/(-40)). Is t(m) a prime number?
False
Let d(i) = 480*i - 2. Let c be d(3). Suppose c = 5*u + f - 1172, -2*u + 1067 = 5*f. Is u a composite number?
False
Let f = -2311 - -3605. Let t = f + -92. Is t composite?
True
Suppose -5*c = -3*a + 9802, -19*c + 18*c = -5*a + 16344. Is a prime?
False
Let r(l) = -14*l - 11. Suppose -4 = 2*n - 3*n + p, 2*p = -6. Let q = -8 - n. Is r(q) a prime number?
False
Suppose 9494 + 319631 = 25*g. Is g composite?
True
Let h(s) be the first derivative of s**4/4 + 3*s**3 + 9*s**2/2 + 13*s - 8. Let u be h(-7). Let r = u + 65. Is r a prime number?
True
Suppose j + 0*j = 5. Suppose 17 + 3 = j*x. Suppose x*y - 121 = -0*i - i, y = 5*i - 647. Is i a prime number?
False
Let f be (-14)/63 + 40/18. Suppose -h = -5*c + 180, c - 45 = 4*h - f*h. Is c a prime number?
False
Suppose -9*p - 15 = -12*p. Suppose 4*x = -p*u - 31, -3*x - 5*u + 2*u - 21 = 0. Is x/(-4)*-127*-1 composite?
False
Let b(j) = j**3 - 9*j**2 - 10*j - 20. Let s be b(15). Let g = s - 531. Is g composite?
True
Suppose -3*v + 882 = 3*x, -4*x + 1469 = -2*v + 7*v. Is v prime?
True
Let s = 28 - 30. Let u be s/10 - 224/(-70). Is u + (1047/3 - -3) prime?
False
Is (-8*6687/(-108))/((-10)/(-15)) a composite number?
False
Let b(o) = -3*o + 6. Let v be b(4). Let a be (-7)/14*(0 + v). Suppose -a*y + 2*y - m = -76, -m = 1. Is y a composite number?
True
Let a be 14/((-2)/2)*4/(-8). Suppose 0*j - 2863 = -a*j. Is j a composite number?
False
Suppose 7*g - 3*g = 16. Let x be 2/(-5)*(-10)/(-2). Is -4 + g + (x - -53) a composite number?
True
Let l = 414 - -77. Suppose -33*s - l = -34*s. Is s a composite number?
False
Let y(c) = -2369*c - 922. Is y(-7) prime?
True
Let d = -64859 - -111292. Is d composite?
True
Let l = -15463 - -32274. Is l composite?
False
Suppose -5*n = -5*q + 235, 5*q - 2*n - 252 = -11. Let h(c) = 58*c**3 - 169*c**3 - c - 1 - q*c**3 - c**2. Is h(-1) prime?
False
Suppose -4*h + 2466 = -j - j, 3055 = 5*h + 3*j. Let b be (0 - 1) + (17 - 13). Suppose c = b*c - h. Is c a composite number?
False
Suppose -45*w + 6 = -44*w. Suppose -w*x + 119 = -2947. Is x composite?
True
Let l(o) = 141*o - 5. Is l(6) prime?
False
Let j = -33 + 14. Let f = -16 - j. Suppose 4*p = 2*m, f = -4*m - p + 48. Is m a prime number?
False
Suppose 0*x + 5*b = x - 10, 4*x - 5*b - 25 = 0. Suppose -3*m - 746 = 5*z - 2199, 4*m = -x*z + 1449. Is z composite?
False
Is 3/(-3) - (-11 + 85469/(-1)) a composite number?
True
Let b(m) = -5*m + 6. Let d be b(6). Let k = -22 - d. Suppose -3*h + 1326 = 3*y, -902 = -k*h - 0*h + 4*y. Is h a composite number?
True
Let y be (-6)/(-12) + (-6)/(-4). Suppose 2*x = 3*g - y*g - 811, -4*g + 3196 = 4*x. Is g a composite number?
True
Let p = 1977 - -1370. Is p a prime number?
True
Suppose -m + 2*m - 4*c = 17851, 5*m - 3*c - 89255 = 0. Is m prime?
True
Let g(a) = -856*a - 193. Is g(-21) a composite number?
False
Is (-