5). Is 8 a factor of (l/(-3))/(2/24)?
True
Let l = -4 - -4. Suppose l*x + 43 = x. Is 11 a factor of x?
False
Suppose -4*x + 2*x = 3*n - 81, 231 = 5*x - 2*n. Let t = x + -31. Is t a multiple of 7?
True
Suppose -4*k + 3*k + 5 = 0. Suppose 4*y + 4*r = 152, 0*r + k*r = 4*y - 134. Is y a multiple of 12?
True
Let q(w) = 5*w**3 - w**2. Suppose 2*u = -u - 3*l + 18, 0 = 2*u + 3*l - 17. Let h be q(u). Suppose -g - 12 = -h*g. Is 2 a factor of g?
True
Let n(u) = u**2 + 3*u - 5. Let z be (-4)/18 + 86/(-18). Let m be n(z). Suppose m*g - 2*g - 9 = -3*j, 0 = -4*g + 2*j + 18. Does 4 divide g?
True
Suppose 4*p = -j - 7, -2*j + p + 13 = -0*p. Suppose 5*x = j*s - 150, 2*x + 160 = 4*s + 6*x. Does 7 divide -3*(-2)/15*s?
True
Let b be 54/12*52/6. Suppose -4 = 5*l - b. Does 3 divide l?
False
Suppose -4*c - m = 4*m, 3*c - 35 = 5*m. Suppose -r - 32 = -c*r. Is 4 a factor of r?
True
Suppose -5*k + 8 = -42. Suppose -2*t - 28 - k = 0. Let q = t + 27. Is 4 a factor of q?
True
Let q(m) = 7*m**2 - m + 2. Is 7 a factor of q(2)?
True
Let p be (-49)/14 - (-6)/(-4). Let y = p - -5. Let q(m) = -m + 36. Is q(y) a multiple of 13?
False
Does 31 divide (14/10 + -1)*(-4 - -619)?
False
Suppose -4*i + 183 = 3*g, 2*i - 123 = 2*g - 35. Does 15 divide i?
True
Does 7 divide (8/(-5))/(10/(-100))?
False
Let j be (-3 + 14/4)*28. Does 4 divide 21/j*(-20)/(-6)?
False
Suppose 3*g - 3*s = -0*s - 3, 0 = 4*g - 5*s. Let x = 17 + g. Is 6 a factor of x?
True
Suppose 4*s + 0*s - 60 = 0. Is 5 a factor of s?
True
Suppose c = -3*s - 12, -4*c + 3*s = -2*s - 20. Suppose 2*b + b - 9 = c. Suppose -b*f - 105 = -8*f. Is f a multiple of 21?
True
Suppose 2*r - 33 = -4*k - 3*r, 0 = -k + r + 6. Let y be (-20)/((-3)/(30/(-4))). Let n = k - y. Is 19 a factor of n?
True
Is 6 a factor of (3 - 0 - (0 + 2))*17?
False
Let p(v) = -v**3 + v + 14. Let o be p(0). Let t = 29 + -29. Suppose t*j = -2*j + o. Does 7 divide j?
True
Suppose -b - 3*b - 596 = -4*s, -5*b + 270 = 2*s. Is 29 a factor of s?
True
Suppose 0*p + 4*p = -8, 0 = 3*d - p - 80. Does 7 divide d?
False
Suppose 7 = 2*h - h. Does 7 divide h?
True
Let a(g) = g**2 - 2*g + 1. Let r be a(3). Suppose -2*j + 75 = 5*w - 45, 5*w + r*j - 130 = 0. Is w a multiple of 22?
True
Let c(l) = -l**3 - l**2 - l + 2. Let x be c(0). Suppose 2*j = -x*j + 48. Is 12 a factor of j?
True
Let h be (-30)/9*12/(-10). Suppose -28 = -h*n + 44. Is n a multiple of 14?
False
Suppose -3*b - 5*s = b + 33, 5*s = -5*b - 35. Let n be (-100)/(-45) + b/9. Suppose 3*t - n*r - 16 = 0, 2*t + r - 13 = -0*r. Is 5 a factor of t?
False
Let s(w) = w**2 + 6*w + 6. Let o be 4/(5/((-15)/2)). Is 6 a factor of s(o)?
True
Let u be 84/(-18) - 2/(-3). Let z = -4 + u. Let k = z + 11. Does 2 divide k?
False
Suppose 0 = -2*v + 3*j + 7, 3*j + 7 + 8 = 3*v. Let r(w) = -4*w - 7. Let m be r(v). Let b = m - -55. Does 8 divide b?
True
Let p be (-4 - -5)/((-2)/2). Let v(c) = 164*c**2 - c. Let s be v(p). Suppose 5*x - s = -25. Is x a multiple of 14?
True
Suppose 0 = -6*w + 9*w - 699. Suppose -2*n - w = -3*f - 4*n, 0 = -2*f - 2*n + 158. Suppose -d - 2*d = -2*q + f, 174 = 5*q - 3*d. Is 11 a factor of q?
True
Let c(g) = g**3 - 7*g**2 + g - 5. Let w be c(7). Suppose 0*s = w*s - 6. Suppose -s*l - l = 3*n - 42, 0 = -3*n + 3*l + 42. Does 7 divide n?
True
Suppose x = 3*x. Let u(f) = 2*f - 1 + 6*f**2 + 0*f + x - f**2. Is 11 a factor of u(2)?
False
Is 84/105 - 16/(-5) a multiple of 3?
False
Suppose -10 = -3*y - 2*y. Suppose x - 3 = -0*x + 4*l, -y*l = -2. Does 3 divide x + 0 - 4/4?
True
Let l be (-68)/(-18) + (-2)/(-9). Suppose -c + l*c = 21. Is c a multiple of 3?
False
Let q = 71 + -27. Suppose v + 17 = q. Is 18 a factor of v?
False
Let x(t) = t**3 + 7*t**2 - 7*t + 7. Let o be x(-7). Let h = -39 + o. Is 17 a factor of h?
True
Suppose -2*w = g - 533, g - 109 - 689 = -3*w. Is 23 a factor of w?
False
Suppose 0 = -2*b + 13 - 5. Does 4 divide b?
True
Let s(x) = x**3 - 4*x**2 - 5*x + 4. Let n be s(5). Suppose 0 = n*b + 1 - 113. Suppose a = 3*a + 3*p - b, a + 4*p - 19 = 0. Is 5 a factor of a?
False
Suppose -t - 40 = 3*m, -4*m - 5*t + 0*t - 46 = 0. Let d be m/(-6) - (-2)/3. Let n = 7 - d. Is 4 a factor of n?
True
Suppose 4*f + 2*z + 196 = 0, 2*f + 5*z = -3*f - 235. Let p = 36 + f. Is 4 a factor of (-6)/p + (-99)/(-15)?
False
Let a(z) = -z**3 - 13*z**2 - z + 1. Does 2 divide a(-13)?
True
Let c(z) = 2*z + 14. Let o be c(-10). Let x = o - -37. Is x a multiple of 16?
False
Let l = 10 - 5. Let a(r) = r**3 - 4*r**2 - 3*r + 5. Is 15 a factor of a(l)?
True
Suppose 0 = -3*v - 3*c + 9, v + 5*c = 3 + 4. Let t = v + 2. Does 4 divide t?
True
Suppose 2*c - 168 = u, 4*c + 6*u = 5*u + 336. Does 14 divide c?
True
Let w(m) = -m**3 + 3*m**2 + 5*m. Let u be w(4). Suppose 0*c + 144 = u*c. Does 22 divide c?
False
Let i = 213 - 105. Suppose -2*k - i = -4*k. Is 20 a factor of k?
False
Let o be (-321)/(-4) + 2/(-8). Suppose -5*c - b + o = -54, 3*c - 77 = -4*b. Is c a multiple of 9?
True
Suppose -3*x - 10 + 71 = 4*q, -q - x + 15 = 0. Does 4 divide q?
True
Let z(i) be the second derivative of 4*i - 3/2*i**3 + 2/3*i**4 + 0 + i**2 - 1/20*i**5. Does 10 divide z(6)?
True
Let z(v) = v**2 + 7*v + 6. Let j be z(-4). Let s(a) = -a**3 - 5*a**2 + 3*a + 2. Is s(j) a multiple of 10?
True
Let i(u) = -u + 4. Let o be i(4). Let q be o - ((-2 - 46) + -2). Suppose -q = -5*v - 5. Is v a multiple of 4?
False
Let z(d) = -8*d + 3. Let u be z(-3). Let h be u/5 + (-8)/20. Is 0 - (-14)/(-3 + h) a multiple of 7?
True
Let f(b) = 15*b - 28. Does 22 divide f(5)?
False
Let c(n) = -2 + 2 - 5 - n + 0*n. Let u be c(-5). Suppose u*y = -5*y + 295. Is y a multiple of 15?
False
Let m = 6 - 3. Let d = 3 + m. Is d a multiple of 6?
True
Let b be (-1)/(15/(-7) - -2). Suppose -b = -g + 1. Suppose -80 + g = -4*l. Is l a multiple of 13?
False
Suppose -2*q = -0 + 6. Let u be (q/2)/((-2)/(-4)). Is 38/2 - (-3)/u a multiple of 9?
True
Let b(k) be the first derivative of k**4/4 + 5*k**3/3 + k**2 + 5*k - 1. Suppose 10 - 2 = -2*c. Does 13 divide b(c)?
True
Let g = -23 - -49. Does 26 divide g?
True
Is (65 - 2) + 0 + (-3 - -2) a multiple of 11?
False
Let d be ((-9)/(-6))/((-1)/(-4)). Suppose 3*s - 4*k - 4 = 0, d*s - 5*k = s. Let w(j) = 2*j**2 + 6*j + 5. Does 5 divide w(s)?
False
Let a(x) = -x**2 - 1. Let d(y) = 3*y**2 + y + 5. Let i(w) = -5*a(w) - d(w). Is 16 a factor of i(5)?
False
Let b be ((-8)/3)/(6/(-18)). Let i be (-4)/14 + (-107)/(-7). Let h = i - b. Is 3 a factor of h?
False
Let b = -70 + 118. Suppose x - b = -x. Does 15 divide x?
False
Let m(o) = 30*o + 1. Let p be m(2). Suppose 0 = 3*g + p - 193. Suppose -3*y + 5*w = -27, 4*y - g = -w + 5*w. Does 14 divide y?
True
Let f(d) = -d**2 + 13*d - 15. Is 2 a factor of f(7)?
False
Let s = 787 - 495. Is s a multiple of 46?
False
Suppose 4*t - 4 = -4*j, -4*t + 13 = -3*t - 5*j. Suppose 24 = -q + t*q. Does 6 divide q?
True
Suppose 21*g - 26*g = -110. Is g a multiple of 11?
True
Let j(h) = 10*h - 6. Is 9 a factor of j(2)?
False
Suppose 0 = -2*p - p + 477. Let z be (-2)/(((-9)/p)/3). Suppose 4*d - z = 2*w, d + d + 3*w = 49. Does 11 divide d?
False
Let o be (-3)/(-4)*(-1 + 21). Suppose -4*w = -8, 3*b - 2 = -3*w + 1. Does 11 divide (-18)/o*25*b?
False
Let t(w) = -w**2 + w + 10. Let s be t(0). Suppose -s = 5*b, -4*b = 4*a + b - 6. Is ((-75)/10)/((-3)/a) a multiple of 10?
True
Suppose -c = -4*c + 144. Suppose -y + 4*y = -3*w + c, -w = -4*y + 49. Is y a multiple of 13?
True
Let o = 52 + -5. Does 12 divide o?
False
Let j(x) = -2*x + 6. Let p = -5 + 10. Let w(z) = -2*z + 7. Let s(q) = p*j(q) - 4*w(q). Is 4 a factor of s(-4)?
False
Suppose 0*q = -5*q + 210. Does 6 divide q?
True
Suppose -5*d + 229 = -541. Suppose -5*p - 3*g + d = -119, 65 = p - 2*g. Is p a multiple of 17?
False
Does 7 divide (-13 + -1)/((-1)/2)?
True
Suppose -198 = 2*l - 5*l. Is l a multiple of 11?
True
Let i = -18 + 10. Is 15 a factor of (-5*2)/(i/36)?
True
Suppose -3*r = -5*r - 2*y + 126, -2*y = -3*r + 179. Is r a multiple of 12?
False
Let w = -36 + 12. Is 9 a factor of (w/(-20))/((-1)/(-15))?
True
Suppose 4*w + 2*v - 16 = -0*v, -v = 3*w - 11. Let x(s) = 7*s**2 - 2*s - 3. Is 18 a factor of x(w)?
True
Let f(w) = w + 7. Let r be f(-10). Let n = 1 - r. Does 2 divide n?
True
Let v = 157 - 90. Is v a multiple of 19?
False
Suppose 84 = 5*z - 0*i - i, 12 = -3*i. Is z even?
True
Suppose -3*p - r - 110 = 0, -r = -4*p + r - 140. L