s d a multiple of 47?
False
Let z(b) = -25*b - 7. Let u be z(-4). Suppose -10 = -5*m, -4*m + u = 4*o + o. Does 9 divide o?
False
Suppose b + 882 = 3*c, -2*c + 4*b = 5*b - 593. Is c a multiple of 14?
False
Let t be (-149 - 15)*(-11)/4. Suppose -6*a + 899 = -t. Does 45 divide a?
True
Let w(l) = 88*l - 2. Let i be w(1). Suppose -617 + i = -3*m. Suppose 4*h + h - m = 3*u, 2*h - 75 = -3*u. Is 12 a factor of h?
True
Suppose -1 = l, 4*l = 5*t - 6*t + 217. Is t a multiple of 5?
False
Let c(v) = -2*v**3 - 11*v**2 + 6*v + 12. Let w be c(-6). Suppose n - w = 4*n, 568 = 4*i - 4*n. Is i a multiple of 23?
True
Is ((-12609)/(-24) - 1) + (-21)/56 a multiple of 37?
False
Let q = 3710 + -2542. Does 93 divide q?
False
Let g(k) = 6*k**2 + 9*k - 30. Suppose 40*q + 24 = 44*q. Is g(q) a multiple of 12?
True
Let u(j) = 7*j - 17. Suppose -w = -3*w + 22. Let i(d) = -4*d + 9. Let x(c) = w*i(c) + 6*u(c). Does 3 divide x(-3)?
True
Does 28 divide -37 - -35 - 853*-1?
False
Let i(y) = 3*y**2 - 11*y + 3. Let x be i(6). Suppose -3*s + 3 = 0, -2*j + j + 3*s = -x. Does 11 divide j?
False
Let v(z) = 17*z**2 - 5*z + 4. Let m be 1*((-1 + -2)/3)/(-1). Is v(m) a multiple of 7?
False
Let i(p) = 6*p**2 - p + 4. Suppose -6*o = 24 - 0. Does 8 divide i(o)?
True
Let t = -116 - -119. Let a(p) = 12*p**3 + p**2 + 11*p - 11. Is 20 a factor of a(t)?
False
Let o(t) = 3*t**3 - 8*t**2 + 4*t - 15. Let c(s) = 2*s**3 - 8*s**2 + 4*s - 14. Let x(a) = 4*c(a) - 3*o(a). Let l = -112 + 103. Does 15 divide x(l)?
False
Let j = 71 + -92. Let o(b) = b**3 + 20*b**2 - 28*b + 18. Does 11 divide o(j)?
True
Does 13 divide 663/255 - (-13572)/5?
True
Let h = -791 + 1381. Is 59 a factor of h?
True
Suppose -2*z + 5*h + 34 = -0*z, 5*z - h - 62 = 0. Let o be 27/6*z/(-9). Is 495/44*(-16)/o a multiple of 10?
True
Let p(f) = -31*f**3 + 2*f**2 - 7*f - 12. Does 36 divide p(-3)?
True
Let y = -91 + 94. Suppose -4*d - 6 = 2, 31 = y*p - 5*d. Does 5 divide p?
False
Suppose 5*f = -20*w + 17*w + 455, 455 = 5*f + 4*w. Is 13 a factor of f?
True
Is (12/(-10))/((-80)/280000) a multiple of 84?
True
Let h(t) = t**3 + 22*t**2 + 22*t - 54. Is 18 a factor of h(-20)?
True
Let g(l) = -104*l**3 - 4*l**2 + 5*l - 6. Is g(-3) a multiple of 13?
False
Let i = 152 + -141. Suppose -5*b + 5*v - 4 = 21, 0 = 3*b - 2*v + 11. Let q = b + i. Does 10 divide q?
True
Suppose -d - 2*j + 4184 = 2*d, -4*d - 5*j + 5588 = 0. Is d a multiple of 12?
True
Suppose 176*c = 170*c + 1674. Is c a multiple of 18?
False
Let u = 2205 - 1872. Does 3 divide u?
True
Let z = -11 + 14. Suppose 0 = -2*m + 19 + z. Is m a multiple of 3?
False
Suppose 5*l - 27 = -4*g, 2*g = -3*g + 3*l + 6. Suppose g*u = 2*u + 108. Does 9 divide u?
True
Let o(r) = 14*r + 30. Let y be o(13). Is 5 a factor of (-300)/200*3/((-18)/y)?
False
Suppose 3*o - 6 = -3*y, y + 5*o + 2 - 4 = 0. Let z(b) = -9*b + 5. Let q(f) = -13*f + 7. Let s(d) = 5*q(d) - 8*z(d). Is 3 a factor of s(y)?
True
Suppose -40*a + 10214 = -16826. Is a a multiple of 52?
True
Is ((-24657)/(-27) - 32/144) + -3 a multiple of 26?
True
Suppose -17*t + 0*t + 27523 = 0. Is t a multiple of 15?
False
Let k(y) = y**3 - 3*y**2 + 11*y - 9. Is 14 a factor of k(11)?
False
Let n be (-105)/2*(2 + 0). Let w be 5*37/(-74)*(1 + -81). Let r = w + n. Is r a multiple of 33?
False
Let a(p) = -p - 10. Let y be a(4). Let d be 2/(-7) + (-46)/y. Suppose 3*v + d*g - 219 = 0, 3*v - 71 - 148 = 4*g. Does 12 divide v?
False
Suppose 4*m - 151 = m + z, 3*m - 3*z = 159. Suppose 8*o + m = 129. Does 10 divide o?
True
Let m(f) = f**3 + 3*f**2 - 3*f + 4. Let g be m(-4). Suppose 0 = 3*t + 4*y - 8 - 10, -3*y = g. Let q(h) = h**2 - 6*h + 14. Is q(t) a multiple of 14?
True
Let s be -3 + 1 + 0 - -2. Suppose 0*o + 3*o + 4*g = 4, s = -o - 4*g + 4. Suppose t = 3*i - 37, o = i - 2*t - t - 15. Does 9 divide i?
False
Let v(d) = 42*d - 150. Is 45 a factor of v(8)?
False
Suppose 0 = 7*x + 6*x - 1664. Is 32 a factor of x?
True
Let m = 7 - -43. Suppose 16*w - 78 = m. Does 8 divide w?
True
Let n(l) = -l**3 - 2*l - 2. Let u be n(0). Suppose 0 = m, 0 = -2*y - 0*y - 2*m + 8. Does 5 divide (y + 11)/(u - -3)?
True
Suppose -3124 + 10144 = 13*u. Is u a multiple of 54?
True
Let k(l) = -6*l**3 - 1. Let p be k(1). Let q = 9 + p. Suppose -4*f + 55 = q*v + 17, -28 = -4*f - 4*v. Is f a multiple of 12?
True
Let m = 55 + -123. Let i = m + 172. Is 8 a factor of i?
True
Let x(l) = 684*l + 4. Is 11 a factor of x(2)?
False
Let o(j) = 419*j + 1. Does 18 divide o(5)?
False
Let i = 22 - 14. Let t = i + -8. Suppose t*d - 13 = -d. Is d a multiple of 9?
False
Suppose -3*c = -v + 41, 5*v + 5*c - 39 - 66 = 0. Is v a multiple of 2?
True
Suppose 0 = -0*v - 3*v + 42. Suppose 3*y - 86 = -v. Does 8 divide y?
True
Suppose -p - 2*p = -27. Suppose 11 + p = 5*f. Suppose f*u + 3*w = 35, -2*w - 10 = -5*u + w. Is 3 a factor of u?
False
Let o = 4 - -3. Let w(x) = 2*x**2 - 10*x - 3. Is w(o) a multiple of 5?
True
Let t = -34 + 38. Suppose -t*n + 44 = -20. Is 15 a factor of n?
False
Suppose -6*w - 840 = -13*w. Let c = -57 + w. Is 21 a factor of c?
True
Suppose -v = 2*y - 7, 4 = 2*v - 2. Suppose 12 = -4*m, 5*s + y*m - 40 = 94. Does 4 divide s?
True
Let c(n) = n**3 - 25*n**2 + 30*n - 1. Is c(24) a multiple of 63?
False
Suppose -11*g + 16*g = -3*k + 4772, 2*k + 2 = 0. Is g a multiple of 3?
False
Let w = 605 - 1017. Let x be (4/(-8)*w)/2. Suppose l - 88 = 4*g, -2*l + x = -5*g - 88. Is l a multiple of 18?
True
Let s(d) = d**2 + 10. Let l(v) = 1. Let h(y) = -5*l(y) + s(y). Let w be h(0). Let t(x) = 7*x - 1. Is 17 a factor of t(w)?
True
Suppose 5*y + i - 8 = -0*i, -3*i - 12 = -3*y. Let z be (y/(-6))/(3/333). Let k = z - -84. Is k a multiple of 14?
False
Suppose -2*u = 2*a - 0*u + 2, -3*a + 2*u + 22 = 0. Suppose 1 = a*v + 25. Let j(z) = z**2 + 3*z + 5. Is 23 a factor of j(v)?
True
Let u(l) = -l**3 + 12*l**2 + l + 10. Let t(o) = -5*o - 12. Let v be t(-8). Let c = v + -16. Does 10 divide u(c)?
False
Let f = -21 + 37. Let d = f + 1. Does 17 divide d?
True
Let t(w) be the third derivative of 0*w + 0*w**3 - 5*w**2 + 0 + 0*w**5 - 1/6*w**4 + 1/120*w**6. Is t(3) a multiple of 4?
False
Suppose 5*n = y + 360, -2*n = -y + 5*y - 144. Suppose 10*m - 16*m = -n. Is 9 a factor of m?
False
Let r(f) = -210*f - 456. Is 33 a factor of r(-9)?
False
Suppose -68 = 4*z + 5*d, 0 = 3*z - 3*d + 7*d + 52. Is 18 a factor of -8*-38*(-3)/z?
False
Let m = 16 - 9. Suppose m*p - 12 = 3*p. Suppose 0 = -5*x - 5*l + 70, p*l = -5 + 11. Is x a multiple of 3?
True
Let u be (-3 + (-63)/(-15))*-5. Let m(x) = x**3 + 8*x**2 + 3*x + 9. Is 20 a factor of m(u)?
False
Let i be 518/35*10/4. Let n = -11 + i. Is 26 a factor of n?
True
Suppose -4*t - 8 = -6*t. Suppose 0 = -3*d + 4*d - t*g + 18, -d = g - 7. Suppose p - d*n = -4*n + 105, n = -4*p + 455. Is p a multiple of 15?
False
Let n be (-16)/5 + (-2)/(-10). Let u be (1 - 0)/(-2 + 3). Is 9 a factor of (n - -1)*(u - 14)?
False
Suppose 189*d + 1383 = 192*d. Does 19 divide d?
False
Let x = -1 + 14. Let j(p) = 4*p - 1. Let o be j(1). Suppose o*a = x + 14. Is 3 a factor of a?
True
Suppose -w = -460 + 61. Suppose 3*o - w = 3*p - 12, 0 = -2*o + 5*p + 267. Is 18 a factor of o?
True
Let b(o) = o**3 - 4*o**2 - 6*o + 7. Let w be b(5). Suppose -2*p - w = -5*c, 2*c - 16 + 4 = -2*p. Suppose -22 = -4*j + v + 77, c*j + v - 45 = 0. Does 8 divide j?
True
Is 20 a factor of (-4)/6 - 5764/(-6)?
True
Let u = -46 + 52. Suppose -3*l = -u - 30. Does 3 divide l?
True
Suppose 6*x + 26 = -10. Let d be x/3 - (-8 - -4). Suppose 0 = d*w + q - 179, 97 = 2*w - 2*q - 73. Is w a multiple of 22?
True
Let b = 43 - 39. Suppose b*k + 31 = 5*k + 5*m, -4*k + 229 = -m. Does 16 divide k?
False
Suppose -t = -6*t + 90. Let l(i) = -i + 17*i + t*i + 2. Is l(2) a multiple of 29?
False
Let r be 32/8 + 1 + 215. Let j = r - 31. Is j a multiple of 27?
True
Suppose 166 = 4*r - 2*m + 4*m, 4*r - 181 = -5*m. Let i = r - 12. Is i a multiple of 15?
False
Let w = 341 - 304. Does 4 divide w?
False
Let u = 86 - -199. Is u a multiple of 32?
False
Suppose 0 = -28*a + 33*a - 1635. Does 9 divide a?
False
Suppose 5*u - 5*r - 3625 = 0, -5*u + 9*u = -4*r + 2932. Is u a multiple of 30?
False
Suppose 0 = -4*v + 3*o + 11, 2*v - 2*o - 7 = -1. Let i be -3 - 20931*v/6. Does 35 divide 1/5 + i/(-100)?
True
Let j be 1/(4 + 18/(-4)). Let p = j - -6. Suppose -8*v + 24 = -p*v. Is 2 a factor of v?
True
Does 12 divide 