. Let r(c) = -457*c + 7. Let y(w) = -5*r(w) + 2*u(w). Is y(1) a multiple of 50?
True
Let k(a) = 75*a - 31. Suppose 3*y + 2*h = 8*y - 24, 5*y - 28 = 4*h. Is k(y) a multiple of 31?
False
Let r(n) = 23*n**3 - 3*n**2 - 95*n + 274. Is 3 a factor of r(3)?
False
Suppose c = -3*n + 5*c - 258, 2*c + 6 = 0. Suppose 51*f + 35*f = -7052. Let w = f - n. Is 2 a factor of w?
True
Suppose 0 = -3243*a + 3216*a + 189. Suppose 3*t - 17 = y + 3*y, -38 = -2*t - 4*y. Let w = t + a. Is w a multiple of 9?
True
Let o = 159 + -160. Is ((-14)/(-70) - o)*410/4 a multiple of 17?
False
Let x = -21 + 15. Let k(o) = -17*o + 14. Let c(v) = -33*v + 29. Let t(a) = x*c(a) + 11*k(a). Is t(10) a multiple of 10?
True
Suppose 6313 = 3*v + 2*l, -51*v = -56*v + 4*l + 10551. Is 43 a factor of v?
True
Let m = -189 - -193. Suppose 0 = 5*s - m*s + 2*n - 202, 0 = -5*n + 25. Does 14 divide s?
False
Let w(j) = -j**2 - 24*j + 38. Suppose z - 2*z = 2*q + 25, -100 = 4*z - q. Let l be w(z). Suppose l*t = 21*t - 2256. Is t a multiple of 28?
False
Let r(z) = -43 - 10*z - 4 + 10*z + z**3 + 24*z + 27*z**2. Is 3 a factor of r(-26)?
False
Let p be (-14)/(60/(-35) - 4/14). Let t(i) = -37 - p*i - 12*i + 27 + 6*i. Is t(-7) a multiple of 9?
True
Suppose 13 = -5*y + 6*y. Suppose -y*p + 4*p = -4680. Does 26 divide p?
True
Suppose -20 = 5*v - 4*q, v + 13*q - 15*q = -10. Suppose 4*o = 3*o. Suppose -5*z + v*g - 3*g + 104 = o, -4*z = 3*g - 82. Does 22 divide z?
True
Let f(n) = -15*n + 78. Is f(3) a multiple of 11?
True
Does 74 divide (-21)/49 + ((-2)/19 - (-5174046)/399)?
False
Suppose -9*b - 266 = -2408. Suppose -11*w + 6*w + 479 = 2*y, -2*w = y - b. Is 58 a factor of y?
True
Let k = 2154 + -1291. Suppose -867 = -g + 2*y, 0*g = -g + 4*y + k. Is 13 a factor of g?
True
Suppose 0 = -3*q - 2*c + 22678, -2*c + 7558 = -3*q + 4*q. Is q a multiple of 108?
True
Let n = 2320 - 275. Is 26 a factor of n?
False
Let s(r) = 182*r**2 - 2*r + 5. Does 81 divide s(2)?
True
Suppose 0 = -5*s + 4*m - 7*m + 35037, 4*s - 28016 = m. Does 37 divide s?
False
Suppose -6*x + 3*x = -5*u - 16, 3*x - 18 = 3*u. Suppose 4*m + 84 = x*m. Is 18 a factor of m?
False
Let l be 1653*(-3 - ((-28)/12 + -1)). Let d = 731 - l. Does 6 divide d?
True
Is 96 a factor of (-16)/15 + 172/258 + 83526/15?
True
Let t(j) = -3 - 6*j - 3 - 6*j**2 + 5*j**2 + 2*j**2. Let q be t(7). Is 6 a factor of (0 - 5)*((-19)/5 - q)?
True
Let r(k) = 7*k**2 + 24*k + 7. Let u be r(6). Let b = u - 117. Is 26 a factor of b?
True
Let g(q) = q - 19. Let n = -71 + 82. Let i be g(n). Is 16 a factor of 2224/28 - i/14?
True
Let v(j) = j**2 - 13*j + 17. Let c be v(13). Let o = c + -19. Let l(s) = 33*s**2 + 4*s + 2. Does 24 divide l(o)?
False
Suppose 32 = 2*p + 4*u, p + u - 71 = -4*p. Let a be (500/(-16))/(p/8 + -2). Suppose 0 = v - 5, -a = -4*k - 4*v + 3*v. Is k a multiple of 15?
True
Suppose -5*c = -r + 55, -2*r + 4*c = 9*c - 155. Suppose 60*z - r*z = -15070. Is 36 a factor of z?
False
Suppose 6 = 2*v, 3*v + 55 = -x + 66. Suppose 1872 = x*t + 10*t. Does 13 divide t?
True
Let z be 2 - 0 - 50*-1. Let x be (-2)/(-2 + z/27). Suppose -13 = 4*q - 1, 2*s = 3*q + x. Is 3 a factor of s?
True
Suppose 39*i - 47*i = -15000. Is 3 a factor of i?
True
Let v = 13 - -138. Suppose 0 = v*n - 154*n + 741. Does 18 divide n?
False
Let q = 27 + -23. Suppose -5*i = 5*z + 5, z + 14 - 1 = 3*i. Suppose i*s - 4*s + q = 0. Is s a multiple of 2?
True
Let a(g) = g**2 - 3*g + 10. Let o be a(0). Does 8 divide 133 - (-9 - o/(-5))?
False
Suppose 5*z + 11*z = 496. Is (-750)/4*-2 - 62/z a multiple of 33?
False
Let z = -5622 + 5838. Is z a multiple of 52?
False
Let f(h) = 3*h**3 + 16*h**2 + 4*h - 18. Let w(u) = -16*u**3 - 78*u**2 - 20*u + 89. Let r(k) = -11*f(k) - 2*w(k). Does 4 divide r(-20)?
True
Suppose 3*w - 8 = -2*a, w = -4*w. Suppose -4*v + a*z - 415 - 77 = 0, 10 = 5*z. Let n = -55 - v. Does 22 divide n?
True
Let g be (-32)/48 + (3 - (-42)/9). Is g*(6/15)/((-8)/(-1760)) a multiple of 44?
True
Let c(g) = 11*g**2 + 34*g - 35. Is 11 a factor of c(-31)?
True
Let v(d) = -d**2 - d + 1. Let p(k) = -3*k**2 + 2*k + 57. Let j(s) = -p(s) + 2*v(s). Is j(14) a multiple of 28?
False
Let v = 2355 - 1576. Let w = -752 + v. Does 9 divide w?
True
Let l be ((-5)/((-15)/2))/(8/168). Suppose -l = -2*i - 3*j, i + 0*i = j + 17. Suppose -770 = 8*h - i*h. Is 22 a factor of h?
True
Suppose 2*f + 12*f = 210. Is 27 a factor of 311 + 3/(f/20)?
False
Let c = -6 + 19. Let z = c + -11. Suppose 2*w + 4*q - 199 + 57 = 0, z*q + 166 = 2*w. Is w a multiple of 18?
False
Let v(x) = -x**3 + 5*x**2 - 4*x - 4. Let b be v(4). Is 11 a factor of b*14/(-28)*111*1?
False
Let m(j) = -j**2 + 7*j - 3. Let t be m(6). Suppose t*a - 4*a - 3*h + 35 = 0, -a + 3*h = -41. Suppose -a + 8 = -2*o. Does 6 divide o?
False
Suppose -67085 = -78*y + 114031. Is y a multiple of 22?
False
Suppose 36*y - 900 = 30*y. Let g = -70 + 126. Suppose -59*w + g*w + y = 0. Is 10 a factor of w?
True
Suppose -2*r + 456 = -24*p + 23*p, 0 = -4*p. Suppose -7*n - 4*x + 468 = -3*n, -593 = -5*n - x. Let l = r - n. Does 19 divide l?
False
Suppose -10 - 2 = -2*k. Suppose -2*d + u = -148, 3*d - k*u = -3*u + 225. Suppose -5*s = b - s - d, -5*b + 441 = s. Is 8 a factor of b?
False
Let r = 175 - 125. Let m be ((-180)/r)/((-1)/25). Suppose -2*s = -5*s + m. Does 10 divide s?
True
Let x = -2073 + 2229. Is x a multiple of 39?
True
Suppose -n + 17536 = -2*s, -2*n - s + 10098 + 24989 = 0. Is 98 a factor of n?
True
Let i(y) be the second derivative of 2*y**5/5 - y**4/12 + 4*y**3/3 + 2*y**2 + 36*y. Is i(3) a multiple of 12?
False
Does 3 divide ((-30)/(-7))/((-26)/(-14287))?
True
Let m = 1050 + -894. Is 4 a factor of (-12)/9*(15 - m)?
True
Let p = 179 + 1077. Suppose -104 = 3*f - p. Is 32 a factor of f?
True
Suppose 5*i = 8*i + t - 1778, 3*t + 2968 = 5*i. Does 2 divide i?
False
Suppose 5*w = w. Let b(c) = c**3 - 17*c**2 - 44*c + 118. Let i be b(19). Suppose w = 2*x - 0*x + r - 89, 2*x = -i*r + 80. Is 23 a factor of x?
True
Suppose v = 16*t - 11*t + 947, 4*t - 12 = 0. Does 2 divide v?
True
Let g(a) = -885*a**2 - 19*a - 3. Let f be g(-3). Let y be (2 + 30/(-18))/((-3)/f). Is 22 a factor of y/(-2)*6/(-9)?
False
Let y be 2*(9/(-3) + 1045). Does 10 divide y/14 - -1 - (-18)/126?
True
Is (-358147)/(-104) + (-116)/(-928) + (-2)/(-13) a multiple of 164?
True
Let t = 311 - 738. Let i = 931 + t. Does 21 divide i?
True
Is (40/(-3))/(-5) - ((-369778)/57 + 12) a multiple of 32?
False
Let x = -1811 + 3354. Suppose 0*l - 4*l + 5*a = -x, -3*a = 5*l - 1938. Is 9 a factor of l?
True
Suppose 0 = h + 3*v - 3837, -53*h + 54*h = -2*v + 3843. Does 15 divide h?
True
Suppose 227620 + 382615 = 127*p. Is 47 a factor of p?
False
Let w be 5/5 + (-1 - -2). Is 82 - ((10 - w) + -5 - 5) a multiple of 13?
False
Let x be (-20 + 5)/(-5) - 1064/(-2). Let q = x + -183. Is 16 a factor of q?
True
Let m = 630 + -94. Suppose -3*z - m = -6*z - 5*a, 0 = 5*z - a - 912. Is 13 a factor of z?
True
Suppose -y - 48 = -5*l, 4*l + y - 39 = 2*y. Does 36 divide (11 + -6 - l)*(-450)/8?
False
Let t(v) = -298*v + 1976. Is 66 a factor of t(-8)?
False
Let v(a) = -946*a + 24. Let c be v(-2). Suppose 26*f + c = 30*f. Suppose -j + 2*d = 4*j - 1202, d - f = -2*j. Is j a multiple of 38?
False
Let n = -5136 - -7373. Suppose 6*g + 647 - n = 0. Let m = g + -147. Does 11 divide m?
False
Let x(d) = -d**2 + 20*d + 1202. Suppose 44*o - 45*o = 0. Is x(o) a multiple of 11?
False
Let o = 1469 + -289. Does 63 divide o?
False
Let k(r) = 7*r - 302. Let g be k(0). Let b = 482 + g. Does 51 divide b?
False
Suppose 4950 = -4*u - u - 5*q, -2 = -q. Is (-4)/(2/(-4)*(-16)/u) a multiple of 8?
True
Let j(t) = -2*t**3 - 45*t**2 - 59*t + 83. Is 13 a factor of j(-22)?
True
Let s(l) = 2*l**2 - 40*l + 412. Is 11 a factor of s(-25)?
True
Let d = 78 + -74. Suppose -d*n - 3*i + 22 = n, -4 = -i. Suppose -w - 4*z = -2*w + 62, -160 = -n*w - 4*z. Is w a multiple of 12?
False
Does 64 divide (-3 + 0)/(61/(-8357)) + -2?
False
Let l(b) = 183*b - 32. Is l(18) a multiple of 14?
True
Suppose 0*f + 5*f = 495. Suppose 0 = j - 4*x + f, j - x = 6*j + 495. Is (3 + 50/(-15))*j a multiple of 11?
True
Is (764497/(-115))/(-2*(-1)/(-5))*2 a multiple of 10?
False
Let h = 1165 - 373. Is h a multiple of 9?
True
Does 40 divide -1*(16/(-2) + 29994)/(-2)?
False
Suppose 4*q - 12 = 4*g, -4*q - 49 - 3 = 4*g. Let i be 12/((g/6)/(14/(-21))). I