224 = -k. Let d = k - -993. Is d a multiple of 58?
True
Let y(t) = -46*t + 3. Let a be y(3). Suppose 40*z + 731 + 109 = 0. Let f = z - a. Does 38 divide f?
True
Suppose 0 = 2*o + 7*o - 72. Suppose 0 = f + 5*s - 64, -o*s + 3*s = -f + 34. Let u = -4 + f. Is u a multiple of 6?
False
Let g(m) = 23*m + 1959. Is g(17) a multiple of 10?
True
Suppose 15 = 2*y + y. Suppose -18 = y*l + 62. Let u = l + 83. Does 20 divide u?
False
Suppose -11*o = 7*o - 72. Suppose -5*g + 0*s = o*s - 96, -3*s = 3*g - 60. Is 2 a factor of g?
True
Suppose -r + 9*r - 6544 = 0. Let s = r + -554. Is s a multiple of 12?
True
Suppose 5*x - 5 = -p - 1, 53 = -4*p + 3*x. Let w(m) = -m**2 - 54*m - 11. Is 14 a factor of w(p)?
True
Let y(d) = 8*d**2 - d - 24. Let h = 249 + -255. Is y(h) a multiple of 30?
True
Suppose 0 = -2*i - s - 239, 0*i - 114 = i - 5*s. Let x = i - -229. Suppose x = 21*c - 16*c. Does 11 divide c?
True
Suppose 592*y = 593*y - 7. Let s(q) = -q**3 + 11*q**2 + 20*q - 12. Is s(y) a multiple of 23?
False
Suppose -1322*q + 44142 = -1280*q. Is q a multiple of 18?
False
Let q be (40/50)/((-2)/5). Let y be 4 + q + (-2 - -4). Suppose y - 148 = -w. Does 24 divide w?
True
Let o = 217 + 2582. Does 10 divide o?
False
Let b(g) = 11*g - 27. Let u(p) = 2*p - 1. Let x = 18 - 21. Let h(l) = x*u(l) - b(l). Is 39 a factor of h(-12)?
True
Let c be (-120)/(-48)*(1 + 1). Suppose 3*h - 20 + c = 0. Suppose 9*n = h*n + 32. Does 4 divide n?
True
Suppose 5689 = t + 22*j, 5*t - 7*t + 11462 = 2*j. Is 91 a factor of t?
True
Let j be -528*18*1/(-4). Suppose j = 22*u + 5*u. Does 4 divide u?
True
Suppose 12*d = 27 + 9. Let w be (d + -5)/(10/25). Let b = w - -23. Is b a multiple of 18?
True
Suppose 0 = -8*t + 55 + 17. Does 73 divide (3 - -524) + -13 + t?
False
Let f(q) = 4 + 276*q - 28*q + 27*q. Is f(1) a multiple of 9?
True
Let p be 238/4 + 6/(-36)*-9. Suppose -73*w + 2292 = -p*w. Is 23 a factor of w?
False
Let s be -1 - ((-12)/(-9))/(12/(-378)). Suppose 0 = -s*k + 44*k - 873. Is k a multiple of 48?
False
Let y be (-2 - -11)/((-21)/(-14)). Let x be (0/(-1 + y))/2. Suppose -3*t + 206 = 5*b - x*b, -2*t = -4*b + 156. Does 5 divide b?
True
Let i = -5796 + 6862. Does 49 divide i?
False
Let y be 1510/(-50) - (-1)/5. Is (-21897)/(-33) - y/(-55) a multiple of 39?
True
Suppose 2*t = 10*t - 7*t - 6413. Is t a multiple of 53?
True
Let g(l) = -29*l - 170. Let f be g(-6). Does 19 divide (266/28)/(f/88)?
True
Let w be 6 - 6 - 6486/6. Let j = w - -1560. Is 28 a factor of j?
False
Let d(b) be the second derivative of b**5/10 - 5*b**4/12 - 5*b**3/6 - 5*b**2/2 + 14*b. Let m = 166 - 161. Is d(m) a multiple of 19?
True
Let i(r) = -36*r + 219*r + 88*r. Is i(5) a multiple of 24?
False
Suppose 142663 = 31*v - 1057781. Does 42 divide v?
True
Does 17 divide 2/10*-30*45138/(-9)?
False
Let g(h) = -2*h**3 + 10*h**2 - 6*h + 6. Let i be g(4). Let k(c) = -3*c + 42. Let m be k(i). Suppose m*z - 342 = -3*z. Is 19 a factor of z?
True
Suppose 3*x = 4*v - 85060, -291*x = -2*v - 294*x + 42494. Is 209 a factor of v?
False
Let m(r) = -9*r**2 + 27 + 9*r + 14*r**2 - 4*r**2. Let f be m(-5). Does 47 divide f*(-1)/(-21) + 236/3?
False
Is 11 a factor of (-336)/21 + 17 - -22488?
False
Let h be (4 - (-1 + -2))/1. Suppose -p = -1 - h. Suppose 11*a - 405 = p*a. Is 27 a factor of a?
True
Suppose -22052 - 22498 = -15*t. Is 66 a factor of t?
True
Let s be 5 - 16/2 - (0 + -1266). Let q = s - 215. Suppose 5*g = -3*g + q. Is g a multiple of 19?
False
Suppose -4*d + 82*q - 77*q = -106150, 6 = -q. Does 26 divide d?
False
Suppose -15*s = -16*s + 6. Let l(y) = y**2 - 4*y + 30. Let d(r) = r**2 - 4*r + 29. Let q(a) = s*d(a) - 5*l(a). Is q(10) a multiple of 21?
True
Suppose 0 = -14*w + 16198 + 63168. Does 2 divide w?
False
Let o = -6563 - -7886. Does 8 divide o?
False
Suppose -17*j + 1042 = 226. Suppose -16*z - 1792 = -j*z. Is 55 a factor of z?
False
Let y(o) be the third derivative of -35*o**4/12 - o**3/2 - 38*o**2 + 3. Is 52 a factor of y(-11)?
False
Let p be 234/78 + -1*3. Does 8 divide (3 - -104 - 1)/(p - -2)?
False
Let y = -53 - -60. Suppose -4*z = -y*z - 312. Is 9/(-2 + (2 - 12/z)) a multiple of 5?
False
Let b(p) = 17*p - 10. Let m(z) = -16*z + 11. Let k = 93 + -99. Let i(w) = k*m(w) - 5*b(w). Does 22 divide i(8)?
False
Let m be (5 + 5)/((-235)/(-233) - 1). Suppose -30*r + 33*r = -3*d + 702, m = 5*r + 4*d. Is r a multiple of 15?
False
Let o(k) = 4*k**2 - 13*k - 15. Let h be o(-1). Is 1645/h*(-56)/(-70) a multiple of 27?
False
Let v be (15/1)/(-5) - (-6)/(-1). Let r(f) = -51*f - 272. Is r(v) a multiple of 11?
True
Suppose 22*m + 50*m - 534909 = -7*m. Does 15 divide m?
False
Let n(l) = -2*l + 20. Let z = -12 - 24. Let g be (16/z*3)/(1/6). Is 12 a factor of n(g)?
True
Let s(d) = 836*d**2 + 39*d + 82. Is 93 a factor of s(-2)?
True
Suppose 3 = -6*w - 57. Let u(y) = 2*y**2 + 11*y + 14. Let v be u(w). Let n = v - 57. Is 4 a factor of n?
False
Suppose 935*f + 9686 = 936*f. Is f a multiple of 133?
False
Suppose 9*q = 4*q + 5*o + 78095, -4*q - 3*o + 62511 = 0. Does 93 divide q?
True
Let q be (0 + 1)/(5/15). Let b(i) = q*i + i + 2*i + 7 - 5*i. Is b(-2) a multiple of 5?
True
Let a(l) = l**3 + 18*l**2 + 14*l + 82. Does 211 divide a(13)?
False
Suppose 5*h = u + 28604, 341 = -4*u + 325. Is 13 a factor of h?
True
Suppose -3*y - 49 = -3*u + 311, -3 = -3*y. Suppose u - 721 = -3*p. Suppose 5*f - p = -0*f. Is 5 a factor of f?
True
Suppose -k + 367*w + 1835 = 370*w, 1835 = k - 3*w. Does 5 divide k?
True
Let d(j) = 2*j**3 - 7*j**2 + 4*j - 10. Let f be 135/6*(-8)/(-6). Let w be (-2*4/(-24))/(2/f). Is 7 a factor of d(w)?
False
Let q(r) be the first derivative of r**2/2 + 86*r + 13. Is 3 a factor of q(26)?
False
Let y = 348 + 104. Suppose y = 643*q - 641*q. Is q a multiple of 6?
False
Let x be 41596/(-14) + 10/70. Let p = -1997 - x. Does 15 divide p?
False
Let x(b) = b**3 + 10*b**2 + 10*b + 13. Let q be x(-9). Let p(j) = 5*j**3 - j**2 - 17. Does 41 divide p(q)?
True
Let m = 51 + -16. Suppose u - 3*v + 103 = -4*u, u - 4*v + 24 = 0. Let s = u + m. Does 3 divide s?
True
Let x(q) = -2*q - 8. Let j be (-148)/18 + 5 + (-86)/18. Let c be x(j). Is (30/(-8))/(c/(-32)) a multiple of 4?
False
Let x(n) = 401*n + 6228. Is x(-12) a multiple of 8?
True
Does 5 divide 2 + 2113 + (-1)/(-3)*-12 + 4?
True
Let u(r) = r**2 - 5*r - 8. Let q(g) = 2 + 148*g - 296*g + 147*g. Let k be q(7). Is 21 a factor of u(k)?
True
Does 13 divide (14053/(-5))/((-152)/10 + 15)?
True
Let n(t) be the first derivative of -27*t**3/2 - 13*t**2/2 - 36*t - 30. Let y(a) be the first derivative of n(a). Does 39 divide y(-3)?
False
Let b = -10 + 10. Suppose b = -2*m - 51 + 49. Let f(p) = -72*p - 1. Is 28 a factor of f(m)?
False
Let b(a) be the second derivative of a**5/20 + 13*a**4/12 + 4*a**3/3 + 5*a**2 - 2*a. Let s(r) = -2*r**2 - 18*r - 28. Let o be s(-8). Is b(o) a multiple of 21?
False
Let a(o) = 19*o**2 - 21*o - 259. Is a(-11) a multiple of 18?
False
Let u(m) = 5*m**2 + 76*m + 601. Is u(-9) a multiple of 9?
False
Suppose 43*j + 1707698 = 141*j + 70706. Is 9 a factor of j?
True
Let m = 220 + -222. Does 51 divide (m + (-1270)/4)*(-10)/5?
False
Let i(x) = 10*x - 1. Suppose -4*c = -0*c + 92. Let s = c - -24. Is 2 a factor of i(s)?
False
Suppose 0 = 9*j - 13*j - 3672. Let p = j + 1335. Does 20 divide p?
False
Let b = 582 - 525. Suppose -2*t = t - 15. Suppose -4*q + t + 51 = -v, 3*v = -3*q + b. Is 3 a factor of q?
True
Let l = -21 - -43. Suppose -9*d + l = -14. Is 20/d*156/10 a multiple of 6?
True
Let a(x) = -5*x + 2. Let u be a(0). Let d(y) = 4 - 20 - 8 - 6*y + u*y**2 + 2. Is 9 a factor of d(-5)?
False
Let j be (-111)/(-12) - 2/8. Let t be ((-134)/(-6))/(-10*(-1)/330). Suppose -2*v + t = j*v. Is v a multiple of 7?
False
Let w = -12085 - -24244. Is 23 a factor of w?
False
Let y(l) = 87*l**3 + 22*l**2 - 4*l + 56. Is y(6) a multiple of 121?
False
Let s(l) = 2*l**2 + 89*l - 11. Is s(-81) a multiple of 49?
False
Is 78 a factor of (-123003)/(-21) + (-28)/98 - (-6 - -13)?
True
Suppose 53*o + 35*o + 154*o - 338800 = 0. Is o a multiple of 7?
True
Let b(s) = -28*s - 33. Let c = 166 - 176. Is 19 a factor of b(c)?
True
Let y = 20 - 18. Suppose -5*i + 2*m + y*m = -69, 2*i + m - 25 = 0. Let c = 3 + i. Is 16 a factor of c?
True
Let d(r) = -144*r - 5478. Does 22 divide d(-65)?
False
Let m = -30 - -33. Suppose 6 = -3*p - j - 2*j, 6 = -3*p + 