(-6). Suppose d - 92 = t. Does 6 divide t?
True
Let i(r) be the second derivative of 2*r**3 - 120*r**2 - 4*r - 8. Is i(45) a multiple of 24?
False
Let p(r) = -3*r**2 + 112*r - 30. Let c be p(37). Does 42 divide c + -26*245/(-14)?
True
Let r(n) = 2*n - 693*n**2 - 9 + 871*n**2 + 2*n. Does 37 divide r(2)?
False
Let a(d) = -d**2 + 9*d + 35. Let c(f) = -1. Let h(i) = -a(i) + 5*c(i). Let t be h(18). Suppose -4*s = -t - 210. Is s a multiple of 12?
False
Let j(h) = h**3 + 30*h**2. Let c be j(-30). Let z(k) = 15*k + 412. Is 32 a factor of z(c)?
False
Let a(r) = 589*r**3 - 7*r**2 + 84 - 580*r**3 - 16*r**2 + 30*r. Let m(b) = -4*b**3 + 12*b**2 - 15*b - 42. Let v(l) = -3*a(l) - 7*m(l). Does 28 divide v(14)?
True
Suppose -5*d - 156 = -151. Is 43 a factor of d/(-1 + -6) + (-37917)/(-63)?
True
Does 22 divide 9820524/168 - -1*15/(-10)?
True
Suppose t - 8*t = 0. Let z be 0 + (-1)/(-2)*t. Suppose 5*i - 15 = 0, -k - 2*i + 4*i = z. Does 6 divide k?
True
Let d(y) = -y**2 + 6*y + 8. Let m(q) = -q**2 + 17*q + 36. Let j be m(19). Let p be d(j). Let b = p - -31. Is 23 a factor of b?
True
Let a = 273 + 1043. Suppose 14*t - a = -0*t. Does 13 divide t?
False
Let w be ((-12)/10)/(6/(-165) + 0). Is (-11)/(w/8)*(-432)/2 a multiple of 48?
True
Suppose 3*d - 9010 = 4*y, 0 = -3*d + 5*y - 4*y + 8998. Is d a multiple of 17?
False
Let c = -5216 - -9925. Is 5 a factor of c?
False
Suppose p - 6*p = 5*d - 32575, -2*p = -5*d + 32603. Does 159 divide d?
True
Let g(z) = -z**2 - 31*z + 73. Let p be g(-33). Is (5106/p - -1) + 33/(-77) a multiple of 54?
False
Suppose -c + 8*z - 10 = 3*z, -3*c + 3*z - 6 = 0. Suppose 3*a - 5*s - 88 = c, 3*a - 5*s = -2*s + 96. Is a a multiple of 4?
True
Let o(v) = -662*v + 478. Is o(-6) a multiple of 32?
False
Suppose -3*u - 33*s + 1326 = -31*s, 0 = u + s - 441. Suppose u = 29*z - 28*z. Does 7 divide z?
False
Let y be (-7)/42*723 - (-1)/2. Let o = 84 - y. Does 17 divide o?
True
Let q(b) = 3*b**3 - 7*b**2 + 9*b - 11. Let v be q(6). Let u = 670 - v. Does 33 divide u?
True
Let y be 9/(-99) + 442/143. Let m(j) = 178*j + 4. Let r be m(-4). Is (2/((-8)/r))/y a multiple of 21?
False
Suppose 5*p = 6*p + 3*g + 17, -3*p - 87 = -3*g. Let l = 6 + -2. Is p*2*(-1)/l a multiple of 7?
False
Let y(v) = -v**2 - v + 6. Let x be y(2). Let p be 2/(-6)*(111 - x). Let d = p + 84. Is d a multiple of 5?
False
Is 13 a factor of (-11472)/(-15)*390/156?
False
Let r be ((432/(-63))/(-4))/(4/(-42)). Let z(x) = -x**3 - 8*x**2 + 143*x - 15. Is 31 a factor of z(r)?
True
Let c(k) = -14*k + 16*k**2 - 5*k + 12 + 7 + 3*k - 1. Does 64 divide c(6)?
False
Let h be (-139780)/26 + (6/(-13))/(-3). Is 15/(-135) + h/(-27) a multiple of 15?
False
Let u(d) = 4*d**3 - 124*d**2 + 264*d + 20. Is u(30) a multiple of 31?
True
Suppose 0 = -c - 5*j - 4, 6*j + 32 = -4*c + 2*j. Let o be (-7 - -4)*(-3)/c. Does 14 divide (o - -203)/((-14)/(-7))?
False
Let l(y) = 68 - 6*y + 0*y - 12. Let t be l(9). Is -3*(-2)/(t/3) a multiple of 6?
False
Let a be -1 + -3*(-10)/(-15). Let b be 194*a/(-30)*5. Suppose 5*j - b = 108. Is 23 a factor of j?
False
Let h be (-171)/(-21) + (-30)/(-35). Suppose -h*o + 270 = -99. Does 2 divide o?
False
Suppose -4 = u - 2*n, 6*n = 4*u + 2*n + 8. Let q(w) be the first derivative of w**2 + 198*w - 1. Does 22 divide q(u)?
True
Let q(p) = 5*p**2 + 6*p - 15. Let g be (88/(-55))/((-4)/(-10)). Let h be q(g). Suppose 104 = 45*t - h*t. Is 26 a factor of t?
True
Suppose 139*i - 77*i + 236*i - 3100392 = 0. Is i a multiple of 204?
True
Let w be (-5 + 34/6)*-3. Let t(g) = -40*g**3 - 5*g - 7. Does 17 divide t(w)?
True
Let y(u) be the third derivative of u**6/120 - u**5/30 - u**4/24 - u**3/6 - 8*u**2. Let t = 12 + -9. Is y(t) even?
False
Suppose -17 = -p + 4*m, 0 = -4*p + 6*m - 3*m + 42. Let j be 411/(-4)*(-12)/p. Suppose 5*l + 4*y - 199 = 0, -3*l + 2*y + 0*y = -j. Does 4 divide l?
False
Let y = -18 + 20. Suppose 4*o - 124 = 4*u, -o + 0*u = y*u - 34. Let t = o + 0. Is 9 a factor of t?
False
Suppose -18*i + 1039 = -383. Suppose -i + 1619 = 22*j. Is 47 a factor of j?
False
Let w(v) = -20*v**2 + 75*v**2 - 10*v**2 - 14*v - v**3 - 56 - 17*v**2. Is 31 a factor of w(27)?
False
Let b(x) be the third derivative of 1/3*x**4 + 1/15*x**5 + 13/2*x**3 + 35*x**2 + 0*x + 0. Is b(-5) a multiple of 9?
True
Is (-3*(-2)/(7 - 3))/((-24)/(-13712)) a multiple of 125?
False
Let r(t) = -16*t**3 - 13*t**2 - 55*t + 5. Does 41 divide r(-3)?
False
Let h(y) = 10*y - 344. Let w(x) = 2*x - 58. Let c be w(48). Is h(c) a multiple of 19?
False
Suppose 21*r - 27*r + 1560 = 0. Suppose -o + v + 135 + 4 = 0, r = 2*o + 4*v. Is o a multiple of 19?
False
Suppose 47*p - 57*p - 63*p + 212795 = 0. Does 265 divide p?
True
Suppose -2*l + 1827 = w, 3188 + 466 = 2*w + 2*l. Suppose -16*d + w = -9*d. Does 12 divide d?
False
Let p(d) be the second derivative of -d**5/20 + 17*d**4/12 + 13*d**3/2 - 29*d**2/2 + 12*d + 14. Is 23 a factor of p(18)?
False
Suppose 110426 = 42*x - 49510. Is x a multiple of 34?
True
Suppose 2*z - 9 + 149 = 0. Let q be 14/z - (-1842)/10. Let b = 341 - q. Is b a multiple of 9?
False
Let p be (153/(-6))/(3/2 + -2). Let s be 185 + (-1)/1 + p/17. Let k = s + -85. Does 9 divide k?
False
Let z = -22539 - -80134. Is z a multiple of 8?
False
Does 68 divide 172482/24 - (-8)/32?
False
Let d(m) = -m**2 - 22*m + 1. Suppose 58 = 13*p + 214. Let r be d(p). Suppose -55 = -11*w + r. Is 2 a factor of w?
True
Let w(u) = u**3 + 11*u**2 - 14*u - 30. Let z be w(-12). Does 2 divide -3 - (120/z - 3)?
True
Let n(f) = f**2 + 1. Let m be (-21)/2*(3 - (-33)/(-7)). Let y be m*(-3 - 25/(-10)). Is n(y) a multiple of 41?
True
Let b(c) = 8895*c - 5462. Is b(4) a multiple of 117?
False
Let p(l) be the second derivative of l**4/6 - l**3/2 + 4*l**2 - 12*l. Let b be (3 - (-21)/(-9))*-6. Is 10 a factor of p(b)?
False
Let j(r) be the second derivative of -13/6*r**3 - 11/2*r**2 + 6*r + 0. Does 36 divide j(-4)?
False
Let f(x) = -x**3 - 49*x**2 - 78*x + 689. Is 30 a factor of f(-49)?
False
Let g = 135 + -126. Let z(y) = -y**3 + 14*y**2 - 9*y - 14. Is z(g) a multiple of 18?
False
Suppose 4*d + 1 = 3*d + b, 0 = -4*d + 3*b - 7. Let g be (-9 + 9)/(d/(-2)). Suppose -5*r - 2*k + 192 = g, 3*r - r - 92 = 3*k. Is r a multiple of 12?
False
Let r(w) = 3*w**2 - 27*w + 63. Let z be r(6). Let t(y) = -2*y**2 + 6*y - 33. Let h(d) = d**2 - 5*d + 34. Let i(a) = -3*h(a) - 2*t(a). Does 27 divide i(z)?
False
Let q(k) = k**3 + k**2 - k + 2. Let u be q(0). Suppose 6 = 5*v + 2*h, -5*v + u*h = -v - 12. Let y = v - -55. Does 9 divide y?
False
Suppose 30518 = 5*x - 2*c - 79312, -5*x = 4*c - 109800. Is 23 a factor of x?
False
Let s = -4779 - -9679. Is s a multiple of 10?
True
Suppose 640 = 5*h - 4*r, h - r - 122 = r. Let f = h - 35. Suppose f - 38 = v. Is v a multiple of 6?
False
Is (-130002)/(-8) - (-84)/(-336) a multiple of 125?
True
Suppose 0 = -3*d + 3 + 3. Let b(l) = -30*l - 10. Let n be b(-2). Suppose 9 - n = -d*t + 5*w, -t + 7 = 2*w. Does 6 divide t?
False
Let k = -246 - -432. Let r(u) = -8*u + 32. Let s be r(2). Let m = s + k. Is m a multiple of 33?
False
Let r(n) = -3*n + 709. Is r(-46) a multiple of 11?
True
Let u = 2047 + 4014. Is 19 a factor of u?
True
Let o(f) = -19*f**2 - 19*f**2 - 7*f + 41*f**2 - 26. Is o(10) a multiple of 17?
True
Let d(o) = 5319*o - 1752. Is 30 a factor of d(4)?
False
Let n be (-1)/(-2) - (20979/(-2))/(-9). Let w = n - -1756. Suppose 0 = -2*l - 4 + 12, 3*o + 3*l = w. Is 11 a factor of o?
False
Let k = 22558 - 3852. Does 20 divide k?
False
Let m(r) = 30*r**3 - 16*r**2 + 14*r - 33. Let d(z) = 5*z + 11 - 42 - 5*z**2 + 20 + 10*z**3. Let v(y) = 7*d(y) - 2*m(y). Is v(2) a multiple of 32?
False
Suppose 6*u + 16*u - 8910 = 0. Let w = 589 - u. Is w a multiple of 5?
False
Let p = 18770 - 6784. Is p a multiple of 31?
False
Let a = 1859 - 1061. Does 86 divide a?
False
Let d = 290 + -236. Does 20 divide 24/d - (-16220)/36?
False
Let j = -3023 + 5061. Is 88/(-16) + 6 - j/(-4) a multiple of 15?
True
Let g = -106 - -86. Let w(q) = -q**3 - 19*q**2 + 9*q + 14. Is 39 a factor of w(g)?
True
Suppose -61*v + 1443200 = 70*v + 29*v. Does 220 divide v?
True
Let z be (12 - -2) + -203 + 195. Suppose 0*f + 4*f + 16 = 0. Is ((-68)/z + 14/(-21))*f a multiple of 12?
True
Is 20 a factor of ((-27710)/102)/(0 - (-20)/(-72))?
False
Let f = -40 - -41. Is (20/4 + -1)/f - -332 a multiple of 28?
True
Let w