r = -24 - w. Does 14 divide r?
True
Let y(o) = -5*o - 9. Let d(h) = 4*h + 8. Let q(k) = 6*d(k) + 5*y(k). Let g = -22 - -18. Does 2 divide q(g)?
False
Suppose -4*z + 100 = 5*t, -3*t - 23 = -4*z - 83. Suppose 2*i - 33 = -n + t, -4*n = 5*i - 140. Is i a multiple of 8?
True
Let t be 8 - (0 + 4 - 8). Does 4 divide 9/t + (-735)/(-28)?
False
Suppose -18*p + 12*p = -912. Is 4 a factor of p?
True
Let z = -3 - -23. Does 13 divide z?
False
Suppose n + 715 = 6*n. Suppose 500 = -3*u - 2*u. Let p = u + n. Does 15 divide p?
False
Let r = -104 - -151. Is 24 a factor of r?
False
Suppose 5*j - 7 = 8. Suppose 5*c - 50 = 5*b, -2*b = j*c - 2*c - 4. Does 4 divide c?
True
Let l be (-18)/(-24) - 18/(-8). Let k be ((-2)/4)/((-3)/258). Suppose k = l*a - 23. Does 11 divide a?
True
Is ((-184)/(-12))/(4 - (-308)/(-78)) a multiple of 13?
True
Suppose -3*p = -7 - 29. Does 12 divide p?
True
Let w(i) = -65*i**3 - i - 1. Let z be w(-1). Let k = -11 + z. Is 18 a factor of k?
True
Let j = 96 + -156. Let u = j - -93. Is 22 a factor of u?
False
Let n be -2 + (-1 - -5) + -2. Suppose n*m = 4*m - 56. Is 14 a factor of m?
True
Suppose 4*r + 4 = 104. Let c = r - -13. Is 20 a factor of c?
False
Let g = 210 + -118. Does 17 divide g?
False
Let w = 80 + 5. Suppose -4*i = 5*o - 125, 5*o - w = 4*i - 0*i. Does 7 divide 2/((-1)/o*-3)?
True
Is 30 a factor of 4/(-2) - 1680/(-7)?
False
Suppose 3 + 2 = c, 4*c = -2*z + 32. Let s(d) = d + 1. Let b be s(z). Let g(a) = -a**3 + 8*a**2 - 4*a - 6. Is 10 a factor of g(b)?
False
Let q be 0 - -1*(3 + -3). Suppose q = -5*h + x - 4*x + 400, -2*h + 5*x + 191 = 0. Is 24 a factor of h?
False
Suppose 4*u - 1875 = r - 216, 1 = r. Suppose 5*l - 2*f = 443, 2*l + 3*l + 5*f - u = 0. Does 18 divide l?
False
Let u(z) = z**2 + 7*z - 5. Let o(f) = 2*f**2 + 8*f - 6. Let r = 5 - 2. Let h(n) = r*o(n) - 4*u(n). Is h(4) a multiple of 15?
False
Is 17 + -4 + 1 + 2 a multiple of 4?
True
Let o(h) = h**3 - 6*h**2 + 6*h + 2. Does 19 divide o(6)?
True
Suppose -6*g + 2*g = 0. Let a = g - -6. Is 13 a factor of 52*(a/(-4))/(-3)?
True
Let x(r) = -r**2 - 8*r + 8. Does 8 divide x(-8)?
True
Suppose 3*p - 15 + 3 = 0. Let l be 6/(-15) - 154/(-10). Suppose -l = -p*o + o. Does 5 divide o?
True
Let y = 35 - 23. Is 11 a factor of y + (-3 - (1 + -3))?
True
Suppose -3*z - 3*b + 243 = 0, -5*z - 3*b - 55 + 460 = 0. Is z a multiple of 27?
True
Suppose -5*n = -2*n - 51. Suppose -b = -15 - n. Is b a multiple of 10?
False
Let y be (-2)/(-10) + (-72)/(-15). Suppose -y*z = 3*p - 29, z + 0 = 4. Suppose -2*m + 55 = p*m. Does 9 divide m?
False
Suppose -3*p = -4*f + 69, -5*p = 3*f + f - 45. Does 10 divide f?
False
Suppose r = 6*r - 160. Is 18 a factor of r?
False
Suppose 3*w + 0*w = 5*j + 214, -332 = -5*w - 4*j. Is w a multiple of 19?
False
Let z = 4 + 48. Does 6 divide z?
False
Is (2 + -25 + -4)/(-1) a multiple of 9?
True
Suppose -3*x = 2*t - 627, -2*x - t = -0*x - 418. Suppose 3*m = -s - 0*s + x, 0 = -2*m - 4*s + 156. Is m a multiple of 28?
False
Let o = -31 - -14. Let m = o - -61. Does 22 divide m?
True
Is 14 a factor of 2/(-12) + (-3752)/(-48)?
False
Suppose -3 - 7 = -5*b. Suppose 11 = 3*l + b. Is (5/l)/(2/6) a multiple of 2?
False
Let p(b) = -b**2 - 9*b - 7. Is p(-6) a multiple of 4?
False
Suppose 0 = -r + 3*r + 2, 662 = 5*m + 3*r. Is 8 a factor of m?
False
Suppose -f = -0 + 1. Let y be 1 + f/(0 - -1). Suppose y = 4*m - 2*q - 54, q - 17 - 20 = -2*m. Is 16 a factor of m?
True
Let o(r) = r**3 + 6*r**2 + r + 6. Let i be o(-6). Suppose i*h - 4*h + 40 = 0. Does 5 divide h?
True
Suppose 3*s - 92 = -s. Is 6 a factor of s?
False
Suppose 2*a - 7 = 109. Suppose 0 = -2*k + 7*k - 4*l - 73, -a = -4*k + 3*l. Is k a multiple of 11?
False
Does 18 divide (144/(-60))/((-2)/45)?
True
Suppose -3*q + 10 = 2*q. Does 7 divide q - (-17 - (-1 + 1))?
False
Is 10 a factor of -14*(-10)/8*4?
True
Suppose -3*x = x - 20. Is 24 a factor of (9/3)/(x/95)?
False
Let v(r) = 2*r**3 - 2*r**2 + 2*r. Does 3 divide v(2)?
True
Suppose -2*f = f - 36. Let c = f - -36. Is 12 a factor of c?
True
Let f = -6 + 10. Let h(t) = 2*t**3 - 7*t**2 + 5*t + 2. Is 22 a factor of h(f)?
False
Suppose 7*k = 9*k. Let l be 3 - 0/1 - 0. Suppose -l*d + d + 60 = k. Does 15 divide d?
True
Let h = -38 - -79. Is h a multiple of 41?
True
Suppose 0 = 5*i - 2*i - 6. Suppose -3*q - 98 = -5*z, 4*z + 6 = -i*q + 102. Let w = 33 - z. Is 7 a factor of w?
False
Suppose 25 = -11*v + 6*v. Does 34 divide (34/v)/((-3)/45)?
True
Let k(x) be the first derivative of -x**4/4 + 7*x**3/3 - 3*x**2 - 7*x - 1. Let u be (-6)/4*(-20)/6. Is 11 a factor of k(u)?
False
Let l(g) = -g**3 + 12*g**2 - 8*g - 25. Let f be l(11). Suppose 0 = -5*n - 18 + 3. Let z = n + f. Is z a multiple of 5?
True
Suppose 0 = 9*u - 14*u + 50. Is u a multiple of 6?
False
Let z be 0*1/2*-1. Suppose z = -9*p + 4*p + 55. Let q(j) = j**2 - 9*j - 12. Does 5 divide q(p)?
True
Let c = 1 + 0. Let j(z) = -z + 1. Let p(v) = 20*v - 15. Let h(y) = 75*j(y) + 5*p(y). Is h(c) a multiple of 13?
False
Suppose 4*x - 4*o - 15 = 5*x, 2*x + 5*o + 15 = 0. Does 5 divide x?
True
Let n(r) = -r**2 - 7*r + 5. Let q = 0 + 0. Suppose -18 = -q*a + 3*a. Does 9 divide n(a)?
False
Suppose -b + 1 - 23 = 3*w, 3*w + 62 = -5*b. Let r = b - -17. Let p(t) = 4*t + 8. Is 15 a factor of p(r)?
False
Suppose 2*l - 30 - 22 = -2*b, -4*b - 2*l = -100. Is b a multiple of 5?
False
Suppose 0 = 3*d + p - 44, 0*p + 2*p + 2 = 0. Does 13 divide d?
False
Does 5 divide 1*-1*(2 + -31 + 3)?
False
Suppose -3*x = -3*t + x - 3, 5*t - 2*x = 9. Let f = t + 13. Does 16 divide f?
True
Suppose -4*u + 5*t = -0*u - 171, 3*u - 135 = -3*t. Is u a multiple of 22?
True
Suppose -5*t - 2*n + 39 = 0, -3*t = -t - 3*n - 27. Let l = 50 - t. Is l a multiple of 23?
False
Suppose 5*m - 514 + 189 = 0. Does 6 divide m?
False
Let s(l) = 4*l**2 - l - 2. Let j be (0 - 4 - -2)/1. Does 8 divide s(j)?
True
Suppose -2*x + 2*l + 0*l = -334, 5*x - 853 = -l. Does 17 divide x?
True
Let i(f) = 2*f + 6. Let v be i(3). Let s = 2 + v. Does 14 divide s?
True
Suppose 417 = 4*a - 5*r - 0*r, -2*a - 4*r = -228. Is a a multiple of 13?
False
Is (-1)/(1/4)*-5 a multiple of 5?
True
Let h(s) = s**3 + 8*s**2 - 3*s - 3. Is h(-4) a multiple of 37?
False
Let a = 2 + 0. Suppose a*p + p = 6. Is (69/p)/(8/16) a multiple of 25?
False
Let n(f) = 2*f + 135. Does 27 divide n(0)?
True
Let v(t) be the third derivative of t**6/180 + t**5/120 - t**4/6 - t**3/3 - 3*t**2. Let k(m) be the first derivative of v(m). Does 17 divide k(3)?
True
Let m(i) = i**3 - 5*i**2 + 6*i - 2. Let y be m(4). Suppose -z + y = -21. Is z a multiple of 15?
False
Let u(y) = y**2 + 5*y + 7. Let k be u(-5). Is 15 a factor of (-495)/(-7) - (-2)/k?
False
Suppose 3*z + 1 = 61. Does 20 divide z?
True
Suppose -a = -4*r + 6, -2*a + 16 = 5*r + 2. Suppose 0 = -a*g + 5*p + 15, 76 = 4*g + 2*p + 10. Does 7 divide g?
False
Suppose -4*o + 11 = -3*i + 109, 3*o - 105 = -3*i. Suppose 5*z = 36 + i. Does 10 divide z?
False
Is 15 a factor of (-1)/(-1 - ((-3222)/806 + 3))?
False
Let f(y) = y**3 - 3*y**2 + 6*y - 2. Let u = 7 - 3. Is 14 a factor of f(u)?
False
Suppose 10 - 47 = -3*l - 5*m, 24 = 2*l + 3*m. Let p be (-17)/(-3) + (-6)/l. Suppose -3*n = -4*c - 38 - 66, 0 = -p*n - 5*c + 115. Does 14 divide n?
True
Let o = 4 - 3. Does 4 divide o/(1/(3 + 4))?
False
Let f be (-12)/(-2)*5/(-3). Let v = 17 + f. Suppose 5*m + v = w, m = -3*w - m + 38. Does 4 divide w?
True
Suppose m = 5*m - 4. Let k be 2/(m + 1) - -1. Is 3 a factor of (-1 + k)*(4 - -4)?
False
Let f = -2 + 8. Let v = f + -5. Does 13 divide (-54)/((-6)/4*v)?
False
Let x(n) = -n + 12. Let z be x(6). Is 13 a factor of 58 + z + (1 - 0)?
True
Let w(x) be the third derivative of 0*x + 0 + x**2 - 1/8*x**4 + 2/3*x**3. Is w(-4) a multiple of 8?
True
Let j = -86 - -111. Is j a multiple of 25?
True
Let p = 43 - -2. Does 9 divide p?
True
Let s(w) = w**2 - w - 1. Let z(c) be the first derivative of c**4/4 + 10*c**3/3 - c**2/2 - 2*c - 1. Let k(v) = -5*s(v) + z(v). Is k(-4) a multiple of 3?
True
Let t = -122 + 174. Is 26 a factor of t?
True
Let d(l) be the second derivative of -2/3*l**3 + 0 + l**2 + l. Does 8 divide d(-3)?
False
Let a(g) = g**3 - 4*g**2 - 2*g - 2. Does 34 divide a(8)?
True
Let l(j) = -j**2 - 12*j - 10. Is 10 a factor of l(-10)?
True
Let k(u) = 3*u**2 + 3*u - 9. Let x(q) = 1. Let i(h) = k(h) + 5*x(h). Let l(w) = -12*w**2 - 13*w + 16. 