uppose 5*b + 2*m = 1760, 0 = -4*b - 3*m + c + 723. Is b a multiple of 63?
False
Let j(k) = -k + 11. Let d be j(6). Suppose -d*m + 799 = -2526. Suppose -24*z = -19*z - m. Is z a multiple of 19?
True
Let i be -66*(2/(-6) - 0). Let q(g) = -g**2 + 18*g - 36. Let k be q(7). Let w = k - i. Does 19 divide w?
True
Let q be (-2 - 42/9)/((-21)/5607). Is 21 a factor of -4*(1 + q/(-16))?
True
Let m(i) = -37*i - 23. Let d be m(-2). Suppose -2*c = -2*g - 3*c + d, -g = -c - 24. Is 5 a factor of g?
True
Let m = -31 + 64. Suppose 0 = 9*d + 123 - m. Is 9 a factor of (-411)/(-15) - (-4)/d?
True
Let j(u) = -218*u**3 + 2*u**2 + 6*u + 6. Let t be j(-1). Let b = t + -28. Is 56 a factor of b?
False
Suppose y = 3*y. Suppose -3*s - 3 = y, -h + 2*h + 3*s = 51. Is 11 a factor of (-12)/h - 596/(-9)?
True
Suppose 0*s - 6 = 3*s, 3*t + 2*s = 293. Suppose -t = 9*b - 0*b. Does 6 divide (-13 - b)/(2/(-36))?
True
Suppose -4*l = -6*l - 4. Is 57 a factor of -5 + 1 - (-241)/l*-2?
False
Suppose 0 = -3*x - 2*m - 1, -3*m = x + 3*x. Let r be 2/(-8) - (91/(-28) - x). Is 22 a factor of 3*31*(r + 1)?
False
Suppose 78 = -4*v + 94. Suppose -v*b = -605 + 133. Is b a multiple of 23?
False
Does 28 divide 0 + -2 + 155 + -4 + (-1 - 6)?
False
Let j = 640 - 1054. Let q = -219 - j. Is q a multiple of 5?
True
Let h be 243/567 - 8802/7. Does 9 divide (65/10)/(h/420 + 3)?
False
Let a(l) = 518 - 91 + 27*l - 50. Is 14 a factor of a(52)?
False
Does 18 divide (2/4)/((-17)/(-579564)*1)?
True
Suppose j + 14 = 2*m, -6*m - 10 = -4*m + 5*j. Suppose m*r + 2*n = 18, -n + 3*n + 22 = 5*r. Suppose r*g = 5*w - 24, -4*w + 2*g = -2*w - 8. Is w a multiple of 8?
True
Suppose 333606 - 31534 + 28258 = 5*a. Does 22 divide a?
True
Let q(m) be the second derivative of 31*m**4/12 + m**3/2 + 4*m**2 + 5*m + 3. Does 9 divide q(-2)?
True
Let d(c) = c**3 + 26*c**2 - 4*c - 22. Let t be d(-26). Suppose 3*y - 2 = 4*l + 2, 4*y = 0. Is 15 a factor of l/(-2)*t + 1?
False
Suppose 21689 = n - 3*j, 5*n + 5*j + 35704 = 144189. Does 6 divide n?
False
Suppose -7*h = -44 - 96. Suppose -h*q = -6*q - 4550. Does 25 divide q?
True
Suppose 94*q - 44837 - 2362 - 45485 = 0. Is q a multiple of 17?
True
Let b(q) = q**3 + 3*q**2 - 2*q - 12. Let f be b(0). Let d(r) = -r**2 + 13*r - 23. Let j be d(11). Is (4 + -54)*(j + f/20) a multiple of 16?
True
Suppose -2*c + 3 = 13, 2*c - 7655 = -5*t. Is t a multiple of 11?
False
Suppose -5*d + 3*n + 20402 + 7417 = 0, -22245 = -4*d - n. Is d a multiple of 27?
True
Let n = 11 + -7. Suppose 275 = n*y + t, -2*y + 103 = t - 36. Suppose -19 = -s - 5*l, 5*s - 5*l - y = -3*l. Is s a multiple of 14?
True
Let q(z) = -4*z - 33. Suppose 0 = -5*n - 5*d - 40, 5*n + 0*d + 49 = 4*d. Let v be q(n). Suppose v*u = 226 - 1. Does 15 divide u?
True
Let w = 1380 + 881. Does 7 divide w?
True
Let c be ((-22)/(-5 + 4))/(-2). Let w = -11 - c. Is 23 a factor of w - -180 - (-4 + -1)?
False
Suppose 166*d - 10 = 162*d - 3*z, -d + 4*z + 12 = 0. Let k(t) = 6*t**3 + 5*t**2 - 9*t + 32. Is 9 a factor of k(d)?
False
Let l(g) = -2*g**2 - 1. Let c(o) = 15*o**2 + 11*o + 3. Let x(a) = c(a) + 3*l(a). Is 38 a factor of x(5)?
False
Let d(x) be the first derivative of 9*x**4/4 - 2*x**3/3 + 8*x**2 - 9*x + 64. Does 14 divide d(3)?
False
Suppose 14*h - 91*h - 58*h + 3441150 = 0. Is h a multiple of 64?
False
Let c(n) = n**3 - 23*n**2 + 12*n + 45. Let v be c(21). Let s = v + 637. Is s a multiple of 28?
False
Does 70 divide ((-212)/10 - (71 + -71))/((-2)/680)?
False
Let k be (54/(-12) + 3)*2. Is 7 a factor of 213 + 8/k*12/(-8)?
True
Suppose 11 = -4*c + 23. Let v be (6*(-2)/14)/(c/(-21)). Is 2 a factor of -2 - ((-38)/v + (-1)/(-3))?
True
Suppose 0 = -2*f - 6 - 0, -4*y + 2*f + 10 = 0. Let p(n) = 4*n - 2. Let z be p(y). Is -9 + 10 + 8 + z a multiple of 2?
False
Let j(k) = 13*k + 68. Let b be j(-5). Suppose -b*g + 42 + 15 = -3*o, 2*g = 3*o + 37. Is 20 a factor of g?
True
Suppose 0*y + 3*y = 6. Suppose 0 = j + 4*t - 361, 0 = y*j + 4*t + t - 728. Is 16 a factor of j?
False
Is 4 a factor of 4650/50*(0 + 88/6)?
True
Let w be ((-177)/4)/((-8)/((-1600)/(-30))). Suppose -6120 = 285*c - w*c. Does 9 divide c?
True
Let t = 103 + -100. Suppose 3*o - 379 = -m, m - 375 = -2*o + t*o. Is 17 a factor of m?
False
Suppose 0 = 15*v - 258 - 357. Let f = -17 + v. Is 3 a factor of f?
True
Let c be (7942/57)/(1/6). Is c/66*(-99)/(-6) a multiple of 6?
False
Suppose -852 = -79*g + 75*g. Let b = g - 114. Does 7 divide b?
False
Let j be -794*2/((-12)/9*3). Let l = j + -188. Is 35 a factor of l?
False
Let d(b) = 22*b**2 - 157*b + 27. Is d(10) a multiple of 10?
False
Let r be (-24)/60 - 27/(-5). Suppose -w + r*l - 92 = -332, -5*l = 5. Is 4 a factor of w?
False
Let n be -1*(-2 + 2)/(-3). Let c(a) = 3*a + 61. Let h(v) = 5*v + 92. Let d(s) = -7*c(s) + 5*h(s). Does 21 divide d(n)?
False
Suppose -9*s = -4*s - 480. Suppose 3*w - 2*r - 255 = 0, w - s = -3*r - 0*r. Suppose 15*j - w = 14*j. Is 29 a factor of j?
True
Let w(i) = -4*i**3 + 97*i**2 + 102*i - 15. Is w(25) a multiple of 15?
True
Let a(d) = -d**2 - 16*d - 1. Let z(u) be the first derivative of -3*u**2/2 + u - 24. Let l be z(3). Is a(l) a multiple of 21?
True
Let a = 330 - 105. Suppose -2*o + a = -3*o. Let j = -150 - o. Is 15 a factor of j?
True
Suppose -5*h - 6*h = -616. Suppose h*r - 50*r + 3036 = 0. Is 8 a factor of r/(-33) + 4/6?
True
Let a(p) be the second derivative of p**4/12 - 4*p**3 + 19*p**2 + 68*p. Is a(23) even?
False
Let t = -20 + 26. Suppose 0*a = t*a - 12. Suppose 27 - 3 = a*m. Is 12 a factor of m?
True
Suppose r + 5*d - 18 = -3*r, -5*d - 3 = r. Suppose 4*t - 19 = -r. Suppose -4*f + t*f = -19. Is 7 a factor of f?
False
Let b = 654 - 657. Let g(d) = 163*d**2 - 10*d - 9. Does 62 divide g(b)?
True
Suppose -2*n - 5*m + 9345 = 0, 2*n = -2*m + 3*m + 9363. Does 57 divide n?
False
Let u(p) = 2*p**2 - 7*p - 7. Suppose -34 = -5*r + 4*t, 2 = -3*t - 1. Let a be u(r). Let x = a + 5. Is 3 a factor of x?
False
Let u(p) be the second derivative of -287*p**5/20 + p**4/4 - 3*p**2/2 + p + 17. Is u(-1) a multiple of 16?
False
Let i(s) = -s**3 + s + 1. Let m be i(0). Let r(q) = -274*q**3 - q**2 + q. Let n be r(m). Let j = -154 - n. Does 30 divide j?
True
Let t = -3062 - -3322. Suppose 0*b - 141 = b. Let i = t + b. Is i a multiple of 16?
False
Suppose -84*d - 32676 = -98*d. Does 182 divide d?
False
Suppose 5*z + 5*o = -2045, -2*z + 0*z = -2*o + 806. Let f = z - -725. Does 34 divide f?
False
Suppose -2392 = 8*q + 9*q - 30*q. Does 46 divide q?
True
Suppose 0 = -f - f + 302. Suppose -69*x - 1525 - 6962 = 0. Let j = f + x. Is 14 a factor of j?
True
Suppose -2*k = 3*i + 3*k + 10, -2*i - 3*k - 6 = 0. Suppose -5*d + 4 + 16 = i. Suppose d*n = 2*h - 73 - 3, n = h - 43. Is h a multiple of 8?
True
Let j = -723 - -14451. Suppose 7*b = -15*b + j. Is b a multiple of 26?
True
Let l(b) = b**3 - 7*b**2 - 3*b - 34. Is 13 a factor of l(16)?
False
Let g = -9 + 59. Suppose -i - 31 = -g. Does 7 divide i?
False
Let w(a) = a**3 + 7*a**2 + 2*a - 9. Let b be w(-7). Let m = 110 + b. Is 11 a factor of m?
False
Suppose 5*j - 4*q + 12 = -0*q, 6 = 2*q. Let h be ((-1)/(-2) - 1)*j. Suppose h = -z - 6 + 33. Is z a multiple of 16?
False
Suppose 6*p + 458 = 344. Is 28 a factor of p/(1235/(-5190)) + 2/13?
False
Let x = 7102 + -5794. Is x a multiple of 103?
False
Let g = -4795 + 7109. Is g a multiple of 89?
True
Let b(w) = 126*w**2 + 6*w - 6. Let v be b(2). Suppose 4*f - 354 = v. Does 27 divide f?
True
Let x(n) = 2*n**3 + 3*n**2 - 72. Let v be x(6). Suppose -r = -172 - v. Is r a multiple of 32?
True
Suppose 2083560 = 294*x + 305448. Is 36 a factor of x?
True
Suppose 195*z + 8899 = 184*z. Let v = z + 1377. Is v a multiple of 32?
False
Let o(i) = 106*i + 276. Is 43 a factor of o(12)?
True
Suppose 45*t + 33*t - 73*t = -25. Let u(i) = 2*i**3 + 5*i + 2*i - 5 + 9*i**2 - i**3. Is u(t) a multiple of 20?
True
Let t(a) be the second derivative of a**7/56 - a**6/720 - a**5/120 - a**4/12 - 16*a. Let f(o) be the third derivative of t(o). Is 27 a factor of f(1)?
False
Let s = -412 - -711. Let p be (8/(-40))/((-4)/(-10))*0. Suppose -5*u + s + 16 = p. Is 21 a factor of u?
True
Suppose 2*g - 3*z = 1845, 149*g - 154*g + 5*z = -4595. Does 24 divide g?
True
Let u = -262 + 488. Let d = u + -50. Is 20 a factor of d?
False
Suppose -3*d + 487 - 1 = 0. Suppose d = -2*h - h. Let s = -37 - h. Does 8 divide s?
Fals