t b(d) = -5*d**2 + 5 + 3*d + d + d**3 - 2. Does 3 divide b(4)?
True
Let w = 208 + -104. Is 8 a factor of w?
True
Suppose -1 = -w + 5*y - 4, 5*w - y + 87 = 0. Let l = w - -10. Let f = 13 + l. Is f a multiple of 3?
False
Let y(o) be the first derivative of o**3/3 + 2*o**2 + 10*o + 2. Is 3 a factor of y(-5)?
True
Suppose -k + 4 = -3*y + 2, 0 = -4*y + 3*k - 6. Suppose y*r = 5*r - 250. Does 25 divide r?
True
Let u(p) be the second derivative of 2*p + 0 + 7/6*p**3 - 5/2*p**2. Is 15 a factor of u(5)?
True
Let h(t) = 89*t**3 - t**2 + 5*t - 5. Is 20 a factor of h(1)?
False
Suppose s = 10 + 2. Does 12 divide s?
True
Suppose 3*a - 47 = w + 56, 4*a - 5*w = 119. Is a a multiple of 12?
True
Let a(f) = -20*f**3 + f**2 - 1. Suppose 19 = w - 4*t, -3*w - 13 = -0*w + 2*t. Is a(w) a multiple of 10?
True
Let z = 11 + -11. Suppose z*j + 196 = 4*j. Does 11 divide j?
False
Let j(g) = 3*g + 10. Let t be j(-7). Suppose 0 = 2*m - 4. Let h = m - t. Does 11 divide h?
False
Suppose 4*t = -2*f - 2, 0 = -4*t + f + 3*f - 8. Is 30 a factor of 6 + 23 - t*1?
True
Let l = -180 - -164. Let o be 2*-1 + -1 + 2. Does 22 divide (l/5)/(o/20)?
False
Let a(q) = -q**2 - 2*q + 2. Let c be a(-3). Let r be (-1 - -47)/((-1)/c). Let j = r - 32. Is j a multiple of 14?
True
Suppose -3*x + 33 = -0*x. Is 6 a factor of x?
False
Is (22/(-6))/(4/24*-2) a multiple of 5?
False
Suppose -3*w + 4*n = -2, 0 = w - 2*w + n. Let r be w/(((-1)/1)/(-1)). Is r/4*(0 - 34) a multiple of 13?
False
Let u = -69 + 116. Does 8 divide u?
False
Let q be 1/(-4) - (-119)/28. Suppose -5*w = 2*p + 19, q*p - 40 = -p + 5*w. Suppose 5*k - 2*x = 35, 7*k = 3*k - p*x + 28. Does 4 divide k?
False
Let f(s) = -s + 1. Let j be f(-3). Is 7 a factor of (2/j)/((-1)/(-42))?
True
Suppose -26 - 34 = 2*q - 4*t, 5*t - 58 = 2*q. Let k = -13 - q. Is 21 a factor of k?
True
Let k be 2/4*3*2. Let q(b) = -2*b - 3. Let z be q(-4). Let l = z + k. Does 3 divide l?
False
Let q(z) = -z**3 - 4*z**2 - 2*z + 1. Let t be q(-2). Does 15 divide 53/(0 - 2 - t)?
False
Let a(f) be the second derivative of -f**3/6 + 2*f**2 - 3*f. Does 3 divide a(0)?
False
Suppose -5*n + 23 - 8 = 0. Suppose z - 41 = 5*m + 7, -n*z + 144 = -m. Is z a multiple of 13?
False
Is (9/6 - (-3)/(-6))*46 a multiple of 9?
False
Let j be 2/5 - 18/(-5). Suppose -2*c = -j*c + 2. Is (c/(-3))/((-7)/126) a multiple of 2?
True
Let t = 2 - -40. Let p = t + -2. Suppose 2*u - p = -6. Does 17 divide u?
True
Let m be 4 + 3/(9/(-3)). Let l be -2 + m + (0 - -1). Suppose 0 = 6*d - 5*d + 3*g - 2, -4*g - l = d. Is 5 a factor of d?
False
Suppose -2194 = -6*d + 656. Is 49 a factor of d?
False
Suppose 0 = t - 4*t - 42. Let p be 6 + -6 + 5*t. Does 9 divide 2/8 + p/(-8)?
True
Let y be (-7)/(-2) - 2/(-4). Suppose -2*p + 4*p = y. Suppose -2*c + 138 = 5*k, -35 = 4*k + p*c - 145. Is k a multiple of 14?
True
Let s(a) = -a**3 - 4*a**2 + 2*a - 18. Is 7 a factor of s(-6)?
True
Suppose -a = -2*a + 12. Let l = a + 31. Suppose 4*w + l = 5*w. Is 16 a factor of w?
False
Suppose -r = 14 - 38. Is 2 a factor of r?
True
Let m = -27 + 62. Is m a multiple of 7?
True
Suppose 4*b + 12 = 4. Does 13 divide (-54)/(-2) + b + -2?
False
Suppose 0 = 5*z - 10, -2*q - 10 = -5*q - 5*z. Suppose q = y - 42 - 5. Is y a multiple of 18?
False
Let y be (-1 - -4)*3/3. Suppose 2*w - 54 = -4*s, -36 = -y*s + w + 12. Is 216/10 + 6/s a multiple of 7?
False
Suppose -3*f + 48 = 2*m + 7, -2*m + 2*f + 56 = 0. Suppose 2*h - 7*h + m = 0. Suppose h = 3*r - 7. Does 2 divide r?
True
Let z(x) = -x**3 - 6*x**2 - 5*x + 7. Let m be z(-5). Let d(b) = b**3 - 7*b**2 - 2*b - 5. Let l be d(m). Is 20 a factor of (1/1 - l)*1?
True
Is 12 a factor of -1*(-5 - -4)*158/2?
False
Suppose -k - 2*k + 99 = 0. Is 15 a factor of k?
False
Let s(p) = p**2 - 2*p - 5. Is s(9) a multiple of 18?
False
Let l be -1*(1 + 1 - 5). Suppose 180 = 2*b - 0*b. Suppose -b = -8*m + l*m. Is m a multiple of 18?
True
Let s(q) = 32*q - 5*q - 3*q - 3. Let c = -69 + 71. Is s(c) a multiple of 15?
True
Let o = -39 - -66. Is o a multiple of 12?
False
Suppose x + 3 = -2. Suppose -5*i + i = -36. Let d = i + x. Does 4 divide d?
True
Suppose 4*x = 4 - 0. Let s = 13 - x. Is 11 a factor of s?
False
Is ((2424/3)/(-4))/(-2) a multiple of 23?
False
Let d = -3 + 7. Suppose 5*v = -3*y + 5, -v + d*y + 40 = 4*v. Suppose 3*n - o - 29 = 0, 4*o - v = 3*o. Does 11 divide n?
True
Let v(g) = -g**3 + 9*g**2 + g + 7. Let l(t) = -t**2 - t. Let h(n) = -2*l(n) + v(n). Is h(11) a multiple of 10?
True
Let p = -2 - -2. Suppose -2 = 2*d - p, 0 = 2*j + 5*d - 49. Does 19 divide j?
False
Let m(t) = -t + 13. Does 19 divide m(-9)?
False
Let y(f) = -4*f - 11. Let o be y(-11). Let n = o + -14. Is 19 a factor of n?
True
Suppose 42 = 3*q - q - 4*g, 4*g + 17 = q. Suppose 4*h - 3*h - 15 = 2*f, 0 = -h + 4*f + q. Let n = h - -14. Is 19 a factor of n?
True
Let a be (-4)/14 + (-37)/(-7). Suppose a*q = 3*h - 55, -4*q - 14 = h + 13. Let y(x) = -6*x - 8. Is 20 a factor of y(q)?
True
Let p = 3262 + 4058. Let z be (-2)/(-11) - p/(-33). Is 16 a factor of z/7 - 6/(-21)?
True
Let y = 20 + -10. Let a = 47 - 46. Is 5 a factor of y*a/2*1?
True
Let o = 15 - 31. Does 13 divide 2/((o/(-26))/4)?
True
Let w = -5 + 9. Suppose -18 = -4*s - 2*d, -s - 2*d + w*d = 3. Suppose s*z = 5*z - 14. Does 7 divide z?
True
Let c(n) = -n**3 + 3*n**2 + 6*n - 6. Let v be c(4). Suppose 2*s - 58 = -v*m, -2 = -s - 0*s. Does 15 divide m?
False
Let o(g) = 21*g - 9. Does 25 divide o(4)?
True
Let y(z) = -2*z. Suppose 2 = 4*o - 3*o. Suppose 0*c - o*c = 12. Does 7 divide y(c)?
False
Let v(r) = -r + 11. Suppose h - 12 = -2*t, 3*h = 2*h - 2. Is v(t) even?
True
Suppose q - 13 = -6. Let k be -1 + 2 + 4 + -5. Suppose 12*r - q*r - 195 = k. Is r a multiple of 13?
True
Let h = -173 - -268. Suppose -y = -5*z - 65, 0*y + y + z = h. Suppose -2*c + y = c. Is 15 a factor of c?
True
Let h be 2/(-9) - (-11)/9. Let c = 3 - h. Suppose -c*i + 42 = i. Is i a multiple of 14?
True
Let d = 410 - 264. Does 21 divide d?
False
Suppose -4*l = -7*l + 9. Suppose l*a - 24 = 57. Is 10 a factor of a?
False
Let r be 4/3*225/10. Let n(j) = 11*j - 3. Let w be n(2). Let a = r - w. Does 6 divide a?
False
Let o be (15 + 3)/(1/4). Suppose 2*x + o = -m + 3*m, 3*x = m - 40. Does 14 divide m?
False
Suppose c = 8 + 28. Does 18 divide c?
True
Suppose -8 = 4*r - 28. Suppose r*a - 2*a + 15 = 0. Let o = 8 + a. Does 2 divide o?
False
Suppose 3*f = -b - 1 + 25, -5*b + 86 = -2*f. Let p = b + -13. Suppose -2*l + 198 = 5*w + l, 0 = p*w - 4*l - 191. Is 13 a factor of w?
True
Let g be 4/6 + (-4)/6. Let j = g - -22. Is j a multiple of 13?
False
Suppose 5*h = 3*h + 8. Suppose 6*s - 3*s = -4*b + 17, h*b = -2*s + 6. Does 11 divide s?
True
Let a(n) = 8. Let u(r) = r - 8. Let q(k) = 2*a(k) + 3*u(k). Does 6 divide q(9)?
False
Let t(s) = 2*s**2 + 4*s - 4. Let d = 14 + -11. Is t(d) a multiple of 11?
False
Let r(q) = -q**2 + 2*q + 1. Let i be r(3). Let u = i + 4. Suppose z = u*z + 4, 3*x + 2*z = 70. Is x a multiple of 13?
True
Suppose 2*z - 116 = 76. Is 12 a factor of z?
True
Is (-20)/8*12/(-15) a multiple of 2?
True
Let d = 7 - 13. Let c be 44/6*(d - -3). Let n = 62 + c. Does 20 divide n?
True
Is 27 - -1*(0 - -3)/3 a multiple of 13?
False
Let z = -5 - -8. Is 11 a factor of ((-11)/z - -3)*-69?
False
Suppose -y = -3*y + 210. Suppose -f + 117 = n, -y = -n - 5*f + 24. Let u = n - 81. Is u a multiple of 13?
False
Suppose -2*a + 7*a = 0. Suppose f = -a*f. Suppose 2*v = -f*v + 30. Is v a multiple of 7?
False
Let h(d) = -4*d**2 + 1 + 2 + 0*d + 2*d + 5*d**3 - 4*d**3. Let x be h(3). Suppose x = b + 3*b - 132. Is 16 a factor of b?
False
Suppose 2*j + 2*j = 16, 2*f = -5*j + 200. Does 18 divide f?
True
Let c(g) = -2*g**2 + 8*g + 3*g**2 - 2*g**2. Is 12 a factor of c(6)?
True
Let f(l) = 2*l - 1. Let z(i) = -3*i. Let w(g) = 5*f(g) + 4*z(g). Suppose -17 = 3*n + 4. Is w(n) a multiple of 9?
True
Let z = 82 - 14. Is z a multiple of 8?
False
Let w = -18 + 26. Suppose 2*i + w = 6*i. Is 17 - (i - 9/3) a multiple of 9?
True
Is ((-1584)/4)/(-4) + 1 a multiple of 16?
False
Let m(q) be the second derivative of -q**4/12 + 7*q**3/6 - 5*q**2/2 - 2*q. Let l be m(5). Suppose -2*u = -l*n + 130, -3*n + 67 = -3*u - 20. Does 9 divide n?
False
Suppose 0 = -3*t + 9 + 45. Is 2 a factor of (5/(-15))/((-2)/t)?
False
Let f = -64 - -132. Does 13 divide f?
False
Let k(d) = d**2 - 3*d. Let b be (3*