 4*u = 6*h + 119. Let d = 45 + h. Is 6 a factor of d?
False
Let i(s) = -s**2 + 6*s - 6. Let g be i(4). Suppose -c = g*c - 327. Suppose 2*v - 3*o - 64 + 15 = 0, 3*o = 5*v - c. Does 9 divide v?
False
Suppose 0*g - 2 = -2*g, -5*i = -2*g - 8. Suppose 5*v - 28 = -3*z + 3*v, -3*z + i*v = -32. Is z a multiple of 10?
True
Let a(r) = 8*r**2 - r. Let x be a(1). Suppose x + 1 = 4*m. Suppose -m*y = s - 29, 2*s - s + 7 = y. Does 12 divide y?
True
Suppose 0 = -3*b - 4*x, -4*b - 2*x + 4 = 2*x. Is 4 a factor of (10/5)/(2/b)?
True
Let w(r) = -8 - 2*r + 4 + 3*r. Let u be w(2). Does 5 divide (2/3)/(u/(-15))?
True
Suppose 2*d = -2*v + 20, 4*v + 22 = 6*v + 3*d. Suppose 5*g - 472 = 353. Suppose -v*l = -3*l - g. Is l a multiple of 17?
False
Let l(c) = -c**3 + 3*c**2 + 4*c + 2. Let n be l(4). Let r be 54 + -4 - (-1 + n). Suppose 5*f - 61 = r. Does 14 divide f?
False
Suppose 5*k = 3*j + 45 + 6, -3 = -k + 3*j. Is 4 a factor of k?
True
Let w(a) = a**2 - 5*a + 5. Suppose -20 = 3*o + o. Is 15 a factor of w(o)?
False
Let z(p) = -p**2 - p + 6. Let n(q) = 2*q**2 + 2*q - 7. Let f(v) = 3*n(v) + 4*z(v). Does 7 divide f(-2)?
True
Does 5 divide 24 + 4*(-2)/(-4)?
False
Suppose -q + 23 - 6 = 3*g, g = -2*q + 9. Suppose -4*v + 13 - 5 = 0, 0 = -4*f + g*v + 426. Is 29 a factor of f?
False
Suppose 3*r - 6*r = 6. Let l = r - -7. Suppose -l*m + 109 = -1. Does 11 divide m?
True
Let s = -312 + 444. Does 12 divide s?
True
Let p = -4 - -6. Suppose 4*n = 5*d - 46, p*n - 4*n - d = 16. Let y(j) = -j**3 - 9*j**2 - j + 7. Does 8 divide y(n)?
True
Let x(j) = -j**2 - 6*j - 3. Let n be x(-5). Suppose n*v + 2*v = 168. Does 14 divide v?
True
Suppose -4*h + 6*h + 12 = 0. Is 4 a factor of ((-7)/(-2))/((-3)/h)?
False
Let g(h) = 14*h**2 + h - 1. Let d(q) = -q**2 + 4*q - 4. Let x be d(3). Let o(m) = -m. Let y be o(x). Does 12 divide g(y)?
False
Suppose -j - 477 = -3*v - 124, -5*v + 565 = 3*j. Suppose 3*n - 123 = -5*u, -2*n - 2*n - v = -5*u. Is u a multiple of 12?
True
Suppose -2*v + 6 = 0, 2*u + 3*u + 3*v = 34. Is u even?
False
Let p(f) = -f**3 - 3*f**2 + 5*f. Let d be p(-4). Let n be ((-10)/(-8) - -2)*d. Let u = n - -28. Does 10 divide u?
False
Let a(k) = 2*k**2 - 14*k + 6. Is a(10) a multiple of 22?
True
Does 9 divide (-4)/12 - -2*1516/24?
True
Suppose -4*l + 19 = 3. Let x be 2/l + 27/(-6). Is ((-22)/(-8))/((-1)/x) a multiple of 4?
False
Let h be (-2*8)/((-4)/(-4)). Is h*(6/(-4) + 1) a multiple of 5?
False
Suppose 0 = 3*b + 2*b + 10. Let s(t) = -5*t**3 - 3*t**2 - 2*t - 2. Is 14 a factor of s(b)?
False
Let c(y) = -29*y + 1. Let k be (27 - 1)*7/14. Suppose -m - 22 = 2*z - 5*m, -2*m + k = -3*z. Is c(z) a multiple of 15?
True
Suppose -3*b - 18 = -6*b. Is b a multiple of 3?
True
Let u be (-2 + -1)/((-2)/(-256)). Is u/(-66) - (-2)/11 even?
True
Suppose 4*c = c + 9. Suppose -4*x - x = d - 11, 3*x - 3*d = c. Suppose -14 + 0 = -x*s. Does 4 divide s?
False
Let k be 1/(-4) - (-9)/4. Suppose -2*z + 128 = k*z. Is 16 a factor of z?
True
Let s(y) = -17*y - 2 + 1 - y + 3*y. Let m = -2 - 1. Is 16 a factor of s(m)?
False
Let l = 3 - 1. Suppose -l*a + 34 = -6. Does 7 divide a?
False
Let p = -21 - -49. Suppose -2*j = -6, 3*l - j + p = 94. Does 23 divide l?
True
Let r = -10 - -6. Let g be -6 + 2 - -2 - r. Suppose -5*t = -g*t - 15. Is t a multiple of 5?
True
Suppose -3*q + 3*v = -2*q - 281, 4*v = q - 281. Suppose -4*p + 205 = 5*x, -2*p - 3*p = -2*x - q. Is p a multiple of 15?
False
Suppose 2*x = -21 + 95. Is x a multiple of 3?
False
Let a(o) = -o**3 - 8*o**2 - 6*o + 9. Let k be (-3)/(6/(-7))*-2. Let z be a(k). Let x = z - -30. Does 12 divide x?
False
Let d = 225 + -136. Is d a multiple of 14?
False
Let l(b) = 7*b - 1. Let q be 2/(-2)*32/4. Let v(r) = r**3 + 9*r**2 + 9*r + 10. Let p be v(q). Is l(p) a multiple of 7?
False
Let v(o) = 14*o**2 + 2*o - 6. Does 5 divide v(2)?
False
Suppose 3*a + a - 754 = -2*u, -3*a + 553 = -u. Suppose 2*p - 124 = 4*o, -3*o = -2*p - p + a. Is p a multiple of 17?
False
Let w(x) = 10*x**2 - x + 5. Is 46 a factor of w(3)?
True
Let b(w) = 4*w**3 + 5*w**2 - 4*w + 1. Let d be (6/8)/(2/8). Let m be b(d). Suppose m = 5*h - 8. Is h a multiple of 10?
True
Let g = -2 + 4. Suppose n - g = -0*n. Does 3 divide (-18)/n*(1 - 2)?
True
Let j(s) = 5*s - 6. Let w(f) = -f + 1. Let h(q) = j(q) + 6*w(q). Let b be h(-5). Suppose d = 2*m - 4*d + b, -2*m - d = -13. Is m a multiple of 5?
True
Let g be -4*(-2 - 6/(-4)). Is 9 a factor of -1*(0 - 20/g)?
False
Let l(s) = s**3 + 15*s**2 - 18*s + 18. Is l(-16) a multiple of 22?
False
Let f be (-57)/((-6)/(-2)) - -1. Let n(u) = u**2 - 4*u + 1. Let h be n(-4). Let l = h + f. Is l a multiple of 6?
False
Let d be (-87)/15 - (-1)/(-5). Let o = d - -12. Is 3 a factor of o?
True
Let u be ((-4)/(-7))/((-2)/(-7)). Suppose 4*i = -z + 3 - 7, -i + 6 = u*z. Suppose -y - 5*s + 28 = 0, 2*s = -2*y + z*s + 8. Is 4 a factor of y?
True
Let n = 0 + -3. Let j be -2 - -4*(-6)/n. Suppose j*r - 70 = r. Does 11 divide r?
False
Suppose l = -0 + 12. Suppose l = -5*b + 132. Suppose -f = -0 - b. Is f a multiple of 12?
True
Let i be (-1)/3*-1*15. Suppose -h + 45 = f, -f - i*h = 2*f - 141. Is 21 a factor of f?
True
Let r be 0 + 12/(-9)*-12. Suppose -5*w = 5*f + 10, -4*f - r + 0 = -4*w. Suppose 0 = 4*o - 5*d - w - 30, -d + 1 = o. Does 4 divide o?
True
Let w(b) = 5*b + 26. Is 20 a factor of w(15)?
False
Let i = -4 - 2. Does 5 divide -1 - (i*2 - -1)?
True
Suppose -5*z + 7 = -63. Is z a multiple of 3?
False
Let b(k) = k + 50. Is 8 a factor of b(-11)?
False
Suppose -4*n + 5*u - 48 = 0, 0 = 3*n + 3*u + u + 5. Let h = 11 + n. Suppose 9*i = h*i + 10. Is i a multiple of 2?
True
Suppose -5*m + 4*m + 13 = 0. Is 4 a factor of m?
False
Suppose -4*l = 2*n + 16, 6 = -5*l + 4*n - 1. Is l/12 + 306/8 a multiple of 24?
False
Suppose t + 3*t = q - 19, 3*t = -4*q + 38. Let f = 8 - q. Does 10 divide (-18)/(-4)*(-20)/f?
True
Does 19 divide (96/40)/(6/195)?
False
Let a(i) = -i**3 - 9*i**2 - 9*i - 2. Let l be a(-8). Is 4/(1 - 4/l) a multiple of 3?
True
Suppose -5*o + 12 = q - 4, 2*q = -3*o + 32. Is q a multiple of 3?
False
Suppose -4*i - i = -290. Suppose s = 2*g - 30, 3*s + i = 4*g - 0*s. Is 16 a factor of g?
True
Let m(i) = 66*i. Let g be m(1). Let h be (g/4)/(3/16). Suppose 4*r - 4*y = -r + h, 5*y - 22 = -2*r. Is r a multiple of 16?
True
Let i(q) = -q**2 + 6*q**2 - 2*q - 4*q**2. Let j be i(3). Suppose -j*p = 2*p - 100. Is 8 a factor of p?
False
Suppose 4 = l - 2*p - 0, -5*p + 10 = 0. Is 4 a factor of l?
True
Suppose -240 = 2*t - 6*t. Is 15 a factor of t?
True
Let z = 3 + 2. Let n be (-4)/20 - (-1)/z. Suppose -4*b = -2*f + 132, -4*f - 5*b = -n*b - 238. Is 23 a factor of f?
False
Let v = 50 - -75. Is v a multiple of 20?
False
Let x(v) be the second derivative of v**3/6 + 2*v. Let z be x(2). Suppose -12 = 4*m, 0*p - 3*m = -z*p + 81. Does 18 divide p?
True
Suppose -3*q - 3 = -q + 3*h, 3*q = 3*h + 3. Let i be 2/1 + (q - 1). Is (i - -8)/(3/14) a multiple of 14?
True
Let b = -44 + 30. Let f = 40 - b. Is f a multiple of 18?
True
Let j = 2 - 1. Let u be -3*(-2 + j + 2). Does 6 divide (u + 1)/(1/(-9))?
True
Let q = -13 + 22. Let k be (-2)/14 - (-835)/(-35). Does 12 divide (-5 + -1)/(q/k)?
False
Suppose -120 = 2*i - 6*i. Is 7 a factor of (i/4)/(1/2)?
False
Let z be (1 - -1)/((-2)/(-5)). Suppose -z*j = -j, -2*c - 4*j = -4. Suppose 4*a + 8 = -4*w, 13 = c*w - 2*a - 3. Is 3 a factor of w?
True
Suppose 7*b = 2*b - 4*x + 176, 4*b - 116 = 3*x. Is 4 a factor of (15/(-20))/((-2)/b)?
True
Is (-1692)/(-60) + 1/(-5) a multiple of 3?
False
Suppose -7 + 33 = m - 4*u, 0 = -m + 2*u + 24. Does 22 divide m?
True
Suppose 3*h - 58 = 3*t - t, -2*h + 77 = -3*t. Is 8 a factor of t/(-3) - 3/(-9)?
True
Suppose -2*u - 3*f - 9 + 33 = 0, -5*u + 4*f = -37. Is u a multiple of 7?
False
Suppose 2 + 1 = u. Let z(p) = 86*p**2 - 1. Let i be z(-1). Suppose -2*k + 5*k - n = i, -u*k = -3*n - 81. Is k a multiple of 10?
False
Let v(a) = -35*a**3 + a**2 + 2*a + 1. Let z(g) = g**2 - 2*g - 1. Let t be z(2). Is 18 a factor of v(t)?
False
Suppose -6 = -4*x + 10. Let o(q) = q**3 - q**2 - 3. Is o(x) a multiple of 15?
True
Let x(g) = -12*g + 1. Let p be x(-6). Suppose -3*r = -4*r + p. Is 12 a factor of r?
False
Let s(r) = r**2 + 2*r - 3. Let v be s(1). Suppose 2*f - 1 = 3. Suppose -f*c = j - 21, -30 = -2*c - v*j - 4*j. Is 9 a factor of c?
True
Suppose 2*o + 8 = 0, -4*r + r = o + 1. Is 1