= n + m. Is l a prime number?
True
Let v(j) = -3*j + 32. Let x be v(9). Suppose 8*d - 3*d - 5 = 0, 1700 = -x*f - 5*d. Let s = f + 3748. Is s composite?
False
Is (182585455/(-390))/(3/(-18)) composite?
False
Let t(n) = 1255*n**2 + 343*n - 6009. Is t(19) prime?
False
Let l = -20 + 91. Let r = l + -69. Suppose 0 = -b - 4, -3*b = 4*z + r*b - 5408. Is z a prime number?
False
Let q(u) = 25174*u**2 + 3*u + 13. Is q(-4) composite?
True
Let u(l) = -393*l**2 + 7*l + 4. Let a(p) = 394*p**2 - 6*p - 3. Let b be (4/(-4))/((-5)/25). Let x(k) = b*a(k) + 4*u(k). Is x(1) composite?
False
Let n be (-8)/(-24) - 2/(-3). Let p be (0/n)/(-9 - -7). Is 940/1 - (-1 - p) a prime number?
True
Let w(m) = 81*m**2 + 8*m - 25. Let q be 2/4*-6 + -3. Is w(q) a prime number?
True
Let a be (29 + 7037)/((-2)/4). Let k = a - -20113. Is k a prime number?
True
Suppose 2*f = -28*x + 32*x + 421790, 2*x = -3*f + 632709. Is f composite?
False
Let n(c) = c**3 - 14*c**2 - 17*c + 32. Let z be n(15). Suppose k + z*b = 1787, -5*b + 177 = k - 1616. Is k composite?
False
Suppose -20*o + 14686719 = 6*o - 17253007. Is o a prime number?
False
Suppose 0 = 54*x + 37*x - 15*x - 284164. Is x prime?
True
Let f be 3762/76*(-99 + (-2 - -1)). Let h = 973 - f. Is h prime?
True
Suppose 0 = -90*y + 11231523 + 15175803 + 1177584. Is y composite?
True
Let k(o) = o + 6. Let v be k(10). Let j be 1/((v/1740)/4). Let l = -116 + j. Is l a composite number?
True
Suppose -47*q + 224432 = -919125. Is q composite?
True
Let n(i) = -i**3 + 2*i**2 - 2*i + 4. Let o be n(0). Suppose -5*j = -4*f + 20808, f = o*f + 2*j - 15583. Is f prime?
True
Let v(f) = 5 + 3*f + 16*f + 2*f. Let w = 159 + -155. Is v(w) a composite number?
False
Suppose 0 = 258*w + 722805 - 3544551. Is w composite?
False
Let f = -763 - -1466. Suppose -2*o + 137 = q - 3*o, -5*q - 4*o = -f. Is q a prime number?
True
Let w = -167869 + 330012. Is w composite?
False
Let h = 85 + -77. Suppose h*a + 61639 = -8569. Let f = 12623 + a. Is f prime?
True
Let s(w) = -8*w**3 - w**2 - 2*w - 2. Let j be s(-3). Let q = 119 - j. Let b = 327 + q. Is b a prime number?
False
Let s(f) = 171*f - 12. Let l(p) = 170*p - 12. Let z(c) = 4*l(c) - 3*s(c). Let o = 1537 - 1534. Is z(o) a prime number?
False
Let q(l) = -l**3 + 6*l**2 + 7*l - 17. Let b be q(6). Suppose -28*m + 615 = -b*m. Is m prime?
False
Suppose 0 = -58*z + 83257817 + 36377913. Is z prime?
False
Suppose 5*m + 2*s = 211625, 0 = 3*m - 3*s - 31170 - 95784. Is m prime?
True
Suppose 3*b = b + 4. Let g be (-2489)/(-7) - (-1312)/(-2296). Suppose b*f - 440 = 2*n - 64, -g = -2*f - 5*n. Is f a composite number?
True
Suppose -5*h + 105 = 10*h. Suppose -24*r = -h*r - 70601. Is r prime?
True
Let v = -2539 - -469776. Is v prime?
True
Let c be ((-1)/2)/((-1)/16). Let p(w) be the third derivative of -w**6/120 + w**5/6 + w**4/3 - w**3/6 - 65*w**2. Is p(c) a composite number?
False
Let w(g) = -6 - 4768*g - 6 - 9 + 5 - 9. Is w(-2) prime?
True
Suppose 8*u + 6*u = 42. Let a(r) be the second derivative of 7*r**5/20 - r**4/6 + r**3/2 - r**2/2 - 2*r. Is a(u) a composite number?
False
Suppose 5*o + 2371357 = -5*b + 9722782, -o + 1470293 = 3*b. Is o a composite number?
False
Let t be (-3 + 19)*3/8*-554. Let b be -2*1*(2 - t/(-8)). Let c = b - -558. Is c a composite number?
True
Let r(b) = 103*b + 3. Let n(k) = k**3 + 2*k**2 - k. Let t be n(-2). Suppose t*j - 12 = -j. Is r(j) a prime number?
False
Let f be 32/(-10) + (216/30 - 7). Is f - -5294 - (3 + 1) a composite number?
True
Let m = 32768 + -13311. Is m a composite number?
False
Is (-58 + 1)/(2/((-120114)/27)) composite?
True
Let c(b) = 4874*b + 43. Suppose 4*l + 12 = -4*m, -5*m + 15 = -0*l - l. Is c(m) composite?
False
Is (-127 - -123)*(-1604428)/16 composite?
True
Suppose -62045875 = -171*b + 7410886 - 13326524. Is b prime?
False
Is (-9)/(-24) - 297617050/(-400) a composite number?
False
Let k = -46252 - -362859. Is k composite?
True
Let q be ((-6)/(-9))/(3/63*-2). Let y(x) = 19*x**2 - 29*x + 17. Is y(q) prime?
True
Let o = -16 - 9. Let s be (-2 + (-30)/o)/(4/30). Is (s/4)/((-6)/6340) prime?
False
Let n(p) = -3*p + 0*p**2 + 11*p**2 - 1 + 12 - 4*p**2 + 6*p**3. Is n(6) a composite number?
True
Let c(r) = 20*r**2 - 22*r - 3. Let y be c(-8). Let f be 3*2/(-6) + y. Suppose -2*h = -a - 10647 + f, -h = a - 4596. Is h prime?
True
Suppose 12*v + 19997 = 88121 + 127152. Is v a prime number?
True
Suppose 0 = -3*i + 4*b, 5*i = -12*b + 9*b. Suppose -80*c + 96*c - 2576 = i. Is c prime?
False
Suppose 6*m - m + 3*y = -29, -2*m = 5*y + 23. Let u(k) = -91*k**3 + 6*k**2 + 10*k + 10. Let b be u(m). Suppose -13*a = -3*a - b. Is a a prime number?
False
Let x be (8*5/80)/((-2)/8). Let d = -26 + x. Is ((-259)/14)/(2/d) a prime number?
False
Let u(o) = -140*o - 48. Let m be u(6). Let q = 1789 + m. Is q composite?
True
Suppose 37 = 5*u - 3. Suppose -5305 = -u*j + 3*j. Let a = j - 420. Is a prime?
True
Suppose 0 = -45*u + 47*u - 2146. Let k = 722 + u. Is k a composite number?
True
Suppose 0 = -4*o + 5*q - 2*q - 3, o - q + 2 = 0. Let d be (o/12)/(123/60 - 2). Suppose 3069 = d*b - 10826. Is b a prime number?
False
Let l(g) = 4053*g**2 + 39*g - 137. Is l(4) a composite number?
True
Let s(q) = 77*q**2 - 11*q + 64. Let v be s(7). Suppose -12*i + v = -11756. Is i a composite number?
True
Let n be (2 + (-15)/9)*(1432 - -2). Let q = 722 - n. Suppose z = 1233 - q. Is z composite?
True
Let c(p) be the first derivative of -13*p**2/2 + 11. Let a be c(-3). Suppose y - 28 = a. Is y composite?
False
Suppose -81*l = -77*l. Let s be ((-4)/12)/(l - 3/6975). Suppose -b + 259 = 3*r, -3*b + s = -r - 42. Is b a composite number?
False
Let o(x) be the first derivative of -2243*x**2/2 - 95*x + 69. Is o(-2) prime?
True
Suppose 2*h - h + 3*h = 0. Suppose h = 40*o - 38*o - 198. Let a = 34 + o. Is a a prime number?
False
Suppose -d + 5 = 2*f - 4, 4*f + 4*d - 8 = 0. Suppose 4 = f*j - 17. Is j - (-9)/((-9)/(-16)) prime?
True
Suppose 13711 - 2186 = -5*a. Let w = a - -8138. Is w a composite number?
True
Let z = -127579 + 238832. Is z prime?
True
Let q = -18995 - -47889. Is q prime?
False
Let v(p) = -2*p**3 - 7*p**2 - 6*p - 6. Let l be v(-3). Suppose 0 = 3*u - 15, 188 = 12*m - 11*m - l*u. Is m composite?
True
Let f(i) = 32*i**3 - 17*i**2 + 21*i + 17. Let p be f(7). Suppose 4*c + 4*a = 13748, -10*c + 2*a - p = -13*c. Is c a composite number?
False
Suppose -5*c - 3*v = -c - 250, 3*v = -c + 58. Let g(z) = -11*z**2 + 3*z**3 - 53 - 16*z + 0*z**2 + c. Is g(9) prime?
True
Let o = -275785 + 402182. Is o composite?
False
Let n(z) = 14*z**2 - 208*z + 649. Is n(-71) a prime number?
True
Let s be 569 + (-5 - (-7 + -5)). Suppose 29*h - 44171 - s = 0. Is h a prime number?
True
Let s = -75 + 77. Let t(l) = 2*l**s + 19*l**3 - 18*l**3 + 11*l**2 - 14*l - 1. Is t(-11) composite?
True
Let h(f) = -f**2 + 4*f + 3246. Let j be h(0). Let g be (-1)/2 - j/4. Let n = 2065 + g. Is n a composite number?
True
Let l = -7 + 12. Let g = 670 - 660. Suppose 5*r + g = 35, x - 608 = l*r. Is x composite?
True
Suppose 0 = -2*x - 2*h + 6470 - 2376, 4094 = 2*x - 5*h. Is x + (-13)/(39/(-18)) a prime number?
True
Let k be 3 + 8787/(-11) + 6/(-33). Let h = -539 - k. Is h a composite number?
False
Let m = 771 - -171. Is (-10 - -9)/(m/943 + -1) prime?
False
Suppose 5*v - 8*v = -12. Suppose v*l + 0 = 12. Suppose -l*h = -2*r + 230, 0 = -4*r - 3*h + 483 - 59. Is r a composite number?
False
Let w(c) = 241*c**3 - 10*c**2 - 17*c - 13. Is w(10) a prime number?
False
Suppose -1194 - 2718 = -4*g. Suppose -o + t = -474, 2*o - 10*t + 9*t - 950 = 0. Let l = g - o. Is l a composite number?
True
Let f(h) = -393*h**3 + 12*h**2 + 7*h + 31. Is f(-5) composite?
True
Let o(n) = -30*n**3 - 22*n**2 - 128*n + 1. Is o(-14) a composite number?
False
Let n(f) = 9*f - 42. Let j be n(4). Is 6*j/(-72)*586 prime?
True
Suppose 0 = 3*t - t - 2022. Let o = t + -388. Let f = -208 + o. Is f composite?
True
Let b(g) = 307*g + 16. Let j be b(7). Suppose -2*o - 3 = 3, -5*o + j = 5*l. Suppose -1124 = -8*a - l. Is a composite?
True
Let g be (0/2)/((24/4)/(-3)). Suppose g = k + 3*k - 1236. Let m = k + -196. Is m prime?
True
Let g = -67330 + 138153. Is g a prime number?
True
Let w(v) = 5*v - 72. Let i be w(14). Is 4 + i - (-2 + -3295) a composite number?
False
Is (5 + (-41886394)/(-155))*(6 - 1) a prime number?
True
Let z = 204455 