o be (-76)/6 + (-4)/12. Suppose 4*k - 5*k = -31. Let q = k + o. Is 6 a factor of q?
True
Suppose 0 = 3*y - 4*u - 26, -2*u = -y + u + 17. Suppose y*g + 4 = -q, -q + 5*g - 48 = -9. Let s = 26 + q. Is s a multiple of 5?
False
Let u(j) = 50*j**3 + j**2 + 3*j - 4. Does 25 divide u(1)?
True
Suppose 2 - 11 = -3*u. Suppose -4*p - s + 24 = 3*s, 9 = u*s. Does 13 divide 1/(p/78*1)?
True
Let s(j) = 55*j + 1. Let h(i) = i**3 - 4*i**2 + 4*i - 2. Let w be h(3). Is 14 a factor of s(w)?
True
Let j(s) = -7*s - 8. Let h(d) = -6*d - 7. Let c(u) = 6*h(u) - 5*j(u). Let w = -5 + -3. Does 6 divide c(w)?
True
Let w be 2 - (4 + -2 - 1). Let j be 3/w*(-4)/(-3). Suppose j*l + 12 = 5*l. Does 6 divide l?
True
Let w(r) = 2*r - 9. Let n be w(12). Suppose -f + 2*i = -n, f = -f + 3*i + 27. Does 9 divide f?
True
Let z(v) = v + 14. Let m be 1*(-28 - 0)/4. Is 3 a factor of z(m)?
False
Let y = -1 - 1. Is 7 a factor of (16 - -3)/((-2)/y)?
False
Suppose l - 18 = 3*l. Let f = -2 - l. Does 3 divide f?
False
Let j(l) be the first derivative of -l**3/3 - 7*l**2/2 + 3*l + 2. Let y be j(-7). Suppose f + y*z + 27 = 5*f, -2*z = f + 7. Is 3 a factor of f?
True
Let k(z) be the third derivative of -z**4/4 - 2*z**3/3 - 2*z**2. Does 11 divide k(-6)?
False
Suppose 75 = -2*j + 7*j. Is ((-2 - -2) + j)*1 a multiple of 4?
False
Suppose d + 15 - 65 = 0. Let z = d + 3. Does 14 divide z?
False
Let l = -5 + 26. Let x = -1 - l. Let f = -5 - x. Does 7 divide f?
False
Let x(w) = 2*w**2. Let k be x(1). Suppose 3*m = 4*m - k. Suppose 0*v - 2 = v, -2*v - 24 = -m*n. Is 10 a factor of n?
True
Let h(t) = 7*t**3 - 4*t**2 - t - 2. Does 6 divide h(2)?
True
Suppose -2*u + t + 7 + 0 = 0, -4*t = 4*u - 20. Let v be 9/2 - u/8. Suppose -v*z - z - 2*x + 95 = 0, -78 = -3*z + 3*x. Is z a multiple of 11?
False
Suppose 3*g - 7 = -k + 6*g, 4*k = -3*g - 17. Let d(t) = -15*t - 3. Is 9 a factor of d(k)?
True
Let x(l) = 5*l - 21. Is x(9) a multiple of 8?
True
Let a(j) be the second derivative of 1/6*j**4 + 0 - 3/20*j**5 - 1/3*j**3 - 2*j - j**2. Is a(-2) a multiple of 13?
False
Let o = -38 + 78. Is o a multiple of 20?
True
Let i(o) = -o + 17. Is i(5) a multiple of 12?
True
Let p(m) = 6*m + 1. Let c be p(-2). Let y be c/(-2) + 1/2. Let l(g) = -g**2 + 7*g + 4. Is 4 a factor of l(y)?
False
Suppose 2*a + 0 + 6 = 0. Is 1*a*(-88)/6 a multiple of 11?
True
Let f = 58 + -81. Let r be 266/6 - (3 - (-40)/(-15)). Let a = f + r. Does 7 divide a?
True
Suppose 2*t - 2 = 8. Suppose -t*o + 22 = -28. Is o a multiple of 6?
False
Let r(n) = -n**2 + 6*n - 6. Let x be r(4). Suppose 2*d = -4*f + 10, 4*f - 15 = -f - x*d. Does 3 divide f?
False
Let z = 20 - 3. Let i = 4 + z. Is 7 a factor of i?
True
Suppose 15 = -0*u + 3*u. Does 2 divide u?
False
Let c(p) = p - 4. Let d be c(10). Suppose -4*a = -d*a + 10. Suppose -a*n - f = -37, 41 = 4*n - 3*f - 0*f. Is n a multiple of 8?
True
Suppose -3*x + 0*x + 6 = 0. Suppose 4*l = -5*f + 205, -4*l + 8*l - 170 = x*f. Is 15 a factor of l?
True
Suppose -b + 4*g + 16 = 0, b = -b + 3*g + 27. Does 8 divide 1/4 - (-129)/b?
False
Suppose -3*k + 4*i = i - 201, 130 = 2*k + 2*i. Is k a multiple of 24?
False
Does 16 divide (-7)/(23/(-11) - -2) - -3?
True
Suppose 0 = 5*n + 7 - 2. Let v = 3 - n. Is (-6)/v*(-22)/3 a multiple of 11?
True
Let x(q) = q - 2. Let b be x(8). Is (-8)/b*(-54)/12 a multiple of 3?
True
Suppose -3*d - 75 = 2*d. Let f be (-72)/d + 1/5. Suppose -2*y - f*a - 42 = -4*y, 0 = -2*y + 3*a + 42. Does 12 divide y?
False
Let k(d) = -10*d + 3. Let g be k(-9). Suppose 3*m = -0*m + g. Is m a multiple of 13?
False
Let y be (0 - -2)*(1 - 0). Suppose 36 + 26 = y*s. Is s a multiple of 8?
False
Let f(z) = -8*z - 3. Is f(-2) a multiple of 12?
False
Let j be -1*1/3*123. Let m = 93 + j. Is 14 a factor of m?
False
Let c(x) = x**2 - 19*x + 24. Is 7 a factor of c(19)?
False
Let q(x) be the first derivative of 5*x**4/12 + 2*x**3/3 + 3*x**2/2 - x - 4. Let s(y) be the first derivative of q(y). Is 15 a factor of s(-2)?
True
Let b = 61 + -16. Suppose 3*a + 3*o - 4*o = -44, -5*a - b = 4*o. Let w = 4 - a. Is 17 a factor of w?
True
Let b = 22 - 16. Suppose -143 = -2*c - s + b*s, 5*c - s = 323. Is c a multiple of 32?
True
Let n(l) = -l + 7. Let o be n(0). Suppose 22 = -5*p + o*p. Does 4 divide p?
False
Let y = -16 - -11. Let i = y - -5. Suppose 3*a + 2*k - 111 = i, -3*a + 67 = -a - k. Is a a multiple of 13?
False
Let r = 155 + -92. Is r a multiple of 21?
True
Let v(c) = c**3 + 6*c**2. Let z be v(-6). Let q be (-2)/(((-2)/25)/1). Suppose i + 3*w - q = z, -w - 51 = -3*i - 4*w. Does 7 divide i?
False
Let y be 0*((-15)/6 - -2). Let s be 2 - y - (6 - 3). Does 15 divide (-3 + 4)*(s + 22)?
False
Let w(v) = -11*v + 14. Let x be w(-7). Suppose -3*q = -41 - x. Is 12 a factor of q?
False
Let h = 18 + -13. Suppose -3*w + 14 = 4*z, h*z + 7*w - 2*w - 20 = 0. Suppose z*c + c - 66 = 0. Is 9 a factor of c?
False
Let d = 9 + -5. Let y be -8*(6/d + -2). Suppose -k - 5*z - 12 = -40, -y*z + 24 = k. Is 8 a factor of k?
True
Suppose -2*c - 31 = -3*m, -6*c + 3*c - 15 = 0. Is 14 a factor of -2 + m/((-14)/(-60))?
True
Suppose c = 2 + 4. Is c a multiple of 3?
True
Let s(c) = 3*c**2 + 3*c. Let j be s(-4). Does 12 divide j*(3/(-9) - -1)?
True
Suppose 1258 + 342 = 8*b. Is 25 a factor of b?
True
Let c(d) = -5*d + 8*d + d + 1. Is 9 a factor of c(2)?
True
Let g(i) = -38*i**3 - i. Let a be -1 + 2 - -1 - 3. Does 15 divide g(a)?
False
Is 47 a factor of (2 - 4)/(-4) + (-658)/(-4)?
False
Suppose -4*g = -5*u + 3*u, 3*g - 5*u = -14. Suppose -v = 4*w - g*v - 110, -8 = 4*v. Is w a multiple of 17?
False
Suppose -5*x = -3*x - 24. Is 10 a factor of (2 - 0 - 4) + x?
True
Suppose 0 = 3*a - z - 61, -3*a - 2*z = 3*z - 55. Let i be a/(-6)*15/10. Is 17 a factor of 70/i*6/(-4)?
False
Suppose 5*l = 4*o + 7 - 32, 4*l = -4*o - 20. Suppose 2*c + 4*c - 66 = o. Does 11 divide c?
True
Suppose -2*l = -9*l + 252. Is l even?
True
Let d be -1*1/((-2)/10). Suppose 4*b = -a + 67, 0 = -10*b + d*b + 25. Is 10 a factor of a?
False
Let h = 443 - 309. Does 26 divide h?
False
Suppose t = -0*t + 2. Suppose i - 5 = t*i. Let s(l) = -l**3 - 4*l**2 + l - 1. Is 11 a factor of s(i)?
False
Let c(f) be the first derivative of f**2/2 + 15*f - 2. Let g(z) = -z**3 - 3*z**2 - z - 3. Let o be g(-3). Is 13 a factor of c(o)?
False
Suppose z = -3*g + 354, 0 = 4*g - 5*z - 22 - 469. Is g a multiple of 9?
False
Let h be (-6)/33 + 24/11. Suppose h*q = -q. Let d = 3 - q. Is d a multiple of 2?
False
Let c be -3 + 28/(12/3). Let o(x) = -11*x. Let b(d) = 16*d. Let g(n) = 5*b(n) + 7*o(n). Does 12 divide g(c)?
True
Let h = -7 + 22. Is 23 a factor of 584/6 + (-5)/h?
False
Suppose 12 + 36 = r. Does 12 divide r?
True
Suppose -5*r + 20 = -3*r. Let w(n) = -n**3 + 11*n**2 - n + 2. Is 31 a factor of w(r)?
False
Let x = 6 - 3. Suppose -x*j - 5*i + 52 = 0, 2*j - 3*i = 19 + 3. Is j a multiple of 13?
False
Suppose 143 = 4*n - 1. Is 12 a factor of n?
True
Let i = 13 + -8. Suppose r - w - 40 = -3*w, -4*r + i*w = -95. Does 10 divide r?
True
Let r = -1 - -4. Let j = r - -1. Let c(q) = 3*q - 3. Is c(j) a multiple of 7?
False
Is 29 a factor of (3 - 1)*(-2436)/(-56)?
True
Let c(i) = i**2 + 11*i + 9. Suppose 6*y + 56 = 2*y. Is 18 a factor of c(y)?
False
Let b(h) = -h - 3. Let i be b(-12). Let k = i - -39. Is 28 a factor of k?
False
Let x = 8 - -36. Is x a multiple of 18?
False
Suppose -2*r = q - 13, r = 4*q - r - 2. Let o be ((-8)/6)/((-2)/q). Suppose 0 = o*b - 9 - 15. Does 12 divide b?
True
Let s(v) = v**3 - 2*v**2 + v - 2. Let q be s(2). Suppose q*z + 4*z = 5*h + 76, 2*z - 38 = -h. Is z a multiple of 10?
False
Let x(l) = 0*l**2 + 5 + l**2 + 0 + 2 - 2*l. Is x(5) a multiple of 5?
False
Is (-36)/(-8) + ((-16)/4)/(-8) a multiple of 5?
True
Let r(a) = -4*a**2 + 9*a - 6. Let h be r(6). Let n = 147 + h. Let k = n + -11. Is k a multiple of 22?
False
Let p(y) = -9*y - 2. Let v(d) = 1. Let g(m) = -p(m) - 6*v(m). Let f be -4*(0 + 3)/(-3). Is 27 a factor of g(f)?
False
Let c be (-6)/(-1 + 2 + -2). Let k(y) = y**3 - 6*y**2 + 2*y - 9. Let i be k(c). Suppose -l - 7 = -r - 0*l, -i*r = -2*l - 18. Is r a multiple of 4?
True
Let i(t) = -2*t - 5. Suppose 0 = 5*r - u + 18, -4*u = -0*r + 5*r + 28. Let y be i(r). Suppose -y*m + 0*m + 33 = 0. Does 4 divide m?
False
Let b(a) = -a**3 + 8*a**2 - a - 11. Let p be b(8). Let g = p - -115. Is g a multiple of 26?
False
Suppose 0*w + w