- 22 + 6 = 0. Suppose 4*k = -5*u - 119, c*u = -2*k + 3*k - 91. Let j = -3 - u. Does 7 divide j?
False
Let b = 309 + -207. Is b a multiple of 17?
True
Suppose 0*q = 4*q - 20. Let r(k) = k**3 - 3*k**2 + 2*k - 2. Is 11 a factor of r(q)?
False
Suppose -3*y - 230 = -5*y. Let z = y + -81. Is 17 a factor of z?
True
Let k = -4 + 0. Is (6/k)/((-6)/60) a multiple of 6?
False
Let w(g) = -g**2 + 13*g + 5. Suppose 0 = u - 5*n + 18, 0 = -5*u - 8*n + 3*n. Let i = 10 - u. Is 2 a factor of w(i)?
False
Suppose o - 186 = -33. Does 18 divide o?
False
Suppose -3 - 24 = -3*o. Is o a multiple of 2?
False
Let m(u) = 1 - 2*u + u - 3 + 0*u**2 + 4*u**2. Does 21 divide m(4)?
False
Let z(n) = -78*n**3 - 2*n**2 - 2*n - 1. Is z(-1) a multiple of 7?
True
Does 8 divide ((-81)/36)/((-3)/56)?
False
Let i(g) = 0*g**2 - 2*g - 3*g**2 - 4*g + g**2 + 7. Let q be i(-6). Let o = 43 + q. Is o a multiple of 4?
False
Let k(j) = -j**2 - 6*j + 2. Let p be k(-6). Suppose -2*a = p*a - 12. Suppose -a*d + 24 = d. Is d a multiple of 6?
True
Suppose 0 = -5*s - 4*v - 2, -3*s + v + 1 = -4*s. Suppose -11 - 14 = -x + s*k, 3*k = -2*x + 29. Does 11 divide x?
False
Let d(y) = 22*y + 35. Is d(6) a multiple of 43?
False
Let w be (-20)/(-11) - (-10)/55. Is 1/((-63)/(-31) - w) a multiple of 13?
False
Suppose 360 = 3*j - 264. Suppose 3*n = -4*v + 53 + 63, -5*n + j = 3*v. Is 12 a factor of n?
False
Suppose 0 - 2 = -w. Suppose v + 52 = w*v. Does 17 divide v?
False
Suppose 0*v - 8 = -2*v. Suppose -v*l + l + 51 = 2*r, -l = 5*r - 121. Does 17 divide r?
False
Let j(b) be the third derivative of 5*b**4/24 - b**3 + 10*b**2. Is 9 a factor of j(8)?
False
Let n(j) = 55*j + 26. Is 12 a factor of n(3)?
False
Let r = 19 - 12. Is r even?
False
Let k(v) = -v**2 + 2*v + 27. Does 17 divide k(0)?
False
Suppose -7*j + 11*j - 52 = 0. Is 3 a factor of j?
False
Suppose -6*m = -7*m + 3. Suppose 0 = -m*y + 32 + 22. Is y a multiple of 6?
True
Suppose 27 - 7 = 5*w. Suppose 4*s + 24 = 5*s - 5*i, 0 = 4*i + 16. Suppose -s*u + w = -8. Is 2 a factor of u?
False
Let d(z) = -2*z + 3. Let l be d(-6). Let q = 10 - l. Does 6 divide 2/(0 + (-1)/q)?
False
Let x(f) = 2*f - 9. Let n be x(6). Suppose n*p - 10 - 38 = 0. Is p a multiple of 16?
True
Let o = 199 + -103. Does 16 divide o?
True
Let v(q) = 2*q - 4. Let l be 3/(-1)*8/(-6). Let t be v(l). Suppose -5*b = -0*b - 4*w - 37, -t*b + 3*w = -30. Does 9 divide b?
True
Suppose 10*p - 11*p + 21 = 0. Is p a multiple of 7?
True
Suppose -64 = -i + p, -i - 195 = -4*i + 4*p. Suppose f + 12 = i. Is 10 a factor of f?
False
Suppose -3*q - 2*m + 49 + 26 = 0, 3*q - 84 = -5*m. Let p = q - 10. Does 5 divide p?
False
Let t = 5 - 11. Let x = t + 8. Suppose 11 - 3 = x*n. Is n even?
True
Let z = 10 - 5. Suppose 0 = 5*k - 4*n - 198, 0 = -4*n - z - 3. Is 11 a factor of k?
False
Let r(p) = p**2 - p + 9. Is 9 a factor of r(0)?
True
Let x = 81 - -77. Is 38 a factor of x?
False
Let j(y) = 12*y**2 - 10*y - 22. Is j(-5) a multiple of 41?
True
Suppose 0 = -5*f + 172 - 62. Let x = f + -8. Does 7 divide x?
True
Let b = 15 + -12. Suppose -b*h - 4*r = 2*h - 175, r - 67 = -2*h. Does 20 divide h?
False
Let m = 10 - 13. Is (-36)/(-24)*(-46)/m a multiple of 14?
False
Suppose x = -2*q + 280, 3*x - 3*q = -4*q + 840. Does 47 divide x?
False
Let r(t) = t**3 + 5*t**2 + 3 - 3*t**3 + t**3 + 6*t - 13*t**2. Is 10 a factor of r(-9)?
True
Let b(q) = 9*q**2 - q. Let g be b(1). Is 15 a factor of g/(-24) + (-182)/(-6)?
True
Suppose 7*x - 2*x - 300 = 0. Suppose 4*a + a - x = 0. Is 8 a factor of a?
False
Suppose 0 = -5*p + 20 + 370. Suppose 0*k - 2*k = -p. Suppose -5*y - 5*j + k + 86 = 0, -3*y + 2*j = -80. Is 11 a factor of y?
False
Let w = -3 + -1. Let z be (15/w + -3)*-28. Is z/14 + 1/(-2) a multiple of 13?
True
Suppose y + 8 = -y, 5*n - 32 = 3*y. Is 15 a factor of (-304)/(-8) + n + -1?
False
Suppose -5*p = -4*i + 25, 2*i + 0 = -p + 9. Suppose 0 = i*d - 2*c, 2*d = -2*d - 2*c. Does 24 divide -3*(-2 - (d + 6))?
True
Let j = 4 + -2. Suppose 2*c + j*c = 8. Suppose 0*l - 2*l + 28 = -3*u, -c*l = 3*u - 16. Does 4 divide l?
False
Let g be (-984)/18 - (-2)/3. Let c(a) = -a - 3. Let q be c(7). Let z = q - g. Is z a multiple of 22?
True
Let o = -210 - -41. Let n = -117 - o. Does 13 divide n?
True
Let l(a) = -a**2 - a + 4. Let w(y) = -2*y**2 - 3*y + 8. Let x(o) = 7*l(o) - 4*w(o). Is 12 a factor of x(3)?
False
Let r = -64 - -78. Is 7 a factor of r?
True
Let v be -9 - (-1 - 3/3). Let q be v/(-9) - 6/(-27). Suppose x - 37 + q = 0. Is 18 a factor of x?
True
Does 20 divide 2 + -5 + 142 + 1?
True
Let u = -38 - -74. Is 12 a factor of u?
True
Suppose -m - 6 = -2*h, -2*m + 6 = h - 7. Suppose -3*w + 0*w - 70 = -4*n, 0 = n + h*w - 6. Does 15 divide n?
False
Let x(w) be the second derivative of 2*w**3/3 - 4*w**2 + w. Suppose -4*y + 36 = -0*y. Is x(y) a multiple of 14?
True
Let v be ((-20)/8)/((-2)/12). Suppose -2*f + v = -5*f + o, o = -4*f - 13. Is 12 a factor of 22 - 1*f/2?
True
Let i(b) be the third derivative of -b**6/120 + 7*b**5/60 - 2*b**3/3 - 6*b**2. Is 16 a factor of i(6)?
True
Let t(o) = -o**2 + 6*o - 4. Let p(m) = -m**3 + 4*m**2 - 2*m + 1. Let y be p(3). Let k be t(y). Suppose -27 = -k*f + 53. Does 13 divide f?
False
Suppose 8*s - 5*w - 135 = 3*s, 0 = -4*w - 12. Is s a multiple of 19?
False
Suppose -c - 4*j - 66 = 0, 3*c = 5*c + 3*j + 152. Let x = -43 - c. Is 12 a factor of x?
False
Let r = -125 + 190. Does 29 divide r?
False
Let c = -17 - -26. Is 3 a factor of c?
True
Suppose 5*b - 160 = -5*u, -5*u + b - 2*b + 176 = 0. Suppose 0*g - u = -2*g + 3*k, -3*g + k + 54 = 0. Is 9 a factor of g?
True
Let p(j) = j - 1. Let i be p(8). Let x = i + -4. Suppose -5*g = x - 88. Does 17 divide g?
True
Suppose o = -5*x + 21, -x - 4 = -5*o - 3. Let v = -3 + x. Does 6 divide ((-2)/(-4))/(v/12)?
True
Let q(t) = -86*t + 6. Let i be q(4). Let n be i/(-10) - 2/(-10). Let h = 49 - n. Is 15 a factor of h?
True
Is 2 a factor of 10/4*24/15?
True
Suppose -4*b = b - 2*q - 16, -4*b - q = -5. Suppose -4*v - b*t + 8 = t, -t = 4*v - 16. Suppose -v*a + 38 = 8. Does 4 divide a?
False
Let k(r) = r**3 - 12*r**2 + 4*r. Is 24 a factor of k(12)?
True
Suppose 3*b + 2*b + 15 = 0. Let s = 2 - b. Let z(c) = 2*c**2 - 6*c - 4. Is z(s) a multiple of 11?
False
Let q(k) = -7*k**3 + 5*k**2 - 10*k + 21. Let h(m) = 3*m**3 - 3*m**2 + 5*m - 10. Let a(t) = 9*h(t) + 4*q(t). Is a(-8) a multiple of 18?
True
Let o(l) = -l - 4 + 2*l - 9*l + 0*l. Is 26 a factor of o(-7)?
True
Suppose 3*o + 117 = d, d - o + 5*o - 145 = 0. Suppose -4*l + l + 2*n = -d, -n = l - 38. Does 15 divide l?
False
Let a(s) = -s**2 + 10*s - 2. Let l be a(6). Suppose -4 = p - l. Is p a multiple of 8?
False
Let n(w) = w**3 - 3*w**2 - 3*w + 28. Let f(m) = m**3 - 4*m**2 - 4*m + 27. Let c(l) = -2*f(l) + 3*n(l). Is 7 a factor of c(0)?
False
Let m(p) = -5*p - 13. Let o be m(10). Let j = -33 - o. Is 15 a factor of j?
True
Let b(l) = l**2 - 3*l - 7. Let h be b(5). Suppose h*g = 3*o - 24, o + 0*o + g = 8. Is 8 a factor of o?
True
Suppose -3*r + 5*m - m = -6, 0 = 4*r + 5*m - 39. Suppose 0 = 3*p + 11 - 2. Is p/r + (-15)/(-2) a multiple of 5?
False
Let n = 16 + -10. Let a be 8/(-6)*n/4. Is 9 a factor of a + (-1 + 10 - -2)?
True
Suppose -2*x - 4*l - 14 = 0, l - 2*l = 3. Let y = 21 + x. Is y a multiple of 6?
False
Let i be 14/35 + 24/(-10). Let p be ((-4)/(-3))/i*-3. Suppose 26 = v + 2*r, -111 = -5*v + p*r + 7. Does 12 divide v?
True
Suppose -x + 6*x = 15. Suppose -5*k - x*m + 15 = 0, -3*k - 3*m - 1 = -16. Suppose -p = 4*a - 2*p - 65, k = -5*a + 2*p + 79. Is a a multiple of 13?
False
Let l = 23 + -12. Is l a multiple of 7?
False
Let r = -148 - -228. Is r a multiple of 16?
True
Suppose 3*y - 26 = l - 6, -y + 25 = -4*l. Suppose 3*j - y*h = j + 3, -j - h = 9. Let v = 32 - j. Is v a multiple of 19?
True
Suppose 0 = -2*f - 5*m + 2*m + 25, m + 85 = 4*f. Suppose 4*j + 7*c + f = 3*c, -8 = -4*c. Let b = j - -14. Does 4 divide b?
False
Let n(h) = h**3 - 5*h + 2. Let c be n(3). Let z = -18 - -52. Let i = z - c. Does 8 divide i?
False
Let y be -1 - (-2 - 0) - -52. Suppose 19 = f - y. Is f a multiple of 24?
True
Suppose 113 - 953 = -14*a. Does 12 divide a?
True
Suppose -2*x + 7*x = 275. Does 5 divide x?
True
Suppose -2*m - 15 = -1. Let g = 10 + m. Suppose -32 = -g*r + 40. Is r a multiple of 8?
True
Suppose -y + 9 = 5*d - 11, -5*y = -3*d - 16. Let x(v) = v**2 + 5 + 0*v**2 +