ultiple of 18?
False
Suppose -4*m - g + 118 = -175, 0 = 2*m - 3*g - 129. Is m a multiple of 58?
False
Let g be (-11)/3 - (-4)/6. Let f = g - 6. Let m = f - -23. Does 14 divide m?
True
Suppose -5*t = 4*h - 44, 4*h - 4*t = 2 + 6. Let u(r) = r**3 - 3*r**2 - 11*r - 6. Is 11 a factor of u(h)?
False
Suppose 168 = 5*l + 3*h - 355, -5*l + 519 = -h. Does 14 divide l?
False
Let t(b) = -b + 24. Let c be t(0). Suppose 4*w - c = 120. Suppose -v - v + w = 0. Does 13 divide v?
False
Let a = -12 + 97. Is 17 a factor of a?
True
Suppose -2*w + 388 = -y, w - 194 = 2*y + 3*y. Does 19 divide w?
False
Let r be ((-12)/6)/((-4)/(-22)). Let u be (-2)/r - (-75)/11. Does 3 divide u/(2 + (1 - 2))?
False
Let i = 1 - 1. Let y(b) be the second derivative of b**5/20 - b**4/12 + 6*b**2 + 7*b. Is y(i) a multiple of 8?
False
Suppose -9*x + 15*x - 324 = 0. Is 8 a factor of x?
False
Is (-40)/12*-3*8 a multiple of 16?
True
Let c be 3/((-6)/(-4)) + -17. Let a be 23/5 - (-9)/c. Suppose -5*j = -3*j + 5*w - a, -5*w - 32 = -j. Is j a multiple of 12?
True
Suppose 12 = n - 3*n. Let c be (-64)/(-8)*n/(-8). Does 23 divide 64/(3/c*2)?
False
Suppose 6*a = a + 4*p - 16, 3*p - 12 = -5*a. Is 9 a factor of 6*-1*(a - 3)?
True
Let s = 222 - 81. Is 15 a factor of s?
False
Suppose 0 = -2*f + 11 - 3. Suppose 4*k + 2*o = -2, f*k - o = -0 - 5. Is (4/8)/(k/(-20)) a multiple of 5?
True
Let y(j) = 7*j**2 + 2*j. Let f = 6 - 1. Suppose -f*t = -5*d - 10, -3*t + 3*d - 26 = 8*d. Is y(t) a multiple of 12?
True
Let r = 241 - 143. Suppose b + r = 2*b. Suppose -3*f - 3*p = -90, f + 2*f - b = p. Is 15 a factor of f?
False
Let v(r) = 56*r - 5. Is v(2) a multiple of 26?
False
Suppose 0 = 2*y + 6 + 8. Let a = y + 12. Does 5 divide a?
True
Let x = -3 - -4. Is -2 - ((-3 - x) + -1) a multiple of 2?
False
Let k(h) = -h**2 + 20*h - 7. Does 28 divide k(13)?
True
Let z = 14 + 11. Is z a multiple of 4?
False
Let p(u) = -14*u - 19. Is 27 a factor of p(-11)?
True
Let s = 351 + -154. Does 18 divide s?
False
Does 5 divide (-1548)/(-28) - 6/21?
True
Let j(i) = i + 7. Let b be 4/10 - (-27)/(-5). Let m be j(b). Suppose 3*l = -3*s + m*l + 51, 4*s - 2*l = 78. Is s a multiple of 7?
False
Suppose -3*c - 3*k + 75 = 0, 35 = 4*c - 4*k - 25. Is c a multiple of 4?
True
Let h = 3 + -17. Is 6 a factor of 2/7 + (-220)/h?
False
Let i(w) = -w**3 - 9*w**2 - 8*w + 2. Let g be i(-8). Is g - 0 - (-28 - 0) a multiple of 23?
False
Let d = 24 - 0. Does 7 divide d?
False
Suppose g - 21 = 2*y - 6, -40 = -3*g + 5*y. Suppose -i + 5*k - 6 = -32, g*i = -3*k + 18. Does 2 divide i?
True
Let a be ((-2 + 2)/3)/(-1). Let c = a + 6. Let h = c - -4. Is 7 a factor of h?
False
Does 5 divide (-51)/(-5) + 4/(-20)?
True
Suppose 6*p - 534 = 3*p. Does 16 divide p?
False
Let f(j) = 11*j - 2. Let d be f(2). Suppose 3*z - d = 28. Is 16 a factor of z?
True
Suppose -5*b - 8 + 3 = 0. Let t be b/(-2)*(6 + 0). Suppose n = t*n - 60. Does 15 divide n?
True
Let t(f) = -f - 10. Let h be t(-13). Suppose -4*q + 26 = -2*s, -4 = h*q - 3*s - 22. Does 4 divide q?
False
Let t be -1 + ((-4)/(-2) - 70). Suppose -5*l - 95 = 125. Let s = l - t. Does 10 divide s?
False
Let j(q) = q. Let i be j(5). Suppose i*t - 190 = -0*t. Is 19 a factor of t?
True
Let b = -196 + 331. Is 15 a factor of b?
True
Suppose 0 = -5*q - t - 32, 4*t - 10 = q + 9. Let u(k) = -k**3 - 8*k**2 - 6*k + 10. Let f be u(q). Suppose f*v - 18 = v. Is 3 a factor of v?
True
Suppose 35 = 2*r + 13. Let z = r + -8. Is 3 a factor of z?
True
Let n(a) = -a**3 - 4*a**2 - 2*a + 2. Let h(b) = -b - 2. Let v be h(2). Is n(v) a multiple of 8?
False
Is 118 + (5 + -7 - (-4 + 0)) a multiple of 20?
True
Let y(x) = 2*x + 12. Let b be y(-7). Does 14 divide 52 + 1*(0 - b)?
False
Let h = 24 - 15. Let d(v) = v**3 + 9*v**2 - 6*v - 6. Let f be d(-9). Is 14 a factor of 42/8*f/h?
True
Let d(o) = 0*o**3 - 2*o**2 + 6*o**2 + 2*o + o**3 - 3. Let x be d(-3). Suppose -5*g = -t - 28, x*g + 5*t = -5*g + 40. Is 3 a factor of g?
True
Suppose -73 = -3*x - 1. Suppose 0*a + a - x = 3*v, v - 27 = -2*a. Is a a multiple of 6?
False
Suppose n - 1 = 1. Suppose -3*o + 1 = 2*w - 17, n*o = 2*w + 2. Is 2 a factor of o?
True
Is (1 - 1*-41) + (-6)/(-6) a multiple of 17?
False
Suppose 2*k = -2 + 12. Suppose -r + 2 = 2*s - 2*r, k*s + 5*r = 20. Suppose -4*g = -y - 124, 5*y - s - 18 = 0. Is g a multiple of 16?
True
Let f = -47 - -72. Let o be -2 + (f - (6 - 3)). Is ((-16)/(-5))/(4/o) a multiple of 6?
False
Let b(t) = -t**3 - 14*t**2 - 25*t + 9. Does 16 divide b(-13)?
False
Let u be (-658)/(-8) - (-5)/(-20). Is 2/(-8) + u/8 a multiple of 5?
True
Suppose -3*p + 9 = -u - 0*u, -4*p = 4*u - 28. Suppose -3*a + 9 = z, 2*a + z - 2 - u = 0. Is 2 a factor of a?
True
Let v(n) = n**3 + 6*n**2 - 4*n - 7. Let i be v(-5). Let s = -8 + 11. Suppose 2*a - s*t = -0*a + i, -3*t + 116 = 5*a. Is 11 a factor of a?
True
Suppose -357 = 9*n - 1311. Is n a multiple of 11?
False
Let v(r) = 4*r**2 + r + 1. Let p be v(-1). Suppose 5*f + 3 = -p*q, 2*q - 2 = -f - 5. Suppose -t + d + f = -17, 5*t = -2*d + 83. Is 7 a factor of t?
False
Let s be 3/(-18) + 1/6. Suppose -2*o + 5*o = 5*i, s = 5*i - 2*o. Suppose -3*u - h + 1 + 10 = i, 0 = -2*h + 10. Does 2 divide u?
True
Let a(d) = -d**3 + 11*d**2 - 9. Let h be a(11). Does 14 divide (-132)/h - 6/9?
True
Let c(h) = h**3 + 9*h**2 + 7*h - 3. Let d be c(-8). Suppose -1 - d = -g. Is g a multiple of 3?
True
Suppose -2*z + 405 = 3*z. Suppose -z - 78 = 3*h. Let q = -32 - h. Is q a multiple of 8?
False
Suppose 413 = 4*d - 2*n - 191, n - 769 = -5*d. Is 24 a factor of d?
False
Let l = -6 + 9. Suppose -374 = 5*b + 4*t, -l*t + 0 - 3 = 0. Let j = b + 106. Does 12 divide j?
False
Let c be 6/(-4)*(-20)/6. Suppose c*j + 33 - 13 = 0. Let q(v) = v**3 + 7*v**2 + 5*v. Is 14 a factor of q(j)?
True
Suppose 4*f + 2*y - 442 = 0, 0 = -f + 4*y + 9 + 97. Is 14 a factor of f/8 - 2/(-8)?
True
Suppose -d - 2 = 2*w, 8 = 2*d + 2*w - w. Let x = 10 - d. Suppose 4*u + 27 = 5*y - 89, x*u = -4*y + 100. Is 8 a factor of y?
True
Let h = 1 - -3. Let g = 4 - h. Suppose g = 6*a - 5*a - 12. Does 12 divide a?
True
Suppose 5*o = o + 108. Let c = o - 15. Does 12 divide c?
True
Suppose 9*z = 4*z + 15. Suppose -z*f - 2*c = -88, -125 = -4*f + c + 4*c. Is f a multiple of 23?
False
Let i = -11 + 7. Does 3 divide i/10 - 141/(-15)?
True
Let x(p) = -4*p**2 + p + 1. Let i be x(-1). Let b be 14/4*(-24)/i. Is 21/(-2)*(-56)/b a multiple of 14?
True
Let s(o) = -o**2 - 7*o + 5. Let b be s(-7). Suppose -4*q = -b*q + 39. Is 13 a factor of q?
True
Suppose -4 = -4*w, -3*w + 41 = -0*t + 2*t. Let d = t + -11. Does 3 divide d?
False
Let u = -36 + 52. Suppose 4*q = u, -o + 25 = -q + 5*q. Is o a multiple of 3?
True
Let j be 1/1 - (-372)/4. Suppose 7*i - 3*y - j = 3*i, -4*y + 58 = 3*i. Is i a multiple of 11?
True
Suppose 4*p - 212 = -3*v, -3*p + 176 = v - 3*v. Does 7 divide p?
True
Let j(o) = -6*o**3 - o**2 + 5*o + 6. Is j(-2) a multiple of 12?
False
Let p(z) = z**2 - z - 6. Suppose 2 = n - 0. Suppose 3*h = 2*h + 4, -l + 3 = n*h. Does 11 divide p(l)?
False
Let j(x) = -5*x**3 - 15*x**2 + 20*x - 15. Let c(w) = -w**3 - 4*w**2 + 5*w - 4. Let m(f) = 9*c(f) - 2*j(f). Is 12 a factor of m(6)?
True
Let l = -87 + 154. Is l a multiple of 9?
False
Suppose 2*s = -10, -70 = -4*u - 0*u - 2*s. Does 20 divide u?
True
Suppose -7*y + 5 = -6*y. Does 8 divide y*18*8/30?
True
Let m = 3 - 0. Let b = 5 - m. Is 7 a factor of 1*((-15)/(-3) + b)?
True
Suppose -4*t - 21 = y, -3*t - 2*y + 4*y = 13. Let p(u) = -4*u - 7. Is 8 a factor of p(t)?
False
Let x(j) = 4*j - 4. Let l be x(-3). Let c = l - -49. Is c a multiple of 17?
False
Is ((5 - 0) + -4)*9*18 a multiple of 8?
False
Is 22 a factor of 9/((-9)/(-44)) + 0?
True
Let w(s) = s**3 - 9*s**2 - s - 24. Is w(10) a multiple of 9?
False
Let i be (2*5)/(-2 - -4). Suppose 0*u - i*u - 5 = 0. Let w = u - -4. Is w even?
False
Suppose -4*f = -2*t - 16, -4*t + 20 = 3*f + 8. Is 10 a factor of 6 + 4 - t/(-2)?
True
Let z = 56 + 4. Does 12 divide z?
True
Suppose -4*w + 27 = -2*w + q, -5*w + 85 = -q. Suppose -d = -23 - w. Is 8 a factor of d?
False
Let l = 132 + -56. Does 11 divide 3/6*l + 0?
False
Does 8 divide 12 + 16 + -1*4?
True
Suppose -510 = -5*v - 3*d, 0 = -3*v + 7*d - 5*d + 287. Does 9 divide v?
True
Let d(q) = 2*q**2 + 21*q + 18. Let z be d(-14). Suppose 3*u + u - z = 0. Is 16 a factor of u?
False
Let g(x) = x**2 - 6*x - 5. Let