 5*y = -j + 118, 20 = 5*y - y. Let v = -12 + j. Does 9 divide v?
True
Suppose -831 = -8*l + 2089. Is 17 a factor of l?
False
Suppose 0 = 6*p - 1325 + 533. Does 12 divide p?
True
Let z(g) = -g**3 + g**2 + 3*g + 1. Let m(s) = -s - 7. Let a be m(-4). Is z(a) a multiple of 28?
True
Suppose 9 = -5*n - 61. Let b = -5 - -7. Let g = b - n. Does 8 divide g?
True
Let z(f) = 3*f**3 - 10*f**2 + 11*f + 4. Let d(r) = -r**3 + 2*r**2 - 1. Let j(y) = 4*d(y) + z(y). Is j(-6) a multiple of 16?
False
Suppose 2415 + 12985 = 40*g. Is 3 a factor of g?
False
Suppose 5*u - 3 = 4*u. Let g be (70/(-49))/(u/(-105)). Let y = -17 + g. Is 27 a factor of y?
False
Let x(t) = -8*t**3 - 3*t**2 - t. Is 24 a factor of x(-3)?
True
Suppose 0 = 5*l + 3*d - 232, -l - 5*d = -4*l + 112. Is l a multiple of 9?
False
Let w = 11 + -8. Suppose -4*v + w*v = -58. Is 10 a factor of v?
False
Is (-7)/(-9*(-8)/168)*-105 a multiple of 39?
False
Suppose r = -5*d - 25, 3*d = 5*r - 0*d + 97. Let f be r/10 + 2*-1. Let p = 18 + f. Is p a multiple of 14?
True
Suppose 204 + 2208 = -18*o. Let j = -56 - o. Is 26 a factor of j?
True
Let m = -24 + 9. Does 7 divide 22 - (-2 + m/(-5))?
True
Let p = 1159 + -339. Is p a multiple of 30?
False
Suppose 0 = -6*l + 4*l + 3*w + 205, 0 = 3*l - 3*w - 312. Is l a multiple of 26?
False
Suppose -64 = -39*j + 755. Is j a multiple of 3?
True
Suppose -h + 10 = 4*h. Suppose h*n + 3*n = 15. Suppose -2*g + 99 = -5*v + 4*v, 2*v = -n*g + 145. Is g a multiple of 18?
False
Suppose 4*v - 3*h + 485 = 1676, 5*h = -2*v + 589. Is 31 a factor of v?
False
Let s(g) = 3*g - 16. Let w(y) = 3*y - 17. Let b(j) = -5*s(j) + 6*w(j). Does 14 divide b(12)?
True
Let b(i) = -597*i + 3. Is 25 a factor of b(-1)?
True
Let c be (-4)/(-6) - 376/24. Let x be 12 + c + (0 - 1). Is 17 a factor of (2 - 0)/(x/(-52))?
False
Let n = 537 + -338. Suppose s = -3*s + 12. Suppose 3*i = -0*w + 5*w + 298, -2*i + n = -s*w. Is 16 a factor of i?
False
Suppose 1974 - 414 = 5*k. Suppose 0 = 4*x - 208 - k. Suppose 5*c - x - 405 = 0. Is 30 a factor of c?
False
Suppose 4*z - 3*n = -25, 9 + 0 = -3*z - n. Let g be -2 - (-162 + z/2). Suppose h - 4*o - 48 = 0, -o - g = -3*h - h. Is h a multiple of 24?
False
Let s = 2204 - 1629. Is s a multiple of 115?
True
Let q be (-56)/5 + (-13)/(-65). Let o(d) = -d**3 - 10*d**2 + 9*d - 17. Is o(q) a multiple of 2?
False
Let t(i) = 2*i + 1. Let w be t(1). Suppose 13*f + 5*b - 1093 = 10*f, -f + w*b = -341. Is f a multiple of 49?
False
Let g = 229 - -451. Is 34 a factor of g?
True
Suppose -u + 6*u = 175. Let i = -22 + u. Does 2 divide i?
False
Let l(q) = 110*q**2. Let c be l(-1). Is (5 - 7)/((-4)/c) a multiple of 5?
True
Is ((-21)/(-6))/((99/(-4392))/(-11)) a multiple of 13?
False
Let u(d) = -12*d - 1. Suppose -4*j = -5*j - 2. Let a = -12 - j. Does 26 divide u(a)?
False
Suppose 161 = 5*w - 24. Suppose -w - 40 = -x. Does 20 divide x?
False
Let b be (-2)/14*2 + 370/70. Suppose b*q + 2*x = 144, 19 = q + 5*x + 4. Does 30 divide q?
True
Is 21 a factor of ((-42)/4)/(40/(-640))?
True
Let x(p) = 7*p + 107. Is 2 a factor of x(-12)?
False
Suppose 0 = 2*a + p - 219, 4*a - 458 = 5*p - 3*p. Is 7 a factor of a?
True
Is 10/2 + (-51)/(-3) a multiple of 5?
False
Suppose -119*w + 4*k = -117*w - 6554, 2*w = k + 6551. Is w a multiple of 25?
True
Let x(i) be the second derivative of 25*i**4/4 + i**2/2 + i. Does 19 divide x(-1)?
True
Let u(p) = p**3 + 18*p**2 + 10*p - 29. Let k be u(-15). Does 11 divide 20/(-1)*k/(-64)?
False
Let b(v) = -2*v - 11. Let h be b(-10). Suppose h*y + 4*y = 2964. Is 38 a factor of y?
True
Is (-1008)/(-280)*(-215)/(-2) a multiple of 3?
True
Suppose -o + 129 = 5*x, -26*o = -29*o + 4*x + 406. Is 67 a factor of o?
True
Suppose -2*c = -2 - 4. Suppose 2*m = c*m + 3, -5*f = -3*m - 69. Is 10 a factor of (-122)/(-8) - f/48?
False
Suppose 4554 = 32*c - 21*c. Does 46 divide c?
True
Suppose -1006 = -4*z + 2*r, z + 0*z = 5*r + 229. Does 45 divide z?
False
Is 47 a factor of (24/3)/4 - (-617 - 1)?
False
Suppose -4*p + 4*y + 148 + 68 = 0, -4*p - 4*y + 208 = 0. Let d = 63 - p. Is d a multiple of 2?
True
Does 13 divide (-4 - -3 - -5)*154/2?
False
Let y = -28 + 2. Let f = y - -32. Is 12 a factor of (408/f)/(4/2)?
False
Suppose 35*o - 23*o - 2184 = 0. Is 25 a factor of o?
False
Suppose -10 + 30 = 4*h, -h - 4515 = -4*z. Is 5 a factor of z?
True
Suppose 1202 = 4*a + 66. Does 37 divide a?
False
Let x be (-117)/(-5) + (-4)/10. Suppose 2*b - 4*i - 5 = -19, -3*b = -5*i + x. Let o(u) = u**2 - 2. Is o(b) a multiple of 21?
False
Let h(m) = 2*m**2 - 12*m + 18. Let a be h(10). Is -4 - (-2 - a) - 5 a multiple of 53?
False
Let m = -330 + 365. Is m a multiple of 10?
False
Suppose -3*w = 3*h - 72, 3*w = -w - 3*h + 99. Is 963/w + 2/(-3) a multiple of 5?
True
Let o(n) = -n**3 + 9*n**2 - 9*n + 13. Let u be 4 - 3/(3 + -6). Suppose u*q = 21 + 19. Is 4 a factor of o(q)?
False
Let a be (-36)/(-45)*230/4. Let x = a - 5. Is x a multiple of 20?
False
Let j be (1 + 30/(-8))*-12. Suppose -24 = -s + 3*a, 4*a - j = -2*s - s. Is s a multiple of 5?
True
Suppose -3*i = -0*i. Suppose y - 4*y + 105 = i. Let v = y + 16. Is v a multiple of 17?
True
Suppose 151*p - 14912 = 143*p. Is p a multiple of 65?
False
Suppose -25 = 5*b, 5*b + 91 = -0*t + 3*t. Is (-1)/(4/(-16)) + t a multiple of 13?
True
Let w = 144 + -18. Does 9 divide w?
True
Let m be (-2)/3 - 88/12. Let t(n) = -n**3 - 8*n**2 + 2*n + 11. Let b be t(m). Is 14 a factor of 6736/80 + 1/b?
True
Let m = 3 + -9. Let u be m + 9 - (-5)/(-1). Does 4 divide (7 - 8)/(u/36)?
False
Let o be 48/(-128) + 437/(-8). Let h = 163 + o. Is h a multiple of 27?
True
Let l(m) = -25*m**3 - 15*m**2 + 9*m - 1. Is l(-4) a multiple of 21?
True
Let f(a) = a**3 - 9*a**2 + 12*a + 4. Is 9 a factor of f(8)?
True
Does 19 divide 30/(-10)*(-19)/(-3 + 4)?
True
Suppose -769 = -3*n + 221. Is 22 a factor of n?
True
Suppose 5*c - 65 = c - w, 5*c = 5*w + 75. Suppose -3*b + c = 4*p - 2*p, -p + 34 = -5*b. Let n = 5 + p. Is 19 a factor of n?
True
Let p = -36 + 396. Is p a multiple of 73?
False
Let y(n) = -5*n - n + 12 + n + 6*n**3 + 3*n**3. Is y(2) a multiple of 5?
False
Let y = 0 - -5. Suppose -57 + 12 = -y*u. Is 14 a factor of ((-48)/u)/((-7)/21)?
False
Let y(s) = 46*s**2 - 6*s + 12. Does 46 divide y(2)?
True
Suppose 3*i - 751 = -0*c - 4*c, c + 995 = 4*i. Is 21 a factor of i?
False
Let d(c) be the third derivative of 3*c**5/20 - c**4/8 + c**3/3 + 9*c**2. Is 16 a factor of d(2)?
True
Suppose -24*c - 1 = -25*c. Is 15 a factor of (0 - (-6)/(-3))/c*-75?
True
Let d = -88 - -84. Let o(g) = 4*g**2 + g - 3. Is 3 a factor of o(d)?
True
Suppose 30*x + 211 = 1621. Does 6 divide x?
False
Let q(s) be the first derivative of -5*s**2/2 - 15*s - 8. Is 6 a factor of q(-10)?
False
Let h(i) = 4*i**2 - i + 10*i**2 - 2 - 6*i**2. Is h(-4) a multiple of 17?
False
Let y = 59 + 39. Is y a multiple of 7?
True
Suppose 5*y - 5*b + 83 = 33, 3*y - 5*b = -26. Let l be 2/8 - (-15)/y. Is 3 a factor of l/(-4) - 11/(-4)?
True
Let w be (-3 - (-22)/6)*(-150)/(-2). Let t = -9 + w. Is t a multiple of 12?
False
Suppose -28*y + 1332 = 3*f - 29*y, 2*f - 888 = 3*y. Does 4 divide f?
True
Let g = -5 - -10. Let q(r) = -r - r + g*r - 3 + 16. Is 11 a factor of q(9)?
False
Let d(u) = 6*u**3 - 12*u**2 + 22*u - 7. Is d(4) a multiple of 13?
True
Suppose 572 = 2*y - 520. Is y a multiple of 44?
False
Let c = -25 - -55. Suppose -a = 4*a - c. Suppose 0 = -3*q + 5*j + 88, -3*q + 4*j - a*j = -95. Does 11 divide q?
False
Let u be ((-9)/(-21))/(2/14). Is 12 a factor of (3 + 39/u)*12/1?
True
Let l(h) = -3*h + 46. Let p be l(-9). Suppose 2*c + 2*w = -c + p, -3*c = 4*w - 83. Does 3 divide c?
True
Suppose 0 = -0*q - 2*q + 2*f + 40, 3*q = 2*f + 64. Suppose 0 = -11*j + 8*j - q. Let h = 25 + j. Does 14 divide h?
False
Let d be (1 - 7)/(1 + 0). Let l be (d + 0)*(-99)/18. Suppose -4*n + l = -3*c, 5*n + c - 14 - 51 = 0. Does 6 divide n?
True
Suppose -12*y + 13 = -10067. Is y a multiple of 56?
True
Suppose f - 4581 = -2*f + 5*v, -3*f + 4560 = 2*v. Is 27 a factor of f?
False
Let l = -135 - -137. Suppose 6*g - 2*g - 394 = 2*b, -4*g + b = -391. Suppose -y - v - 24 = -g, -4*y + 304 = -l*v. Is 25 a factor of y?
True
Let w = 94 + 5. Suppose 2*l + 14 = 26. Suppose l*i - w = 3*i. Does 15 divide i?
False
Suppose 4928 = 77*c - 55*c. Does 14 divide c?
True
Let r = 52 - 44. Suppose r*u - 267 = 21. Is u a multiple