e u*b = 2*b - 10. Is b a multiple of 5?
True
Let r be (-44*(-3)/3)/1. Let h = r - 17. Does 9 divide h?
True
Let h(m) = -m + 2. Let o be h(5). Let r be ((-2 - -2) + 0)/o. Suppose -y + r*y - 3*u + 23 = 0, -4*y - 5*u + 78 = 0. Is 13 a factor of y?
False
Let w = 9 + -5. Suppose -1 = -5*n + w. Is -17*(0 - 1)/n a multiple of 8?
False
Suppose 4 = -2*x, 2*f + 5*x - 543 - 163 = 0. Is f a multiple of 42?
False
Is ((-72)/2)/(8 + -9) a multiple of 26?
False
Suppose 0*v + v - 3*i - 51 = 0, -5*i - 15 = 0. Does 14 divide v?
True
Let v(a) = a**2 + 6*a - 4. Suppose 4*m - 40 = -5*b, 0 = 4*m - 2*b + 4*b - 28. Is 15 a factor of v(m)?
False
Let z = 1 - -1. Suppose i + 4 = 1, -5*g = 3*i - 146. Suppose -2*y + 25 = -3*m, g = 3*y + z*m - 13. Is y a multiple of 7?
True
Suppose -x + 3*j = -5, 0 = 2*x - 0*x + 3*j - 10. Suppose -x*u = -3*u - 66. Is 9 a factor of u?
False
Suppose 2*q - 352 = -5*z - 1, 0 = 3*q - 2*z - 574. Is 47 a factor of q?
True
Suppose -5*y = 2*u + 3*u + 65, -5*u + 3*y - 41 = 0. Let h = 32 + u. Is h a multiple of 16?
False
Suppose 0*p - 108 = 3*p. Is 12 a factor of 20/(-3)*p/10?
True
Suppose -2*b = 3*k - 4, -6 + 30 = 3*k - 3*b. Does 2 divide k?
True
Suppose 6*w - 19 = -4*x + w, -5*x = w - 29. Let n = x + 0. Is n a multiple of 3?
True
Let u be 108/5 - (-12)/(-20). Let g = -9 + u. Suppose 0 = -l - 0*l + g. Is 12 a factor of l?
True
Suppose -3*w + 4*w = 0. Suppose w = -c + 49 - 0. Is 27 a factor of c?
False
Let n be 16/(-48) - (-133)/3. Suppose -5*x - 4*s = -56 - 28, 0 = 2*x - s - n. Is x a multiple of 15?
False
Does 24 divide 4/18 + 2208/27?
False
Suppose -2*j = -5*j + 3. Let n be ((-29)/(-3))/(11/33). Suppose k = n + j. Is 15 a factor of k?
True
Let p = 7 + 9. Does 8 divide p?
True
Suppose -3*a = -2*f + 2*a + 21, 4*f + 28 = -4*a. Let c be f/(-5) - 81/15. Let l = c + 14. Is l a multiple of 4?
False
Let c(l) = l + 15. Let h be c(-8). Suppose -9*t = -h*t. Suppose -2*s = u - 84 - 4, 3*s - 3*u - 132 = t. Is 12 a factor of s?
False
Let m = 68 - 29. Let g = -13 + m. Is 7 a factor of g?
False
Suppose 5*h = 3*q - 3 + 73, 5*h - 4*q = 75. Is h a multiple of 5?
False
Let f be (-1 - -15)*3/6. Suppose 3*t - f*t = 0. Suppose 4*j = -5*k + 55, -2*j + 26 + t = 2*k. Does 10 divide j?
True
Suppose 2*t = -0*t - 5*h - 21, 5*t - 5*h = 0. Let z be 147/t + (-2)/1. Let x = -35 - z. Is 8 a factor of x?
True
Let x = 59 - 38. Is 3 a factor of x?
True
Let t be (-2 - -5) + 0 + 1. Suppose -3*z - 2*s - 3*s + 26 = 0, t*z = -2*s + 44. Is 5 a factor of z?
False
Let p be (6 - 3)*(-20)/(-3). Suppose -3*h + p = 4*a, -2*a - 4*h + 10 = -h. Suppose 5*j + 17 = -v, a*j = 3*j - 10. Does 8 divide v?
True
Suppose -m + 4*t + 31 = 0, -2*m = -t - 2*t - 37. Suppose 3*o = -m - 1. Is 15 a factor of 7/(-28) + (-61)/o?
True
Let g(u) = -u**2 + 11*u - 7. Is 21 a factor of g(7)?
True
Let d(l) = 4*l - 6. Let i be d(7). Let t = i + -2. Does 10 divide t?
True
Let l(v) = -v**3 + 10*v**2 + 4*v - 31. Is 36 a factor of l(7)?
True
Let o(q) = 2*q - 6. Let g be o(6). Let d be 1 + (-2)/(g/(-9)). Suppose -4*i = d*b - 10 - 66, -20 = 4*i. Does 24 divide b?
True
Let q(b) = -b - 4. Let m be q(0). Let p = m + 4. Suppose -3*u - u + 37 = x, p = 3*u - 5*x + 1. Does 4 divide u?
True
Is (8/(-20))/(1/(-145)) a multiple of 13?
False
Suppose 0 = -2*t + 4*v + 6, -2*t + 4*t + 2*v = -6. Let s = 10 - t. Suppose 3*y = 2*m - s + 78, -4*y - 2*m = -94. Is 8 a factor of y?
False
Let u be -1 + -1 - (1 - 6). Let i be 6 - (-2)/(6/u). Let n = 15 - i. Is 8 a factor of n?
True
Does 5 divide 204/10 - (-20)/(-50)?
True
Suppose -5*f + 5*a + 25 = 0, -23 = -4*f + 4*a - a. Is 4 a factor of f?
True
Suppose 0 = -x + 2, -5*l + 2*x = -0*x - 456. Does 17 divide l?
False
Let p(c) = -c**2 + 3*c + 4. Let y be p(3). Suppose -4*w - 3*m + 27 = 0, -4*w - 7 = -y*m + 1. Is (-37 + w)*(-1)/2 a multiple of 6?
False
Let y(c) = c**2 - 2*c - 3. Does 8 divide y(-5)?
True
Let t = -1 - -1. Suppose -18 = -t*m - 4*m - w, -2*m = 3*w - 14. Is m a multiple of 4?
True
Let j(x) = -x**2 - 8*x - 19. Let g(d) = -d - 1. Let r(s) = -2*g(s) - j(s). Does 2 divide r(-9)?
True
Does 5 divide (0 - -1) + (0 - (-20 - -6))?
True
Let x = 24 + 15. Does 11 divide x?
False
Is (2 + -4 - (-5 - 0)) + 57 a multiple of 6?
True
Suppose -4 = -p + 2. Suppose -b - u = -0*u + 6, b = 5*u + p. Is 15 a factor of (3/(-2))/(b/40)?
True
Suppose -x - 17 = 5*j + 6, 5*x = -2*j. Suppose 2*v + 5*w = 12, -7*v - x*w - 8 = -3*v. Let f(l) = 2*l**2 - l - 2. Is f(v) a multiple of 17?
True
Let q(h) = -h**2 + 2*h + 2. Let u be 3 + 3/(-3) + 3. Let t be q(u). Let z = -7 - t. Is z a multiple of 4?
False
Let y(i) = 6*i + 0 - i**2 - 2 - i**3 - 3*i + 4. Is y(-3) a multiple of 11?
True
Let u(r) = r**3 + r**2 - 4*r + 1. Let b be u(-3). Does 7 divide (-103)/b + 24/60?
True
Let u(c) = c**2 - c + 1. Let w(m) = 21*m**2 - 4*m + 6. Let p(r) = -5*u(r) + w(r). Is p(-1) a multiple of 16?
True
Suppose o + 7 = 1. Let v be (-6)/(-9) + 4/o. Suppose v*d - 38 = -3*d + 2*l, -5*l = -5*d + 55. Does 10 divide d?
False
Let t(w) = -w + 3. Suppose -5*m = 3*v - 0*v + 5, -4*v - 3*m = -8. Let b be t(v). Does 11 divide ((-14)/3)/(b/6)?
False
Suppose -14*y - 72 = -16*y. Is 18 a factor of y?
True
Let w(n) = n**2 + 14*n - 4. Let y be w(-7). Let g = 96 + y. Does 22 divide g?
False
Let h be (3 - 4) + (1 - 2). Let y be (-18)/(-12) + (-1)/h. Suppose 9 - 1 = y*a. Is a a multiple of 4?
True
Let q = 7 - 4. Let y = 3 + q. Suppose -4 + y = g. Is g a multiple of 2?
True
Suppose -9*q - 29 = -1613. Is 16 a factor of q?
True
Let o(k) = 10*k - 2. Is 16 a factor of o(5)?
True
Let b be 453/(-7) - (-12)/(-42). Let s = 95 + b. Suppose 6*w - w = s. Does 6 divide w?
True
Suppose 4*k = 27 - 11. Suppose 4*m - 4*s = 188, k*m = 5*s + 103 + 88. Is m a multiple of 22?
True
Let a be 0 - 0 - 2/(-1). Let r(b) = -3*b**a + 5*b**3 - 2*b**3 + 3*b + 2*b**3. Is r(2) a multiple of 16?
False
Suppose -191 = -4*k + 141. Is k a multiple of 17?
False
Let x be (-4 + 1)*(-40)/6. Suppose -2*u + 20 = 3*t, 4*u + 3 + 37 = 4*t. Is 8 a factor of (-5)/x - (-146)/t?
False
Suppose 6*b - 8*b = -104. Is b a multiple of 26?
True
Suppose 0 = -2*v + 5*j + 349, -747 = -4*v + 5*j - 24. Is 18 a factor of v?
False
Suppose -369 = -11*q + 225. Does 6 divide q?
True
Suppose -141 = -12*j + 11*j. Is 47 a factor of j?
True
Let z = 6 - 14. Is (-1 + 0)/(4/z) a multiple of 2?
True
Let u = -1 + 9. Is (-6 - u)*6/(-4) a multiple of 12?
False
Suppose 2*i = 3*i + w - 4, 12 = -3*i + 5*w. Is -3*(76/(-3))/i a multiple of 16?
False
Let p = -6 + 2. Let j(f) = -3*f - 4. Is j(p) a multiple of 8?
True
Let r(q) = -q**3 - 4*q**2 + 10*q - 2. Does 23 divide r(-7)?
False
Is 11 a factor of 642/22 + (-2)/11?
False
Suppose -4*l = l - j - 452, 3*j + 82 = l. Does 13 divide l?
True
Let g be (-2)/(3*8/132). Is (-8)/44 + (-310)/g a multiple of 28?
True
Let b be 6*(3 - (-5)/(-2)). Let l(y) = -y**3 + 4*y**2 + 3*y - 4. Is 7 a factor of l(b)?
True
Let s(j) = -j**3 - 5*j**2 - 2*j + 2. Let i be s(-2). Let y = i + 10. Is 11 a factor of (-50)/(6/3 - y)?
False
Suppose 0*j = 2*j + 22. Let t = j - -7. Does 9 divide 2*7 - (t - -6)?
False
Suppose 4*v + 0*h + 18 = -2*h, -v + h = 0. Let a(l) = l**3 + 2*l**2 - 4*l - 1. Let f be a(v). Is f/(3 + -1) + 15 a multiple of 8?
True
Suppose l = -0*l + 33. Let h = 54 - l. Does 7 divide h?
True
Let y(z) = -z**2 + 6*z + 2. Let j be y(6). Suppose 2*w = -j*w + 220. Is 14 a factor of w?
False
Suppose 0 = 2*b + b, 0 = -z - 5*b + 11. Is z a multiple of 11?
True
Does 20 divide -8*(-2)/4*5?
True
Let q(f) = -f**3 + 1 + 2 + 1 - 2*f**2 + 3*f. Let x be q(-3). Is 12 a factor of (-4 - 0)*(-31)/x?
False
Suppose -3*v - 4*v = -2254. Is v a multiple of 23?
True
Let w(c) = -c**2 + c - 42. Let r = -2 - -2. Let f be w(r). Let h = f + 62. Is 13 a factor of h?
False
Let g = 0 - 0. Suppose g = -2*a + b - 50, -5*b = a + 2*a + 62. Let v = 0 - a. Does 12 divide v?
True
Let i = 109 + -51. Let f = i + -24. Is f a multiple of 9?
False
Suppose 0*a = a - 4. Suppose -q + a = -15. Does 11 divide q?
False
Suppose 2*r - 4 - 6 = 0. Let c = r + -3. Let t = c + 5. Is t a multiple of 2?
False
Let k = -4 - -4. Suppose -m + 5*s + 16 = 2*s, s - 5 = k. Is 10 a factor of m?
False
Suppose 0*p = 3*p + 3*q, -p = -q - 10. Suppose p*v = 3*k + 15 + 45, -2*k = 10. Is v a multiple of 9?
True
Let x = -3 + 7. Suppose 4*r - 65 = -3*s, 2*r = x*s - 21 - 29. Is 7 a factor of s?
False
Let a =