4*r. Let l be 0*(-3 - r/6). Let p(z) = -z**3 - z**2 - z + 32. Does 8 divide p(l)?
True
Let x(h) = -17*h**3 - 2*h**2 - 5*h + 2. Let j be 3/((21/(-2))/7). Does 7 divide x(j)?
True
Let w = 688 - -2237. Is w a multiple of 75?
True
Suppose -399 = -5*r - 29. Is 35 a factor of -2 + 2*(-3 + r)?
True
Let h = -2627 - -7990. Is 29 a factor of h?
False
Let b = 968 - 740. Is b a multiple of 76?
True
Is 15 a factor of ((-375)/(-10))/((-11)/(-176))?
True
Let p(q) = 226*q**2 + 0 + 11 + 13*q - 224*q**2. Is p(-6) a multiple of 5?
True
Let d(o) = 7*o + 14. Let l(a) = -10*a - 21. Let z(y) = 7*d(y) + 5*l(y). Let n be z(-10). Suppose n*i - 90 = -3*h + 105, 4*i = h - 40. Is h a multiple of 15?
True
Suppose 0 = 5*m, -3*m + 1882 = 90*d - 88*d. Is 6 a factor of d?
False
Let i(o) = -o - 3. Let c be i(-5). Suppose 0 = -4*k + 5*m + 275, -k - 365 = -6*k + c*m. Is k a multiple of 25?
True
Let a(p) = -4*p + 74. Let v be a(17). Let u = 11 + -25. Is u/v*(-6 + 3) a multiple of 3?
False
Suppose -3*t + 1755 + 1181 = 4*v, -2*t + 3663 = 5*v. Let c = v + -437. Does 42 divide c?
True
Suppose -3*s - 7 = 4*k, 3*s - 18 = 4*k - 41. Suppose -k*p = -j + 8, 3*j - 4*p = -5*p + 10. Does 2 divide j?
True
Is 42 a factor of ((-2622)/(-115))/(2/70*1)?
True
Let p be (0 - 0)/3 - -11. Suppose p = -2*y - 1. Let g(r) = 3*r**2 - 3*r - 2. Is 22 a factor of g(y)?
False
Let p(x) = x**3 - 8*x**2 + 5*x + 12. Does 6 divide p(9)?
True
Let u(b) = b**2 + 3*b**2 + 5*b**2 - b**3 + 26*b + 18 - 2*b. Does 5 divide u(11)?
True
Suppose 0 = -2*p - 5*k + 42 + 5, 5*k = 2*p - 17. Suppose c - p = -c. Is c a multiple of 3?
False
Let f(x) = 2*x**2 - 3*x - 5. Let t(v) = v**2 - v - 1. Let q(n) = -f(n) + 3*t(n). Let b be q(0). Suppose 17 - 5 = b*r. Does 5 divide r?
False
Suppose 0*q = 2*q - 6. Suppose -i + 212 = q*i. Let l = i - 22. Does 10 divide l?
False
Suppose 0 = 5*g + 5*i - 20, -5*i + 10 = 4*g - 7. Let v be 6/(6*g/24). Let o(p) = p**3 - 6*p**2 - 10*p. Does 12 divide o(v)?
True
Let h(s) = 11*s - 14. Let y be 3/((-15)/(-10)) - 2*-1. Is 3 a factor of h(y)?
True
Let f(m) = -m - 1. Let c(j) = -18*j - 12. Let o(p) = -c(p) + 15*f(p). Let b be o(3). Is 10 - (-3 - (0 - b)) a multiple of 2?
False
Let t(j) = 28*j**2 - j - 2. Let r be t(-1). Let h = 46 + r. Is 13 a factor of h?
False
Suppose 2*d - 3968 = -2*d. Let t = -699 + d. Suppose -4*n - 101 + t = 0. Does 12 divide n?
True
Let o be ((-9180)/(-42))/((-3)/(-14)). Suppose -5*l = -l - o. Is 20 a factor of l?
False
Let m = -66 + 178. Is 16 a factor of m?
True
Suppose 4*w - 5*y - 435 = 1151, -2*w = -4*y - 790. Does 21 divide w?
True
Suppose 2*r = 3*r - c - 202, 0 = -5*r - 4*c + 1001. Let u = 421 - r. Is u a multiple of 44?
True
Let k(m) = 2*m**2 + 34*m - 28. Is k(-19) a multiple of 8?
True
Suppose -4*g + 5 = -7. Let x be (21 + -3)/g - 0. Suppose 61 = l + x. Is 11 a factor of l?
True
Suppose -4*v - 1684 = -8*z + 3*z, -1376 = -4*z - 4*v. Is z a multiple of 17?
True
Does 15 divide 4*5/(-20)*-317?
False
Suppose -s - 1 + 3 = 0. Suppose a + 16 = -s. Does 9 divide 24/((-4)/a*3)?
True
Let f(c) = -2*c + 6. Let a(d) = -4*d + 11. Let m(y) = -3*a(y) + 5*f(y). Let w be m(-14). Does 31 divide 1*(-4)/(4/w)?
True
Let m(q) = -q**3 + 3*q**2 - q + 1. Let k be m(3). Is 51*k/15*(-9 - 1) a multiple of 15?
False
Let d(k) = 2*k**2 + 5*k - 9. Let h = -14 - -14. Suppose p - 5*a = -1 + 6, 4*p + 2*a + 24 = h. Is d(p) a multiple of 4?
True
Let h = -392 + 799. Is 9 a factor of h?
False
Let y = 3689 - 2512. Does 7 divide y?
False
Let v be 160/15 + (-4)/6. Let f be 4/(-2*(-4)/v). Let p(h) = 2*h**2 + 3*h - 6. Is 13 a factor of p(f)?
False
Let s = -39 + 14. Let q = 11 - s. Does 9 divide q?
True
Suppose 3 = -4*m + 5*m. Suppose 2*b = m*b - 18. Is b/(-15)*(-32 + 2) a multiple of 12?
True
Suppose 0 = 41*n - 39*n - 136. Is n a multiple of 17?
True
Let z(c) be the second derivative of 2*c**4/3 - 5*c**3/6 + 2*c**2 + c. Suppose -3*u + u = -4, 3*u + 6 = 4*i. Is 17 a factor of z(i)?
False
Let a = 160 + -91. Suppose 0 = -f + 3*i + a, f - 69 = 7*i - 3*i. Is 23 a factor of f?
True
Suppose -2*i - 2*h = h - 9, 0 = -2*i + 5*h - 31. Is 9 a factor of 143 - (i/6)/((-2)/(-4))?
True
Is 15 a factor of -56 + 55 + 122/2?
True
Let a(i) = -5*i - 2. Suppose 3*k = 4*s - 27 - 15, -5*k + 4*s - 62 = 0. Let q be (4/(-10))/((-1)/k). Is 9 a factor of a(q)?
True
Is 19 a factor of (152/6)/(36/594)?
True
Suppose -3*d - 22*d + 36000 = 0. Is d a multiple of 8?
True
Let v = 1097 + -932. Is v a multiple of 15?
True
Suppose 4*v = b - 6*b + 20, 4*b - 2*v + 10 = 0. Suppose -4*o + 21 = t, b*o - o + 5*t = 0. Suppose o*d - 83 = 32. Does 4 divide d?
False
Suppose -1495 = -3*o - 4*p, 2*o + 5*p = -2*o + 1994. Suppose -2*w + 255 = -5*c, 3*w - o = -w + c. Is 22 a factor of w?
False
Let f(v) = -v**2 - v. Let l(w) = 5*w**2 + 9*w - 3. Let o(s) = 4*f(s) + l(s). Is o(8) a multiple of 10?
False
Let q = -14 - -1228. Suppose q = 4*r + 266. Is r a multiple of 14?
False
Let w = -24 + 26. Let f be (-7 - -12) + w/(-2). Suppose 4*r + 0*j = 3*j + 87, -47 = -f*r - 5*j. Does 6 divide r?
True
Let n(f) = -6 - 5*f + 4*f + 1 + 8. Let t be n(7). Does 7 divide 35 - (t/(-1) + -4)?
True
Let x(d) = -7*d + 24. Let i be x(-12). Let s = 183 - i. Is s a multiple of 25?
True
Let c be (-1 - (-5 + 2)) + 2. Let v = c - -5. Suppose 3 + v = g. Is g a multiple of 4?
True
Let l(x) = -3*x + 80. Let b be l(25). Let g be (-2 - (-15)/(-12))*-4. Let h = g - b. Does 8 divide h?
True
Suppose 3*g = -0*g + 21. Suppose 45 = -5*r + 5*i, 3*r = g*r + 2*i + 42. Let p = r + 34. Is 8 a factor of p?
True
Suppose 0 = 7*o - 14*o - 644. Is 28 a factor of 19 - o - ((-2)/(-2) + -2)?
True
Let c be (1/(-1))/((-2)/20). Let u = c + -17. Let s(n) = n**3 + 7*n**2 - 3*n - 3. Does 9 divide s(u)?
True
Let v(x) = -3*x**3 - x**2 - 2*x - 1. Let t be v(-1). Suppose -1 = -t*g + 17. Is 26 a factor of (g/9)/((-10)/(-1035))?
False
Suppose -9*c + 294 = -8*c. Suppose o - 155 = -5*s - 53, 3*s - c = -3*o. Does 18 divide o?
False
Let w = 11 - 2. Is 5 a factor of (2 + -6 - 2)*(-12)/w?
False
Let y(z) = -z**3 + 39*z**2 + 79. Is 18 a factor of y(39)?
False
Suppose 4*v = -2*n + 4573 - 339, 5*n + 5*v = 10560. Does 18 divide n?
False
Suppose -21*k = -24*k. Is 29 a factor of (178 - k) + 48/(-24)?
False
Let c = -19 - -11. Let l be (-826)/c - 2/8. Suppose i - l = -4*m, -i - 4*i = m - 420. Is 15 a factor of i?
False
Is -2*(2583/(-14) - -4) a multiple of 37?
False
Suppose 2*g = 5*g + 21. Let w(i) = -i**2 - 6*i + 6. Let o be w(g). Does 2 divide (0 + -13)*o/1?
False
Suppose 4*r - r = -2*h - 2, 2*r - 22 = 2*h. Is 2/h - 7722/(-126) a multiple of 9?
False
Let g(f) = 3*f**2 + 2*f - 5. Let w = -7 - -17. Let l = w + -6. Is 11 a factor of g(l)?
False
Let f(t) be the third derivative of t**6/120 + 19*t**5/60 - t**4 - 43*t**3/6 - 2*t**2 + 9. Is f(-20) a multiple of 15?
False
Suppose 0 = 10*p + 103 - 63. Let d(a) = -3*a + 5. Let x be d(-5). Let y = p + x. Is 8 a factor of y?
True
Let x(s) = 220*s - 6 - 454*s + 230*s. Suppose 0 = 2*k - 2*v + 20, -k + 4*k + 5*v = -46. Is 14 a factor of x(k)?
True
Let x = 409 - 389. Is 20 a factor of x?
True
Does 3 divide (-52*1)/((-132)/99)?
True
Let d(z) = 53*z - 36. Is d(10) a multiple of 26?
True
Let c(o) = o**3 - 4*o**2 - 6*o + 9. Let q be c(7). Suppose 5*h - q = 3*h. Is h a multiple of 11?
False
Suppose -j + 4639 = 6*i, 2*i = -17*j + 20*j + 1543. Does 4 divide i?
False
Suppose -14*u + 9*u + 900 = 0. Is 19 a factor of (19/(-4))/((-9)/u)?
True
Let v = 3 - 1. Suppose -g + 1 + 13 = -v*p, 26 = 2*g - 3*p. Does 7 divide 8/(-6)*(-105)/g?
True
Suppose 2*l = 16 + 14. Suppose -l = 5*g + 90. Let c = 50 + g. Is c a multiple of 29?
True
Let g be 21/(-9) + (-4)/6 + 31. Let l = 224 - g. Is l a multiple of 22?
False
Let k(q) be the third derivative of q**5/20 + q**4/4 + 7*q**3/6 + 7*q**2. Let h be (-2)/(-6) - 48/9. Is k(h) a multiple of 26?
True
Is (-12)/(-18)*6216 - 4 a multiple of 57?
False
Let h(k) = -10*k**3 + 9*k**2 - 3*k - 26. Is h(-4) a multiple of 7?
True
Let y(l) = -2*l**2 + 23*l + 14. Let h be -1 + (-9)/(-3) + 5. Does 11 divide y(h)?
True
Let c be (-8)/(-28) + (-2838)/(-14). Suppose 517 = 10*u - c. Is u a multiple of 24?
True
Suppose -w + 2*h = 3*h - 6, w - 2*h = 0. Let a be -1*(-2)/4*w. Is 20 a factor of 1/(a/130) - 2?
False
Let l = -8 + 2. Let h(s) = s**2 + 7*s + 2. Let c be h(l). Is 28 a factor of c/(13/14 - 1)?
True
Suppose n + 54 = 