h be (-24)/b - 2/3. Is (-1 + h)*-1*-37 a multiple of 20?
False
Is (-2*(-2)/4)/((-10)/(-70)) even?
False
Suppose 3*c + 14 = -10. Let o = c - -11. Suppose -2*u + 95 = o*u. Is 7 a factor of u?
False
Let q be 322/9 + (-8)/(-36). Does 12 divide 18*(-3)/(q/(-8))?
True
Suppose 0 = c - 2*h - 24, 72 = 3*c - 0*h - 4*h. Suppose -c - 27 = -3*p. Suppose 2*g - u - 70 = -6*u, -2*u - p = -g. Is 11 a factor of g?
False
Suppose -1 + 5 = -4*j. Suppose -3*x - 8 = k, 0*x + 2*k + 4 = -2*x. Is x/(j + 15/18) a multiple of 8?
False
Let z(c) = 155*c + 15. Let o(b) = -39*b - 4. Let q(u) = 15*o(u) + 4*z(u). Let f be q(2). Suppose -y - y = -f. Is y a multiple of 15?
False
Let s(u) = -2 - 2*u + 0 + u**2 + 4*u. Let b be -6*1*(-5)/6. Is s(b) a multiple of 18?
False
Suppose 4*n - 3*n + 1 = -2*r, -2*r - 3*n = 7. Let o(x) = 18*x. Is 9 a factor of o(r)?
True
Let p = -1 + 3. Let m(u) = 3*u**2 + 3*u - u**2 - 2*u + 2 - 5*u. Does 2 divide m(p)?
True
Let a = -3 + 5. Suppose 3*w = -3*h + 5*h + 66, w = -a*h + 14. Is 7 a factor of (-8)/w - 92/(-5)?
False
Let t(a) = a**2 - a - 2. Let k be t(3). Suppose 0 = -k*f - 5*s - 18 + 2, -2*s = -f + 9. Is 9 a factor of f/(-3) + 104/6?
False
Is 8/10 + 12438/90 a multiple of 25?
False
Let r(p) be the third derivative of -p**6/60 + p**4/8 - p**3/2 - 5*p**2. Is r(-3) a multiple of 18?
False
Let c(z) = -52*z**3 + 2*z - 1. Let m be c(1). Does 15 divide ((-10)/3)/5*m?
False
Let a(f) = f**3 + f**2 + f - 3. Let g be a(0). Let u = -35 - g. Let z = -14 - u. Is z a multiple of 8?
False
Let v = 3 - -1. Let a = 66 + -30. Suppose -2*u - 2*x + a = -v*x, -u + 21 = -4*x. Does 10 divide u?
False
Let u(a) = a**3 - 5*a**2 - 6*a + 5. Let t be u(6). Suppose -89 = -3*d + t*j, 0*d - 5*d = -4*j - 144. Is d a multiple of 14?
True
Let q(l) = l**2 + 8*l - 14. Let u be q(-10). Let w = 48 - u. Is w a multiple of 14?
True
Let t(l) = l**2 - 6. Let i(r) = -r**2 - 11*r + 10. Let a be i(-12). Let u be (5 + -1)*3/a. Does 10 divide t(u)?
True
Let d = -2 + 34. Is 32 a factor of d?
True
Suppose 0 = 5*g + 5*o - 65, o - 2*o = -3*g + 27. Let h = 14 + g. Is h a multiple of 12?
True
Suppose 2326 + 394 = 17*p. Is p a multiple of 10?
True
Let t = 2 - -2. Let d = -1 + t. Suppose -5*o = 2*i - 42, -i + 6*o + d = 4*o. Is i a multiple of 8?
False
Let l be -318*(2 + 24/(-9)). Suppose -l = -2*a - 2*a. Is a a multiple of 21?
False
Suppose -4*p + 322 - 126 = 0. Is 7 a factor of p?
True
Suppose 0 = -3*z + 39 + 21. Is z a multiple of 10?
True
Let q be 2 - (-1)/(2/(-4)). Let p(k) = 4*k**2 - 4*k + 15. Let c(g) = g**2 - g + 1. Let r(v) = -3*c(v) + p(v). Does 6 divide r(q)?
True
Let y(v) = 3*v**3 - 3*v + 4. Does 23 divide y(4)?
True
Suppose 12*r + 252 = 13*r. Is 18 a factor of r?
True
Let h(l) be the third derivative of l**4/24 + 2*l**3/3 - l**2. Let a(y) = 1. Let q(x) = 9*a(x) - 2*h(x). Does 3 divide q(-1)?
True
Let a(w) = w - 6. Let l be a(8). Suppose -l*y + 19 + 47 = 0. Suppose 4*x = y + 19. Is x a multiple of 13?
True
Suppose -c + 4 = 1. Suppose -39 = -5*f + 4*b, -2*b + c*b - 26 = -2*f. Is f a multiple of 5?
False
Does 5 divide (-105)/(-6) - (12/(-8))/3?
False
Let b = 11 + 11. Does 6 divide b?
False
Does 15 divide (-2)/(-4) - (-356)/8?
True
Suppose 2*c - 3 = 7. Suppose -2*n + s + 31 = 0, 4*n - 3*s + c*s = 66. Does 16 divide n?
True
Let x(g) = g + 5. Let u be x(0). Let t be (4/6)/((-2)/(-3)). Let k = u + t. Is k a multiple of 3?
True
Suppose -4*j - 3*w + 232 = -w, 5*w = -4*j + 220. Does 20 divide j?
True
Let j(h) = 30*h**3 + h**2 + 2*h - 3. Does 6 divide j(1)?
True
Does 3 divide 16/4*(-9)/(-6)?
True
Let q = -104 + -54. Does 7 divide (-12)/(-30) + q/(-5)?
False
Suppose 3*g - 99 = 2*g. Let x = -50 + g. Does 18 divide x?
False
Suppose 0 = -2*u - 1 - 3. Let c be (60/(-16))/(u/(-8)). Let b = c + 39. Is 14 a factor of b?
False
Let x(o) = -o + 8. Suppose 5*b + 40 = -2*g, g - 4*g + 25 = -b. Is x(b) a multiple of 6?
True
Suppose 3*t - 2*o + 29 = 0, t - 5*o + 3*o = -15. Let i = -13 - t. Is 15 a factor of i/4*138/(-9)?
False
Let w(q) = -q. Let b be w(0). Suppose -3*g + 2 = 8*o - 4*o, -2*g + o + 5 = b. Suppose 5*a = g*a + 54. Does 9 divide a?
True
Let m(f) = 2*f**2 - 10*f + 16. Does 11 divide m(7)?
True
Let d(k) = -k**3 + 10*k**2 + 4*k - 11. Is 23 a factor of d(9)?
False
Let y(k) = 18 - 7 - 2*k + k. Let l(h) = -h + 5. Let a(i) = 7*l(i) - 3*y(i). Does 15 divide a(-7)?
True
Is 0 - (-39 + -4 + 3) a multiple of 9?
False
Let w = 22 - 4. Is w a multiple of 3?
True
Let t = -2 + 30. Suppose -k - 3*i + 39 = 0, -4*i - t = -2*k - 0*k. Suppose -2*h + k = h. Is 4 a factor of h?
True
Suppose -11*s + 13*s = 586. Is s a multiple of 25?
False
Suppose -8*a + 20 = -7*a. Is 5 a factor of a?
True
Let o be (4/(-8))/(2/12). Let g = o - -10. Suppose -3*z = -g*z + 120. Is 15 a factor of z?
True
Suppose 0 = 8*a - 3*a - 30. Suppose 5*v + 30 = -p + a*p, -4*p - 4*v = -40. Is 8 a factor of p?
True
Let s(p) = p**3 - 3*p**2 - 3*p + 1. Let r(a) = -a**2 + 4*a + 4. Suppose -10 - 6 = -4*i. Let m be r(i). Is 2 a factor of s(m)?
False
Does 6 divide (3/6 - 0)*96?
True
Suppose 8*r = r + 147. Does 3 divide r?
True
Let z be (28/(-8))/((-2)/4). Suppose -4*l + 39 = z. Is 8 a factor of l?
True
Let a = 115 - -49. Suppose 0 = -2*q - 2*q + a. Is q a multiple of 15?
False
Let d = -1 + 4. Suppose -3*u = d*h - 30, -3*h + 3*u - 4*u + 30 = 0. Let y = 9 + h. Is 14 a factor of y?
False
Suppose 3*m - 4*c + 11 = 0, -2 + 9 = -5*m + c. Let o = -1 - m. Suppose o = -j + 2, -z - 4*j = 3*z - 88. Is 20 a factor of z?
True
Let t = -23 + 55. Does 8 divide t?
True
Suppose -i + 4*a + 19 = 0, 0 = -2*i + 6*a - 2*a + 38. Suppose 6*l + 3*u - 15 = 3*l, -3*l + i = u. Is l a multiple of 7?
True
Let g(j) = j**3 - 8*j**2 + 6*j + 8. Let d be g(8). Suppose -11*b + d = -9*b. Does 7 divide b?
True
Suppose 0 = -2*i + i + 2*v - 2, 5 = -4*i + 5*v. Suppose 0 = u - 2*m + 4, -u - 4 + i = -4*m. Is 10 a factor of 299/11 + u/22?
False
Suppose 4*p + 0*p = 8, 2*c + 2 = 3*p. Suppose 0 = c*k - 2 - 22. Is k a multiple of 6?
True
Suppose -y + 0*y = 2*h - 76, 2*y - 8 = 0. Does 11 divide h?
False
Suppose 223 = 11*v - 10*v. Does 52 divide v?
False
Let w = 34 - 21. Is w a multiple of 12?
False
Suppose 3*x - 122 = -23. Suppose -4*q = -q - x. Is q a multiple of 9?
False
Let j(t) = -t**3 + 8*t**2 + 19*t + 20. Is 2 a factor of j(10)?
True
Suppose 5*s = -0*s. Suppose 2*c - 40 = -s*c. Does 10 divide c?
True
Suppose 0*d - 20 = 4*d, -5*x + d = -5. Let v = 0 - x. Suppose v = -l - g + 12, -3 = -3*g + 3. Does 10 divide l?
True
Let p be 2 + 2 - 2/1. Suppose -11 = k + 5*u, 3*k - k - 5*u - 23 = 0. Is (6 - -2)/(p/k) a multiple of 5?
False
Let p(v) = v + 49. Suppose 0*n - 2 = -2*n - f, 4*f - 8 = 0. Does 13 divide p(n)?
False
Suppose 4*z = -2 - 74. Let m = 1 - z. Suppose 2*n - 26 = m. Is 12 a factor of n?
False
Suppose -3*n = 26 - 158. Is n a multiple of 11?
True
Let l(b) = -b**2 + 3*b - 3. Let y be l(2). Let n(k) = k**2 + k + 1. Let d be n(y). Is (d + 2)/(3/26) a multiple of 13?
True
Let t(x) be the third derivative of x**7/280 - x**6/360 + x**5/60 - x**4/8 + 2*x**3/3 + 2*x**2. Let i(d) be the first derivative of t(d). Does 6 divide i(2)?
False
Let j be (4/10)/(4/220). Suppose -3*h + 12 = 0, y + 4*h = 3*y - j. Does 4 divide y?
False
Suppose 2*a = -4*j + 6 + 14, j - 2*a = 0. Suppose 4*i - 2*g - 194 = 0, -j*i + 242 = g + 39. Suppose i = 2*o + 18. Is o a multiple of 8?
True
Let o(c) be the third derivative of c**4/12 + 3*c**3/2 - 3*c**2. Let i(d) = -d - 4. Let w(n) = -10*i(n) - 4*o(n). Is w(3) a multiple of 10?
True
Let t(a) = 2*a**2 + 2. Let b = 9 - 11. Is 10 a factor of t(b)?
True
Let x(z) be the first derivative of -z**4/4 + 8*z**3/3 + z**2 - 3*z + 4. Does 28 divide x(6)?
False
Let f = -70 + 104. Is 9 a factor of f?
False
Let t = -8 - -11. Let n(f) = -t*f - 7*f - 1 - 2. Does 14 divide n(-4)?
False
Let q be -4*(348/(-16))/1. Let j = -51 + q. Is 18 a factor of j?
True
Let a be (6/(-4))/(3/(-6)). Let m(l) = l + 4 + l**3 - l**2 - 1 + 0*l**3. Does 18 divide m(a)?
False
Let m(z) = 17*z + 26. Is m(7) a multiple of 22?
False
Let d = 14 - 10. Is 14 a factor of ((-720)/(-32))/(2/d)?
False
Let z(c) = 20*c + 1. Let f be z(1). Suppose f = 5*v - 79. Is 6 a factor of v?
False
Suppose d = 6*j - 5*j - 77, -d + 3 = 0. Is j a multiple of 20?
True
Suppose 0 = 3*c - 13 - 8. Suppose c = y + 2. Is 8 a factor of 195/y*1/3?
False
Suppose -p = -0*p - 1