 m*o = 84 + 176. Is o a multiple of 31?
False
Let m be 5/(15/2)*48/2. Suppose -m*x + 9 = -13*x. Suppose 5*a + 5*f = 1535, 0 = 3*a + f - x*f - 916. Is a a multiple of 51?
True
Suppose 2*r - 44 = 3*u, -4*u + 4*r = r + 57. Is 35620/90 + (-4)/u a multiple of 9?
True
Let l be (-6)/8*-2*2. Suppose l*k - 5*y - 200 = -0*y, -2*y = k - 74. Is 35 a factor of k?
True
Let y(i) = 28*i + 105. Let h = 119 - 113. Does 8 divide y(h)?
False
Suppose 5*r - 590 = 1245. Is r a multiple of 123?
False
Let w = -47 - -52. Suppose 5*i - 6*p = -2*p + 32, w*p = 5*i - 35. Suppose 2*k = k - 4*o + i, 0 = 4*k - 4*o - 76. Is 8 a factor of k?
True
Suppose -3*x + 25*k = 24*k - 15286, 5*k = -20. Is x a multiple of 10?
False
Suppose 8*q - 180 = 84. Suppose 5824 = -q*x + 41*x. Is x a multiple of 47?
False
Suppose -n = -0*n, n = 5*l + 60. Is 17 a factor of (-7)/42 - 3266/l?
True
Let t(h) = -2*h**2 - 14*h - 18. Let i be t(-4). Suppose -8 = 2*s, -3*u + 4*s - i*s = -946. Is 53 a factor of u?
True
Suppose -2*t - 72 = -3*t + 4*h, 3*t - 5*h = 237. Suppose -t = 2*b - 650. Does 8 divide b?
False
Let b(c) = 65*c - 29. Suppose -j + 3 + 3 = x, 3*x + 4*j - 17 = 0. Let s be b(x). Suppose -4*h = h + 3*i - s, 2*i = -2*h + 172. Is 23 a factor of h?
False
Suppose 2*l - 5*l + 1680 = -j, -2*l - 2*j + 1120 = 0. Does 8 divide l?
True
Let i be -1 + 12/6 + 4. Suppose -2*g - i*r + 976 = 0, 6 = -r + 4. Is g a multiple of 42?
False
Suppose -2*w + 5*z + 11577 = 10649, -2*w - 4*z = -928. Does 16 divide w?
True
Suppose -2*k + 23768 = 4*q, -5*k - q = 4*q - 59440. Is 6 a factor of k?
True
Let g(h) = -24*h + 10016. Is 56 a factor of g(65)?
True
Let t(h) = -7*h + 72. Let z(o) = 20*o - 216. Let s(r) = -11*t(r) - 4*z(r). Suppose 0 = 2*b - 5*m + 8, 17*m = -4*b + 16*m - 82. Is s(b) a multiple of 13?
False
Let b = -15 + 15. Suppose 2*d - 5*i - 334 = b, -3*i - 8 = 2*d - 326. Is d a multiple of 6?
True
Suppose 6*k - 2*k + 11*s - 150157 = 0, 0 = k - 5*s - 37516. Is 79 a factor of k?
False
Suppose 8*n + n + 160395 = 24*n. Is 17 a factor of n?
True
Let k(u) = -7*u - 11. Let s(z) = z. Let d(l) = k(l) + 6*s(l). Let n be d(-14). Suppose 0 = n*t - 76 - 92. Does 10 divide t?
False
Suppose -26*s + 22*s - 320 = 0. Let b = -151 - s. Let o = b + 129. Is 29 a factor of o?
True
Let r = -471 + 473. Suppose 0 = 4*z - r*p + 396 - 2836, z - 604 = -p. Is z a multiple of 32?
True
Let r(d) = 4*d**2 + 40*d + 2. Let j be r(-10). Suppose 4*n + j*q = 3*q + 236, -4*n = 5*q - 212. Is n a multiple of 13?
False
Let m(o) = -o**3 + o**2 + 3*o - 4. Let u be m(3). Let w(d) = -d**2 - 14*d - 13. Let t be w(u). Suppose t = -23*r + 28*r - 175. Is r a multiple of 7?
True
Let f = -61 + 89. Let o = f + -50. Is 16 a factor of (-325)/(-2) + (-55)/o?
False
Let y(g) be the third derivative of -g**6/120 + g**5/60 - 7*g**3/3 - 3*g**2 - 17*g. Is y(-4) a multiple of 2?
True
Is 3 a factor of (723/964)/((45/(-8412))/(-5))?
False
Let t = -23 + 25. Let f be (t/(-2))/(0 + 4/(-20)). Suppose 2*m + 2*i = 3*i + 39, f*i = -m + 25. Is m a multiple of 3?
False
Let h(a) = 1335*a**2 + 13*a + 1. Is 12 a factor of h(1)?
False
Let c(w) = 31*w**3 - w**2 - w - 5. Let x(y) = -y**3 + 3*y**2 - 4*y + 7. Let h be x(2). Is c(h) a multiple of 82?
True
Suppose -251*m = 223184 - 1989722. Does 102 divide m?
True
Let v(m) = 481*m - 2246. Is v(7) a multiple of 13?
False
Let l(f) = 2*f + 49. Let c(p) = p + 24. Suppose 16 = -2*q + 2*b, q + 3*b - 4 = -2*b. Let y(o) = q*l(o) + 13*c(o). Is y(6) a multiple of 14?
False
Let d = 23 + -18. Let t = -1 + d. Does 9 divide t + -123*(-4)/6?
False
Suppose 0 = 3*o - 7*o + 5*i + 40285, -4*o + 40348 = 4*i. Does 7 divide o?
True
Let f = 4036 - -4405. Is f a multiple of 23?
True
Let r be 5 + 3 + (-12)/3. Suppose -r*v + 1223 - 231 = 0. Is v a multiple of 5?
False
Let v(k) = -238*k + 64. Is 82 a factor of v(-8)?
True
Let p(c) = -7*c + 214. Let v be (-12)/(-15) - (-1089)/45. Is 29 a factor of p(v)?
False
Is (44/(-3)*(-165)/25)/((-80)/(-9200)) a multiple of 11?
True
Suppose -13*s + 6*s = 777. Let d = s - -113. Suppose 0 = d*g - 4*g + 3*m + 176, 0 = -2*g + 4*m + 174. Does 13 divide g?
True
Let s(y) = -y**2 + 14*y - 43. Let f be s(6). Suppose 0 = 2*d - f*q - 1030, 2*d + 3*q - 424 = 574. Is 53 a factor of d?
False
Let j be 4/(-32) - 117/24. Is ((-425)/10 - j)*-12 a multiple of 25?
True
Suppose 5*d - 3380 = -5*u, -2*d - 3352 = -26*u + 21*u. Let t = -288 + u. Is t a multiple of 8?
True
Let j(g) = -425*g - 6289. Does 5 divide j(-20)?
False
Suppose 74*u + 210242 = 108*u - 67334. Is u a multiple of 13?
True
Let v(w) = 25*w**2 + 61*w + 855. Is v(-17) a multiple of 27?
False
Let n(x) = -396*x**3 - 11*x**2 - 8*x - 9. Is 102 a factor of n(-2)?
False
Suppose 4*n + 24026 = -75*m + 80*m, -m - 5*n + 4811 = 0. Does 22 divide m?
False
Is (3 - (-31852)/(-12))/(268/(-1206)) a multiple of 66?
False
Let w be (3/(-2))/((-24)/64). Suppose 4*h - 2 = 3*g - 13, -w*g = 5*h + 37. Let c = g + 6. Is 2 a factor of c?
False
Suppose -4*s + 111 = -37. Is ((-752)/(-2))/(s - 35) a multiple of 21?
False
Suppose 108*u - 302269 + 96637 = 0. Does 14 divide u?
True
Is 40/(0 + 5) - (-178704)/51 a multiple of 31?
False
Suppose 3*g + 9 = 6. Let n be (0 + g/(-2))/(10/200). Is (294/12)/(1/n) a multiple of 28?
False
Is 7 a factor of 3/(-12) - (-59508)/144?
True
Let h(r) = 11*r + 40. Let d(y) = -9*y - 40. Let x(t) = 6*d(t) + 5*h(t). Let l be x(-9). Let p = l + 76. Does 9 divide p?
True
Let f(c) = 2*c**3 + 126*c**2 - 264*c - 80. Is f(-65) a multiple of 2?
True
Suppose 111248 = 11*d - 34425. Is 17 a factor of d?
True
Let g = -10174 - -21397. Is 29 a factor of g?
True
Let z(b) = -b**3 + 6*b**2 - 3*b - 1. Suppose n - 53 = -4*f, -5*n + 1 = -4. Let q = f + -8. Is z(q) even?
False
Let j be 9086/9 - 24/(-54). Suppose -1012 = -5*k - 4*t, -7*t + 2*t + j = 5*k. Does 12 divide k?
True
Let h = 150 + -147. Suppose -2*g + n = h*n - 850, -12 = 4*n. Is g a multiple of 8?
False
Is ((-3867)/(-6) - 0)/(372/16 + -23) a multiple of 8?
False
Let f be ((-58)/(-7 + 5))/(1/(-1)). Let u be (246/(-4))/(-3)*(f + 31). Suppose -55 - u = -2*o. Does 8 divide o?
True
Suppose 5*k = 5*f, -5*k + 4*f - 21 = -22. Is (210/9)/(k + (-25)/27) a multiple of 38?
False
Let n = -5728 - -6351. Is 4 a factor of n?
False
Let o(p) = 65*p**3 + p**2 - p - 17. Let m(y) = 64*y**3 + y**2 + y - 17. Let x(v) = 6*m(v) - 5*o(v). Does 37 divide x(2)?
True
Let y(j) = j**2 + 17*j + 30. Let v(a) = -5*a**2 - 9*a - 15. Let i be v(-2). Does 2 divide y(i)?
True
Let h(i) be the first derivative of 98*i**3/3 + 6*i**2 + 22*i - 72. Is 39 a factor of h(-2)?
True
Let z(n) = 2*n**2 - 20*n + 35. Let t be z(8). Suppose 161 = -t*r + 602. Is r a multiple of 6?
False
Let w be (-6 + 7)*(2 + -3 + 1). Suppose w = -3*l + 5*s + 1381, -2*l - 5*s + 4*s = -912. Is l a multiple of 9?
False
Let d = -1032 - -1038. Let o(f) = 2*f**3 - 11*f**2 - 11*f. Let l(r) = r**3 - 5*r**2 - 5*r. Let g(n) = 5*l(n) - 2*o(n). Is g(d) a multiple of 10?
True
Let c = 10 + -4. Let g be (-1)/2*(-9 + 1 + 8). Suppose -c*z + 614 - 86 = g. Is z a multiple of 9?
False
Let a(u) = 117*u**2 + 11*u - 37. Does 23 divide a(6)?
False
Does 131 divide 6/2 + 6*(-17961)/(-18)?
False
Suppose 4895 = 14*x - 11975. Let f = -860 + x. Is 23 a factor of f?
True
Let x = 53 + -48. Suppose -x*h + 3*l = -4*h - 212, -h + 208 = -2*l. Is 5 a factor of h?
True
Suppose 0 = -5*i - 2*v + 21, -2*i + 5*v - 10 = -6*i. Suppose 0 = 5*x - 3*l - 108, -i*x - 2*l = -91 - 12. Is 19 a factor of x?
False
Let d(n) = -n**3 - 3*n**2 - 3*n + 4. Suppose -m + 2*f = 7, m + 5*f = 3 + 4. Is 13 a factor of d(m)?
True
Let t(u) = -2*u**2 - 42*u - 40. Let m be t(-20). Is 12 a factor of m - -96 - (-8 - -12)?
False
Let f(p) = p**3 - 7*p**2 + 10*p + 4. Let t be f(8). Suppose t = y + 3*y. Let i = y - -34. Is 45 a factor of i?
False
Suppose -5*g = 4*s - 9*g - 1052, 5*g - 5 = 0. Suppose -5*f - s = -6*f. Is f a multiple of 33?
True
Suppose 44 - 14 = 5*s. Let y be 2 + 3 - (s - 6). Suppose -r + 12 = y. Is 3 a factor of r?
False
Let z(u) = 377*u - 516. Does 64 divide z(9)?
False
Suppose -116540 = -53*f + 23375 + 631659. Is 58 a factor of f?
True
Suppose -12*q + 9*q + 4*d = -125119, 3*d = -6*q + 250227. Is q a multiple of 128?
False
Suppose -5*d - 65 = -4*g + g, 2*g + d = 52. Does 65 divide 5/(-25) + 40630/g?
True
Let s(a) = a**3 + 11*a**2 + 23*a - 5. Let y be s(-8). Suppose 4*p = -0*p + y*p. Supp