ative of g**4/4 + 2*g**3 - 8*g - 2. Let k be o(-5). Suppose k = 6*y - 5*y. Is 4 a factor of y?
False
Suppose 0 = 7*h + 2 - 37. Let s(y) = y**3 - 4*y**2 - 5*y. Let z be s(h). Suppose z = -3*t + 162 - 33. Is 22 a factor of t?
False
Suppose -9*w + 6 = -174. Let v(p) = -15 + p**3 - 10 + 13*p + w - 9*p**2. Does 14 divide v(9)?
True
Let h(l) = 291*l**2 + 974*l + 23. Is 4 a factor of h(6)?
False
Suppose -2*j + 2*z - 4 = 0, -6*z = -4*j - 7*z + 17. Suppose 3*a + 27 = -j*o, -18 = 2*a + 6*o - 5*o. Let y(n) = n**2 - 4*n - 2. Is 19 a factor of y(a)?
False
Let n(q) = -q**3 - 43*q**2 - 24*q + 35. Does 15 divide n(-46)?
False
Suppose -460*t + 881 = -459*t. Suppose 6*y - 859 = t. Does 18 divide y?
False
Suppose -5*q = -3*j + 19, 37 = -4*q - 3*j + 11. Does 47 divide 332 - ((-15)/q + 0)?
True
Suppose 5*u - 90 + 85 = 0. Let f(i) = 806*i**2 + i - 1. Is 13 a factor of f(u)?
True
Let c be -2 - (-18 - 2)/4. Is -2 + (-6)/c - (-15 - 457) a multiple of 13?
True
Let o = -17 - -3458. Does 39 divide o?
False
Suppose -8*i = -10*i, 0 = 2*f - 5*i - 1123 - 4925. Is 38 a factor of f?
False
Let n = 2 - -1. Let s(y) = 109*y - 1. Let k be s(1). Suppose n*m + 15 = k. Is m a multiple of 6?
False
Let h(l) = l**3 - 10*l**2 + 36*l - 235. Does 25 divide h(17)?
True
Let d(y) = -4*y - 14. Let f be d(-11). Let c be (96/f)/((-6)/405). Does 28 divide (28/(-6))/(6/c)?
True
Let u = -2783 - -14683. Suppose -18*r + u = 7*r. Does 34 divide r?
True
Let g(y) = -9*y - 4. Let o be g(-1). Suppose 5 = o*z - 20. Suppose 30 + 225 = z*t. Does 13 divide t?
False
Suppose 4*h = -t + 4, 0 = 3*h + 2*h - 5*t - 30. Let z be (0 + 10)*(-1)/(-4)*h. Suppose 46 = z*l - 154. Is 5 a factor of l?
True
Let z be (6/(-5))/((-2)/10). Let u(v) = 3*v**3 - 2*v**2 - 5*v + 12. Let m be u(z). Suppose 12*k = 6*k + m. Is 31 a factor of k?
True
Does 55 divide (-1)/(150/13320*(-3)/160)?
False
Let o = 47 - 36. Suppose o*x - 1180 = 6*x. Is 59 a factor of x?
True
Let f = 209 - 322. Let g = 372 - 622. Let x = f - g. Is 34 a factor of x?
False
Suppose 2026 = 12*q - 4538. Suppose 4123 = 10*t - q. Is 14 a factor of t?
False
Let f(m) = m + 9. Suppose -2*y = -4*b + 8, 8*b - 4*b = -y - 22. Let q be f(y). Is 13 a factor of 52*(1 + (q/(-2) - 0))?
True
Does 25 divide (-189500)/(-90) - 24/(-54)?
False
Suppose -2*f + 6 = -f. Let j = f + 0. Suppose 0 = -4*t + j + 14. Is 2 a factor of t?
False
Let v(j) = -264*j + 25. Let s be v(-3). Let t = -314 + s. Does 13 divide t?
False
Let z be 46*1*(-14 + 16). Let o = z - 9. Suppose -66 = -4*y + 2*t, -t - o = -5*y + 2*t. Is 4 a factor of y?
True
Let n(p) = p**2 + 3*p. Suppose 12 = -g - 5*g. Let q be n(g). Let r = 18 - q. Is r a multiple of 10?
True
Let f(o) = -2203*o - 831. Is f(-2) a multiple of 55?
True
Suppose f + 3*p = p + 11, -4*p + 16 = -4*f. Let d be -3*(f - -2)*(-60)/180. Suppose -m + 4 = 0, -14 = -2*n + 8*m - d*m. Is n even?
False
Let l = -280 + 163. Let n be -990*((-20)/(-25))/(-3 - -1). Let c = n + l. Is c a multiple of 31?
True
Let y(c) = 2*c**2 + c + 4. Let v(m) = -m**3 + 8*m**2 + 15*m - 18. Let p be v(10). Let j = 71 + p. Is y(j) a multiple of 5?
True
Is 29 a factor of 0/(((-168)/48)/(7/(-4))) + 5713?
True
Let v(s) = -47*s**3 + s**2 + 3*s + 4. Let o be v(-2). Suppose 4*a = -3*m + o, -2*a + 2*m + 191 = 9. Suppose -9 = l - a. Is l a multiple of 16?
False
Let y(g) = 30*g**2 + 9*g - 54 + 20*g**2 - 38*g**2 - g**3. Does 45 divide y(9)?
True
Suppose 0 = -8*w + 4*w + 72. Let p(l) = -11 + 9*l - 4*l - 7*l + w*l**2 - 5*l. Does 25 divide p(-2)?
True
Let k(g) = 53*g**2 + 268*g + 99. Is 15 a factor of k(-18)?
False
Let t(f) = 4*f**2 - 20*f - 14. Suppose 38*b - 32*b + 42 = 0. Is 12 a factor of t(b)?
False
Let n be -37*((-2 - -20) + 2 + -4). Let q be ((-315)/6)/(3/n). Is q/49 - 6/14 a multiple of 37?
False
Let r = 30699 + -10758. Is 64 a factor of r?
False
Let u(n) = 6*n**2 - 258*n - 102. Does 54 divide u(53)?
True
Let u(c) = -2*c**2 - 3*c + 25. Let l(i) = -3*i**2 - 2*i + 24. Let k = 20 - 23. Let r(f) = k*l(f) + 4*u(f). Does 10 divide r(12)?
True
Let y(w) = -3*w**3 - 134*w**2 + 66*w + 452. Does 14 divide y(-46)?
True
Let b = 9 - 3. Suppose -b*g = -g - 125. Suppose -24*w - 102 = -g*w. Is 10 a factor of w?
False
Let t(c) = 2*c - 60. Let a be t(30). Does 14 divide (-48056)/(-52) - (a - 8/(-52))?
True
Let p be (-38)/(-8) - (-72)/(-96). Suppose 2*o = 0, 0 = -5*n - o - 4*o + 3135. Suppose -p*c = -c - n. Is c a multiple of 38?
False
Let q(w) = -w**3 - w**2 + 10*w + 331. Let j be q(0). Let b = 477 - j. Is b a multiple of 37?
False
Let v = -3622 - -10874. Is v a multiple of 14?
True
Let i(c) = -2*c - 20. Let n = -4 - 14. Let a be i(n). Suppose 11*v + a - 71 = 0. Is v a multiple of 2?
False
Suppose 2*n - 41 = -3*g, 27 = -5*g + 2. Suppose -u + 3*u + n = -2*j, -4*u + 2*j - 26 = 0. Is 3 a factor of u/(12/(-4)) - (-1 - 1)?
False
Suppose 0 = 109*l + 123475 - 3223871. Is 20 a factor of l?
False
Is (-9 + 24 + -5444)/(-1) a multiple of 35?
False
Let t(y) = -y**3 + 2*y**2 + 8*y - 12. Let s be t(5). Let i = 49 + s. Suppose 0 = -i*k + 2 + 64. Is k a multiple of 25?
False
Let c(k) = -k**3 + 5*k**2 + 13*k + 8. Let m be c(7). Is 17 a factor of (154 - m)*(2 - 1)?
True
Let q(x) = -x**2 + 5*x - 6. Let m be q(4). Let i(n) = -15*n**3 - n**2 + 12*n + 22. Does 19 divide i(m)?
True
Let j(b) = -201*b**3 - 11*b**2 - b + 40. Does 10 divide j(-3)?
False
Let x be 226/((-2)/2) + 1. Let j = 319 - x. Is j a multiple of 8?
True
Let k(d) = -d + 54. Suppose -24 + 116 = -4*l. Is 11 a factor of k(l)?
True
Suppose -5*r = 15, 0 = -i - 0*r + r + 34. Suppose -4*v = z + 9, -3*z + i = -4*v + 10. Is 17 a factor of (3 + -1)*(31 + z)?
True
Does 76 divide (-2)/(-105)*-5 + 17955385/735?
False
Suppose 86*r - 152646 - 1245714 = 0. Does 60 divide r?
True
Let u(l) = -4*l**2 - 5*l + 1. Let j be u(-4). Let p = -41 - j. Suppose p*m - 3*m + 68 = 0. Is 35 a factor of m?
False
Let x be 6/5*10/6. Is 24*40/30*2/x a multiple of 4?
True
Suppose 0 = -2*i + 10*i - 88. Is 56/(i - 4) + 949 a multiple of 34?
False
Let r(w) = -2*w. Let u be r(-18). Does 18 divide 2 + (-8)/36 + 10952/u?
True
Let y(j) = j**3 + 18*j**2 - 236*j + 109. Is 12 a factor of y(-26)?
False
Suppose d - 49*x = -44*x + 124, 436 = 3*d + x. Does 16 divide d?
True
Let f(n) = n**2 - 12*n - 69. Let q(g) = g**2 + 9*g + 10. Suppose 4*w = 13 - 53. Let i be q(w). Does 16 divide f(i)?
False
Suppose -4*i = -9*i + i. Let s be -6*1 + -1 - i. Let h = s - -42. Is 17 a factor of h?
False
Let d = -367 - -364. Is (d + (-45)/(-12))/(21/20804) a multiple of 31?
False
Suppose -69 = 6*j - 3*j. Let c = j + 53. Suppose -5*z + x = -c, 4*z - 5*x = 15 + 9. Is 3 a factor of z?
True
Let d be 1180/177 - ((-2)/6 - -1). Suppose d*r - 9 = 3. Suppose -5*i + 95 = l, 4*l + r*i = -i + 295. Is 10 a factor of l?
True
Let k(g) = -322*g + 1899. Is k(-25) a multiple of 8?
False
Let c(a) = -a + 16 + 19 - 15*a**3 - a - 41 + 2*a**2 - 3*a**2. Is 18 a factor of c(-3)?
True
Let x = -822 - -2612. Is x a multiple of 18?
False
Let r(h) = h**3 + 6*h**2 - 1. Let m be r(-6). Let a(f) be the second derivative of 2*f**4 - f**3/3 - f**2/2 - 24*f + 4. Does 18 divide a(m)?
False
Suppose 7*u + 9863 = -5747. Let q = -1305 - u. Does 16 divide q?
False
Suppose 0 = -4*o - 3*c - 41 + 119, 5*o = 5*c + 80. Suppose o*y - 1020 = 10338. Is y a multiple of 12?
False
Suppose -6*x - 3*n - 27 = -2*x, -n = -3*x - 17. Let q be 1/(8/x) + (-11)/(-4). Suppose -q*c = -14*c + 528. Does 11 divide c?
True
Suppose 0 = -4*a - x + 6344, -4*a - 2*x = -8740 + 2400. Let q = a + -851. Is 37 a factor of q?
False
Let h(c) be the third derivative of 17*c**7/5040 - 4*c**6/45 - c**5/15 + 23*c**2. Let q(f) be the third derivative of h(f). Does 10 divide q(12)?
True
Let l = -29 - 12. Let k = 55 + l. Suppose 130 + k = 2*p + 4*u, -5*p = -u - 371. Is 16 a factor of p?
False
Suppose 2*i + 212*d - 1798 = 210*d, -12 = -3*d. Is i a multiple of 31?
False
Let y(w) = 422*w - 132. Let c be y(14). Is 2 a factor of (-2)/(c/(-31122) - (-4)/26)?
False
Let g(c) be the third derivative of 0 + 1/12*c**4 - 2*c - 2*c**3 - 5*c**2. Does 5 divide g(29)?
False
Let w = -713 + 3041. Is 8 a factor of w?
True
Let z(g) = -3*g**3 - g**2 + 5. Let h be z(0). Suppose -923 = -2*l + y, 5*l - h*y - 1377 = 943. Is l a multiple of 17?
True
Let m = 6194 + -4094. Suppose 9*l - 16*l = -m. Does 20 divide l?
True
Let d(j) = 10 - 13 + 2*j - 3*j. Let u