= -9*h + 449. Let a = h - l. Is 34 a factor of a?
False
Suppose 2*o - 6 = z, z - o + 2 + 3 = 0. Let m be (-23 - -68)*z/(-10). Is 3 - (-6)/(m/375) a multiple of 16?
True
Suppose 15 = -16*z + 19*z. Suppose -z*m + 1836 = m. Is m a multiple of 34?
True
Suppose -20 = 5*l, 4*f - l = -752 + 3696. Let w = f - 417. Does 32 divide w?
False
Let b(q) = q**3 - 39*q**2 - 224*q - 734. Is 28 a factor of b(59)?
False
Does 10 divide (2521 - -28)/((-2)/8*-4)?
False
Let q = -280 + 280. Suppose 35*y - 39*y + 3536 = q. Is 13 a factor of y?
True
Let a = 69 - 64. Suppose -110 = 3*i - 4*z, 2*i + i + 106 = a*z. Let k = i + 108. Is k a multiple of 4?
False
Let j be ((20 + -28)/(2/(-1237)))/2. Suppose -j - 190 = -6*k. Does 27 divide k?
False
Suppose -3*f = -2*t - 4*f - 13, 0 = 3*t - f + 27. Is (-3)/2*t/(-12) - -46 a multiple of 15?
True
Suppose -3 + 8 = 5*b. Is 14 a factor of (2 - (b + 0)) + 13?
True
Let m be (-1)/(-2) + 5/2. Let z(i) be the second derivative of i**5/10 - i**4/12 + i**3/3 - 2*i**2 + 460*i. Is 5 a factor of z(m)?
False
Suppose 0 = -253*r + 14892936 - 4888557. Is r a multiple of 22?
False
Let t be (3 - 6)*964/(-6). Let c = 742 - t. Is c a multiple of 16?
False
Suppose -2*a - 54 + 58 = 0. Suppose 5*b - 3*m + m = 409, 2*b - a*m = 166. Does 8 divide b?
False
Let d(i) = 25 + 5*i + i - 2*i + 5*i. Let r be d(-7). Let p = 94 + r. Does 8 divide p?
True
Let r(m) = -117*m - 9. Let g be r(-1). Suppose q = -3*s + g + 64, 0 = s + q - 54. Does 10 divide s?
False
Suppose 67213 - 14336 = 10*b + 13*b. Is 11 a factor of b?
True
Suppose -8*r = -r - 28. Suppose -r*y + 1050 = 2*y. Suppose 230 + y = 3*d. Is d a multiple of 9?
True
Suppose -5*n + 399133 = 4*t, 3*n + 4*t + 24037 - 263504 = 0. Is n a multiple of 81?
False
Suppose 9*s - 204 = -159. Is 19 a factor of (-24 + -71)*-1*68/s?
True
Suppose 2*b - 3 = 12*u - 17*u, -3*u + b + 4 = 0. Is 48 a factor of u + -6 + 464 + 21?
True
Suppose 48*s - 24*s - 239040 = 0. Does 30 divide 2/(-6) + (s/(-9))/(-2)?
False
Let w(a) = 2*a**3 + 18*a**2 - 10*a - 19. Suppose 12*l + 56 = 5*l. Is 25 a factor of w(l)?
False
Suppose -4*a - 5*s = -15773, 4*a - 5*a - 5*s = -3947. Does 7 divide a?
False
Let r be (-1)/(-2)*(-6 + 10). Let t be 21*(-4 + (r - 0))/6. Is (-14)/(-4)*52 - (7 + t) a multiple of 13?
True
Suppose 0 = -56*p + 27*p + 28*p + 8098. Does 34 divide p?
False
Let o(n) = 3*n**2 - n + 55. Let i be o(0). Suppose w = 2*w - 52. Let s = i - w. Is 3 a factor of s?
True
Suppose 42 = -21*p + 7*p. Suppose -24 = 5*g - 154. Is 3 + g*3 - p a multiple of 21?
True
Let k = -14 + 650. Is k + 6 + -4 + -1 a multiple of 12?
False
Let r(p) = -3*p + 5. Let h be r(1). Suppose -2*o - 20 = -t + h*o, 5*t = 2*o + 28. Suppose t*w - 28 - 16 = 0. Does 11 divide w?
True
Let o(v) = -87*v + 11309. Is 146 a factor of o(0)?
False
Let g(q) = q**2 + q - 2. Let z(m) = 17*m**3 + 7*m**2 + 5*m - 14. Let p(v) = -5*g(v) + z(v). Is 35 a factor of p(2)?
True
Let f = -556 + 384. Let n = -108 - f. Is 36 a factor of n?
False
Let a be (-83 + 84)/(0 - 1/(-4)). Let s(w) = 21*w - 56. Is 4 a factor of s(a)?
True
Let b(w) = w - 6. Let g be b(6). Suppose -3*c - 12 = c, g = -5*o + 3*c + 9. Suppose o = -q, r + 2*q = -2*r + 195. Is r a multiple of 13?
True
Let c(h) = 24 - 2*h**2 - 58 + 15. Let f(z) = -z**2 - 18. Let i(a) = -2*c(a) + 3*f(a). Is i(10) a multiple of 21?
True
Suppose -10*g + 33*g = -g + 166080. Is 5 a factor of g?
True
Let o(k) = -10*k - 15. Let h be -1 + (-8 - -3) + 4. Let y be o(h). Suppose 2*d + 189 = y*d. Does 9 divide d?
True
Let o(l) be the first derivative of 23*l**5/120 - 2*l**4/3 + 5*l**3 + 17. Let k(x) be the third derivative of o(x). Does 21 divide k(8)?
True
Let b = -8316 + 19287. Is b a multiple of 69?
True
Let m be 2/(-5) - (-516)/(-60). Let a(p) = p**3 + 12*p**2 + 13*p - 11. Let t be a(m). Suppose -4*r - 5*d = -205, 3*r + d = 5*d + t. Is r a multiple of 9?
True
Let k = 795 + -640. Suppose c - 75 = -4*r + k, 0 = -5*c - r + 1055. Is c a multiple of 14?
True
Suppose -45 - 10 = -11*t. Suppose 3 - t = -j. Is j/(-4) - 3/(6/(-253)) a multiple of 21?
True
Let y = 927 - -1361. Suppose -8*q + 4*q + y = 4*i, -2*q - 4*i + 1140 = 0. Is 41 a factor of q?
True
Let y(b) = 197*b - 1 - 63*b - 4. Suppose u - 3*k = 9 + 4, -5*k = 4*u + 16. Does 12 divide y(u)?
False
Suppose 0 = j + 8 - 10. Let m(t) = 76*t**2 - 3*t - 4. Is 21 a factor of m(j)?
True
Let p(b) = -b**3 + 20*b**2 + 18*b + 24. Let r(y) = y + 9. Let n be r(12). Let v be p(n). Let o = v + 63. Is 5 a factor of o?
False
Let m(y) = -4*y**2 - 30*y - 10. Let o be m(-7). Suppose -8*z = 2*i - 4*z - 252, 474 = o*i - 2*z. Does 60 divide i?
True
Let s = 53 + -48. Suppose -93 = -3*j - 4*i, 2*j - s*i = -j + 66. Suppose -74 = -u - 2*q + j, 4*u = -3*q + 414. Is 7 a factor of u?
True
Let q = -165 + 173. Suppose -1040 = -4*v - 4*d, d = q*v - 4*v - 1025. Does 6 divide v?
False
Suppose v - c = -285, -v - 2*v - 859 = -5*c. Let b = v + 619. Suppose -2*z + 2*d = 2*z - 264, d = 5*z - b. Is z a multiple of 6?
False
Does 89 divide (-1*604)/((3/117)/((-15)/90))?
False
Let o(j) be the first derivative of 40*j**3/3 + 3*j**2 - 6*j + 11. Suppose l + 2*c = c + 1, 2*c = 2*l - 2. Is o(l) a multiple of 6?
False
Let g be (-3)/(-12) + 7/4. Suppose 4*v + v - 5 = g*d, 5*v = -3*d + 30. Suppose -h + 631 = d*b, -2 = h - 3. Is b a multiple of 21?
True
Let g be 232 - 1 - 3*1. Suppose 22*s + h - 16 = 17*s, 5*s - 3*h = 32. Is (s/2)/((-8)/g*-1) a multiple of 19?
True
Let g = -40 - -43. Suppose -175 = -g*p - 22. Let z = 71 - p. Does 3 divide z?
False
Let d = 21961 - -4141. Does 11 divide d?
False
Let b be ((-228)/(-18))/(-1 - (-10)/6). Suppose b*a - 511 = 249. Is a a multiple of 5?
True
Suppose 648 = -593*z + 602*z. Does 28 divide (2/6 + (-56)/(-12))*z?
False
Let h(d) = 144*d - 17*d**2 - 57 + 47*d + 28*d**2 - 15*d**2. Is h(47) a multiple of 28?
True
Let p be 3/((-8)/((-9376)/6)). Let z = p + 43. Is z a multiple of 68?
False
Suppose -4*r - w + 17 = 0, r - 2*w = -7*w + 28. Suppose -5*o - 135 = -v + 15, v + r*o - 174 = 0. Is 15 a factor of v?
True
Suppose 21*b - 20*b + 178 = 0. Let g = b - -226. Is g a multiple of 14?
False
Let t be (-5)/(275/(-815)) + 2/11. Suppose -t*u = -8*u - 672. Is 6 a factor of u?
True
Does 9 divide ((-6)/(-7))/(106/151739)?
False
Suppose 3*q - 2667 = -4*q. Suppose 4*v + 3*w = 834 + q, w + 605 = 2*v. Let r = v + -167. Is 10 a factor of r?
False
Let t(w) = -w + 2. Let q be t(-3). Suppose -22*m + 26*m = -2*v + 628, -933 = -3*v - 3*m. Suppose 72 - 492 = -5*p + q*l, 3*l - v = -4*p. Does 10 divide p?
True
Let q = 5602 - 4155. Does 22 divide q?
False
Suppose 29 = 3*k - 31. Let w(c) = c**3 + 18*c**2 + 68*c + 9. Let f be w(-11). Suppose -17*a = -k*a + f. Is a a multiple of 6?
True
Does 7 divide 362/(-3)*28/(-6)*(-18)/(-2)?
True
Let l(u) = 4*u - 12. Let x(g) = g**2 + 4*g + 7. Let b be x(-3). Suppose b*w - 16 = -4*k, -5*w + 61 = -2*k + 6. Does 6 divide l(w)?
True
Let l(s) = -s**3 + 9*s**2 - 7*s - 243. Does 45 divide l(-15)?
False
Suppose 2*s + 49 = 5*g, 0 = -3*g - g + s + 41. Let h be g - (4/8 - (-2)/4). Suppose h*i - 3*i - 35 = 0. Is i a multiple of 5?
True
Let x = 22 - 20. Suppose 8 = 4*h - x*q - 8, 2*h + q = 4. Let s = 189 + h. Is s a multiple of 12?
True
Suppose f + 11 = 2*j + j, 5*j + 3*f - 9 = 0. Let k be (-31150)/(-84) - 2/(-12). Suppose s + 4*c - 92 = 0, 41 = -4*s + j*c + k. Does 28 divide s?
True
Suppose -10*s + 6*s - 15 = -3*t, -2*s - 25 = -5*t. Suppose 0 = -t*d + q + 3104, 56*d + 628 = 57*d - 2*q. Does 20 divide d?
True
Suppose -2*c + 8 = -2*v, 4*v - 3*c = -6*c - 2. Let u(s) = -17*s - 4. Let i be u(v). Suppose -2*x = i - 246. Is 12 a factor of x?
True
Let n = 92 + 118. Let w(x) = -x**2 + x + 548. Let d be w(0). Suppose d - n = 13*a. Is 13 a factor of a?
True
Let n = -199 - -115. Does 7 divide (-2 - n/49) + (-2622)/(-14)?
False
Let u be (-5436)/(-19) - (-24)/(-228) - 6. Does 13 divide 337295/u - 3/(-8)?
False
Let t = 9093 - 5266. Is t a multiple of 89?
True
Let c(y) = -y**3 - 9*y**2 - 3*y - 12. Let i be c(-9). Let g = i - 29. Does 2 divide 35/g*(-12)/2?
False
Suppose 0 = -3*k + 5*r - 0*r, 0 = k + 5*r - 20. Suppose k*g + 1055 = 10*g + 5*u, -3*g - 2*u = -632. Does 28 divide (g/(-90))/(0 - 1/36)?
True
Suppose 0*v = 4*q + 5*v - 38799, -3*q = -v - 29066. Is q a multiple of 16?
False
Suppose 25*b - 978 - 372 = 0. Suppose -b*z - 9515 = -49529. Is 57 a factor of