?
False
Let r = 55 + -18. Is r a multiple of 9?
False
Let c = -10 + -37. Let r be 4 + -6 + (2 - c). Let i = r + 10. Is 15 a factor of i?
False
Let n = 83 - 41. Is (4/(-3))/((-7)/n) a multiple of 2?
True
Let p be (4/8 + -3)*30. Let b = -5 - p. Does 20 divide b?
False
Suppose 5*v = 3*g - 377, 3*v - 126 = 5*g - 765. Does 32 divide g?
False
Suppose -4*g + 5*h = -313, g + 0*g - 94 = -4*h. Suppose -2*i + 14 = -g. Is i a multiple of 19?
False
Suppose -7*i - i + 192 = 0. Does 3 divide i?
True
Suppose -3*n = 3*f - 78, -4*f + 7 = 2*n - 107. Let r = f - 1. Does 15 divide r?
True
Suppose y - 6*g + 16 = -g, 5*y = 4*g + 4. Suppose 4*k - 2*d = 28, 2*d = -y*k + 9 + 3. Suppose 20 = k*r, -3*r = 3*w + w - 60. Does 4 divide w?
True
Does 7 divide (-2)/2*(-28)/2?
True
Is 33 a factor of 4 + (-130)/35 + (-460)/(-7)?
True
Suppose -2*r - 5 = -3*r. Suppose r*n - 142 = 2*a, 2*n - 3*a - 115 = -2*n. Let l = n - 20. Is l a multiple of 3?
False
Let o(z) be the first derivative of z**4/4 + 7*z**3/3 + 5*z**2/2 - 2*z + 3. Is o(-5) a multiple of 19?
False
Let z = 8 + -9. Let c(h) = -4*h**3 + 1. Is c(z) a multiple of 5?
True
Let q = 44 + -22. Is q a multiple of 22?
True
Suppose 2*b + b - 15 = 0. Let j be (2/(-6))/(b/(-330)). Does 2 divide j/4 - 9/6?
True
Suppose h - 4 = 4*d + 5, 0 = d + 3. Is 13 a factor of (1/h)/(3/(-351))?
True
Let x(n) = n + 1. Let r be x(1). Suppose -6*d + 4*d = -20. Let o = r + d. Is o a multiple of 5?
False
Suppose -4*a - 4*f + 120 = 0, -a - 4*f = -2 - 16. Does 4 divide a?
False
Let a(m) = m**3 - 11*m**2 - 2*m + 7*m - 3 - 1 - 4. Let t be a(11). Let z = t + -31. Is 8 a factor of z?
True
Let f(k) = 0 + k - 2 - 3 + 1 + k**2. Is 13 a factor of f(5)?
True
Let d(k) = -3*k**2 - 10*k - 20. Let m(r) = -r**2 - 3*r - 7. Let h(z) = 2*d(z) - 7*m(z). Let w(u) = u**3 + u**2 - u + 2. Let o be w(-2). Is 9 a factor of h(o)?
True
Suppose 3*u - 86 = 2*b - 5, -4*b = -2*u + 62. Let p = -34 - -45. Suppose -3*t + p + u = 0. Does 12 divide t?
True
Let s(p) = -6 + 2*p + p + 3*p. Suppose -2*f - 2*f + 24 = -2*x, 3*x = -4*f + 4. Is 8 a factor of s(f)?
False
Let c(j) = j**2 - 5*j - 6. Is c(10) a multiple of 8?
False
Let t(z) = -z**2 - 4*z. Suppose -2*m - 2*m = 5*q - 13, 2*m = -4*q + 2. Let h(o) = o**3 - 6*o**2 - 6*o - 10. Let i be h(m). Is 3 a factor of t(i)?
True
Let q(m) = m**3 + 3*m**2 + 3*m - 1. Is 16 a factor of q(3)?
False
Suppose 2*a - 3*p - 9 = 7*a, 5*p = 4*a - 15. Suppose a*s - 2*s = -100. Suppose -i + s = 4*i. Is 10 a factor of i?
True
Let k be 4*(-62)/(-4) + 1. Let l = k + -34. Is l a multiple of 29?
True
Let z be 15/1*(-9 + 8). Let s = 23 + z. Does 8 divide s?
True
Suppose 0*s = 3*s - 9. Does 7 divide (s/2)/((-2)/(-24))?
False
Suppose 0 = 2*a - 3*p + 24, -8 = -4*p + 8. Let u = 6 + a. Suppose -2*v = -0*v + 2*z - 118, -4*v + 5*z + 218 = u. Is v a multiple of 17?
False
Suppose -4*s + 9 + 311 = 0. Is s a multiple of 16?
True
Suppose 9*x - 71 = -3*n + 4*x, -3*n - 3*x = -75. Suppose -q = -0*q - n. Does 9 divide q?
True
Let y(g) = g**3 - 5*g**2 - 3*g - 8. Let n be y(6). Let v = -6 + n. Suppose 5*z - 2*f = 40, v*z - 3*f - 8 = 3*z. Does 6 divide z?
False
Let n(i) = -i. Let l be n(4). Let f = 2 + l. Is 11 a factor of 9 - (-1 + f + 0)?
False
Is (-1)/2*-4*16 a multiple of 5?
False
Let m(v) = 3*v - 2. Suppose -20 = 3*q - 7*q. Is m(q) a multiple of 8?
False
Let d(q) = 2*q - 6. Let g(z) = -z. Let m(r) = r. Let w be m(6). Let x(b) = w*g(b) + d(b). Does 10 divide x(-4)?
True
Suppose 30 = -3*s + 4*s. Let r = s - 13. Does 5 divide r?
False
Suppose -y - 5 = -4*f, 4*f - f + 3*y + 15 = 0. Suppose -n - 2*m = -f*n - 26, -2*m - 18 = -n. Is 10 a factor of n?
False
Is (-3 - -12) + 0/1 a multiple of 9?
True
Let f(b) = -b**3 + 12*b**2 + 5*b - 20. Is 13 a factor of f(12)?
False
Suppose 2*f + 17 = 101. Is f a multiple of 16?
False
Let a = -111 + 151. Does 18 divide a?
False
Suppose 39 - 135 = 2*h. Let f = 87 + h. Suppose -2*c - c = -f. Is c a multiple of 4?
False
Let d(z) = 2*z**2 + 5*z - 4. Let k be d(-4). Suppose -5*c - 5*a = -30, -a + 36 = 4*c - 0*a. Let w = c + k. Does 10 divide w?
False
Let g(p) = -p + 13. Let y be 10*(-2)/(-4)*1. Suppose 4*r - 2*r + 8 = -4*t, -y*t - 10 = -r. Is g(r) a multiple of 13?
True
Let y(s) = -53*s - 2. Let n be y(-4). Suppose 3*i = 8*i - n. Is i a multiple of 14?
True
Let t(d) = 3*d - 2. Let o be t(2). Suppose 92 = o*w - 0*w. Suppose 2*u - w = 29. Is u a multiple of 13?
True
Let i be (-45)/6*(-2)/3. Let q(l) = 2*l - 7. Let o be q(i). Does 14 divide 167/6 - o/(-18)?
True
Suppose -4*v = 4*t + 2 + 6, 0 = 4*t - 3*v + 1. Is 2 a factor of 2*t/(-2) + 4?
False
Let m(q) = 2*q**2 - 4*q + 11. Does 7 divide m(5)?
False
Let r(d) be the second derivative of d**3/3 + 30*d**2 - 5*d. Does 12 divide r(0)?
True
Suppose 3*i + 8 = -1. Let z be i/(1*(-1)/17). Let k = z + -24. Is 13 a factor of k?
False
Suppose -5*f + 3*s + 157 = 0, 3*s - 6 = -f + 29. Suppose -38 = -6*a + 4*a. Let k = f + a. Does 19 divide k?
False
Suppose -5*r = -2*r + 162. Let o(m) = 14*m - 2. Let y be o(-2). Let k = y - r. Is k a multiple of 11?
False
Let q(k) = -14*k - 1. Let r = 0 + -2. Is 9 a factor of q(r)?
True
Let o = 1 + -3. Let d(k) = k**2 - k + 1. Does 7 divide d(o)?
True
Let s(n) be the third derivative of 7*n**4/24 - n**3/2 + 3*n**2. Is 6 a factor of s(3)?
True
Let p(a) = -6*a + 11. Is 15 a factor of p(-6)?
False
Suppose -6 = 5*t + 4. Is 13 a factor of ((-39)/(-2))/(t/(-4))?
True
Let u = -10 + 14. Suppose 2*s - 46 = 3*d - 5*d, u*s = -5*d + 95. Is 10 a factor of s?
True
Suppose a - 2*k - 9 = -2, 4*a - 4*k - 36 = 0. Is (-976)/(-44) - 2/a a multiple of 15?
False
Suppose -30 = -0*s + 3*s. Let z = s - -48. Is z a multiple of 9?
False
Let m be (-5)/(-35) - (-1426)/14. Suppose -14*a - m = -15*a. Does 17 divide a?
True
Suppose 6*x = 4*x + 10. Suppose p - x*p = -88. Is p a multiple of 11?
True
Let d(q) = -14*q**3 - 1 - q**2 + 2 - 6*q**3 + 0*q**2. Does 10 divide d(-1)?
True
Suppose 0 = m - 33 - 44. Is 11 a factor of m?
True
Suppose -5*y - 172 = -4*w, 2*w + 2*y = -0*w + 86. Does 21 divide w?
False
Suppose -7 = -2*z - 0*x + x, -z = 2*x - 6. Let b be (1/(-3))/(2/(-282)). Suppose 8*o - z*o + 40 = 4*f, 2*o = 5*f - b. Is 7 a factor of f?
False
Let m(r) = r**2 + 8*r + 1. Is 17 a factor of m(-11)?
True
Let h(a) = -a**3 + 6*a**2 - a + 2. Does 9 divide h(5)?
False
Let s(r) = 6*r - 24. Is 7 a factor of s(10)?
False
Suppose 3*k - 84 = 219. Is 15 a factor of k?
False
Suppose 14 = y + 5. Suppose 0 = 5*b - 11 - y. Does 4 divide b?
True
Suppose -c + 3*a = -103, -4*a = -2*c + 3*c - 82. Does 27 divide c?
False
Suppose -2*j - 3*d - d + 44 = 0, 0 = -j - 5*d + 19. Is 24 a factor of j?
True
Let j = 84 + -56. Let m = j - 19. Is m a multiple of 9?
True
Let z(n) = -3*n + 1 + 33*n**2 - n + 3*n - n. Is 16 a factor of z(1)?
True
Let p(d) = -3*d - 41. Suppose -3*u - 2*v = -21, u - 3*v = 2 - 6. Let z(y) = y + 20. Let l(j) = u*z(j) + 2*p(j). Is l(0) a multiple of 14?
False
Let v(c) = 41*c + 5. Suppose 0 = 3*p - 0*z - 2*z - 31, 2*z + 10 = 0. Let n be v(p). Suppose -4*t - 84 = y - n, 104 = 2*t + y. Is t a multiple of 21?
False
Let z be 0 - (-2)/6*-3. Let q(i) = 24*i**2 + 2*i + 1. Does 13 divide q(z)?
False
Let a(o) = -o + 5. Let d be a(-7). Let f = d - -4. Does 4 divide f?
True
Suppose -3*w - 5*t - 140 = -6*w, -5*t - 185 = -4*w. Does 15 divide w?
True
Let g = 3 + -1. Suppose -2*p = -5*t - 37, 0*t + t + 9 = g*p. Let h(y) = y**3 + 8*y**2 + 6*y + 1. Is 8 a factor of h(t)?
True
Suppose -2*f - 4*r + 10 = -2*r, -4*r = f - 11. Let g be f/(-2)*56/6. Is ((-49)/g)/((-2)/(-12)) a multiple of 15?
False
Let p be 2*-1 + (-4 - -63). Suppose 4*m - p = -3*c, 2*c + 3*c - 2*m - 95 = 0. Suppose 0 = h - 2*t - c, -h + 2*t + t + 23 = 0. Does 5 divide h?
False
Let k(h) be the first derivative of 3*h**2/2 + 3*h + 1. Is 7 a factor of k(3)?
False
Suppose -5*k + 24 + 11 = 0. Is 21 a factor of (k - -14)*(1 + 0)?
True
Let t(u) = -u**3 + 9*u**2 - u + 7. Let y = 20 - 12. Is 20 a factor of t(y)?
False
Suppose 0 = -3*q - 0*d - d + 470, 5*d = 3*q - 440. Is q a multiple of 31?
True
Suppose 4*y = -3*y + 1764. Does 18 divide y?
True
Suppose 3*u - 181 - 131 = 0. Let c = u + -70. Is 17 a factor of c?
True
Let h(z) = -4*z**2 - 3*z - 2. Let n be h(-2). Let v = n + 44. Is 13 a factor of v?
False
Suppose 0 = 5*t - 121 - 179. Does 15 divide t?
True
Let x(o) = 5*o**2 + o. Let g be x(-1). Suppose -5*