8 = -64*c. Is (-6)/4 + ((-1542515)/10)/c prime?
True
Let g = 61206 + -16667. Is g a prime number?
False
Suppose 0 = 3*d + 4*a - 34, 2*d - 6*a + 3*a = 0. Suppose -4*v - v + 3*y - 15 = 0, 4*y = -2*v - d. Is v + (-1 - -322 - 1) a composite number?
False
Suppose 6*h + 3*w - 63881 = 5*h, -5*h - 2*w + 319392 = 0. Is h/20 + 3/30 a composite number?
True
Suppose 21*g + 3178542 = 5*i + 22*g, -5*g - 1907086 = -3*i. Is i a prime number?
True
Let p be 473*-46 + 0/(-13). Let i = p - -48211. Is i a prime number?
False
Suppose -51405 = -2*t + 82547. Suppose -6*v + 3*v = -2*b - t, 0 = -4*b + 5*v - 133952. Is (-2)/6 + b/(-42) a prime number?
True
Suppose -2*v + 4782 = 2*h + 3*v, 2*h - v = 4782. Suppose -6*z + 279 = -h. Is z a composite number?
True
Let b = 2477 + 15752. Is b a composite number?
False
Suppose -156*b + 5601696 = 819684 - 11399712. Is b a composite number?
True
Suppose -5*z + 38971 = -3*i, 8*z - 5*z - 23383 = 2*i. Is z composite?
False
Let p = -3360 - -1482. Let f = -372 - p. Suppose -3*s - f = -4749. Is s a prime number?
False
Suppose -28 = w - 5*z - 7, 4*z - 14 = -2*w. Let c be (w + -2)/(6 + 75/(-10)). Is c + 2 + -1 - -76 prime?
True
Let s(r) = 282*r**2 - 12*r - 139. Is s(-20) a composite number?
False
Is 68049108/140 + (-3)/15 + (-3)/(-21) a composite number?
True
Let q(b) = 63*b**2 + 78*b - 9. Let y be q(-14). Suppose -5*f - 2*v + 35717 = 0, -5*f + 24464 + y = -4*v. Is f prime?
False
Let z = -131222 - -207691. Is z a composite number?
True
Suppose -5 = 5*k + 2*i, -4*i = 3*k - k + 2. Is (k - -4)*(14052/9 + -7) composite?
False
Let q be (-1576)/(-4)*(-24)/(-16). Let r = 7 + -5. Suppose -2*k = -k - r, 2*k + q = 5*c. Is c composite?
True
Let z be 63/(-28)*(-203024)/12. Suppose 112*u - z = 109*u. Is u composite?
False
Let z(h) = 4506*h**2 - 98*h + 1153. Is z(12) a composite number?
False
Let x be (-2)/8 - 25/(-4). Suppose 5803 = x*q - 2195. Is q composite?
True
Suppose 752 - 2557 = -2*u - 3*g, -1829 = -2*u + 5*g. Suppose -3389 = -2*q - u. Is q a composite number?
True
Let b = -11 + -57. Let t = -66 - b. Suppose 2*l - l = -5*r + 17702, -t*l = 4*r - 14158. Is r a composite number?
False
Suppose 107*w - 82*w - 5375275 = 0. Is w prime?
False
Let f = 118 - 129. Let n(v) = -66*v - 229. Is n(f) a composite number?
True
Let z = -257 + 261. Suppose -5787 = -3*d - z*j, j + 6572 = 5*d - 3073. Is d prime?
False
Let k = 21339 + -10852. Is k a prime number?
True
Let y(v) = v - 10 + 5*v + 0 + 362*v**2 - v. Is y(3) a composite number?
True
Suppose 4*q + 143280 = 26*h - 21*h, -5*q = -25. Suppose -3*o - 28700 = -5*n, 4*o + h = 5*n + 9*o. Is n prime?
True
Let m = 1950236 - 763155. Is m a prime number?
False
Let m be -1*514*(-23)/46. Suppose -c + 2*b + 0 - 2 = 0, 0 = 5*b - 15. Suppose -l = h - m, -3*h + 504 = -h + c*l. Is h a composite number?
True
Suppose 2*y - 4*w = 626434, -2*w + 393072 = 4*y - 859746. Is y a prime number?
True
Suppose -5*q - y = 562, -4*q = -6*y + y + 467. Let n = 245 + q. Let u = 71 + n. Is u a prime number?
False
Is ((-1219)/69 + 14)/(1/(-33279)) a prime number?
False
Let w(p) = p**3 - 4*p**2 - 8*p + 4. Let d be w(4). Let t = 40 + d. Is (-1)/(-3) + 12032/t a prime number?
False
Let t = 778907 + -235864. Is t a composite number?
True
Let a = 48 + -45. Suppose -a*p + 2*j = 2*p - 2821, -3*p + 1692 = -j. Suppose -2*c + 4*i - 3*i + 227 = 0, 5*c = -2*i + p. Is c a prime number?
True
Let p be 3/(-15) + (-1 - (-542)/10). Suppose -27*d + 28*d - p = 0. Suppose -2*f = -39 - d. Is f a prime number?
False
Suppose 0 = -1499*d + 1486*d + 2693509. Is d a composite number?
True
Let n(m) = 1947*m - 110. Let x be n(7). Is -2 + (-8)/(-3) + x/3 a prime number?
True
Let o = -39427 + 57726. Is o composite?
True
Suppose -8*l + 4*o = 8*o - 56, l + 2*o = 19. Let v = -3 + 7. Suppose v*w = l*r - 1507, 2*r - 2*w = r + 505. Is r a composite number?
True
Is ((-2)/3)/(-38 + (-31002752)/(-815862)) a composite number?
False
Suppose -3*c + 16 = 5*c. Suppose 4806 = -c*b + 5*b. Suppose k - b = 1847. Is k a composite number?
False
Let h be 2/(-17) + 208592/(-272). Let v = h + 4066. Is v prime?
True
Let b(q) = 1956*q + 8045. Is b(176) prime?
True
Let o(g) = g**3 - 4*g**2 - 7*g - 9. Let u be o(7). Let w = u - 91. Is (-439 + -4)*4/8*w a prime number?
True
Suppose 0 = 8*c - 0*c - 16. Suppose 4*n + c*t - 138 = 342, -n = 3*t - 120. Let z = n - 97. Is z composite?
False
Let h(l) = 533*l**2 - 235*l + 285. Is h(22) a prime number?
False
Suppose w + 3*m = 186, 3*m = 8*w - 10*w + 363. Suppose 2*p = 4*z + 4*p - 636, 0 = -z - 5*p + w. Is z prime?
True
Suppose 2 = 2*h, 0 = 4*y + h - 4*h - 9. Let v(w) = 2 - w**3 + 6*w**3 - 4*w + 5 + 2*w**2 - w. Is v(y) a prime number?
False
Let m = 46 - 44. Suppose 0 = n + 5*s - 569, -4*s + m*s + 584 = n. Let o = n - 263. Is o a prime number?
True
Suppose -81*q - 2252453 = -3*q - 13195619. Is q a composite number?
False
Let s(m) = m**2 + 6*m + 17. Let r be s(-5). Suppose -45579 = -r*p + 17145. Is p a prime number?
True
Let i = 712796 - -930953. Is i a prime number?
False
Suppose 0 = -d + o - 0*o + 105091, -5*o = 12*d - 1261194. Is d composite?
False
Let z(c) = 780*c + 107. Let l be ((-20)/(-25))/(((-20)/(-125))/2). Is z(l) prime?
True
Let c(m) = 15*m**2 - 46*m - 60. Let g(q) = -10*q**2 + 31*q + 40. Let h(v) = 5*c(v) + 7*g(v). Let o = -26 + 17. Is h(o) composite?
True
Let f(h) = -h**3 + 36*h**2 + 43*h + 31. Let q be f(26). Let o = -5391 + q. Is o composite?
True
Suppose 4*x - 472 = -4*s, 5*s + 53 = x - 71. Suppose n - 3*p - x = 863, 4*n + 2*p - 3914 = 0. Is n a prime number?
False
Suppose 8*y - 11*y = 10*u - 12938195, 10 = -2*y. Is u prime?
True
Let s(o) = 5675*o**2 + 1166*o + 5864. Is s(-5) prime?
False
Is 736472/88*(3 - 2) prime?
True
Is ((91/(-70))/(-13))/(2/26279740) a composite number?
False
Suppose 4*l - 65757 = c, 2*l - 3*c = 4725 + 28156. Is l a prime number?
False
Let x(c) be the first derivative of c**3/3 - 11*c**2/2 - 32*c - 11. Let a be x(13). Is 3*4/a*6834/(-12) a composite number?
True
Let m be (-14)/147*-7*3678. Let a = 7841 - m. Is a composite?
True
Suppose -8*v = 13*v - 63. Let d(w) = 1314*w**2 + 7*w + 10. Is d(v) a composite number?
True
Suppose -26421 = 51*p - 52*p + 3*w, p + 5*w = 26389. Is p a prime number?
False
Suppose -5 = t + 18. Let c(o) = 2*o**3 + 46*o**2 + 24*o + 15. Let g be c(t). Let w = 988 + g. Is w composite?
True
Let u be (-3)/(-2) + 1*(-45)/18. Is u + (-8)/(-6) + (-142164)/(-54) prime?
True
Let q(w) = 7*w**2 - 18*w - 32. Let h be (-113)/(-3) - (2 - (-32)/(-24)). Is q(h) a prime number?
False
Suppose -10*a + 275 + 705 = 0. Let x = 91 - a. Is 2*(-3)/21 - 22668/x prime?
False
Let n = -420938 - -819895. Is n composite?
True
Let l(j) = -42*j + j**3 + 7*j**2 + 13*j**2 - 5*j**2 - 15 + 6*j. Let t be l(-17). Suppose -t*c + 10165 = -14*c. Is c composite?
True
Suppose -5*s - 3*a = 2*a + 11800, -5*s + 3*a = 11816. Suppose -4*z + 61 + 94 = -3*c, -150 = 3*c - 3*z. Let g = c - s. Is g composite?
True
Let w(m) = 844*m - 3761. Is w(24) composite?
True
Is ((-60594)/45 - -1)*-51 + (-124)/(-155) composite?
True
Let s be 11*(0 - (1 + -2)). Let q(h) = -h**3 + 12*h**2 - 12*h + 11. Let p be q(s). Suppose -4*y + 3*f + 1264 = -295, 4*y + 2*f - 1534 = p. Is y a prime number?
False
Suppose -32*j + 3578193 = -1645775. Is j composite?
False
Let t(b) = -b**3 - 28*b**2 - 22*b + 138. Let j be t(-27). Suppose 31761 = x - u, 0 = 11*x - 7*x - j*u - 127046. Is x a composite number?
True
Let h(r) = r**2 - 21*r - 35. Let x be (-1 - -10)*(-7)/(-42)*-10. Is h(x) a prime number?
False
Is 5/3*(-3 + 6456996/35) prime?
True
Suppose 3088714 = 4*y + c, -1544336 = -2*y - 12*c + 15*c. Is y prime?
False
Let m = 104 - 101. Suppose 5*r - 5*k - 10 = -0*r, -r + m*k - 6 = 0. Is 685 + r/(-9)*3 + 6 a prime number?
False
Let j be ((-16)/3 - -2)*(-34 + 22). Suppose -45*b = -j*b - 17285. Is b a composite number?
False
Suppose 23*h - 679005 = 258176. Is h a composite number?
True
Let p(s) = -s - 2. Let d be p(-5). Suppose 1035 = -2*k + d*k - 4*w, -w - 2056 = -2*k. Is k a composite number?
True
Let p(y) = -y**2 + 4*y + 22. Let j be p(7). Is (j - 27/33) + (-8994)/(-22) a composite number?
False
Let p(f) = f**3 + 5*f**2 - f + 11. Let v be p(-5). Suppose 3*y = a - 0*a - v, -4*a = 4*y. Is 302 - a/(-3)*-3 composite?
True
Let i(r) be the third derivative of r**6/120 + r**5/60 + r**4/6 + 4379