ide u(7)?
True
Suppose 8 = -2*l, -2*b + 4*b = l - 10. Let n = -3 - b. Suppose -22 = n*t - 5*f - 115, 4*t - f - 89 = 0. Does 11 divide t?
True
Let w be (-1 + 6/1)*-1. Let k(h) = -2 - h**2 + 7 + 12*h - 11*h - 7*h. Is k(w) a multiple of 10?
True
Let q(c) = -c**2 - 6*c - 3. Let y be q(-4). Let s be 11662/91 - (-2)/(-13). Suppose -r - s = -y*r. Is 10 a factor of r?
False
Suppose -3*w + 336 = z - 4*z, 3*z + 12 = 0. Is w a multiple of 18?
True
Let n(t) = -t**2 - 8*t + 5. Let y be n(-7). Let g = 34 - y. Is g a multiple of 11?
True
Let f(a) = a**3 + 5*a**2 - 5*a + 3. Let j be f(3). Suppose 0 = -4*q - q - j. Let d = 26 + q. Is 5 a factor of d?
False
Let x(t) = t**3 - 5*t**2 + 5*t - 6. Is x(5) a multiple of 6?
False
Suppose 27 = -3*f - 5*w, -5*w - 6 = -2*f + 1. Is 2 - (-6)/(-4)*f a multiple of 4?
True
Let y be ((-4)/(-10))/((-4)/(-20)). Suppose t - 137 = -5*c + y*t, 0 = 4*c + 5*t - 127. Does 14 divide c?
True
Let k = -3 + 69. Does 22 divide k?
True
Let r be ((-2)/3)/(4/(-12)). Suppose r*x = -3*w - 2*x + 124, 3*w - 120 = -3*x. Does 18 divide w?
True
Suppose -6*c + 184 = -2*c. Is c a multiple of 28?
False
Let g be 5*(54/15 - 3). Let z = g - 1. Suppose 2*f + 2*f = -c + 80, 2*f - z*c = 50. Is 8 a factor of f?
False
Let r(c) = -c**3 + 5*c**2 + 2. Let g be r(5). Suppose -3*s = g*s + 140. Does 10 divide 2/(-7) - 568/s?
True
Let v(z) be the third derivative of 5/24*z**4 + 3*z**2 + 0*z**5 + 0*z - 1/120*z**6 + 0 + 1/3*z**3. Is 7 a factor of v(-3)?
True
Let h = -2 - -2. Suppose 6*p - 3*p - 15 = h. Suppose 3*k = p*y + 79, 5*k + 2*y - 146 = -35. Does 8 divide k?
False
Let x = 3 - -1. Let g = 16 - x. Does 12 divide g?
True
Let j(u) = 2*u**2 - 5*u + 3. Let p be j(3). Suppose b - p*b = -20. Suppose 3*o - b*o + 47 = 0. Is 17 a factor of o?
False
Let z = -15 + 8. Let n = 23 + z. Is 16 a factor of n?
True
Let i = 60 - 56. Does 4 divide i?
True
Suppose -11*n + 26 = -13*n. Let m = -3 - n. Is 5 a factor of m?
True
Let y be 0 - 3*6/(-9). Suppose -24 = y*z - 60. Suppose 0*s = s - z. Is 13 a factor of s?
False
Suppose -4*y = -2*l + 10, -2 + 1 = -l - 2*y. Let n be 10/(-35) - 2/(-7). Suppose -l*h + 2*s + 34 = n, 4*h - 5*s = 2*h + 30. Is h a multiple of 8?
False
Let m(i) = -5*i - 49. Does 7 divide m(-14)?
True
Let i(z) = -23*z + 1. Let v(f) = f - 8. Let d be v(7). Is 12 a factor of i(d)?
True
Let o = 188 - 86. Is o a multiple of 17?
True
Let k = 44 - 17. Does 11 divide k?
False
Let h(j) = -j**3 + 13*j**2 + j - 10. Let u be h(13). Is 11 a factor of -1 - (-3 + u + -21)?
False
Let v(h) = h**3 - 4*h**2 + 4*h + 8. Is v(6) a multiple of 26?
True
Let d(q) = q**2 + 8*q - 9. Is 11 a factor of d(-10)?
True
Suppose 2 = -4*q + 3*q. Let j = -82 + 10. Is 6 a factor of ((-4)/(-8))/(q/j)?
True
Suppose 2*r - 2*z = -r + 21, 2*z + 39 = 5*r. Does 4 divide r?
False
Suppose x - 4*x + 24 = 0. Suppose -r = -2*r + x. Suppose -3*c + 64 = 4*m, 2*m = -0*c + c - r. Is 16 a factor of c?
True
Suppose -4*m - 3*i = -7*m + 258, -3*m = -4*i - 260. Is 14 a factor of m?
True
Suppose 620 = 2*z + 164. Does 12 divide z?
True
Let j be (-5)/(-20) + (-2)/8. Suppose j*r = 3*r. Let a = 9 - r. Is a a multiple of 9?
True
Let o(a) = 85*a**2. Let v be o(-1). Suppose 8 = 4*p - 0. Suppose -2*s + v = 3*s - 2*w, p*s - w = 35. Does 5 divide s?
True
Is 25 a factor of (1 - -4)/((-1)/(-10))?
True
Let g(b) = 20*b - 20. Is 10 a factor of g(5)?
True
Let t(y) = -2*y**2 + 3*y**2 + 4 - 3*y + 2*y. Let m be (-286)/(-77) + 4/14. Is t(m) a multiple of 10?
False
Let u = 10 - 6. Suppose 5*o = 2*t + 153 + 42, -t - 195 = -5*o. Suppose -u*k = -k - o. Does 13 divide k?
True
Suppose -5*m + 3 = -7. Suppose -137 = -m*o - 1. Does 17 divide o?
True
Let a be (-4 + 2 - -47) + -2. Let x = a - 25. Suppose -g - x = -5*r + 27, 5*r - 5*g = 45. Is r a multiple of 7?
False
Suppose -y = -0 - 6. Suppose y*m = 3*m + 18. Suppose 5*w - 14 = m. Does 4 divide w?
True
Let x(k) = k**2 + 7*k + 31. Does 57 divide x(-23)?
True
Suppose 3*f + 176 + 70 = 0. Let l = f + 122. Is l a multiple of 13?
False
Let z = 11 - 1. Is z a multiple of 10?
True
Let w be (5 + -3)*21*-1. Let n = w - -73. Is 16 a factor of n?
False
Let a = 170 + -117. Suppose a = 4*p - 15. Does 17 divide p?
True
Does 12 divide 10/(-3)*(-13)/((-325)/(-270))?
True
Suppose -12*b = -15*b + 135. Is 15 a factor of b?
True
Let u(m) = 3*m - 7. Let f(j) = -j + 2. Let p(x) = -17*f(x) - 6*u(x). Does 8 divide p(-8)?
True
Suppose -3*c = 2*c - 35. Let t be c - (0/(-3) + 2). Suppose 0*u + 3*r - 99 = -t*u, 93 = 5*u + r. Does 9 divide u?
True
Let m = -14 + 14. Suppose 0*a + 2*a = 4. Suppose -b + a*b - 6 = m. Is b even?
True
Let b(p) be the third derivative of -p**5/60 - p**4/6 + p**3/6 + 3*p**2. Is b(-3) a multiple of 2?
True
Let v = 51 + -31. Is 8 a factor of v?
False
Let t = 29 + -14. Suppose -2*x + t = -5. Is x a multiple of 4?
False
Let q be (2 + 0)/(4/(-30)). Let s be 15*((-42)/q - -2). Suppose 5*b = -12 + s. Does 10 divide b?
False
Let j(b) = 2*b - 2. Let t be j(7). Let i = t - 6. Is i a multiple of 6?
True
Let r(h) = 2 + 4*h**3 - 1 - 2. Let x be r(1). Suppose -4*j + 7*j - x*m = 129, 3*j - 4*m = 133. Is j a multiple of 14?
False
Suppose 4*i + 7 + 13 = 2*z, 4*z = 3*i + 20. Suppose 0 = t + 3*t + 2*u - 100, t = z*u + 20. Is 12 a factor of t?
True
Suppose -5*o - 25 = 3*r, -3*r + o = -0*o + 31. Let s = -1 - r. Suppose s*t - 4*t - 200 = 0. Is 22 a factor of t?
False
Suppose -10*t = 4*t - 4802. Does 32 divide t?
False
Let v be -4*(-1)/4*3. Let r be -3*(-2 - -1) - 1. Suppose 4*h + b = 70 - 18, -r*b = -v*h + 50. Is h a multiple of 14?
True
Suppose 145 + 590 = 5*p. Is 49 a factor of p?
True
Does 12 divide ((-24)/14)/((-9)/252)?
True
Let z be (-4)/5*8*-10. Let l be (-2)/5 + z/10. Let m = 9 - l. Does 2 divide m?
False
Let t be 1/(((-1)/1)/(-2)). Suppose t*x + 0*x - 22 = 0. Does 11 divide x?
True
Suppose -6 = -0*b - 3*b. Let p be b/9 - (-662)/18. Suppose 5*z + 2*u = -0*z + p, 39 = 3*z - 3*u. Does 6 divide z?
False
Let i(c) = -c**2 + 6*c + 2. Suppose -3*b = -0*b - 18. Let k be i(b). Suppose -2*h = -2*j + k*h + 48, -3*h + 41 = 4*j. Does 7 divide j?
True
Let l = -50 + 95. Is l a multiple of 20?
False
Let z(k) = -k - 2. Let t be z(-2). Suppose -4*x + 66 + 26 = t. Does 12 divide x?
False
Let h = -13 - 12. Let d = h + 49. Is d a multiple of 8?
True
Let c = -6 - -8. Suppose -c*x + 125 = 9. Suppose 2*f = 3*b + 18, -16 = 4*f - 3*b - x. Does 12 divide f?
True
Suppose -2*a + 0*x = 5*x - 101, -x + 241 = 5*a. Let z = a + -22. Is 13 a factor of z?
True
Let x = -8 + 21. Is 3 a factor of x?
False
Let g = -2 - -5. Suppose g*n - 6 = 9. Is 8 a factor of (-2)/n + (-410)/(-25)?
True
Suppose 0 = 3*k - 6*k + 5*j + 5, 15 = 5*k - 5*j. Let x be 1/(((-15)/(-9))/k). Suppose -46 = -h - 4*s, -47 = -2*h + x*s + 45. Is h a multiple of 12?
False
Suppose 3*l + 9 = 0, 0*l + 273 = 3*u - l. Is 18 a factor of u?
True
Let y = 66 + 27. Is 4 a factor of y?
False
Suppose -29 = v - 4*v + 4*r, -3*r - 6 = 0. Suppose -3*j + 104 = -v*j. Let q = 58 + j. Does 14 divide q?
False
Suppose -4*v = 4*f - 28, -2*v = -6*f + f + 21. Let z be (-11)/(11/(-4) - -3). Does 15 divide -2 + 2 - v - z?
False
Let q(x) = -4*x + 2. Suppose -2*m + l = 4*l - 11, m + 12 = 2*l. Let b be q(m). Is 15 a factor of -9*7/((-21)/b)?
True
Let p = -15 + 43. Suppose -p + 1 = 3*u. Let c(f) = -f - 3. Is c(u) a multiple of 3?
True
Let h = -158 - -235. Let j = h - 47. Does 15 divide j?
True
Let t = 0 + 69. Is 23 a factor of t?
True
Suppose -2*c = -5*y - 49, 0 = 5*y + 15 + 10. Let d = c + -7. Is d a multiple of 5?
True
Suppose 5*g = y - 65, -6*g = -3*y - 2*g + 140. Is 21 a factor of y?
False
Let k = 44 + -20. Does 22 divide k?
False
Suppose -x - 4*r + 179 = 0, -x + 46 = -3*r - 112. Is 11 a factor of x?
False
Let l be 27/(-2) + 2/(-4). Let o = -10 - l. Suppose 0 = o*u - 107 + 3. Does 13 divide u?
True
Suppose 2*t - 4*u = -256, -2*u + u + 131 = -t. Let d = 131 - 227. Let k = d - t. Does 19 divide k?
True
Suppose -4*g + 21 + 3 = 0. Let j be 3/g - (-5)/2. Suppose -j*h = 3*v - 30, -3*v + 2*h = -1 - 4. Is v even?
False
Let t = -47 - -85. Does 14 divide t?
False
Let s(j) = j - 2. Let a be s(5). Let c = a + -9. Let x = c + 11. Does 2 divide x?
False
Let i = 46 + 11. Suppose -5*f + 4*f = 5*y - 21, f = 3*y - 3. Suppose -3*x + i = -f. Is 6 a factor of x?
False
Let o(l) = 2*l**3 + 7*l**2 + 9*l + 15. Let j(p) = -p**3 - 3*p**2 - 4*p - 7