)) + 2?
True
Let v = 3986 + -3321. Is v a multiple of 7?
True
Let n(b) = 5*b**2 - 4*b + 3. Let a be n(1). Suppose -2*q + 380 = -3*t + 1892, a*q = 5*t - 2520. Does 63 divide t?
True
Let s = 4012 - 3500. Is 8 a factor of s?
True
Let o = -29 + 34. Suppose -2*b - 3*v + 5*v = -90, v - 195 = -o*b. Suppose -2*q + 46 = -b. Does 43 divide q?
True
Let d(y) = 11*y**2 + 107*y + 566. Is d(-5) a multiple of 17?
True
Does 63 divide (21*-21)/(330/(-45) - -7)?
True
Let n = 183 - -143. Let j = 606 - n. Is j a multiple of 19?
False
Let i be (-51)/2*20/(-30). Suppose -4*u + 5*n + 812 = 0, -12*u + 4*n - 974 = -i*u. Is 18 a factor of u?
True
Suppose -5*y = -4*q + 2942 + 31189, -3*y = -5*q + 42654. Does 99 divide q?
False
Let m = -194 + 484. Suppose m = 4*b - 350. Is 16 a factor of b?
True
Suppose -6*i = -3*g - 2*i + 2, 0 = -4*i + 16. Is 49 a factor of 118908/135 + g/5?
True
Let w = 5415 - 2692. Suppose 19*h - 26*h + w = 0. Is h a multiple of 37?
False
Let u(o) = -o**3 - 7*o**2 + 2*o + 17. Let r be u(-7). Suppose y - 90 = -4*x + 543, 4*x - 627 = -r*y. Is 53 a factor of x?
True
Suppose -195*u = -182*u - 466960. Is 40 a factor of u?
True
Let b be (-4)/(-48) - (-1148)/48. Does 9 divide 336*(4/2 - 30/b)?
True
Let p(k) = 167*k + 2132. Is 6 a factor of p(8)?
True
Suppose 6 = -3*d, 2*d = 2*j + 4*d + 10. Let m be (-4)/22 - (567/(-33) - j). Suppose 0 = -7*b + 854 - m. Is 12 a factor of b?
True
Suppose -5*f - 3*t + 12 = 0, -5*f + t + t = 8. Suppose -4*i + 0*i + 8 = f. Suppose -165 = -5*b - 3*j, 3*b - i*b = -5*j + 55. Is b a multiple of 6?
True
Let s = -188 - -198. Suppose -15*h = -s*h - 1000. Is 20 a factor of h?
True
Let c(g) = -2*g**2 + 28*g - 8. Let n be c(14). Let j = n - -316. Suppose -199 = -4*r + 2*d + 121, -j = -4*r - 4*d. Does 27 divide r?
False
Let j = -283 - -284. Suppose -s + 108 = 5*t, -t + 4*s + 10 - j = 0. Does 13 divide t?
False
Let b(q) = 4*q + 5. Let o be b(0). Suppose -5*h = o*z - 1415, 3*h = 3*z - 2*h - 809. Is z a multiple of 58?
False
Is ((-15)/(-450)*-1308)/(1/(-720)) a multiple of 109?
True
Suppose -9631 + 191 = -32*n. Let s = n + -91. Is 51 a factor of s?
True
Let l = 10788 - 8903. Is l a multiple of 40?
False
Let a(q) = 3*q + 2. Let n be (-2)/8 - 3/(-12). Let z be a(n). Suppose m - 3*r = 75, -m + 5*r = z*m - 241. Is 16 a factor of m?
False
Suppose -3*w = 2*y - 4*y, -3*w - 3*y = -15. Suppose -a = -3*l + 2, 5*a - w*l = l - 10. Does 6 divide (-1*(6 + a))/((-2)/14)?
False
Suppose -2*i + 8 = -0. Suppose 19 = -5*q + i. Is 2 a factor of 21*(q + (-10)/(-3))?
False
Let g = 383 - 319. Suppose -g = -b - 19. Is 2 a factor of b?
False
Let z(x) = 21*x**2 + 88*x - 49. Is 28 a factor of z(7)?
True
Let y be (-689)/(-39) + (-2)/(-6). Suppose -4*f + y = 2*a, 5 + 10 = 2*a + f. Suppose 5*x - a = -2*s + 84, 0 = 2*s - x - 97. Is s a multiple of 4?
True
Suppose 0 = 57*v - 55*v - 6462. Is v a multiple of 21?
False
Suppose -58 = -13*t + 15958. Does 16 divide t?
True
Let j(t) = 6*t**3 - 165*t**2 + 2*t + 62. Is j(34) a multiple of 237?
False
Let f = -59 - -63. Suppose 0*h + f*v = 3*h - 2380, 3220 = 4*h + 4*v. Suppose -38*j + h = -33*j. Is 16 a factor of j?
True
Let x(b) = 51*b**2 - 3123*b + 5. Is 55 a factor of x(-7)?
True
Let d(c) = -88*c**3 + 4*c**2 - 6. Let n(m) = -86*m**3 + 4*m**2 - 5. Let s(y) = -2*d(y) + 3*n(y). Is 11 a factor of s(-2)?
False
Let z be 5 - (2 + -7 - 1170/(-2)). Let g = 1136 + z. Is 33 a factor of g?
True
Let i(t) = 8*t**3 + t**2 - 2*t + 1. Let h be i(2). Let j = -23 - -58. Suppose -g + h = -3*u, -2*g + 141 = 2*u + j. Is 7 a factor of g?
True
Suppose -2*u + a + 3696 = 0, u + 56*a = 57*a + 1849. Is u a multiple of 57?
False
Suppose 0 = -8*h + 7828 + 103908. Does 59 divide h?
False
Let l = -29364 - -29618. Is l a multiple of 5?
False
Let o(k) = -13 - 37 - 6*k - 5. Suppose -1550 = -1338*m + 1400*m. Is 44 a factor of o(m)?
False
Let g(a) = -a**3 + 27*a**2 - 65*a - 50. Let s be g(24). Let y = s + 188. Is y a multiple of 69?
False
Let s(r) = 1631*r**2 - 53*r + 53. Is s(1) a multiple of 15?
False
Suppose -154929 - 54618 = -199*a + 53730. Is 6 a factor of a?
False
Suppose 5*l = 25, -3*j = -2*j + 5*l - 30. Suppose -42*q = -48*q + 762. Suppose -4*z - b + q - 30 = 0, -j*b = 5*z - 125. Is z a multiple of 24?
True
Let b(s) = -2*s**3 - 9*s**2 + 30*s + 5. Let g(q) = -2*q**2 - 5*q - 13. Let y be g(-2). Is b(y) a multiple of 48?
True
Suppose 0 = 3*h + 5*i - 55700, 6*h - 74540 = -2*i + 36924. Is h a multiple of 5?
True
Let u = -73 - -73. Suppose u = 10*g - 14*g + 168. Let r = g + 1. Does 17 divide r?
False
Let t(w) = -110*w**3 - 3*w**2 + 2*w + 6. Let q be t(-2). Suppose -4*p + q = -p. Suppose 3*d - p = -5*h, 5*d + 30 = -h + 2*h. Does 23 divide h?
False
Is (21/(-112)*-27304)/((-5)/(-10)) a multiple of 16?
False
Suppose y + y - 61 = -v, -y + 25 = -5*v. Suppose 316 = 5*p + 16. Let d = p - y. Is 5 a factor of d?
True
Let l be 20/(-140) + (-24082)/(-14). Suppose 3*n = 5*p + 2580, -4*p = 2*n - 6*p - l. Does 43 divide n?
True
Suppose -25140 - 6566 = -7*u - 9068. Is 64 a factor of u?
False
Let h(x) = -x - 17. Let g be h(-12). Let n(m) = m**3 + 2*m**2 - m - 8. Let i be n(g). Is (-7)/(-4)*(i/(-6) + 7) a multiple of 4?
False
Suppose -21*i = -17*i + 16, 2*g - 2*i = 7798. Does 34 divide g?
False
Suppose -5*p = 5*c - 550, 4*p - 440 = -5*c + 2*c. Suppose 99 = 11*z - p. Does 6 divide z?
False
Let s = 1402 + 866. Suppose -s = -35*x - 7*x. Is x a multiple of 4?
False
Is 15 a factor of (((-660)/(-18))/22)/(15/374193)?
False
Let a = 52278 - 36674. Is 22 a factor of a?
False
Let o(g) = -523*g + 1005. Is o(-17) a multiple of 12?
False
Suppose 2*j - 2 = 3*z, z - 6*z = 4*j - 4. Suppose z*s = 4*s - 20. Suppose -61 = -4*u + s*g, 0 = -u - 3*g - 0*g + 11. Is 9 a factor of u?
False
Let q(b) = -143*b**3 + 6*b + 6. Suppose -10*k = 13 - 3. Is q(k) a multiple of 11?
True
Let b be 8 - (-1 - (2 - 3)). Suppose -5*s = -3*s + b, -5*a - s = -20996. Suppose z + a = 15*z. Is z a multiple of 20?
True
Suppose -5*k + 3 = -2*q + 6, k + 11 = 3*q. Let d be q/(-6) + (-1456)/(-6). Let c = -170 + d. Does 12 divide c?
True
Let w = 3854 + -2359. Suppose -7*d + w = -2537. Does 35 divide d?
False
Suppose -6*q = -30547 + 9931. Does 13 divide q?
False
Suppose -a + 3*d + 16 = 0, 0 = -d - 0*d - 5. Is 10 a factor of ((-291)/(5 + -8))/a?
False
Suppose -20798 = -5*a + t, 126*t = a + 129*t - 4166. Is 2 a factor of a?
True
Let w(u) = -49*u + 627. Is w(-20) a multiple of 166?
False
Let a(d) = -2*d**2 - 28*d + 15. Let b be a(-14). Suppose -5*k - b + 245 = 0. Is 18 a factor of k?
False
Let x = 71 + -71. Suppose -2*t - 3*t = h - 480, x = -4*h - 20. Suppose r - t = -4*j, -2*j + 4*r = 5*r - 49. Does 16 divide j?
False
Suppose -21*j - 36010 = -5*b - 26*j, -3*b = 5*j - 21594. Is b a multiple of 8?
True
Suppose -2*r + 5*c = -5626 - 19110, 0 = 4*c + 24. Does 15 divide r?
False
Let s(q) = q**3 + 16*q**2 + 15*q + 4. Let z be s(-15). Let k be (12/(-9))/z - (-109)/3. Suppose 3*h = k - 30. Does 2 divide h?
True
Let d(c) = c**3 - 4*c**2 - 6*c. Suppose -j + 14 = -2*a, -4*j + a + 0*a + 21 = 0. Suppose -5*y - 13 = -3*g, -j*g + 5*y = -7 - 12. Is d(g) a multiple of 18?
True
Suppose -9*r = -4*y - 6*r - 41, 10 = -2*r. Suppose -11*c - 40 = -15*c. Is 4 a factor of (c - (2 - 1))/(y + 15)?
False
Suppose 356 = 3*d - 2152. Suppose 3*g - d = -g. Let r = g + -113. Is 12 a factor of r?
True
Let p = -22676 + 27669. Is p a multiple of 10?
False
Let k = -18 + -9. Let c = -24 - k. Suppose -17 = -c*y + 46. Is y a multiple of 17?
False
Suppose -5*g + n + 7 = 0, 5*n - 19 = 4*g - 6*g. Suppose -18 = -g*u + 88. Let w = 108 - u. Is w a multiple of 33?
False
Let g be (-2 + 1)/(40/120). Is ((-2)/g)/(2/63) a multiple of 7?
True
Let o = 2181 + 21138. Does 154 divide o?
False
Let d = -5484 - -10906. Is 32 a factor of d?
False
Let s(r) = -2*r**2 - 19*r + 2. Let j be s(-9). Suppose j*x - 9*x - 90 = 0. Is x a multiple of 13?
False
Let u(j) = -100*j + 60 - 95*j + 108*j. Is 18 a factor of u(-2)?
True
Let n = -10931 + 2535. Let t be (-38)/133 - (0 - n/14). Let d = -325 - t. Does 11 divide d?
True
Suppose 26*w = 528113 + 969097. Is w a multiple of 15?
True
Suppose 15*n + 18 = 3. Let j(l) = -282*l**3 + l**2 + 2*l. Is j(n) a multiple of 52?
False
Let h(d) = 14*d**3 - 52*d**2 + 343*d + 13. Is 4 a factor of h(7)?
True
Let n = -100 - -228. Let p be 12/(-30) - n/(-20). Suppose p*l - 2*l - 14