lse
Let j(z) = z**3 + 7*z**2 + 5*z + 5. Let d be j(-6). Suppose 9 = g - d. Does 10 divide g?
True
Let g(x) = x - 4. Suppose 2*s = 4*s + 2*o - 10, 2*o = -3*s + 19. Let j be g(s). Suppose -j*u = -w - 30 + 6, 5*u - 5*w = 20. Does 4 divide u?
False
Suppose -p - 4*p + 748 = 2*f, 295 = 2*p + 5*f. Is p a multiple of 13?
False
Does 15 divide ((-75)/2)/((-4)/8)?
True
Is 37/3 + 6/(-18) a multiple of 6?
True
Let r(v) = -v**2 - 8*v - 2. Let t be r(-8). Let m be 54 + 1/(t/4). Suppose -3*d = -d - m. Does 13 divide d?
True
Suppose -2*w + 4*w = 30. Is 7 a factor of w?
False
Let h(d) = 3*d + 9 + d**3 + 7*d + 11*d**2 + d**2. Does 10 divide h(-11)?
True
Let p(t) = 20*t + 1. Let y = 9 - 7. Is p(y) a multiple of 9?
False
Suppose 0 = 2*c - 3*c - 6. Does 12 divide (-6)/18 - 146/c?
True
Let r(j) = -3*j + 4. Let u be r(3). Let f = 26 + u. Suppose -f = -4*b - 3*o + 54, 2*b - 2*o = 20. Is 9 a factor of b?
False
Let q(z) be the first derivative of z**4/4 - z**3/3 + 26*z + 2. Is 12 a factor of q(0)?
False
Let o(j) = j**3 - 8*j**2 + 6*j + 9. Let y be o(7). Suppose 53 = -0*r - 3*r + u, -y*r - 2*u = 22. Let k = r - -56. Is 14 a factor of k?
False
Suppose 5*a - 6 = -21. Let y be (-54)/a + (-2 - 1). Suppose -4*o + 187 = y. Is 13 a factor of o?
False
Suppose 698 + 22 = 9*l. Is 4 a factor of l?
True
Let b = -4 - -6. Suppose -b*q + h = -0*q - 43, h = 3. Is 9 a factor of q?
False
Suppose -180 = -5*m + 170. Is m a multiple of 10?
True
Is ((-45)/10)/(-9)*196 a multiple of 7?
True
Suppose 2*p = 4*p - 4. Suppose 3*f - f - p = 0. Suppose 4*b = l + 56, 12 = b - l + f. Is b a multiple of 4?
False
Suppose 3*w - 94 = 5*r, 28 = -5*r + 4*w - 69. Let h = r + 27. Is 8 a factor of h?
False
Let k(w) = w + 10. Let y be k(-10). Suppose y = -4*m + 39 - 3. Is 9 a factor of m?
True
Let o(z) = -3*z - 6. Is o(-4) a multiple of 3?
True
Let l be 4/(-14) - 1530/35. Let w = 71 + l. Let m = 12 + w. Is m a multiple of 25?
False
Let b be 4/5*(6 - 1). Suppose c + l + 15 = -b*l, -4*c + 2*l + 28 = 0. Is c a multiple of 2?
False
Let a(m) = 2*m**2 + 6*m. Let b be a(-4). Suppose 3*g = -4*p + 16, -2*p - 2*g = 3*g - b. Suppose 0 = 2*o - p*u - 8, -4*u + 11 = 2*o - 5*u. Is 3 a factor of o?
True
Let g = -7 - -9. Suppose -68 = -3*b - g. Does 11 divide b?
True
Let z(d) be the third derivative of d**6/120 - 7*d**5/60 - 5*d**4/24 - 3*d**3/2 + 3*d**2. Is 10 a factor of z(8)?
False
Is 12 a factor of 4986/16 - (-15)/40?
True
Suppose p + 4*v - 23 = 0, -12 + 1 = 3*p - 4*v. Suppose 4*n + p*f - 130 = -2*f, -5*n + 140 = -5*f. Is 10 a factor of n?
True
Let y = -4 - -4. Let f = 9 + y. Does 7 divide f?
False
Let q(g) = -5*g - 3. Let x(u) = 6*u + 3. Let z(d) = 3*q(d) + 2*x(d). Let v be z(-2). Suppose v*f = 2*k - 0*f - 36, 4*k - 72 = 4*f. Is 9 a factor of k?
True
Suppose 2*y - 3*y = -1. Does 15 divide (11 - y/1)*3?
True
Let l = -4 + 7. Let n = 25 - l. Is 18 a factor of n?
False
Let l be 2/(-3) + 113/3. Suppose -2*s - 4*w + l - 1 = 0, 0 = s - 4*w - 24. Is 13 a factor of s?
False
Suppose -3*m - 6*m + 1908 = 0. Is 12 a factor of m?
False
Let j be 1437/12 + (-1)/(-4). Let h = 58 - j. Let x = -31 - h. Is x a multiple of 10?
False
Let c = -27 + 54. Suppose 7*t - 4*t + c = 0. Let n = t + 23. Does 7 divide n?
True
Is 5 a factor of -1 - (-60)/1 - 6/(-2)?
False
Let a(n) = -n**3 + 4*n**2 + 6*n - 3. Let x be a(5). Suppose x*h = 6*h - 20. Suppose -2*r = -h*t - 43, -3*t = -0*r + 2*r - 67. Does 13 divide r?
False
Let w(l) be the first derivative of 5*l**4/4 - 2*l**3/3 - 2*l**2 - 3*l - 3. Let m be w(-2). Let x = -28 - m. Is x a multiple of 5?
True
Let s(r) = -25*r**3 + 2*r**2 - 2*r + 1. Let i be s(1). Let j = 54 + i. Is j a multiple of 15?
True
Is 4 a factor of (-4)/((-4)/1) - 213/(-3)?
True
Suppose 3*l + 15 = 0, 2*r - 2*l - 3*l = 75. Does 5 divide r?
True
Suppose c - h - 311 = -c, -c = 2*h - 158. Suppose -3*m - 2*m - d = 5, 0 = -m - d - 5. Suppose 4*b + m*b = c. Is 14 a factor of b?
False
Let u(n) = -n**3 + 9*n**2 - 7*n - 5. Let i be u(8). Suppose 2*y - 2*a = 36, 54 = i*y + a - 3*a. Does 6 divide y?
True
Let f(x) = -x + 2. Let i be f(0). Let q(r) = -3*r - 7 + 3*r + i*r + r. Is q(5) a multiple of 8?
True
Suppose 2*k - q = -67 + 17, -2*q + 8 = 0. Let f = 49 + k. Is f a multiple of 13?
True
Let z(u) = -u + 2. Let p be z(-7). Suppose 3*x + p = 24. Suppose -q = 4*a - 8*a - 7, x*q + 2*a - 79 = 0. Is 9 a factor of q?
False
Let x be (-636)/(-36) + (-8)/(-6). Let i = 17 + x. Does 10 divide i?
False
Let z(d) = d**3 - 3*d**2 - 4*d + 2. Let x be z(4). Is 17 a factor of (55 - (x - 1)) + -3?
True
Suppose 2*b + 2*b + 3*u + 55 = 0, 2*b - 2*u + 24 = 0. Let j = 26 + b. Is 7 a factor of j?
False
Suppose -r - 11 = t - 70, -5*t - 83 = -r. Is 14 a factor of r?
False
Let p(f) = f**3 + 8*f**2 + f + 3. Let b be p(-8). Is 25*(2/b - -1) a multiple of 14?
False
Let a be -3 + (10 + -1 - -1). Let p = a - -8. Does 15 divide p?
True
Let s = 7 - -1. Let w be 4 - s - (-1)/1. Is 16 a factor of w - 1/((-2)/40)?
False
Let d(a) = 17*a**2 - 3*a + 3. Does 27 divide d(2)?
False
Let c(o) = o**3 - 7*o**2 - 9. Let g be c(7). Does 15 divide (-1)/((-3)/g) + 29?
False
Let d(l) = 5*l**2 - 5*l + 5. Is d(2) a multiple of 15?
True
Suppose 24 = 2*f + 2*w, -f - 2 = -3*w + 2. Let o(i) = 4*i - 29. Let g be o(8). Suppose -5*r - g*n = -218, -3*r = -f*r - n + 216. Does 14 divide r?
False
Let q(g) = -5*g. Does 6 divide q(-6)?
True
Let d be -1*(1 + 0)*-13. Suppose 0 = -2*s - 2*s - 2*k + 122, d = s + 4*k. Let l = s - 17. Is 10 a factor of l?
False
Let k be (-1)/((-2)/(156/3)). Let x = -14 + k. Is 11 a factor of 196/9 + x/54?
True
Is 19 a factor of (-1936)/(-55) + (-2)/10?
False
Suppose -2*s = -4*x - 60, -s - 39 = -3*s - 3*x. Is 3 a factor of s?
True
Let o = -19 + 45. Is 14 a factor of o?
False
Suppose 2*r - 14 = -2*u, r + 7 = -r + 5*u. Suppose -2*n + 52 = 2*s, -r = -s - 3. Suppose 0 = -4*b - b + n. Is 5 a factor of b?
True
Let u(l) = -34*l**2 + l. Let k be u(1). Is (k/(-22))/((-2)/(-8)) a multiple of 2?
True
Let k(w) = w**2 - 9*w - 3. Let l be k(9). Let i = 3 - l. Does 2 divide i?
True
Let m = 30 - 7. Let h(s) = -16*s + 1. Let v be h(-2). Suppose v + m = 2*n. Is 11 a factor of n?
False
Suppose 270 = 5*w + 50. Is 22 a factor of w?
True
Let h(x) = 13*x + 3. Let l be (-34)/(-12) - 2/(-12). Let m be h(l). Let o = -20 + m. Is o a multiple of 11?
True
Suppose 15 = 5*m, 3*a + 2*m + 43 = 274. Does 18 divide a?
False
Let b = 244 - 125. Is b a multiple of 33?
False
Suppose -n + 184 + 261 = 4*w, -2*w + 218 = 2*n. Is w a multiple of 16?
True
Let l(d) = d**3 - 5*d**2 + 4*d + 2. Let q = -2 - -6. Let k be l(q). Suppose -14 = -0*o - k*o. Does 7 divide o?
True
Let k(n) = n**2 + 11*n + 13. Let t be k(-10). Suppose 0 = 2*j - t*s - 22, 2*j + s = 3*s + 24. Does 7 divide j?
True
Suppose -4*b + 2*b + 210 = 2*v, -2*b + 210 = 3*v. Is 7 a factor of b?
True
Suppose 0 = -2*r, 7*r - 8 = -2*a + 2*r. Suppose -a*s = -5*s + 27. Let j = s - 17. Is j a multiple of 10?
True
Let i = -54 - -82. Suppose -i = 4*l - 8*l. Does 11 divide 180/l - 2/(-7)?
False
Let n = -1 + 3. Suppose 2*a - 45 = -3*l + n*l, l - 3*a = 20. Does 15 divide l?
False
Let x be ((-1)/(-2))/((-1)/(-2)). Let u(n) = x + n - 3*n + 1. Does 5 divide u(-4)?
True
Is 12 a factor of 375/12 + (-3)/(-4)?
False
Suppose -2*g + 2 = -g. Suppose -g*s + 0*s = -44. Is 17 a factor of s?
False
Suppose 3*a + 5*o + 42 - 146 = 0, -2*o = -8. Suppose -2*h = 2*h - a. Suppose 10 = 5*f + 3*p, f = 2*p + h + 8. Is f a multiple of 2?
False
Does 28 divide (-3)/(3/113)*-1?
False
Let j = -95 + 133. Is 12 a factor of -1 + 3/3 + j?
False
Suppose -o = i - 10 - 25, -4*o = i - 143. Suppose -3*k = c - 2*k - 9, 0 = 5*c - 4*k - o. Is c a multiple of 3?
False
Suppose 2*j - 4*a = -0*a + 162, -2*j = -3*a - 163. Suppose 0 = -o - 4*c + 101, 3*o + j = 4*o - 2*c. Suppose 2*h - o = -21. Is h a multiple of 12?
False
Suppose 2*v + 3*v + 3*z - 25 = 0, -3*v - 4*z + 26 = 0. Suppose 0 = v*b - 138 - 40. Is b a multiple of 37?
False
Is 4 a factor of (119/14)/(2/20)?
False
Let p = -170 + 98. Is 2*7*p/(-42) a multiple of 8?
True
Let v(i) = -i**2 - 4*i. Let j be v(-3). Suppose j*x - 8 = -x. Suppose 2*o + a + 37 = 4*o, -2*a + 34 = x*o. Does 5 divide o?
False
Does 43 divide (-39)/(-26) + (-599)/(-2)?
True
Suppose r + 4*r = 5. Let g be 30*1*r/2. Let j = 3 + g. Is j a multiple of 9?
True
Suppose -3*r = -3*m + m - 241, 5*r = -2*m + 375. Let