9. Let o be y(2). Let c = 212 - o. Does 16 divide c?
False
Suppose -4*q + 3084 = 76*f - 80*f, 2*q - 1507 = -3*f. Is q a multiple of 2?
True
Let y(f) = -2197*f - 46. Is y(-3) a multiple of 35?
True
Let g = 71 + -69. Let s(p) = 7*p**2 - 3 - 4 - g*p**2 + 5*p - 2*p**2. Is s(-6) a multiple of 12?
False
Let h(t) = t**3 - t**2 + 4*t + 4. Let y be h(4). Suppose -51*c + 4815 = -6*c. Let x = c - y. Does 14 divide x?
False
Let c = -141 + 359. Suppose -11*s + 15*s = i - 223, -i + 3*s + c = 0. Does 56 divide i?
False
Let x(a) = 2*a**3 - 4*a - 5. Let d be x(-2). Let t = -13 - d. Suppose 0 = -s + 2*m + 178, t = -s - 2*m + 120 + 66. Is s a multiple of 26?
True
Is 35 a factor of 13770/3 - (32 - 16)?
False
Is 35 a factor of 190694/12 - (1 - 0)/6?
False
Suppose 39*u - u - 104172 + 19470 = 0. Is 64 a factor of u?
False
Let j(n) = 472*n + 364. Is 79 a factor of j(24)?
True
Suppose -3*g = -3*u - 56031, -36*g + 35*g + 18682 = 4*u. Is g a multiple of 29?
False
Let b(n) = 27*n + 17653. Is b(-161) a multiple of 4?
False
Suppose -4*r + 1007 = -5*s, -2*r + s + 218 + 293 = 0. Let m = r + -200. Is m a multiple of 5?
False
Let s = -929 + 11751. Is s a multiple of 13?
False
Suppose 0 = 3*b + u - 801, 2*b + u = -6 + 541. Is 26 a factor of b?
False
Let j = 5890 - 4903. Is j a multiple of 13?
False
Suppose -3*u + 170280 = -3*l, l + 2*l = u - 56762. Does 14 divide u?
False
Let m(k) = -3*k + 29. Suppose 0 = -66*t + 63*t - 21. Let u(b) = -b**2 - 8*b - 7. Let i be u(t). Is m(i) a multiple of 5?
False
Does 46 divide 45/(-165) + (-39474)/(-22)?
True
Suppose 227 + 388 = -5*o. Suppose t + 4*r + 198 = 2*t, -5*r = 3*t - 645. Let m = t + o. Does 11 divide m?
False
Let t(p) = -p**2 - 8*p. Let x be t(-7). Suppose -3*f = 3*a - x*a - 7, f = 4*a - 3. Suppose -5*k - y + 177 = 3*y, f*k - 5*y = 150. Is k a multiple of 10?
False
Suppose -2*t + 592 - 588 = 0. Suppose -3*f = 3*g - 423, 4*f + t*g + g - 563 = 0. Does 13 divide f?
False
Let j = -111 + 113. Suppose j*c - 231 - 49 = 0. Is 27 a factor of c?
False
Let u(a) = 3*a - 1. Let z(s) = -2*s + 1. Let v(b) = -3*u(b) - 4*z(b). Let g be v(-4). Is 12 a factor of 3/((-141)/48 + g)?
True
Suppose -282 = 299*l - 301*l. Is 5 a factor of l?
False
Let p(o) = -15*o. Suppose -f + 301 = 3*r - 0*f, -3*r + 5*f = -313. Let z = -105 + r. Is 22 a factor of p(z)?
False
Let a = -55 + 109. Suppose 0 = -a*u + 46*u + 912. Is 26 a factor of u?
False
Suppose 4*g + 8203 = -5*r + 23478, -3820 = -g - r. Does 3 divide g?
True
Suppose 0 = 8*q - 7*q - 2. Suppose 0 = -q*z - d + 183, -3*d + 189 = 3*z - z. Suppose r = -2*r + z. Does 10 divide r?
True
Let x(s) be the first derivative of 71*s**2/2 + 77*s - 46. Let j be x(10). Suppose 199 = -3*r + j. Does 14 divide r?
True
Let m be (-1 - 1)/(1/7). Let c(n) = -n**3 + n**2 + 4*n + 7. Let k be c(3). Does 13 divide (k/2)/(m/(-1596))?
False
Let x = -5290 - -6126. Is 22 a factor of x?
True
Let t = -194 + 193. Does 26 divide t*(7/(-2) + 4)*-458?
False
Suppose 50*f - 121049 = 116551. Does 72 divide f?
True
Suppose -8*r - 389*r = -107984. Suppose 0 - 10 = -2*g. Suppose -g*i = -i - r. Is i a multiple of 34?
True
Let t(f) = -f**3 - 17*f**2 + 19*f + 23. Suppose -2*x + 2*r - 40 = 0, -4*r + 1 + 7 = 0. Let s be t(x). Suppose s*o = 3*o + 168. Does 21 divide o?
True
Let m(n) = -36*n**3 + n**2 - 2*n. Suppose 12*k - 9*k = 3*f - 18, 6 = -4*f - 2*k. Let g be m(f). Let y = g + 71. Is 34 a factor of y?
True
Let k be (-492)/(-1)*5/(-10)*-2. Suppose a - k = -2*a. Is a a multiple of 36?
False
Suppose -268*w + 37*w = -1254129 - 1198167. Is 9 a factor of w?
False
Let b = -7438 + 11453. Does 6 divide b?
False
Suppose 2*q - 4 = 0, -2*q + 685 = 5*z + 2756. Let f = z + 473. Is f a multiple of 10?
False
Suppose -113 = 12*v + 67. Does 36 divide 11184/(-20)*-1 - (-3)/v?
False
Suppose -1485 = q - 4*q. Suppose -354 = -m - 3*k, -2*k + 588 = 3*m - q. Is m a multiple of 33?
True
Let d(s) = 14*s**2 - 25*s - 18. Is 5 a factor of d(20)?
False
Let w(d) = -29*d - 42. Let b be w(-9). Let k = b - 141. Is 3 a factor of k?
True
Let d = 568 - 566. Suppose 3*p = 2*m - 2269, -d*m - 3402 = -5*m + 5*p. Is m a multiple of 58?
False
Let x be (-3 + 129/12)*4. Let p = x - 37. Is 15 a factor of ((-159)/p)/((-1)/(-2))?
False
Suppose -158 = 9*k - 5. Is 10 a factor of (2 + k)*(-7216)/123?
True
Let d(i) = i**2 + 6*i. Let k be d(-6). Suppose -2*z + k*z = -8. Suppose 2*w - 1 = -z*b + b, b + 28 = 5*w. Is 5 a factor of w?
True
Is 9 a factor of (-97749)/(-15) - (-111)/(-185)?
True
Let b(i) = 2*i**2 - 2*i + 64. Suppose s + 0*s = 0, 2*v = 2*s + 32. Let m = -16 + v. Is 16 a factor of b(m)?
True
Suppose 3*w - 2*c = -3*c + 119, -c - 1 = 0. Suppose -4*u + 2 - 10 = -v, -u - w = -5*v. Suppose 3*i - v = -2. Is i a multiple of 2?
True
Let w = 1001 + -106. Let y = -580 + w. Is y a multiple of 35?
True
Let p(m) = -5*m - 12. Let a be p(-3). Suppose -2*b + 2050 = a*b. Suppose -2*d + 284 = 2*y, -3*d + 4*y - 3*y + b = 0. Does 30 divide d?
False
Let h(d) = -24*d**2 - 1. Let o be h(1). Let r = 82 + -119. Let c = o - r. Does 12 divide c?
True
Suppose -4*u - z + 6634 = 0, -3*z = 4*u - 1567 - 5063. Is u a multiple of 7?
True
Let d = 6 - -8. Does 2 divide (6/d + 1)/((-2)/(-238))?
True
Suppose 2*p - 162 = -16*p. Is 42 a factor of ((-276)/p + -2)*(0 - 18)?
True
Suppose 0 = 2*c - 6*c - 1960. Let x = c + 919. Is 33 a factor of x?
True
Let d be ((-2)/(12/3))/(12/72). Does 35 divide (-11487)/(-63) - d*(-3)/27?
False
Suppose -17*z + 10773 = 2*z. Let b = z - 346. Does 28 divide b?
False
Let i be 2 + ((-21)/(-9))/(1/(-3)). Let q be (-3020)/(-50) - 3/i. Let j = q + 27. Is j a multiple of 5?
False
Suppose -49*f = -55*f + 30. Suppose -f*r - i = -0*r - 48, 5*i = 5*r - 30. Does 3 divide r?
True
Let v(a) = -a**3 + 4*a**2 - a - 4. Let t be v(2). Suppose -y + t*z + 6 = 0, -y + 3*z - 4*z = 3. Suppose y = -2*c + 72 - 44. Is c a multiple of 7?
True
Suppose 29997 - 113765 = -37*g. Suppose 0 = -5*d + 6724 - g. Is 45 a factor of d?
False
Let p(n) = -22*n**2 + 24*n**2 - n - 30*n + 30 + n. Let u be p(19). Suppose -2*k = 3*x - u, -4*x = 5*k - 401 - 40. Is 20 a factor of k?
False
Suppose 312*h + 4 = p + 310*h, 0 = -2*p + 2*h + 2. Suppose -j = 4*f + 19, 2*j + 7 = 4*j - f. Is (p/(-4))/(((-1)/(-130))/j) a multiple of 8?
False
Let o(p) = -5*p**2 - 77. Let j(u) = 5*u**2 + 78. Let l(h) = 6*j(h) + 5*o(h). Does 18 divide l(0)?
False
Let s = -36 + 24. Let a = -8 - s. Suppose -a*k + 2*k + 52 = 0. Is k a multiple of 7?
False
Let a(v) = 22*v - 3. Suppose 30 = 10*s - 100. Let l = -8 + s. Does 23 divide a(l)?
False
Let r be 8/6*(-135)/(-5). Suppose 0 = -6*o + 12*o - r. Suppose o*w = 111 - 27. Does 10 divide w?
False
Let z = -950 + 1314. Does 13 divide z?
True
Let d = 109 + -75. Suppose -37*b = -d*b - 1155. Is 6 a factor of b?
False
Suppose -12*y + 524 = -124. Suppose 3*j - 2*l = -24 + 5, 32 = -4*j + l. Is y/(3 + j/6) a multiple of 12?
True
Let r(l) = 2*l**3 - 6*l**2 - l - 3*l**3 - 4 - 4*l + 3*l**2. Let n be r(-2). Suppose -n*a = -6*a + 184. Is a a multiple of 23?
True
Suppose 3*m = -4*t + 219, -3*t = -5*m - 0*m - 157. Let n = t + -51. Suppose 0 = n*r - 2 - 166. Is 11 a factor of r?
False
Let i(u) = 36*u**2 + 91*u - 284. Is 247 a factor of i(3)?
False
Let m = 1410 + 420. Is 30 a factor of m?
True
Let y(g) = 38*g**3 + 15*g**2 + 28*g - 90. Is y(8) a multiple of 52?
False
Does 77 divide 121200/13 - (805/299)/35?
False
Let t = 5105 - 2348. Is 17 a factor of t?
False
Suppose -4*p - 19 = -11, -5*h + 3*p = -15101. Is 82 a factor of h?
False
Let r(l) = -16*l - 16 + 2*l**2 + 3*l**2 + l**2 - 2*l**2. Let k be r(-7). Let a = 481 - k. Is 27 a factor of a?
True
Let s = 424 - 298. Suppose 0 = -22*y + 19*y - s. Does 6 divide (-836)/(-14) - y/147?
True
Suppose 13*w = 15*w - 144. Let x = 69 - w. Is (4/(-2) + (-408)/18)*x a multiple of 37?
True
Let s(k) = -174*k**3 + 3*k**2 - 1. Let o be s(-1). Suppose -175 - o = -9*q. Does 39 divide q?
True
Suppose 0 = -z - 3*z - 12, -2*z - 3366 = -3*d. Suppose 74*h = 82*h - d. Is 4 a factor of h?
True
Let q(d) = 5002*d - 1820. Does 16 divide q(6)?
True
Let v = -32807 - -59896. Is 17 a factor of v?
False
Suppose -2*l + 6*l + 28 = 3*h, -3*l - 16 = -h. Suppose 0 = t - h*t. Is 11 a factor of 0 + t - 132/(-4)?
True
Suppose -140 = g - 5*g. Suppose 62*x = 55*x - 70. Let t = x + g. Is 11 a factor of t?
False
Let c be (-4)/(-2) + (-6)/(-1). Suppose -c*