*r + s - 83 = 0. Does 4 divide r?
False
Suppose 2*p + p = 6. Suppose -5*u + 2*q + 4736 = 0, -3*u - 3*q = p*u - 4746. Suppose -h = m - 238, -m - 2*m + u = 4*h. Does 41 divide h?
False
Suppose 0 = -5*r + 434 + 651. Is r/(-21)*(-1 + -26) a multiple of 20?
False
Let v = 32 - 29. Let u(k) = 11*k**v + 2*k - 9*k**2 - 8*k**3 - 3*k - 7. Is 20 a factor of u(5)?
False
Suppose 4*s + 6 - 2 = 0, -5*s - 7 = -d. Suppose -d*t + 362 = -3*t. Is 25 a factor of (-1)/((6 + -4)/t + 0)?
False
Let f = -16 + 17. Let h = 637 + -451. Is (-6)/(-12)*h/f a multiple of 27?
False
Let q be -2 + (0/2 - -2). Suppose h - 7*h - 1494 = q. Is h/(-2) + (-25)/(-50) a multiple of 14?
False
Let i(g) = -g**2 + 16*g + 20. Let m(r) = -r**2 + 17*r + 18. Let y(z) = -4*i(z) + 5*m(z). Does 5 divide y(21)?
True
Let y(p) = 13*p**2 - 22*p + 17. Let u be y(12). Let f = -518 + u. Is 9 a factor of f?
True
Let b(m) be the first derivative of m**5/24 - 2*m**4/3 + 5*m**3/3 + 6. Let z(k) be the third derivative of b(k). Does 10 divide z(15)?
False
Let j(r) = r**3 - r**2 + r - 4. Let s be j(2). Suppose 0 = s*f - 195 + 25. Is 17 a factor of f?
True
Let f(x) = -14*x**3 - 39*x**2 - 253*x - 14. Is 8 a factor of f(-6)?
False
Let n(s) = -365*s - 99. Let g(i) = -183*i - 49. Let w(q) = -9*g(q) + 4*n(q). Does 17 divide w(5)?
False
Let s(w) = 144*w + 374. Does 23 divide s(3)?
False
Let q = 5382 + -5375. Let n = 2055 - 1033. Suppose n = 14*o - q*o. Is o a multiple of 32?
False
Let s = 61 + 17. Suppose 0 = -18*o + 11*o + 588. Let z = o - s. Is 4 a factor of z?
False
Suppose -3*u - 15 = 3*v - 0, 0 = 2*v + 10. Let b(j) = j**2 + j + 2. Let g be b(u). Does 27 divide (0 - -2)*27 + g + -3?
False
Suppose 3*s - 91 = 5*v, 2*s = -3*s + 10. Let u(f) = -12*f - 120. Does 2 divide u(v)?
True
Suppose 3*n - 38 = -5*d, -d - 8 = -3*d. Suppose -3*a = -b + n*b - 1047, -2*a - 2 = 0. Is 10 a factor of b?
True
Let r = 7075 + -4620. Is 82 a factor of r?
False
Let v(y) = -3*y + 0*y - 20*y**2 - 3 + 21*y**2. Let s be v(-1). Is 1 - (-75 - -1)/s a multiple of 15?
True
Let b be ((-26)/(-5))/((48/20)/12). Is 7 a factor of (4/(-6))/(b/(-10374))?
True
Suppose 15732 = -5038*l + 5047*l. Is l a multiple of 38?
True
Let v = 3 - -1. Suppose v*s + 10 - 46 = 0. Suppose s*t - 1900 = -t. Is 33 a factor of t?
False
Suppose 2*o = 990 + 832. Let g = 84 + 27. Suppose o - g = 5*x. Is x a multiple of 16?
True
Suppose -14 = 2*q - 9*q. Suppose -l + 0*l = -q*i - 164, -2*i - 164 = 2*l. Let o = i - -133. Does 7 divide o?
False
Suppose -4*n + 7*n - 2*t = 15319, -5*t = 25. Does 21 divide n?
True
Suppose 27313 = 7*b + 2*b - 2297. Is b a multiple of 35?
True
Let d(g) = 2*g**2 - g**2 - 3*g**3 + 14 - 9 + 5*g. Let i be (1 + -5)/(-1) + -6. Is d(i) a multiple of 9?
False
Let r(k) = k**3 - k**2 - 23*k - 8. Let i be r(-4). Suppose -4*j + i*h + 280 = 0, -4*h + 185 = 4*j - 111. Is 12 a factor of j?
True
Let y = 35 + -34. Let q = y - -29. Suppose 8*v - 3*v - 5*s = q, -s - 16 = -3*v. Is v a multiple of 5?
True
Let q = 79334 - 49354. Is 20 a factor of q?
True
Let s(a) = 8*a - 28. Let l be s(4). Suppose 3*n - 8 = 7, l*n = g + 34. Is ((-1260)/(-98))/((-2)/g) a multiple of 10?
True
Let i(x) = -2*x**2 + 28*x + 32. Let o be i(15). Let b be 10/20 - o/4. Suppose 9*g - 5*g - 188 = b. Is g a multiple of 7?
False
Let z(g) = -2*g + 19. Let f be z(12). Let u = -58 + f. Let o = u - -73. Is o a multiple of 2?
True
Let a = -718 - -724. Let w(f) = 4*f**3 - 26*f**2 + 12*f + 14. Is w(a) even?
True
Suppose 11*x - 15*x + 3020 = 4*s, 5*x = 5*s + 3745. Let l = 1062 - x. Does 53 divide l?
False
Let x(l) = 2*l**2 + 23*l + 17. Let u be x(-17). Suppose 100 = 2*y + 4*m, 3*y + 66 = -2*m + u. Suppose 5*h + y = 449. Is 14 a factor of h?
False
Let a(s) be the third derivative of 19/60*s**5 + 7/2*s**3 - 1/120*s**6 + 0 + 0*s - 13/24*s**4 + 18*s**2. Is a(18) a multiple of 14?
False
Suppose -2*v + 0*v - 20 = 0. Let d be 2*1/v + 18/(-10). Does 18 divide d + 1 + -1 + 20?
True
Suppose -103*o - 5*v - 73615 = -106*o, -3*v = 3*o - 73623. Is 30 a factor of o?
True
Let r(u) = 10*u**2 - 89*u - 677. Is 231 a factor of r(-25)?
False
Suppose 0 = 5*t + 3*s - 1231, 5*t - 12 = -s + 1225. Is t a multiple of 62?
True
Suppose -f = 4*g + 1172, 2*g = 11 - 1. Let b = -748 - f. Does 41 divide b?
False
Let l(h) = -43 + 101*h + 44*h + 58. Does 7 divide l(4)?
True
Suppose q + 169 - 172 = 0. Suppose 5*y - 199 = -q*a + 151, -3*y + 452 = 4*a. Does 22 divide a?
True
Suppose -135 - 150 = -5*h. Let l = 68 - h. Suppose -b - 1920 = -l*b. Is 48 a factor of b?
True
Suppose 15778 = -47*w + 74152. Is w a multiple of 27?
True
Let t(q) = 16*q + 20. Let j be t(0). Is 34 a factor of 3 + ((-5)/j)/((-1)/1348)?
True
Let v = 22 - 16. Suppose -5*p = -3*b - 32, -4*p + 23 + v = b. Suppose 2*z - p*z + 53 = 2*d, -2*d = -4*z - 62. Is d a multiple of 6?
False
Let j(d) = -10*d**3 + 9*d**2 + 14*d + 1. Is 37 a factor of j(-5)?
True
Let t = 15399 - 7437. Does 45 divide t?
False
Let f(z) = -31*z**2 + 1013*z - 12. Is 6 a factor of f(19)?
False
Suppose 9*g = 38*g - 27*g - 12022. Is 23 a factor of g?
False
Let z be -3*(-100)/(-30)*(-1)/2. Suppose -3311 = -z*y - 826. Suppose 2*p = 4*m - 0*p - 658, 3*m + 2*p - y = 0. Does 11 divide m?
True
Let g be 39/21 - 4/(-28). Suppose 4*h - 1968 = -g*h. Is h a multiple of 41?
True
Suppose -4*r + 5*u + 1 = -r, -5*r + 15 = 5*u. Is 44 a factor of 2 - (r - (38 - -6))?
True
Suppose -2*k - 3*o + 37 = 0, k - 4*o - 23 = -o. Suppose 137 = -3*g - 5*y, 2*y + 2*y - k = 0. Let v = 28 - g. Does 15 divide v?
False
Suppose 6*i = 3*i + 5*x + 97, 0 = -3*x - 6. Suppose i*c - 32*c = -1350. Is 18 a factor of c?
True
Suppose 4*x - 20 = 4*n, 0*n = 4*x - n - 20. Suppose -2*r = -10, -2*g - 11 - 614 = -x*r. Let u = g - -428. Does 32 divide u?
True
Let h = 655 + -35. Suppose s - 3*l = 301, 2*s + 4*l - h = l. Is 28 a factor of s?
False
Let y(t) = -t**3 + 2*t**2 - 20*t + 43. Let x be y(2). Suppose 0*h - 5*h + 365 = 0. Suppose -x*k + 29 = a - k, 3*a - h = k. Is 13 a factor of a?
False
Let i(b) = -5*b + 55. Let f(o) = -15*o + 161. Let q(g) = -2*f(g) + 7*i(g). Does 31 divide q(-6)?
True
Suppose 6*y - 50*y + 132 = 0. Suppose 2*n = h - y*n - 77, 0 = 5*h + 4*n - 327. Is h a multiple of 2?
False
Suppose 27*i = 163 - 28. Suppose -3*v - i*q = -6, -3*v = -0*v + 3*q - 12. Does 3 divide v?
False
Suppose 18*g - 13*g + 75 = 0. Does 9 divide (3/g - (-1098)/(-60))*-6?
False
Suppose 45*q = 81*q - 24*q - 236196. Does 260 divide q?
False
Let p be 17/5 + -1*(-15)/25. Let q be p/(-32)*-14*4. Suppose 2*f = q*f - 400. Does 9 divide f?
False
Let x = 179 + -177. Suppose 5*f - 710 = -x*s, 127 = 2*f + 3*s - 168. Does 9 divide f?
False
Let o(m) = 2*m**3 - 5*m**2 - 2*m + 17. Suppose 34 - 82 = -r. Let z = r - 43. Does 19 divide o(z)?
False
Let j be ((-6)/(-24))/(5/(-8))*-10. Let y be j*(-2)/12 + (-754)/(-6). Suppose 3*q = -2*d + y, -3*d - 42 = -5*q + 141. Is q a multiple of 6?
False
Let k = -20 - -41. Let c be (18/12)/3 + 4/(-8). Suppose c = t - 60 - k. Is 9 a factor of t?
True
Does 39 divide (-273861)/(-270) + 24/(-80)?
True
Let h = -27 - -24. Let v = h - -7. Suppose -4*m + 272 = -m - s, v*m + 5*s - 388 = 0. Is 23 a factor of m?
True
Suppose -5*y + 10841 = -2*b, 48*y + 8671 = 52*y - b. Does 9 divide y?
False
Is (-1117584)/(-396) - ((-35)/(-11) - 3) a multiple of 83?
True
Suppose 0 = 4*r + x - 900, -5*r - 190 + 1316 = x. Suppose 2*s + s - 238 = -5*u, 3*s - u = r. Does 3 divide s?
False
Let n = -17 - -19. Suppose 3*j - 11 = f, -7*f + n*f + 3*j = -5. Let g(w) = 3*w**2 + 2*w - 6. Does 25 divide g(f)?
True
Suppose -22*r + 23*r + 3*o - 6064 = 0, -4*r + 5*o + 24324 = 0. Is r a multiple of 19?
False
Suppose -2*b = -n + 2*b - 28, 0 = n - 3*b + 28. Let c = 28 + n. Suppose i + c*i = 51. Is 17 a factor of i?
True
Let t = -8139 + 16555. Is 39 a factor of t?
False
Suppose -53*j - 74*j + 503542 = 54*j. Is j a multiple of 107?
True
Suppose -s + 6*q - 2*q - 9 = 0, s = q + 3. Suppose 0*w - w + s = 4*l, 22 = -2*w + l. Does 18 divide ((-21)/w - 2)/(3/639)?
False
Suppose -4*s = -3*s - 664. Suppose 2*g + s = 10*g. Let b = g - 56. Does 27 divide b?
True
Let p be (-8)/(-12)*(-4 - -22960). Suppose -3880 = 17*x - p. Is x a multiple of 42?
True
Suppose 6*v = 9*v + 9, -5*p + v = -883. Suppose 0 = -3*x - u + p, -2*u - 188 = -3*x - 0*u. Does 5 divide x?
True
Is 858622/35 + 2 - (-44)/(-770) a multiple of 141?
True
Let p = 