 (b - 6)/((-2)/7)?
False
Let i = 3 - 3. Suppose -2*p + 3*o + 1 = -i, -5*o - 4 = -3*p. Let t = p + 13. Is t a multiple of 5?
False
Let f(s) = 4*s**3 - s**2 + 3*s - 1. Let p be (3 + -1)*3/3. Let c be f(p). Let d = -1 + c. Does 16 divide d?
True
Suppose -2*g + 8 = 2*a, -2*a = 2*a - 5*g + 2. Suppose a*p = 36 + 18. Is p a multiple of 15?
False
Suppose -9*z + 559 = 154. Does 8 divide z?
False
Suppose 2*x + u - 1 = 0, 0*x + 3*u - 3 = x. Suppose 2*y - t - 17 = y, 5*t + 15 = x. Is y a multiple of 14?
True
Suppose 0 = -r + 1 + 1. Suppose -2 = -t - 0, -5*t = -r*g - 2. Does 3 divide 7/3 + g/6?
True
Let p = 116 - 14. Let u(s) = -s. Let b be u(-3). Suppose -54 - p = -b*n. Is 18 a factor of n?
False
Suppose -a + 18 = -5*s, -4*a + 2*s + 9 = -3*a. Suppose a*w = -w + 16. Is 1*37 + (w - 4) a multiple of 13?
False
Let j(n) = -n**3 - 3*n**2 - 4*n - 11. Is 7 a factor of j(-4)?
True
Let w(c) = -c**3 - 5*c**2 - c + 3. Does 2 divide w(-5)?
True
Let f = -73 + 124. Is 9 a factor of f?
False
Let k(f) be the third derivative of -f**6/360 - 7*f**5/120 + 7*f**4/24 - f**3/6 - f**2. Let x(h) be the first derivative of k(h). Is 8 a factor of x(-6)?
False
Let d(j) = 4*j**2 - 2*j + 1. Let q be d(1). Is q - 3 - -1 - -27 a multiple of 14?
True
Let l(n) = -n**3 - 13*n**2 - 5*n - 15. Is 16 a factor of l(-13)?
False
Suppose -7*n + 11*n = 140. Is n a multiple of 9?
False
Let u be (7/(-14))/((-2)/360). Suppose -3*a - u = -8*a. Does 10 divide a?
False
Let v = 34 - 22. Suppose -v = -0*b - 3*b. Is b a multiple of 2?
True
Let x(j) be the first derivative of j**4/2 - 2*j**3 + 3*j**2/2 - 3*j + 2. Let a be x(4). Let r = a + -6. Is r a multiple of 15?
False
Suppose 4*b = 51 + 153. Is b a multiple of 16?
False
Suppose a = 2*a - 12. Suppose 187 = 5*z + k + a, 0 = -5*k - 25. Is 29 a factor of z?
False
Let y = -180 + 249. Does 20 divide y?
False
Suppose 1216 = -3*o + 7*o. Does 56 divide o?
False
Let m(y) = -5*y**2 + 2*y - 3. Let p be m(2). Let x(j) = j**3 + j**2 - 4*j - 64. Let b be x(0). Let v = p - b. Is v a multiple of 12?
False
Let s = 19 - -29. Is s a multiple of 16?
True
Suppose 2*y = 3*f - 5*f + 52, 0 = 2*f + 4*y - 42. Does 4 divide f?
False
Let f(v) = 3*v + 0 - v + 5*v**2 + 3 - 2. Let m be f(-1). Suppose g + m = 14. Is g a multiple of 10?
True
Suppose 64 = -5*n + 19. Is -6*(12/n + -3) a multiple of 26?
True
Let q(f) = f**2 + 2*f - 7. Let c be q(-5). Let v = 11 - c. Suppose -v*z + 36 = -60. Is z a multiple of 14?
False
Suppose -q + 267 = 4*i - 0*i, 3*i - 3*q = 189. Does 22 divide i?
True
Does 14 divide 201*((-4)/(-15) - (-18)/45)?
False
Let v be 11/(-6) - 2/12. Let m(o) = 2*o + 2 + 0 + 4*o**2 - 1. Does 9 divide m(v)?
False
Let n = 4 + -1. Suppose w + n - 14 = 3*s, 5*w - 7 = -s. Is 5 a factor of (8 - -2)*1/w?
True
Let i = -149 - -251. Suppose -3*p = 5*b - i, -106 = -5*b + 2*p - p. Is 6/b + 108/14 a multiple of 4?
True
Let n(v) = 50*v + 34. Let j(u) = 10*u + 7. Let b(d) = 14*j(d) - 3*n(d). Is 14 a factor of b(-3)?
False
Let g(x) be the third derivative of 13*x**4/24 - x**3/6 - 3*x**2. Is 25 a factor of g(2)?
True
Let j(z) = 11*z**2 - 4*z - 3. Is j(3) a multiple of 26?
False
Suppose 3*k + 6 = k. Let s be 2 + k + 4 + -1. Suppose 2*p + 10 = s*g, -g + 5*p = -2*g - 1. Is 3 a factor of g?
False
Let s(z) = z**2 + 4*z + 4. Let q be s(-4). Is (-5)/q*(-2 + -46) a multiple of 20?
True
Let z(b) = 3*b - 2. Let n be z(2). Let c = n - 11. Let i(o) = -4*o + 1. Is i(c) a multiple of 13?
False
Suppose 2*n - 4*m + 0*m + 12 = 0, 0 = -n + 4*m - 8. Is 6 a factor of 2*(-2)/n*18?
True
Let g be (-2)/(-5) - 2/5. Let o = g - 2. Let i(w) = w**3 + 3*w**2 - w + 2. Is i(o) a multiple of 4?
True
Let w(k) = -k**2 + 10*k - 10. Let b(p) = -p**2 + 9*p - 11. Let c(y) = -5*b(y) + 6*w(y). Let h be c(11). Suppose -h = -5*s + 131. Is 13 a factor of s?
False
Let s(v) = -4*v**3 + 4*v**2 + v + 3. Does 28 divide s(-3)?
False
Let j = -137 + 193. Is 26 a factor of j?
False
Suppose -4*i + 20 = 3*m, 5*i + 0*i - 25 = -4*m. Let a(z) = -z**2 + z + 27. Is a(m) a multiple of 12?
False
Suppose 38*t - 34*t - 516 = 0. Does 16 divide t?
False
Let w(a) = -72*a**3 - a**2 + 1. Let t be w(-1). Suppose 0 = -5*z + 13 + t. Let p = 28 + z. Is p a multiple of 15?
True
Let b(a) = 2*a**2 - 13*a - 15. Is b(10) a multiple of 5?
True
Let g(a) = 3*a + 12. Does 30 divide g(6)?
True
Let l(a) be the second derivative of a**4/3 - a**3/3 - a. Does 6 divide l(-2)?
False
Let u(q) = -74*q + 8. Is u(-2) a multiple of 39?
True
Let a(t) = 3 + 10*t - 6*t**2 + t**3 + 0*t**2 - 3*t - 2*t**2. Does 3 divide a(7)?
True
Let w(x) = -x**2 + 7*x - 3. Let i be w(6). Suppose -2*f + 7 - i = 0. Suppose 2*c - 5*a - 41 = 0, f*a + a = c - 19. Does 14 divide c?
True
Is 15/(((-3)/6)/(-1)) a multiple of 15?
True
Let n(q) = 4*q - 1. Let h be n(-1). Let o(c) = -c + 7. Does 7 divide o(h)?
False
Suppose 0*h + 1692 = 2*h. Suppose 3*n + 3*b - h = b, b = 3. Suppose 3*k + 2*k - n = 0. Does 19 divide k?
False
Suppose -188 = -3*v + v. Is v a multiple of 16?
False
Is 4 + (-10)/4 + (-187)/(-2) a multiple of 19?
True
Suppose 2*y = -3*y + 50. Suppose -4*i + y = -54. Does 16 divide i?
True
Suppose 3*p - 18 = 4*a - 5, 2*p - 2*a = 8. Does 3 divide p?
True
Let s = 66 - 24. Does 7 divide s?
True
Let p(o) be the third derivative of o**4/12 - o**3 + 4*o**2. Is 3 a factor of p(5)?
False
Let y(v) = 8*v - 5. Let m = 4 - 1. Does 18 divide y(m)?
False
Suppose 4*k = 3*k + a + 3, -12 = -4*k - a. Suppose k*d + 2*d - 10 = 0, -116 = -3*p + 2*d. Suppose -5*i + p = 5*g, 3*i - 2*i - 2 = 0. Is g a multiple of 3?
True
Let m = 108 + -39. Let t = -41 + m. Is 8 a factor of t?
False
Let l = 92 - 64. Let o = 48 - l. Is 9 a factor of 35/4 - (-5)/o?
True
Suppose 8 = 4*h, 5*i + 77 = -h - 76. Suppose -b = -4 + 2. Is 8 a factor of (3 - i)/(b + 0)?
False
Suppose 2*i + 6 = s + 20, 2*s = -3*i. Let z = s - -6. Suppose 2*t = -z*t + 42. Is 8 a factor of t?
False
Suppose x = 2 + 3. Let j = 7 + x. Is j a multiple of 5?
False
Suppose 2*n - j - 112 = j, 0 = -3*j. Is n a multiple of 23?
False
Suppose -98 + 293 = 3*n. Is n a multiple of 5?
True
Suppose -j - 6*j + 105 = 0. Is j a multiple of 4?
False
Let u = 12 + -5. Let d be (-64)/2 - (u - 5). Let p = -20 - d. Does 7 divide p?
True
Suppose 3*f + g + 2*g - 96 = 0, f - 29 = -2*g. Let k = f - 7. Is 19 a factor of k?
False
Does 6 divide 6/4 + (-172)/(-8)?
False
Let p be 55/2 + 2/4. Is 480/22 - p/(-154) a multiple of 6?
False
Let g = -10 + 16. Suppose 0 = g*h - h - 60. Is 5 a factor of h?
False
Suppose 0 = -0*s - 2*s. Let v(h) = -9 + s*h**2 + 3*h**2 - 2*h**2 - 5*h. Is v(7) even?
False
Let x = -16 + 54. Is x a multiple of 14?
False
Suppose 3*v + 37 = u, -2*u + 131 = -4*v + 55. Suppose -2*w = -k + 2*k - 5, 3*w - 5*k = u. Suppose 2*j = -s + j + 10, 0 = -w*s + 4*j + 23. Is s a multiple of 7?
True
Suppose 3*o - 26 = 97. Is 21 a factor of o?
False
Let q be 0 + 0 + -2 + 2. Let u = 3 + q. Suppose 3*d - 69 = -u*y, 2*y - 2*d + 7*d = 61. Is 9 a factor of y?
True
Suppose -2*b - 2*w = -b - 13, -b + 8 = w. Suppose -b*k - k = 3*r - 73, 52 = 4*k - 4*r. Suppose 3*q + 5*j - k = 0, -5*q + 0*j - 5*j = -40. Is 12 a factor of q?
True
Let b = 12 + 79. Does 13 divide b?
True
Let h = 37 - 18. Suppose 3*z - 5*q + 6 = h, z + 2*q = 8. Is z a multiple of 2?
True
Let d(y) = -y**3 - 4*y**2 + 3*y - 4. Let i(h) = 4*h - 1. Let j be i(-1). Let k be d(j). Let m = 11 - k. Is 4 a factor of m?
False
Is (-20)/(4/(-2)*5/20) a multiple of 10?
True
Suppose -3*y + 0*y + 3 = 0. Let l(d) = 22*d. Is l(y) a multiple of 10?
False
Let p(o) = -o**3 - 7*o**2 + 6*o - 2. Let y be p(-6). Let m = y + 123. Does 14 divide m?
False
Suppose 4*o = -5*b + 3 + 6, -4*o + 18 = 2*b. Let i be ((-26)/o)/((-2)/(-18)). Is 19 a factor of i/(-1) + -1 - 0?
True
Suppose -12*g = -13*g + 3. Suppose 5*t - 5*h - 50 = 0, -g*t - 10 = -2*t - 5*h. Is t a multiple of 5?
True
Let q(w) be the second derivative of -w**5/20 - w**4 - w**3/3 - 15*w**2/2 + 5*w. Is 5 a factor of q(-12)?
False
Let a(t) = -t**3 - 6*t + 2*t**3 - 3*t**3 + t**3 - 11*t**2 - 10. Does 16 divide a(-11)?
False
Let y = 12 + -7. Suppose 3*l = y*l + 18. Is 3 a factor of ((-6)/l)/(6/27)?
True
Suppose -30 + 5 = 5*f. Let g be (f - 1)/(1/6). Is (g/(-30))/((-6)/(-40)) a multiple of 8?
True
Let p be 6/(-27) - 296/(-36). Suppose -3*x - 4*q = -322, -p*x + 494 = -3*x - 4*q. Suppose -l = -5*n + 279, 2*n + 2*l - x = -0*n. Is n a mu