
Suppose -11*v - 18 = -12*v. Suppose -v = 3*a + 57. Does 10 divide (4/(-5) + 0)*a?
True
Suppose -2*l + 401 = 3*x, -4*l - 478 + 47 = -3*x. Is x a multiple of 9?
False
Let h be (-3)/9 - 570/18. Let c = 45 - -17. Let f = c + h. Is 15 a factor of f?
True
Let o(q) = q**3 - 3*q**2 + q - 1. Let r(w) = -w + 16. Let x be r(12). Let y = x - 1. Is 2 a factor of o(y)?
True
Suppose 0 = -7*v + 3*v - 4. Let l be (-48)/(-9)*57 + v. Does 17 divide l/6 - (-1)/2?
True
Let s = 713 - -277. Is 45 a factor of s?
True
Let x(g) = 2*g + 161. Is x(-23) a multiple of 40?
False
Suppose -57 = 3*k - 153. Suppose -k = -27*y + 23*y. Let v = 21 - y. Is v a multiple of 13?
True
Let g = 805 + -310. Is 33 a factor of g?
True
Suppose 0 = -18*k + 22*k + 12, -4*n = -5*k - 10839. Is 82 a factor of n?
True
Does 64 divide ((-172)/(-7))/((-90)/(-945))?
False
Let v(c) = c**3 - 7*c**2 + 11*c + 4. Let z be v(4). Suppose 0 = -2*n - 0*n + y + 26, -4*n + 5*y + 46 = z. Is n a multiple of 13?
False
Suppose -x + 4762 = 5*b, -3*b + 2*x + 2848 = -2*x. Is 21 a factor of b?
False
Let d be (42/(-10))/(10/350). Let p = d - -268. Does 27 divide p?
False
Suppose -2 - 2 = -2*u. Suppose -2*m + 3*c + 54 = u*c, -64 = -2*m - 4*c. Suppose d - m = -0*d. Does 16 divide d?
False
Suppose 10182 = -14*t + 36390. Is t a multiple of 26?
True
Does 46 divide 325975/169 + 10 + 2/13?
False
Suppose 210276 = -19*x + 137*x. Does 9 divide x?
True
Let x = -32 + 29. Is (-1692)/(-13) - x*4/(-78) a multiple of 13?
True
Suppose 3*x = 6*x - v - 268, 5*x - 444 = v. Suppose -4*k + 6*k = x. Suppose 6*n - 400 = k. Does 37 divide n?
True
Let c be (1 - (-94)/6)/((-76)/1710). Let z = -242 - c. Does 11 divide z?
False
Let u(f) = 5*f**2 - 9*f - 106. Is 8 a factor of u(-6)?
True
Is 0 + 2 + 3 + -6 + 463 a multiple of 66?
True
Let o be 20*(84/(-8))/(-7). Let q(i) = -i + 5. Let t be q(3). Suppose t*f = 10 + o. Is 10 a factor of f?
True
Let d(m) = 2*m**2 + 19*m - 20. Let k(f) = -f**2 - 20*f + 21. Let t(w) = 2*d(w) + 3*k(w). Let b be t(19). Let s = b + 40. Is s a multiple of 6?
True
Suppose 0 = -4*j - 4, 0 = -4*p - j + 931 + 3484. Is p a multiple of 8?
True
Let o = 13 - 9. Let y(b) = 2*b**2 - 1 + 34*b**3 + 2 - 6*b**2 + 4*b + 0 - 33*b**3. Is y(o) a multiple of 17?
True
Let h be (4/6)/(2/(-24)). Let t = 28 + h. Is 3 a factor of t?
False
Is 24 a factor of -1195*((-77)/35 - -2)?
False
Let o(i) = 3*i**2 + 18*i - 5. Is 11 a factor of o(-20)?
False
Does 3 divide 4/14 - (0 + 46458/(-126))?
True
Suppose -4*f - 177 = 75. Let m be f/(-54) - (-1)/(-6). Is (m/1)/(5/75) a multiple of 5?
True
Let j(n) = 2*n**2 + n - 216. Is 10 a factor of j(-26)?
True
Suppose 2*l - 110 = -0*l. Is 5 a factor of l?
True
Let h(r) = -2*r**2 + 87*r + 30. Is h(42) a multiple of 13?
True
Let h(t) = t**3 + 13*t**2 - 34*t - 5. Is h(-15) a multiple of 5?
True
Let w(p) be the first derivative of -117*p**4/4 + 2*p**3/3 + p**2 + p + 9. Let q be w(-1). Let u = -68 + q. Is 10 a factor of u?
True
Let d(s) = 18*s**3 + s**2 - 5*s + 5. Let v(t) = -6*t - 4 - 17*t**3 - t**2 + 10*t + 0*t**3. Let x(i) = 4*d(i) + 5*v(i). Does 12 divide x(-1)?
True
Let f = 22 - 22. Suppose g = -2*g - 6, -5*t + 5*g - 775 = f. Let q = 231 + t. Is 32 a factor of q?
False
Let l(o) = o**3 + 14*o**2 + 14*o + 16. Let g be l(-13). Suppose z + z + 416 = g*n, 2*n - z - 277 = 0. Is 6 a factor of n?
True
Let a be (0 - 5) + 6 + 1 + 247. Let d = 449 - a. Is d a multiple of 11?
False
Let d(i) = 3*i - 6. Let m be d(3). Suppose -4*f - 2*h = 2*h - 144, 5*f + m*h = 174. Let b = f + -26. Is 4 a factor of b?
False
Let v = 7 + -4. Let y = v - -1. Suppose 2 = -3*g + 4*x + 47, -y*g = -5*x - 60. Does 11 divide g?
False
Let n be (-1 + 3)*(1 - -1). Let g be 6/n - 315/(-18). Suppose -2*f - 2*d + 13 = -g, -5*d = -2*f - 3. Does 11 divide f?
True
Suppose -3*y + 19995 = 15*x - 11*x, 3*x = -3*y + 14997. Is 102 a factor of x?
True
Suppose 37 = -14*h + 219. Let w = 55 - h. Is w a multiple of 6?
True
Let b be 3 - 0/(3 - 4). Suppose -u = -4*u + m - 29, 2*m = b*u + 28. Does 3 divide (-4)/u + 169/65?
True
Let z(j) = 2*j**3 + 41*j**2 + 46*j - 8. Is z(-16) a multiple of 6?
True
Suppose 5*p = -37 - 3. Does 20 divide ((-203)/(-5) - 1) + p/(-20)?
True
Let s be -3 - (-5)/(15/10404). Suppose -3*o = -0*o + s. Does 12 divide (-3)/18 + o/(-18)?
False
Let t = 190 + 476. Is 54 a factor of t?
False
Let t(s) = -s**3 - 11*s**2 - 23*s + 6. Does 17 divide t(-12)?
False
Let q(s) be the second derivative of 5*s**4/12 - s**3/2 + 13*s. Let y(v) = -v. Let d be y(-4). Is q(d) a multiple of 19?
False
Let d = 84 - 144. Suppose 0 = -i + 129 - 29. Let a = d + i. Is a a multiple of 7?
False
Let m = 1420 - 939. Is m a multiple of 32?
False
Does 25 divide 15 - 610/40 - (-4837)/4?
False
Let k(y) = -74*y - 6. Is 18 a factor of k(-3)?
True
Let t = -130 + 64. Is 10 a factor of 2/11 + (-1308)/t?
True
Let s(d) = 566*d**2 - 2*d - 1. Is s(-1) a multiple of 9?
True
Suppose 0 = 3*t + 3 - 9. Suppose -2*k - 78 = -4*j, -t*j = 2*k - 6*k - 54. Is 7 a factor of j?
False
Let v = 12 + 11. Suppose 5*x - 4*m - 135 = m, 0 = -x - 3*m + v. Does 13 divide x?
True
Let n = 535 - -152. Let b = n + -445. Is b a multiple of 9?
False
Suppose 5*k + 56 - 231 = 0. Let r(b) = -b**3 - 2*b**2 - 2*b. Let c be r(-2). Suppose 0 = x + 5*i - 1, -c*i + k = 3*x - 1. Is 16 a factor of x?
True
Suppose p - 1 = 12. Let g(t) = p*t + 3 - 4 - t**2 + 0 - 5. Is 5 a factor of g(5)?
False
Suppose 4 = 3*t - 3*p - 11, -t = 2*p - 14. Suppose 0 = -11*q + t*q + 21. Is q a multiple of 7?
True
Suppose 25*j = 31*j - 756. Is 21 a factor of j?
True
Suppose -3*g - 762 = u, -5*g + 3048 = -4*u - 0*g. Let y = -385 - u. Suppose 5*q - y + 27 = 0. Is q a multiple of 25?
False
Suppose -6 = 2*q + 24. Let g(z) = z**2 + 6*z - 13. Is g(q) a multiple of 25?
False
Suppose 2*q + 2 = -2*d, 0*q = -2*d + 2*q + 18. Suppose 13 = d*x - 3*y, -5*x + 4*y + 9 + 7 = 0. Suppose b + 2*t + x = 21, -4*b + 98 = 2*t. Is b a multiple of 9?
True
Let t(c) = 5*c**2 - 16*c - 25. Does 2 divide t(5)?
True
Let h = 526 - -464. Is 90 a factor of h?
True
Suppose -4*a = 3*k - 5310, 0 = -5*k + 9*k + 5*a - 7080. Is k a multiple of 59?
True
Let t be (-58)/(-4) - 4*(-4)/32. Is (t/4)/((-48)/(-512)) a multiple of 5?
True
Let h(j) = 4*j**2 - j + 2. Suppose -4*k - 5*t - 3 = -44, 5*t - 25 = 0. Let l be (-6)/k*(-16)/12. Does 11 divide h(l)?
False
Suppose 10222 + 15608 = 9*n. Is n a multiple of 10?
True
Let h = 525 - 481. Is 2 a factor of h?
True
Is 8 a factor of 76/114 + (1568/6 - -1)?
False
Let z(t) = -t**2 + 5*t + 9. Let f(a) = 6*a**3 + a**2 - 3*a + 2. Let m be f(1). Let b be z(m). Does 2 divide 3/9 - (-38)/b?
False
Let m be -8*((-1)/10 - (-9)/15). Is 33 a factor of m + (5 - 4)/((-1)/(-268))?
True
Suppose s - 5*r = -5 + 65, 3*r + 66 = s. Is s a multiple of 15?
True
Let u(a) = -47*a + 42. Does 32 divide u(-10)?
True
Let h(q) = 8*q + 144. Does 6 divide h(30)?
True
Let a(w) = 45*w**2 - 33*w + 2. Does 11 divide a(3)?
True
Let l(g) = 3*g**2 - 2*g - 7. Let r be l(-3). Does 9 divide (-4)/r + (-714)/(-78)?
True
Let g(z) = 2*z**3 - 13*z**2 + 13*z + 14. Is 8 a factor of g(9)?
True
Let j(y) = 12*y**3 + 3*y**2 - 3*y + 1. Let s be (-1003)/(-34) + 2/(-4). Let w = -27 + s. Is j(w) a multiple of 31?
False
Suppose -331 = -w - 7*k + 5*k, 3*w - 961 = 2*k. Is w a multiple of 22?
False
Does 12 divide (-36)/(-42) + 5313/147?
False
Let c = 61 + -21. Suppose a - 2*r - 31 = 0, 3*r = -2*a + c - 6. Does 3 divide a?
False
Let q = -172 + 172. Let b be (-195)/(-21) + (-2)/7. Suppose -11*m + b*m + 42 = q. Is m a multiple of 18?
False
Let p = 4142 + -2830. Is p a multiple of 22?
False
Let i = 9 - 29. Let s be (408/i - -3)*-5. Suppose f - 9 = s. Is 27 a factor of f?
False
Let o = 3 - 0. Let n be (-1)/(o - (-133)/(-44)). Suppose -9*l + n = -7*l. Does 11 divide l?
True
Suppose -447 = -3*i - 4*n + n, -2*i + 4*n = -286. Is 33 a factor of i?
False
Suppose 0 = 2*m + 4*j + 18, j + 72 = -6*m + m. Let v = -10 - m. Does 2 divide v?
False
Let t(i) = -i**2 + 4*i - 2. Let r = 7 - 3. Let h be t(r). Is (h - -1) + (-1 - -32) a multiple of 9?
False
Suppose -308 = -q - 62. Is q a multiple of 41?
True
Let h(m) = -m**3 + 9*m**2 + 10*m + 9. Let y be 4/16 + (-39)/(-4). Does 3 divide h(y)?
True
Is (-20)/60 + -88*4/(-3) a multiple of 39?
True
Let s = -41 + 18. Suppose -l = q + 51, 82 = -0*l - 2*l + 2*q. Let f = s - l. Does 7 divide f?
False
Suppose y