 -4. Is 11 a factor of q?
True
Let w(c) be the first derivative of -c**4/4 + 11*c**3/3 - 5*c**2 + 2. Let a be w(10). Suppose a*f + 48 = 3*f. Is 16 a factor of f?
True
Suppose -4 - 8 = 3*l. Is 22 a factor of (-154)/4*l*4/8?
False
Let s(f) = -20*f**3 - 1. Let c be s(-1). Let g(t) = t**3 - 20*t**2 + 21*t + 2. Does 8 divide g(c)?
True
Let w(g) = -g - 16. Let b be w(-13). Let o = 6 + b. Suppose -3*s + 315 = o*r, 0 = -4*r - 0*r + 4. Is s a multiple of 18?
False
Let d be 4/(-14) + (-856)/(-56). Suppose g + 2*g - d = 0. Suppose -g*y = -2*x - 2*y + 46, -5*x + 125 = -5*y. Is x a multiple of 7?
False
Is 36 a factor of (2 - (-15)/(-6))*-504?
True
Suppose -2*l + 481 = 5*u - 5*l, 3*l = 2*u - 187. Is 14 a factor of u?
True
Suppose -3*u + z + 7 = -3, 0 = 3*u + 4*z - 35. Is 16 a factor of u/(-4)*(-27 + -101)?
True
Let d(s) = -s**3 + 7*s**2 - 4*s - 8. Let c be d(6). Suppose 0 = o + 4*r - 21, -132 = -c*o - 4*r - 0*r. Let j = o + -23. Does 3 divide j?
False
Let i = 53 + 58. Let x = 235 - i. Is x a multiple of 23?
False
Suppose -q = -4*b - 226, q = 3*b + 32 + 137. Suppose -6 = -5*a + 439. Let j = b + a. Is 8 a factor of j?
True
Let o = 440 + -120. Let c = o - 194. Does 8 divide c/5 + (-52)/(-65)?
False
Let x be (-20 + 2)*130/(-15). Suppose x - 28 = 8*n. Is 8 a factor of n?
True
Suppose -5*w - 10 = 0, -3*p - 6*w + 69 = -3*w. Is p a multiple of 12?
False
Suppose 320 = 3*y + 89. Suppose 5*a + 17 = y. Is 12 a factor of a?
True
Let c = 64 + -71. Is (-5540)/(-25) + c + (-4)/(-10) a multiple of 43?
True
Let u be 54/4*1060/30. Let q = -321 + u. Does 39 divide q?
True
Suppose q + 7 = -6. Let n(l) = 3*l**2 + 14*l - 31. Is n(q) a multiple of 49?
True
Suppose -4*t - 160 = -2*c - 0*t, 2*t - 388 = -5*c. Is c a multiple of 5?
False
Let c = -22 - -21. Let y be 2 + (2 - 1/c). Suppose -y*p + 161 + 22 = 4*h, 2*p = -2*h + 92. Is h a multiple of 34?
False
Suppose -437*u - 3995 = -442*u. Is u a multiple of 15?
False
Let n(f) = f**2 - 10*f + 7. Let p(t) = t. Let z(c) = n(c) + p(c). Let v be z(8). Does 5 divide v - (-2 + -31)/3?
True
Let k(v) = v**2 + 13*v + 6. Is k(11) a multiple of 135?
True
Let t = -115 + 177. Does 9 divide -5*(-3)/15 + t?
True
Let m be (1 + 1)/(12/30). Suppose m*q - 70 = 2*y, 4*y + 0*y = -20. Suppose -11*o + q*o - 20 = 0. Does 10 divide o?
True
Let j = 1003 - 714. Let f = j - 163. Suppose 2*w - f + 16 = 0. Is 20 a factor of w?
False
Let q(r) be the third derivative of 0 - 1/6*r**4 + 9*r**2 + 0*r + 1/4*r**5 + 1/6*r**3. Is q(1) a multiple of 6?
True
Let h(m) = -m**2 + m + 5. Let a be h(4). Is a/(-42) - (-41)/6 a multiple of 4?
False
Let w be (-7 + 1)*-1 - 1. Suppose -w*i = i - 30. Does 2 divide i?
False
Let q(b) = 6 - 2*b**3 + 3*b + b**3 + 0*b + 7*b**2. Let u(r) = -9*r**2 + 47*r - 3. Let v be u(5). Does 10 divide q(v)?
False
Suppose 0 = 4*a - 5*a + 7. Suppose -2*s - 5*o = a, 3*s - 6*o + 2*o = -22. Does 5 divide 280/30*s/(-4)?
False
Let u = 117 - -322. Suppose -265 - 845 = 5*h - 5*y, -y + u = -2*h. Does 7 divide 8/(-20) + h/(-5)?
False
Suppose -2*h + 1565 = 3*y, -6*h - 5*y = -5*h - 786. Does 11 divide h?
True
Let y = 11 - 26. Let u = y + 20. Suppose 545 = u*k + 160. Is 11 a factor of k?
True
Let v be 7/(-35) + -1 + (-8)/10. Is 35 a factor of 4016/96 - v/12?
False
Does 7 divide (-6 + 13 - -2116) + 11?
False
Let u(b) = b**3 + b**2. Let c be u(1). Suppose t + c*t + n - 37 = 0, -t - 11 = 5*n. Does 13 divide t?
False
Let h = -81 - -52. Let s(q) = -20*q**2 + q - 1. Let u be s(-2). Let z = h - u. Does 9 divide z?
True
Let q(r) = r**2 - 19*r + 262. Is q(18) a multiple of 4?
True
Suppose w + 289 = c, -c - 2*c = 4*w - 853. Is c a multiple of 7?
True
Let h be (12/10)/((-8)/(-100)). Let w = h - 13. Is w/(-5)*(-114 - -9) a multiple of 16?
False
Suppose 5*z = -25, -3*k = z - 237 - 139. Suppose k + 128 = 5*y. Is 12 a factor of y?
False
Suppose 9 = -11*l - 464. Suppose 0 = 5*b - s - 617, 5*b - 2*s - 607 = 7. Let a = l + b. Does 14 divide a?
False
Let l(q) = 7*q**3 + 1. Let i = 31 + -30. Let b be l(i). Suppose 28 = 2*y - b. Is 2 a factor of y?
True
Let j(y) = -2*y**3 + 4*y**2 - 3*y - 1. Let i = -9 + 12. Let k be j(i). Let h = -15 - k. Is 4 a factor of h?
False
Let u = -3 + 6. Let w(r) = 3*r**2 - 2*r - 1. Let i be w(u). Suppose -i = 5*a, 5*s + 3*a - 146 = 7*a. Does 13 divide s?
True
Let z(t) = -t**2 - 36*t - 5. Is z(-29) a multiple of 18?
True
Let a be 6/(-4)*4/2. Let z = 20 - a. Suppose 4*w - 3*w - z = 0. Does 7 divide w?
False
Suppose 4376 = 8*s - 2*l, 886 + 190 = 2*s + 4*l. Is s a multiple of 13?
True
Let o = 1649 + -700. Does 13 divide o?
True
Let x be (-3)/12 + 45/20. Suppose 5*k + d - 89 = 5*d, x*d = 3*k - 53. Is 17 a factor of k?
True
Suppose -3*t + 20 = -76. Suppose -2*r = -2*q - 14, t = 4*r - 2*q - 4. Suppose 4*f - 41 - r = 0. Does 3 divide f?
False
Let k(i) = -i + 10. Let o be k(7). Let r(h) = -o + 3 - 5 - 8*h. Is 17 a factor of r(-7)?
True
Let d be (3 - 19/7) + (-270)/14. Let b = d - -68. Is b a multiple of 49?
True
Let f(g) = 2*g**2 + 3*g - 1. Suppose 0 = 5*b + 5*q - 20, 2*b + 0*b - 8 = -5*q. Suppose -u - l + 2 - 9 = 0, -4*u + b*l = 12. Does 17 divide f(u)?
True
Suppose 0 = -107*k + 110*k - 399. Is k a multiple of 17?
False
Let f(l) = -10*l + 15. Let v be f(2). Let r(s) = -s**3 - 5*s**2 - 2*s + 3. Does 6 divide r(v)?
False
Let m(y) = -6*y**2 - 11*y + 1. Let x(j) = 5*j**2 + 10*j - 1. Let t(c) = -4*m(c) - 5*x(c). Let i be t(-6). Does 13 divide i/(2 - (-51)/(-26))?
True
Let c(m) = -m**3 - 2*m**2 + m + 317. Let g be c(0). Let f = g + -138. Is 26 a factor of f?
False
Suppose -3*p - i - 4*i - 64 = 0, -5*p - 5*i - 110 = 0. Let y = p + 43. Is 5 a factor of y?
True
Suppose -58*m + 43*m + 1260 = 0. Is m a multiple of 8?
False
Let b be (-8)/(-3) - ((-10)/(-15) + -1). Suppose 0 = 2*d - 2*q - 66, -3*d - 2*d - b*q = -181. Is d a multiple of 7?
True
Let u(m) be the third derivative of 5*m**5/12 - 5*m**4/24 + 8*m**2. Is 13 a factor of u(2)?
False
Does 9 divide -13 + 19 + (-240)/(-2)?
True
Let c(y) = 4*y + 8. Let w be 10/(-35) + (-65)/(-7). Let a be c(w). Suppose -a = -2*r - 3*m + 4*m, 4*r = 5*m + 100. Does 20 divide r?
True
Suppose 16*i = 3*i + 65. Suppose 0 = -4*q - i*w + 1694, 0 = 4*q - 0*w + w - 1702. Does 64 divide q?
False
Let t be (4/(-16))/(4/(-1648)). Let h = -62 + t. Let a = 77 - h. Is a a multiple of 6?
True
Let y(m) = 15*m - 12. Let f(b) = -30*b + 25. Let a(p) = -3*f(p) - 5*y(p). Is a(6) a multiple of 15?
True
Does 7 divide 12980/15*(-16 + 19)?
False
Let b(z) = 3 + z - 1 + 1. Suppose 3*k - 8 = o, -8*k - 3*o - 3 = -10*k. Does 3 divide b(k)?
True
Let a = 39 + -36. Suppose 2*w = 8, -a*d + 24 = -2*d + w. Does 5 divide d?
True
Let i = -429 - -663. Does 26 divide i?
True
Suppose 31*a - 13*a = 47124. Is a a multiple of 22?
True
Does 45 divide (6/(-4))/((-8)/2640)?
True
Suppose 0 = m + m + 2, m - 143 = -4*k. Does 9 divide (k/(-14))/((-7)/98)?
True
Suppose -2*a + 36 = 3*g, 0 = -4*g + g + 12. Suppose -5*d = 5*o + 3995, -2*d = -5*d - 4*o - 2396. Is (-1)/(-3) - d/a a multiple of 13?
False
Suppose -4*i + 1226 = -2*w, -5*i + 3*w = 4*w - 1522. Does 36 divide i?
False
Let h(p) = -p**3 - 4*p**2 + 2*p + 11. Let q be h(-4). Suppose -7*x = -q*m - 2*x + 76, 2*m = -2*x + 56. Does 27 divide m?
True
Let g(o) = -3*o**3 - 4*o**2 + 8*o + 4. Let u be g(-6). Suppose 0 = 2*k - 7*k + u. Does 21 divide k?
False
Suppose 24*v - 120 = 12*v. Is v a multiple of 6?
False
Let d(a) = a**3 + 2*a**2 + 5. Let m be d(0). Suppose 0*n - 2 = -n. Let t = m - n. Is 2 a factor of t?
False
Let w(v) = -v**2 - 14. Let y be w(-4). Suppose 0 = 2*z + 54 - 2. Is (-2)/(z/y - 1) a multiple of 3?
True
Suppose -s - 4512 = 17*k - 20*k, 5*k - 4*s - 7520 = 0. Does 32 divide k?
True
Let j(b) = 13*b - 101. Let m be j(11). Let t be (0 - 1)/(1/(-9)). Let v = m - t. Is 11 a factor of v?
True
Let o(i) be the first derivative of -i**2/2 - 2*i - 3. Let g be o(-6). Suppose -5*b = -b, 32 = g*u - 3*b. Does 6 divide u?
False
Suppose 5*j - 6 = -t + 3*j, 5*t + 5*j = 20. Suppose -h = -0*h - 216. Does 9 divide (h/(-16))/(t/(-4))?
True
Suppose 211236 + 50955 = 97*k. Is k a multiple of 21?
False
Let f = 9 + -11. Let a be (f/3)/(2/(-12)). Suppose 93 = a*h - h. Does 8 divide h?
False
Let a(g) = -4*g**3 - 5*g**2 - 6*g + 35. Let l(q) = 5*q**3 + 6*q**2 + 7*q - 34. Let o(v) = 6*a(v) + 5*l(v). Is o(0) a multiple of 8?
True
Let p be ((-4)/(-5))/((-12)/30). Let l =