-2*l, -4*l - 128 = -4*n. Let t = n - -30. Is t a composite number?
True
Let d = 48 + -38. Is (8/d)/(-2) + 11374/10 composite?
True
Is (-59424)/(-15) - (52/20 + -2) a composite number?
True
Suppose 48*i = -2*i + 77150. Is i prime?
True
Suppose -c = -t + 44733, -24*c + 8 = -28*c. Is t composite?
True
Suppose 14*c - 6*d = 10*c + 98414, 3*c + 2*d = 73843. Is c prime?
True
Suppose x - 3*k = 6181, -k - 30961 = 4*x - 9*x. Is x composite?
True
Suppose -3*a = 5*m - 99155, 2*m - 19831 = m - 4*a. Is m composite?
True
Suppose 2*q + 2*q = 20. Suppose -5 + 0 = -3*i + q*y, 2*y = 2*i - 6. Suppose -51 = -5*c + 2*r + 543, 3*c = i*r + 364. Is c a prime number?
False
Let v = -19 + -25. Is (-13145)/v - 2/(-8) a prime number?
False
Let p(b) = -2*b - 12. Let d be p(-6). Suppose z + d*z + 6 = 4*h, h + 1 = 0. Is (z - 9)*(-1)/1 prime?
True
Suppose -74153 = 6*l - 383183. Is l composite?
True
Suppose 0 = -4*h - 5*g - 1425, -5*g = -4*h - 0*h - 1375. Suppose -4*n - 4*p + 2440 + 560 = 0, 5*p + 3009 = 4*n. Let w = n + h. Is w a composite number?
False
Let i(d) = -22*d + 17. Let k = 8 + -14. Is i(k) a composite number?
False
Suppose 4*w = -5*a + 1695, w + 4*a + 828 = 3*w. Suppose w = 4*j - 8*j. Let l = -8 - j. Is l prime?
True
Suppose -4*b - 547 = -5*b. Let x = b - 194. Is x a prime number?
True
Let m(t) be the first derivative of -t**5/5 - 5*t**4/24 + 5*t**3/3 - 6. Let v(j) be the third derivative of m(j). Is v(-13) a composite number?
False
Let b(u) = 8*u + 11. Let p be b(-1). Suppose n - 6*x = -p*x + 641, 2*x = n - 639. Is n a prime number?
False
Suppose 569 = 5*o - 4*g, -5*o - 2*g + 398 = -195. Let c be (-26)/o - 695/(-9). Let d = 144 - c. Is d composite?
False
Let p = -3 + 6. Suppose -2*j - 2*k = 0, -3*k - p = -0*k. Is (214 - 2) + j + 1 a composite number?
True
Let r(l) = -2*l**2 + l + 4. Let o(d) = 3*d**2 - 2*d - 5. Let v(w) = -3*o(w) - 4*r(w). Let g be v(3). Is g/16 + 183/12 a composite number?
True
Let j(k) be the third derivative of k**5/60 - k**4/8 + k**3/3 + 4*k**2. Let h be j(3). Is (44/(-6))/(h/(-3)) prime?
True
Suppose -2*n = 3*n - k - 16032, n = 3*k + 3198. Is n a composite number?
True
Let i(a) be the first derivative of -20*a**2 - 31*a + 4. Is i(-12) composite?
False
Let b(v) = -363*v + 725. Is b(-16) a prime number?
False
Is -5*36/30 - (1 - 7424) a composite number?
False
Let c(h) = 120*h**2 - 23*h - 20. Let x(v) = 40*v**2 - 8*v - 7. Let n(y) = -6*c(y) + 17*x(y). Let m be n(-1). Let j = 74 + m. Is j a composite number?
True
Let y(l) = l**3 - 2*l**2 - 3*l + 2. Let m be y(3). Let c be 3*(32/12 - m). Suppose q + 4*q = -3*f + 404, c*f + 3*q - 271 = 0. Is f a prime number?
False
Let l be (-834)/(-4)*36/30*5. Let p = -38 + l. Is p a composite number?
False
Suppose -5*r + 2103 = -2*q, -4*r - 2115 = -9*r + 5*q. Is r prime?
True
Suppose -r + 186 = -108. Let o = 337 + r. Is o a prime number?
True
Let u be (2 - -2)*(-21)/(-12). Suppose 3*v = u*v - 12. Suppose v*r - 77 - 130 = 0. Is r a prime number?
False
Let h(r) = -28*r - 29. Is h(-13) a prime number?
False
Suppose -5*o - 8 = 7. Let t be o/(-5) - (-140)/100. Suppose 3*q = t*z - 673 - 4, 4*z - 1304 = -4*q. Is z a composite number?
False
Suppose 5*o - 1217 = -4*b, 2*b = -5*o + 351 + 270. Suppose -8*p - 12*p + 60 = 0. Suppose p*f = f + b. Is f composite?
False
Let m = -17 + 28. Let y(z) = -5 + m + 7 + 1 + 10*z. Is y(6) composite?
True
Let b(x) = x**3 - 4*x + 9. Let k(l) = l**3 - l**2. Let r(y) = b(y) + k(y). Let v be r(7). Is (9/(-27))/((-2)/v) prime?
True
Let v = -7 - -11. Suppose 458 = v*t - 2*p, -4*t + 3*p = -2*p - 473. Is (t + -1)*(0 - -1) a composite number?
True
Suppose 0*k + 5*k = -2905. Let w = k - -1539. Is w composite?
True
Let f be 4*4/48*0. Is (f - (-519)/6)*(-4 + 14) composite?
True
Suppose 2*m + 8 = 0, 5*m = -4*r - 0 - 4. Suppose 5*g - 6 + 0 = -3*w, -6 = -3*w - 3*g. Suppose 0 = -r*t + w*t + 74. Is t a composite number?
False
Let v = 16788 - 6112. Is 2/6 - (1 + v/(-12)) composite?
True
Let c(w) = -w**3 - 6*w**2 - 3*w - 1. Let p be c(-5). Let y = p + 3. Is 62 - (y/4 - 1) a composite number?
True
Suppose -9*f + 4*f + 1225 = 0. Suppose -4*w + 3*r = -f, w = r + 4*r + 74. Is w a composite number?
False
Is (334748/(-318))/(2/(-3)) composite?
False
Suppose -5*l = 4*u - 114363, -u + 3442 + 25160 = -l. Is u a composite number?
False
Let o be (-1490)/(-6)*(8 + -41). Is (-6)/(-8) + o/(-44) a composite number?
True
Let f = -22931 - -44110. Is f a composite number?
False
Suppose 19859 = 5*k + 3*j, 0*k + 19857 = 5*k + 4*j. Is k a prime number?
False
Let p(u) = -44*u - 203. Is p(-10) prime?
False
Let x be 4*239*3/12. Let q = x - -82. Is q a composite number?
True
Let c = -16 + 19. Suppose 0*f - 35 = -f - s, -c*f = -5*s - 73. Let w = 22 + f. Is w prime?
True
Suppose -48584 = -25*u - 3009. Is u a prime number?
True
Suppose 4*x = -5*p + 30, -5*p + 4*x - 24 = -7*p. Suppose -5*g - 14 = p*a - 207, g + a - 41 = 0. Is g a prime number?
True
Suppose 4*r + r + 30 = 0. Let d be 9/((-4)/((-32)/r)). Is 298/(-2)*(d + 11) a composite number?
False
Let v(f) = -583*f + 14. Let m(l) = 1166*l - 28. Let b(j) = -6*m(j) - 11*v(j). Is b(-9) a composite number?
False
Let s = 27 + -22. Suppose 1613 = 3*j + 3*c - 1396, -s*j + 4*c = -5015. Suppose 4*o = -5*t + j, -3*t + 5*t + 735 = 3*o. Is o a composite number?
True
Suppose 3*i + 343 - 5281 = -4*k, -k - 3*i = -1230. Suppose 0 = 31*t - 18*t - 52. Suppose t*g - k = -472. Is g prime?
True
Suppose 178*d = 163*d + 412905. Is d a composite number?
False
Let w = 484 - 864. Let n(r) = -r**2 - 11*r + 151. Let t be n(-19). Let o = t - w. Is o prime?
True
Suppose h = 7*h - 35316. Suppose 1558 = -8*k + h. Is k a prime number?
True
Let k be 94/(-4) + 21/14. Let g = 19 + k. Let a(y) = -18*y**3 - 3*y**2 - 2*y + 2. Is a(g) composite?
False
Let k(r) = -r**2 + 7*r - 7. Let q be k(5). Suppose 0*j = q*j. Suppose -3*p = -j*p - 1239. Is p composite?
True
Suppose -2 = -h - 0*h. Suppose 5*s = 4*s + j + 995, s = h*j + 995. Suppose -5*d - s = -6*d. Is d a prime number?
False
Suppose -4346 = -4*m + 2*r, 0 = 3*m - 5*r - 83 - 3173. Is m composite?
False
Suppose 50 + 277 = 2*j - 3*q, -5*j + 823 = -2*q. Let i = j - 117. Let m = -25 + i. Is m a prime number?
True
Let k(a) = 2*a**3 - 8*a**2 - 7. Is k(8) a composite number?
True
Suppose -5*b = -3*b - 4*t - 24, -4*t - 16 = 0. Suppose -373 - 313 = 2*d + 4*x, -2*d + b*x - 654 = 0. Let w = d + 666. Is w a prime number?
True
Suppose 24*z = -7*z + 552079. Is z a prime number?
False
Let i(m) = 2*m**2 + 2*m - 19. Let h be i(13). Let o = -50 + h. Is o composite?
True
Suppose 3*u = -177 + 1956. Is u a prime number?
True
Suppose -22*v = 14*v - 1077012. Is v a prime number?
True
Let x(c) = 8*c + 2. Let l be x(-4). Let t be (-2)/7 + l/(-7). Let r = 7 - t. Is r a prime number?
True
Let c = 822 + -373. Is c a prime number?
True
Suppose -5*r + 39820 = -5*f, 5*r + 30*f - 29*f = 39802. Is r prime?
False
Let k(u) = u - 3. Let z(d) = -2*d + 5. Let l(n) = -13*k(n) - 6*z(n). Let f be l(6). Let y(v) = 77*v**2 - 5*v + 7. Is y(f) composite?
True
Let x = 22 - 19. Suppose 2 + 2 = x*s - 4*z, -s + 5*z = 6. Suppose -2*g = -s*m - 7*g + 117, m + 2*g - 33 = 0. Is m a prime number?
True
Let g(k) = 3*k**3 - 5*k**3 + k - 7 - 2*k**2 + 6*k**3. Suppose -45*h + 41*h + 16 = 0. Is g(h) composite?
True
Suppose -5*x + 25 = b, 4*x - 1 - 19 = 0. Suppose k = 5 - b. Suppose -2011 = -k*l + 2*q, 0*l = 5*l - q - 2008. Is l a prime number?
True
Suppose 3*k - 2*z - 17 = 0, 4*k + 0*k - 24 = 3*z. Suppose 0 = -3*a + 5*m - 1 + 6, -k = 3*m. Suppose -4*y - 20 = a, 5*r - 4*y = -7*y + 1940. Is r composite?
True
Let p = 2714 - -419. Is p composite?
True
Let p(s) = -s**3 + s**2 + 11*s + 16. Let u be p(15). Is (-1)/(-1) - u - (-11 - -8) a composite number?
True
Suppose -3*w - 33 = -2*f, -5 = f - 2*w - 24. Suppose -a + 7 = 3*z - f, -5*z + 78 = 4*a. Is 1*2*407/a a composite number?
False
Suppose -5*l + 0*l = -110. Is 11/l - (-441)/2 a composite number?
True
Is (-3)/8 + 5*67327/520 a prime number?
True
Is -4*56/(-32) - -11066 composite?
True
Is (-10 + 9 - 4)/(4/(-16508)) a composite number?
True
Let u(x) = 2602*x + 267. Is u(7) prime?
True
Let y(w) = -w**3 + 4*w**2 - 3*w. Let i be y(2). Let x(j) = j**2 - j. Let k be x(1). Suppose -5*d = -5*g + 65 + 200, -i*g - 5*d + 106 = k. Is g prime?
True
Let t = 105625 - 66812. Is t composite?
True
Let y(