*3 + 10*r**2 + r + 2. Let h(c) = 20*c**3 - 29*c**2 - 3*c - 5. Let y(m) = -17*d(m) - 6*h(m). Is y(-4) a multiple of 24?
True
Let u be 44/6 - 23/69. Suppose u*y = 5*y + 60. Is y a multiple of 6?
True
Suppose 0 = -2*p - 2, x + 26*p = 23*p + 1195. Is x a multiple of 30?
False
Let d = -52 + 88. Let u be d/(-10) + (-12)/(-20). Does 16 divide (39 - 4) + u*1?
True
Let z = -292 - -169. Let j = 299 + z. Does 22 divide j?
True
Let s(c) = -c**3 + 9*c**2 - 10*c. Let b be s(5). Suppose 51*d = b*d + 105. Does 4 divide d?
False
Suppose -3*o + 5*n = -15, 5*o + 4 = -3*n - 5. Is (44 - o)*((-34)/(-8) - 0) a multiple of 21?
False
Suppose 0 = -10*u + 12*u + 3*a - 1544, -4*u = -5*a - 3110. Is 25 a factor of u?
True
Suppose 0 = -4*v + 1027 + 373. Does 4 divide v?
False
Let a(w) = -3*w**2 + 10*w - 14. Let i be a(6). Let b = i + 111. Is 8 a factor of b?
False
Suppose 5*s + 529 = 4*a, -3*a - 2*a + s = -656. Suppose 7*q + a = -23. Is 9 a factor of (-11)/q*(0 + 108)?
True
Let d(u) = -3*u - 14. Suppose 0 = 4*o + 2*s + 52, -o = -2*o + 3*s - 20. Let p be d(o). Suppose w = g - 16, 2*g - w - p = 3*w. Does 11 divide g?
False
Let i = -112 - -1894. Is i a multiple of 22?
True
Let f(v) = 17*v**2 + v + 2. Let g be f(-3). Suppose -5*o + g = -3*o. Suppose -d - 3*d + o = 5*z, -z + d + 8 = 0. Is z a multiple of 4?
True
Suppose -2*s + 74 = q + 2*q, -2*s = 4. Let g = 12 + q. Is 19 a factor of g?
True
Let b = 675 - 430. Is b a multiple of 35?
True
Suppose 0 = -5*u - 5*w + 2515, -56 = -2*u + 3*w + 935. Is 20 a factor of u?
True
Suppose 0 = -9*u + 40 + 860. Is u a multiple of 20?
True
Suppose -2*p - 16 = -d - 5*p, d + p = 8. Does 11 divide (d/2 - 2) + 21?
False
Let b(j) = j - 3. Let g be b(6). Let n(l) = -l**2 - l + 1. Let u be n(0). Is 12 a factor of 6*(g + (2 - u))?
True
Suppose -2*g + 12*f - 9*f + 222 = 0, -4*f = g - 133. Is 8 a factor of g?
False
Let r be -1*39 + -2 - 3. Let d = -16 + r. Is (-948)/d + (-1)/(-5) a multiple of 4?
True
Let q(s) = -s**2 - 5*s - 4. Let z be q(-5). Let o be 11 + -3 + (z - -4). Suppose 2*n = 3*n - o. Does 5 divide n?
False
Let t(o) = 13*o + 24. Is 20 a factor of t(12)?
True
Let q(o) = 7*o**2 - 34*o + 129. Is q(22) a multiple of 71?
True
Let i(f) = 5*f + 205. Is 45 a factor of i(-23)?
True
Suppose k - w = w + 1918, 5*k - 9601 = -w. Is 96 a factor of k?
True
Let v be 4/7 + (-1230)/21. Does 5 divide v/(2 - 4) - 4?
True
Let b(h) = 14*h**3 + 8*h**2 + 2*h - 12. Is 37 a factor of b(3)?
True
Let o = -55 - -52. Let c(k) = 5*k**2 + k - 3. Does 6 divide c(o)?
False
Let o(q) = q**3 - 12*q**2 + 15*q - 15. Let l be o(11). Suppose 2*t + l = -7. Does 27 divide 3340/45 + 4/t?
False
Is 30 a factor of (174/(-7))/(60/(-840))?
False
Suppose 0 = 42*n - 45*n + 183. Suppose 0 = -5*m + 4*g + 323, -2*m + 3*m + g = n. Is 8 a factor of m?
False
Suppose -256 = 9*y - 10*y. Is 16 a factor of y?
True
Let k(x) = 122*x - 19. Let r(d) = -41*d + 6. Let n(y) = 2*k(y) + 7*r(y). Does 16 divide n(-2)?
False
Let g = 220 - 212. Does 4 divide g?
True
Let d = 15 - 12. Let m(w) = 8*w - 13*w**2 + 4 + 4*w**2 + w**d + 5. Does 2 divide m(8)?
False
Suppose -1678 = -6*y + 1244. Is 8 a factor of y?
False
Let a(x) = 4*x - 51. Let l(q) = -3*q + 51. Let z(k) = 2*a(k) + 3*l(k). Does 29 divide z(-8)?
False
Let f(v) = 5*v + 9. Let m(k) = 10*k - 3. Let q be m(1). Is f(q) a multiple of 22?
True
Let o = -81 + 72. Let s(j) = j**3 + 8*j**2 - 12*j - 3. Is s(o) a multiple of 24?
True
Let j be 3/2*(0 - -2). Suppose -4*i + 374 - 38 = 0. Suppose -j*s + i = s. Is s a multiple of 7?
True
Suppose -322 = -5*n + 4*c + 393, 0 = -4*c + 20. Is n a multiple of 7?
True
Let r be -1 - 0 - (-4 + 1). Suppose 4*a + 254 = 4*q + 5*a, -2*a = r*q - 130. Is 20 a factor of q?
False
Let x = 1 - -4. Suppose 618 = x*z + 198. Is 14 a factor of z?
True
Let g be (36/(-7))/(6 - 166/28). Let i = 114 + g. Is 42 a factor of i?
True
Let t(c) = -2*c**2 + 6. Let o be t(0). Suppose -5*v = -o*v + 33. Is v a multiple of 6?
False
Let l be -4 - 5*3/((-30)/(-4)). Is (l/5)/(48/(-5400)) a multiple of 9?
True
Let w = -1071 + 1535. Does 11 divide w?
False
Suppose 12 = 2*a - 14. Let y = a - 5. Let w = 4 + y. Is 9 a factor of w?
False
Let o(n) = 11*n**2 + 2*n + 14. Let r(a) = -4*a**2 - a - 5. Let l(v) = 3*o(v) + 8*r(v). Let b(p) be the first derivative of l(p). Is 3 a factor of b(5)?
False
Let v(z) = z**3 - 4*z**2 - z + 6. Let c be v(4). Suppose x - 46 = -b + 201, 3*b = -c*x + 738. Does 42 divide b?
False
Let a(b) = b - 22. Let h be a(14). Does 10 divide 50/(-4)*h/5?
True
Let r(k) = -43*k + 114. Is 3 a factor of r(0)?
True
Let r = 979 + -560. Suppose 5*h = r + 141. Is 14 a factor of h?
True
Let c be 4/(-3) + ((-73)/(-3) - -3). Is (-434)/(-6) + c/(-78) a multiple of 9?
True
Let z(k) = k**3 - 9*k**2 + 7. Suppose 0*v + 3*v - 27 = 0. Does 5 divide z(v)?
False
Suppose 0 = 35*x - 28*x - 1540. Is 10 a factor of x?
True
Let s be ((-2)/(-6))/((-1)/(-123)). Let b(w) = 4*w + w**2 - s + w**2 + 50. Is 17 a factor of b(-6)?
False
Suppose -3*d + 0 = 15, 0 = -a - 3*d - 15. Suppose p + m - 40 = -a*p, -3*p + 4*m + 155 = 0. Is p a multiple of 22?
False
Let w be 143/4 + 2/8. Let o = 388 + -385. Suppose -o*h - w = -6*h. Is h a multiple of 2?
True
Let a be 0 - 2/4*-3*2. Suppose 2*j - o - 173 = 0, -a*o = -j - o + 88. Is 13 a factor of j?
False
Let f = -72 + 57. Let r(u) = -u**3 - 15*u**2 + 19. Is r(f) a multiple of 19?
True
Suppose 2*k + 8 = -4*r + k, 4*k + 2 = -r. Let z be 2*(2 + r/4). Suppose 7*d - z*d = 168. Is d a multiple of 23?
False
Let x(b) = -b**2 + 12*b - 6. Let q be x(11). Let g be (-1 + q)*(1 + 0). Suppose 0 = -g*c + 6*c - 98. Is c a multiple of 14?
False
Let l be 189 - (0 - -8)/2. Let h = l + -126. Does 11 divide h?
False
Let n(p) = -14*p + 10. Let k be n(-13). Suppose f + k = 7*f. Is f a multiple of 7?
False
Let c = 1 - -5. Let w be ((-8)/2 - -3) + c. Suppose 5*q - 159 = -4*o, -o = 4*o - w. Is 18 a factor of q?
False
Let m be 10/35 + (-298)/14. Let h = m + 58. Is h a multiple of 17?
False
Suppose 4*b - 2*k - 540 = -0*k, 0 = 4*b + 2*k - 540. Is b a multiple of 19?
False
Suppose -4*s + 0*c + 64 = -5*c, 2*s - 26 = 4*c. Is 26 a factor of (-3)/(-21) - (-669)/s?
False
Suppose -k + 2*b + 55 = 0, b + 137 = 2*k + 6*b. Let v = k - 8. Let d = v - 30. Is 10 a factor of d?
False
Let p = 3 + -1. Let t be ((-476)/(-42))/(2/3). Suppose -t = p*s - 63. Is 9 a factor of s?
False
Suppose -4*w = -30*w + 17472. Does 28 divide w?
True
Suppose -4*f = 3 + 1. Let p be (-1)/(-2)*(f - -39). Suppose p = i + 8. Is 8 a factor of i?
False
Let f(h) = 13*h**2 - h + 5. Let a be 20/(20/(-4)) - 0. Is 31 a factor of f(a)?
True
Suppose -50*q - 7477 = -52*q + 3*p, -5*q = -5*p - 18690. Does 14 divide q?
False
Let k be (0 - 74/(-6))*15/(-1). Let v = -122 - k. Is v a multiple of 13?
False
Let g(y) = -y**2 - 12*y + 13. Let w be g(-13). Let s be 9 + w + (-24)/6. Is 14 a factor of (-16)/(-40) + 348/s?
True
Suppose 4*y + 725 = 2*x + 10311, 5*x - 9565 = -4*y. Is 32 a factor of y?
False
Let x(q) = q**2 - 2*q. Let p be x(3). Suppose 2*b - 55 = -v, -p*b + 2*v + 105 = -v. Is 10 a factor of b?
True
Suppose 4*w - 6 = c, 0*w + 3*w - 4 = c. Let l(q) = 5*q - 8 - 14*q - 1 + 3*q**w. Is l(7) a multiple of 15?
True
Suppose 2*f - 3*d = 231, 0*f - 117 = -f + 2*d. Is 37 a factor of f?
True
Let j(v) = -v + 9. Let w be j(5). Is 31 a factor of (0 - -1)/(w/124)?
True
Suppose 43*r + 1211 = 7231. Is r a multiple of 5?
True
Let r(o) = -2*o - 45. Let w be r(-25). Does 37 divide (-2 - (-384)/(-30))/((-1)/w)?
True
Suppose 3109 + 1478 = 11*x. Is x a multiple of 10?
False
Let o(y) = 46*y + 1. Let k(m) = 273*m + 9. Let g(l) = 91*l + 3. Let s(c) = -8*g(c) + 3*k(c). Let d(w) = 5*o(w) - 2*s(w). Is d(1) a multiple of 15?
False
Suppose 688 = 2*l + 4*o, 0*l + 5*o = 3*l - 1043. Suppose l + 214 = 7*a. Is 12 a factor of a?
False
Suppose 1 = -2*q - 11. Is 4 a factor of q/(-3)*309/6?
False
Let l(s) = s**3 - 6*s**2 - 8*s + 9. Let t be l(7). Let z(o) = -2 - 9*o + 18*o + 16*o - t*o. Is 7 a factor of z(1)?
True
Is (-2)/((-3 - -7)/(-104)) a multiple of 13?
True
Suppose 0 = -4*s - 3*p + 783, 9*p - 7*p + 374 = 2*s. Does 24 divide s?
True
Let z = 18 - -207. Is z a multiple of 45?
True
Suppose -3*k + 902 = -2*t - 2*t, -2*k - 2*t + 592 = 0. Is k a multiple of 33?
False
Let a = -552 + 2064. Does 56 divide a?
True
Let x(o) = o**2 + 2*o. Let j be x(2). Suppose -3*u + 0*u = 9