 -2*o - r + k = -5*r. Is o a multiple of 15?
False
Suppose -5*m + 3838 = u - 5972, -3*u = -m + 1946. Does 88 divide m?
False
Let x be ((-1)/(-1) + (0 - 38))/1. Let l = x + 135. Does 14 divide l?
True
Let z be 1*-21*(-18)/(-27). Let j = 14 + z. Suppose -4*v - 1 + 369 = j. Is 27 a factor of v?
False
Let d(c) = c**2 + 8*c - 9. Let q be d(-9). Suppose q = -2*u + 273 - 15. Does 39 divide u?
False
Let x(z) = -13*z**3 - z**2 - 2*z - 2. Suppose 3*j + 33 = 3*r, 5*r - 4*j - 38 = 2*r. Suppose -r = 4*a + 2. Does 34 divide x(a)?
True
Let l be (-2 + -1)*(-680)/15. Suppose 2*s = 3*z - l, 2*z + 2*s = 50 + 34. Does 11 divide z?
True
Let a = 532 + -372. Is a a multiple of 10?
True
Let h(a) = -a**3 - 12*a**2 - 26*a - 5. Is 8 a factor of h(-11)?
True
Suppose 3*s = -5*l + 4207, 860 = 4*s - 2*l - 4758. Does 39 divide s?
True
Let t(c) = -c**3 - 3*c**2 - 3*c + 4. Let x = 97 + -100. Does 13 divide t(x)?
True
Let v = -665 + 1170. Does 12 divide v?
False
Let m be (1 + -5)/(0 + -1). Suppose v + 84 = m*u, 0*u - 2*u + 36 = -2*v. Does 7 divide u?
False
Let l = -342 + 371. Is 13 a factor of l?
False
Let j(b) = 2*b**2 - 2*b - 8. Let x be j(-5). Suppose z + w = 60, -5*w = -z - 4*w + x. Does 7 divide z?
True
Let q = -7 - -9. Let m = 3 + q. Suppose -m*p = -4*p - 36. Is 12 a factor of p?
True
Let l = -221 + 509. Is l a multiple of 32?
True
Suppose v + 3*v = 892. Let b = v + -153. Does 14 divide b?
True
Let n(h) = 56*h - 14. Let m be n(3). Let r = 255 - m. Does 14 divide r?
False
Let w(f) = -2*f**3 - f**2 + f + 1. Let c be w(-1). Let p be 68 - 8 - c/(-1). Suppose d - 3*d + q + 39 = 0, 3*d = -q + p. Does 10 divide d?
True
Suppose 3*i + 3 = 135. Is 18 a factor of 1184/22 - (-8)/i?
True
Let q(m) = m - 3. Let a(j) = -1. Let x(l) = 18*a(l) - 4*q(l). Suppose 0 = -4*s + 20, 40 = -4*v + 5*s - 5. Is x(v) a multiple of 7?
True
Let s be (3 + (-5 - -3))*54. Is 22 a factor of ((-9)/(s/(-276)))/((-4)/(-10))?
False
Let f be ((-4)/2 - 2) + -4. Let x(h) = -h**3 - 8*h**2 + h + 7. Let l be x(f). Does 8 divide (-11)/l*(-4 + 5)?
False
Let y be 5/(-7)*(-14 + 7). Let r(k) = 12*k**2 + 3*k - 1. Let i be r(2). Suppose 308 - i = y*j. Is j a multiple of 18?
False
Suppose -2029 = -8*m + 915. Does 9 divide m?
False
Suppose -3*z = -5*z + 8. Let q(w) = z*w + 4*w**2 - 29 + 32 - 9*w. Is 5 a factor of q(3)?
False
Let f(b) = -b + 5. Let s be f(-2). Suppose -1506 = -5*y + s*y. Is 1/6 + y/(-18) a multiple of 14?
True
Suppose -3*w = i - 2675, -5*w + 3733 + 712 = -5*i. Does 27 divide w?
True
Let w = -2477 + 2533. Is 14 a factor of w?
True
Let x = -148 + -17. Let o = -81 - x. Is o a multiple of 12?
True
Let c(r) = 25*r + 100. Does 10 divide c(10)?
True
Suppose -4*v + 12 = -2*c, -5*v + 3*c = -0*c - 15. Suppose -5*f + v*f = -908. Suppose 5*j = -2*w - 0*w + f, -3*j + 3*w + 264 = 0. Is 30 a factor of j?
True
Let p be (4 + 0)/(6/15). Let t be (2 + (-24)/p)*65. Let l = -3 - t. Is 23 a factor of l?
True
Suppose -2*s + 214 = g, 4*g - 5*s = 283 + 534. Is 16 a factor of g?
True
Let c = -1342 + 2702. Is c a multiple of 68?
True
Let f(b) = 27*b**3 + b**2 - 6*b + 6. Does 4 divide f(1)?
True
Suppose 0 = 3*f, -3*j + 3*f + 900 = -f. Does 60 divide j?
True
Suppose 2*v + 2488 = 4*y, -5*y - 15*v = -16*v - 3116. Does 78 divide y?
True
Let v(j) = -2*j - 6. Let i be v(-3). Let n(p) = p**3 - p**2 - 6. Let f be n(i). Let h(b) = 3*b**2 + 5*b + 10. Does 15 divide h(f)?
False
Suppose -i = -4*i + 66. Let y = i + 59. Is y a multiple of 9?
True
Suppose o = -f + 207, -31*o = -26*o + 3*f - 1043. Is 4 a factor of o?
False
Let q(c) = 17*c + 6*c**2 - c**3 - 2*c**2 + 7 - 13*c. Let n be q(5). Suppose n*k = 4*y - 158, 3*k = 2*y + k - 78. Is y a multiple of 8?
True
Let a(c) = c**2 - 16*c + 126. Is 21 a factor of a(21)?
True
Is 51 a factor of (-32)/6*-67 - 11/33?
True
Let g = 374 - 51. Is g a multiple of 10?
False
Suppose 0 = 3*u - 168 - 1227. Does 5 divide u?
True
Let l(h) = h + 8. Let t be l(-6). Suppose -y - 3*k - k = -75, -5*y + t*k + 441 = 0. Is 20 a factor of y?
False
Let d(m) be the first derivative of -m**4/4 - m**3/3 + m**2/2 + 33*m + 5. Suppose 0 = -b + 4*b. Is 8 a factor of d(b)?
False
Let a be (2 - 1721/(-3)) + 6/(-9). Let s = a + -282. Does 19 divide s?
False
Suppose 5*i - 80 = -70. Suppose i*a + 5*u = 3*a + 10, 4*a - 2*u - 14 = 0. Does 5 divide a?
True
Let d(n) = -141*n + 2. Is 21 a factor of d(-5)?
False
Suppose 163 = 7*q - 26. Is 3 a factor of q?
True
Suppose 0 = z + 2*z. Let q(d) = 7*d**2 - d**3 - 3*d + d + z*d + 0 + 2. Does 14 divide q(5)?
True
Let t = 107 - 104. Suppose -2*g + 135 = -3*y, -2*y - t*y = -g + 57. Is 8 a factor of g?
True
Let g = 57 + -36. Suppose -g*m = -18*m - 285. Is m a multiple of 16?
False
Suppose -6*j = 3*j - 1035. Is 3 a factor of j?
False
Suppose 12*a = 15*a - 3. Is 21 + (4 + 1 - 4)*a a multiple of 11?
True
Suppose 16 = -2*w + 5*d - 9*d, 0 = 5*d + 25. Suppose 89 = w*g - 165. Is 11 a factor of g?
False
Suppose -2*s + s = -280. Suppose -5*z + s = -0*z. Let n = z + -24. Is n a multiple of 9?
False
Let w(h) = -8*h**3 + h**2 - h + 1. Let a be w(1). Let d = 7 + a. Suppose -3*z = -4*x - d*z + 195, x - 3*z - 60 = 0. Does 12 divide x?
False
Let u(w) = w + 12. Let t be u(-6). Suppose 3*k + 0 + t = 3*g, -g = 4*k - 7. Suppose -g*m + 2*h = -184, -7*h + 110 = 2*m - 2*h. Is m a multiple of 12?
True
Let x = 2 + 0. Let a(d) = 2 + 5*d - 3 + 10*d. Does 10 divide a(x)?
False
Suppose -2*y = -10, 10*m = 13*m - y - 1414. Is 43 a factor of m?
True
Let j = -36 + 36. Suppose 0*x - 4*y + 156 = 4*x, j = 2*y + 6. Does 6 divide x?
True
Suppose -2*p - p = -2*l + 32, 0 = 4*l - p - 64. Suppose -l*w = -5*w - 319. Does 3 divide w?
False
Suppose 13*r = 1523 + 1129. Does 34 divide r?
True
Let i(l) = 59*l**2 + 4*l + 2. Let p(s) = -178*s**2 - 11*s - 5. Let w(x) = -11*i(x) - 4*p(x). Is 43 a factor of w(-2)?
False
Suppose 0*u - j + 261 = 5*u, 0 = 2*j + 8. Suppose -7 = -3*p + u. Does 4 divide p?
True
Suppose -2*a - 17 = -4*l + a, -l - 5*a - 13 = 0. Let k(w) = 3*w - 2 + 0*w**l - w**2 + 6*w + 0. Is 18 a factor of k(5)?
True
Suppose -5*p + 22 = -4*h, -2*h = p + h + 7. Suppose -2*l + 285 = 5*y, l = p*l + 5*y - 145. Is l a multiple of 20?
True
Let t(n) = n**3 + 6*n**2 + 7*n - 3. Let b be t(5). Let i(h) = h**2 + h - 97. Let a be i(-11). Suppose 0 = 5*f - a - b. Does 18 divide f?
False
Suppose 11*l - 180 = 6*l. Let j = l + -21. Let a = 18 - j. Does 2 divide a?
False
Suppose -673*k = -689*k + 13536. Does 94 divide k?
True
Suppose -5*s + 6*s = 2. Suppose 0*p = 3*y + 4*p - 232, 0 = 5*y + s*p - 410. Is y a multiple of 12?
True
Is 9 a factor of (39 - 4) + -1 + (-2)/2?
False
Suppose 4*x - x = 0. Let u(r) = 4*r + 3*r - 2*r + x*r - 12. Is u(9) a multiple of 20?
False
Let c be (-3 - -5) + 378 + -2. Suppose 0 = 4*u - 5*s - 78 - 426, 3*u = 2*s + c. Suppose -4*x + 3*m = m - u, -5*x = -m - 162. Does 10 divide x?
False
Let x(g) be the second derivative of 61*g**3/3 - 3*g**2/2 + 13*g. Is 21 a factor of x(1)?
False
Suppose 4054 + 3082 = 8*r. Is r a multiple of 35?
False
Let w(s) = -4*s - 12. Let u be w(-2). Is 4 a factor of 3*-9*u/12?
False
Let f(w) be the second derivative of 2*w**4/3 - w**3/3 - 4*w**2 + 12*w. Is f(4) a multiple of 24?
False
Suppose 10 = 5*n - 10. Let h be -2 - n/(12/(-63)). Suppose h = f + y, 2*y = -f - y + 25. Does 8 divide f?
True
Suppose 6 + 0 = 3*c, -q + 33 = c. Let d = 44 + q. Is d a multiple of 24?
False
Let w be 6/21 + (-2)/7. Suppose -2*y + s + 177 = -4*s, -4*y + 5*s = -369. Suppose w*o - y = -3*o. Is o a multiple of 16?
True
Is (7/2)/((-7)/8820*-9) a multiple of 10?
True
Let d(n) = n - 5. Let f be d(6). Suppose -3*h - 4*r + 4 = 0, -h - 3*r = -0*h - 3. Suppose -3*a + f + 20 = h. Does 2 divide a?
False
Suppose 3*s - 1305 = h, -435 = 2*s - 3*s + 5*h. Suppose 4*v - 2*i = 846, 0 = 4*v + 5*i - s - 390. Is v a multiple of 35?
True
Suppose -4*o = -3*v + 113 - 38, -v - 4*o + 41 = 0. Suppose k = 17 - v. Let q = 12 - k. Is q a multiple of 14?
False
Suppose 0 = -2*g + 36 - 4. Let o(u) be the third derivative of u**4/6 - 2*u**3 - 10*u**2. Does 9 divide o(g)?
False
Suppose -3*n + 882 = -3*t + 6*t, -4*n - 4 = 0. Is 21 a factor of t?
False
Let s(k) = -5*k**3 - 34*k**2 - 5*k - 12. Is 27 a factor of s(-10)?
False
Let a(m) = 5*m**3 + 2*m**2 + m. Let n be a(-1). Let u(t) = -t**3 + t**2 + 7*t + 6. Is 29 a factor of u(n)?
True
Let s = 227 - -187. Let v = 23 + -28. Is s/10 