*u + 9 = 0. Suppose -w*t + 5*g = -131, 0*g - 2*g = 4*t - 166. Suppose b = i - b - t, 4*i - b - 147 = 0. Is 18 a factor of i?
True
Suppose 0 = -2*u - 5*y + 77, -3*u - y + 114 = 5. Does 3 divide u?
True
Let x be 4 + 3/(-6)*0*1. Suppose k + 3*f = 257, 2*k - 395 = -x*f + 121. Is k a multiple of 26?
True
Suppose 0 = 17*p + 53*p - 30940. Is 34 a factor of p?
True
Suppose 3*x + 2*x = 20. Suppose 4*r - 5*r + x = 0. Suppose 4*i = r*v + v - 170, -v - 3*i = -34. Is v a multiple of 17?
True
Let a = 1 + -2. Is 13 a factor of -10 - -9 - a*39?
False
Suppose -3*j - 5*f = -0*j - 9, 0 = 4*j + 4*f - 12. Suppose c - 5*b = -6 - 11, 4*b - 25 = -j*c. Suppose -6*x + c*x + 150 = 0. Is 10 a factor of x?
True
Let z be (-4)/(-18) - (-221188)/(-99). Is z/(-13) - (-16)/104 a multiple of 9?
False
Suppose -4*h = -7*u + 2*u + 5, -2*u + 2 = 5*h. Let i be (3 - h)*(-8)/(-12). Is ((-2)/3)/(i/(-72)) a multiple of 15?
False
Let j(i) = -9*i + 9*i + 6*i + 5*i**2 - 3. Is j(4) a multiple of 19?
False
Suppose 0 = g + 147 - 45. Let t = -64 - g. Does 19 divide t?
True
Let h(p) = -3*p**3 + 35*p**2 - 2*p - 18. Let x(w) = -w**3 + 12*w**2 - w - 6. Let z(y) = 3*h(y) - 8*x(y). Is 12 a factor of z(9)?
True
Let j = 29 + -26. Suppose -5*u - 7 = 4*i, u + j*i - 2 = 1. Is 2 a factor of -16*((-15)/(-6) + u)?
True
Let y be 2 + (-1398)/8 - 7/28. Let c = y - -301. Does 16 divide c?
True
Let b = -24 - -30. Suppose -b*d + 729 = -1053. Does 33 divide d?
True
Suppose 2*w = -2*q + 1254, 4*q = -w + 4*w - 1909. Suppose 0 = -8*y - 55 + w. Does 8 divide y?
True
Let n be 16/14 + -1 - (-14024)/28. Suppose 43 = 4*c - n. Does 34 divide c?
True
Let r(i) = -2*i**2 - 10*i - 6. Let q be r(-4). Suppose -4*u - 3*o + 523 = 0, -q*u + 121 = -o - 138. Does 10 divide u?
True
Let q be 28/21 - 850/(-6). Let o = q + 131. Does 15 divide o?
False
Does 5 divide (3/(-6))/(1*(-9)/3546)?
False
Let u(r) = -r + 5. Let a be u(6). Let c be ((-4)/(-8))/(a/(-86)). Is (-4)/(-18) - c/(-9) a multiple of 2?
False
Let k(c) be the second derivative of c**5/20 - c**4/3 + c**3/2 - 2*c**2 + 5*c. Suppose -5*b + 3*i = -10, 0*b - b - 2*i = -15. Does 10 divide k(b)?
False
Let v(i) = -i**3 - i**2 + i + 2. Let f be v(-2). Suppose -5*q + 250 = f*o, -o = o - 10. Does 14 divide q?
False
Let o = 660 - -721. Does 14 divide o?
False
Let n(v) = -13*v + 16. Let x(a) = -7*a + 8. Let f(k) = 4*n(k) - 9*x(k). Does 13 divide f(3)?
False
Suppose 16*s + 1190 = 6278. Is s a multiple of 6?
True
Let a = -361 - -935. Is 27 a factor of a?
False
Suppose s + 17 = i, -5*s = -2*i + 6*i - 104. Let n = i + 28. Is n a multiple of 9?
False
Let t(p) = p**3 - 7*p**2 + 5*p + 2. Let q be t(5). Let k(y) = y**2 - 3*y + 3. Let x be k(2). Is (-33)/(-11) - q*x a multiple of 8?
False
Let s = -1061 - -1284. Does 4 divide s?
False
Suppose d - 54*t + 49*t - 312 = 0, -5*d = -5*t - 1560. Does 5 divide d?
False
Let z(p) = -430*p + 126. Does 8 divide z(-6)?
False
Let w = 65 + -56. Suppose -3*p + 203 = 5*c, 4*p - 252 = 7*c - w*c. Is 12 a factor of p?
False
Let j = -6 - -6. Suppose -3*i + 1 = -4*i - 3*w, -i - 2*w = j. Suppose i*r = 237 - 65. Is r a multiple of 25?
False
Let l(h) = -76*h + 22. Let k(n) = 7*n - 2. Let m(w) = -68*k(w) - 6*l(w). Let t be m(5). Let o = t + 137. Does 12 divide o?
False
Suppose 4*k - 2*n = -282, -k - 21 = 3*n + 53. Let f = 113 + k. Is 3 a factor of f?
True
Let h(o) = -o**2 - 10*o - 7. Let s be h(-6). Suppose -3*x - s - 10 = 0. Is 12 a factor of 2/x + 770/63?
True
Let c = -69 + 167. Let o = 19 - 19. Suppose -r = -2*n + 3*r + c, o = 2*n - r - 83. Is 13 a factor of n?
True
Suppose h + 3*l - 117 = 0, 4*h - l = -0*l + 442. Let w = 210 + h. Suppose -1 = -f, -w = -4*s + f + 2*f. Does 12 divide s?
False
Let d be -8 - (1*3 + 2 + -3). Is (-3 - 46/d)/((-2)/(-205)) a multiple of 34?
False
Suppose -4*h + 4*c = -3620, 0*h + c = -3*h + 2715. Is h a multiple of 6?
False
Let r(u) = -u**2 - 15*u - 13. Let a = 2 + -14. Is 4 a factor of r(a)?
False
Let j = -10 + 10. Let d = j - 17. Let x = 33 + d. Is x a multiple of 4?
True
Let t(y) = 4*y**3 + 8*y - 2. Let k = 89 - 85. Does 37 divide t(k)?
False
Let t(h) = -h**3 - 8*h**2 - 6*h + 4. Let v be t(-7). Let a be (-1 - 34/(-6))*v. Does 3 divide (-6 + -1)*20/a?
False
Suppose 4*p - 15 = -p. Suppose -p = 5*x - 2*x. Is x/(-1) - (-34 - 1) a multiple of 12?
True
Let o(x) = -x**3 - 7*x**2 + 4*x - 6. Let p be o(-8). Let q = p + 3. Is 7 a factor of q?
False
Is 335/(-25)*(1 - 6) - -5 a multiple of 24?
True
Suppose 0 = -3*l + 282 + 927. Is 13 a factor of l?
True
Suppose -7*k + 16 = -3*k, v = -k + 96. Is 41 a factor of v?
False
Let v = 472 + -298. Is 2 a factor of v?
True
Let w be (-438)/(-27) - 8/36. Let r be 31 - (w/(-4) + 5). Suppose 2*d - 84 - r = 0. Does 14 divide d?
False
Let v(i) = -3*i + 10. Let r be v(4). Let g(n) = 3*n + 4. Let p be g(r). Is 23 a factor of p*(-4)/(-8)*-31?
False
Suppose -d + 1936 = -p, -13*d = -8*d - p - 9680. Does 21 divide d?
False
Suppose 3*f + 5*b = 956, -1244 = -4*f - 3*b + 4*b. Is 8 a factor of f?
True
Does 43 divide (-16078)/(-34) + 12/102?
True
Let k(d) = d**3 + 2*d**2 - 7*d - 11. Let c be k(5). Suppose -5*f = 5*x - 1166 - c, -4*f + 271 = x. Suppose -x = -4*p - 3*w - 0*w, 5*w = 5. Does 18 divide p?
False
Let r(b) = 6*b**2 - 5*b - 3. Let l(m) = 7 - m**2 - 5*m**2 - 5 + 5*m - m**2. Let p(o) = -5*l(o) - 6*r(o). Is 4 a factor of p(5)?
True
Let u = -1112 - -3418. Is 35 a factor of u?
False
Let r = 7 - 4. Let f be 307/(r + 10/(-4)). Suppose 5*g + 249 = f. Does 24 divide g?
False
Let r(t) = -31*t + 34. Let d be r(-16). Suppose d = 5*l - 3*m, 2*m = 2*l + 136 - 344. Does 15 divide l?
False
Suppose 4*k + 4*d = -8, -k = 3*k + d + 5. Let p(s) = -116*s**2 - s. Let t be p(k). Let c = -56 - t. Does 14 divide c?
False
Let p = -7 - -11. Suppose 2*z = m + 131, p*z - 3*m - 204 = z. Suppose -j = -4*j + z. Is 21 a factor of j?
True
Suppose -66*o - 245 = -67*o. Does 51 divide o?
False
Let p = -84 + 49. Let t = p + 65. Does 8 divide t?
False
Suppose j - m = 4, -m - 4 = -5*j - 4*m. Suppose 0 = j*b - 6*b + 80. Suppose -4*i + b = i. Does 4 divide i?
True
Let g be 13*(-3 - (-40)/4). Is g/7 + 3/1 a multiple of 3?
False
Let i(h) = 41*h - 66. Is 6 a factor of i(6)?
True
Let r(k) = 41*k**3 + 7*k**2 + 12*k - 103. Is 36 a factor of r(4)?
False
Let t(b) = -2*b + 6. Let r be t(2). Suppose -r*q - 410 = -7*q. Is 19 a factor of q?
False
Let r(o) = 3*o**2 + 11*o + 6. Is 26 a factor of r(-5)?
True
Is (-38)/323 + 11902/17 a multiple of 23?
False
Suppose -5*d = 5*o + 80, 0 = -4*o + 3*d - 32 - 18. Does 8 divide (24/o)/(17/(-238))?
True
Let x(n) be the second derivative of n**4/12 - n**3/3 - 4*n**2 + 91*n. Let l(t) = 7*t - 1. Let a be l(1). Does 8 divide x(a)?
True
Let i = 12 + -17. Let d(k) = -2*k - 2*k - 5*k**2 - 2694*k**3 + 2693*k**3 - 6. Is d(i) a multiple of 14?
True
Suppose -4*b - 3*x + 61 = -0*x, 2*b + x = 31. Let t be (-2)/(-8) - (-3532)/b. Suppose -130 = -3*k + 2*d, 5*k - t = d - 2*d. Does 16 divide k?
False
Let x be (-2)/(-12) - (-58)/12. Suppose 0 = 4*l - 5*k - 230, 0 = 3*l + x*k + 67 - 257. Is l a multiple of 10?
True
Suppose -4*a + 2*l = -8222, -3*l + 10260 = 5*a - 2*l. Is a a multiple of 16?
False
Let d(k) = 19*k**2 - 36*k - 59. Is 20 a factor of d(7)?
True
Let b = 11 - -6. Is b a multiple of 5?
False
Let a = 461 - 149. Let w = a - 172. Suppose -k - 18 = -w. Is 32 a factor of k?
False
Is (2/((-8)/342))/((-381)/17780) a multiple of 15?
True
Let r = 432 - 82. Is 50 a factor of r?
True
Is 14 a factor of (-98)/(26/117 + (-33)/108)?
True
Let t = 3 + 4. Suppose -50 = -x + l, x + 2*l - 46 = t*l. Suppose x + 45 = 3*v. Does 16 divide v?
True
Let a = 644 + -612. Does 4 divide a?
True
Suppose -m + 4*m = 4*s - 9, 4*s + 6 = -2*m. Is (-6)/6 + (-87)/m a multiple of 8?
False
Let z be ((-16)/(-24))/((-4)/(-6)). Does 12 divide ((-276)/230)/(z/((-980)/6))?
False
Let r = 78 + -4. Is 6 a factor of r - 0 - 6/3?
True
Suppose -5*n + n + 220 = 0. Let c be 4/(1/(n/2)). Let z = c - 56. Does 27 divide z?
True
Let x(v) = 5*v - 22. Let w(c) = 6*c - 22. Let n(o) = 3*w(o) - 2*x(o). Does 14 divide n(8)?
True
Let w(u) = u**3 + 32*u**2 + 35*u + 88. Is w(-26) a multiple of 18?
False
Suppose 4*z + 2*r + 44 = 0, 3*z - 33 = 6*z + 2*r. Let y(g) = g**2 + 12*g + 33. Is y(z) a multiple of 11?
True
Suppose 24 = p - 37. Suppose -d = -5*v + 161, 0 = 2*v + 3*d - p - 0. Is v a multiple of 16?
True
Let f