se 0*m + 2*m = a. Is m a multiple of 10?
True
Suppose 0 = 2*n + 2*y - 12, -4*n - 3*y + 2*y = -18. Suppose 8 = -2*o + 3*o - n*s, 2*o + 4*s - 40 = 0. Let p(d) = d + 25. Is p(o) a multiple of 11?
False
Suppose -44*a - 1 = -43*a. Let g(f) = -377*f - 17. Is 40 a factor of g(a)?
True
Suppose -g + 137 = -85. Let b = -13868 - -13871. Suppose b*w - 3*o - 660 = 0, 3*o = w + o - g. Does 31 divide w?
False
Let r(d) = -3*d**2 + 106*d - 37. Let v be r(35). Let y(f) = -57*f**3 + 3*f + 9. Is 10 a factor of y(v)?
False
Let i(f) = -2*f**2 - 25*f - 10. Let c be i(-12). Suppose b + 40 = 5*g - g, -5*g - c*b = -50. Suppose -454 = -g*n - 54. Is 20 a factor of n?
True
Suppose -14298 = -9*a - 1743. Is 15 a factor of a?
True
Suppose -13*j = -10*j + 9. Let h = j - -6. Suppose -2*q + 3*z = -239, 135 = 4*q + h*z - 298. Is q a multiple of 18?
False
Let s be 7/(14/(-198))*(-3 + 0). Suppose 3*z + s - 753 = 0. Suppose z + 30 = 4*m + 5*x, -2*m = -4*x - 78. Does 11 divide m?
False
Suppose -g + 27024 = 4*h + 4483, -5*g + h = -112768. Is 30 a factor of g?
False
Suppose -62451 - 80512 = -67*s + 170530. Does 8 divide s?
False
Suppose -3*k = 2*w + 2, 5*w - 2*k - 28 = w. Suppose -2*n = -s - 14, -2*n - w*s + 4*s = -18. Suppose n*z - 7*z = 44. Is z a multiple of 22?
True
Let g = -220 + 220. Suppose 4*a - 1273 + 165 = g. Does 16 divide a?
False
Suppose v + 5718 = -30*o + 34*o, -o + v + 1434 = 0. Is 17 a factor of o?
True
Let w(n) = n**3 + 9*n**2 + 6*n + 4. Let t(o) = o**3 - 10*o**2 + 12*o + 1. Let m be t(9). Suppose -4*c - 7 = i, 4*i = -2*c + 7*c - m. Is 17 a factor of w(i)?
False
Let x be (-260)/(-22) - 6/(-33). Suppose 15 - x = n. Suppose m = -4*l + 3*l + 64, 3*m = n*l - 168. Does 8 divide l?
False
Let l = -175 + 225. Does 12 divide (l + 4)*4/1?
True
Suppose o = -5*m + 200, -o + 4*o = 2*m + 651. Suppose 115 + o = 22*q. Does 2 divide q?
False
Let w = 17351 - 977. Is 37 a factor of w?
False
Suppose -k - 5*d = -3, -4*k - 4*d = -3*k - 3. Let g be (-29)/(-6) - (-8 + 423/54). Is 5 a factor of k + (g/1)/((-10)/(-4))?
True
Suppose 0 = -q + d + 59 + 4, -3*d + 6 = 0. Is 3 a factor of (105/20)/(-1 - q/(-60))?
True
Suppose 5*s = q - 11180, 5*s + 13260 = 2*q - 9085. Is 11 a factor of q?
True
Let p be -192*(0 + 29/(-4)). Suppose 3*j + 1062 = 3*h, 0 = -4*h - 101*j + 97*j + p. Is 27 a factor of h?
True
Suppose 0 = 2708*x - 2707*x - 456. Is 38 a factor of x?
True
Suppose 4*b - n + 4 = 15, -4*b + 10 = -2*n. Let a be (16/b)/(2/3). Let x(o) = 5*o**2 - 9*o - 16. Does 14 divide x(a)?
False
Is (-9 + 5)*-3019 + (4 - 6/3) a multiple of 152?
False
Suppose 15834 = 4*u - 15482. Does 114 divide u?
False
Let r = 18 + -21. Let m be 0/2 - (-6)/(-9)*r. Suppose 4*f - m*k - 384 = 0, -3*k + 8 = 20. Is f a multiple of 12?
False
Suppose -4*k - 67 = -599. Let w = k - 73. Does 15 divide w?
True
Let q(v) = 4*v**2 + 20*v - 20. Does 7 divide q(-12)?
False
Suppose h + 17 = 23. Suppose -3*p - 4*t + 1137 = 0, -h*t = -7*t + 3. Is p a multiple of 15?
True
Suppose -3*d - 1675 = 16*d - 17065. Does 9 divide d?
True
Suppose -3*t - 4200 - 5784 = -15*t. Is t a multiple of 3?
False
Is ((-50874)/(-305))/(-5*(-6)/4300) a multiple of 86?
True
Does 8 divide 955 - (2 + 13)/(-3)?
True
Is ((-750)/(-225) - (-4)/6) + (5265 - -10) a multiple of 11?
False
Suppose l - 303 = -5*c + 866, 5*l = 5*c - 1145. Let p = -170 + c. Is 9 a factor of p?
True
Let r = -95 - -97. Suppose -a + 3*u = -5*a + 516, -r*a + 2*u + 244 = 0. Is 18 a factor of a?
True
Let g(c) = 520*c - 512*c - 4866 + c**2 + 4877. Let t = 17 - 26. Is g(t) a multiple of 8?
False
Suppose 2*t + 3*c = 270, -4*c = -14*t + 10*t + 480. Is 9 a factor of t?
True
Is 384449/39*(90/35 + 9/21) a multiple of 47?
False
Suppose 28 = 3*z + z. Let t be z*4*1/(-2). Does 13 divide (-65)/(-3)*(-8 - t)?
True
Let t = 7563 - 5114. Is t a multiple of 79?
True
Let v = 193 - 188. Suppose 4*x + 2*k = 846, -k = -v*x + 4*k + 1035. Is 70 a factor of x?
True
Let l(q) = 105*q + 2180. Does 58 divide l(-18)?
True
Let d be (21/(-14))/((-3)/4). Suppose 0 = 3*u - d*u - 480. Suppose 4*l - u = -4*f, -2*f + 645 = 3*f - 4*l. Does 33 divide f?
False
Let w = 423 + -421. Suppose -m - w*m + 4*l = -2836, 4*m - 2*l - 3798 = 0. Is 56 a factor of m?
True
Let v be (-1095)/(-10) - 5/10. Let k = v + -107. Suppose 128 = k*r - r. Is r a multiple of 38?
False
Suppose 2*c + 23 = 5*g, -2*c - 4 + 6 = 0. Does 3 divide 31 - g/20*(1 - 5)?
False
Let i(z) = -2*z**2 - 2*z - 8. Let p(u) = 2*u**3 + 8*u**2 + 3*u + 5. Let m be p(-4). Let j be i(m). Let y = -71 - j. Is 21 a factor of y?
True
Let i be 3 + (-3 - (-5 + 3)). Let o(z) = 75*z**2 - 5*z + 5. Let s be o(i). Suppose 0*j + 4*w = -3*j + 207, -4*j + w + s = 0. Is j a multiple of 17?
False
Suppose n = -0*u - 2*u + 33, -n - 5*u = -45. Suppose 2*c - n = 5*y, y - 45 = -5*c - 4*y. Suppose -3*d = c - 40. Is d a multiple of 2?
True
Let f(j) be the first derivative of j**4/2 - 3*j**3 - 2*j**2 - 16*j - 22. Is f(7) a multiple of 49?
False
Let m(w) = -w**2 - 67*w + 1337. Is m(-53) a multiple of 3?
True
Suppose 25 = 5*t + 4*u, -2*t + 6*t = -3*u + 20. Suppose 3*f + 105 + 146 = -t*s, 3*f + 3*s = -243. Let y = 90 + f. Is 13 a factor of y?
True
Let p be -4 + 3 + 6 + 2*3. Does 6 divide (1*p/(-4))/((-3)/144)?
True
Let b(q) = -366*q**3 - 12*q**2 - 17*q + 3. Does 21 divide b(-3)?
True
Suppose 0 = 24*x - 493 + 11269. Let f = x - -526. Is f a multiple of 11?
True
Suppose 0 = -11*f - 16033 + 50133. Is 62 a factor of f?
True
Suppose 2*w - 3*a + 94 = -5*a, -w + 4*a - 42 = 0. Suppose 6 - 114 = -v + j, -4*v = 3*j - 439. Let f = v + w. Is f a multiple of 13?
False
Suppose 2*f - 4 = 2*i, -i + 8 = 3*f - 5*i. Suppose -r + 0 - 2 = 5*a, 2*r - 5*a + 4 = f. Does 3 divide -2*(r - 4 - 4)?
False
Let z(r) = -r**3 - 5*r**2 - r - 7. Let i be z(-7). Let g = 70 + -139. Let x = i + g. Does 5 divide x?
False
Let o(z) = 57*z**2 - 3*z - 2. Let u = 466 - 464. Is o(u) a multiple of 22?
True
Is 3808/((-21)/60 + ((-65)/(-25) - 2)) a multiple of 34?
True
Let u be 1*-9*(0 - 13145/33). Suppose 3*k = 3*d + 15, -d = 4*k + d - 14. Does 28 divide (-10)/k + u/10?
False
Suppose 159*x - 3445773 - 1045182 = 0. Is 269 a factor of x?
True
Let w(c) = -4*c**2 + c - 1. Let g be w(1). Let u(r) = -3*r - 12. Let x be u(g). Suppose x = 2*j + 4*j - 858. Is 13 a factor of j?
True
Let w be 29/(-203) + 2/((-28)/306). Does 34 divide (w + 28)*34*1?
True
Suppose 0 = -37*o + 171915 + 403324. Is o a multiple of 11?
False
Let w = 34518 + -18470. Does 68 divide w?
True
Let s = 33507 + -23697. Does 9 divide s?
True
Let d(t) = -4710*t - 1410. Is 23 a factor of d(-5)?
False
Suppose 12 = -4*f + 4*i - 7*i, 12 = 2*f - 3*i. Suppose -3*n - 399 + 1627 = 4*s, 5*n - 2*s - 2012 = f. Does 69 divide n?
False
Suppose 38*c - 50997 = c + 40689. Does 118 divide c?
True
Suppose f - 7416 = 5*p + 8539, 5*f = -3*p + 79747. Is 110 a factor of f?
True
Let w be ((-390)/(-30))/(1/(-11)). Let a = 255 + w. Is a a multiple of 104?
False
Let i(u) = 31*u**3 - 2*u**2 + u + 2. Let o be i(-1). Let b = 320 + o. Is 36 a factor of b?
True
Suppose -6201 = -20*j + 9*j - 2*j. Is j a multiple of 9?
True
Let x(c) = 6964*c - 3642. Does 6 divide x(3)?
True
Let p(v) = -100*v - 350. Let q(t) = t + 2. Let d(n) = -p(n) - 75*q(n). Is d(19) a multiple of 27?
True
Let g(i) = 10 - i**3 - 36*i - i**2 + 2*i**2 - 13*i**2 - i**2. Does 5 divide g(-10)?
True
Is -3 + (230/(-14))/(-5) + 368577/77 a multiple of 11?
False
Let c(f) = 1096*f - 15792. Does 24 divide c(21)?
True
Let h be (1 + (-10)/15)*321. Let q = h + -108. Let o(w) = -36*w**3 - w**2 - w. Does 7 divide o(q)?
False
Let h = 148 - 143. Suppose 1 = 4*o + 13, 2*x - h = -3*o. Does 7 divide x?
True
Let s = 338 - 337. Does 22 divide s/(-16) + 71820/192?
True
Let x(d) = 3*d**2 + 9*d + 21. Let n(m) = -6*m**2 - 19*m - 43. Let r(z) = 2*n(z) + 5*x(z). Let k be r(-8). Let g = k - 62. Is g a multiple of 11?
False
Let w(n) = -203*n - 310. Does 43 divide w(-10)?
True
Let l(x) = 442*x**2 + 158*x - 158. Is 13 a factor of l(1)?
True
Suppose 3*f + 2*r + 3 = 2, 0 = 5*f - r - 7. Let m(a) = a**2 - 4*a**3 + 3*a - a + f - 6*a**3 + 26*a**3. Is m(2) a multiple of 25?
False
Suppose 0 = 8622*b - 8657*b + 776160. Does 36 divide b?
True
Let x = 15620 + -14281. Does 12 divide x?
False
Let q(w) = w**3 - 3*w**2 - 2*w - 3. Let x be q(4). Suppose 5*g = 5*h + 10, -4*g + 2 = -x*g - h. Suppose -6*s + g*s + 1716 = 0. Is 