5, 80*u = 81*u. Does 59 divide f?
True
Suppose -3*r + 15 = 5*n - r, 2*r = 3*n - 9. Suppose 0 = n*i - i - 8. Suppose -7 - i = -w. Does 8 divide w?
False
Let x = 90294 - 53719. Is x a multiple of 25?
True
Let h = -113 + 108. Let f(w) = -w**3 - 2*w**2 + 2*w + 7. Is 8 a factor of f(h)?
True
Suppose -94*l = -105*l + 79877 + 26845. Is 6 a factor of l?
True
Suppose -3610 = -2*y - 4*s, y + 2*y - 5425 = -s. Suppose 2*k = 4*w - 133 - y, 5*w - 5*k - 2430 = 0. Is w a multiple of 28?
False
Let g(y) = -348*y - 354. Is 27 a factor of g(-35)?
True
Suppose 5*l - 21 = 3*c, -2*c + 0 = l + 1. Let n be c/((-24)/9*(-1)/188). Let r = 321 + n. Is r a multiple of 20?
True
Suppose -5*p - w + 42788 = 0, -4*w + 14655 + 2471 = 2*p. Is 73 a factor of p?
False
Let c(p) = -898*p**3 - 13*p**2 - 13*p. Is 8 a factor of c(-1)?
False
Let n(c) = -5*c**3 + 2*c**2 - 28*c - 7. Let l(h) = 4*h**3 - 3*h**2 + 27*h + 9. Let j(y) = 6*l(y) + 5*n(y). Is j(-12) a multiple of 19?
False
Let m = -3165 + 5901. Does 12 divide m?
True
Let v be -5 + 5 + 5 + -1. Suppose -v*y = -7*y + 6. Suppose -2*k - 21 = -5*k + 3*t, -4*k + y*t = -34. Does 5 divide k?
True
Suppose 145*x - 63984 = 102*x. Does 22 divide x?
False
Let u(m) = -3*m + 6. Let k = 0 - -2. Let n be u(k). Suppose n = -2*h + 112 - 68. Is h a multiple of 10?
False
Suppose -2*w - 2*n - 5 = -19, 8 = 2*w - 4*n. Suppose -w*b + 2358 = 600. Is 53 a factor of b?
False
Let p = 151 + -84. Let r = p - 74. Let b(z) = -2*z**3 - 11*z**2 - 3*z + 6. Is b(r) a multiple of 17?
False
Suppose 4*c + 964 - 984 = 0, f - 29450 = -5*c. Does 25 divide f?
True
Let f(o) = 2*o**2 + 13*o - 3. Let b be f(-7). Suppose 3*c - 3*w = 78, -b*c - 5*w + 69 + 17 = 0. Suppose 3*l - c = 6. Does 2 divide l?
True
Suppose -4*g + 4*a = 16, 3*a = -3*g - 0*a. Let u be (164/8)/((-1)/g). Let z = -25 + u. Is z a multiple of 8?
True
Let k(v) = 1624*v - 396. Does 5 divide k(1)?
False
Let u = 4175 - 1912. Is u a multiple of 5?
False
Suppose 0 = -c - z + 6*z - 5, z = -5*c + 1. Suppose -x = -4*x + 3*p + 1623, -x - 4*p + 536 = c. Is x a multiple of 60?
True
Let a = 20717 - 14734. Does 76 divide a?
False
Let o(f) be the first derivative of f**4/4 - f**3 - 11*f**2/2 + 16*f - 59. Does 27 divide o(7)?
True
Is 7 + (4/24*6)/(13/158522) even?
False
Let t be ((-1)/(-2))/(1995/154 - 13). Let c(l) = -41*l - 342. Does 5 divide c(t)?
False
Suppose -37301 - 37347 = -62*p. Is p a multiple of 86?
True
Let y(v) = 6*v**2 - 36 + 137*v - 10*v**2 + 7 + 2. Is y(33) a multiple of 17?
False
Let r = 54232 - 36136. Is r a multiple of 116?
True
Is (-20826)/623*2555/(-10) a multiple of 7?
False
Let n be (21/(-14))/((-2)/(-4)) - -425. Suppose 0 = -2*g - 0*g + n. Suppose 341 = 4*o - g. Is 16 a factor of o?
False
Let l(o) = -165*o - 30. Let v be l(6). Let y = 1848 + v. Does 46 divide y?
True
Let l be 2/(-5)*(-13)/((-26)/(-40)). Suppose -x - 3 = -l. Suppose -2*n = x*h - 492, -5*h = -0*n - 3*n + 738. Does 14 divide n?
False
Let t = 21 - -61. Does 5 divide (-8)/((-28)/(-7)) - -1*t?
True
Does 6 divide ((-2301873)/882)/(4/(-24))?
False
Let v be (-21164)/55 - (-8)/10. Let u = 275 - v. Is 11 a factor of u?
False
Let s(r) = -18 + 3*r + 6*r + 3*r. Let h(f) = 12*f - 78. Let a be h(7). Does 13 divide s(a)?
False
Suppose -3*i = -i + 2, 0 = 3*s + 3*i - 4470. Suppose s = -8*k + 3955. Suppose 0 = -5*d + k - 33. Is d a multiple of 11?
True
Let q(k) = 2*k + 19. Let n(b) = -3*b - 18. Let i(p) = 5*n(p) + 6*q(p). Let x be i(7). Suppose -d + 5*d - 420 = 5*t, 3*d + x*t - 315 = 0. Is d a multiple of 33?
False
Suppose -839077 = -13094*w + 13063*w. Is 168 a factor of w?
False
Let q = -2714 - -7633. Does 86 divide q?
False
Is 5 a factor of 8796/1*90/270?
False
Suppose 2*k - 9 = 4*w + 7, 0 = -4*k - 3*w - 1. Suppose 20 = k*m - 50. Suppose 85 + m = 3*l. Does 5 divide l?
True
Suppose 0 = 26*f - 29*f + 6. Suppose -33 = f*m - 17. Let x(y) = -y**2 - 9*y + 8. Does 2 divide x(m)?
True
Let a = 16 + 72. Suppose 6*x + 2*x + a = 0. Let j = 84 + x. Is j a multiple of 16?
False
Let i(b) = -b**3 + 6*b**2 - b - 12. Let w be i(5). Suppose 2*u - 60 = -w*u. Is 10 a factor of u + (-42)/(-9) - (-2)/6?
False
Suppose -54*w + 5*q + 32304 = -50*w, 5*w - 40354 = 3*q. Does 37 divide w?
True
Suppose -2*b + 8 + 4 = 0. Let i(a) = -5*a + 34. Let f be i(b). Suppose -f*s = -55 - 213. Is 16 a factor of s?
False
Let o(y) be the second derivative of y**5/20 - 17*y**4/12 + 13*y**3/6 - 7*y**2/2 - 15*y - 8. Let n be 0 + 1*(19 + -2). Is o(n) a multiple of 28?
False
Suppose -k + 9 = s, 0 = -7*k + 2*k + 2*s + 38. Suppose 0*z = -k*z + 1032. Is z a multiple of 48?
False
Suppose 0 = -8*f + 9*f - 2*k - 2428, 4*k = -2*f + 4800. Is 9 a factor of f?
False
Let s = -249 + 246. Does 11 divide ((264/(-16))/s)/((-2)/(-224))?
True
Let t = 2762 - 1200. Is t a multiple of 39?
False
Let y = 1 + 14. Let x(t) = -17*t**3 - 2*t**2 + 8*t + 19. Let n be x(-2). Suppose 0 = -3*f + y, -q + f = -0*q - n. Is q a multiple of 8?
True
Let o be 2/3 - (-80)/6. Suppose 0*r = o*r - 70. Suppose -349 = -r*l + x + 35, -3*l - x + 224 = 0. Is 8 a factor of l?
False
Suppose 2*d - 416 = x, -5*x + d + 114 - 2203 = 0. Is (3 + -2)/((-2)/x) a multiple of 11?
True
Suppose -4359 = -u + x, -414 = -3*x - 408. Is 89 a factor of u?
True
Let p = 117 + -114. Suppose 5*x = -5*c - 15, -4*x - 18 + 1 = p*c. Is 1700/8 + (-4)/x - 1 a multiple of 13?
False
Let v be (-249)/(-9) + -3 + 4/3. Let l = 100 - v. Is 8 a factor of l?
False
Suppose -p + 10 + 5 = -3*c, 24 = 2*p - 4*c. Let k be (-3)/p + (-3)/(18/21). Let v(q) = -2*q**3 + 4*q**2 + 9*q - 8. Is 19 a factor of v(k)?
False
Let b = -112 - -55. Let i = b - -25. Does 13 divide (-9)/(-24) - (4 - (-3444)/i)?
True
Suppose -45 = -5*v + 2*i, 2*v + i - 36 = -2*v. Does 15 divide (44 - v)*(-12)/(-14)?
True
Suppose 5*g = 2*j + 178250, -2*g + 18*j + 106950 = g. Is 50 a factor of g?
True
Let s(x) be the first derivative of -1/2*x**2 + 2 + 1/4*x**4 + 5/3*x**3 - 2*x. Is s(-5) a multiple of 3?
True
Is (18572 - -118)*2/5 a multiple of 38?
False
Let y = 44 + -6. Let k = 44 - y. Is -2 - ((-801)/k + (-3)/6) a multiple of 13?
False
Let w be (6/4)/((-2)/(-4)). Suppose 0 = w*r - 3 - 9, -2*f = 5*r - 1472. Does 64 divide f?
False
Suppose -25*r - 6114 = -23*r. Let l = -2183 - r. Is l a multiple of 46?
True
Suppose -2*a = -0*a. Suppose -5*x - 4*f + 345 = a, 5*f = 5*x - 0*f - 300. Does 5 divide x?
True
Let x(n) = -3*n**3 - 8*n**2 + 10*n - 6. Suppose -2*h + 2*q = -12, -2*h - 5*q + 8*q + 15 = 0. Suppose 3*j = h*m - 33, 4*j = j - m - 13. Is x(j) a multiple of 16?
False
Let r(x) = 472*x**2 + 4*x - 6. Let g be r(2). Let y = g + -1046. Is 10 a factor of y?
False
Suppose 62 = 9*y - 109. Suppose 8442 = 2*t + y*t. Is 35 a factor of t?
False
Let a(z) = -z**2 + 7*z + 65. Let w be a(12). Let g(m) be the third derivative of m**4/12 - m**3/3 - 10*m**2. Is g(w) a multiple of 8?
True
Let p = -99 + 53. Let r = p - -50. Let f(q) = -q**3 + 6*q**2 + 4*q + 6. Is f(r) a multiple of 27?
True
Let x(v) = -v**3 - 98*v**2 - 180*v - 2303. Is x(-98) a multiple of 152?
False
Let v = -99 - -379. Suppose -11 - 4 = -5*x. Suppose -w = -x*w + v. Is w a multiple of 21?
False
Let i be 10*-1*(-12)/8. Suppose -20*s = -i*s + 65. Is 10 a factor of ((-232)/2)/(-15 - s)?
False
Let o(m) = -3*m**2 + 8*m + 86. Let l be o(-7). Let k = l + 213. Is 4 a factor of k?
True
Let f = -144 + 479. Let v = f + -281. Is v a multiple of 11?
False
Suppose -o = -28*o - 270. Is (-1)/o - (-13743)/270 a multiple of 11?
False
Let j = -7512 - -7690. Is j a multiple of 26?
False
Suppose -5*m + 1516 = -7*j + 3*j, j = -3*m + 913. Does 16 divide m?
True
Let g = 142 + -82. Suppose -b + i + g = 0, -2*b = 4*i + i - 148. Is 11 a factor of b?
False
Let f = -163 + 163. Let o(a) = 15*a + 100. Is o(f) a multiple of 6?
False
Let g(q) = -99*q + 102. Let v be g(-10). Suppose o = 4*m - v, 315 + 249 = 2*m - 5*o. Is 20 a factor of m?
False
Suppose 0 = -3*q + 6, k + 0 = 2*q - 15. Let i(l) = l**3 + 7 + 7 - 2 + 10*l**2 - 15*l. Does 7 divide i(k)?
True
Let p be (-1555)/(-2) + (-6)/(-12). Suppose 88 = -u + p. Suppose n + 4*n = u. Is 21 a factor of n?
False
Let a(l) = 27*l**2 + 64*l + 664. Is a(-32) a multiple of 12?
False
Suppose 3*a - 4 - 8 = 0. Suppose -2 = -2*j + 2*y, 3*j - a*y - 2 = -4. Suppose j = -x + 84. Is x a multiple of 11?
False
Suppose -2*r - 6 = z - 3, -5*z = -r - 18. Let i(t) = 3*t + 5*t**2 - z - 6*t + 3