9*h + 8. Let q be l(-6). Suppose -v + q = 4*u, -6*u = -3*u - 12. Is v a multiple of 10?
True
Does 10 divide 6/(-24) + 483/12?
True
Let d(l) = -18*l - 24. Let n(i) = -4*i + 10. Let z be n(6). Does 57 divide d(z)?
True
Suppose 15 + 21 = 12*s. Does 30 divide s/(6/(-100))*36/(-15)?
True
Let r = -17 - -21. Suppose 2 = -3*j - 1, -3*s - r*j + 779 = 0. Let x = s + -185. Does 19 divide x?
True
Is (1 - -17)/(-10 + (-1904)/(-187)) a multiple of 17?
False
Suppose -10 = -k + 5*f, -3*k = -2*f - 6 - 37. Let r(p) = -p**2 + 28*p - 19. Let u be r(k). Let o = u + -116. Is o a multiple of 15?
True
Suppose -4947 = -6*f + 309. Does 12 divide f?
True
Let a = -133 - -255. Suppose -22*j + 20*j + a = 0. Is 17 a factor of j?
False
Let p(x) = x**3 + 11*x**2 - 20*x - 13. Does 28 divide p(-11)?
False
Let l = 23 - -13. Suppose -l = f + f. Let h = f + 60. Does 12 divide h?
False
Let u be 200/(-3)*(-2 + 20/25). Suppose 8*n - u = 272. Does 4 divide n?
True
Let f = -484 - -731. Is 14 a factor of f?
False
Let w be -6 + 6/(-4)*-2. Suppose 12 = 4*z + 2*z. Does 10 divide 56 - (w + z + -3)?
True
Let s = -99 + 179. Let b = s - -106. Does 21 divide b?
False
Let y(n) = 54*n + 94. Does 23 divide y(17)?
True
Let y = 96 + 12. Let f = y - -3. Is 16 a factor of f?
False
Let y(r) = -3*r**3 - 6*r**2 - 6*r - 20. Is 22 a factor of y(-6)?
False
Let o = -5 - -5. Suppose o = i - 3*i - 5*y + 26, y = 4. Suppose 43 = i*b + 5*s - 8, 0 = -b + 4*s. Does 10 divide b?
False
Let y = 133 - -36. Suppose -y = -4*j + 155. Does 12 divide j?
False
Let y be (-23 + 3)/(-5)*(-43)/(-4). Suppose 2*d - 17 = y. Is d a multiple of 6?
True
Let q(r) = -r**2 - 8*r - 11. Let h be q(-5). Suppose -138 = -2*s - 4*n, h*s + 4*n = 296 - 8. Is 17 a factor of s?
False
Is 30 a factor of (1535/(-25))/(2*2/(-20))?
False
Is (308/(-66))/((-1)/((-48)/(-2))) a multiple of 16?
True
Let i be 398/6 - 6/(-9). Let w = 71 + i. Is w a multiple of 27?
False
Let j = -352 - -716. Suppose -14*v + j = -7*v. Is 14 a factor of v?
False
Let j(s) be the first derivative of -s**4/4 + 8*s**3/3 + 5*s**2 - 6*s - 1. Let l be j(9). Is 3 a factor of -2 - (l - 6) - -6?
False
Suppose -5*q = -3 + 3. Suppose q = j - 18 - 2. Is j a multiple of 10?
True
Suppose n - l - 2201 = 0, -102*n + 6588 = -99*n + 2*l. Does 14 divide n?
True
Let a be 48*(-2)/2*1. Is 4 a factor of -13 + 9 + a/(-2)?
True
Let c(t) = 6*t**2 - 15*t + 9. Does 3 divide c(4)?
True
Let w be 6/9 + (-2)/3. Suppose w = 2*q + q - 9. Suppose -2*s - 3*m = s - 81, 5*s - q*m - 167 = 0. Is 6 a factor of s?
False
Let z(s) be the first derivative of 1/3*s**3 + 4 - 6*s - 9/2*s**2. Is z(12) a multiple of 10?
True
Suppose -7052 = -22*k - 19*k. Is 4 a factor of k?
True
Suppose -g = a - 649, -45*a + 40*a - 2596 = -4*g. Is g a multiple of 11?
True
Suppose 2*j - 6 = 0, 4*b = -0*b - 4*j + 24. Suppose s + b*a - 102 = -s, -232 = -5*s + 4*a. Suppose -9*f = -5*f - s. Is 4 a factor of f?
True
Let r(o) = 0 + 2 - 2 - o**2 + 9*o. Let g be r(6). Is 7 a factor of (-146)/(-3) + 6/g?
True
Let q(n) = -3*n**2 + 3*n + 4. Let u be q(3). Let h = u + 17. Suppose r = h*y + 15, -2*y + 65 = 3*r - y. Is 13 a factor of r?
False
Let x be 46/6 + (-1)/(-3). Suppose r = 12 - x. Suppose -r*h + 476 = 3*h. Is 15 a factor of h?
False
Let p be 14/4*(-20)/(-35). Suppose 9*j = p*j + 161. Is j a multiple of 2?
False
Let j be 72/4 - 3 - 2. Suppose j = g - 27. Is g a multiple of 10?
True
Let m = 310 - -680. Is m a multiple of 15?
True
Let t = 7 + -5. Suppose -3*u = c - 32, t*c = -2*u + 42 + 6. Is c a multiple of 4?
True
Let g = -2 - -11. Suppose 0*o = -3*o + g. Suppose -3*f - o*m + 21 + 18 = 0, 2*f - 4*m - 32 = 0. Is 6 a factor of f?
False
Suppose -4620 = -2633*i + 2630*i. Does 22 divide i?
True
Suppose 38*b = 37*b + 2. Suppose b = -p + 15. Is 13 a factor of p?
True
Let j be -2 + -3 - (5 + 16). Let o = j + 132. Is o a multiple of 6?
False
Let s(p) be the first derivative of p**4/2 + 3*p**3 - p**2 - p + 67. Suppose 17 - 5 = -3*i. Is s(i) a multiple of 17?
False
Suppose -5*g + 2*z = -414, 5*g - 8*g + 4*z = -254. Let b = -30 - 24. Let d = b + g. Is 14 a factor of d?
True
Let o = -7 - -11. Suppose -o*p + p = 0. Let z(v) = v + 65. Is 13 a factor of z(p)?
True
Let g(c) be the first derivative of 5*c**2 - 8*c + 17. Is 7 a factor of g(9)?
False
Let p = 17 - 14. Suppose 5*k = -i + 1276, -5*k - 3*i + 500 = -p*k. Is 32 a factor of k?
True
Suppose -r - 5 = 2*r + 2*o, -3*r + 2*o = 1. Let y be r/(56/20 + -3). Suppose y*g + 20 = 6*g. Does 10 divide g?
True
Let w(s) = -s**3 - 3*s**2 - 2*s - 3. Let c be w(-3). Suppose -13 = -c*y + 2*y. Is y a multiple of 2?
False
Let q(l) be the first derivative of l**3 + 5*l**2/2 - 3*l + 49. Is q(-4) a multiple of 5?
True
Let m = 87 + -93. Is (-177)/m + (-4)/8 a multiple of 12?
False
Suppose 0 = 3*r + 6, -5*b + 2 + 0 = -r. Suppose -11*y = -2*y - 18. Suppose b = y*m - 109 - 5. Is m a multiple of 19?
True
Let f(q) = q**3 + q + 13. Let o be f(0). Suppose -34 = 44*p - 45*p. Let s = p - o. Is 15 a factor of s?
False
Let g = -65 + 235. Is 5 a factor of g?
True
Suppose -5*z + 752 = -3*i, -9*z = -8*z - 5*i - 168. Is z a multiple of 7?
False
Suppose 10*p - 1546 = 5084. Is p a multiple of 17?
True
Suppose -4*s - 3*w + 22 = 0, s - 13 + 2 = 2*w. Suppose -s*f + 240 = -f. Is f a multiple of 10?
True
Let v(a) = a**3 + 28*a**2 + 52*a - 50. Is v(-13) a multiple of 62?
False
Suppose 2*k + 29 = 3*q - 0*q, -3*q = k + 37. Does 5 divide (11/k)/((-1)/118)?
False
Suppose 0 = -n - 4*y + 1786, -5*n + 2*y + 11076 = 2256. Is n a multiple of 10?
False
Suppose -7*r + 732 = -1179. Is 11 a factor of r?
False
Let f(s) = s**2 - 5*s - 2. Suppose -4*b - b = -25. Let q be f(b). Is 9 a factor of (36/q)/(6/(-9))?
True
Let q(u) = u**3 + 2*u**2 + u. Let p be q(-1). Suppose -5*c - l - 39 = 22, 5*l = -4*c - 53. Let z = p - c. Is 6 a factor of z?
True
Let q(g) = 342*g - 27. Is q(1) a multiple of 15?
True
Let v(r) be the third derivative of -r**6/60 + r**4/12 - r**3/3 - 18*r**2. Is v(-3) a multiple of 34?
False
Suppose r - 8*f - 822 = -3*f, -3*f + 3 = 0. Suppose 2*h - 324 = 5*a, -2*h + 4*a = 3*h - r. Does 7 divide h?
False
Suppose 3*d = 4*d. Suppose d = -3*g + 10*g. Suppose -b - p + 10 = 0, -4*b + g*b - 3*p + 38 = 0. Is 3 a factor of b?
False
Let m(t) = 2*t**2 + 4*t + 3. Suppose 0 = 2*h + 1 + 5. Is 2 a factor of m(h)?
False
Let p(v) = 2*v - 1. Let b(r) = -8*r**2 - 6*r - 3. Let o be b(-6). Let j be (1 - 3) + o/(-17). Is 6 a factor of p(j)?
False
Let z(p) be the third derivative of p**6/12 + p**4/24 - p**3/6 - 14*p**2. Is z(1) a multiple of 2?
True
Let x be -41 + (1 - 0 - -2). Let l = 53 + x. Does 20 divide (l/4)/((-6)/(-64))?
True
Suppose 0 = 2*f - 2 - 2. Suppose -4*z + 18 = f*z. Does 2 divide z?
False
Let j be (-26)/(-117) - 16/(-9). Is 16 a factor of (2 - 4) + j*25?
True
Let g be (-6 - 3)*(-188)/12. Suppose 6*t = 123 + g. Is 4 a factor of t?
True
Suppose -4*g - r = -37, g + r = -0*r + 13. Suppose -3*d + 3*x + 51 = 0, 5*x - g - 11 = -3*d. Is d a multiple of 13?
True
Suppose -4*y + 0*y = -8. Suppose 4*r + 2*k = -k + 134, -y*k = -4. Is 8 a factor of r?
True
Let w(j) = -275*j**3 - j**2 + 2*j + 2. Is w(-1) a multiple of 44?
False
Let v = 170 + -78. Suppose -3*d + 4*a + 92 = 4, -3*d = -5*a - v. Is 24 a factor of d?
True
Let x(o) be the third derivative of -o**4/24 - 5*o**3/6 - 2*o**2. Let u be x(-6). Does 33 divide ((-6)/12)/(u/(-214))?
False
Let i be -2*3*1/(-6). Suppose 3*g + 393 = 3*q, -2*g = -3 + i. Is 11 a factor of q?
True
Suppose 99 - 39 = 4*x. Let p = x + -17. Does 4 divide (-195)/(-9) - p/6?
False
Let w(d) = -70*d - 652. Does 3 divide w(-11)?
False
Let z(y) = -6*y. Let l be z(5). Let d = l + 92. Is 12 a factor of d/5 - 10/25?
True
Let y be (1 - -2)/((-3)/2). Let v be 2/13 + 948/(-78). Does 8 divide (18/v)/(y/28)?
False
Let g(q) = 3 - 3 - 3 - q**2 + 19*q + 5*q**2. Is g(-7) a multiple of 6?
True
Suppose -3*z + 67 = -2078. Does 15 divide z?
False
Suppose 0 = -4*k - 2*u + 390, -k = 2*k - 2*u - 289. Suppose -k = -4*y + 119. Does 9 divide y?
True
Suppose -10*z = -9*z - 216. Does 18 divide z?
True
Let r = -24 - -6. Does 5 divide (-16 - r)*(-47)/(-2)?
False
Let b = 13 + -13. Suppose b = l - 8. Is l a multiple of 2?
True
Let t = -56 + 98. Is t a multiple of 6?
True
Let n(w) = 2. Let h(r) = -r. Let t(c) = 2*h(c) + n(c). Let i be t(0). Suppose 200 = i*b - 5*y - 5, 5*b - 527 = -2*y. Does 