divide g?
False
Is -33708*1*17/(-68) a multiple of 92?
False
Suppose 0 = 2*t + 2*t - 8, 0 = -4*p - 4*t + 16. Suppose -p*u = 527 - 2281. Suppose -12*m - 229 = -u. Is m a multiple of 9?
True
Does 9 divide 8371 - ((56/108)/7 + 6400/1080)?
False
Let s(i) = i**3 + 8*i**2 - 11*i - 1. Let a be s(-9). Let h be (264/55)/(6/20). Suppose -k = 5*q + 1 - a, -h = -k + 5*q. Does 8 divide k?
True
Suppose 97*l - 175878 = 20*l + 148446. Does 52 divide l?
True
Suppose 7317*b + 211862 = 7331*b. Is b a multiple of 16?
False
Suppose r + 41 - 23 = 0. Let u(l) = l + 62. Let b be u(r). Let w = 45 + b. Is w a multiple of 7?
False
Suppose -491*d + 3*c - 13205 = -496*d, -c = 0. Does 139 divide d?
True
Let r be (-78)/(-48)*4 + (-6)/4. Suppose 2*o + 3 = 3*o. Suppose 0 = 7*c - 5*c + o*j - 255, 0 = -3*c + r*j + 335. Does 12 divide c?
True
Let k(f) = 3*f + 23. Let t be k(9). Let n = 198 - t. Suppose -4*s + 0*s = -4*c - 200, 3*s = 2*c + n. Does 8 divide s?
True
Let x(q) = 20 + 70*q - 5 - 68*q - 16. Does 13 divide x(7)?
True
Let b = 6690 - 4756. Is b a multiple of 20?
False
Let o(w) be the third derivative of w**8/1680 - w**7/1680 - w**6/360 - 7*w**5/60 + 7*w**2. Let r(d) be the third derivative of o(d). Is 7 a factor of r(3)?
False
Suppose 2*n - 15190 = -4*a, -33*a + 38*a = 3*n - 22719. Is 70 a factor of n?
False
Suppose 447 = s - 5*b, 4*s - 523 = -b + 1328. Let m = s + -264. Is m a multiple of 19?
False
Let a be 1*(-6)/(-27) + (-1056)/(-108). Let d(l) = 10*l**2 - 22*l + 206. Is d(a) a multiple of 20?
False
Let j(v) = 3*v**3 - 10*v**2 - 7*v - 22. Let a(k) = -2*k**3 + 4*k**2 + 3*k + 11. Let y(d) = -7*a(d) - 3*j(d). Does 16 divide y(3)?
False
Let c(j) = j**3 + 5*j**2 - 3*j - 3. Let g be c(-5). Let w be (-37)/4 - g/16. Let i(r) = -3*r - 24. Is i(w) a multiple of 2?
True
Let g = -14857 - -22137. Does 364 divide g?
True
Does 4 divide 1 + 1 + (-44)/55*-410?
False
Let s(o) = o**2 + 19*o + 88. Let q be s(-9). Is 32 a factor of -5 - q - -380 - (4 + 0)?
False
Let s(m) = 4*m**3 + 7*m**2 + 2*m - 66. Let p be s(7). Suppose -1637 = -6*w + p. Does 25 divide w?
True
Let t(k) = -2296*k**3 + 16*k**2 + 9*k + 9. Is t(-2) a multiple of 267?
True
Suppose 3*i + 3*p = 21 - 60, -2*i - p = 22. Let w(y) = -y**2 - 17*y - 30. Does 7 divide w(i)?
True
Let g be (-2)/(-7) - (5 - 33/7). Let d be g + 28 + 3/(-6)*2. Suppose 5*n + d = 82. Is n a multiple of 11?
True
Suppose 4*y - x = 4, 3*y + 2*x + 2 = 5. Let v(j) = 0 - y + 4*j**2 - 31*j + 5 + 34*j. Does 14 divide v(3)?
False
Suppose 2*b + u - 2*u = 5, -3*b = 5*u - 1. Suppose -a = -b*h + 420, -h - a + 1050 = 4*h. Is 42 a factor of h?
True
Suppose -5*s - 902 = -9*d + 13*d, 4*s - 1148 = 5*d. Let m = -152 - d. Is m a multiple of 4?
True
Suppose -4*l - 26608 = -4*a + 5596, -3*a - 2*l + 24188 = 0. Is a a multiple of 12?
False
Let t(q) = -2*q**2 - 2*q**3 - 16 + 5*q + q**3 - 10*q + 12*q. Is 13 a factor of t(-8)?
True
Is 2884 + 0*(-5)/20 a multiple of 14?
True
Suppose 4*h - a = -50 - 214, -5*h + 2*a = 327. Suppose 720*f = 696*f - 72. Let p = f - h. Is p a multiple of 20?
False
Let t be (8 + 11/(-22))/((-6)/(-136)). Suppose -813*a = -812*a - t. Is 12 a factor of a?
False
Let q(j) = -j**3 + 4*j**2 - 7. Let p be q(3). Suppose -2*g - 4*t + 144 = p*g, 5*t - 5 = 0. Is g a multiple of 2?
False
Let u(w) = -35*w**3 + w. Let l be u(-1). Suppose l*v - 33*v - 47 = 0. Is v + 2/(-5)*(-50)/5 a multiple of 7?
False
Let h(w) be the second derivative of w**4/12 - 5*w**3/3 + 11*w**2 + 12*w. Let c be h(8). Suppose -c*k + 0*k = -228. Is k a multiple of 38?
True
Let s(i) = -i**3 - 14*i**2 + 13*i - 7. Let a be 1 + 3 + -1 + (-684)/38. Is 3 a factor of s(a)?
False
Let u = 17369 - 27161. Let q be 10/(-35) - u/(-28). Is 11 a factor of (-2)/(-4) - q/4?
True
Let y be 60*((-7)/3 + 3). Suppose y*n - 440 = 44*n. Is 6 a factor of (-11)/(n/24)*5?
True
Let c(d) be the third derivative of -d**4/6 - 8*d**3/3 + 3*d**2. Let f be c(-3). Does 9 divide 2 - (f/18 + (-6867)/81)?
False
Let i(y) = -141*y + 12. Let j be i(-2). Suppose -2*d + j = -4*x, -2*x + 860 - 161 = 5*d. Is d a multiple of 7?
False
Let x(k) = -273*k + 11. Let o be x(-4). Suppose 2*i - 2*a = a + 444, 0 = 5*i - 4*a - o. Suppose -4*m + 0*m = 5*r - i, -4*r + 208 = -5*m. Does 32 divide r?
False
Let b = -146 - -147. Is 12 a factor of (649/(-2))/(-1) - b/2?
True
Let c be 1/4 - 1817/(-92). Is 10 a factor of 102 + (-15)/c*4?
False
Let k(z) = -79*z + 4118. Is k(42) a multiple of 3?
False
Suppose 2*j - 44 = 2*k, 3*k - 5*j + 59 = -9*j. Is (-36)/(-3)*(-19 - k) a multiple of 4?
True
Suppose g - 4*w + 42 = 0, -3*w - 168 = 5*g + 134. Let a = g + 60. Suppose 0 = 2*x - 0*x + 2*h - 22, -12 = -a*x + 3*h. Does 3 divide x?
True
Suppose 363 = -24*j + 26*j - 5*t, 3*t + 898 = 5*j. Let k = -178 - -41. Let i = j + k. Is 3 a factor of i?
True
Suppose -7 = 3*j - 67. Let x(n) = 2*n - 36. Let u be x(j). Suppose -2*c + l + 155 = 0, 0 = -u*c - 0*c - 4*l + 340. Is 12 a factor of c?
False
Let w(b) = -6*b**3 + 11*b**2 - 2*b - 8. Let s(k) = 3*k**3 - 5*k**2 + 3. Let j(m) = -5*s(m) - 3*w(m). Does 11 divide j(8)?
False
Let r(g) be the second derivative of g**3 + 3*g - 2*g**2 + 0*g + 0*g. Is r(4) a multiple of 8?
False
Suppose -12*q + 55642 - 6593 + 35995 = 0. Does 19 divide q?
True
Let l be (2 + -1)/(((-7)/3)/(-7)). Let i(o) = -3*o + 0*o**l - 343 + o**3 + 347. Is 22 a factor of i(5)?
False
Let k be 29550/9 - (-20)/30. Suppose -4108 - k = -7*b. Is b a multiple of 33?
True
Let q(j) be the first derivative of j**3/3 + j**2 + j + 13. Let b be q(-3). Does 12 divide b - -15 - (-5)/((-15)/(-6))?
False
Let p(t) = -t**3 - 17*t**2 - 33*t - 30. Let q be p(-15). Suppose -q*r + 5982 - 447 = 0. Is r a multiple of 46?
False
Let n(d) = -2*d**2 - 13*d + 20. Let h be n(-10). Let a(r) = -r**3 + r**2 + 8*r - 4. Let i be a(-5). Let y = i + h. Is 14 a factor of y?
True
Is 61 a factor of 104246/(328/41 - (-12)/(-2))?
False
Suppose 201*h + 38*h - 1824429 = 46*h. Is h a multiple of 8?
False
Let n = -86 - -90. Suppose -n*k = 12, -k + 5*k = -5*q + 1638. Is 15 a factor of q?
True
Let j(h) = -25*h**3 - 11*h**2 + 115*h + 215. Is j(-13) a multiple of 18?
True
Let b(v) = 22*v**2 + 129*v + 32. Let q(z) = 10*z**2 + 64*z + 16. Let u(w) = -3*b(w) + 7*q(w). Does 99 divide u(13)?
True
Let p(q) = -q + 20. Let j be p(8). Let i be (-5)/(-15)*j/2. Is i/7 - 156/(-42) a multiple of 3?
False
Suppose 3*s - 63915 = 3*j, 255730 = 10*s + 2*s + 2*j. Is s a multiple of 10?
True
Let f = -42 - -39. Let g be 52/(39/(-15) - f). Suppose -4*n = -2*n - 4, 0 = 5*m + 5*n - g. Does 6 divide m?
True
Let b(k) = 4*k - 31. Let y(g) = -3*g + 30. Let c(q) = 5*b(q) + 6*y(q). Let i be c(-12). Does 31 divide (31/(-2))/((-2)/16)*i?
True
Suppose 5*x = -518 - 11952. Is 32 a factor of x/(-6) - (-7)/21?
True
Let x = 16777 - 9459. Does 13 divide x?
False
Suppose 91*g - g = 717120. Does 15 divide g?
False
Does 6 divide 22480/4 + (2 - -12)?
True
Let d(w) = 91*w - 914. Does 5 divide d(45)?
False
Let l(m) = m**3 - 9*m**2 + 11*m - 24. Let i be l(8). Suppose 539 = s - 3*f - i*f, 3*f = -2*s + 1114. Is s a multiple of 29?
True
Suppose -588 = -x + 2*h + 298, -x + 4*h + 892 = 0. Let g = 1640 - x. Is 36 a factor of g?
False
Suppose -1291086 + 535986 = -25*k. Is 123 a factor of k?
False
Is 6 a factor of (56285/(-5))/(-2 + 8 + -7)?
False
Is ((-85)/(6120/(-159312)))/(2/(-3) - -1) a multiple of 124?
False
Let l(m) = m**2 + 30*m + 27. Let h be l(-29). Does 23 divide 70 + 0 + h + 1?
True
Suppose -814292 = -38*n - 68*n. Does 12 divide n?
False
Suppose 62*w - 11*w = -w + 345124. Is 19 a factor of w?
False
Suppose -435701 = -181*q + 119607. Is 4 a factor of q?
True
Let b be (12/(-2) - -3)*-19. Let i = 649 - b. Is 35 a factor of i?
False
Suppose -4*s - 2880 = 12*s. Let u = s + 279. Is 2 a factor of u?
False
Suppose 10*d - 21 = 9*d + 5*a, -3*d + 41 = -4*a. Let r(s) = s**2 + s**2 - 11*s + 14 + 2*s + 0*s**2. Does 21 divide r(d)?
False
Suppose 0 = 2*f - 835 + 1195. Let q = f - -318. Does 23 divide q?
True
Let q = 222 - 394. Let y(w) = -51*w - 79. Let c be y(-8). Let m = c + q. Is 21 a factor of m?
False
Is (-95)/1*-20*52/65 a multiple of 77?
False
Let c = -6606 - -26527. Does 28 divide c?
False
Suppose 3 = -s - 5. Let l(u) = u**2 + 6*u - 16. Let h be l(s). Suppose h = 5*o - 4*b - 227, -2*b + 39 + 12 = o. Is o a multiple of 16?
False
Let y(z) = 34*z**3 - 14*z**2 + 2*z + 6. Let b 