2*s - 474. Is i a multiple of 30?
True
Is 601 - -31 - (-3 - -16) a multiple of 38?
False
Let n(w) = -w**3 + 41*w**2 - 140*w + 45. Does 12 divide n(29)?
False
Suppose 25 = 21*a - 26*a. Let i be ((-98)/(-21))/(-7)*(a + -1). Suppose -b - 4*k = -28, i*b + 3*k - 4*k = 44. Is 3 a factor of b?
True
Suppose 5*v - 2158 = 3*c, 746 = -3*c + 2*c - 5*v. Let b = -417 - c. Is b a multiple of 8?
False
Let p be ((-300)/(-40))/(-1 + (-5)/(-2)). Suppose -x + 2*l + 4 = 0, -l + 61 = p*x - x. Is x a multiple of 2?
True
Suppose 7*b - 6*b + 3 = 0, -4*d - 2*b = -33178. Is d a multiple of 68?
True
Suppose 10*n - 2793 = 19047. Suppose 12*c + 9*c = n. Is c a multiple of 9?
False
Let n(x) = -2*x. Let h be n(-6). Let l = -12 + h. Suppose 0 = -l*u - 3*u + 45. Is 8 a factor of u?
False
Let y = 798 + -795. Suppose 0 = -4*v + y*q + 605, 3*q - 2*q = 5*v - 759. Does 3 divide v?
False
Is (77142/(-65))/(2/(-5)) a multiple of 15?
False
Suppose k - 24 = -43. Let a = -55 + k. Let b = a + 129. Is 21 a factor of b?
False
Suppose -5*s + 30 = 4*c + c, 0 = -4*c - s + 33. Let f = -293 - -511. Let h = f - c. Does 19 divide h?
True
Let s = -83 - -39. Let c = s + 40. Is (2/c - 0)/(23/(-1334)) a multiple of 17?
False
Suppose 2*q = r - 6*r + 11, -5*r - 5*q + 5 = 0. Suppose x + n + n + 11 = 0, 0 = x + r*n + 9. Is 44 a factor of -132*(-3 + (-25)/x)?
True
Suppose 229*m + 4728124 - 7351390 = 6134152. Does 239 divide m?
False
Let q(f) be the third derivative of -f**6/120 - 2*f**5/15 - 17*f**4/24 + 7*f**3/6 - 10*f**2 + 2. Is q(-6) a multiple of 9?
False
Suppose 0 = 15*q - 8*q - 126. Suppose -2*t + 1160 = q*t. Let j = t - 2. Does 7 divide j?
True
Let x = 23153 - 21558. Is 169 a factor of x?
False
Does 15 divide (315777/(-308))/(4/(-48))?
False
Let r(a) be the third derivative of -a**4/24 - 13*a**3/3 + 10*a**2. Let o be r(5). Let w = 236 + o. Is 8 a factor of w?
False
Let p = -66 - -65. Does 24 divide p/17*-6122 - (-34)/(-289)?
True
Suppose -5*t + 15*n - 14*n + 35702 = 0, -2*t - 3*n + 14274 = 0. Is 85 a factor of t?
True
Suppose 8095 = 4*w + 2*q - 6355, 5*w + 4*q = 18070. Suppose 35*s = 30*s + w. Is 47 a factor of s?
False
Let w(a) be the second derivative of 23*a**4/2 - a**3/2 + 3*a**2/2 - 6*a + 1. Is w(1) a multiple of 4?
False
Suppose 15*h + 2535 = -1035. Does 18 divide ((-1836)/h)/(1/35)?
True
Suppose -3*z + 6298 = -3509. Suppose 0 = -4*f - 4*c + 2596, -f + c = 4*f - z. Suppose -7*u - 114 = -f. Is 21 a factor of u?
False
Suppose 115*z - 106*z = 4653. Does 11 divide z?
True
Suppose -4*u = -5*j + 1183, -3*u - 1168 = -5*j - 282. Let t = 526 + u. Is t a multiple of 15?
False
Let d = -224 - -229. Suppose -2*g + d*w = 212 - 758, 0 = 5*g + 5*w - 1435. Is 8 a factor of g?
False
Let y(i) = -3*i**2 - 11*i + 8. Let b be y(5). Let d = 209 + b. Suppose 0 = 2*u + d - 177. Is 15 a factor of u?
True
Let c(t) = 23*t - 18. Let i = -33 + 43. Suppose i*n - 15 = 15. Does 30 divide c(n)?
False
Suppose 0 = -13*l - 11206 + 111813. Is l a multiple of 29?
False
Let g(r) = -36*r - 112. Let s(l) = 2*l**2 - 15*l - 14. Let n be s(8). Is 13 a factor of g(n)?
True
Let v = 3973 + -2888. Is 39 a factor of v?
False
Suppose 8 = -4*t - 5*w, 8*t + 2*w - 4 = 4*t. Suppose -4*g + 2*g + 4*h = -8, -t*g = h - 40. Is g even?
True
Let f be 1 - (6/(-2) - -1). Suppose -3*y + 0*y - 5*x = 101, -128 = 4*y + 5*x. Let n = f - y. Is n a multiple of 10?
True
Suppose 4*v = 4*w + 80, -4*v - 4*w - 63 = -7*v. Suppose 0 = v*z - 22 - 165. Is z even?
False
Let k = 38 + -46. Let z(f) = f**3 + 8*f**2 - 8*f - 13. Let i be z(k). Let m = 118 - i. Is 28 a factor of m?
False
Let j be (-94)/(-4)*8 + (-6)/(-6). Suppose 4*k = j + 731. Is 20 a factor of k?
False
Suppose 5*w = 2*w - k + 21, -3*w = -5*k - 3. Let o be w - (-1)/(-2)*4. Suppose -2*s - 75 = -h, -2*h - o*s = -101 - 81. Does 9 divide h?
False
Let d = -1743 + 1795. Suppose i + 5*t - 58 = 4*t, -t + 294 = 5*i. Suppose 0 = -i*r + 55*r + d. Is r a multiple of 3?
False
Is 8 a factor of 10/(-7) - (-36 + (-2480950)/203)?
True
Let a = 55 - 59. Does 12 divide -2246*76/(-114)*(-3)/a?
False
Suppose 3*d - 4*f = -2*d + 43392, d - 8685 = 3*f. Is d a multiple of 25?
False
Does 66 divide 396*((-5)/(-2) + -5)/((-30)/66)?
True
Suppose 3*o + 13 = -2*i - 1, -3*o = -12. Let y be i/((3/(-2))/3). Suppose y = -a - 5*x + 380, 5 = 5*x. Is a a multiple of 34?
False
Let j(r) = -r**3 + 9*r**2 - 7*r - 7. Let d be j(8). Suppose -n + 10 = -f - f, d = -2*n - 3*f. Suppose n*l = -5*z - l + 55, -4*z = -5*l - 89. Is 4 a factor of z?
True
Suppose -155 = -17*f + 134. Suppose -580 = -2*v + 4*x, -19*v - 3*x = -f*v - 559. Is v a multiple of 43?
False
Let d(n) = 3*n**3 - 3*n**2 + 5*n - 4. Let k be d(5). Suppose -2*g + 351 + k = 0. Suppose h + g = 3*h. Is 21 a factor of h?
True
Suppose d = t + 6 + 24, t + 18 = -3*d. Let z be (t/6 - 6)/((-6)/40). Let u = z - 42. Is 6 a factor of u?
False
Let x(a) = -314*a + 3599. Does 2 divide x(4)?
False
Let m = 20077 + -9118. Is m a multiple of 39?
True
Suppose -3*f - 2*f = 4*a - 21, f = -3. Suppose a*w - 1445 = 5836. Does 7 divide w?
False
Suppose 33 = -3*n + 27, -2*n = -3*w + 31594. Does 39 divide w?
True
Let s = 27 - 25. Suppose 2*t - 549 = 5*y, s*t - 370 = y + 175. Is t a multiple of 34?
True
Suppose r + l - 1 = 2*l, 5*r = -3*l + 5. Is 86 a factor of 345/(-69) - (r - (1 + 779))?
True
Let g = 14412 - 10059. Does 18 divide g?
False
Let r(x) = 43*x - 207. Let q be r(25). Does 52 divide q - ((-6)/15 + 10/25)?
False
Suppose 0 = 2*s + 67768 - 14616. Is s/(-128) + 3/8 a multiple of 17?
False
Let d = -1207 + 1943. Suppose 730*o + 1530 = d*o. Is o a multiple of 51?
True
Does 69 divide 140168/88 + -6 + 8/44?
True
Let y(u) be the second derivative of u**4/6 + 22*u**3/3 - 9*u**2 + 577*u - 2. Let v be 23/((0 - 2) + 1). Does 23 divide y(v)?
False
Let k = 508 + -505. Is 12/(-18) + (k - 298/(-6)) a multiple of 26?
True
Let w = 309 + -207. Let d(i) = i**2 - 30*i + 191. Let p be d(18). Let a = p + w. Is 11 a factor of a?
True
Let t = -22 + -166. Let g = t + 52. Let h = 260 + g. Is h a multiple of 12?
False
Let y = -821 - -225. Does 31 divide (1 - y) + 240/48?
False
Let d(p) = p**2 - 11*p + 23. Let i be d(22). Let v = i + -516. Let m = 9 - v. Is 13 a factor of m?
True
Suppose 116*c - 824266 - 509284 = -63*c. Is 4 a factor of c?
False
Suppose 106*r - 2605 = 101*r. Let s = r - 497. Does 2 divide s?
True
Suppose -3*z + 7 = -11. Let n(s) = 2*s**3 + s**2 - 5*s + 7. Let j be n(z). Suppose -6*l = -383 - j. Is l a multiple of 23?
True
Suppose -5*p + 9 = -6. Suppose -4*o + k = -0*o - p, -o + k + 3 = 0. Suppose 68 = 4*a - o*a. Does 10 divide a?
False
Let s = 18449 - 11537. Does 27 divide s?
True
Suppose -45*g = -57*g + 2496. Does 4 divide 24160/g + 2/(-13)?
True
Let y = 8 - -4. Suppose y*w - 16*w = -144. Is 3 a factor of w?
True
Suppose 194 = -3*t + 4*n + 1077, 2*t - 590 = 2*n. Let c(b) = 6*b**3 + 6*b**2 - 6*b + 1. Let v be c(4). Let o = v - t. Is 20 a factor of o?
True
Let y be 2/(-9) + 80/36. Suppose 112 = 4*s + y*m, m - 4 = 3*m. Does 3 divide s?
False
Let d(z) = -2*z + 13. Let p be d(5). Suppose p*n + 9*h = 6*h + 165, 5*h + 202 = 4*n. Is 5 a factor of n?
False
Let q(w) be the second derivative of -w**7/2520 - w**6/180 + w**5/20 + 5*w**4/2 + 20*w. Let o(v) be the third derivative of q(v). Is o(-3) a multiple of 3?
True
Suppose -29*a = 2*g - 33*a - 1628, -g = 2*a - 794. Is g a multiple of 12?
True
Let j be 29/9 + (-70)/315. Suppose -2*p - 3*p + 243 = -2*k, j*p - 152 = -5*k. Is 4 a factor of p?
False
Let f(a) = -a**2 - 20*a - 27. Let m be f(-19). Let x = 25 + m. Does 2 divide x?
False
Suppose 7*m - 4*m - v - 14 = 0, 3*m = -v + 10. Let j(q) = 25*q - 15. Let b be j(m). Suppose -3*r - 6*i = -3*i - 105, -i - b = -3*r. Is r a multiple of 15?
True
Suppose 0 = -0*i - i + 3. Suppose -3 - i = -t + 2*d, 0 = -t - 2*d - 14. Does 3 divide 39/t*-1 + (-45)/60?
True
Let c(y) = -y**3 + 6*y**2 - 9*y + 39. Let u be c(6). Is -175*(u - -6 - -7) a multiple of 10?
True
Let g = -14706 - -25821. Suppose g = 12*x + 3*x. Does 14 divide x?
False
Let b = 5 + 54. Suppose 0 = b*i - 56*i - 1260. Is 10 a factor of i?
True
Let w(o) = -392*o - 229. Let x(s) = 197*s + 113. Let a(l) = 2*w(l) + 5*x(l). Does 43 divide a(6)?
False
Let j(t) = -14*t + 3. Let d(v) = 14*v - 2. Let f(l) = -5*d(l) - 4*j(l). Let o be f(-1). Suppose -120 = -6*p + o. Does 22 divide p?
True
Let b = 174 - 1