or of u?
True
Let v(t) = -17*t - 10. Let w be ((-10)/(-4))/((-1)/2). Is v(w) a multiple of 13?
False
Let a = 137 - 92. Does 34 divide a?
False
Suppose 5*f - 3 = -2*b, -2*b = -5*b - 3*f + 9. Let o(g) = 3*g**2 - 4*g + 2. Let v be o(b). Suppose 0 = -4*c - 2*q + 52, 0*c = -3*c + q + v. Is 4 a factor of c?
True
Suppose 2*q = 3*q + 3*y - 210, -3*q = -4*y - 578. Does 10 divide q?
False
Is (-1 + 4)*(-62)/(-9)*6 a multiple of 19?
False
Let f = 204 - 84. Is f a multiple of 20?
True
Let f(b) = -b**3 + 6*b**2 - 4*b - 3. Let x be f(5). Suppose 17 = x*v - 19. Does 18 divide v?
True
Is 699/9 + (-11)/(-33) a multiple of 13?
True
Is 8 a factor of (-18)/(-30) + (-117)/(-5)?
True
Let x(c) = 4*c. Let q be x(3). Suppose -q = p - 5*p. Suppose 2*s + p*m = -s + 48, -3*m - 6 = 0. Is s a multiple of 14?
False
Let h = -51 - -34. Suppose 12 = -3*t, f + 4*f - 221 = 4*t. Let l = f + h. Does 11 divide l?
False
Let l(p) = p**3 + 9*p**2 - 2*p + 7. Let y be l(-9). Suppose 3*u - q - 20 = 0, 0 = u + u - 3*q - y. Does 3 divide u?
False
Let p(g) = -g**3 + g**2 + g + 9. Let r(h) be the third derivative of h**6/120 + h**5/30 - h**4/24 - h**3/3 - 2*h**2. Let w be r(-2). Is 9 a factor of p(w)?
True
Let u = 191 + -116. Does 3 divide u?
True
Let p = 10 - -19. Is p a multiple of 7?
False
Let o = 88 + -74. Does 6 divide o?
False
Let l(g) = g + 6. Let y be l(-6). Suppose y = -0*x - 5*x + 50. Does 4 divide x?
False
Suppose 0 = -6*r - 0*r + 1260. Is 14 a factor of r?
True
Suppose 2*z = -3*g, 1 = -g - 2*z + z. Suppose g*m - 6 = 18. Is m a multiple of 7?
False
Let t be (-1)/((-2)/16) + -2. Let o = t + -8. Is 1 + o + (11 - -1) a multiple of 11?
True
Suppose 125 = s - 5*j, 0 = -s - j - j + 160. Suppose -5*o + 2*o + s = 0. Does 28 divide o?
False
Is 38 a factor of (-64)/12*171/(-4)?
True
Suppose -195 = -7*d + 2*d + 5*p, -d - p = -47. Is d a multiple of 16?
False
Suppose 5*x - 4*w = 70, -19 = -2*x + 3*w + 16. Does 10 divide x?
True
Suppose -p + 4*z = -47, z = -3*z - 16. Is p even?
False
Suppose 2 = 4*p - 3*p, -4*k + 2*p = 56. Let v(y) = -y**2 - 19*y - 6. Is 12 a factor of v(k)?
True
Does 8 divide -30*((-3)/((-45)/48))/(-2)?
True
Suppose -x + 175 = 46. Is 22 a factor of x?
False
Let u(i) be the second derivative of i**3/3 - 5*i**2/2 + 2*i. Let l be 7 + (-2)/3*3. Is 5 a factor of u(l)?
True
Let d(c) = -5*c + 70. Does 15 divide d(11)?
True
Let d(s) = 4*s**2 - s - 1. Suppose -3*w + 7*w + 8 = 0. Does 6 divide d(w)?
False
Suppose -w + 8 = -u + 4*w, -4*w + 4 = -u. Suppose 5*y + u = 2*y. Is (-9)/y*(-8)/(-3) a multiple of 4?
False
Is 11 a factor of -2*(-2)/(-4) - (-5152)/16?
False
Let y(p) = -p**2 + 12*p - 5. Is y(5) a multiple of 6?
True
Suppose 5*u + 64 = -4*c, -3*c - 3*u = c + 56. Let j = 21 + c. Does 4 divide j?
False
Suppose 0 = -5*v + 4*w + 35, 4*v + 0*v - 28 = w. Suppose -72 = -v*b + 4*b. Is 6 a factor of b?
True
Suppose -9 = -4*o + o. Let p(w) = 0 - 1 + 0*w**2 - 15*w**o + w**2. Is p(-1) a multiple of 15?
True
Let c(u) be the second derivative of -u**4/4 - u**3/6 - u**2/2 - 2*u. Let f(t) be the first derivative of c(t). Is 2 a factor of f(-1)?
False
Does 22 divide -3*22*32/(-24)?
True
Let a(n) = 9*n - 7. Let v be a(4). Suppose 4*z - 15 = v. Is z a multiple of 11?
True
Let b(d) = -d**3 + 11*d**2 - 2*d + 9. Let g be b(10). Let a = -41 + g. Does 12 divide a?
True
Let a(n) be the third derivative of -n**5/60 + 3*n**4/8 - 5*n**3/3 - 2*n**2. Let h be a(7). Suppose -h*s - g + 11 = -20, -4*s = -g - 41. Is s a multiple of 6?
False
Is ((-2)/3*3)/((-4)/144) a multiple of 6?
True
Suppose t - 2 = -t. Suppose 1 = -2*o - t. Is o/5 + 111/5 a multiple of 6?
False
Is (-3*6/27)/((-1)/189) a multiple of 14?
True
Let j = 32 - 16. Is 6 a factor of j?
False
Let g(n) = -22*n. Let y(d) = -3 + 0 + 3*d + 2 - 4*d + 2*d**3. Let w be y(-1). Is g(w) a multiple of 20?
False
Suppose 0 = 4*g - 78 - 2. Is g a multiple of 5?
True
Suppose 5*z + 0*z = 15. Let n = z + 0. Is n a multiple of 2?
False
Suppose 2 = o, -5*z = 5*o - o - 68. Suppose z = 3*g + 3, y + 5*g = 30. Is y a multiple of 6?
False
Let o(a) = 13*a - 17*a + 5*a. Suppose -5*j - 2*f = -28, -j = -2*f - 1 + 5. Is 3 a factor of o(j)?
False
Let x(m) = -9*m + 18. Let r(k) = 4*k - 9. Let u(d) = 5*r(d) + 2*x(d). Is u(7) even?
False
Let i be 2/2 + (-18)/(-3). Suppose 2*c - i*c + 75 = 0. Suppose 3*h + c = 0, -n + 0*n + 5*h = -41. Does 15 divide n?
False
Suppose -60 = -2*p - 2*z, 0*p + 4*z - 89 = -3*p. Let f = 57 - p. Is f a multiple of 13?
True
Let q be (12/3)/((-6)/(-3)). Suppose 3*r - 2 = -4*d + 1, 6 = q*d. Is 14 a factor of 10/(r + 51/15)?
False
Let k(n) = 0*n + 0*n - 2*n + 7. Suppose 4*g + 30 = -5*p + 4, g = 1. Is k(p) a multiple of 7?
False
Let p be 12/(-18) + (-65)/(-3). Suppose -7 - p = -2*s. Is s a multiple of 7?
True
Let k(c) = c**3 - 14*c**2 - 13*c + 19. Let q be k(15). Suppose h - 22 = 3*w - 6*w, 0 = 4*h - w - q. Is h a multiple of 3?
False
Let r(m) = m**2 - 4*m - 4. Let h be r(4). Does 12 divide 2/h*(-23 + -1)?
True
Suppose 0 = 2*w + 2, -d - 2*w + 3 = 5. Let s = d + 2. Suppose 0 = s*i - 2 - 30. Does 16 divide i?
True
Let q(s) = s**3 - 7*s**2 + 2*s + 4. Let o be q(6). Let c = -11 - o. Suppose 3*h - c + 0 = 0. Is 3 a factor of h?
True
Suppose 0 = -0*f + 8*f - 88. Is f a multiple of 2?
False
Suppose 0 = -0*r - 4*r - 8. Let z be (-8)/r + -2 + 1. Suppose 0 = -3*v + 2*n + 31, z*n + 33 = -v + 4*v. Does 9 divide v?
True
Let c(k) = 2*k**2 + 2*k - 6. Is c(-4) a multiple of 6?
True
Let q(z) = 4*z + 1. Suppose 4*d - 5 = 19. Let b be q(d). Suppose -4*m - 76 = -5*p + 1, -b = -p - 4*m. Is p a multiple of 17?
True
Let k = -93 + 309. Does 15 divide k?
False
Let j(i) = 1 + 2*i + 26*i**2 + 12*i - 13*i + 0. Let x = 0 + -1. Is 10 a factor of j(x)?
False
Let x = 38 + 38. Is x a multiple of 37?
False
Suppose -9*x + 3*x = -276. Is x even?
True
Suppose 3*g = 2*g. Let j(l) = -l - 12. Let a be j(0). Is 1 + g - 2 - a a multiple of 11?
True
Let f(n) = -n + 4. Let o be f(6). Does 24 divide -1 + (-150)/(-2) + o?
True
Let h(v) = -v**2 - 4*v - 8. Let z be h(-6). Let u = -16 - z. Is 3 a factor of u?
False
Is 9 a factor of (-196)/(-7)*(-7)/(-2)?
False
Let q = 103 - 52. Is 22 a factor of q?
False
Let l = -18 + 41. Suppose 5*j = 2*o - l + 1, -3*j = 5*o + 7. Is 9 a factor of o/(0 + 3/54)?
True
Suppose 4*c - 3*c = 5. Suppose 0 = -c*z + 5*j + 35, j + 2 + 3 = 0. Suppose -z = -2*s - 4*p, 3*s + 0*p - p = 10. Is s a multiple of 2?
False
Let b = -58 + 113. Is b a multiple of 11?
True
Suppose -6*p - 10 = -p. Let j(x) = 6*x**2 + 4*x + 2. Does 6 divide j(p)?
True
Let o = 38 + -26. Suppose 3*s - 3*k - o = 9, 5*s - 35 = 3*k. Is s even?
False
Let s(g) = g**2 - 12*g + 20. Let l be s(9). Let m = l + 41. Is 13 a factor of m?
False
Let z(c) = 4*c**2 - 8*c - 3. Is z(3) a multiple of 3?
True
Is 19 a factor of (-2276)/(-30) - (-6)/45?
True
Suppose 2*h + 237 = 5*h. Is 21 a factor of h?
False
Let r = -197 - -281. Does 14 divide r?
True
Suppose 0 = 3*t + 3, -2*t - 3 + 0 = s. Does 15 divide 39/1 + (-3 - s)?
False
Let p be -1 + -1 + -49 + 1. Does 12 divide 1/(-2)*(p + 2)?
True
Let k(r) = -20*r**2 - r. Let s be k(1). Suppose 4*l + f + 1 = -39, f + 22 = -2*l. Let p = l - s. Is p a multiple of 7?
False
Let l be (-59)/(9/(-3) - -2). Suppose 5*f = l + 6. Does 13 divide f?
True
Let k = 66 - 33. Does 9 divide k?
False
Let z = -14 - -8. Let l be 1 + 4/z*-6. Suppose 0 = l*r - r - 32. Is 8 a factor of r?
True
Suppose 0 = 4*l - 7*l + 66. Does 5 divide l?
False
Suppose 4*n - 14 = b + 129, 5*b = -n + 20. Is n a multiple of 32?
False
Suppose -4*j - 3*p = -7*p - 28, 4*j + p - 38 = 0. Let y = 12 - j. Does 3 divide y?
True
Let j(i) be the third derivative of 1/8*i**4 + 1/20*i**5 - 2*i**2 + 0*i + 1/2*i**3 + 0. Is j(3) a multiple of 13?
True
Let g = 8 - 8. Suppose 4*a - 6*b + 4*b - 52 = g, -a - b = -13. Does 13 divide a?
True
Let x(a) = -a + 24. Let t be x(0). Let k = 40 - t. Suppose 0 = -4*q - k, -4*n - 4*q + 0*q = -160. Does 19 divide n?
False
Let q = 7 + -3. Suppose -q*o = 5*n - 214, -2*o - 2*o + 234 = -5*n. Is o a multiple of 14?
True
Let z = -5 - -5. Suppose -24 = -c + 5*n, z = -5*n + n - 12. Is 9 a factor of c?
True
Let o(q) = -q**2 + 10*q + 8. Let h(k) = -2*k**2 + 11*k + 9. Let r(m) = 2*h(m) - 3*o(m). Let y be r(-6). Suppose -y*a + 11*a = 100. Is a a multiple of 7?
False
Let n(q) = -q**2 - 33*q - 57. Is n(-14) a multiple of 11?
True
Let u(d) 