 = 41*m. Let r be y(-1). Let v = r - -60. Let l = v + 6. Is 5 a factor of l?
True
Suppose 0 = 3*q + 8 - 2204. Does 12 divide q?
True
Suppose -y + 15 = 4. Let d = y - 7. Does 14 divide (-70)/d*(-16)/20?
True
Suppose 3*x + 2*i - 1 = 0, i - 3 = -3*x - 2*i. Let q(b) = 6*b + 2. Let p be q(x). Is 28 a factor of (p/(-5))/((-1)/(-35))?
True
Let f = -18 + 17. Let u be ((-2)/f)/(4/108). Is 1 + u - (-1 - 1) a multiple of 19?
True
Let x be 2*-1 - 8/(-2). Let i be 4/(-5) + -6*(-1529)/330. Suppose 0 = 3*k + x*c - 16 - i, c + 61 = 4*k. Is 4 a factor of k?
False
Is 14 a factor of 0 - (-392*1)/7?
True
Suppose 4*l - 5*l + 2*j + 10 = 0, 5*l = -4*j + 50. Let k(s) = s**3 - 10*s**2 + 2*s + 2. Is k(l) a multiple of 5?
False
Let f(l) = l + 64. Let j(h) = -2*h**3 - 16*h**2 + 13. Let n be j(-8). Is f(n) a multiple of 7?
True
Let p(z) = 757*z - 47. Does 46 divide p(1)?
False
Suppose -2*p = -7*p + 25. Suppose -2*v - p*l - 185 = 0, v + 4*l = 3*v + 176. Let j = v + 129. Does 13 divide j?
True
Let y be 5*(-5)/(-25) - 325. Is 1/(-2 - y/160) a multiple of 28?
False
Suppose -2*s + 114 = 5*n, -3*n = -2*s - 0*s + 82. Let r = s - -28. Is r a multiple of 15?
True
Let x = 15 + -13. Suppose -4*k = -10 + x. Suppose k*u + 112 = 6*u. Does 7 divide u?
True
Suppose 2*k = -2*k + w + 16, -4*w = 0. Let z(c) = c**3 + 4*c**2 - 6*c + 1. Is z(k) a multiple of 12?
False
Suppose 109*n - 19688 = 86*n. Is 20 a factor of n?
False
Suppose -6*p - m = -p - 5, 2*p = -3*m + 2. Is 7 a factor of 2001/46 - p/2?
False
Let k = 1868 - 978. Does 60 divide k?
False
Let a = 586 + -419. Is 5 a factor of a?
False
Let k(m) = -m**2 - 9*m - 4. Let c(b) = b**2. Let h(i) = 4*c(i) + k(i). Is h(7) a multiple of 20?
True
Let r = 14 + 19. Is 91 - (60/(-33) + (-6)/r) a multiple of 17?
False
Let y = 353 + -45. Is y a multiple of 4?
True
Does 4 divide 1*(-1051)/(-5) + 2/(-10)?
False
Let g = 237 + -463. Let v = -123 - g. Is v a multiple of 12?
False
Let l be 264/56 - (-4)/14. Suppose 5*a + l*d - 225 = 165, 4*a = -5*d + 309. Is a a multiple of 27?
True
Suppose 10 + 36 = 4*q - 3*j, 9 = q - 2*j. Suppose q - 61 = -4*y. Suppose y*k - 100 = 10*k. Is 21 a factor of k?
False
Suppose -b = 2*z, 0*b + 3*b = -3*z + 3. Suppose -2*n + 124 = -b. Let u = -37 + n. Is u a multiple of 26?
True
Suppose 2*b - 302 = 4*u, -306 = -2*b - 2*u + 7*u. Is 16 a factor of b?
False
Let y(a) = 89*a + 280. Is y(19) a multiple of 27?
True
Let x be 354/36 + 3/18. Let j(b) = b**2 + 8*b - 23. Is j(x) a multiple of 9?
False
Suppose 0 = -8*i + 7*i + 63. Suppose 5 = -2*o + i. Does 15 divide o?
False
Let v be -1 + -10*1 + -1. Let q = -7 - v. Suppose -396 + 81 = -q*c. Does 19 divide c?
False
Suppose -a - 49 = 2*y, 3*y + a = 4*y + 26. Let f = -17 - y. Does 17 divide (f - 7) + 17 + -1?
True
Does 4 divide (-144980)/(-1650) + ((-28)/15 - -2)?
True
Let n = 375 + -100. Does 44 divide n?
False
Does 20 divide 2*(109 - (-3 + -3))?
False
Let h(o) = o**3 - 44*o**2 - 88*o - 147. Is 4 a factor of h(46)?
False
Let z(g) = 7*g**2 + g + 8. Let u be z(-5). Let n = 338 - u. Is 32 a factor of n?
True
Let s(f) = -f**3 - f**2 + f. Let y(d) = -6*d**3 - 13*d**2 + 2*d + 2. Let j(r) = 5*s(r) - y(r). Let o = -18 - -13. Does 10 divide j(o)?
False
Let b(g) = 47*g**2 + 4*g - 16. Is b(-6) a multiple of 118?
True
Suppose 4*g - 75 = 9*g. Let s = g - -66. Does 4 divide s?
False
Is (279/(-36))/(2/(-128)) a multiple of 16?
True
Let s = 135 + -87. Is 2 a factor of s?
True
Does 10 divide 4/7 - (-1 - 14928/42)?
False
Let d be 5/2 - 2106/(-36). Suppose 0 = 3*h + 9, -h - 3 + 172 = -4*j. Let p = d + j. Is 13 a factor of p?
False
Suppose -3*l - 72 = -5*l. Suppose -3*n - l = -4*n. Does 7 divide n?
False
Let w be -2 - ((4 - 6) + -9). Is 23 a factor of (-506)/(-7) - (w/7 - 1)?
False
Suppose -7*h = -2*h - 330. Let c be h/30 + (-1)/5. Suppose -c*b + 1 = -27. Is 14 a factor of b?
True
Suppose -489 = 4*v - 7*v + 3*a, -5*v - 5*a + 845 = 0. Suppose 3*i - i - v = -5*r, 4*i - r = 310. Is 26 a factor of i?
True
Let b be 4260/50*(2 - -3). Suppose 9*j + b = 1209. Is j a multiple of 23?
False
Let d(r) = 41*r. Let h(x) = x**2 + 6*x + 1. Let o be h(-6). Let n be d(o). Let b = 83 - n. Is 21 a factor of b?
True
Let d be 6/15 - (0 - (-1486)/(-10)). Let x = d - 99. Is 25 a factor of x?
True
Suppose -14*k + 2314 + 752 = 0. Is k a multiple of 10?
False
Let q = -746 - -1304. Is q a multiple of 72?
False
Let g(a) = -13 + 17*a**2 - a**3 - 13*a - 20 + 5. Is 3 a factor of g(16)?
False
Let m(o) = 11*o**3 + 6*o**2 - 17. Let r(y) = 5*y**3 + 3*y**2 - 8. Let d(n) = 6*m(n) - 13*r(n). Is d(6) a multiple of 22?
True
Is 5 a factor of 32160/42 - 22/(-77)?
False
Let a = 10 - 6. Suppose 2*o = a*v - 2, 5*v = 2*v + 6. Suppose 3*j - l - 69 = 0, -o*l - 75 = -2*j - j. Is j a multiple of 11?
True
Suppose 136 = 3*z + 5*n - 106, 5*n + 94 = z. Is z a multiple of 28?
True
Let u = -728 + 488. Let i = u + 438. Is 22 a factor of i?
True
Let v = -122 - -72. Let n = v - -190. Does 10 divide n?
True
Let x = -673 - -1614. Suppose -x - 55 = -4*y. Suppose 5*l + 59 - y = 0. Does 7 divide l?
False
Let z = -45 + 205. Is 32 a factor of z?
True
Suppose -d = -3*d - 2*m + 18, m = -5*d + 25. Suppose -152 = -d*k + 5*o, 2*o = 3*k - 5*k + 76. Is k a multiple of 38?
True
Let i be (-4)/10 - (-574)/35. Suppose 4*q + i = -a - a, -4*a = 0. Let o = 2 - q. Is o a multiple of 2?
True
Let s(b) = -5*b - 66. Let n be s(-18). Let t(c) = -c**3 - c**2 + 24. Let q be t(0). Suppose -2*u + n + q = 0. Does 12 divide u?
True
Suppose -10*u - 2310 = -25*u. Is u a multiple of 8?
False
Let t = 285 - 138. Suppose 24*v - 27*v + t = 0. Does 16 divide v?
False
Suppose 2*o = 4*u - 780, -3*u - 7*o + 2*o + 559 = 0. Is u a multiple of 29?
False
Let v = 440 + -464. Let z be 2/5 - 364/10. Let h = v - z. Is 6 a factor of h?
True
Suppose 0 = -0*m + 2*m - 8. Suppose 5*h = -m*y + y + 12, 2*h - 4*y - 10 = 0. Let n(j) = 15*j - 4. Is 18 a factor of n(h)?
False
Suppose 106*k - 72512 = 84*k. Is 16 a factor of k?
True
Let t = 107 - -6. Is 11 a factor of t?
False
Let k = 89 + -53. Suppose -3*z = -93 + k. Is 4 a factor of z?
False
Let s(o) be the third derivative of -o**6/120 - o**5/6 + 5*o**4/12 + o**3/6 + 10*o**2. Is 4 a factor of s(-11)?
True
Let j(w) = 3*w**2 - 9*w + 3. Let l be j(4). Suppose 8*p = 3*p + l. Does 6 divide -78*4/(-36)*p?
False
Suppose -4 = -5*a + 16. Does 18 divide 369/(-12)*a*(2 - 3)?
False
Suppose 13*x - 44 = -9*x. Suppose 3*o = 5*n + x*o - 495, -o = -2*n + 198. Does 14 divide n?
False
Suppose -w = 2*j - 83, -2*j + 2*w + 73 = w. Does 10 divide j?
False
Suppose 28 = -3*h + 4*y - 25, 0 = -4*h + 3*y - 66. Let w = 41 - h. Is w a multiple of 40?
False
Suppose 2*b + 0*b - 28 = 4*m, 0 = 5*b + 5*m - 25. Suppose -4*o = 0, b*w = 11*w + 2*o - 276. Does 31 divide w?
False
Suppose -t + 122 = 17. Let f = 149 - t. Is 10 a factor of f?
False
Suppose 4*t - t + 23 = -2*o, -2*o = -10. Let l = 89 - 95. Is t/(11/l) - 2 a multiple of 3?
False
Let m(t) = 7*t + 2*t**3 - 3*t**3 - 24*t + 17*t**2 + 19. Let z be m(16). Suppose -3*p = -3*v - 192, -p + v - 134 = -z*p. Is 11 a factor of p?
True
Suppose -4 + 5 = -r. Let q(g) be the first derivative of 9*g**3 - g**2/2 - 10. Is q(r) a multiple of 28?
True
Let u = -234 + -5. Let n = u + 499. Suppose 5*s = n - 65. Does 13 divide s?
True
Suppose 5*r + 10 + 65 = 0. Let p be (1 - -2) + 1 - r. Suppose p*i - 15*i = 100. Is i a multiple of 6?
False
Let m be (1 - 3) + -1 + -3. Let s(p) = -p**2 - 10*p - 14. Does 5 divide s(m)?
True
Is -6*((-3042)/63 - (-2)/7) a multiple of 12?
True
Suppose -y + 9 = 3. Suppose z = -3*r + 8, y*r + 5*z - 10 = r. Suppose -h + r*h + 5*l - 3 = 0, 3*l = h - 29. Does 4 divide h?
False
Let s be (0 - -3)/(6 - 7). Let a(x) = -10*x + 6. Is a(s) a multiple of 11?
False
Let j be 1*((-6)/(-2))/(-1). Let b(h) be the third derivative of -h**6/120 + h**5/15 + h**4/12 + 2*h**3/3 - 6*h**2 + 5. Does 13 divide b(j)?
False
Let t = -37 + 48. Suppose -14*i = -t*i - 138. Does 5 divide i?
False
Suppose 2 = f - 2*f. Let q(i) = i**3 + 3*i**2 - 2*i + 1. Let d be q(f). Let m(v) = -v**3 + 10*v**2 - 9*v + 3. Does 3 divide m(d)?
True
Suppose y - 3*i = -672 + 1581, 0 = -2*y + 2*i + 1806. Is y a multiple of 18?
True
Does 84 divide ((8 - 10) + 7)*229?
False
Let g be 56/(-21) + 3 - (-10)/6. Suppose g*w = -4*w + 192. Is 32 a factor of w?
True
Suppose 1250 = 5*c + 130. Is 4 a factor of c?
True
Let 