+ -9)/(2 - 4). Suppose -4*l + 152 + 88 = j. Is l a multiple of 16?
False
Let b(c) = c**2 + 5*c - 22. Let t be b(-10). Suppose 13*y = 14*y - t. Let k = y - 7. Does 20 divide k?
False
Let w be (-4)/(-10) - 321/15. Let o be 16/6*w/(-2). Is (-39)/(-4) + 7/o even?
True
Let t = -1233 + 2495. Is t a multiple of 24?
False
Let c be -1 + 0 + (-750)/(-10). Suppose 0 = -7*h - 25 + c. Is 5 a factor of h?
False
Suppose 0 = -4*t + p - 6*p + 16, -2*t + 3*p = -8. Suppose -293 = -t*v - u, 3*u - 303 = -3*v - v. Suppose -c - c + v = 0. Is 12 a factor of c?
True
Let d(j) = -2*j**2 - 7*j - 18. Let u be d(-5). Let l = u + 41. Is 2 a factor of l?
True
Let h(l) be the first derivative of -18*l**2 - 35*l + 39. Is h(-5) a multiple of 10?
False
Let u(n) = 3*n**3 - 3*n - 2. Let h be u(-1). Let r(v) = -6*v. Is 4 a factor of r(h)?
True
Is 41 a factor of -4 - -231 - (1 - -1)?
False
Suppose z + r + 51 = 2*z, -223 = -5*z - 3*r. Is z a multiple of 4?
False
Let m(n) be the third derivative of -n**6/120 - n**5/4 - 13*n**4/24 - n**3/6 + 3*n**2. Is 28 a factor of m(-15)?
False
Is (48/30)/((-12)/(-15750)) a multiple of 150?
True
Let x = 739 - 274. Does 9 divide x?
False
Let g(j) = j - 4*j + 32 + 10 - j. Is g(5) a multiple of 22?
True
Let a be 1*(2 - 0)*-3. Let y be (2/a)/(7/(-63)). Suppose -d = g - 29, 0 = y*g + d - 65 - 28. Does 10 divide g?
False
Let t(d) = -2*d**3 - 10*d**2 + 6*d - 24. Is 4 a factor of t(-10)?
True
Is 18 a factor of 14550/20 - 9 - (-2)/4?
False
Suppose 6*d - 280 = -d. Is 5 a factor of 7 - 3 - 5 - (1 - d)?
False
Let t(k) = 7*k**2 - 89*k - 344. Is 62 a factor of t(-4)?
True
Suppose -132*b + 137*b = 2675. Is 42 a factor of b?
False
Suppose -3*h + 4*c = -2008, -3*h + 8*c + 2043 = 11*c. Does 17 divide h?
False
Let n(v) = -v**3 - 4*v**2 + 6*v + 11. Let z be n(-5). Is -2*3/z + 50 a multiple of 7?
True
Let h be ((-25)/20)/(4/(-32)). Let c = 383 - 178. Suppose 5*w = h*w - c. Is 12 a factor of w?
False
Suppose 4*j + z - 18 = 0, 4*j + 3*z = -0*z + 22. Suppose -2*d + 6*d = -j*y + 4, -5*y = -25. Is 15/5 - d*11 a multiple of 14?
False
Does 74 divide -9 + 15 - (3 - 1888)?
False
Let u(h) = h - 13. Let p be u(15). Let v be 3*-2*p/(-12). Is 4 + -2 - (-67)/v a multiple of 23?
True
Let j = -46 - -83. Let x = j + -32. Suppose 0 = -x*t - 4*f + 53, t - f - 28 = -12. Does 8 divide t?
False
Let h(w) = -w**3 - 21*w**2 + 44*w - 18. Is h(-23) a multiple of 4?
True
Let x(t) = -36*t + 1725. Is x(0) a multiple of 75?
True
Let p be -4*((-196)/(-8) - 1). Let z = 4 + p. Let h = z - -159. Is h a multiple of 23?
True
Let p(f) = f**3 - 3*f**2 - 3*f - 12. Let c be p(8). Suppose z = -140 + c. Is z a multiple of 16?
True
Let r(q) = q + 37. Let p be r(0). Suppose -i - h + p = 3*i, 3*h - 39 = -3*i. Does 2 divide i?
True
Let l = -16 + 14. Let i be l/5 - 3817/(-55). Suppose 0 = 3*q - i - 27. Does 8 divide q?
True
Suppose 7*y - 5 = -26. Is 14 a factor of y/(-24)*4*2*133?
False
Suppose 21 = -6*j + 33. Suppose z = -n + 310, j*n - 4*z - 347 - 273 = 0. Does 31 divide n?
True
Suppose 42*r = -30*r + 18072. Is r a multiple of 3?
False
Suppose 3*w = 2*b - 3*b + 82, -20 = 4*b. Let d = -18 + w. Is 2 a factor of d?
False
Let m = -3 - -8. Suppose -44 = -4*d + m*q, q - 22 = -5*d - q. Let l(k) = 2*k**2 - 11*k + 14. Is 10 a factor of l(d)?
True
Suppose -5*i - k = -9499, -8*k - 12 = -11*k. Is 24 a factor of i?
False
Does 7 divide 4/((-8)/3)*9088/(-48)?
False
Does 48 divide 55/(-66) - 4618/(-12)?
True
Let w(b) = 16*b + 7*b - 7*b - 1 - 8. Let d(a) = 4*a. Let j be d(1). Is 15 a factor of w(j)?
False
Let n be ((-52)/12 - -4)*-24. Suppose -1 = x + n. Let k = 45 + x. Does 8 divide k?
False
Let r = 2869 + -1530. Is 13 a factor of r?
True
Let j(m) = -2*m**2 + m - 6. Let h(b) = -2*b**2 - 6. Let g(f) = -6*h(f) + 7*j(f). Let c be g(5). Does 7 divide 1*(-1 - c - -1)?
True
Suppose -5*c = 3*l + 9, -1 = 3*l + 3*c + 2. Suppose 2*o - 55 = v + 28, 4*v = l*o - 92. Is 6 a factor of o?
False
Let o(t) = -118*t - 187. Is 38 a factor of o(-17)?
False
Let t = 53 + -34. Let k = 17 - t. Is k/(-2)*2 + 8 a multiple of 5?
True
Let g(r) = -r**3 - 9*r**2 - 10. Let p(w) = 4*w + 3. Let m be p(-3). Let z be g(m). Let u = z + 49. Is u a multiple of 13?
True
Let y be ((-12)/15)/(10/(-25)). Let m(v) = 3*v**3 - v**2 - 2*v - 1. Let q be m(y). Suppose 3*g = -q, -3*g = 4*j - 5*g - 54. Is 11 a factor of j?
True
Suppose 7*j - 360 = -11*j. Suppose r - 2*f - 68 - 89 = 0, 5*f - j = 0. Does 11 divide r?
True
Let y(t) = 3*t**2 + 15*t - 30. Is y(-15) a multiple of 7?
True
Suppose 27*j = 20*j + 4823. Does 77 divide j?
False
Let u = 961 - 798. Is 5 a factor of u?
False
Let r(v) = 12*v**3 + 3*v**2 + 18*v - 25. Is r(6) a multiple of 121?
True
Let b(s) = 6*s - 25. Let n be b(5). Suppose 9*x - 6*x = -3*t + 297, 0 = -n*x - 25. Is t a multiple of 9?
False
Suppose 4046 = 12*r + 2*r. Is 17 a factor of r?
True
Suppose 804 - 4868 = -8*i. Is i a multiple of 32?
False
Let g(b) = 0*b - 2*b - 2 - b + 2*b. Let l be g(-6). Suppose 0 = -w + l*a + 54, 2*w - 2*a + 336 = 7*w. Is 20 a factor of w?
False
Let s = 8 + -16. Let c(a) = 14*a**2 - 7*a - 12. Let u be c(s). Is u/26 + 18/(-117) a multiple of 10?
False
Let s(v) = 10*v**2 + 5*v - 6. Is 6 a factor of s(4)?
True
Suppose -7795 + 879 = -13*h. Does 14 divide h?
True
Let g(n) = n**3 + n**2 - 2*n. Let z be g(-2). Suppose -d = -z*d + 24. Does 4 divide (-1)/(-4) + (-186)/d?
True
Let j = -15 + 17. Let w be (-4)/j - (-45 + 15). Does 11 divide 4/(6/3) + w?
False
Let q(j) = 3*j - 11. Let r(t) = -4*t + 11. Let y(g) = 3*q(g) + 2*r(g). Let a be y(6). Is 25 a factor of 10/a*-52 - 3?
False
Let l be 4/(-14) + (-1 - (-468)/(-28)). Let s = 42 + l. Is s a multiple of 24?
True
Let r(o) = 326*o**2 + 15*o + 35. Is 13 a factor of r(-3)?
False
Is 33 a factor of 0 + (8613/(-6))/((-29)/58)?
True
Let n = -14 + 4. Let z = n + 15. Suppose -z*j + 2*j = -21. Does 4 divide j?
False
Suppose -i - 51 = -14. Let p = 104 - i. Is p a multiple of 47?
True
Suppose 0 = -0*w - 5*w + 1325. Suppose 0 = -4*p + w + 275. Suppose -k = -4*k + p. Is k a multiple of 8?
False
Let q = 20 - 16. Suppose 3*l = -l + 5*s + 22, q*l - 16 = 2*s. Suppose -l = -u + 24. Does 27 divide u?
True
Suppose -4*o + 3*c + 1271 = 0, -2*c + 10 = 4. Is o a multiple of 10?
True
Suppose -y - k = -35, 3*y + 4*k = 5*k + 85. Is ((-528)/y)/((-2)/20) a multiple of 16?
True
Let b be 4 - (-1)/(-2 - -3). Let p(a) = 2*a + 22. Does 8 divide p(b)?
True
Let d(j) = 8*j + 1. Suppose -3*t - 2*t + 20 = 0. Is d(t) a multiple of 14?
False
Let m(o) be the first derivative of o**4/4 - 7*o**3/3 + o**2 + 10*o + 4. Let g = 14 - 7. Is m(g) a multiple of 10?
False
Suppose 10*i - 3626 + 1226 = 0. Does 20 divide i?
True
Let i(g) = -4*g + 28. Is i(1) a multiple of 14?
False
Suppose 0 = 7*g + 4268 - 10246. Is g a multiple of 56?
False
Suppose 5*v - 15 = -5*b, -13 - 2 = -5*b. Let y = 3 + v. Suppose 0 = -y*u - 5*z + 83, z + 0*z + 77 = 2*u. Does 9 divide u?
True
Let a(t) = -2*t - t**2 + 2 - 2*t**2 - 1 + t. Let d be a(1). Let q(m) = -10*m - 6. Does 6 divide q(d)?
True
Suppose -713 = -5*s + w + 1008, -337 = -s + 2*w. Is 15 a factor of s?
True
Suppose 0 = -3*u + 18 + 12. Suppose 3*y - 5*k + 7 + 6 = 0, -3*y = 5*k - 7. Does 3 divide u + -7 - (y + -2)?
True
Suppose 3*g + 2291 = 5*n, -2*n + 1377 = n - g. Is n a multiple of 23?
True
Suppose 4*o - 1223 = 5*u + 421, 3*o + 5*u = 1198. Is o a multiple of 29?
True
Let u = 686 - 266. Does 28 divide u?
True
Let n(r) = r**3 - 4*r**2 + 3*r - 14. Let a be n(6). Let p = a - 50. Does 13 divide p?
True
Let g(n) = 6*n**2 + 12*n + 1. Let p(h) = -7*h**2 - 14*h - 2. Let l(o) = 5*g(o) + 4*p(o). Is 5 a factor of l(-6)?
True
Let o = 76 + -77. Suppose -3*u - 5 = 1. Is 16 a factor of (-60)/u - 2*o?
True
Let g(v) = v**2 + 7*v + 6. Let r be g(-6). Let x be -303*((-65)/15 + 4). Suppose r = 2*y - x - 37. Does 13 divide y?
False
Let s(a) = -8*a**2 - a + 1. Let n(w) = w. Let l(i) = 3*n(i) - s(i). Is l(-3) a multiple of 35?
False
Does 33 divide ((-12)/(-3))/(-28) + 3672/28?
False
Let v be 20/(-3)*(-48)/(-16). Let h be 12/v - 13/(-5). Suppose -a - h = -74. Does 12 divide a?
True
Let p(r) = 12*r - 38. Is p(20) a multiple of 8?
False
Let o = 190 + -133. Let u = o - 13. Does 12 divide u?
False
Let c be (-34)/85 + 162/5. Let z(d) = d**3 - 30*d**2 - 64*d + 42. Is z(c) a multiple of 14?
True
Let l be (-32)/(-112) + 4/(-14). Let f(j) = j**