e of 6?
True
Suppose h - 106 = -2*a, 0*a + a - 75 = 5*h. Is a a multiple of 11?
True
Suppose k - 171 = -h, k - 2*k + 180 = 4*h. Is 14 a factor of k?
True
Let o be 5 + 1 - 2/1. Let x(v) = v**3 - 6*v**2 - 5*v - 7. Let f be x(7). Let m = f - o. Does 3 divide m?
True
Let b(k) = 12*k**2 - 4*k + 1. Does 15 divide b(3)?
False
Let q be ((-3)/(-2))/(12/16). Is q/13 - (-230)/26 a multiple of 9?
True
Suppose 104 = -4*a + 6*a. Let m = 8 + a. Suppose 9*x = 4*x + m. Does 12 divide x?
True
Let w = -18 - -62. Suppose 5*m = 4*p - 86, 4*p - m - w = 34. Is p a multiple of 13?
False
Let b = -3 - -27. Does 8 divide b?
True
Let w(r) be the third derivative of -7*r**4/24 + r**3 - 2*r**2. Is w(-3) a multiple of 15?
False
Let o(y) = 28*y**2 - y. Does 14 divide o(-2)?
False
Let f = -109 - -217. Is 9 a factor of f?
True
Let p = 2 + 15. Suppose p - 93 = -2*f. Is 16 a factor of f?
False
Suppose 4 = -g + 3*q, 2*g = 2*q + 3 + 1. Suppose 0*r - 2*j + 87 = 5*r, 4*r - g*j - 96 = 0. Is r a multiple of 7?
False
Suppose -j - 4*j + 5*t = -1080, 2*t = -4. Does 37 divide j?
False
Suppose 2*c - 1 = c. Let t be 30*-3*c/(-6). Does 12 divide 2*t*(2 - 1)?
False
Suppose -3*f + 45 = 2*y, -y - 30 = -3*f + 2*y. Is f a multiple of 2?
False
Suppose 2*m + 25 = 3*u, u - 4*m - 15 = 2*u. Is 8 a factor of (-1 + (-19)/(-5))*u?
False
Suppose 4*i = -i + 105. Does 5 divide i?
False
Let w be -2*(-7)/(21/6). Suppose w*p - 3*p - 14 = 0. Is 4 a factor of p?
False
Let j be (161/(-14))/(1/(-20)). Let g = j + -144. Does 18 divide g?
False
Let n(b) = -b**2 + 4*b + 2. Let h be n(4). Suppose -2*y - h*y = -16, -4*f + 5*y = -156. Is 22 a factor of f?
True
Let u = -73 + 121. Is 16 a factor of u?
True
Let y(x) = -x**3 + 13*x**2 - 13*x + 15. Let m be y(12). Suppose 315 = 5*v - 3*f, -v - m*f = -3*v + 135. Is v a multiple of 13?
False
Suppose 4*d + c - 19 = 0, d = -c + 1 - 0. Is 6 a factor of d?
True
Let p = 1 + -4. Let v = p + 6. Suppose 0 = v*i - 81 + 9. Does 10 divide i?
False
Let n(f) = 7*f + 1. Let h(i) = 6*i + 1. Let m(w) = -4*h(w) + 3*n(w). Let l be m(-1). Suppose -4*z + 180 = -l*k, z + k - 2*k = 43. Does 13 divide z?
False
Suppose -8 = 4*s, 5*m - 10 = 2*m - s. Let h(t) = 1 - 4*t + 3 + 9*t. Is h(m) a multiple of 17?
False
Suppose -x + 0*x = -2. Suppose 4*y = -4*p + 116, 5*y - 160 = -0*y - x*p. Is 29 a factor of y?
False
Suppose 5*y + 0*y = 545. Let u = -75 + y. Is u a multiple of 9?
False
Suppose 0 = 4*s + 3*m + 33 - 276, -4*s + 245 = 5*m. Does 12 divide s?
True
Let g = 0 - 11. Let j = g - -20. Does 2 divide j?
False
Let x(r) = -3*r**2 - 22*r - 1. Let o(p) = p**2 + 7*p. Let f(d) = 17*o(d) + 6*x(d). Suppose 5*g + 56 = -3*l, 5*g = 4*l - 37 - 5. Is 12 a factor of f(g)?
True
Suppose 4*j = j - 3*f + 24, 3*f = -j + 16. Suppose -j*h = 2*z - 66, 2*z + z + 4*h = 109. Let m = z + -13. Is m a multiple of 15?
True
Let l(u) = u + 1. Let o be l(7). Suppose -3*t = 9, 2*i + t + 0*t - 5 = 0. Suppose -18 = -a + i*z, -z + 5*z + o = 0. Does 5 divide a?
True
Let r = -22 - -41. Let s = r + -7. Is 2 a factor of (6/5)/(s/30)?
False
Suppose -5*h - 38 = -f - 0*f, -4*f - 2*h + 130 = 0. Let x = -8 + f. Suppose -2*i + x = 3*w, -w - 4*i + 1 = -14. Is w a multiple of 7?
True
Suppose -4*x = -x - 6. Does 22 divide 3 - (3 - (46 - x))?
True
Suppose 21 + 9 = q - 3*l, -3*q + 4*l + 110 = 0. Is q a multiple of 16?
False
Is 13 a factor of (4/12*-26)/((-3)/36)?
True
Suppose 0 = -4*h - 2*o + 74, 3*o - 20 - 11 = -2*h. Does 3 divide h?
False
Does 15 divide ((-54)/(-2))/(39/130)?
True
Let j(k) = -k**2 - 18*k + 10. Let h(o) = -o**2 - 19*o + 11. Let t(v) = -3*h(v) + 4*j(v). Does 11 divide t(-13)?
True
Let k(a) = 10 - 4*a**2 - a**2 + 7*a + 3*a**2 + 3*a**2. Is 4 a factor of k(-7)?
False
Let p = -2 + 6. Is 24 a factor of (-14 - p)*21/(-6)?
False
Suppose -3*m + 116 = m. Is 3 a factor of m?
False
Let z(l) = -2*l**2 - 10*l - 6. Let x(i) = -i**2 - 5*i - 3. Let m(f) = 7*x(f) - 3*z(f). Let c be m(-3). Suppose 0 = h - c*h + 24. Does 6 divide h?
True
Let j be 83 - (1 + 2 + -5). Suppose 3*x = -2*y + j, 5*x - y - y = 131. Is x a multiple of 13?
False
Let g(b) = -b**2 - 29*b + 20. Is g(-22) a multiple of 37?
False
Suppose 5*f + 1 - 142 = -4*i, -4 = -4*f. Is 9 a factor of i?
False
Let j(x) = 36*x - 2. Is 14 a factor of j(2)?
True
Let x = 45 + -27. Let w = x - 13. Does 3 divide w?
False
Suppose 2*m + m = 0. Suppose 3 = t - m. Does 2 divide t?
False
Let d = -9 - -11. Suppose -y - d*y = -36. Does 12 divide y?
True
Let f(c) be the third derivative of c**5/30 + 5*c**4/24 + 2*c**3/3 + c**2. Let u = -9 - -6. Does 6 divide f(u)?
False
Let g(j) = -4*j**2 - 4*j**3 - 5*j**2 + 5*j**3 - 2 + 10*j. Suppose 0 = z - 6 - 2. Is g(z) a multiple of 5?
False
Let s = -1 + 4. Suppose s*x - 4*x = -13. Is x a multiple of 12?
False
Let l(t) = -3*t + 16. Let k(v) = v**2 + 7*v - 2. Let r be k(-6). Is 20 a factor of l(r)?
True
Suppose 4*c - 3 = c. Does 15 divide 29*(-2 + c + 2)?
False
Suppose -g - 2*y + 5*y + 9 = 0, -g + 15 = -5*y. Suppose 4*o + 150 = 5*w, -o + 5 - 10 = g. Suppose 0 = 3*p - 80 + w. Does 9 divide p?
True
Let u(y) = -10*y - 37. Is u(-19) a multiple of 17?
True
Suppose 2*q = 3*q - 2*z - 2, 40 = 5*q + 5*z. Suppose q*c - 411 = 129. Is 30 a factor of c?
True
Let z = 20 - 15. Suppose -158 = -z*f + 3*f. Is f a multiple of 13?
False
Suppose 0*k - 152 = 5*j - 2*k, 0 = 3*j + 2*k + 88. Let h = j - -60. Is h a multiple of 10?
True
Let t(p) = -p**2 - 19*p - 4. Let b be t(-17). Suppose -b*j + 35*j - 310 = 0. Is 31 a factor of j?
True
Let t = -3 - -6. Suppose 0 = -2*v + t*x + 81, 2*v = -v + 4*x + 124. Does 16 divide v?
True
Let z = 73 + -38. Does 4 divide z?
False
Suppose a - 4*j = -0*j + 17, 0 = 2*a - 2*j - 16. Let r(q) = 13*q - 7. Let k be r(a). Let g = -29 + k. Is g a multiple of 13?
False
Let w(k) = k**3 + 6*k**2 - 9*k - 1. Is w(-6) a multiple of 7?
False
Let c be 30/4*192/(-9). Is (-2)/5 - c/25 a multiple of 6?
True
Let l(s) = -s**2 + s - 1. Let n(b) = -b**2 + 8*b + 1. Let y(z) = -2*l(z) + n(z). Let t be y(-7). Let m = 35 - t. Does 11 divide m?
False
Suppose 5*q - 75 = 2*q. Suppose -a - q = -6*a. Suppose 2*n - 5*u + 10*u + 3 = 0, 3 = 3*n + a*u. Does 3 divide n?
True
Let t(s) = -8*s**3 + 1. Suppose 2*i - 6*i - 4 = 0. Does 5 divide t(i)?
False
Suppose 0 = 3*k + 5*g - 25, 5*k = -4*g + 3*g + 71. Let d = 38 - k. Is d a multiple of 12?
False
Suppose 0*m + 5 = m + 3*h, 10 = m + 2*h. Let k = m - 12. Is 3 a factor of k?
False
Let q be 3*1/3 + 3. Let x(z) = -q - 4*z + 4*z**2 + 2 - 1 + 1. Is x(4) a multiple of 22?
False
Suppose 0 = d - 15 - 0. Is d a multiple of 15?
True
Let q(w) = 12*w**2 + w**3 - w**3 - 14*w - w**3 + 12. Let a be q(10). Suppose 6*b - 3*b - a = 0. Is 16 a factor of b?
False
Suppose 5*h = -20, 5*f - 2*h - 422 - 386 = 0. Is 40 a factor of f?
True
Let d = -22 - 15. Let a = 57 + d. Is a a multiple of 5?
True
Suppose -20 = -r - 3*r. Is 5 a factor of r?
True
Suppose -1 = 5*o + 14. Let i(k) be the second derivative of -k**5/20 - k**4/6 + k**3/3 + 2*k**2 + k. Is 3 a factor of i(o)?
False
Let i = 7 - -41. Is i a multiple of 24?
True
Let n(m) = 2*m**2 + 7*m + 7. Is 18 a factor of n(-6)?
False
Let y(l) = l + 8. Let n be y(-5). Suppose -n*t = 4 - 10. Suppose -4*u = -3*u - 2*z - 36, -138 = -4*u + t*z. Is 17 a factor of u?
True
Suppose 0 = w - 4. Let h = w + -17. Is -1*(-3)/((-3)/h) a multiple of 13?
True
Let b(q) = q**3 + 1. Let o(c) = -4*c**3 - c**2 - 18. Let d(m) = -3*b(m) - o(m). Is d(0) a multiple of 8?
False
Let s(j) = -j + 1. Suppose z + 18 = -4*l - z, 4*z = -l + 13. Is s(l) a multiple of 3?
False
Let d(z) = -z**3 + 7*z**2 - 4*z + 4. Suppose 6*o + 29 = o + 4*w, 0 = 5*o + 2*w + 23. Let v = o - -10. Is d(v) a multiple of 17?
True
Let s = -161 + 280. Is s a multiple of 17?
True
Suppose -3*v + 12 = 3*h, v = -4*v - h + 12. Suppose -v*b = -b + 20. Does 12 divide (12/10)/((-2)/b)?
True
Does 55 divide 332 - (7 - 3 - 2)?
True
Is 9 a factor of ((-134)/3)/((-32)/48)?
False
Suppose -2*k = -42 - 28. Suppose -2*l + k = 3*x - 16, 4*x = 4. Let u = l + -7. Does 12 divide u?
False
Suppose -r + 60 = -3*r. Is 6 a factor of -9*1/(9/r)?
True
Suppose -5*d = r - d - 223, -2*d - 910 = -4*r. Is r a multiple of 34?
False
Let o(r) = -r**3 + 9*r**2 - 1. Let u be o(9). Is 25 + -3 + 3 + u a multiple of 12?
True
Suppose 4*k - 4*o - 92 = 0, 4*k - 4*o = -k + 119. Suppose k = 4*b - 9. Is 9 a factor of b?
True
Suppose -5*v + 3*