 = -57*h. Is 49 a factor of h?
False
Let j(b) = 5 + 5 + 4 - 17 - 3*b. Is j(-12) a multiple of 11?
True
Let u(c) = 136*c - 487. Does 103 divide u(21)?
True
Suppose -3*i + d = -6417, -i + 1207 = 4*d - 932. Does 23 divide i?
True
Let p = 85 - 40. Suppose 2*q - 4*d - 3 - p = 0, -5*q - 4*d + 190 = 0. Does 25 divide q?
False
Suppose 0 = -13*p - 57*p + 10080. Does 9 divide p?
True
Suppose -13*f - 6*f = -912. Is 48 a factor of f?
True
Let r be 26/117 - (-256)/(-18). Let w(k) = k**2 + 12*k - 14. Does 14 divide w(r)?
True
Let h = 23 - 38. Suppose -c - 47 = 5*q, c - 4*q = -2*q - 19. Let b = h - c. Is 5 a factor of b?
False
Let s = -171 + 342. Suppose p + 2*o + s = 0, -4*p + 0*p + 5*o = 645. Is 17 a factor of 9*(p/(-9))/5?
False
Suppose 5*v - 455 = -3*w, 4*v - 396 = -0*v + 4*w. Suppose v - 115 = -o. Is o a multiple of 7?
True
Let u = -8 - -49. Suppose x - 111 + u = 0. Is x a multiple of 18?
False
Does 99 divide (172/2)/((-60)/(-2010))?
False
Let o(r) = r**3 + r**2 + 9*r + 6. Let i(v) = -v**3 - 9*v - 6. Let q(p) = 5*i(p) + 6*o(p). Is 2 a factor of q(-4)?
True
Let o(y) = y**3 - 18*y**2 + 3*y - 27. Let b be o(18). Suppose 6*p + b = 135. Is p a multiple of 16?
False
Let t(d) = -27*d - 623. Is 4 a factor of t(-41)?
True
Let l(m) = m**2 - 4*m + 6. Let c be l(4). Suppose b - 504 = -c*b. Is 12 a factor of b?
True
Suppose -3*n = 11 - 11. Suppose n = a - 4*u - 70, -3*u + 15 = -8*u. Is a a multiple of 29?
True
Let b(m) = m + 12. Let l be b(-6). Let s(w) = w**3 - 6*w**2 - 3*w - 1. Let z be s(l). Let x = -7 - z. Does 12 divide x?
True
Let f be -65 + (0 + 1)*1 + 1. Let o = 70 + f. Is o a multiple of 2?
False
Let z be 110/4 + 9/(-6). Let x = z + -18. Is x a multiple of 3?
False
Suppose -d + 1 + 4 = 0. Let r be 0/(d*2/5). Suppose r = -3*t - 2*t + 30. Is t a multiple of 2?
True
Suppose -67037 = -74*a - 15385. Is a a multiple of 125?
False
Suppose 4*v - 5759 = 4*a + 3977, -5*a - 4856 = -2*v. Does 106 divide v?
True
Let r(k) = 5*k + 5. Let i be r(-4). Is 4 a factor of (50/i - -2)*-6?
True
Suppose -5*h = -4*k + 1640, 0 = -k + 2*h - 0*h + 413. Suppose -5*v = 2*p + 41 - k, -4*v + 560 = 3*p. Does 16 divide p?
True
Let f = -9 + 1. Let w = f + 13. Suppose 3*o + 0*o + w*x = 224, x = -2. Does 23 divide o?
False
Suppose -20*i + 7085 = -4795. Does 30 divide i?
False
Let w(k) = 9*k + 13*k**2 - 26*k + 0*k**3 - 5 - k**3. Does 14 divide w(10)?
False
Let d be 56/9 + (-2)/9. Suppose d*i = 5*o + 2*i - 330, 0 = i. Is o a multiple of 21?
False
Is (935/255)/((-2)/(-113 - 1)) a multiple of 20?
False
Let p be (-17)/(-34)*(23 - 1). Let d = p - -70. Is d a multiple of 27?
True
Suppose -3*l + 5*h + 10 = -2*l, h = 4*l - 2. Suppose l = 5*u - 2*u - 537. Does 31 divide u?
False
Let n(o) = -199*o**2 + o. Let w be n(-1). Let c = w + 310. Suppose 5*j - c = d, 2*d - 7 - 4 = -j. Is 21 a factor of j?
True
Let v = 9 + -6. Let y(i) = -2*i - i**v - i + 3 - i**2 - 4*i**3 + 7*i. Is y(-2) a multiple of 8?
False
Suppose -m - 20 = 3*q + 4*m, 0 = -3*q + 5*m + 20. Let r = 43 - q. Is 11 a factor of r?
False
Let p be 2/(-4) - (-113)/2. Suppose -7*s = -0*s - p. Does 6 divide s?
False
Suppose -4*j = -5*r - 5*j + 5811, -r + 4*j = -1179. Does 39 divide r?
False
Let f be ((-20)/(-12) - 0)/(20/24). Is 7 a factor of 52/(-3)*(-3)/f?
False
Let g be (-7 + 1)*15/(-6). Let y = 9 + g. Is 8 a factor of y?
True
Suppose 0 = -5*x + 4*x - z + 75, 0 = 3*z + 15. Does 8 divide x?
True
Suppose 1215 = 3*i - 3*g - 696, 4*i + g = 2528. Is 3 a factor of i?
True
Let w(t) = -20*t**2 + t - 2*t + 12 + 19*t**2. Let b be w(0). Suppose 2*s = -4 + b. Is s even?
True
Suppose 2*o = -4, 5*y + 3*o = 216 + 1038. Does 21 divide y?
True
Let u = -18 - -21. Suppose 21 = u*l + 5*n - 2*n, 4*l = -3*n + 23. Suppose 0*d - 3*i + 81 = l*d, i + 105 = 3*d. Is d a multiple of 9?
True
Let p = -224 + 518. Is p a multiple of 23?
False
Let a(x) be the second derivative of -x**3/2 - 6*x**2 + 5*x. Let c be a(8). Is 2/5 + c/(-10) a multiple of 2?
True
Let g = -114 + 128. Let o(p) = 2*p + 2. Does 5 divide o(g)?
True
Suppose 5*n = -4*r + 95, 0*r + 76 = 4*n - 4*r. Let h = n - -23. Is 7 a factor of h?
True
Is -8*1 + (11 - -109) a multiple of 7?
True
Let n = -66 + 79. Suppose n*m - 694 = 814. Is 29 a factor of m?
True
Is (((-28)/(-8))/7)/(9/18216) a multiple of 11?
True
Let j be 2664/12 - 2*-1. Is 3/(-1*(-12)/j) a multiple of 28?
True
Let n = 454 - -290. Is n a multiple of 39?
False
Let g(y) = 4*y + 11. Let u be g(-2). Suppose -3*j + 298 = 2*i, -u*j + 4*i = -8*j + 494. Does 17 divide j?
True
Let w be (3/(-9))/((-2)/72). Let p = w - -5. Is p a multiple of 17?
True
Suppose -3*n + 4*u - 4 = -4*n, -2*n + u = 1. Suppose -4*t - g + 155 = 0, -5*t + 93 + 99 = 3*g. Suppose -v + t = -n*v. Does 13 divide v?
True
Suppose 4*v = 178 + 3462. Suppose -y + v = 9*y. Does 13 divide y?
True
Suppose -161*a - 4866 = -167*a. Does 7 divide a?
False
Does 28 divide -8 + 6 - (3 - (-1107)/(-3))?
True
Let z(l) be the third derivative of -l**6/120 + 7*l**5/60 - l**4/4 + l**3 - 11*l**2. Is 2 a factor of z(6)?
True
Let d be 2/12 - (-3)/(-18). Suppose d = 4*k - 5*z + 3, -k - 1 = z - 7. Suppose -r - 182 = -k*r. Is r a multiple of 24?
False
Is 0 - -3*(-16340)/(-12) a multiple of 12?
False
Suppose m - 3*w + 8*w = 27, 4*w = 3*m - 24. Suppose -m = -3*i + 3. Is 3 a factor of i?
False
Let l = -3009 + 4579. Does 14 divide l?
False
Suppose -12 = -4*y, 5*x - 3 = 2*y + 6. Suppose 0 = o - 0*l + x*l - 25, o - 25 = 3*l. Is o a multiple of 25?
True
Let f(b) = -19*b**3 + 3*b**2 + 12*b + 41. Is 9 a factor of f(-4)?
False
Let o(k) = k**2 + 3*k + 7. Let c(z) = -z**3 + 5*z**2 - 4*z - 1. Let u be c(2). Does 6 divide o(u)?
False
Suppose 4*z + n - 1278 = 0, -1597 = -5*z - 2*n + n. Is 14 a factor of z?
False
Suppose h = -r - 2, -h = 2*h. Does 5 divide r/(1/25*-2)?
True
Suppose 2*m + 3*c - 1079 = -2*m, -4*m + 1078 = 2*c. Does 68 divide m?
False
Is 146*((-323)/(-2))/19 a multiple of 16?
False
Let g = -400 + 511. Let c be (-2)/5 - (-1874)/10. Let j = c - g. Is 38 a factor of j?
True
Suppose 0 = -529*r + 534*r - 6080. Does 38 divide r?
True
Is (2/(-1))/(11/(-1881)) + -2 a multiple of 56?
False
Let a = -2 - -11. Let z(v) = v**3 - 10*v**2 + 7*v + 20. Let j be z(a). Suppose 4*i - 180 = -j*b, 4*i - 4 = 6*i. Is 19 a factor of b?
False
Let i be (-15)/(5/(-7 + 2)). Suppose -i*j - 70 = -20*j. Is j a multiple of 7?
True
Suppose 3*t - 642 = 8*b - 14*b, 0 = 5*t - 3*b - 1044. Does 5 divide t?
True
Is 18 a factor of 6/(-11) - (-387747)/297?
False
Let i = 1248 - 237. Is i a multiple of 15?
False
Let x be (-1)/(-7) - (-1)/(-7). Is 28 + (x/(-3))/5 a multiple of 16?
False
Let b = 97 - 95. Let k be (0 - -1)/1 + 67. Suppose -3*m - b + k = 0. Does 7 divide m?
False
Suppose -525 = -3*q + 105. Is 30 a factor of q?
True
Is ((-7)/(49/48))/(4/(-28)) a multiple of 6?
True
Let h(u) = u**3 - u**2 - u + 60. Let y = 17 + -17. Let q be h(y). Suppose b - q = -b. Is 20 a factor of b?
False
Let w(x) = x**2 - 7*x + 42. Is 18 a factor of w(20)?
False
Let u(x) = 7*x + 188. Does 8 divide u(20)?
True
Let q = -11 - -16. Let h(g) = g + 1. Is h(q) a multiple of 2?
True
Let l = -255 + 462. Is l a multiple of 9?
True
Is 2 a factor of (-15)/9*(-61 - (-1 + -3))?
False
Let l(y) = 2*y**2 + 2. Let a = 3 - 1. Suppose 8 = k + a*p, 3*k + p = 5*k + 9. Is 7 a factor of l(k)?
False
Suppose -15*x = -9*x - 1068. Let c = 313 - x. Does 27 divide c?
True
Let g(b) = 19*b + 99. Let t be g(-6). Let j(i) be the second derivative of -i**5/20 - 5*i**4/4 - i**3/3 + 13*i**2/2 + 2*i. Does 11 divide j(t)?
False
Let s(t) = 12*t**3 - 8*t**2 + 17*t - 5. Does 37 divide s(4)?
True
Let u(h) = h**2 - 9*h - 162. Does 7 divide u(22)?
False
Let k(y) = -y**2 + 4*y. Let s(i) = 2*i**2 - 9*i. Let h(w) = -9*k(w) - 4*s(w). Let d(t) = 3*t**2 + t + 9. Let r(f) = -d(f) + 4*h(f). Is r(8) a multiple of 13?
False
Does 12 divide (-10 - 3)/(1/8*-1)?
False
Is (-16150)/(-119) - (-4)/14 a multiple of 4?
True
Suppose 81*c - 82*c = -464. Does 8 divide (-4)/6 + (c/6)/2?
False
Let f(j) = 1 + 26*j - 1 - 2 + 47*j. Is 8 a factor of f(1)?
False
Let i = 177 + -102. Is 2 a factor of i?
False
Let w = 5953 + -1607. Does 106 divide w?
True
Let i(m) = -1 - 4*m**3 - 3*m - m**3 + 7*m**2 + 4*m**3 - 4. Let n be i(8). Is ((-8)/(-12))/((-2)/n) a multiple of 14?
False
Let d(r) be the first derivative of 29*r**2/2 - 4*r + 7. Let l = 22 + -20. Does 18 divi