29, -2*o + 124*c + 5087 = 127*c. Is o a multiple of 3?
False
Let d = 606 - -91. Let o = d - 320. Does 13 divide o?
True
Suppose -2*b + 22168 = 4*n, 0 = -3*b + 2547*n - 2551*n + 33256. Is 231 a factor of b?
True
Suppose 19*l - 117*l - 41*l = -370018. Does 33 divide l?
False
Suppose 0 = 22*p - 27*p - 4*t - 26, -4*p + 2*t = 26. Does 8 divide (p/(-21) - 0)/((-15)/(-1785))?
False
Let f(b) = 14*b + 141. Is 61 a factor of f(13)?
False
Let s(k) = -20*k + 142. Let h be s(7). Is ((-57)/h)/((36/(-8))/9) a multiple of 41?
False
Suppose 0 = -5*g - 242 + 1092. Suppose o - g = -h + 65, 4*o - 955 = -h. Does 22 divide o?
False
Let w(q) = 18*q + 14*q - 17 + 18*q - 33*q. Does 11 divide w(12)?
True
Suppose 0 = 3*a - a - 176. Let g = 31 + -27. Suppose g*j = a + 392. Does 24 divide j?
True
Suppose 3*b + 21471 = 2*w, 8433*w - 5*b = 8437*w - 42909. Does 113 divide w?
False
Let k = 5 + -2. Suppose k*n = -n + n. Suppose n = -3*v - v + 72. Is 3 a factor of v?
True
Let t = -3 - -20. Suppose 7*p - 2*p - 18 = -3*m, -t = -4*p - 5*m. Suppose -5*w + 4*i - 3*i = -243, -p*w = -3*i - 153. Does 6 divide w?
True
Suppose 3*f - 11*j = -13*j + 2608, f + 5*j = 865. Suppose -293*b + 288*b = -f. Is b a multiple of 58?
True
Suppose 3*x + 2*u - 455 = 4755, 5*x + u = 8674. Is x a multiple of 21?
False
Suppose 0 = -24*w + 23*w + 2*d + 20153, -4*w + 80636 = -2*d. Is 60 a factor of w?
False
Suppose 440*y - 2926093 - 1614707 = 0. Does 40 divide y?
True
Let i(c) = -c**2 - 20. Let k(g) = g**2 + 19. Let l(y) = 4*i(y) + 5*k(y). Let j be l(0). Is 2*22 + (j - 18) a multiple of 11?
False
Let i = 6139 + -4255. Suppose -a + 2*t + 939 = 0, 3*a - a - i = 2*t. Does 35 divide a?
True
Does 85 divide ((-1)/(3/(-3)))/(4/76840)?
True
Let x(p) = 55*p**3 - 178*p**3 - 2 + 85*p**3 + 5*p - 5*p**2 + 77*p**3. Is 12 a factor of x(2)?
True
Let u(n) = 19*n - 9. Let j(b) = -20*b + 10. Let g(x) = -3*j(x) - 4*u(x). Let w be g(-2). Is w/(5*6/15) + 1 a multiple of 4?
True
Suppose 1864029 = 177*m - 2120595. Is 349 a factor of m?
False
Suppose 0 = -k - 2*b + 5 - 3, 0 = 4*k + 2*b - 2. Suppose -a + 5 + 72 = k. Is 746/11 - (-14)/a a multiple of 17?
True
Let x(q) = -3*q**2 + 7*q**3 + 0*q**2 + 20 - 19 + q**2. Let s be x(1). Suppose 4*j = 4*w + 224, -5*j + w - s*w + 230 = 0. Is j a multiple of 16?
False
Let z(h) = -1. Let l(a) = 5*a - 13. Let o(y) = l(y) - 2*z(y). Let j be o(-15). Is (-3 + -3)*(j/6 - 2) a multiple of 14?
True
Suppose 3*j + 2781 = 5*z, -z - 2*j + 567 = j. Does 9 divide ((-20)/4 - -3)*z/(-4)?
True
Suppose 0 = -50*h + 67*h - 56729. Does 11 divide h?
False
Suppose 3*v = -5*w + 224, 5*v = w - 3*w + 367. Let q = v - 65. Suppose -1138 + 306 = -q*f. Does 12 divide f?
False
Suppose 1334816 = 65*v + 425531. Does 18 divide v?
False
Suppose z - g = 315, -11*g = z - 7*g - 325. Is 3 a factor of z?
False
Suppose -y = 5*r - 40 - 42, 4*y = r - 8. Let k = -11 + r. Suppose 150 = k*n + 5*l - 30, l = -3*n + 112. Is n a multiple of 18?
False
Suppose 3*s - 2*w - 7808 = 0, -6049 = -4*s - 2*w + 4343. Does 10 divide s?
True
Let u(x) = -x**2 - 1. Let c(q) = q**3 - 19*q**2 - 4*q - 2. Let j(k) = -c(k) + 6*u(k). Is 8 a factor of j(13)?
True
Does 79 divide 4/8 - ((-48034)/4 - (13 + -14))?
True
Let j(f) = 8000*f**2 + 69*f + 154. Does 48 divide j(-2)?
True
Let m(o) = 5183*o**2 - o - 4. Does 20 divide m(-1)?
True
Suppose 5*i + 202 = 4*l, 211 + 19 = 5*l + 5*i. Is 4 a factor of 7/(7/l)*(-3)/(-6)?
True
Suppose -9*f = -3*f - 24. Suppose s = -n + 8, -f*s - 3*n = -7*n - 16. Suppose -2*c - 228 = -s*c. Does 15 divide c?
False
Suppose 525 = 4*q - 299. Suppose -q = -i + 269. Does 25 divide i?
True
Let j = 116 + -106. Let x(r) = -r**3 + 24*r**2 - 24*r + 21. Is 66 a factor of x(j)?
False
Let l(w) = w**3 + 13*w**2 + 10*w - 26. Let c be l(-12). Does 11 divide 122056/570 - c/(-15)?
False
Suppose -23*x + 12 = -27*x. Let m be x*(70/(-15) + 3). Suppose 5*n = m*a - 525, -3*n - 44 = -a + 63. Is 26 a factor of a?
True
Suppose 8*c - c - 69755 = 43855. Is c a multiple of 72?
False
Suppose 15*y + 3*y - 162 = 0. Let s = 1549 - 899. Suppose -y*a = -19*a + s. Is 19 a factor of a?
False
Let v(m) = 9*m**3 + 25*m**2 + 70*m + 44. Let i(n) = 4*n**3 + 13*n**2 + 34*n + 22. Let b(j) = 7*i(j) - 3*v(j). Is 9 a factor of b(-13)?
False
Let l = 130 - 116. Let k = l - 12. Suppose 11*w = k*w + 855. Is w a multiple of 9?
False
Suppose p = 2*c + 2*c - 26, 2*c = -2*p + 18. Suppose 0 = 3*j - c*j - 5*i + 434, 2*i - 4 = 0. Suppose 110 = y - j. Is 23 a factor of y?
False
Suppose 0 = 5*x + 5*j - 8690, j - 3756 - 1470 = -3*x. Does 98 divide x?
False
Suppose -j = 4, 0 = -0*n + 3*n + 3*j + 12. Suppose n = 2*x - 5*t + 28, 4*x - x = t - 29. Let m(i) = -12*i - 6. Is 17 a factor of m(x)?
True
Suppose -5*x + 3 = -7. Suppose 6*k - x*k - 800 = 0. Let m = k - 141. Is 10 a factor of m?
False
Is 70 a factor of (36414/(-612))/(1/(-200))?
True
Does 2 divide (-1)/(-4) + (-3339)/4*(-341)/93?
False
Is 19 a factor of (-56)/252 + (-152540)/(-36)?
True
Is (176480/15)/4 - (8/(-3))/(-2) a multiple of 14?
True
Does 7 divide ((-84)/(-2))/(777/3367)?
True
Is 11 a factor of (70160/(-4) - 0)*(4 + (-96)/20)?
False
Let a = -38 + 58. Suppose 12 = -19*l + a*l. Let c = l + 16. Is c a multiple of 11?
False
Let j = 4 - 16. Is 3 a factor of (-6)/1*-1 - j?
True
Suppose -3*f + 10672 = -4*a, -3*f - 5*a = -3433 - 7203. Suppose 0 = 2*j + 6*j - f. Is j a multiple of 74?
True
Let x(l) be the second derivative of l**4/12 - 3*l**3 + 20*l**2 - 94*l. Is x(18) a multiple of 2?
True
Let a(k) = -k**2 - 48*k - 4. Let u be a(-20). Let t = 1155 - u. Is 58 a factor of t?
False
Let v(w) = 14*w + 134. Let g be v(-9). Is (6*(-4)/g + -724)/(-1) a multiple of 75?
False
Suppose 4*d - 28 = 0, 521*h - 517*h - 3*d - 20227 = 0. Does 351 divide h?
False
Let a(u) = 8*u + 4. Let t(p) = -p + 1. Let y(l) = -a(l) - 6*t(l). Let w be y(11). Let f = 10 - w. Does 6 divide f?
True
Let q = -50 - -28. Let l = q - -28. Suppose 0 = -l*h + 66 + 12. Does 8 divide h?
False
Let c be -2 + (1 - -24)*(-4)/(-10). Suppose -c*f + 684 = -908. Is f a multiple of 16?
False
Let a(i) = 2*i**2 + 75*i - 19. Let t(w) = w**2 + 2*w. Let c(z) = -a(z) + 4*t(z). Does 6 divide c(34)?
False
Suppose -w - 51*s + 1802 = -47*s, 4*s = w - 1770. Does 25 divide w?
False
Let l = 6 - 10. Let f be (-4)/12*(l*7 - -1). Suppose 0 = f*h - 961 + 286. Is 5 a factor of h?
True
Suppose 0 = 2*m - 1 + 7. Is (75/30)/((-5)/m)*14 a multiple of 7?
True
Let s(b) = -18*b - 320. Let x be s(-18). Suppose x*z + 1095 - 4864 = f, -5*f - 928 = -z. Is z a multiple of 41?
True
Suppose 0 = 4*m - 2*p + 40 - 238, -2*p + 186 = 4*m. Is m a multiple of 8?
True
Does 5 divide (-4)/(-3)*21/224 + (-27087)/(-8)?
False
Let p = -59 + 64. Suppose -15 = 5*v, p*v - 201 = c - 4*c. Is c a multiple of 16?
False
Let d(q) = 5824 + 6*q - 11642 + 5804 + 4*q**2. Suppose -4*w - 16 = 12. Is d(w) a multiple of 20?
True
Let g be (1 - -5)*(-4)/(-8). Suppose -5*p = -4*n - 0*n + 22, -g*n = 4*p - 1. Suppose n*l = -3*r + 456, -3*r - 6*l + 2*l + 459 = 0. Does 18 divide r?
False
Suppose -2636 = 7*n - 7249. Let m = n + -569. Is m a multiple of 3?
True
Let k(s) = -s**3 - s**2 - s + 1. Let q(c) = 41*c**3 + 3*c**2 + 5*c - 5. Let d(h) = -4*k(h) - q(h). Let j be d(1). Let i = 81 + j. Is 9 a factor of i?
True
Suppose 7*l - 40 = 16. Suppose 2*b + 4*a - l = 0, -3*b + 3*a + 5 = -16. Suppose 0 = -b*f + 8*f - 40. Is f a multiple of 10?
True
Let b(p) = -34 - 19 + 6*p**2 + 103*p + 45 + 10*p**2. Is b(-8) a multiple of 10?
False
Let h = 67 + -64. Let p be h - -1*(-3 - -5). Suppose -4*z + o = p*o - 1128, 0 = -o + 3. Does 31 divide z?
True
Let n be (-3)/((63/6)/(-7)). Let i be (3*n/15)/((-1)/(-290)). Suppose -h - 19 = -i. Is h a multiple of 19?
False
Suppose -3*g + 2212 + 7139 = -3*b, 0 = 4*g - b - 12486. Is 19 a factor of g?
False
Let v(u) = 16200*u**2 + 2*u - 4. Is v(-1) a multiple of 187?
False
Let f(l) = -333*l + 163. Let n(r) = -500*r + 246. Let v(o) = -8*f(o) + 5*n(o). Is 70 a factor of v(3)?
False
Suppose -5*i = 5*a + 1590, 2*i + 0*i + 627 = a. Let n be -184 - 1/(4 + -7 - -2). Let v = n - i. Does 44 divide v?
True
Suppose 51 = 3*f - 6*c + 3*c, -2*c = 4*f - 44. Suppose 14 = 3*u - f. Suppose 0 = -3*b + u*b - 162. Does 9 divide b?
True
Let y(f) = 1. Let h(m) = -4*m**2 - 35*m + 3. Let a(t) = h(t) + 2*y(t). Let p(z) be the first derivative of a(z). Does 9 divide p(-10)?
True
Let