 -2*r + 5*r = 4*m - p. Is m a multiple of 6?
True
Suppose 3*y - 8 = -5*l - 0*y, -5*y - 28 = -2*l. Is l a multiple of 2?
True
Let x = 74 - 127. Suppose 4*c + 6 = -2*b - 12, 3*b = -c - 27. Let m = b - x. Does 22 divide m?
True
Let k(v) = v**3 - 5*v**2 - 5*v + 1. Suppose -3*n = -3*c - 18, 0*c = -3*n + c + 18. Let w be k(n). Suppose -2*y - 240 = -w*y. Is y a multiple of 16?
True
Let g(w) = 5*w**2 - 24*w + 51. Is g(7) a multiple of 8?
True
Suppose 8 = 6*u - 5*u. Suppose -r = -3*g + u, -4*g - 2*r = -11 - 3. Suppose -3*o + 18 = l, -7 = -g*o + 8. Does 3 divide l?
True
Let r = 39 - 36. Suppose -m = -2*x + 26, m - r*m + 20 = 2*x. Suppose -s + u - x = -4*u, 0 = -5*s + 2*u + 32. Does 3 divide s?
False
Let f(k) = -k**3 - 7*k**2 - 2*k - 7. Let y be f(-7). Suppose 8*o = 4*o - 364. Is (-26)/o - (-138)/y a multiple of 15?
False
Suppose 14*q - 96 = 11*q. Suppose -3*v - v = -q. Does 2 divide v?
True
Let k be (-4)/10 + 51/15. Let z = 573 + -518. Suppose 2*j - k*j = -z. Is 11 a factor of j?
True
Suppose -29*a + 8033 = -232. Is 15 a factor of a?
True
Suppose -3*s + 4 = -s. Let p = s + 64. Does 20 divide p?
False
Suppose -192 = -r + 5*s + 915, -r = 4*s - 1107. Is 41 a factor of r?
True
Suppose d + 4*c + 13 = 0, -4*d - 20*c + 4 = -18*c. Is 3 a factor of d?
True
Suppose -5*h + 10 = 0, 12 = c + 4*h + 2. Is 25 a factor of (-2 - c)*(-242)/8?
False
Suppose 9*u - 72 = 7*u. Suppose -u - 78 = -3*w. Is w a multiple of 4?
False
Let d(o) = -o**3 + 11*o**2 - 10*o + 10. Let k = -20 + 20. Suppose -4*h = -0*h + 2*m - 34, k = -3*m - 9. Is d(h) a multiple of 5?
True
Let d(z) = 33*z + 122. Does 41 divide d(17)?
False
Let p be (846/(-4))/((-27)/36). Suppose q - 5*q + p = -2*m, -q + m = -71. Does 35 divide q?
True
Let r(d) = d**3 + 12*d**2 + 10*d - 6. Let o be r(-11). Suppose -344 = -o*l - 4*t + 239, -10 = -5*t. Is l a multiple of 8?
False
Suppose -3*k - 5*u = 84 - 793, -k + 208 = -4*u. Is k a multiple of 38?
True
Let b(r) = -r**3 - 3*r**2 - 2*r + 76. Let v be b(0). Is v/(-57)*15/(-2) a multiple of 10?
True
Suppose -h + 23 = 3*h - 5*t, 2*h = -3*t - 5. Suppose 2*d + d = 5*r - 15, 0 = -h*d. Suppose 4*l = r*l + 11. Is l a multiple of 5?
False
Is 14283/9 - -2*9/(-6) a multiple of 36?
True
Let i(m) = 15*m + 10. Let z be i(-11). Is 10 a factor of (1/4 + z/(-20))*20?
True
Suppose 5*d + 3*w - 6*w = -350, d + 98 = -5*w. Let g = 18 - d. Is 27 a factor of g?
False
Suppose -3*v + 5*m = 8*m - 8271, -4*m - 5514 = -2*v. Is 49 a factor of v?
False
Let i(t) = 3*t**2 - 7*t + 30. Is 36 a factor of i(-6)?
True
Let c be ((-252)/15)/((-1)/(-5)). Let d = c - -135. Does 3 divide d?
True
Let f(h) be the second derivative of -29*h**3/3 + 10*h**2 - h - 4. Is f(-4) a multiple of 20?
False
Let p = -307 - -743. Does 4 divide p?
True
Suppose 3*a = -4*z + 828, 2*a - a - z = 269. Does 32 divide a?
False
Suppose -80*s + 71*s + 7200 = 0. Is s a multiple of 32?
True
Suppose 2*s - 61 = 1. Suppose -3*h = -s + 7. Does 9 divide (18/10)/(h/40)?
True
Let q(v) = -v**2 + 12*v - 11. Let a be q(11). Suppose -20 = -3*w - w, 2*x + 4*w - 320 = a. Suppose -3*b = 4*y - 73, 7*b - 2*b + y - x = 0. Is b a multiple of 4?
False
Suppose h + 1 - 3 = 0. Suppose -5 = d, -h*d - 121 = -3*c - 0*d. Suppose -o - c = -n, 149 = -0*n + 5*n + 4*o. Is 13 a factor of n?
False
Let w(b) = -b - 4. Let h be w(-8). Suppose h*k - 29 = 31. Is k a multiple of 3?
True
Suppose -77*a + 536 = -76*a - 2*y, -2*a + 5*y + 1067 = 0. Does 42 divide a?
True
Suppose -14*j + 13*j = -125. Is j a multiple of 5?
True
Let m(k) be the first derivative of k**4/4 - 7*k**3/3 + 3*k**2 + 2*k + 7. Let q be m(7). Suppose 0 = 2*j + 2*z - 9 - 13, 4*j - q = 3*z. Is 6 a factor of j?
False
Does 41 divide (2/6)/1*(281 + -35)?
True
Suppose z + 4*h = 1259, -2*h + 6*h + 16 = 0. Is z a multiple of 75?
True
Suppose 11*u = 3404 - 676. Does 31 divide u?
True
Suppose q + 69 = 21. Let r be q/32*(0 + 18). Is 15 a factor of (20/(-6))/(3/r)?
True
Let j = 2056 - 1439. Does 27 divide j?
False
Suppose 90 = -4*p - 50. Let a = -25 - p. Is 5 a factor of a?
True
Let q be (20/(-45))/((-4)/18). Is q/(-8) - 1059/(-12) a multiple of 22?
True
Suppose -6*x + x = -3*c - 37, 2*c + 3 = -x. Let q(t) = 2*t**3 - 4*t**2 - t. Is 29 a factor of q(x)?
True
Let z(y) = -y + 6. Let m be z(5). Does 23 divide (-1)/(m/(-483)*3)?
True
Suppose -2*j - 26 = 10. Let w be (4/3)/((-6)/j). Suppose -4 = -o, -5*d = -2*d + w*o - 145. Is 11 a factor of d?
False
Suppose -34*h = 12*h - 105892. Does 123 divide h?
False
Let d be (0 + 0/1)/1. Suppose -3*a + 10*w = 7*w - 24, 2*a + 4*w - 4 = 0. Let l = a - d. Does 2 divide l?
True
Let d(z) = 2*z**3 + 4*z**2 - 2*z - 5. Let u(i) = 3*i**3 + 5*i**2 - 2*i - 6. Let h(q) = 4*d(q) - 3*u(q). Let j be h(-4). Let r = -57 + j. Does 14 divide r?
False
Let c = 2904 - 2026. Is 14 a factor of c?
False
Suppose 8 = 3*a - 1, -3*j = -5*a - 1194. Is j even?
False
Does 2 divide 0 + (-20)/15 - 665/(-15)?
False
Let c(h) = h + 2. Let r be c(-12). Let z = 14 + r. Suppose -6*b = -z*b - 110. Is b a multiple of 9?
False
Suppose 411 = 6*u - 345. Is u a multiple of 21?
True
Is 17 a factor of -1*(0 - (-7)/((-21)/375))?
False
Suppose -4*x = -4*i - 844, -x - 2*i + 7 = -207. Suppose 5*u - 4*u + x = 0. Is 30 a factor of (-8)/28 + u/(-7)?
True
Suppose 0 = -6*m + 3*m + 6, -5*w + 46 = 3*m. Suppose -936 = 2*a - w*a. Does 23 divide a?
False
Let o(t) be the second derivative of 3/2*t**2 + t - 5/6*t**3 + 0. Is o(-2) a multiple of 9?
False
Suppose 5*s + 9 = 4*b, 4*s - s = -b - 19. Let v = -5 - s. Suppose -2*z + v = -6. Is z a multiple of 3?
True
Suppose 176 + 44 = 2*z. Suppose 0*l + 5*l = -z. Let y = l - -32. Is y a multiple of 10?
True
Let t(z) = -z + 17. Let g be t(14). Let u be (-112)/(-1 + g/9). Suppose 3*q = -3*a + u, -2*a = 4*q - 8 - 206. Is 11 a factor of q?
False
Does 63 divide 14/((-252)/(-52506)) - (0 + 2)?
False
Let l = -3 + 2. Suppose -5*s - 12 = 2*a, -3*s = -2*s + 4*a + 6. Is l - (0 + s)*2 a multiple of 2?
False
Let p(x) be the second derivative of 29*x**3/6 - 4*x**2 + 3*x. Is p(4) a multiple of 19?
False
Suppose 23*i - 5202 = 5*i. Does 12 divide i?
False
Suppose 42 = -3*v - 27. Is 42 a factor of 1 + 49 + v + 23?
False
Suppose 2*m - 8884 = -4*x, 4*x - 17*m = -12*m + 8912. Is x a multiple of 20?
False
Is 13 a factor of -3 + (-2 + 3 - -249)?
True
Let u(r) = r**2 + r - 1. Let d be u(2). Is 7 a factor of -5 - (d + -9) - -50*1?
True
Let j be 0 + -1 + (2 - -860) + -2. Suppose 4*g - 3*z + 6*z - j = 0, -5*g = 3*z - 1073. Does 25 divide g?
False
Suppose -3*j = 3*y + y + 188, 2*y + 112 = 3*j. Suppose 392 - 134 = 3*u. Let g = y + u. Does 12 divide g?
True
Let y(j) = j**3 - 4*j**2 + 5*j - 3. Let n be y(3). Let u(m) = -m**3 + 3*m**2. Let z be u(n). Is 14 a factor of -1 + 1 + 49 + z?
False
Is 18 a factor of 2 + -1 + 152 - 4/1?
False
Let u be ((-10)/2)/(2*(-4)/8). Suppose 4*c - 93 = u*f, -2*f + 28 = 4*c - 30. Does 11 divide c?
False
Let c = -190 - -522. Does 18 divide c?
False
Suppose -d - 112 = -5*d. Suppose -2*k = 3*y - 16 - d, 0 = k - 4. Is 6 a factor of y?
True
Let h(y) = 10*y**2 + 10*y - 4. Is 24 a factor of h(4)?
False
Suppose x - 5*m - 5 = 8, x + 2*m - 20 = 0. Let y = 53 - x. Does 12 divide (-250)/(-7) - (-10)/y?
True
Let s be (-3)/12 - 81/12. Does 30 divide -3 + s/(14/(-78))?
False
Suppose -m + 0*g + 3*g - 10 = 0, 2*g - 8 = 0. Suppose -84 = -b - 4*t, 2*b - 302 = -m*t - 104. Is 13 a factor of b?
True
Let h = -36 - -33. Is 2/(-10) + (-768)/45*h a multiple of 17?
True
Let c(s) = s**2 - 16*s + 19. Let n be c(15). Does 20 divide ((-228)/n*1 + -2)*-2?
False
Let o be 36468/135 + 4/(-30). Suppose 55*s - 50*s = o. Is 22 a factor of s?
False
Let g(v) = 49*v**2 - 16*v + 4. Is 24 a factor of g(2)?
True
Let i(c) = -c**2 - 6*c - 4. Let l be i(-2). Let s(u) be the second derivative of 7*u**3/3 - u**2 - 2*u. Is 15 a factor of s(l)?
False
Let q be 30*3 + (-40)/(-10). Suppose -9*o + q = -167. Does 18 divide o?
False
Let q = 3791 - 2011. Is q a multiple of 20?
True
Let a = 3 - 0. Let o(g) = g**3 + 11*g**2 - 43*g - 10. Let x be o(-14). Suppose r = x*w + a*r - 170, 3*w - 145 = -5*r. Is w a multiple of 8?
True
Let k(h) = h**2 + 17*h + 12. Let f(o) = -7*o - 3. Let b be f(2). Is k(b) a multiple of 2?
True
Let a be (1 - (-124)/(-8))*-2. Let d = -37 + a. Is (6/9)/(d/(-132)) a multiple of 11?
True
Suppose -4*h - 5*h + 801 = 0. Does 41 divide h?
False
Suppose -2*