3*i - 14. Let v be c(25). Let h = v + 499. Does 35 divide h?
True
Suppose 4*p - o + 2239 = 0, 2*o = -5*p - 2*o - 2825. Is 7 a factor of (-51153)/p - 4/22?
True
Suppose -q = 3*v - 19939, 0 = -125*q + 122*q - 5*v + 59845. Is 21 a factor of q?
False
Let k(u) = -678*u - 5606. Is k(-57) a multiple of 35?
True
Suppose -207*l - 29610 = -2*x - 211*l, 0 = -4*l. Is 141 a factor of x?
True
Suppose 2*u + 70 - 3838 = 0. Does 10 divide u?
False
Let h(a) = 29*a**3 + 8*a**2 - 52*a - 9. Is 22 a factor of h(7)?
True
Let y(t) = t**2 + 4*t - 110. Is 5 a factor of y(-13)?
False
Suppose -6*a = -0*a + 10*a - 3616. Does 5 divide a?
False
Let g(k) = k**2 + 2*k + 11. Let n be g(-5). Let v be -1*8/(-28) - n/(-7). Is v/2 - (3 + -7 - 14) a multiple of 10?
True
Suppose -4*a + 217 = y, -4*y + 906 = 5*a - 8*a. Let v = -98 + y. Does 3 divide v?
False
Let p = 5841 + -880. Does 41 divide p?
True
Let k(j) = j**3 + 18*j**2 + 15*j - 29. Let m be k(-17). Suppose 1662 = 4*t + 2*x, m*t + 3*x - x = 2079. Does 25 divide t?
False
Suppose -7873 + 721 = -8*x. Suppose -p = -4*h + x, 2*p - 674 = -3*h + p. Is h a multiple of 8?
True
Let s(d) = 13*d - 3*d - 5*d + d**2 - 1 - 7*d. Is 7 a factor of s(-10)?
True
Let r(t) = 232*t - 26. Suppose -2*o = -y - 6, -3*y + 0*y - 8 = 4*o. Let u(c) = -77*c + 9. Let g(d) = y*r(d) - 11*u(d). Is 34 a factor of g(-2)?
False
Let j(f) = -46*f + 14. Let g be j(-4). Suppose g = 3*h - 873. Is 51 a factor of h?
True
Suppose -5675*x + 5678*x = 39381. Is 99 a factor of x?
False
Let d = 38099 + -18758. Is 63 a factor of d?
True
Let b(k) = -k - 16. Let g be b(-20). Let x be (g - 155/30) + 3/18. Is (-2139)/(-46)*-2*x/3 a multiple of 3?
False
Let q = 8491 + 24924. Is 163 a factor of q?
True
Let b = 6 - 2. Let y(t) = -2*t**3 - 10*t**2 + t - 1. Let j(p) = 3*p**3 + 11*p**2 + 1. Let r(d) = 4*j(d) + 5*y(d). Is 17 a factor of r(b)?
True
Suppose 0 = -71*g + 240053 + 175439. Does 154 divide g?
True
Let c = 2719 + -1883. Is 13 a factor of ((-5)/6 - 6/36) + c?
False
Let y(a) = -a**3 + 8*a**2 - 7*a + 1. Let o be y(3). Let c = -22 + o. Suppose -c*b - 53 + 197 = 0. Is b a multiple of 8?
True
Suppose -9*s = -6*s + 108. Let a = s + 36. Suppose a = -4*u + 21 + 159. Is 15 a factor of u?
True
Suppose 0 = q - 3*q + 4*t + 16, -3*q - 4*t + 24 = 0. Suppose -7*s + q = -20. Suppose -o - 4*d - d + 117 = 0, -s*o + d = -573. Does 43 divide o?
False
Let p(j) = 51*j - 61*j + 2 + 11*j - 143*j**3. Suppose -a + 3*g - 1 = 0, -5*a - 6*g + 3*g - 5 = 0. Is 16 a factor of p(a)?
True
Suppose 32*c - 56406 = -43*c - 1131. Is 15 a factor of c?
False
Is (-7 + 10 + -4)/(5/11550*-1) a multiple of 39?
False
Let q(t) = -t**2 - 16*t - 16. Let i = 30 - 30. Let r(j) = j**3 + j**2 - 2*j - 13. Let a be r(i). Does 13 divide q(a)?
False
Let y be 2/(8/(-8604)*-9). Let i = 739 - y. Is 10 a factor of i?
True
Let b(c) = 48*c - 4. Suppose 8 = 4*j - 5*p + 4*p, 0 = j - 2*p - 9. Let o be b(j). Let m = o - -60. Is m a multiple of 8?
True
Let m(j) be the third derivative of j**5/60 - 7*j**4/24 - j**3 - j**2. Let i = -894 - -907. Is m(i) a multiple of 18?
True
Suppose 0 = -4*r + 10 - 26. Let b = -46 - r. Does 7 divide 5/(20/(-16)) - b?
False
Suppose 30 = -3*t + 9*t. Suppose -18 = 4*p - l - 2*l, -4*p - t*l = 2. Does 11 divide (4 + -168)/(-1 + p + 2)?
False
Let f(z) = 10*z - 5. Suppose -y - 4*i = -24, -3*y + 2*i - 3*i = -28. Let u be f(y). Suppose 2*l - u = 5*q, -2*l + 48 = 2*q - 20. Is 6 a factor of l?
False
Let i = -400 - -133. Let p = i + 463. Does 28 divide p?
True
Is 14 a factor of 492/(-4428) - (-215236)/9?
False
Let c(y) = -y**3 + 74*y**2 - 58*y - 103. Is 31 a factor of c(73)?
True
Let o(z) = z**3 + 9*z**2 - 11*z - 12. Let m be o(-10). Let c be (-4 - -7) + 2 + m + -1. Suppose t = -3*v + 89, 4*v + 25 = c*t + 127. Is v a multiple of 4?
True
Let o(q) = 2*q**2 - 22*q + 18. Let c = 15 + -26. Let j(w) = -w**2 - 11*w + 14. Let f be j(c). Does 25 divide o(f)?
False
Let o = 7 + -6. Suppose 0 = 2*h - 17 + 13. Is 7 a factor of -4 + o + 36 + h?
True
Suppose 0*y + 2*y - 2*x = 0, 3*y - 5*x = -4. Suppose 2*o - 26 = y*j, 2*j = -5*o + 2*o + 64. Is (1 - o)/(5/(-25)) a multiple of 20?
False
Let c be -3*(3 + -2) + 6. Suppose -c*t + 5*t = -4*x - 32, -x = 3*t + 38. Does 17 divide 290/9 + t/54?
False
Is (2*99/(-22))/((-1)/13) a multiple of 18?
False
Suppose 35*s + 17*s = 195416. Is 17 a factor of s?
False
Let d = 36 - 10. Suppose 4*i - n = 63, 3 = -2*i + 4*n + 17. Let k = d + i. Is k a multiple of 11?
False
Suppose -118 + 448 = -3*m. Let t = m + 75. Let i = 168 - t. Is 23 a factor of i?
False
Suppose 13*g - 2*g - 539 = 0. Suppose -3*a + 52 = g. Is 39 a factor of (a/2)/(1/468)?
True
Suppose 3*v + 26*v = -28*v + 49476. Is v a multiple of 38?
False
Let i = 25 - -322. Let n = i - 157. Does 48 divide n?
False
Is 3/5 + (5 - (2016612/30)/(-6)) a multiple of 114?
False
Let x be (-3)/2*4/(-3). Let w be ((-39)/x*-2 + 1)*-1. Does 34 divide ((-816)/w)/(2/10)?
True
Suppose -641853 = 38*v - 84*v + 2699. Does 89 divide v?
False
Let r = -100220 - -156130. Does 10 divide r?
True
Let l(d) = d**3 + 9*d**2 - 20*d + 22. Let v be 1 - ((3 - -11) + -2). Let o be l(v). Suppose o*f = -9*f + 1026. Does 38 divide f?
True
Let g(j) = j**3 + 43*j**2 + 53*j + 349. Is g(-28) a multiple of 85?
True
Let h(r) = 183*r**2 - 1387*r + 56. Is h(22) a multiple of 11?
False
Let q = 1925 - -4345. Does 38 divide q?
True
Let l(q) = 70*q + 55. Let t be l(-2). Does 23 divide (-20)/(-9 - t/10)?
False
Let l(o) = 2*o**2 + 4*o - o**2 + 11*o + 2. Suppose -5*b + 5*p = 65, -69 = 2*b + 4*p - 19. Is 7 a factor of l(b)?
False
Suppose 0 = 2*b + 3*s + 226 + 267, 3*b + 759 = 2*s. Let t = b - -506. Is 6 a factor of t?
False
Let g = -35 + -1. Let n = -32 - g. Suppose 5*i - 3*x = 288, -i - 4*x - 164 = -n*i. Is i a multiple of 12?
True
Let y = -2767 + 3379. Is 51 a factor of y?
True
Is (-16 + 1)*(84 - 303) a multiple of 9?
True
Let z = 1173 + -878. Does 2 divide z?
False
Let n(v) = v**3 + 7*v**2 + 8*v + 8. Does 12 divide n(9)?
False
Suppose r = -2*t + 1255, 67*t - 69*t = -5*r - 1285. Does 41 divide t?
False
Let n(c) be the third derivative of c**6/180 + c**5/60 + c**3/2 - 13*c**2. Let d(p) be the first derivative of n(p). Does 5 divide d(3)?
False
Suppose 2*g + 4 = -4*r, -2*g - 2*g = -8. Let k be (5 - (-3 - -7))*(-2 - r). Suppose k = 3*a + 5*w - 831, -1494 = -4*a - 4*w - 394. Is 42 a factor of a?
False
Suppose -61*a - 2 = -62*a. Suppose 6*u = -3*u - a*u. Suppose u = -7*j + 568 + 146. Is j a multiple of 15?
False
Suppose 5*g = -4*a - 96, -4*g + 12 = -4*a - 48. Let x = -2 - a. Suppose 103 + x = 5*p. Does 10 divide p?
False
Is 26 a factor of 9633/13*376/6?
True
Suppose -g = 3, b + 2*g = -3*b - 54. Let m be (-2109)/(-6) - b/8. Let h = m - 234. Is h a multiple of 17?
True
Suppose 86 = 3*z + 17. Let i(x) = -2*x**2 + 53*x - 38. Does 8 divide i(z)?
False
Is 14 a factor of -45*(-11)/((-330)/(-910))?
False
Let l be (-16)/(-32) - (-7)/2. Suppose 2*m = 3*n - 1577, 5*m = l*n - 5*n + 520. Does 70 divide n?
False
Let x = 1319 - 983. Is x a multiple of 12?
True
Let d(g) be the third derivative of g**5/60 + 5*g**4/24 + 4*g**3/3 - 9*g**2. Let l be d(-2). Suppose l*o - 80 = -0*o. Does 10 divide o?
True
Let p = -8676 - -17616. Is p a multiple of 30?
True
Suppose 2*m = w + 3722, 0 = 3*m - 5*m + 4*w + 3710. Is m a multiple of 6?
False
Let o = 31 - 27. Suppose 0 = -o*p + 5*p + 2*p. Suppose 2*d + 6*d - 504 = p. Does 9 divide d?
True
Let s(v) = 9*v**2 - 12*v + 36. Let i = -143 + 147. Is s(i) a multiple of 22?
True
Suppose -3*b - 4*p - 4 = 0, 3*p - 3 = -3*b - 6. Suppose -2*h - 3*x + 213 = b, 0 = -2*h - 4*x - 25 + 237. Is 15 a factor of h?
False
Let a(l) = 3*l + 726. Let x be a(0). Let r = x - 412. Let b = -176 + r. Is 25 a factor of b?
False
Let q(k) = 3*k**3 + 27*k**2 + 33*k - 39. Let r(v) = -5*v**3 - 53*v**2 - 67*v + 78. Let d(m) = 7*q(m) + 4*r(m). Is 28 a factor of d(25)?
True
Is (-11 - 191190/(-70)) + 2/(-7) a multiple of 20?
True
Let c = -12 + 14. Suppose -3*o - 5*h = -0*o - 168, c*o - 90 = 4*h. Suppose -11 + o = w. Does 18 divide w?
False
Let o be ((-2)/4)/(((-35)/28)/(-5)). Let l be 221/85 + o/(-5). Is (75/1)/(-5)*(-2)/l a multiple of 10?
True
Let a(f) = 77*f. Let b be a(-3). Suppose 433*t = 462*t + 2784. Let i = t - b. Is 15 a factor of i?
True
Let a(o) = 873*o**2 + 385*o + 2578. Is a(-7) a multiple of 90?
True
Let i(g) = -2*g - 