81. Does 21 divide h?
False
Suppose 0 = -3*z + z - 196. Is 12 a factor of z/(-8) - (-2)/(-8)?
True
Suppose -u = 6*y - y - 133, -279 = -2*u + 3*y. Is 46 a factor of u?
True
Let w = 7 + -4. Let p = 8 - w. Let f = 8 + p. Does 12 divide f?
False
Let h(t) = t**3 + 2*t**2 - t - 3. Let c be h(-3). Let k(u) = u**3 + 8*u**2 - 8*u + 12. Is k(c) even?
False
Let t = -2 + 4. Is 1/t - 62/(-4) a multiple of 6?
False
Let r(d) be the third derivative of -d**4/4 - d**3/3 + 3*d**2. Let h be r(2). Does 8 divide -48*(3 - h/(-4))?
True
Suppose 3*s + 5*o - 4 = -12, o + 4 = 0. Suppose 11 = -s*x + 35. Suppose x*y - 2*y = 56. Does 7 divide y?
True
Let j(s) = s**3 - 1 - 2 - 5*s - 2*s + 5*s**2. Suppose 0 = 4*p + 10 + 10. Is 16 a factor of j(p)?
True
Let d(x) = 2*x - 1 + 5*x - x. Let p be d(-1). Is 4 a factor of (p + 11)/(-1 - -2)?
True
Suppose -12*n + 2345 - 365 = 0. Is 14 a factor of n?
False
Is 19 a factor of 3828/20 + -3 + 6/(-15)?
False
Let q(m) = -3*m + 1. Suppose 2*n = -n - 6. Let l be q(n). Suppose -3*g + 58 = l. Does 8 divide g?
False
Let c(a) be the third derivative of a**6/120 + a**5/10 - a**4/3 + 5*a**3/6 - 2*a**2. Does 12 divide c(-7)?
True
Let v be (-10)/(-4)*(-4 - -2). Suppose t + 47 + 29 = -4*z, -3*z - 5*t - 40 = 0. Let a = v - z. Is a a multiple of 12?
False
Suppose 12*j - 35 = 7*j. Suppose 2*k = j*k - 100. Is k a multiple of 8?
False
Let h be -2*(2 - 1) + -4. Let r(v) = -v + 7. Is 5 a factor of r(h)?
False
Let f(n) = -n**3 + 8*n**2 - 3*n + 3. Is 19 a factor of f(6)?
True
Let u(x) = -x**2 - 6*x. Let r be u(-6). Suppose r = -3*t + 63 + 87. Is 17 a factor of t?
False
Let h = -10 - -18. Let y = 22 + h. Is 15 a factor of y?
True
Let y = -38 + 67. Is 12 a factor of y?
False
Let c = 17 + -15. Suppose 0*s - 32 = -c*s. Does 4 divide s?
True
Is 13 a factor of (-370)/(-8) - (-10)/(-40)?
False
Let j = -20 - -23. Does 13 divide j + -3 + -4 + 30?
True
Let w(r) = r + 1. Let n be w(3). Suppose n*o = -20, -2*m + o = -4 - 13. Is (2/m)/(4/132) a multiple of 11?
True
Let j = 14 - 9. Let l = 5 - j. Suppose l = 4*a - 8 - 0. Is a even?
True
Suppose 2*j - 12 = -2*j. Suppose j*a - 27 + 6 = 3*p, 5*a - 30 = 4*p. Suppose 0 = -a*t + z + 29, 0 = 2*z + 10. Does 12 divide t?
True
Suppose -5*m + 52 - 2 = 0. Let x be 2/8 - m/8. Let r(k) = -16*k**3 + 2*k + 1. Is r(x) a multiple of 8?
False
Let l(a) = 11*a - 12. Is l(4) a multiple of 8?
True
Is ((-42)/9)/((-6)/9) a multiple of 3?
False
Let u(z) = z + 8. Let x be u(-11). Let m = x + 15. Is 9 a factor of m?
False
Let l = 13 + -3. Does 5 divide l/4*(3 - 1)?
True
Is (-6)/2*(-28)/21 a multiple of 4?
True
Let h(s) = s**2 + s - 6. Is 9 a factor of h(-7)?
True
Suppose -8 = -2*v + 4. Suppose -f - 74 = -3*d - v*f, 4*d = -4*f + 88. Suppose 4*b - d - 26 = 0. Is b a multiple of 10?
False
Let l(c) = -2*c + 2. Let s be 3*1*(-1)/3. Is 2 a factor of l(s)?
True
Suppose -2*i + 2*x + 8 = 4*x, -4*i + 7 = x. Suppose 7*r = 2*r + 20. Let w = r - i. Is w a multiple of 2?
False
Let y = 10 + -7. Let m be (-1 + -1)/((-36)/162). Is 11 a factor of (20/y)/(2/m)?
False
Let y(m) = -m - 1. Let x be y(2). Let i be x - -4*6/4. Suppose 8*g = i*g + 55. Is 4 a factor of g?
False
Let p(k) = k**3 + k + 25. Let h(o) = -o**3 - o - 24. Let t(s) = 2*h(s) + 3*p(s). Let y be 0/7*1/(-1). Is t(y) a multiple of 10?
False
Let u(a) = -a**3 - 3*a**2 + 4*a + 4. Let q be u(-4). Suppose 10 = -q*l - 38. Let t = l + 53. Is 17 a factor of t?
False
Is 3 a factor of (-90 - -2)*9/(-18)?
False
Suppose 3*m = 9 + 312. Suppose 4*n + m = 3*v, -v + 3*v + 4*n - 38 = 0. Is v a multiple of 12?
False
Let i = 6 + -2. Let z be 21/(-2 + 2/i). Let w = 12 - z. Does 13 divide w?
True
Let q(u) = -3*u + 2. Let w = -2 + 4. Let m be q(w). Is m/(2 + (-80)/38) a multiple of 13?
False
Let l(d) be the first derivative of -d**4/4 - 3*d**2/2 - 5*d + 3. Let s(b) = -3*b**3 - 8*b - 14. Let w(o) = -11*l(o) + 4*s(o). Is 10 a factor of w(-3)?
False
Suppose 3*l + 27 = i, -i - 6*l + 2*l = -27. Suppose 3*d = -4*p + 73, -2*p = d - 0*p - i. Is 10 a factor of d?
False
Let w(t) = 48*t - 2. Let z be w(2). Is 7 a factor of 6/21 - z/(-14)?
True
Suppose -l + 4*s - 7 = -0*l, -3*l + s = 10. Let m be l/15 - (-36)/5. Let b(t) = t**2 - 6*t - 5. Does 2 divide b(m)?
True
Suppose 0 = r - s - 11 + 31, 10 = -5*s. Let z = -14 - r. Is z a multiple of 3?
False
Let j(h) = -h**2 + 2*h + 1. Let c be j(3). Let m be 1/(-2) - 1/c. Suppose m = 4*y + 4*k - 36, 19 = 3*y + k - 14. Is y a multiple of 8?
False
Let v(a) = -4*a**2 + 8*a + 1. Let o(f) = f**2 + f + 1. Let h(q) = 3*o(q) + v(q). Let r(m) = m**3 + 8*m**2 - 2*m - 9. Let x be r(-8). Does 16 divide h(x)?
True
Let m(k) = -k**3 - 4*k**2 + 8*k + 5. Let y(h) = 2*h + 10. Let c be y(-8). Let p be m(c). Is p*(2 + -2 + 1) a multiple of 17?
False
Let d(k) = -k**3 - k. Let f be d(1). Let r be (f/(-2))/(2/8). Suppose -2*s + 5*s - 5*i - 86 = 0, s = r*i + 31. Is 10 a factor of s?
False
Suppose 6 = 2*w + 5*v + 3, 0 = -2*w - 2*v. Does 7 divide 0/(-2) + (w - -15)?
True
Suppose -2*y = 2, 5*n + 2*y = 3*n + 6. Suppose -7*b = -3*b - 32. Let s = n + b. Does 6 divide s?
True
Let z(u) = 2*u - u - 2*u + u**2 + 1 + 2*u - 88*u**3. Let k be z(-1). Suppose -2*i + k + 11 = 0. Is i a multiple of 17?
False
Is 0 - -3 - (-3 + -41) a multiple of 17?
False
Suppose -198 = -6*p + 2*p + s, -3*p = 3*s - 141. Is 10 a factor of p?
False
Let u be (-2)/4 - 23/(-2). Suppose 0 = -3*c - 0*c + 6. Suppose -3*i = 5*x - 49, -c*i + 9 + u = -3*x. Is 13 a factor of i?
True
Is (-8)/(-18) - 6391/(-99) a multiple of 15?
False
Let r(x) be the third derivative of x**5/60 + x**4/24 + 2*x**2. Let v(u) = u**3 + 5*u**2 - 3. Let s be v(-5). Is 6 a factor of r(s)?
True
Let q = 93 - -4. Let x = -24 + q. Does 19 divide x?
False
Suppose 0 = -q - 5*w + 23, 0*w - w + 10 = 2*q. Does 17 divide (-1 + -16)*q/(-1)?
True
Suppose 0 = -5*g - 4*p + 152, 4*g - 4*p - 64 = 36. Is g a multiple of 7?
True
Let m = 1 + 50. Is 2 a factor of m?
False
Let x = 360 - 159. Does 13 divide x?
False
Let b(g) = -7*g - 3. Let a(d) = -d + 1. Let l(c) = -3*a(c) - b(c). Let j be l(3). Suppose 9*y - 4*y - 30 = 2*q, -5*y = q - j. Is y a multiple of 3?
True
Suppose -i + 2 = -3*f, 8 = i + i - 2*f. Suppose 16 = -5*a + 2*p, -5*a - i*p = -a - 7. Let n = a - -12. Is 10 a factor of n?
True
Let j be 1 - (-2 - (-3 + 2)). Is 13 a factor of 9/(-9)*(-90)/j?
False
Suppose 0 = 5*l - 9 - 1. Let s be l + -1 + (-2 - -6). Suppose s*y - 3*y = 2*m - 26, y - 19 = -m. Does 8 divide m?
True
Let y(s) = -8*s + 5. Does 23 divide y(-8)?
True
Let w be (50/15)/((-2)/(-3)). Does 6 divide ((-12)/w)/(2/(-5))?
True
Suppose 0 = 6*y - 16 - 8. Suppose -4*s + 193 = -3*b + 76, -s + 15 = y*b. Is 22 a factor of s?
False
Let d(m) = 13*m**2 - 7*m - 7. Let v(p) = 12*p**2 - 6*p - 6. Let a(g) = -3*d(g) + 4*v(g). Let j = 4 - 6. Is 13 a factor of a(j)?
True
Let h(s) = 5*s**2 + 9*s + 6. Is h(-3) a multiple of 8?
True
Suppose -2*p - 3*p = -135. Is p a multiple of 27?
True
Suppose 3*d - 3*z + 55 = -d, -4*d - 2*z - 50 = 0. Is (-1)/1 - 1 - d a multiple of 5?
False
Let x(w) = 2*w - 11. Let f be x(9). Suppose -f*s = -3*s - 140. Suppose -2*i = l - s, 2*l - 37 = l - 4*i. Is 20 a factor of l?
False
Suppose 2*d + 71 = -2*k + 431, 0 = -3*k. Does 15 divide d?
True
Suppose m - 2 = -1. Let x be 3*(m - 0) + -1. Does 2 divide ((-2)/(-6))/(x/12)?
True
Suppose 4*b + b = -15. Let k = 3 + b. Suppose 3*n + k*n = 9. Is 3 a factor of n?
True
Let r = 2 - -1. Let i = r + -1. Let v = 16 + i. Is v a multiple of 9?
True
Suppose 17 = -5*x + 382. Is 6 a factor of x?
False
Suppose 0 = -8*p + 6*p + 10. Suppose -3*n + 0*n - 4*o + 14 = 0, -2*n - p*o + 7 = 0. Is n a multiple of 3?
True
Suppose -8 = 2*t - 2*o, -4*t - 4*o + 2*o + 8 = 0. Suppose t = -l + 8 + 5. Is 7 a factor of l?
False
Suppose 6 = 3*r, -3*t + 2 + 2 = -4*r. Suppose 61 = -5*p - 2*n + 202, 2*p + t*n = 66. Is 12 a factor of p?
False
Let s(o) be the first derivative of 16*o**3/3 + o**2/2 - o + 6. Is 16 a factor of s(1)?
True
Suppose -3*w + 12*w = 1098. Is w a multiple of 31?
False
Suppose f - 2*f + 111 = 2*a, -3*a + 171 = 3*f. Is a a multiple of 27?
True
Let v(f) = 2*f**2 + 8. Let j(x) be the second derivative of x**4/6 - x**3/6 + 9*x**2/2 - 2*x. Let s(h) = -6*j(h) + 7*v(h). Is s(-5) a multiple of 19?
False
Let d(g) be the second derivative of -5*g**3/2 - 7*g**2/2 - g. Let l(h) = -22*h - 11. Let i(v) = -7*d(v) + 5*l(v). Is 14