e 0*u + i = u. Suppose -4*k = 5*d - 54, -3*k + 13 = -2*d - u. Is k a multiple of 11?
True
Let z(i) = 20*i + 6. Is z(2) a multiple of 6?
False
Let j(r) = r**2 - 2*r + 2. Let o be j(2). Suppose 0 = 3*b - 3*f - 105, -o*b - 4*f + 68 = 28. Is 15 a factor of b?
True
Let x = -1 - -3. Suppose 8 = x*b + s, -2*b - 2*b + 16 = -s. Let r(q) = q**2 + 2*q - 2. Is r(b) a multiple of 11?
True
Does 13 divide (-582)/(-10) - 2/10?
False
Let x(y) = y**3 - y**2 + y + 1. Let r(l) = 8*l**3 - 7*l**2 + 5*l + 6. Let t(j) = -r(j) + 5*x(j). Suppose 2*a + 5 = 1. Does 9 divide t(a)?
False
Let t be (1*3)/(6/258). Let o = -87 + t. Is 14 a factor of o?
True
Let g(b) = -9*b. Let u be g(-3). Let v(w) = -w**3 + 3*w**2 + 5*w + 1. Let y be v(4). Suppose -6*l + u = -y*l. Is l a multiple of 8?
False
Let d(k) be the second derivative of 3/2*k**2 - 2*k**3 + 0 + k. Is d(-3) a multiple of 13?
True
Suppose 3*j + 30 = -3*q, 15 = 2*q - 4*q - 3*j. Suppose -2*w + w = -3*l + 20, 2*w + l = -75. Let z = q - w. Does 6 divide z?
False
Let f be (-3 + 3)/(-3 + 2). Suppose f = -h + 36 + 24. Does 30 divide h?
True
Let m(j) = 2*j + 6. Let x be m(-8). Let b = 11 + x. Suppose u = b, -5*v - 5*u + 155 + 90 = 0. Is v a multiple of 24?
True
Let u(o) = -o**3 + 5*o**2 + 2. Let h be u(5). Suppose 0 = -0*i - h*i + 4. Is i - (-1 + 2 - 1) a multiple of 2?
True
Suppose -15 = -2*a + 1. Suppose 7 = x - a. Is x a multiple of 8?
False
Suppose -3*z + 2*o = -3*o - 467, -3*z + 473 = -2*o. Is z a multiple of 18?
False
Let k(m) = 22*m + 1. Let v(q) = -2*q - 10. Let c be v(-7). Let i = 6 - c. Is 16 a factor of k(i)?
False
Let y(u) = -11*u + 1. Let o be y(-1). Suppose w + 8 = 3*m, m + m - 5*w + o = 0. Suppose 30 = -k + m*k. Does 5 divide k?
True
Suppose 4*u = 5*u - 71. Suppose 3*g + 2*i - 76 = 0, -3*g + 2*i + u = 3*i. Let r = g + 5. Is 16 a factor of r?
False
Let n(z) = -z - 11. Let g be n(-12). Does 8 divide g/3 + 888/36?
False
Suppose 2*m - 5*a - 6 = 0, -m + 6*m - 15 = -4*a. Let o = -1 + m. Suppose -28 = -o*b + 44. Does 13 divide b?
False
Let l = -1 - 3. Let j(o) = 2*o**2 + 5*o - 2. Let g be j(l). Suppose 8 + g = 3*i. Is 6 a factor of i?
True
Let q be ((-1)/2 + -2)*-14. Let u = -35 + 11. Let c = u + q. Is c a multiple of 11?
True
Let s(z) = -z + 15. Does 5 divide s(5)?
True
Let y = -29 + 41. Is 2 a factor of y?
True
Let x = -36 + -43. Let j = x + 135. Is j a multiple of 23?
False
Suppose 3*q + 20 = 56. Does 12 divide q?
True
Let m(w) = 5*w + 0*w - 3 + 3*w - 3*w. Is 11 a factor of m(5)?
True
Suppose -20 = 5*g, -5*o + 0*o + 4*g = -41. Suppose 0 = -4*z - r + 23, -o*z + r = -34 + 12. Suppose -2*m + z*m - 45 = 0. Is m a multiple of 6?
False
Suppose 0 = -2*b + 79 - 7. Is b a multiple of 16?
False
Let q = -34 + 86. Let p = q - 32. Does 10 divide p?
True
Suppose -2 = 2*n - 10. Suppose -n*g - 3*x + 9 = 0, x + 13 = 2*g + 2*g. Does 3 divide g?
True
Let j = 17 + -11. Does 5 divide 153/j + 1/(-2)?
True
Let h(n) be the third derivative of n**5/60 - 5*n**4/24 - n**3/3 - 5*n**2. Suppose -3*s = -26 + 8. Is h(s) even?
True
Suppose 5*n = 4*x - 90, 5*n - 8 - 52 = -2*x. Is x a multiple of 4?
False
Let k = -2 + -4. Does 10 divide (-8)/(-24) + (-118)/k?
True
Let r = -372 - -702. Is r a multiple of 16?
False
Let a be (-2)/(2 - (-76)/(-39)). Let i = a - -72. Does 7 divide i?
False
Suppose 4*d - 112 = 4*n, -6*d + 4*d = 4*n - 74. Let i = d - 7. Is 12 a factor of i?
True
Suppose b - 906 + 20 = 3*q, 2*q + 3*b + 576 = 0. Is 7 a factor of q/7*(-1)/2?
True
Let i(p) = 2*p**3 + 5*p**2 - 2*p + 2. Let f be i(-4). Let x = f - -63. Is x a multiple of 25?
True
Let c(o) = -2*o. Let x be c(3). Let i(k) = k + 9. Let m be i(x). Suppose 0 = 2*y + 4, 80 = 4*z + m*y - 34. Is z a multiple of 15?
True
Suppose -3*p = p - 16. Let t(a) = 4*a + 2. Let j be t(p). Suppose 108 = 5*q + 3*m, -q + 4 = m - j. Is 18 a factor of q?
False
Let m(j) be the third derivative of -j**4/24 - j**3/6 - j**2. Let v be m(-1). Is 8 + 0 + v/(-2) a multiple of 5?
False
Let p(f) = -f**3 - 7*f**2 - 8*f - 2. Let x be p(-6). Suppose d - x = 1. Is d a multiple of 3?
False
Suppose -3*u = 5*l - 17, u = -5*l - 0*u + 19. Suppose 328 = 4*x + 3*v, -20 = l*x + 4*v - 344. Is x a multiple of 22?
False
Let a(c) = c + 72. Let n be (-2)/(-3) - (-24)/(-36). Is 12 a factor of a(n)?
True
Let l be ((-72)/45)/(1/(-15)). Suppose 0 = -5*m + 52 - 12. Let s = l - m. Does 8 divide s?
True
Let u(k) = -k**3 + 2*k**2 - k. Is 16 a factor of u(-3)?
True
Let o(p) = -p**2 + 14. Let r be o(0). Let u = 23 - r. Does 9 divide u?
True
Let m(r) = r**3 - 2*r**2 - 2*r - 1. Let u = 3 + 0. Let v be m(u). Suppose -3*i - 2*b = -45, 30 = 4*i - v*i + b. Is 4 a factor of i?
False
Suppose 2*n + 0*l - 67 = l, -4*l - 4 = 0. Is n a multiple of 9?
False
Suppose 72 = -8*y + 11*y. Is 6 a factor of y?
True
Suppose -2*d + 4*d = 0. Suppose d = l + 4*l - 415. Suppose 5*y + 0*y - 133 = -3*k, -3*y = k - l. Does 12 divide y?
False
Does 9 divide (8/(-1))/(2/(-22 - -4))?
True
Is 0 + 4*29 - (23 + -24) a multiple of 31?
False
Let b = -13 + 3. Let i = -7 - b. Suppose -2*w = -v - v - 14, -4 = -2*w - i*v. Is w a multiple of 2?
False
Let w be 196 + 6/(-3) + 1. Suppose v - w = -2*v + 3*g, -4*v + 288 = 3*g. Suppose 96 + v = 5*s. Is 9 a factor of s?
False
Suppose -m + 5*m = 16. Let y be 10/40 - (-95)/m. Suppose -h + y = 3*h. Is 4 a factor of h?
False
Suppose 8*b - 170 = 3*b. Is 17 a factor of b?
True
Let q = -22 + 23. Let y(b) = 2*b - b + 4*b - 1. Is y(q) a multiple of 3?
False
Let s be (1 + 7)*(-1)/(-1). Let h(f) = -s + 0*f**2 - f**2 + 9*f + 0*f**2. Does 9 divide h(6)?
False
Suppose 59 = 3*z - 70. Suppose -2*n - 42 - 16 = 0. Let w = z + n. Is 9 a factor of w?
False
Does 17 divide 0 + 69 - (-54)/18?
False
Suppose 0 = 3*d - 14 + 5. Suppose -d*y + 3 = -2*y + j, 2*y - 4 = -3*j. Suppose 4*o = 2*h + 6 - 0, -y*o + 6 = -3*h. Does 3 divide h?
True
Does 11 divide (8 + -20)*22/(-8)?
True
Suppose 0*z - z + 44 = 5*f, 2*f - 64 = -2*z. Does 18 divide z?
False
Let b = 18 - 7. Suppose -55 = -3*y + b. Does 11 divide y?
True
Suppose -9*m = -5*m - 3*u - 159, -155 = -5*m - 5*u. Is m a multiple of 15?
False
Let r(v) = -v + 5. Let u be r(-4). Suppose 3*q + 2 = 5*i, 0*q + 6 = q - 5*i. Does 5 divide (u + -7)*(-30)/q?
True
Suppose -119 = -5*v + 4*u + 183, -5*v + 5*u = -305. Does 7 divide v?
False
Let w(x) = -12*x + 4. Let d(f) = -f**2 - f - 3. Let s be d(0). Let h be w(s). Let a = 59 - h. Is a a multiple of 13?
False
Let x = -22 - -42. Suppose 12*i - x = 7*i. Is i a multiple of 4?
True
Let q = 2 - 0. Let j(l) = -3 + 5 + 2*l**2 - l**q - 1. Is 5 a factor of j(2)?
True
Suppose 0*p + 2*t - 99 = -p, 0 = -2*t. Does 17 divide p?
False
Let q be (-3)/3 + (2 - 6). Let a be 4/(-3) + (-4)/6. Is -6*(q/a)/(-5) even?
False
Suppose -10*s + 460 = 40. Does 14 divide s?
True
Suppose -4*a - 20 - 128 = 0. Let m = a - -91. Does 18 divide m?
True
Let b = -33 - -46. Is b a multiple of 5?
False
Let v(n) = 39*n + 12. Does 15 divide v(2)?
True
Suppose -v + t + 158 = -193, 4*t = v - 354. Is 50 a factor of v?
True
Suppose 3*g = 2*m + 221, 0*g = 2*g - 2*m - 146. Is g a multiple of 15?
True
Let o = 11 - 5. Does 3 divide o?
True
Let h(g) = -4*g**2 + 4*g - 3. Let t(u) = u**2 + u. Let l(s) = h(s) + 3*t(s). Let c be l(5). Let q = -2 + c. Is q even?
False
Suppose 5 = 2*i - 3*i, -2*l - 2*i + 70 = 0. Suppose -6*u + 2*k = -2*u - 278, -2*k = 4*u - 298. Let v = u - l. Does 11 divide v?
False
Is (193 + 2)*1/3 a multiple of 17?
False
Is 13 a factor of -3*(419/(-6) - 1/(-2))?
True
Let n be ((-2)/(-8))/((-5)/(-20)). Let o(k) = 4*k - 5 - 3 + n + 4. Is o(2) a multiple of 5?
True
Suppose -2*m - 3 = -7. Let s(o) = o + 0*o + o**m + 0 + 2. Is s(-4) a multiple of 8?
False
Suppose 2*b + 10 = 20. Does 5 divide b?
True
Let v(b) = -b**3 + 12*b**2 - 11*b + 2. Let u be v(10). Suppose 3*m + m = u. Is m a multiple of 16?
False
Let j(y) be the second derivative of y**3/6 + 6*y**2 - 2*y. Does 4 divide j(-6)?
False
Let h(q) = -q**3 - 2*q**2 + 1. Let m be h(-1). Suppose m = n - 0*n - 5. Does 2 divide n?
False
Let v(f) = -f**3 - 10*f**2 - 6*f + 20. Is 10 a factor of v(-10)?
True
Let w = -5 - -11. Let b(x) = -w*x**2 - 6*x - 2*x**2 - x**3 + 7 + x**2. Does 6 divide b(-6)?
False
Does 9 divide (306/3)/((5 - 7)/(-1))?
False
Does 12 divide 15*6/(-15)*-2?
True
Suppose 8*v = 6*v + 26. Is 5 a factor of v?
False
Let g(v) = 2*v - 10*v**2 + 6 + 11*v**2 - 2. Is 14 a f