6. Is 18 a factor of r?
False
Let v = -275 + 283. Does 4 divide v?
True
Suppose 0 = -5*o + 3*o - 2*w + 756, w = 3. Does 5 divide o?
True
Let m(p) = p + 17. Let o(c) = 1. Let v(g) = -g - 5. Let z(q) = 6*o(q) - v(q). Let d be z(-4). Is 8 a factor of m(d)?
True
Let d(r) = 19*r - 151. Let f be d(10). Suppose -2*o - 17 = -o. Let u = f + o. Is 22 a factor of u?
True
Suppose -1 = -r + 6. Let g(w) = -2*w**2 + 3*w**2 - w + 15 + r*w - w. Does 22 divide g(-7)?
False
Let j be 14/4 - (-2)/4. Suppose -10*w = 23*w - 66. Suppose -w*b - 4*t - 4 = 0, -j*b - 4*t + 9*t = -57. Does 3 divide b?
False
Let l = 16 + -23. Let g be (-18)/l + (-4)/7. Is (-3 + g)*2/(-1) a multiple of 2?
True
Is 2*((-59825)/(-150) + 1/(-3)) a multiple of 84?
False
Let g(d) be the second derivative of -41*d**3/2 + d**2/2 + 2*d. Let o be g(-1). Suppose -o = -2*x - 36. Does 11 divide x?
True
Suppose -7 = -4*k + 5. Suppose -k*c = -155 + 29. Does 14 divide c?
True
Suppose 176944 = 123*u - 321944. Is 39 a factor of u?
True
Let t(f) = -21*f**3 - f - 1. Let y be t(2). Suppose -603 = 12*k + 861. Let b = k - y. Is 12 a factor of b?
False
Let c(s) = s**3 + 16*s**2 - 3*s - 18. Let x(y) = 7*y - 6. Let o be x(4). Let w = 6 - o. Is c(w) a multiple of 15?
True
Suppose 4*t = 52 + 28. Is t/(-6)*(-9)/6 a multiple of 3?
False
Let r(v) = -17*v + 7. Suppose -10 = 3*y - 2*l + 12, 4*y + 21 = l. Does 17 divide r(y)?
False
Let s(x) = 18*x + 22 + 4*x - x**3 - 40*x + 13*x**2. Does 11 divide s(11)?
True
Let l(p) = 5*p**2 + 53*p + 52. Is l(-16) a multiple of 15?
False
Let p(l) be the second derivative of -l**4/12 - 17*l**3/6 - 2*l**2 + l. Let w = 23 - 39. Is 12 a factor of p(w)?
True
Let r = -145 - -209. Is r a multiple of 32?
True
Let s(g) be the first derivative of 8*g - 9 + 1/2*g**2. Is 6 a factor of s(6)?
False
Let z(l) = -19*l + 10. Let k be z(-10). Suppose -2*i = -s - 0 + 76, 0 = -3*s - i + k. Is s a multiple of 17?
True
Let m(h) = h**3 + 20*h**2 + 21*h + 45. Is m(-12) a multiple of 45?
True
Let y = 57 + -95. Let z = 84 + 1. Let h = z + y. Is 16 a factor of h?
False
Suppose -45*p + 2010 = -40*p. Does 67 divide p?
True
Let w(z) = 59*z - 3. Let h be -3 - (8 - 4 - 8). Is 20 a factor of w(h)?
False
Suppose 157*w - 148*w - 3672 = 0. Is 8 a factor of w?
True
Let u(k) = 7*k**2 - 8*k - 1. Let c(v) be the first derivative of -20*v**3/3 + 23*v**2/2 + 3*v + 3. Let z(r) = -6*c(r) - 17*u(r). Does 3 divide z(4)?
False
Suppose -5*i - 246 = -7*i. Let o = i + -55. Is o a multiple of 15?
False
Let c(l) = -l**2 + 9*l + 15. Let q be c(10). Suppose -r - 4*v - 136 = -q*r, 0 = 2*r + 3*v - 93. Is r a multiple of 10?
False
Suppose -1099 = -v - 3*k + k, 3*v + 5*k = 3302. Is 26 a factor of v?
False
Let u = 15 - 275. Is (18/10 - 3)/(2/u) a multiple of 26?
True
Suppose 4*x + 4*j = 0, -4*x - 3*j - 18 = -7*x. Let l(k) = -2*k - 5 - 6*k**2 - k**x - 3*k + 5*k**2. Is l(-3) a multiple of 8?
False
Let o = 26 - 44. Let a be (3/(-2))/(o/96). Let j(v) = 2*v**2 - 12*v + 3. Is j(a) a multiple of 11?
False
Let j(s) = -s. Let r be j(-1). Let o be (-65)/15*(4 - r). Let a = o + 25. Is 6 a factor of a?
True
Let y(k) be the third derivative of -1/30*k**5 + 0*k + 1/24*k**4 + 1/3*k**3 + 0 - 7/120*k**6 + 6*k**2. Is y(-2) a multiple of 10?
False
Suppose a - j - 8 = 0, -2*j - 1 = 5*a - 6. Suppose a*x + 176 = 7*x. Suppose -110 = q - 6*q - 2*u, x = 2*q + u. Is q a multiple of 12?
False
Let l = -1 - -3. Suppose -l*p - 4 = -a, p + 5 + 6 = 5*a. Let d(s) = 100*s**2 - 1. Does 33 divide d(p)?
True
Let n(l) be the first derivative of -135*l**4/4 - l**3/3 + l**2 + 3*l + 10. Is 27 a factor of n(-1)?
True
Let m be (-45)/27*(-36)/2. Let h = m + -23. Suppose -689 = -h*x - 269. Is 12 a factor of x?
True
Is 33 a factor of ((-66)/4)/((-25)/300)?
True
Suppose c = 2 - 0. Suppose 8 = 3*o + c. Suppose 0 = -5*x + 2*z + 2*z + 43, 0 = -o*x - z + 25. Does 3 divide x?
False
Let a be (96/3 + -3)*(-2)/2. Let g(b) = -7*b + 3. Is g(a) a multiple of 11?
False
Is (6/(-10) + -1)*(-210)/12 a multiple of 7?
True
Let t(v) = 14*v - 2. Let k be t(7). Let q = 181 - k. Is q a multiple of 50?
False
Let n(f) = 51*f. Let p be n(1). Let t = p - 3. Is 16 a factor of t?
True
Suppose 23*s - 7 = 20*s + 2*o, -25 = -s - 5*o. Let b = 6 + -1. Suppose -3*z = s*i - 55 - 40, -b*z = 0. Is i a multiple of 6?
False
Let o = 86 - 84. Suppose 2*k + 93 = r - 3*k, o*r - 2*k = 170. Does 33 divide r?
False
Let j(s) = 4*s**2 + 10*s + 20. Does 10 divide j(-10)?
True
Let h = 6 - 4. Suppose -2*w + 4 = -x, 3*w = h*x - x + 8. Suppose -v - 2*p + x = -5, 25 = v - 2*p. Is v a multiple of 8?
False
Let c be 4*(-4 - 19/(-4)). Suppose c*z - 65 = 34. Does 3 divide z?
True
Suppose -g - 5*c = -3, 9*c = 4*c. Let w = g - 9. Is 8 a factor of 310/(-15)*w/4?
False
Suppose 6*f - 2*f + 5*z = -26, -z + 29 = -3*f. Let i(b) = b**2 + 8*b + 40. Does 3 divide i(f)?
False
Suppose -273 = -10*m + 67. Is 22 a factor of m?
False
Let v(a) = 8*a - 5. Let b(f) = 24*f - 14. Let g(c) = 6*b(c) - 17*v(c). Let h = 2 - -1. Is 7 a factor of g(h)?
False
Let a(o) = 1 - 4 + 0 - 6*o + 4. Let d(w) = 5*w - 1. Let q(n) = -4*a(n) - 3*d(n). Does 15 divide q(4)?
False
Let w = -99 - -95. Is (-51)/(-68) - 377/w a multiple of 11?
False
Is 4 a factor of -4 - (-4 + 4) - -718?
False
Let l(o) = 12*o - 4. Let g be l(-3). Is (-14)/4*g/14 a multiple of 9?
False
Let c(x) be the second derivative of -x**4/12 - 2*x**3/3 + 2*x**2 - x. Is 2 a factor of c(-4)?
True
Let x = -325 + 509. Does 23 divide x?
True
Let s(v) be the third derivative of v**6/180 + v**5/120 - v**4/24 - 5*v**3/6 + 3*v**2. Let a(u) be the first derivative of s(u). Is a(5) a multiple of 18?
True
Let h(y) = -y**2 + 4*y + 8. Let v be h(11). Let f = 84 + v. Is 6 a factor of f?
False
Suppose -2*x - i = 3*x - 14, 4*x + 5*i - 7 = 0. Is 17 a factor of x*(1 - 15)/(-2)?
False
Suppose 0 = -4*r + 11 + 1. Suppose -2*n + r*n = 186. Does 41 divide n?
False
Let v be (-3)/(-9) - (1 - (-512)/6). Is 45 a factor of (3 - v) + (-2 - -5)?
False
Let h(w) = 6*w**2 - 16*w - 3*w**2 - 4*w**2 - 19. Suppose 0 = -2*d - 6*s + 4*s - 36, 49 = -3*d - 2*s. Is h(d) a multiple of 5?
True
Suppose 35*p = 40*p - 5*g - 5235, 4*g - 4220 = -4*p. Does 57 divide p?
False
Let z(g) = -g**3 + 5*g**2 - 4*g + 2. Let m be z(4). Suppose -m*n + 60 = 2*n. Is 2 a factor of n?
False
Is 12/2 + (2994 - 0) a multiple of 12?
True
Let w(z) = 10*z**2 - 17*z + 1. Is w(-7) a multiple of 15?
False
Is 72 a factor of 7845/6*(-7)/(420/(-24))?
False
Let p(x) = -44*x - 7. Let w(y) = y. Let g(c) = -p(c) - 2*w(c). Does 19 divide g(3)?
True
Let j(x) = -4*x + 52. Suppose 0 = -18*t + 23*t + 75. Is 7 a factor of j(t)?
True
Suppose 3*s - 190 - 158 = 0. Let f = s + -76. Does 5 divide f?
True
Let f be (-8)/(-6)*21/7. Suppose -m + 6 - f = 0. Suppose m*i = 56 - 20. Is 6 a factor of i?
True
Suppose -2*h = g - 360, 0 = -0*h + 2*h - 6. Suppose -6*i + 1650 = g. Is 27 a factor of i?
True
Suppose -105*m + 98*m + 42 = 0. Let q(i) be the third derivative of 5*i**4/24 - 7*i**3/6 + i**2. Is 7 a factor of q(m)?
False
Let k = 107 - 102. Suppose -7*w - k = -8*w. Is 2 a factor of w?
False
Let c(z) = z**3 - 10*z**2 + 10*z - 12. Let u be c(9). Is 31 a factor of (2/4)/(u/(-186))?
True
Let f = -10 + 15. Let z be (-5 + 0)/(19/5 - 4). Suppose -g = g + 4*c - 24, 3*g - f*c - z = 0. Is g even?
True
Suppose 2*f - 6*f = 3*z - 163, 2*z = 4*f - 178. Suppose 4*t - 216 = 2*y, 3*t = 4*t + 5*y - f. Is t a multiple of 16?
False
Let b(w) = -w**3 - 23*w**2 - 23*w - 8. Let t be b(-22). Suppose 115 = -9*c + t*c. Does 20 divide c?
False
Let p(h) = -5*h**3 - h**2 + 2*h + 6. Let v be p(-3). Let f = 12 - v. Let m = -64 - f. Does 10 divide m?
True
Let s be 27/(-36) - (-1)/(-4). Let k = 5 + s. Suppose -k*n + 2*q = -30, -3*q = 5*n - 7*q - 42. Is 3 a factor of n?
True
Let l = -190 + -187. Let v = l - -113. Does 5 divide v/(-27) + 2/9?
True
Does 35 divide 478*((-12)/(-18))/(12/9)?
False
Let u(g) = 2*g**2 - 21*g + 10. Let z be u(15). Suppose 26*n - z = 21*n. Does 10 divide n?
False
Suppose -40*m = -39*m + 127. Let h = m - -215. Is 11 a factor of h?
True
Let n = -789 + 1285. Is 15 a factor of n?
False
Suppose i + 2*c - 77 = 0, 5*c = -4*i + c + 288. Is i a multiple of 14?
False
Suppose 0 = 2*i + 2*i + 2*a - 196, -4*a = i - 42. Is (-10)/i - 1282/(-10) a multiple of 38?
False
Let m(v) = v**3 - 6*v**2 - 2*v + 12. Let r be m(9). Suppose 0 = 5*n - 243 - r