
Let d = -123 + 1134. Suppose -3*i + 2*i + d = 0. Is i a composite number?
True
Suppose -2*y - 62 = -5*w, 0*w - 4*w = -y - 49. Let x be (37640/w + -2)*(-3)/(-2). Suppose -3276 - x = -2*t. Is t a prime number?
True
Let t(s) be the third derivative of s**7/1260 + s**6/80 + s**5/60 + 11*s**2. Let a(q) be the third derivative of t(q). Is a(4) prime?
False
Let s(p) = -p + 10. Let l be s(7). Let t be (l - 14)*(1 + -18). Suppose 3*n - 2*n + 374 = 2*b, t = b + 5*n. Is b a composite number?
True
Let t(v) = -15441*v - 9302. Is t(-11) prime?
False
Suppose 5*v - 15426 = 2*x - 4*x, 3*x = -3*v + 23121. Let c = x + -2354. Is c a prime number?
False
Let f(z) = -3066*z - 617. Is f(-14) prime?
True
Let k = 0 - 4. Is k/30 - (-214044)/180 a composite number?
True
Let n(l) = -1772*l - 34. Let h be n(-6). Let g = 1761 + h. Is g a prime number?
False
Is ((-431608)/(-72))/(((-20)/(-36))/5) prime?
True
Let c be 4/((-12)/(-17995)) - (-9)/(-27). Is (c/4)/(4/8) prime?
True
Let f be (-10)/8 + 6 + 21942/(-8). Let d = f + 8779. Is d a prime number?
False
Suppose -3983618 = 59*m - 118931371. Is m prime?
True
Let n = 199 - 223. Is 7975/2 - 36/n composite?
False
Let t(v) = 221*v**3 + 0 - 2*v - 63*v**2 + 60*v**2 + 2. Is t(2) composite?
True
Let d = 16 - 31. Let v be ((-2)/(-6))/((-5)/1965)*d. Suppose 8*z - 2051 = v. Is z composite?
True
Let x(l) be the third derivative of 10*l**4/3 + 7*l**3/3 - 18*l**2. Is x(4) a composite number?
True
Suppose 0 = 3*s - 1791*x + 1789*x - 220565, -3*s + 220516 = 5*x. Is s a prime number?
True
Suppose -21217 = 5*d + 3033. Let n = 9837 + d. Is n a prime number?
True
Suppose 38*b = 148202 + 1027784. Is b prime?
False
Suppose -9*k + 282 - 93 = 0. Is 123/k + -6 + (-569160)/(-28) a composite number?
False
Suppose 0 = -5*r + d + 2*d + 30, -3*r = -4*d - 29. Suppose -2*k + 3*z + 287 = 4*z, r*z = -4*k + 575. Is k prime?
False
Suppose -4 = -0*m + 4*m, 0 = -4*h - m + 6351. Let n = -21 - -9. Is (1 - n/(-16))/(1/h) prime?
True
Let l(u) = u**3 - 198*u - 3*u**2 - 1 + 99*u + 101*u. Let d be l(1). Let v(k) = -3114*k + 5. Is v(d) prime?
True
Suppose 4 = -3*q + 10. Let f be 2 + -2 + 2/(-2). Is q/(-16)*f - (-136701)/216 a composite number?
True
Let s(k) = -6*k**2 - 30*k + 15. Let w be s(-12). Let b = -398 - w. Is b a composite number?
True
Let p(s) = 183*s**3 + 2*s**2 - 2*s + 1. Let g be (12/(-5))/(8/(-20)). Let z be 2 + (-2)/g*0. Is p(z) a prime number?
False
Let l(o) = -6*o**3 - 23*o**2 - 4*o - 4. Let b(n) = 8*n**3 + 22*n**2 + 3*n + 5. Let d(q) = 6*b(q) + 7*l(q). Is d(9) a composite number?
True
Suppose -7625*f + 614799 = -7616*f. Is f composite?
False
Let l(z) = 1577*z**2 - 9*z - 65. Let g be l(-5). Suppose -13*h = 2*h - g. Is h prime?
False
Let v(f) be the first derivative of 1145*f**3/3 - 5*f**2/2 + 11*f - 115. Is v(3) composite?
False
Let t = 32292 + -14722. Suppose -7*g - t = -21*g. Is g a prime number?
False
Let q(i) = 6*i**3 + i**2 - i - 1. Let a be q(1). Suppose 2*t - 3*r = 2*r, a*t = 4*r. Suppose -2*h + 5*h - 3129 = t. Is h prime?
False
Let f = -30 + 85. Suppose -12*z + 996 = -828. Let t = z - f. Is t prime?
True
Let k be (1 + 4)/(-1 - 0). Let h(p) = p**2 + 13*p + 55. Let r be h(k). Suppose 5*y = r, -4050 = -7*i + 4*i + 5*y. Is i a prime number?
False
Let r(c) = -4*c + 81. Let w be r(19). Suppose w*o - j = 12233, -2*o - 779 = -2*j - 5669. Is o a prime number?
True
Let s(l) = -l**3 + 9*l**2 + 9*l + 5. Let c(m) = -2*m**3 + 22*m**2 + 19*m + 10. Let o(q) = 3*c(q) - 5*s(q). Let y be 2 + (-3)/(3/(-19)). Is o(y) prime?
True
Is ((-4)/12)/(4416250/28705794 + 4/(-26)) a composite number?
True
Let z(w) = 9716*w**2 + 173*w + 8. Is z(2) prime?
False
Suppose 2 = b - 6. Let t(j) = 3*j + 11*j**2 + 4 + 2 - b. Is t(3) prime?
False
Let v(s) be the third derivative of s**6/20 - s**5/60 - s**4/8 - 7*s**3/2 - 12*s**2 - 3. Is v(5) prime?
False
Let k(v) = 3*v - 22. Suppose -16*j + 124 + 20 = 0. Let b be k(j). Suppose 0 = -3*c, 0 = -0*g - 4*g - b*c + 6388. Is g prime?
True
Suppose -97*s + 208*s - 52321515 = 0. Is s a composite number?
True
Let z = 5541 + -3004. Let q = z + -1368. Is q prime?
False
Let u(z) = -43 - z**2 - z**3 - z**3 + z + 115. Let p be u(0). Suppose -1770 = -6*i + p. Is i composite?
False
Let g = 59 + 276. Is (16/(-10) - -2) + 13778081/g prime?
False
Let i be (-2)/3 + 22/6. Suppose -i*r + c = -6, r - 5*c + 2 = 2*r. Suppose -5*d = -3*a + 798 + 90, r*a - 585 = d. Is a a prime number?
False
Suppose -5*x = -4*z - 2056213, -3*x + z + 590304 = -643421. Is x a composite number?
False
Is 68/1190 + (-192393)/(-35) a prime number?
False
Suppose -5*d = -m - 5 - 16, m + 19 = 3*d. Let q be (-3352)/m*(8 - 2). Suppose 4*v + q = 4405. Is v a composite number?
False
Let d(t) = 389*t - 12. Let u(o) be the second derivative of -o**3/6 - o**2/2 - 17*o. Let b(v) = -d(v) + 4*u(v). Is b(-5) prime?
True
Let o = -1878 + 10801. Is o prime?
True
Let b(s) be the first derivative of -385*s**3/6 - 5*s**2/2 + 36*s + 7. Let m(k) be the first derivative of b(k). Is m(-4) composite?
True
Is ((-1)/2)/(7 - 2628230/375460) a prime number?
True
Let l = 14931 - 3818. Is l prime?
True
Let d = 21 - 18. Suppose -d*f - 2*o + 1147 = -0*f, -o = -f + 374. Is f a composite number?
False
Suppose -461*f = -456*f. Let n(l) = l**3 + 2*l**2 + 4*l - 7. Let k be n(7). Suppose -31*v + 25*v + k = f. Is v a prime number?
False
Let d(u) = -341*u + 58. Let n be d(-10). Let r = 5927 - n. Is r a composite number?
False
Let m(q) = 14*q - q**2 - 26 - 5 + 7. Let u be m(10). Suppose 4*p = u, -3*r - p - 2792 = -7*r. Is r a composite number?
True
Let w be (2 - 4) + (-5274)/(-1). Let t be (-2)/((494/29549)/19). Let m = w + t. Is m prime?
True
Let v(r) = -402*r + 47. Let u be v(-7). Is u*(0/(-6) + 1) a composite number?
False
Suppose j - 6*j + s = -482, s + 290 = 3*j. Suppose j = q - y + 6, 5*y + 192 = 2*q. Is q composite?
True
Suppose -5*z = -4*f + 116, 0*f + 2*f = -4*z - 72. Is z/25 - 10797/(-15) prime?
True
Suppose -4*s = -3*z - 3*s + 2, 5*s = 3*z - 10. Suppose 0 = 2*o + 3*o + 4*r, z = 2*o + 2*r + 2. Suppose 2*j + 3*g = 5*g + 956, -o*j + 1897 = -g. Is j composite?
True
Suppose 0 = -156*w + 1888256 + 24047415 + 18196573. Is w composite?
True
Suppose -5*c = 3*k - 1085395, -49*c + 53*c - 4*k - 868316 = 0. Is c a prime number?
False
Suppose -55 + 67 = 6*x. Suppose -10*h - 5*f + 238125 = -5*h, x*h + 5*f - 95262 = 0. Is h a prime number?
False
Let m(x) = x**2 + 39*x + 1393. Is m(-74) composite?
True
Is (-779698)/(-16) - (-117)/(-936) composite?
False
Let i(k) = 320*k + 11. Let x(y) = 960*y + 34. Let s(f) = -7*i(f) + 2*x(f). Let m(t) = -t**3 + t**2 - 107*t + 337. Let n be m(3). Is s(n) a prime number?
True
Suppose -3*x + 99316 = 4*h, 2*h - 65*x + 68*x - 49658 = 0. Is h a prime number?
False
Let o(n) = -17*n + 26. Let k be 4 - (9 - 8) - (-12)/(-2). Is o(k) composite?
True
Let y(x) = 224*x + 93. Let a(f) be the third derivative of -f**5/60 - 7*f**4/12 + 13*f**3/2 + 12*f**2 - 3*f. Let g be a(-16). Is y(g) a prime number?
False
Let u be 22/12 - 1/(-6). Suppose -4*x - 2 = u*y, 2*x + 0*x - 2*y - 14 = 0. Suppose 0 = x*z - o - 0*o - 1777, z - o = 888. Is z prime?
False
Let u be ((-6)/4)/(4*12/(-3072640)). Let a be 45/105 + u/14. Let n = a + -4692. Is n composite?
True
Let z(d) = 1020*d**3 + 26*d**2 + d - 7. Is z(4) composite?
True
Let u(k) = -k**2 - 4*k + 8. Let t be u(-5). Suppose -t*o + 2*o = -1471. Is o composite?
False
Suppose 3*r - 3661 - 15741 = -3631. Is r a composite number?
True
Let r(p) = 328*p - 11. Suppose 3*i = -4*q + 21, -2*q - 5*i + 23 = -6*i. Is r(q) prime?
False
Let m(g) = -906*g**3 + 8*g**2 - 8*g - 3. Is m(-4) a prime number?
False
Let j(i) = -i**3 + 39*i**2 + 39*i. Is j(37) a composite number?
True
Let c = 591743 + -298570. Is c prime?
True
Let s be (-2)/(-3) - (-4 - (-204)/(-18)). Suppose -15*j = -s*j + 2. Suppose 3*m = -3*q + 3348, 2*q = -q - j*m + 3349. Is q a prime number?
True
Let c = -35419 - -52115. Let h = c + -8637. Is h a composite number?
False
Is -9817*((-2930)/130 - (-6)/(-13)) a prime number?
False
Suppose 36*q - 28*q - 4665526 = -30*q. Is q a prime number?
True
Suppose -3*o + 2*n + 10048 = 0, 4*n = 3*o + 772 - 10812. Let x be (-31)/(-4) + 468/208. Suppose o = x*j - 2*j. Is j prime?
True
Suppose 0 = -2*s + 484. Suppose 0 = s*t - 233*t - 4869. Is t prime?
True
Let y(k) = -91541*k**3 + 20*k**2 + 35*k - 13. 