221 a prime number?
True
Let a(c) = 3*c**3 + 12*c**2 + 13*c + 45. Let t be a(-10). Let i = t + 3000. Is i a prime number?
False
Let f = -1253734 + 1809607. Is f prime?
False
Suppose r - 3*g = -1415, -4*r - 2*g - 4839 = 863. Let l(y) = 290*y**3 - 2*y**2 - 2*y + 3. Let h be l(2). Let q = h + r. Is q composite?
False
Let h(w) = w**3 + 10*w**2 - 10*w + 22. Let q be (9/9)/((-3)/33). Let y be h(q). Suppose -250 = y*x - 2967. Is x a composite number?
True
Let u be (-10)/15*(73238/4 + -2). Let j = 32046 + u. Is j a prime number?
True
Let v(o) = -19*o**3 - 8*o**2 + 7*o**2 + 9*o - 2*o**2 + 19 + 3*o. Is v(-6) a composite number?
False
Let u(a) be the third derivative of a**6/24 - 11*a**5/60 - 7*a**4/24 - 11*a**3/6 + 31*a**2. Is u(6) prime?
True
Suppose 154*b = 147*b - 350. Is (-12)/(-15) - (141260/b - 7) prime?
True
Suppose 0*q = -9*q + 81. Let r(z) = -19*z + 10*z**2 + 9 + 2 - 9. Is r(q) a composite number?
False
Suppose 0 = 5*d - 25, -15*h = -13*h - d - 19. Is (h/(-8))/(9/(-74748)) prime?
False
Let t = 752268 - -102653. Is t a prime number?
True
Is 34924 - (69/(-207) - 34/(-3)) a prime number?
True
Suppose 25*r = 34*r - 252. Suppose -r*s + 9*s - 32661 = 0. Let q = 5552 + s. Is q a prime number?
True
Let g(n) be the first derivative of 418*n**2 - 183*n + 91. Is g(17) composite?
False
Suppose -5*a + 4*o = 182, -o + 146 = -4*a + 2*o. Let z = 20 + a. Is (8/z)/2 + (-17778)/(-54) a composite number?
True
Suppose -15*s + 20*s = 2*o + 152451, -4*o = s - 30499. Is s a prime number?
True
Let r be 30 + -34 - (-1 + -2). Let v(z) = 4002*z**2 + 6*z + 5. Is v(r) a prime number?
True
Let h = -143035 + 242774. Is h composite?
True
Is (2882858/(-33))/(3/(-27)*6) a prime number?
False
Let x(a) = -4*a + 560. Let p be x(0). Suppose -3*c + p = -c. Let f = 443 - c. Is f a composite number?
False
Let i be ((-36)/(-24))/((-9)/24). Let u(x) = -3077*x + 15. Is u(i) prime?
True
Suppose 18*z = 13*z + 30, -z = -s + 107635. Is s a composite number?
False
Let y(a) = 4*a**2 - 148*a + 299. Is y(48) prime?
True
Let r(y) = y**2 + 7*y + 8. Let t be -3 + 3*(-8)/12. Let w be r(t). Is 2*((-993)/w)/(6/2) composite?
False
Suppose 109938 = 4*j + 3*n, -5*n = -252*j + 254*j - 54976. Is j prime?
False
Suppose 0 = 79*a + 1318960 - 3501177. Is a a composite number?
True
Let w be (-2*(-6)/(-16))/(3/(-12)). Suppose -d = w*d - 1200. Suppose -2*p + 5*m + 630 = 0, d - 1540 = -4*p + 5*m. Is p composite?
True
Suppose -3*b = -6*b + h + 10, 3*b - 3*h - 6 = 0. Suppose -2*g + 5*d - 2523 = -b*g, -2*d = g - 1259. Is g a composite number?
False
Let l = 327214 - 226565. Is l a prime number?
True
Is (-329176 + -2 - 0 - (86 - 94))/(-2) composite?
True
Let h(i) = 31*i**2 + 79*i + 1775. Is h(-17) prime?
True
Let w = -235506 - -554219. Is w a prime number?
True
Suppose -6*o = -17139 - 11025. Suppose -o - 11553 = -7*g. Is g composite?
True
Let j = -1 + -2. Let l be (1/j)/(-7 - 40/(-6)). Let f(c) = 1718*c**2 - 2*c + 1. Is f(l) a prime number?
False
Suppose 4*g = -n + 122797, g - 5*n = -8*n + 30713. Is g composite?
True
Let b(t) = -295*t + 550*t + 411*t + 24 - 3. Is b(3) prime?
False
Let o be 12/21*(-63)/(-6). Suppose 2*q - 74488 = -o*q. Is q a prime number?
True
Let w(d) = -6*d - 37. Let t be w(-25). Let j = t - 22. Let g = 305 - j. Is g a prime number?
False
Suppose 0 = -4*b + 80 - 32. Let j(m) = 223*m + 85. Is j(b) a prime number?
False
Let b be (75/20)/(2/(-8)). Let w(u) = -u**3 - 14*u**2 - 22*u. Let d be w(b). Suppose 2*n = k - d, 829 = k + 2*n + 282. Is k prime?
False
Suppose 0 = 12*z - 8*z. Suppose 0 = u - z*u. Suppose u*t - 445 = -n - 4*t, -n + 433 = -2*t. Is n prime?
False
Suppose -27*f + 46*f = -531848. Let h = -18871 - f. Is h a composite number?
True
Suppose 3*q = 11*q - 8024. Suppose l = 4*x + q, -l - 1010 = -2*l - 3*x. Suppose 2*s - 2126 = 4*c, -s - 5*c + l = -49. Is s a prime number?
True
Let m(b) be the first derivative of 1/4*b**4 + 1061*b - b**2 - 1/3*b**3 + 8. Is m(0) a prime number?
True
Let c = -50293 + 563232. Is c composite?
True
Let k(z) = 2*z**2 - 35*z + 14. Suppose -2*i + 103 - 69 = 0. Let y be k(i). Let h(d) = 25*d**2 + 5*d + 5. Is h(y) composite?
True
Suppose 0 = 2*u - 8*u + 246. Let r(z) = -2 - 397*z + 4 + 5 - u*z. Is r(-1) a composite number?
True
Suppose 5*v + 4*z + 2 - 4 = 0, -4*z - 2 = 3*v. Suppose -4*h + 2125 = v*t + 203, 3*t + 2*h = 2883. Is t prime?
False
Is 82/738 + (-16883860)/(-45) a prime number?
False
Let c(z) = 23*z**3 - 4*z**2 - 20*z + 516. Is c(13) composite?
False
Suppose -77*o = 5*a - 76*o - 3867488, 4*o + 3867473 = 5*a. Is a a prime number?
True
Suppose 14*g = 30*g - 634464. Let u = -7973 + g. Is u prime?
False
Suppose -377721 - 2589595 = -68*a. Is a a composite number?
True
Let u = -41051 + 62110. Is u prime?
True
Let w(n) = -4*n**3 + 10*n**2 + 2*n - 9. Let d be w(-6). Suppose -4*s - 3*m = -d, -90 = -4*s + m + 1125. Is s a composite number?
True
Let c be ((-3555)/(-10))/9*(13 - 3). Let z be -2 + 0 - 202/1. Let x = z + c. Is x prime?
True
Suppose 319*v - 161*v + 11895256 = 166*v. Is v composite?
False
Suppose -191 = f - 376. Suppose -191*n = -f*n - 3198. Is n composite?
True
Let x(g) = 14*g**3 - 31*g**2 - 80*g + 68. Is x(21) a composite number?
False
Let r be (-146)/2 - 0/2. Let b = -70 - r. Suppose b*l = -2*l + 5435. Is l composite?
False
Let z = -241 - -248. Suppose -9*q + 3442 = -z*q. Is q composite?
False
Let t(a) = a**2 - 1. Let w be t(2). Suppose 0 = -w*k - 2*q + 38, -4*q - 18 = -2*k + 2. Let d(u) = u**2 + 6*u - 25. Is d(k) a composite number?
False
Suppose 12 = -3*k, -r - k + 53 = -1. Let t = -53 + r. Suppose -5*m + 2*m + 2752 = i, -t*i - 1863 = -2*m. Is m prime?
True
Suppose -5*a - 15*a + 76280 = 0. Let r = -2657 + a. Is r a composite number?
True
Let w(c) = -207966*c**3 + 10*c**2 + 41*c + 35. Is w(-2) a prime number?
True
Let r = -51047 + 188896. Is r composite?
False
Suppose 5*o = -4*o + 45. Suppose o*x - 7614 = -3*r, -4*r + 4*x - 10144 = -8*r. Is r prime?
False
Suppose 16*f - 4049445 - 269886 = -53*f. Is f prime?
False
Let v be 213131 + (3 - -2 - 0/(-5)). Suppose -17*w - 81947 = -v. Is w a prime number?
True
Suppose -26*k + 1479143 = -22*k + 5*l, 3*l = -2*k + 739571. Is k prime?
False
Is (-17)/(136/80) + -6 + 60843 a composite number?
True
Suppose -6*j + 56 = -2*j. Suppose 478 = j*q - 278. Is q/81 + ((-6704)/(-6) - 1) a composite number?
False
Suppose 5*u = -3*v + 74, 0 = 9*v - 8*v + 2*u - 24. Suppose -333747 = -v*n + n. Is n prime?
False
Let s(v) = 19*v + 24. Let n(l) = -55*l - 73. Let y(q) = -6*n(q) - 17*s(q). Is y(3) prime?
False
Let r = -104803 - -191822. Is r composite?
True
Let t be (-2 + 4/1)/(28/714). Suppose t*r + 1158997 = 3579406. Is r a composite number?
False
Let y(i) = 6*i**2 + 15*i - 20. Let s be (-5)/(-20)*-2 - 34/4. Is y(s) prime?
True
Is 5/(-2)*((-16908850)/625)/((-1)/(-5)) a prime number?
False
Let i be (2 + 5534)/((-1)/(-4)). Let x = 4615 + i. Is x a composite number?
False
Suppose 30*i - 2 = 29*i. Suppose 3*w = -i*f + 3997, f - 1537 = 2*w + 444. Is f a prime number?
False
Let c(u) = u + 16. Let l be c(0). Let h be (-108)/(-26) - (l/104)/1. Suppose 4*o = 4*k - 9344, -h*k + 9335 = 3*o - 4*o. Is k prime?
True
Let p(t) = -11*t**2 - 2*t + 1. Let j be p(1). Let k be j/(-21) + 34/14. Suppose 0 = k*v + 3, -4*r + 629 = -v. Is r a prime number?
True
Let a be (-65)/(-6) - 4*(-3)/72. Let l(j) = 43*j - 45. Let y be l(a). Let p = y - 243. Is p a prime number?
False
Let m(k) = -k**3 + 7*k**2 + 7*k + 10. Let s be m(8). Let g = -8679 + 5416. Is (-1)/s - g/2 composite?
True
Let v(b) = 4*b**2 - 25*b + 44. Let q = -104 + 133. Is v(q) composite?
False
Let f(p) = -20*p + 42. Let w be f(2). Suppose 13*h = -2*o + 10*h + 10517, w*o = 4*h + 10510. Is o a composite number?
True
Let v = -13989 - -13973. Let s(t) be the first derivative of 4*t**3/3 + 25*t**2/2 + 35*t - 1. Is s(v) a composite number?
False
Let r(f) = -19*f - 22*f + 3*f - 2 + 14*f. Let d be r(-10). Let j = d + 13. Is j prime?
True
Let i(w) = -1304*w + 7967. Is i(-64) a prime number?
True
Let b(u) = -116*u + 817. Let j be b(7). Let s = -5 + 8. Suppose -4*c - 11676 = -4*x, -j*x + s*x - 2*c = -5846. Is x a composite number?
True
Let i(u) = 5*u**2 + 2*u + 2. Let k be i(-1). Suppose k*x - 3*m - 1099 = m, 0 = x - m - 219. Is x composite?
False
Let y = 991599 + -458304. Is 2/8 - y/(-180) prime?
True
Suppose -92