es 51 divide (-811 - 35/7)*b?
True
Let y = -3209 + 3335. Is y a multiple of 5?
False
Suppose 3*x = 5*l + 25220, -4*l - 4957 = 4*x - 38541. Is 23 a factor of x?
False
Suppose -v = 2*x + v - 4, 2*v = -4*x + 16. Let l = 11 + -11. Suppose l = -x*p + 446 - 2. Does 34 divide p?
False
Let v(p) = -p**2 + 2*p + 3. Let c(o) = -o**2 + 8*o + 12. Let b be c(9). Let d be v(b). Suppose -k + 97 + 76 = d. Is 40 a factor of k?
False
Let q(z) = z**2 - 3*z - 18. Let p be (117/6)/3 + 3/(-6). Let y be q(p). Suppose -b + 2*a = -169, -3*b - 3*a = -y*a - 489. Does 33 divide b?
True
Let m(d) = 293*d + 950. Does 172 divide m(22)?
True
Let i = -136 - -2540. Is 20 a factor of i?
False
Suppose 0 = -2*o - 3*k + 5, -2*o = 5*k + 2 - 5. Let c be (-708)/48*1*o. Let v = c + 98. Is v a multiple of 39?
True
Let h be 21/(-35) - (-54)/15. Suppose -5*b - 292 = -4*m + 241, -3*b + 366 = h*m. Is 6 a factor of m?
False
Does 64 divide (22858/(-5) - (21 - (-721)/(-35)))*-1?
False
Does 39 divide (-588 + 3)/(-5)*2*(-213)/(-18)?
True
Let u(i) = -11*i**3 + 10*i**2 + 57*i + 632. Does 53 divide u(-10)?
False
Suppose 0 = 14*y + 59 - 87. Is 5 a factor of y - (-1 + 0 + -19 + -324)?
False
Let o = -196 + 40. Let m = o - -180. Does 24 divide m?
True
Suppose 20*h = -29411 - 6809. Let o = -1072 - h. Is o a multiple of 10?
False
Let q(x) = 55*x**2 + 51*x**2 - 2 - 2*x + 18*x**2. Let c = 30 + -31. Is q(c) a multiple of 23?
False
Let d be (-1)/((-1)/2 + 0) + -61. Let w = 39 + d. Does 7 divide 1/((w/(-35))/4)?
True
Let k(v) = v**2 - 21*v - 14. Suppose 4*b - b - 2*g = -33, 9 = 3*g. Let z(c) = -3*c**2 + 43*c + 27. Let h(u) = b*k(u) - 4*z(u). Is h(-9) a multiple of 9?
True
Let n(y) = 3*y**2 + 75*y - 126. Is 42 a factor of n(28)?
True
Let k = -381 + 2. Let s = k + 413. Is s a multiple of 8?
False
Let m = 709 - 475. Suppose -4*b - m = -850. Is 11 a factor of b?
True
Suppose 13 = -j - 33. Let o = j - -45. Is (o - 1)*(-66)/4 a multiple of 33?
True
Suppose 30*i + 15908 - 78878 = 0. Is 7 a factor of i?
False
Suppose -12*d + 40607 = -20821. Does 15 divide d?
False
Let g(x) = 3 - 24*x - 6 - x**2 + 20*x - 5*x**3. Is g(-3) a multiple of 32?
False
Let s(i) = 183*i**2 - 1. Let t = 57 - 58. Let z be s(t). Suppose 17*k = 19*k - z. Is k a multiple of 39?
False
Let d be 3/(9/87) - 4/4. Does 12 divide ((-231)/d)/(9/(-372))?
False
Let y(x) = -5*x + 54. Let g be y(10). Suppose 0*o + 2931 = 3*s - 4*o, 4*o = g*s - 3904. Does 26 divide s?
False
Suppose 4*m + 64 + 0 = 0. Let v = m + -22. Let b = v + 75. Does 12 divide b?
False
Does 84 divide 2 + 867 - (80 - 81)?
False
Suppose 25 = 5*n - 4*h + 217, n - 3*h = -45. Let b = n - -38. Suppose -b*c + 109 = -125. Is 9 a factor of c?
True
Let l be ((-14)/1)/(2/(-3)*3). Let p be (10 - l)/(3/10). Is 1846/13 + p/(-2) a multiple of 37?
False
Suppose 0 = 5*c + 35, 1303 = -a + 3*c + 18178. Is 31 a factor of a?
False
Let z = -34 + 35. Suppose 4*v + 9 = g + z, -v = -3*g + 24. Is g a multiple of 5?
False
Let b = 872 + -1269. Let h = 1462 + -865. Let f = h + b. Is 40 a factor of f?
True
Let g be (-40)/180 - (-32)/(-18). Let p be (-3 + -83 + 1)*(-1 - g). Let h = p + 144. Is h a multiple of 46?
False
Suppose 0 = -0*x + x - 5*c - 7, 4*x + c - 7 = 0. Suppose 2*r = 5*t + 64 + 104, -x*t - 82 = -r. Does 37 divide r?
True
Let u = -32 + 34. Suppose u*s - p = -s + 11, 17 = 5*s - p. Suppose -27 - 18 = -s*f - 3*a, -5*f + 71 = 3*a. Is 2 a factor of f?
False
Does 14 divide 14862/2 + 462/132*(-12)/(-14)?
True
Let d(w) = -w**3 + 16*w**2 + 104*w + 47. Is 100 a factor of d(19)?
False
Let b(v) = -7*v + 23. Let p be b(3). Let f = 94 - p. Suppose -6*l - f = -512. Is 5 a factor of l?
True
Suppose 43*w = 89*w - 207690. Is w a multiple of 165?
False
Suppose -2*g + 2 = -2*a, -2*a = 5*g + 6 - 32. Suppose g*y + 90 = 9*y. Is y a multiple of 2?
True
Suppose 0 = 53*h + 11*h - 424448. Is 21 a factor of h?
False
Let k(b) = 13*b + 119*b - 52*b - 26 + 71*b. Is k(2) a multiple of 3?
True
Let w be ((-24)/40)/((-5)/25). Suppose 3*t - w*g - 2327 + 419 = 0, -5*t + 4*g + 3181 = 0. Does 13 divide t?
True
Suppose -2*l = 52*m - 53*m - 11222, -l + 3*m = -5611. Is 2 a factor of l?
False
Suppose 10996 = 4*b - 5*y, -4*b + 3*y = -5578 - 5410. Is b a multiple of 98?
True
Does 21 divide ((-3)/(-5))/(185/3800825)?
True
Suppose h + 4 = 2*h, -5*f - h + 6229 = 0. Let j = f - 534. Is j a multiple of 12?
False
Let y(x) = -x**3 + 38*x**2 + 129*x - 4292. Is y(38) a multiple of 258?
False
Let b be ((-8)/(-3))/((-26)/(-429))*-14. Let o = 711 + b. Is 19 a factor of o?
True
Suppose -3*y = a - 2377, -39*y = -44*y - 3*a + 3955. Is 15 a factor of y?
False
Let z(k) = 82*k**2 - 3*k. Let f = -100 + 108. Let s(j) = j**2 - 13*j + 41. Let g be s(f). Does 3 divide z(g)?
False
Let w be (-64)/(-4) - 0/7. Suppose -4*t = -w, t = -z + 301 + 106. Is z a multiple of 13?
True
Let t(c) = -99*c + 3703. Is 56 a factor of t(-40)?
False
Suppose -5*u - 2*i + 13 = -5*i, -2*u - 2*i = -2. Suppose 5*b + 9 = u*b. Does 5 divide 12/(3/(-45)*b) + 0?
True
Suppose 21210 = 11*d - 24066. Does 7 divide d?
True
Suppose -a - 16 = -40. Suppose -10*y + 4*y = -a. Suppose -y*v + 7*v = 270. Is v a multiple of 15?
True
Suppose -10*a + 3 = -17. Suppose -2468 = -a*l + 3*r - 4*r, 2*r = 4*l - 4920. Is l a multiple of 77?
True
Suppose 0 = -4*o + 32, -3*a + 70*o = 67*o - 85296. Is 20 a factor of a?
True
Suppose g = -484*k + 489*k - 41999, 0 = -5*k + 3*g + 41997. Is k a multiple of 16?
True
Let b(y) be the third derivative of 23*y**5/60 + 5*y**4/12 - y**3/6 + 35*y**2 - 2. Is b(-2) even?
False
Let t be 12/2 - (1 + 3). Suppose t*o = 2*u - 1 - 5, -u - o = -3. Suppose 0 = 2*m + z - 35, 3*m - 34 = u*z + 5. Does 8 divide m?
True
Let l(p) = 5289*p + 3201. Is l(3) a multiple of 60?
False
Let d(j) be the first derivative of 29*j**3 - j**2 - 3*j + 1. Let o be 2 - (-8 - 3) - 14. Is d(o) a multiple of 18?
False
Let m(l) = -l**3 - 2*l**2 - 3*l - 2. Let n be m(-2). Suppose n*k = 5*k - 27. Suppose 2*g - k = 33. Does 11 divide g?
False
Let k(a) = 12*a**2 - 29*a + 288. Is 54 a factor of k(13)?
False
Let u(a) = 8*a**2 - 6*a + 2. Let w be u(4). Let x(d) = 54*d + 20. Let i be x(3). Let m = i - w. Is m a multiple of 19?
True
Suppose 0 = 3*m - 1 + 1. Let p(c) = -c + 6. Let t be p(m). Suppose -t*b - 102 + 306 = 0. Does 17 divide b?
True
Is (-7)/(-42)*729*(256/12)/2 a multiple of 12?
True
Let w = 24890 + -14270. Is 90 a factor of w?
True
Let s = -11166 - -23858. Does 167 divide s?
True
Let h = 8114 - 5299. Does 5 divide h?
True
Let n(v) be the second derivative of 17*v**3/3 + 2*v**2 + 2*v + 7. Is n(4) a multiple of 28?
True
Let p = 3422 + -2496. Does 17 divide p?
False
Let r = -6 - -2. Let n be r/(-14) + 17303/77. Suppose -n = -7*q + 83. Is 22 a factor of q?
True
Suppose 2*j + 8*u - 11*u - 81264 = 0, 2*j + 2*u - 81244 = 0. Is j a multiple of 18?
True
Let g(a) = 6*a**3 + 11*a**2 + 5*a + 10. Does 10 divide g(10)?
True
Let i = -49 + 51. Let t be 14/i - (21 - 19). Does 8 divide (t - -20) + -1 + 3?
False
Let x(w) = w**3 + 6*w**2 - 20*w - 32. Let m be x(-8). Let g(a) = 9*a + 867. Is 51 a factor of g(m)?
True
Let j(o) = -24*o**2 + 3*o + 7. Let q be j(4). Let x = q + 561. Is x a multiple of 10?
False
Suppose -33*a - 83536 = -2*q - 35*a, 626486 = 15*q - 2*a. Does 58 divide q?
False
Suppose 5*w - 8 = 2*c + 3*w, -3*c + 4*w - 16 = 0. Let b be -54 + (c - (-6)/(-3)). Is 0 - ((2 - 2) + b) a multiple of 14?
True
Suppose -6*n + 18 + 54 = 0. Let p = n + -5. Let g(t) = 19*t + 27. Is 16 a factor of g(p)?
True
Suppose -2*i + 23382 = -30*d, 11*i - 9*i - 23484 = -4*d. Does 8 divide i?
True
Let p(q) = -q**3 - 21*q**2 + 27*q + 309. Does 63 divide p(-32)?
False
Suppose 3*t - 4*p = -5*p + 11219, 0 = t + p - 3737. Is 4 a factor of t?
False
Let l(z) = -1437*z - 5157. Is 46 a factor of l(-13)?
True
Let x = 165 - 0. Suppose 4*s - 120 = -2*g, -2*g + 7*s = 2*s - x. Is 3 a factor of g?
False
Let u be (45 + 0/1)/((-24)/(-32)). Suppose 68*z - 2992 = u*z. Does 22 divide z?
True
Let p(r) = 19*r - 2. Let c(s) = 18*s - 3. Let z(q) = -5*c(q) + 4*p(q). Let m(w) = -w. Let v(f) = 35*m(f) - z(f). Is 26 a factor of v(-8)?
False
Let z = -7015 + 9919. Suppose -4*o + z = 4*x, 2*o + o = -2*x + 2178. Is 33 a factor of o?
True
Suppose 30 = 7*s + 3*s. Suppose -j - 15 = -s*t, 2*t - 3*j - 9 = 1. Suppose 2*i + t*d + 154 = 4*i, 2*i + 3*d - 138 = 0. Is 18 a factor of i?
True
Let x(q) = 9*q