rime?
True
Suppose -8*s = -3*s + z, -z = -s. Suppose c + 4*y = 2067, -4*c + 5*y - y + 8188 = s. Is c a composite number?
True
Suppose -4*q = 113 + 459. Let s be (-4)/22 + 260/q. Is 648 + s/(0 - (2 + -4)) a prime number?
True
Let r(z) = -z**2 - 4*z + 17. Let x be r(-6). Suppose -10*l + 3344 = -6*l + x*g, 2*g + 8 = 0. Is l composite?
True
Suppose a - 3*a - 797 = -5463. Is a composite?
False
Suppose 2528 = -3*l + 11*l. Suppose 0 = 321*i - 325*i + l. Is i a composite number?
False
Suppose 16*b = 31825 + 44319. Is b a prime number?
True
Let c(v) = 2*v**2 - 5*v + 8. Let k be c(5). Let t = -39 + k. Let q(d) = -3*d**3 + 3*d**2 + 2*d - 5. Is q(t) a prime number?
True
Suppose -2*a = -19*a - 5*a + 5142346. Is a prime?
True
Let b(r) = r**3 + 50*r**2 + 50*r - 44. Let m(k) = -3*k**3 - 99*k**2 - 101*k + 86. Let y(p) = 5*b(p) + 2*m(p). Is y(41) a composite number?
False
Suppose 1388664 = 88*l - 503374 - 41938. Is l a prime number?
True
Is 4/32*4*(-19 - -52257) prime?
True
Suppose 0*s - 16 = -4*s. Let r = 539 + -285. Suppose -3*f = 2*u - 257, -r = -s*u + 2*f + 252. Is u a prime number?
True
Suppose -39*s - 6 = -42*s, -4*y - 4*s = -163364. Is y composite?
True
Is (-12 - -11)/((88/12743599)/(-8)) composite?
True
Let v = 20 - 20. Suppose v = g + g - 5414. Is g prime?
True
Let t(m) = 272*m - 743. Is t(6) a prime number?
False
Suppose 158822001 = 113*k + 4*k. Is k prime?
True
Suppose 2*i + 4892173 = 3*t, -4*t + 3281954 + 3240940 = -2*i. Is t prime?
True
Let f(m) = -m - 15. Let c be f(-13). Let q be ((-21)/(-6) + -3)*42*c. Is (-1 + 150)/((-6)/q) a prime number?
False
Suppose x = -4*p + 7686 + 603, p = 5*x - 41466. Let b = x + -5526. Is b prime?
True
Let n(o) = -o**3 - 23*o**2 - 133*o - 211. Is n(-40) prime?
True
Suppose 0 = -121*q + 117*q - 8. Let c be (5/q)/1*(-348)/145. Suppose -c*n + 6578 = -3364. Is n a composite number?
False
Let f = -100 + 102. Suppose f*r + 769 = 2891. Is r composite?
False
Let q(g) = g**3 + 11*g**2 - 2*g - 16. Let i be q(-11). Is (23995/4)/((-46)/8 + i) a composite number?
True
Let y(l) = 97962*l - 3081. Is y(4) a prime number?
False
Let k(o) = 6*o**3 + 7*o**2 + 3*o - 8. Let r be k(8). Let l be -1 - 1/((-4)/2392). Let j = r - l. Is j a prime number?
True
Let c(t) be the third derivative of t**5/60 - t**4/12 + 1673*t**3/6 + 80*t**2. Let l be (-2)/5 + (-2)/(-5). Is c(l) composite?
True
Suppose 4*l - 8586545 = 35*d - 40*d, d = -4*l + 8586573. Is l a composite number?
True
Suppose 971*g - 978817 = 964*g. Is g a composite number?
False
Suppose 95*m - 610357 = 356800 + 445208. Is m a composite number?
False
Suppose 15*j + 4 = 11*j. Is (-29408)/(-10) + j - 8/10 a prime number?
True
Let s(b) = 228*b**2 - 8*b + 12. Let j be s(2). Let n = 1705 - j. Is n composite?
False
Suppose 2*l - 7*y + 6*y + 12 = 0, 3*l + y = -8. Suppose -m - 3 = -0*m + 3*c, 5*c = 3*m - 33. Is ((-2)/l)/(m/2412) prime?
False
Suppose 9*u = -7999 + 1940218. Is u a prime number?
True
Suppose -52 = 6*m + 554. Let f = m + 109. Suppose -f*b - 4*b = -3204. Is b prime?
False
Let g = 110790 + -49567. Is g a prime number?
True
Let c = -136676 + 221503. Is c prime?
True
Is ((-6003648)/(-132) - 1) + 10/(-55) composite?
False
Let s(d) = 6*d + 21. Let y be s(-3). Suppose 4*z = -0*b + y*b + 3, -5*b - 5*z + 30 = 0. Suppose 0 = b*g - 9, r - 5*g - 7261 = -g. Is r prime?
False
Let f(x) = -15*x**3 + 2*x**2 + 2*x. Let q be f(-1). Let s be 2/15 + (163/q - -2). Suppose 9*v + 2092 = s*v. Is v a composite number?
False
Suppose 0 = 17*n - 30*n. Suppose -3*p - 6276 + 1770 = -3*u, n = 3*p + 9. Is u composite?
False
Let b(j) = 1011*j + 175. Let i be b(12). Let t = i + -2640. Is t composite?
True
Suppose 49*n = 43*n + 2364. Let v = -451 - -879. Suppose 2*p = v + n. Is p a composite number?
True
Let f(x) = x**3 - 9*x**2 - 8*x - 24. Let k be f(10). Let m be (-2)/(((-20)/25)/k). Let y(v) = -v**3 - 6*v**2 + 17*v + 33. Is y(m) a prime number?
True
Let p(z) = -20*z - 139. Let u(m) = 39*m + 278. Let r(n) = -9*p(n) - 4*u(n). Is r(13) a prime number?
False
Suppose -y + 17 + 83 = -j, -3*y + 301 = -4*j. Suppose 0 = -y*n + 100*n - 19946. Is n prime?
False
Suppose 19*v = 2186 + 7675. Let h = 1406 - v. Is h a prime number?
True
Suppose -23 = -2*w - 7. Let n be (-2)/(w/4)*-5 - 2. Suppose 6*z - n*z = 249. Is z prime?
True
Suppose 3*z + 4*k - 179227 = -14900, 4*k + 54797 = z. Is z a prime number?
False
Let h(m) = 24*m**2 + 0*m**3 - 9*m - 9*m**2 - 2*m**3 - 36*m**2 - 69. Is h(-19) prime?
False
Suppose 14377 + 9582 = -13*n. Let g(m) = -4*m**3 - 5*m**2 - 10*m - 8. Let l be g(-6). Let y = l - n. Is y a prime number?
True
Let b be 3/((-18)/(-4)) - (-84)/(-126). Suppose 25*s - 28*s - 90 = b. Is s/(-8) + -4 + (-2957)/(-4) a prime number?
True
Suppose 3*z = 5*z - 4*h - 7674, 0 = -z - 4*h + 3867. Is z prime?
True
Suppose 0 = 12*o - 3812622 + 696882. Is o composite?
True
Suppose 13*q - 25*q = -256800. Is 42/(-126) - q/(-3) a composite number?
True
Suppose -2*p = -5*h - 26 - 1, 4*h = -2*p + 54. Suppose -4*i = -y + 93, -26 = -5*i - p. Is y a composite number?
False
Let m(k) = 228*k**2 + k - 341. Is m(16) prime?
True
Suppose -7*s + 6*s = 3*j - 12658, 8*j = 3*s - 38025. Is s prime?
False
Is 1752/1168*(-1 + (-4313541)/(-9) + -2) composite?
False
Let b = 806 + -404. Let f(g) = b*g - 3 + 631*g + 1. Is f(3) a composite number?
True
Let q(j) = -740*j**3 + 2*j**2 + 26*j + 32. Let k be q(-6). Suppose -5*w + 5*l + k = 6*l, -2*w + 63929 = 5*l. Is w prime?
True
Let q = 581 - 2788. Let h = q - -8464. Is h a composite number?
False
Suppose 3778931 = -3*p - 2*p + 18*p. Is p a composite number?
True
Let j(p) = p**3 + 20*p**2 - 16*p - 6. Let y be j(-16). Let i be -3*(-3)/((-12)/916). Let l = y + i. Is l a composite number?
False
Suppose 74*q - 76*q = -46. Suppose -28*g + 12785 = -q*g - 5*j, -j = 4*g - 10228. Is g prime?
True
Let y(r) = -892709*r**3 + r**2 - 2*r - 3. Is y(-1) a composite number?
False
Let c be 0 - (-1713 - (-24)/(-4)). Suppose 0 = 6*b - 399 - c. Is b prime?
True
Suppose -4*k = 3*c - 8*c + 82, -2*k = 2*c - 22. Let o = -10 + c. Suppose 1323 - 255 = o*f. Is f prime?
False
Let s(w) = 7*w**2 + 3*w - 11. Suppose -10 = 2*q + 2*v, -5*q + 1 = -5*v - 24. Suppose -10 = -q*g + 2*g. Is s(g) prime?
True
Suppose 3*l - 35874 = -84. Let z = -7309 + l. Is z a prime number?
True
Suppose -17*d - 4013 + 8393 + 4681 = 0. Is d a composite number?
True
Let p(s) be the second derivative of s**4/12 + s**3/3 - 3*s**2/2 - 17*s. Let v be p(2). Suppose 0 = -v*y - 608 + 2593. Is y a prime number?
True
Suppose 3*u = k + 3 + 1, k - 2 = -3*u. Let j be 82/(-1 - -2) + u + -2. Suppose h - 80 = j. Is h a composite number?
True
Let f(t) = -263*t**3 - t**2 - 217*t - 1727. Is f(-8) a composite number?
True
Let x = 14932 + -10608. Let q = x - 1091. Is q prime?
False
Let g(y) = -688*y + 13. Let l be 15/(-5) - (-3 - -1). Is g(l) a prime number?
True
Let l = 216169 + 114712. Is l a composite number?
True
Suppose 93860 = 5*o - 5*s, -56321 = -3*o - 0*s - 2*s. Is o a composite number?
False
Let w(r) be the first derivative of 2471*r**2/2 + 47*r + 42. Is w(4) composite?
False
Suppose 647915 = -25*l + 30*l. Is l composite?
True
Let b(h) = 10375*h - 8609. Is b(12) a composite number?
False
Let d(h) = -11458*h - 6911. Is d(-6) prime?
True
Suppose 5*u = -6*u + 33. Let r be (4 - (-32)/(-6))/((-2)/u). Is (r/(-4))/(3 + 5529/(-1842)) prime?
True
Let i(w) = -8*w + 258. Let u be i(35). Is u/231 + ((-3521648)/(-84))/4 composite?
True
Let f = 424 + -403. Suppose 0 = -f*n + 10055 + 39736. Is n prime?
True
Let p(t) = 18799*t - 38. Is p(1) a prime number?
False
Let t = -1771 + 2826. Suppose 5*z - 2054 = -5*c + 3146, -c + 4*z = -t. Is c a composite number?
True
Suppose -4*r = 2*s - 4200, 5*r + 10 = 3*r. Suppose -24304 = -3*o + 2*p, s = -o + 2*p + 10218. Is o a composite number?
True
Let k(y) = y**3 - 16*y**2 - 12*y - 35. Let o be k(18). Let x = 664 + o. Is x prime?
True
Suppose -16*d + 30 = -6*d. Is 96318/12*(-4)/(-3) + d a composite number?
True
Suppose -8*u + 2 + 14 = 0. Suppose -5*a - 4*s + 29019 = 0, -u*s + 16740 = 3*a - 673. Is a composite?
False
Let h(r) be the first derivative of r**5/15 + 7*r**4/8 - 2*r**3 + 10. Let s(w) be the third derivative of h(w). Is s(17) a composite number?
False
Let v(d) = -36*d**3 + 31*d**2 + 134*d - 7. Is v(-6) a composite number?
False
Suppose 3*v + 4*l + 23 = 4*v