*g + 6 + 4, -2*g = -3*s + 8. Suppose s*o + 2*w = 16, -o + 3*w + 1 = -3. Is 4 a factor of o?
True
Let p be (-6)/(-3) + 0/(-1). Suppose 0 = h - 3 + p. Let l = 5 - h. Does 4 divide l?
True
Let i = -181 + 325. Is i a multiple of 16?
True
Is 8/2 + (2 - -1) a multiple of 7?
True
Suppose -4*p = -36 + 12. Suppose 0 = 4*r - p*r + 10. Suppose 3*q + r = -5*m - 0*m, -2*m = -5*q + 33. Is 2 a factor of q?
False
Suppose 4*a + a - 4*q - 339 = 0, 5 = -5*q. Does 8 divide 3/(-4) - a/(-4)?
True
Let g(k) = k**2 + 9*k - 6. Let x(z) = -3*z**2 - 27*z + 19. Let j(h) = -17*g(h) - 6*x(h). Does 27 divide j(-15)?
False
Suppose 2*j - 61 = 165. Let z = j - 81. Is z a multiple of 16?
True
Let p(x) = -7*x**3 - 2*x**2 - 2. Suppose 2*w - 4 = 2*u - 2*w, -w = 4*u + 8. Is 23 a factor of p(u)?
True
Let m = -3 - -10. Let a = -4 + m. Is a even?
False
Let s(x) = -6*x + 7. Let a be s(-8). Let n = 50 - -5. Suppose 33 = 4*q - 2*b - n, 3*q + 4*b = a. Is 14 a factor of q?
False
Let t be (3 - (-18)/(-4))*26. Let g = t - -57. Does 18 divide g?
True
Let f = -5 + 7. Let h be ((f - 5) + 2)*-4. Suppose 0 = 3*m - 10 + h. Is m a multiple of 2?
True
Suppose 22*m - 17*m = -20. Let o(i) = i**3 + 4*i**2 + i + 2*i**2 + 0*i**3 + 4. Is 16 a factor of o(m)?
True
Let g(s) = -7*s**3 + s**2 + 9*s + 15. Let v(y) = 4*y**3 - 5*y - 8. Let m(z) = -3*g(z) - 5*v(z). Let u be m(4). Suppose -13 = -4*w + u*w. Is 4 a factor of w?
False
Let z(n) = 3*n**2 - n. Let p be z(-3). Let j = 42 - p. Does 10 divide j?
False
Suppose x - 533 = -3*w, 0*x - 2*x + 712 = 4*w. Does 31 divide w?
False
Let m(a) = a**2 + 4*a - 3. Let n be m(-5). Suppose n*d - 6 = -0*d. Suppose -8 = -x - d. Is x a multiple of 3?
False
Suppose 38*f = 43*f - 255. Is f a multiple of 17?
True
Suppose o + 0*o - 26 = 0. Is 7 a factor of o?
False
Let w(t) = 2*t**2 + 4*t. Let x be w(-3). Let q(l) = -l**3 + 7*l**2 - 5*l - 1. Is 2 a factor of q(x)?
False
Suppose 4*d = 2*g - 6*g + 4, 2*g - 2 = -4*d. Suppose 2 - 9 = -s + 4*c, d = 5*s - 4*c - 83. Does 19 divide s?
True
Let v(b) = b + 1 - 1. Let k = -10 + 16. Is v(k) a multiple of 5?
False
Is 2 a factor of (-3)/4 - (-27)/4?
True
Let l(f) = f**2 + 3*f - 13. Let a be l(-10). Suppose -3*z + a = y, -5*y - 4*z + 231 = -7*z. Is y a multiple of 16?
True
Let u(g) = 7*g - 5. Let d be u(-3). Let j = 57 + d. Is j a multiple of 11?
False
Suppose h = -4*h + 20. Suppose 3*s - t = 149, 3*t - 25 = -s + 8. Suppose -3*u = -0*n + 3*n - s, 40 = 4*n - h*u. Does 13 divide n?
True
Let y(h) = h**2 + h + 2. Let s be y(-2). Let j(b) = 1 + b**2 - 6*b + b + 1 + s*b. Is j(5) a multiple of 11?
True
Suppose 37 = 2*a - 17. Let h = 86 - a. Does 10 divide h?
False
Let z = 1 + -3. Is 258/21 - z/(-7) a multiple of 3?
True
Let d = -112 - -187. Is d a multiple of 10?
False
Suppose 3*i - 1 = -5*o, 5*o = -4*i + 3*o + 6. Let w be i - (0/3 - 1). Suppose -4*s - w*z + 46 = 0, -1 = -s + z + 7. Does 8 divide s?
False
Suppose -111 = p - 4*p. Is p a multiple of 8?
False
Is (16/(-6))/(3/(-18)) a multiple of 8?
True
Suppose -3*x - 5*m - 1 = x, -4*x + 5*m + 9 = 0. Is 10 a factor of ((-8)/12)/(x/(-54))?
False
Suppose 4*k = j + 16, 7*j + 3*k - 12 = 2*j. Suppose -2*c = -4*z - 28, 1 = 3*z + 4*c - j. Let q = 1 - z. Is q a multiple of 5?
False
Let m(x) = 4*x + 6. Does 6 divide m(6)?
True
Let k be (-2 + 1)*(0 + -4). Suppose k*b + 7 = 5*a, -3*b + b = -4*a + 8. Is 9 a factor of 0 + 45/6*b?
False
Let q(m) = 441*m**3 - m + 1. Does 21 divide q(1)?
True
Let p(w) = 11*w - 3. Let o be p(3). Is 14 a factor of (o/4)/((-3)/(-6))?
False
Suppose j - 117 = -5*i, 0 = 4*i - 5*j - 48 - 63. Is 5 a factor of i?
False
Suppose -151 - 15 = -2*f + 5*t, 2*f = -5*t + 206. Is f a multiple of 8?
False
Let g be (-1363)/(-7) - 4/(-14). Suppose g - 45 = 5*h. Does 10 divide h?
True
Let c be (12/(-2))/(6/(-4)). Suppose c*u = 5*v + 63, 0 = -2*u - 2*v + 4*v + 32. Is u a multiple of 8?
False
Suppose -12*w + 634 = -626. Is 21 a factor of w?
True
Let h(x) = 2*x + 3. Let p be h(-5). Let c be (-1 - 0)*(0 - -2). Let z = c - p. Is 5 a factor of z?
True
Let j(k) = 26*k**3 - 3*k**2 - 1. Let h(w) = 131*w**3 - 16*w**2 - 6. Let u(m) = 2*h(m) - 11*j(m). Let v = -7 + 6. Is u(v) a multiple of 12?
True
Let d(v) = -v**3 - 16*v**2 + v + 20. Let m be d(-16). Suppose 3*l - 5 - m = 0. Is l a multiple of 3?
True
Let w(u) = -u**2 + 5*u + 7. Let n be w(6). Is (76/(-4))/(-1*n) a multiple of 12?
False
Let p = 128 + 11. Suppose p = 5*o + 44. Is o a multiple of 8?
False
Let u be (-4)/18 - (-87)/27. Is (-1 + 4)/(u/32) a multiple of 15?
False
Suppose 0 = h - 5 - 3. Let g be (28/6)/(h/12). Suppose -y + 2*l + 0*l = -g, -l = 5*y - 68. Is y a multiple of 13?
True
Suppose -7*o - 102 = -2*q - 3*o, 210 = 5*q + 5*o. Does 9 divide q?
True
Suppose 5*y - 169 = -3*u, 0 = 5*u + 3*y - y - 307. Is u a multiple of 9?
True
Suppose 7*y = -3*o + 3*y + 80, -5*o + 2*y = -90. Is 20 a factor of o?
True
Suppose 9*t - 1550 = 628. Is 22 a factor of t?
True
Let l(c) = -c**2. Let d(a) = -3*a**2 - 7*a - 2. Let u(b) = d(b) - 4*l(b). Is u(10) a multiple of 8?
False
Let i(a) = 2*a**2 + 5*a - 3. Is i(-7) a multiple of 20?
True
Let q(c) = -2*c**2 + c + 3. Let y be q(5). Let g = 72 + y. Does 10 divide g?
True
Let v be 10/(-55) + (-136)/(-22). Let a be ((-3)/v)/((-2)/164). Let h = a - 22. Is h a multiple of 14?
False
Let w(b) = -b**2 - 17*b - 11. Is 5 a factor of w(-15)?
False
Let d be 13/6*3*-2. Let c(g) = -15*g**2 + 9*g - 1. Let m(r) = -7*r**2 + 4*r. Let v(j) = d*m(j) + 6*c(j). Is 9 a factor of v(4)?
True
Let c be 2/7 + (-988)/28. Let w = -25 - c. Does 10 divide w?
True
Let d(b) = 13*b + 4. Is 14 a factor of d(2)?
False
Let p = -30 - -26. Let y(l) = -l**3 - l**2 + 3*l - 4. Does 16 divide y(p)?
True
Let n(z) = -17*z - 34. Is n(-4) even?
True
Suppose -2*a = 2 - 16. Suppose -s - 9 = -2*x + a, -x = s - 5. Let j = 4 + x. Is 5 a factor of j?
False
Suppose 2*v - 11 = -3. Suppose -v = g - 14. Does 5 divide g?
True
Suppose 9 = 4*a - c - 0*c, 4*c = -5*a + 6. Suppose 0 = 4*m - 2*l, 0 = 3*m - 6*m - a*l. Suppose m = 4*u + 4, 3*r - 4*u - 104 = -2*r. Does 10 divide r?
True
Let h(t) = t**2 - 13*t + 1. Let d be h(9). Let l = d + 110. Suppose -4*w + 5*i = -l, -5*w + 4*i = 3*i - 99. Is 20 a factor of w?
True
Let a(u) = -u**2 - 7*u + 10. Let l be a(-8). Let v(s) = 2*s**3 - s + 1. Let c be v(l). Suppose z + 43 = 2*d - 2*z, -d - 5*z + c = 0. Does 10 divide d?
True
Does 8 divide (32/12)/(3/45)?
True
Let t(f) = -f**2 - 1. Suppose 0 = -2*k + c + 4, 0 = 5*k - 4*k + 3*c + 12. Let a be t(k). Let j = a - -8. Does 4 divide j?
False
Does 12 divide 7/28 - 47/(-4)?
True
Let t(c) = -185*c**2 + 35*c. Let b(k) = 31*k**2 - 6*k. Let x(z) = -35*b(z) - 6*t(z). Does 15 divide x(1)?
False
Suppose -g - 3*g - 28 = 0. Let r = g + 21. Does 7 divide r?
True
Let l(r) be the second derivative of -r**3/6 + 7*r**2/2 + 3*r. Let f be l(8). Is 0 - f/(3/33) a multiple of 6?
False
Suppose 2*l = -2*l. Let m be l/((-1)/((-2)/4)). Suppose -51 = -3*w - 3*q, -3*w + 4*q - 8 + 66 = m. Is 9 a factor of w?
True
Let l = 3 + -1. Suppose 2*k = -4*u + 62, l*k + 3*u + 0*u = 62. Does 17 divide k?
False
Let d = 69 - 2. Does 16 divide d?
False
Let h = 74 - 32. Does 14 divide h?
True
Suppose l - 10 = -4. Suppose 3*i = 3*n - 0*i + 3, 2*n - 2 = -2*i. Let f = l + n. Is f a multiple of 6?
True
Let o be ((-31)/4)/((-3)/24). Suppose 188 - o = 6*g. Is g a multiple of 4?
False
Suppose 122 = 5*q - 143. Suppose 0*t - 29 = -t. Let k = q - t. Is k a multiple of 13?
False
Suppose -4*w - w = -10. Let h be -1*w - (-1 - 1). Suppose h*n + 48 = 3*n. Is n a multiple of 7?
False
Let r be ((-9)/3)/3*-42. Let s(k) = k**3 + 4*k**2 - 2*k. Let n be s(-5). Let v = n + r. Does 11 divide v?
False
Suppose -4*t + 5 = 5*i, 2*t - 3*i = -7*i + 10. Does 9 divide 47/5 - (-2)/t?
True
Let f = -5 + 6. Suppose f = -3*j + 2*j. Does 13 divide j/(-2) + 50/4?
True
Let b be ((-8)/4)/((-1)/12). Let d = -15 + b. Is d a multiple of 9?
True
Is 33 a factor of 42/28*74*1?
False
Suppose -69 = -3*n + 60. Suppose m - 3*m + 3*h + n = 0, 4*m + 3*h = 95. Is m a multiple of 6?
False
Suppose 0 = -6*b + 4*b - 10, -10 = -5*i - 5*b. Is i a multiple of 7?
True
Let o(b) = -b**2 - 9*b - 4. Let w be o(-6). Let c = 8 - w. Let v(x) = -x**3 - 5*x**2 + 2*x - 8. Is v(c) a multiple of 9?
False
Let n = 67 + -37. Is 13 a factor of n?
False
Suppose -5*k - 7 = -17. Suppose -k*z + y = 4*y + 5, 2 = -5*z - 4*y. Suppos