 2*o, 4*h - 157 = o. Suppose 3*a = 3*b - 27, -a = -4*b + 4*a + h. Does 2 divide b?
False
Does 88 divide (4/10)/((-55442)/(-3960) + -14)?
True
Let r = 851 - 345. Is 47 a factor of r?
False
Suppose 3*v - 9 = 0, 4*z + 2*v - 6*v = 7308. Suppose 0 = 13*k - z - 120. Is k a multiple of 15?
True
Suppose 0 = 2*m + 3*m - 130. Let k be (-2)/5*(9 + 81)/3. Let d = m + k. Is 5 a factor of d?
False
Let h(g) = 88*g. Is 20 a factor of h(5)?
True
Let s be (-6)/(-10) + (-32)/(-5) + -4. Suppose 0 = -s*m + 2*m + 53. Does 15 divide m?
False
Let g be (-2 + 3)*(4 - 3). Does 17 divide 119/3 - g/(-3)?
False
Suppose -4*i - 16 = -4*u - 0*i, 2*u = -i + 8. Suppose u*o = -4*h + 456, -o = -6*h + h - 120. Is 27 a factor of o?
False
Suppose -5*x + 18 = -3*x + 2*q, x = 5*q - 15. Suppose 0 = x*m - 4*m - 76. Is m a multiple of 19?
True
Let b = -9908 - -14193. Is b a multiple of 50?
False
Suppose -5*o - 88 = -3*o. Let s = -24 - o. Does 5 divide s?
True
Suppose 2564 = -5*j - 1036. Let l be (-2)/1 + j/(-9). Suppose l = 5*r + o - 91, -134 = -4*r - 2*o. Is 10 a factor of r?
False
Let i(u) = -u**3 + 10*u**2 + 4*u + 8. Is 24 a factor of i(10)?
True
Let s(y) be the third derivative of y**6/120 + 4*y**5/15 + 11*y**4/24 - 11*y**3/6 - y**2. Suppose -6*h - 45 = -3*h - u, -30 = 2*h - 5*u. Does 13 divide s(h)?
False
Suppose 4*p = -0*p. Suppose t - 23 = -5*n + 7, p = 2*t - n - 5. Suppose 2*i + 2*i - 2*x = 166, 0 = -t*i - 3*x + 191. Does 6 divide i?
False
Suppose q + 3*u - 5 = 0, q + 2*q = 4*u + 2. Let t = q - -2. Suppose t*k = 8*k - 152. Is k a multiple of 5?
False
Let n = 20 - -8. Suppose -y - n = -3*y. Does 10 divide y?
False
Let g = 8 - -34. Suppose 5*i = 4*n - 7*n + 225, -5*n - 25 = 0. Suppose -5*y = -i - g. Is y a multiple of 6?
True
Let n = 28 - -282. Is n a multiple of 29?
False
Let x(i) = 9*i**2 + 14*i - 33. Is 12 a factor of x(15)?
False
Suppose 4*s - 13 = -n, 6*n + 5*s = n + 35. Let q(a) = 3*a + 2. Is 17 a factor of q(n)?
True
Let r(p) = -94*p + 1. Let x be r(-1). Let i = x - 86. Is 2 a factor of i?
False
Suppose 5*g = 3*b + 34, 0 = 4*b - 2*g + 4*g + 2. Is 16 a factor of (-48)/(27/(-24)*(-4)/b)?
True
Let p = -15 - -17. Suppose 2 = 3*h - p*h. Suppose h*d = -2*d + 84. Is 16 a factor of d?
False
Let r be 23 + (-2 + 6)/4. Suppose 4*a - 2*l = -l + 117, 0 = l + 5. Let u = r + a. Is u a multiple of 13?
True
Let a(w) = -w**3 - 9*w + 62. Is 34 a factor of a(-8)?
True
Let h(d) = 3*d + 2. Let a be h(9). Let n = a + -17. Suppose 2*j + 2*x = 34, -4*j + 5*x + 11 = -n. Does 6 divide j?
True
Let w be (-8 - 0)/(-9 - -8). Let f be 2 + w*(-4)/(-8). Is 0*(-2)/f - -39 a multiple of 7?
False
Suppose 5*v - 104 = v. Let d be (72/54)/((-4)/42). Let b = d + v. Is b a multiple of 3?
True
Let m(v) = -v**3 - 4*v**2 + 6*v + 7. Let g be m(-5). Suppose 0 = -g*a - 2 - 20. Let n = a + 31. Is 6 a factor of n?
False
Suppose -4*c = -51 - 9. Let v be (-14)/(-7) + (-3)/(-1). Suppose 0 = -2*i - v*y + 3, 3*i = -3*y + c + 12. Is 14 a factor of i?
True
Suppose 143*a - 132*a = 19866. Is a a multiple of 21?
True
Let x = -562 - -2058. Does 22 divide x?
True
Suppose l + l - 10 = 2*a, 5*l + 4*a = -11. Let c = l + -1. Suppose c = -3*g + 49 + 5. Is g a multiple of 5?
False
Let t(s) = s**3 - 7*s**2 + 7*s + 6. Let h = 42 - 22. Suppose h = 3*l - i, 0 = 2*i + 4. Is 6 a factor of t(l)?
True
Let i = 79 + -121. Let f(o) = -o**2 + 4*o + 22. Let l be f(12). Let m = i - l. Does 16 divide m?
True
Let a be -16*((-28)/(-8) + -4). Suppose k - a = 2. Is 17 a factor of k/(-10)*(1 + -32)?
False
Suppose 0 = -2*j + 2*y + 256, 5*j + 3*y - 680 = -2*y. Is 8 a factor of j?
False
Suppose 600 = 6*m + 4*m. Is m a multiple of 41?
False
Let f(r) = -2*r - 16. Let k(w) = 2*w + 17. Let q(h) = 4*f(h) + 5*k(h). Let d be q(8). Let a = 46 - d. Does 7 divide a?
False
Let j(d) = -d**3 + 6*d**2 - 4*d - 3. Let u be j(5). Let c(l) = 11*l**2 - 38*l. Let o be c(4). Let x = u + o. Does 13 divide x?
True
Let i(s) = -12*s + 21. Let n be i(3). Is 8 a factor of ((-48)/(-40))/((-2)/n)?
False
Let m = -1 + 3. Suppose -x = -2*z + 18, 55 = 4*z + m*x + 3. Let u = 29 + z. Is 20 a factor of u?
True
Let s be 29/7 - 1/7 - 13. Let l = 37 + s. Does 6 divide l?
False
Suppose 5*l + 46 - 71 = 0. Suppose 0 = -5*g + a + 278, 4*g - a - 208 = -l*a. Is 7 a factor of g?
False
Let r(k) = -k**3 - 7*k**2 + 5*k + 4. Let a be r(-7). Let l(g) = g**3 + 32*g**2 + 24*g - 41. Is 16 a factor of l(a)?
True
Let w(x) = -x**2 - 14*x - 6. Let v(q) = -q. Let s(a) = -a**2 - 13*a - 5. Let n(i) = s(i) + v(i). Let r(d) = -4*n(d) + 5*w(d). Is 7 a factor of r(-9)?
True
Let h(m) = 6*m - 29. Let z be h(7). Suppose z*p = 6*p + 672. Is 24 a factor of p?
True
Let s = 91 + -89. Is (s - 3)*(-945)/5 a multiple of 27?
True
Let x = -15 - -22. Let d be x/((-7)/(-4)) - 6. Does 7 divide -2*(d + (-51)/6)?
True
Suppose -l = 4*l + 205. Let w = -16 - l. Does 16 divide w?
False
Let r be (7 - 4)/(2 + 1). Let z be 2 + 3 + r/(-1). Suppose 136 = 3*u - z*j, 0 = 4*u - 6*j + j - 180. Is u a multiple of 17?
False
Does 3 divide 1698/(-108)*-6*3?
False
Let k be 1 - ((0 - -4) + -8). Is 3 + (k + -4 - -61) a multiple of 15?
False
Does 16 divide 664 + -5 + (-91)/(-7)?
True
Suppose -5*n + m + 2816 = 0, -3*m - 734 = -4*n + 1521. Is 62 a factor of n?
False
Is 12 a factor of (364/14)/(6/147)?
False
Suppose 0 = -r + 2*r - 2. Let p be (47 + 4)*r + -4. Suppose b - 18 = -5*z, -4*b - 5*z + 4 = -p. Does 7 divide b?
True
Let b(g) = -g**3 - 16*g**2 - 17*g - 24. Let f be b(-15). Suppose f*l - l + p - 473 = 0, 2*l - 182 = -4*p. Does 19 divide l?
True
Let i(u) = u**3 + 19*u**2 + 18*u + 3. Let s be i(-18). Suppose -423 = -5*r + 3*n, s*r + 0*r - 3*n - 255 = 0. Is 42 a factor of r?
True
Let m(k) = 37*k**2 - k + 11. Is 6 a factor of m(2)?
False
Let p(o) = 31*o**2 - 3*o - 29. Is p(-9) a multiple of 16?
False
Let v be 2 - ((-4)/1 + 4). Suppose j = -v*j. Suppose j = 3*u + 4*u - 42. Is 5 a factor of u?
False
Let b(c) = -6*c**3 - 9*c**2 - 2*c - 1. Does 9 divide b(-4)?
False
Let x = 6 + 165. Suppose 21*i - 18*i - x = 0. Is i a multiple of 9?
False
Is 38 a factor of (-51471)/(-30) + 1 + (-3)/(-10)?
False
Let f(j) = 2*j**2 - 3*j + 1. Suppose -7 = 4*q + 9, l + 4*q = -14. Let g be f(l). Suppose -23 = -t - 2*x, 5*t + 0*t - 87 = -g*x. Does 15 divide t?
True
Suppose -4*m + m + 5*g = -28, 5*m + 3*g = 92. Does 2 divide m?
True
Let d(x) = 50*x**2 + 18*x - 100*x**2 - 27 + 49*x**2. Is d(13) a multiple of 19?
True
Suppose -5*p + 220 = 5*z, 5*z - 6 - 118 = -3*p. Suppose 0*m = -2*m + p. Does 20 divide m?
False
Let o = -23 - -14. Let g(r) = 677 - 676 + 0*r**2 - r**2 - 12*r. Does 14 divide g(o)?
True
Let f = 10 - -23. Is 19 a factor of f?
False
Let o = -888 + 1254. Is o even?
True
Does 5 divide ((-4)/30)/1 + (-8272)/(-165)?
True
Suppose -4*m - d - 295 = 2*d, -190 = 3*m - 4*d. Let y = m + 189. Is 18 a factor of y?
False
Let u(i) be the first derivative of i**4/2 + 5*i**3 + 4*i**2 - 20. Is u(-6) a multiple of 12?
True
Let y = 10 + -4. Suppose -y*w = -w - 205. Suppose -4*a = 3*n - 48 - 115, -n - 4*a + w = 0. Does 35 divide n?
False
Suppose 2*d + 1579 = 3*d - m, -3*d + 4762 = 2*m. Is d a multiple of 33?
True
Let r = -1161 + 1203. Is r a multiple of 14?
True
Let a(j) = -j**2 - 12*j + 8. Let z(r) = r**2 + 11*r - 8. Let o(t) = 6*a(t) + 7*z(t). Is o(6) a multiple of 20?
False
Suppose 5*j + 0*j - 30 = 4*h, h = 0. Suppose -t = -37 + j. Let l = 64 - t. Does 11 divide l?
True
Let x be (1/1)/(3/(-177)). Let q = -41 - x. Let h = 1 + q. Is 19 a factor of h?
True
Let n(h) = h**3 + 3*h**2 - 2*h - 2. Let r be n(-3). Suppose -r*l + y + 341 = -161, -5*y = 10. Suppose -f + l = 4*f. Is f a multiple of 11?
False
Suppose 0 = 22*f - 21166 - 5388. Is 17 a factor of f?
True
Suppose 0 = 13*u - 10*u - 6156. Is 37 a factor of u?
False
Suppose 17*n + 47*n = 115840. Is 33 a factor of n?
False
Suppose -232*m + 235*m = 5586. Is 65 a factor of m?
False
Let t(u) = -u**2 + 2*u - 4. Let b be t(5). Let v = 1 - b. Is 5 a factor of v?
True
Is 2 a factor of (498/(-24))/((-2)/8)?
False
Let n(s) = s**3 + 12*s**2 + 14*s - 7. Let b be n(-10). Suppose -5*o + 205 = -5*f - 0*f, o - b = -5*f. Is o a multiple of 6?
False
Suppose -8*o + 9 + 39 = 0. Is o a multiple of 2?
True
Let f(z) = -133*z. Is 52 a factor of f(-1)?
False
Suppose -6*y = -2*y + q - 321, -2*y + 147 = 5*q. Suppose 3*n - y = w, 4*n - w - 77 = 30. Is 13 a factor of n?
True
Let 