Let y = -35 - -16. Let f = -17 - y. Suppose -f*r = 2*h - 54, h - 4*h - 35 = -r. Is 7 a factor of r?
False
Let g be 4/(-6) + (-112)/(-42). Let c(z) = -4 + 4 + 3*z + 22 - g*z. Is 31 a factor of c(9)?
True
Suppose 0 = 14*c - 11*c - 5994. Is 27 a factor of c?
True
Let v(k) be the second derivative of -k**5/20 + 2*k**4/3 - 12*k**2 - 20*k - 1. Does 25 divide v(7)?
True
Suppose -8 - 2 = 2*p. Let h(y) be the first derivative of 7*y**3/3 - 11*y**2/2 - 36*y + 1222. Is 33 a factor of h(p)?
False
Let j be (-7)/6 - 10/12 - -5. Is 68 a factor of 7*j*(-598)/(-78)?
False
Let j(c) = c**3 + 3*c**2 - 20*c - 4. Let y be j(6). Let o = 387 - y. Is 44 a factor of o?
False
Suppose -7*b + 408 = -2*b - 4*j, 2*j = 5*b - 404. Let o = 85 - b. Is ((-6)/o*1)/(1/(-180)) a multiple of 27?
True
Suppose 2*d + 5*w - 3463 = 6*w, 0 = -2*d + 5*w + 3475. Is 65 a factor of d?
False
Suppose -4*r + 6 = -5*m, -2*r + 0*r = -3*m - 2. Suppose 3*f = -g - f - 68, m*g + 201 = 5*f. Let h = g - -275. Does 15 divide h?
False
Let x(g) be the third derivative of -23*g**4/24 + g**3 - g**2 - 111. Suppose -4*n - 10 = n. Does 13 divide x(n)?
True
Let s(m) = -m**3 + 21*m**2 + 100*m - 2. Let p be s(25). Is (-340)/(-8) + (-2)/8*p a multiple of 5?
False
Suppose -149*c + 854073 = 94888 - 1442141. Is c a multiple of 178?
True
Suppose -j + 1552 = -750. Is j a multiple of 49?
False
Let l be 32/6 + 8/(-24). Let u(t) = t**2 + 8*t - 16. Let a be u(l). Let q = -7 + a. Is q a multiple of 4?
False
Suppose 16101 = 127*g - 887122 + 54609. Does 42 divide g?
False
Let l = 255 + -180. Suppose 81*b - l*b = 7296. Is 11 a factor of b?
False
Let w be (17 - 17)/(0 + -1). Suppose w = 24*y - 690 + 186. Does 3 divide y?
True
Let u be (3/(-4)*-2)/((-6)/(-44)). Suppose -5 + u = 3*k. Let p(x) = 11*x**3 - 4*x**2 + x - 1. Does 10 divide p(k)?
False
Suppose -9*z + 8*z - 21 = -5*f, -5*z = -f + 33. Let m(s) = -s**3 + 5*s**2 + 19*s + 6. Is m(z) a multiple of 12?
True
Let p be -3 - -1 - 8784/(40/(-10)). Let t = -1470 + p. Does 35 divide t?
False
Let s(j) = 57*j + 626. Let h be s(7). Suppose -2*n - 4 + 14 = 0. Suppose 0*k + n*k = -5*w + h, -w + 220 = -4*k. Is 26 a factor of w?
True
Let d = 393 - -283. Suppose 8*l - 4*l + d = 0. Let q = -117 - l. Is q a multiple of 26?
True
Suppose 4*u = 22*j - 21*j + 41600, -2*j = 0. Is u a multiple of 52?
True
Suppose -85355 + 23523 = -21*x + 483748. Is x a multiple of 86?
False
Suppose -3*j - 2*r + 12444 = 0, -4*r = j - 2631 - 1527. Does 84 divide j?
False
Suppose -2*m + 6 = 2*h, -12*h + 4*m - 8 = -14*h. Suppose 5*c - 2*r - 277 - 704 = 0, h*c - 2*r - 396 = 0. Is 65 a factor of c?
True
Let a(k) = -25*k**3 + 10*k - 24. Suppose 3*y - 7 - 15 = 4*v, -12 = 2*v - 2*y. Does 39 divide a(v)?
False
Let x(j) = 34*j**2 + 55*j + 196. Is 21 a factor of x(28)?
True
Let i(s) = -34*s + 44. Let w be i(1). Is 34 a factor of (14547/(-39))/(2*(-1)/w)?
False
Suppose 108*z + 3134 = 123554. Is 40 a factor of z?
False
Suppose 9*v - 43 - 47 = 0. Let r be ((-100)/60)/(-2 + v/6). Suppose 437 = r*z - 53. Is z a multiple of 14?
True
Suppose -26*z = -22*z + 20, 5*v - 17880 = 3*z. Is 39 a factor of v?
False
Let k = 7078 + -2487. Is 21 a factor of k?
False
Suppose -275 = -4*p - 3*d, -192 + 462 = 4*p - 2*d. Suppose -67*c = -p*c + 116. Is c a multiple of 16?
False
Suppose 4*f + 82*w = 85*w + 45351, -w + 45347 = 4*f. Does 6 divide f?
False
Suppose -3*o = -p - 974 - 62745, 3*p - 63723 = -3*o. Is o a multiple of 120?
True
Let u be 247 + 60/6 + -7. Is 11 a factor of u/2 - (24/3 - 4)?
True
Does 2 divide 39054/60 + (8/60)/(8/6)?
False
Suppose 1136 - 176 = 5*x + 5*o, -202 = -x + 4*o. Suppose x + 1282 = 6*y. Does 6 divide y?
True
Suppose 5*g + 40*w - 39*w - 15 = 0, -5*g + 25 = 3*w. Suppose -5*d + 2883 = 2*l, 6 = -g*l + 4. Is d a multiple of 16?
False
Let m(b) = 531*b**3 - 56*b**2 + 191*b - 2. Does 52 divide m(3)?
True
Suppose 3*c = 5*r + 7051, -2*r + 4707 = 2*c + r. Suppose -23*y + 15*y = -c. Is 77 a factor of y?
False
Let s = 339 - 95. Let h = s - 200. Is h a multiple of 11?
True
Does 125 divide 13 + (-16810)/((-45)/9)?
True
Let z(m) be the second derivative of -17*m**3/6 - 13*m**2 + 90*m. Suppose 4*j + c + 3*c + 16 = 0, -28 = 5*j - 3*c. Is 8 a factor of z(j)?
False
Suppose 2384*g - 208500 = 2354*g. Is g a multiple of 10?
True
Does 8 divide (2 + 287/6*2295/714)*268?
False
Suppose 350 = 8*i - i. Suppose -8*f + 64 = -5*q - 6*f, -4*q = -f + i. Is 13 a factor of (-39 - -2)/(-1) + (q - -14)?
True
Let i = -33 + 10. Let t = i + 32. Suppose t*r = 2 + 151. Does 2 divide r?
False
Let a = 447 - 75. Suppose 2*u - 4*u - 4*o - 510 = 0, 0 = -3*u - 2*o - 785. Let z = u + a. Is 12 a factor of z?
False
Let z(s) be the second derivative of -s**3/3 - s**2/2 + s. Let i be z(-1). Suppose 0 = -5*m + 479 + i. Is 32 a factor of m?
True
Let x(u) be the first derivative of -5*u**2/2 - 18*u - 19. Let d be x(-4). Suppose -110 = -d*f + 4*a, f + a - 4*a - 56 = 0. Is 9 a factor of f?
False
Suppose -751*d = -739*d - 60. Is 1 + (-2 - -1804 - d) a multiple of 24?
False
Let n(f) = 212*f**2 + 17*f - 113. Is 29 a factor of n(4)?
False
Suppose -19528 + 53680 = 18*s - 70752. Is 6 a factor of s?
False
Suppose 6*n = 6, 2*n - 33001 = -4*y + n. Is 6 a factor of y?
True
Let m(q) = -184*q - 2498. Is m(-84) a multiple of 22?
True
Let g(b) = b**3 + 12*b + 2. Let l be g(6). Does 5 divide (l/87)/(1/45)?
True
Let j(u) = -u**2 + 9*u + 11. Let p be j(11). Let a be (p - -12) + 13*1. Suppose -165 = -17*n + a*n. Is 11 a factor of n?
True
Suppose -4*v + 2*s + 244 = -250, -3*v + 366 = -3*s. Let t = 138 + -174. Let f = v - t. Is 21 a factor of f?
False
Suppose -7*s + 3*s = -2*s - 5880. Does 17 divide s?
False
Let m(c) = -1164*c - 12072. Does 141 divide m(-22)?
True
Suppose -279 = -28*n - 27. Suppose -z + n*z - 1280 = 0. Is z a multiple of 5?
True
Suppose -4*m = 5*u + 135, m + 5*u = 6*u - 36. Let o = -33 - m. Is 21 a factor of 9 + -7 - (49*o)/(-1)?
False
Suppose -5*n - o + 974 = -338, n + 4*o - 251 = 0. Suppose 0 = 5*r + 4*t - n - 109, t - 363 = -5*r. Is 6 a factor of r?
True
Let d be -96 - (0 + -1 + 4). Let f = d - -312. Suppose -5*w - f = -733. Is 13 a factor of w?
True
Suppose -8460 = -4*a + 24*a. Does 23 divide (1 + -3)*(5 + a/2)?
False
Suppose -111*c + 106*c = -15. Suppose -81 - 270 = -c*p. Is 13 a factor of p?
True
Suppose 9 = -r - 5*x - 16, -4*r - 25 = 5*x. Suppose 4*c - 16 = -0*c, -4*f - 3*c + 124 = r. Does 13 divide f?
False
Suppose 3 = -3*a, 2*k - 4*a + 3 - 23 = 0. Suppose -h = h - k. Suppose -80 = -t + i - 4*i, h*t = -4*i + 320. Does 8 divide t?
True
Let j be (2*-2)/(-1) - (45 - 53). Suppose 0 = j*g - 4744 - 404. Is 39 a factor of g?
True
Does 114 divide (1 - 9321/(-2)) + (-680)/1360?
False
Let a be 0 + 2/((-10)/(-15)). Suppose 0 = -a*l + 20 + 16. Suppose 3*q + l = -q, 3*i + 2*q - 63 = 0. Does 8 divide i?
False
Suppose -4*v + 4*q + 92 = 32, 4*v - 3*q - 56 = 0. Let h = 17 - v. Is -3 - -27 - (3 - h) a multiple of 6?
False
Suppose 4*k + 27 = -9. Let y = 35 + k. Does 8 divide (y/(-5))/(8/(-80))?
False
Suppose 0 = 5*u + 2*b - 87 - 32, -u = -4*b - 37. Suppose 0 = -u*k + 21*k + 64. Suppose -8 = -2*h + 4*g, 2*h + 2*g - k = 4*g. Does 12 divide h?
True
Suppose 4*c + 1539 = 2*j + 5*c, j - 5*c = 797. Let i = 47 + j. Suppose -x + 2*k = 4*x - i, -2*x + 5*k = -336. Is 52 a factor of x?
False
Let s = -11197 - -23720. Is s a multiple of 19?
False
Is 9 a factor of (-2900)/(-7) - ((-2295)/(-119) - 19)?
True
Does 81 divide -12 - -8332*(-6)/(-8)?
True
Suppose -2*o + 2*z + 86 = 0, -5*o = -2*z + 3*z - 227. Suppose 0 = 38*l - o*l + 462. Does 7 divide l?
False
Does 16 divide (-1795)/10*-26 + -1?
False
Let z(x) = 3*x**2 + 81*x + 183. Is 14 a factor of z(-53)?
False
Suppose -3*l - 5*z = -79, -1 = 5*z + 4. Suppose 2142 = -l*v + 35*v. Is v a multiple of 9?
True
Is 29 a factor of 3*(61409/21 - 9/(-21))?
False
Let w(n) = 25*n - 235. Let o be (-1 - 210/((-25)/5)) + -5. Is w(o) a multiple of 19?
True
Is (1 + 53765/10)*-15*24/(-300) a multiple of 18?
False
Let v = 36543 + -31543. Is 8 a factor of v?
True
Suppose -6722 + 66769 = 5*n - 2*m, 10*n - 120114 = -m. Is n a multiple of 75?
False
Is 13 a factor of (9/(-6))/((-6)/16364)?
False
Let m = -36 + 36. Let h be (45/(-18))/((-1)/2). Suppose h*s - 4*d - 185 = m, 4*d - 3*d - 5 = 0. Is s a multiple of 16?
False
Suppose -4*w = 120 + 256. Let q be -16 - ((-49)/21)/(2/(-6)). Let p