)/(-12))/((-7)/(-6))). Does 15 divide b(f)?
True
Does 35 divide -70*34*(-195)/60?
True
Let o(w) = 27*w - 92. Let d be o(4). Suppose -10*b - 4320 = -d*b. Is 15 a factor of b?
True
Is 17 a factor of 6/102 + 8158950/510?
False
Let z(a) = -50*a - 71. Let t be z(-2). Suppose t*q = 5*q + 8064. Is q a multiple of 27?
False
Let t(z) = 5*z**2 - 39*z - 384. Is 58 a factor of t(-13)?
False
Let d = 56 + -44. Let j(y) = d + y**3 - 2*y - 15*y + 5*y - 7*y**2. Does 13 divide j(9)?
False
Suppose -2*q = -5*q - 207. Let r be 210/(-1) + -6*2/3. Let x = q - r. Is x a multiple of 29?
True
Suppose -4*h + 643 = -281. Is (35/(-21)*1)/((-1)/h) a multiple of 12?
False
Let a be 5*137*(3 - 0). Suppose -a = -6*o + o. Does 7 divide 4/(-6) - o/(-9)?
False
Let y be (5/(-15))/(3/(-6201)). Suppose -4*w + 2904 = 5*n, -2*n + y = 3*w - 467. Is n a multiple of 73?
True
Let m = -12130 + 29389. Is 21 a factor of m?
False
Let t = -16103 - -20135. Is t a multiple of 72?
True
Suppose -g - 4*q + 1328 = 0, -21 = -q - 20. Does 8 divide g?
False
Let g = 1 - -1. Suppose 42*a - 17*a - 1325 = 0. Suppose -p = 2*i - 100, -i - a = -g*i + p. Does 14 divide i?
False
Let a = -352 - -355. Let t(l) = 25*l**2 + 15*l + 3. Is t(a) a multiple of 22?
False
Suppose -2*c = 4*b - 76, 0 = 5*b - 2*b - 4*c - 35. Let o = -15 + b. Suppose 48 = -o*x + 290. Is x a multiple of 27?
False
Let h(l) = 220*l**3 + 4*l**2 - 23*l + 73. Does 137 divide h(3)?
False
Is (-67 + 13)/3 - -19041 a multiple of 16?
False
Let p = -6823 + 11161. Is 79 a factor of p?
False
Let m(n) = -n**3 + 9*n**2 - 12*n + 36. Let z be m(8). Suppose 0 = z*x + 5*x - 342. Does 6 divide x?
False
Let w = 406 + 284. Suppose -68*o - w = -71*o. Is 22 a factor of o?
False
Suppose 32*m + 60*m = 329544. Does 67 divide m?
False
Let o be -1*(2 + 6) - (-4)/2. Does 20 divide (-2050)/(-6) - 85/(-306)*o?
True
Let p(i) = 62*i - 3216. Does 42 divide p(60)?
True
Suppose 5*w + 2*r - 224 = 88, 4*r + 272 = 4*w. Is w a multiple of 16?
True
Let f(z) be the third derivative of z**5/60 + z**4/2 - 7*z**3/2 - 2*z**2 - 48. Does 21 divide f(9)?
True
Let p = -45 + 243. Suppose -2*z + 4 = -4*u + 6, 3*z - 3 = 3*u. Suppose -3*l = -u*l - p. Is l a multiple of 34?
False
Suppose -11*n + 1970 = 34. Suppose -8*s + n = -0*s. Is s a multiple of 9?
False
Suppose -10*x + 10126 = o - 8*x, -40492 = -4*o - 4*x. Is 92 a factor of o?
True
Is (-5092)/(-10) + (51/120 - 36/(-96)) a multiple of 2?
True
Suppose -4*w - 2*p = -2*w - 54, w - 2*p = 12. Let t be (-11)/(w/(-3060)) - -2. Does 34 divide 65/75 - 1 - t/(-15)?
True
Let s be ((-16)/(-6))/(((-8)/(-33))/4). Suppose -10*j + s = -8*j. Let d = j + -7. Does 15 divide d?
True
Let y(w) = -6*w**2 + 161*w + 28. Let i be y(27). Let n(x) be the second derivative of 14*x**5/5 + x**4/6 - x**3/2 + x**2 - x. Is 12 a factor of n(i)?
False
Let n(d) = -101*d**3 - 2*d**2 - 8*d - 11. Is 3 a factor of n(-3)?
False
Let h be 5/((-40)/12)*6. Is 29 a factor of (-3)/(h/174 + 0)?
True
Let v be ((-2)/(-4))/((5 + -1)/2088). Suppose 10*w - v = -19*w. Is w a multiple of 9?
True
Suppose -y - y - 28 = 0. Let l be (-60)/y + (-52)/(-14) + -4. Suppose p = -l*p + 240. Does 9 divide p?
False
Let s(n) = -30*n + 3. Let l be s(1). Let r = 30 + l. Suppose -2*t + 760 = r*t. Does 14 divide t?
False
Is 30 a factor of 438032/96 - 15/18?
False
Suppose 36*p + 408 = 30*p. Let h = p - -108. Let l = 56 - h. Is l a multiple of 4?
True
Let s(o) = -4*o + 24. Let k be s(6). Suppose k = -22*c + 23*c - 312. Does 13 divide c?
True
Let z(v) = -210*v**2 - 9*v - 8. Let o be z(-2). Let s = -340 - o. Is 49 a factor of s?
True
Suppose n = -4*n. Let s(q) = -2*q**3 - 72*q**2 + 2*q + 75. Let a be s(-36). Suppose 6*o + a - 33 = n. Is 5 a factor of o?
True
Let b be 16/12 + (-1)/(-3)*-1. Is 26 a factor of 238 + (b - 4 - 1)?
True
Let f = 939 + 1427. Does 23 divide f?
False
Let c = 139 + -377. Let t = -428 - c. Let q = t + 286. Is q a multiple of 32?
True
Let o = -32 - -26. Let u(y) = 4 + y**3 + 1 - 1 + 6*y + 9*y**2. Does 19 divide u(o)?
True
Suppose g + 1829 = 4*v, 18*v + 1809 = 22*v + 3*g. Suppose -11*j = -13*j + v. Is j a multiple of 4?
True
Suppose 4*z = 8*z + 4. Is 2 a factor of 66/11 + z + 4 + 5?
True
Let t(w) = w**3 + 10*w**2 - 2*w - 26. Let a be t(-11). Let n = a + 249. Suppose 3*r - n = -25. Is 5 a factor of r?
False
Let h = 13 - 8. Let i(m) = -5*m**3 + 5*m**2 - 11*m + 13. Let x(n) = 6*n**3 - 5*n**2 + 12*n - 16. Let v(s) = -5*i(s) - 4*x(s). Is 3 a factor of v(h)?
False
Does 15 divide -60*(-228)/96*20?
True
Let q(l) be the third derivative of -l**4/12 - 19*l**3/3 + 19*l**2. Let i be q(-24). Let x = i - -57. Is x a multiple of 15?
False
Is 119 a factor of 20/55 + -2 + (-827432)/(-88)?
True
Suppose -5*t + 20 = 0, x - 1138 = 3*t - 4*t. Is 81 a factor of x?
True
Let a(d) = -4*d**3 - 2*d**2 - 4*d - 2. Let h be a(-1). Let r be 57 + -2 + h/(-4). Is 13 a factor of (-2)/(-9) + 1068/r?
False
Let i(c) = 20*c - 23. Let m be i(3). Suppose -26*w = -m*w + 396. Is w a multiple of 4?
True
Let r = 278 - 291. Let q(s) = s**3 + 13*s**2 - 6*s + 11. Does 16 divide q(r)?
False
Let x(o) = 13*o**2 + 173*o + 7. Let y be x(-14). Let t = -21 - -248. Let d = t - y. Is 11 a factor of d?
False
Suppose 2*s = -6*s - 0*s. Suppose -3*n - 2*m + s*m = 248, 0 = 4*n - 2*m + 312. Is 16 a factor of (-78)/65*n/6?
True
Let u be -1*0*1/5. Suppose u = -91*g + 74*g + 11815. Does 61 divide g?
False
Suppose -2*b + 2*m = 2*b - 20, -3*b = -2*m - 17. Suppose b*o - 18 = -5*u, 4*o = -3*u - 2*u + 14. Suppose u*h + 54 = 7*h. Is 26 a factor of h?
False
Suppose 11*b + 552 + 152 = 0. Let k = -60 - b. Is (-1*21/6)/(k/(-88)) a multiple of 4?
False
Let r(t) = -3*t**3 + 39*t**2 + 4*t - 4. Let p be r(13). Suppose -34*q = -p*q + 560. Does 2 divide q?
True
Let o be 2 + 1 - (12 + -7091). Suppose -19*q + o = -2057. Is 13 a factor of q?
True
Does 25 divide ((-7475)/175 - -37)/(5/((-39830)/4))?
False
Let g(v) be the second derivative of -v**5/20 + 5*v**4/12 - 2*v**3/3 + 2*v**2 - 18*v. Let y be g(4). Suppose -y*r = -2*r - 174. Is 29 a factor of r?
True
Suppose -32*m + 267607 = 29*m. Is m a multiple of 41?
True
Let v(k) be the third derivative of -29*k**4/24 - 55*k**3/6 + 2*k**2. Let u = 139 - 149. Is v(u) a multiple of 21?
False
Let a(h) = -14*h + 17 + 2*h - 2*h**3 + 33*h + 3*h**3 - 8*h**2. Does 4 divide a(7)?
False
Suppose -5*q + 1 = -3*h - 7, h - 5*q - 4 = 0. Let v = 456 - 448. Is (0 - 15/5)*v/h even?
True
Let r be (77/(-49) - 1)*7/(-2). Let s(x) = 2*x**2 - 3*x**2 + 11*x + 12 - 2. Is 28 a factor of s(r)?
True
Let b(z) = -z**3 - 172*z**2 + 1467*z + 768. Is 51 a factor of b(-181)?
True
Let d(b) be the first derivative of 119*b**2/2 + 31*b + 44. Does 34 divide d(2)?
False
Let c(t) = -t**2 - 19*t + 6. Let m be (0 + (-2)/(-1))*(-198)/33. Is 6 a factor of c(m)?
True
Let a be (-1)/(-9) - ((-14872)/(-36) - -3). Let o = -192 - a. Is o a multiple of 56?
True
Let b(s) = -s**3 + 9*s**2 - 6*s - 8. Suppose -d - 6*d = -56. Let i be b(d). Suppose 4*x + 128 = i*x. Is 32 a factor of x?
True
Let h be 3/2*(2 - 4). Let x(i) = -78*i + 14. Does 20 divide x(h)?
False
Suppose -2*w = -3*w + 2*j + 236, -j = -2*w + 457. Suppose 12*v + w = 622. Does 24 divide -3 + (-1 + 4)*v?
True
Let o = 83 - 89. Let n be 259 + 2/(o - 8/(-2)). Suppose -4*j - l + 3*l = -n, 4*j = 3*l + 261. Is 21 a factor of j?
True
Is (-1698918)/(-1518) - (10/11*-2 - -2) a multiple of 3?
True
Is 92*142 + 387/129 a multiple of 179?
True
Suppose -4*u + 886*g + 17121 = 891*g, 17111 = 4*u - 5*g. Does 199 divide u?
False
Let w be 1/(-5 - 62/(-12)) - 1. Suppose -w*v + 2*m + 454 = 0, -2*m + 4*m + 362 = 4*v. Is 92 a factor of v?
True
Suppose 5*p = 5*u + 1715, -5*p - 9*u + 8*u + 1703 = 0. Let i = p - 291. Is i a multiple of 3?
False
Let x = -39 + 66. Suppose -8*v - 2660 = -x*v. Is v a multiple of 14?
True
Let p(r) = 11*r - 158. Let g be p(14). Is (-6)/(8/g) - -47 a multiple of 50?
True
Suppose 812 = -9*m + 3854. Suppose -6*n + 5*n = i - 168, n = -2*i + m. Does 85 divide i?
True
Let z be -2694*(((-7)/(-3))/(-7))/1. Suppose 12*r - z - 5666 = 0. Is 14 a factor of r?
False
Let o be -15*(-60)/(-14) + (-14)/(-49). Let u = o + 136. Does 8 divide u?
True
Let a(d) = 3139*d - 1253. Is 31 a factor of a(4)?
False
Let s(p) = 5*p**2 + 34*p + 14. Suppose 3*z - 5*z = 24. Does 31 divide s(z)?
False
Let d(v) = 414*v + 1530. Does 10 divide d(10)?
True
Let j(l) = -5