- 4 - 80 = 0. Is f a multiple of 11?
False
Let f(o) = -13 + 21 + 6*o - o**2 + 2*o. Does 5 divide f(7)?
True
Let v(q) = -7*q**2 + 2*q. Let b be v(2). Let u = 68 + b. Does 22 divide u?
True
Let l(q) = q**2 + 29*q - 68. Is 2 a factor of l(-32)?
True
Suppose 0 = -0*o + 4*o - 68. Let i = o - 24. Is (i/(-2) - 3)*80 a multiple of 21?
False
Suppose 3*z + 21 = -p - 95, -5*z + p = 180. Let o = 53 + z. Does 8 divide o?
True
Let a = 39 + 34. Suppose 0 = -2*w - 0*w + 5*x + a, -x = 3*w - 67. Is 7 a factor of w?
False
Suppose 6*f + 75 = f. Let t = 16 + 21. Let m = f + t. Is 11 a factor of m?
True
Suppose 5*z - 5*d - 1112 = -9*d, 0 = 2*z + 4*d - 440. Is 36 a factor of z?
False
Let u = 147 + -78. Suppose y - s - 21 = 0, u = -y + 4*y - s. Is 12 a factor of y?
True
Suppose 6*h + 2*b = 2*h + 24, h - 4*b + 3 = 0. Suppose -3*x - h*n + 0 + 2 = 0, -4*x + 24 = -4*n. Suppose x + 1 = q. Is 5 a factor of q?
True
Let o be (-1)/(-2) - (-357)/6. Suppose -b = -5*c + 150, c - o = -c - 4*b. Does 23 divide c?
False
Suppose 2*l - 4 = 6. Suppose 0 = 2*c - 38 - 38. Is 4 a factor of c/l + (-6)/(-15)?
True
Let j(d) = -d**3 + 11*d**2 + 6*d + 5. Let b be j(11). Suppose -l - 5*n + 2*n + b = 0, -3*l - 5*n + 197 = 0. Is l a multiple of 20?
False
Suppose 4*g - 3*g = 48. Is g a multiple of 12?
True
Suppose -5*q = 2*n - 1502, 4*n + 1928 = 4*q + 732. Suppose -5*y + q = -0*y. Is 20 a factor of y?
True
Suppose p + y - 44 = 2*y, -42 = -p + 2*y. Is p a multiple of 14?
False
Let l = -257 - -410. Does 11 divide l?
False
Let z(d) = d**3 + 6*d**2 - 7*d - 6. Is z(-5) a multiple of 8?
False
Suppose 4*y + 21 = 141. Is y a multiple of 5?
True
Let y = 44 + -23. Is -3 + y/3 + 57 a multiple of 24?
False
Suppose 3*s - 16 = -s. Is ((-6)/s)/((-3)/4) even?
True
Suppose -78*c = -83*c + 1475. Is 15 a factor of c?
False
Let o(v) = -v**3 - 3*v**2 + v + 3. Let w(g) = 3*g**3 + 5*g**2 - g - 7. Let p(m) = -5*o(m) - 2*w(m). Suppose -3*x + 8 = -x. Is p(x) a multiple of 2?
False
Suppose 0 = -2*i - 4*n + 4, -3*i - n + 6 = 3*n. Suppose i*x = -3*x + 55. Is 2 a factor of x?
False
Let l = 17 + -14. Suppose -2 = l*g - 47. Is g a multiple of 15?
True
Let v = -36 + 66. Is 11 a factor of v?
False
Suppose -f - 10 = -3*f. Let b = f + 15. Is 6 a factor of b?
False
Suppose 4*d - 4*q - 27 = 9, 4*q + 20 = 0. Suppose -d*l - 92 = -376. Is l a multiple of 12?
False
Let w = 3 - -14. Is w a multiple of 8?
False
Suppose -4*v + 280 = -272. Is 22 a factor of v?
False
Suppose -4*s = -2*y - 218, y - 6*y - 4*s = 559. Let m = y + 166. Suppose -3*r + m = -20. Does 7 divide r?
False
Let j(l) = -l**3 + 2*l**2 + 4*l + 2. Does 7 divide j(-2)?
False
Let g = -76 + 120. Does 9 divide g?
False
Let d = -6 + 13. Suppose 5*u = 3*b + 133, -43 = -2*u + 2*b + d. Is 21 a factor of u?
False
Suppose -2*n = -f + 3*f - 142, 67 = f - 3*n. Suppose 0 = -c - 7 + f. Suppose 4*g - c = 9. Is g a multiple of 9?
True
Let k(y) = -2*y**2 + 23*y - 4. Is k(6) a multiple of 10?
False
Let k(b) = -84*b - 1. Let y be k(-2). Suppose y = 4*z - 9. Is 11 a factor of z?
True
Suppose 3*q - 9 = -5*y + 12, -y = q - 5. Suppose -q*s = -s - 21. Is s a multiple of 21?
True
Is 7 a factor of (-15)/2*(2 + 80/(-24))?
False
Let p(s) = -s**3 + 8*s**2 - 5*s - 9. Let c(i) = 5*i - 3. Let v be c(2). Let y be p(v). Is (-2)/(-2)*(0 + y) a multiple of 3?
False
Suppose -2 - 14 = -2*c. Let m(i) = -2*i**2 + 9*i + 11. Let p(v) = 6*v**2 - 27*v - 33. Let o(h) = 17*m(h) + 6*p(h). Is 16 a factor of o(c)?
False
Let d(g) = 10*g**2 - 2. Is d(2) a multiple of 7?
False
Let g(w) = -w - 9*w**2 - 4 - 6 - 9*w - w**3 + 0*w**3. Is g(-8) a multiple of 4?
False
Let x be (-28)/(-6)*(-6)/1. Let i = 0 - x. Does 10 divide i?
False
Let i(y) = -6*y**2 + 6. Let v(k) = 6*k**2 - 5. Let u(w) = 4*i(w) + 5*v(w). Let r(x) = -x**3 + 19*x**2 - 4. Let l(f) = 2*r(f) - 7*u(f). Does 13 divide l(-3)?
False
Let f(s) = 4*s**2 + s - 3. Let r be f(3). Suppose 2*x - i = -x + r, 14 = 2*x - 4*i. Does 6 divide x?
False
Let s = -28 + 20. Let v = s + 1. Is (0 + v)*24/(-14) a multiple of 12?
True
Let f be 1 + -2 + (1 - 1). Is 0 + 17/1 + f a multiple of 8?
True
Suppose -2*j + 0*j + o + 113 = 0, -j + 59 = -3*o. Is j a multiple of 28?
True
Suppose -4*c + 5*a - 119 = -7*c, -a + 187 = 4*c. Suppose -c = -2*l - 2*l. Does 4 divide l?
True
Let b = -7 - 2. Suppose 5*p + 68 = -3*k, -5*k + 0*k + 2*p - 72 = 0. Let r = b - k. Does 7 divide r?
True
Let d be 3*(-2 - (-48)/9). Let f be (4/d)/((-3)/(-30)). Suppose -2*k + 22 = -3*c - 7, f*c + 12 = 0. Is k a multiple of 5?
True
Let n be (-625)/(-15) + 4/(-6). Suppose 3*r = 5*i + 88, -2*i + n = r - 6*i. Is 10 a factor of r?
False
Let z be 0/(-1) - (8 - 16). Let r(v) = -v**3 + 8*v**2 + v - 4. Is r(z) even?
True
Suppose 0*l - l = -6. Let k be 1/(1 - l/9). Is (-255)/(-10)*2/k a multiple of 7?
False
Suppose 5*n + 51 = 266. Does 10 divide n?
False
Let u = 0 - 1. Suppose 5*i = 5*b + 265, -i = -4*b - 36 - 32. Let g = u + i. Is g a multiple of 18?
False
Suppose 3*b + 3*n + 57 = 0, -5*b = -n - 48 + 161. Let m = b - -16. Is 19 a factor of m/(-4) - 154/(-4)?
False
Suppose 28 = 3*z - 92. Does 24 divide z?
False
Suppose 30 = 6*j - j. Does 16 divide (-4 + 7)*44/j?
False
Suppose 3*h - 8*h = -210. Is 21 a factor of h?
True
Let j(t) = 20*t. Let a be j(-3). Let q = -12 - a. Is q a multiple of 13?
False
Let s(a) = a**3 - a**2 + 5. Suppose 3*w + 6*j - 2*j = -3, -4*j = 5*w + 5. Let t be 0/(2 - w - 1). Is s(t) a multiple of 5?
True
Let s be 0*2/4*1. Suppose 400 = 5*v - 4*j, -4*v + s*j + 320 = 5*j. Is 27 a factor of v?
False
Suppose 28 = 2*i - 4. Is 8 a factor of i?
True
Let c = 4 - -16. Does 6 divide c?
False
Let a(r) = -r**3 - 6*r**2 - 7*r - 9. Let y be a(-5). Suppose -y = -b + 26. Is 9 a factor of b?
True
Suppose 5*f = p - 36, -p + 30 = -3*f + 4*f. Suppose 4*d - 33 - p = 0. Is 9 a factor of d?
False
Let t be -4*2/(-4)*2. Let l(z) = -z**2 + 5*z - 1. Let q be l(t). Let x(b) = b**2 + 2*b - 2. Does 10 divide x(q)?
False
Let m = 3 + -1. Suppose -m*j - 3*j + 130 = 0. Is 9 a factor of j?
False
Is 17 a factor of (-45)/(-75) + 344/10?
False
Suppose q + 7 = 5*u, -2*q - 5*u = -5*q - 1. Suppose 55 = q*c - 11. Is c a multiple of 22?
True
Suppose 2*t - 5 = -29. Does 8 divide 10/2 - t/4?
True
Let b = 2338 + -3970. Does 10 divide b/(-54) + 4/(-18)?
True
Let p(a) = 7*a + 5. Suppose -12 = -4*q + 4. Let g be p(q). Is 2 + -3 - (0 - g) a multiple of 15?
False
Suppose -4*t = -3*t - 3. Suppose 4*a = -2*i + 4*i - 48, -i - 5*a = -t. Is i a multiple of 18?
True
Suppose -4*g + 2 = 4*d - 3*g, 0 = 5*d - 5*g - 15. Let q be 6 + -2 + d - -2. Is 3 a factor of 2/q + (-141)/(-21)?
False
Let p(j) be the third derivative of j**6/120 - 7*j**5/60 + 5*j**4/24 - 5*j**3/3 - 3*j**2. Does 10 divide p(7)?
False
Let b = -157 + 278. Is 24 a factor of b?
False
Let d = -16 - -18. Suppose 5*h = d*a - 6 + 104, -12 = 3*a. Is h a multiple of 9?
True
Let g = -15 - -15. Suppose -k = -30 - g. Does 15 divide k?
True
Let n(a) = a**3 + 3*a**2 - 5*a - 2. Let h be n(-4). Let k = 6 + h. Let x = 19 + k. Is x a multiple of 27?
True
Let v be (-4 - 0)*4/(-4). Suppose 4*r + 15 = 5*r + 5*i, 3 = -r + v*i. Suppose 0 = -2*s + 4*y + 8 + 6, -40 = -4*s + r*y. Is 15 a factor of s?
True
Suppose 34*r = 36*r - 98. Is r a multiple of 7?
True
Suppose 3*y - 4*y + 15 = 0. Suppose 7*t - 48 - 8 = 0. Let j = y - t. Does 2 divide j?
False
Suppose 5 = -k - 3. Let q be (-2)/8 + (-18)/k. Suppose q*s = -2*s + 4*t + 180, 5*t = 2*s - 93. Does 12 divide s?
False
Suppose 182 = 16*z - 1098. Does 16 divide z?
True
Let s(t) = t**3 + 5*t**2 - 3*t - 3. Let n be s(-5). Suppose -2*m = -3*a - m - 3, 5*a + n = 4*m. Suppose -4*k - k + 20 = a. Is k a multiple of 2?
True
Suppose 0*y - 112 = -2*y. Suppose -3*i = -3*o - 63, -4*i + 0*o - 3*o = -y. Let l = i + -3. Is 14 a factor of l?
True
Let x(y) be the first derivative of y**4/4 - y**3 + y**2/2 + 2*y + 2. Let b be x(3). Suppose 2*h - b*k - 15 = -0*k, -5*k = -15. Does 15 divide h?
True
Let w = 180 - -35. Is 37 a factor of w?
False
Suppose o - 105 = -4*o. Is o a multiple of 3?
True
Suppose 6*a + 395 = a. Let x = -38 - a. Does 20 divide x?
False
Suppose 4*q + 5*i - 131 = 0, 0*i = -3*q - 3*i + 102. Is 18 a factor of q?
False
Let f be (-681)/(-9) - 8/12. Let v = f + -43. Is 16 a factor of v?
True
Let f(u) = -u + 8. Let g(i) = -i**2 + i - 1. Let w(q) = f(q) + 3*g(q). Let c be w(4). Let x = c - -71. Does 1