 + v = 6*g. Is 11 a factor of g?
True
Suppose -6*s + 33 = -3*s - 3*y, 0 = -5*y - 15. Is 5 a factor of s?
False
Let g = -10 - -15. Suppose 2*m = 47 - g. Is m a multiple of 10?
False
Let i(j) be the second derivative of -5*j**3/6 - 7*j**2/2 - 4*j. Let z(u) = 2*u + 5. Let o be z(-6). Does 10 divide i(o)?
False
Let g(a) = -3*a + 4. Is 6 a factor of g(-5)?
False
Let i(c) = 5*c**2 + c - 3*c + 0*c**2 - 3*c**2 - 2. Is 4 a factor of i(3)?
False
Let v = -3 + 3. Suppose -2*p = -v*p - 10. Is 4 a factor of p?
False
Let l = 26 + -4. Suppose -3*y = -17 - l. Does 13 divide y?
True
Suppose -4*b = p + b, 0 = 2*p + 4*b - 12. Let z = p + -1. Is z a multiple of 5?
False
Let k be 2 + 3*14/3. Suppose -5*a + a = k. Let x = 8 - a. Does 6 divide x?
True
Let a(f) = -8*f**3 - 2*f**2 + 1. Let b be a(-1). Let t = b - 3. Does 12 divide (-219)/(-15) - t/(-10)?
False
Suppose 27 = 4*f - 1. Suppose 3*u + 4 = 2*r, f - 33 = -4*r - 3*u. Is 2 a factor of r?
False
Let t(g) be the third derivative of 0*g + 1/60*g**5 + g**2 + 8/3*g**3 + 11/24*g**4 + 0. Does 8 divide t(-11)?
True
Let v = -22 + 39. Let n = 45 - v. Does 14 divide n?
True
Let g = -26 + 70. Suppose 3*n = 2*l + 8*n - 91, 0 = l + 2*n - g. Is l a multiple of 19?
True
Let g(l) = -l + 3. Let d be g(0). Suppose -3 = -d*r, o + r - 21 - 4 = 0. Does 8 divide o?
True
Suppose 0*t + 20 = -4*t. Let h be t - (2/(-1) + 2). Let x(n) = -3*n + 4. Does 19 divide x(h)?
True
Suppose 2*p + 3 + 3 = 0, -4*s + p + 187 = 0. Let q be ((-1)/(-2))/(13/130). Suppose -q*c = -0*c + 4*m - 41, -5*c = -m - s. Is c a multiple of 3?
True
Let j be 1/2*8 - 1. Suppose j*y + 2*o = 146, 2*o - 3 = -o. Is y a multiple of 24?
True
Let a(r) = 0*r + 0*r - 2*r - 5 + 1. Let d be a(-4). Is 19 a factor of 219/d + (-5)/(-20)?
False
Let l(d) = d**2 + 10*d + 1. Let r = -7 - 6. Does 23 divide l(r)?
False
Let v be (-4)/24 + 19/6. Suppose -v*h - 52 + 124 = 0. Does 12 divide h?
True
Let n = -2 + -7. Let z be (-62)/(-4) - 4/(-8). Let y = n + z. Does 3 divide y?
False
Let u be 119/11 - 6/(-33). Suppose 0 = 4*t - 5 - u. Does 3 divide t?
False
Is 17 a factor of 8/14 - (-944)/14?
True
Suppose 5*m - 5*t - 105 = 0, -2*m - 2*t + 34 = -0*m. Suppose -m = -d + 20. Is d a multiple of 21?
False
Suppose 0 = -4*u + 989 + 487. Does 41 divide u?
True
Let m = 118 + -22. Suppose -5*g = -2*g - m. Is g a multiple of 13?
False
Let n(d) = -2*d + 2 + 3*d - 4*d + 4. Let y = 4 + -10. Is n(y) a multiple of 12?
True
Suppose -3*n + 48 = 3*q - 39, -q = 4*n - 32. Let v = q + -11. Does 17 divide v?
True
Suppose -11 = -4*m - 3. Suppose 4*q + 4*z = 3*z + 278, -z = -m*q + 136. Is 20 a factor of q?
False
Let q be (-2 + 12)*4/(-10). Let t(j) = -1 + 0*j + 3 + 4*j + j**2. Does 2 divide t(q)?
True
Let i be 5*(-2 + -1 + 2). Let u = -2 - i. Is 8 a factor of (32/3)/4*u?
True
Suppose -f - 4*f + 30 = 0. Does 10 divide -25*f*(-4)/30?
True
Let v = 0 + 3. Suppose t + 28 = v*t. Is 6 a factor of (-114)/(-10) + t/(-35)?
False
Let k be ((-16)/(-3))/(7/21). Let m = k - 9. Does 2 divide m?
False
Suppose -781 = -11*c + 297. Is c a multiple of 14?
True
Suppose -2*h + 140 = -26. Does 16 divide h?
False
Let v be 0 + (0 - 1) + -1. Let f = v - -5. Let x(s) = s**3 + 2*s**2 - 4*s + 2. Does 17 divide x(f)?
False
Is 8 a factor of 3*((-256)/12)/(-2)?
True
Let i(k) = -k**3 - 4*k**2 - 5*k - 2. Let f be i(-3). Suppose 0 = f*v - 4*a - 196, 4*a = -7*v + 3*v + 212. Is 14 a factor of v?
False
Let u(g) be the second derivative of -7*g**3/6 - 2*g. Let q = -2 - 1. Is u(q) a multiple of 18?
False
Suppose -5*u + 82 + 177 = -3*q, 96 = 2*u - 5*q. Is u a multiple of 4?
False
Let q(i) = -i + i**2 + 3 + 2*i - 2*i**2. Let d be q(0). Suppose 2*j - 2 = -4*y, d*y + 0*y - 29 = 4*j. Is 3 a factor of y?
True
Let d be (-33)/(-9) - (-2)/6. Suppose -a - 17 = -3*n + d*a, -10 = -2*a. Is 6 a factor of n?
False
Let h = -24 + 39. Let p = 23 - h. Let s = 11 - p. Does 3 divide s?
True
Let x = 3 - 1. Let c(u) = -2 - 19*u + 4 - x*u. Does 22 divide c(-2)?
True
Let c(o) = -o**3 - 5*o**2 - 2*o - 7. Let l be c(-5). Suppose -37 = -l*m - 2*p, 4*m - 67 = -m + 2*p. Does 4 divide m?
False
Let j = -1 + 2. Let s be (-1 + j)*(-1 - -2). Suppose 3*n + s*n = 159. Is 20 a factor of n?
False
Let p be ((-18)/4)/((-3)/(-6)). Does 4 divide (-48)/p + (-4)/(-6)?
False
Suppose 5*j - 4*s + 32 = -1, 2*s = -4*j - 42. Let c = -41 + 62. Let o = j + c. Is o a multiple of 12?
True
Suppose -36*s = -30*s - 2184. Is 48 a factor of s?
False
Let a = 471 - 273. Suppose -3*y - 3*o = -4*o - 122, a = 5*y - 3*o. Is y a multiple of 21?
True
Let p(w) = -2*w**2 - 3*w + 5. Let g be p(2). Let f = 22 + g. Does 6 divide f?
False
Let w(f) = -f + 1. Let j be w(0). Let z be j/2 + (-27)/(-6). Suppose -29 + z = -2*i. Does 12 divide i?
True
Suppose 8*i + 587 - 3715 = 0. Is i a multiple of 17?
True
Let g(v) = -11*v - 1. Let u be g(-1). Suppose 5*q + 3*l - l = u, 5*q + 3*l = 15. Suppose -5*t + 85 = -q*t. Is t a multiple of 6?
False
Suppose 5*m + 3 = n + 23, -5*n - m = -30. Suppose 2*f - n*f + 156 = 0. Does 13 divide f?
True
Suppose 2*c = 5*c - 3*n - 372, -n = -2. Is c a multiple of 18?
True
Suppose -o = -3*d + 186, 2*d = -0*d + 5*o + 137. Suppose d = 2*y - 51. Is y a multiple of 12?
False
Suppose 0 = f + 3 - 17. Is f a multiple of 7?
True
Let o = 133 - 53. Does 8 divide o?
True
Let v = -2 + 32. Suppose -15 = 4*h - 5*h. Let n = v - h. Is 6 a factor of n?
False
Let c be (-15)/(-1) - (-2 - -2). Suppose -2*i + c = 5. Suppose -i*u - 4 = -104. Is u a multiple of 8?
False
Let v(h) = 33*h + 1. Let z be v(1). Suppose 4*t - 130 + z = 0. Is 8 a factor of t?
True
Let c(y) = -5 - y**2 + 2*y**2 - 2*y**2 + 1 + 10*y. Does 10 divide c(7)?
False
Suppose 0 = -14*d + 16*d - 308. Is d a multiple of 15?
False
Let j(h) = 3*h + 117. Is 6 a factor of j(-29)?
True
Suppose -5 - 3 = 4*s. Does 6 divide 7/s*12/(-7)?
True
Let d = -298 - -435. Is 17 a factor of d?
False
Let a = -173 - -246. Is 25 a factor of a?
False
Suppose -a + 1 + 3 = 0. Let w(g) = 2*g - 4. Let h be w(a). Suppose -83 = -h*x + 61. Does 21 divide x?
False
Suppose -4*a - 3*b - 3 = -5*a, 5*a + 2*b = 15. Suppose -a*t = 9 - 21. Does 2 divide t?
True
Let b(i) = -3*i**3 - 5*i**2 - 3*i - 3. Let r be b(-3). Let o = -24 + r. Is o a multiple of 9?
True
Let z(i) = 2*i**3 - 5*i**2 - 3*i - 1. Let d be z(4). Let g be 2/(-3) - 82/(-6). Suppose 4*k - g = d. Does 12 divide k?
True
Suppose 5*o + 15 = 0, 4*p - 120 = -3*o - o. Is 1611/p + 4/22 a multiple of 19?
False
Suppose 83 = 5*v - 272. Suppose v = 3*p - 0*q + 2*q, q - 70 = -3*p. Does 8 divide p?
False
Let q be (1 - -1) + 0 + 3. Let s = q + -20. Is 3 a factor of (18/s)/(6/(-40))?
False
Suppose -6*z + 3*z + 4*u + 924 = 0, 0 = -z - 5*u + 327. Is z a multiple of 12?
True
Suppose -39 = -2*l - 3*w, 3*l - 44 + 5 = 2*w. Is l a multiple of 5?
True
Let q(k) be the first derivative of 2*k**3/3 - 3*k**2 + 9*k + 5. Is 9 a factor of q(6)?
True
Suppose 2*q - 6 = -2. Suppose 0*h + 72 = 2*h + 4*n, q*h - 3*n = 107. Is 21 a factor of h?
False
Suppose 21 = -4*t + a, 2*t - 5*a = t - 29. Let o(v) = -6*v + 3. Is o(t) a multiple of 9?
True
Suppose -2*d - 5*w - 7 = -10*w, -5*d - 2 = 3*w. Let u = 34 - d. Suppose 2*z = 31 + u. Is z a multiple of 14?
False
Let w be (1/5 + 1)*-5. Let p(j) = -j**3 - 5*j**2 + 5*j - 6. Let u be p(w). Let q(l) = -l + 13. Is 13 a factor of q(u)?
True
Suppose 0 = -2*v + v - 50. Let s = -18 - v. Is 16 a factor of s?
True
Let z be (-1)/3 - 35/3. Let k = z + 9. Is 13 a factor of 42 - (k + 7 - 1)?
True
Suppose q + 3*c = -5, -2 = -4*q - 5*c - 1. Suppose -q*a + 148 = 2*x, -5*x + 5*a + 129 = -226. Is x a multiple of 24?
True
Suppose 2*n = -3*t + 24, 5*n - 3*t - 110 = 2*t. Is n a multiple of 6?
True
Is (11 - 13)/((-2)/40) a multiple of 40?
True
Suppose 0 = 2*h - 2 - 0. Let d = h - 1. Suppose 0*k - k - 4*q + 20 = d, -2*q = 2*k - 28. Is 7 a factor of k?
False
Suppose -4 = -k + 1. Let c(s) = -s**3 + 4*s**2 + 5*s + 5. Let d be c(k). Let q(v) = 5*v + 4. Is q(d) a multiple of 17?
False
Is 1/3 - 88/(-6) a multiple of 8?
False
Suppose 2*x - 3*x - 17 = 5*a, 26 = 2*x - 5*a. Let k be (-4)/3 - (-1)/x. Is 285/12 + k/(-4) a multiple of 11?
False
Let t be -1*(-3*2 - -3). Suppose -s - t = 2*x, 1 + 5 = s - x. Suppose 5*f = -y + 44, -s*y + 132 = -0*y + 2*f. Is y a multiple of 22?
True
Let v = 89 - 22. Does 17 divide v?
False
Let p(u) = 5*u**2 + u. Let n be (1 - 6/3)/1. Let c be p(n)