a*l + 8 + 226 = 0. Does 26 divide l?
True
Let i(s) = s - 4. Let r be i(5). Let j(o) = -o**3 - o + 1. Let d be j(r). Is 8 a factor of (-1)/(d/18) + -2?
True
Suppose 444 = t + 2*t. Suppose 3*k - k - t = -3*s, -54 = -s + 4*k. Is 9 a factor of s?
False
Let k(j) be the first derivative of 11*j**6/20 + j**3/6 + 7*j**2/2 - 10. Let i(o) be the second derivative of k(o). Is 42 a factor of i(1)?
False
Let x = -242 - -2906. Is x a multiple of 36?
True
Suppose -4*t - 9*a + 12*a = -2643, 5*a = t - 665. Is 55 a factor of t?
True
Suppose 5*h - 20 = 2*v + 2*v, -15 = 3*h + 3*v. Suppose h = -11*r + 6*r + 235. Is r a multiple of 30?
False
Let k(y) = -14*y**3 - 2*y**2 + 5*y + 4. Let l(u) = u**3 + u + 1. Let r(z) = -k(z) + 4*l(z). Let n be r(1). Is 6 a factor of 2*-1*(-57)/n?
True
Suppose -243 = -4*q - 2*a + 185, 4*q + 3*a = 426. Suppose -112*j + q*j + 100 = 0. Is j a multiple of 5?
True
Suppose -4*b = 12, 9*t - 7254 = 4*t - 2*b. Is t a multiple of 66?
True
Let c be ((-8)/(-24))/(1/6). Suppose 3*y = -3*a + c*y - 14, 2*a - 3*y + 24 = 0. Let r = a + 48. Does 9 divide r?
False
Suppose 0*v + 3*v - 48 = -3*u, -68 = -5*u + v. Let w(j) = -j + u*j + 7*j. Does 16 divide w(4)?
True
Let o = -19 - -23. Let q = 1 - -18. Let m = q - o. Is m a multiple of 10?
False
Let m(t) = 3 - 5*t + t + 3 - 4. Let r be m(5). Let x = 26 + r. Is 3 a factor of x?
False
Is 33 a factor of (((-20)/(-6))/5)/(4/198)?
True
Let o(l) = -l**2 - 10*l - 7. Let k be o(-8). Suppose -4*w + k*w = 140. Is 11 a factor of w?
False
Is 12 a factor of (1 + -2)*(-6 + 4296/(-4))?
True
Suppose -4*i = 5*l + 14, i = -2*l + 7*l + 34. Let o = l + 14. Suppose -w + s + 6 = 0, o*s - 42 = -4*w + 3*s. Is w a multiple of 3?
False
Let h = 1202 - 905. Is 9 a factor of h?
True
Let z(l) = 3*l + 28. Let x(w) be the first derivative of -4*w**2 - 83*w - 5. Let m(p) = -4*x(p) - 11*z(p). Does 12 divide m(-12)?
True
Let o(j) = 1. Let m(g) = g**2 + 11*g + 3. Let t(u) = -m(u) - 6*o(u). Is 3 a factor of t(-8)?
True
Suppose 0 = 2*c + 4277 - 5629. Does 8 divide c?
False
Let d(f) = 36 - 7 - f**2 - 13*f - 7*f + 4. Is d(-21) even?
True
Suppose 6*i = 9*i - 2*k - 1880, 4*k - 622 = -i. Is 6 a factor of i?
False
Let h(o) = -o**3 + 12*o**2 - 9*o - 16. Let x be h(11). Let k(s) = -s**3 + 7*s**2 - s - 1. Is k(x) a multiple of 18?
False
Suppose -5*n + 2*n = 2*m - 648, -2*n = 3*m - 972. Suppose -5*u + m = 59. Let d = u - 36. Does 6 divide d?
False
Let v be (-241)/(-9) + (-2)/(-9). Let k = -5 + v. Does 11 divide k?
True
Let t(h) = -75*h**3 - 5*h**2 - 7*h - 2. Is t(-2) a multiple of 37?
True
Let y(n) = 3*n**3 - 13*n**2 + 2*n + 10. Let r be y(5). Suppose -3*j + 246 = 2*j + 2*z, -4*z + 108 = 2*j. Let g = r - j. Is g a multiple of 22?
True
Let m(k) = -k**2 - 8*k + 11. Let g(v) = v**3 - 9*v**2 - v - 3. Let q be g(9). Let i = 4 + q. Is 11 a factor of m(i)?
True
Let o(u) = 3*u - 10. Let n = -25 + 29. Let z be o(n). Suppose -2*w = 12 - z, 3*d = -w + 49. Is d a multiple of 9?
True
Let x = 16 + 100. Suppose 8*y = x + 68. Does 19 divide y?
False
Let z be 5 + 71 + (5 - 3)/(-2). Let c = z + -66. Does 2 divide c?
False
Let y be -7 + 7 - (-10 - -2). Suppose g + 3 = y. Let q(s) = 8*s + 14. Does 27 divide q(g)?
True
Does 13 divide 2 + (-32)/18 - (-19396)/36?
False
Suppose 4*i - 209 = -3*u + 312, i + 3*u = 119. Suppose -2*o - 2*t + 222 = 0, -4*o + i = 5*t - 307. Is o a multiple of 17?
False
Let h be (-1568)/(-154) - (-2)/(-11). Suppose -2*q + h = -q. Is 9 a factor of q?
False
Suppose -2496 = 9*b - 13*b. Is 35 a factor of b?
False
Suppose t + 137*c - 851 = 132*c, 3*c = -5*t + 4167. Is 20 a factor of t?
False
Let o(q) = 3*q**2 - 27*q - 36. Is o(28) a multiple of 65?
True
Is 4 a factor of (772/5)/(1/5)?
True
Suppose -k = 10 - 15. Suppose 1 + 4 = k*j. Suppose 14 + j = b. Is 5 a factor of b?
True
Let a(i) = -3*i**3 + 4*i**2 + 2*i + 4. Let h(o) = 10*o**3 - 12*o**2 - 7*o - 12. Let u(v) = 7*a(v) + 2*h(v). Does 3 divide u(4)?
False
Let c(k) = k**3 - 16*k**2 - 37*k - 19. Is c(19) a multiple of 9?
False
Let f(w) = 9*w - 5 - 5 + 2. Suppose -6*v = -3*v - 24. Is f(v) a multiple of 16?
True
Suppose -18*i + 4885 + 15851 = 0. Is i a multiple of 64?
True
Let z(g) = 30*g**3 - g**2 - g - 6. Let i be z(3). Suppose 0*f - 2*f = -i. Suppose 7*w - f = w. Is 16 a factor of w?
False
Let x = 2123 - 503. Does 9 divide x?
True
Let y = 40 - 67. Let r be y/5 - 24/40. Is 22 a factor of 40 - 8/r*3?
True
Let k = -1356 - -1439. Is 24 a factor of k?
False
Let h = 172 - -422. Is 66 a factor of h?
True
Let l = 1950 - -903. Is 10 a factor of l?
False
Suppose 16*j - 680 = 6*j. Is 30 a factor of j?
False
Suppose -44 = -3*u - 4*p + 9, 2*p + 71 = 5*u. Suppose -119 = -2*g + u. Suppose -3*z + 173 + g = 0. Is z a multiple of 20?
True
Let z = -54 + 85. Let t = z + 14. Does 18 divide t?
False
Let b = -274 - -456. Is b a multiple of 4?
False
Suppose -4*q = 3*t - 1240, -4*q - 1240 = -8*q + 2*t. Is 19 a factor of q?
False
Suppose 3*m + 2*j - 442 = 0, -m - 466 = -4*m + 4*j. Is 50 a factor of m?
True
Let t = -20 + 23. Does 9 divide (1 + 1 - t)*-18?
True
Suppose 0 = -73*s + 36991 + 16518. Does 40 divide s?
False
Let o(q) = 2*q + 21. Let f(d) = 10*d + d**2 - 2*d**2 + 2*d - 12*d**2 + d**3. Let b be f(12). Is 7 a factor of o(b)?
True
Let u = 642 + -377. Does 19 divide u?
False
Suppose 3*g + w - 325 = 0, 4*w + 0*w + 305 = 3*g. Is 7 a factor of g?
False
Suppose 0 = 3*h - 2*m - 22, -3*h + 16 = -0*h + m. Suppose 0 = h*k - 65 - 943. Is k a multiple of 24?
True
Is ((-21)/(3 + -24))/((-2)/(-4836)) a multiple of 62?
True
Let g = 38 + -34. Let r = g + 50. Suppose m = -5*o + 74, 5*m + r = 5*o + m. Is 7 a factor of o?
True
Let d = -62 + 65. Suppose -300 = -4*z + 8*n - 4*n, -2*z = d*n - 170. Does 9 divide z?
False
Let n = -408 - -1606. Does 6 divide n?
False
Suppose -b - 4*b + 4*n = -904, -916 = -5*b + n. Does 3 divide b?
False
Let r(n) = -16*n - 48. Is r(-9) a multiple of 16?
True
Suppose 0 = 11*v - 2132 + 317. Does 22 divide v?
False
Suppose t + 112 = -3*t. Let i = 31 + t. Let n(a) = 3*a**2 + a + 1. Is n(i) a multiple of 31?
True
Suppose -4*w - 5 = -3*d - 30, -w + d = -5. Let c = w - -25. Suppose -c = -2*y - 4*x + 49, 3*x = 2*y - 56. Is y a multiple of 17?
True
Let s(w) = -2*w**2 - 114*w - 198. Is s(-47) a multiple of 14?
True
Let i(q) be the first derivative of -13*q**2 - 59*q - 10. Is i(-13) a multiple of 31?
True
Suppose v - 1 = c - 0, -1 = -4*v + 5*c. Suppose -5*g + v*z = -g - 72, -4*g - z = -92. Is 3 a factor of g?
False
Is 19 a factor of 1760/(-24)*(-684)/30?
True
Suppose 0 = 2*x - o - 32, -10 = -4*o - 2. Suppose x - 97 = -5*i. Let n = -8 + i. Is 8 a factor of n?
True
Suppose 5*q - 1736 = 929. Does 13 divide q?
True
Let i = -88 + 87. Let x = 123 - i. Does 21 divide x?
False
Let s = 418 - 278. Is 20 a factor of s?
True
Let d(a) = 733*a**3 + 2*a - 1. Let q be d(1). Suppose -5*g + q = -3*b - b, 730 = 5*g - 5*b. Is g a multiple of 15?
True
Let o = -12 - -509. Does 32 divide o?
False
Let h(i) = 4*i**2 + 3*i + 3. Does 32 divide h(-11)?
False
Suppose 5*p - 126 = 89. Let d = 2 + p. Is (-10)/3*d/(-25) a multiple of 2?
True
Let g(k) = 11 + 7*k + 13*k + 6*k - 2. Let n be g(6). Suppose n = 3*i + 4*l, 0 = -2*i - 2*l + 59 + 49. Is 28 a factor of i?
False
Let z be (-6)/3 + 24 + -2. Suppose -z = -2*u + 16. Let q(c) = -c**2 + 19*c + 7. Is 5 a factor of q(u)?
True
Let o(a) = 6*a**2 + 2*a + 1. Suppose -3*g - 15 + 3 = 0. Does 13 divide o(g)?
False
Suppose 10 = 6*s - 8. Is (-4)/8*-48*5/s a multiple of 10?
True
Suppose -10*v = -19*v + 6597. Is 31 a factor of v?
False
Suppose 5*b = c + 24, 0 = 2*b - 3*b - c. Let y = -100 - -108. Suppose b*t + 200 = y*t. Does 18 divide t?
False
Suppose -5*l + 5*i + 4110 = 0, -5*l - 3*i - i + 4092 = 0. Does 15 divide l?
False
Suppose -6*j + 10*j + 68 = 0. Let m = 39 + j. Suppose -6*y = -5*y - m. Is 6 a factor of y?
False
Let s(r) = r**2 - 1. Let n(d) = 2*d**2 - 6*d - 1. Let b(z) = n(z) - s(z). Let v = 5 - -2. Is b(v) a multiple of 2?
False
Let m(u) = 8*u + 1 - 3 - 1 - 31*u. Let h = -7 - -4. Is m(h) a multiple of 22?
True
Suppose 0 = 3*m - 5*i - 2622 - 6604, -2*i = 2*m - 6140. Is 48 a factor of m?
True
Is 14 a factor of 26/(-117) - (0 - 31364/36)?
False
Suppose 4*k = -4*x + 5*x - 6, 2*x + k = -6. Let a be 14/4 + x/(-4). Suppose -a*t + 0*t + 4*h = -76, 0 = 2*t - 3*h - 36. Is 21 a factor of t?
True
Suppose -3*h - 2*x + 449 =