t m = -27 + 51. Does 12 divide m?
True
Is 24 a factor of (-18)/21*322/(-2)?
False
Let r be -1*6/(-4)*2. Suppose 2*h + 8 = 4*p, -3*h = -r*p + h - 4. Suppose 3*a - p*a = -13. Is a a multiple of 13?
True
Suppose -5*a + 2 = -13. Does 12 divide (50/a)/((-6)/(-9))?
False
Is 5/(-1)*(-84)/15 a multiple of 6?
False
Let x(w) = w**2 - 6*w - 5. Let h be x(6). Suppose 0*f - 5*f + 45 = 0. Let j = f - h. Does 14 divide j?
True
Let u(x) = -x**2 + 9*x - 8. Let w be u(8). Suppose 5*c - 16 - 49 = w. Is c a multiple of 3?
False
Suppose -2*f = -2*y - 56, -f - y + 16 = -4. Does 15 divide f?
False
Let w(f) = 2*f**2 + 11*f + 11. Let y(a) = -a**3 + 5*a**2 - 7*a + 4. Let m be y(4). Let t be w(m). Is (t/6)/((-2)/(-4)) a multiple of 10?
False
Suppose 2*z = -0*z - 4*c - 22, -3 = -2*z + c. Let m = z - -5. Is 2 a factor of m?
True
Let f(m) = m + 3. Let h(u) = -6*u - 16. Let j(v) = 11*f(v) + 2*h(v). Let n be j(-7). Does 7 divide (21/(-12))/((-1)/n)?
True
Suppose -3*b + 28 = b. Is 19 - (b + -3)/4 a multiple of 18?
True
Let t(c) = c**2 + 10*c - 9. Let f be t(-10). Does 7 divide f/6*(-168)/18?
True
Let q = 8 + 9. Suppose q = h + 59. Is 4 a factor of (h/(-18))/((-1)/(-3))?
False
Let l be (-1)/(1 + -2) + 3. Suppose 4*g - v = 49, -g - l*v - 52 = -5*g. Suppose -g = -3*x + 6. Does 4 divide x?
False
Let l(x) = x + 1. Let m be l(8). Does 4 divide (-8)/(-3)*m/3?
True
Suppose 2*z - 32 = -2*f, -2*f = 5 - 15. Does 10 divide z?
False
Let m(v) = 4*v**2 + v - 1. Let h(w) = -w**2 - w + 1. Let r(q) = 2*h(q) + m(q). Does 4 divide r(2)?
False
Let z(k) = k**2 + 6 + 2 + 0*k - 3 - 6*k. Is z(9) a multiple of 16?
True
Let f be 2/7 + (-5)/(-7). Let c be (2 - (3 - f))/2. Suppose -u - 2*u + 144 = -3*m, -5*u + 2*m + 240 = c. Is u a multiple of 17?
False
Suppose 0 = -5*i + 3*m + 12 - 89, -i + m - 15 = 0. Let k = i + 8. Let s = -1 - k. Is 3 a factor of s?
False
Let p(d) be the second derivative of -d**3/3 + 5*d**2/2 + d. Let m be p(5). Let k = 1 - m. Is k a multiple of 2?
True
Let f(w) = w**2 + 2*w - 1. Let b be f(-3). Suppose 132 = b*v + v. Is v a multiple of 10?
False
Let s(y) = -67*y - 16. Does 21 divide s(-4)?
True
Let s(n) = -n**3 + 5*n**2 + 8*n - 6. Let d be s(6). Suppose -d*c + 2 = b - 3*c, -c + 41 = 4*b. Let w(z) = -z**2 + 13*z - 11. Does 5 divide w(b)?
False
Let n = 2 + 0. Suppose -y = -5*y - 3*t, n*y - t = 10. Suppose -y*m = 2*m - 45. Does 9 divide m?
True
Suppose -3*d + 9 = -9. Let u be d/(-2)*12/9. Is (-18)/(-5)*(-10)/u a multiple of 4?
False
Let m(n) = n - 8. Let o be m(12). Suppose o*j + 4*z - 121 = 5*z, 5*z - 62 = -3*j. Is 17 a factor of j?
False
Let g(m) = -m**2 - 19*m + 41. Does 7 divide g(-20)?
True
Suppose 0 = -3*b - 2*o + 16 + 341, 230 = 2*b + 4*o. Does 11 divide b?
True
Suppose 5*z - 3*z - 16 = 0. Does 5 divide z?
False
Suppose 0 = 3*c - 2*u - 10, -4*c = -c - 4*u - 2. Is (-2)/c + 220/12 a multiple of 9?
True
Is 4 + ((141 - -4) + 4)*1 a multiple of 17?
True
Suppose 0 = 4*q - q - 15. Suppose l = -4*c + 144, 0*c - 17 = -c - q*l. Does 20 divide c?
False
Let q = -10 + 6. Is 18 a factor of (22/(-4) + 1)*q?
True
Suppose 1 = m + 2*f, 2*f = m - 24 + 7. Is 6*(m/3 + 1) a multiple of 12?
True
Let q = 15 + -18. Suppose 0 = 4*c - 5*y - 14, -4 = -2*c + y + 3*y. Let m = c + q. Does 2 divide m?
False
Let p be 1 + -1 - (2 - 2). Let w be 0 - 5*(1 - 2). Suppose w*o - 14 = -5*m + 6, -o + 4*m + 9 = p. Is 5 a factor of o?
True
Let w be ((-1)/(-1))/(-1) - -1. Suppose -5 = -b - w*b. Suppose -2*x - b*l + 78 = 0, 0 = 3*x - 2*l + 3*l - 91. Is x a multiple of 10?
False
Let j(l) = -10 - l + 4*l - l. Let s be j(7). Is 4 a factor of (-1)/(-4) - (-35)/s?
False
Suppose 3 = -2*l + 3*l. Suppose -4*h - w = 80, -4*h - 20 = -3*h - l*w. Is 9 a factor of ((-2)/1 - h)/2?
True
Let w(t) = t**2 + 7*t + 5. Let m be w(-6). Is (-2)/(2/m) + 43 a multiple of 22?
True
Is (1016/24)/((-2)/3 + 1) a multiple of 16?
False
Let k(m) = 25*m**2 + 7*m - 16. Is k(3) a multiple of 10?
True
Let p(x) be the first derivative of 17*x**3/3 + x**2/2 - 5. Is p(1) a multiple of 18?
True
Let p(w) = w**3 + w**2 - 2*w. Is p(3) a multiple of 5?
True
Suppose 2 = -4*l + 22. Suppose l*a = a. Let i = 21 + a. Is i a multiple of 17?
False
Let o be -9 + -13 + 4/2. Does 16 divide (36/(-5))/(3/o)?
True
Let o be (-5)/(-5) + 3 + -2. Suppose 2*w - o - 36 = 0. Is 6 a factor of w?
False
Let h(k) = 14*k + 6. Is 29 a factor of h(4)?
False
Let g(m) = m - 3. Suppose -4*p + 0*o = -2*o + 6, -6 = 5*p - 2*o. Suppose -5*j + 13 + 17 = p. Does 3 divide g(j)?
True
Let x = -3 - -6. Suppose x*a - 5 = 1. Suppose y + 35 = 2*t, -2*t - 2*y + 58 = a*t. Does 8 divide t?
True
Suppose 2*y = -y. Suppose -2*r - n + 32 = y, -2*r + 0*n + 4*n = -22. Is 7 a factor of r?
False
Suppose 5*y + 4*t - 44 = 0, -t - 33 = 5*y - 89. Suppose 2*o - y = 54. Is o a multiple of 11?
True
Suppose -4 = 2*i - 2*o, -o = 5*i - 5*o + 6. Let f(w) = w**3 - w**2 + 2*w - 2. Is f(i) a multiple of 6?
True
Let o(x) = x**3 - 12*x**2 - 14*x + 17. Let l be o(13). Is 4 a factor of ((-2)/l)/(1/(-16))?
True
Suppose 2*h - 2*x - 17 = 25, -2*h = -5*x - 54. Let a = 15 + h. Suppose i - a = -3*i. Is i a multiple of 4?
True
Let x be ((-33)/12)/(3/12). Let c = 6 - x. Does 6 divide c?
False
Let q = 9 + -5. Suppose 0*l + q*w = -2*l + 24, -28 = -2*l - 5*w. Suppose 4*z = -3*h + 5*h + 68, -l*h - 8 = 0. Does 11 divide z?
False
Let z be 24/11 + 2/(-11). Let x(j) = j**3 - 3*j**2 + 2*j + 2. Let t be x(z). Suppose 5*o = t*b - 37, -3*b = 2*b + o - 52. Does 11 divide b?
True
Suppose 4*o - 105 - 59 = 0. Let k(g) = 5*g**2 - 1. Let d be k(-1). Is 5 a factor of (-2)/8 + o/d?
True
Let q(o) = 4*o**3 - 5*o**2 + 6*o + 5. Let z(k) = -k**3 - k - 1. Let l(b) = -q(b) - 3*z(b). Is 5 a factor of l(3)?
False
Suppose 0 = -2*n + 44 + 72. Is n a multiple of 13?
False
Suppose -3*h - 2*v = -7*v + 12, 5*v - 11 = 4*h. Let m(l) = 3*l. Let o be m(h). Is o/1*33/9 a multiple of 4?
False
Let z = 57 - -11. Let s = z + -31. Is s a multiple of 24?
False
Let o(p) = 3*p**3 + p + 1. Let s be o(-1). Does 22 divide s*11*8/(-12)?
True
Let v = -77 + 215. Let k be ((-120)/(-25))/((-4)/70). Let f = k + v. Is 15 a factor of f?
False
Let d = -50 + 79. Suppose -2*k - 12 = -4*c + 2*k, 5*k + 3 = 2*c. Suppose 4*o - 15 - 13 = -2*z, -c*z + d = 5*o. Is 9 a factor of o?
True
Let g(k) = 47*k - 2. Is 9 a factor of g(1)?
True
Let a(i) = 3*i + 3. Let p(y) = 1. Let s(f) = 2*a(f) - 14*p(f). Let g = 12 + -5. Is s(g) a multiple of 17?
True
Does 9 divide -1 + 5 - 740/(-10)?
False
Suppose -o + 5*o + 52 = 5*h, -3*o - 8 = 4*h. Suppose 2*u - 4*u = 12. Does 6 divide (o + -1)/(u/4)?
True
Let x = 13 + -6. Suppose 4*b - 3*b = x. Does 3 divide b?
False
Suppose 2*z = -4*b - 40, -2*b + 6*b + 5*z = -40. Let v(p) = p**2 + 0*p + 6*p + p + 9. Does 18 divide v(b)?
False
Suppose -1 = -5*k + 5*u + 14, 0 = -3*u. Does 15 divide (-1 + k)*204/24?
False
Suppose l = -r - r - 2, 0 = 2*r + 4. Suppose -19 + 63 = l*t. Is 17 a factor of t?
False
Let c(p) = 4*p - 3. Let n be c(3). Let k = n - -12. Is 7 a factor of k - ((-1 - -3) + -2)?
True
Let v = -69 + 97. Is 7 a factor of v?
True
Let r(s) = s**3 + 2*s**2 - s - 1. Let u be r(-2). Let n(b) = 3*b**3 + 2*b - 1. Let p be n(u). Suppose -3*h + 2*t = -33, -5*h - 28 + 105 = p*t. Does 13 divide h?
True
Suppose 2*o = -0 - 18. Let u = 14 + o. Suppose -u*y = -113 - 7. Does 14 divide y?
False
Let f(q) = q**3 - 7*q**2 + 6*q + 3. Let a be f(6). Let y = 7 + 15. Suppose a = j - y. Is j a multiple of 11?
False
Let o(g) = -g**2 - 13*g + 8. Does 10 divide o(-11)?
True
Suppose -p - 5*r = -r - 70, -4*p - 5*r + 225 = 0. Does 26 divide p?
False
Suppose -4*z + 3*z - 8 = 0. Let p be (-658)/z - (-3)/4. Let v = p + -54. Is 10 a factor of v?
False
Suppose -2*y + 69 = w, 5*y - w = -5*w + 174. Does 17 divide y?
True
Let b(m) be the second derivative of 5*m**4/6 + m**3/6 + m**2/2 + 3*m. Let o be b(-1). Is 13 a factor of o/(-15)*141/(-2)?
False
Suppose -5*g + 125 = 5*j, 2*g - 5*j + 13 = 3*g. Is 4 a factor of g?
True
Suppose c - 2*b = 7, -3*c = -0*b - b - 6. Let l = 17 + c. Does 6 divide l?
True
Let f = 13 + -6. Let u = f + 12. Is 19 a factor of u?
True
Let k(p) = p**2 + 4*p + 4. Let u be k(-4). Suppose -2*f + 9 = 3*y, -u*f + f = 3*y - 15. Does 3 divide f?
True
Suppose 3*d + 10 + 5 = 0. Let b(n) = n**3 + 2*n**2 - 10*n - 3. Let t(s) = -s**3 - s**2 + 11*s + 3. Let v(f) = 3*b(f) + 2*t(f). Does 12 divide v(d)?
True
Let v