= -3*z + 6521. Is z composite?
False
Let g = 10618 - 4331. Let x = 452 + g. Is x a composite number?
True
Let m be 814*-1*(-2 + 5 - 4). Let k = m - -717. Is k prime?
True
Let x be 3/(-15) + (-2)/(10/(-31171)). Suppose -5*u + 1491 = -x. Let l = 2902 - u. Is l prime?
False
Suppose -131*a + 16844838 + 89150781 + 36316886 = 0. Is a a composite number?
True
Let p(w) = -34*w**3 - 15*w**2 + 18*w + 59. Is p(-14) composite?
False
Let r be ((-128)/(-10))/(100/(-750)). Let t = 3155 - r. Is t a prime number?
True
Let z be (-82)/(-26) + 4/(-26). Let v = 361 + -364. Is z/(v/(-2174)*2) a prime number?
True
Let j(i) = -4*i + 4. Let b be j(-2). Let y(o) = 5*o**3 - 14 - 5*o + 3*o + o - 4*o**3 - 12*o**2 + 6*o. Is y(b) prime?
False
Let o = -31 + 28. Let c be (1/2)/(o/(-18)). Suppose -5*m + 2*m = -9, -987 = -c*b + 2*m. Is b composite?
False
Is ((-5)/4 - -1)/(317/(-2844124)) a prime number?
True
Let n = -142 - -144. Is (n/(-5))/((-14)/25165) a composite number?
False
Let l(a) = -94*a - 106*a - 6 - 3*a**3 - a**2 + 213*a. Is l(-7) a composite number?
False
Let l(j) = 6*j**2 - 6*j - 1. Let q(n) = 6*n**2 - 3*n + 1. Let m be q(1). Suppose 0*y = -m*y + 12, x + 3*y = 5. Is l(x) composite?
True
Suppose 183714 = 16*u - 40*u + 868602. Is u a composite number?
False
Let d = -3732 + 6594. Suppose d = 2*u - 5392. Is u prime?
True
Let x = 28686 - -14465. Is x a composite number?
False
Suppose -26*q - 625017 = -3*o - 23*q, 2*o - 4*q = 416690. Is o composite?
False
Let r(j) = 1182*j**3 + 2*j**2 - 5*j + 5. Let d be r(2). Suppose -20*a + 1681 + d = 0. Is a composite?
False
Is 194/(-485) - (-1165074)/10 a composite number?
False
Is (-9 - (4 - 5)) + -7 + 110098 composite?
False
Let m be (-4)/(-80)*1402 - (-3)/(-30). Let w = 3569 + m. Is w a composite number?
True
Suppose -82*x + 220 = -71*x. Suppose 0 = 26*l - x*l - 15126. Is l prime?
True
Let w be (-2)/(-3)*(-153)/(-3). Is (-6)/(-10 - -4)*1*w prime?
False
Suppose a + 6 = -5*a. Let v(d) = 351*d**2 + 8*d + 13. Let l(u) = -176*u**2 - 4*u - 6. Let p(z) = -7*l(z) - 3*v(z). Is p(a) prime?
False
Suppose -1340 + 1295 = -5*u, 2*u - 722942 = -4*h. Is h prime?
True
Let g = -38 - -41. Let f be 1 + g/(-6) + (-5330)/4. Let w = -283 - f. Is w prime?
True
Let l = 22 + -21. Let d(v) = -v**2 - v - l + 7*v**2 - v. Is d(-3) a composite number?
False
Let l be (3/(-9))/((-18)/54). Is (2350/(-200))/(l/(-148)) composite?
True
Let z = -321231 - -597440. Is z a prime number?
True
Suppose 321*q - d + 1520907 = 324*q, 5*q - 2534845 = -3*d. Is q composite?
True
Let d(u) = -25*u**3 + 52*u**2 + 171*u + 100. Let j(o) = 9*o**3 - 17*o**2 - 57*o - 34. Let x(f) = 3*d(f) + 8*j(f). Is x(-15) a prime number?
False
Suppose 3*m - 2*z + 14 = 3*z, 8 = 2*z. Suppose -d = -0*d + h - 1048, -m = 2*h. Is d a prime number?
True
Let r(g) = -295*g**3 + 19*g**2 + 78*g - 11. Is r(-5) prime?
False
Let q = 16582 + 26900. Suppose -q = h - 4*h. Is h composite?
True
Suppose -x + 4 = 0, 0*x - 8 = 4*o - 4*x. Suppose 18 = 2*i + 10. Suppose 3*g = -o*j + 497, 0 = i*g + j - 706 + 35. Is g a prime number?
False
Let b(v) = -15646*v + 697. Is b(-6) a prime number?
True
Suppose -4*o + u = -537 + 2401, -4*u = -16. Let t be 8/(-28) - (1041/7 + 2). Let a = t - o. Is a prime?
False
Let w be (6477/12)/(-3 + 13/4). Suppose w = 4*a + 5*y, -2*a + 2*y + 1084 = -0*y. Is a composite?
False
Let t(d) = -219486*d - 12559. Is t(-6) a prime number?
True
Suppose 23*w - 1781208 = -731419. Is w prime?
False
Let s = -41506 - -135783. Is s composite?
True
Suppose -205105 = -3*n + 4*k, -5*n = -9*k + 5*k - 341847. Is n composite?
False
Let m(t) be the third derivative of 19*t**5/20 + 17*t**4/12 + 11*t**3/2 - 10*t**2 - 5. Is m(-8) a composite number?
True
Suppose 0 = -2*m + 3*m - 4*j + 1188, 0 = 2*m + 3*j + 2409. Let b = -821 - m. Is b a prime number?
True
Suppose 81 = 10*z - 39. Let c be 16/6*(4 - 30/z). Suppose c*m - 6*m + 1798 = 0. Is m a prime number?
False
Let f be (64/(-8) + -631)/((-6)/4). Suppose 5*x = q - f - 1591, -2*x = -3*q + 6077. Is q a composite number?
False
Let v be 57653/5 - (-12)/(-20). Let z be v/6 + (-16)/24. Suppose 2560 = 4*x - 2*n + 646, -z = -4*x - 5*n. Is x a prime number?
True
Let s(y) = 3993*y - 1084. Is s(5) a composite number?
True
Suppose -4510*c = -4475*c - 29821085. Is c composite?
False
Let i = 15373 + -8778. Is i prime?
False
Suppose 21*w - 1254 = 20*w. Suppose -w = -3*v + 2343. Is v prime?
False
Suppose 0*d - 90 = 5*d. Let c be (-2)/(-3) - 708/d. Is 8/c - 588/(-10) a composite number?
False
Let o be (-76)/(-20) + (20/25)/4. Is (2/o)/(936771/93676 + -10) a composite number?
True
Let l = 126 + -49. Is 243573/l + 2/(-7) prime?
True
Let c be (-2 - 0)/(3 - 42/12). Let g = 10 - c. Suppose 3*q = g*q - 5541. Is q a composite number?
False
Let a be 8/12*22964/(-24)*-9. Let v = 11694 - a. Is v a prime number?
True
Let z(s) = 2925*s**2 + 3*s - 1. Suppose 143 + 11 = 7*h. Let l be 11/h*(2 + 0). Is z(l) composite?
False
Let h = 95 - 80. Let d be (-4)/(52/h) - 2/(-13). Is (-6)/4*(4 - (d + 331)) composite?
True
Suppose 51*v = -68*v + 8074627 + 701742. Is v prime?
True
Suppose 4 - 4 = -7*j. Let g = -13924 + 19605. Suppose g = 3*r - f, j = -0*r + 4*r - 5*f - 7571. Is r composite?
True
Let o = 234997 - -20080. Is o a composite number?
False
Let r(d) = 344*d**3 - 7*d**2 + 5*d - 15. Is r(2) a prime number?
True
Suppose -2*t - 3*t - u = 51660, 10332 = -t + u. Let v = -4135 - t. Is v a composite number?
False
Let l(f) be the third derivative of f**4/8 + 13*f**3/3 - 10*f**2. Let b be l(-8). Suppose -c - 905 = -t + c, 3*t + b*c = 2715. Is t a prime number?
False
Suppose -96*l + 100*l + p = 8129671, 3*l - 6097266 = -5*p. Is l prime?
True
Suppose -194 - 70 = -12*j. Is (-4)/(-6)*832227/j composite?
False
Suppose -3*l + 8*l - 2*c = 2770821, 0 = 15*l - 2*c - 8312491. Is l a composite number?
False
Suppose 1254 = -2*t - 104. Let o = t + 1532. Is o composite?
False
Suppose 0 = -5*t - 2*t + 35. Suppose -t*n + 2*v + 14461 = 4588, n = -2*v + 1965. Is n a composite number?
False
Let z = 117 + -110. Suppose -z*r + 808 = -35263. Is r prime?
True
Let q = 439 - 883. Is -2*(-1642)/(-3)*q/16 prime?
False
Suppose -849*t - 786017 = -865*t + 1040271. Is t prime?
True
Suppose 528878 = -4*a - 2*m + 1680004, 1438946 = 5*a - 3*m. Is a a prime number?
False
Let k = 104484 + -55333. Is k a prime number?
False
Let y(z) = -21*z**3 - 2*z - 9 + 1 + 9*z**2 + 9*z**3. Let j be y(10). Is (j/(-22) - -3) + 6/33 a composite number?
False
Let i = -1945 + 19878. Suppose -10629 = -3*f + w, -5*f - 4*w + i - 218 = 0. Is f a composite number?
True
Let o(q) = -q**3 - 2*q**2 + 1. Let f(k) = 3*k**3 + 32*k**2 - 2*k - 11. Let j(c) = f(c) + 4*o(c). Is j(20) composite?
False
Suppose 13601836 = 123*g + 3326785. Is g a prime number?
True
Let h(i) = 1703*i + 6699. Is h(8) a composite number?
False
Suppose -5*a + 14 = -4*s, -s = 2*a - 1 - 2. Suppose 2*u - 8948 = 3*q, -5*q = a*u - 4929 - 4019. Is u a prime number?
False
Let g(o) = 130270*o**2 + 41*o - 40. Let h be g(1). Suppose -h = -36*l + 408397. Is l prime?
False
Let p(f) = 4*f**2 - 2*f - 3. Let c be p(-1). Suppose c*n + 14*n - 21199 = 0. Is n prime?
False
Let d(j) = 746*j**2 - 27*j - 100. Is d(-17) a composite number?
False
Let w = -59 + 60. Suppose 5*i = -25, -4*i = -d + 36 - w. Is (3498/4 - d/10) + -2 prime?
False
Let z = -287 + 289. Suppose -z*r - 10*g + 11*g = -7581, -3*g = -5*r + 18950. Is r composite?
False
Suppose 132 = -64*h + 68*h. Is h/(-44) + ((-1365)/4)/(-3) a composite number?
False
Let a(z) = 5560*z**2 + 4*z - 7. Is a(1) prime?
True
Suppose 0*u - 5*u + 76 = 3*j, -5*u + 4*j = -97. Suppose 0 = u*w + 3*w - 21380. Is w prime?
True
Let o(p) = 9*p**3 + 7*p**2 - 3*p + 1. Let q be o(5). Let k = q - 807. Is k prime?
True
Suppose 15*f + 272 - 155387 = 0. Let z = -7183 + f. Is z a composite number?
True
Let p(i) = -7 - 3 + 9 + 12*i**3 - 3*i**2 - 352*i**3. Is p(-2) prime?
True
Suppose 147*g + 25*g - 161365412 = 0. Is g composite?
True
Let d(p) be the first derivative of 25*p**2 + 107*p + 116. Is d(4) composite?
False
Let o(n) = -55*n**3 + 3*n + 11*n**2 - 32*n**2 + n + 17 - 8*n. Is o(-7) composite?
False
Suppose 44*f - 305*f = 91*f - 16364128. Is f a prime number?
True
Suppose -9*o + 11*o - 2 = 0. Let w be (535 - -1) + o/1. Suppose 5*m = 0, -3*n + 4*m + w + 798 = 0. Is n composite?
True
Let k(s) = s**2 - 3*s