se a + 4*p + 200 = 6*a, -2*p = a - d. Does 3 divide a?
False
Suppose -33939393 + 12875795 = -367*w. Does 159 divide w?
False
Let f(u) = -u**3 + 58*u**2 - 298*u + 78. Is 62 a factor of f(52)?
True
Is (-5)/(-3)*(-90)/350 + (-46486)/(-14) a multiple of 41?
False
Suppose 8*u = 5*u. Let x be 14/21*(-90)/(-20). Suppose c + u*c = x*z - 100, -40 = -z - 3*c. Is 14 a factor of z?
False
Let b = -28 + 4. Does 7 divide -3*(0 + (-140)/b*-2)?
True
Suppose 148 = 2*u + j - 268, u = 2*j + 208. Let o = 328 - u. Is o a multiple of 20?
True
Suppose 9 = -4*x + 529. Suppose -x = 262*h - 267*h. Is h a multiple of 21?
False
Let a = 939 - 913. Let g(n) = -n. Let w(i) = 5*i - 70. Let c(y) = -4*g(y) - w(y). Is c(a) a multiple of 11?
True
Suppose 58590 = -34828*k + 34837*k. Is k a multiple of 30?
True
Let t(l) = -l**3 + 14*l**2 - 11*l - 9. Let j be t(13). Let g(a) = -2 - a - 7 + 4 + j. Is 2 a factor of g(6)?
True
Let s(k) = -158 - 42*k - 222 + 260. Is s(-10) a multiple of 60?
True
Let s be ((-1)/((-8)/88))/((-2)/(-2)). Is 0 - 11/(s/(-315)) a multiple of 14?
False
Let w(o) = 3*o**3 - 33*o**2 - 14*o - 30. Suppose -11*b = -299 + 167. Is w(b) a multiple of 9?
True
Let m(u) = 5*u - 162. Let q be m(12). Let n = q - -327. Is n a multiple of 9?
True
Let w(x) = 34*x + 342. Let h be w(-10). Let v be 10/4*4/5. Suppose 5*i + 178 = v*m, -5*i - 257 = -5*m + h*m. Does 3 divide m?
False
Let y(x) = x**3 + 9*x**2 + 7*x + 4. Let i(f) = -f**3 + 6*f**2 + 2*f - 5. Let q be i(6). Suppose -s + 3 = q. Is y(s) a multiple of 4?
True
Let t = -5860 - -9820. Is 224/(-6)*t/(-385) a multiple of 24?
True
Let n = 112 + -108. Suppose b - n*j = -218, 241 = -b - j - 2. Does 9 divide 36*(b/8)/(-7)?
True
Let m = -317 + 312. Let n be (-2)/(-4) - 710/(-4). Is 11 a factor of (3/m - n/(-5)) + -2?
True
Suppose -28 = -10*o - 8. Suppose o*j - 5*q = -2*q + 526, 3*j + q = 767. Let p = j - 130. Is 17 a factor of p?
False
Let z = -23 - -68. Suppose -5*g - 63 = 2*n + 208, g = -5*n - z. Let r = -5 - g. Is r a multiple of 50?
True
Suppose -3*q = 3*u - 6, -5*q = -0*u - u - 16. Let o = q - -78. Let f = o - 33. Does 3 divide f?
True
Let t(b) = 40*b**2 + 471*b - 140. Is 20 a factor of t(-14)?
False
Let f = -6904 - -10666. Does 38 divide f?
True
Let p = 35 + -34. Let a be ((-228)/9)/(p/3). Let w = a - -127. Is w a multiple of 15?
False
Suppose 0 = -18*a + 15*a - 4*v + 11030, -2*v + 16 = 0. Is 26 a factor of a?
True
Let b = -1030 - -2313. Suppose 7*g - b = -23. Is 11 a factor of g?
False
Let y(o) be the second derivative of 13*o**3/3 - 77*o**2 - 119*o - 2. Is 18 a factor of y(26)?
True
Let q(k) = k**2 + k - 2. Let o = 47 + -49. Let g be q(o). Suppose -6*a + 7*a - 291 = -2*j, g = 2*j + 3*a - 297. Does 8 divide j?
True
Suppose 4*d - 352 - 500 = 0. Suppose -c = -4*l + d, -166 = -15*l + 12*l + 2*c. Does 35 divide l?
False
Suppose -3*v + 5172 = 12*a, v - 6*v = -4*a - 8500. Is v a multiple of 142?
True
Let m = -91 + 97. Let j be -151 - (m/(-3) + (0 - 0)). Let h = 227 + j. Is h a multiple of 4?
False
Let j(f) = f**3 - f**2 + 1. Let s be j(2). Let k be ((-3)/((-9)/(-6)))/(742/(-105) + 7). Is 23 a factor of (14448/k)/7 - (-1)/s?
True
Suppose -5*i + 2*h - h + 288 = 0, 237 = 4*i - 3*h. Let k be i/15 + (-12)/15. Is 3 a factor of 7 - ((-6)/k - -6)?
True
Let t be (222/(-4))/(1/(-2)). Suppose 77 = 4*b - 331. Suppose 0*z = -3*x + z + t, -3*x = 2*z - b. Is x a multiple of 9?
True
Let w = -47 - -42. Let t = w + 11. Suppose -t*f + f + 70 = 0. Does 14 divide f?
True
Suppose 5*s - 4*a = 31189, s = 2*a - 3630 + 9869. Is 25 a factor of s?
False
Let i = 1103 - -13018. Is i a multiple of 18?
False
Let j(m) = m**2 + 12*m - 1. Let g be j(-5). Let n = 39 + g. Suppose -33 = -4*q + q + 3*a, n*a = -4*q + 30. Is q a multiple of 2?
False
Suppose -5*q - 2*k - 6 = -0*q, -2*k - 6 = -4*q. Let p(f) = f**3 - f**2 - 11*f + 1131. Does 13 divide p(q)?
True
Suppose -5*d + 15 = -2*d. Suppose 0*l = -5*l - 4*w - 1630, w + d = 0. Is 37 a factor of 3*(3 - (-3 - l/(-6)))?
False
Let s be (-297)/(-12) + 5/20. Let c(w) = w + 66. Does 13 divide c(s)?
True
Let i be (-2 + 3)/((-7)/581). Let w = 88 + i. Suppose -2*s - 5*p = -425, -w*s + 5*p = p - 1112. Does 44 divide s?
True
Suppose -296*d + 1757595 - 885545 = -3307470. Is d a multiple of 92?
False
Let v(x) = 15*x**2 + 22*x + 1144. Is 72 a factor of v(-22)?
True
Let z(y) = -4*y + y**2 + 2 + 10*y**2 - 164*y**3 + 174*y**3 - 9*y**2. Is 9 a factor of z(2)?
False
Suppose n + 3*o - 7424 = 0, -5*n + 2*o = 10936 - 47988. Does 68 divide n?
True
Suppose 5*k + l - 61 = 0, 10 - 95 = -5*k + 5*l. Let a be ((-2)/(-4))/(k/(-546)). Does 6 divide -30*(24/a - (-5)/35)?
True
Suppose -2*u - 9*l = -13*l + 16, 5*u + 79 = -3*l. Let x(j) = j**3 + 22*j**2 + j + 2. Is x(u) a multiple of 15?
False
Suppose -132*r + 2*z + 32392 = -127*r, 19430 = 3*r + 4*z. Is 41 a factor of r?
True
Suppose -47 = -4*r + 105. Let h(a) = a + r + 2*a - 3*a + a. Is 17 a factor of h(-21)?
True
Let i(f) = -f**2 + 4*f + 22. Let p be i(0). Suppose p*a - 23*a + 59 = -5*g, -5*a + g + 415 = 0. Does 21 divide a?
True
Suppose 2*x = -s - 11, -5*x - s - 14 = 9. Let d(b) = -165*b + 135. Is 53 a factor of d(x)?
True
Suppose 2*w - 5*l - 83289 = 0, 7*l - 8*l + 166479 = 4*w. Is 42 a factor of w?
True
Suppose -176816 = -24*x + 4984. Does 75 divide x?
True
Suppose -3*j = -t - 26954, -70*j - 8950 = -71*j - 4*t. Is j a multiple of 30?
False
Suppose 0 = -7*k - 643867 + 214627. Is 28 a factor of (8/(-10))/(73/k)?
True
Let y(s) = 33*s - 162. Let h be y(11). Suppose 0 = 5*b - 1206 + h. Is b a multiple of 5?
False
Suppose 264*y = 382*y - 577728. Is y a multiple of 32?
True
Suppose -5*d = 17*d - 88. Suppose -1012 = -d*m - 4*q, 13*m = 8*m + 5*q + 1245. Is m a multiple of 31?
False
Let y(g) = 4*g**2 + g - 1. Let l(f) be the first derivative of f**4/4 - 8*f**3/3 + 2*f**2 + 18*f + 21. Let u be l(7). Is y(u) a multiple of 3?
False
Is 18 a factor of 4/(48/2862)*(41 + -25)?
True
Let x be (-774)/(-14) + 1 - (-8)/(-28). Suppose 59*n - 1215 = x*n. Is n a multiple of 81?
True
Let u be ((-1)/(-2)*-3)/(76/(-167656)). Suppose u - 670 = 7*l. Does 13 divide l?
True
Suppose -6*x + 16 = -8. Suppose -14 = -x*y + 2*r, 3*y - 4*r - r = 21. Suppose -2*h + 5*m + 76 = 0, 0*m + 4*m = -y*h + 94. Is h a multiple of 6?
False
Let q(o) = -o + 4. Let j be q(4). Let v = 430 + -416. Suppose 2*b = -n + v, j*n + n + 5*b - 29 = 0. Does 2 divide n?
True
Let i(l) = 4*l**2 + 157*l + 16240. Is 10 a factor of i(-70)?
True
Let q be (-96)/(-60)*(-20)/8. Is ((-24)/3 - q) + 6 + 12 a multiple of 7?
True
Let n(t) = 96 + 219 + 2*t + 43 - 13*t**2 + 9*t**2. Let j(x) = 2*x - 4. Let b be j(2). Is n(b) a multiple of 33?
False
Let q be 0 + 304 + 1 + 2. Let f(o) = o + 2*o**2 - 306*o**3 + 5*o**2 + 4 + q*o**3. Is f(-6) a multiple of 34?
True
Let k = -156 + 154. Let p(d) = 80*d**2 - 3*d - 2. Does 12 divide p(k)?
True
Suppose 7 = 2*t + 2*p - 7, -t + p = 3. Let h(b) = 72*b - 141. Let z(u) = -18*u + 35. Let a(y) = t*h(y) + 9*z(y). Is a(-8) a multiple of 59?
True
Suppose -c = -88 + 29. Let y(w) = 5*w**3 + 60*w**2 + 61*w + 30. Let g be y(-11). Let j = c + g. Is 3 a factor of j?
False
Suppose -53*l = 10*l - 497102 - 751558. Is 20 a factor of l?
True
Let q = -1441 + 1629. Is q a multiple of 94?
True
Does 2 divide (52 - -862) + 2 + 7?
False
Does 6 divide ((-2)/(-3))/(31/4630284*36)?
True
Let r(t) = 3*t**2 + 16*t + 12. Let u(d) = 3*d + 9. Let c(v) = -4*v - 13. Let o(f) = 5*c(f) + 7*u(f). Let p be o(-6). Does 18 divide r(p)?
False
Suppose -4*s = 4*j, 2*s + s = 3*j + 12. Let y = -54 - j. Is (y/(-6) + -9)/(1/(-39)) a multiple of 4?
False
Suppose -2*g = -7*g. Suppose -3*y - 2*z - 173 = g, -2*y = -3*z + 199 - 62. Let f = y + 89. Is 9 a factor of f?
False
Suppose 3*t - 27 + 11 = -2*d, 0 = 5*t + 5*d - 35. Suppose -8 = -t*s - 24. Is 2 a factor of (3 - 6 - 0)*s?
True
Suppose 0 = -3*s + 5*f - 21 - 2858, 3*s + 2889 = 3*f. Let m = s - -1364. Is m a multiple of 11?
True
Let t = 113 + -108. Suppose -263 = 3*y - t*p, y - 4*p - 190 = 3*y. Is 18 a factor of (y + -5)/((-1)/(-6)*-2)?
True
Let b(g) = -516*g - 436. Is 98 a factor of b(-13)?
True
Suppose 18207 - 243419 = -52*p. Is 12 a factor of p?
False
Suppose 5*o = 2*q + 1, -2*q = 2*q + 12. Let a(b) = 64*b**3 - b**2 - 2*b - 2. Let h be a(o). Does 9 divide h/(-3) - 2*1/3?
False
Let s(g) = 549*g - 1195. Is 31 a factor of s(6)?
False
Let c(j) =