lse
Let f(w) = 3*w + 40. Is 10 a factor of f(20)?
True
Let x(c) be the first derivative of 3*c**2 + 4*c + 4. Let i be x(9). Let r = 100 - i. Does 21 divide r?
True
Suppose -4*h - 2*q = -38, -5*h = 4*q - 3*q - 55. Suppose -10*w + h*w = 44. Does 17 divide w?
False
Suppose 2*q - 53 = 207. Is 10 a factor of q?
True
Suppose 3*d - p + 2*p - 131 = 0, 0 = 2*d + 5*p - 109. Is 21 a factor of d?
True
Let u = 12 - 10. Suppose -18 - 2 = -u*v. Does 10 divide v?
True
Let n(b) = 11*b**3 - 3*b**2 + 3*b - 2. Let x be n(2). Suppose -5*q + x = -0*q. Is q a multiple of 16?
True
Let n(w) = -2 - 6*w**2 - 3 + 8*w - 1 + w**3. Is 3 a factor of n(5)?
True
Suppose 4*w + 0*y = -y + 135, -y + 3 = 0. Does 10 divide w?
False
Suppose 4*f = -3*u + 119, f = -5*u + 4*f + 150. Does 7 divide u?
False
Suppose -3*j + 2*d = d - 53, d - 83 = -5*j. Does 4 divide j?
False
Let m(u) = u**3 + u**2 - 3*u + 4. Let x be m(-3). Let f be (-1)/2*(x + -3). Suppose -f*n - 48 = -6*n. Is 12 a factor of n?
True
Does 35 divide (-2)/14 + 4736/28?
False
Suppose 0 = 4*q + 2*d - 6*d - 144, 2*q - 3*d = 74. Is q a multiple of 17?
True
Let f = 219 - 93. Let q be (-2 + 5 - -1) + 2. Suppose 3*a + f = q*a. Does 14 divide a?
True
Let r(q) = q - 1. Let f be r(3). Let m = -11 + f. Let a = m - -16. Is 4 a factor of a?
False
Suppose -a = -5*k + a + 12, 4*k - a - 9 = 0. Suppose -k*x + x = -40. Let q = 59 - x. Does 10 divide q?
False
Suppose 0 = -3*g + r + 13 + 9, 28 = 2*g - 4*r. Let b be ((-3)/g)/((-1)/12). Is 13 a factor of (b/(-9))/((-4)/78)?
True
Let a(p) = -p + 8. Let k be a(6). Suppose -4*q - 3*d - d = -104, k*q - 60 = -4*d. Does 11 divide q?
True
Let j(m) = -10*m - 2 + 11*m + 2. Suppose -w - 3*w - 3*c = -23, -4*c + 12 = -4*w. Is 2 a factor of j(w)?
True
Is 27 a factor of (0 + (-7)/(-3))*12?
False
Let y be (-2)/(-4*3/(-54)). Let x(p) = -p**3 - 9*p**2 - 3*p - 13. Does 14 divide x(y)?
True
Let i = -6 + 30. Is i a multiple of 12?
True
Suppose 3*t = -2*h + 420, -5*t + 0*h = 3*h - 700. Does 12 divide t?
False
Suppose -2 - 4 = -3*z. Is 16 a factor of z/4 - (-404)/8?
False
Let x = 20 - 13. Suppose x*b - 2*b - 165 = 0. Does 12 divide b?
False
Let s(q) = 13*q - 10. Is 18 a factor of s(16)?
True
Suppose y - 4*y - 123 = 0. Does 9 divide 4/12 - y/3?
False
Is 13 a factor of (-87)/(-3) - (-2)/3*-6?
False
Suppose -32 = -4*a + 2*r, -5*a - 3*r = -43 - 8. Does 4 divide a?
False
Suppose -153 = -48*z + 47*z. Does 26 divide z?
False
Suppose -4*s - 4*n = -s - 37, 2 = -2*s + 4*n. Suppose -o + s = 2*u, -22 = 2*o - 5*o - 5*u. Is o a multiple of 3?
True
Let d(c) = -c + 9. Let k(r) = 2*r + r - 2*r**2 + 2 - 4*r. Let p be k(2). Is d(p) a multiple of 9?
False
Suppose -24 = -r - 3*r. Suppose 0 = i - r*i + 75. Is i a multiple of 6?
False
Let a(h) = -h**3 + h**2 - h + 20. Suppose -9 = 3*n + 3*q, 3*q = 5*n - 0*q - 9. Is 18 a factor of a(n)?
False
Suppose 6*y = 5*y + 5. Let o = 0 + y. Is o even?
False
Suppose t - 5*t + 60 = 0. Let o(g) = -t*g + 1 - 1 + 1 - 2. Is o(-3) a multiple of 13?
False
Suppose -2*t = 3*t + 55. Does 2 divide (-3)/(-1 - 8/t)?
False
Suppose 5*l - 257 = 3*o + 183, 2*l = -o + 165. Does 17 divide l?
True
Let l(m) = 2*m + 4. Does 9 divide l(7)?
True
Let f(t) = -t**3 + 13*t**2 - 10*t + 18. Does 11 divide f(12)?
False
Let d(p) = -p**3 + 3*p**2 + 3*p + 4. Let v = 3 - -1. Let y be d(v). Let c(z) = -z**3 + z**2 + z + 9. Is c(y) a multiple of 4?
False
Suppose 4*d - f = -3, -d - 8 = 4*d + 3*f. Let k(h) = 21*h**2 - 1. Is 10 a factor of k(d)?
True
Is 2634/42 + -2 + 32/14 a multiple of 21?
True
Let w(d) = -d**3 - 2. Let x be w(0). Let k(p) = 4*p**2 - 3*p - 2. Let c be k(x). Suppose -2*y + 100 = 4*m, 4*y - y = -m + c. Does 13 divide m?
True
Let i(r) = r**3 + 9*r**2 + 8*r + 7. Let s = -12 - -4. Let h be i(s). Is (18/7)/(1/h) a multiple of 5?
False
Let x(a) = a**2 - 6*a + 3. Let t be x(6). Suppose -t*d + 3*q = -105, -3*d - q + 123 = 2*q. Is -1 + 1/(2/d) a multiple of 9?
True
Suppose -2*j + 6*j = 0. Suppose j = -v - 3*v + 140. Does 16 divide v?
False
Suppose -2*p + 124 = 4*z, -15 = p - 4*z - 53. Is 9 a factor of p?
True
Suppose 0*j - 6 = 3*j. Let s be 0 - 1 - j - 1. Suppose -3*z + 56 + 28 = s. Is 10 a factor of z?
False
Let k(p) = -10*p - 9. Is 5 a factor of k(-4)?
False
Suppose 4*r = 217 + 35. Let s = r - 27. Does 17 divide s?
False
Let g = 2 + 0. Suppose 0 = 3*m - g*h - 15, -4*m - 4*h = -19 - 1. Does 2 divide m?
False
Let c(o) = o**2 - 8*o - 7. Let g be c(9). Suppose -g = -3*f + 19. Does 6 divide f?
False
Suppose 0 = t + 4*t. Suppose -3*p + 173 = 4*o - t*p, o - 3*p = 32. Is 13 a factor of o?
False
Let x(v) = 5*v + 1. Is 3 a factor of x(1)?
True
Let k(i) = -9*i + 5. Let z be k(-4). Let b = -9 + z. Let g = b + -22. Is 6 a factor of g?
False
Let l(v) = -v**2 + 6*v + 4. Let u(k) = k - 2. Let s be u(6). Is 6 a factor of l(s)?
True
Let u = 115 + -61. Is u a multiple of 5?
False
Let i(j) = 12*j**2 + 2*j + 1. Is i(-1) a multiple of 4?
False
Does 11 divide (-33)/((-1 - 0)*1)?
True
Let t(a) = -a**2 + 7*a + 1. Let d be t(7). Let m = 3 - d. Suppose -95 = -m*l - 3*l. Does 10 divide l?
False
Let n(c) = c**3 - 14*c**2 + c + 38. Does 26 divide n(14)?
True
Let u be (-2)/(-2) + (0 - -8). Does 18 divide 492/u - 2/(-6)?
False
Let i(w) = -4 + 7 + w + 4. Let y be i(-3). Suppose -5*m = -2*h + 1 - 3, y*h = 3*m + 10. Is h a multiple of 3?
False
Let y = 83 + -11. Suppose -y = -x - 2*x. Is x a multiple of 24?
True
Let m(h) be the third derivative of h**4/12 + h**3/6 - h**2. Is m(2) a multiple of 5?
True
Let p = 8 - -41. Is p a multiple of 7?
True
Let c(m) = -m**2 + 5*m + 6. Let f be (0 - 10)*(-1)/2. Is c(f) a multiple of 5?
False
Let g(o) = o**3 - o + 5. Let s be g(0). Let d = 7 + s. Is d a multiple of 6?
True
Let p(t) = -3*t**2 + 3*t + 3. Let r be p(-5). Let g = 129 + r. Is g a multiple of 7?
True
Suppose 4*m - 787 = u + 4*u, 5*m - 991 = -u. Is m a multiple of 25?
False
Let n = 26 - 2. Suppose -2*d + n = -d + 4*z, 5*z - 60 = -5*d. Does 4 divide d?
True
Let i = 5 - -21. Is 26 a factor of i?
True
Let u = 1 + 2. Let l(r) = -6*r**2 + 4 - r**u - r - 4 + 4. Is l(-6) a multiple of 9?
False
Let c(b) = 7*b**2 - 4. Let n(s) = 4*s**2 - 2. Let x(r) = 3*c(r) - 5*n(r). Let m(t) be the first derivative of x(t). Is m(3) a multiple of 3?
True
Suppose l - 3*s - 235 = -2*s, 2*l = -s + 485. Does 20 divide l?
True
Let v(n) = -n**3 + 5*n**2 + 5*n. Let y be v(6). Is 3 a factor of (-20)/y*9/6?
False
Let o(a) = -6*a + 13. Let b be o(-6). Let f = 76 - b. Does 14 divide f?
False
Suppose -5*d - 6*d = -1188. Is d a multiple of 27?
True
Let h(c) be the second derivative of c**4/6 + 4*c**3/3 - 7*c**2/2 + c. Let g be (-2*(1 + 0))/((-12)/(-42)). Does 12 divide h(g)?
False
Suppose -4*m - 3*t + 73 = -0*m, -47 = -2*m - 5*t. Does 16 divide m?
True
Suppose -7 = -3*m + 29. Suppose k = -2*k - 4*p + 12, 3*k + p = m. Suppose 0 = -4*w + h + 25, -k*w - 5*h + 21 = -2*h. Does 6 divide w?
True
Let b(g) = 4*g + g**3 + 2 + g**2 + 0*g - 3*g. Let s be b(0). Suppose -14 = -3*k - s. Is 2 a factor of k?
True
Is (345/(-10))/((-2)/4)*1 a multiple of 12?
False
Suppose 0 = -5*r + 6 + 24. Let g(l) = -5 + 3 + r + 7*l. Does 16 divide g(5)?
False
Suppose 0*z + 230 = 5*d - 4*z, 4*d - 175 = 5*z. Is 9 a factor of d?
False
Suppose 4*p = -5*v + 235, -5*v + 5*p + 190 = -0*p. Let a = v + -16. Is 17 a factor of a?
False
Suppose 0 = -0*f - 3*f - h - 49, 4*h - 14 = 2*f. Let x = f - -24. Does 9 divide x?
True
Suppose -2*a - 59 - 7 = 0. Is 1 - (a - 3) - 3 a multiple of 9?
False
Let g(r) = -6*r - 72. Does 13 divide g(-20)?
False
Let p = -4 - -9. Suppose p*b = b + 140. Is 7 a factor of b?
True
Let a = 433 - 307. Is a a multiple of 9?
True
Suppose 2*h - 13 - 25 = 0. Suppose 5*q - 1 = h. Suppose 23 = 3*k + q*t - 14, 4*t - 16 = 0. Does 2 divide k?
False
Suppose 7*p - p - 72 = 0. Is 12 a factor of p?
True
Suppose -3 = -b + 1. Suppose 0*k + 5 = -5*k, -b*k - 29 = -5*j. Suppose 0 = -c - 4, -4*l + 196 = -j*c + 48. Is 16 a factor of l?
True
Let t be (2/2 - 1)/2. Suppose -r + 5*r - 5*p - 41 = t, -3*r + 4*p = -31. Suppose o - 20 = r. Is 11 a factor of o?
False
Let w(b) = -22*b**3 - b**2 - 4*b - 3. Does 59 divide w(-2)?
True
Let p(j) = j**3 + 8*j**2 + 4. Is p(-6) a multiple of 38?
True
Suppose -7*p = -2*p - 430. Is 16 a factor of p?
False
Suppose 4*w + 2*u = 200, 2*u + 0*u = w - 55. Is 21 a factor of w?
False
Let o(h) = 3*h + 2 - 4 + 2 + 1. Is o(1) 