 = 909 + -409. Is a a multiple of 14?
False
Suppose -2*m - 24 = -i + 2*m, -i = -3*m - 20. Let o(l) = 2*l - 11. Let w be o(i). Suppose 2*x - w*h - 15 = x, -x + 3*h = -19. Is 18 a factor of x?
False
Is 87 a factor of (63/15)/(8/1840)?
False
Let s(g) = 165*g**2. Let j be s(-1). Let u = 113 - j. Let a = u + 98. Is 23 a factor of a?
True
Does 9 divide 12/48 + (-29)/4 + 443?
False
Is ((-99)/(-45))/(-11) - 1522/(-10) a multiple of 19?
True
Let w = 630 + 18. Is 8 a factor of w?
True
Suppose -2*b + 54 - 56 = 0, 0 = -q + 4*b + 952. Does 12 divide q?
True
Let f(q) be the first derivative of -q**4/4 - q**3/3 - 94*q - 8. Let z be f(0). Let i = 166 + z. Is 24 a factor of i?
True
Suppose -3*x - 117 = -4*a, 3*a = 4*x + 6*a + 131. Let q = x + 87. Does 13 divide q?
True
Let f = 7 + -9. Is 5 a factor of f/(-1 + (-45)/(-55))?
False
Let g = -83 - -83. Suppose -76 = -5*d + b, g*b + 5 = -5*b. Is d a multiple of 4?
False
Let c(a) = -14 + 4*a**2 - a - 3*a**2 + 21 + 11*a. Let n be c(-10). Does 9 divide 43 + (n - 3 - 2)?
True
Suppose 13 = -2*w - 0*c - c, -2*c - 2 = -2*w. Let v(m) = m**2 - 18*m - 56. Does 7 divide v(w)?
False
Let c(f) be the third derivative of -f**4/6 + 5*f**3/2 - 15*f**2. Is 7 a factor of c(-4)?
False
Let h = -730 - -1300. Does 30 divide h?
True
Suppose 0 = 4*z + 12, -k + 4*z = -0*k - 17. Suppose -9*x = -k*x. Does 11 divide (1 - x)*1 + 10?
True
Suppose -1344 = -3*u + 5*n, 14*n - 18*n = 0. Is 28 a factor of u?
True
Let y = 18 - 16. Suppose y*a - 12 = a. Suppose 2*z - q = -3*q + 212, 0 = 3*q + a. Does 28 divide z?
False
Let j(q) = -q + 20. Let s be j(11). Suppose -n = 2*n - s. Let y(c) = c**3 - 2*c**2 + 5*c - 3. Is y(n) a multiple of 7?
True
Does 69 divide (-5)/(-2)*(-26220)/(-50)?
True
Suppose 2*y - y = -4. Let b(t) = t**3 + 6*t**2 + 5*t + 2. Does 11 divide b(y)?
False
Suppose -16 = -9*q + 7*q. Let m = q + 47. Does 5 divide m?
True
Let i = 18 + 18. Suppose 0 = -4*d - i + 112. Suppose j = d + 2. Does 21 divide j?
True
Let y(n) = 2*n - 6. Let s be y(3). Suppose s = 5*g + 3*r + 15, -g + 7*r - 3 = 3*r. Is 26 a factor of 13/g*6*-2?
True
Suppose 4*x - 4939 = 4837. Is x a multiple of 142?
False
Suppose -2*f = 3*w - 503, 2*w - 6*w = 20. Is 42 a factor of f?
False
Suppose -2 + 25 = 4*k + y, 2*k + 3*y - 19 = 0. Suppose 0 = 2*h + q - 46, -k*q + 10 = 4*h - 70. Is h a multiple of 10?
False
Let m(l) be the third derivative of l**7/720 + l**6/120 - l**5/30 - 3*l**2. Let n(a) be the third derivative of m(a). Is n(6) a multiple of 16?
True
Let f = -26 - -22. Is 14 a factor of (-2)/2*(260/f - -4)?
False
Let j(c) = 2*c + 19. Let n be j(-7). Suppose -404 = -n*p - 84. Does 16 divide p?
True
Let u(w) = -w + 4. Let p be u(0). Let j = -8 + p. Does 4 divide (2/j)/((-5)/190)?
False
Suppose 3*m - 5*m = -2. Let q(b) be the first derivative of 28*b**3/3 - 25. Is q(m) a multiple of 5?
False
Suppose -2*x + 298 = -5*y - 0*x, y + 55 = 5*x. Let j = y + 74. Is j even?
True
Let t(v) = -124*v - 28. Does 84 divide t(-7)?
True
Let m(p) = p - 2. Let o be m(-2). Let v be (o - 4)*-2*11. Suppose -2*w = 2*w - v. Is 11 a factor of w?
True
Let n be (4/(-6))/(2/(-6)). Let f(x) = -49*x**2 - x + 4. Let l(c) = -24*c**2 + 2. Let o(v) = 2*f(v) - 5*l(v). Is 36 a factor of o(n)?
False
Let j be -11 - -13 - (-30)/2. Let w = 10 + j. Is w a multiple of 15?
False
Suppose 2*z + 27 = -19. Let f = z + 52. Suppose 91 = 2*w + f. Does 16 divide w?
False
Let n(t) = -t**2 - 10*t - 11. Suppose -b = -5*p + 33, -3*p + 33 = -5*b - 22. Is 5 a factor of n(b)?
True
Suppose 234 = q - 4*n, 0*n = -5*n + 5. Let v = -160 + q. Is 8 a factor of v?
False
Let t = -73 + -33. Let v = -62 - t. Is 11 a factor of v?
True
Let i(t) = t + 9. Suppose -5*o + 47 = -13. Suppose -2*b + 5*b = -o. Is i(b) a multiple of 5?
True
Let k = 42 + 64. Is k a multiple of 46?
False
Let j = 15 + -28. Let s = j - 18. Let a = 47 + s. Is a a multiple of 16?
True
Suppose d + 3*d - 48 = 0. Let x be d - 6/2 - -3. Let n(j) = j**2 - 10*j - 14. Is n(x) a multiple of 4?
False
Suppose -42*r + 24*r = -6210. Does 3 divide r?
True
Let b = -48 - -53. Suppose -16 - b = -7*v. Does 3 divide v?
True
Let x be (-3 - -4 - 4)/(-3). Does 32 divide 65/x - (2/(-2) - -2)?
True
Let t(g) = g**2 + 20*g + 52. Is 6 a factor of t(25)?
False
Let l = 29 + -26. Is (-507)/(-26)*8/l a multiple of 4?
True
Let a be 2 + -2 - (-1 + -2). Suppose 2*u + 5*w + 6 = 0, -2*u - a*w + 8 = -5*w. Suppose -34 = -3*z + u*z - 5*j, -z = -5*j + 6. Does 13 divide z?
False
Does 4 divide (-4)/60*-3 + (-708)/(-10)?
False
Suppose 5*y = -5*g, -4*y = -4*g + 12 - 4. Let d(z) = 47*z**3 - 4*z**2 + 3*z + 1. Is d(g) a multiple of 30?
False
Let o(i) = 2*i**3 + 9*i**2 - 12*i + 22. Is 50 a factor of o(6)?
False
Let s be (-15)/(0 + 12/(-4)). Suppose 5*o + 508 = -2*m, -s*m + 49 = o + 146. Let v = 154 + o. Is v a multiple of 26?
True
Let y(n) = 20*n**2 - 6 + 11*n + 3*n - 22*n**2. Is y(5) a multiple of 14?
True
Suppose -11*h = -9*h - 30. Is ((-5)/h)/(4/(-288)) a multiple of 5?
False
Let k be 0/2*3/(-6). Let h(n) = -n**2 - 9*n - 7. Let b be h(-6). Suppose k = -9*j + b*j - 170. Does 29 divide j?
False
Suppose 5*q = -7*p + 10*p - 411, 0 = -3*q. Is p a multiple of 10?
False
Let n = -24 - -15. Let z = n + 13. Suppose 3*w - 37 = -4*s - 0*w, z*w + 14 = s. Is s even?
True
Let p(x) = -x - 17. Let l be p(16). Let b = l + 69. Does 18 divide b?
True
Suppose -277*v = -270*v - 13664. Is 32 a factor of v?
True
Let l(o) = o**2 - 18*o + 4. Let d(b) = 2*b**2 - 36*b + 8. Let x(q) = 3*d(q) - 7*l(q). Does 18 divide x(7)?
False
Let i be 16/56 + 5736/14. Suppose 0 = 8*a - 166 - i. Is a a multiple of 12?
True
Suppose -19 = -j - 3*q - 0*q, -4*q = -20. Suppose j*i - 17 = -v, v - 2*i - 24 = i. Is v a multiple of 4?
False
Let p(t) = t**2 - t - 6. Is p(6) a multiple of 12?
True
Suppose 30 = -50*t + 55*t. Suppose 0 = -2*p - t*q + q + 187, 3*p - 268 = -5*q. Does 27 divide p?
True
Suppose -9*q + 7*q = -6. Suppose 4*p - 85 = q*o, 3*p - 4*o = 2*p + 5. Is 13 a factor of p?
False
Suppose k = -0*k + 2. Let z = 133 - 76. Suppose -z = -2*i - i + 3*u, -k*u + 10 = 0. Is 24 a factor of i?
True
Let t(g) = -g + 7. Let c(l) = -2*l - 8. Suppose 6*b - 9 = 9. Let p be c(b). Is t(p) a multiple of 16?
False
Let s = 24 - 21. Let t be -1 - 52 - (0 - s). Let c = 80 + t. Does 6 divide c?
True
Let n be 2/3 - 8344/42. Let h = n + 312. Does 9 divide h?
False
Suppose -4*t + 3*t + 21 = 4*x, 7 = x + 2*t. Suppose 2*l + 4*y - 68 = 0, 157 = 5*l + 2*y - x*y. Is 4 a factor of l?
True
Let h be 8/(-6)*6/(-4). Suppose 64 = h*b + 22. Let q = -12 + b. Is q a multiple of 9?
True
Let k(q) = -q**3 + 14*q**2 - 3*q + 18. Let d be k(14). Let g = d - 0. Let o = g + 58. Is o a multiple of 17?
True
Let l = 14 + -5. Let d = l + -6. Suppose d*y - 69 + 184 = 5*v, v - y - 25 = 0. Is 6 a factor of v?
False
Suppose 0 = 5*x - 4*j - 96, -6*j + 101 = 5*x - 5*j. Suppose -x*n + 24*n - 88 = 0. Does 11 divide n?
True
Let m = 1893 + -1095. Is m a multiple of 42?
True
Let h = 52 - 48. Suppose h*v + 66 = -w + 168, 0 = 2*v - 6. Does 18 divide w?
True
Let f be 168/5 - 3/5. Let p = f + -60. Is -2 - (-2 + p + 2) a multiple of 8?
False
Let z = -7 - -5. Is (1 - -1) + 62/(z/(-1)) a multiple of 12?
False
Let s(j) = 2*j + 69. Is s(8) a multiple of 22?
False
Suppose -1703*h + 1719*h - 68544 = 0. Is h a multiple of 126?
True
Let m = 7 - 4. Does 3 divide (-80)/(-15) - 5 - (-56)/m?
False
Let s = -144 + 138. Let f(d) = -d**2 - 18*d - 12. Does 4 divide f(s)?
True
Let b(n) = -2*n. Let x be b(-3). Does 11 divide (-588)/(-9) + 4/x?
True
Is 3/(4/(636/9)) a multiple of 53?
True
Let y(f) = 20*f + 36. Let z be y(6). Suppose -i - 31 + z = 0. Is 22 a factor of i?
False
Suppose -w + 97 = -62. Suppose -75 = 3*k + w. Let m = 114 + k. Does 32 divide m?
False
Let r(s) = 7*s**2 - 56*s - 1. Let i be r(15). Suppose i = -7*q + 9*q. Is 46 a factor of q?
False
Let x(p) = 3*p**2 + 5*p. Let l be x(-2). Does 3 divide ((-3)/l)/(7/(-98))?
True
Suppose -62*r + 3270 = -6588. Does 13 divide r?
False
Suppose -3*u + 84 + 30 = 0. Is 10 a factor of (-2 + 1)/((-1)/u)?
False
Let x = -185 - -101. Let b = x - -160. Is b a multiple of 19?
True
Let c(t) = -t + 8. Let f be c(4). Suppose 0 = -f*d + 2*z + 2, -2*d + 3*z + 3 - 4 = 0. Is (-60)/50*(-40)/d a multiple of 12?
True
Let a = -182 - -374. Suppose 0 = -r - 5*r + a. Does 9 divide (-4 + r)/((-2)/(-2))?
False
Suppose 2*o = -2*