42 = -o*z + 1743. Is 16 a factor of z?
False
Suppose -2*h + 3*h - 2*n - 5 = 0, -2*h - 5*n = 35. Let t be 5/h - (-111)/1. Suppose 3*g = -2*g + t. Does 11 divide g?
True
Let p = 47 - -19. Suppose t + p = h + 3*t, -4*t - 48 = -h. Suppose -f + 2*w + 33 = 0, -f + w + h = f. Is 27 a factor of f?
False
Suppose -224*l + 322 = 2*g - 223*l, -2*l = -3*g + 483. Does 16 divide g?
False
Suppose -4*n = -20, -47 + 5 = -h + 5*n. Suppose -15 = 2*t - h. Let c = -3 + t. Is c a multiple of 5?
False
Suppose 21 + 2067 = 12*j. Does 6 divide j?
True
Suppose 6 = 4*i + 78. Let l = 23 + i. Is (l - -3)/(-2 + 4) a multiple of 2?
True
Suppose -3208 = -19*i - 966. Is 29 a factor of i?
False
Suppose 12*r = r + 44. Suppose p = 2*x + 2*p - 179, -4*x - r*p = -352. Does 10 divide x?
False
Suppose 0 = 2*z + 3*z - 95. Let h = z - 21. Is 5/(15/48) - h a multiple of 18?
True
Let c(v) = -5*v - 35. Let f(g) = -g + 1. Let n(b) = c(b) + 15*f(b). Let u(a) = -4*a - 4. Let j(r) = -5*n(r) + 24*u(r). Is j(5) a multiple of 8?
True
Let a(l) be the third derivative of -5*l**4/24 + 19*l**3/6 - 40*l**2. Let j(b) = -b**3 + 5*b**2 - b - 4. Let u be j(5). Is 13 a factor of a(u)?
False
Let o = 617 - -199. Suppose 8*d - o = 4*d. Is d a multiple of 17?
True
Suppose -12*f + 15*f = 717. Is 43 a factor of f?
False
Let y(h) = -h**3 + 16*h**2 + 39*h - 55. Let l be y(18). Let i(k) = -22*k**2 - k - 1. Let g be i(-1). Does 17 divide (g - l)*128/(-48)?
False
Let x = -89 - -194. Does 7 divide x?
True
Let d be 24/10*(-10)/(-3). Suppose -3*x + d = x. Suppose 3*q + 0*g - x*g = 10, 2*g - 32 = -4*q. Is q even?
True
Let v = 231 - -36. Suppose -7*r + 2*o + 546 = -3*r, 0 = -2*r - o + v. Does 45 divide r?
True
Let g(w) = 14 + w + 0 + 12. Does 8 divide g(-18)?
True
Suppose l + 21 - 87 = 0. Does 8 divide l + -3 + (-3)/((-12)/4)?
True
Suppose v - 360 = -3*q, 59*q = 5*v + 62*q - 1800. Is v a multiple of 18?
True
Let q = 71 - 43. Suppose 3*c - 2 - q = -2*l, l - 28 = 5*c. Is l a multiple of 3?
True
Let t = -13 - -19. Let y be 0/1*(-3)/t. Suppose c + 0 - 76 = y. Is c a multiple of 16?
False
Let l = 149 + -42. Is 6 a factor of l?
False
Let l = 80 + 25. Does 21 divide l?
True
Suppose -2473 = 12*z - 10345. Does 16 divide z?
True
Let w = -291 + 315. Does 4 divide w?
True
Let r(o) = o**3 - 7*o**2 + 5*o + 14. Suppose 2*f - 7*f - c = -33, 4*f - 39 = -5*c. Is 8 a factor of r(f)?
True
Let q = 9 + -8. Let t(h) = 4*h**3 - 2*h + 1. Let n be t(q). Suppose n*k = 30 + 48. Is 26 a factor of k?
True
Let h = -12 + 12. Suppose u = 3*x - 5, h = -u + x - 1. Does 11 divide -4 + (u + 2 - -13)?
False
Let t = 38 - 32. Let d(z) = z + 1. Is d(t) a multiple of 2?
False
Let c = -7 + 11. Suppose 2*s = 5*u + 28, 0*s + 5*u + c = -4*s. Suppose s*q = 16 + 108. Is q a multiple of 19?
False
Suppose 115*i - 86*i - 14210 = 0. Does 35 divide i?
True
Suppose 3*c + 24 = 4*l, 2*c - 7 = -10*l + 5*l. Suppose -2*o = l*o - 60. Does 12 divide o?
True
Suppose -27*h = -75*h + 31440. Is h a multiple of 50?
False
Let z = 11 + 5. Let v = z + -24. Is 4 a factor of (3 - v) + -1 + -1?
False
Let o(f) = f**2 - 2*f + 5. Let u be (-22)/(-4)*8/4. Let b = u + -11. Does 4 divide o(b)?
False
Suppose -2*k = 2*a - 54, -5*a + 63 = k - 60. Is (-4)/(((-1)/5)/(a/10)) a multiple of 16?
True
Let r = 78 - -2. Suppose 3*b - b - r = -5*j, -b + 55 = -5*j. Does 15 divide b?
True
Is (-3686)/(-10) - (5 - 135/25) a multiple of 14?
False
Let u(x) be the third derivative of 13*x**4/12 - 2*x**3/3 - 8*x**2. Is u(2) a multiple of 8?
True
Suppose 87*c - 92*c = -3225. Is c a multiple of 129?
True
Suppose -10*p = -7928 + 2338. Is p a multiple of 43?
True
Let a be ((-6)/5 + 2)/(4/30). Suppose 901 = a*v - 467. Is v a multiple of 38?
True
Suppose m - 8*w = -11*w + 680, -m + 4*w + 680 = 0. Is 20 a factor of m?
True
Let t(o) = o. Let y be t(1). Let i = 4 - y. Suppose 0 = i*a + 2*c - 133 + 4, -3*c = -a + 54. Is 15 a factor of a?
True
Suppose 19*f - 240 = 18*f. Does 10 divide f?
True
Is 0 + 137 - (-2 + 11 - 4) a multiple of 11?
True
Let u = -5 + 18. Let m = u - 8. Suppose 10*t - m*t - 320 = 0. Does 18 divide t?
False
Suppose 42*q = -17753 + 49883. Is 17 a factor of q?
True
Let y = -715 - -763. Is y a multiple of 24?
True
Let s = 2167 + -1365. Does 26 divide s?
False
Let q(f) = -5*f**3 + 2*f + 1. Let c be q(-1). Suppose 4*r + 3*o + 0*o - 272 = 0, 272 = c*r + o. Does 34 divide r?
True
Let p(a) = -a**2 - a - 26. Let j(q) = q**2 + q + 27. Let c(u) = 4*j(u) + 3*p(u). Suppose -g - 3*g = -2*g. Is 8 a factor of c(g)?
False
Let y(p) = -5*p - 17. Let q be 1/((6/2)/(-21)). Is y(q) a multiple of 6?
True
Let o(g) = 2*g**3 - 23*g**2 + 3*g + 5. Let k(t) = -4*t**3 + 46*t**2 - 5*t - 10. Let h(y) = -6*k(y) - 13*o(y). Is h(11) a multiple of 14?
False
Suppose -4*a - 4*u = -a - 26, -3*a + 4*u = 14. Suppose -38 = -c - m, 0*c + a*c + 4*m = 66. Is 11 a factor of c?
False
Let d(o) = 4*o**2 + 2*o - 3. Let k be (-76)/(-18) - (2/9 + 0). Is d(k) a multiple of 23?
True
Suppose c = 3*r - 2, -3 = -r - 1. Suppose 8*d - 24 = c*d. Suppose 4*j = d*j - 78. Is 22 a factor of j?
False
Suppose -5*v - 6 = c, 4*v + 14 = 3*c + 3*v. Suppose -g + c = -i, -5*g + 4*i + 3 + 18 = 0. Is 3 a factor of g?
False
Let q be ((2/(-3))/2)/(2/(-36)). Suppose 372 = -q*r + 18*r. Is r a multiple of 10?
False
Suppose u - 11*h = -15*h + 1214, 4*u = 5*h + 4814. Is 13 a factor of u?
False
Let v(j) = 7*j + 51. Let n be v(23). Let p = n + -15. Is 36 a factor of p?
False
Let t = -2665 + 3868. Is 26 a factor of t?
False
Let l be 63/14*(-16)/(-6). Let d be (4/l)/(1/24). Suppose y - d = -0. Is 4 a factor of y?
True
Let l(a) = 726*a**3 - 4*a + 4. Is l(1) a multiple of 33?
True
Let v be ((-6)/9 + 2)*(-810)/(-6). Suppose -3*x = y - 3*y + v, 3*x + 6 = 0. Is y a multiple of 13?
False
Does 5 divide 398/((14 - 15)*(1 + -2))?
False
Suppose 1695 = 6*t + 81. Is 16 a factor of t?
False
Let z(b) = -10*b - 67. Is 11 a factor of z(-21)?
True
Let f(s) = 18*s**3 - 7*s**2 - 7*s + 30. Is 48 a factor of f(5)?
False
Suppose -3*x - 500 = -t, 0 = t - x + 6*x - 516. Is t a multiple of 10?
False
Let j = 875 + -754. Is j a multiple of 11?
True
Let q(p) = -19*p**3 + p**2 - 2*p - 2. Let w be q(-1). Suppose 952 = w*d - 13*d. Is 14 a factor of d?
False
Let q(k) = k**2 - 12*k + 13. Let v be q(9). Let p = 16 + v. Suppose -i = 4*y + 2*i - 120, -143 = -5*y - p*i. Is 10 a factor of y?
False
Suppose 3*t + 600 = 6*t. Suppose -5*q + 2*q + 150 = 3*r, -r = 4*q - t. Is q a multiple of 25?
True
Let q = -9 + -5. Let a = q - -25. Let n = 27 - a. Is 5 a factor of n?
False
Let o = 69 + 115. Is 46 a factor of 1/(-3)*0 + 0 + o?
True
Suppose 0 = -89*q + 36*q + 11554. Does 57 divide q?
False
Let i = -4 + 25. Let s = -17 + i. Is (-1)/((8/(-26))/s) a multiple of 9?
False
Suppose 0 = -p + 5*p + 40. Let f = p + 10. Suppose -u + 3*a + 9 = -5, f = -u + 2*a + 14. Is 12 a factor of u?
False
Is 27 a factor of (-2)/(-13) + 2 + 115420/130?
False
Suppose -5*s + 741 = 2*k - 476, -5*k = -2*s - 2999. Does 4 divide k?
False
Let l be (-1)/(5*(-6)/(-720)). Is 13 a factor of 96/l + 29 + (-2 - -2)?
False
Let g(k) = k**3 - 16*k**2 + k + 1014. Is g(0) a multiple of 39?
True
Suppose -39*r = -20*r - 7904. Is 52 a factor of r?
True
Let l = -538 + 1222. Is 18 a factor of l?
True
Let o(c) be the first derivative of c**2 - 5*c + 3. Let r be o(4). Suppose a = -1, 6*g - g = -r*a + 37. Is g a multiple of 5?
False
Let d(t) be the third derivative of t**6/120 + 11*t**5/60 - 11*t**4/12 - t**3/3 - 37*t**2. Does 30 divide d(-11)?
True
Let q be -1*(-4 + -3) - 1. Let m be (18/10)/(q/20). Is 23 a factor of 3/m*276/3?
True
Let b = -11 - -32. Let l = 41 - b. Let p = 29 + l. Does 10 divide p?
False
Let u(m) = 8*m**2 + m - 1. Let v be u(1). Suppose v - 17 = -3*z. Suppose 2*w = -t + 50, z*w + 0*t - 68 = 2*t. Is 4 a factor of w?
True
Suppose -4*l + 5*l - 4*n = -11, -9 = -3*n. Suppose -2*b = -5*w + 951, 4*b + 13 = l. Is 9 a factor of w?
True
Suppose -14 = 3*k - 4*z, 0 = -4*k - 5*z + z + 28. Suppose 3*a - 835 = -k*a. Does 22 divide a?
False
Let r(x) = -7 - 20*x + 55*x - 27*x. Suppose 1 = -3*n + 25. Is r(n) a multiple of 14?
False
Let x = -553 - -1003. Does 25 divide x?
True
Suppose -15*n - 32 = -17*n. Let u be n/(-40) + 377/5. Suppose 2*k + 3*i - u - 23 = 0, -k + 43 = 3*i. Does 7 divide k?
False
Let k(v) = 356*v**2 + 3*v - 4. Is k(2) a multiple of 11?
False
Is 31 a factor of 2/(-5