s + s - 16 = t. Let o(c) = 6*c**2 + 14*c + 25. Is o(s) prime?
False
Let j(b) = -286*b - 359. Is j(-70) a prime number?
True
Suppose -4*u - 4*x + 125360 = 0, 246*u - 62710 = 244*u + 4*x. Is u a prime number?
False
Suppose -p + 2*p = 3, 0 = 5*a + 4*p - 9132. Suppose a + 1951 = 5*z. Is z prime?
False
Let w(j) = j**2 + 23*j + 24. Let r be w(-22). Let q be (5 - 1)/1 + (5 - r). Suppose 31 = -q*f + 164. Is f a prime number?
True
Let v = -78 + 92. Is 37200*2/21 + 2/v composite?
True
Let a(l) be the second derivative of -l**5/20 + 11*l**4/4 - 17*l**3/3 - 7*l**2/2 + 18*l + 3. Is a(29) prime?
True
Let x(n) = -9*n**3 - 121*n**2 - 67*n + 138. Is x(-35) composite?
True
Let g be (-52)/(-650) - (-40646)/50. Suppose g*k = 818*k - 3715. Is k a prime number?
True
Let q = 5548 - 2576. Let v = q - 1679. Is v composite?
True
Let t be ((-10)/4)/(17/374). Let l = -50 - t. Suppose l*d = 6*d - 23. Is d composite?
False
Let b(a) = -2*a - 15. Let l be b(-5). Let m be (-4 - l)/((-1)/(-3)) - 3. Suppose 2*k = m, -4591 - 1653 = -4*d + 5*k. Is d a composite number?
True
Let b(p) = 15*p - 3*p**2 - 26 + 18 - 2*p**2 + 5*p**3 + 19 + 7*p**2. Is b(8) a composite number?
False
Suppose r - 43931 = -o - 3*o, -o = 3. Let b = -30559 + r. Is 14/35 - (b/(-10))/4 composite?
True
Is (0 + -2 - -10056) + (-73 - -80) prime?
True
Let x(s) = -6479*s + 4382. Is x(-81) a prime number?
True
Let y(d) = -d**2 + 8*d - 7. Let m be y(6). Let v be (-29)/116 + (-17)/(-4). Suppose 0 = 2*w - m*h - 777, 2*h = -2 - v. Is w composite?
True
Suppose 5*c = 5*s + 85, -5*s = -2*c - 0*c + 34. Suppose 13*r - 3870 = -c*r. Is r prime?
False
Let u(j) = -j**3 + 2*j**2 + 3*j. Let v be u(-1). Let g(r) = r**2 + 6*r - 2024. Let l be g(v). Let t = l + 2911. Is t prime?
True
Let g = -9556 + 20571. Is g a prime number?
False
Let v(k) = -3*k + 1841. Let o(n) = -1. Let m(q) = -6*o(q) + v(q). Let d = -69 - -69. Is m(d) a prime number?
True
Let v(r) = -259229*r - 339. Is v(-2) a composite number?
True
Suppose 58*o = -11*o + 14713017 + 58986. Is o a composite number?
False
Suppose -9 - 18 = -3*p. Suppose -5*h - 4*q - 6 = -2*h, 3*q = -p. Is (3809/(-39))/(h*2/(-12)) composite?
False
Let k(a) = 633*a - 75. Let i(x) = x - 2. Let l(z) = -3*i(z) + k(z). Is l(7) a composite number?
True
Suppose -3039065 = -5*s - 0*c - c, 2*c + 1215626 = 2*s. Is s prime?
True
Let n = 261877 - 161834. Is n a prime number?
True
Is (-1399)/(11/693*-9) a composite number?
True
Suppose 2*m - 19824 = -6972. Suppose j = -r + m, -4*r + 25270 = -2*j - 404. Is r prime?
True
Is (2 - 9/6)*(518168 + -334) a composite number?
False
Let g(b) = 254*b**2 - 23*b - 155. Let m be g(-18). Suppose -5*r + w = -82530, 0 = -5*r - 5*w + w + m. Is r composite?
True
Let v(f) = -71*f + 10. Suppose -8*a + 4*a = 68. Let c = 8 + a. Is v(c) a composite number?
True
Let h be (-56)/(-4) - (0 - -3). Let p be (h/(-22))/((-2)/(-24)). Is (((-21)/p)/7)/((-1)/(-1294)) a composite number?
False
Is -2 + (3 - -1) - (-199846 - (-3)/(-1)) prime?
False
Suppose 19*p + 90*p - 9*p - 2965100 = 0. Is p prime?
False
Suppose -3*i - 21 = -27. Suppose 20 = 4*d + d. Suppose f = 11*j - 14*j + 3178, -d*j = i*f - 4234. Is j a composite number?
False
Suppose 1108222 = 4*r - 3*w, 11*r - 11*w - 3047579 = -8*w. Is r prime?
True
Let o(b) = -54*b + 2. Let p be o(-1). Suppose -3*n + 5*j = -209 + p, -4*n = 2*j - 178. Suppose n*r = 49*r - 3858. Is r a composite number?
True
Let t = -5308 + 9480. Suppose -3802*z = -3793*z - 21735. Let q = t - z. Is q composite?
True
Suppose -4*t = -3*t + f, 0 = -4*t - f + 12. Suppose w + 5 = -t*v + 16, w + 1 = 0. Is ((-416)/(-6) + 1)*v a composite number?
False
Let h = 18 + -7. Let n(b) = 11*b + 1. Let r(a) = 153*a + 12. Let q(k) = -4*n(k) + r(k). Is q(h) a composite number?
True
Let w(a) be the second derivative of 5141*a**5/20 + a**4/3 - a**3/2 - a**2/2 + 2*a - 49. Is w(1) composite?
True
Let v(p) = p**2 - 17*p + 54. Let w be v(13). Suppose 11618 = 72*t + w*t. Is t prime?
True
Let v(u) = -2*u**2 + u + 1078. Let z be v(0). Let b = -704 + z. Is ((-23)/(-2))/(11/b) prime?
False
Suppose 30*c + 120492 - 21704899 - 6990023 = 0. Is c a composite number?
False
Let j(l) = -1221*l + 65. Let b be j(-11). Suppose -2*f = -b + 3562. Is f a prime number?
True
Let k be (12 + -3)/3 - 35/(-5). Suppose 10*t = 5*t + d + 42965, 0 = -2*d - k. Is 2/(-3)*t/(-32) prime?
True
Suppose -21126 = -c + 8*c. Let f = -2033 - c. Is f composite?
True
Suppose -427460 - 512182 = -66*l. Is l a composite number?
True
Let q = -13739 - -1060. Let i = -8118 - q. Is i composite?
False
Suppose -5*t + 5 = -4*o, 2*o = -t - 2*t + 25. Let q be (t - 361)/(1/(-2)). Suppose n = -155 + q. Is n prime?
True
Let v = 813437 + -412758. Is v composite?
False
Let u(r) = -33*r**3 + 13*r**2 + 13*r + 1. Let z be u(-1). Is (-35 + z)/((-2)/24706) prime?
False
Let z(v) = -v**2 + 32*v - 175. Let i be z(25). Suppose 5*p - f = -5*f + 1639, p - 4*f - 323 = i. Is p a composite number?
True
Is (-1007690)/(-18) + (-272)/72 + 4 a composite number?
True
Let r(c) = 2508*c**2 + 8*c - 13. Let g be r(4). Suppose -4*i - 8982 - 41207 = -5*a, 4*a = -i + g. Is a a composite number?
False
Suppose -4*l = -5*u + 25 + 68, -u + 2*l = -21. Is 97 - 0 - (u + -17) prime?
True
Let c be (-10 - -5) + 2/(4/(-150)). Is (c/32)/(1/(-1202)) composite?
True
Let z(k) = 41859*k**3 - k**2 - 17*k + 16. Is z(1) a composite number?
True
Let s(r) be the third derivative of 7*r**5/30 + r**4 - 61*r**3/6 + 102*r**2. Is s(24) a composite number?
True
Let p(g) = g**3 + 7*g**2 - 10*g - 11. Let y be p(-8). Suppose -27492 + 6197 = -y*t. Suppose -6*x = -x - o - 5302, -t = -4*x - 5*o. Is x a composite number?
False
Suppose -8*w + 447931 = -185773. Is w composite?
True
Let c(v) = 176*v**2 + 34*v - 249. Is c(17) a composite number?
False
Let z = 356 - 351. Let n be (-22)/(-6) + 1/3. Suppose z*i - 611 - 1380 = -3*m, 0 = 2*m - n. Is i composite?
False
Suppose -21*k = -137107 - 380711. Let j = k + -3117. Is j prime?
False
Let i(r) = -28*r**3 - r**2 - 17*r + 23. Is i(-15) a prime number?
False
Let m(f) = -82*f**3 - 6*f**2 - 88*f + 63. Is m(-10) a prime number?
False
Let y(s) = 7*s**2 + 12*s - 72. Let w(n) = -n - 2. Let c be w(-21). Is y(c) prime?
True
Suppose k - 6874 + 2569 = 0. Let g = k - 2356. Is g prime?
True
Suppose 0 = 3*f, -6*k + k + 5*f + 225 = 0. Let x = 50 - k. Is (-3)/(-60)*x - (-635)/4 prime?
False
Suppose -1726447 - 855826 = -79*o. Is o composite?
False
Let m be ((-324)/(-15))/((-12)/(-40)). Suppose 3*b + 210 = -4*h - 104, 4*b = -h - m. Is (-3)/5 - 376928/h a composite number?
True
Let m(i) = -9*i**3 - i**2 + 14*i + 10. Let x be m(-7). Let g = x - 1035. Is g a composite number?
True
Suppose -2*z + 32 = -8. Suppose -15*s = -z*s + 40. Suppose 3*p - s*p = -3095. Is p prime?
True
Let k(x) = 33 + 8*x + 6*x - x**2 + 0*x**2. Let t be k(16). Is (1602/(-27))/(((-4)/30)/t) a composite number?
True
Let p = 1759535 - 254104. Is p composite?
False
Let q(n) = -n**3 - 10*n**2 - 19*n - 24. Let s be q(-8). Suppose s = 15*b - 77886 + 14991. Is b composite?
True
Suppose -2 = -m + 3. Suppose z = m*d - 25, -z - 3 = 3*d + 2*z. Is (10/15)/(d/1578) prime?
True
Let f(d) = 32719*d**2 - 69*d - 123. Is f(-4) composite?
False
Suppose -58*i = -62*i + 172. Suppose 0 = i*r - 73505 - 640338. Is r a composite number?
True
Let q = 88 - 83. Suppose 7 + 923 = -q*g. Let h = 503 + g. Is h a prime number?
True
Suppose 1903 - 4618 = -3*t. Suppose t - 2633 = -12*h. Let p = 77 + h. Is p composite?
True
Let s(t) = 1 + 3 - 2 - 1 - 233*t. Suppose -2*a = -2*b - 22, -3*b - 4*a + 7 = a. Is s(b) a prime number?
True
Suppose 10*w = 12*w - 6. Let t be -1*(w - 2) + -10. Let c(m) = -m**3 + 10*m**2 - 7*m + 13. Is c(t) a composite number?
True
Let d = -122176 - -175685. Is d prime?
False
Let i = -2437 - -4192. Suppose -p - 8*p = -42228. Suppose -p = -3*g + i. Is g composite?
True
Suppose 0 = 4*r + 12, -3*b + 2*r + 15660 = -6*b. Is (b/(-14))/(1/7) prime?
True
Suppose 9*z + 22 = -2*z. Let v be z*5/40 + (-6)/8. Is (v - -2)/(1/2437) a composite number?
False
Suppose -936*l = -920*l - 57488. Is l prime?
True
Let v be 21/4 - 26/104. Suppose 3124 = d - 3686. Suppose 0 = v*y + 4*l - 5*l - d, 4*y - l - 5449 = 0. Is y prime?
True
Suppose -1068671 + 423595 = -23*k + 2577891. Is k composite?
True
Suppose -d - 4815 = -l, 2 = -5*l - 8. Let h = -2320 - d. Is h a