 + d. Does 19 divide l?
True
Let d = -177 - -298. Suppose -5*w = -104 - d. Is w a multiple of 5?
True
Let v(l) = 17*l**2 - 2*l - 3. Let i be v(-1). Suppose 100 = 17*s - i*s. Is 17 a factor of s?
False
Suppose n - 132 = -4*p, -126 = 5*n - 6*n - 2*p. Is n a multiple of 4?
True
Suppose 0 = -2*j + 7*t + 272 + 2007, 2*j + 4*t = 2290. Is 11 a factor of j?
False
Suppose y + 1 + 2 = 0, -h + 3*y + 12 = 0. Suppose -5*p + h*p = -76. Suppose p + 6 = 4*b. Does 11 divide b?
True
Let l = -2889 - -4149. Does 28 divide l?
True
Let i be 222/(1 + (-1)/(-2)). Suppose -2*c + 2*h = -122, -h + i = 3*c + 3*h. Is 14 a factor of c?
True
Does 58 divide (-10 - (-438)/9)*48?
True
Let d = 36 + -25. Let o(u) = 2*u**2 - 5*u - 13. Let z be o(d). Let l = z + -80. Is 16 a factor of l?
False
Let w be 4/(-3) - (-2)/(-3). Let h be (9/w)/(2/12). Let g = 57 + h. Is g a multiple of 15?
True
Let f = 18 - 16. Suppose 69 = f*p - 207. Does 23 divide p?
True
Let h = 54 - -1518. Does 12 divide h?
True
Let k(b) = -b**3 + 5*b**2 + 7*b - 3. Let a be k(6). Suppose 0 = -a*l - 6, -2*l + 32 = n. Is (-119)/(-9) + (-8)/n a multiple of 9?
False
Let j = 2 + 1. Let y(b) = 2*b**3 + 2*b**2 - 5*b + 5. Let p be y(3). Suppose -j*a - 8 = -p. Is a a multiple of 15?
False
Let w be (-1 - -2) + (-70)/7. Let h = 5 - w. Suppose -h*k - 14 = -16*k. Is 4 a factor of k?
False
Let p = 34 + -58. Suppose -2*r = 3*r + 5*h - 150, -2*r - h + 59 = 0. Let k = p + r. Does 2 divide k?
False
Suppose -2*c + 1009 = 4*n - 403, 2*n - 2*c - 718 = 0. Is n even?
False
Let j(n) = 4*n**3 + 9*n**2 - 15*n - 4. Let o(c) = 9*c**3 + 19*c**2 - 29*c - 7. Let u(v) = 7*j(v) - 3*o(v). Does 2 divide u(-8)?
False
Suppose 5*i + 2*l = 2 + 115, 0 = -l - 4. Is i a multiple of 25?
True
Suppose 2*h + 288 = -4*s, -2*h - 342 = 5*s - 4*h. Let y be 50/14 + (-30)/s. Suppose -y*a - 49 + 145 = 0. Is 8 a factor of a?
True
Let y(m) = m**3 - 12*m**2 + 2*m - 18. Let h be y(12). Suppose -h*x = -2*x - 208. Does 26 divide x?
True
Let i(y) = 5*y + 219. Does 14 divide i(15)?
True
Suppose 12 = -3*f, -7*f + 1688 = 5*u - 9*f. Suppose -3 + 10 = g. Suppose -z - u = -g*z. Does 14 divide z?
True
Let p(c) = c**3 + 2*c**2 - c + 1. Let s be p(-2). Let n be (-4)/(-6) - 8/s. Is 22 - 1*(n + 5) a multiple of 8?
False
Suppose 3 = 5*x - 3*c - 7, -2 = -x - 4*c. Suppose -4*n + 138 = x*n. Is 23 a factor of n?
True
Suppose i = -i + 14. Let f(z) = -z**3 - 11*z**2 - 13*z - 9. Let x be f(-10). Let s = x - i. Does 7 divide s?
True
Let d(w) = w**2 - 5*w - 3. Suppose -4*r + 5*c + 15 = -5, -3*r = -c - 26. Is 8 a factor of d(r)?
False
Let z = 16 + -14. Suppose 0 = z*c + 6, m = -2*c - 2*c - 7. Is 99/55*m/1 a multiple of 2?
False
Let w(f) = -f**2 - 22*f - 17. Suppose -11*a - 50 - 93 = 0. Is w(a) a multiple of 10?
True
Let j(l) = -l**3 - 2*l**2 + 5*l. Let i be j(-7). Let m = -66 + i. Does 20 divide m?
False
Let y = 14 - 4. Let p be (-232)/(-6)*15/y. Suppose -2*o = m - 3*m - p, -5*m = -4*o + 120. Does 6 divide o?
False
Let i(r) = -r**3 + 2 + 4*r + 3*r**2 - r**2 - 1. Let f be i(3). Suppose f*o = 86 - 6. Is 20 a factor of o?
True
Let l be 6 - (-4)/(8/(-6)). Suppose v + v = l*y - 36, 0 = -3*v + 9. Does 3 divide y?
False
Let d = -4478 - -6928. Is 49 a factor of d?
True
Suppose 0*m + 124 = 3*m + 4*p, 0 = -2*m - 4*p + 88. Suppose m*g - 57 = 35*g. Is 19 a factor of g?
True
Let d = 13 - 11. Let l(f) = -2*f + 9 + 13*f + 2*f**d - 4*f. Is l(-6) a multiple of 12?
False
Let u(t) = -27*t - 27. Suppose -10*p + 4*p = 42. Is u(p) a multiple of 27?
True
Suppose -1 = m - 4. Suppose -48 = -6*z + m*z. Does 16 divide z?
True
Let n = 17 - 11. Suppose -11*w + n*w + 10 = 0. Does 21 divide (w - 1) + 0 - -21?
False
Let x = -704 - -860. Does 6 divide x?
True
Let s be 2/6 - (-122)/3. Suppose -6*z + s = -19. Does 6 divide z?
False
Let m(h) be the third derivative of 0 + 0*h - 1/12*h**4 + 7/6*h**3 - 1/60*h**6 - 1/15*h**5 - 6*h**2. Is m(-3) a multiple of 12?
False
Suppose -19*r + 5924 = 2067. Does 3 divide r?
False
Is (-3 - (0 - -3)) + (-16 - -367) a multiple of 15?
True
Let w = 328 + -130. Suppose -w = -3*v + 4*v. Let f = v - -285. Is 12 a factor of f?
False
Let f(k) = -k**3 + 4*k**2 + k - 4. Let i be f(4). Suppose i = -4*s + 31 + 61. Is s a multiple of 5?
False
Let g be 3/(-18) - (-75)/18. Suppose 4*q + 17 = j + 1, -g*j + 5*q = -31. Is (j - (-13)/(-3))*-66 a multiple of 4?
False
Let q be (-3)/(-6)*(1 + -1). Suppose v + r = -1, q = -6*v + 2*v + 3*r + 10. Does 19 divide 54 - ((-2 - 2) + v)?
True
Let b = 43 + 157. Does 6 divide b?
False
Suppose 21 + 39 = 6*n. Suppose -13*x + 174 = -n*x. Does 17 divide x?
False
Let a(v) be the first derivative of 3*v**2/2 - v + 417. Let o = 2 - -2. Is 2 a factor of a(o)?
False
Let q = 586 - 526. Is q a multiple of 6?
True
Let h = 85 + 108. Let f = h + -138. Is f a multiple of 8?
False
Suppose 4*b - 5447 = -1807. Suppose -51*m + b = -46*m. Is m a multiple of 26?
True
Suppose a + a = -4*x + 22, 2*x - 2*a = 26. Let p(w) = 2*w**2 + 20774 - 20774 - 10*w. Is 10 a factor of p(x)?
False
Suppose -1275 = -5*y + 9*p - 4*p, -5*y = -4*p - 1275. Does 13 divide y?
False
Let n(p) = -73*p + 47. Let d be n(-18). Suppose 319 = v - 4*c + 8*c, -c = -4*v + d. Is 37 a factor of v?
False
Suppose -3*a + 4*t + 34 = 0, 0*a = -2*a + t + 16. Suppose w = 4*w - a. Suppose -w*g - 10 + 116 = 0. Is 12 a factor of g?
False
Suppose 4*u + m - 297 = -26, -3*u = -4*m - 227. Does 19 divide u?
False
Let g(l) = -3*l**2 - 57*l - 36. Let w(z) = -z**2 - 19*z - 12. Let v(b) = 3*g(b) - 8*w(b). Let d be v(-16). Let y = d - -36. Is y a multiple of 19?
False
Suppose 12*f = 11*f. Suppose -c = -m + 90, f = m + 7*c - 2*c - 90. Is m a multiple of 5?
True
Let p = 60 + -74. Is 8/(-56) + (-982)/p a multiple of 48?
False
Suppose -2*d - 1232 = -2*s, 2*d = 5*s - 2*s - 1848. Does 8 divide s?
True
Let k(n) = -n + 8. Let b be k(5). Suppose 0 = f + l + 3 + b, f = l. Is 5 a factor of ((-6)/4)/(f/30)?
True
Let v = -1474 + 1733. Is 4 a factor of v?
False
Is (7 - -374) + (-4)/4 a multiple of 19?
True
Suppose -f + 4 = 0, 7*u = 3*u + 3*f + 16. Let r(g) = 2*g**3 - 11 + u - 4*g**3. Does 6 divide r(-2)?
True
Let d(x) = -x. Let o(q) = 8*q + 1. Let r(b) = -15*d(b) - 3*o(b). Suppose h = 5*h + 4*a + 12, -4*a = -2*h - 30. Does 14 divide r(h)?
False
Suppose 0 = -0*i + 5*i - 90. Suppose -126 = i*n - 20*n. Is 18 a factor of n?
False
Let a(g) = -3*g + 33. Let h(d) = 3*d**2 + 11*d + 5. Let c be h(-4). Is a(c) even?
True
Let m(s) = 277*s - 853. Does 6 divide m(9)?
False
Suppose -4*t + 432 = 5*r - 3*t, 4*r - 333 = -5*t. Does 9 divide r?
False
Let i(l) = l**3 - 2*l**2 + 2. Let y be i(2). Suppose 5*r - 1047 = y*r. Suppose -129 = 5*h - r. Does 12 divide h?
False
Suppose -5*j + 84 = 4*a - 2*a, 4*a + 5*j - 178 = 0. Suppose -5*h + 73 = -a. Suppose 4*l - 46 = -3*z, 4*z + 4*l - 36 = h. Does 5 divide z?
False
Let c = 6 - 3. Let w(j) = c*j**2 - 4*j + 0 - 2*j**2 + 4. Is 16 a factor of w(6)?
True
Let m = 172 - -148. Is 13 a factor of m?
False
Suppose 4*v - 4*r = 5256, -982 - 327 = -v - 4*r. Does 13 divide v?
True
Suppose 0 = -3*p + 15, -2*p + 206 = 3*c + c. Suppose 0 = t, -2*x + c + 63 = 2*t. Let q = -30 + x. Is 13 a factor of q?
True
Let i = -46 + 94. Is i a multiple of 24?
True
Let w(m) = 0*m - 2 - 3 + 6*m - 10*m - 10*m. Suppose 2*u + 12 = -u. Is 17 a factor of w(u)?
True
Suppose 2*p = -5*c + 91, 12 = c + 3*c. Is -1 - (-2 + 3 - p) - 0 a multiple of 6?
True
Suppose 0 = -6*o + o - 75. Let f be 4/12*(68 - -1). Let w = o + f. Does 2 divide w?
True
Let u = -51 - -395. Does 8 divide u?
True
Let d be -1 - 4 - (-13 + -4). Let a = -1 - -1. Suppose a = 4*l - d, 2*x - 4*l + 41 = 109. Is x a multiple of 8?
True
Let o be 4/(20/(-7))*-5 + 1. Let n = o - -117. Does 32 divide n?
False
Let v = 253 - 100. Does 51 divide v?
True
Let t be (-35)/(-20)*(0 - 4). Let i(s) = -2 - s + 18 + 1. Is i(t) a multiple of 8?
True
Let q = 17 + 255. Does 26 divide q?
False
Let s be 53/11 + 36/198. Suppose -3*u - s*y = -112, -y = 3*u + 2*y - 108. Does 3 divide u?
False
Let f(j) = -77*j - 5. Is f(-3) a multiple of 24?
False
Let m(d) = 2*d - 6. Let q be m(6). Suppose q = 5*g - 2*g. Suppose j - g*t - 22 = 0, 4*j - 3*j - t - 27 = 0. Does 16 divide j?
True
Is 17 a factor of -3*((-145)/15 - (1 + -5))?
True
Suppose 2*p + 5*r = -0*p + 16, -3*r = 2*p - 12. Does 8 divide 274/p*(-48)/(-32)?
False
Suppose 2*b = 4*l - 3*l + 16, -2*b + 10 