 f be n(-1). Let t be (4/(-6))/(f/285). Suppose k - 5 = t. Does 12 divide k?
True
Suppose 2*a + 0*a + 5*o = -38, 3*o = -2*a - 46. Let p = -17 - a. Is 6 a factor of p?
True
Suppose 0 = -b - 3*b + 40. Let w(o) = -o**2 + 10*o + 5. Does 5 divide w(b)?
True
Let n be (-24)/(-15) - (-4)/10. Suppose 4*u + w = 25 - 10, 0 = u + n*w - 9. Suppose u - 25 = -2*h. Is 11 a factor of h?
True
Does 9 divide -21*2*(-5 - -4)?
False
Let m(w) = 7*w + 4. Does 14 divide m(6)?
False
Is 11 a factor of 4/(-16) - (-2120)/32?
True
Let j(m) = -6*m - 7. Let i be j(-5). Suppose -112 = -3*l + i. Does 15 divide l?
True
Suppose -3*z - z = -32. Let m(g) = 2*g + 9. Let x be m(z). Suppose -2*l - l + 2*n + x = 0, 4*l + n - 26 = 0. Does 3 divide l?
False
Suppose 25 - 81 = -t - 3*a, 5*t - 2*a - 212 = 0. Is 11 a factor of t?
True
Suppose -6*t - 100 = -718. Does 29 divide t?
False
Suppose -m - 20 = -5*d, -3*d = -5*m + 6 + 4. Suppose -b - d = -2*q, -5*q + 1 + 4 = -4*b. Suppose b*t - 5 - 10 = 0. Is t even?
False
Let g = 192 + -59. Is g a multiple of 11?
False
Does 20 divide (96/(-2))/(16/10 - 2)?
True
Suppose 4*d = 9*d - 30. Suppose 19 = 3*o + 5*j, d = o - j - 11. Is o a multiple of 4?
False
Let g = 56 + -30. Is 13 a factor of g?
True
Let w = 12 + -8. Suppose 0 = w*x + x - 20. Does 4 divide x?
True
Let n(u) = -2 - 3*u**2 + 5 + u**3 - 3*u**2 + 2*u. Let j be n(6). Let s = 18 + j. Is 22 a factor of s?
False
Let a be 10/(-50) + 26/5. Let g = -2 + a. Is g even?
False
Let u(x) = x**2 + 8*x + 8. Let y be u(-7). Let j = -4 + y. Let r(f) = -2*f**3 - 2*f**2 + 3*f - 2. Is 10 a factor of r(j)?
False
Suppose -5*y = -0*y + 810. Is 2 a factor of ((-1)/3)/(6/y)?
False
Suppose -22 = a - 9. Let o = a - -22. Is o a multiple of 9?
True
Let a(i) = i**3 - i**2 + 3*i. Let y be -2*9/12*-2. Let r be a(y). Let f = r + -3. Is 12 a factor of f?
True
Let q(c) = -3*c**3 + 8*c**2 - 2*c. Let y(u) = -2*u**3 + 5*u**2 - u. Let w(z) = 5*q(z) - 7*y(z). Is w(3) a multiple of 9?
True
Does 26 divide 1568/20 + (-4)/10?
True
Let t = -19 + 12. Let u be (-7)/t + 5/1. Is 21 a factor of u*(-3)/(9/(-21))?
True
Let n be 2 - (-43 - (1 - -2)). Suppose 0 = -3*w + w + n. Does 6 divide (w/14)/((-4)/(-14))?
True
Let r = -35 + 54. Does 11 divide r?
False
Let g be -3 - 7/((-21)/276). Suppose 0 = 4*p - 5*j - g, 0*j + j = -5. Is p a multiple of 15?
False
Let i = 14 + -8. Suppose -4*w - 4 = 0, i*h = h + 5*w + 15. Suppose -a = h*a - 18. Does 3 divide a?
True
Let b(c) = -99*c - 5. Is b(-1) a multiple of 30?
False
Let p(y) = y**2 + 2. Let q be p(0). Suppose -t - q = t. Does 11 divide 25 + 0 + t + -2?
True
Let m(l) = -45*l - 3. Is m(-1) a multiple of 14?
True
Is 3 a factor of 2/4*54/3?
True
Suppose 2*s = -3*s + 10. Let k be 0*(4 - 2)/s. Is 9 a factor of 4/(12/27) - k?
True
Let y be (-3)/(-6)*(-31 - 1). Let b be (-15)/10*y/(-6). Is (4/3)/(b/(-72)) a multiple of 12?
True
Let y(t) = -12*t**2 + 2*t - 2. Let z be y(2). Let g be (-1)/(-2) + z/(-4). Let w = g + -5. Is w a multiple of 7?
True
Let c be 4 - 14/2*-16. Suppose 0 = -d - 3*d + c. Is d a multiple of 11?
False
Let l(p) = 15*p - 2 - p - 10*p. Let q(i) = -i**3 + 5*i**2 - i - 4. Let c be q(3). Is 21 a factor of l(c)?
True
Let j = 18 + -13. Suppose -3*d = n - j, 2*n + 2*d = -d + 25. Is 11 a factor of n?
False
Let t = -219 + 123. Does 16 divide 10*1/((-20)/t)?
True
Suppose 7 = -5*s - 3. Does 7 divide (-1)/s*(56 - -6)?
False
Suppose 3*z = 3*w + 480, -4*w - 2 = 14. Does 26 divide z?
True
Suppose 0 = 2*z - 0*d + d - 12, 2*z = d + 4. Suppose -14 = -2*y - 4*u, -z*y - 3*u = -7*u - 16. Suppose y*x + 4*v - 58 = 0, v + 2*v = -9. Is 6 a factor of x?
False
Suppose 5*g - 82 = 3*g. Is g a multiple of 10?
False
Suppose -4*s - 5 = y - 24, -4*y = 3*s - 76. Let w(j) = j**3 + 5*j**2 + 6*j + 6. Let p be w(-4). Let m = p + y. Does 8 divide m?
False
Let v be (-1)/3 + 2/6. Suppose -4*u + 40 = -4*r, v*u + r = 2*u - 22. Is 5 a factor of u?
False
Let i = 5 + -2. Suppose -i = 5*g + 2. Is 7 a factor of -1 - (-2 + g) - -12?
True
Let j be -2 - (-2 + -1 + -2). Let p be (30/8)/(j/8). Is 9 a factor of (-126)/(-10) - (-4)/p?
False
Does 5 divide 7/(14/100) - -3?
False
Let o = -18 - -63. Is o a multiple of 45?
True
Let l(s) = s**3 + 6*s**2 - 7*s - 14. Is 14 a factor of l(-6)?
True
Let l = 3 + 46. Suppose 4*m + l = -75. Is 17 a factor of 4*(m/(-4) - -2)?
False
Let x(s) = s**2 + 2*s + 3. Let j be x(-2). Suppose 0 = -v - j*v. Suppose v*m = -4*m + 3*g + 126, 2*m - 64 = g. Is 12 a factor of m?
False
Suppose 0*q - 252 = 4*q. Let h = 193 + q. Suppose -h = -3*p - p - 2*f, 3*p = 4*f + 70. Does 15 divide p?
True
Suppose 16 = 3*g + g. Is g a multiple of 3?
False
Let l(i) = i**3 + 7*i**2 + 3*i + 24. Is 3 a factor of l(-7)?
True
Let l = -8 + 4. Is 6 a factor of 2/l - (-63)/6?
False
Let f = 19 - 1. Is f even?
True
Let h = 105 - 58. Let t = 3 + 0. Is (-4)/(-12) + h/t a multiple of 8?
True
Is 11 a factor of (-2)/((-420)/104 - -4)?
False
Suppose 3*o - 4*m + 39 - 282 = 0, 2*m - 302 = -4*o. Does 8 divide o?
False
Let p = 73 - -11. Does 18 divide p?
False
Suppose -16*x = -19*x + 435. Does 35 divide x?
False
Let o(x) = 6*x - 1. Let u(k) = -k**2 - 25*k + 3. Let z(t) = 9*o(t) + 2*u(t). Let a be z(3). Let i = 29 + a. Is 7 a factor of i?
False
Suppose 0*p + 216 = 4*j + 2*p, j + 2*p - 57 = 0. Is j a multiple of 11?
False
Let x(c) = -15*c - 1 - 6*c - 10*c. Does 14 divide x(-1)?
False
Let a be (-10)/15*1*-6. Is 10 a factor of 1/(a/720*4)?
False
Suppose -5 = -2*z + 3. Suppose 0 = z*n - 16 - 20. Is n a multiple of 8?
False
Suppose j + 345 = 5*p, p + 2*j + 0*j = 80. Let f = -40 + p. Is f a multiple of 14?
False
Let c = -8 + 13. Let v(t) be the second derivative of -t**4/12 + 7*t**3/6 - 2*t. Is v(c) a multiple of 4?
False
Suppose -k = -2*u + 3*u - 75, 2*u = -k + 154. Suppose -2*r + 3 + u = 0. Is r a multiple of 16?
False
Let f be 2 - (180/(-3) - -2). Let u = f - 28. Is u a multiple of 13?
False
Suppose -2*i + 21 = i. Let m = i - 3. Suppose m*s - 99 = s. Does 10 divide s?
False
Suppose 2*f + 2*f + 4*p - 24 = 0, -3*p + 14 = f. Suppose -17 = -3*s + 31. Is 8 a factor of s + 6 + 1*f?
True
Let o(a) be the third derivative of 17*a**5/60 - a**4/24 - a**3/6 - 2*a**2. Is 9 a factor of o(-1)?
False
Let z(t) = t**3 + 6*t**2 - 6*t - 2. Let r be z(-5). Suppose 2*d - 47 - r = 0. Is d a multiple of 19?
False
Let l = 40 + -25. Is 3 a factor of l?
True
Suppose 4*n - 6*o = -4*o, 3*n = 3*o. Suppose 3*z = -4*k, 3*z + k + 9 = -n*k. Is 12 a factor of 48*(-1)/z*2?
True
Let a(s) = 17*s + 5. Is a(4) a multiple of 23?
False
Suppose -3*k = 2*k. Let b = -13 - -16. Suppose k*c + 5*c - b*j = 99, 5*j = 3*c - 69. Does 9 divide c?
True
Suppose -4*g - 16 = -8*g. Suppose 0 = y + 4*w - 17, g*y + w - 62 = 2*y. Is 7 a factor of y?
False
Let h(g) be the second derivative of -g**5/20 - g**4/4 + g**3 + 3*g**2 - 2*g. Let j be h(-4). Let n = j - -5. Is 3 a factor of n?
True
Let g = 42 + -3. Is 7 a factor of g?
False
Is (-10)/(-65) - 1998/(-26) a multiple of 14?
False
Let x = 3 - 3. Let u be 72/(3/(x - -3)). Suppose s + s = u. Is 12 a factor of s?
True
Suppose m - 2*s = 56, 3*m = 5*m + s - 122. Is 5 a factor of m?
True
Suppose 0*g = -g - 2. Is 14 a factor of (4/(-10))/(g/70)?
True
Suppose 0 = 4*f - 63 - 17. Is f a multiple of 14?
False
Let g(v) = v**2 - 2*v + 4. Does 3 divide g(3)?
False
Suppose 2*z - 12 - 12 = 0. Let i(u) = -u**3 + 11*u**2 + 12*u + 9. Is i(z) a multiple of 3?
True
Suppose -3*t = -l - 3*l + 607, 0 = -5*l - 2*t + 776. Is 22 a factor of l?
True
Let c = 66 + -46. Let i = -3 + c. Is 7 a factor of i?
False
Let u(c) = c**3 - 7*c**2 + 9*c - 6. Let f be u(6). Does 4 divide (-1)/6*-9*f?
False
Let t(u) = 37*u - 13. Let x(n) = -18*n + 7. Let c(i) = -6*t(i) - 11*x(i). Is c(-1) a multiple of 25?
True
Let a(p) = -7*p - 1. Is 10 a factor of a(-2)?
False
Suppose 5*q = -3*h + 17, 0 = 3*h + q - 4*q - 57. Is 14 a factor of h?
True
Suppose -v + 0*f = -2*f - 8, f = v - 5. Let r be 3/v*2/(-3). Is (-1 - 0 - 28)/r a multiple of 20?
False
Let t(r) = 69*r + 2. Let g be t(2). Is (-6)/(-9) - g/(-6) a multiple of 8?
True
Let t(o) = 0 + 9*o - 6*o + 1 + 2*o. Is 11 a factor of t(2)?
True
Suppose -5*q = 3 - 188. Is q a multiple of 14?
False
Let c be ((-2)/(2/3))/1. Let j(t) = -t**3 - 2*t**2 - 4*t - 4. Is j(c) a multiple of 9?
False
Suppose 2*p + 588 = 4*p. Suppose 4*d = d + p. Suppose 8 = -5*l + d. Is 9 a factor of l?
True
L