-0*w - 3*w, 4*a - w - 177 = g. Is 15 a factor of a?
True
Suppose 2055 = -f - 230. Is f/(-45) + 4/18 a multiple of 17?
True
Suppose 5*j - 21 = -a, -4*a = 2*j + a + 10. Suppose 6*b - 22 = j*b. Is b a multiple of 5?
False
Let u be 0/((-2 - -4) + -3). Suppose 8*g - 92 - 84 = u. Is 3 a factor of g?
False
Let d(i) = 43*i - 7. Let z(g) = -22*g + 3. Let n(k) = -3*d(k) - 5*z(k). Suppose -2*w + 3*q = 3, -4*q = -w + 2*w + 7. Is 21 a factor of n(w)?
True
Let u(m) be the third derivative of -m**6/180 + m**5/60 + m**4/8 + m**2. Let a(b) be the second derivative of u(b). Is a(-6) a multiple of 13?
True
Let j be 2/(-13) - ((-7548)/52 - 2). Let q(r) = 7*r**2 - 2*r - 5. Let n be q(4). Let p = j - n. Does 13 divide p?
False
Does 84 divide 6 + -15 - 10965/(-5)?
True
Let d be (-5)/(-5) + (-6)/(-2). Suppose -u = d*t - 28, -5*t - 5 = -u + 50. Is u a multiple of 10?
True
Suppose -21*r + 2603 = -6847. Is r a multiple of 45?
True
Let t(m) = -m**2 + 14*m - 1. Let u be t(13). Suppose -2*l = -u + 2. Suppose -2*q + 87 = 3*f, -168 = -5*q + l*f - 13. Does 18 divide q?
True
Let k(u) = -u**3 - 10*u**2 - 8*u + 13. Suppose p = -3*d - d - 39, 75 = -5*d + 4*p. Let s(f) = f**3 + 11*f**2 - 9. Let q be s(d). Is 3 a factor of k(q)?
False
Suppose 2492 = 13*l + 425. Is l even?
False
Suppose 3*n - 35 = 2*x, -2*x + 4*n = -x + 30. Let m(t) = -2*t**3 - 20*t**2 - 10*t - 12. Does 22 divide m(x)?
True
Suppose -130*b + 133*b = 87. Suppose 0 = 2*u - 6, 0*i = 3*i + 3*u - 15. Suppose 2*z - v - b = 0, 2*v + 30 = i*z - 0*z. Is z a multiple of 7?
True
Suppose 9 = n - 0*n - 2*y, -n = -y - 6. Suppose -n = -s - 1. Suppose 0 = -s*i + 186 - 60. Is 21 a factor of i?
True
Let t(x) = -14*x - 4 + x + 7. Let b be t(4). Does 8 divide (1 - 15)*84/b?
True
Suppose -l = 5*g - 532, 0*l - 5*l + 520 = 5*g. Suppose -2*b = 10, 2*m + m - b = g. Is 4 a factor of m?
False
Suppose -3*c + 79 = 214. Let t be (c/(-4))/((-6)/(-16)). Suppose t + 5 = i. Does 17 divide i?
False
Suppose 3*o - 1440 = -5*x, -5*x - 8*o + 1480 = -13*o. Does 10 divide x?
False
Suppose 2*q - 10 = -4. Let i(l) = 7*l**3 - 7*l**2 - 2. Does 16 divide i(q)?
False
Suppose -20 = -h - 4*h. Suppose -282 = -h*a + 442. Is a/3 - 48/36 a multiple of 14?
False
Suppose 0 = -4*u - m + 56, -m - 2 = 2*u - 32. Suppose u*r - 234 = 10*r. Let z = 126 - r. Is 16 a factor of z?
True
Is 3 a factor of 6 - (2 - (49 - 2))?
True
Suppose -4*k = -4*r - 20, -4*k = -r - r - 24. Let a(o) = 14*o - 3. Let d be a(k). Does 14 divide (d/(-15))/((-2)/6)?
False
Suppose 10*a - 12 = 28. Suppose 5*y - 2*s - 212 = 0, -y - a*y = s - 209. Does 9 divide y?
False
Let c(f) = f**3 + 10*f**2 + 4*f - 5. Let u(a) = -a**3 - 20*a**2 + 23*a + 33. Let d be u(-21). Is 40 a factor of c(d)?
True
Let h(m) = m - 8. Let t be h(6). Let z = t + 35. Let v = z - 21. Is v a multiple of 4?
True
Suppose -5*p - 8 = 7. Let v be p/(-5) - 54/(-10). Let u = 12 + v. Does 9 divide u?
True
Suppose -2*u - 6 = u. Let r be 10*(2 - 6)/u. Let j = r - 13. Is 7 a factor of j?
True
Suppose 77 = 5*d + 22. Let z(r) = -2*r**2 + 25*r - 27. Is 2 a factor of z(d)?
True
Suppose -q + 9 = 11. Does 11 divide (-3 + (0 - q))*-66?
True
Suppose c - 3*d - 130 = 6*c, -d = -3*c - 64. Let g(p) = -8*p + 9. Is 18 a factor of g(c)?
False
Suppose -1 - 1 = -b. Suppose 0 = 2*c + 8, b*y + c + 14 = 4*y. Suppose -h + y*h - 307 = -5*m, 0 = 2*h + 5*m - 161. Is h a multiple of 15?
False
Let c be 1018*(10/70)/((-4)/(-14)). Let d = c + -276. Is 16 a factor of d?
False
Let p(d) = 323*d**2 + 6*d - 5. Let k be p(1). Suppose 31*x - 28*x = k. Does 21 divide x?
False
Let k(u) = -5*u + 3. Let n(l) = -2*l**2 - 5*l - 4. Let y be n(-3). Is k(y) a multiple of 8?
False
Let c = 1515 - 244. Is 15 a factor of c?
False
Suppose 5*l - 1408 = l. Suppose 0 = -5*h + 2*b + l, -5*h + h - 4*b = -276. Let q = h - 37. Is 10 a factor of q?
False
Suppose 3*s + 5*g = 7*s - 4279, 2*s = 5*g + 2147. Is 18 a factor of s?
False
Suppose -9*t - 10404 = -15*t. Does 9 divide t?
False
Let g(h) = -10*h - 1. Let a be g(-1). Let b be a - (-4)/(8/(-6)). Let x(s) = -s**2 + 8*s - 3. Is x(b) a multiple of 9?
True
Let a = 463 - 539. Let z(p) = 6*p + 3. Let c be z(-2). Let w = c - a. Does 12 divide w?
False
Let l(b) = -10*b + 90. Does 47 divide l(-4)?
False
Suppose -48*s + 49*s - 150 = 0. Does 10 divide s?
True
Let i(a) = 3*a**2 - 20*a - 92. Does 12 divide i(14)?
True
Let c(k) be the third derivative of 7*k**6/45 + k**4/24 - 5*k**3/6 - 3*k**2. Let b(x) be the first derivative of c(x). Is 19 a factor of b(-1)?
True
Let z(r) = r**3 - 6*r**2 + 6*r. Let v be z(4). Let u = v - -11. Is u + 0 - 1 - -30 a multiple of 8?
True
Let g = 5 - -8. Let f = 23 - g. Suppose -15*a + f*a + 315 = 0. Is a a multiple of 21?
True
Let r(f) = -f**3 - f**2 + f - 1. Let a(p) = 10*p**2 + 133*p**3 + p + 0*p - 129*p**3. Let x(b) = a(b) + 3*r(b). Is 9 a factor of x(-6)?
True
Let o be 1 + (-3)/6*58. Let c = o + 56. Let m = c + -17. Is 7 a factor of m?
False
Let a(g) = 11*g - 12. Let b be 2 + 33/(-1 + -2). Let c(p) = -p - 4. Let v be c(b). Is a(v) a multiple of 13?
False
Let o = -138 - -226. Suppose 0 = -5*h - 4*f - 17 + 118, -4*h = 5*f - o. Does 3 divide h?
False
Let p(l) = l + 9. Let z be p(-6). Suppose -5*j = -3*o + 297, 3*j + 2 = 11. Is o/z - 2/3 a multiple of 9?
False
Let t = -73 - -36. Let o = 61 + t. Does 4 divide o?
True
Let n = -10 - -12. Suppose 0 = -n*y + 10 + 84. Is y a multiple of 8?
False
Suppose 0*k + 4*k - 960 = 0. Suppose 8*i - 10*i + k = 0. Does 10 divide i?
True
Let y = -10 + 10. Suppose 0*x - 3*x + 6 = y. Suppose x*r = 7*r - 240. Is r a multiple of 12?
True
Suppose 3*n + 209 = 2*l - 254, 4*n - 4 = 0. Is l a multiple of 19?
False
Suppose -475 - 407 = -3*y + 5*k, -2*y = 2*k - 604. Is 23 a factor of y?
True
Let u(i) = -6*i + 90. Is 19 a factor of u(-42)?
True
Suppose -3*u + 11 + 22 = 0. Suppose 3*w - 3*j = 222, -5*j - u - 281 = -4*w. Does 21 divide w?
False
Let v = 38 + -35. Is (-2)/v*21/(-2) a multiple of 2?
False
Suppose -3*a + v + 744 = 0, -5*a + 6*a + 3*v - 238 = 0. Is a a multiple of 19?
True
Let x be 16/6 + (-2)/3 - 0. Is 13 a factor of (x/(-3))/(2 - 453/225)?
False
Suppose -3*m - n = -174, 0 = 7*m - 10*m + 4*n + 189. Is m even?
False
Suppose 0 = -5*b - 10, -w - 3*b = 5 - 2. Suppose -19 = 4*q - q + o, 0 = q + o + w. Does 6 divide 4/3*(-60)/q?
False
Let n(y) = y**2 + 11*y + 3. Let j be n(-10). Let w(g) = -g**3 + 9*g**2 - 11. Let m be w(9). Let a = j - m. Is a a multiple of 4?
True
Let r(w) = -62*w**3 + 6*w**2 + 17*w. Is r(-3) a multiple of 13?
True
Let d(f) = 6*f - 4. Let a be d(1). Is 267 + (a - 8)/(-3) a multiple of 33?
False
Let z(x) = -x + 4. Let o be z(0). Suppose 0 = r - 3*v - v - 12, 5*r - 12 = o*v. Suppose -5*g + 8 + 272 = r. Does 14 divide g?
True
Suppose -733 = -11*m + 3227. Does 9 divide m?
True
Let w = -1577 + 2617. Is 31 a factor of w?
False
Suppose -6*k + 115 = 2*y - k, 0 = 5*k - 15. Is 28 a factor of (y + 1)*(-18)/(-9)?
False
Let r = -37 + 47. Let q = r + 2. Is 5 a factor of q?
False
Let p be (96/18 - 5)/(2/(-1446)). Let c = -59 - p. Is 26 a factor of c?
True
Let y(r) = 6*r**2 + 40. Let q be y(-10). Let o = q + -419. Is 17 a factor of o?
True
Let w(p) = -3*p - 7. Let t be w(-6). Suppose 0 = -i - 4*a - 4 + t, 0 = -5*i - 2*a + 17. Suppose i*q - 18 = -5*r, -r = -0 + 3. Is q a multiple of 11?
True
Suppose -405 = -12*f + 231. Let l(j) = 4*j**3 + j**2 - 2*j + 1. Let o be l(1). Suppose f + o = u. Is u a multiple of 19?
True
Let z = -2 - -5. Suppose i - 168 = -z*i. Suppose i = -n + 2*n. Is 14 a factor of n?
True
Suppose 3*d + 193 + 113 = 0. Let p be (2198/(-21))/(2/(-3)). Let v = d + p. Does 11 divide v?
True
Let s(k) = -138*k**3 - k**2 + 2. Let v = -26 + 25. Is s(v) a multiple of 18?
False
Suppose -3*g = 5*a - 195, -133 = -6*a + 3*a - 5*g. Is a a multiple of 18?
True
Let r = 956 - 428. Let z be (-4 - (-40)/12)*-3. Suppose -r = z*b - 10*b. Is 15 a factor of b?
False
Let j = -7 + 24. Let h = 38 - 27. Let o = j - h. Is 3 a factor of o?
True
Suppose 2*c - 380 = -h + 3*h, -4*c + 2*h + 758 = 0. Is 21 a factor of c?
True
Suppose 0 = 136*h + 7363 - 73187. Is 4 a factor of h?
True
Suppose -3*p + 4*c + 14 = 0, 0*c - 4 = -c. Suppose 6*m - 5*i = 8*m - 29, p = -5*m + 4*i. Does 12 divide (10 + m)/3 - -14?
False
Let p be (0 - 3/(-6))/((-3)/12). Is 710/15 - p/3 a multiple of 24?
True
Suppose -4*s + c + 57 = -1, 0 = -5*s + 3*c + 76. 