ltiple of 11?
False
Suppose -9 = -4*l - 5*a - 3, -a - 22 = -5*l. Is l a multiple of 2?
True
Suppose -2*p = -7*p + 15. Does 11 divide 303/9 + (-2)/p?
True
Suppose 0*l - l = 2*o - 3, 5*l = -4*o - 3. Is o a multiple of 2?
False
Suppose 3*n + 3*y = 9, -8 = -n - 3*y + y. Does 7 divide (5/(-2) + -1)*n?
True
Let n(v) = 3*v**3 - 6*v**2 - 8*v + 5. Let b be n(5). Is (-1)/(-3) + b/15 a multiple of 2?
False
Suppose -q - 5 = -2*m, -5*m = -3*q + 3 - 13. Suppose 0 = -2*n + q*n - 153. Is n a multiple of 17?
True
Suppose 5*i - 3276 + 321 = 0. Suppose -39 = 6*k - i. Is k a multiple of 19?
False
Suppose 4*l - 31 = 2*r - 7*r, 7 = l + r. Let m = 0 + l. Is m even?
True
Suppose -3*u = -2*d + u - 62, 2*u - 68 = 2*d. Let o = d + 63. Does 9 divide o?
False
Suppose -2 = -0*o + 2*o, 5*n = -2*o - 2. Suppose 4*s + 35 = -5*k, n = -k - 0*s - s - 8. Is (-35)/k + 4/12 a multiple of 12?
True
Suppose 3*k - 15 = 3. Is -3 - (-3*k + 1) a multiple of 14?
True
Let u = -3 + 5. Let f(h) = h**3 - 2*h**2 + h - 2. Let k be f(u). Suppose k*r + 4*r = 20, 4*j + 3*r - 159 = 0. Is 13 a factor of j?
False
Suppose -16 = -3*h - 1. Let k = 8 - h. Is (-26)/1*k/(-6) a multiple of 12?
False
Let s = 3 - 2. Let y(k) = -2*k + 20. Let v(q) = q**3 - q**2 - q. Let l(t) = s*y(t) - v(t). Does 8 divide l(0)?
False
Suppose -5*u + 5 = -25. Suppose -k + u*k + 2*z = 35, -3*k + 10 = -z. Suppose 11 + k = b. Is b a multiple of 8?
True
Let x = -23 + 37. Is x a multiple of 12?
False
Suppose 4*i - 9 = r, 0 = -3*r + r - 5*i + 21. Let w = -10 - -8. Is 8 a factor of (-81)/r*w/6?
False
Suppose -85 = -4*d + v, d = 4*v + 38 + 2. Does 20 divide d?
True
Is 3/(75/40)*40 a multiple of 22?
False
Let q = 200 + 32. Suppose -5*o + 2*z = -2*z - q, 3*o - 152 = -4*z. Let f = -17 + o. Is f a multiple of 9?
False
Let j = -33 - -59. Does 13 divide j?
True
Does 23 divide (-688)/(-15) + 10/75?
True
Suppose -3*f + 9 = -0*f. Suppose 0 = -2*i - f*u - 1 + 78, 4*u = -2*i + 80. Is i a multiple of 26?
False
Let b = 13 - 7. Let a = b + -3. Is a a multiple of 3?
True
Let n = 1 - -1. Let i = n - -5. Does 6 divide i?
False
Let z be (2/5)/((-1)/(-5)). Suppose 3*f = -z*f + 160. Is 16 a factor of f?
True
Suppose -l = -0*l - 2*y - 10, -3*l = 3*y - 3. Suppose 63 = 3*w - 0*a - l*a, 0 = -5*w - 3*a + 105. Does 9 divide w?
False
Does 23 divide -3*(-3)/18*118?
False
Let u(h) = h**3 + 4*h**2 + 3*h + 3. Let f(b) = -b + 3. Let s be f(6). Let t be u(s). Suppose 0 = 2*j + 5*z - t, -z - 21 = -4*j - j. Is 3 a factor of j?
False
Let c = 52 - 38. Does 7 divide c?
True
Let j = 24 - 36. Does 20 divide (-482)/(-8) - (-3)/j?
True
Suppose -4*w + w - 18 = 0. Let s(f) = -f - 3. Let v be s(w). Suppose 8*y - 45 = v*y. Does 3 divide y?
True
Let m(d) = d**3 - 10*d**2 + 4*d + 8. Let t be m(8). Let j = -60 - t. Does 8 divide j?
False
Suppose -l + 5 = 2. Suppose -l*n - n + 36 = 0. Is 3 a factor of n?
True
Suppose -5*r - 285 + 0 = 0. Let l = -35 - r. Does 9 divide l?
False
Suppose -2*s - 3*s = -665. Is s a multiple of 18?
False
Let h be -2*(-6)/4*1. Suppose 0 = -h*y - 0*y + 3. Is (-1 + 0)*(y + -4) even?
False
Let q(h) = 5*h**2 + 3*h - 2. Let l be q(-3). Does 3 divide 2/(-5) - l/(-10)?
True
Let k = 19 + 1. Is k a multiple of 4?
True
Suppose -2*y = -7*y + 495. Suppose 4*f = f + y. Does 11 divide f?
True
Let l = 44 + 127. Is l a multiple of 41?
False
Let g = 9 - 6. Suppose 70 = g*n + 25. Is n a multiple of 5?
True
Suppose 0*b + 13 = -3*x + 4*b, -4*x - 4*b - 8 = 0. Is 13 a factor of (-2)/x*(4 - -20)?
False
Let p = 56 - 32. Let x = p - 6. Is 6 a factor of x?
True
Let k = -3 - -3. Let g = 8 + k. Is 4 a factor of g?
True
Let n = -9 + -4. Let i = -8 - n. Is 3 a factor of i?
False
Suppose -2*r + 2*b + 292 = 0, 0 = 4*r + 4*b - 52 - 508. Is r/4 + (-6)/(-24) a multiple of 18?
True
Suppose 2*f - 105 = -2*y - 15, 2*f = 3*y + 115. Is f a multiple of 11?
False
Suppose 0 = -4*z + z. Suppose 0*f - 2*f + 8 = -4*y, 5*f = z. Is y/9 - (-492)/27 a multiple of 9?
True
Let f(k) = k**2 + 4*k + 2. Let g be f(-4). Let i(n) = 2*n + g*n - 5*n**2 - 21*n**3 + 22*n**3 + 5. Is 3 a factor of i(4)?
False
Let o(h) = 4*h + 15. Let x(c) = c + 4. Let y(m) = -2*o(m) + 9*x(m). Let l be y(0). Suppose -l*n + 140 = -n. Is 14 a factor of n?
True
Let g = 20 - 11. Let h(z) = z**2 - 15*z + 27. Let m be h(13). Let a = m + g. Is a a multiple of 6?
False
Let a be 3*2/(-2)*2. Let u(y) = y**2 + 2*y - 4. Let q be u(a). Let m = q + -13. Does 7 divide m?
True
Let q(v) = -1. Let o(r) be the first derivative of -r**2 + 2*r - 1. Let y(u) = -o(u) + 4*q(u). Is 2 a factor of y(5)?
True
Let y = -187 - -323. Suppose -2*d - 4*w = -y, -3*w + 305 = 5*d - 0*d. Is 21 a factor of d?
False
Let l(f) = f**3 - 2*f**2 + 3*f - 3. Let c be l(2). Let b(y) = 2*y**2 - 3*y - 4. Is b(c) a multiple of 2?
False
Let f(m) = -3*m**2 + 3*m - 5. Let v be f(-6). Let i = v + 45. Does 7 divide 2/(-6) - i/6?
True
Let r(a) = 6*a - 1. Let v be r(-1). Let t(u) = 4*u + u**3 + 0*u**3 - 2*u**2 - 13*u + 8*u**2 - 4. Does 10 divide t(v)?
True
Let y(b) = b + 9. Let m be y(-7). Let u = 1 + m. Suppose 0 = u*a + 2*h - 52, -h + 33 = 2*a - 0*h. Does 7 divide a?
True
Suppose z + 3*z = -a + 46, 4*a = 4*z - 56. Is z a multiple of 12?
True
Let d = -11 + 16. Suppose -5 = -d*q + 10. Is q a multiple of 3?
True
Let x = 6 + -5. Let s = 0 + x. Is 7 a factor of -1*s/(-1)*7?
True
Suppose 5*h = 3*u - 85, -u - 83 = -4*u + 4*h. Let r = 61 - u. Is r a multiple of 12?
True
Suppose 0*i = 3*g - 3*i - 321, 4*g + 3*i = 428. Is g a multiple of 12?
False
Suppose v - 16 = -3*v. Suppose -5*c + 49 = v*l, c + 68 = 5*c - 4*l. Is c a multiple of 12?
False
Suppose 3*v + 2*v = -5. Does 9 divide 6 + (1 - (v - 1))?
True
Let r = -177 + 321. Does 8 divide r?
True
Let m(k) = k**2 + 2*k - 5. Let x = -1 - -2. Let a = -4 - x. Is m(a) a multiple of 7?
False
Let x(m) = -m**3 + 20*m**2 + 46*m - 32. Does 4 divide x(22)?
True
Let o = -19 + 27. Let d(p) = 2*p - 4. Is 3 a factor of d(o)?
True
Let b = 166 + -127. Does 2 divide b?
False
Let g(f) = -f**3 - 3*f**2 - 7*f - 4. Let l be g(-4). Let v = -3 + 6. Suppose 2*s - v*p = l, -2*s + p + 80 = 2*s. Does 10 divide s?
True
Suppose -23 = -2*x - 7. Is 1/4 - (-182)/x a multiple of 11?
False
Suppose 0*d = -5*y + 4*d + 18, 0 = 4*y - 4*d - 16. Let q be (-1)/(1*(-2)/6). Suppose -2*l + 2*t = -14, l + 5 = y*l - q*t. Does 4 divide l?
True
Suppose 10*x - 147 = 1013. Is 34 a factor of x?
False
Let z(g) be the first derivative of 5*g**2/2 + 7*g - 3. Is 16 a factor of z(5)?
True
Let g(k) be the second derivative of k**4/6 + k**3/2 + k**2 + 2*k. Does 22 divide g(-4)?
True
Let u = 3 + -1. Is 11 a factor of ((-3)/4)/(u/(-32))?
False
Let o = 8 + 6. Does 9 divide o?
False
Let u(x) = 6*x. Let n be u(-3). Let l = n + 31. Is l a multiple of 13?
True
Let r be (3/9)/(1/99). Suppose w - r + 5 = 0. Does 14 divide w?
True
Let t be (-1)/2 + (-214)/(-4). Let x = 81 - t. Is x a multiple of 9?
False
Is (0 + -5)*(-116)/10 a multiple of 14?
False
Suppose 3*a + 7*a = 270. Does 27 divide a?
True
Let l(x) = 6*x - x**3 + 0*x - 3*x**2 - 1 - 2*x**2. Let k be l(-5). Let y = -7 - k. Is y a multiple of 12?
True
Let g = 375 + -253. Suppose -x + 5*s = -7, -3*x + g = 2*x + 4*s. Does 18 divide x?
False
Suppose 4 = p, -4 = 2*b + p + p. Let m = b - -10. Suppose 0 = 2*c - m*c + 30. Does 6 divide c?
False
Let y(l) = l**3 - 5*l**2 - l - 5. Let q be y(6). Suppose -5*u + n + q = 0, 45 = u + 4*u - 5*n. Suppose 3*w + u*m - 35 = 0, -4*w = -2*w - 2*m. Does 5 divide w?
True
Let c(z) = 18*z - 3. Let d(y) = -19*y + 2. Let p(k) = -3*c(k) - 2*d(k). Does 21 divide p(-6)?
False
Suppose z + 123 = 4*z. Let g = 7 + z. Does 17 divide g?
False
Suppose -4*s - 2 - 1 = -5*b, -2*b - 4*s = 10. Let m be (-11 + b)/(9/24). Let u = m + 58. Is u a multiple of 13?
True
Suppose j + 30 = i, -5*i + 114 = -j + 5*j. Suppose 2*t - 3*t + 3*o + i = 0, -5*t + 158 = -o. Does 8 divide t?
True
Let a(w) = -w**3 - 12*w**2 + w + 26. Is 12 a factor of a(-13)?
False
Let m(f) = -40*f - 2. Is m(-2) a multiple of 6?
True
Suppose 4*a - 2*a - 5*f - 46 = 0, -3*a + 79 = -5*f. Let z = a - 14. Is z a multiple of 10?
False
Let v(o) = 4*o - 5. Let a be v(2). Let l(y) = y**3 - y - 2. Is l(a) a multiple of 22?
True
Let h(n) = 12*n**2 - n + 1. Let f be (20/25)/((-2)/(-5)). Does 13 divide h(f)?
False
Suppose -2*k = -3*k. Suppose k = 2*b + b - 5*m - 25, -5 = -b + 5*m. Does 10 divide b?
True
Let q(