nd derivative of z**4/6 - z**3/6 - 5*z**2/2 - 8*z. Is 25 a factor of f(-5)?
True
Suppose 10 = -k + 3*k. Suppose -k*m + 95 = 2*j, -2*j + m + 28 = -61. Does 17 divide j?
False
Suppose p + 2*p = 54. Suppose -h + 21 = f + f, -3*h = -3*f + p. Is f a multiple of 3?
True
Let f = 11 + 8. Suppose 2*i - 4 = 0, -f = -t - i - 2*i. Is 4 a factor of t?
False
Let d = -7 + 16. Is d/(-3)*-1 - -1 a multiple of 4?
True
Let u = 100 - 46. Is u a multiple of 18?
True
Suppose -4*p + 3*p + 13 = 0. Does 4 divide p?
False
Let d(b) = b - 1. Let f be d(6). Suppose 0 = x - 2*t - 64 + 21, 2*x - f*t = 91. Suppose 0 = -v - v + 2, -3*v = 3*r - x. Does 10 divide r?
True
Let h(a) = -2*a + 0 + 0*a + 3*a + 3. Let r be h(-3). Suppose u - p - 11 = -r*p, -u + 2*p + 8 = 0. Does 7 divide u?
True
Let u = 5 + -2. Suppose 240 = u*f - 51. Is (-6)/(-9) + f/3 a multiple of 12?
False
Let z be ((-2)/5)/((-4)/(-100)). Let a = -4 + z. Let x = 4 - a. Does 9 divide x?
True
Let k(t) = t**3 - 5*t**2 - 3*t + 4. Let g be k(6). Let c = g + -6. Does 6 divide c?
False
Let o = -12 + 3. Let u = 37 + o. Does 7 divide u?
True
Let m = 34 - 12. Is m a multiple of 15?
False
Let j = -6 - -9. Suppose 0 = 2*y + j*y - 20. Is 11 a factor of ((-22)/4)/((-2)/y)?
True
Suppose -729 = -2*v - v. Suppose 2*q = 4*y + q - v, -118 = -2*y + 4*q. Is 24 a factor of y?
False
Suppose -10 = -2*u - 2. Suppose -16 - 24 = -u*x. Does 5 divide x?
True
Suppose 118 + 92 = 7*t. Is t a multiple of 10?
True
Let j = -667 - -967. Suppose -3*s = 2*s - j. Does 12 divide s?
True
Suppose 8 = g - 5*g, 2*f - 4*g = 26. Is f a multiple of 4?
False
Let c(o) = 7*o + 2. Let k be c(7). Suppose 5*m = 109 + k. Does 12 divide m?
False
Is (125/(-2) - (-9 + 6))*-2 a multiple of 15?
False
Is 24 a factor of (-4 - (-4)/2) + 26?
True
Let m be 2 + 1 + -3 + 4. Let v(q) = q**3 - 3*q**2 - 3*q + 5. Let d be v(m). Suppose 2*a - d = -a. Is a a multiple of 2?
False
Let f(z) = 3*z - 4. Let r be 15/20*4*-1. Let a = 2 - r. Does 8 divide f(a)?
False
Let b(t) = -5*t + 3. Let l(r) = 14*r - 10. Let z(u) = -11*b(u) - 4*l(u). Is z(-12) a multiple of 10?
False
Let h(s) = -3*s**3 - 2*s**2 - s. Let b be h(-1). Let z = 2 + b. Suppose 6 = z*j - 6. Does 3 divide j?
True
Suppose 0*m + 2*m - 58 = 0. Let n = 10 - 8. Suppose -3*r - 2*o - n*o = -m, 3*o - 3 = -r. Is 15 a factor of r?
True
Let m(q) = q - 6. Is 3 a factor of m(20)?
False
Suppose 0 = -0*v + v - 1. Does 16 divide 4*(0 - -4)/v?
True
Let a = 0 + 54. Is a a multiple of 4?
False
Suppose -5*f = -2*c + 36, 3*c + c + 5*f - 102 = 0. Suppose c = 2*o - 67. Is o a multiple of 14?
False
Let k = 5 + 6. Does 5 divide k?
False
Suppose 0 = -p + 5*u + 18, 2*p = -3*u - 1 - 2. Suppose 2*z = 5*s - 18 - p, -z = 3*s - 6. Suppose 2*k = s*k - 36. Is k a multiple of 16?
False
Let x(t) = 2 + 5 - 8*t + 9*t. Let i be x(5). Suppose 4*l = -4*n + i, -3*l = -4*n + n + 21. Is n even?
False
Suppose 6*w - 3*o = 3*w - 6, 22 = 3*w + 4*o. Is 13 a factor of 60/18*15/w?
False
Suppose g = -3*r + 14, 2*r - g + 3*g = 4. Suppose -545 = t - r*t. Suppose 0 = -4*y + t - 21. Is 11 a factor of y?
True
Let r(j) = -2*j - 5. Suppose -u = -2*u - 6. Let b be r(u). Does 5 divide 37/b - (-4)/(-14)?
True
Suppose -3*c = -5*k - 2 - 0, 4*c = 5*k + 6. Let x(h) = h**3 - 4*h**2 - h + 3. Let d be x(c). Is 6 - (4/(-2) - d) a multiple of 3?
False
Let v be (9 - 3) + 2/(-2). Let f = -3 + v. Suppose 3*z = -f*z + 80. Is z a multiple of 16?
True
Suppose w = 5 - 1. Suppose 2*x + 5*b + w = -20, 2*x + b = -24. Does 19 divide ((-68)/3)/(4/x)?
False
Let p(f) = f + 59. Does 5 divide p(-32)?
False
Suppose 4*b = 1 + 7. Suppose -2*g - 43 = -5*v - 0*g, b*g = 2. Is v a multiple of 3?
True
Let s(m) = m**3 - m**2 - 6*m + 2. Let f(o) = -o**3 + 7*o - 1. Let g(v) = 2*f(v) + 3*s(v). Is g(4) a multiple of 2?
True
Let l = 1 - 40. Let f = -22 - l. Is 10 a factor of f?
False
Let y = -43 + 56. Does 13 divide y?
True
Let g = 1 + 3. Suppose 0 = -g*m + 1 + 7. Is m a multiple of 2?
True
Let h(o) = 2*o**2 - 4*o - 2. Let z be h(5). Suppose 3*l + 7 = -35. Let g = z + l. Is 8 a factor of g?
False
Let w = -26 + -1. Is 20 a factor of (38/(-6))/(3/w)?
False
Suppose 0 = 12*d - 14*d + 36. Let t = 26 - d. Is t a multiple of 5?
False
Suppose -r - 4*w = 18, 9 + 12 = -2*r - 5*w. Does 14 divide r/((-3)/((-780)/8))?
False
Let y be 5/25 - (-61)/(-5). Let f be 2/5 + y/30. Suppose f = p + 4*t - 52, 5*p = -t + 2*t + 155. Does 17 divide p?
False
Suppose 7 - 2 = 5*f. Let l(k) = -14*k - 1. Let v be l(f). Let g = 33 - v. Is 12 a factor of g?
True
Does 6 divide (4 - 5)*-9 + (-3 - -1)?
False
Suppose 5 = 2*z + 3*n - 4*n, 5*z = 2*n + 10. Let x be (-3)/6*z/(-1). Suppose -4*m + 82 - 2 = x. Is m a multiple of 20?
True
Let g(a) = 9*a - 39. Is g(6) a multiple of 15?
True
Let m(u) = -5 + 4 + 9*u**2 - u + 0*u + 3. Let t be m(2). Does 9 divide -2 + (t + 0)/3?
False
Let z(j) = -8*j**3. Let d(h) = -h - 5. Let k be d(-4). Does 8 divide z(k)?
True
Suppose 4*r - 3*b - 50 = 2, -3*b = r - 28. Does 3 divide r?
False
Suppose 0 = -5*o + 209 + 91. Does 15 divide o?
True
Let j(c) = 11*c**2 - 5*c + 7. Let k be j(3). Suppose 0 = 3*g - 3*d + 144, 0 = 4*g - 0*g + d + 187. Let t = g + k. Is t a multiple of 17?
False
Let h = 8 - 6. Suppose 82 = h*w - 0*w + 2*t, 4*t = -w + 56. Is w a multiple of 18?
True
Suppose -2*t + 8 = 2*t. Let l(f) = 3*f**t - 2*f**2 - 3*f + 4*f - 1. Is l(3) a multiple of 11?
True
Let c = -8 - -9. Is 7 + (-2 - (c + -2)) a multiple of 3?
True
Suppose -9*p = -6*p - 432. Does 48 divide p?
True
Let a(d) = 5*d**2 + 4 + 6*d - d**3 + 2*d**3 + d**2. Let t be a(-5). Is 7 a factor of -1 - -1 - (-23 - t)?
False
Let j(g) = -4*g**3 + 3*g**2 - 2*g. Let q be j(2). Let n = 10 + q. Let m = 0 - n. Is m a multiple of 7?
True
Let t be 1 - -1 - (-2 + 1). Suppose -2*x - l = -19, -t*x - l = -3*l - 25. Is 3 a factor of x?
True
Let d(n) = -n**3 + 5*n**2 + 7*n - 4. Let p be d(6). Suppose -4*q - 3*w = -p*w - 132, 90 = 3*q + 3*w. Does 17 divide q?
True
Let t(y) = 3*y**2 - y. Let h be t(1). Let k(j) = -3*j**2 - j**3 + 4 + 2 - h - j**3. Does 16 divide k(-3)?
False
Suppose x - 14 = 33. Is 6 a factor of x?
False
Let s(k) = -k**2 + 3*k. Suppose -3*z = -8 + 2. Let a be s(z). Is (-4)/8 + 17/a a multiple of 8?
True
Let w = 20 + 4. Is w a multiple of 13?
False
Suppose 26 = -4*g - 22. Let x be (-4)/(g/(-9)) - 0. Is 4 a factor of x/(2 + (-10)/4)?
False
Let v = 314 + -224. Suppose 5*n = -25 + v. Suppose 0 = f - n + 1. Does 12 divide f?
True
Is 1 + 95/5 + 2 a multiple of 2?
True
Suppose 4*k + 2*g = 12, 5*g + 21 - 1 = 0. Let y be -1 - -1*146/1. Suppose -k*f = 5*z - y, -61 = -2*f + z - 6*z. Is 14 a factor of f?
True
Let l(p) = p**2 - 3*p - 5. Let b be l(5). Suppose 2*y - b*j = 117, 272 = 5*y + 3*j - 36. Let a = 114 - y. Is a a multiple of 18?
False
Suppose 3*b - 4*b - 1 = 0. Let w be -2 - ((2 - b) + -1). Let z(o) = 3*o**2 + 4*o - 1. Is z(w) a multiple of 16?
False
Suppose 0 = -5*g - 3*q + 652, 0*g + 4*q = -3*g + 400. Is g a multiple of 32?
True
Suppose 4*s + 3 + 1 = 0. Let o = 9 - s. Is 5 a factor of o?
True
Let u(z) = -35*z - 6. Let r be u(-4). Suppose -4 = 5*v - r. Is 10 a factor of 4/10*(v + -1)?
True
Let b = -7 - -9. Let q = -4 + 7. Suppose b*o + q*x - 12 = -0, -5*x - 10 = 0. Is 9 a factor of o?
True
Let g = 3 - 7. Does 2 divide ((-2)/g)/(9/36)?
True
Suppose -2*h = -4*p - h + 6, 0 = 5*p - 3*h - 4. Suppose -p*m + 22 + 26 = 0. Does 12 divide m?
True
Suppose 5*u = 3*u - 2*x + 44, -18 = -u - 3*x. Suppose 2*l = t + u, -2*l + 0*t = -3*t - 24. Let p = l + -4. Is 8 a factor of p?
True
Let m(x) = -x + 10. Let p be m(8). Does 11 divide 0 + (p - (-76)/2)?
False
Suppose -11 = -2*d + 1. Is d a multiple of 2?
True
Let r = -61 - -253. Is r a multiple of 12?
True
Suppose -2*r + 0*r = -232. Let t be 6 - 3/(-9)*-3. Suppose -2*v + 3*z = -t*v + 78, 0 = -4*v - z + r. Is 12 a factor of v?
False
Suppose 3*c = -5*h + 1, 0 = 5*h - 5*c + 7 - 32. Let j(y) = -3*y**2 + 4 + 2*y**2 - h*y - 5*y. Is j(-6) a multiple of 5?
True
Suppose 4*o = 2*o - 16. Let b(v) = -7*v - 4. Does 13 divide b(o)?
True
Suppose 3*o = -2*z - 0*z + 120, -3*z + 5*o + 142 = 0. Does 8 divide z?
False
Suppose -4 = 2*a - c - 15, c = a - 8. Suppose f - a*f = -4. Suppose 0 = -i - 2*v + 18, f*i - 5*v = -i + 109. Is i a multiple of 14?
True
Let b(x) = -x**2 - x + 16. Suppose -3*c + 3*i + 6 = i, 4*i = -3*c + 6. Let q be 0 + 0 + 2 - c. Is b(q) a multiple of 