le of 20?
False
Suppose 2646 = -3*b + 10710. Does 74 divide b?
False
Suppose -11*j - 8 = -52. Suppose 5*s = j*b - 592, 56 = 3*b + 5*s - 353. Is 4 a factor of b?
False
Let d be -1 + ((-37)/(-3))/(11/33). Suppose 31*n = d*n - 2100. Is 7 a factor of n?
True
Is 14 a factor of (-6 - 39/(-6))*9314 - -2?
False
Suppose 2*f = 2*j, 0*j + 5 = -j - 4*f. Let r(s) = 15*s - 1. Let t(n) = -28*n. Let z(p) = -2*r(p) + t(p). Does 15 divide z(j)?
True
Suppose -81*r + 48300 = -67*r. Does 69 divide r?
True
Let a = 9788 - 9773. Let i be -2 + 0 + 1 - -268. Suppose a = 3*n - i. Is n a multiple of 11?
False
Suppose -4*a + 2*g + 68802 = 0, -138*g = 5*a - 135*g - 86019. Does 35 divide a?
False
Let p = 14 + -9. Suppose -2*b = -5*b + 2*u - 13, -p*u + 15 = -4*b. Is 53 - 5/(b/4) a multiple of 19?
True
Let u(f) = 2*f**2 - 4*f - 2. Let a(l) = 6*l + 33. Let q be a(-11). Let p = q - -27. Does 8 divide u(p)?
False
Let p(b) be the first derivative of 3*b**2/2 - 64*b - 15. Let j be p(21). Let r(d) = -152*d - 11. Does 18 divide r(j)?
False
Suppose -10*v + 4425 = -9*v - 3294. Does 15 divide v?
False
Let a = 29097 - 25465. Does 8 divide a?
True
Suppose -3*w - 4*m = -5*w + 914, -4*m = -w + 449. Suppose 5*s - w = -2*j, -2*j - 730 = -5*j - s. Is 35 a factor of j?
True
Let v be 241/5 + 4 + 3/(-15). Is 5/(-4) + 58305/v a multiple of 70?
True
Let y(m) = -m**2 + 25*m - 24. Let p(d) = d + 8. Let h be p(-5). Let l be 20/h*(-66)/(-44). Is y(l) a multiple of 9?
True
Suppose h + 249 = 4*h. Let r = 90 - h. Suppose 505 = r*g + 36. Is g a multiple of 43?
False
Is 208 a factor of (23 - 73/3)/(4/(-25746))?
False
Suppose 5*i - 16497 = -1487. Is 38 a factor of i?
True
Suppose 20 = 2*t + 20. Suppose -4*c - 18 = -2*a, -2*c = 3*a - t*c - 35. Suppose 0 = -b - 3*h + 45 - a, -170 = -5*b - 5*h. Does 13 divide b?
False
Suppose -372452 = -163*n + 172946. Is 14 a factor of n?
True
Let h(r) = 21*r - 82. Let i(j) = 20*j - 82. Let n(p) = 5*h(p) - 6*i(p). Is n(0) a multiple of 25?
False
Let j be (6/8)/((-1)/(-4)). Suppose u + j*u - 16 = 0. Suppose 307 = 10*h - 8*h - c, -20 = u*c. Is h a multiple of 15?
False
Let s(i) = -3. Let x(z) = z**2 + 2*z + 1. Let v(f) = -s(f) + 3*x(f). Is 5 a factor of v(-4)?
True
Suppose 0 = s + 1 + 34. Let u = -30 - s. Suppose 15 = w - u*t, 2*w = 4*w + 4*t - 58. Is w a multiple of 3?
False
Let o(p) = 79*p**2 - 33*p - 37. Is 16 a factor of o(-7)?
False
Let n(x) = -149*x + 8. Let c be 13/((-52)/(-24)) + -9. Does 76 divide n(c)?
False
Suppose -v + 4*v = 819. Is v + -13 - -1*4 a multiple of 66?
True
Let s = 72 + -144. Let m = s - -76. Suppose -m*u = u + 4*j - 100, 2*u - j = 27. Is 4 a factor of u?
True
Suppose -2*q = -0*q + 2. Suppose 6*b + 13 = 3*b - 4*z, 2*b - 3*z = -3. Is (22 + q)*(-8)/b a multiple of 14?
True
Let g = -2 + 7. Suppose 0*c - g*k + 1699 = 4*c, -1283 = -3*c + 5*k. Let m = -272 + c. Is m a multiple of 22?
True
Suppose -85717 = 14*z - 17817. Is 101 a factor of (42/(-126))/(2 - z/(-2424))?
True
Let q(x) = 2*x**2 - 81*x - 475. Is q(70) a multiple of 43?
True
Let w(c) = 7*c + 13. Let z(t) = t. Suppose -4 = 7*i - 3*i - 5*h, 4*i + 4 = 3*h. Let d(f) = i*w(f) - 4*z(f). Is d(-3) a multiple of 5?
True
Suppose -410 = -4*y + 2*y + 2*n, 0 = -3*y + 2*n + 616. Let q = -94 + y. Does 7 divide q?
True
Let w = 42420 - 27664. Is w a multiple of 134?
False
Suppose -14*x + 13095 = -38258 - 21727. Does 36 divide x?
True
Suppose 1747*d - 1746*d - 5*f = 1931, 5*f - 7724 = -4*d. Is 3 a factor of d?
False
Let y be (-8)/(-52) + (-56962)/(-26). Suppose -4*h + y = 2*o + 215, 0 = 5*h - 3*o - 2448. Is 3 a factor of h?
True
Let o = -43 + 48. Suppose 0 = 4*k + o*w - 92, 0 = -k + 5*w - 11 + 34. Suppose j + 6*t - k = t, 0 = -2*j + 2*t + 106. Is 12 a factor of j?
True
Let i(m) = 33*m**2 - m - 6. Let f be i(-2). Let k = 42 + f. Suppose k = 5*p + 3*a - 555, -725 = -5*p - a. Is p a multiple of 29?
True
Let i(u) = -u**3 - 9*u**2 - 40*u - 57. Does 95 divide i(-16)?
True
Let x = -2 - -125. Suppose -i + x = 23. Suppose 0*y + y - i = -5*b, 4*y - 320 = -4*b. Is y a multiple of 15?
True
Suppose 10 = -2*s - 3*x, 2*s = 4*s - 2*x - 10. Let j be (-1374)/(-6 + (5 - s)). Suppose 5*o + j = 3*l, 0*l - 3*o = 5*l - 1145. Is 29 a factor of l?
False
Let n(r) = 2*r - 21 - 5*r + 7 - 2*r. Is 3 a factor of n(-7)?
True
Let o(j) be the third derivative of j**5/15 - j**4/3 + 52*j**3/3 - 2*j**2 + 22*j. Is 4 a factor of o(7)?
True
Suppose -7*t = 705 + 1857. Let h = 570 + t. Is h a multiple of 12?
True
Suppose 0*p - 35879 = -24*p + 19585. Is 2 a factor of p?
False
Is 31 a factor of (-1276)/(-154)*((223 - 4) + -2)?
True
Suppose -2*m = 4*i - 21216, -3*m - i + 32478 = 679. Is m a multiple of 25?
False
Let h be (6/(-4))/((-3)/66) + -1. Suppose -2*v = -h + 152. Let j = -32 - v. Is j a multiple of 12?
False
Suppose -8 = 2*r, -5*t + 908 = 3*r - 1150. Suppose -q + 3 = 1. Suppose 9*b - 2*f = 5*b + t, -4*f + 182 = q*b. Is b a multiple of 6?
False
Let v(c) = 472*c**2 + 91*c - 3. Is v(-1) a multiple of 18?
True
Is 23 a factor of (5/80*2 + 60/32)*1427?
False
Let j = 22188 - 17736. Is j a multiple of 21?
True
Let g(l) = -l**3 - 9*l**2 - 9. Let j(z) = z**3 - 4*z**2 + 3*z - 22. Let q be j(4). Is g(q) a multiple of 2?
False
Does 191 divide (((-2512)/(-6))/(-2))/((-3)/(-1800)*-8)?
False
Let b = -6184 - -7809. Is 5 a factor of b?
True
Let w = -6558 - -10776. Does 2 divide w?
True
Suppose 7*x - 8*x = -i + 3845, 3*x - 15387 = -4*i. Suppose -39*s + 45*s - i = 0. Does 79 divide s?
False
Let u = 3355 - 1796. Is u a multiple of 3?
False
Does 10 divide -592*(5 + ((-2828)/16)/7)?
False
Let m = 730 + -343. Suppose 3*o - m + 18 = 0. Let l = -59 + o. Is l a multiple of 9?
False
Suppose 2*c - 3*d - 13 = 2*d, 23 = 2*c + 5*d. Let t be (171/(-95))/(1/(-5)). Let a = c + t. Is 6 a factor of a?
True
Let t(y) = -y**3 - 13*y**2 + 20*y + 35. Let a be t(-15). Let q = a + 52. Suppose -2*c + 5*x + q = 0, -2*x + 231 = 3*c - 153. Is c a multiple of 18?
True
Is 62 a factor of ((-25)/50)/(5/(-54290))?
False
Suppose 4 - 16 = -4*i. Let x be (-6 - i/(-1)) + -1 - -3044. Does 21 divide (-2)/9 - x/(-72)?
True
Let c(x) = -x + 10. Let k(d) = 4*d - 41. Let a(p) = 18*c(p) + 4*k(p). Let l be a(6). Suppose -2*g = -3*b - 68, 5*b - 60 = -2*g + l*b. Is g a multiple of 13?
False
Suppose 0 = 3*o - q - 47541, -o + 4*q - 9*q = -15847. Is 10 a factor of o?
False
Suppose -3700687 - 44900 - 32145 = -526*j. Is 245 a factor of j?
False
Let y(d) = -d**3 + 9*d**2 + 14*d - 8. Let v = 24 - -26. Suppose 12*i - 7*i = v. Is 11 a factor of y(i)?
False
Suppose -4*u - 6 = -22. Suppose 4*z - u*h - 476 = 0, -5*h + 5 = 30. Suppose 4*l = -l - r + 622, -l + 5*r + z = 0. Is 6 a factor of l?
False
Suppose -134*u - 16076 = -138*u + b, -2*u + 8024 = -4*b. Does 15 divide u?
True
Let r(c) = c - 7. Let k be r(-5). Let j = 14 + k. Suppose 4*x - 3*w - 17 = 7, -j*w = 2*x - 26. Does 3 divide x?
True
Is 3 a factor of 12*160/(-420)*-91?
False
Let f(d) = d**3 - 4*d**2 - 2*d + 2. Suppose n - 30 + 27 = 0. Let m be f(n). Let b(z) = z**2 + 10*z - 9. Is 10 a factor of b(m)?
True
Let c(z) = 42 + 123*z - 1 - 2. Let y be c(-5). Let r = y - -837. Does 45 divide r?
False
Suppose -6*q + 16 - 4 = 0. Suppose -1 = 2*s - q*i - 3*i, 3*i = 3. Let a(w) = 3*w**3 - w**2 - 3*w + 2. Is 4 a factor of a(s)?
True
Let u(v) = v - 110. Let m(r) = -2*r + 112. Let t(b) = -6*m(b) - 7*u(b). Is 3 a factor of t(5)?
True
Let v(g) = -6*g**3 - 10*g**2 + 83*g + 47. Is v(-11) a multiple of 10?
True
Let q(p) = -p**2 + 66*p - 426. Is q(45) a multiple of 55?
False
Suppose -573*l - 22390 = -568*l. Does 9 divide 3/(-18) + 2/((-24)/l)?
False
Let x = 16624 - 7511. Is 4 a factor of x?
False
Suppose 4*k = 5*u - 218, 5*u - 2*u = -3*k + 147. Let m(b) = -2*b - 12. Let w be m(-4). Let f = u + w. Does 21 divide f?
True
Let v(l) = l**3 - 7*l**2 - 30*l + 9. Let a be v(10). Is (2/4)/(a/4140) a multiple of 12?
False
Let n = -1206 - -301. Let q = 1661 + n. Does 36 divide q?
True
Let c = -514 - -525. Suppose -421 - 932 = -c*q. Is q a multiple of 9?
False
Let m = -5 + -20. Let w(i) = -6 + 7 + 10 + 44*i + 16 + 2*i**2. Is w(m) a multiple of 18?
False
Suppose 13*m - 258 = 808. Let n = 4 - -14. Let a = m - n. Does 14 divide a?
False
Suppose -11*u + 7*u + 28 = 0. Suppose -u*j + 63 + 147 = 0. Is 32 a factor of 6402/j - 3/(-5)?
False
Let g(f) be the second derivative of -17*f**5/20 - f**4/2 - f**3/2 - 7*f**