2*d, -4*d - 9 = 2*v - 1. Let a = 18 - v. Is 5 a factor of a?
False
Let b = -63 + 89. Suppose 0 = -t + 9 + b. Is t a multiple of 7?
True
Let h = -176 + 616. Is 40 a factor of h?
True
Let q be (10 - 1) + 2 - -1. Suppose -9*i = -q*i. Is 9 a factor of i/(-2) + (32 - 5)?
True
Suppose -5*m + 3*j = 166, 0 = -4*m - 2*j + 3*j - 130. Let w = m + 22. Is 23/2*(-8 - w) a multiple of 4?
False
Is 12 a factor of 78810/90 - (-4)/12?
True
Let b = -740 + 1075. Does 18 divide b?
False
Suppose 2*k = -5*l - 0*l + 25, 5*l - 40 = -5*k. Suppose 0 = -z + 5*r - 7, 5*z = k*r - 1 + 6. Suppose 5*m + 2*n - 45 = n, z*n = m + 7. Is 8 a factor of m?
True
Let c = 11 + -2. Suppose 2*r - c = -3. Is 7 a factor of 7/(0 + r/9)?
True
Suppose -180 = 7*p + 128. Let w = 139 - 66. Let f = p + w. Is f a multiple of 7?
False
Let p(a) = -a**2 + 16*a + 2. Let s be p(16). Suppose -s*w + 63 - 3 = 0. Is 15 a factor of w?
True
Let y be 3*(2 - (-44)/(-6)). Let i = y - -28. Suppose -i = -4*w - 0. Is 2 a factor of w?
False
Suppose 0 = -3*v + 5*c + 406, 3 = -c - 2. Suppose v = -16*s + 735. Is s a multiple of 2?
True
Let p = -5 + 14. Let g = p + 14. Let y = 69 - g. Is 22 a factor of y?
False
Let w(v) = 157*v**3 - 2*v**2 - v + 2. Is 13 a factor of w(1)?
True
Let f(t) = 21*t + 4. Let q(w) = 41*w + 7. Let m(d) = -11*f(d) + 6*q(d). Let r(j) = j**2 - 9*j + 10. Let p be r(8). Is 14 a factor of m(p)?
True
Let j be (1 - -1)/2 + -1. Suppose -153 = -o - 2*f, -5*f + 6 + 9 = j. Does 26 divide o?
False
Let j(i) = -i**2 - 14*i + 20. Let d be j(-14). Suppose -d = b + 4*b. Let m = 41 + b. Does 7 divide m?
False
Let q = -33 - -56. Let o(b) = -2*b**2 + 47*b + 10. Is 11 a factor of o(q)?
True
Let w = -158 + 603. Is 39 a factor of w?
False
Let g = 1444 + -602. Is 27 a factor of g?
False
Suppose -8 = 2*t - 2*g, 4*g + 0 + 2 = -2*t. Is t/(-5) - 210/(-25) a multiple of 2?
False
Suppose -3*s - 3 = 6. Is 13 a factor of 832/12 + (-2)/s?
False
Let c(m) = -60*m - 28*m - 20*m - 2 - 18*m. Let y be c(-3). Is 10 a factor of y/10 - 4/(-10)?
False
Suppose 8*x - 175 = 3*x. Let z be (-7)/(x/10) - 11. Let d = 22 + z. Does 6 divide d?
False
Suppose 3 + 9 = 3*z, 5*o = -2*z + 428. Suppose -28*j - o = -25*j. Does 24 divide j/(-3)*(-54)/(-21)?
True
Let x be (6/(-4))/((-3)/10). Suppose -8*s + 1050 = -3*s + x*u, -4*s = -4*u - 832. Is s a multiple of 36?
False
Suppose 9*w - 4*w - 440 = -3*a, 0 = a + 5*w - 140. Does 25 divide a?
True
Let f(t) = 172*t - 12. Is f(1) a multiple of 5?
True
Let j(m) = 147*m + 38. Does 52 divide j(3)?
False
Let f be 10/45 + (1 - (-274)/(-18)). Let w(v) = -6*v - 2. Is 7 a factor of w(f)?
False
Let u = -416 + 776. Is u a multiple of 8?
True
Suppose 28*f + 590 = 33*f - 4*v, -v + 354 = 3*f. Is 9 a factor of f?
False
Let x(h) = -h + 17. Let r be x(9). Let c be -334*(28/r)/7. Let w = c + 246. Is 25 a factor of w?
False
Suppose 455*l - 463*l = -6048. Does 54 divide l?
True
Let p(l) = 5*l**3 - 2*l**2 - 2. Suppose 0 = 4*y - 3*c - 11, 3*y - 9 = -y + c. Suppose -s = y*s - 6. Is 22 a factor of p(s)?
False
Suppose 5*c + 236 = d, -2*d + 4*d + 5*c = 517. Let w = d + -81. Is 10 a factor of w?
True
Suppose -2*h = -2*t + 50, -2*h - 2*t = 2*h + 94. Is 16 a factor of (-4)/h + (-383)/(-6)?
True
Let j(o) be the first derivative of -o**4/4 + 9*o**2/2 - 8*o - 9. Let y be j(5). Is 2/(-1) + y/(-2) a multiple of 14?
True
Let c(z) = -3*z**2 + 11*z - 10. Let h(k) = -7*k**2 + 23*k - 21. Let j(o) = 9*c(o) - 4*h(o). Does 2 divide j(-8)?
True
Let m(a) = 6*a**3 + 8*a**2 - 5*a - 25. Is 25 a factor of m(5)?
True
Let s(z) = z**3. Let p be s(-1). Let c = 1 + p. Suppose 3*n = 5*v + n - 210, 5*v - 4*n - 220 = c. Does 16 divide v?
False
Suppose 6*l = 4*l + 10. Suppose l*h - h = 20. Suppose 0 = -h*k + 9*k - 116. Is k a multiple of 16?
False
Let a = 38 - 38. Let m(p) = -p**3 + 8*p**2 + 4*p - 6. Let k be m(8). Is (-1 - -2 - a) + k a multiple of 12?
False
Let d(c) = 3*c - 14. Let p be d(-2). Let f(y) = -2*y - 25. Does 4 divide f(p)?
False
Let r(k) = -3*k**2 + 26*k - 6. Is r(6) a multiple of 7?
True
Let f(z) = -19*z - 1. Let l be f(1). Let t be 4 + 6/(24/l). Does 17 divide 2 - (-1)/t - -42?
False
Suppose 181 + 29 = 6*d. Is d a multiple of 5?
True
Suppose a + 22 - 11 = 0. Let r = 1 - a. Is 9 a factor of r?
False
Suppose -3*o + 2*i = -5*o - 2, -10 = 2*o + 4*i. Does 34 divide o*(-103)/(-3) + -1?
True
Suppose -3*x - 41 = -4*s, 3*x = -2*s - 2*x + 53. Let b = 21 - s. Let c(y) = y**3 - 7*y**2 + 5*y - 5. Is c(b) a multiple of 15?
True
Let m(u) = 13*u + 62. Does 21 divide m(10)?
False
Suppose -8*u = -6*u - 20. Let f = 27 - u. Does 17 divide f?
True
Let t(r) = r**3 - 8*r**2 - r + 6. Let f be t(8). Let i(h) = 4*h**2 - 5*h - 5. Is i(f) a multiple of 3?
True
Let k = 700 + -440. Is 20 a factor of k?
True
Let h(t) be the first derivative of -t**3/3 - 9*t**2 + 24*t - 1. Does 17 divide h(-18)?
False
Suppose -6*d + 25 = -d - 2*l, l = -5. Suppose 4*j + 480 = 4*b, -b + 122 = -0*b - d*j. Is 22 a factor of b?
False
Let l = -14 + 24. Let u be (78/(-5))/((-18)/45). Suppose l = 7*n - u. Is n a multiple of 2?
False
Let p = -7 + 8. Let d(k) = 4*k + 3 + 2*k**2 - p - 1 + 0. Is d(-4) a multiple of 17?
True
Let z = -43 - -44. Suppose 0 = -q + r + z + 10, -3*r + 3 = 3*q. Is q a multiple of 3?
True
Let d(x) = x**3 + 20*x**2 + 2*x + 40. Let g be d(-20). Suppose 11*n - 9*n - 120 = g. Is 13 a factor of n?
False
Let l(k) = -3*k**3 - 2*k**2 + 6*k - 4. Let u be l(4). Let t = u - -136. Let x = t + 123. Does 15 divide x?
False
Let l(o) = -o + 5. Let x be l(0). Let s(t) = 2*t - 7. Let u be s(x). Let w = 0 + u. Does 2 divide w?
False
Let y = -9764 - -13745. Does 67 divide y?
False
Suppose 14*q = 33*q - 16169. Does 17 divide q?
False
Let y(j) = 15*j + 15. Let o be y(7). Let f = o - 42. Is 26 a factor of f?
True
Let y(r) = -9*r - 13. Let i(n) = 19*n + 27. Let s(w) = -2*i(w) - 5*y(w). Let g be s(8). Let l = -41 + g. Is l a multiple of 13?
True
Let y = -16 + 32. Is y a multiple of 9?
False
Let q = 989 + -544. Is 25 a factor of q?
False
Let c = 15 - 15. Suppose -2*a + 4*f = -f - 205, c = 2*f - 10. Does 10 divide a?
False
Let m = -39 + 65. Let q = m - -38. Is q a multiple of 8?
True
Let q = -289 - -446. Is 3 a factor of q?
False
Suppose 1528 = 2*j + f, -2*f + 4498 = 5*j + 677. Does 3 divide j?
True
Suppose 0 = -0*m - 5*m - 1520. Let w = -171 - m. Does 19 divide w?
True
Let r(q) = q**2 - 42*q - 5. Is r(-15) a multiple of 66?
False
Suppose 4 = d - 1. Suppose 19 = -d*g + 84. Suppose 2*l + 25 = 5*q, 5*q = 3*l + g + 7. Is 4 a factor of q?
False
Let o(f) = -54*f + 46. Is o(-17) a multiple of 13?
False
Is 3 a factor of (14 + 1)*(-300)/(-250)?
True
Suppose -2*a + 3*p = -1, 5*p + 25 = -5*a + 7*p. Let b = -5 - a. Is (b + -6)/((-2)/8) a multiple of 16?
True
Suppose t - 1 = -y - 4, -2*t + 8 = 0. Let w = y + 10. Suppose 121 = 4*v + 2*c - w*c, -2*v + 5*c = -83. Is v a multiple of 24?
False
Suppose 7*s - 2*s - 1458 = -2*d, 0 = 3*d + 3. Is 73 a factor of s?
True
Does 19 divide (-19)/((187/308)/(-17))?
True
Let d = -354 + 504. Does 15 divide d?
True
Suppose -4*w = 44 - 164. Is w a multiple of 24?
False
Let s be (-8)/(-8)*(3 + -44). Suppose -112 = -2*r - 4*v, -4*v + 5*v = -1. Let d = s + r. Is d a multiple of 17?
True
Let j = 65 - 44. Suppose 2*a = 4*z - 22, a + 3*z + j = 7*z. Let h = a - -55. Is 21 a factor of h?
False
Let a(c) = -44*c**3 - c**2 + c. Let n be a(1). Is 33 a factor of (n/16)/((-2)/48)?
True
Let q = -4056 + 7206. Does 42 divide q?
True
Suppose 6*v = 4*v + 4*z + 10, 0 = v - 4*z - 7. Suppose -5*s = -10*s + 4*g + 286, v*s - 170 = 2*g. Is s a multiple of 6?
True
Is 16 a factor of (-18)/126 - (-25287)/21?
False
Let j be (18/2)/(-5 - 85/(-20)). Is 1092/20 + j/(-30) a multiple of 15?
False
Suppose 2*t - 4*s = -68, s + 116 = -3*t - 0*s. Let n = -22 - t. Does 16 divide n?
True
Suppose -4*p - 50 = -m, -2*m - 4*p + 11 = -29. Suppose 18*r - m = 13*r. Is r even?
True
Let d(f) be the first derivative of -f**4/4 + 8*f**3/3 + 5*f**2 - f - 75. Let q(y) = 5*y - 1. Let z be q(2). Is 8 a factor of d(z)?
True
Let k(l) = 5*l**2 + 25*l - 21. Is k(-10) a multiple of 27?
False
Suppose p - 2*x = 2, -2*p + 2 + 2 = -2*x. Suppose -3*d - 5*r + 16 = 0, p = 3*r - 2*r. Is 15 a factor of 3 + -4 + 33 - d?
True
Suppose 4*n = -8, -4*b - 3*n = -2*b - 54. Is b a multiple of 5?
True
Suppose i = -2*w + 1102, 1106 = 2*w + 14*i - 11*i. Is 50 a factor o