ppose 3*y + 450 = 2*v, 4*y + 0*v = -3*v - 600. Let g = y - -614. Is g a multiple of 29?
True
Let b be (-80)/12*(-9)/4. Suppose -b*o + 156 = -9*o. Let q = 89 - o. Is q a multiple of 21?
True
Suppose 0 = 2*n - 5*o - 67554, 2059*o = -4*n + 2056*o + 135134. Does 113 divide n?
False
Let c = 13578 + -6116. Suppose -124*s - c = -138*s. Is s a multiple of 33?
False
Let f(x) = 30*x - 30. Let k(j) = 8*j - 7. Let b(t) = 4*f(t) - 18*k(t). Let r = -2 - 0. Is b(r) a multiple of 9?
True
Let h(c) = -c**3 - 9*c**2 + 4*c - 5. Let y be h(-10). Let v = 136 - y. Is v a multiple of 27?
True
Let h(l) = -30*l - 4. Let c be h(-8). Suppose 0 = -4*o - 2*a + 920, o + 4*a - c = 5*a. Is 58 a factor of o?
True
Suppose 54061 = 721*j - 714*j. Does 39 divide j?
False
Let m(g) = -g**2 - 12*g - 27. Let x be m(-8). Let d = x + 0. Suppose -d*f + 2*f = -54. Is f a multiple of 18?
True
Let l(y) = 12 + 7*y**2 - 4*y**2 - y**3 + 3*y**3 - 12*y**2. Is l(6) a multiple of 24?
True
Let a = 65618 + 6008. Is a a multiple of 59?
True
Suppose 0 = 13*h + 9*h - 308. Let k = -33 + 139. Let m = k + h. Does 30 divide m?
True
Is 37 a factor of (-1741684)/(-68) + 54/(-6)?
True
Suppose -21*i = -40831 - 27734. Does 5 divide i?
True
Let p be 18/(-63) - (-8612)/7. Suppose -1551 = -9*c + p. Does 2 divide c?
False
Let x = -336 + 347. Let y(d) = 5*d**2 - 9*d + 22. Does 33 divide y(x)?
True
Let j = -1239 - -2321. Let g = j + -845. Is 16 a factor of g?
False
Let q = 37 + -32. Suppose 3*x = 0, -3*x - 20 = -q*f + 30. Does 27 divide -4*(-25)/f*19/2?
False
Let p(b) = 2*b**2 + 31*b + 18. Let q be p(-15). Suppose -274 = q*c - 1378. Let r = c + -143. Is r a multiple of 59?
False
Suppose q = -3*r + 213294, 950 = r + 5*q - 70148. Is r a multiple of 15?
False
Let x = -26470 + 62178. Is x a multiple of 79?
True
Suppose z + 241 = -5*n - 54, -287 = z - 3*n. Let s = z + 1055. Is 85 a factor of s?
True
Suppose 0 = 75*z - 612253 - 269747. Is 13 a factor of z?
False
Suppose 0 = -2733*y + 2697*y + 50688. Does 8 divide y?
True
Is (41 - 6) + -35 - (2 + -82*163) a multiple of 26?
True
Suppose 50*h - 1580610 = -68*h. Is 15 a factor of h?
True
Is 45 a factor of ((-3278)/447)/((-4)/15390)?
True
Let p(i) = -41*i. Let w be p(1). Suppose 0 = 23*h + 1082 - 277. Let r = h - w. Is 6 a factor of r?
True
Suppose 9*u - 35 = -8. Suppose -u*w - 4*i = -4*w + 59, -4*i + 415 = 5*w. Is 63 a factor of w?
False
Suppose 8835*n - 647976 = 8793*n. Does 5 divide n?
False
Let m(v) = -523*v - 1960. Is m(-40) a multiple of 80?
True
Suppose -4495*u + 4471*u = -1440672. Does 10 divide u?
False
Let n = 231 + -227. Suppose -3*x - 436 = -2*j, -2*x = n*j + 2*x - 852. Is 54 a factor of j?
False
Let r = 1193 + 5173. Suppose -r = -33*h - 195. Does 16 divide h?
False
Suppose 35 = -p - 12. Let l = -50 - p. Let c(w) = -3*w + 3. Is 3 a factor of c(l)?
True
Does 11 divide 154/(-22) + -1 + 1931?
False
Let p(v) = 3272*v**2 - 440*v + 1327. Does 137 divide p(3)?
True
Let f(m) = 30*m - 6. Let h be f(8). Suppose -4*x - 183 = -n, -3*n = -5*x - 322 - h. Suppose b + 4*u + u = 49, 3*b + 5*u = n. Is 23 a factor of b?
True
Let u(b) = -7*b**3 - 15*b**2 + 8*b + 111. Is 8 a factor of u(-8)?
False
Suppose -3*p - 5*i + 14553 = 0, -5*p + i + 24255 = -0*i. Is 231 a factor of p?
True
Suppose d = 4*d - 9. Suppose 5*y + 26 = -2*g, 2*y = d*g - 2*y + 62. Let h = g + 22. Does 2 divide h?
True
Let o be 148/52 - (-2)/13. Suppose -3*k = -2*k - 5*x - 575, 1176 = 2*k + o*x. Is k a multiple of 65?
True
Let t = 2 + 0. Suppose -4*y - 5 = t*u - 1, 2*u + 4 = -2*y. Is u/1 + (2 - -3) + 0 a multiple of 2?
False
Suppose 2*l = -6*l - 448. Let b = 124 + l. Suppose 16 = -u + b. Is u a multiple of 13?
True
Let c(h) = -5*h - 122. Let x(p) = 11*p + 243. Let b(w) = -5*c(w) - 3*x(w). Let a(n) = -4*n - 60. Let k(s) = -11*a(s) + 6*b(s). Is k(-17) a multiple of 2?
True
Suppose h = -2*h + d - 2, -7 = 5*h + 2*d. Let g be (h*3/6)/(2/(-1224)). Suppose 0 = 2*i - 2*p - 126, -5*i = -p + 5*p - g. Is i a multiple of 24?
False
Let d be (60/9)/(860/(-435) + 2). Suppose 0 = -4*t + 174 + d. Is 23 a factor of t?
False
Let z(t) = 5*t**2 + 7*t + 5. Let b = 69 + -64. Let n be (3 - 12) + -1 + b. Does 19 divide z(n)?
True
Let q(s) be the first derivative of 4*s**3/3 + 7*s**2/2 - 17*s - 48. Is 21 a factor of q(-7)?
False
Suppose 77*t = -275*t + 6988608. Is 12 a factor of t?
False
Suppose 1021*s - 1321*s + 6126300 = 0. Is 33 a factor of s?
False
Suppose -7648 = -4*o - 4*k, 0 = 3*o + 5*k - 2099 - 3621. Does 60 divide o?
True
Let s(b) = -8 + 10*b**3 - 11*b**3 + 16*b**2 + 1 - 5 + 40*b + 16*b. Is 3 a factor of s(18)?
True
Let f be ((-13194)/(-15))/(24/80). Suppose 0 = -12*w + 752 + f. Is w a multiple of 24?
False
Suppose 5*j = 17*w - 13*w - 4905, -w - 3*j + 1239 = 0. Suppose -222 = 4*a - w. Does 14 divide a?
True
Let o = -583 - -649. Suppose 0 = -5*v - p + 505, 3*v - 5*p = 209 + o. Is v a multiple of 3?
False
Suppose -113740 = -26*t - 21*t. Is 22 a factor of t?
True
Let w(o) be the second derivative of 17*o + 11/6*o**3 - 8*o**2 - 1/12*o**4 + 0. Is 5 a factor of w(8)?
False
Suppose 262 = 2*k - 4*l, 0 = 5*k - 2*k - 4*l - 389. Suppose -3*j + 8 = -k. Let f = j - 24. Is 19 a factor of f?
False
Let r be ((-1 - -6) + (-15 - -12))/(-2). Is (-763)/r - (-18 - -16) a multiple of 15?
True
Let f(c) be the third derivative of -7*c**5/20 + c**4/8 + c**3/2 + 15*c**2. Let k be f(-1). Let o = 56 + k. Is 9 a factor of o?
False
Let o(v) = v**2 + 16*v. Let n = 344 + -224. Suppose -2*c + 11 - 66 = 3*u, 4*u = -5*c - n. Is 16 a factor of o(c)?
True
Let q(z) = 714*z + 2501. Is 163 a factor of q(6)?
False
Let u(o) = 31*o - 176. Let l be u(6). Suppose 4341 = l*j - 2109. Is j a multiple of 43?
True
Suppose -141*y = -147*y + 6900. Suppose 0 = 5*d - 6265 + y. Is 17 a factor of d?
False
Suppose -697085 = -64*y + 964236 - 455305. Is y a multiple of 14?
True
Suppose -61 = -5*y + 654. Let b = 174 - y. Does 6 divide b?
False
Let p(s) be the second derivative of s**4/3 + 5*s**3/6 + 23*s**2/2 + 79*s. Does 64 divide p(-11)?
False
Let p(g) = 2*g**3 - 26*g**2 + 173*g - 41. Is p(14) a multiple of 15?
False
Suppose -10*b + 652732 = 7*b. Is (1/(-2))/((-58)/b) a multiple of 18?
False
Let b be (6 + 2)*2/4. Suppose b*i = 4*d - 1596, 0 = -3*d - i + 5*i + 1201. Suppose -d = 2*m - 7*m. Is 15 a factor of m?
False
Let j = 58 + -9. Suppose 5*l + 2*v + 98 = 0, l + 2*l + 4*v + 56 = 0. Let c = j + l. Is 5 a factor of c?
False
Suppose 0 = 4*z - n - 4465, 5*z - 5*n = 3922 + 1663. Is z a multiple of 150?
False
Suppose -3*b + 4*u = b + 8, -2*b - 16 = u. Let f(i) = i**2 + 10*i + 24. Let l be f(b). Suppose 0*r + 494 = 3*y + r, 5*y + r - 822 = l. Is 13 a factor of y?
False
Let j(n) = 22*n - 55. Let y be j(11). Suppose z + 2*h = y, -3*z + 568 = -6*h + 5*h. Is 9 a factor of z?
True
Let q(i) = 2*i + 33. Let r be q(-10). Suppose 2*t - d - 13 = r, 0 = -3*d - 6. Is t/(-16) + (-390)/(-8) a multiple of 6?
True
Suppose 168*k - 165*k + 5*s = 34572, 2*k - 4*s - 23070 = 0. Is 40 a factor of k?
False
Let q = -3243 - -10070. Does 13 divide q?
False
Let b = 4042 + -2341. Suppose 0 = -8*j + 499 + b. Is 11 a factor of j?
True
Let i(x) = -159*x**2 + 4*x + 6. Let q be i(-2). Let a = 715 + q. Is a a multiple of 28?
False
Let j = 585 + 421. Suppose 3*g = g - 2*s + j, 0 = -g + 3*s + 499. Is 53 a factor of g?
False
Suppose -3*j + 56*w + 37178 = 57*w, -3*w + 24769 = 2*j. Is 67 a factor of j?
True
Suppose 191*p - 633490 = 136240. Is p a multiple of 96?
False
Suppose -877*i - 4062 = -871*i. Let v = i - -1538. Is v a multiple of 46?
False
Let z = -41 + 44. Suppose z*h - 3*u - 1656 = 0, 5*u - 96 + 1754 = 3*h. Does 29 divide h?
True
Suppose -20*u + 14800 = 5*q - 24*u, -u = 0. Is q a multiple of 3?
False
Let u(r) = -11*r**3 - 3*r**2 - 1. Let w = -139 + 136. Is u(w) a multiple of 21?
False
Let b(l) = -1517*l + 941. Does 55 divide b(-17)?
True
Let x(q) = -160*q - 1 - 6 + 8 - 15. Let v be x(-4). Suppose -3*p + 380 = -k, v = 5*p - 0*p + 2*k. Does 21 divide p?
True
Suppose -5*y + 4*q + 18968 = 0, -3*y + 90*q = 86*q - 11384. Does 8 divide y?
True
Let w(m) = m**2 + 15*m + 20. Let q be w(-13). Let l = 25 - q. Let g = l + 7. Is g a multiple of 34?
False
Suppose -3387 = -4*y + 2645. Is 24/(-72) + (y/6 - -1) a multiple of 84?
True
Let l(g) = 21*g**2 + 7*g + 6. Let z be l(-2). Let a be (z/6)/((-36)/54). Let w = a + 172. Is w a multiple of 15