o, -2*t = 2*o - 6. Suppose t*c = 2656 - 324. Is c a prime number?
False
Let u = 15880 - 4923. Is u prime?
True
Let a(q) = -q**2 + q + 2. Let l be a(-3). Is 1535/l*4/(-2) a prime number?
True
Suppose l - 5*c - 5402 = -l, 16 = 4*c. Let b = l + -1772. Is b composite?
True
Let z(g) = g**3 - 11*g**2 + 10*g + 8. Let a be z(10). Suppose -533 + 5725 = a*m. Is m composite?
True
Let m(p) = -p**2 - 2. Let y be m(-2). Is 116 - y*2/4 a prime number?
False
Is (-6)/((22 - 20)/(8002/(-3))) composite?
True
Suppose -3*v - 42 = 3*h, 2*v - 4*v = 5*h + 43. Let g be (-3 + v/(-3))/(-4). Suppose -2*a - 5*m + 197 = g, -2*a + 182 = 3*m - m. Is a prime?
False
Let a = -240 - -92. Let v(h) = 35*h**2 + h - 3. Let i be v(-3). Let d = i + a. Is d prime?
False
Let r = 180 - -232. Let o = 2279 - r. Is o prime?
True
Let q be (3 - 0)/(-12) + 16642/8. Suppose -8*j + q = -2968. Is j composite?
False
Let n(y) = -142*y**3 - 7*y - 1. Is n(-4) a prime number?
False
Let k(l) be the third derivative of 13*l**6/12 + l**5/60 - l**4/8 + l**3/6 - l**2 - 1. Is k(3) prime?
True
Suppose p - 8*i - 1 = -6*i, -10 = -4*p + 5*i. Suppose -p*n + 3*n + 1124 = -2*j, n - 5*j = 582. Is n a prime number?
True
Suppose 2*j = -4*p - 108, 0 = -4*p + 2*j + 2*j - 120. Let g be p/98 - 737/(-7). Suppose -5*n = 2*n - g. Is n a prime number?
False
Is (-2)/((-1417230)/354303 + 3 + 1) a composite number?
False
Let t(f) = -19*f - 13. Let v be (-2 + 15/6)*-12. Let m be t(v). Suppose -q + m = -20. Is q composite?
True
Suppose 122635 = 10*a - 44955. Is a composite?
False
Suppose -3*c + 3*t + 2*t = 16, -1 = -2*c + t. Suppose 2*k - c*j - 688 = 1126, 4*j = 2*k - 1818. Is k a prime number?
False
Suppose 4*d = 2*d. Let a(u) = 30*u - 28. Let r be a(5). Suppose 3*n - f + 1 - 98 = 0, -4*n + 5*f + r = d. Is n prime?
False
Is (12279/6)/(1/10) prime?
False
Suppose -i = -4*g - 0*i + 5, -4*i - 20 = -5*g. Suppose 5*l = -u + 4700, g = l - u - 658 - 288. Is l prime?
True
Let o(w) be the second derivative of -w**4/12 - 17*w**3/6 - 6*w**2 + w. Is o(-10) composite?
True
Let h be (-4 + 18)*(-54)/(-21). Suppose 8 + 4 = -4*f. Is h/(-54) - 95/f composite?
False
Suppose 2*v = -5*s - v - 1074, 4*v + 640 = -3*s. Is s/(-15) - 2/5 prime?
False
Let o = -26 + 24. Let y be -1*(0 + o + -227). Suppose -843 = -2*r - y. Is r composite?
False
Suppose 23*h + 5*v - 25785 = 18*h, h + 5*v = 5173. Is h prime?
True
Let r = 46 + 3. Is 82971/r + 6/(-21) a composite number?
False
Let p(l) = -13*l**2 - 21*l - 156. Let o(q) = -3*q**2 - 5*q - 39. Let r(y) = -9*o(y) + 2*p(y). Is r(17) composite?
False
Suppose -17*j - 980 = -3*j. Let s = j + 91. Is s composite?
True
Let q be (-444)/(-48) + (-2)/8. Suppose d = 17 + q. Is d prime?
False
Suppose -3*i + 11 = 2*z, i - 1 = 2. Let b(f) = f**2 - 11*f + 48. Let m be b(11). Let n = z + m. Is n composite?
True
Suppose -73821 = -5*b + y, -11*y + 8 = -9*y. Is b a prime number?
False
Let s(m) = 44*m + 49. Is s(11) composite?
True
Suppose v + 10 = -a - 0*v, -2*a - 4*v = 20. Let q = 15 + a. Suppose -q*j + 1371 = -84. Is j a prime number?
False
Let b(d) = 17*d**2 - 2*d + 28. Let w(p) = -84*p**2 + 11*p - 140. Let k(x) = 11*b(x) + 2*w(x). Is k(5) composite?
False
Suppose 0 = 4*x - 2*x + 24. Let u = x + 10. Is (2 + (-582)/u)*1 a prime number?
True
Let m(a) = 497*a**2 + 7*a + 9. Is m(8) prime?
True
Is (-4)/(-24) + 7975*33/18 prime?
True
Suppose 4*s - 26089 = 22651. Is s a composite number?
True
Let a(k) = 3*k**2 - 22*k - 334. Is a(-33) prime?
True
Let s be 4*(-3)/(-12) + 2. Is (2/s)/(6/13293) prime?
False
Let x(g) = 68*g + 177. Is x(35) prime?
True
Let u(d) = 467*d**3 - d**2 + 9*d - 26. Is u(3) a composite number?
False
Let v(r) = 5 + 74*r - 7 - 25*r. Is v(11) a prime number?
False
Suppose 3*i + 0*i - 807 = 0. Suppose 2*j = 345 + i. Is j a prime number?
True
Suppose 2*b + 2855 = 18513. Is b prime?
True
Let a(v) be the second derivative of 0 - 5/3*v**3 + 7/2*v**2 - 2*v + 1/10*v**5 - 7/12*v**4. Is a(6) composite?
False
Let l(f) = -304*f - 39. Is l(-5) a prime number?
True
Let a(o) = -58891*o - 18. Is a(-1) a composite number?
True
Suppose -2*d - 4*a = -20, a - 24 = -4*d - 3*a. Let s(j) = 9 + 13*j**d - 6*j - 3*j - 5*j - j**3. Is s(11) composite?
False
Let j(y) = 6 - 12*y - 10*y + 5*y. Let p be j(-6). Suppose -3*l + 57 = -p. Is l a prime number?
False
Suppose 6947 = r - 4632. Is r prime?
True
Is 95312/3 + (-475)/285 composite?
False
Let p(h) = 2*h**2 + 24*h - 14. Let w be p(-12). Let q(i) = i**2 - 2*i - 1. Let m be q(5). Is (-4)/m + (-5786)/w a composite number?
True
Suppose -2*f - 3*f + 3385 = 0. Is f composite?
False
Let p(l) = 91*l**3 + 3*l**2 - 7*l + 5. Is p(4) a composite number?
False
Let i = 16103 - 9058. Let s = i - 4874. Is s composite?
True
Let s be (4 + -2)*6/4. Suppose -z - z = d - 1, -5*z + s*d = 14. Let v(c) = 221*c**2 + c + 1. Is v(z) composite?
True
Let s(w) = w + 1. Let r be s(1). Suppose v = -z - 1, -v = r*z + 2*v + 3. Suppose -5*p = 3*d - 649, d = -3*p - z*p + 391. Is p a composite number?
False
Suppose 3*x + 2*p - 47 = 6*p, -p - 33 = -2*x. Suppose 5 = -4*m + i + x, 4*m - 28 = 5*i. Suppose -3*k + 2659 + m = 0. Is k a composite number?
False
Let l(y) = y**2 + 374. Let v be l(0). Suppose 2*u - 736 = -2*u - 3*f, -3*f + v = 2*u. Suppose -2*c = d - 59, -3*d = d - 3*c - u. Is d a composite number?
True
Suppose 5*w + 6 = -4, -o + 5*w = 601. Is (-3 + 1 + -2)*o/52 a composite number?
False
Let o(h) = h**3 - 6*h**2 + 3. Let t be o(6). Let q = 347 + -44. Suppose 0 = 4*i - 2*w - 562, -t*w - q - 111 = -3*i. Is i a composite number?
True
Let o = 7 - 3. Suppose -4*x - 2*l + l = -1868, 0 = -4*x + o*l + 1868. Is x composite?
False
Let n = 455 + -294. Suppose 34 - n = -o. Is o composite?
False
Let l(h) be the third derivative of h**6/120 + 3*h**5/10 - 3*h**4/4 + 19*h**3/6 + 8*h**2. Let p be l(-19). Suppose p = -6*j - j + 6447. Is j composite?
True
Let g be (-24120)/(-7) + (-34)/(-119). Let o = -2053 + g. Is o a composite number?
True
Suppose 1742 + 26250 = 2*u + 2*h, 4*h = 12. Is u a prime number?
False
Let u = -297 + 678. Is u composite?
True
Let p be 1/(-4*3/(-372))*-14. Let v = p + 645. Is v composite?
False
Let f(k) = -k**3 - k**2 + 2*k + 2. Let y = 11 + -2. Suppose 0*m - y = 3*m. Is f(m) a composite number?
True
Let f = -2 - -7. Let k be 4 + -3 + -2 + f. Is 7/(-28) + 349/k a composite number?
True
Let s be (3 + (-4)/2)*(1 - -2). Suppose 8*u = 3*m + 3*u - 1818, s*u - 9 = 0. Is m prime?
False
Let h(l) = -1778*l - 139. Is h(-37) composite?
False
Suppose -2*b = 4*d - 1614 + 300, -3*b = 5*d - 1640. Is d a composite number?
False
Let t(v) = -136*v + 557. Is t(-50) a composite number?
True
Suppose -16*c = 39415 - 219783. Is c composite?
False
Suppose 3*o - 9856 = -5*n, -5*n - 6363 - 216 = -2*o. Is o a prime number?
False
Suppose -h + t + 839 = -4*t, 4*h - 3356 = 5*t. Is h a composite number?
False
Is (-36)/(-234) + (-213107)/(-13) + 4 prime?
False
Suppose 39*a - 26*a = 166751. Is a prime?
False
Is 5 + ((-371028)/245)/(3/(-10)) a prime number?
False
Suppose 0 = 3*p + p - 8. Let h be p/(6/(-9))*-1. Is -1399*(0 - h - -2) composite?
False
Let q = 1888 - 1209. Is q prime?
False
Let s(i) = 47*i**2 - 4*i + 8. Is s(5) a composite number?
False
Let n(a) = -3*a**2 - 5*a + 6. Let f be n(-5). Let i = -96 + 191. Let d = f + i. Is d a composite number?
True
Let r = 175 + -192. Let o(z) = 10*z. Let p be o(-5). Let y = r - p. Is y prime?
False
Suppose 0 = -20*h + 34806 + 315974. Is h a prime number?
True
Let x(o) = 6 - 17*o + 31*o - 15*o. Let v be x(4). Suppose -3*t = 5*d - 232, -d + 100 + 57 = v*t. Is t prime?
True
Let a = 904 - -6055. Is a a composite number?
False
Let n = 6226 - 2585. Is n composite?
True
Let j(u) = u**2 - 5*u + 1. Let a be j(5). Is (-4)/(8/6) - (-134)/a prime?
True
Suppose -4*t + 0 = -3*f - 14, 3*t - 3*f = 9. Suppose -o + 3*d = -9, 5*o + t*d = 4*d + 29. Suppose 0 = -s + o + 43. Is s prime?
False
Suppose 0 = -t - 2 + 10. Suppose 6*c - t*c + 694 = 0. Is c a composite number?
False
Let g(f) = 3*f + 18. Let j be g(-5). Suppose 2255 = j*a - 5*m, a = m + 454 + 295. Is a a composite number?
True
Is 6 + 35608 + 8 + -19 prime?
True
Let c(k) = -327*k - 15. Let l be c(7). Let w = -1245 - l. Is w prime?
False
Suppose 4*l + 4*v = 6228 - 1456, -1181 = -l + 2*v. Is l prime?
False
Let b = -18 + 20. Is 2 - (b - 107)/3 a composite number?
False
Let d = 