t t = -44 + w. Is 26 a factor of t?
True
Let o(t) = 4*t + 254. Is o(28) a multiple of 6?
True
Let s be (-3*2)/(-1) + -1. Suppose -s*q = -4*q. Let f = 5 - q. Is f a multiple of 5?
True
Let f = 89 - 21. Suppose 8*h + f = 10*h. Is 17 a factor of h?
True
Suppose -2*g + 3*p - 38 + 11 = 0, -3*p = -15. Is ((-238)/(-4))/(g/(-12)) a multiple of 17?
True
Let j(b) = -20*b + 8. Let h be j(-4). Let y be (1 - (-3 - -4)) + h. Suppose -31 = 3*w + a - y, -4*a = 5*w - 102. Does 6 divide w?
True
Let w be 30176/28 - (-3 - 38/(-14)). Suppose -w = -8*m + 314. Is m a multiple of 32?
False
Suppose 3*p - 710 = n, 242 = -2*p + 3*p + n. Is 17 a factor of p?
True
Suppose 4*g + t = 2, 0*g + 8 = 3*g + 4*t. Let n(x) = 5 + 5 + g*x - 6*x. Is 13 a factor of n(-7)?
True
Let r = -18 - 7. Let y be (-4)/24 + 39/18 - -60. Let h = y + r. Is h a multiple of 8?
False
Let i(z) = 26*z**2 + 30*z + 15. Is i(8) a multiple of 15?
False
Let p = -12 - -14. Let l be 2*((-2)/4 + p). Suppose l*c - 42 = 72. Is c a multiple of 19?
True
Suppose -3*k + 8 = -5*h, -4*k = 2*h - 0*h - 28. Let f be k/(-4) - (-76)/8. Suppose f*x - 9*x = -51. Is 17 a factor of x?
True
Suppose 4292 = 4*w - y, -4*w + 1120 + 3172 = 2*y. Does 10 divide w?
False
Let y = -20 - -24. Suppose -y*w = -69 - 3. Is 3 a factor of w?
True
Let g(z) be the first derivative of -z**4/4 - 19*z**3/3 - 14*z**2 - 24*z + 15. Is g(-18) a multiple of 13?
True
Let g = -13 + 13. Let l(k) = 2 + g*k**2 + 5*k**2 - k**3 + k + 2 + 0*k**3. Is l(5) a multiple of 9?
True
Suppose 6*y - 2399 - 1969 = 0. Is y a multiple of 14?
True
Suppose -3*d + 36 = -81. Suppose -d = -a + 81. Is a a multiple of 14?
False
Let r(s) = -8*s**3 + 12*s**2 + 2*s - 1. Is 3 a factor of r(-2)?
False
Let v be 3 - 3 - -202 - (-4)/2. Suppose u = 3*u - v. Is u a multiple of 17?
True
Let l(z) = -z**2 + 8*z - 12. Let b be l(6). Suppose b = -d - t - 7, 0*d - 2*t = 3*d + 20. Let v = d - -22. Does 4 divide v?
True
Suppose 0 = -3*p - 2 - 10, 0 = -2*l + 2*p + 26. Let a(x) = -28 + 6*x - 28 - 5*x + 53. Does 2 divide a(l)?
True
Let m(f) = -f**3 - 3*f**2 + 6*f - 4. Let l be m(-5). Suppose -s + 5*s = l. Suppose 5*z - 320 = -t - s*t, 227 = 3*z - 4*t. Is z a multiple of 21?
False
Suppose 385*a + 240 = 389*a. Does 4 divide a?
True
Let n(u) = u**2 + u + 14. Let m be n(0). Is 3 a factor of 332/m + (-10)/(-35)?
True
Let y(w) = -12*w - 30. Let p be y(-20). Suppose -5*f + 18 = -3*a, f - 7 = -a + 5*a. Suppose -2*r + p = f*r. Is r a multiple of 14?
True
Let q = -36 - -96. Suppose -3*x + 8*x - q = 0. Is x a multiple of 12?
True
Suppose -1496 = -4*y + 2*x, -9*x + 10*x = -3*y + 1122. Does 34 divide y?
True
Let w(l) = l**2 - 11*l + 12. Let a be w(4). Is a/(1/9*-3) a multiple of 16?
True
Suppose 8*o = -9*o + 3485. Does 41 divide o?
True
Suppose 5 = -2*u + 15. Suppose 2*r - u*f = 201, 0*r + 3*r - 292 = -2*f. Is r a multiple of 24?
False
Let z = 1387 - 763. Does 12 divide z?
True
Let x = 1857 + -1507. Is 10 a factor of x?
True
Suppose -246 = 3*l - 3*x, 0*l - l - 79 = 2*x. Let i = l - -130. Suppose -63 = -5*r - d - 5, -5*r + 2*d + i = 0. Is r a multiple of 5?
False
Let y(n) = 16*n - 6. Let s be y(1). Suppose 0 = s*z - 193 - 187. Is z a multiple of 12?
False
Let l = 10 - 7. Let h be ((-2)/l)/((-9)/(-27)). Is (16/(-20))/(h/35) a multiple of 7?
True
Suppose 2*m = 4*r - 431 + 2197, -2*r + 1754 = 2*m. Does 13 divide m?
False
Let c = 0 + -1. Let i be (1 + c)*9/(-18). Suppose -6*g + g + 60 = i. Is g a multiple of 12?
True
Suppose -15 = -3*p, -154 = -8*c + 4*c - 2*p. Let s be ((5/(-3))/5)/(9/(-3510)). Let l = s - c. Is 13 a factor of l?
False
Suppose 5*w + i = 1448, 4*w - i = -4*i + 1154. Is w a multiple of 23?
False
Let b(o) be the third derivative of o**5/60 + 5*o**4/12 + 2*o**3 - 4*o**2 - 4. Is b(-13) a multiple of 7?
False
Let i be (-25)/(-15) + 2/6. Let w be 3/9 - 22/(-6). Suppose -w*g + 62 = 2*y + 10, 4*y - 144 = i*g. Is 21 a factor of y?
False
Suppose 3*j + 5*l = 644, 5*j + 32*l - 1020 = 37*l. Is 8 a factor of j?
True
Suppose -158 = h - 2*h. Let o = -89 + h. Does 13 divide o?
False
Let o(g) = g**2 + 20*g - 4. Let v be ((770/21)/5)/((-1)/3). Does 11 divide o(v)?
False
Let n = 5443 + -3506. Is 22 a factor of n?
False
Is 35 a factor of (65/312*6)/(1/988)?
False
Is (0 + 46/8)/((-6)/(-936)) a multiple of 20?
False
Let v(a) = 16*a**2 - 16*a - 32. Is 13 a factor of v(-4)?
False
Let z(m) = -8*m**3 + m**2 + 2*m + 11. Let d(j) = -7*j**3 + j**2 + 2*j + 10. Let y(r) = -7*d(r) + 6*z(r). Is y(5) a multiple of 13?
False
Does 23 divide (-3 - (-9)/6)*(-1380)/18?
True
Suppose 2*v - 7*v + 15 = 0, -3*s + 9 = v. Let h(k) = -10*k - 2 + k**s - 5 - 7. Does 3 divide h(12)?
False
Is 24 a factor of (-13)/13 + ((-8696)/(-4))/2?
False
Suppose 1 = 4*z + 5*a, 2*z - 12 = 3*a + 5. Suppose -4 = -2*r + z*b + 30, 5*b = 4*r - 74. Is r a multiple of 21?
True
Does 13 divide 6/75 - (-64950)/625?
True
Let h = 32 + 3. Is h a multiple of 2?
False
Let b(g) = 2*g**2 - 6*g + 24. Is 6 a factor of b(-9)?
True
Is 13 a factor of (-19)/(95/(-2010)) + 1?
True
Suppose -l = -4*l + 9. Suppose l*g = g + 70. Does 14 divide g?
False
Suppose 0 = 2*k - 2*q - 8, 0 = -k - q - 0*q + 6. Let c(g) = -g**3 - 6*g**2 + 5*g**3 - 3*g**3 + 7 + 10*g. Is c(k) a multiple of 16?
True
Let a be (-6)/(-3 - (-60)/25). Suppose a*w - 12*w = -80. Is 12 a factor of w?
False
Does 46 divide 240 - (-2 - -1 - (2 - 4))?
False
Let x be ((-6)/4)/((-24)/(-1568)). Let a = -58 - x. Is 1/(3/9) + a a multiple of 22?
False
Suppose 5*w - 4 + 27 = 4*h, 0 = 4*w - h + 25. Let s be 9/(-3)*(-17)/3. Let f = w + s. Is 2 a factor of f?
True
Let d = 53 + -37. Suppose 3*h + 4*o = -d, -5*o - 6 = 14. Let f = h - -10. Does 5 divide f?
True
Let c = -20 - -3. Let r = c - -27. Does 2 divide r?
True
Let d(u) = 4*u**2 - 8*u - 22. Let a be d(-4). Let b = -63 + a. Does 6 divide b?
False
Let h(x) = x**2 + 22 - 6 + 0*x - 3*x + 0*x. Is 14 a factor of h(9)?
True
Let r = -4 - -6. Suppose 5*h - 4*n - 30 = 0, -r*n + 0*n - 8 = h. Is 9 a factor of (-4 - -2)*(-27)/h?
True
Let z(w) = -4*w**2 + w**2 - 6*w - 6 - w**3 + 2*w**2 - 4*w**2. Let m be z(-4). Is (-2)/(m*(-2)/32) a multiple of 4?
True
Suppose -39 = -5*n + 46. Suppose -2*u - n = -23. Suppose u*l + 243 = 6*l. Does 25 divide l?
False
Let l = 95 + -47. Suppose 0 = -5*n - 4*k + l - 14, n = -5*k + 11. Suppose -128 = -n*x + 2*x. Does 12 divide x?
False
Let c be 14/(-77) - 126/33. Does 11 divide 33/c*20/(-15)?
True
Let h = -70 - -73. Suppose h*l = -0*n + n - 28, -49 = -n - 4*l. Is n a multiple of 16?
False
Let s(y) = 10*y**2 + 8*y + 3. Let t(c) = -5*c**2 - 7*c - 5*c**2 + 9 - 11. Let v(x) = -4*s(x) - 5*t(x). Is 13 a factor of v(2)?
False
Suppose -2*t = -2*g - 0*t + 60, -t + 156 = 5*g. Does 3 divide g?
False
Let o = -20 - -37. Let p = o + -27. Is 25 a factor of ((-6)/3 + -3)*p?
True
Suppose 27*p + 38794 - 143446 = 0. Does 51 divide p?
True
Let y be 1 - -2 - 5 - -1. Let m = y + -11. Is 16 a factor of (-2)/(-4)*(20 - m)?
True
Let x(b) = -b**3 + 7*b**2 + b - 5. Let n be x(7). Suppose 0 = 4*t + t - h - 48, 4*t - n*h - 36 = 0. Suppose -39 = -2*j + 3*y, 0 = 5*y - t - 5. Does 6 divide j?
True
Let u = 25 + -23. Suppose -128 = u*o - 6*o. Does 8 divide o?
True
Suppose -4*w - 144 = -2*l, -4*l = 5*w - 123 - 178. Suppose -3 = -d - 0. Suppose d*b - b = l. Is b a multiple of 19?
False
Let m be (-2)/(2/(-111)*3). Suppose -1 = -g + m. Is 20 a factor of -2 + (-1 + g - -2)?
False
Let w(x) = -x**3 + 7*x**2 + 4. Let b = 0 + 7. Let f be (3 + -4)/((-1)/b). Is w(f) even?
True
Let t(y) = y**3 - 2*y + 2. Let o be t(0). Suppose 4*x - 3*r = 2, 0*r = o*x + r - 6. Suppose q = x*q - 101. Is q a multiple of 37?
False
Let l(o) = o**3 + 4*o**2 - 3*o - 5. Suppose -s - 6 = -2. Is 2 a factor of l(s)?
False
Let j(p) = p**2 + 13*p + 252. Does 5 divide j(-11)?
True
Let h = 4218 + -2872. Does 54 divide h?
False
Let c = -46 + 19. Let r be c/(-21) + (-4)/14. Is 7 a factor of (-2 + 3)*(13 + r)?
True
Let o = 295 + -235. Does 20 divide o?
True
Suppose -2*y = -5*k + 1688, 3*k + 2*y = 431 + 569. Is k a multiple of 10?
False
Let r = -5402 - -8438. Is r a multiple of 79?
False
Let f(d) = 2*d - 13. Let j be f(7). Does 19 divide 95*((0 - 0) + j)?
True
Let l(g) = -2*g - 72. Let q(v) = 2*v + 71. Let u(i) = 5*l(i) + 6*q(i). Let h = 0 + 0. Is 22 a factor of u(h)?
True
Let v = 32 - 29. Suppose 74 - v = g. Is 19 a factor of g?
False
Suppose 36*x + 6435