7*b**2 + 3*b - 4. Suppose 0 = 6*s - 4*s - 8. Suppose -s*r + 98 = 94. Does 11 divide o(r)?
True
Let c be -3*(2172/9 - 1)*7. Let h be 2/(-4) + c/(-14). Suppose 8*w = 4*w + h. Does 18 divide w?
True
Suppose -5*w = -9*w + 236. Suppose -4*n = w + 17. Let r(g) = -g**3 - 18*g**2 + 17*g + 28. Is 22 a factor of r(n)?
True
Let k be (-112)/52 + -2 + 4/26. Is (-1214)/k - (198/12 + -16) a multiple of 20?
False
Suppose 4*o + 20 = 0, 51*x + 23065 = 53*x - 5*o. Does 18 divide x?
True
Let v be (-115)/(-46)*(-12)/5. Is 15 a factor of 45/(-30) + (-1899)/v?
True
Let n(z) = 148*z**2 - 46*z + 213. Is n(14) a multiple of 8?
False
Suppose 22 = -y - 5*k, k = 2*k + 5. Suppose -o = -y*q + 4*o - 83, 5*o = 20. Let n = 39 + q. Does 6 divide n?
True
Suppose -3*p = j + 4*j + 1070, 5*j = p - 1050. Let c = j + 528. Let f = -189 + c. Is f a multiple of 16?
True
Let d(t) be the second derivative of t**7/840 + t**6/72 - t**5/60 + t**4/24 + t**3/3 + 19*t. Let a(z) be the second derivative of d(z). Does 3 divide a(-3)?
False
Let a be -3 - 2*(-630)/(-12). Does 29 divide a/(-7)*56/3?
False
Suppose 2*i + 3*y - 60 = 0, -12 + 181 = 5*i - 2*y. Suppose 13*g - 14*g + i = 0. Is 9 a factor of (g/(-22))/(2/(-96))?
True
Let m(a) = 56*a**2 + 39*a + 15. Let n be m(-5). Suppose -n = 57*p - 67*p. Is 7 a factor of p?
False
Suppose m - 3452 = -2*v, 2*m - 6924 = -4*v + 5*m. Suppose -v = -23*k - k. Is k a multiple of 9?
True
Suppose 133*l = 151*l - 12636. Is 54 a factor of l?
True
Let g = -250 - -123. Let i = g - -134. Suppose -49 = -l - i. Is l a multiple of 15?
False
Let w(g) = -10 + 2*g**2 + 35 + 0*g - 11*g. Let r be (126/154)/(-9) + 366/33. Is w(r) a multiple of 18?
False
Suppose k = 5*b + 84, k + 0 + 12 = -b. Let v be b/(-88) + 5980/22. Suppose 3*p - 5*h = v, -3*p + h + 2*h = -282. Is 33 a factor of p?
True
Let l = 34 - -134. Let j(q) = -25*q - 975. Let g be j(-39). Suppose 25*r - 23*r - l = g. Is 12 a factor of r?
True
Let o(k) = -k**3 + 3*k**2 - k - 7. Let b be o(-2). Suppose -b*w = -23*w + 3056. Is 11 a factor of w?
False
Suppose 0 = -6*w - 33*w + 28899. Suppose -2*y = -w + 631. Does 5 divide y?
True
Let h = 18066 - 8716. Does 22 divide h?
True
Let t(r) = -2*r**3 + 12*r**2 - 26*r + 83. Is 104 a factor of t(-13)?
False
Let o(r) = -3*r + 24. Let f be o(7). Suppose 5 = -f*q + 23. Suppose -119 = -q*k + 25. Does 5 divide k?
False
Let p(k) = k**3 + 23*k**2 + 21*k - 19. Let v be p(-22). Suppose -192 = -d - v*d. Is (-2 - d/(-28)) + (-1014)/(-21) a multiple of 8?
True
Suppose -9257 = -10*y - 1747. Suppose -3*t + 7 = -8, -4*p = -t - y. Does 7 divide p?
True
Let b = -6594 + 29668. Does 9 divide b?
False
Suppose 10*i = 5*i. Suppose i = 4*a - 21 + 1. Does 20 divide (1 - 0)*(85 - a)?
True
Let d(w) = -4*w**2 - 7*w + 15. Let l be d(-3). Suppose 32*r - 2311 - 25 = l. Does 17 divide r?
False
Let l be ((-84)/(-63))/(8/18). Suppose l*x - 4*b - 102 = 0, -2*x + 54 = 5*b - 3*b. Does 5 divide x?
True
Suppose 94*a - 95*a = 8, 3*a - 30048 = -3*m. Is m a multiple of 56?
True
Let y = 1108 - -7404. Is y a multiple of 38?
True
Suppose -2*g + 374 = 3*r, 3*r - 275 - 105 = g. Suppose 2666 = 20*o + r. Does 2 divide o?
False
Let c be 39 + -4 + -6 + 7. Does 20 divide c - (-1 + (-4 - -3))?
False
Suppose 11213 = 5*y + s, -3*y + 4243 = -5*s - 2524. Is 44 a factor of y?
True
Let m(v) = v**3 + 13*v**2 + 10*v - 20. Let g be m(-12). Suppose i + 2*d + 8 = 0, i + 3*d + 16 - 5 = 0. Does 9 divide (-30)/(1 - (i + g))?
False
Suppose -7*v = -8*v + 2. Let y be v*(-3 + 35/10). Let g(k) = 13*k**3 - k**2 + 3*k - 2. Is 3 a factor of g(y)?
False
Let t = 4310 - 4177. Let s be (0 + -5)*(20 + 0). Let g = s + t. Is 3 a factor of g?
True
Suppose 0 = -k - 2*f + 7, 0 = -2*f + 4*f. Let c = k + -1. Suppose -2*s - 83 = -c*s + y, y - 93 = -4*s. Does 11 divide s?
True
Suppose 4 - 2 = p. Suppose 2*q - 1528 = -p*q. Suppose 4*z - q = 30. Does 11 divide z?
False
Let x(p) = 3*p**2 + 18*p - 2124. Does 26 divide x(54)?
False
Let b(q) = -6*q**2 + 7*q + 9. Let h = 45 + -54. Let s(f) = 13*f**2 - 15*f - 19. Let g(w) = h*b(w) - 4*s(w). Is g(6) a multiple of 8?
False
Let h(o) = -4*o**3 + 18*o**2 + 12*o - 62. Let w(p) = -2*p**3 + 9*p**2 + 6*p - 31. Let x(v) = 2*h(v) - 5*w(v). Does 6 divide x(7)?
True
Let x = 1021 + -1714. Let v = -251 - x. Is 26 a factor of v?
True
Let p = -500 + 751. Let k = p + -203. Is k a multiple of 8?
True
Let b(i) = 2*i**2 - 21*i - 1074. Is 60 a factor of b(49)?
False
Suppose 3*k - 6806 = 3*u - 2*u, -11344 = -5*k + 2*u. Is k a multiple of 126?
True
Let i(b) = -b**3 - 8*b**2 - 66*b + 6. Is i(-21) a multiple of 75?
True
Suppose 0 = -2*u + 4*x + 24 - 4, -2*u - x = -5. Suppose 10 = 3*c - 8*c, -3*m + u*c + 86 = 0. Is m a multiple of 24?
False
Is 30 a factor of 2/(-13) + (4 + -5 - 168525/(-39))?
True
Is -4*(-56)/16 + 46 even?
True
Suppose 27*v + 22311 = 5*a + 28*v, 0 = -25*v + 25. Does 6 divide a?
False
Suppose 8*w - 10*w + 20 = 0. Suppose 18 = -2*x + 3*i, -3*x - w = -2*x - 2*i. Is 13 a factor of 4/((-8)/x)*(-72)/(-8)?
False
Suppose -254*t - 172143 - 193825 = -1914098. Does 4 divide t?
False
Let l = 130 - -206. Suppose 3*d = -d + l. Suppose 2*m + d = 348. Is m a multiple of 33?
True
Let u(n) be the third derivative of n**8/10080 - n**7/360 - n**6/360 - n**5/2 - 22*n**2. Let a(h) be the third derivative of u(h). Is 18 a factor of a(-5)?
False
Let p = -31 + 73. Let q = p - -39. Suppose -j = -2*v + 305, 3*v = -4*j + 555 - q. Does 22 divide v?
True
Let j(s) = 5*s**3 - 4*s**2 - 173*s + 1067. Is j(6) a multiple of 26?
False
Suppose 0 = 2*h - 4*m - 806, 0 = 3*h + 4*m + m - 1231. Suppose x + h = c, 2*c - 786 = -4*x - x. Is 31 a factor of c?
True
Let v be 63 - 46 - (-7 + 1). Let x(w) = -8*w**2 + 27*w + 2*w**2 + 20 + 5*w**2. Is 14 a factor of x(v)?
True
Let c(l) be the second derivative of 0*l**3 + 1/6*l**4 - 33*l + 0 - l**2 - 1/20*l**5. Does 43 divide c(-3)?
True
Suppose 5*r + 40 = -k, -k + 6*k - r = -278. Is k/(275/(-96))*(-20)/(-3) a multiple of 16?
True
Let b(z) = -34*z + 17*z + 19*z + 0 + 4*z**2 - 60*z**3 - 4. Is b(-2) a multiple of 8?
True
Let k = 80 + -116. Let p = -105 - k. Let x = p + 261. Is x a multiple of 24?
True
Suppose -21*o = 3722 + 2830. Let j = 277 - o. Is j a multiple of 31?
True
Suppose -n = -2*t, -3*t + 2*n = 2*t. Suppose -29*s + 32*s - 87 = t. Suppose 6*g - 7 - s = 0. Is g a multiple of 6?
True
Suppose 0*o - 12*o - 60 = 0. Is 9 a factor of (73 - o)*2/6?
False
Let o(b) = 5*b - 36. Let v be o(6). Let i be (-60)/(-8)*(-548)/v. Suppose -i = -11*u + 723. Is 8 a factor of u?
True
Let r(x) = 13*x + 3. Let w be r(5). Suppose 3*o = -0*o + 15. Suppose -w = -o*i + 112. Is 6 a factor of i?
True
Suppose -2*y - 3*k = -0*y + 7, -3*k = 15. Suppose c = 5*m - y*c + 10, 2 = -5*m + c. Suppose -3*i + i + 34 = m. Is 17 a factor of i?
True
Let s be -1 - (-6)/(-3) - -7. Suppose -s*c - 100 + 24 = 0. Does 3 divide c/(-8 + 4 - -3)?
False
Let i(t) = 9*t**2 + 13*t + 11. Let x(v) = -5*v**2 - 7*v - 6. Let o(u) = 4*i(u) + 7*x(u). Let h be o(-2). Suppose 12*c - 14*c + 32 = h. Is c a multiple of 4?
True
Let m be ((-4)/(-3))/(2/339). Let g = m + -151. Suppose 2*s + 3*b = 99 + g, 0 = 5*s + b - 409. Is 22 a factor of s?
False
Suppose -35 = 5*g, -9*r - 5*g - 40 = -10*r. Let s(i) = 333*i - 4. Let f be s(4). Suppose r*u + 8 = f. Is 12 a factor of u?
True
Let u(q) = 5*q + 1. Let p be u(1). Suppose 0*v = -p*v - 216. Let x = v - -62. Is 15 a factor of x?
False
Suppose m = -b + 11132, -4*m = -5*m - 4. Is 13 a factor of b?
False
Does 75 divide (-1 - -3) + 2 + (5900 + -3 - -7)?
False
Is -31 + 11 - 86804/(-4) a multiple of 18?
False
Suppose 324 = -2*x - 3*v + 1634, -4*v = 8. Is -2 + -2 + x + -6 a multiple of 36?
True
Let p = 88 - 58. Suppose -29*t + p*t + 9 = 0. Does 4 divide 6/8*(3 - t)?
False
Suppose -2*b - 2*i + 26 = 0, 40 + 16 = 4*b + 5*i. Suppose -1890 = 3*c - b*c. Suppose 2*h + c = 7*h. Is h a multiple of 7?
True
Suppose -u - 1930 = -5216. Is 17 a factor of u?
False
Let n = 2250 - 1796. Does 2 divide n?
True
Let f be -133 + 187 - (2/(-2) + 1). Suppose 2*t = -2, -f = -0*j - j + 4*t. Is j a multiple of 25?
True
Let y = 9766 - 2623. Is 65 a factor of y?
False
Suppose k - 4*k + 2462 = 4*u, -5*u + 3091 = -3*k. Suppose 5*v = -u + 3977. Does 13 divide v?
False
Suppose 185*m = 191*m + 24. Let b(h) = h**3 + 5*h**2 - 7*h - 18. Does 21 divide b(m)?
False
Suppose 3*y = -f + 3248, 0 = -5*y - 