rue
Suppose -2*f = 2*f - 128. Let s = f + 16. Is 13 a factor of s?
False
Let f(l) = 3*l**2 - 3*l - 9. Let w be 2 + 12/(-4 - -7). Is 27 a factor of f(w)?
True
Suppose -43*d + 40*d = -57. Does 11 divide d?
False
Suppose -2*s = 4*q + 23 - 63, 2*q = -5*s + 4. Does 3 divide q?
True
Let b(y) be the second derivative of y**7/2520 - y**6/144 - y**5/15 - y**4/12 - 2*y. Let p(g) be the third derivative of b(g). Is 16 a factor of p(8)?
True
Suppose 60 = 3*h - 7*h. Is (h - 1)*20/(-10) a multiple of 8?
True
Let a(r) = -r + 8. Is 3 a factor of a(0)?
False
Let i(z) be the third derivative of -1/30*z**5 + 0*z**4 + 2*z**2 - 1/20*z**6 + 0*z + 0 + 1/6*z**3. Is i(-1) a multiple of 2?
False
Suppose 7 = -c - 6*c. Is (-1)/(c/(0 - -56)) a multiple of 33?
False
Suppose -s - 5*w = -11 - 10, -45 = -5*s + 5*w. Is 11 a factor of s?
True
Suppose -2*b + 103 + 27 = 0. Is 13 a factor of b?
True
Let o(v) = v**3 + 10*v**2 - 2*v - 7. Suppose -5*f + k = -k - 120, 3*k - 48 = -2*f. Suppose s - l = -s - 23, -f = 3*s + 2*l. Does 9 divide o(s)?
False
Suppose 7*d = -2*d + 675. Does 15 divide d?
True
Let h = -2 + -5. Let y = 11 + h. Suppose 4*w - 49 = 3*b, -b + 14 = 5*w - y*w. Does 7 divide w?
False
Suppose -3*r = 3*k, -3*r - 3 = 5*k + 1. Suppose 3*o + r*g + 2 = 0, 0 = o + o - 4*g - 20. Suppose 3*w + o*n - 4*n - 38 = 0, 3*n = 6. Is w a multiple of 9?
False
Suppose x + 3*b = 29 + 33, 5*x - 210 = 5*b. Is x a multiple of 13?
False
Suppose -92 = -2*f + p, -5*p = f + 7 - 53. Suppose -m - 3*m + f = -2*y, -5*m + 3*y = -58. Is 8 a factor of m?
False
Suppose -2*a - 4*o = 64, -3*a - 68 = 3*o + 13. Suppose 0 = -4*v + n - 0*n + 151, -2*n = -2*v + 68. Let i = a + v. Does 16 divide i?
False
Let r be 54 + -1 + (-2)/(-1). Suppose -3*c = -r - 11. Is 15 a factor of c?
False
Is 3 a factor of ((-4)/(-1))/((-16)/(-12))?
True
Does 5 divide 20/(-25)*(-30)/4?
False
Suppose -4*i - 104 = -4*k, 3*k + 3*i - 106 = -4. Is 10 a factor of k?
True
Let a be 0/((-1 + -3)/4). Let d be 17*1 - (2 + -3). Suppose a = w - d - 0. Is w a multiple of 9?
True
Suppose -4*x - x = -70. Is 5 a factor of x?
False
Suppose -2*g + 11 = b, 0 = -2*b + b + 5*g + 25. Let l = -9 + b. Is l even?
True
Suppose 0 = 5*q - g + 3, 3*q - 6*q - 4*g = -12. Let y(n) = n**2 + n + 7. Is 3 a factor of y(q)?
False
Let z = -8 - -5. Let f = 3 + z. Suppose f = -k + 31. Does 17 divide k?
False
Suppose 3*b + 18 = l, -7*b - 17 = l - 3*b. Suppose 6 = l*o - 63. Let x = 35 - o. Is x a multiple of 5?
False
Let g be (1 + 0)*(0 - 3). Let t = 57 - g. Suppose 18 = 2*h + 2*j, -3*h + j + t = 17. Does 5 divide h?
False
Is (-24)/(-14)*(11 - (3 - -1)) a multiple of 2?
True
Suppose -2*t + 4*c = -7*t + 92, -5*t - c = -98. Suppose 0 = a - t - 5. Does 16 divide a?
False
Let k(f) = -6*f - 2. Let m = -7 - -8. Let t = m + -6. Does 14 divide k(t)?
True
Let d(m) be the first derivative of 2/3*m**3 + 2 + m - 3/2*m**2. Is 2 a factor of d(2)?
False
Let d(w) = 4*w**2 - 2*w - 10. Let s(o) = -o**2 - o. Let i(j) = d(j) + 3*s(j). Is i(7) a multiple of 4?
True
Suppose -5*k = -k + x - 188, -k - x + 50 = 0. Does 15 divide k?
False
Let f(i) = -i**2 + 3*i + 1. Let z be f(2). Suppose 96 - 26 = z*l + r, -l + 16 = 4*r. Does 6 divide l?
True
Let s(k) = -k**3 - 13*k**2 - 4*k - 17. Suppose 5*m = -3*x - 0*x - 39, -4*x - 52 = -5*m. Is 20 a factor of s(x)?
False
Suppose 2*v + 2*q + 33 = -1, -2*q + 106 = -5*v. Let b = v + 34. Suppose b = 5*n - 4*n. Is 14 a factor of n?
True
Does 32 divide (27/(-5) + -1)/((-3)/15)?
True
Is 5 + -1 + (3 - -94) a multiple of 22?
False
Suppose 5*x - 14 = 11. Suppose -3*a - 4*g + 13 = 0, x*a - 41 = -3*g + 6*g. Is 7 a factor of a?
True
Let u(z) = -1 - z - 2 - 6*z + z**2 + 3*z. Is u(-3) a multiple of 9?
True
Let r(x) be the first derivative of -5*x - 4 + 6*x**2 + 2*x + 2. Is 11 a factor of r(3)?
True
Suppose 0*d + 8 = 2*d, 5*a = -5*d - 180. Is 396/10 + (-16)/a a multiple of 20?
True
Suppose -3*r - r = -8. Suppose 5*b + a - 105 = 0, b - r*a - 76 = -2*b. Does 9 divide b?
False
Suppose -12 + 2 = -5*h. Suppose w + 20 = 4*k - h*k, -3*k - w + 25 = 0. Does 7 divide k?
False
Let x(l) = -l**2 + 11*l + 34. Does 22 divide x(12)?
True
Suppose 4*y = 5*y - 52. Let a be y/(-14) - (-2)/(-7). Is (190/a)/5*-2 a multiple of 19?
True
Suppose 0 = -3*j - 15, -5*j - 22 = -2*d + 29. Does 13 divide (-4)/2 + d - -2?
True
Let v(g) = 13*g. Let s be 6/(-8) - 3/12. Let h be 6/9 + s/(-3). Is v(h) a multiple of 11?
False
Let k = 92 + -48. Is 14 a factor of k?
False
Let n = -1 + 5. Suppose n*x - x = 15. Does 2 divide x?
False
Let b = -25 + 37. Is 4 a factor of b?
True
Suppose -49 = -a - 11. Is 10 a factor of a?
False
Let r(g) = g + 11. Let t(c) = 2*c + 11. Let q(w) = 3*r(w) - 2*t(w). Suppose 0 = 12*m - 5*m. Does 11 divide q(m)?
True
Is (1 + -1 + -1)/(2/(-120)) a multiple of 12?
True
Suppose j = -0*j. Suppose -16 = -2*w + 2*v, j = w - 2*v - v - 6. Is 5 a factor of w?
False
Suppose 0 = -5*m + 2*o, 2*o - 7*o = -5*m. Let w(u) be the first derivative of -u**3/3 + u**2/2 + 4*u + 1. Is 4 a factor of w(m)?
True
Does 6 divide (-120)/(-3 - -5)*-1?
True
Suppose 2*p + 1 - 10 = 5*w, -5*w - 1 = 2*p. Is 10 a factor of p/6 - 89/(-3)?
True
Suppose 3*a - 2 = 1. Let j be (-5 + a + -1)/(-1). Suppose b = -3*m + 5*b + 43, 0 = j*m + 4*b - 61. Does 5 divide m?
False
Let p = -3 - 4. Let j = -4 - p. Suppose 3*y - 15 + j = 0. Does 4 divide y?
True
Let z(p) = 15*p - 3. Let t be z(2). Suppose -5*m - 2*o + t = -8, 0 = -2*m - 2*o + 14. Does 7 divide m?
True
Suppose -2*w + 4 = 6*y - 2*y, -2*y = -5*w - 26. Suppose -5*u + 2*s = -20, 0 = -2*u - 2*s - y - 3. Is u even?
True
Suppose 2*j = 5*p + 4 + 15, 5*j + 5*p - 30 = 0. Is (-2)/7 + 282/j a multiple of 10?
True
Suppose 2*t - 3*t + 9 = 0. Let k be ((-2)/(-2))/(3/t). Suppose 3*o + 8*f - 116 = k*f, -3*o - 3*f + 108 = 0. Is o a multiple of 16?
True
Let y = 57 + 50. Suppose -5*j - 3*x + 122 = -33, -x = -4*j + y. Is 14 a factor of j?
True
Suppose -10 = -3*a + y, -y - 22 = -3*a + 3*y. Is 5 a factor of (-12)/(-3)*5/a?
True
Let r be (8/10)/(2/5). Suppose 2*z - 12 = -h, 0 = -r*h + 7*z - 3*z + 48. Is 5 a factor of ((-60)/h)/(2/(-6))?
True
Suppose 22 = 5*k - 98. Is k a multiple of 6?
True
Let m(y) = y**3 + 7*y**2 + 7*y - 4. Let d be m(-6). Suppose -4*s + 72 = -2*s. Let w = d + s. Is w a multiple of 7?
False
Let t be (-28 - 0)/(-2 - -1). Does 2 divide 2/10 + t/10?
False
Suppose 0 = -5*i - 37 + 147. Is 22 a factor of i?
True
Let c(m) = -m**2 + 4*m + 4. Let z be c(5). Let i be 1*17 + (z - -2). Let o = i - 5. Is o a multiple of 13?
True
Suppose 4*s = 4*b - 189 + 29, -2*s - 3*b = 100. Let u be s/(-2 + (-6)/(-4)). Suppose -u = -5*x + 67. Is x a multiple of 12?
False
Let v = 36 - -6. Is 7 a factor of v?
True
Let p be (-1)/((10/(-8))/5). Suppose -p*i = i - 1075. Suppose 0 = 4*g - i + 3. Is g a multiple of 16?
False
Let i = 5 - 7. Let l be -1 + i/(-2)*-1. Let o = 4 - l. Does 3 divide o?
True
Let i(o) = 27*o + 2. Let n be i(4). Suppose 4*j - 106 = 2*l, 0*l = 4*j + 2*l - n. Suppose -p = -4*p + j. Is p a multiple of 5?
False
Let l be -3 + 4*(3 + 0). Let h(p) = p**3 - 8*p**2 - 5*p - 9. Is h(l) a multiple of 20?
False
Suppose g + 28 = 77. Let s = g + -32. Is 9 a factor of s?
False
Let h = 15 + -10. Suppose -2*t + 8 = -0*t. Suppose -t*i = 5*d - 105 + 17, d = -h*i + 26. Does 8 divide d?
True
Suppose 4*k = -0 + 16. Suppose 19 = 5*y - 1. Suppose y*n - 48 = l, -k*n + n + 36 = -l. Is n a multiple of 12?
True
Let a(u) be the third derivative of 3*u**4/8 - u**3/6 + u**2. Is 13 a factor of a(3)?
True
Let t = 13 + -9. Suppose 0 = -t*h - 2*g + 62, 2*h = -0*h + 3*g + 35. Does 8 divide h?
True
Suppose -137 - 55 = -3*w. Let o = -41 + w. Is o a multiple of 7?
False
Let z(k) = -k**3 - 17*k**2 - 19*k - 29. Is z(-16) a multiple of 3?
False
Suppose 0 = s - 5*c - 70, 3*s + 4*c - 81 - 186 = 0. Does 24 divide s?
False
Let s(w) = 41*w**2 + w. Does 20 divide s(-1)?
True
Suppose 4*c - 344 = 2*m, -2*c + 128 = 4*m - 54. Is 26 a factor of c?
False
Suppose 0*u - 14 = -4*u - 2*o, u - o - 5 = 0. Let r(y) = 6 + 0 + 1 - y + 0. Is 3 a factor of r(u)?
True
Let z = -15 + 31. Is 8 a factor of z?
True
Suppose 10 = 2*c + 3*c. Suppose c*o - 3*o = -17. Is o a multiple of 4?
False
Let u(d) = 3*d + 0 - 3 - 2*d - d**3 - 7*d**2. Does 11 divide u(-8)?
False
Let n be (1 + 26 + -3)*-2. Let m = n + 89. Is m a multiple of 18?
False
Suppose 3*y - 8*y = -55. Suppose 3*d +