7. Is c a multiple of 4?
False
Let b = -113 + 317. Suppose 6*j - 18*j = -b. Is 8 a factor of j?
False
Let h = 18 + -46. Let t be (-5 - -2)*h/(-3). Let s = t - -49. Is s a multiple of 15?
False
Let s = 13 + -13. Suppose 3*n - 15 = 0, -w - w + n - 21 = s. Is (30/w)/(18/(-192)) a multiple of 13?
False
Let m(w) = -w**3 - 43*w**2 + 74. Does 33 divide m(-43)?
False
Let i = -103 - -103. Is 53 - (i + -2 - -7) a multiple of 6?
True
Let l(k) = -k. Let u(a) = -5*a - 3. Let r(c) = -2*l(c) + u(c). Let h = 47 - 50. Is 6 a factor of r(h)?
True
Let i = 1 - 2. Let v(r) = 2*r**3 - 3*r**2 + 2*r - 12. Let c be v(3). Let h = c + i. Does 3 divide h?
False
Let c(p) = p**3 + 12*p**2 - 12*p + 15. Let k be c(-13). Let b = -22 - -12. Does 7 divide 8/b*(-55)/k?
False
Suppose -11*v = -12*v + 3*l + 589, 0 = l - 1. Is v a multiple of 74?
True
Let d = 888 - -1832. Is 34 a factor of d?
True
Let n(q) = -90*q - 2. Let k be n(-5). Suppose -10*l = -3*l - k. Is 6 a factor of l?
False
Let v = 432 + 146. Does 34 divide v?
True
Suppose -39*m = -24*m - 20190. Does 22 divide m?
False
Suppose -k = k. Suppose -4*m + 47 + 173 = k. Suppose 0 = 2*x - 3*t - 11 + 2, -5*x = -t - m. Is 12 a factor of x?
True
Let j(r) = -7*r + 4*r - 12 + 2*r - r. Let m be j(-6). Suppose 4*d = -m*d + 4*v + 148, -3*v - 77 = -2*d. Is 6 a factor of d?
False
Suppose -y + 442 = 6*a - 7*a, -2*y + 909 = 3*a. Does 13 divide y?
False
Let q be 3 - (-88)/(-20) - (-2)/5. Let i = q - -13. Is 12 a factor of i?
True
Let p(l) = 5*l + 6*l**2 - 3*l + 8*l + 11. Is 7 a factor of p(-3)?
True
Let k(s) = -s + 15. Let t be k(10). Suppose 0 = t*q - 2*q + 33. Let j(u) = -u**3 - 10*u**2 + 10*u + 4. Does 4 divide j(q)?
False
Let n(x) = x**3 + 10*x**2 + 9*x + 5. Let t be (7/2)/(-7)*18. Let h be n(t). Suppose 2*u - 38 = -u - 5*k, -u + h*k + 46 = 0. Is u a multiple of 5?
False
Suppose 723 = -20*x - 2857. Let b = x + 538. Is b a multiple of 41?
False
Let x = -173 + 245. Suppose 19 + 81 = i + 2*v, i - x = 5*v. Does 23 divide i?
True
Suppose 0 = 22*c - 10*c - 1452. Is 10 a factor of c?
False
Let o(y) = -9 - 2*y - 15*y**2 + 5*y + 6 - 12*y**2. Let g be o(2). Let j = g + 165. Is 15 a factor of j?
True
Let b(l) = -l**3 - 6*l**2 + 17*l + 11. Let w be b(-8). Suppose -w*j + 2*n - 5*n = -1035, 2*n + 354 = j. Does 34 divide j?
False
Suppose -3*x + 21 + 6 = 0. Suppose -x = -a + 5. Let c = -4 + a. Is 5 a factor of c?
True
Let z = -230 - -1691. Is 27 a factor of z?
False
Let y = 9 + -5. Let f(v) = 1 - v + y*v - 4*v + 2*v**2 + 8*v**3. Is f(2) a multiple of 33?
False
Let l(i) = -2*i - 1. Let h be l(-2). Suppose -9*u + 3*c = -6*u + 63, -3*u + 2*c = 59. Let k = h - u. Does 9 divide k?
False
Does 3 divide (-3)/15 + 4905/25 + -3?
False
Suppose 5*h = -5*b + 130, 0 = -4*h - 15*b + 14*b + 116. Is h a multiple of 6?
True
Suppose -z = z - 5*w - 29, -2*z = -3*w - 19. Suppose 0 = -2*f - y + 64, 2*f + 13 = z*y + 71. Does 10 divide 15/(-5) + -1 + f?
False
Suppose -3*t + g + 20 = 2*t, -3*g - 18 = -t. Is 11 a factor of (-4 + 217)/3 - t?
False
Suppose 4579 = 16*f - 3821. Does 35 divide f?
True
Suppose 3*j = 5*j - 666. Suppose -232 = -2*w - 0*w + 4*p, 0 = -3*w + p + j. Is 10 a factor of w?
True
Let o(y) = 6*y**2 + y**3 + 4*y**2 + 11 - 3*y**2 + 4*y**2. Is 3 a factor of o(-11)?
False
Let c(h) be the second derivative of -11*h**3/6 - 47*h**2/2 - 6*h. Is 46 a factor of c(-21)?
True
Suppose 2*f = 2*l - 8906, 19*f = l + 21*f - 4438. Is l a multiple of 32?
True
Suppose -54*j + 52*j = -400. Suppose -12*y = -7*y - j. Is 8 a factor of y?
True
Suppose 32 = 4*o - 248. Suppose -3*p - 12 = 0, 2*r + 2*p + 44 = -o. Let u = 89 + r. Is 9 a factor of u?
True
Suppose w = -0 - 3. Let u(i) = i**3 + 5*i**2 + 4*i + 4. Let d be u(w). Let l(p) = -p**2 + 12*p - 7. Is 13 a factor of l(d)?
True
Let k be (4 - -1) + -3*(-1)/(-3). Suppose -205 + 733 = k*u. Does 11 divide u?
True
Let k be 13 + (1 - (-4)/2). Let u = k + -13. Suppose -15 = -0*b - 2*b - 3*s, -21 = -2*b + u*s. Does 9 divide b?
True
Let m(l) = 12*l + 4. Let y be m(5). Suppose -59*k - 665 = -y*k. Is k a multiple of 19?
True
Let i(u) = 5*u**2 + 4*u + 3. Let a(d) = -4*d**2 - 5*d - 2. Let x(z) = 6*z - 1. Let b be x(1). Let t(o) = b*i(o) + 6*a(o). Is t(13) a multiple of 21?
True
Let z be (-3 + 15)/((-2)/3). Let w = z + 113. Does 6 divide w?
False
Let a = -1262 + 1617. Is 71 a factor of a?
True
Let b = -35 + 16. Let c = -21 - -12. Let q = c - b. Is q a multiple of 4?
False
Let s = 416 + -224. Does 16 divide (s/(-20))/(6/(-20))?
True
Let b(a) = -11*a**3 - 15*a**2 + 32*a + 32. Let c(u) = 4*u**3 + 5*u**2 - 11*u - 11. Let p(j) = -3*b(j) - 8*c(j). Is 3 a factor of p(-6)?
False
Let o(w) = 6*w**2 - w - 6. Let f be -3 - 5/(5/(-6)). Is 14 a factor of o(f)?
False
Suppose 16533 = 15*k - 4*k. Does 9 divide k?
True
Suppose -2131 = -14*p + 3077. Does 47 divide p?
False
Let r(t) = 5*t**3 - 4*t**2 - 4*t + 1. Let a(u) = -u**3 + u**2 + u. Let k(b) = 11*a(b) + 2*r(b). Let x be k(-3). Suppose -x - 17 = -2*q. Does 16 divide q?
True
Let y = -19 - -35. Let h = -2 + y. Is 4 a factor of (0 - h)*2/(-7)?
True
Suppose -5*s - s - 144 = 0. Let j = s - -24. Let v(l) = -l + 56. Is 14 a factor of v(j)?
True
Let x = -8 + 16. Let l = x + 50. Does 11 divide l?
False
Let m(x) = x - 1. Let a be m(11). Let j be (-4)/20 - (-2)/a. Let u(w) = 2*w + 46. Is 23 a factor of u(j)?
True
Suppose -3*i - 5*u = -107 - 212, -4*i = 2*u - 430. Suppose k - 12 = 5*v + 38, -i = -4*k - 3*v. Is k a multiple of 22?
False
Let r(q) = -q**2 - q - 6. Let d be r(0). Let o(i) = -8*i - 8. Let n(j) = -7*j - 9. Let k(m) = -4*n(m) + 5*o(m). Is k(d) a multiple of 25?
False
Let a = 141 + -137. Let s be 1/((-2)/(-4)) - -21. Suppose a*c - 83 + s = 0. Is 5 a factor of c?
True
Let a(o) = -5*o - 49. Let n be a(11). Let k = n - -220. Is 58 a factor of k?
True
Let m = 6 - 10. Let w(a) = a**3 + 4*a**2 + 3. Let k be w(m). Suppose 2*c + 4*t = 90, -2*t - 3*t - 91 = -k*c. Is 6 a factor of c?
False
Let f = 8 + -6. Let d(a) = -a**3 + 0*a + a + 3 + 7*a**f - 2 + 6. Does 25 divide d(5)?
False
Let a = 142 - -34. Suppose 0 - 3 = -j. Suppose 2*p - a - 8 = 4*v, -j*p = v - 269. Does 18 divide p?
True
Suppose 5*k = -4*b + 64, 0 = 5*k + b - 2*b - 84. Let l = k + -8. Suppose 0 = v - 5*r - l, 5*v - 5 = 5*r + 135. Is 15 a factor of v?
False
Let l = 420 - -32. Let t = -302 + l. Is t a multiple of 25?
True
Let x(a) = 14*a**3 + 5*a**2 - 3*a + 32. Does 43 divide x(5)?
True
Suppose -22*x - 268 = -2*p - 20*x, 134 = p - 2*x. Is p a multiple of 40?
False
Let s = -25 - -15. Is 5 a factor of 1 + -5 + 2 - 210/s?
False
Let u = -8 - -10. Suppose 0 = 4*w - b - 153, 0 = -5*w + u*b - 7*b + 210. Suppose -v + w - 3 = 0. Is 10 a factor of v?
False
Let o(f) = -11*f - 199. Is o(-40) a multiple of 26?
False
Let l(x) = -x - 13. Let v be l(-15). Suppose 3*f = -v*n - f + 14, -1 = n + 4*f. Is n a multiple of 4?
False
Let b = 2 + 1. Suppose 0 = 7*l - b*l + 4, l = -3*s + 35. Let j = 15 + s. Is 9 a factor of j?
True
Let f(h) = -2*h**3 - 4*h**2 - 4*h - 4. Does 3 divide f(-3)?
False
Is 15 a factor of (-1317)/(-12)*-4*-4?
False
Let u(h) = 65*h - 360. Is 29 a factor of u(10)?
True
Let d(y) = -4*y - 17. Let o be d(-8). Let q = o - 10. Suppose -5*b = -3*n - 20, -4*n - 15 = -q*b - 0*n. Is 7 a factor of b?
True
Let k = 2110 + 606. Does 14 divide k?
True
Suppose 3*g - 4*s = s + 2, -g + 2*s = 0. Suppose -r - 4*z = -3, g*z + 10 = 2*r - 44. Is 14 a factor of r?
False
Let m(l) = l**3 + l**2 - 4*l + 6. Let p be m(-3). Is 5 - -38 - (p - -2 - 1) a multiple of 10?
False
Suppose -7341 = -16*f + 4931. Is 13 a factor of f?
True
Let u = 22 - 22. Suppose u = -3*s - 4*d + 175, 0*s - 2*s + 109 = -5*d. Is s a multiple of 17?
False
Suppose -2*z = -5*n - 7, 2*z + 5*n - 4 - 13 = 0. Suppose z*s - 5*s - 4 = 0. Let y = s - -19. Does 6 divide y?
False
Suppose 2*i = -0*i + h + 14, 2*h = -8. Let u = -1 - -3. Suppose 4*v - i*c - 113 = v, 34 = v + u*c. Is 12 a factor of v?
True
Let s = 2415 + -2387. Is 2 a factor of s?
True
Let z = -19 - -97. Suppose -37*u = -39*u + z. Is 6 a factor of u?
False
Let i(f) = 23*f**2 + 6*f - 5. Let b be i(1). Let l = -17 - -10. Let s = l + b. Is 6 a factor of s?
False
Let h = 339 - 98. Let a = -76 + h. Let w = a - 116. Does 29 divide w?
False
Suppose 3*b + 3*o = -30, 22*o - 15 = 17*o. Suppose 4*m - 10 = -2. Is 222/78 - m/b a multiple of 2?
False
Let v be (2 - (-1 + 1))/1. Suppose 