 Does 11 divide b(-5)?
False
Let a(h) = 27*h - 6. Let w(y) = -55*y + 13. Let t(p) = 5*a(p) + 2*w(p). Let x(f) = f - 3. Let q be x(5). Does 16 divide t(q)?
False
Suppose -3*s + 2*a + 1466 = 0, -2*s = -6*s + 4*a + 1948. Does 17 divide s?
False
Is ((-2928)/20)/(12/(-80)) a multiple of 8?
True
Let j be (-4)/22 - 414/(-99). Is (-1)/j + (-819)/(-12) a multiple of 4?
True
Let o be 18/4 - 11/22. Suppose 67 = 4*b + o*f - 449, -5*f = -b + 159. Let c = b - 51. Does 22 divide c?
False
Let o(z) = -z + 6. Suppose -2*w = -4*h - 68, -5*w - h + 158 = h. Suppose -7*r = -3*r + w. Does 2 divide o(r)?
True
Let x be 4/20 + 162/15. Suppose 1 = r + w, -r = -5*w + 4 - x. Suppose 0 = -2*o - 2*h, 2*o + 4*h + 6 = r. Does 2 divide o?
True
Let x(o) = o**3 + o**2 - 12*o + 16. Is x(7) a multiple of 16?
False
Suppose -59 + 5 = -6*r. Let x(d) = 10 + 2*d**2 - 3*d**2 + 9*d + 0*d. Is x(r) a multiple of 10?
True
Let l = 94 + -92. Suppose -r + 150 = -x, 0*r - 3*r + l*x = -454. Is 11 a factor of r?
True
Let p(t) = -t - 5. Let o be p(0). Let v(g) = g**3 - 112*g - 110*g - 4 + 223*g + 7*g**2. Does 32 divide v(o)?
False
Suppose 0 = -2*o - 0*o - 8, 2*l - 5*o = 36. Is 2/l - 795/(-20) a multiple of 20?
True
Let n(h) = 20*h + 10. Let y be n(8). Let d = -70 + y. Is 20 a factor of d?
True
Let u = 533 + -353. Is u a multiple of 20?
True
Let r(v) = v**2 - 6*v + 2. Let s be r(6). Let g = -73 - -74. Does 2 divide g*((6 - s) + 0)?
True
Let f be 4/(-6) - 18/(-27). Suppose 0 = -4*n - f*n + 12. Suppose -n*m - m + 124 = 0. Is 22 a factor of m?
False
Suppose 5*f - f = -3*l + 1030, l = 2. Does 80 divide f?
False
Let s = 23 - 21. Suppose 5*l + 4*y = 1864, 4*l - s*l + y = 748. Suppose 47 - l = -7*z. Is 12 a factor of z?
False
Let w(d) = -6*d**2 - 17*d - 12. Let p(m) = -7*m**2 - 18*m - 12. Let j(a) = -5*p(a) + 6*w(a). Let v(s) = 10*s + 22. Let k be v(-3). Does 20 divide j(k)?
True
Suppose -2*m = 3*m. Suppose -6*v + 154 - 10 = m. Is v a multiple of 15?
False
Let h be 6 + 1/3*(1 - 10). Let n(o) = 13*o + 9. Is n(h) a multiple of 8?
True
Let m(x) = x**3 + 18*x**2 + 11*x - 10. Is m(-16) a multiple of 20?
False
Suppose -4*z - 8 = -3*k, -12*z + 13*z = 2*k - 12. Let o(i) = 13*i - 12. Let a(g) = 9*g - 8. Let w(c) = -7*a(c) + 5*o(c). Is 10 a factor of w(k)?
False
Suppose 91 = -4*l + 99. Let w = -81 - -192. Suppose l*b = -b + w. Does 21 divide b?
False
Let i(z) = -3*z**2 - 5*z. Let h be i(-2). Does 16 divide h - (-49 + -2 + 1)?
True
Let s(a) = -a**2 + 7*a + 6. Let i be s(7). Suppose -i*h + 2400 = -h. Is 19 a factor of h/20 - 2/(-2)?
False
Suppose 314*x - 306*x - 2568 = 0. Is x a multiple of 12?
False
Let z(l) = 6*l + 2. Suppose 4*s - s = 36. Let f(t) = -t**3 + 12*t**2 + t - 10. Let j be f(s). Does 7 divide z(j)?
True
Suppose 2*b + 4*r + 15 = -3, -2*r = -4*b - 6. Let s = 31 + b. Is 142/7 - 8/s a multiple of 8?
False
Suppose -17*f = -3*i - 19*f + 6814, f = i - 2263. Does 108 divide i?
True
Suppose 5*k + 5*v + 8 - 28 = 0, 2*k = -3*v + 12. Does 13 divide (78 + k)*1/2?
True
Suppose 0 = 5*w - w - 20. Let q be ((-2)/w)/((-3)/(-15)). Let b = 38 - q. Is 20 a factor of b?
True
Suppose 2*q + 0 - 2 = -3*u, -u = q + 1. Let t = 15 + u. Suppose 2*s - s = t. Does 6 divide s?
False
Let x(p) = -p - 11. Let u be x(-9). Let z be 4 - (-14 + (-3 - u)). Let h = z - 14. Does 5 divide h?
True
Let l = 32 - 29. Suppose -2*q - 5*u = -22, 3*q = l*u + 35 + 40. Is q a multiple of 21?
True
Suppose 766 = 2*y - 4*z, 3*y = -66*z + 64*z + 1165. Does 3 divide y?
True
Is (11 + 274/(-6))/(2/(-9)) a multiple of 13?
True
Let p(y) = 233*y - 571. Is p(4) a multiple of 6?
False
Let s be (76/8)/((-3)/(-6)). Let f = s + -14. Suppose 104 = -a + f*a. Is 13 a factor of a?
True
Let n = -27 - -27. Suppose -u - 64 = 4*z, n*z - 3*u = 3*z + 57. Does 5 divide (6*1)/((-9)/z)?
True
Let t be 4/6*-1*-3. Let m(z) = -179*z - 412. Let f be m(-3). Suppose t*u - 113 = -3*d, 0*d = 3*d - 4*u - f. Is 13 a factor of d?
True
Suppose -2*v - 18 = 30. Is 16/v + (292/6 - 0) a multiple of 24?
True
Let n(r) = r. Let u(l) = -11*l + 6. Let a = -24 - -23. Let f(x) = a*u(x) - 6*n(x). Is 7 a factor of f(4)?
True
Let m(k) = 57*k - 59*k - 124*k. Let x be m(1). Is (1/(-2))/(1/x) a multiple of 23?
False
Suppose 5*j - 5184 = 2*f + 18622, 0 = 3*j + 4*f - 14268. Is (1/1)/(8*7/j) a multiple of 15?
False
Suppose -9408 = -16*f - 0*f. Is f a multiple of 42?
True
Let u(v) = -3*v - 29. Let p(s) = 2*s + 14. Suppose 4*a + 20 = -3*k, a + 6*k = 3*k - 14. Let w(x) = a*u(x) - 5*p(x). Is 18 a factor of w(-10)?
False
Suppose -192 = 2*c - 2*q, -5*q + 10 = -5. Let n = 28 + c. Is 13 a factor of ((-2)/5)/(1/n)?
True
Let n(i) = -3*i**3 - 14*i**2 - 3*i - 88. Does 12 divide n(-7)?
True
Let l(t) = -2*t**2 - 23. Let c(k) = 4*k**2 + 46. Let d(f) = 3*c(f) + 5*l(f). Is d(0) a multiple of 10?
False
Let q(y) = 6*y**2 - 5*y - 2. Let b be q(5). Suppose 4*h - b = h. Does 6 divide h?
False
Let a = 5886 + -3782. Is 44 a factor of a?
False
Let i be (0 - 1)*65/(2 + 3). Let k(v) = -2*v**2 + 16*v + 15. Let g(w) = -3*w**2 + 15*w + 14. Let c(b) = 3*g(b) - 4*k(b). Is 15 a factor of c(i)?
True
Let n = 361 + -196. Suppose n = -2*v - 159. Let f = 282 + v. Does 40 divide f?
True
Is 63 a factor of 1045 - (3 + -2) - (-8)/2?
False
Suppose -12099 = -4*b - 30*c + 25*c, -3*c = -9. Is 26 a factor of b?
False
Let m be 14/10 - (-6)/10. Suppose -1 = -l + 5. Suppose -m*i = -l*i + 52. Does 5 divide i?
False
Suppose 4*r - r - 3*t + 15 = 0, -r + 3*t = 5. Let m = r - -11. Is (-36)/8*(-4)/m a multiple of 3?
True
Let d(s) = -238*s**2 + 235*s**2 - 3*s**3 + 2*s**3 - 5 + 0*s**3 - 9*s. Does 6 divide d(-4)?
False
Let o(i) = 21 - 12*i + 22 - 53. Is 39 a factor of o(-19)?
False
Let s(o) = -o**2 - 4. Let h be s(0). Let g be (1 - h)*(0 - -1). Suppose -g*k + 140 = -0*k - 4*t, -68 = -2*k + 4*t. Is k a multiple of 13?
False
Let g(k) = -12*k**3 + 3*k + 2. Let n be g(-1). Let f(u) = u**2 + 2*u + 14. Does 10 divide f(n)?
False
Let d = -14 + 14. Suppose d*m + 205 = -m. Is 17 a factor of (-2)/6 + m/(-3)?
True
Is 24 a factor of 1/8 - (-47411)/104?
True
Suppose 2*r - 4 = 3*r, 2*l - 4*r - 48 = 0. Let q = l - 11. Suppose -5*m = a - 19, 6*a - a - 115 = -q*m. Does 24 divide a?
True
Let k(g) = -g**2 + 5*g + 2. Let l be k(5). Suppose -l*c - 6 = -y, 2 = -5*y + 3*y - 3*c. Suppose 5*u - 112 - 31 = -3*s, -58 = -y*u - 2*s. Is 14 a factor of u?
True
Suppose -v = v. Suppose v = u - 4*u + 387. Suppose -l - 2*j = 2*l - 83, 4*l - j = u. Is 26 a factor of l?
False
Let m(d) = d**3 + 10*d**2 - 8*d - 3. Let j = -49 + 99. Suppose j = -r - 4*r. Is m(r) a multiple of 14?
False
Does 4 divide 18/((-3)/36*-9)?
True
Suppose -14*v + 204 = -13*v. Does 34 divide (v/9)/(6/9)?
True
Suppose -6750 = 432*h - 441*h. Is h a multiple of 25?
True
Let y be (-21)/(2 - 5) - 3. Suppose 4*s - 236 = -0*s - 4*z, -z = y*s - 239. Is s a multiple of 10?
True
Is 40 a factor of 44 + (2 - 1) + -5 + 0?
True
Suppose -19 = -4*v - 3*k, v + k + 11 = 4*v. Suppose -16 = v*d, 2*m - m + 8 = -2*d. Suppose s + m*s - 13 = 0. Does 11 divide s?
False
Let y be (0 + (-3 - -4))*-27. Let c = y - -59. Does 20 divide c?
False
Let y(m) = m. Let z(g) = -2*g**2 + 12. Let x(h) = -2*y(h) - 2*z(h). Is x(7) a multiple of 27?
False
Let p(x) be the first derivative of x**5/20 - 5*x**4/24 + x**3/3 - 5*x**2 - 9. Let y(s) be the second derivative of p(s). Is y(4) a multiple of 29?
False
Let u = -1 + 3. Suppose -z + u*p = -5, -4*z - 3*p - 5 + 14 = 0. Suppose -4*a + a = 9, 4*a + 183 = z*d. Is d a multiple of 40?
False
Suppose 0 = 3*n + f - 0 + 2, -3*f = -2*n + 6. Suppose n*c - 20 = -m - c, -3*m + 3*c + 66 = 0. Is 17 a factor of (-9)/m - 572/(-28)?
False
Let q be -9*1*3/(-9). Suppose -s = q*s - 40. Is 2 a factor of (-5)/s + (-5)/(-2)?
True
Let c be -20*2*6/(-8). Let q = 46 - c. Suppose -q*a + 324 = -12*a. Is a a multiple of 27?
True
Let h = -14 + 14. Suppose h = 2*x - 4, x + 60 = 2*l - 0*l. Is 12 a factor of l?
False
Let j(c) = -c**2 - 9*c - 5. Suppose 2 = -3*r - 22. Let w be j(r). Suppose 85 = w*t + 4*p - 57, 2*t = p + 113. Does 27 divide t?
True
Let p(f) = -7*f + 257. Is p(25) a multiple of 31?
False
Let c(w) be the second derivative of 4*w**3/3 - 8*w**2 + 4*w. Is c(6) a multiple of 8?
True
Let u = -28 - -35. Suppose 3*k = 5*b - u - 68, -b - 3*k + 15 = 0. Does 3 divide b?
True
Let c = -25 + 48. Let u = c + 70. Is 31 a factor of u?
True
Let b be -100*(-2 - (-1