et i(t) = 597*t**3 + 3*t - 7. Let h(j) = i(j) - s(j). Is h(2) composite?
True
Suppose 4*o - 2*v = v + 49282, 4*o - 49278 = 5*v. Suppose -5*q - 3*b - 35113 + 14577 = 0, 3*q + o = -2*b. Is q*(3 - (-21)/(-6)) prime?
True
Suppose -6*k + 215283 = -45471. Suppose -3*o = -w - k, -28958 = -2*o - 9*w + 6*w. Is o prime?
False
Let z be -2 + 4/3*(-27)/(-12). Let x(j) = 6*j**2 - 3*j + 2. Let k be x(z). Suppose 8*m - 7*m - 1369 = 2*c, m = k*c + 1381. Is m a composite number?
False
Let l(g) = -143 + 318*g + 145*g + 134*g - 24*g + 20*g. Is l(30) composite?
True
Let d(m) = -69*m + 43. Let c be d(-8). Let l = -38 - -340. Let y = c - l. Is y composite?
False
Suppose 7*p = -3*h + 324095, 50*p - 51*p + 4*h + 46317 = 0. Is p a composite number?
False
Suppose r + 4*n = 100, -4*n - 50 = -r + 10. Let g = 83 - r. Suppose 0 = 5*p + g*k - 5051, -3*p - k = -p - 2020. Is p a composite number?
False
Let b(m) = 5*m - 57. Let u be b(12). Suppose t - 11667 = u*p, -5*p - 10017 = -t + 1650. Is t composite?
True
Suppose o = 67675 + 73221. Suppose -2*q - o + 42875 = -3*h, 16 = -4*q. Is h a composite number?
True
Let a(n) = 14606*n**3 - 6*n + 1. Is a(2) a prime number?
False
Let x be (-2)/(-4) + 34/(-4). Let n(f) = -57*f**3 + 11*f**2 - 6*f - 19. Is n(x) a prime number?
True
Let y = -94348 + 573875. Is y composite?
True
Let m = 45710 + -26179. Is m a prime number?
True
Is -6 - ((-604828)/6)/(6*(-2)/(-18)) a prime number?
True
Let j(m) = 2*m + 22. Let i be j(19). Suppose i = 8*d + 20. Let r(y) = 1105*y - 16. Is r(d) prime?
False
Let s(r) = 16*r + 12. Let h be s(-1). Let f be -4*h/64 + 20140/16. Suppose b = 2*b - f. Is b prime?
True
Suppose 0 = -16*d - 38405 - 10987. Let a = -1828 - d. Is a a prime number?
True
Let q be (9 - (-1 + -5))/3. Suppose -q*a + 2987 = -5*v - 1928, -5*v + 2949 = 3*a. Is a a prime number?
True
Suppose -756831 - 1914768 = -16*n + 468513. Is n a prime number?
False
Let f = 64164 - 4925. Is f prime?
True
Let s(u) = -u**3 - 2*u**2 - 16*u + 455743. Is s(0) a composite number?
True
Let d(a) = 5*a**2 + 12*a + 49. Let q be d(25). Let h = q - 1627. Is h a prime number?
True
Suppose -4*s = -5*c - 792818, -4*c + 560322 = 2*s + 163952. Is s composite?
False
Let s = -98630 + 370197. Is s a composite number?
True
Is (-101328)/(-10) - (-72)/360 a composite number?
False
Is 24326 + (3*45/27 - 2) a composite number?
False
Suppose z = 4, -3*f + 34114 + 18211 = 5*z. Let d = f - 9544. Is d a composite number?
True
Is ((-22209)/66)/(7/(-518)) prime?
False
Let p = 4313 + -2237. Suppose 360 = -6*u - p. Is ((-4)/(-6))/(12/54) - u a composite number?
False
Suppose 3*n - 5*b + 343 = 0, b - 4 = -5. Let f = n - -69. Let g = f + 53. Is g prime?
False
Let c = -23432 - -35201. Let p = c - 1526. Is p a prime number?
True
Let x be -1 + 2*15/(-10). Is 5598 + (2 - 4/x) a prime number?
False
Let a = 1133138 + -666151. Is a composite?
True
Let d(r) = -8 + 5*r - 2 + 1 + 5 + 4414*r**2. Is d(1) prime?
False
Let w be ((-2)/(-2))/1 - (-1551)/(-33). Let v = 45 + w. Is (2007 + -2)*(v - -2) a prime number?
False
Let i = -160542 - -238429. Is i prime?
False
Let p be (2066/6)/((-2)/(-24)). Let u(w) = 26*w + 1591. Let d be u(-61). Suppose -d*j - 3*i + 4168 = -p, 0 = 2*i - 10. Is j a composite number?
False
Let s(d) = 2*d**2 + d + 9. Let x be s(0). Suppose x*k + 16902 = 50985. Is k a prime number?
False
Let j(h) = -666*h**3 - 4*h**2 - 4*h - 1. Let d be j(-1). Suppose -3*n + d = 2*n. Let b = 222 - n. Is b prime?
True
Suppose 12*m + 7126570 = -77*m + 68760227. Is m a composite number?
False
Let c(y) = 2*y**2 - 21*y - 28. Let j be c(-15). Suppose 3*n - j = 346. Let x = 118 + n. Is x a prime number?
True
Let c(x) be the first derivative of -13/3*x**3 + 14*x + 1/4*x**4 + 5/2*x**2 + 9. Is c(13) composite?
False
Let d = 59 - 56. Let q be ((-554)/6)/((6 - d)/(-45)). Suppose 5*a - q - 80 = 0. Is a composite?
False
Let a be 367/(5*6/990). Suppose 109*j = 112*j - a. Is j a composite number?
True
Let t be -3*(4/6 - 1/(-3)). Let k be 5*(1 - t/(-5)). Suppose k*m + 129 - 1903 = 0. Is m prime?
True
Let r(m) = m**3 - 25*m**2 + 23*m + 32. Let a be r(24). Suppose a*f - 1884 + 628 = 0. Is f composite?
False
Let m = -206170 + 663119. Is m a prime number?
True
Let i be 1/(-2 - -1) + -1. Suppose 3201 = -29*w + 26*w. Is -2 + (i - -2) - (w - -4) composite?
False
Suppose 8*b + 1527 = 10399. Let c = b - -1208. Suppose -50*q - c = -51*q. Is q prime?
False
Let k(h) = -2*h - 7. Let b be k(-5). Suppose b*u = -818 + 80. Let q = u - -431. Is q a prime number?
False
Is ((-1)/9)/((-166)/664189074) a composite number?
True
Suppose -5*k = -7*k + 5088. Suppose 39231 = 15*p - k. Is p a prime number?
False
Suppose 234*l = 215*l + 14629943. Is l composite?
False
Let l(a) = -a**2 + 22*a - 1. Let j be l(18). Suppose -j*r + 76*r = 25125. Let x = 7922 - r. Is x a prime number?
True
Suppose 0 = -15*p + 10*p + 6205. Suppose -p - 1103 = -4*z. Suppose 0 = -7*y + 32513 - z. Is y a composite number?
False
Suppose 68*t = -5527 - 37789. Suppose -2*x = 2*x - 56. Is (-56)/x - (t + (-4)/2) composite?
True
Let i be 45/12 + (-6)/(-24). Suppose -i*c - 20 = -9*c. Suppose c*r = 9333 + 3887. Is r a prime number?
False
Let r = 31 - 29. Suppose u - 2265 = -5*o, 2 - 12 = r*u. Suppose 3*y = 2*n + 3*n + 679, o = 2*y - 4*n. Is y composite?
False
Is (-37 + 35 - ((-108520)/6 - -1))*3 prime?
True
Let l be 1/(14/161) + 6/(-4). Let v(a) = a + 11. Let w be v(l). Suppose -w = -h + 32. Is h a prime number?
True
Let q be ((-9)/(-18))/((-2)/(-16)). Suppose -q*m - 4*t + 5*t = -126960, 0 = -3*m - 2*t + 95231. Suppose 2*v = u - 6932 + 587, -5*u + 2*v = -m. Is u composite?
True
Let m be (-3)/1 + 1 - -8950. Suppose 8*w = -m + 24420. Is w composite?
True
Let o(m) = 24*m**3 + 15*m**2 + 127*m - 63. Is o(19) a prime number?
False
Let l = -73 + 91. Suppose 12*x = l*x. Suppose q = -4*b + 18, 2*q - 6*q - 3*b + 33 = x. Is q a composite number?
True
Let m = 62 - 56. Suppose 5*x - m*x + 691 = 0. Is x composite?
False
Suppose -3070*x - 680672 = -3102*x. Is x a composite number?
True
Let d(b) = -341*b + 24. Let i(c) = -c**3 + 5*c**2 + 6*c - 7. Let t be i(6). Is d(t) composite?
False
Let b(i) = i**3 + i**2 - i + 107. Let m be b(0). Is -1*m*(7 - (-1 - -10)) prime?
False
Suppose 311*q + 533348 = 315*q. Is q prime?
True
Suppose -2*b = -s - 19168, -5*s + 3*s + 38344 = 4*b. Is 42/77 - b/(-33) a composite number?
True
Suppose -11*k + 4593 = -91415. Suppose -4*d + k = -4*q, 4*d + 4*q - 4410 - 4326 = 0. Is d prime?
False
Let s = 290 + -251. Is 3 - (2 - (s - 3)) composite?
False
Let w(b) = -b**2 + 10*b - 4. Let u be w(10). Let f be (3418/7)/(u/(-28)). Suppose 3*t = -121 + f. Is t a composite number?
True
Suppose -4*a + 110704 = 4*d, 128*d - 5*a - 55331 = 126*d. Is d prime?
True
Suppose -4*s = -50*r + 53*r - 744373, s - 2*r = 186107. Is s a prime number?
True
Suppose 0 = -7*q + 31399 - 5842. Suppose q = 41*y - 40*y. Is y composite?
True
Let r(b) = b**2 - b - 39. Let q be r(7). Let s(v) = -26*v**3 + 9*v**2 + 6*v + 9. Let g be s(-6). Suppose -1884 = -q*p + g. Is p composite?
True
Let h = -1 + 4. Suppose 4 = -p, -h*n = 3*p - 109 - 128. Is n a composite number?
False
Let v be (-8)/(-4) - (-989 - 3)/4. Suppose -4*d - 2682 = -5*b, -d + b - v = 421. Let j = d + 1260. Is j prime?
True
Let r(a) = -3564*a**2 + 48*a - 31. Let h(u) = -1188*u**2 + 16*u - 11. Let p(c) = 17*h(c) - 6*r(c). Is p(-3) composite?
False
Let b be 2/(1932/(-8085) + 2/11). Let a = b + 330. Is a prime?
False
Let u(r) = -r**2 + 17*r - 14. Let q be u(16). Suppose 0*c + q*c - c = 0. Suppose -42*b + 36*b + 4746 = c. Is b a composite number?
True
Suppose -u + 13*u - 300 = 0. Suppose -u*g + 20*g = -3905. Is g composite?
True
Suppose 10504 = 4*t + 2*f - 18818, 0 = 4*t - 5*f - 29343. Let o = t - 2964. Suppose -5*m = 3*v - 4949, 2*m = 4*v - o - 2196. Is v composite?
True
Let b(t) = t**3 - 27*t**2 - 40*t + 106. Is b(35) a prime number?
False
Let h be (-8)/10 + 228/10. Suppose -22 = -4*b - h. Suppose -3*n + 4027 = 2*k, 3*n + b*n = -k + 4031. Is n a composite number?
True
Let j(m) = -1965*m**3 - m**2 - 30*m + 5. Is j(-3) a composite number?
True
Suppose -86*a = -77*a - 847809. Is a a composite number?
False
Is ((-9)/(-3))/(11*39/386472229) a prime number?
True
Suppose 214746 = x - v, -19*v + 15*v - 644237 = -3*x. Is x prime?
False
Let b(s) = 173*s - 13. Let a =