*h**4/12 - 20*h**3/3 + h**2 + 166. Is r(9) a multiple of 53?
False
Suppose -81684 = -55*f + 28591. Is f a multiple of 11?
False
Suppose -13*v + 60 = 21. Suppose -4*x = v*d - 704, -3*d + 541 = 3*x - 4*d. Does 17 divide x?
False
Suppose -6*j + 15*j - 333 = 0. Suppose -j = -4*o + 75. Is o a multiple of 4?
True
Let a(s) = -s**3 - 4*s**2 - 33. Let k(t) = t**3 + 5*t**2 + t + 32. Let q(b) = -3*a(b) - 2*k(b). Suppose 20 - 20 = 40*c. Is 7 a factor of q(c)?
True
Let w(j) = 33*j**2 + 249*j**3 - 13 - 2*j - 248*j**3 + 71*j - 8*j. Is w(-31) a multiple of 6?
True
Let s(z) be the third derivative of 3*z**6/8 - z**5/60 - z**4/8 + z**3/3 + 13*z**2 - 4. Does 16 divide s(2)?
True
Suppose -116*s = 120*s - 255*s + 754547. Is 259 a factor of s?
False
Let w(n) = 73*n + 670. Is 2 a factor of w(25)?
False
Let r(u) = 11715*u + 45. Let y be r(-5). Let l be ((y/25)/3)/(1/5). Is 14 a factor of (-6)/(-63) + l/(-42)?
False
Suppose -216781 = -17*x - 2*x + 387191. Is 18 a factor of x?
True
Suppose -3*k + 0*k = -48. Let v(a) = -a + 21. Let y be v(k). Suppose y*m = 7*m - 80. Is 5 a factor of m?
True
Let w(l) = 217*l - 1299. Does 4 divide w(14)?
False
Let v(p) = -1113*p + 652. Does 47 divide v(-9)?
True
Let h = 41 + -56. Let m(a) = -a**3 - 16*a**2 - 22*a + 7. Does 4 divide m(h)?
True
Suppose -5*x + 4*q + 18859 = 0, -2121*x - 18860 = -2126*x + 5*q. Is x a multiple of 12?
False
Let n(g) = -3*g**3 - 7*g**2 + 41*g + 208. Does 39 divide n(-24)?
False
Let j(t) = 18*t**3 + 13*t**2 + 9*t - 30. Let w be j(3). Let y = -161 - -233. Suppose -6*f = -w - y. Is 17 a factor of f?
False
Is 1430*(318/(-210) - -1)/((-9)/441) a multiple of 36?
True
Let c = 21272 - 12388. Does 4 divide c?
True
Let j(l) = 2*l**3 - 9*l**2 + 3*l - 17. Suppose 156 = -15*f + 41*f. Is j(f) a multiple of 15?
False
Let s be (112/(-6))/((-100)/36 - -3). Let i = 299 + s. Is 15 a factor of i?
False
Let x be -143 - 1 - 0/20. Let r = x + 273. Let l = r - 101. Is l a multiple of 4?
True
Let m = 3090 + -1426. Suppose m = 10*h - 8*h. Does 13 divide h?
True
Let f(k) = k**3 - 2*k**2 - 4*k + 4. Let c be f(3). Does 14 divide 6*(95/c + 3)?
True
Let n(s) = s**2 + 13*s + 41. Let p be n(-10). Let l(w) = 2*w**2 - 12*w - 33. Does 4 divide l(p)?
False
Suppose 6*f - 4*f - 2605 = 5*c, -1033 = 2*c + f. Let j = c + 968. Is j a multiple of 52?
False
Let m be ((-10)/1)/(87/(-12) - -7). Let z be 7444/14 + m/140. Does 11 divide 2/(4 - z/134)?
False
Let u = 12139 - 6216. Does 47 divide u?
False
Let o(q) = -6*q + 2*q + 2*q + 115*q**3 - 51*q**3 - q**2 - 3. Let w(v) = v**3 + 1. Let j(u) = -o(u) - 2*w(u). Does 18 divide j(-1)?
False
Suppose 3920 = -2062*m + 2076*m. Does 27 divide m?
False
Let o be -3*(6 + -4 - -173). Let z = o + 633. Is 3 a factor of z?
True
Suppose 5 = 11*d - 17. Suppose 1199 + 501 = d*u. Does 34 divide u?
True
Let z = -887 - -207. Let b = -483 - z. Does 6 divide b?
False
Suppose -2*v + 2*j - 446 = 0, -1 = j - 3. Let s = v + 240. Does 3 divide s?
False
Suppose 2054 = -12*d + 9*d - 4*j, -5*d + j = 3454. Let y = -352 - d. Is 14 a factor of y?
False
Let o = -222 - -354. Does 16 divide ((-164)/16 - -6)/((-3)/o)?
False
Suppose 5*w - 8 = 2*k, w - 2*k - 3*k = -3. Let v = w - 8. Is (5/3)/((-2)/v) a multiple of 2?
False
Let g(y) = -2*y**2 + 18*y + 21. Let l be g(10). Let i = 73 - l. Is 29 a factor of i?
False
Let o(w) = 0 + 6 + 7*w**3 - 333*w + 325*w. Let d be o(3). Suppose -k = 2*j + 12 - 87, -5*j + 3*k = -d. Is 3 a factor of j?
True
Suppose -228*t + 226*t = -14280. Is t a multiple of 60?
True
Let p be (-20)/3*-6*(-3 - -4). Let k(w) = -w**3 - 3*w**2 - 3*w - 1. Let h be k(-3). Suppose 0 = h*y - 13*y + p. Does 2 divide y?
True
Let a(w) = w + 10. Suppose z - v - 2 = 0, -3*z - 3*v = -8*v + 4. Let y be 18*1 + -3 + z. Is a(y) a multiple of 16?
True
Let k be ((-56)/8 - (-8 - -2))*-73. Suppose -p - 68*l = -k*l - 860, -l + 3419 = 4*p. Is p a multiple of 57?
True
Suppose 5*r + 113*x - 115*x - 25488 = 0, r + x = 5106. Is r a multiple of 204?
True
Suppose 2*s + s + 3*o = 24, 5*s - 5*o = 80. Suppose -90 = 9*m - s*m. Is 12 a factor of 6/3*m - -3?
False
Let g(h) = 836*h - 708*h - 11 - 5. Is g(2) a multiple of 16?
True
Let u = 277 - 498. Let p = -102 - u. Is p a multiple of 15?
False
Let u be (-156)/195 - (-776)/(-5). Let o = 178 + u. Does 4 divide o?
False
Let v = 67235 - 20355. Is 10 a factor of v?
True
Suppose t - 6243 = 1142*u - 1145*u, 5*t = -u + 31285. Is t a multiple of 6?
True
Let i(w) = -8*w + 91. Let g be i(-31). Suppose -15*r + g = -216. Is r a multiple of 2?
False
Is 2984/((2/4)/((-235)/(-94))) a multiple of 40?
True
Let m = -358 + 385. Let y = m + 669. Does 8 divide y?
True
Does 7 divide 708/((-23)/84*-1 + (-4)/24)?
True
Suppose -3 = -3*r + 5*v, -3*v = 4*r - 7*v - 12. Does 25 divide 1 - 0 - (-301 + 12/r)?
True
Let t = -2457 - -3027. Is t a multiple of 19?
True
Let w = 6451 + -6297. Does 11 divide w?
True
Suppose 5*m = -6*g + g + 29330, -11723 = -2*g - 5*m. Is g a multiple of 8?
False
Let t be (-40)/100 - (-184)/10. Suppose 0 = -t*p - 3309 + 14973. Does 23 divide p?
False
Suppose y - 324*n + 321*n - 10470 = 0, 4*n + 52306 = 5*y. Does 21 divide y?
True
Let h be 54/(-8) - (-4)/((-48)/(-9)). Is 3 a factor of h + (24 - 23 - 636/(-2))?
False
Let r = -4598 + 25117. Is 71 a factor of r?
True
Is 10 a factor of (1388088/(-858))/((-3)/22)?
False
Let a(j) = -24*j - 16*j**2 - j - 22*j**2 + 40*j**2 + 37. Does 4 divide a(14)?
False
Let i(k) = 2*k**3 - 5*k - 2. Let h = -65 + 70. Let q be i(h). Let z = q + -156. Does 15 divide z?
False
Let n(q) be the first derivative of q**4/4 - 14*q**3/3 + q**2 - 6*q + 2. Let i be (-1)/(-2) + 2 + 46/4. Is n(i) a multiple of 11?
True
Suppose 3*v - h = 113053, 5*v - 683*h = -686*h + 188403. Is 159 a factor of v?
True
Let p be -2 - (-15 + 13 - 0/1). Suppose -3*r - q - 3*q - 309 = 0, p = -3*r - q - 300. Let h = r + 201. Is 40 a factor of h?
False
Suppose o - 6*o + 15 = 5*z, z - o - 7 = 0. Suppose 3*g - z*b = 1400, 10*g = 15*g + b - 2296. Is g a multiple of 20?
True
Let g = 727 - 1263. Let z = 416 - g. Is z a multiple of 26?
False
Suppose -81*s + 721516 + 437024 = -21*s. Is 59 a factor of s?
False
Suppose 2*n - 6054 = -5*q, -814*n = -3*q - 815*n + 3632. Is 11 a factor of q?
True
Let t = -478 - -558. Suppose -4*i = k - t, 10*i - 135 = -2*k + 7*i. Is 6 a factor of k?
True
Suppose 0 = -2*n + 4, 2*w + 60 = 7*w + 5*n. Suppose -x - w = -12. Suppose 0 = 2*a - x*f - 280, 0 = -6*a + 2*a - 3*f + 574. Is a a multiple of 20?
False
Suppose 8*x - 4*x - 216 = 0. Let i = -23 + x. Suppose 77 = a - i. Is 18 a factor of a?
True
Let f be 0*(1 - 2) + -2 - -321. Suppose 0 = l - 2*v - 109, -2*v - f = -3*l - 0*v. Suppose l = 7*n - 77. Is 5 a factor of n?
False
Let u = 93 + -155. Let q = 68 + u. Suppose -4*z - 238 = -q*z. Is z a multiple of 17?
True
Let r(b) = -5 + 154*b**2 - 2 + 3*b + 11. Let t be r(-1). Suppose t - 335 = -5*p. Is 11 a factor of p?
False
Let f(p) = -p + 31. Let u be f(5). Suppose 8*j - u = 14. Suppose 3*w + 65 = i, 0 = 2*i + i - j*w - 183. Does 19 divide i?
False
Suppose 2*u - 25 - 2508 = 533. Is 7 a factor of u?
True
Let m = 271 - 266. Suppose 55 + 175 = m*h + d, 3*h = -4*d + 155. Is 4 a factor of h?
False
Let c(a) = -a - 11. Let u be c(-14). Suppose -4*h = 3*t + 1, -t - 4*h + 1 = -u*h. Suppose 0 = g + t*b - 19, -37 = -2*g + b + 34. Does 17 divide g?
True
Let f(x) = -320 + 160 - 13*x - x**3 + 165 - 14*x**2. Let b be f(-13). Suppose s + 94 = b*l, 2*l = 6*l - 2*s - 80. Is 2 a factor of l?
True
Suppose 22*o - 110 = -0*o. Suppose -4*l = o*m - 82, 2*l + 2*m = 3*m + 34. Is l a multiple of 3?
True
Suppose 5*m - 4*d - 1950 = -2*d, -2*m = -2*d - 780. Does 3 divide m?
True
Let d = 73 - 13. Suppose 3*i + t + 2*t = d, -2*i = -4*t - 10. Is 209 - 3*10/i a multiple of 23?
True
Let y(c) = -c**2 + 127*c - 21. Is 106 a factor of y(54)?
False
Let f(c) be the second derivative of 11*c**8/6720 - c**7/2520 + c**5/40 - c**4/6 - 34*c. Let a(b) be the third derivative of f(b). Does 6 divide a(2)?
False
Let s = -31893 + 60273. Is 41 a factor of s?
False
Let u = 2698 - 2649. Let v(g) = -g**3 + 8*g**2 - 4*g - 1. Let w be v(5). Suppose u*f + 1120 = w*f. Is 16 a factor of f?
True
Is 66102/10 + -3 - 138/115 a multiple of 15?
False
Suppose 97*n + 4128856 = 413*n. Does 47 divide n?
True
Suppose -5*x - 44430 = -66*j + 62*j, -5*j - 4*x = -55476. Does 74 divide j?
True
Le