4*b - 272. Is w a multiple of 3?
True
Let z(c) = c**3 - 5*c**2 - c + 9. Let i be z(5). Is 15/(1 + i/(-6)) a multiple of 9?
True
Let s(j) = 2*j**3 + 10*j**2 - 7*j - 9. Let f(b) = -b**3 - 5*b**2 + 4*b + 4. Let g(a) = 5*f(a) + 2*s(a). Let p(o) = -2*o + 6. Let x be p(6). Does 2 divide g(x)?
True
Suppose 34 = -r + 4*t, -2*t = 2*r + 2*t + 44. Let m = r - -29. Is m a multiple of 3?
True
Let y = 33 + -31. Suppose i = 3*h + 13, 3*i - y*i + 2*h - 33 = 0. Does 7 divide i?
False
Suppose 6*b = 7*b - 2*a - 17, 2*b - 64 = -2*a. Does 3 divide b?
True
Let j(l) = -2*l**2 - 9 + 0*l**2 - 10*l + l**2. Let o be j(-9). Suppose o = -5*u + 125 + 70. Is 16 a factor of u?
False
Let l = -313 + 764. Is l a multiple of 11?
True
Suppose -5*x + 1525 - 16 = v, 1549 = v - 5*x. Does 96 divide v?
False
Suppose 0*x + 2955 = -5*x. Let u = -293 - x. Does 15 divide u?
False
Let f = -37 - -36. Is f*(59/(-5) - 2)*5 a multiple of 53?
False
Let t be (-40 - -5) + (-1 - -3). Is 4 a factor of (-2)/(68/t - -2)?
False
Let z be (0 - 6/(-4)) + 24/(-16). Suppose z = -4*m + 143 + 153. Does 10 divide m?
False
Let u be (4 + 2)/((-2)/(-61)). Let p = u - 117. Does 22 divide p?
True
Let n = 64 + 111. Suppose -9*x + n = -4*x. Suppose -4*v - x = -171. Does 9 divide v?
False
Let b(u) = -39*u**3 - u**2 + 5*u + 5. Does 5 divide b(-2)?
False
Let y be 6/14 - 288/84. Let z = 20 - -26. Let s = z + y. Is 19 a factor of s?
False
Let d be 1/(-3 - (-64)/20). Suppose 11 = d*l - 24. Is 6 a factor of (l/3)/(12/72)?
False
Suppose j - 576 = -7*j. Let y(t) = 4*t + 11. Let m be y(-8). Let i = m + j. Is 17 a factor of i?
True
Suppose -16 = -m + 4*m - o, -5*m - 3*o - 22 = 0. Let i(c) = -c - 2. Let l be i(m). Suppose -a + 5*a - l*j = 161, 3*a + 3*j = 147. Does 12 divide a?
False
Let l be (-2)/(-10) + (-96)/(-20). Let w(u) = 8*u - 11. Does 9 divide w(l)?
False
Suppose 5*y - 4563 = 1897. Is y a multiple of 28?
False
Suppose -5*v + 30 = 10. Suppose -55 = -3*r + 3*p + 8, v*p = -r + 31. Does 22 divide r + 1 - (-8)/(-4)?
True
Suppose 0 = -5*i - 20, -s - 4*i + 188 = -i. Let j = s + -124. Does 28 divide j?
False
Let w be 31700/140 + 6/(-14). Suppose -6*f + 260 = -w. Does 11 divide f?
False
Let g(k) = k**2 + 41*k + 28. Is g(-44) a multiple of 10?
True
Let m(u) = 14*u**2 + 22*u + 97. Does 19 divide m(-8)?
True
Let b(j) = -2*j**3 - 7*j**2 - 29*j - 106. Is b(-6) a multiple of 2?
True
Let i be -5 - -6 - 99*-1. Suppose -2*m = -m - i. Is 25 a factor of m?
True
Let q(x) = -x**3 - 4*x**2 - x - 2. Let c be q(-3). Let g = c + 3. Let d(z) = -3*z + 1. Is d(g) a multiple of 16?
True
Let v(m) = m**2 - 3*m - 6. Let k be v(5). Let n = 27 - 25. Suppose -32 = -3*j + k*h, 3*j + n*h - 22 = h. Is j a multiple of 8?
True
Suppose 0 = -8*y - 4*y + 36. Suppose 2*r - 6*r + m + 504 = 0, -5*r = y*m - 630. Is r a multiple of 21?
True
Let b be (4 - 2 - 2)*1. Suppose b = g + 4*g - 30. Is 13*(g + 8/(-2)) a multiple of 18?
False
Suppose -2*a - 1646 = -4*k, 3*a = 3*k + k - 1647. Suppose 5*f + n - k = 0, -33 = -f - 5*n + 30. Let u = 151 - f. Is 17 a factor of u?
True
Let b be (-10)/(-25) + 2/(-5). Suppose j + 4*r - 52 = b, -r = -5*j - 6*r + 230. Is 12 a factor of j?
False
Does 45 divide 9 + -8 - (2 + 203*-2)?
True
Suppose 2*k + 26 = 18. Is 7 a factor of k + 75/21 - (-346)/7?
True
Suppose -4165 = -10*w + 5*w. Is w a multiple of 39?
False
Let a = 297 - 142. Is a a multiple of 40?
False
Let f = -4 + 16. Suppose t - f = -1. Is 11 a factor of t?
True
Let z(b) = b**3 + b**2 + 7*b - 8. Let k(o) = o - 1. Let c(a) = 6*k(a) - z(a). Does 4 divide c(-3)?
False
Suppose -10*l + 13104 = 8*l. Is l a multiple of 14?
True
Let x(f) = -f**2 + 7*f + 22. Let c be x(9). Suppose -c*v + 4*n + 88 = 0, -v - 2*n + 4*n = -25. Is v a multiple of 5?
False
Let z = -180 + 228. Is z a multiple of 16?
True
Let q be -1 - -1 - (-7 + 2). Suppose b + 5*p - 274 = 0, -2*b = b + 5*p - 802. Suppose -3*d + 3*u = d - b, -q*u = -d + 66. Is d a multiple of 22?
True
Suppose 0 = -3*r + 13 + 2. Let m = r + -9. Does 15 divide (-3)/m + (-1062)/(-24)?
True
Let h = -23 + 35. Suppose -22*r + h = -18*r. Suppose -4*u = 2*t - r*u - 201, -3*t - 2*u + 302 = 0. Does 25 divide t?
True
Suppose -f = 149*g - 152*g + 716, 4*g + 3*f = 933. Is 54 a factor of g?
False
Let v(j) = j**3 - 1 + j + 2*j**3 + 4*j**3 - 6*j**3 + j**2. Let z(d) = -3*d**3 - 12*d**2 - 14*d + 2. Let q(g) = -2*v(g) - z(g). Is q(-8) a multiple of 9?
False
Let y(t) be the third derivative of 0*t - 13*t**2 - 3*t**3 + 0 + 5/24*t**4. Is y(10) a multiple of 16?
True
Let i be (-5)/(-10) + 9/6 + -2. Suppose i = 4*t + j - 171, t + 2*j + 45 = 2*t. Is t a multiple of 13?
False
Let f(r) = r**2 - 22*r - 35. Let i be f(25). Suppose -i + 1570 = 9*v. Is 40 a factor of v?
False
Let h(k) = 4*k**2 - 19*k - 10*k - 9 - 5*k**2 + 5*k. Is h(-22) a multiple of 8?
False
Let m = 44 - -52. Is m a multiple of 32?
True
Suppose -b - 154 = 13*b. Let d(i) = i**3 + 12*i**2 + i + 11. Is 11 a factor of d(b)?
True
Suppose 4*z + 4*s = s + 35, -s = z - 8. Let n(w) = w**3 - 10*w**2 + 2*w + 11. Does 11 divide n(z)?
True
Let f = -2 + 267. Does 53 divide f?
True
Let q = -56 - -116. Suppose -2*u - q = -6*u. Does 8 divide u?
False
Let y be (172/12)/((-2)/(-24)). Let f = y + -112. Is 12 a factor of f?
True
Suppose 3*g = -0*g + 102. Let o(d) = d**3 + 2*d**2 - 4*d - 1. Let u be o(-3). Suppose 0*y = -u*y + g. Does 4 divide y?
False
Suppose 0 = 4*t - 3*g - 3782, 6*t - 4*t - 1890 = 2*g. Is 28 a factor of t?
False
Suppose 241*p - 216*p = 72875. Is 32 a factor of p?
False
Let g = -118 + 95. Does 24 divide ((-8)/10)/(g/3450)?
True
Let a(j) = 9*j - 26. Let r be 259/28 + (-3)/12. Is 11 a factor of a(r)?
True
Suppose 3*i = 4*j - 8 - 16, 0 = -3*i - 4*j. Is 4*(-3)/i + -1 a multiple of 2?
True
Let l(p) = -2*p**3 + 24*p**2 - 11*p - 23. Is 33 a factor of l(10)?
False
Does 8 divide 24/4 + 0 - -120?
False
Suppose -30*u = -25*u + 320. Let s = -14 - u. Does 10 divide s?
True
Let s = 870 - -1104. Is 19 a factor of s?
False
Suppose m - 58 = -0*m. Let z(p) = p**2 - 2. Let r be z(2). Suppose m = r*h + 2*n - n, -5*h - n + 148 = 0. Is 15 a factor of h?
True
Let f(j) = -j - 7. Let u be f(-5). Does 14 divide (4983/4)/11 - u/(-8)?
False
Suppose 0 = 9*x - 984 - 402. Does 6 divide x?
False
Suppose 0 = 17*o - 5992 - 128. Is 6 a factor of o?
True
Let a(k) = 5*k - 3 - 4 - 10*k - k**2. Let h be a(-4). Is (-2)/h + (-1064)/(-42) a multiple of 7?
False
Let v(s) be the first derivative of s**5/60 - 7*s**4/24 + 3*s**3/2 - 7*s**2/2 + 4. Let w(p) be the second derivative of v(p). Is 2 a factor of w(6)?
False
Let a(m) be the second derivative of -131*m**3/2 + m**2/2 - 4*m. Let w be a(-1). Suppose 0 = 4*c + 2*o - w, 399 = 2*c + 2*c - 3*o. Does 25 divide c?
False
Let o be (0 + -1)*0 - -162. Let h(f) = -6*f**2 + 184*f - 20. Let s be h(30). Let l = o - s. Is 20 a factor of l?
False
Let b(z) = z**2 + 10*z + 19. Let l be b(-8). Suppose -4*y + 21 = -l. Is y a multiple of 4?
False
Let t be ((-20)/(-16) + -2)*-4. Let v(k) = 2*k**t + 7*k**2 - 1 + k**2 + 8*k + 4 - 3*k**3. Is 36 a factor of v(7)?
True
Suppose -5*z - 995 = -t, 3*z - 4046 = -4*t + z. Does 57 divide t?
False
Let u be (0 - (-71 + 3)) + -4 + 1. Suppose s - u = -4*a, -21 = -s - a + 47. Is s a multiple of 23?
True
Suppose 3*g = g + 14. Let v(q) = 4 - g*q - 4*q**2 - 6 + 0*q**2 - q**3 + 7. Is v(-5) a multiple of 14?
False
Let m(c) = -c**2 + 45*c - 137. Does 3 divide m(20)?
True
Let q = -405 + 501. Does 32 divide q?
True
Let j(l) = l**3 - 3*l**2 - 6*l + 3. Let n be j(6). Let a = 42 + -85. Let c = n + a. Does 14 divide c?
False
Let a be (-7)/(-35) - (-508)/10. Suppose -a = -2*f + f. Is f a multiple of 17?
True
Suppose 5*k = -3*k + 112. Let t(i) = i**3 - 13*i**2 - 11*i - 31. Does 2 divide t(k)?
False
Let r(l) = -2*l - 8. Let y be r(-5). Suppose 46 = 5*d + y*i - 15, -4*d = -4*i - 60. Suppose -b = -d - 14. Does 9 divide b?
True
Suppose 3*a = -4*z + 1039, -z + 0*z = 2*a - 256. Does 32 divide z?
False
Suppose -45*s + 114 = -43*s. Does 33 divide s?
False
Suppose 401*q = 395*q + 9600. Is q a multiple of 100?
True
Let b(p) be the first derivative of -3/2*p**2 + 10 - 19/2*p**4 - 1/3*p**3 - 2*p. Is b(-1) a multiple of 10?
False
Let t = 3 - 0. Suppose t*u = 2*u. Suppose u = 2*l + 4*f - 44, 0 = 3*l + 3*f - 57. Is l a multiple of 10?
False
Suppose 2*t - 123 = -3*d + 10, 3*t - 225 = 4*d. Let f(p) = p - 4. Let x be f