 2*g + 5*b - 31 = -g, 4*g - 32 = -2*b. Let y = g - 5. Suppose -58 = -y*t + 5*q + 1, 4*q - 146 = -3*t. Is 21 a factor of t?
True
Let u(w) = w**2 - 5*w + 5. Suppose 0 = 2*m - 2 - 8. Let z be u(m). Suppose 11 = z*a - 54. Is 11 a factor of a?
False
Suppose n = 3*h + 2, 0 = 3*n - 2*n - h - 4. Suppose -3*q - 113 = -n*x + x, -3*q + 3 = 0. Does 14 divide x?
False
Suppose 436 = -p + 5*p. Is 10 a factor of p?
False
Let z(x) = -2*x**2 + 4*x. Let p be z(-3). Let o = -7 - p. Does 7 divide o?
False
Suppose 0 = z - 4*d - 8 - 7, -5*z - 5*d = 0. Suppose 0 = -c - 4*j + 56, -c - z*c = j - 254. Suppose 0*l + c = 4*l. Is l a multiple of 16?
True
Is (-10)/25 - 3308/(-20) a multiple of 10?
False
Is (-72)/(-5) - (-18)/(-45) a multiple of 6?
False
Is 6/9 - 1/(9/(-210)) a multiple of 4?
True
Let v be (-4)/5*(-45)/(-18). Let i = -2 - v. Suppose x = -i*x + 7. Is 7 a factor of x?
True
Let s(u) = 3*u**3 + u - 1. Let f be s(1). Let p be (-2 - -1)/(1/f). Does 9 divide (-2)/p + 86/6?
False
Suppose 4*q + 2*b - 140 = 0, 2*q - 5*b - 57 = 37. Is q a multiple of 12?
False
Does 9 divide ((-12)/(-1))/((-4)/(-28))?
False
Suppose -p + h - 3 = 0, -p = 4*h + 9 + 4. Let b = 8 + p. Suppose -5*x + b*a + 32 = -34, 4*x - 2*a - 52 = 0. Does 6 divide x?
True
Suppose 3*z + 4*b - 108 = 2*z, -b + 202 = 2*z. Suppose p = -p + z. Suppose 18 = -4*n + p. Is n a multiple of 6?
False
Let x = 2 - 5. Let g = 5 + x. Suppose -2*w = g*y - 8, 0*w - 3*y - 12 = -w. Is 6 a factor of w?
True
Suppose 7*w - 3*w = -148. Let h = -17 - w. Is 7 a factor of h?
False
Suppose 2*k - 8 = -2. Suppose k*g - 4*g + 12 = 0. Is g a multiple of 12?
True
Let v be 168/10*(-10)/(-2). Suppose 2*s = -s + v. Is 8 a factor of s?
False
Does 18 divide 2 + -3 + 13 + 6?
True
Let l = -48 - -133. Is 14 a factor of l?
False
Let x = 37 - 31. Is 3 a factor of x?
True
Suppose 2*y - 15 - 49 = 0. Is y a multiple of 15?
False
Suppose -r + 4*r = 120. Suppose 3*p + 27 = 4*i, i + p = -6 + 4. Suppose -o + 80 = 4*h, i*h - 3*o - r = h. Is 10 a factor of h?
True
Suppose -117 = -3*f + 3*a, 5*f - a - 191 = 3*a. Let q = f - 19. Is q a multiple of 8?
True
Suppose 3*c + 2*b = -3*b - 28, 2*c - 4*b - 18 = 0. Let z be 2 + 18/3 + c. Suppose -9 = -2*y + z. Is 4 a factor of y?
True
Suppose i = 30 + 130. Is ((-3)/(-2))/(6/i) a multiple of 20?
True
Let z be ((-16)/6)/(10/(-105)). Let l = z + -7. Does 21 divide l?
True
Suppose -411 = -5*x + 639. Is 15 a factor of x?
True
Let t(r) = 6*r. Let n be t(2). Suppose h = 3*h - n. Is (h/5)/((-6)/(-20)) a multiple of 3?
False
Let v(w) = -w**2 - 3*w + 2. Let j be v(-3). Suppose -2*k = -3*x + 31, -j*k - 4 = -5*x + 49. Is x a multiple of 4?
False
Suppose 0*g + 10 = 2*g. Does 6 divide (-4 - -5)*(g + 1)?
True
Let x(z) = z**3 + 10*z**2 + z + 13. Let c be x(-10). Is 507/12 + c/(-12) a multiple of 22?
False
Let y(t) = -3*t - 15. Let c be y(-6). Suppose -c*q + 0*q - 2*o = -70, -20 = 5*o. Is q a multiple of 13?
True
Suppose 6 - 16 = -5*x. Suppose -3*u + r = -x*r - 57, -5*u = r - 83. Is u a multiple of 11?
False
Let r(l) = 10*l**3 + 4*l**2 - 4*l - 1. Is r(2) a multiple of 20?
False
Let n = 171 - 119. Is n a multiple of 6?
False
Let t = 11 - 12. Is 6 a factor of (t - -4) + 12 + 3?
True
Let h be ((-1)/1 - -1)*1. Suppose h*n = n - 19. Is n a multiple of 7?
False
Suppose -2*h + 25 = 1. Is 12 a factor of h?
True
Let m(j) = -j + 0*j**3 + 2*j**3 - j + 3*j**2 + 1. Let z be m(2). Suppose 0*c - 4*k - z = -c, -5*k = c - 16. Is 10 a factor of c?
False
Let h(z) = -z**3 - 21*z**2 - 13*z + 12. Is 19 a factor of h(-21)?
True
Let d be (9/(-6))/(1/(-2)). Suppose 4*j + 5*n = -13, d*n = 4*j + j - 30. Suppose j*t + t - 56 = 0. Does 7 divide t?
True
Is (44/22)/(2/103) a multiple of 13?
False
Suppose 204 = 5*i + 39. Is 33 a factor of i?
True
Let v(n) = 27*n - 1. Suppose 1 = 4*q - 3. Is 13 a factor of v(q)?
True
Suppose 3*r = 5*j + 40, -4*r - j + 5 = 2*j. Let v(n) = -n + 9. Does 4 divide v(r)?
True
Let l(z) = 3*z**2 - 9*z - 8. Let q be l(7). Suppose -3*d - 5*r - 49 = -4*d, -2*d + q = r. Does 13 divide d?
True
Let g(x) be the second derivative of x**5/20 - x**4/2 + x**3/2 + 7*x**2/2 - 2*x. Let l be g(5). Let n = l - -5. Is 2 a factor of n?
True
Let y(p) = -2 - p + 0*p + 0*p. Suppose -3*u = -6*u - 27. Is 5 a factor of y(u)?
False
Let f be (-3 + -5)/((-2)/17). Suppose -2*k + f = -0*k. Does 17 divide k?
True
Suppose 0 = -4*a + 6 + 6. Is 18 a factor of -1 + ((-279)/a)/(-3)?
False
Let a be 1*2/(-2) + -13. Let b be 24/10 - a/(-35). Suppose -4*m - b*j = j - 96, 4*m + j = 104. Does 12 divide m?
False
Let j(h) = -34*h**2 - h. Let s be j(1). Let l = -21 - s. Does 4 divide l?
False
Let n(p) = p**3 - 5*p + 294. Is 31 a factor of n(0)?
False
Let n(x) = 6*x - 15. Is 9 a factor of n(7)?
True
Let s(z) = z**3 - 3*z**2 - 7*z + 5. Suppose 0 = -o - 0 - 5, -7 = 2*d + 3*o. Let v be s(d). Let c(i) = i**3 + 6*i**2 - 8*i + 2. Is 8 a factor of c(v)?
False
Suppose 0 = -i + 3 - 0. Suppose 0 = i*o - 0*o - 138. Suppose 0 = 3*s + d - o, -26 = -3*s + 3*d + d. Is s a multiple of 14?
True
Let m(o) = 3*o**3 + o**2 + 3*o - 5. Let r(l) = -l**3 - l + 1. Let c(u) = -m(u) - 2*r(u). Is 10 a factor of c(-3)?
False
Suppose -5*p - 2*j + 118 = 0, -122 = -5*p - 2*j - j. Is p a multiple of 11?
True
Let b = -72 - -138. Is 11 a factor of b?
True
Let u = 12 - 10. Suppose 5*t + u*q = 13, 3*q - 2 = -2*t - q. Suppose -t*b + b = -24. Is 9 a factor of b?
False
Suppose 4 - 5 = z + i, -5*i - 26 = -2*z. Let h(n) = -n + 3*n - z - 9*n. Does 9 divide h(-3)?
True
Let o = -11 - -23. Suppose 5*n - 5 = 0, 5*k = n + n - o. Is 16 a factor of k/(-4) - 380/(-8)?
True
Let d(f) = -f - 9. Let g be d(-5). Let j = g - -9. Suppose -20 = -4*z - m, -23 = -3*z - 4*m + j. Does 2 divide z?
True
Suppose -4*t + 469 = -91. Is 25 a factor of t?
False
Suppose -v + 12 = -13. Is v a multiple of 7?
False
Is 11 a factor of -22*(3 - 4)/1?
True
Suppose 2*d - 756 = -4*m, 0 = 4*d - 4*m + 5*m - 1491. Is 11 a factor of d?
False
Let r(x) = 9*x**2 + 1. Let s = 6 + 0. Suppose -a - s*p + 2*p + 21 = 0, 5 = p. Is r(a) a multiple of 10?
True
Let l = -68 - -138. Does 14 divide l?
True
Let r(k) = k**3 - 5*k**2 - 6*k - 1. Let n be r(6). Is 3 a factor of n*(12/(-2) - -3)?
True
Suppose -5*t + 7*t - 306 = -2*v, -4*t = -4*v - 644. Is 47 a factor of t?
False
Suppose 0 = 5*h - 636 + 106. Is 13 a factor of h?
False
Let h(z) = z**2 + 8*z. Let q be h(-8). Suppose q = -0*n - 2*n + 26. Is n a multiple of 13?
True
Let r(b) = 5*b**3 + 3*b**2 + b. Let o be r(-2). Let n be (-1 + -1)*1 - -56. Let c = n + o. Does 14 divide c?
False
Suppose 5*t + 3*h = 30, 4*t - 5*t - 2*h = -6. Does 2 divide t?
True
Suppose o = -x + 4, -3*o + 12 + 4 = 2*x. Let q = o - 6. Suppose 0*c = c - q*i + 1, -5*c - 3*i = -47. Is 3 a factor of c?
False
Let v(s) = s + 35. Is v(-17) a multiple of 3?
True
Suppose 4*u - 5 = 3*s, 5*s = -u - 0*u + 7. Let g be (1 - 2)/(u/(-6)). Suppose 2*y - 3*y = -3*v - 34, 78 = g*y - 3*v. Is y a multiple of 11?
True
Suppose 4*w + 5*r - 8 = 0, 5*w - 4*r = -0*w + 10. Suppose -w*z = z - 6. Suppose 3*h + z*d + d - 48 = 0, -d = -5*h + 80. Does 16 divide h?
True
Let w(r) = -9 + 4 + r - 4. Let m be w(13). Suppose 0*x = m*u - x - 51, 57 = 4*u + 5*x. Is 7 a factor of u?
False
Suppose -2*s = 2*s - 24. Let l be s/(-3*1) - -2. Suppose 4*k - 4*d - 92 = -l*d, -3*k + 5*d = -61. Is k a multiple of 11?
False
Let t(c) be the first derivative of -5*c**2/2 - c - 3. Does 4 divide t(-2)?
False
Let b(u) be the second derivative of 2*u**3/3 - 3*u. Is 12 a factor of b(6)?
True
Suppose 4*f - 68 = 3*h + 138, 2*h - 146 = -3*f. Suppose a - 6*a = -f. Is a a multiple of 10?
True
Suppose 5*z + 22 = 292. Is 17 a factor of z?
False
Suppose 3*d - 7 = 2. Let t be ((-6)/8)/((-3)/(35 - -1)). Is 22 a factor of d/((t/50)/3)?
False
Suppose 2*x = 2*d + 136, -134 = -4*x - 4*d + 146. Is 8 a factor of x?
False
Let r = 148 + -141. Does 2 divide r?
False
Let c = 15 - 8. Let u(p) = -p**3 + 7*p**2 + p - 1. Is u(c) a multiple of 2?
True
Let q = -35 - -50. Suppose 6*j + 4*t = j + 32, -3*j - t + q = 0. Is 4 a factor of j?
True
Does 10 divide (1/(-2))/(22/(-1716))?
False
Let t(x) = x + 13. Let r = 17 + -13. Does 17 divide t(r)?
True
Let h(r) = r. Let f(w) = 3*w - 1. Let u(p) = f(p) - 2*h(p). Does 2 divide u(10)?
False
Suppose -3*r = -5*r + 174. Is r a multiple of 29?
True
Does 3 divide 16/(-7)*7/(-2)?
False
Let b = -42 + 40. Suppose 