/(-10). Suppose i - 5*i = q*r - 404, 3*r - 111 = -i. Is i a multiple of 16?
True
Let k be 4/(-6)*(-9)/3. Let l = -2 + k. Suppose -80 = -4*a - p - 2*p, 3*a - 2*p - 60 = l. Does 5 divide a?
True
Let b(a) = a**2 + 9*a + 11. Let j be b(-6). Let g be 1 + 1 + 8 + j. Suppose -2*u - 4*c = -62, g*u - c - 108 = -4*c. Is 7 a factor of u?
False
Let o = -10 - -12. Suppose -s + 1 = -o. Suppose -2*c = 4*p - 2*p - 86, -p - s*c = -53. Is p a multiple of 9?
False
Let o be (-11)/(220/(-96))*(-25)/(-10). Let c = 88 + o. Does 20 divide c?
True
Let y(l) = 13*l + 7. Let t(a) = 25*a + 14. Let g be -3*(1 + 10/(-6)). Let w(r) = g*t(r) - 5*y(r). Is 29 a factor of w(-8)?
False
Let x = 16 + -7. Let m be (-3 - -4)*5*1. Suppose -2*l - l + m*o = -x, 15 = 5*o. Does 8 divide l?
True
Let b(v) = -6*v + 3. Let g(z) = z - 1. Let k(x) = -b(x) - 5*g(x). Let i be k(2). Suppose 3*j = a - 2*j - i, 8 = 2*j. Is 4 a factor of a?
True
Let n(h) = -4*h**2 + 45*h + 10. Does 21 divide n(11)?
True
Let u(z) = z**2 + 14*z - 5. Let p be u(-15). Let f = -9 - -15. Is 45/p*8/f a multiple of 6?
True
Is 65 a factor of 158096/152 + 2/(-19)?
True
Let y(i) = 12*i - 21*i + 101 + 4*i. Is y(-32) a multiple of 29?
True
Let t be (-12)/2*(-18)/27. Suppose -2*h + 114 = -0*h + t*k, 0 = 3*k - 15. Does 11 divide h?
False
Is -107*18/(-15)*(-40)/(-12) a multiple of 7?
False
Does 63 divide 7*1 + 821 + 40?
False
Let r = 41 - -129. Let l(b) = -b**2 - 20*b + 24. Let g be l(-21). Suppose -r = -g*k - m, k - 4*m = -3*m + 58. Does 19 divide k?
True
Let g = 572 - 360. Let d be g - (20/(-4) + 2). Suppose w = 6*w - d. Is 19 a factor of w?
False
Suppose 3*n = 2*n - 3*n. Suppose n = 3*v + 3*k - 4*k - 503, 4*k = -v + 172. Is 32 a factor of v?
False
Let p(r) = -418*r - 31. Does 9 divide p(-1)?
True
Suppose -3*t - 134 + 5 = 0. Let b = 9 + t. Let v = b + 88. Is v a multiple of 18?
True
Suppose 5*i - 79 = 726. Is i a multiple of 3?
False
Suppose -10*o = -7*o - 6. Suppose 5*u + 4*i = 136, i + 0 = o*u - 57. Is 7 a factor of u?
True
Let q(i) = i**2 - 8*i - 22. Is q(-21) a multiple of 20?
False
Let h(r) = r**3 + 68*r**2 + 336*r + 25. Does 37 divide h(-62)?
True
Let q be 2 - 3/((-9)/3). Suppose 48 = 5*d - 3*z - 78, -114 = -5*d - q*z. Is d a multiple of 8?
True
Let q be (-1)/(((-6)/(-1191))/2). Let t = -173 - q. Let o = -149 + t. Does 23 divide o?
False
Let a = 1155 - 296. Suppose 2*m - 3*o = 228 + 109, 5*m = 2*o + a. Is 15 a factor of m?
False
Let d = -344 - -684. Suppose -5*l + 2*j + 111 = -d, 2*l + 4*j = 190. Does 13 divide l?
True
Let a be (-8 + 7)*(-4)/2. Suppose -2*i + i - 5 = -a*p, 0 = -4*i + 3*p + 5. Suppose 0 = 4*k - 3*b - 184, -5*k - i*b = -0*k - 230. Is 23 a factor of k?
True
Suppose 0 = -26*z + 17093 + 67. Is z a multiple of 12?
True
Let f(z) be the second derivative of z**3 - 7*z**2 + 32*z. Is f(9) a multiple of 12?
False
Let d = 25 + -20. Suppose -d*v = -2*v + 5*z - 107, 186 = 4*v - 2*z. Does 11 divide v?
True
Suppose 2*o - a + 62 = 0, -3*o - 41 - 59 = -5*a. Let m be (4/(-6))/((-2)/174). Let j = o + m. Is j a multiple of 9?
False
Let k(s) = s**2 - 2*s + 16. Let x be 3*(-3 - -2) - (17 - 14). Is k(x) a multiple of 20?
False
Let p(d) be the third derivative of d**6/120 + 13*d**5/60 + d**4/8 - 13*d**3/6 - 5*d**2. Let c be p(-11). Is (-12)/36 + c/3 a multiple of 17?
False
Let u = 24 - -181. Let p = -145 + u. Is 5 a factor of p?
True
Suppose 0 = 20*s - 18*s - 26. Suppose -2*w = -s + 7. Suppose 198 = 3*v + 4*c, 6*c - w*c = 5*v - 359. Is 14 a factor of v?
True
Suppose d - 8125 = -24*d. Does 7 divide d?
False
Let q(s) = -10*s - 4. Let x(n) = -19*n - 8. Let w(p) = -5*q(p) + 2*x(p). Does 13 divide w(4)?
True
Let z = -1471 - -2729. Does 74 divide z?
True
Let y = 113 - 46. Is y even?
False
Suppose g = -u + 48 + 8, -g + u = -56. Is g a multiple of 10?
False
Let s = 1775 - 1629. Is s a multiple of 2?
True
Let f(k) be the second derivative of 5*k**4/4 - k**3 - 3*k**2/2 - k. Suppose 0 = 5*p - 25 + 35. Is f(p) a multiple of 23?
True
Let i(m) = -5*m - 2. Let n be i(-1). Suppose 3*o - 2*o - 50 = 4*c, n*o - 2*c - 180 = 0. Is 9 a factor of o?
False
Let x = -37 + 40. Suppose -49 - 92 = -x*v. Is 13 a factor of v?
False
Suppose 53 = 4*q + 17. Let r = 13 - q. Suppose -6 = r*v - 306. Is 15 a factor of v?
True
Let m be 110/(-12) + 8*(-8)/(-384). Let o(u) = -4*u. Let r(d) = -11*d. Let y(w) = -8*o(w) + 3*r(w). Does 9 divide y(m)?
True
Suppose -4*r - 1 = -13. Suppose 2*v - 300 = -r*l, l - 2*v = -v + 105. Is 21 a factor of l?
False
Let s = 75 - 55. Suppose s*w = 15*w + 465. Does 18 divide w?
False
Suppose 0*k - 3*k + 54 = 0. Let z be k*1 - (3 - 3). Suppose -j + 8 + z = 0. Is 13 a factor of j?
True
Suppose -23*l - 95 = -3*z - 28*l, -z + 45 = -5*l. Does 3 divide z?
False
Let j be (-3 + -1)*(-2)/8. Suppose -2*q + 5 = j. Suppose 5*d + 25 = 3*f, 3*f - f - 38 = -q*d. Is 6 a factor of f?
False
Let r(t) = -2*t**3 + 54*t**2 + 34*t - 128. Is r(26) a multiple of 42?
False
Let b = 23 - 13. Let w = b + 90. Does 26 divide w?
False
Let v = -8 - 18. Let a = -17 - v. Is a a multiple of 3?
True
Let h = -13 + 17. Suppose 3*k = -x - 4, -k = 4*k - x - h. Suppose 5*r + 4*n - 3*n - 267 = k, 264 = 5*r + 2*n. Does 18 divide r?
True
Suppose 10275*p - 10266*p = 13230. Is 7 a factor of p?
True
Let k = 823 + -469. Is (-5)/3*(-14)/35*k a multiple of 59?
True
Let j(p) = -p**3 - 2*p**2 + 2*p + 3. Let v be j(-2). Does 4 divide (9 - v)*12/15?
True
Let t = 321 + 297. Does 4 divide t?
False
Let i = 24 + -129. Let s = i - -162. Is 4 a factor of s?
False
Suppose -4*k - 90 + 94 = 0. Does 49 divide ((-1)/(-2))/(k/122)*1?
False
Let m(g) = g**2 - g + 4. Let z be m(0). Let q = z + -1. Suppose 4*y = n + 30, q*n + 37 = 4*y + 11. Does 2 divide y?
True
Let a(o) = -o**2 - 15*o + 7. Suppose -24 + 69 = -3*l + 2*h, -3*h = 2*l + 17. Let y be a(l). Suppose y = 8*f - 127. Does 4 divide f?
True
Let a be (-1)/(-2)*0 + -1. Let f be (-2 + 3)*a - 24. Does 3 divide 4/(-10) + (-85)/f?
True
Let d(m) = -m**3 - 8*m**2 - 9*m + 2. Suppose -4*k + 56 = -5*w, 1 + 59 = -5*w + 5*k. Is 13 a factor of d(w)?
False
Let p(d) = 5*d**2 - d - 7. Let k be p(3). Let v = 115 - k. Does 27 divide v?
False
Let d(k) = -k**3 - 11*k**2 - 37*k + 1. Is 21 a factor of d(-8)?
True
Let z(q) = q**3 + 11*q**2 + 8*q. Let u be z(-10). Suppose -13 = 3*i + o + 27, u = -i + o. Does 14 divide 7/(i/18 - -1)?
True
Let g(a) = -a + 8. Let j be (-20)/(-170) - 200/(-34). Let d be g(j). Suppose -r + 60 = 5*l, d*r - 92 = -0*l + 4*l. Is 10 a factor of r?
True
Is (-6)/5*5*-4 a multiple of 2?
True
Let k = 669 + 803. Suppose -147 = 5*x - k. Is 19 a factor of x?
False
Let h = -112 + 63. Let n = 139 + h. Is 10 a factor of n?
True
Suppose 3*d = -2*w + 1367, -5*d = 5*w - 10*d - 3380. Is w a multiple of 9?
False
Suppose -o - 3 = -5. Suppose -5*m - o*t = -9, 2*m - 2*t = -3*m + 21. Suppose 4*s - 28 = -2*x, m*s - 7*s + 8 = 0. Does 10 divide x?
True
Let b = -142 + 397. Suppose 0 = 3*r - 798 + b. Is 51 a factor of r?
False
Let q = 2629 + -1836. Is q a multiple of 13?
True
Let d(z) = z + 33. Let l be d(-12). Let u(f) = -f**2 + 20*f + 24. Does 2 divide u(l)?
False
Suppose -37 = f - 3*v, 5*v - 3*v = f + 33. Let q = 27 - f. Is q a multiple of 13?
True
Suppose 0 = -36*x + 46*x - 1200. Suppose 31*m + x = 34*m. Is 5 a factor of m?
True
Let c(q) = -2*q + 12. Let u = 22 + -25. Let x(b) = 2*b + 1. Let h be x(u). Is c(h) a multiple of 3?
False
Suppose 124 = 5*d + 5*f - 26, -5*d + 4*f = -141. Let y = d + -5. Is y a multiple of 24?
True
Let g = 32 - 32. Suppose 2*d + 0*d - 40 = -2*o, 2*o - 2*d - 24 = g. Does 7 divide o?
False
Let g(l) = -12*l + 2. Let m be g(1). Let u = -8 - m. Suppose 97 = 4*p + a, 0 = -u*p + p - a + 25. Does 11 divide p?
False
Suppose 167154 = 46*h - 13902. Is 123 a factor of h?
True
Let k be 12 + (3 + -2 - 2). Let a(x) = -3*x - k*x + 27*x. Is a(1) a multiple of 13?
True
Let n(c) = -c**3 - 16*c**2 - 4*c + 23. Let s be n(-16). Let v = 93 - s. Is v a multiple of 5?
False
Let p(v) = -v**2 - 10*v + 6. Let w(c) = -c**3 - 6*c**2 + 7*c - 10. Let j be w(-7). Let n be p(j). Does 7 divide n/9 - 80/(-6)?
True
Let l(d) = 6 - 389*d - 1 + 380*d. Is l(-8) a multiple of 7?
True
Suppose 35*b = 33*b + 952. Is b a multiple of 68?
True
Suppose -11*j = -14*j. Suppose j = 4*d - 2*c - 242, 4*d - 3*c = 40 + 199. Suppose -6*v + 82 + d = 0. Is v a multiple of 24?
True
Suppose -l = 35 - 23. Let