4. Let w(z) = 11*r(z) - 2*s(z). Let x be (28/21)/((-2)/6). Does 4 divide w(x)?
True
Suppose 0 = -5*k - i + 3*i + 2, -4*k - 8 = -4*i. Suppose 5 = -k*b + 29. Is 219/b - (-1)/(-4) a multiple of 9?
True
Let g be 4/22 - (-12864)/(-88). Let j = -80 - g. Suppose -s - 99 = -0*c - 3*c, -5*s = -2*c + j. Is c a multiple of 11?
True
Let o(t) = -3*t**3 - 3*t**2 - 3*t - 2. Let k be o(-2). Let f = -7 + k. Let j = 16 - f. Is 2 a factor of j?
False
Let m be (8/(-12))/(1/(-246)). Is 8/(-36) + m/9 a multiple of 6?
True
Suppose 0 = -c - 1, -t - 72 = -3*t + 4*c. Suppose -o - 2*o + 2*x = -56, t = 2*o - 2*x. Is o a multiple of 22?
True
Suppose 0 = -4*g + 4*x + 20, -g - 3*g + 5*x + 19 = 0. Is g even?
True
Let r(v) = -v**2 + 9*v + 2. Is r(5) a multiple of 7?
False
Suppose 3*r - 6 = r. Let s be (r - (-89)/(-2))*-2. Suppose 4*y + n = 2*n + s, -63 = -4*y + 5*n. Does 6 divide y?
False
Let z be (-900)/(-16) + 1/(-4). Suppose z = 5*s - 3*s. Is 14 a factor of s?
True
Suppose -2*z + 7 = t, 3*z = -4*t + 5 + 3. Suppose -45 = -5*p + 3*g, -4*g + 9 = 5*p - z*p. Does 9 divide p?
True
Let a be 6/(-2) - -1*5. Suppose -a*y + 3*y = -6. Does 8 divide ((-3)/y)/(3/72)?
False
Let g(h) = 6*h**3 + h**2 - 1. Let p be g(-1). Let x = p + 8. Is (90/3 - x) + 1 a multiple of 18?
False
Suppose 0 = 7*h - 2*h - w - 57, -5*h - 4*w = -72. Does 4 divide h?
True
Let w(l) = -l**2 - 4*l - 3. Let d be w(-3). Suppose d*o = 4*o. Suppose -m + 5*v = -29, 5*m + o*v = 2*v + 145. Does 13 divide m?
False
Suppose 5*i - 44 = -r, 0 = -i - 2*r + 4*r. Is i a multiple of 2?
True
Let c(z) = -z**3 - z**2 - 3. Let t = 1 - 4. Does 8 divide c(t)?
False
Let o(c) = -c**2 - 1. Let x be o(-1). Is 15 a factor of 174/6 + (-1 - x)?
True
Let u(f) be the second derivative of -f**5/20 - f**4/4 + 7*f**3/6 - f**2/2 - 2*f. Does 11 divide u(-5)?
False
Let i(h) = 7*h - 1. Is 13 a factor of i(7)?
False
Suppose -12 = -3*h + 3. Suppose -p - 2*z = 0, h*p - 3 = 3*p - 3*z. Is (p/(-4))/(3/(-10)) a multiple of 4?
False
Let x(l) = 0*l + 11 + l - 2*l. Suppose -4*k = -k. Does 3 divide x(k)?
False
Suppose -4 = 4*z, -5*i + 4*z = -0*z + 56. Let n = i - -18. Is n a multiple of 6?
True
Does 17 divide ((-102)/(-5))/((-4)/(-10))?
True
Suppose 3*w + 3 = 2*w + 4*h, -5*h + 24 = w. Let z be (-1 - -2)/(3/w). Suppose -z*d + 14 = m, 4*m + 5*d = 2*m + 28. Is 7 a factor of m?
True
Let l(u) = u**3 + 16*u**2 + 14*u + 7. Does 12 divide l(-15)?
False
Let u(p) = -p**3 - 2*p**2 + 4*p + 1. Let x(f) = -f**2 - 4*f + 8. Suppose 2*s = -4*q - 7 - 15, -2*q - 10 = 2*s. Let k be x(q). Is u(k) a multiple of 6?
False
Let w = 2 - -6. Is 2 a factor of w?
True
Suppose 2*k + 674 = 4*d, -d + 4*k = -4*d + 500. Is 12 a factor of d?
True
Let k = -52 - -75. Let v be k/(-7) - (-2)/7. Does 19 divide 34 - 1/(v - -2)?
False
Suppose -1 + 13 = 4*o. Suppose 2*p = o*y, -22 = -p - 3*p - 5*y. Suppose -p*n + 2*n = -28. Is n a multiple of 13?
False
Let z(y) = -3*y**2 - 3*y - 8. Let p(s) = -s - 1. Let w(l) = 6*p(l) - z(l). Is 8 a factor of w(2)?
True
Suppose -o + 22 = 2*z, 4*o = 6*z - z + 49. Is 4 a factor of o?
True
Let t(z) be the second derivative of -z**3/3 - 3*z**2/2 - 2*z. Let u be t(-4). Suppose -u*g = -g - 32. Does 8 divide g?
True
Let o = 13 + -8. Let r = -12 + 21. Let v = r - o. Does 2 divide v?
True
Let c = 3 - 1. Suppose c*m = -0*m + 44. Is m a multiple of 14?
False
Suppose -8*o - k = -3*o + 145, -5 = k. Let v = o - -73. Is v a multiple of 21?
False
Let w(f) = 3*f + 14. Let m = 6 + 8. Does 14 divide w(m)?
True
Let c(n) = 2*n + 9. Let y(j) = j. Let k(z) = c(z) - y(z). Is 16 a factor of k(7)?
True
Let c(i) = -2*i**2 + 12*i + 6. Let z be c(6). Let s(o) = -3*o**2 + o**2 + 3*o**2 - 4*o + 9. Is 7 a factor of s(z)?
True
Suppose 4*o = 2*o + 6. Suppose -o*a - 25 = -4*a. Is 12 a factor of a?
False
Let x(g) = -3*g**3 - 5*g - 41. Let v(k) = 2*k**3 + 3*k + 27. Let f(d) = -8*v(d) - 5*x(d). Let u be f(0). Let r = -5 - u. Does 3 divide r?
True
Let v be 3 - 3 - (0 - 0). Suppose 4*p + f = 3, 5*f = -p - v*p + 15. Suppose -2*u = 2*x - 22, -2*x + p = 2. Does 12 divide u?
True
Suppose 5*v - 13 + 3 = 0. Suppose -13 - v = -q. Does 15 divide q?
True
Let m(u) = -u**3 + 9*u**2 + 12*u + 1. Let a be m(10). Suppose -3*n + a = y + 9, -3*y = 3*n - 36. Does 6 divide y?
True
Let z = -259 + 390. Is z a multiple of 44?
False
Let b(r) = -r**3 - 10*r**2 + 31*r - 2. Is b(-13) a multiple of 11?
False
Suppose 1 = -z + 4. Suppose 6 = 3*y - 2*u, y = 2*u - 3*u - z. Suppose -5*l + 3*v + 64 = 0, -2*l + v + 30 - 5 = y. Is l a multiple of 11?
True
Let g = 15 - -195. Suppose g = 6*q - q. Is q a multiple of 21?
True
Does 12 divide (-28)/98 - (-422)/7?
True
Let u(d) = -d**3 + 5*d**2 - 2*d - 4. Let z be u(4). Suppose -h - h = -8, -z*w + 44 = -h. Does 3 divide 2/(2 - w/9)?
True
Suppose 0 = -7*v + 4*v + 12. Suppose 10 = v*k + 2*j, -3*j = -5*k - 12 - 3. Suppose s + 3*l = k, l + 35 = 5*s + 3. Is s a multiple of 6?
True
Suppose 6*i - 5*r = 2*i + 284, 0 = -r - 4. Is i a multiple of 11?
True
Let q be (9/(-6))/((-6)/20). Suppose 5*w - 4 = -4*g, 0*g - 3 = -3*g - q*w. Let n = 2 + g. Is 3 a factor of n?
True
Let q(r) = 4*r - 4. Let g be q(3). Is 20 a factor of g/(-10)*95/(-2)?
False
Let s = -24 + 44. Does 4 divide s?
True
Let l = 15 + -11. Suppose -t - 31 = -x - l*t, 21 = x + t. Is 4 a factor of x?
True
Suppose -y - 3*n = 2*n + 16, y - n - 2 = 0. Let l be 8/(-4) - 4*7. Does 17 divide ((l/1)/y)/1?
False
Let t be (10/(-5))/((-1)/4). Does 24 divide t/(-12)*3*-12?
True
Does 18 divide 12/(-8)*(-196)/6?
False
Let k(g) = -4*g**2 - 11*g - 9. Let n be k(-11). Is n/(-14) + (-54)/(-126) a multiple of 21?
False
Let i(n) = 2*n - 10. Let a be i(6). Does 10 divide 21*a*4/4?
False
Suppose -x + 0*x - n - 1 = 0, 0 = 5*n + 15. Suppose -x*t + 120 = t. Is t a multiple of 14?
False
Let a be (-2)/10 - (-28)/(-10). Let n(h) = 5*h**2 - 1. Does 15 divide n(a)?
False
Let c(o) be the second derivative of o**4/4 - o**3/3 + 3*o**2/2 + o. Let a(x) be the first derivative of c(x). Is a(4) a multiple of 18?
False
Let n(g) = 2*g**2 + g - 1. Let y be n(-3). Let h be (8 - 1)*(-12)/y. Let l = -1 - h. Is l a multiple of 5?
True
Suppose 4*s - 3*q = 10, s + s = -q. Let a(n) be the first derivative of 11*n**4/4 - n**3/3 - n**2/2 + n - 10. Is 5 a factor of a(s)?
True
Let p = -307 - -650. Is p a multiple of 56?
False
Let f(d) = 0*d + 5*d + 4*d**2 - 2*d**2 - 2. Suppose -5*i - 20 = -0*i. Is 5 a factor of f(i)?
True
Let t(b) = -b**3 + 9*b**2 + 7*b + 18. Does 19 divide t(9)?
False
Suppose 495 = 43*s - 40*s. Does 33 divide s?
True
Let m(d) = 5*d + 12. Does 13 divide m(7)?
False
Suppose -2*l + 925 = 3*l. Suppose 5*g - 15 = 0, -4*g = 5*m + g - l. Does 11 divide m?
False
Let y = 1 - 2. Let g be 1/((-3)/(2 - y)). Is (-2)/g + 0 + 24 a multiple of 13?
True
Let r(i) = -i**2 + 2*i + 11. Let c be r(-9). Suppose 0 = 2*x + 2*j + 54, -8*x + 4*x + j = 123. Let u = x - c. Is 23 a factor of u?
False
Let g be 1/(-3) + (-15)/9. Let h(n) = 2*n**2 - 5*n - 2. Is h(g) a multiple of 5?
False
Let d = 0 - -3. Suppose -d*x - 90 = -3*j - 6*x, -126 = -4*j - x. Does 13 divide j?
False
Suppose -2*u - 4 = -u. Let f = 3 - 0. Is (-102)/4*u/f a multiple of 13?
False
Let g be -2*((-45)/6)/3. Suppose 5*k + t = 109, -8 + 133 = g*k + 5*t. Does 21 divide k?
True
Let z(j) = j**2 - j. Let f be z(3). Let u be 3/((-1)/(-4)*f). Suppose 4*o - 50 = -u*h, -5*o + 179 - 54 = 5*h. Is h a multiple of 10?
False
Let z = 5 - -12. Is 12 a factor of z?
False
Let g(p) = p**3 - 6*p**2 + 6*p - 7. Let k be g(5). Is (2 - -2)/(-4)*k even?
True
Suppose 13 = -2*m - 7. Let f = -20 - -42. Let y = f + m. Is y a multiple of 12?
True
Let h(d) = d**2 + 11*d - 9. Let r be h(-10). Let f = 40 + r. Does 7 divide f?
True
Suppose -53 = 8*p - 269. Does 3 divide p?
True
Let i(f) = f**3 + 54. Let p be i(0). Suppose -2*v - v - 3*k + p = 0, 4*v + 3*k = 72. Is 9 a factor of v?
True
Let n(v) be the second derivative of 2*v**3 + 4*v**2 - 2*v. Does 14 divide n(4)?
True
Let c be 2/4*(4 - 4). Suppose c = 3*l - l - 18. Is 5 a factor of l?
False
Is 25 a factor of (340/30)/((-2)/(-24))?
False
Is 12*-8*6/(-9) a multiple of 24?
False
Let u = -1 - -5. Does 14 divide 2/u - 582/(-12)?
False
Suppose 5*h = 2*k - 35 + 2, 3*k - 4*h - 46 = 0. Is k a multiple of 4?
False
Let l(j) = j. Let k be l(2). Suppose -77 = -k*n + n - 5*m, -3*m = n - 67. Suppose -3*b + n = b. Is b a multiple of 9?
False
Le