q. Is w a multiple of 85?
True
Let b = 13599 + 6883. Does 7 divide b?
True
Let l = 1322 + -395. Let v = -559 + l. Does 46 divide v?
True
Suppose 0 = -2*g + 5*o + 219, 0 = -g - 5*o + 95 + 37. Let p = -92 + g. Does 2 divide p?
False
Suppose 11*r + 74 = 9*r. Let b = r - -82. Let z = b + 107. Is z a multiple of 38?
True
Let q = -5252 + 38131. Is q a multiple of 7?
True
Let b be 34/1*-2*(-60)/48. Suppose -3*m - 61 = -b. Does 2 divide m?
True
Let t(d) = -932*d**3 + 6*d**2 + 25*d + 30. Is 10 a factor of t(-2)?
True
Suppose 194*f - 41*f - 125675 = 14932. Is f a multiple of 7?
False
Suppose -4085 = -i + 2*t, 33*t - 35*t = 5*i - 20425. Is 29 a factor of i?
False
Let m(y) = y**3 + 22*y**2 + 56*y - 17. Let p be m(-19). Is (p - -29) + (-95)/19 a multiple of 6?
False
Let k(z) = -8 + 3*z + 6*z + 21*z - 14. Let y be k(10). Suppose 4*f = -2*m + 562, -f - 4*m + y = f. Does 31 divide f?
False
Suppose 2*b - 18 = 84. Suppose 30 = 9*u - b. Is 15 a factor of u*(132/18 - (6 + -2))?
True
Suppose -157759 = -40*n + 710241. Is 7 a factor of n?
True
Let b be (-105978)/(-174) - 12/174. Suppose 3*a = -3*d + 1611, 4*a + b = d + 57. Is 11 a factor of d?
False
Let q(o) = -o**3 + 13*o**2 - 14*o + 19. Let m = 186 + -178. Is q(m) a multiple of 69?
False
Let r = -31 + 13. Let l(f) = -4*f - 71. Let b be l(r). Does 57 divide b/(-1) + (-2 + -342)/(-2)?
True
Let z(m) = 116*m - 72. Let l be (-18)/54*(-12)/2. Does 5 divide z(l)?
True
Let d(a) = -a**2 + 4*a + 13. Let v be d(6). Is 2/14 + (1404/21 - v) a multiple of 33?
True
Suppose 595 = 3*t - 1184. Suppose -t = -5*o + 207. Is o a multiple of 8?
True
Suppose 34*n - 184*n = -2951100. Is 183 a factor of n?
False
Let t(q) be the second derivative of q**4/6 - q**3/2 + 2*q**2 - 12*q. Let d be t(2). Suppose -260 = -d*h + h. Does 8 divide h?
False
Suppose 0*m = 2*m - 13120. Suppose -5*s + j = 6*j - m, -5*j - 6600 = -5*s. Is (-8)/(-44) + s/22 a multiple of 30?
True
Suppose 2*o - 3*v - 1145 - 139 = 0, 2*o = -4*v + 1312. Does 4 divide o?
True
Let t(d) = 377*d + 3775. Is t(39) a multiple of 184?
False
Suppose 59*p = 26*p + 11055. Is p a multiple of 5?
True
Let a(d) be the third derivative of d**5/60 - 11*d**4/24 + 2*d**3/3 - 6*d**2. Let y be a(10). Is ((-69)/(-1))/(y/(-8)) a multiple of 23?
True
Suppose -398488 = -13*a - 292*a + 383837. Is 14 a factor of a?
False
Suppose 0 = 52*y - 54 - 258. Is 45 a factor of (40/y)/((-84)/(-17010))?
True
Let q be 10/4*(-2460)/(-50). Suppose 5*z + 353 = -5*r - 67, 331 = -4*z + r. Let o = q + z. Does 5 divide o?
True
Let q be (27/9)/((-15)/(-6) - 2). Let x be (4 + (-2 - -3))*q/5. Let m(v) = 29*v + 17. Is m(x) a multiple of 32?
False
Is ((-616)/(-42))/22 - 10454/(-6) a multiple of 21?
True
Let o = -8859 + 13523. Does 35 divide o?
False
Let w = 152 + -282. Let a = -146 + 283. Let m = a + w. Is 5 a factor of m?
False
Let b(o) be the first derivative of -2*o + 10*o + 12 - 10*o - 9*o**2. Is b(-2) a multiple of 8?
False
Suppose a + 15 = 16. Let z be 4 + a + (-15)/3 + 60. Is (24/z*(-170)/1)/(-2) a multiple of 3?
False
Suppose -19*z + 18*z - 3 = 0. Is (3 - 3/z) + 68 a multiple of 8?
True
Let f(o) be the first derivative of 6*o - 1/2*o**2 - 15 + 5*o**3. Does 12 divide f(-3)?
True
Is (33*-4)/(-1)*591*(-2)/(-18) a multiple of 14?
False
Suppose -6*n + 9*n = 9. Suppose n*h = -4*h + 210. Suppose 3*j - h = 18. Does 3 divide j?
False
Let r = 4 + -7. Suppose 5*o - 57 = 3*k, o - 45*k = -47*k + 1. Does 16 divide (o - 7)*37/r*-3?
False
Suppose 0*u + 5*f = 5*u + 15, 2*u - 29 = -5*f. Suppose -u*r + 2*c + 4 = -0*c, r = -2*c + 5. Suppose -45 = -2*h + r*g, 0 = h + 2*g - 5*g - 30. Does 2 divide h?
False
Suppose -g + 33 + 9 = 0. Let z(s) = s**2 + 6*s - 58. Let a be z(-14). Let o = a - g. Is o a multiple of 6?
True
Suppose -2*p - 3*z = -15, 0*p + 21 = 3*p + 3*z. Let w(m) = 66*m - 6. Does 6 divide w(p)?
True
Suppose 223438 + 1686722 = 210*v. Is 24 a factor of v?
True
Let n(u) = 13*u**2 + 27*u + 12. Let f(o) = 4*o - 11. Let m be f(1). Is n(m) a multiple of 10?
True
Let p = -4932 + 10723. Does 79 divide p?
False
Let r = 6607 - -1093. Is r a multiple of 22?
True
Suppose 4*a + 32056 = 2*i, 154*i + 5*a = 153*i + 16042. Is i a multiple of 14?
False
Let d(p) = 5*p**3 - 25*p**2 + 15*p - 113. Does 7 divide d(10)?
False
Suppose 28*y - 56 = -0*y. Suppose -52 = -u - y. Does 28 divide u?
False
Let r(i) = 1181*i - 443. Is r(6) a multiple of 13?
True
Let b = -137 - -137. Suppose -d + 5*q + 431 = -b*d, 2*q - 2074 = -5*d. Is 16 a factor of d?
True
Suppose -8*k + 1336 = -2600. Let x = k - -644. Does 8 divide x?
True
Let c = 1337 + 733. Does 9 divide c?
True
Let r = 7 - -5. Suppose h - 36 = 36. Let x = r + h. Is x a multiple of 24?
False
Let j(q) = -q**2. Suppose -4*p + 4*z + 1 + 15 = 0, 5*p - 12 = 3*z. Let o be j(p). Suppose o = d + r - 17, 4*r - 46 = -d - 2*d. Does 9 divide d?
False
Suppose -115*g = 54*g - 57798. Does 121 divide g?
False
Let j(o) = o**3 - 28*o**2 + 39*o + 68. Is 100 a factor of j(33)?
True
Let a(c) = 11*c**2 + 3*c + 3. Suppose 0 = -5*i + 2*i + 6. Suppose t - u + 5 = 3, 5*u - i = t. Is a(t) a multiple of 19?
False
Let n be 66/30 + (-3)/15. Suppose 65 = -n*h + 77. Suppose -h*x + 77 = 29. Does 7 divide x?
False
Let p(a) = -3*a**3 + a**2 + 3*a + 106. Does 53 divide p(-11)?
True
Let o(a) = 32 - 8 + 17 - 2*a + 5. Let x be o(23). Suppose -4 = -f + 2*f, -5*m + 5*f + 510 = x. Is 16 a factor of m?
False
Does 93 divide 6/10 + (-216)/(-40) + 7792?
False
Suppose 30 = 9*h - 3*h. Suppose 4*s + 5*j + 50 = 0, -2*s - 11 = -2*j + h. Let k(o) = -4*o + 10. Does 27 divide k(s)?
False
Let k be 3/2*(-100)/(-75). Suppose -q + 85 = u - 6*u, k*q + 2*u - 206 = 0. Is q a multiple of 4?
True
Does 16 divide (-181422)/(-21) + ((-760)/(-1540) - 16/(-44))?
True
Let b be (135/54)/((-1)/(-6)). Does 16 divide (36/b)/(-6 + (-36981)/(-6160))?
True
Suppose 3*o + 117 = -o - 5*s, 4*s + 21 = -o. Is 6/(-33) - 699/o even?
False
Let v be (0 - 5)*(-24)/20. Let q be (8 - v)/((-3)/(-627)). Let u = q - 200. Is 17 a factor of u?
False
Suppose -2*x = -5*v - 37643, -144*x + 141*x + 4*v = -56461. Is 53 a factor of x?
False
Suppose -y - 4*x - 44 = -8*x, 4*x - 284 = 5*y. Let m = -60 - -128. Let n = m + y. Does 8 divide n?
True
Let v(w) = 326*w**2 + 206*w + 88. Does 136 divide v(12)?
True
Let a(v) = -10*v + 27. Let s(r) = -3*r + 9. Let f(p) = -6*a(p) + 21*s(p). Let u be f(13). Does 2 divide (-8)/(-2) + u/6?
True
Suppose 1905530 = -361*t + 5467517. Does 121 divide t?
False
Suppose -5*g - 280*w = -276*w - 8641, 5*g - 3*w = 8683. Is g a multiple of 17?
False
Let g(x) = -x**3 + 21*x**2 - 19*x - 18. Let u be g(20). Let s be u/6 + (-119)/(-3) + 4. Does 7 divide s*((-4)/16 + 3)?
False
Let u be (2/8)/((-155)/(-10) + -16)*-88. Let y = 615 + -291. Suppose y = u*o - 40*o. Is o a multiple of 23?
False
Let q be 3*817*(-28)/(-42). Let v = q + -962. Does 56 divide v?
True
Suppose -19 = 4*u - 31. Suppose u*q - 133 = 227. Is 15 a factor of q?
True
Let d(u) = u**3 - 2*u**2 - 2*u. Let f be d(-2). Suppose -176 = -16*h + 12*h. Let v = h - f. Does 14 divide v?
True
Does 11 divide -11*(-7 + -8 + -100)?
True
Suppose 26*j = 24*j + 12. Suppose a = 2*z - 2, -j*a + 28 = 4*z - 2*a. Suppose 5*k = -z*f + 143, 4*k - 35 - 81 = -4*f. Does 14 divide k?
True
Suppose 31*b - 5*f = 35*b, 2*b = -5*f. Let z(t) = -3*t + 348. Is z(b) a multiple of 39?
False
Suppose 1144 = -4*u + 46212 + 4396. Does 50 divide u?
False
Suppose 0*v = -4*y + 4*v, 4*y + 2*v = 24. Let k(o) = -3*o + o**3 + 4*o + 7*o**2 + 6*o + y - 3*o. Does 8 divide k(-6)?
True
Suppose -44*p - 29727 = -209*p + 8883. Does 8 divide p?
False
Suppose 5*k - 19282 - 17482 = 9271. Is 73 a factor of k?
False
Suppose 16 = 116*d - 120*d. Is 12 a factor of (924/(-18))/(d/6)?
False
Suppose 0 = -5*h + 5*a + 13370, 4*a = 5*h - 7025 - 6349. Is 3 a factor of h?
False
Suppose 0 = -8*t + 11*t. Let i(u) = -12*u + t*u**3 + 14 - 9*u**2 + 11 - u**3 - 5*u**2. Does 4 divide i(-13)?
True
Let q(g) = -3*g**2 + 9*g - 53. Let j be q(6). Let m = j - -121. Is m a multiple of 14?
True
Let q be (6/2)/((-24)/(-32)). Let y(p) = -276*p**3 + p. Let c be y(-1). Suppose -c = -q*f + 13. Does 18 divide f?
True
Let c be (-1)/4*1 - (-1474)/8. Let x = c + -130. Suppose -4*r + x = -58. Does 4 divide r?
True
Suppose 5867 = 2*j - 4639. Suppose 2*g + 2*b + j = 7*g, b - 4192 = -4*g. Is g a multiple of 14?
False
Suppose -2*h = 