number?
False
Suppose -4*j - 2*s + 7465 = 919, j - 3*s - 1626 = 0. Let o = j + 1568. Is o a composite number?
False
Let i(t) = -134*t + 3. Let q(a) = a - 3. Suppose -8*s = -4*s + 8. Let v be q(s). Is i(v) a prime number?
True
Let s(i) = 12*i**2 - 8*i + 263. Is s(17) a prime number?
False
Suppose 0*u = -19*u + 3344323. Is u a composite number?
False
Let g = -452 + 454. Suppose -53990 - 2312 = -g*t. Is t prime?
True
Suppose -5*t + 0*i = i - 5974169, 2*i = -12. Is t a prime number?
False
Suppose 5*v = -4*g + 2*v + 21, 4*v = 12. Suppose -g*u + 53 = -2*u. Is u a prime number?
True
Suppose -17*s = -22*s. Suppose s = 5*u + 5*k - 3580, 2*u + 5*k - 1720 + 279 = 0. Is u prime?
False
Suppose 0 = 4*n + 2*n - 40780 - 33926. Is n prime?
True
Suppose l - 807608 = -5*n, -3*l - 52815 - 108697 = -n. Is n a prime number?
True
Let w(x) = 8*x - 29. Let n be w(5). Suppose 2*d - 20238 = -4*r, 25294 = 5*r - n*d + 10*d. Is r prime?
True
Let o = 112693 + -16778. Is o prime?
False
Let l = -1 + 3. Suppose -3*m - 3*w + 2 = -4*m, m = -4*w + 12. Suppose 3*z = l*u - 1385, u - m*z + z = 700. Is u a prime number?
False
Let k = -138936 + 247697. Is k a composite number?
False
Let i(m) = 11047*m**2 - 7*m - 1. Is i(-1) composite?
True
Let f(i) = 4871*i**3 - 5*i**2 + 62*i - 157. Is f(3) composite?
False
Let m be (-30)/80 - ((-406)/16 + 2). Let a(o) = 33*o - 88. Is a(m) a composite number?
True
Suppose 0 = -5*w - d - 2*d + 125913, 4*d + 100756 = 4*w. Is 7/28 - w/(-12) a prime number?
True
Let w = -28922 - -400621. Is w composite?
False
Let h(j) = -120*j + 6. Let r = -13 - -10. Let x(l) = -239*l + 12. Let k(q) = r*x(q) + 5*h(q). Is k(1) a composite number?
True
Let c(d) be the first derivative of -7*d**4/4 - 4*d**3/3 + d**2/2 + 7*d + 9. Let j be c(-5). Suppose 0*x = 3*q - x - 785, j = 3*q - 3*x. Is q prime?
True
Let q = 6999 + -4526. Is q prime?
True
Let a(v) = 33581*v**2 + 51*v - 551. Is a(9) prime?
False
Let q(t) = t**3 + 6*t**2 + 3*t + 4. Let d be q(-3). Let h be (-15 - 1)*d/(-44). Is h/(-44) - 9957/(-11) prime?
False
Let z(o) be the first derivative of 0*o**3 - o**2 - 69/2*o**4 + 8 + o. Is z(-2) prime?
True
Let f(x) be the third derivative of -23*x**4/24 + 17*x**3 - 2*x**2. Is f(-25) composite?
False
Suppose -2*q + 1126572 = 2*f - 569162, -3*q = -f + 847883. Is f a composite number?
False
Let j = 497 - 496. Let z be ((-12)/(-9))/((-3)/(-9)). Is j*(-16)/z + 549 a prime number?
False
Is 4 - 117259/(-2)*38/(95/5) composite?
True
Is 251871/708*(235 - -1)*(-1 + 2) a composite number?
True
Let a = 54 - 51. Suppose -4*k = 3*s - 123037, 123047 = a*s + k - 2*k. Is 6/15 - s/(-25) composite?
True
Let t(h) be the third derivative of 3*h**5/10 - 7*h**4/4 - 5*h**3/6 - 344*h**2. Is t(-30) prime?
False
Suppose 3*b - 4*b = -10. Let o(t) = 4*t**3 + t**2 + 15*t + 17. Is o(b) prime?
False
Let p = -81390 + 141693. Is p a prime number?
False
Let l(n) = -n**3 + 3*n**2 + 3*n - 9. Let m be l(3). Suppose m = -9*g + 49 + 59. Suppose g*s - 2513 = 11*s. Is s a composite number?
True
Suppose 130*j - 67*j - 2271727 = 46*j. Is j a composite number?
False
Let u be 2 - 3 - 118/2*-12. Let h = u + -414. Is h prime?
True
Is 509575 + (6 - 500/70)*7 prime?
False
Let u(j) = 28*j + 47. Let a(p) = 139*p + 233. Let h(q) = -2*a(q) + 11*u(q). Let o be 3*2*(-12)/(-9). Is h(o) a prime number?
False
Suppose -28*u = -2*s - 25*u + 146450, 2*s + 4*u - 146506 = 0. Is s a prime number?
True
Suppose -16*b = -0*b - 880. Suppose 4*c - 6 = 4*v + 54, -4*c = -3*v - b. Suppose k + 1179 = c*k. Is k prime?
True
Let v = -352 + 356. Suppose -4*l = v*n - 1500 - 10388, n - 2964 = -5*l. Is n a composite number?
True
Let i be (-2 - 514/(-4))/((-4)/(-72)). Suppose -5*n = -i - 11333. Is n prime?
False
Suppose -k = -n + 35420, -2*k = -n + 2*n - 35417. Suppose 5*w - 88605 = 6*q - 2*q, 0 = -2*w - 3*q + n. Is w a composite number?
True
Let n = 0 - -9. Suppose -5*i - 1120 = -n*i. Suppose -5*p = -i + 110. Is p a prime number?
False
Let a be 1*2/6 + 51/9. Suppose -12*x + a*x = 2868. Let m = -215 - x. Is m a composite number?
False
Is (-9)/(-12)*13/(195/75220) a prime number?
True
Let o(y) = y**3 - 3*y**2 + 9*y - 23. Let l be o(3). Suppose 42508 = 5*j - h, -j + l*h = -208 - 8305. Is j composite?
False
Let w(v) = 350*v**2 - 6*v - 13. Let b(g) = -2*g**3 + 2*g**2 + 2*g - 2. Let h be b(0). Is w(h) prime?
True
Let o(u) = -63*u + 317. Let w be o(-31). Let n be (-5 + 0)*(-2)/5. Suppose -907 = -a - 5*i + 225, n*a = -4*i + w. Is a composite?
True
Is (-179384)/(-6) + 2*(-6 + (-385)/(-66)) a prime number?
False
Let z be -1 + -40 + (1 - 0). Let s = -791 - -869. Let n = s + z. Is n composite?
True
Let t(f) = 156*f**2 + 3*f + 11 + 3*f + 49*f**2. Suppose -50 = -7*r - 71. Is t(r) prime?
False
Suppose -2671129 - 6965960 = -33*l. Is l a composite number?
True
Let n(q) = q**3 + 7*q**2 - 17*q + 13. Suppose 28*z - 34*z - 54 = 0. Let l be n(z). Suppose -p + 1895 = l*p. Is p a prime number?
True
Suppose 82*f = -28*f + 62049790. Is f a prime number?
True
Is 3/((-19)/(107611801/(-33))) prime?
True
Suppose 0 = -817*y + 402*y + 387*y + 5887196. Is y prime?
True
Is -13 + -4 + 26 + (-25748)/(-2) prime?
False
Let r be (36/(-42))/((-1)/7). Let l(w) = 0*w**3 + r*w**2 - 1 + 4*w - w + 2*w - 4*w**3. Is l(-4) a prime number?
True
Let b(p) = 16*p**2 - 11*p - 60. Let t(v) = -3*v**2 + 2*v + 12. Let s(k) = -2*b(k) - 11*t(k). Let n be s(4). Is (0 - 1) + (n - (-891 + 5)) a composite number?
True
Suppose -5*x - 18799 = 2*l, -3769 = x + 9*l - 4*l. Let v = x - -5752. Is v composite?
False
Let x(g) = g**2 - 2*g - 4 - 449*g**3 - 334*g**3 + 2 - 1105*g**3. Is x(-1) composite?
False
Let c be 0 + 1 - (-1)/1. Suppose 0 = s + c*x - x, 2*x - 1 = -3*s. Is (-123)/s*(-4)/6 composite?
True
Let k = 15692 - -15321. Is k prime?
True
Let s(z) = 11*z**3 + 20*z**2 + 21*z + 177. Is s(19) a prime number?
False
Suppose 2*p - 3*p + 9 = a, 3*p = 4*a - 1. Suppose 5*l = 4*c - 6608, -c + 2193 = p*l + 516. Is c composite?
False
Suppose 102*t - 310890 + 324785 = 829181. Is t a prime number?
True
Suppose 3*l - 5 = 4. Suppose 5*i - 2180 = l*w, -3*w + 2*w = 0. Is ((-7)/4 + 3)*i a composite number?
True
Let t(u) = u + 51. Let w be t(-27). Let z be (3/2)/(6*6/w). Is (137/(-2))/(z/(-34)) composite?
True
Suppose -3*s - 3*j + 12 + 0 = 0, -2*s - j = -9. Let r = 2174 + -537. Suppose s*m - r + 202 = 0. Is m a composite number?
True
Suppose -i - 3*k = -6, 4*i - 5*k + 2 = 26. Is 2/(4/11499)*i/9 a composite number?
False
Suppose 0 = 5*w - 18*h + 19*h - 236758, 0 = 3*w - 3*h - 142044. Is w a prime number?
True
Let s(i) = 65*i**2 + 9*i + 68. Let a be s(-6). Suppose 10501 = c + a. Is c a composite number?
False
Suppose 15*p - 370 + 130 = 0. Suppose 0 = -p*q + 18*q, 1574 = 2*g - 5*q. Is g prime?
True
Suppose -536 = 3*z + 124. Let i = 325 + z. Let t = i + 314. Is t a prime number?
True
Suppose -m + 5*a = 29, -16 = -3*a - 4. Let x be -2 - (m/7 - (-4)/14). Is -1*x/(-2)*-3142 + 3 a prime number?
False
Suppose 0 = j + 2*j - 3, -4*s = 3*j - 4003. Is 2/(-4)*(s + -2)*-1 a composite number?
False
Suppose -3*r + 5*y + 166783 = 23940, y = 3*r - 142835. Is r a composite number?
True
Let b(j) = j**3 - 29*j**2 + 80*j - 650. Is b(58) a prime number?
False
Let u = -717 - -7303. Suppose 0 = -3*d + 20917 - u. Is d composite?
True
Suppose 7*w + 50906 = 940585. Is w composite?
True
Let c(p) = 6655*p + 30. Suppose 4*k = -3*j - 5, j - 6 = -3*k - 16. Is c(j) a prime number?
False
Is (1888376/6 - (-45)/(-135))/1 prime?
False
Is 6/(-135)*-10 + 12333415/153 a composite number?
False
Let c(o) = -6*o**2 - 985*o - 312. Is c(-55) a prime number?
False
Suppose -161 = 8*p + 175. Let t = p + 39. Let u(i) = 34*i**2 + i - 4. Is u(t) a composite number?
True
Let a be (2 + -4 + -464)*(-3 + -53). Suppose 0*r + 5*l + 26097 = 4*r, -4*r + a = -4*l. Is r prime?
False
Let r = -12933 + 29264. Is r composite?
True
Let p be 96912/108*21/2. Is (-1 - 45/(-54)) + p/12 a composite number?
True
Let j = 2660 - -6034. Suppose -2660 = 7*v - j. Is v a composite number?
True
Let m be (-22)/6 - (-22)/33. Let u be (m/(-1))/(5 + -2). Suppose u = g, w - 58 = -0*g - 3*g. Is w composite?
True
Suppose -3*l = -2*l - 4, -2*f + l = -2. Suppose f*g + 3*o = 8*o + 376, -3*o = -5*g + 632. Is g composite?
False
Let n = 416 + -412. Is (25034/n + 0)/((-3)/(-6)) a composite number?
False
Suppose j + 3*z - 35 = -j