factor of w?
True
Suppose 2*n = -3*n + 5*l + 2585, -4*l - 1556 = -3*n. Is n a multiple of 11?
False
Let c(i) = 271*i**3 - 2*i**2 + i + 2. Let q be c(-1). Let j = q + 388. Is j a multiple of 37?
False
Let h(o) = -6*o. Let i(c) = -c**3 + 3*c**2 - 3. Let r be i(3). Is h(r) a multiple of 3?
True
Suppose 3 = -6*j + 7*j. Suppose 3*p + 199 = 3*l + l, j*p = -3. Is 6 a factor of l?
False
Suppose 24*m - 10*m = 2730. Does 5 divide m?
True
Let r(b) = 7*b**2 + b - 17. Does 6 divide r(-6)?
False
Let o be 4 - 6 - (-253 + 1). Suppose 5*v + o = h, 2*h + 242 = 3*h - v. Suppose 0 = -4*z + 4*j + h, j - 5 = -4*j. Does 19 divide z?
False
Let w be (-17)/(-5) - 4/10. Suppose 10*j + 37 = 3*i + 5*j, 0 = -2*i - 3*j - 7. Suppose -i*b + 12 = -w*b. Is 8 a factor of b?
False
Suppose -20*m + 229152 = 57*m. Is 24 a factor of m?
True
Suppose -11*o + 741 = -403. Suppose 4*p - 88 = o. Is 14 a factor of p?
False
Let r(y) = -65*y**3 + y**2 + 4*y + 2. Is 5 a factor of r(-1)?
False
Let q(v) = 2*v**3 - 2*v**2 - 5*v + 8. Does 33 divide q(6)?
False
Let v(h) = h**3 - 11*h**2 - 21*h + 94. Is 2 a factor of v(13)?
False
Suppose 0 = -3*y - 85 + 328. Suppose -4*b + 8*b - k - 93 = 0, 0 = 3*b + 3*k - y. Does 12 divide b?
True
Suppose -5*m - 44616 = -29*m. Is 45 a factor of m?
False
Let q(a) be the first derivative of a**4/4 + 3*a**3 - a**2/2 - 6*a + 1. Let j be q(-6). Let u = 180 - j. Is 24 a factor of u?
True
Let h = 130 - 109. Suppose 0 = 3*a - 43 - 44. Let b = a - h. Is b a multiple of 4?
True
Suppose -509 = -3*j - 2*b + 488, 0 = 3*b + 3. Does 12 divide j?
False
Is 109 a factor of 32/224 - (-13)/(182/10680)?
True
Suppose 17 = -2*p - 5*u, 5*p + 0 = -5*u - 5. Let o(d) = -d**2 + 2*d + 27. Let w be o(6). Suppose w*n = p*n - 20. Is 20 a factor of n?
True
Let k(d) = 21*d**2 + 6*d - 3. Let i be k(9). Does 16 divide -2 - i/(-18) - (-4)/6?
True
Suppose 0 = -5*k + 8*k - 6. Is 14 a factor of -6 + k/1 - -32?
True
Is 6 a factor of (-108 + -18)/(((-1)/(-1))/(-1))?
True
Suppose 6*h + 185 = 11*h. Suppose -h - 11 = -a. Is 48 a factor of a?
True
Suppose -13*o + 7*o + 390 = 0. Does 12 divide o?
False
Let r(c) = -3*c - 11. Suppose y + 14 = 3*y - u, -5*u = 2*y + 10. Suppose 2*f + 2 - 5 = -y*o, -f = -4*o + 18. Is r(f) a multiple of 7?
True
Let w(n) = n**3 + 7*n**2 + 3*n + 9. Let u be w(-7). Let h(f) = -f**2 - 16*f - 5. Let x be h(u). Let d = 85 - x. Is d a multiple of 14?
True
Let r = 145 - 90. Suppose -r*l = -50*l - 545. Is 14 a factor of l?
False
Let y(k) be the first derivative of k**3/3 - 11*k**2/2 + 8*k + 1. Let x be y(14). Suppose x = 4*u - 22. Does 6 divide u?
True
Suppose 10 = -5*j, -6 + 0 = 2*m - j. Suppose 4*s = 7*s - 6. Does 23 divide (-8)/m + 180/s?
True
Suppose 28 = 3*j + 7. Suppose -j*d + 876 + 384 = 0. Is d a multiple of 15?
True
Let u(l) = -l - 1. Let m be u(-4). Suppose 2*q = 3*q - o - 13, 4*o = -m*q + 67. Suppose -4*n - q = -d + 25, -4*n = -5*d + 162. Is d a multiple of 15?
True
Let v be (9/3)/((-3)/10). Let d(n) = -n**3 + 13*n**2 + 13*n + 34. Let o be d(14). Let h = o + v. Is h a multiple of 5?
True
Let g(d) = 246*d - 372. Does 12 divide g(4)?
True
Let w(s) = -11*s**2 + 1. Let r be (-12)/30 - 3/5. Let t be w(r). Let k = t + 14. Does 3 divide k?
False
Let l = 835 - -45. Is l a multiple of 88?
True
Is (2*5/(-6))/(31/(-7254)) a multiple of 5?
True
Let h be (2 + 25/(-10))*0. Suppose -2*b + 15*b - 1690 = h. Is b a multiple of 13?
True
Let b = 22 + 19. Suppose -411 - b = -4*r. Is 10 a factor of r?
False
Suppose -2*w + 0*d = d - 62, w = -2*d + 37. Let h = -19 + w. Is 2 a factor of h?
True
Suppose j = -4*j + 25. Let i be (-15)/(-2)*(-240)/(-18). Suppose j*q + i = 10*q. Is q a multiple of 10?
True
Suppose -13*s - 15 + 67 = 0. Suppose -5*f = -6*f + 255. Suppose 0 = s*w + w - f. Is 17 a factor of w?
True
Is 54 a factor of 17 + -12 - (-51 + 2)?
True
Suppose -5*a = -c - 15, 6 - 33 = -a + 5*c. Suppose -3*d = -125 + a. Is d a multiple of 3?
False
Let k(y) = y**3 - 16*y**2 + 4*y + 51. Let j be k(15). Let u = j + 125. Does 2 divide u?
False
Suppose 0 = 4*y - 8 - 4. Does 7 divide (2*y)/((-18)/(-48))?
False
Suppose 0 = 2*z - 5*z + 2*f + 1052, -4*f = 4. Does 27 divide z?
False
Let o = 18 + -15. Suppose -a - 1 - o = 0. Let g(l) = -l**2 - 6*l - 2. Is 2 a factor of g(a)?
True
Let w be 3*(2 - 31 - 1). Let t be ((-6)/5)/(36/w). Is t + 13 - (3 + 1) a multiple of 4?
True
Let l = 80 - 77. Suppose l*b - 88 = b. Is 11 a factor of b?
True
Let m = -1303 + 2270. Is 28 a factor of m?
False
Suppose 220 = -36*f + 2272. Does 19 divide f?
True
Let g be (-6)/(-4) + 3/6. Let f(v) = 14*v**2 + 3*v + 1. Is f(g) a multiple of 15?
False
Let v = 6 + -4. Let h(p) = 3*p**2 + 0*p**2 + 6 + 2*p**2 - 7. Is h(v) a multiple of 8?
False
Suppose 4*t = 2 + 6. Suppose t*l = 33 - 3. Suppose f = -0*s - s + l, 3*f = -15. Is s a multiple of 6?
False
Let b be (-7)/(-21)*(0 + -183). Let q = b - -141. Is 10 a factor of q?
True
Suppose -54*g + 369 = -51*g. Let t be 4/(-2 + 4 + -1). Suppose 2*y + 6 = 0, -t*b - 5*y = -g + 18. Is 15 a factor of b?
True
Suppose -s - 2*d - 9 = -112, -s = -d - 91. Is (2/(-10)*-131)/(19/s) a multiple of 18?
False
Let c(y) = -11*y**2 + 225*y + 19. Is 5 a factor of c(20)?
False
Suppose 27*n - 14191 = 4*n. Is n a multiple of 20?
False
Let y(f) = -f**2 - 32*f + 16. Let i be y(-17). Let v(l) = 56*l + 5. Let d be v(3). Let o = i - d. Is o a multiple of 30?
False
Let o = 238 - 70. Does 28 divide o?
True
Let z(a) = 3*a**2 + 3*a - 2. Let r be z(3). Let i = r + -6. Suppose -4*y = 5*n - 121, y + 4*n - 16 - i = 0. Is y a multiple of 8?
True
Let h = -1916 - -2690. Does 9 divide h?
True
Suppose -28 - 13 = -2*y - u, -40 = -2*y - 2*u. Let x be (y/(-14))/((-2)/84). Suppose -4*m + 9 = -x. Is 8 a factor of m?
False
Suppose -10*c = -7*c. Suppose 4*j + 8 = -c*j. Does 13 divide 31 + (-6 - j) - 1?
True
Suppose d - 4 = 2. Let s = 0 + d. Let w = s + 9. Is w a multiple of 5?
True
Suppose -5*f + 254 - 154 = 0. Is f a multiple of 20?
True
Let z(r) be the third derivative of -5*r**4/12 - 5*r**3/3 + 10*r**2. Does 5 divide z(-5)?
True
Let s = 16 - 25. Let h = -9 - s. Does 9 divide -12 - -9 - (-57 - h)?
True
Let z be ((-2)/4)/((-1)/4). Suppose 3*k = -3*w + 135, 6*k = k + z*w + 239. Is 16 a factor of k?
False
Suppose 17*b - 15*b = 1594. Is b a multiple of 15?
False
Suppose -2*l - 110 = -0*l - 3*i, -275 = 5*l + i. Let m be (-505)/20*1*-4. Let q = l + m. Is q a multiple of 23?
True
Suppose -f - 5 = -2*j, 12 = 5*j - 0*f - 2*f. Let q be -2 + (j - (-2)/(-1)). Is (78/9)/(q/(-18)) a multiple of 26?
True
Let q(s) = 8*s - 10. Let j(m) = m + 1. Let h(u) = 12*j(u) + q(u). Is 40 a factor of h(6)?
False
Let d(s) = -s**2 + 12*s - 5. Let h be d(7). Suppose 4*c = c + h. Suppose b = -b + c. Does 3 divide b?
False
Let n(z) = 6*z - 3. Let t = -27 - -33. Is 9 a factor of n(t)?
False
Suppose -8*y - x = -5*y - 7551, 4*y - 10058 = 2*x. Is 34 a factor of y?
True
Let u = -74 + 125. Suppose x - 4*t + 7 = -4, t = -x - 1. Let i = x + u. Is 24 a factor of i?
True
Suppose 3*l - 6*g + 2*g = 17, -4*l + 4*g = -16. Let o = l + 5. Suppose 84 = o*q - 88. Is q a multiple of 15?
False
Suppose 4*n + 4*o - 816 = 0, 2*o - 1065 + 245 = -4*n. Does 25 divide n?
False
Let i be 11/(-9) - -1 - 722/(-171). Is 64/i*(1 + 1) a multiple of 6?
False
Let l = -69 + 113. Is l a multiple of 10?
False
Suppose -4*i = -4*z - 113 - 27, 3*z = 2*i - 66. Suppose 0 = 5*k - 2*v - 125 + i, -5*v + 65 = 5*k. Is k a multiple of 16?
True
Let i = 517 + -9. Suppose -o + 53 - i = -5*v, 0 = -4*o - 20. Is v a multiple of 24?
False
Let a(q) = q**3 - 10*q**2 + 8*q + 63. Is 31 a factor of a(11)?
False
Let s be 16/9 + 12/54. Suppose -v + s*v = 66. Is 33 a factor of v?
True
Let y(z) = 2*z**2 + 4. Suppose 4*h = 3*o - 20, 3*h + o + 5 = 2*h. Let w be y(h). Is 8 a factor of (4/(-6))/((-1)/w)?
False
Let d = 19 + -15. Suppose -3*o + 361 = 3*w - d*o, 5*w = o + 601. Let h = -65 + w. Does 12 divide h?
False
Let z(w) = w**2 + 6*w + 8. Let i be z(-4). Suppose 0 = 5*b - 0*b - 10. Suppose b*a + a - 81 = i. Is a a multiple of 27?
True
Let o = 60 - 22. Let x = o + -22. Is x a multiple of 8?
True
Let x(w) = 16*w**3 - 4*w**2 + 3*w - 20. Is x(4) a multiple of 17?
True
Let u = -554 - -974. Does 29 divide u?
False
Suppose -5*a + 1 - 11 = 0. Let l(c) = c**2 - 25*c + 6. Let f be l(19). Does 3 divide (f/(-45))/(a/(-5))?
True
Let x = -26 + 32. Suppose p + x*p = 