c/(-2))*4. Suppose u*l - 35 = l. Is 7 a factor of l?
True
Is 4 a factor of 16 + -4*3/3?
True
Suppose -3*x + x + 36 = 0. Is x a multiple of 5?
False
Let m(b) = b**2 - 2*b - 3. Let r be m(-2). Is 81/5 + (-1)/r a multiple of 5?
False
Let r(k) = 2*k**3 - 4*k**2 + 6*k - 10. Does 29 divide r(5)?
False
Let p be (-3)/(-6)*4*-2. Let f be (-4 - -2)/(p - -6). Is (-20 + (2 - 2))/f a multiple of 19?
False
Let o = 3245 - 1800. Does 11 divide o/35 + 2/(-7)?
False
Let s = 164 + -91. Does 12 divide s?
False
Let w(f) = -2*f**3 + 2*f**2 + 2*f. Is 15 a factor of w(-3)?
False
Let d(a) = a + 2. Let t be ((-1)/2*0)/(-1). Suppose t = p - 5*p. Is 2 a factor of d(p)?
True
Suppose 5*s + 5*c = 95, 4*s + c - 92 = -19. Is s a multiple of 18?
True
Let i(q) = 4 - q + 2 + 2. Let l be i(4). Suppose l*t + 20 = 92. Does 9 divide t?
True
Let o(x) = -x**3 - 8*x**2 + 11*x + 8. Let a be o(-9). Is 24/10*a/(-3) a multiple of 4?
True
Suppose f = 4*a + 78, 8*f - 4*f - 2*a - 354 = 0. Does 18 divide f?
True
Let h(a) = a**2 + 5*a + 1. Let r(t) = t**3 - 5*t**2 + 4*t - 6. Let p be r(4). Let q be h(p). Let z = 14 - q. Does 7 divide z?
True
Let g(x) = -x**3 + 9*x**2 - 9*x + 10. Let r be g(8). Suppose -r*v = -76 - 66. Suppose -3*b + v = 11. Is b a multiple of 7?
False
Suppose 6*k + 4*t = 3*k + 56, -k = -t - 28. Is k a multiple of 9?
False
Let f(t) = t**2 + 6*t + 6. Suppose 2*j + 0*j = 5*k + 10, -5*k = -3*j + 10. Suppose m + 8 = -j*m. Is 11 a factor of f(m)?
True
Suppose -5*n - 33 = -5*t - 8, t = 3*n + 9. Is (n/3)/(4/(-66)) a multiple of 11?
True
Let a(d) be the second derivative of -3*d**4/8 + d**3/3 + 3*d**2/2 + 4*d. Let w(m) be the first derivative of a(m). Is 9 a factor of w(-3)?
False
Let p = 43 - 12. Is p a multiple of 10?
False
Does 14 divide (0 - (-56)/(-20))*-5?
True
Suppose -2*t - 4*p + 99 = 9, 2*t = -3*p + 91. Let g = -172 + 241. Let f = g - t. Is 11 a factor of f?
True
Let d = 5 + 1. Is d a multiple of 2?
True
Let d(s) = 2*s + 4. Let y be d(-5). Let j(z) = -5*z + 6. Is j(y) a multiple of 14?
False
Suppose 0 = 2*n + 3*n - 35. Suppose 3*f - n - 41 = 0. Does 8 divide f?
True
Let k(q) = q**2 - 4*q + 3. Let c be k(4). Suppose -c = 3*v - 4*v. Suppose -2*m - 28 = -v*m. Is 14 a factor of m?
True
Let x(o) = -o**3 + 6*o**2 + 6*o + 8. Let g be x(7). Is 11 a factor of -1 - -13 - (0 + g)?
True
Suppose -4*s = -5*s + 6. Is 6 a factor of (18/(-8))/(s/(-16))?
True
Let a(g) = 6*g**2 + 2*g - 2. Let t be a(5). Suppose -104 = -2*c - 2*y, 3*c + 2*y = -0*y + t. Is 17 a factor of c?
False
Let b(i) = -2*i**3 - 2*i**2 + 2*i - 1. Suppose -h = -0*h + 3. Is 26 a factor of b(h)?
False
Let o(h) = h**3 - 6*h**2 + 6*h - 1. Let c be o(5). Let a(b) = -b**3 + 5*b**2 + b + 3. Let w be a(c). Suppose w = 3*z - 7. Is 6 a factor of z?
False
Let x(g) be the third derivative of -11*g**4/24 - 2*g**3/3 + 7*g**2. Is 20 a factor of x(-4)?
True
Suppose -c + 2*r + 62 = 18, 3*c + r = 111. Does 7 divide c?
False
Let u(o) = -o + 12. Let m be u(6). Let z = m - 7. Is -3 + (z + 94)/3 a multiple of 14?
True
Let l(c) = -c**2 + 3*c + 4. Let h be l(4). Suppose -2*v - v = h. Suppose -r - 3*r + 96 = v. Does 12 divide r?
True
Let n(s) = -4*s. Let h(t) = -3*t. Let o(x) = 5*h(x) - 4*n(x). Let b be o(2). Suppose b*z - 2*l - 17 = -5*l, z - 41 = 5*l. Is 8 a factor of z?
True
Let g(v) = v**3 - 12*v**2 + 3*v + 12. Is g(12) a multiple of 17?
False
Let y(t) = -3*t - 6. Let c(o) = 3*o**2 - o. Let m be c(-1). Let v = -1 - m. Is 6 a factor of y(v)?
False
Let d(q) = q**3 - 3*q**2 + 4*q + 8. Let x be d(6). Let y = -88 + -5. Let l = x + y. Does 20 divide l?
False
Let l(y) = 44*y**3. Let v be l(1). Suppose c - v = -3*c. Let k = c + 5. Is k a multiple of 7?
False
Let c be (-2)/(-3)*6/2. Suppose -c*w - 27 = w. Is 5 a factor of -24*(w/6 + 1)?
False
Let b = -71 - -148. Suppose 0 = 4*h - 211 - b. Is h a multiple of 24?
True
Suppose -4*t - 2*d = -d - 11, -t + 29 = -5*d. Let n(k) = 6*k + 3. Is n(t) a multiple of 11?
False
Let j(s) = -12*s**3 + 2*s**2 - 2*s + 2. Let c(u) = -24*u**3 + 3*u**2 - 4*u + 3. Let l be (-4 + -2)*(-3)/6. Let w(h) = l*c(h) - 5*j(h). Is w(-1) a multiple of 5?
False
Suppose -3*b + b = -70. Suppose b = g - v + 3*v, -4*g + 149 = -v. Is 10 a factor of g?
False
Let c = 11 - -14. Is c a multiple of 2?
False
Let v = -45 - -67. Let d = -31 + v. Let p(h) = -h**3 - 8*h**2 + 4*h - 9. Is p(d) a multiple of 13?
False
Suppose 9*t = 6*t + 15. Is t even?
False
Suppose -j + 3*j + 6 = 0, -3 = 3*s + 4*j. Suppose 2*k - 5*k + 6 = 0, s*t - k = -104. Let u = t + 63. Does 8 divide u?
False
Suppose w - 9*h - 100 = -5*h, 0 = -4*h + 8. Is w a multiple of 18?
True
Let c = 8 - -172. Is c a multiple of 14?
False
Let c be 1/(-2) + (-3)/(-6). Does 10 divide 31 + 0 - c/3?
False
Suppose 31 = -m + p, -3*m = -5*m + 3*p - 60. Does 2 divide (-72)/m - 2/11?
True
Suppose -4*l = -632 + 8. Let g = l + -107. Is g a multiple of 14?
False
Let b(g) = g**3 - g**2 + g + 1. Let l(k) = -2*k**3 - 6*k**2 + 3*k - 8. Let m(v) = -3*b(v) - l(v). Let f(z) = -2*z - 2. Let s be f(-5). Does 21 divide m(s)?
True
Let s be 44/7 - 10/35. Suppose s*u - u = 5, 2*y = -u + 49. Does 12 divide y?
True
Let b = 11 + -7. Let g(d) = 9*d - 13. Let q(c) = 3*c - 4. Let w(s) = b*g(s) - 11*q(s). Is w(6) a multiple of 5?
True
Let l(r) = -28*r - 32. Does 32 divide l(-8)?
True
Let m(z) = z + 13. Let w be m(-6). Suppose 0 = w*v - 3*v - 144. Is v a multiple of 18?
True
Suppose -4 = 5*d - 24. Suppose d*w = 193 - 29. Is w a multiple of 11?
False
Suppose -5*r + 2 = -3*r. Suppose b = -5*d + r - 4, -4*b + 63 = 5*d. Does 11 divide b?
True
Let f = -111 - -126. Is 15 a factor of f?
True
Suppose y - 5*d - 6 = 0, -y + d - 1 + 23 = 0. Suppose 79 + y = 5*x. Does 11 divide x?
False
Let p = -12 - -17. Is 4 a factor of p?
False
Let x be 33 + -3 + 1 + -2. Suppose 3*w - 88 = x. Is w a multiple of 11?
False
Let n(u) = u**2 - u + 24. Let y be n(0). Suppose 2*g = -x + 21, -5*x = 3*g - y + 3. Is 11 a factor of g?
False
Let b be 42 + ((-8)/4)/1. Let r = -21 + b. Is 14 a factor of r?
False
Let w(s) = -5*s + 10. Let m(j) = -21*j + 41. Let x(r) = 2*m(r) - 9*w(r). Is x(10) a multiple of 5?
False
Let v = 11 + -27. Let a = -8 - v. Is 4 a factor of a?
True
Let k be (8 - 2)/(1/2). Let h = k - 6. Does 5 divide h?
False
Let t = -36 + 55. Is t a multiple of 19?
True
Suppose -4*a = a - 480. Let d = 134 - a. Is d a multiple of 15?
False
Let t(q) = -q. Let c(w) = 10*w + 1. Let f(m) = -2*c(m) - 22*t(m). Is f(6) a multiple of 3?
False
Let z(p) = -p**3 + 3*p + 3. Let w(u) = -u**3 + 5*u + 5. Let m(j) = 3*w(j) - 5*z(j). Let s be (-1)/(-5) + (-4)/(-5). Is 2 a factor of m(s)?
True
Let l(a) = -7*a - 24. Let n(m) = -4*m - 12. Let s(c) = -3*l(c) + 5*n(c). Let k(x) = -x**2 + 12*x. Let z be k(12). Does 6 divide s(z)?
True
Let q = 242 - 122. Suppose -5*v = -8*v + q. Does 20 divide v?
True
Let h(a) = -2 + 2 + 5*a**2 + a - 9 + 2*a. Is 16 a factor of h(-4)?
False
Let v(j) = 2*j**2 - 10*j - 3. Let y be (-3)/((-12)/(-21) + -1). Is 5 a factor of v(y)?
True
Suppose 2*u = x + 110, 53 = 2*u + 3*x - 41. Does 53 divide u?
True
Let f(r) = r**3 - 6*r**2 - 8*r + 2. Let l be f(7). Let h(g) = g**3 + 4*g**2 - 6*g + 2. Does 3 divide h(l)?
False
Let g be 4 + 4*(-2 + 1). Suppose -5*z + 192 = -0*z + 4*r, g = -z - 2*r + 36. Is z a multiple of 13?
False
Let l = -4 + 4. Suppose -i - 5 + 4 = l. Does 14 divide (-14)/(2 + (i - 2))?
True
Let a(v) = -v - 5. Let j be a(-7). Suppose 0 = s - j*o - 13, o = s + 2*o - 10. Does 11 divide s?
True
Let x = 267 + -183. Is 12 a factor of x?
True
Let b(u) = -1 + 5*u**2 + 2*u + u - 2*u - 2*u. Is b(-1) a multiple of 5?
True
Suppose 2*o = -5*f + 51, -4*f - 2*o + 0*o = -42. Does 4 divide f?
False
Let o(p) be the second derivative of p**6/120 - p**5/20 - 7*p**4/24 - p**3/6 + 2*p. Let c(l) be the second derivative of o(l). Does 17 divide c(5)?
False
Let y be (-2)/3 - (-4)/6. Let h(b) = 2*b**2 - 4. Let l be h(-4). Let v = l + y. Does 12 divide v?
False
Suppose -2*d - 2*d = 0. Let h(x) = -x**2 + 38 + d*x**2 + x**2 + x**3. Does 19 divide h(0)?
True
Let d(j) = -18*j + 18. Does 18 divide d(-7)?
True
Let m(w) = 2*w + 5. Let n be m(3). Let q(j) = -j**2 + 14*j - 6. Is q(n) a multiple of 9?
True
Let g(y) = y**3 - y**3 - 6*y + y**3 - 3 + 4*y**2. Is g(-4) a multiple of 7?
True
Suppose 2*o - 4*p + 8*p = 26, 4*o - 7 = p. Let s = 17 + o. Let z = s + 2. Does 11 divide z?
True
Let p =