*u = 6. Is q a multiple of 2?
True
Let o be -16*((-2)/4)/1. Suppose -2 = -r - 4*t + 6, -o = -r + 3*t. Is r a multiple of 8?
True
Let n(b) = 13*b - 1. Let r be 12/8*(-2)/(-3). Is n(r) a multiple of 9?
False
Let b(v) = -v**2 + 27*v + 32. Does 5 divide b(25)?
False
Suppose -4*x + 106 + 146 = 5*q, 63 = x - 5*q. Is 9 a factor of x?
True
Let f(q) = -4*q**2 - 12*q**3 - 17*q**3 - 4*q**2 + 9*q**2. Does 9 divide f(-1)?
False
Suppose -t + 2 = 0, -4*k + 2*t = -3*k + 4. Suppose k = -5*d + 5*x + 130, -5*d + 128 + 2 = -2*x. Is d a multiple of 12?
False
Suppose 0 = f - 6*f + i + 70, -5*f + 5*i + 90 = 0. Is 11 a factor of f?
False
Let f(m) = -m - 1. Suppose 3*o = 2*k + k - 6, -3*k - 10 = 5*o. Let s be f(o). Does 12 divide s/3 - (-35)/3?
True
Let p(c) be the first derivative of c**4/4 - 5*c**3/3 + c**2 - 2*c + 4. Is 4 a factor of p(5)?
True
Let r(o) be the first derivative of o**5/20 + o**4/3 + o**3/6 - 3*o**2/2 - o + 2. Let z(g) be the first derivative of r(g). Does 3 divide z(-3)?
True
Let p be (-2)/(-6) - 32/(-3). Is 1*(-1 - 0) + p a multiple of 5?
True
Let i = 17 + 5. Suppose -5*q + 128 + i = 0. Is 10 a factor of q?
True
Let v(t) = 4*t - 7. Is 5 a factor of v(8)?
True
Suppose -5*c = -3*m - m - 286, -m + 158 = 3*c. Does 26 divide c?
False
Suppose -3*a + 2 = -t, 5 = 2*t + a - 4*a. Is 3 a factor of t?
False
Is 17 a factor of 3/(1*(-15)/(-680))?
True
Let g be ((-27)/(-9))/((-3)/(-22)). Let c = 58 - g. Is c a multiple of 12?
True
Suppose 0 = -i + 36 - 15. Let s(u) = u**2 - 6*u - 1. Let j be s(8). Let g = i - j. Is 3 a factor of g?
True
Let i(p) = -2*p**3 - 5*p**2 - 4*p - 4. Let m be i(-3). Let c = 30 - m. Is 13 a factor of c?
True
Let l(h) = -5*h - 7. Let s(t) = -t - 1. Let u(i) = -l(i) + 4*s(i). Does 3 divide u(5)?
False
Let n = -61 + 109. Does 4 divide n?
True
Suppose 6*g = -574 + 1594. Is 37 a factor of g?
False
Suppose 0 = -3*c - 3*a + 93, 3*c + 5*a = 6*c - 125. Is c a multiple of 3?
False
Let j = -1 + 6. Suppose 0 = j*m - 11 - 4. Suppose -2*l + m*b = 5*b - 6, -l + b = -13. Is l a multiple of 4?
True
Let g = 790 - 310. Is g a multiple of 40?
True
Let r = 9 + -2. Suppose -4*h - 21 = -j + r, 5*j + h - 35 = 0. Is j a multiple of 4?
True
Suppose 0*m - 3*m = -6. Suppose 0 = -v + 3*q + 7, -2*q - m*q = -3*v + 21. Suppose j - 3*d + v = 0, 0 = -2*j - 2*d - 3 + 13. Is j a multiple of 2?
True
Is 20 a factor of 2 + -4 + (39 - -1 - -2)?
True
Suppose 0 = -2*r + 14 + 10. Suppose 4*y + d = r, 2 + 14 = -4*d. Does 4 divide y?
True
Let y be 3/(-3)*-3*-1. Let n be 68/6 + 1/y. Is 5 a factor of (-5)/10 + n/2?
True
Let h = 242 - 143. Does 19 divide h?
False
Does 10 divide (-4)/(0 + 2)*-28?
False
Suppose 4*t = -3*p + 197, -5*p = 9 - 4. Let d = t - -16. Does 15 divide d?
False
Let q be ((-93)/6)/(1/2). Let l = 52 - q. Is l a multiple of 23?
False
Let l(i) = -i + 6. Let k be l(4). Suppose t + k*t = -153. Let x = -29 - t. Does 7 divide x?
False
Suppose -28*k + 32*k = 800. Is k a multiple of 40?
True
Let p(r) = 9*r**3 - r**2. Let b be p(1). Suppose -b = 5*s + 4*t, s + 6*t - 3*t = 5. Is ((-10)/2)/(s/28) a multiple of 13?
False
Is 19 - -141 - 2/(-1) a multiple of 27?
True
Let m(h) = -17*h + 8. Let r(d) = 17*d - 7. Let p(z) = 6*m(z) + 7*r(z). Let w be p(2). Suppose -2*q + 2*j = 2, -5*q + w = 3*j - 2. Is q even?
True
Let m be 1/(-3) - (-8)/6. Let f(z) = 20*z**2. Does 7 divide f(m)?
False
Let f = -6 + 6. Suppose -3*y - l = l - 45, -3*l = f. Is y a multiple of 12?
False
Let y(q) = -13*q**3 - q**2 + 1. Let c be y(-1). Is 13 a factor of (c - 14)*19*-2?
False
Suppose -c + 2*c + 5*h = -85, 4*c + 283 = -h. Let y be 3 + 0 + -3 + 109. Let f = y + c. Is 13 a factor of f?
True
Let q(c) be the first derivative of -c**4/4 + 7*c**3/3 - 2*c**2 + 2*c + 4. Suppose 0 = m - 4 - 1. Is q(m) a multiple of 11?
False
Is (-1 + -2)/(45/(-420)) a multiple of 4?
True
Let v be 0/3 + 1 - 1. Suppose v = -6*i + i + 140. Is 17 a factor of i?
False
Is 8 a factor of (6 + -2 - 10)*236/(-8)?
False
Suppose 2*l + 47 + 174 = 3*o, -4*l = 16. Is 10 a factor of o?
False
Let h = -4 - -12. Suppose 5*m = 3*m + 10. Let c = h + m. Is c a multiple of 13?
True
Is 4 a factor of 9 + 5 - (-6)/(-2)?
False
Suppose 0 = 10*b - 6*b - 1252. Is b a multiple of 54?
False
Let k be 27/(-6)*(-2)/(-3). Let s be (-3 - -13)/((-2)/k). Suppose -g - 2*g = s, 3*v + 4*g = 43. Does 7 divide v?
True
Suppose -u + 13 = 4*d - 9, -2*d + 26 = u. Is 3 a factor of u?
True
Suppose 3*p - 164 = -0*p - 4*a, 169 = 3*p + 5*a. Is p a multiple of 6?
True
Does 9 divide 252/30*(4 - -1)?
False
Suppose 2*f = 2*u + 21 + 23, -3*u = -f + 18. Is f a multiple of 8?
True
Let s = 62 + -29. Let z = -4 - 11. Let d = z + s. Is 18 a factor of d?
True
Let x = -6 - -18. Suppose p - x = 33. Does 22 divide p?
False
Does 9 divide 525/20 - (-6)/8?
True
Let q(c) = 4*c**2 - 13*c + 27. Does 7 divide q(5)?
False
Suppose 339 = -5*c + 44. Let x = -35 - c. Is 10 a factor of x?
False
Suppose 5*a + 5*c - 182 = 3*c, -2*c = -2. Let h = -8 + a. Is 14 a factor of h?
True
Let l = 60 + -38. Does 11 divide l?
True
Let p = 1 + -7. Is 4 a factor of p*(1 + 5/(-2))?
False
Let j be 9/2 - (-1)/(-2). Suppose -3*z - 4 + 478 = -5*d, -j*z - 4*d = -600. Suppose -11*m + 8*m + z = 0. Does 17 divide m?
True
Let q(k) = 8*k**2 + 2*k + 2. Is 8 a factor of q(-2)?
False
Let b = -395 - -267. Does 9 divide 4/(-6) + b/(-3)?
False
Suppose -2*q - i + 276 = 0, -2*q + i = -0*q - 284. Is q a multiple of 28?
True
Let d(k) = k**2 + 5*k - 4. Is d(3) a multiple of 10?
True
Suppose 1 = -3*u + 67. Is u a multiple of 6?
False
Let l = -12 + 20. Let h(f) = -f**3 + 8*f**2 + f - 1. Does 3 divide h(l)?
False
Suppose 10*b - 4*b - 2016 = 0. Does 48 divide b?
True
Let y be 6/(-10) + 452/20. Suppose -5*j = 20, -j - y = -3*f - 3*j. Is f a multiple of 5?
True
Suppose -4*o + 0*o = -8, m - 54 = -4*o. Does 9 divide m?
False
Suppose -90 = -3*c + 3*s, 2*s = -2 - 2. Is c a multiple of 14?
True
Let h(o) = -o + 43. Is h(19) a multiple of 6?
True
Let m(r) be the third derivative of -r**4/24 - r**3 - 2*r**2. Is m(-9) even?
False
Let a be (-90)/(-25) + (-4)/(-10). Suppose a*u - 18 = u. Is 3 a factor of u?
True
Suppose 5*z - 21 = 14. Let w = -5 - -20. Let k = w + z. Is k a multiple of 22?
True
Let h(x) = 3*x**3 - x**2 - x**2 - x - 2*x**3 + 2. Let u be h(2). Suppose 2*l + u*l - 24 = 0. Is 12 a factor of l?
True
Suppose 3*r + r - 20 = -3*n, 3*n = 5*r + 2. Is (4/(-6))/(r/(-9)) a multiple of 3?
True
Let c(i) = 13 - 2 + i - 3. Let o be c(-6). Suppose -h + 4*a + o + 9 = 0, h - a - 14 = 0. Does 6 divide h?
False
Let i(z) = z**2 + 1. Let f be i(-1). Let t be (-15)/(-6) - (-1)/f. Let d(s) = s**3 - s**2 - 4*s - 1. Is d(t) a multiple of 3?
False
Suppose -11*c + 2590 = 3*c. Is c a multiple of 15?
False
Is (7 - 4)/(6/20) a multiple of 2?
True
Let v(i) = -i**3 + 8*i**2 - 6*i - 4. Suppose -13*j = -9*j - 20. Does 11 divide v(j)?
False
Suppose c + 6 = -2*w + 13, 3 = -3*c. Suppose -2 = -w*z + 5*b, -3*z - b = -4*z + 1. Suppose 0 = -5*d - 5, 5*l - d - 89 + z = 0. Does 17 divide l?
True
Let a be 2/(-8) + 585/36. Suppose 2*c - 8 = a. Is c a multiple of 6?
True
Let g be (15 + -15)*(-2)/(-2). Suppose 2*r - 7 = -5*v + 87, g = 3*v - r - 63. Is 10 a factor of v?
True
Let l be 3/15 + (-1)/5. Suppose 0 = 4*v - j + 13, l*j - 13 = -v - 3*j. Is 8 a factor of (-168)/(-18) + v/(-3)?
False
Suppose 2*d = 5*m + 353, 6*d - 492 = 3*d - 5*m. Is d a multiple of 14?
False
Let o = -8 + 9. Suppose -2*h - 12 = d - 0*d, 3*d - 28 = 2*h. Does 8 divide h/(o/(2 - 3))?
True
Let v = -116 + 176. Suppose 4*s - 12 = -w + s, -5*w + 4*s + v = 0. Is 4 a factor of w?
True
Suppose 6*g - 3*g - 36 = 0. Does 15 divide ((-8)/(-6))/(g/378)?
False
Let p(c) be the second derivative of 49*c**3/6 - c**2/2 - 5*c. Does 24 divide p(1)?
True
Suppose -3*a = -8 + 23. Let f(v) = -v**2 - 4*v. Let o be f(a). Let g(u) = -2*u + 7. Does 14 divide g(o)?
False
Let i be (6/(-8))/((-2)/(-8)). Is (i - -5)*-12*-1 a multiple of 8?
True
Is 6 a factor of (88/6)/(6/9)?
False
Suppose 16*z - 398 - 1730 = 0. Is z a multiple of 19?
True
Let o(g) = g - 4. Does 3 divide o(13)?
True
Let x = 14 - -12. Is 13 a factor of x?
True
Suppose -q + 37 = -5. Is 8 a factor of q?
False
Let h(x) = -x**3 + 7*x**2 + 3*x - 6. Is h(7) a multiple of 3?
True
Let j be 6/4 - 30/4. Let v = j + 9. Is v even?
False
Let w = 572 - 364. Suppose -m + 5*m = w. Let q = -24 + m. Does 14 divi