 -198, -q = -5*w - 62. Let i = q - 100. Let x = -26 - i. Is x a multiple of 16?
True
Let k = -109 + 117. Suppose 3*b + 3*a = k*b - 553, a + 221 = 2*b. Is 11 a factor of b?
True
Let c = -7 + 10. Let t = -42 - -61. Suppose c = -2*s + t. Is s a multiple of 8?
True
Let l(t) = 54 + 16*t - 53 - 5*t**2 + 4*t**2. Is l(13) a multiple of 13?
False
Let w = 1054 - 554. Is w a multiple of 12?
False
Let l = 55 - 52. Is 1 - (366/(-3) - l) a multiple of 14?
True
Suppose -4*n + 3*n - 66 = 3*i, 0 = -5*n - 5*i - 330. Let w = n - -22. Does 13 divide (w/6)/((-7)/21)?
False
Let t = 1159 - 145. Is t a multiple of 26?
True
Let o = 223 - 66. Is 90 a factor of o?
False
Let w(s) = s**2 - 3*s - 3. Let p be w(5). Suppose p*l - 3*l = 5*a + 1740, 3*a - 1332 = -3*l. Suppose 3*y = -y + l. Does 20 divide y?
False
Let q = -30 + 35. Is q*((-54)/5)/(-6) a multiple of 3?
True
Let i = -130 - -217. Is i a multiple of 29?
True
Let t = 0 + 0. Let c(k) = -k**3 - 12*k**2 - 5*k - 1. Let n be c(-12). Suppose -8 = -t*u - u + 2*x, 0 = -4*u - x + n. Does 7 divide u?
True
Suppose -8*t + 9*t - 883 = -3*h, -2*h + 5*t + 617 = 0. Is h even?
True
Let q = -8 - -7. Suppose 53 = 5*h + p, 3*p = -p + 12. Let o = h - q. Is 7 a factor of o?
False
Let s(y) = -3*y + 32. Let p(w) = -w + 11. Let g(v) = -11*p(v) + 4*s(v). Let b be g(5). Suppose t + o = 22, -b*t + 0*o + 5*o + 30 = 0. Is 4 a factor of t?
True
Let i(g) = -g**3 + 37*g**2 + 7*g - 78. Is i(37) a multiple of 41?
False
Suppose -123 - 197 = -2*v. Does 29 divide v?
False
Let h(d) be the first derivative of -19*d**2/2 - 4*d + 17. Suppose 9 = 3*l + 2*q + 25, 4*l - 4*q - 12 = 0. Does 19 divide h(l)?
False
Let c(u) = 95*u**3 + 8*u - 22. Does 26 divide c(2)?
True
Let n(y) be the first derivative of -y**4/4 - 3*y**3 + 5*y**2 + 15*y - 9. Let b be n(-10). Suppose -b - 3 = -3*t. Is t a multiple of 3?
True
Let f = 39 - 36. Is ((-6)/5)/(f/(-130)) a multiple of 12?
False
Does 9 divide (27/(-15))/((-5)/2550)?
True
Suppose -141*u + 171*u - 7020 = 0. Does 26 divide u?
True
Let l(y) = -y**3 + 21*y**2 + 4*y - 6. Let t be l(10). Suppose -c + t = 8*c. Is c a multiple of 15?
False
Let v be ((-6)/(-2))/(505/170 + -3). Let j = v + 156. Is j a multiple of 9?
True
Let f(d) = 4*d - 36. Let x be f(29). Suppose -x = -10*n + 6*n. Does 5 divide n?
True
Suppose 5*r - 4*t - 20 - 3 = 0, 5*t + 25 = 5*r. Let m be (5/6)/(r/18). Suppose 0 = -2*d + 4*x - 2*x + 122, 0 = m*d + 2*x - 298. Does 7 divide d?
False
Let h(v) = 3*v**2 + 31*v + 15. Is h(-15) a multiple of 25?
True
Suppose 2*f + s + 54 = 21, -f - 4*s - 27 = 0. Let q = -7 - f. Does 8 divide q?
True
Suppose -4 = -10*x + 9*x, 3*u - 676 = -x. Does 16 divide u?
True
Let a = -2894 + 5820. Is a a multiple of 19?
True
Suppose -4*i + w + 244 = 0, 2*i + i = 5*w + 166. Suppose 0 = -t + 3*m + 61, -4*t + 4*m = -222 - i. Does 15 divide t?
False
Suppose g = 7*g. Suppose 4*s + 83 - 303 = g. Is s a multiple of 11?
True
Let z = 13 - 9. Let w be z/(-10) + (-221)/(-65). Does 19 divide (-5)/((-45)/114)*w?
True
Let z(y) = y**2 + 5*y + 2. Let d be z(-4). Let s be ((-5)/d)/(10/24). Suppose s*j - 95 = 43. Is 13 a factor of j?
False
Let o(p) = 8*p**2 + 12*p - 32. Is o(3) a multiple of 3?
False
Let b(d) = 2*d - 4*d - 3 - 4 + 1. Let i be b(2). Let a(u) = -u**2 - 11*u + 2. Is 6 a factor of a(i)?
True
Suppose 40*p - 5978 = -1978. Is p a multiple of 5?
True
Suppose 0 = 4*t + 2*m - 396, 5*m - 198 = -2*t + 3*m. Let a = 24 + 19. Let o = t - a. Does 14 divide o?
True
Let q(a) = 6*a. Let g be q(-4). Is (-2442)/g - (10/(-8) + 1) a multiple of 34?
True
Let h(y) = y**3 - 7*y**2 + 6*y - 2. Let f be h(6). Let i(z) = -z + 14 + 1 - 14 - 12*z. Does 12 divide i(f)?
False
Let o be (492/(-15))/((-10)/25). Let h be (-2 - -2) + -25 + 0. Let k = o + h. Is k a multiple of 17?
False
Suppose 21145 = 5*t + y - 1727, 0 = 3*t + 5*y - 13732. Is t a multiple of 37?
False
Suppose 4*p - j = 59, 3*j + 2*j + 15 = 0. Let g be 9/63 + 558/p. Let s = 15 + g. Is 10 a factor of s?
False
Is (-4 - (-52185)/14) + (-1)/(-2) a multiple of 14?
True
Let r = -7476 - -10492. Is 42 a factor of r?
False
Suppose 3718 = 20*k + 1318. Is 14 a factor of k?
False
Let f(m) = 28*m**2 + 77*m - 879. Is f(10) a multiple of 23?
True
Suppose -2*l + 0*l = 0. Let r be (l - -39) + -4 + 0. Suppose 5*y - 15 - r = 0. Does 5 divide y?
True
Suppose -2*x = -8*u + 7*u + 344, 0 = 4*x - 20. Is 15 a factor of u?
False
Does 27 divide (0 + 1)/(32/3392)?
False
Let s = -11 + 15. Suppose 2*y - 2*d = 20, -2*y - d = 2*y - 25. Suppose 83 = s*o + y. Is o a multiple of 12?
False
Suppose -t = 2*x - 13, -2*t - 1 = -5*x + 9. Suppose 4*n - i = -t*i + 400, -5*n = -2*i - 465. Is n a multiple of 19?
True
Let a(q) = q**2 - 4*q - 7. Let h be a(5). Let r be (-1)/((-1)/h) + 5. Is (-4)/6 - (-83)/r a multiple of 9?
True
Suppose 0 = -m - 2*x - 2, 5*x + 8 = -2*m + 1. Suppose -4*k = -8, m*z = 2*k + 2 + 18. Is 7 a factor of (-1 - (-2 + 0)) + z?
True
Let f(w) = -1127*w + 21. Is 6 a factor of f(-2)?
False
Let o = 62 + -57. Suppose -o*u = -3*u - 8. Is 4 a factor of u?
True
Suppose 2*t = -2*k - 758, 10 - 772 = 2*k + t. Let v = -56 - k. Does 38 divide v?
False
Let s = -7 - -12. Let u be 1 + s/(2 - 3). Is 381/12 + (-1)/u a multiple of 7?
False
Let z be ((-4)/(-5))/(6/(-45)) + 3. Is (5 - 3)/(2/(-27)*z) a multiple of 6?
False
Suppose -4388 = -44*x + 40*x. Is 12 a factor of x?
False
Suppose 2*y = 1 + 1. Let c be -1 + 0/y + -889. Is 19 a factor of c/(-25) + 2/5?
False
Let l be (-4)/4 - 0/1. Is 8 a factor of (-36)/(-3) + (l - 3)?
True
Let t(m) = -m**3 - 23*m**2 - 70*m + 3. Does 133 divide t(-21)?
False
Let i(m) = -3*m**2 + 95*m + 50. Does 5 divide i(26)?
False
Suppose 5*s - x = -5*x + 4, 5*s = 3*x - 3. Let a(v) = -2 + v**2 + 19 - 5*v + 3*v. Is a(s) a multiple of 17?
True
Let m(y) = -15*y**3 - 1. Let g be m(-1). Let p = g - 30. Does 13 divide (-136)/p*3*2?
False
Let i(t) = 3*t - 17. Is i(9) a multiple of 6?
False
Let a(u) = 10*u**2 - u + 2. Let p(o) = -3*o**3 + o**2. Let n be p(1). Is 22 a factor of a(n)?
True
Let t = -1 + 2. Is 35 a factor of (-10 - -8) + t*142?
True
Suppose 6*q = -270 + 1638. Does 12 divide q?
True
Suppose 2*o - 16 + 12 = 0. Suppose 114 = 4*u + 2*c, o*u - 3*c = 3 + 66. Is 9 a factor of u?
False
Let j be -10*((-6)/4 + -4). Let b = j + -5. Is b a multiple of 20?
False
Let n = 1361 + -961. Does 25 divide n?
True
Is 28 a factor of 9 - (-4 - 4328) - 1?
True
Let g be (92/(-10))/(-2)*5. Suppose -u = j + 2*j - g, -5*u + 79 = 3*j. Is u a multiple of 2?
True
Let j(y) = 2*y + 4*y + y**2 - 7*y + 3. Let n be j(0). Suppose 2*c + 5*s = 53, n*s + 83 = 2*c + 2*s. Is 13 a factor of c?
True
Let q(r) = -r**2 - 4*r - 1. Let l be q(-2). Let s(o) = 30*o**3 + 2 + 0*o**2 - 29*o**l + 5*o**2 - 2*o + 9*o**2. Does 15 divide s(-14)?
True
Let i(b) = -4*b**3 - 2. Suppose 2*m = 2*f, 5*f + 2*m + 2*m = -18. Does 12 divide i(f)?
False
Does 3 divide ((-330)/20)/((-6)/40)?
False
Let m = -11 - -76. Let k = 173 - m. Does 36 divide k?
True
Let p(z) = -21*z - 3. Suppose 0 = 3*w + 6 - 21, 3*l - 10 = -2*w. Let y be 3/((l - -1)*-1). Is 14 a factor of p(y)?
False
Let v = 263 - 134. Does 23 divide v?
False
Let i(l) = 9*l**2 - 25*l + 78. Does 56 divide i(10)?
True
Suppose 2*g + 19*g = 2079. Does 99 divide g?
True
Suppose -l + 5 = 0, 3*h + 3*l = 7*l - 20. Suppose 7*a - 4*a - 15 = -5*r, 4*a + 4*r - 20 = h. Suppose 57 + 313 = a*u. Does 16 divide u?
False
Suppose -12*j = u - 10*j - 638, -5*u + 4*j + 3134 = 0. Is 35 a factor of u?
True
Let l(p) = p**3 - p**2 + 2*p + 3. Let s be l(0). Suppose -s*i + 130 + 20 = 0. Does 13 divide i?
False
Let k be (-1)/(-6) - ((-57)/(-18) + -3). Let o(p) = p**3 - 5*p**2 - 5*p - 3. Let v be o(6). Let r = k + v. Does 2 divide r?
False
Let t(i) = -i**2 - 2*i + 6. Let n be t(-3). Let a(r) = 0 + 2*r + 93 + 94*r**3 - 48*r**3 - 45*r**n. Is a(0) a multiple of 17?
False
Let i(y) = -y**2 + 22*y + 45. Is 3 a factor of i(23)?
False
Suppose -35 = -4*y + 2*b - 3*b, 0 = 5*y + 4*b - 30. Suppose 6*f + 144 = y*f. Does 36 divide f?
True
Suppose -109*k = -91*k - 7938. Is k a multiple of 120?
False
Let s = 821 + -500. Let o = -229 + s. Is o a multiple of 13?
False
Suppose -k - 2 = -21. Suppose 2*p - 3 = k. Let y(l) = l**3 - 11*l**2 + l + 9. Is 10 a factor of y(p)?
True
Suppose x - 7*x = 192. Let j(g) = g**2 - 2*g + 1. Let w be j(2). Is 8 a factor of w + -3 + 1 - x?
False
Let i be 83/((-7)/7*(