. Is y a prime number?
False
Suppose -3*z + 20060 = v, 275*v + 2*z - 80250 = 271*v. Is v composite?
False
Suppose -5*q + v = -372804, 56*q - 52*q = 4*v + 298240. Is q composite?
False
Suppose -16*u + 30 = -u. Suppose -u*w = -5*y - 8694, 12 = -0*y + 3*y. Is w a composite number?
False
Let z be (-24453)/(-26)*(-2)/(-3). Let d = z - -6. Is d a composite number?
True
Let m be (-13)/(-3)*(548 - -46). Is ((-308)/(-70) - 3/(-5)) + m composite?
False
Is (-2)/(-6)*-284909*(20 - 23) a prime number?
False
Suppose -5*y = 5*f - 16720, -6*f + 6688 = -4*f - 2*y. Suppose 0*j - 4*j = 4*n - f, j = n - 846. Is n prime?
False
Let v = -5458 - -2659. Let z = -1662 - v. Is z a prime number?
False
Suppose 0 = o + 2, -3*o = -w + 3 + 4. Let h(t) = 11127*t + 32. Is h(w) composite?
False
Let c = 2317 + -1730. Is c a composite number?
False
Let t(v) be the third derivative of 7*v**4/8 + 89*v**3/3 + 56*v**2. Is t(9) a composite number?
False
Is 2566 - (5/(-7))/(43/(-301)) a prime number?
False
Suppose -98*r = -355*r + 50743879. Is r a prime number?
False
Let h(g) = g**3 + 10*g**2 + 15*g - 4. Let o be h(-8). Is 70002/30 - o/10 a prime number?
True
Let s = -44 - -34. Let w(k) = 45*k - 22. Let b be w(s). Let c = -5 - b. Is c a composite number?
False
Suppose 3*u = -12, 0 = 6*t + 2*t - 5*u - 849892. Is t a composite number?
True
Let z(s) = -376*s - 29 - 8*s**2 + 373*s + 23*s**2. Is z(-32) a prime number?
True
Let l be (-4)/6*3 - -5. Suppose 0 = 4*t - l*q - 12810 - 37889, -4*t = -q - 50705. Is t prime?
False
Suppose -202130 = -34*a + 113152. Suppose -16*l - a = -19*l. Is l a composite number?
True
Let d = 41387 + -24360. Let h = d + -4086. Is h a composite number?
False
Let q(p) = -4*p - 44. Let x(j) = -3*j - 44. Let w(t) = 5*q(t) - 4*x(t). Let k be w(-6). Suppose -a + 0*c = 4*c - 219, -852 = -k*a - 4*c. Is a composite?
False
Let a(j) = 5*j - 27. Let c be a(-9). Is -3*(-4)/c + (-31598)/(-12) a composite number?
False
Let b(s) = -158*s + 87*s + 99*s - 15. Let z be (-1)/2 - (-45)/6. Is b(z) composite?
False
Let a(x) be the second derivative of x**4/12 + x**3 - 3*x**2/2 + 1060*x. Suppose v - 40 = 3*v. Is a(v) a composite number?
False
Let h = 88 - 399. Let p = h + 570. Is p composite?
True
Let c = 445 + -441. Suppose 0 = -n + 6*n - 3*v - 23540, 2*n - c*v = 9430. Is n prime?
False
Let p(a) = -a**3 - 2*a**2 + 2*a + 2. Let d(y) = y**3 + y**2 - 4*y + 4. Let i be d(-3). Let v be p(i). Is (-971)/v + -1 - (-4)/8 composite?
True
Let c = 48821 + -27174. Is c prime?
True
Let c(y) = -117*y + 56. Let r(f) = 117*f - 56. Let b(a) = -5*c(a) - 6*r(a). Is b(-5) composite?
False
Let b(v) = -5*v**2 - 18*v - 10. Let u be b(-5). Is 534/(-9)*u/10 composite?
True
Let w(a) = a**2 + 3*a - 15. Let z be w(-6). Let v(r) = -1 - 6*r - 221*r**z - 3*r - 3*r**2 + 7*r. Is v(-2) a prime number?
True
Let w = 124347 - 59914. Is w a prime number?
True
Let x be (-102)/153 + (-2)/(-3). Suppose -7*d = -x*d - 119231. Is d a composite number?
False
Let n(y) be the first derivative of -35/2*y**2 + 7 + 16*y. Is n(-6) prime?
False
Is (-366105)/10*(-8 - (-220)/30) a composite number?
False
Let t(v) = 253*v**2 - 3 - 5 - 10*v + 289*v**2 - 3. Is t(-1) composite?
False
Let m(z) be the first derivative of z**3/3 - 3*z**2 - 10*z + 32. Let p be m(-12). Let a = p + 2517. Is a composite?
True
Let h(j) = 15*j - 69. Let l be h(6). Let v(z) = z**3 - 16*z**2 - 48*z + 62. Is v(l) a composite number?
False
Let r(t) = -5822*t + 1809. Is r(-49) prime?
True
Let h be (3/(15/3817))/((-80)/(-400)). Suppose -o - 2*y + 1631 + 2200 = 0, -o + 5*y + h = 0. Is o a prime number?
False
Let c = 146 + 159. Let a = c + 438. Is a a composite number?
False
Let k = -32984 - -41907. Is k composite?
False
Let k(d) = -d**3 + d + 4. Let h be k(0). Suppose -h*o - 3*p + 7 = -5, -o + 8 = 2*p. Is 1 - (-408 - (0 + o)) composite?
False
Let x(m) be the first derivative of 154*m**3/3 - 11*m**2/2 + 31*m - 170. Is x(6) prime?
False
Suppose 4*n - 4*v = -2352, 0 = -3*n + n + 5*v - 1176. Let p(t) = -16*t**3 - t**2 - t - 11. Let k be p(-5). Let l = k + n. Is l composite?
False
Is (5/((-40)/438761))/(2*(-7)/112) a prime number?
True
Let m = -52 + 64. Let h be 40/m - (-1)/(-3). Suppose h*f = 3*k - 2478, 3*k - 4*f - 2473 = -2*f. Is k a prime number?
True
Let r be (-2)/(-15) + (-4)/30. Suppose 11*u - 5*u - 2316 = r. Is (4 + -4)/(-5) + u a prime number?
False
Suppose 0 = 35*u + 4151 + 11109. Let s be (3 - 2) + 242*3. Let c = s + u. Is c a prime number?
False
Let f = -328250 + 1229769. Suppose -f = -31*n - 327182. Is n a prime number?
False
Let x(m) = -m**3 + 3*m**2 - 14*m - 11. Let i = 9 + -6. Suppose 9 = -u + i. Is x(u) a prime number?
True
Let n be 8136/2 - (-2 + 6 + -2). Let u = 5753 - n. Is u a prime number?
False
Suppose -b - 14 = -5*i, -7 = -i + 2*b + 3. Suppose 0 = -0*k + k + 3*u - 154, 3*u - 293 = -i*k. Is k composite?
False
Let i = 11906 - -9957. Suppose 8*x = 108303 - i. Is x a prime number?
False
Let n(p) = -2*p**3 + 28*p**2 - 41*p - 568. Is n(-27) prime?
True
Let b be (3 + 10 - 16) + 155*1. Suppose -165*f + 43745 = -b*f. Is f composite?
True
Suppose -41*n + 21*n = -592380. Suppose -3*d = -0*j + 3*j - n, -4 = -2*j. Is d a composite number?
False
Let l(d) be the second derivative of d**8/1120 + d**6/120 - 7*d**5/120 - d**4 + 26*d. Let s(q) be the third derivative of l(q). Is s(2) composite?
False
Let g(u) = u**3 + u**2 + 2. Let x be g(0). Let q(r) = 6*r + 6*r - 10*r - 2 + 1039*r**x + 4. Is q(-1) a composite number?
False
Let i(r) = 837*r**3 - 6*r**2 + 42*r - 118. Is i(7) composite?
False
Let f = -100 + 104. Suppose -564 = -f*c + 9248. Is c a composite number?
True
Let b be 30/(-40) + (-213)/4. Let t = b + 56. Suppose 4*u - t*d = 706, 3*u = -u - d + 709. Is u prime?
False
Suppose 3*t = -0*t + 5*g + 880, -3*g = 15. Let u = t - -260. Suppose -253 = -6*s + u. Is s prime?
False
Let j be (19/(57/36))/1. Let f(i) = 17*i**2 + 34*i - 89. Is f(j) prime?
True
Let w = -121519 + 282000. Is w composite?
False
Let s(m) = -2747*m - 105. Let o(v) = -2746*v - 104. Let c(b) = 4*o(b) - 5*s(b). Is c(4) prime?
True
Let m(t) = t**2 + 13*t + 16. Suppose 3*v - 24 = 2*d, -3*d + v - 60 = 2*d. Let f be m(d). Suppose b = f*x - 1014 + 251, -377 = -2*x + 5*b. Is x a prime number?
True
Let l(d) = d**2 + 4*d - 10. Let i = 36 - 42. Let s be l(i). Let g(n) = 63*n**3 + 3*n**2 + 2*n + 1. Is g(s) a prime number?
True
Let a be 38/(2*2/8). Let w = -72 + a. Is 23/((12/21)/w) a prime number?
False
Let d(n) = -6953*n + 1383. Is d(-20) prime?
True
Let p(r) = r**2 - 6*r - 6. Let s be p(-4). Suppose -v - s = 11. Is 4/18 + (-9935)/v a composite number?
True
Suppose -n = 2*n + x - 7744, -4*n - 4*x = -10336. Suppose 0 = 3*p - 6*p + n. Let k = -175 + p. Is k a prime number?
False
Let b(s) = -167*s**2 - 37*s - 76. Let v be b(-2). Let j = 1919 + v. Is j a prime number?
True
Let f(v) = 9459*v + 181. Is f(26) composite?
True
Let t(h) = -6*h**3 + 8*h**2 - 68*h + 83. Is t(-12) a prime number?
False
Let y(s) = 28*s**2 + 18*s - 433. Is y(24) a prime number?
True
Let t be ((-8)/(-2))/(6 + (-115040)/19174). Let x = t - 5075. Is x a composite number?
True
Let p = 16979 - 9630. Is p composite?
False
Let q(m) = m**2 + 23*m - 14. Let b be q(-24). Suppose 9*u = 14*u - b. Suppose -4*r = -g + 1227, -u*r + 6091 = 5*g - 0*r. Is g a prime number?
False
Let f = -68 + 75. Is -4 + f + (5497 - (2 + -3)) composite?
False
Let u be 56*(197/(-2))/(-1). Let q = 19797 - u. Is q composite?
False
Let a be ((-3)/(-6) + (-4)/24)*333. Suppose -a*j = -106*j + 15. Is (-78)/18 + 3 - 1465/j composite?
False
Let i be (-11 - -104) + (1 - 2). Suppose 2*x + 4*o - i = 208, -5*x - 4*o + 756 = 0. Suppose -x - 170 = -4*y - 5*n, -3*y + n + 251 = 0. Is y composite?
False
Let u = -182 - -190. Suppose 26*g - 18702 = u*g. Is g a prime number?
True
Suppose -5*b + 13*y + 294967 = 9*y, 5*b - 3*y = 294974. Is b composite?
True
Suppose -2*c - 78960 = 27744. Is c/(-27) - (8 + -1) a prime number?
False
Suppose -3 = 3*f, -5*f = 4*o - 3*f - 66. Let n(q) = 10*q**2 - 21*q - 12. Is n(o) a prime number?
True
Let a be 48/8 - 0 - 2. Is (6418/a)/((-105)/(-98) + -1) a composite number?
True
Suppose n - 12 = -n - 2*r, 2 = -3*n - 13*r. Let f(z) = -6 + 127*z + 219*z + 27. Is f(n) a prime number?
True
Suppose 0 = -42*g + 149*g - 164994. Let w = 9 + -5. Is ((-54)/(-81))/(w/g) a prime number