o(4). Is f/198 - 2/9 a prime number?
True
Is ((-385)/22 - -9)/(2/(-10588)) a prime number?
False
Let i(j) = 4 + 0 + 316*j - 6*j**2 - 311*j - 4*j**3. Let g be i(3). Let p = 150 - g. Is p a prime number?
True
Suppose 3*h + f = -48, -5*h = -0*f + f + 80. Let q(t) be the first derivative of -t**4/4 - 10*t**3/3 + 5*t**2 - 15*t + 229. Is q(h) a composite number?
False
Let j(b) = 2*b**2 + 10*b - 3. Let v be j(-7). Suppose 0 = -4*n + n + 2*o + v, 3*n + 5*o = 11. Is (1262 - 3) + -2 + -1 + n prime?
False
Is (-209)/(-5434) - (-23205231)/78 a composite number?
False
Let x be 1 - (5554 + (-18)/6). Let y = 12647 + x. Is y composite?
True
Suppose 170*l + 1669945 = 175*l. Is l a composite number?
False
Let h = -30 + 47. Suppose h = c - 30. Let y = 6 + c. Is y a composite number?
False
Let m be 8/12*-3 - -93. Suppose m = y - 24. Is y prime?
False
Let k = 113 + -87. Suppose 0 = d - k - 9. Suppose -d*t + 33*t = -4958. Is t a prime number?
False
Suppose -4*m + 8*m + 290857 = 11*m. Is m prime?
False
Let h be (-92)/(-1) + 6 + -8. Suppose -h*i + 635 = -89*i. Is i a composite number?
True
Suppose 0 = -53*p + 6*p + 812928 - 175561. Is p composite?
True
Let w(d) = 1830*d**2 - 77*d + 236. Is w(7) composite?
True
Let n = -7556 - -5052. Let x = 5911 + n. Is x a composite number?
False
Let y(m) = -15*m + 43. Suppose 0 = 5*b - 73 - 12. Let q = b + -29. Is y(q) a composite number?
False
Let n(a) be the second derivative of -9*a - 1/2*a**2 + 3/5*a**5 + 1/6*a**3 + 0 + 1/12*a**4. Is n(3) a composite number?
True
Let v(n) = 4164*n + 3199. Is v(7) a prime number?
False
Suppose 4*q = -5*m + 516939 - 122954, -2*m + 157592 = 2*q. Is m a composite number?
True
Let d be (-71 + 67)/((-1)/2). Let v(k) = 6*k**3 - 11*k**2 + 6*k - 5. Is v(d) a prime number?
True
Let h be -1 - (6/(-9))/(8/48). Is -1 + (h - -2526) + -7 prime?
True
Let t = -1557177 + 2777628. Is t composite?
True
Is ((-14)/42*3)/((-2)/195754) a composite number?
True
Let o(a) = -a**3 + 7*a**2 - 11*a + 5. Let i be o(5). Let u be (-1 - i)/(9/(-18)). Suppose -3*r - d + 501 = 0, u*d - 4*d + 501 = 3*r. Is r composite?
False
Suppose 27 = 3*f - 3*i, i + 10 + 7 = 3*f. Suppose 0*y - 3*y + 779 = -4*a, -f*y + 1064 = a. Is y prime?
False
Let z be (-3*(-4)/30)/(14/140). Let o be (-46)/z*-17*2. Let s = 644 - o. Is s a prime number?
False
Let d be (1300/15 + -3)/((-1)/(-261)). Let b = d + -9514. Is b a composite number?
False
Let a(l) = l**2 - 14*l - 3. Let g be a(15). Suppose 0 = g*i - 7*i - 138395. Is i a prime number?
False
Let g(n) = 4*n**2 - n - 1. Let b(w) = -3*w**2 + 22*w - 8. Let m be b(7). Let h be g(m). Is ((-2)/(-3))/(h/2922*1) a composite number?
False
Let q be (-5)/2*12606/(-55) - 1. Suppose -5*o + 1055 = 2*r - 91, -q = -r - 2*o. Is r - (0 + 1) - 4 a composite number?
False
Suppose -28*i = -2*i + 26. Is (i/((-6)/(-24573)))/((-12)/24) composite?
False
Let g(r) = -9*r - 35. Let q be g(-5). Suppose t + 2*l - 11771 = 0, -6*l = -t - q*l + 11765. Is t a prime number?
True
Let m = 6224 + 706. Let h = m - 3379. Is h a composite number?
True
Let v(g) = 714*g**2 - 3 + 2500*g**2 - 20*g**2 + 5*g - 206*g**2. Is v(2) a prime number?
True
Let a = 318 - 293. Is (a/100)/(1/37564 + 0) prime?
True
Suppose 4*c = -2*k - 14 - 4, 23 = -2*k + c. Let v(l) = -26*l - 35. Is v(k) composite?
False
Suppose 0 = -2*q - 2*q + 25428. Suppose -3*i + 2*j = -8*i + q, 5*j = 2*i - 2566. Is i a composite number?
True
Let w(r) = 508*r**2 + r + 3. Let z be w(-1). Let p be (-2)/5 - (-2)/5. Suppose o - 289 - z = p. Is o a composite number?
True
Suppose 0 = -4*k + 3066 + 982. Let x = -461 + k. Is x composite?
True
Let i(l) = 159*l**2 - 41*l - 107. Is i(57) composite?
False
Let f = -40 - -53. Suppose f*b = 18*b + 405. Let g = b - -112. Is g a composite number?
False
Let f(o) = 24*o**2 - 2*o + 2. Let b be f(-4). Suppose -13*t + 9577 = 8628. Let h = t + b. Is h prime?
True
Is (-6 - -7)*(11 + 127776) a prime number?
False
Suppose 53 - 3 = 10*s. Suppose -s*j - 3989 = -6*j. Is j composite?
False
Suppose -128*c + 121*c + 42 = 0. Is -41*(c - 7)*41 a prime number?
False
Let l(a) = -10*a**2 + 74*a + 49. Let t(s) = -5*s**2 + 36*s + 24. Let c(k) = 3*l(k) - 7*t(k). Is c(-28) composite?
True
Suppose -175*u + 215*u - 1552520 = 0. Is u prime?
False
Suppose 0 = -3*s - 29 - 232. Suppose k + 174 = 2*v - 30, -v + 3 = 0. Let q = s - k. Is q prime?
False
Let t = -129871 + 618732. Is t composite?
False
Is (-6)/(6 - -6)*-21426 a prime number?
False
Let i = 3623 - 1637. Suppose c - 8 = -4*q - 0*q, 0 = -5*c - 20. Suppose 3*b + q*b - i = 0. Is b a composite number?
False
Is (460/20)/(-230)*-4032190 composite?
False
Let d be (2*1)/(((-45)/(-6))/15). Suppose -d*i = -9*i + 26285. Is i composite?
True
Let l(a) = -2*a**3 + 160*a**2 + 11*a + 295. Is l(42) prime?
False
Let c = 140 + -142. Let y(h) = 856*h**2 + 3*h. Let o be y(c). Suppose l + 3*l - 6836 = -3*q, -q - o = -2*l. Is l a composite number?
False
Suppose i + 3*x + 2*x - 31 = 0, -3*i + 13 = -x. Is (11928/144 - (-1)/i)*23 a prime number?
False
Suppose -93*g - 3*c + 18 = -92*g, c = 5. Is (3/6)/(g/(-6)) + 7070 composite?
False
Let w = 48 + -72. Is ((-6034)/(-8))/((-6)/w) composite?
True
Let z(f) = f**3 + 162*f**2 + 329*f - 541. Is z(-95) prime?
True
Let w(p) = 21283*p**3 + p - 13. Is w(4) prime?
True
Suppose 6031 = 13*u + 24*u. Let s = 2130 + u. Is s composite?
False
Let u = 31418 + 31355. Is u a prime number?
True
Suppose 0 = 3*v + 2*w - 15499, 8*w - 5*w + 10337 = 2*v. Is v a composite number?
False
Let m = -3512 + 5994. Let u = -1123 + m. Suppose 5*i + 3*v - 11588 = 0, -3*i + v = -5591 - u. Is i prime?
False
Let p(u) = -2566*u**3 + 12*u**2 + 3*u + 13. Is p(-4) prime?
False
Let r(n) = 3*n**2 - 21*n + 19. Suppose -13*q + 120 = -3*q. Is r(q) a prime number?
True
Suppose 6*b - 9*b = -75621. Suppose 2*x - 10094 = 4*u, 0 = 5*x + 12*u - 15*u - b. Is x a prime number?
True
Let x(d) be the first derivative of 7*d**2/2 + d - 39. Let c be x(4). Suppose -35*w = -c*w - 11082. Is w a prime number?
True
Is ((-1641786)/4)/(264/(-176)) a prime number?
False
Let z(f) = 25*f**2 - 325*f + 1513. Is z(72) composite?
False
Let d be (0/(-8 - -6))/(-2). Suppose d = -4*k - 2*a - a + 28012, 0 = 3*k - a - 21009. Is k a prime number?
False
Let z(f) = 1621*f**2 + 170*f + 2 - 3114*f**2 + 1558*f**2 + 11. Is z(12) prime?
False
Is 10238164/18 + (12/234)/((-42)/(-91)) composite?
False
Suppose 53442 = 2*u + 7*g, 3*g = -3*u + 104541 - 24348. Is u composite?
True
Suppose 2*i - 7*s + 9*s = 91104, 3*i - 3*s = 136662. Is i composite?
False
Let l be (-3)/(-2) + (-1)/(-2). Suppose 2*i - 3*i = 2*g - l, i = -g. Suppose -g*s = t - 293, -3*s = 3*t - 2*s - 879. Is t prime?
True
Let o(d) = 2887*d**2 - 444*d - 142. Is o(12) composite?
True
Let t be 72857/(3 - 35/14). Suppose t = 13*d + 18665. Is d a composite number?
True
Suppose -2*r + 4*l = -820070, 42*r + 5*l = 39*r + 1230072. Is r prime?
True
Suppose 0 = 40*n - 44*n + 8. Is (3519/5 - 1) + n/10 a composite number?
True
Let n = 51 + -11. Suppose 4*q = -k + 32, -3*q + 4*k = -3 - n. Is 0 - q/(-6)*(-2098)/(-3) composite?
False
Let a(x) = x**3 - 6*x**2 + 8*x - 11. Let r be a(5). Suppose -r*j + 11399 = -24489. Suppose 0 = -7*b + j + 11181. Is b a composite number?
False
Let l = -59970 - -225959. Is l composite?
True
Let p(n) = 35 - 9 + 4*n**2 - 12 - 3*n**3 - 6 - 7. Suppose 2 = -y - 2. Is p(y) prime?
True
Let w be ((-144)/56)/(-9) - 4/14. Suppose w = 2*y + 2*c - 9966, -y + c = -5891 + 904. Is y a prime number?
False
Let p(f) = f**2 + f + 2. Let q(s) be the second derivative of -11*s**3/6 - 3*s**2/2 - 2*s. Let j be q(-1). Is p(j) a composite number?
True
Suppose 0 = g + d - 6*d - 8655, -34620 = -4*g + 2*d. Suppose 8*i + 7*i - g = 0. Is i a prime number?
True
Suppose -246264 = -5*z - n, 2*z - n - 125020 = -26513. Is z composite?
False
Suppose 490572 = 4*j + 4*u, 2*j - 306209 + 60915 = -4*u. Is j prime?
False
Suppose 5*m - 75156 = -2*o, -4*o - 5*m = -6*o + 75176. Let z = 69540 - o. Is z a prime number?
True
Let s be (9 - 0)/(114/190). Suppose 32*n - 600707 = -s*n. Is n a prime number?
True
Let n = -77033 - -120600. Is n composite?
True
Let w(c) = -4*c**3 + 4*c**2 + 11*c + 24. Let k be w(-4). Suppose 293*d + 50981 = k*d. Is d prime?
True
Suppose -s + 5 = 3*x, 0 = -0*s - 3*s + x + 15. Suppose -3*q = 4*n - 1955, s*n + 483 = 3*q - 1454. Is q prime?
Fals