 divide g?
True
Suppose 3*t + 117 = -3*k, t - 154 = 5*t + 5*k. Suppose -98 = -380*g + 387*g. Let q = g - t. Does 9 divide q?
True
Let c = 1082 + 591. Suppose -21*w = -91 - c. Is w a multiple of 3?
True
Is 7 a factor of 230886/72 + (-70)/40?
False
Let y = 179 + -159. Does 11 divide 55/(-2)*(-472)/y?
True
Suppose 94*b + 94*b = 32*b + 5238792. Is 71 a factor of b?
False
Let v(y) = 26*y - 13. Let a be v(3). Suppose -3*i + m + 25 + 30 = 0, 3*i = -m + a. Is i a multiple of 8?
False
Let q(n) = 3095*n - 3542. Does 109 divide q(19)?
True
Let r be 1008/102 + (-2)/(-17). Let q(k) = 31*k - 84. Is q(r) a multiple of 22?
False
Suppose -24*d - 4*d = 28*d - 736064. Is d a multiple of 135?
False
Let n = -8820 - -9858. Is n a multiple of 4?
False
Let l be (-128)/(-8 + 4)*8. Does 16 divide (576/l)/(3/640)?
True
Is 24 a factor of 2624/(-48)*(780/(-16) + -6)?
False
Let o(a) be the first derivative of 4*a**3 + 36 + 7/2*a**2 + 4*a. Does 13 divide o(-4)?
False
Let q be (6 + -2)/((15/22)/15). Let o = 58 + q. Is 14 a factor of o?
False
Suppose -12*x + 3*x = 576. Let i = x + 67. Is 12 a factor of -2*i/((-24)/188)?
False
Let z be 9/((-45)/(-395)) + 8/2. Suppose 55 = 88*v - z*v. Suppose v*p + 158 = 12*p. Does 10 divide p?
False
Let r = 3125 + -1426. Let k = r + -1104. Is k a multiple of 49?
False
Suppose 5*q = -2*w - 401, -2*w + 4*q = w + 659. Let g = w - -465. Is 18 a factor of g?
True
Let v be (3 + 0)*-2*-2. Suppose -7*a = -4*a - v. Suppose c = -a*z + 228, -4*c - 63 = -4*z + 145. Is z a multiple of 8?
True
Suppose -3*u = 3587 - 54287. Is 52 a factor of u?
True
Let s = -1499 + 2298. Is s a multiple of 17?
True
Let o(n) be the first derivative of 63*n**2/2 + 90*n - 96. Is o(11) a multiple of 12?
False
Suppose 922664 + 155680 = 226*c - 20694. Is c a multiple of 11?
False
Let s(x) = -x**3 - 7*x**2 - x - 5. Let u be s(-7). Suppose 0 = -2*j - u - 2. Let l = j + 48. Is l a multiple of 23?
True
Let d be (-5 - (0 - 6)) + -8 + -1. Let s be (d/(-20))/((14/20)/7). Suppose -2*z + 354 = i, 5*i = s*z + i - 696. Is z a multiple of 44?
True
Suppose 0 = -2*k + 25*k. Let n(w) = 43 + w**2 - w**3 + 4*w + 6 - 3*w. Is n(k) a multiple of 22?
False
Let w(c) = c**2 + c - 17. Let r be w(-5). Is (21/14 - r)*-24 a multiple of 4?
True
Let y(r) = -r. Let t be y(-7). Suppose 0 = 4*i - 2*u + u - 16, i = u + t. Let d(m) = 8*m**2 - 4*m + 4. Does 20 divide d(i)?
False
Let g(b) be the third derivative of -13*b**4/12 - b**3/2 + 3*b**2. Let o(l) = -27*l - 4. Let z(p) = 3*g(p) - 4*o(p). Does 10 divide z(3)?
False
Let s = 887 + -541. Suppose 1096 = 4*b + 4*x, b - s = -5*x - 76. Is 25 a factor of b?
True
Suppose -13*s + 30 = -22. Suppose 592 = s*a + 4*m, 5*a + 73 - 773 = 5*m. Is 4 a factor of a?
True
Let n(u) = -u**3 - 7*u**2 + 5*u - 5. Let f be n(-7). Let d be ((-40)/(-25))/1*f. Let q = 188 + d. Is q a multiple of 31?
True
Let m(y) = -y**3 - 15*y**2 - 13*y + 14. Let c be m(-14). Suppose -3*u + 2 - 5 = c. Let h(g) = -57*g**3 + 2*g**2 + 2*g + 1. Is 11 a factor of h(u)?
False
Suppose -3*a = -4*d - 37354, 19*d - 16*d + 24901 = 2*a. Is 10 a factor of a?
False
Let l(m) = 9*m + 1. Let z be -3 + (-2 + 9 - 2). Let k be l(z). Let b = 89 - k. Is b a multiple of 11?
False
Let t(r) = 3 - 3 + 75*r - 1 + r**2 - 76*r. Does 7 divide t(6)?
False
Suppose s + t = 156, 0 = -4*s - s - 2*t + 780. Does 7 divide s?
False
Let v(t) = t**3 + 9*t**2 + 17*t + 4. Let q be v(-6). Suppose 36*y - 2132 = q*y. Is y a multiple of 10?
False
Let s(f) = -4 + 7*f**2 - 7*f**2 - 6*f + 8*f**2 - f**3. Suppose -5*b + 2*k + 190 - 159 = 0, 19 = 2*b - 3*k. Does 6 divide s(b)?
False
Let l(o) = -5*o. Let i be l(0). Suppose 3*b = 2*a - 16, i*b + 5*b + 12 = -4*a. Suppose -5*d - 203 = -3*h, -a*h - 7*d = -10*d - 134. Is h a multiple of 31?
False
Let a(s) = 9*s**2 + s - 3. Suppose 0 = -3*q - 12, n + 5*q - 6 = 2*q. Suppose -2*c = -12 + n. Does 19 divide a(c)?
False
Is 52 a factor of (-17)/((-323)/(-2)) - ((-3728000)/95 + -4)?
False
Let p(k) = k**2 + 25*k. Let g be p(-25). Suppose -4*f + 7*f = g, 0 = -a + f + 180. Is a a multiple of 4?
True
Let y = 67 - 11. Let m(z) = y*z - 4 - 15*z + 4 - 4. Does 40 divide m(4)?
True
Let l(a) = -8*a - 432. Does 4 divide l(-108)?
True
Let i = -177 + 252. Let l = i + -68. Let p = 83 + l. Does 25 divide p?
False
Let c(o) = -70*o. Let r(m) = -m + 2. Let y be r(6). Let t be -3*y/24*-4. Does 24 divide c(t)?
False
Let p = 70 + -70. Suppose 243*f - 237*f - 480 = p. Is f a multiple of 14?
False
Suppose 456 = -27*z + 9825. Suppose z = a - 3*l, a - 23*l - 367 = -24*l. Is a a multiple of 38?
False
Let m be (-40)/(-12)*3/2. Suppose -n + 122 = -m*c, 0 = -3*n - 3*c - c + 347. Suppose 3*o - 63 - n = 0. Is 12 a factor of o?
True
Is 6 a factor of (-1)/((-4)/(-17750))*5856/(-1830)?
False
Let t = -6 + 36. Suppose t*s = 32*s - 100. Does 25 divide s?
True
Suppose 43*n - 46*n = -12. Suppose 407 + 121 = n*t. Does 66 divide t?
True
Let j(t) = -t**3 + 3*t**2 + 14*t - 4. Let l be j(6). Let b = l - -38. Is 4 a factor of b*(18/(-4))/(-9)?
False
Let p(t) = 2 - 10*t**2 - 4 + 112*t**2 + 1. Let x be p(1). Suppose 3*o + x - 344 = 0. Is o a multiple of 9?
True
Let y = -1321 - -16668. Does 15 divide y?
False
Suppose o = -o - 30. Let n = 21 + o. Does 15 divide ((-202)/(-8) - 2)*32/n?
False
Let y(i) = i**3 + 8*i**2 + 10*i + 24. Let j be y(-7). Let o(l) = l**3 - 2*l**2 - 4*l + 7. Does 4 divide o(j)?
True
Let u be (84/9)/(2 + (-12)/9). Suppose 7*l - 30534 = -u*l. Is 9 a factor of l?
False
Suppose -9*j + j = 6*j - 612864. Does 7 divide j?
False
Suppose -128*m + 125*m = -x + 341, -x = -12*m - 350. Does 26 divide x?
True
Let g(t) = 6*t + 68. Let p be g(38). Is (p/(-6))/(94/(-141)) a multiple of 24?
False
Suppose 57*c - 82*c = -115700. Suppose -5*g - 4*o = -c, 3*g - 18*o - 2781 = -19*o. Does 80 divide g?
False
Let g(m) = -30*m - 3. Let i(a) = a**3 + 12*a**2 + 5*a. Let q be i(-10). Let z = -151 + q. Is g(z) a multiple of 6?
False
Let j = -257 - -198. Let p = 313 + j. Is p a multiple of 20?
False
Let m(r) = 45*r**2 + 15*r + 102. Does 119 divide m(11)?
True
Let y(r) = 1533*r**2 - 18*r + 8. Is 137 a factor of y(2)?
False
Suppose 0 = -3*v - 5*r + 63504, -4842 = 3*r - 4860. Is v a multiple of 107?
False
Suppose 0 = 5*d - 4*k - 46353, 3*d + 52*k = 49*k + 27801. Is 31 a factor of d?
True
Let d(b) = -134*b + 747. Does 11 divide d(5)?
True
Suppose -4*c = -c - 3*q + 192, 4*c + 253 = 5*q. Let u be (-2 + 220/(-12))*(-12)/2. Let t = c + u. Does 24 divide t?
False
Is (5586/(-5))/(318/(-6890)) a multiple of 19?
True
Suppose 6*x - 6 = 360. Let z = -18 + x. Is z a multiple of 43?
True
Suppose 3*j = 3*i + 5241, -2*j + 2133 = 3*i - 1341. Is j a multiple of 23?
False
Let h(t) be the second derivative of 1/6*t**3 - 1/6*t**4 - 1/4*t**5 + 11*t - 3*t**2 + 0. Is h(-3) a multiple of 9?
True
Let u = 69174 - 14524. Does 216 divide u?
False
Let r = -346 + 353. Suppose -2*c - 3*j = -r*j - 652, 15 = 3*j. Does 21 divide c?
True
Suppose 191*c - 204*c = -4030. Let l(f) = f + 5. Let g be l(0). Suppose c - g = 5*m. Is m a multiple of 18?
False
Let m(t) = t**3 - 4*t**2 - 44*t. Let b be m(9). Does 6 divide (-1 + (-1 - -3))/(b/216)?
True
Suppose 4660 = 2*i - 5*w, -2*w - 598 - 4080 = -2*i. Is 5 a factor of i?
True
Suppose -12*l + h + 19 = -8*l, -2*l - 5*h = 7. Suppose 4*y + 2995 = l*b + 5*y, -4*y + 730 = b. Suppose 16*j = 26*j - b. Is j a multiple of 61?
False
Let q be 2 - 2 - (16 - -341). Let b = q + 462. Does 7 divide b?
True
Let m(y) = -y**3 + 16*y**2 - 12*y - 37. Let f be m(15). Is 5 a factor of 2 + 4/f + (-15)/(-6)?
True
Let b = 138 - 136. Is 5/b*(6 + 68) a multiple of 34?
False
Suppose -2*c + 4 + 16 = 0. Suppose c*f - 23*f + 5252 = 0. Does 12 divide f?
False
Let j(y) = 6*y**3 + 2*y**2 - 6*y - 8. Let v be j(-5). Let m = v + 1150. Suppose 0 = -2*x + z + 190, -z = -0*x - 5*x + m. Does 9 divide x?
False
Let l be (2*1)/(-6 + 9 + -2). Suppose -3*a = -3*i + 3, i = -7*a + l*a - 5. Is 14 a factor of 191 + (-1)/(-4 + i + 3)?
False
Let f(n) = -137*n + 232. Let u be f(14). Let q = -1140 - u. Does 6 divide q?
True
Let k(h) = -9*h + 22. Let b(m) = 11*m + 5*m - 21 - 8*m. Let o(c) = -4*b(c) - 5*k(c). Is 13 a factor of o(5)?
True
Suppose 24*s = 12339 + 1437. Suppose s = 2*m + 3*c - 5, 4*c + 1413 = 5*m. Is 14 a factor of m?
False
Let k be (-2)/(-8)*23 - (-2)/8. Let g be 1 + -4 - (-375)/k*2. Let m = g - 83. Does 3 divide m?
