17*a**2 + 9*a. Let l(r) = 18*r**2 + 9*r - 2. Let j(p) = -5*l(p) + 6*z(p). Is j(k) composite?
True
Let y(t) = -791*t - 6. Let f(j) = 790*j + 5. Let a(g) = 4*f(g) + 3*y(g). Let x be a(1). Is (-4)/(-2)*x*(-7)/(-6) a prime number?
False
Suppose 25*p - 152405 = 43670. Let o = p + -4088. Is o composite?
True
Let n(k) = -k**2 + 239. Let q = -52 + 57. Suppose 4*f = 2*i + 8, -q*i + f = -4*f + 10. Is n(i) composite?
False
Let m(q) = -9*q - 24. Let n be m(4). Let d = n + 65. Is 971/d - 5/25 a prime number?
False
Suppose -o = 5*o + o. Suppose o = -3*g + 6*g - 15. Suppose -6181 - 2484 = -g*t. Is t prime?
True
Let w(y) = 16*y**3 - 23*y**2 - 439*y - 59. Is w(35) a composite number?
True
Suppose -5*f = 2*l - 567893, -3*l - 4*f + 342910 + 508933 = 0. Is l a prime number?
True
Let d(y) = 12812*y + 1165. Is d(11) prime?
True
Let m(o) = -31 + 4*o**2 + 9*o - 349*o**3 + 182*o**3 + 186*o**3. Is m(6) a composite number?
False
Suppose -2*m - 9 = -5*m. Suppose 0*a + m*a = -2*a. Suppose 0 = -l + 5*w + 1741, a = 2*l - 6*l + 5*w + 6964. Is l composite?
False
Suppose 13*j - 53*j + 440 = 0. Suppose 0 = -4*m - u + 1315, 6*m + 2*u = j*m - 1647. Is m prime?
False
Let z be 6 - (-1403 - (-24)/4). Let a = z - 832. Is a a prime number?
True
Suppose 0 = -m - 5*m - 86904. Let d = -8977 - m. Is d composite?
False
Suppose -15*r + 659117 - 165116 + 142434 = 0. Is r composite?
True
Suppose -4*t + 34040 = -3*t - 3*w, 5*w - 170060 = -5*t. Is t prime?
True
Let d = -120512 + 207049. Is d composite?
True
Let c = -30481 - -74172. Is c a prime number?
True
Let f be (-3)/(-6) + 15/(-6) + 2342. Let v be (f/(-8)*1)/(2/(-4)). Suppose 2*m - v = -231. Is m prime?
False
Let p(k) = k + 7. Let c be p(13). Suppose -c = -4*r, -i + 1 - 16 = -3*r. Suppose -8*z + 4*z + 556 = i. Is z a composite number?
False
Suppose 0 = 21*q - 35 - 49. Suppose -3*a = -l + 765, 3086 = q*l - 6*a + 7*a. Is l a prime number?
False
Suppose -b = -x + 111700, -7*x - 335094 = -10*x + b. Is x a prime number?
True
Let m(i) = -20*i**3 + 7*i**2 + 59*i + 999. Is m(-26) composite?
False
Let s(r) = 13*r**2 - 6*r + 5. Let h(w) = 65*w**2 - 30*w + 25. Let a(n) = 2*h(n) - 11*s(n). Let f be a(3). Let t = f + 153. Is t a prime number?
False
Let o be (((-411080)/(-15))/(-1))/(11/(-33)). Let s = o - 57609. Is s a prime number?
False
Suppose -134*x - 9*x = 69355. Suppose -2*w = w + 648. Let t = w - x. Is t a composite number?
False
Suppose -5*z - 2*a = -1817, -4*z + 2*z + 723 = -3*a. Let s = z + 760. Is s a prime number?
True
Suppose 1112 = -2*d - 550. Let a = d + 6848. Is a composite?
True
Suppose -2701233 = -3*o + 4*f, 5*o - 235*f - 4502033 = -232*f. Is o prime?
False
Let u(p) = p**3 - 6*p**2 - 7*p + 4. Let f be u(7). Let o be (-6 - 1257) + 0 + f. Is (0 - o)*(0 - -1) a prime number?
True
Suppose 8313 - 76993 = -8*z. Suppose -3*s - 4*w = -z + 1980, 0 = -2*s + 2*w + 4380. Is s a composite number?
True
Is (-1*5/35 - 580945/(-7)) + 1 composite?
True
Let d(k) be the first derivative of k + 6. Let h(c) = c**3 + 11*c**2 - 2*c + 6. Let a(w) = 3*d(w) + h(w). Is a(-6) prime?
False
Is ((-8656)/(-40))/(3 - 2 - 186/190) composite?
True
Let v(d) = 42632*d + 543. Is v(8) a prime number?
False
Let d(x) = -5*x - 18*x**3 - 11 + 3*x**2 + 0*x**2 + 8*x**3 + 10*x. Is d(-6) a composite number?
True
Let u(z) = -z**2 - 13*z + 12. Let g be u(-14). Let n(q) = -474*q + 3. Let v be n(g). Suppose -3*m + 431 = i, 3*i - 309 - v = 2*m. Is i composite?
True
Let z = -18 + 29. Let g(r) = -5 - 2 + r**2 + 3 + 32*r - 9*r + 7*r. Is g(z) a prime number?
False
Let o(h) = 57*h - 74 - 19*h**2 + h**3 + h**3 + 91. Is o(9) composite?
False
Let g = -160 - -166. Suppose m + g*m = 2737. Is m a composite number?
True
Suppose -3*i + 7*v = 10*v - 32742, -10934 = -i - 5*v. Is i prime?
True
Let d be ((-2)/(-4)*(-16 - -16))/1. Let t(x) = -x**2 - 16*x + 1195. Is t(d) prime?
False
Suppose -4*z + 172436 = -4*p, -15*p = -5*z - 12*p + 215533. Is z composite?
False
Is (1 + (-1178)/4)/(208/(-9568)) prime?
False
Suppose -7*u + 12 - 47 = 0. Let f = u + 8. Suppose w = -f*c + 4696, 2*w - 10709 = 3*c - 1272. Is w composite?
True
Suppose -48 = -6*j + 2*j. Let m be (-14)/(-6) + (-4)/j. Suppose 3*o - m*d - 3135 = 2*d, o = 4*d + 1053. Is o composite?
True
Suppose l - 5 = -2. Let o be 5 + 6*l/(-6). Suppose 3*u + 1286 = o*a - 1815, -2*a + 3071 = 3*u. Is a prime?
True
Suppose -367 + 8484 = a - 21522. Is a prime?
False
Let n be (-23)/(92/125280) - -2. Is (0 - n/(-6))*-3 composite?
True
Suppose 0 = 5*m - 220711 - 769709. Suppose -t + 2*n + m = -6*t, 3*t + 118839 = -5*n. Is (-4)/(-22) + 3/(-66)*t composite?
False
Let j be 5 + 3/(12/(-8)). Suppose 6 + 3 = -3*a - j*f, -f + 3 = -5*a. Is (-157)/((5 + -4)/a) composite?
False
Suppose 66*t = 74*t - 69584. Is t a prime number?
False
Suppose 3*l - 3*h + 0*h = 2067, -5*h - 1366 = -2*l. Let r = l + -334. Suppose -15*j = -r + 44. Is j a prime number?
False
Let o(v) = -186*v - 424. Let r be o(-30). Let b = r - -29825. Is b a prime number?
True
Suppose 4*q = 10*q + 144. Is (6/q)/(1/(-13044)) a composite number?
True
Suppose -3*a = -2*c - 56, 4*a = 2*c + 67 - 11. Let n = c - -33. Suppose -n*v + 512 = -2043. Is v a prime number?
False
Suppose 3*k - 4*m = 995323, 5*k - 4*m - 1327092 = k. Is k prime?
True
Let j = 7066 + -2515. Let u = 6884 - j. Is u prime?
True
Let o(q) = -24*q + 55. Suppose -6*s - 4 = 80. Is o(s) prime?
False
Let y(i) = 2*i**2 + 8*i + 2. Let r be y(-4). Let d be 182609 + r*(-4)/(-8). Is d/66 - (-4)/22 composite?
False
Suppose 2*n = 10 - 4, 5*n + 1030 = 5*z. Is (-38)/z + 55070/22 a prime number?
True
Let t = -11609 + 107932. Is t a composite number?
False
Let u(x) = -3*x + 21. Let y be u(5). Let j be (y/9)/(4/(-54)). Is (4926/j)/(14/(-21)) composite?
False
Let b = 1272839 + -616368. Is b prime?
True
Suppose 0 = -4*l + r - 10, -5*l + 3*r - 14 = r. Is (l/(-4))/((-4)/8) - -1694 a composite number?
False
Suppose 11*a - 10*a = -24. Let q = 28 + a. Suppose -4*v - 2003 = -4*z + 3405, 2734 = 2*z + q*v. Is z prime?
False
Suppose -125 = -24*z + 187. Suppose -z*n + 92659 - 24825 = 0. Is n a prime number?
False
Let h = 969905 - 457740. Is h a composite number?
True
Suppose -l + p = -1994, 19*p = -4*l + 20*p + 7979. Suppose -2*w + l - 162 = 5*a, -4*a + 1467 = w. Is a a composite number?
False
Let w(o) = -82*o - 17. Let a be w(-5). Let u = 8234 + a. Let i = u - 5808. Is i prime?
True
Let u = -440 - -455. Suppose -u*t + 6955 = 1900. Is t prime?
True
Let f(n) = 783*n - 2. Let h(v) = -2*v. Let r(k) = f(k) + 5*h(k). Is r(5) composite?
False
Let y(j) = 1853*j + 8. Let l(s) = s**2 - 9*s + 15. Let t be l(7). Is y(t) prime?
True
Suppose -61*r - 94969 = -65*r - 5*h, 2*h - 94966 = -4*r. Is r prime?
True
Let g be (18/(-4))/((-1)/2). Let w = g - 12. Is -1*(-284)/((-12)/w) a composite number?
False
Let w(d) = 652*d**2 + 28*d - 62. Let i be w(34). Suppose -73135 = 23*u - i. Is u a composite number?
False
Suppose 0 = 21*y - 18*y - 18. Suppose -l - y*l = -2317. Suppose 0 = -3*s + 4*s - l. Is s composite?
False
Suppose x + p - 457 = 0, -5*x - 5*p = -4*p - 2305. Suppose -b = -3*w + 4, 0*w - 4*b - 16 = -3*w. Suppose 3*l - 135 - x = w. Is l composite?
False
Suppose 306*b - 281*b - 531725 = 0. Is b a composite number?
False
Let p be 5/(-2)*1/(-5)*8. Suppose 0 = -r + p, -2*i + 3*i + 20 = 5*r. Suppose i = 5*q + 779 - 2284. Is q a composite number?
True
Let o(f) = f**2 - 12*f + 13. Let h be o(11). Is (306/45)/(h/395) a composite number?
True
Is ((-10)/45)/(-1) + (-63926016)/(-216) a composite number?
True
Is (23247440/320)/((-7)/(-28)) prime?
True
Suppose -132*y = -165*y + 884433. Is y a prime number?
True
Let g = -1340313 + 2076890. Is g prime?
True
Let i(b) = b**3 + 2*b + 6. Let v be i(0). Suppose -v*j + 2243 = -4243. Is j a prime number?
False
Suppose -2*s + 170 = -s. Suppose 5*l - 1120 - s = -b, -b - 2*l + 1275 = 0. Suppose 969 = 2*j - b. Is j composite?
False
Let r be (-134)/4*(12 + -90). Let l = -200 + r. Is l a composite number?
True
Let z = -285455 + 460794. Is z a prime number?
False
Let x be (9*-14)/(-3)*164/(-8). Let z(h) = -47*h**3 - h**2 + 2*h + 2. Let g be z(3). Let n = x - g. Is n a composite number?
False
Let n = -10428 - 1297. Let y = n - -16872. Is y a composite number?
False
Let x(c) = 939*c**3 - 6*c**2 + 87*c + 5. Is x(7) composite?
False
Let w be 2 - -3 - (-20 + 3). Suppose -w*l = -31