- ((-17800)/(-17805) - 5))?
False
Let w(n) = n**2 - 128*n + 5562. Does 6 divide w(56)?
True
Suppose 0 = -3*c + 9, t + t = -3*c - 669. Let v = t - -687. Is v a multiple of 52?
False
Let f(s) = s**2 - 8*s + 18. Let g be f(6). Suppose 4*r = 3*h + 101, g*r - 3*r + 3 = 0. Is 32 a factor of (-3)/(-7) - (5060/h + 2)?
False
Let b be (-137)/(-9) + (-6)/27. Let c(i) = -i**3 + 14*i**2 + 16*i - 12. Let l be c(b). Suppose q + 2*r = 88, 0 = -l*q + 4*r - 187 + 491. Is 32 a factor of q?
True
Suppose -4 = -2*o, 35*o - 18 = -2*h + 31*o. Suppose -5*v + 271 = -4*g - 295, -h*g = 4*v - 461. Is 4 a factor of v?
False
Let n be -6*((-5)/(-2) - 3). Let a(q) be the second derivative of q**5/10 - q**4/2 + q**3 + 2*q**2 - 14*q. Is a(n) a multiple of 8?
False
Let g be 542/6*(-9)/3. Let p = g + 329. Is p a multiple of 3?
False
Suppose 0 = 4*d + 5*s - 6181, 5*d + 4*s = 15*d - 15502. Is d a multiple of 2?
False
Suppose 4*f + 2*u = 8, 3*f - 4*u + 0*u = 28. Suppose -27 = -3*d - 3*j, -f*d + d + 33 = 5*j. Let l(q) = 7*q - 9. Is 11 a factor of l(d)?
True
Let g = -3741 - -5402. Suppose 2*b - 793 = 2*k + 863, 0 = -2*b + 3*k + g. Suppose 0 = -5*t + 27 + b. Does 8 divide t?
False
Let t = 1618 + -1189. Does 19 divide t?
False
Let w(c) = -16*c**2 + 19*c - 14. Let b(m) = 17*m**2 - 20*m + 14. Let u(j) = -5*b(j) - 6*w(j). Does 18 divide u(4)?
False
Let v(m) = -m**2 + 3*m + 42. Let z be v(-5). Suppose 8*h - 9*h + 14 = z*y, 0 = h + y - 11. Is 4 a factor of h?
True
Let m(a) = -5*a + 14. Let t(y) be the second derivative of -y**3 + 15*y**2/2 - 14*y. Let q(u) = 4*m(u) - 3*t(u). Does 6 divide q(-6)?
False
Let f = 4803 + 1005. Is 6 a factor of f?
True
Let i = 16 + -2. Let q = i + -11. Is 10/q*(-342)/(-95) a multiple of 3?
True
Suppose -1026*l + 1029*l - 1809 = 0. Let b = l - -498. Is b a multiple of 65?
False
Let b(m) = 2*m + 300. Let v(a) = -a**3 - 14*a**2 + 18*a + 9. Let o be v(-15). Does 17 divide b(o)?
False
Suppose -c - 2*c - 5*o - 5 = 0, -5*c - 3*o = 3. Suppose 4*r - 4*d = 16, r + c*r + 2*d = 4. Suppose -b + 12 = r. Is 8 a factor of b?
True
Let v = 5419 + -4627. Does 44 divide v?
True
Let a = 85 + 76. Let x be 6*10*9/180. Suppose 5*w + 121 = x*p, 5*w + 44 = 5*p - a. Is p a multiple of 20?
False
Let j(o) = 4*o**2 + 2*o - 2. Let k be j(5). Let a = k - 105. Suppose 10*y - 294 = a*y. Is 14 a factor of y?
True
Let g(x) = 74*x - 55. Let p be g(-6). Let i = p - -1400. Is i a multiple of 17?
True
Let m be (-60)/45*4812/(-16). Suppose m = z - 731. Is z a multiple of 22?
False
Let a = -850 + 647. Is 80*((-58)/a)/(4/7) a multiple of 5?
True
Let n = 181 - 399. Let w = 372 + n. Does 7 divide w?
True
Suppose 9 = 4*c - 7. Suppose -242 = -2*n - 2*y, 5*n - 6*y = -2*y + 560. Suppose -8*m = -c*m - n. Is 5 a factor of m?
False
Let a(s) = 2*s**3 + 61*s**2 - 34*s - 56. Is a(-17) a multiple of 5?
True
Let f = -22 - -26. Suppose 1 + f = q. Suppose 4*c + 74 = h, -q*c + 191 = -4*h + 8*h. Does 4 divide h?
False
Let k(y) = -2*y**3 - 20*y**2 + 9*y**3 - 21*y - 8*y**3 - 33 + 0. Let w be k(-19). Suppose 2*o = -w*t + 4*o + 505, -4*o = -5*t + 515. Does 14 divide t?
False
Let t(s) = s**2 + 2*s - 52. Let f be t(8). Let l(r) = -r**3 + 29*r**2 - 23*r - 28. Is l(f) a multiple of 4?
True
Suppose 19*j - 11 + 68 = 0. Is 15 a factor of j + -4 + 390 - (6 - 3)?
False
Suppose -8 = -r - t, -4*t = r - 1 - 10. Suppose 3 + 25 = r*p. Suppose -h + p*h = 5*f + 54, 2*h - 5*f = 31. Is h a multiple of 6?
False
Let f be 108/162*(-1 - (-4426)/4). Suppose -2*t + f = -5*m + 4*m, -5*m = 2*t - 755. Does 10 divide t?
True
Let v = 76341 - 43605. Does 186 divide v?
True
Let c = 1 + 0. Let j(d) = -68*d**2 + 2*d - 6. Let l(z) = 69*z**2 - 2*z + 7. Let h(p) = -6*j(p) - 5*l(p). Is 9 a factor of h(c)?
False
Suppose -4*v + 36972 = 4*m, -m - 4*v = -9712 + 460. Suppose -73*s + m = -61*s. Is 10 a factor of s?
True
Suppose 227*k - 230*k = -15. Suppose 3*t - 3474 = -k*h, -3*h = -5*t - 2146 + 82. Is 11 a factor of h?
True
Let u = 411 + -357. Suppose 2*z = -2*g + 4186, 4*g + 59*z = u*z + 8374. Is 13 a factor of g?
False
Suppose -29*f = -32*f + 723. Suppose 0 = -5*x - 10, 4*x + 0 = -l + f. Is l a multiple of 21?
False
Suppose 16 = 2*v + 8. Suppose -11*c + v*c + 98 = 0. Let q(j) = 4*j - 28. Is 14 a factor of q(c)?
True
Does 88 divide (-4340230)/(-250) + (-462)/(-150) + -3?
False
Let v(w) = w**3 - w**2 + w - 2. Let a = 4 + -21. Let k = a - -19. Is v(k) a multiple of 4?
True
Let w(o) = o**3 - 5*o**2 + 2*o - 7. Let i be w(5). Suppose 4*d + 4*u = 8, -2*d + i*u + 28 = -1. Is 9 a factor of (1 - 2)*d*(-28)/4?
False
Is (-1666)/17*-78 + -18 a multiple of 82?
True
Suppose 15*k + 3624 = 3*l + 13*k, 0 = 2*l - k - 2418. Is l a multiple of 113?
False
Let h(s) = 96*s + 27. Suppose 15*i = 5*i + 70. Does 22 divide h(i)?
False
Let x(c) = 42*c + 88. Let d be x(-2). Suppose g = -5*q + 440, -1694 = -d*g - 73*q + 75*q. Is g a multiple of 17?
True
Let t = -59 + 148. Let z = 382 - 378. Suppose -3*r + 4*l = 30 - t, z = 4*l. Is 8 a factor of r?
False
Let d(i) = -194*i**2 + 3*i - 7. Let k be d(-5). Is (5 + -4)/(4*(-3)/k) a multiple of 29?
True
Let j(k) = 2*k**2 + 44*k + 104. Is 2 a factor of j(-32)?
True
Let l = -5122 - -23102. Does 10 divide l?
True
Let a(f) be the second derivative of f**4/12 + 4*f**3/3 + 8*f**2 + f + 7. Does 11 divide a(7)?
True
Let i(y) be the third derivative of y**5/30 - 49*y**4/24 + 61*y**3/6 - 27*y**2 - 1. Does 12 divide i(26)?
False
Suppose 335*r + 125020 = 363*r. Is 28 a factor of r?
False
Let b be 1526/3*54/63. Suppose -p + 136 = -4*h, -10*h - b = -3*p - 5*h. Is p a multiple of 16?
False
Suppose -20*k = -19*k - 1664. Suppose 2*r = 5*v + r - k, -r + 1 = 0. Is v a multiple of 36?
False
Let d = -95 + 359. Is 11 a factor of (18/(-36))/(2/d)*-11?
True
Suppose 9*i - 5*z = 6*i - 22, 2*z = -5*i + 15. Let y = i + 799. Does 40 divide y?
True
Let f be -189 - 9*1/3. Let w = 232 + f. Is 14 a factor of w?
False
Let c(n) = 27*n**2 + 214*n - 2474. Is c(12) a multiple of 11?
True
Let d = 7 - 7. Suppose -2*n = -4*m - 28, d - 9 = 3*m. Is (-244)/(-10)*20/n a multiple of 11?
False
Let l be (-15)/(-5) + 0 - (-6)/2. Does 27 divide 54/(((-84)/(-49))/l)?
True
Let c(q) = 912*q**2 + 107*q + 10. Does 63 divide c(-4)?
False
Let v be 2/(-4)*(-2)/1. Let m be v/(-2) + (-35)/(-10) - -1. Suppose -41 = -2*c + t - 4*t, -m*c = 3*t - 97. Is 7 a factor of c?
True
Let v = -44 + 54. Suppose -7*o + 3*o + v = 3*h, -5*h + o = -32. Suppose -h*l + 391 = 55. Does 16 divide l?
False
Let k be ((-32)/64)/(2/(-8)). Suppose 0 = 2*q - 5*s - 163, k*q - 49 - 126 = s. Is q a multiple of 18?
False
Let f(x) = x**2. Let r(i) = -42*i**2 + 2*i - 2. Let u(m) = -5*f(m) - r(m). Let c be u(1). Suppose c = -6*k + 505. Does 13 divide k?
True
Let c be (-183)/((-185)/(-95) - 2). Let g = c + -2298. Is g a multiple of 79?
False
Let p(v) = -v**3 + 14*v**2 + 17*v - 1. Let q be p(15). Suppose -5*z - q = 11. Let r(j) = j**2 + 4*j + 4. Is r(z) a multiple of 18?
True
Suppose -788030 + 2040830 = 145*h. Is 80 a factor of h?
True
Suppose -9691 + 42314 = 17*y. Is 15 a factor of y/19 - (-1 + -1)?
False
Let h(z) = 8*z + 96. Suppose 90 - 34 = 8*o. Is 12 a factor of h(o)?
False
Let u(s) = -39*s. Suppose 3*w = -2*f + 15, -3 = -5*w - 0*f + 4*f. Suppose -2*c - w = c. Is 6 a factor of u(c)?
False
Is 10 + (6/15 - 697920/(-75)) a multiple of 87?
False
Suppose 7 = -4*g + 23. Suppose -3717 = -g*d + 3*x, 12*d - 16*d + 3716 = -4*x. Is d a multiple of 30?
True
Let c(t) = 3*t**2 - 31*t - 273. Let i = -263 - -250. Does 49 divide c(i)?
True
Let j be (-40)/140 - (-194)/(-7). Let s be 3/(78/j + 3). Is (72/28)/(-6) + 174/s a multiple of 6?
True
Suppose 0 = 102*r - 71*r - 18104. Is 4 a factor of r?
True
Is (-18 + -186)/((-5)/((-370)/(-4))) a multiple of 7?
False
Let h(u) = -u**3 - u**2 + u + 40. Let i = -25 - -29. Suppose -i*q = 2*q. Is h(q) a multiple of 14?
False
Let d(q) = 13361*q**3 - q. Let b be d(1). Does 37 divide (-2)/9 - b/(-180)?
True
Let v be (-27 + 11)/(-4) + (-3)/(-1). Let s = -44 - -89. Suppose 0 = v*t + s - 325. Is t a multiple of 40?
True
Let j be ((-30)/(-3)*-2)/(10/(-995)). Suppose -7 = 5*f - w - j, -3*f + 1173 = 5*w. Does 33 divide f?
True
Suppose -4*u + 12 = -2*u - 3*j, -5*u + 21 = -3*j. Suppose 4 = k + 3*k + 5*w, 0 = -u*k - w - 8. Is 6 a factor of 4 + 120*k/(-6)?
True
Let n be -4*((-315)/(-336))/((-3)/4). Suppose 5*t - n*d = 7*t - 605, 0 = 2*t 