s + 4*q - 51 = s. Let l(o) = -2*o**2 + 7*o + 10. Let u be l(s). Is 13 a factor of (-3)/((-75)/u + -2)?
True
Let y(o) = -o**3 - 13*o**2 + 13*o - 7. Let s be y(-14). Does 10 divide 4/14 + 824/s?
False
Let z = -104 - -221. Is 15 a factor of z?
False
Let a(v) = 37*v + 156. Is a(49) a multiple of 11?
True
Let s(v) = -10*v + 1. Let q(j) = -20*j + 2. Let f(w) = -4*q(w) + 9*s(w). Let p = 8 - 9. Does 11 divide f(p)?
True
Let s(w) = 19*w**2 - 15*w - 19. Does 91 divide s(7)?
False
Suppose i - 2*g - 23 = 0, 0*g + 2*g - 53 = -3*i. Suppose -2*k + 37 = 5*z + 2*k, 5*z - 2*k = i. Let a = z - -10. Does 9 divide a?
False
Suppose 5*y = -5*a + 31 + 9, a + 4 = y. Is y a multiple of 2?
True
Suppose -6*m + 10*m = 0. Suppose m = 14*w - 16*w + 70. Does 6 divide w?
False
Let n = 622 + -501. Is n a multiple of 11?
True
Let m(y) = -y**3 - 53*y**2 + 157*y - 16. Does 89 divide m(-57)?
False
Suppose 0*f - 4 = -2*f + 2*a, 5*a = -f + 2. Suppose 3*r - 5*g - 357 = -g, -f*g = -5*r + 609. Is r a multiple of 41?
True
Let x(i) = 70*i**2 + 125*i - 4. Is 25 a factor of x(7)?
False
Let x be (-1)/((-4)/16) - -1. Suppose -182 + 12 = -x*j. Is 17 a factor of j?
True
Let n be (-6)/(-54) - (-34)/18. Does 4 divide n + (-2)/(-1 + (-6)/(-8))?
False
Let g = -33 + 12. Let p be 2 + -2 + 1*39. Let h = g + p. Is 9 a factor of h?
True
Let s = -580 + 410. Let d = -50 - s. Is d a multiple of 20?
True
Is (-2353)/(-7) + (-110)/35 + 3 a multiple of 28?
True
Does 48 divide 962 + -1 - (-15 + 18)/3?
True
Let q(d) = -3*d - 1. Suppose -3*x = -2*t + 41, 0 = 2*x - 2*t - 4 + 34. Is q(x) a multiple of 8?
True
Let r be (-15)/12*2*(-3 - -1). Is 20 a factor of 1*442/r - 22/55?
False
Is 54 - (-5 + 4 - 1) a multiple of 7?
True
Let c = -75 + 69. Let t(z) = 2*z**2 + 11*z + 15. Is 3 a factor of t(c)?
True
Suppose 4*b + 38*c = 37*c + 213, 2*c = 3*b - 146. Does 10 divide b?
False
Suppose -3*i + 140 = -y, -4*i + 3*y + 1 = -179. Let g be (-1)/((-3)/i*2). Is g/(-6)*405/(-30) a multiple of 5?
False
Suppose -21*t = -9*t - 2076. Does 8 divide t?
False
Let u be 132/8*(-5 - -3). Let m = 169 + u. Is 32 a factor of m?
False
Suppose 0 = c + 4*t - 31 - 69, 4*c = -t + 340. Is c a multiple of 16?
False
Suppose 37*w - 61662 = -20962. Is w a multiple of 44?
True
Let w be (-1)/2 + 66/12. Suppose -q + 17 - 4 = -5*l, 0 = w*l - 5. Is q a multiple of 3?
True
Suppose 573*q = 578*q - 2295. Is q a multiple of 3?
True
Let v(y) be the second derivative of -y**5/20 + 4*y**4/3 - y**3/3 + 12*y**2 - 4*y. Let b be v(16). Let g = 11 + b. Does 3 divide g?
True
Let d be 1/(0 + 1) - -1. Suppose 400 = d*i - 0*i. Suppose 0 = 7*q - 2*q - i. Is q a multiple of 22?
False
Let k = 908 - 746. Is k a multiple of 54?
True
Let n be -1 + -68*(-3)/6. Suppose -y + n = 6. Let j = -12 + y. Is j a multiple of 5?
True
Let k = 139 - 28. Let z = k + -71. Is 3 a factor of z/4 + 3/(-1)?
False
Let d(k) = 20*k - 222. Is d(33) a multiple of 6?
True
Let r = 756 - 644. Is 7 a factor of r?
True
Let i = 338 + -208. Let g be 1/(4 + (-116)/20 + 2). Suppose 3*u - 110 = -3*h - 38, 5*u - g*h - i = 0. Is u a multiple of 6?
False
Let o = 293 + 37. Does 27 divide o?
False
Let f(c) = 435*c**2 + 8*c - 7. Does 21 divide f(1)?
False
Suppose 28268 = -40*v + 87388. Is v a multiple of 17?
False
Suppose -3*q + 0*w - w + 22 = 0, 2*q - 4*w = 10. Suppose -q*p = -110 - 23. Is p a multiple of 9?
False
Let h = 2330 - 1264. Does 19 divide h?
False
Let t(a) = 22*a. Let d be t(1). Let s be d/(-5)*(-1 - 4). Is 17 a factor of ((-99)/s)/((-1)/10)?
False
Let g(t) = 7*t**2 - 3*t - 20. Suppose -5*a + 0 = -q + 28, -2*a - 13 = -q. Let z(k) = 4*k**2 - k - 10. Let o(h) = q*g(h) - 5*z(h). Does 8 divide o(8)?
False
Suppose 0 = 4*q + 2*k - 36, 2*q = k - 0*k + 18. Suppose 0 = -a - 2*a + q, -61 = -i - a. Let n = i + -20. Is n a multiple of 18?
False
Let a(b) = -b**3 + 2*b**2 + 10*b + 4. Suppose 0*o = -4*o - 16. Is a(o) a multiple of 20?
True
Let u = 12 + -8. Suppose 157 - 425 = -u*f. Does 8 divide f?
False
Let h(p) = p**3 - 5*p**2 - 14*p + 10. Let r be h(10). Let u be 2 - 2/((-4)/r). Suppose -4*l + 6*g = 3*g - 249, -3*l + 2*g = -u. Is 9 a factor of l?
True
Suppose -2*u - 6 = -5*u. Suppose u*b + 0*b = -44. Let g = b - -90. Is g a multiple of 17?
True
Let f = 1439 - 837. Is 43 a factor of f?
True
Let o = -29 - -17. Let d = 15 + o. Is 30 a factor of ((-27)/(-2))/(d/20)?
True
Let m(i) = i**2 - 5*i. Let q be (-86)/(-14) + (-1)/7. Let v be m(q). Let d = v - -14. Is 5 a factor of d?
True
Suppose 2*t - 5*t = -2*c - 106, 5*t + 265 = -5*c. Let a = 150 - c. Is 14 a factor of a?
False
Let v = -33 + 121. Let i = 8 + v. Does 30 divide i?
False
Suppose -1558 = -2*h - 4*l, -56*l = 4*h - 55*l - 3144. Is h a multiple of 7?
False
Suppose 0 = -h - 24*q + 28*q + 1644, 8125 = 5*h - q. Is 7 a factor of h?
True
Let p(k) = 3*k + 2. Let a be p(-1). Let r be -3 + -1 + a + 2. Does 20 divide 6*(0 + (-20)/r)?
True
Let k(r) = r + 488. Let t(q) = -3*q - 975. Let m(u) = 5*k(u) + 2*t(u). Let v be m(0). Suppose 6*p = v + 98. Does 14 divide p?
True
Let w = -159 - -495. Is 22 a factor of w?
False
Does 74 divide -9*(24/(-3) - 214)?
True
Let d = -44 - -62. Is 6 a factor of (6/(-4))/(d/(-96))?
False
Let p(f) = f. Let m be p(6). Suppose -5*r = -m*r + 48. Is 16 a factor of r?
True
Let n(b) be the third derivative of b**5/20 + b**4/6 + b**3/2 + 22*b**2. Is 15 a factor of n(-9)?
True
Let v = -3 - 1. Is (-12)/((-12)/v) - -52 a multiple of 6?
True
Suppose 2*p = 3*p + i - 60, -3*i = 12. Suppose 2*b + 5*o - p = 3*o, 115 = 5*b - 4*o. Suppose 2*a + 33 = 4*v - b, 4*v + a = 60. Does 3 divide v?
True
Suppose 11637 = -85*k + 55072. Does 10 divide k?
False
Suppose 0*m = m + 5, 4*m + 272 = 4*g. Suppose 2*k - 51 = g. Is k + (1 + 0 - 0) a multiple of 20?
False
Let d(h) = 19*h**2 - h + 2. Does 73 divide d(-3)?
False
Let o(d) = 16*d. Let c(b) = 8 + b**2 - 8. Let a be c(-2). Is o(a) a multiple of 26?
False
Let q be (-13)/(-3) + (-72)/54. Let p(a) be the first derivative of a**4/4 + 4*a**3/3 + a**2/2 - 3*a + 2. Does 22 divide p(q)?
False
Suppose -4*m + 954 = -2*d, 2*m = 2*d + 316 + 158. Is m a multiple of 30?
True
Let a = -28 - -17. Let i = 11 + a. Suppose -3*z - 2*z + 95 = i. Is z a multiple of 11?
False
Suppose 2*t + 5*n = 1, -4*t - 2*n = 4 - 14. Let s = t - -29. Is 32 a factor of s?
True
Let c(r) = 3*r**2 - 4*r + 3. Let n be c(1). Suppose -n*a - 11*a + 520 = 0. Does 6 divide a?
False
Let u = 0 - -86. Is u a multiple of 12?
False
Let w be -6 + 3 + 2 + 5. Suppose -3*n + n + 26 = w*c, 4*n - 3*c = 96. Is n a multiple of 9?
False
Let m = 803 + -671. Is 3 a factor of m?
True
Let g(k) = k**3 + 11*k**2 - 15*k - 9. Suppose 4*z + 52 = 4*b, 2*z - 3*b + 15 = z. Let j be g(z). Let v = j - 15. Does 4 divide v?
True
Suppose h + 4*r + 29 = 0, -4*h - r + 82 = -8*h. Let l = 5 - h. Suppose 2*y - 50 - l = 0. Is y a multiple of 19?
True
Let r = -76 + 165. Suppose r = 2*z - 99. Is z a multiple of 22?
False
Let r(j) = 10*j**2 - 2. Let s be -1*(0 - 4 - -2). Let g be r(s). Let o = -20 + g. Is o a multiple of 6?
True
Let y(s) = -s**2 - 11*s + 20. Let i = -8 - 4. Is 3 a factor of y(i)?
False
Let j(n) = n + 42. Let g be (44/(-12) + 4)*0. Let p be j(g). Suppose 3*s + 3*x = -p + 111, 4*x = 0. Does 12 divide s?
False
Let x = 10 - 25. Let s = x - -16. Suppose -s = -4*v + 15. Is 2 a factor of v?
True
Suppose 2*t - 2*m - 994 = -326, 4*m + 16 = 0. Suppose 15 = -g + 6*g. Suppose t = 4*h - 2*w, 5*h - g*w = 302 + 113. Does 20 divide h?
True
Let j = -121 - -643. Is j a multiple of 31?
False
Let c(t) be the first derivative of -2 + 0*t + 9/2*t**2. Does 20 divide c(4)?
False
Let j(u) = u**2 - 15*u - 1. Let i be 18/9*13/2. Let k be j(i). Let l = k + 59. Does 7 divide l?
False
Let b(g) = -27*g - 385 - 2*g**2 - g + 367. Is b(-12) a multiple of 6?
True
Suppose -2575 - 2513 = -24*f. Does 10 divide f?
False
Let a(n) = 12*n**2. Let k be a(1). Let h(g) = -g**2 + 1. Let d(l) = -4*l**2 + 6*l + 20. Let p(t) = -d(t) + 3*h(t). Is 11 a factor of p(k)?
True
Let u = -41 - -52. Suppose 81*h - u = 80*h. Does 11 divide h?
True
Does 20 divide 1*-270*(-7 - (-20)/4)?
True
Let k = 142 + 66. Is k a multiple of 75?
False
Let q(o) be the second derivative of o**5/20 + o**4/12 - o**3/3 + 3*o. Let h be q(-2). Suppose 5*z + 132 = 4*i, 5*z - 210 = -5*i - h*i. Is 8 a factor of i?
False
Suppose 4*k + 0*c - 240 = 4*c, -k + 3*c + 58 = 0. Suppose -k = -