(-2 - -3) - 969/3. Let w = n - -487. Does 22 divide (2 + w)*2/3?
True
Let s(v) = -623*v - 434. Let t be s(-6). Suppose -t = 15*w - 74*w. Is w even?
True
Let s = 422 + -251. Suppose 40*x = 43*x - s. Is 43 a factor of x?
False
Let q(z) = -z**3 - 10*z**2 + 34*z - 23. Suppose 30*t = 25*t - 65. Is 21 a factor of q(t)?
True
Let i = 7058 + -5875. Is i a multiple of 13?
True
Let w be ((-155)/93)/(2/6). Is 4 a factor of (11 + w)/(-3) - -58?
True
Suppose -g - 4*n + 5*n = 159, 4 = -4*n. Let u = g + -114. Let m = -137 - u. Is 10 a factor of m?
False
Let i = -526 - -534. Suppose 0 = i*v - 34*v + 22152. Does 34 divide v?
False
Suppose -3*p + 5*g + 329 = 0, -g = -5*g - 4. Let c = p + -64. Let f = c - -46. Does 18 divide f?
True
Let a = 94 + -106. Let i = a + 103. Suppose -4*g - q + 292 = q, -4*q = -g + i. Is g a multiple of 15?
True
Let n be (-32)/48*237/2. Let h = n + 79. Suppose 16*r - 13*r - 246 = h. Does 41 divide r?
True
Let a(u) = 14*u + 56. Let p(c) = c**2 + 4*c + 3. Let j be p(-6). Is a(j) a multiple of 40?
False
Suppose 7*t - 6643 = -49. Let j = -396 + t. Does 14 divide j?
True
Let h = -57 + 1045. Does 76 divide h?
True
Suppose 3*j - 255 = 8*t - 4*t, 4*j - 350 = 2*t. Does 89 divide j?
True
Suppose 7*g - 26 - 9 = 0. Suppose 160 = 4*u + 4*p, 10*u - g*u - 4*p = 164. Is u a multiple of 2?
True
Let p(g) = -3*g + 14. Let v be p(-4). Suppose -2*a + 27*u - v*u + 1436 = 0, 4*u - 3564 = -5*a. Is 12 a factor of a?
False
Let b be 4318 - (-5)/((-30)/42). Suppose -1989 = -9*d + b. Does 35 divide d?
True
Suppose -5*q - l = -2260, 6*q - 3*q - 1356 = -5*l. Suppose -8*v + q = 4. Is v a multiple of 28?
True
Let p = 71 - 56. Suppose i + 4*x - 10 - p = 0, -3*i + 75 = 2*x. Is 8 a factor of i?
False
Let t = 266 + -261. Suppose -3*m - 2*m + s + 2202 = 0, -t*m + 2220 = 5*s. Is 9 a factor of m?
True
Let b be (-40 - -39) + (1 - 0). Suppose s + b*s - 929 = -4*w, -5*w = -3*s - 1140. Is w a multiple of 11?
True
Let w(b) = 2*b**2 + 21*b + 30. Let x be w(-8). Is 62 a factor of (62*(-35)/x*-4)/(-2)?
True
Suppose -5*t + 206 = -19. Let l be 1*2 - (16 + -135). Let n = l - t. Is 38 a factor of n?
True
Let u = 3987 - -3417. Is u a multiple of 19?
False
Let k(l) = -l**3 + 5*l**2 + 16*l - 19. Let q be k(7). Let n(x) = 43*x**2 + 12*x + 90. Is n(q) a multiple of 23?
False
Suppose -315 - 15 = -4*x + 5*c, 3*x - 5*c = 245. Let y = x + 175. Is 5 a factor of y?
True
Let t be -40*6/(-30) + 2 + (2 - -2). Let k be 3*(5/(-3) + 1). Is (k - 973/t)/(1/(-2)) a multiple of 10?
False
Let d(l) = l**3 + 1. Let v be d(1). Suppose v*z = 7*z - 15. Is z*(70/15 - 2) a multiple of 4?
True
Suppose 7*d - 19 = -5. Suppose 1260 = 2*c + d*c. Is 35 a factor of c?
True
Suppose 10391*a = 10396*a - 9760. Does 16 divide a?
True
Let q(f) = -f**3 - 25*f**2 + 20*f + 52. Let u be q(-25). Let y = u + 453. Does 5 divide y?
True
Let a(j) = 13*j + 26. Let o(z) = z**3 + 18*z**2 - 43*z - 49. Let t be o(-20). Is a(t) a multiple of 13?
True
Let l(t) = -t**3 - 7*t**2 + 5*t - 16. Let y be l(-8). Suppose -4*j + d + 1086 = 0, j + y*d - 9*d - 270 = 0. Is 3 a factor of j?
False
Let o be -7 + -8 + 22 + 2. Let y(v) = -v**3 + 6*v**2 + 75*v - 8. Is 83 a factor of y(o)?
False
Suppose 140032 = 11*s + 140065. Let i(l) be the third derivative of -l**6/12 + l**5/15 + l**4/24 + l**3/2 - l**2. Is 34 a factor of i(s)?
True
Suppose -7*z + 2*z + 205 = 0. Let y = z + -37. Let w(x) = 9*x**2 + 6*x - 9. Does 29 divide w(y)?
False
Let z(o) = -375*o + 15. Let m(d) = 2*d. Let c(l) = -3*m(l) + z(l). Does 37 divide c(-2)?
True
Let n be (-223)/9 + (-10)/45. Let g = 136 + n. Suppose 5*s - g - 47 = -2*q, -q - 5*s = -84. Is 10 a factor of q?
False
Suppose 13 = 5*q - 12, 0 = -4*i - 2*q + 4690. Let o = i + -654. Does 14 divide o?
False
Suppose w = 4*l + 15, -7*w + 5*l = -5*w - 21. Suppose 4*s = 5*k + 231 + 58, 0 = -4*s + w*k + 295. Is s a multiple of 19?
True
Is 12/45*(1 - -5)*(-175950)/(-45) a multiple of 37?
False
Let f = -148 - -187. Suppose f*p - 29*p = 9270. Does 9 divide p?
True
Let n = 10504 - 5024. Is n a multiple of 20?
True
Suppose 0 = b - 4, 13*a - 4*b - 16 = 17*a. Does 5 divide (6/(-10))/(a/120)?
False
Let s(t) = 514*t**2 + 2*t - 6 + t - 502*t**2 - 5*t. Let i be s(3). Is 10 a factor of (1 - (5 + -5)) + i?
False
Let d = 70 + 224. Suppose 0 = -d*c + 295*c - 481. Is c a multiple of 21?
False
Suppose -687*s + 689*s = 10, 2*z = s + 14785. Does 3 divide z?
True
Let i(d) = -15*d + 4967. Is i(55) a multiple of 32?
False
Let j(v) be the third derivative of v**6/120 + 8*v**5/15 + 47*v**4/12 + v**3 - 118*v**2. Does 30 divide j(-28)?
True
Suppose 0 = 4*b + 3*k + 91, -b + 4*k = 9 - 10. Let u(g) = g**3 + 21*g**2 + 22*g - 59. Does 7 divide u(b)?
True
Suppose 0 = -2*c + 4*s + 8 - 0, -19 = -4*c + 5*s. Suppose 0 = -4*p + c*p - 10. Suppose 4*u - 11 = p. Does 3 divide u?
False
Does 232 divide (15/(-6) + 2)*(-1 - (7730 + -13))?
False
Suppose -g = 5*g - 18. Suppose t + 4*t - 151 = 4*i, g*t - 97 = -4*i. Is 11 a factor of t - (-1)/2*2?
False
Let y be (5 + 0 - 4) + -697*1. Is 8 a factor of (y/(-2))/((-20)/(-10))?
False
Let u = -175 - -130. Does 10 divide ((-2508)/9)/(-2) - 30/u?
True
Let i(m) be the second derivative of -107*m**3/6 + 14*m**2 - 130*m. Is i(-4) a multiple of 24?
True
Let h(c) = -4*c + 27 - 75 + 139 + 0*c. Is 15 a factor of h(4)?
True
Suppose 12 = -12*a + 9*a. Let i be -4*(-9)/6 - (-1 - a). Suppose -2*c + c = i*j - 81, 4*j + 53 = c. Is 23 a factor of c?
True
Let o be (10 - -2)/2 + -1. Let f(i) = -12*i - 180. Let p be f(-15). Suppose -2*v + o*v - 48 = p. Is v a multiple of 4?
True
Suppose 10*c - 7 = 3. Suppose 5*m + c = -3*b + 125, -2*b + 91 = 5*m. Does 2 divide b?
False
Let h(s) = 269*s**2 + 11*s - 21. Is 81 a factor of h(4)?
False
Let y be 0 + 5 + (2 - (-661 + -2)). Suppose 208*l = 213*l - y. Is 18 a factor of l?
False
Let x(m) = 1323*m**3 - 5*m + 21. Is x(2) a multiple of 21?
False
Is 18 a factor of (6 + (-2873)/2)/(2/(-11 + -1))?
False
Let j be (30/(-10) + 2 + 1)*1. Let q be 1186 + j - (0 - -5). Suppose 2*p + 3*k = 410, -q + 137 = -5*p + 2*k. Does 26 divide p?
True
Let d = -1747 + 1761. Is 6 a factor of d?
False
Suppose 89*f - 87*f + 25518 = 5*y, -2*f = 3*y - 15314. Is y a multiple of 88?
True
Let s = -1 - 10. Let z(y) = -y**3 - 12*y**2 - 16*y - 13. Let v be z(s). Suppose 20*p + v = 23*p. Is 14 a factor of p?
True
Let u = -70 - -81. Let r(a) = 1 + a**3 - 6*a + u*a**3 + 8*a + 0*a**3. Is 27 a factor of r(2)?
False
Let k(m) = 2*m**2 + 15*m + 38. Let j be k(-6). Suppose j*w - 18*w - 816 = 0. Is w a multiple of 64?
False
Let t = 26 + -23. Suppose 0 = l + t - 1. Does 11 divide (31 - (l + 0)) + 0?
True
Suppose -h - 4*h = -2*w + 685, 4*h = -4*w - 520. Is 38 a factor of (9234/h)/(1*(-1)/10)?
True
Suppose 3*c - 3*r - 10 = 4*c, 5*c - 5*r - 30 = 0. Let m(j) = 6*j - 2*j + j**3 - 22 - 504*j**c + 517*j**2. Is 38 a factor of m(-9)?
True
Let x = 333 + -336. Is 4 a factor of (x - (-39)/9)/((-2)/(-24))?
True
Let f(n) = 4*n**2 + 23*n - 3. Let k be f(-6). Suppose -4*i = k*t - 907, i - 4*i = t - 684. Is 11 a factor of i?
False
Suppose 8705 = 5*k + 5*l, -4*l - 5223 = -3*k - 9*l. Suppose -8*f + k = -595. Does 62 divide f?
False
Suppose 3*i - c = -2*i + 52, c = i - 12. Suppose 14 = 2*j - 2*b + 6, 0 = 5*b + i. Is 94 - (-2 - -2)*1/j a multiple of 15?
False
Let h = 9891 - 1845. Is h a multiple of 13?
False
Let v be (274/6*-3)/1. Let s = v - -255. Does 18 divide s?
False
Suppose 4*n = -10 - 14. Let p(l) = -80*l - 35. Let f be p(n). Suppose -3*r + 44 = h - 74, 4*h + 3*r = f. Is 19 a factor of h?
False
Let o(c) = 56*c**3 - 24*c**2 + 13*c - 20. Is 60 a factor of o(7)?
False
Suppose -y - 1 = 4*o, 2*y + 3*o = 5 + 13. Is 70 a factor of 1396/10 - y/(900/(-24))?
True
Let f(u) = u**3 - 3*u**2 - 7*u + 1. Let t(i) = -i + 35. Let q be t(29). Is 6 a factor of f(q)?
False
Let z(q) = -63*q + 2146. Is 51 a factor of z(17)?
False
Suppose -2*y - y - 1 = 5*l, -5*l - 19 = -3*y. Does 31 divide ((-46)/(-4) - -4)/(l/(-20))?
True
Suppose -63 = 17*l - 93784. Does 13 divide l?
False
Suppose -v = 3*d + 7, 4*d = 2*v + 3*v - 41. Suppose -v*i + 2*x = -2978, -4*i + 2396 = -6*x + x. Does 27 divide i?
True
Let m(g) be the second derivative of g**4/6 - g**3/6 + 3*g**2/2 + 14*g. Let v be m(4). Let p = v + -19. Does 12 divide p?
True
Is 9319264/408 + (-2 - (-10)/6) a multiple of 9?
False
Suppose -531*p + 3552 = -528*p. Is 8