lse
Let i = 3 + -3. Suppose i = 7*x - 3*x. Suppose 4*h = -x*h + 16. Is h a multiple of 4?
True
Is 25/10*(-16)/10*-1 a multiple of 2?
True
Let s(p) = 4*p - 1. Suppose -w - 2*b + 40 = 0, 5 = -2*b + 3*b. Suppose 0*l + w = 5*l. Is 18 a factor of s(l)?
False
Let j(f) = -f + 1. Let d be j(3). Let r be (-18)/(-5) - d/5. Suppose 2*x - 3*n - 32 = -2*n, 0 = -r*x - 4*n + 88. Is 9 a factor of x?
True
Let p = -4 - -9. Suppose p*c - 2*j + 5*j - 72 = 0, 0 = -3*c - 5*j + 56. Is 4 a factor of c?
True
Is 241/3 - (-3 + (-10)/(-3)) a multiple of 5?
True
Let w = -43 + 40. Let t(g) be the second derivative of -g**3/6 + g**2 + g. Is 3 a factor of t(w)?
False
Is 23 a factor of 254 + (-1)/3*-6?
False
Let z be (-1 + 3)/((-4)/6). Is 20 a factor of (-686)/(-10) - z/(-5)?
False
Let l(u) = 2*u - 3. Let t(w) = -4*w + 7. Let v(h) = -10*l(h) - 4*t(h). Let g(b) = -b**2 + 4*b - 3. Let x be g(4). Does 12 divide v(x)?
False
Let c(w) = -w**3 - 2*w**2 + 8*w + 2. Let j(x) = -x**2 + 1. Let n(a) = -c(a) + 6*j(a). Is n(6) a multiple of 24?
False
Suppose -w + 558 = 3*w - t, -2 = -t. Is w a multiple of 28?
True
Suppose -209 = -5*v + 4*o, -4*v - 5*o + 119 = -40. Is v a multiple of 10?
False
Suppose 2*p + 3*p - 2*q - 375 = 0, -3*q + 150 = 2*p. Does 19 divide p?
False
Let f(v) = -v**2 - 10*v - 10. Suppose 5*w = -5*c + w + 20, -5*c - 2*w = -30. Suppose 0*b + b + c = 0. Is f(b) a multiple of 6?
True
Suppose 2*x + 4*r = 26, 3*x + r = -x + 17. Suppose 2*a + 109 = -x*f + 4*a, -a = -f - 37. Let j = f - -71. Does 13 divide j?
False
Suppose 0 = 3*o - 7 - 38. Is o a multiple of 15?
True
Let u(v) = v**2 - 12*v - 8. Let s(i) = -i**2 + i + 1. Suppose 0 = -5*y - 5*l + 20, -3*y - l + 2*l + 4 = 0. Let q(n) = y*s(n) + u(n). Does 10 divide q(-8)?
True
Does 23 divide 2 + 230/2 + (-4)/2?
True
Let b(v) = v**3 + v**2 - 3*v + 3. Let s be b(-3). Let w(f) = f**3 + 8*f**2 + 5*f - 7. Does 20 divide w(s)?
False
Let p = 67 - 8. Let g = -14 - -17. Suppose 0 = -2*i - 5*k + g + p, 0 = -3*i + 2*k + 74. Is i a multiple of 17?
False
Is 41/(3 + (-32)/12) a multiple of 6?
False
Let w(k) = -133*k + 114. Let c(o) = o - 1. Let s be 2/(-1)*(-2)/4. Let f(h) = s*w(h) + 114*c(h). Is f(-1) a multiple of 8?
False
Suppose 4*y - 6*y - 41 = 5*h, -4*y + h - 27 = 0. Does 5 divide y/(-6)*(-135)/(-18)?
True
Suppose 6 = 3*y - 120. Does 7 divide y?
True
Let q(w) = -w**3 + 7*w**2 - 7*w + 9. Let z be q(6). Suppose z*f - 3 = 6. Suppose -4*r + 0*d = 2*d - 38, d - f = 0. Does 4 divide r?
True
Let f = -492 - -269. Does 16 divide (-4)/(-18) - f/9?
False
Let k(s) = -s + 21. Let b(i) = i**2 + 6*i + 5. Let x be b(-5). Is 8 a factor of k(x)?
False
Suppose -1 = x - 2*k, -4*x + 2*k + 2*k - 4 = 0. Is 44 - (x + 2 + 0) a multiple of 25?
False
Suppose 3*q - 260 = -q - 4*j, j = q - 65. Suppose 0 = -2*z - 2*z + 12. Suppose -2*l + q = z*l - 3*x, 5*x - 89 = -4*l. Is l a multiple of 16?
True
Is 6 a factor of -2*(-9)/12 + 42/4?
True
Let v(p) = -p**3 + 9*p**2 - 3*p + 2. Let k be v(8). Let t = -19 + k. Let x = t - 4. Does 19 divide x?
True
Does 16 divide ((-216)/(-2))/((-18)/84*-7)?
False
Suppose -o = -0*o - 131. Is 31 a factor of o?
False
Let k = 49 + -23. Let d = k + -17. Is d a multiple of 3?
True
Let p = -46 + 117. Does 11 divide p?
False
Let r(m) = -3*m**2 - 5*m - 1 + m**2 + m**2. Let l be r(-4). Suppose -6*z + 3*z - 66 = -l*d, -z = 0. Does 11 divide d?
True
Let p(v) = 42*v**3 - v**2 + v. Does 12 divide p(1)?
False
Suppose 3*m - 4*m = -2. Suppose 5 = m*b - 3. Suppose -2*d + 114 = d - b*a, 5*d - 161 = -3*a. Does 9 divide d?
False
Let g(m) = m**3 - 5*m**2 - 6*m - 3. Let a be g(6). Is 10 a factor of 9 - -4 - (0 - a)?
True
Suppose 5*b - 4*q = 3*b + 24, 5*b - 3*q = 60. Is b a multiple of 5?
False
Let i be (-54)/(-10) - 4/10. Is 9 a factor of (-22)/(-8)*(i + -1)?
False
Let g = 10 - -30. Let y = -7 + g. Is y a multiple of 30?
False
Let t(n) = 6*n - 2. Let m(l) = l. Let r be m(-3). Let o = r - -8. Is t(o) a multiple of 14?
True
Let a(g) = -2*g + 6. Is 9 a factor of a(-15)?
True
Suppose 0*w + 2*g = 2*w + 12, 0 = 5*w + 4*g + 3. Does 9 divide (-8)/(w - 1) + 25?
True
Is 4/4 + 1 + 34 a multiple of 16?
False
Suppose 5*t = 4*o - 26 - 3, -5*o + 2*t = -32. Suppose -45 = m - o*m. Let y = 6 + m. Does 15 divide y?
True
Let k(i) = 6*i**2 + 34*i - 4. Let o(d) = -d**2 - 7*d + 1. Let t(m) = -2*k(m) - 11*o(m). Does 9 divide t(6)?
False
Suppose -d = 2*d + 3*u + 81, -16 = 4*u. Let k = d - -42. Is 7 a factor of k?
False
Let r = -2 + 14. Let g be (-45)/r*(-4 + 0). Suppose z + 0*z = g. Does 9 divide z?
False
Let g(n) = 16*n + 10. Let x be g(-6). Is 4 a factor of x/(-7) + 20/(-70)?
True
Let r be (-3 - 0)*(-5)/3. Suppose r*b - 3*f - 11 = 5, -5*b = -2*f - 19. Suppose -4*s - 2*a + 57 = -3*a, -2*s + 23 = b*a. Does 7 divide s?
True
Let z(p) = 3*p**2 + 11*p + 2. Does 23 divide z(-7)?
False
Let g(q) = 5*q + 2. Let v(x) = -11*x - 5. Let o(u) = -13*g(u) - 6*v(u). Does 7 divide o(3)?
True
Let k = 48 - 29. Is k a multiple of 7?
False
Suppose 4*s = 3*s + 4, 2*f - 2*s - 80 = 0. Is 3 a factor of f?
False
Let s = 32 - 12. Is s a multiple of 20?
True
Let b = 48 - 80. Let z be b/(-18) - (-2)/9. Suppose -z*l - 4*x = -6, 4*l + 2*x - 26 = x. Is 7 a factor of l?
True
Suppose -4*x + 108 = 32. Is x a multiple of 16?
False
Let q = -8 + 28. Suppose -6*i + q = -i. Suppose -49 = -i*y + 7. Is 14 a factor of y?
True
Is 38 a factor of (-175 - 9)*(-5)/4?
False
Suppose 2*c + 61 = -o + 3*c, -3*o - 181 = -c. Does 28 divide (-8)/(-4) - (o + -1)?
False
Suppose 0*r = 3*r + 135. Let l = 77 + r. Is 8 a factor of l?
True
Let l be 1/3 - (-7190)/30. Is l/(-4)*(-4)/5 a multiple of 16?
True
Suppose 3*w = -5*h + 195, -2*w + 3*w - 5 = 0. Is h a multiple of 20?
False
Is ((-16)/20)/((-1)/10) a multiple of 8?
True
Suppose 2*n = 6*n - 84. Is 6 a factor of n?
False
Suppose 3*d - 2 = 1. Let g be 33/d*(-8)/(-12). Let p = -13 + g. Does 8 divide p?
False
Let v = 79 + -56. Let y = -12 + v. Let g = 16 - y. Does 5 divide g?
True
Suppose 0 = 5*f - 189 + 59. Suppose -v - 3*v = 2*n - 74, 0 = -v - 2*n + f. Is 4 a factor of v?
True
Let q(c) = -c**3 - 9*c**2 - 14*c + 16. Is q(-7) a multiple of 8?
True
Suppose -1 = -4*g + 7. Suppose 82 = g*q - 0*q. Let v = q + -9. Does 16 divide v?
True
Let x(i) = -i**3 - 14*i**2 + 5*i + 4. Let a be x(-12). Is 6 a factor of a/(-16) + (-6)/(-4)?
False
Let w(l) = l**3 - 7*l**2 - 8*l + 7. Let c be w(8). Suppose 2*v - c*v + 10 = 0. Suppose -a - 2*t + 1 = 0, -t - v*t - 9 = 0. Is a a multiple of 7?
True
Let o(c) = -c**2 + 8*c + 5. Let i be o(8). Let b(t) = t**2 + t - 6. Is b(i) a multiple of 11?
False
Let b(o) = o**3 - 8*o**2 - 8*o + 2. Let c be b(6). Let i = -60 - c. Is i a multiple of 27?
False
Suppose 2 + 1 = q. Is q a multiple of 3?
True
Suppose -q + 1 + 1 = 0. Suppose 2*c - 2*l - 20 = 0, 3*c - 82 = -q*c - 3*l. Is 7 a factor of c?
True
Let n = -13 - -18. Suppose 20 = -3*f - n*h, -6*h = -2*h + 16. Suppose f = 4*m - 18 - 42. Does 5 divide m?
True
Let f(t) = -2*t + 9. Let v be f(6). Let j = v - -42. Does 13 divide j?
True
Let w(s) be the second derivative of s**4/12 + 7*s**3/6 + 7*s**2/2 + s. Let r be (-2 + 0)*56/16. Is 7 a factor of w(r)?
True
Suppose 8*b = 308 + 12. Does 19 divide b?
False
Suppose 5*v + 8 + 32 = 0. Let w = 4 + -7. Let i = w - v. Is i a multiple of 5?
True
Let f = -10 + 8. Is 11 a factor of 44*((-10)/8 - f)?
True
Does 20 divide 6/(-4)*120/(-9)?
True
Suppose 0 = 5*r + y - 2 - 72, -r + 14 = y. Suppose -4*a + 2*t = -38, 0*t - r = -3*t. Suppose 3*s = 4*b - a, 0*b = -2*b + 3*s. Is b a multiple of 6?
True
Let k(p) = p**2 + 5*p + 4. Let m be k(-4). Suppose 0*x = -5*x + 3*c + 211, m = 5*x + c - 203. Is x a multiple of 11?
False
Let u = -28 - -74. Suppose -k + 4*t = -49, 3*k - 4*t - u = 133. Is 13 a factor of k?
True
Let d = 62 - 27. Does 3 divide d?
False
Let y = 15 - 0. Suppose 0 = -3*q + 5*c + 136, 0 = q + 2*c + y - 42. Is 17 a factor of q?
False
Let r = -66 - -105. Is 13 a factor of r?
True
Let g = -51 - 6. Let z = 141 + g. Is 21 a factor of z?
True
Suppose 6*u = 75 + 1221. Does 24 divide u?
True
Suppose 7*b - 3*b + 16 = 0, -y + 3*b + 16 = 0. Suppose -5*g + 11 = -y. Is g a multiple of 3?
True
Suppose 0*o = 2*o. Let j(l) = o*l**3 - l**3 - 8*l**2 + 0*l**3 + 9. Does 9 divide j(-8)?
True
Let r(k) = 2*k**2 + 6*k. Is r(-5) a multiple of 5?
True
Let s = -10 - -16. Let g = 3 - s. Does 12 divide (-2)/(2*g/36)?
True
Let 