 + q = 0. Is r a multiple of 32?
False
Suppose 5*m = -g + 447, 5*m - 420 = g + 23. Does 16 divide m?
False
Let m = 3 - 8. Let o(l) = -l - 5. Let a be o(m). Suppose a*v + 5*v = 75. Does 9 divide v?
False
Let d = 5 + 7. Let x be -3*3*d/(-27). Suppose 7*m = x*m + 111. Does 15 divide m?
False
Let j(o) = o**2 + 10*o + 72. Does 24 divide j(-10)?
True
Let x(s) = -s**3 + 15*s**2 - 12*s - 17. Is 33 a factor of x(13)?
True
Suppose 3*h = -5*x - 0*h + 155, x + 4*h = 31. Is x a multiple of 20?
False
Suppose 2*j = 3*j - 3*u - 59, -371 = -5*j - 4*u. Does 12 divide j?
False
Let n(h) = -h**3 + 8*h**2 - 8*h + 4. Let a be n(7). Let x be -2 + 3 + a + 2. Suppose -4*c + x = -2*i - 52, -2*c = -5*i - 10. Is c a multiple of 6?
False
Let t = -51 - -66. Does 5 divide t?
True
Let q(s) = s**3 + 7*s**2 + 7*s. Let a be -2 - (84/(-3) - 0). Suppose -5*j - a + 1 = 0. Is q(j) a multiple of 7?
False
Let q = 4 + -6. Let o be 30 + 1/(1/q). Suppose 5 = m - o. Does 10 divide m?
False
Suppose 0 = -2*g - 9 - 3. Let t(p) = p**3 + 5*p**2 - 6*p + 6. Is t(g) a multiple of 3?
True
Let z = 6 + -5. Does 16 divide (-188)/(-4) + -1*z?
False
Let o(g) = -g**3 + 8*g**2 - g - 10. Is o(5) a multiple of 10?
True
Suppose -5 - 7 = 5*o + w, -5*o - 3*w - 16 = 0. Is 6 a factor of (o - -3 - 2) + 18?
False
Let k(v) = -4*v**3 - 2*v**2 + 2*v + 1. Let a be k(-2). Is (a/6)/(2/8) a multiple of 3?
False
Let h(p) = -p + 5. Let q be h(8). Let v be (-1 + 0/3)*q. Suppose v*j - 145 = -4*a, a - 4*a = -4*j + 210. Does 13 divide j?
False
Suppose -4*v - u = -25, v - 3*u = -4*v + 10. Let y = 0 - -3. Suppose -99 = -y*z - 5*h, -v*z + 2*h + 165 = -3*h. Is z a multiple of 12?
False
Let m(d) = d**3 + d + 14. Suppose 0 = 2*j - 2 - 2. Suppose 5 = -5*y, y - 3*y = -3*i + j. Is 7 a factor of m(i)?
True
Let s(n) = 56*n. Let k be s(2). Suppose 15 - 3 = t. Suppose -2*y - 3*l + 8*l + k = 0, -3*l - t = 0. Is 18 a factor of y?
False
Let l be ((-106)/6 - 1)*-9. Suppose -4*k = -2*k - l. Is k a multiple of 24?
False
Let j(g) = -145*g**3 - g**2 + g + 1. Let c be j(-1). Suppose -2*z = z - c. Is 16 a factor of z?
True
Let o(v) = v**2 + 5*v. Let n be o(-4). Is 24 a factor of ((-59)/n)/((-6)/(-24))?
False
Let b be (6/9)/((-3)/18). Is 7 a factor of (-2 + -2)*(-1 + b)?
False
Does 14 divide (-6)/(-15) - 1512/(-20)?
False
Let w(o) = o**3 + 7*o**2 - 9*o - 11. Let t be w(-8). Let g = 3 + t. Is (3 - 3) + (g - -60) a multiple of 16?
False
Let o be 6/10 - (-1594)/10. Suppose 4*p = -p + o. Suppose 44 = -0*l + 4*l + 2*z, -2*l = -4*z - p. Is 11 a factor of l?
False
Let v be 4/(5 + (0 - 3)). Let s(f) = 2*f - 2*f**v + 4 + 0*f + 3*f**2. Does 8 divide s(-5)?
False
Suppose 5*j = 2*y + 29, 2*y = j - 7 - 2. Suppose -j - 3 = -4*d - 4*l, 4*l = -d - 4. Is d a multiple of 4?
True
Let w be 3/12*-38*-4. Suppose -82 - w = -5*d. Is d a multiple of 14?
False
Let x(s) = -2*s - 2. Let n be x(-3). Suppose h = n + 2. Does 3 divide h?
True
Let i(x) be the second derivative of x**4/12 + 4*x**3/3 + 4*x**2 - 6*x. Is i(-8) a multiple of 5?
False
Let f(a) = 5*a**2 + 2*a - 4. Let i be f(-3). Suppose -r = -5*v - i, -4*v - 72 = -5*r + 19. Is r a multiple of 5?
True
Suppose -2*r + 3*g - 23 = -4*r, 4*r = 4*g + 16. Let q = r - 2. Is 2 a factor of q?
False
Let a(z) = z**3 + 3*z**2 + z + 1. Let k be a(-2). Suppose b = 2*o - 10, k*o + 3*b - 15 = -b. Is 3 a factor of o?
False
Let u(r) be the first derivative of -r**4 + r**3 + r**2 + 2*r + 1. Is 11 a factor of u(-2)?
False
Suppose 5 = -4*f + 485. Suppose 2*y = -y + f. Is y a multiple of 11?
False
Let z be ((-20)/6)/((-4)/78). Suppose -3*g - 17 = -z. Does 8 divide g?
True
Let n = 2 - -23. Is n a multiple of 5?
True
Suppose z = -0*z, -4*o + 5*z = 64. Suppose 5*w + 10 = -25. Let i = w - o. Is i a multiple of 9?
True
Let s(v) = -v**2 - 11*v - 2. Let m be 1/(-4) + (-186)/(-8). Suppose 0 = b - 0*p + 3*p + m, -4*b + 2*p - 22 = 0. Does 11 divide s(b)?
True
Let p(m) = -m**3 + 19*m**2 - 18*m + 20. Does 10 divide p(18)?
True
Let x(j) = 52*j - 2. Suppose 3*b + 4*i = 7, -5*b - 2*i + 6 = -b. Does 12 divide x(b)?
False
Let p be (4/3)/((-4)/(-6)). Suppose -p*s = 2*s - 100. Suppose -8 = -3*i + s. Does 11 divide i?
True
Suppose t = -g + 12, 0*g - 5*g + 24 = -4*t. Let z(c) = -3*c + 9. Let w be z(g). Let p = 28 + w. Is p a multiple of 13?
True
Let v = 8 + 55. Suppose -4*i = v + 57. Let g = i - -53. Is g a multiple of 23?
True
Suppose 16*l - 2017 = -129. Is 19 a factor of l?
False
Let k(q) = -2 - 2 + 7*q - q**2 + 2. Does 4 divide k(6)?
True
Suppose 3*d = -d + 332. Let v = 170 - d. Does 22 divide v?
False
Let b(x) = -x**3 - 4*x**2 + 6*x + 7. Let k be b(-5). Suppose -k*l + 3*l = 1. Does 12 divide -24*(l + 2/(-1))?
True
Let g = 460 - 194. Is 19 a factor of g?
True
Is 35/(-14)*12/(-2) a multiple of 9?
False
Let j = 220 - 154. Does 10 divide j?
False
Let j = 60 + -40. Is 10 a factor of j?
True
Does 36 divide (155/(-2))/((-5)/10)?
False
Suppose 2 = -2*a, 181 = -0*y + 4*y - 5*a. Is 3 a factor of y?
False
Suppose 5 = -2*m + 19. Let r = 1 - -1. Suppose c = m - r. Does 5 divide c?
True
Let s(b) be the third derivative of b**5/15 + b**4/8 + 5*b**3/6 + 2*b**2. Let o be s(4). Let g = o - 49. Is 16 a factor of g?
True
Suppose 4*u - 20 = -0*u. Suppose -4*v + 12 = -4*z - 80, 0 = -3*v - u*z + 77. Is v a multiple of 9?
False
Let i(k) = -4*k + 43. Is i(-12) a multiple of 13?
True
Suppose -8 = 2*h, -h - 220 = 5*z + 4*h. Is -3 + 6/2 - z a multiple of 20?
True
Suppose 3*i - 29 - 163 = 0. Suppose 6*h - 2*h - i = 0. Is h a multiple of 16?
True
Let y(o) = 2*o - 9. Let b be 14/4*2/1. Let v be y(b). Is (8 + 0)*v/4 a multiple of 10?
True
Is 1 + 1 - 372/(-6) a multiple of 13?
False
Let h(u) be the first derivative of u**3/3 - 5*u**2 + 5*u + 1. Is 4 a factor of h(10)?
False
Suppose -8*p + 684 = 212. Is 10 a factor of p?
False
Suppose 5*q - 30 = -4*u, 5*q + 10 = -0*u + 4*u. Let y = u - -40. Is 15 a factor of y?
True
Let y(v) = -3*v - 9. Let b be y(-6). Suppose -3*z = -0*z - 3. Let p = b - z. Does 5 divide p?
False
Let m(v) = 4 - 4*v**2 + v**3 - 5*v + 8*v - 6*v. Is m(6) a multiple of 15?
False
Let t(c) = c. Let m be t(2). Suppose m*j - 144 = -0*j. Is j a multiple of 26?
False
Is 10 a factor of (132/20)/(-3 + 32/10)?
False
Let x = -11 - -14. Is 15 a factor of (-15 - 0)/((-1)/x)?
True
Let g(p) = p**3 - 6*p**2 - p + 3. Let l(y) = y**2 - 6*y + 6. Let m be l(6). Let k be g(m). Let v = 11 + k. Does 8 divide v?
True
Does 9 divide ((-3052)/12)/7*-3?
False
Is 33 a factor of 3/(-18) - (-5 + 3945/(-18))?
False
Let o(l) be the second derivative of -l**4/12 - 7*l**3/6 + 2*l**2 - 2*l. Let c be o(-7). Suppose c*z = -16 + 104. Is 16 a factor of z?
False
Let s be 8/(-5) + (-4)/10. Let n be (0 - (-10)/(-4))*s. Suppose -2*j = 4*h - 34, -2*j = -3*j + n. Is h a multiple of 6?
True
Let g be 2*3/(6/(-2)). Let z be 1/((-54)/(-26) + g). Let o = 43 - z. Is o a multiple of 15?
True
Let h(d) = 6*d - 1 + 9 - 4*d. Is 13 a factor of h(14)?
False
Let o(j) = 2*j + 13. Let b be o(-6). Is (12/(-16))/(b/(-80)) a multiple of 20?
True
Does 4 divide (-496)/(-20) - (-8)/(-10)?
True
Suppose -189 = -14*z + 11*z. Is 8 a factor of z?
False
Let d(n) = -2*n. Let i be d(-6). Let f = 2 + i. Does 5 divide f?
False
Suppose 8*y - 360 = 2*y. Is y a multiple of 20?
True
Let h(a) = a**2 + 7*a + 12. Let c be h(-8). Let s be 0 - -1 - 2*-2. Suppose -4*p + 4*o + c = -3*p, -s*p = -2*o - 172. Does 13 divide p?
False
Let z(i) = i**3 - 5*i**2 - 2*i + 6. Let b be z(4). Is (-2)/9 + (-220)/b a multiple of 11?
False
Let v be (-86)/8*(-7 + 3). Let h = 1 + v. Suppose 5*k = 3*k + h. Is 6 a factor of k?
False
Let j(o) = -o**2 + o + 133. Is j(0) a multiple of 19?
True
Suppose 5*c = 17 + 113. Is c a multiple of 12?
False
Suppose -2*g - 28 = -4*z, -z + 5*z = 5*g + 52. Let r(h) = -2*h + 8. Is 9 a factor of r(g)?
False
Let u(d) be the second derivative of -d**7/2520 + d**6/90 - d**5/60 + d**4/12 - 3*d. Let v(g) be the third derivative of u(g). Does 10 divide v(6)?
True
Let k be 339/9 - 2/(-6). Suppose 16 = d - k. Is 16 a factor of d?
False
Does 12 divide (23/(-5) + 5)/((-2)/(-300))?
True
Does 18 divide (213/(-9))/(1/(-3))?
False
Let l = 41 + 5. Does 23 divide l?
True
Let j be ((-3)/(-1))/6*6. Let d = j - -21. Is 12 a factor of d?
True
Suppose 28 = 2*a - 4*m, 0 = -2*a - 4*m + 78 - 18. Is 22 a factor of a?
True
Suppose -8 = -o + 2*u, -3*o + 5*o - 3*u - 12 = 0. Let w