i a multiple of 18?
True
Let t(r) = -9*r**3 - 8*r**2 + 19*r - 21. Let u(m) = -2*m**3 + 2*m**2 - m - 1. Let y(l) = t(l) - 5*u(l). Is 32 a factor of y(18)?
True
Suppose -9*t + 67 + 59 = 0. Let z(d) = 17*d - 73. Does 33 divide z(t)?
True
Suppose -2*a + 15373 = -i + 1345, 35070 = 5*a + 6*i. Is 14 a factor of a?
True
Let d = 218231 + -119775. Suppose -11831 = 55*m - d. Is 35 a factor of m?
True
Does 4 divide (-397 - -29)/(2/(-8))?
True
Suppose -19*y + 700 = 6*y. Suppose y*k - 715 = 7685. Is 20 a factor of k?
True
Is 9 a factor of ((-117)/(-12))/(27 + 780164/(-28896))?
True
Suppose -5*v + 1614 = h + h, 2*h = -3*v + 966. Suppose -4*a + 51 = -4*o + 387, 2*a - v = -4*o. Is 10 a factor of o?
False
Let q(l) = l**2 + 8*l - 3. Let j be q(-7). Let p(k) = k**2 + 9*k + 62. Is p(j) a multiple of 7?
False
Let v = 8755 + -7315. Is 60 a factor of v?
True
Let y(k) = -158*k + 4461. Is 27 a factor of y(0)?
False
Is (45/(-18))/((-20)/48592) a multiple of 7?
False
Let f = -154 + 160. Suppose -n + 53 - f = 0. Is 9 a factor of n?
False
Let r(q) = -q**2 + 7*q. Let p be r(6). Suppose p = -3*m - 0*m. Is (336/64)/(m/(-8)) a multiple of 21?
True
Let x = -477 + 877. Suppose 3*m = 7*m - x. Suppose 18*o = 13*o + m. Does 3 divide o?
False
Suppose 3*i = 3*m, 5*i + 5*m - 24 = 4*m. Suppose -i*z + 0*z = 0. Suppose 5*b = -s + 44 - 9, -5*s - 4*b + 238 = z. Does 10 divide s?
True
Let z(q) = -3*q**2 - 10*q - 6. Let y(b) = -12*b**2 - 14 - 21*b + 1 + 5*b**2. Let p(j) = -4*y(j) + 9*z(j). Is 5 a factor of p(9)?
True
Let g = -52 - -57. Suppose g*n - 602 = q, -2*n - 2*q + 178 + 58 = 0. Suppose 3*o - n = -5*d + 2*d, -3*o - 4*d + 115 = 0. Is o a multiple of 9?
True
Let v = -35500 - -50065. Is v a multiple of 207?
False
Let w = 28853 + 40769. Is w a multiple of 14?
True
Suppose -5*d + a = -107, -2*d = d + 2*a - 59. Does 5 divide (11*d)/(117/156)?
False
Suppose -4*u = k - 208, 2*k + 167 = 4*u - u. Suppose -121 - u = -6*a. Is a a multiple of 7?
False
Let b(j) = -2*j**2 - 4*j + 16. Suppose -2*d + 3 = v, -2*v + 3*d = -5*v - 3. Let h be b(v). Does 15 divide (h + 9)/(2/(-10))?
False
Is 685*(-2 - 8)/(-2) a multiple of 23?
False
Let b = -4092 + 7667. Is b a multiple of 6?
False
Let w = -14939 - -15461. Is w a multiple of 7?
False
Suppose -2*y = 82 + 106. Let c = y + 97. Is 21 a factor of (21/9 - 2)*c - -303?
False
Let m be 1*((-2)/(-6 - -4))/(-1). Is 676 + -3 - (0 - m) a multiple of 16?
True
Suppose -a - 4*l - 14 = 0, 5*a + l = -17 - 15. Let o be (-2036)/(-12) - 2/a. Suppose -3*u + o = 50. Is 6 a factor of u?
False
Let o = 164 + 227. Suppose 2*m - 441 = o. Is 3 a factor of m?
False
Suppose 68 = 4*b + 4. Let n(i) = -i**3 + 15*i**2 + 23*i + 4. Let a be n(b). Let s = 168 - a. Is 9 a factor of s?
False
Let a = 427 - 416. Is 2 a factor of ((-42)/(-2))/(18*a/330)?
False
Suppose 4*j = -10*z + 13*z - 2261, 3*j + 3*z = -1680. Let n = 1551 + j. Is n a multiple of 52?
True
Suppose 30 = 5*c + t, 3*t + 12 = 2*c - 0*c. Suppose x - n = 367, 0 = -6*x + 9*x - n - 1099. Suppose 0*d + x = c*d. Is d a multiple of 7?
False
Let j(f) = 47*f**2 - 65*f + 477. Is 21 a factor of j(8)?
False
Suppose -30*y + 10 = -32*y, -5*h + 2*y = -7420. Does 247 divide h?
True
Let r be (-2 - 1/(-2))/(3/(-28)). Let m = r + 36. Is 25 a factor of m?
True
Let h(c) = 27149*c**2 - 47*c - 12. Is 16 a factor of h(-1)?
True
Let q = -219 - -73. Let i = q + 289. Is 13 a factor of i?
True
Let c be (88/(-77))/(10/(-35)). Suppose -z + 139 = 5*h - 117, c*z = 3*h + 909. Is 16 a factor of z?
False
Let z be (32/4 - 14) + 8. Suppose -z*n - s = 3*n - 1845, s + 1115 = 3*n. Is n a multiple of 10?
True
Suppose -2087*i = -2075*i - 171864. Is 42 a factor of i?
True
Let n(p) = 4681*p - 3789. Is n(9) a multiple of 8?
False
Let g(u) be the third derivative of 3*u**5/20 + u**4/3 + 11*u**3/6 + 15*u**2 - 6. Is 2 a factor of g(-2)?
False
Let f(v) = -147*v - 99. Let i(d) = 73*d + 48. Let k(h) = -4*f(h) - 9*i(h). Does 43 divide k(-8)?
True
Let v(l) = 15*l**2 - 5*l + 20. Suppose 3*f + 17 = 29. Does 12 divide v(f)?
True
Suppose 8*q - 461754 - 126910 = 0. Is q a multiple of 38?
False
Suppose 347763 = 38*z + 194424 - 220049. Does 9 divide z?
False
Suppose 0 = -2*w + 11*w - 306. Suppose -w = -c + 4*s + 38, 0 = -2*c - 5*s + 131. Is c a multiple of 3?
False
Let c(f) = -f + 1. Suppose -2*i - 5 = -3*t - 7, -7 = 3*t - i. Let p be c(t). Suppose p*u + 4*z - 382 = 8*z, 5*u = 5*z + 380. Does 15 divide u?
False
Suppose -w + 3*w - a = 14, a + 4 = 0. Suppose -5*b - 4*g = g - 110, 0 = w*b + g - 110. Let y = 17 + b. Does 7 divide y?
False
Suppose 2*v - 29159 = -3*s, 5*v + 24*s = 27*s + 72887. Is v a multiple of 115?
False
Let v(x) = x**2 - 21*x + 35. Let i be v(18). Is i/(-2)*(-420)/(-14) a multiple of 7?
False
Suppose 8*c - 40 = 120. Is 4 a factor of c?
True
Let t be (-30645)/(-54) + 5/(-2). Let i = -141 + t. Suppose 11*y - 3174 = -i. Is 15 a factor of y?
False
Let k be (1 - (1 + 2))/(1/4). Let t = k - -13. Does 3 divide (-129)/(-30)*4 + 4/t?
True
Suppose 0 = 1129*n - 1374*n + 528710. Is 6 a factor of n?
False
Suppose -u + 118 = 4*s + 19, 4*s = -4*u + 372. Suppose 56 = u*i - 89*i. Does 14 divide i?
True
Let v(c) = -13*c + 115. Let k be v(-37). Let y = -349 + k. Is y a multiple of 19?
True
Let z be ((-186)/(-15))/(11/110). Let k = z + -62. Is k a multiple of 4?
False
Let f be (-8 + 5)/(6/(-8)). Let a be (-4 + 3)*f - 6. Is (-488)/(-40) + 2/a a multiple of 4?
True
Suppose -5*q - x + 58 = 0, 2*q + 0*x = 3*x + 13. Let k(n) = q*n**2 + 15*n - 5 - 9*n + 0*n. Does 24 divide k(-5)?
True
Suppose -1590255 = -50*k + 354545. Is 15 a factor of k?
False
Suppose -63*g = -71*g + 24. Suppose 366 + 144 = g*x. Is 24 a factor of x?
False
Suppose -i - 5*i - 36 = 0. Let n(v) be the second derivative of v**5/20 + 7*v**4/12 - 7*v**3/6 - 17*v**2/2 + 10*v. Is 38 a factor of n(i)?
False
Let x = -222 + 649. Suppose -10*g = 5*d - 8*g - 995, 2*d - x = 5*g. Is 17 a factor of d?
False
Suppose 0*x + 874 = 2*x. Let v = x - -43. Suppose 4*b - v = -b. Does 16 divide b?
True
Let f(k) = 7*k**2 + 36*k - 63. Let y(p) = -3*p**2 - 19*p + 31. Let t(n) = -2*f(n) - 5*y(n). Is 9 a factor of t(-26)?
False
Let l(o) = -5*o - 8. Let x be l(0). Let c be (-3 - (3 + -9))/((-6)/x). Suppose a = c*a - 438. Does 28 divide a?
False
Suppose 2*i - 3*k + 37 = 0, -11*k = 5*i - 9*k + 45. Let h(o) = -16*o - 2. Let m be h(-3). Let p = m + i. Does 5 divide p?
True
Let w be (-34)/(-9) - (-12)/54. Suppose -w*a + 2 + 10 = 0. Suppose y + 2*d - 157 = 0, 0 = -a*y + 5*d - 206 + 710. Is y a multiple of 40?
False
Suppose -176*x + 177*x = 16. Suppose -x*f + 877 = -1107. Does 5 divide f?
False
Let g(j) = j**3 - 30*j**2 + 57*j - 16. Let o be g(28). Suppose -11*m + o*m + 1800 = 3*d, -2*d + m + 1201 = 0. Does 12 divide d?
False
Let h = 134 + -158. Let w = 231 - h. Is 17 a factor of w?
True
Let a(i) = -i**3 - 15*i**2 - 38*i - 17. Let x be a(-12). Suppose 5*d - 583 = -b, -4*d = -x*b + 10*b - 1738. Does 39 divide b?
False
Let l be 1 + (-54)/(-3) + 3. Suppose l*p + 2580 = 26*p. Does 18 divide p?
False
Let a(x) be the third derivative of 8*x**4/3 - 61*x**3/6 + 3*x**2 + 9*x. Is a(12) a multiple of 43?
False
Suppose 3*o = -2*s + 3084, -5*o = -44*s + 41*s + 4664. Does 36 divide s?
True
Suppose 0 = -36*t + 935 + 181. Is 5 a factor of t?
False
Suppose -5*p - 44 = 436. Let o = p + 113. Is o a multiple of 3?
False
Let x(y) = -16*y + 14. Let s be x(-4). Suppose s*f - 73*f - 165 = 0. Is f a multiple of 2?
False
Suppose 0*r + 3*t = r - 70, -5*r = -2*t - 363. Let h = 179 - r. Does 6 divide h?
False
Let w = 94163 - 131943. Is 54 a factor of (-4)/(-14) - w/70?
True
Suppose 3*r + 2*f - 3*f = -33, 0 = -2*r - 2*f - 22. Let a(l) = 2*l**2 + 19 - l**3 - 3 + l - 10 - 11*l**2. Does 31 divide a(r)?
False
Let a(n) = n**3 + 5*n**2 - 3*n + 9. Let k be a(4). Suppose 3 + k = 4*b. Suppose -b = -52*y + 48*y. Does 7 divide y?
False
Is 9 a factor of (-2)/32 + (-4335882)/(-1184)?
False
Let k = 3988 - 2519. Suppose 5*s + 4*a = 1357, -3*a - 115 + k = 5*s. Does 16 divide s?
False
Suppose 1705 = 4*p + 217. Suppose 0 = -13*x + 16*x - p. Is 9 a factor of x?
False
Suppose -21*z - 7484 = -27770. Does 7 divide z?
True
Suppose 68 = -3*p - 4*t, 0 = -5*p + p - t - 95. Let j(c) = -532*c + 838. Let w be j(5). Is 17 a factor of w/(-18) + p/108?
False
Let j = 4027 - -3526. Does 23 divide j?
False
Let n(d) = 7*d + 41. Let f 