e n?
False
Let k be 2/(-6) - (-6)/18. Suppose 3*u - 4*u + 7 = k. Let j(r) = -r**3 + 7*r**2 + r + 5. Is j(u) a multiple of 12?
True
Let a(t) = -5*t - 4 - 4 + 0. Is a(-4) a multiple of 7?
False
Let d(q) = q**3 + 8*q**2 + 8*q + 8. Let m be d(-7). Suppose 5 + m = -2*r. Is 16 a factor of (-36)/(-15)*(-20)/r?
True
Suppose -a + 5*t + 116 = 0, 7*t - 3*t = -16. Let p = a + -43. Does 10 divide p?
False
Let m be 144/28 - 1/7. Suppose m*a = -a + 84. Is a a multiple of 7?
True
Let g(z) = -z**3 - 4*z**2 + 6*z + 2. Let y be g(-5). Is 11 a factor of 11 + y + 2 + 1?
True
Suppose 12*l - 15*l = -93. Is 9 a factor of l?
False
Let t(l) = l**2 - 20*l + 34. Is 38 a factor of t(26)?
True
Let b be 1/(-4) - 27/4. Let q = b + 47. Is q a multiple of 17?
False
Suppose 5*b - 192 = 403. Is b a multiple of 17?
True
Suppose -z - 4 = 0, 0 = 2*b - 3*z - 12 - 16. Is 7 a factor of b?
False
Suppose -5*g = -2*g - 84. Does 10 divide g?
False
Let w(d) = d**2 - 4. Let q be w(2). Suppose q*l + y - 91 = -4*l, 0 = 5*l + 5*y - 125. Is 7 a factor of l?
False
Let t(l) = 2*l**2. Let v be t(1). Let h(n) be the second derivative of 3*n**5/20 - n**4/6 - n**3/2 + 3*n**2/2 - n. Is 13 a factor of h(v)?
True
Let r be 3/4*(-1 + 13). Let x(p) = -6*p - 10. Let t(h) = -5*h - 9. Let w(n) = 7*t(n) - 6*x(n). Is 6 a factor of w(r)?
True
Suppose -60 = -0*g - 5*g. Does 10 divide g?
False
Let m = 136 - 73. Does 9 divide m?
True
Suppose 18 = 2*b + 5*x, -5*b + 48 = -b + 4*x. Suppose 0 = 3*w - 4 - b. Is w a multiple of 3?
True
Let f = 40 + -13. Is f a multiple of 10?
False
Let q be 0*(0 + 1) - 21. Does 8 divide (-1 - q)*48/40?
True
Suppose 2*s + s = 9. Let j be (-3)/(-2) + s/6. Suppose 3*g = -4*k + 36, j*g - 7 = -2*k + 5*k. Is g a multiple of 4?
True
Suppose -3*d = -73 - 107. Is d a multiple of 30?
True
Let p be 1211/(-28) + 1/4. Let r = p - -112. Is 23 a factor of r?
True
Let h(m) = -2*m**3 + 11*m + m**3 + 3 + 9*m**2 - 8*m. Is h(9) a multiple of 9?
False
Suppose -3*k + 2*l = -182, -2*l + 0*l - 302 = -5*k. Is 11 a factor of k?
False
Suppose -3*s + 15 = 2*s. Suppose -5*j = -s*f - 3*j - 167, -162 = 3*f - 3*j. Let a = f - -96. Does 15 divide a?
False
Suppose 0 = -37*p + 43*p - 708. Is 8 a factor of p?
False
Let z(t) = -10*t**3 - t**2 + 1. Is z(-1) a multiple of 10?
True
Let d(c) = 5*c**2 - 9*c - 23. Let l(o) = -2*o**2 + 4*o + 12. Let z(t) = 3*d(t) + 7*l(t). Let x = 9 - 9. Does 10 divide z(x)?
False
Let z = 3 - 3. Suppose -g + 4*l - l + 12 = z, -2*g + l = -39. Suppose 4*w = 109 - g. Is 11 a factor of w?
True
Suppose 5*j = -34 - 186. Let f be -3 + (0 + 1)*1. Is 3/(82/j - f) a multiple of 8?
False
Suppose -4*g - m = -28 + 6, -4*m - 2 = -2*g. Suppose -2*i = -g*i + 9, -4*i = -2*z + 26. Is 16 a factor of (3 - 1)/(2/z)?
False
Let y be (-7)/3 + 2/6. Let x be y*9/6 - -1. Is 11 a factor of -1 + 18*x/(-3)?
True
Suppose 2*q = 4*q - 68. Suppose -4*m = -5*m + q. Is m a multiple of 34?
True
Let v = 18 - 1. Does 11 divide v?
False
Suppose 0*v = -2*b - 2*v + 18, 4*b - 5*v = 0. Is b a multiple of 2?
False
Let w be (-30)/(-7) + (-2)/7. Suppose 0*q = -5*q - w*s + 30, -3*s = 4*q - 24. Is 5 a factor of q?
False
Let m(k) = k**3 + k**2 - 4. Let t be m(2). Let y(r) = 3*r - 20. Is y(t) a multiple of 4?
True
Let q = -78 + 147. Is 5 a factor of q?
False
Let p be 6/(-9)*18/(-4). Suppose 2*h - 210 = -p*h. Is h a multiple of 17?
False
Let c = 15 - 9. Let a = c - -8. Is 14 a factor of a?
True
Let p = 38 - -15. Is 11 a factor of p?
False
Let q = -1 - -4. Suppose -2*v + 0*v - 14 = -q*b, 20 = -4*v + 2*b. Let x(t) = -6*t - 6. Is x(v) a multiple of 9?
True
Let x be 99 + 1/(0 + 1). Suppose x + 116 = 4*s. Is 13 a factor of s?
False
Let l = 0 - -9. Is 2 a factor of l?
False
Is ((-33)/(-4))/(6/88) a multiple of 18?
False
Suppose -14*w - 153 = -17*w. Is w a multiple of 17?
True
Let d = 11 + -5. Let r(b) = -b**3. Let a(y) = -3*y**3 - 6*y**2 - 2*y + 4. Let c(s) = -a(s) + 4*r(s). Is 4 a factor of c(d)?
True
Let f(t) = -8*t**3 + 2*t + 1. Let n be f(-1). Suppose -p = 16 - 109. Suppose 4*g = n*g - p. Does 14 divide g?
False
Suppose -2*b - 3 = -3*b - o, 5*o + 20 = 0. Let z = b + -4. Is 2 a factor of z?
False
Let c be (-2 - -24)/(-2)*-11. Suppose 2*r - 58 = -2*q - 0*r, 0 = -4*q + r + c. Is q a multiple of 18?
False
Let f(r) = 19*r + 4. Let z be f(-3). Let n = -27 - z. Is 22 a factor of n?
False
Let y = 234 + -222. Is y a multiple of 3?
True
Suppose 6*y = 3*y - 4*f + 280, 4*y = 5*f + 363. Is 10 a factor of y?
False
Let g be (-4 - -8)*(-14)/(-8). Is 435/21 + 2/g a multiple of 9?
False
Let g(s) = 2*s**2 + 4*s - 4. Is 31 a factor of g(4)?
False
Let c(o) = -4*o + 6. Let b be c(-5). Let x = 9 + b. Is x a multiple of 9?
False
Let t = 91 - 47. Does 9 divide t?
False
Let a(j) = -23*j + 2. Let l be a(-3). Suppose 5*m + l = 346. Is 10 a factor of m?
False
Let p(o) = -o**2 + 4*o + 7. Let b be p(5). Let j = 6 - b. Suppose -3*l = 5*u - 29, 7*u = 3*u + j. Is 4 a factor of l?
True
Let m(o) = -o**2 - 6*o + 4. Let p be m(-6). Suppose -4*c + 5*w = -c - 55, 0 = -3*c - p*w + 64. Does 20 divide c?
True
Suppose 0 = -8*f + 7*f + 4. Does 5 divide (-366)/(-24) - 1/f?
True
Let c = -8 + 14. Let q be -2 - (-2*c + 0). Let y = -4 + q. Is 3 a factor of y?
True
Let y(f) = -f**3 + 6*f**2 + 7*f - 1. Let h be y(7). Let u = h + 1. Suppose u*x - 190 = -5*x. Is x a multiple of 11?
False
Does 5 divide -36*((-8)/6 + 1)?
False
Suppose 98 = 5*v - 2. Does 10 divide v?
True
Suppose -5*f + 22 = -68. Is f a multiple of 6?
True
Suppose -3 = 2*d - 27. Suppose 3*f + d = 0, -4*s + f - 5*f + 68 = 0. Does 11 divide (-6)/s - 170/(-7)?
False
Let j(b) = 2*b + 14. Is j(15) a multiple of 19?
False
Let q(t) = 2*t**2 - 4*t + 4. Let k be (8/5)/((-6)/(-15)). Does 20 divide q(k)?
True
Let v(f) = 2*f**2 - 5*f - 3. Let s(m) = -2*m**2 - 4*m - 2. Let j be s(-3). Let d be v(j). Suppose 0*w + 5*w - d = 0. Is 21 a factor of w?
False
Suppose k = -2*k - 3*s + 165, 3*k + 2*s - 165 = 0. Is k a multiple of 5?
True
Suppose 0 = -l + 5*z + 3, 2*l - 3*z + 6 = -2. Is 19 a factor of l*(-1*6 + 2)?
False
Suppose 0*j + 4*j = -2*h + 30, 15 = 3*j. Let k(d) = d**3 - d**2 + 6. Let i be k(0). Is 6 a factor of (-3 - (2 - h)) + i?
True
Let k(t) = t**3 + 10*t**2 + 9*t + 10. Let n(m) = -m**3 - 9. Let a = -1 + 1. Let x be n(a). Is 5 a factor of k(x)?
True
Let p = -13 + 26. Suppose 4*j - 3*w = 77, -5*w + 32 + p = 2*j. Does 20 divide j?
True
Let v(w) = 3*w - 2. Let n be v(2). Suppose -3*i = -5*g - 29, -1 = n*i - 5*g - 33. Is 14 a factor of 60/i + (-1 - -1)?
False
Let r(u) = -u**3 - 6*u**2 + 23. Is r(-7) a multiple of 9?
True
Suppose 0 = 2*r - 4*x - 134, -2*r - 5*x + 106 = -2*x. Let g be (-364)/(-7)*(-6)/(-8). Let k = r - g. Does 11 divide k?
False
Let r be (-3)/(-2) + 2037/14. Suppose 0 = -2*m - n - 4*n + 98, -n = -3*m + r. Does 11 divide m?
False
Is (-22)/(-121) - (-966)/11 a multiple of 11?
True
Does 17 divide 3 - (5 - 2 - 3 - 131)?
False
Let n(a) = 2*a**2 + 3*a - 3. Suppose -5*b + 2*k + 27 = 0, -3*k = 2*b - 5*k - 12. Suppose 5*o - b = 5. Is 7 a factor of n(o)?
False
Let o = -7 + 10. Suppose -15 = -2*a - o*a - 3*g, 2*g = 0. Suppose -8 = n - 4*f - 49, -a*n + f + 112 = 0. Is 23 a factor of n?
False
Suppose 0 = -5*l + 5*x - 10, 2*l - 3*x + 10 = 2. Suppose -2*j = 3*n, l*j + 2*n = -0*n. Suppose -u + 45 = -3*o, -4*u + j*o - o = -141. Is u a multiple of 18?
True
Let w be ((-9)/12)/((-2)/16). Let p(y) = -y**2 + 6*y + 12. Is p(w) a multiple of 12?
True
Let c = 142 - 84. Let p = c + -34. Is p a multiple of 12?
True
Let z(m) = -m**3 - 7*m**2 + m + 7. Let r be z(-7). Suppose r = -2*g + 6*g - 84. Is 11 a factor of g?
False
Let s(d) = -d**2 + 7*d + 1. Let j be s(7). Does 3 divide (2 + 2)/j - 0?
False
Suppose 1512 = 4*p + 5*p. Is p a multiple of 12?
True
Let k = 7 + -3. Suppose -k*m = m + 45. Is 3 a factor of (-1)/(((-6)/m)/(-2))?
True
Let r(d) = -2*d + 6. Is 6 a factor of r(-6)?
True
Let n be (8/16)/((-1)/(-4)). Suppose 5*k = 5*h + 50, -4*k + n*h = -h - 35. Is k a multiple of 5?
True
Let z(i) = -i - 1. Let k(j) = -7*j + 2. Let c(m) = k(m) - 6*z(m). Is c(-12) a multiple of 20?
True
Let q(p) = p**2 + 9*p + 8. Suppose 3*z - 36 = -r, -5*r + 132 - 37 = -2*z. Suppose 2*b = -y - 2 - 1, -2*b - r = 3*y. Does 5 divide q(y)?
False
Suppose 65 = j - 46. Is 11 a factor of j?
False
Let d be -2*1/(-1)*2. Suppose 10 - 4 = -2*g, -d*g + 288 = 4*m. Is m a multiple of 25?
True
Let a(h)