+ (3 - 0) + 72. Let f = c - 23. Is 17 a factor of f?
True
Let b(x) = x**3 + 4*x**2 - 8*x - 6. Let v be (45/12)/(-3)*4. Does 7 divide b(v)?
False
Let t = 3 + -1. Let c = 11 + t. Is c a multiple of 13?
True
Let f(j) be the third derivative of -j**6/40 - j**5/15 - 2*j**3/3 - 5*j**2. Does 10 divide f(-3)?
False
Let j = 6 + 0. Let w = 9 - j. Suppose w*k + o = 98, -o + 124 = 4*k + 2*o. Does 17 divide k?
True
Suppose f - 2*f = -15. Suppose 6*z = z + f. Is z even?
False
Is 6 a factor of 92*4/24*9?
True
Let y(w) = 10*w**2 + 6*w + 8. Is 8 a factor of y(-3)?
True
Let x be (7/14)/(1/2). Suppose 0 = -q + x - 6, -69 = -3*s + 3*q. Does 15 divide s?
False
Let x be (-1)/4 - (-18)/8. Suppose 3*d + x*d - 335 = 0. Let j = -41 + d. Is 9 a factor of j?
False
Is 12 a factor of (-2 - -62) + -5 + 1?
False
Let k be ((-81)/12 + 1)*4. Is 5 a factor of (-1 - -10)/(-3) - k?
True
Let j be 8 + -1 - (-3)/(-1). Suppose j*v + 9 = v. Let d(z) = 2*z**2 - 1. Does 11 divide d(v)?
False
Let w(t) = t**2 + 11*t + 33. Let i be w(-6). Let d be 29/(2*(-2)/(-4)). Suppose h = 7*f - 2*f - d, -31 = -i*f + 4*h. Is 2 a factor of f?
False
Let c(t) = t**3 + t**2 + t + 7. Let o be c(0). Let i = o - 2. Suppose 2*b + 2*b = i*n + 86, 30 = b + 3*n. Is 17 a factor of b?
False
Let m(a) = -2*a**2 - 20*a - 17. Is 9 a factor of m(-8)?
False
Let t be 2/((-3)/18*-3). Suppose 4 = -t*b, -3*a - 2*a - 4*b = -521. Suppose f = -2*f + a. Is 15 a factor of f?
False
Let k(i) = 101*i**2 + 3*i + 4. Is k(-1) a multiple of 25?
False
Let n(z) be the second derivative of -z**5/20 - z**4/12 + z**3/2 - 2*z**2 + z. Is 3 a factor of n(-3)?
False
Suppose 5*k - 6 = 14. Is (-2 - k/(-8))*-40 a multiple of 17?
False
Let i be 2*1/(-2) + -13. Let f be (180/14)/((-2)/i). Suppose 2*b - f = -b. Is 13 a factor of b?
False
Let k = 33 - 14. Suppose -239 = -5*h - k. Is h a multiple of 9?
False
Let r be (-3 - -2)*(3 - 3). Suppose -4*q - 8 = -3*k + 17, 0 = 4*k - 5*q - 33. Suppose 2*n + 5*g - 17 = 0, -2*n + 5*g - k*g + 26 = r. Is 6 a factor of n?
False
Let a(b) = 13*b**2 + 3*b + 2. Let s be a(-2). Suppose 2*v + s = -2*v. Does 15 divide v/8*68/(-6)?
False
Let t(y) = y**3 - 4*y**2 - 5*y + 4. Let n(m) = m**2 - 4. Let z be n(-3). Let f be t(z). Suppose -4*k + 3*w + 13 = -54, -f*k - 4*w = -32. Does 5 divide k?
False
Let v be 1/2*0*1. Suppose 4*w + 12 - 44 = v. Is 4 a factor of w?
True
Let g = 8 - -19. Let b = 1 + g. Does 11 divide b?
False
Is 13 a factor of (((-2080)/5)/(-4))/1?
True
Let l(t) = t**3 - 4*t**2 + 2*t - 3. Let v be l(4). Let u = 11 - -31. Suppose 3*q = -15, 4*g - v*q - u = 23. Is 4 a factor of g?
False
Let s = -1 + 3. Suppose -3*b = 3*c + s*b + 8, 4*c - b = 20. Is c a multiple of 4?
True
Suppose 47 = 3*g - 5*y, -g + y - 29 = -2*g. Does 24 divide g?
True
Let h(b) = b**2 - 2*b - 1. Let v be h(-2). Let o(i) = i**3 - 6*i**2 - 4*i - 9. Is 6 a factor of o(v)?
True
Let m = -254 - -135. Let n = -58 - m. Is n a multiple of 12?
False
Suppose 20 + 55 = 5*v. Is v a multiple of 4?
False
Let i(h) = 2*h**2 - 6*h + 7. Let x(v) = 3*v**2 - 11*v + 14. Let m(o) = 7*i(o) - 4*x(o). Let u be m(-5). Let k = 55 - u. Is k a multiple of 11?
True
Is 6 a factor of (-4)/4*2 - -8?
True
Let x(m) = -2*m + 1. Let v be x(-3). Suppose 5*w + v*j = 4*j + 70, 15 = 3*j. Is w a multiple of 11?
True
Let y(r) = 14*r**3 - 2*r**2 + 6*r + 1. Is y(2) a multiple of 31?
False
Suppose 5*k + 3*l - 60 = 123, -176 = -5*k + 4*l. Is 22 a factor of k?
False
Suppose -l + 2*d - 1 = 4*d, 0 = 2*l - 4*d + 10. Let a(h) = -h**3 - h**2 + 3*h - 3. Is a(l) a multiple of 5?
False
Let l = 7 - 2. Suppose 3*p - 1 - 2 = 0. Let z = l + p. Does 6 divide z?
True
Suppose -4*h - 3*i + 104 = i, 0 = 2*h - 4*i - 64. Suppose 30 = g + k, 3*g = 4*k + h + 76. Is 32 a factor of g?
True
Let f(w) = w + 6. Is f(5) a multiple of 5?
False
Let q(x) = 70*x - 77. Let h(r) = 0 - 7*r + 6*r + 1. Let u(z) = 154*h(z) + 2*q(z). Does 7 divide u(-1)?
True
Suppose 3*b = -6 + 21. Suppose -10 = -b*u + 3*u. Suppose 94 = u*t + 4. Is t a multiple of 9?
True
Suppose 10 = 3*h + 1. Suppose h*g - 40 = g. Suppose 3*q = g + 13. Does 9 divide q?
False
Let a(c) be the first derivative of -7*c**3/3 - c**2/2 + c - 1. Let o(k) be the first derivative of a(k). Is 13 a factor of o(-1)?
True
Let y = 10 + -7. Let n = 8 - 7. Does 2 divide n/y + (-5)/(-3)?
True
Let a(t) = t**2 - 1. Let f be a(-3). Suppose -5*x + 4*x = -f. Suppose -x = -5*h + 4*h. Is h a multiple of 7?
False
Let w(p) be the second derivative of -p**5/20 + 5*p**4/12 + 2*p**3/3 + p**2/2 - p. Let d(h) = -4*h**3 + 2*h**2 - h - 2. Let m be d(-1). Is 12 a factor of w(m)?
False
Suppose 12*f = 7*f. Suppose f*o + 21 = o. Is 10 a factor of o?
False
Let r(v) = 3*v**3 + 2*v**3 - 2 - 4*v**3 + 6*v - 4*v + 4*v**2. Does 2 divide r(-2)?
True
Let q(v) = 2*v**3 - 4*v**2 + 4*v + 5. Is q(3) a multiple of 7?
True
Let u be 20/(-90) + (-40)/(-18). Suppose -5*m + 24 = -q + 2, 0 = -2*m + 4*q - u. Does 5 divide m?
True
Suppose -7*n + 160 = -2*n. Does 8 divide n?
True
Let i(h) = -32*h**2 + 2*h - 1. Let n be i(1). Suppose 0 = g - 5*b - 20, -2*b + 8 + 2 = 0. Let w = g + n. Does 5 divide w?
False
Let m(f) = f - 11. Let w be m(8). Let r = w - -22. Let q = r + 17. Is q a multiple of 13?
False
Let b(d) = 2*d**2 + 2*d - 2. Let v be b(-2). Suppose -u - 9 = -4*u. Suppose -u*a + 58 = -n, n = v*a - 2*n - 41. Does 7 divide a?
False
Suppose m - 2*y + 1 = 12, 16 = -4*m - 4*y. Let l = -1 + m. Suppose l = -4*w + 5*w, -a - 3*w + 2 = 0. Is a a multiple of 2?
True
Let n = -60 - -76. Is n a multiple of 8?
True
Suppose 0*c + n = -c - 5, 1 = -c + 3*n. Let l = 6 + c. Suppose l*q = -2*q - 5*v + 41, -19 = -q - 3*v. Is q even?
True
Let z(m) = 22*m**2 - 5*m + 10. Is 22 a factor of z(2)?
True
Let b(c) be the first derivative of -c**4/4 + 4*c**3/3 + 3*c**2/2 - 3. Let p = 5 + -7. Is b(p) a multiple of 10?
False
Suppose 2 = -3*v + 8. Suppose -3*m - v*m + 280 = 3*x, -3*m - 325 = -4*x. Let q = x + -49. Does 12 divide q?
True
Suppose 3*j = -j + 360. Is 20 a factor of j?
False
Suppose y + 4*y = 310. Suppose n + y = 3*o, 3*o - 4*o - 4*n = -38. Is 11 a factor of o?
True
Let i(b) = 5*b + 7. Does 6 divide i(3)?
False
Let o(h) = -h**3 - 2*h**2 - 4*h - 3. Let u be o(-2). Suppose 0 = -0*t - u*t + 25. Is 5 a factor of t?
True
Suppose -5*o - 5*q = -165, q = 4*o - q - 114. Does 2 divide o?
True
Suppose 2*m - 12 = -m, -5*k + 76 = -m. Does 22 divide 237/4 + (-4)/k?
False
Suppose 0 = -z + 2, -3*z = -6*t + t + 14. Does 3 divide -2 + t - 2/(-2)?
True
Is (-1 - 0)*(-167 + 15) a multiple of 38?
True
Let d(i) = -68*i**3 + 2*i**2 - 1. Is d(-1) a multiple of 23?
True
Suppose 0 = -4*c + 12 + 120. Is c a multiple of 11?
True
Suppose 11 = 4*g - 9. Suppose -g*v = 3*p - 31, v + 20 = 3*p + 1. Is 7 a factor of p?
True
Let n(i) be the third derivative of i**5/60 - i**4/12 - 2*i**3/3 - 2*i**2. Let z be n(4). Suppose -3*y = y - 5*s - 38, z*y + 2*s - 52 = 0. Is 11 a factor of y?
False
Suppose -3*f - 2 = 7. Let a(s) = -s**2 - 6*s + 1. Is 6 a factor of a(f)?
False
Let v be 6/(-9)*3*-1. Suppose v*s - 2*q - 110 = 0, -32 - 117 = -3*s - 5*q. Is s a multiple of 15?
False
Let r(z) = -z**2 + 17*z + 2. Does 24 divide r(10)?
True
Suppose -5*y = j - 280, 2*y + 2*y - 2*j = 238. Is 19 a factor of y?
True
Let a(k) = -4*k**2 - 3*k + 7. Let q(g) = -3*g**2 - 4*g + 7. Let t(j) = -5*a(j) + 6*q(j). Let y be t(7). Suppose 5*n - y = 2*n. Is n a multiple of 7?
True
Suppose -4*r = -5*o + 40, 0*o + 2*o = 3*r + 9. Is 9 a factor of o?
False
Let o = -7 - -18. Does 7 divide o?
False
Let h be 3*(2 + 0 + -1). Suppose -335 = 2*b + h*b. Let y = -37 - b. Is 15 a factor of y?
True
Is 4 a factor of (-63 - -3)/(14/(-21))?
False
Let j be -76*(3 + -1 + -4). Suppose w + j = 5*w. Suppose 3*b = w + 4. Is 8 a factor of b?
False
Let d(m) be the second derivative of m**4/12 - m**3/6 - m**2 - 3*m. Is d(-7) a multiple of 18?
True
Let n = 6 + -8. Let b = 13 - 7. Let x = n + b. Does 4 divide x?
True
Suppose -1 = 3*k - 10. Suppose -2*w + 5*t + 50 = 0, k*w - 2*t - 70 = 3*t. Does 20 divide w?
True
Let d be (-4)/(-12) + (-10)/(-6). Suppose -f - 36 = -d*i, -4*f + f = 0. Is i a multiple of 9?
True
Let a(l) = -l**3 - 4*l**2 + l - 2. Let j be a(-5). Suppose -v - 5*i = -2*i - j, v - 3*i = 6. Does 12 divide v?
True
Suppose -o = -14 - 10. Suppose -5*d - o = j - 83, -2*j + d = -107. Let w = -27 + j. Is 12 a factor of w?
False
Suppose 210 