i - 13 - 5 = -4*g. Suppose 2*y = -i*s + 15, -2*y - s - 2*s = -9. Suppose y = 8*p + 5*p - 117. Is 9 a factor of p?
True
Let a = 2694 + 9979. Does 23 divide a?
True
Let o = 3 - 1. Suppose 0 = 3*w - 3*c - 654, -6*w + 2*w + 880 = -o*c. Is 29 a factor of w?
False
Suppose -49 = -4*l - 37. Let o be (-7 - -5) + 2 + l. Suppose -4*k = -3*j - o*k + 451, -5*j - 3*k + 747 = 0. Is 24 a factor of j?
False
Suppose -2*k - 5*k = -21. Let n be 20/k*(-1209)/(-26). Let l = 569 - n. Is l a multiple of 37?
True
Let c(n) = n + 16. Let l be c(-13). Let u(v) = v**l + 10 + 3*v**2 - 3*v - 13*v**2 + 17 - 3*v. Is 16 a factor of u(11)?
False
Let x be 3 - 2/(-16)*0. Is 4 a factor of 28/((42/28)/(x/4))?
False
Suppose -4*v + 7684 = 4*o, -16*v + 19*v = -9. Is o a multiple of 7?
False
Suppose 12 = 6*q + 72. Is 35 a factor of ((-4)/(-6))/((40/(-3846))/q)?
False
Let m(y) = 13*y**2 - 36*y + 248. Is m(11) even?
False
Let p(w) = -4*w**3 + 3*w**2 + 26*w + 59. Is 35 a factor of p(-10)?
False
Let i be 1/((-24)/(-9) + -3). Is i - -6*((-129)/(-6) - -3) a multiple of 9?
True
Suppose 7 = t + 3. Let d = 106 + -181. Is 15 a factor of ((-2010)/d)/(t/10)?
False
Suppose 0 = -2*s - j + 961, -s + 0*s + 498 = -3*j. Let y = 43 + s. Suppose -5*o = -4 - y. Is o a multiple of 9?
False
Suppose -2*a + 5*v + 7989 = 0, 14*v - 10*v = -2*a + 8052. Does 17 divide a?
True
Suppose -35 + 85 = 10*a. Suppose 4*p + 3*w - 33 = 0, -p = -0*w - 2*w. Suppose -5*o + 76 = 5*q - p*o, a*q = -2*o + 73. Does 5 divide q?
True
Is 7/2*(-347976)/567*27/(-4) a multiple of 27?
True
Let p be 2/(-8) - (-66)/(-24). Is 11/33 - 239/p a multiple of 18?
False
Let w(b) = -59*b**3 - 3*b**2 + 3*b - 2. Let m be w(2). Let c = 4990 + -4978. Is 12 a factor of m/(-27) + c/54?
False
Suppose 9*t - 45988 = -6451. Is t a multiple of 23?
True
Let r(s) = 83*s + 42 - 1 - 73*s + 11. Does 14 divide r(20)?
True
Let c = -21597 - -28113. Does 36 divide c?
True
Suppose -4*i - 23002 = -8*i - 2*g, -5749 = -i + g. Is i a multiple of 23?
True
Let x = 12935 + -7708. Is x a multiple of 218?
False
Let n(q) = -76*q. Suppose 3*r + 8 - 5 = 0. Let v be n(r). Suppose 0 = 2*g - 4*g + 4*a + v, -4*g + 207 = 3*a. Is 8 a factor of g?
True
Suppose -30 = 5*s - 5*p, -3*s - 7*p = -2*p - 14. Let l(f) = -10*f**2 - f - 1. Let a be l(s). Let z = 121 + a. Does 41 divide z?
True
Suppose 0 = -2*w - 8, 2*c - 21388 = -18*w + 15*w. Is 37 a factor of c?
False
Suppose -o + 5*u = -231, -14*o = -17*o - u + 805. Does 3 divide o?
False
Let d = 1425 - 827. Let o be d - (3 - (0 - -3)). Suppose 5*u - o = -2*k, -4*k = -2*u - 92 + 312. Is u a multiple of 18?
False
Let q = 304 + -295. Suppose q*o - 4635 = -6*o. Is o a multiple of 15?
False
Suppose 28*m - 32*m - 872 = 0. Let j be m/12 - 1/(-6). Is 1/(15/j)*-10 a multiple of 6?
True
Let j be -1 - 2/(-2) - -13. Suppose i - 19 = -j. Suppose 0 = -4*u + i*u - 20. Is 6 a factor of u?
False
Let o(i) = -i**3 + 5*i**2 - 5*i + 6. Let u be o(4). Suppose -5*c + n = -850, 7*c - u*c = -2*n + 835. Is 13 a factor of c?
True
Let v(f) = f**3 - 6*f**2 - 7*f + 5. Let x be v(7). Suppose -x*s - 4*a = -a - 90, 0 = 3*a + 15. Does 3 divide s?
True
Suppose -2*d + 2*g = -3*d, 0 = g + 3. Let w be d*21/35 + 6/(-10). Suppose 5*v - 4*v + 85 = 3*l, w*v - 93 = -3*l. Is 29 a factor of l?
True
Let r(s) = -s**3 + 23*s**2 - 3*s + 2. Let z be r(23). Let d = 69 + z. Suppose -5*l + 750 = 3*w, -4*w + 983 = d*l - l. Is 51 a factor of w?
False
Let d = 27 + -23. Suppose 3*k = k + 3*q - 11, d*k + 19 = 3*q. Is 11 a factor of 4 - 73/(4/k)?
True
Suppose 14*i + 10*i - 25*i = -6924. Is i a multiple of 9?
False
Let c = -340 - -865. Is (2 - (-114)/(-9))*c/(-14) a multiple of 25?
True
Let f(m) = m**2 + 30*m + 21. Let a be 13/((5 + -8)*(-1)/(-9)). Is 62 a factor of f(a)?
True
Let x be (-210)/84 - (-3)/2. Is (-22)/(-77)*7 - 198*x a multiple of 4?
True
Let o be (-102)/(-14) - 7 - 2006/14. Let n = o - -195. Is n a multiple of 6?
False
Let d = 23759 - 16434. Is d a multiple of 8?
False
Let p = 9 - 5. Suppose 0 = n - 3*y - y - 28, -p*y + 8 = 2*n. Suppose -n*j = -0*j - 360. Is 30 a factor of j?
True
Let b = 1001 - -16832. Is 57 a factor of b?
False
Let b(c) = -6*c**3 - 159*c**2 - 53*c + 39. Is 63 a factor of b(-27)?
False
Suppose -2*q + 3*a - 1 = 0, q + 2*a = -0*a + 10. Suppose q*k + 0*k = 4, -5*k + 65 = 5*f. Is -1 - -162 - (f/2)/(-3) a multiple of 13?
False
Does 57 divide (-2 - (-1 - -2))*409*(-19)/3?
False
Let v(q) = -7*q - 3. Let y be v(3). Suppose 0*a + 3*a + 30 = 0. Let t = a - y. Is 9 a factor of t?
False
Suppose 78 = -3*t + 69, 0 = -3*q - t + 10509. Is q a multiple of 6?
True
Let u be -5 + 15558/22 + (-2)/11. Does 7 divide (-4)/(-10) - u/(-45)?
False
Let u be -1 + -6 + (-14 - (-66)/6). Let q(p) = 87*p**3 - p**2 - p. Let f be q(-2). Is 25 a factor of 2/(-7) + f*u/28?
False
Let v(p) = -4*p - 5. Let y be v(-2). Suppose -2*u = -y*u. Is 20 a factor of 1*60 + u/15?
True
Let l(n) = 7*n**2 - 6*n + 9. Suppose 0*c = w + 5*c - 82, -w - 3*c + 78 = 0. Suppose -3*s + w = 63. Is l(s) a multiple of 6?
True
Let s = 3840 - 1478. Suppose 17*c - 32078 = -s. Is 19 a factor of c?
True
Let w(h) = -20*h - 116. Let i(m) = m**3 + 9*m**2 - 10*m - 14. Let v be i(-10). Let j(a) = -4*a - 23. Let x(t) = v*j(t) + 3*w(t). Does 8 divide x(-25)?
False
Suppose -5*c = -25, 4*s - 92 = 3*s - c. Let q = s + -73. Suppose -q*k + 19*k - 110 = 0. Is 11 a factor of k?
True
Suppose 0 = 3*v + 30 + 24. Let t = 154 + v. Let s = 212 - t. Is s a multiple of 19?
True
Let v be 36/(-234) + 15394/13. Let j = 2953 - v. Is j a multiple of 14?
False
Let r be ((-2)/(1*2))/(35/(-420)). Let s be ((-15)/(-10) + -4)*r/(-15). Suppose -16 = 4*j, -4*y + 144 - 44 = -s*j. Does 7 divide y?
False
Let q(o) = 3*o**2 + 7*o + 75. Suppose 37 = 22*c - 25*c - 2*v, -2*c + 3*v - 3 = 0. Does 17 divide q(c)?
True
Let x(s) = 25*s**2 + 4*s + 111. Does 34 divide x(8)?
False
Does 2 divide 4 - -1 - 14 - -1908?
False
Let l be ((-24)/(-45))/4 + (-10556)/195. Suppose 3*m - 100 - 500 = 0. Let s = m + l. Is s a multiple of 19?
False
Let p(q) = 21*q**2 - 29*q + 59. Let c be p(2). Suppose c*x = 95*x - 2550. Does 5 divide x?
True
Let b be (-344)/2 + 0/6 + 1. Let q = b + 845. Is 55 a factor of q?
False
Suppose 2087*n - 9513 = 2080*n. Does 44 divide n?
False
Let t = -51 - -57. Let v be t/(6/117 - 0). Does 14 divide -1 + (1 - -4) + v?
False
Let i = 42299 + -10225. Is 14 a factor of i?
True
Suppose 0 = -0*h - 9*h + 2421. Suppose -3*y - 227 = -h. Is y a multiple of 3?
False
Let h = -16 + 22. Suppose -87 = -h*a + 33. Is (-788)/(-6) - a/(-30) a multiple of 20?
False
Suppose h + 261 = 2078. Let u = 1223 - h. Is ((-4)/(-3))/((-4)/u) a multiple of 22?
True
Suppose 4*f - 13 = 2*b - 87, 67 = 3*b + 5*f. Suppose b*q = 8790 + 9480. Is 63 a factor of q?
True
Let t(l) = -33*l - 2. Let w(j) = 34*j + 4. Let a(m) = -5*t(m) - 4*w(m). Does 26 divide a(2)?
True
Is 38 a factor of 3317916/294 - (-4)/(-3)*6/(-14)?
True
Let b(s) be the first derivative of s**2 + 7*s - 17. Let l be b(-3). Is l + -5 - (-52)/2 a multiple of 2?
True
Let n be -2*-3*3/9. Suppose 2*j - 1 = -c, j - 2 - 6 = n*c. Suppose -u - 3*o = -7, 0 = -u - j*o + 5*o + 37. Is u a multiple of 11?
True
Let p(a) = -19*a - a**2 - 2 + 0*a**2 + 3 + 11. Let y be p(-17). Let v = y - 10. Is v a multiple of 12?
True
Suppose 120 = -142*l + 154*l. Does 60 divide l/(5 + 987/(-198))?
True
Is 122 a factor of (-2080449)/2793*-19 + (-5)/7?
True
Suppose 2*l + 6*h - 2*h - 34 = 0, -12 = -4*h. Let w = 126 - 126. Suppose -k - 3*p + 11 = w, k - 4*p - l = -p. Is k a multiple of 11?
True
Let x be 60392/68 - ((-159)/(-51) + -3). Let v = -188 + x. Is 50 a factor of v?
True
Let x(q) = 28*q**2 + 12*q - 19. Suppose 14*h = 18*h - 8. Is x(h) a multiple of 9?
True
Suppose -325*i = -326*i + 4*h + 13252, -4*h = -3*i + 39772. Is 78 a factor of i?
True
Let m be 2/(-8) - 164/(-16). Suppose m + 6 = 4*u. Suppose 3*f + 79 = p, -u*p + 4*f + 163 + 145 = 0. Is p a multiple of 19?
True
Let s = 81 - 54. Let h = -10 + s. Let d(l) = -l**3 + 17*l**2 + 21. Is 11 a factor of d(h)?
False
Let g(j) = 369*j + 1548. Is g(4) a multiple of 24?
True
Suppose 0 = -5*x - 3*s + 56 + 8, s = -4*x + 47. Let l = 5 - x. Is 8 a factor of (-6)/(-27)*6 + (-472)/l?
True
Does 37 divide -2*1/((-4)/(-66910))*(-32)/160?
False
Let f(p) = -4*p + 22. Let i be f(4). Suppose -4*l + 479 = h, 604 = -l + i*l + 3*h. Does 17 divide l?
True
L