e number?
True
Let w be 8/(-6 - 612/(-99)). Is 1094596/w + 12/(-66) a prime number?
True
Suppose -11*z - 437 = 4997. Let x = z + 565. Is x a prime number?
True
Let y(b) = -3*b - 15. Let f be y(-10). Is -1 - f/(-4 - -9) - -6783 prime?
True
Let g(a) = -a - 32. Let h be g(-14). Let b be (-40868)/(-36) - 1/(h/(-4)). Suppose 3*f + 887 = 3*c - b, -4*c + 2699 = -3*f. Is c a prime number?
True
Let c = 64945 - -19432. Is c prime?
True
Suppose 0 = 4*o - 162810 - 296906. Is o a composite number?
True
Let g = 6814 - -1736. Suppose 2*z + g = 27872. Is z a composite number?
False
Let o be 4/16 - 1/((-4)/3). Is (58288/(-48))/(o/(-3)) prime?
True
Suppose 0 = 2*l + 6 - 16. Suppose b + 1992 = 4*y, -l*b + 464 + 1030 = 3*y. Suppose -y = -s - s. Is s composite?
True
Suppose -20*i - i = -572964. Suppose 0 = 30*c + i - 80594. Is c composite?
False
Suppose 441 - 433 = -2*i. Is -5 + 7 + -1 - 6160/i prime?
False
Let b(m) = -22*m - 91. Let u(y) = 2*y**2 + 32*y + 25. Let o be u(-15). Is b(o) a prime number?
True
Suppose u - 6155 = -3*j, 5*j = -u + 6*u - 30695. Is u prime?
True
Let m = -333520 - -785507. Is m prime?
True
Let b(z) = -z**3 + 5*z**2 - 5*z + 4. Let f be b(2). Suppose -f*t - 2804 = -680. Let g = 797 - t. Is g composite?
False
Suppose -2*t = t + 5*n - 4, -3*t + 2*n + 11 = 0. Let u be ((-1)/t)/(10/(-90)). Suppose 5*w + u*j = 1017 + 673, -2*w + 3*j + 697 = 0. Is w composite?
True
Let u = 154 - 76. Let j = 81 - u. Is (-42 + (j - 2))/(5/(-25)) a composite number?
True
Suppose 17*t = 73 + 165. Is 34570/40 + t/8 a composite number?
True
Let y = -39 + 41. Suppose y*g - 7*g + 10 = 0. Suppose -g*l + 1761 = l. Is l a prime number?
True
Suppose -i - 3*y = 2, i + 8*y = 3*y - 12. Let w be (i + -11)/(2/(-3)). Let l(f) = -8*f - 10. Is l(w) a prime number?
False
Let r(k) = 37*k + 65 + 34*k - 25*k + 14*k + 16*k. Is r(3) a prime number?
True
Suppose -4*q = 4*s - 2888, 6*q - 2*s + 2168 = 9*q. Suppose q = j + 57. Is j prime?
False
Let o(a) = -43913*a - 2458. Is o(-9) composite?
False
Suppose -4*t = -8*i + 10*i - 35062, -3*i - 2*t = -52573. Is i a composite number?
True
Let s be (-9)/(-2)*(-16)/(-168)*7. Suppose -2*w - 4*b + 3194 = 0, s*w - 2521 - 2270 = -b. Is w a prime number?
True
Let t(o) = 33787*o**2 - 51*o - 116. Is t(-2) composite?
True
Suppose -4*l - 131 = -5*a + 4*a, 0 = 2*a - 3*l - 277. Is (a/39)/((-1)/(-921)) a prime number?
False
Let p(d) be the first derivative of -207*d**2/2 - 20*d - 3. Let g be p(-3). Let n = g + -302. Is n composite?
True
Suppose 4*h = 8 - 8. Suppose h = z + p - 7, -8*p = -z - 3*p - 23. Suppose 1485 = z*u + 339. Is u composite?
True
Let f = -344663 + 534126. Is f composite?
False
Is 16602 - (13 - 20) - 6 a composite number?
False
Let u(s) = -s**3 - 7*s**2 + 7*s + 7. Let i(d) = -8*d + 24. Let z be i(4). Let p be u(z). Suppose 5*k - p = 0, 5*n = 5*k + 2136 + 2794. Is n a composite number?
True
Let x(w) = 3*w + 79. Let h be x(-25). Suppose -h*n = -5*n + 787. Is n composite?
False
Let g(i) = -8*i**2 + 8*i + 12. Let x be g(-2). Let h(o) = 5*o**2 + 92*o + 131. Is h(x) prime?
True
Let q(h) = -120*h**3 + 2*h**2 + 11*h + 9. Let t(f) = -f**3 - f**2 + f + 1. Let a(z) = q(z) - 2*t(z). Let w be a(-3). Let k = w + -1401. Is k prime?
True
Suppose -v = -2*m + 5, 0*m + 3*m - 7 = 2*v. Suppose -5*d - y + 14102 + 7536 = 0, -m*d + 12987 = 2*y. Is d a composite number?
False
Let o = 17390 + 9513. Is o a prime number?
True
Let r be ((-12953)/(-10) + 3/15)*2. Let a = r - 1232. Suppose 3*q + 102 = a. Is q a composite number?
False
Let u be 4368 + 1 + 38/19. Suppose -5*k - b + 4417 = -u, -5*k - 4*b = -8797. Is k composite?
True
Suppose 5*y - y - 3*t = 27, 5*y - 34 = 4*t. Suppose -7*f = -o - 3*f - y, 0 = -o - f - 1. Let s(b) = -692*b + 5. Is s(o) a prime number?
False
Suppose 0 = 12*n - 81 - 87. Let w be (-46)/n - 6/(-21). Is w/(-6)*-2*-673 composite?
False
Let g = 43650 - -344401. Is g composite?
False
Suppose 0 = -u + 4*t + 154197, 120578 = u + 2*t - 33607. Is u a composite number?
True
Suppose 3*a + 18*a = 1419159. Is a prime?
True
Suppose -3*r - 9 = 3*w + 12, -3*w = -3*r - 15. Is 10382 - ((-5)/((-25)/(-10)) - r) a composite number?
True
Let y(b) = 8*b - 35. Suppose -32*n = -23*n - 45. Let h be y(n). Suppose -5*o = h*w - 4470, -5*o + 1959 = 2*w - 2496. Is o a composite number?
True
Let p(g) = -505*g**2 + 9*g + 7. Let y be p(-4). Is 2/5 - (y/(-5))/(-3) prime?
True
Suppose -3*c + 32104 = -48596. Let h = -19063 + c. Is h prime?
False
Suppose -11 = 3*g + 2*f, 3*g + g + 2*f = -12. Let w = g + -61. Let o = -15 - w. Is o prime?
True
Is (3 - 4)/((-29)/(-203)) + 2910*67 a composite number?
False
Suppose 6*q - 4 = 2*h + 4*q, -4*q = 12. Let l be (-3018)/(-1) + -1 - 5/h. Let x = l + -869. Is x a prime number?
False
Suppose 4*q - 620521 = 2*z + z, 3*q - 465398 = -5*z. Is q a prime number?
False
Is (((-136)/24)/(-17))/(9/1475847) a prime number?
False
Let p(i) be the first derivative of 319*i**2/2 - 93*i + 126. Is p(10) composite?
True
Suppose 9424 = r - 4456. Let z = 29808 - r. Suppose 0 = 14*q - 40674 - z. Is q prime?
False
Let j = -2626 + 5362. Let h = j + -1633. Is h a composite number?
False
Let u = 1656 - 966. Let n = 1324 - u. Let t = 2879 - n. Is t a composite number?
True
Suppose 0 = 2*d - 2*m + 4, 5*m = 4*d + 10 - 1. Let w be (4 - 1)/(d - -2). Suppose w*l - 4*l + 365 = 4*t, 5*l - t - 1909 = 0. Is l prime?
False
Let t be 15/(2 + (-118)/56). Let s be (-84)/t - (-58947)/5. Suppose 6*f = 4452 + s. Is f prime?
True
Let l(y) = -13*y - 70. Let q be l(-7). Suppose -q*i = 35008 - 133687. Is i a prime number?
False
Suppose 2*m - 5*z + 2196 - 119936 = 0, -3*m - 4*z + 176679 = 0. Is m a prime number?
False
Suppose 37*k - 495 = -162. Suppose -k*h + 6551 - 1565 = 0. Is h a prime number?
False
Suppose 13*w + 21 = 6*w. Let f = w + 6. Suppose f*h - 297 + 33 = -v, h = v + 92. Is h a composite number?
False
Let h(y) = y**3 - 3*y**2 + 3*y - 1. Let v be h(5). Let o = 64 - v. Suppose 10*d - 574 - 3616 = o. Is d prime?
True
Let c(t) = -3822*t - 4. Let u(l) = -3821*l - 6. Let a(i) = -6*c(i) + 5*u(i). Is a(1) a composite number?
False
Let v(d) = 40267*d**2 - 28*d - 30. Is v(-1) a prime number?
False
Let s = 73379 - 39682. Is s composite?
True
Suppose 0*k + 2*k + p + 2724 = 0, -20 = -5*p. Let u = k + 2773. Is u prime?
True
Let f be (36/30)/(-1 + (-17)/(-15)). Let n(a) be the second derivative of 106*a**3 + 7*a**2/2 - 2*a. Is n(f) a composite number?
True
Is (-4)/(3 - -9) + 25/(750/7554940) composite?
False
Suppose o - 166070 - 121786 = -4*x, -3*x + 4*o = -215873. Is x a prime number?
True
Let i = -42 - -45. Let s = 4 + 1. Suppose 4*o - i*q - 1654 - 2578 = 0, 0 = -s*q - 20. Is o composite?
True
Let d be -2 - -8 - (8019 - (-5 + 6)). Let x = d - -15839. Is x a composite number?
True
Let w(i) = 4*i**3 + 8*i**2 - 16*i + 2. Let v be w(-8). Suppose u + u = -5*o + 4129, 3*u - 6246 = 3*o. Let y = u + v. Is y prime?
False
Let b(s) = -492*s + 78. Let y be b(-2). Let z(i) = i**3 - i**2 + 9*i - 10. Let w be z(7). Let r = w + y. Is r a prime number?
True
Let t(d) = 4137*d + 571. Is t(32) a composite number?
True
Suppose 2*z + 31*i - 41322 = 29*i, 4*i + 62011 = 3*z. Suppose -18*u = -z - 24659. Is u a composite number?
True
Let p = 48 + -46. Suppose -p*a + 11702 = -n, a - 4*n - 7553 = -1688. Is a composite?
False
Let h be 1/1 + 1 + 0. Let x = -1900 + 1907. Suppose 0 = -x*a + 4*a - 6, h*a = 4*w - 40. Is w a composite number?
True
Suppose 13*d = 16*d - 3057. Suppose -s = -3214 + d. Is s a prime number?
False
Let b(j) = j**3 - 22*j**2 + 8*j - 31. Let o(w) = -w**3 + 8*w**2 - 9*w + 4. Let c(h) = -h**2 - 18*h - 26. Let p be c(-16). Let k be o(p). Is b(k) prime?
False
Suppose -53*q + 51*q = 8. Is 3961/2 + 8*q/(-64) a prime number?
False
Suppose u + 348 = 2*p, 2*p - 716 = -2*p - 3*u. Let f = 319 - p. Suppose -x = 2*h - f, 4*x = 8 - 28. Is h a composite number?
True
Suppose 2*m - 247147 = -5*b, b + 4*m = 62801 - 13386. Is b a prime number?
False
Suppose -19*a + 1399537 + 1385877 + 599683 = 0. Is a prime?
False
Is -3 + ((-4328042)/8)/(-1) - 45/(-60) composite?
True
Suppose -3 - 27 = -6*p. Suppose o + 1 = -0*o, -p*s - 49 = 4*o. Is (-6)/s*10053/6 a prime number?
True
Let n be 3/(15/100) - 0. Let s be (-2 - 4) + n/10. Is (-18)/s*(-1898)/(-39) a composite number?
True
Let p(q) = -8*q**3 - 2*q**2 + 2*q + 2. Let i be p(-5). Supp