*g + 4*m - 185 = 311. Is 11 a factor of g?
False
Let p(b) = -2*b - 2. Suppose -4*m = -2*l + 40, 4*l - 4*m - 24 - 56 = 0. Suppose 2*o = 5*t + 4*o + 32, 4*o = 4*t + l. Is p(t) a multiple of 8?
False
Suppose -2*g = -3*q - q - 296, 685 = 5*g + q. Is 10 a factor of g?
False
Let l(i) be the first derivative of -9*i**2/2 + 3. Does 11 divide l(-2)?
False
Does 24 divide (2 - 414/15)*135/(-18)?
True
Let d(c) = c**3 - 8*c**2 + 2*c + 8. Let h be d(8). Suppose 3*z + k - 29 = 3*k, -h = -2*z - k. Does 6 divide z?
False
Let d be -5*((-18)/10 - -3). Let k be 9/d + (-18)/(-4). Suppose -5*y + 4*j + 15 = -0*y, -2*y - k*j = -29. Is y a multiple of 4?
False
Suppose -69 = -4*t - 5*g + 68, -2*g - 31 = -t. Is t a multiple of 11?
True
Let g be 4*(-6)/(-9)*6. Let r = g + 7. Does 13 divide r?
False
Suppose -2*x - 3*x - 5*c = -150, -2*x - 3*c = -62. Is 14 a factor of x?
True
Let r(x) = 8*x + 13. Is r(14) a multiple of 25?
True
Let m be (-4)/4*(1 - 1). Suppose 0 = -m*b + b + 6. Is (-3)/(b/16)*2 a multiple of 8?
True
Let u(k) = -k**3 - 4*k**2 - 6*k - 6. Is 7 a factor of u(-5)?
True
Let q(j) = j**2 - 6*j + 2. Let u be q(-5). Let x = u - -3. Is 10 a factor of x?
True
Let r(f) = -3*f**2 - 23*f - 18. Let m(z) = -z**2 - 8*z - 6. Let c(j) = 8*m(j) - 3*r(j). Let y = -7 - -1. Does 12 divide c(y)?
True
Suppose 4*l - 54 = 46. Let r = -12 + l. Is r a multiple of 13?
True
Let m(u) be the first derivative of u**4/4 - 4*u**3/3 - 4*u**2 - 3*u - 4. Is 16 a factor of m(6)?
False
Suppose 2*l + 4*m = 478, 5*l - 1353 + 171 = 3*m. Suppose 5*a - 4*u - 301 - 3 = 0, 4*a = -3*u + l. Is 20 a factor of a?
True
Let b(v) = v + 21. Let p(k) = k + 10. Let j(d) = -6*b(d) + 14*p(d). Is j(6) a multiple of 31?
True
Let m(d) = 2 + 6*d + 2*d**3 + 4*d**2 + 0 + 0*d**3 - 3*d**3. Let f be m(5). Suppose 0 = 2*l + 4*j + 2, 0 = 3*l - 0*l + j - f. Is l even?
False
Let o(k) = k**3 + k**2 + 4. Let w be o(0). Suppose 0 = -s - 0 + w. Does 9 divide 2*18*2/s?
True
Let z(f) = -52*f**3 - 13*f - 9. Let j(d) = -13*d**3 - 3*d - 2. Let o(s) = 9*j(s) - 2*z(s). Is o(-1) a multiple of 7?
True
Suppose -3*f - d = -209, -347 = -2*f - 3*f - 3*d. Is 3 a factor of f?
False
Is 7 a factor of 33 + -4 - (3 - 2)?
True
Suppose 7 = 3*s + 1. Suppose 1 + s = -3*n. Does 3 divide n/(4/6 + -1)?
True
Suppose -l - 10 = -4*d, 0*l - l - d + 5 = 0. Let s = -70 - -73. Suppose 2*q = -3*n - s, q = -3*q + l*n + 34. Is q a multiple of 6?
True
Suppose -3*c - 1 = 5. Does 3 divide (-9 - -6)*c/2?
True
Let u = -3 - -8. Suppose 5*d - 144 = -4*p, 0*d + u*p - 76 = -3*d. Is d a multiple of 11?
False
Let g(z) = -z**3 + 5*z**2 + 7*z - 6. Let n be g(6). Let h = n - -2. Suppose -3*s + i - 9 = -6*s, 0 = 5*s - h*i - 15. Does 3 divide s?
True
Let a = -9 - -14. Suppose -3*w = -29 + a. Suppose 12 = 5*j - w. Is 4 a factor of j?
True
Let a = 119 - 56. Does 33 divide a?
False
Suppose 0 = -3*p - 3*y - 18, 0*p + 2*p + 3*y = -17. Let f = -17 - -29. Let j = f + p. Is j a multiple of 8?
False
Let h = 575 - 379. Let l be (-6)/4 - h/(-8). Suppose -2*u + l = -4*s + 3*s, 4*s + 38 = 2*u. Is 4 a factor of u?
False
Let u = 6 + -5. Is 19 a factor of u/(4 + -3)*29?
False
Let c be (-3)/9*-3 - 14. Let b = c - -26. Let v = b - -2. Is 10 a factor of v?
False
Let z = -2 - -13. Suppose c - 2*c - 2*j = -10, -3*j = 4*c - 25. Suppose -2*n + 25 = -5*l, 4*l - z - 81 = -c*n. Is 13 a factor of n?
False
Let v(m) = m**3 + 6*m**2 + 3*m + 1. Let n(j) = j + 1. Let d be n(-6). Is 5 a factor of v(d)?
False
Suppose 0 = o - 5*o + 16. Suppose -3*w + 2*w = -o. Let j = 11 - w. Is j a multiple of 7?
True
Suppose 0 = 5*i - 4*i + 1. Let h = -3 + 7. Does 7 divide i*1*(-16 + h)?
False
Let a(p) = p**2 - 7*p + 6. Let b be a(6). Suppose -2*j + 3*j - 15 = b. Is 8 a factor of j?
False
Let w = 6 - 0. Let u be (76/w)/((-20)/(-30)). Let l = -11 + u. Is l a multiple of 4?
True
Suppose -2*k + 29 = -27. Is k a multiple of 14?
True
Suppose -4*z + 36 = 4*o, -6*o = -o - 4*z - 45. Does 9 divide o?
True
Let c(b) = b + 14. Let w be c(-8). Suppose 0 = 4*j + 16, m - 2*j - w = 2*j. Is m/3*(-84)/10 a multiple of 8?
False
Let d be (2/3)/(8/84). Suppose -4*f + d*f = 15. Is f a multiple of 2?
False
Suppose o + o - 6 = 0. Suppose -1 - o = 2*f, 5*j = -4*f + 122. Is 18 a factor of j?
False
Let z = 23 - 139. Let o = z + 179. Does 21 divide o?
True
Suppose 2*i + i = 0. Let f be 45/(-6)*(-4)/6. Suppose i = -f*n + 8 + 17. Is n a multiple of 3?
False
Suppose v = -v + 108. Is v a multiple of 24?
False
Let h(w) = 136*w**3 - 2*w**2 + 1. Let a be h(-1). Let k = a - -206. Let t = k + -30. Is 19 a factor of t?
False
Let o(w) = 26*w. Let k(z) = -2*z**3 - 3*z**2 - 2*z. Let n(r) = -3*r**3 - 6*r**2 - 5*r + 1. Let p(j) = 5*k(j) - 3*n(j). Let m be p(4). Is 13 a factor of o(m)?
True
Suppose -f = 2*d - 4 - 7, 4*d + 4*f - 12 = 0. Suppose 4*m + 48 = d*m. Is m a multiple of 5?
False
Suppose 0 = -5*l - 3*t + 57, 5*l + 0*l + t - 59 = 0. Is 4 a factor of l?
True
Let i(p) = p**2 - 4*p + 3. Is 8 a factor of i(5)?
True
Let o(t) = t**3 + 5*t**2 - 8*t - 7. Is o(-6) a multiple of 5?
True
Let w(c) = -c + 13. Let x be w(10). Suppose x*f - 4*i = 70, -3*f - 4*i + 39 = -47. Does 13 divide f?
True
Suppose p - 77 = a, 3*a - 14 + 87 = p. Suppose -129 = 4*x + p. Does 6 divide 10/45 + x/(-9)?
True
Suppose 47 = 2*b - p, -2*p + p = 3. Does 11 divide b?
True
Let g(u) = -34*u. Is 34 a factor of g(-1)?
True
Let r = -39 + 57. Is r a multiple of 7?
False
Is 27 a factor of -5 - -7 - 208/(-2)?
False
Let c = 6 + -4. Suppose -c = d, -l - 4*l - d = -128. Does 13 divide l?
True
Let k(b) = -b**2 - 8*b - 5. Suppose 5*d = -4*j + 16, 4*d - 14 = -5*j + 6. Suppose 0*p + 3*p + 21 = d. Is k(p) even?
True
Let r(f) = -f**2 - 10*f - 10. Let b(c) = c + 3. Let m(p) = 2*p + 6. Let i(v) = -13*b(v) + 6*m(v). Let x be i(4). Is 10 a factor of r(x)?
False
Suppose -5*i - 3 = 2, 0 = 3*h - 3*i - 15. Suppose -c + 10 - h = 0. Is c a multiple of 6?
True
Suppose -5*f - 10 = -2*y - y, y = -2*f + 7. Suppose t + 4*t - 22 = -2*k, k - 26 = y*t. Is 4 a factor of k?
True
Suppose 3*h - 515 = -5*s, s + h = 3*h + 116. Does 8 divide s/3 - (-1)/(-3)?
False
Suppose 2*d - 5*c - 35 = 0, 4 = c + 1. Does 5 divide d?
True
Let m(a) = 2*a**2 - 2*a - 8. Is m(7) a multiple of 19?
True
Suppose 0 = -5*d + 2*p - 206, d + 108 = -2*d - 4*p. Is d/15*(-5 - -2) a multiple of 4?
True
Suppose -18 = -2*y - 4. Is y a multiple of 3?
False
Let y = 1 - -2. Suppose -3*j = -2*j + 2. Is j/(-3) + 34/y a multiple of 6?
True
Suppose 0 = -5*d - 3 - 12. Does 12 divide d + 26 - 2/(-2)?
True
Let b(u) = 196*u**3 - 2*u**2 + 3*u - 1. Is 8 a factor of b(1)?
False
Let h = 11 - 19. Is (-1 + -15)*18/h a multiple of 13?
False
Let v(i) = -i**2 - 8*i - 6. Let p be v(-6). Suppose -110 = -p*r + r. Is r a multiple of 11?
True
Let m = -14 + 35. Is 7 a factor of m?
True
Let j(q) = -q**2 + 8*q + 6. Suppose 5*f + 15 = 55. Is 3 a factor of j(f)?
True
Let c(m) = -5*m - 14. Does 13 divide c(-22)?
False
Let i(d) = 6*d**3 - 4*d**2 + 3*d. Is 20 a factor of i(2)?
False
Let z(d) = -d**2 + 9*d + 11. Let l be z(9). Does 3 divide 6/(-3)*l/(-2)?
False
Let a be (8/6)/(6/9). Let u(c) = -1 + 6*c + 3 - 1. Is 13 a factor of u(a)?
True
Let y(g) = -19*g**3 - 5*g**2 - 2*g - 2. Is 24 a factor of y(-2)?
False
Let m be -6*((-9)/6 + 1). Suppose -m*w = -4*a + 51, 0*a - 5*a = w - 2. Let k = w - -19. Is k a multiple of 6?
True
Let p(n) = 18*n**2 - 4*n + 7. Is 9 a factor of p(4)?
True
Suppose t + 4*a = -a + 3, a = 3*t - 41. Is t a multiple of 13?
True
Let g be 175/21 - 4/(-6). Let f(n) = n**2 - 9*n - 3. Let v be f(g). Let j(s) = -s + 2. Is 5 a factor of j(v)?
True
Let c = -5 + 10. Suppose -c*s + 27 + 123 = 0. Is s a multiple of 13?
False
Let v(c) = c**3 + 3*c**2 + 2*c - 4. Does 28 divide v(3)?
True
Is 20 a factor of (1 + 2)/(-3)*-2 + 127?
False
Let y = -20 + 53. Is y even?
False
Let v = -12 + 14. Suppose -89 = -v*l - 7. Does 12 divide l?
False
Suppose 721 + 1139 = 5*q. Suppose q = w + 3*w. Suppose -w = -5*d + 142. Is 16 a factor of d?
False
Let x = 234 - 107. Is 15 a factor of x?
False
Does 22 divide 686/8 + (-45)/60?
False
Suppose 7*j - 12 = 4*j, 2*u - 36 = -2*j. Is 3 a factor of u?
False
Let c be 3/6*-2 + 3. Suppose -51 = -c*z - z. Is 8 a factor of z?
False
Let y(b) = -6*b**3 - 16*b - 94. Let v(h) = -h**3 - 3*h - 19. Let t(u) = -11*v(u) + 2*y(u). Does 12 divide t(0)?
False
Let h be 6 - ((-2 - 0) + 3). Suppose -3