*l = -h. Does 32 divide u?
False
Let n = 11011 + 14923. Does 187 divide n?
False
Let g be 3*(5 + -1 - 6). Is 24 a factor of (-135)/(-6)*(-64)/g?
True
Suppose g - 5*g + 8 = 0. Suppose -g*n - n - 5*a + 141 = 0, -3*a + 95 = 2*n. Suppose s - 19 = -p, 8*s + 4*p + n = 12*s. Is 8 a factor of s?
True
Let a(r) = -r**2 + 17*r. Suppose -3*m + t - 2 = 0, 6 = m + 3*m + 3*t. Suppose m = 10*k - 173 + 23. Does 10 divide a(k)?
True
Let o(u) = 526*u - 487. Is o(6) a multiple of 104?
False
Let d(j) = -j**3 + 25*j**2 + 56*j - 18. Does 86 divide d(-13)?
True
Let z(d) = 10*d - 22. Let u(f) = 19*f - 45. Let j(v) = -6*u(v) + 13*z(v). Let g(t) = t**3 - 18*t + 35. Let w be g(3). Is 16 a factor of j(w)?
True
Suppose 587 = 5*x - 2348. Does 7 divide x?
False
Let o = 36 + -73. Let d = -33 - o. Suppose 0 = 2*u + 5*s - 235, -u - d*s = -37 - 79. Does 20 divide u?
True
Let d be 19/152 - (-1)/(-8). Suppose 14*h - 13*h - 2 = d. Suppose -h*w = -0*w - 36. Is 18 a factor of w?
True
Let j = -181 - -289. Suppose -p - 3*o = -83, p + 13 - j = 3*o. Is p a multiple of 7?
False
Suppose 6*g = 33*g - 260420 - 12145. Is 15 a factor of g?
True
Let w(z) be the third derivative of -z**6/60 + z**5/30 + z**3/3 - 12*z**2. Let b be w(2). Is b/((-12)/215) + (-1)/(-2) a multiple of 12?
True
Let w(d) be the third derivative of 1/6*d**5 + 0 - 11/24*d**4 + 7*d + d**2 + 1/6*d**3. Is 51 a factor of w(-5)?
True
Let x = 16033 - 11017. Is 19 a factor of x?
True
Let c(g) = -g**3 + 3*g**2 - 9*g - 2. Let i be c(4). Let w = i + 70. Does 2 divide w?
True
Let g(r) = -23*r**3 - 7*r**2 + 4*r - 9. Let t(a) = -46*a**3 - 15*a**2 + 8*a - 19. Let y(k) = -13*g(k) + 6*t(k). Let w be y(3). Does 5 divide (4/(-6))/((-46)/w)?
False
Let g be ((-6)/4)/(18/3768) + -2. Let k = g + 222. Let v = 155 + k. Does 18 divide v?
False
Let y(o) = 22*o - 5. Let l be y(4). Suppose l*d = 84*d - 168. Is 8 a factor of d?
True
Suppose 5*z + 3*j - 10 = 0, -4*j = -8*z + 3*z + 10. Suppose -z*o = q - 2 - 3, 0 = 3*q - 3*o + 12. Is (q + (18 - 1))/(4/6) a multiple of 24?
True
Suppose -4*m + 121218 = y, -3*m - 5*y - 60620 = -5*m. Does 95 divide m?
True
Let u be (-3)/(1 - 4) - 1. Suppose -3*m + 2*m = 4*p + 75, -m = 3. Is (u - -59) + (-8)/((-48)/p) a multiple of 14?
True
Let d be (48/9 - 5)/(1/(-15)). Let q be ((-14208)/(-20))/4 - 2/d. Let i = q + -122. Does 4 divide i?
True
Suppose -5*z - 97024 = -4*o, 25687 = o + 5*z + 1431. Is o a multiple of 64?
True
Suppose -11*k = -7*k - 444. Let i = 264 - k. Is i a multiple of 9?
True
Suppose 83431 = 45*c - 105479. Is c a multiple of 21?
False
Let p(z) be the third derivative of -z**5/60 - 9*z**4/8 - 14*z**3/3 + 2*z**2 + 523*z. Let i(j) = -2*j**2 - 2*j - 1. Let a be i(2). Is 11 a factor of p(a)?
True
Let i = -58595 - -98262. Does 20 divide i?
False
Let j(o) = 3*o**2 - 13*o - 34. Let a(x) = -x - 1. Let s(r) = -6*a(r) + j(r). Let z(k) = 4*k**2 - 7*k - 27. Let f(m) = -5*s(m) + 6*z(m). Is 35 a factor of f(-4)?
False
Let i(m) = -2*m**3 - 11*m**2 - 2*m - 9. Let z be i(-6). Let s = z - -71. Is s even?
True
Suppose 4 + 6 = 5*k. Let c be ((-20)/(-60))/(k/204). Suppose 6*z - 218 = c. Does 21 divide z?
True
Let r = -4044 - -6984. Is r a multiple of 35?
True
Let l = -26554 + 39888. Is 59 a factor of l?
True
Suppose 6*z + 10*z - 1296 = 0. Let q = z - -68. Is q a multiple of 6?
False
Suppose -18 + 22 = y + 3*m, -4*m - 18 = -2*y. Suppose y*d = 3*d + 472. Does 10 divide d?
False
Let n be -1 + 2 - 17/(102/(-7608)). Suppose 1785 = n*s - 1264*s. Is 17 a factor of s?
True
Let z(h) = -10*h - 8. Let s be z(-3). Suppose s*u = 25*u - 2610. Is u a multiple of 19?
False
Suppose -2*w - 59080 = -17*w + 7*w. Does 10 divide w?
False
Suppose -4*d = 2*u - 32382, d - 267*u - 8092 = -271*u. Is d a multiple of 134?
False
Suppose -323 - 1213 = -12*w. Suppose 130*b - w*b - 278 = 0. Does 8 divide b?
False
Let w(y) = y**3 - 19*y**2 + 18*y. Let l be w(18). Let h(u) = u**3 - u**2 + u + 60. Let z be h(l). Is (6/15)/(2/z) a multiple of 12?
True
Let z = -8373 - -9147. Does 18 divide z?
True
Let b = 185 + -185. Does 35 divide (1 - b)*(-5 - (0 - 689))?
False
Let m = 80 + -127. Let h(q) = 2*q**3 + 48*q**2 + 2*q - 29. Let u be h(-24). Let a = m - u. Is a a multiple of 6?
True
Let t(d) be the second derivative of -d**5/20 + 5*d**4/3 + d**3/6 + 5*d**2/2 + 5*d. Let x be t(20). Suppose 0*a = -a + x. Is 4 a factor of a?
False
Let b(i) = 39*i - 8. Let f(n) = -77*n + 15. Let w be (-20)/(-12) - 4/(-12). Let r(o) = w*f(o) + 5*b(o). Is 15 a factor of r(7)?
False
Suppose 8*k + d = 9*k - 50, 4*d = -2*k + 100. Is k a multiple of 3?
False
Let y(s) = 4*s**3 + 2*s**2 - 71*s - 24. Is 22 a factor of y(11)?
False
Let p(h) = -214*h + 3625. Is 36 a factor of p(-14)?
False
Suppose 0 = 32*b - 467757 - 290451. Is b a multiple of 50?
False
Let m = 7744 - 5747. Is 92 a factor of m?
False
Let c(i) = 1472*i + 1028. Does 15 divide c(9)?
False
Let x(n) = -5*n**3 + 4*n - 3. Let i be x(1). Let k(q) = 3*q**2 + 3*q + 4. Let r(l) = -l**2 - 2*l - 2. Let m(d) = 4*k(d) + 7*r(d). Does 30 divide m(i)?
True
Does 107 divide 7/(-14)*1*-57478?
False
Let m = -6348 + 12373. Is 10 a factor of m?
False
Suppose 0 = -5*h + 5*k + 65, -6*k + k = -3*h + 45. Suppose 2*q + 1357 = 5*r, 0 = -7*r + h*r - 4*q - 803. Is r a multiple of 13?
True
Suppose -24*o = -23*o + 21. Let z = o - -21. Suppose -x + 108 + 27 = z. Does 15 divide x?
True
Let o(q) = -q**3 + 9*q**2 - 17*q + 2. Let a be o(6). Suppose 3*f - f = 10. Suppose a*u - f*u = 54. Is u a multiple of 3?
True
Suppose 5*d - 1838 = -4*f, -d + 209 = 5*f - 167. Let n = 542 - d. Suppose -3*g + 129 = 3*w, 4*g + w + 19 - n = 0. Is g a multiple of 8?
False
Let c(m) = -m - 2. Let z be c(-5). Suppose -2*q = j - 13, -2*j = z*j + 4*q - 89. Suppose 2*t - 5*y = 24, 2*t - 23 = -5*y + j. Is t a multiple of 17?
True
Does 14 divide (14 - 9) + 1098/(-216) - 174722/(-24)?
True
Let d = -335 + 340. Suppose 0 = 2*s - 5*v - 1129, 2*v = -d*s + 3606 - 740. Does 26 divide s?
True
Suppose -302*b + 300*b - 2*f + 35292 = 0, b - 17631 = 2*f. Is b a multiple of 11?
False
Let r = 979 + 102. Does 6 divide r?
False
Let l be -2181*(2008/33 - 36/198). Is ((-1)/7*2)/(26/l) a multiple of 61?
False
Let y(i) be the first derivative of -i**4/4 + 20*i**3/3 + i**2/2 - 16*i + 7. Let k be y(20). Let c(m) = 28*m + 16. Is 32 a factor of c(k)?
True
Let l = 280 + -245. Suppose -l*d + 29878 = 4923. Does 23 divide d?
True
Suppose 5*w + 9*b - 45 = 4*b, b = 3. Let p(q) = 31*q + 58. Is p(w) a multiple of 19?
False
Let g(c) = 76*c**2 + 508*c + 70. Is g(-7) a multiple of 7?
True
Let s be ((-8)/(-3))/((-44)/(-66)). Suppose 333 + 207 = s*f. Suppose f = 4*h - h. Does 9 divide h?
True
Let i = 1741 - 1200. Let f be (0 - i/(-2)) + 3/(-6). Let v = f - 175. Does 12 divide v?
False
Suppose 0*h = -2*k - 3*h - 23, -2*h - 6 = -k. Let b be (k/(-16) + (-10)/4)*12. Let m = 9 - b. Is m a multiple of 9?
True
Let a be 3*5*(3 + (-136)/(-12)). Does 81 divide (-633)/(-18)*53 + a/(-258)?
True
Is (-27)/((-2268)/48) - 133752/(-7) a multiple of 17?
True
Suppose -2*v = -v + 2*g - 3345, -5*v - g = -16797. Is 24 a factor of v?
False
Let n = 38 + -28. Suppose -4*s - 32 = 4*f, -6*s - n = 2*f - s. Does 4 divide 2067/65 - 2/f?
True
Let q be (86/4 + 4)*(-20)/6. Let n be (-4)/10 - (3 + q/25). Suppose -2*y - 5*s + 2*s = -56, -3*y + 4*s + 118 = n. Is 17 a factor of y?
True
Let n(z) = 2370*z**2 - 107*z + 458. Is 115 a factor of n(4)?
True
Let x = 69 + -65. Let a(s) = s**3 - 4*s**2 + 3. Let t be a(x). Is 36 a factor of (-1 + t + 5)*8 - 3?
False
Suppose 492542 + 1071413 = 471*d - 508916. Does 27 divide d?
True
Let p = -298 + 307. Suppose -1559 - 3409 = -p*a. Is a a multiple of 46?
True
Let o(h) = -h**3 + 9*h**2 - 2*h + 5. Let j be o(8). Let r = j + -56. Does 16 divide (-2 - 40/4)*20/r?
True
Is 11 a factor of 10538/8*(5136/(-749))/(3/(-7))?
True
Let s = 51 + -48. Suppose -2*b - 1 + 53 = 0. Let c = b + s. Does 4 divide c?
False
Let x = -180 - -185. Let d(p) = 8*p**3 + 12*p**2 + 9*p + 8. Is 33 a factor of d(x)?
True
Suppose -o + 6*o = c + 82, 5*o + c - 78 = 0. Suppose -o*z = -1946 + 650. Does 3 divide 2/(-9) + 4635/z?
True
Let d = -10 + 53. Let c = d + -40. Suppose -5*w + 85 = -0*s - c*s, -3*s = w + 1. Is 11 a factor of w?
False
Suppose 66 = b - 2*f, 5*b - f = 135 + 222. Suppose -m = -6*m - 5*g + 395, m = 3*g + 71. Let v = m - b. Is v a multiple of 5?
True
Does 