de n?
False
Let v(x) = x**3 - 11*x**2 + 13*x + 6. Does 16 divide v(10)?
False
Suppose -3*r - 70 = -c - 7*r, 4*c - 185 = 3*r. Does 8 divide c?
False
Let v(f) be the first derivative of -3*f**4/4 - f**2/2 - 2. Let t be v(-1). Does 4 divide t/(-1*3/(-6))?
True
Let q be (4 - 6)/(2/4). Let i(s) = -s**3 - 3*s**2 + 4*s + 4. Let g be i(q). Let d(n) = -n**2 + 9*n - 2. Does 18 divide d(g)?
True
Suppose 3*i - 11 = 4. Suppose 0 = i*b - 2*b + 2*m + 14, 2*b - 4 = 2*m. Does 8 divide (-2)/(27/(-12) - b)?
True
Let s(j) = -j**3 - 4*j**2 + j + 4. Let z be s(-4). Suppose 2*b + 3*l - 23 = z, 3*b - 13 = -b + 5*l. Does 3 divide b?
False
Suppose -4*w = -w - 15. Is w a multiple of 3?
False
Let k(b) = -73*b**3 + b**2 - b - 1. Let a be k(-1). Suppose -a = 5*u - 194. Is 12 a factor of u?
True
Suppose 20 = -h + 5*k, -3*h + 6*h + 16 = 4*k. Let b = h + -5. Let v = b - -19. Is v a multiple of 10?
False
Let c be (-17)/(-3) + 2/(-3). Let w(p) = 10*p**2 - 3*p + 8. Let a(u) = -1. Let l(t) = c*a(t) + w(t). Does 14 divide l(2)?
False
Suppose 0 = -5*t - 0*t. Suppose -j + 3*j - 4 = t. Suppose 3*s + 2*b + b - 39 = 0, 76 = 4*s - j*b. Does 6 divide s?
False
Let y(p) = -p**3 - 4*p**2 + p + 5. Let m be y(-4). Suppose -13 = -4*a - 1. Suppose -c + a = -m. Is c a multiple of 2?
True
Let g(p) = p**2 + p - 2. Let m be g(-4). Let o = m + -5. Suppose 0 = -o*y + y + 24. Is 3 a factor of y?
True
Suppose -o + 4*o = 111. Suppose 3*r = 5 + 1. Is o + (0 - r - -3) a multiple of 19?
True
Let b = 167 - 74. Is b a multiple of 32?
False
Let w(v) = 9*v + 3. Let g be w(-3). Let d be (g/(-3))/((-1)/(-4)). Suppose -5*f + 23 + d = 0. Does 11 divide f?
True
Does 26 divide (-237)/(-3) - (-5 + 6)?
True
Let w = 1284 - 1979. Let d = 1013 + w. Suppose -6*c + 74 = y - 3*c, 5*y + 2*c = d. Does 21 divide y?
False
Suppose 0 = -2*f + 2*a - 3 + 1, 2*f = 3*a - 7. Suppose -3*r + 5 = -f, 5*i = -4*r + 312. Is 14 a factor of i?
False
Let a(k) = k**3 - 4*k**2 - 6*k + 7. Let c(i) = -i**2 + 5*i - 1. Let q be c(3). Let o be a(q). Suppose o*x + x = 48. Is x a multiple of 13?
False
Suppose 245 = s + 4*s. Is s a multiple of 11?
False
Let l(d) = -81*d + 8. Let y(m) = -27*m + 3. Let p(s) = -4*l(s) + 11*y(s). Let z be p(1). Suppose 5*g - 3*x - 106 = -0*x, g = 4*x + z. Does 18 divide g?
False
Suppose -15 = -2*t - 3*t. Suppose -2*v + 2*w + 86 = 0, -5*v = -t*v - 4*w - 86. Suppose -5*z + v = -32. Does 15 divide z?
True
Suppose 0*z = z - 15. Suppose -i + z = 4*i. Suppose i*r - 12 = -r. Is 3 a factor of r?
True
Let m(n) = 10*n**2 + n + 2. Let h(s) = s**2 + 2*s - 2. Let g be h(-2). Is m(g) a multiple of 20?
True
Suppose -5*i + 15 = 0, 0 = 2*v - 0*i + 2*i - 230. Is 14 a factor of v?
True
Suppose 0 = -i - 3*i - 48. Let o = 4 - i. Let n = -2 + o. Is 14 a factor of n?
True
Suppose 0*j = j - 140. Is 33 a factor of j?
False
Let v be (-2 + 0/3)*-10. Suppose 0 = 2*h + u - 63, 5*h + 4*u - 182 + v = 0. Suppose 0 = y - 3*g - 1 - 2, 0 = -2*y - 2*g + h. Is 6 a factor of y?
True
Let h be (4/(-6))/(2/33). Let g = h - -23. Does 12 divide g?
True
Let l(i) = 24*i - 51. Let z(d) = 5*d - 10. Let o(m) = -2*l(m) + 11*z(m). Is o(7) a multiple of 15?
False
Let y = 1 - 1. Suppose 0 = k + 4*c + 4, 2*k + y*k - 5*c = 5. Suppose 0*f + 4*f - 76 = k. Is 19 a factor of f?
True
Does 6 divide 2 + 2 + -4 + 6?
True
Let f(o) = 33*o**2 + o. Is 17 a factor of f(1)?
True
Suppose -v - 2*k + 250 = 0, -4*k = -2*v + 283 + 241. Does 32 divide v?
True
Suppose -2*j + 2*a - 348 = -6*j, 2*a + 168 = 2*j. Does 15 divide j?
False
Let r = -27 + 38. Is r a multiple of 3?
False
Suppose -o + 3*c + 20 = 0, -3*c + c = -o + 21. Is 17 a factor of o?
False
Let w = -6 - -14. Let d(x) = -x**2 + 9*x - 5. Is d(w) a multiple of 3?
True
Suppose i - 2 + 22 = -c, 0 = -5*c - 2*i - 100. Let u = c + 58. Is u a multiple of 19?
True
Let y = 54 - 24. Is ((-36)/15)/((-3)/y) a multiple of 12?
True
Let f(b) be the second derivative of b**4/6 - b**3 + 7*b**2/2 + 5*b. Does 17 divide f(5)?
False
Let t(k) = 3*k**3 + 1. Let o be t(1). Let j be 3 - 1/(-3 + 5 + -3). Suppose -j*w + o*b + 22 = -2*w, -b = -2*w + 37. Is w a multiple of 5?
False
Let l(u) = u**2 - u - 49. Is 24 a factor of l(16)?
False
Let d be 120/(-25) + 2/(-10). Is ((-23)/d)/(4/20) a multiple of 7?
False
Does 15 divide (-4)/(-8) + 471/6?
False
Suppose -2580 = 27*h - 37*h. Is 25 a factor of h?
False
Suppose o + 3*o - 56 = 0. Does 6 divide (-6)/21 + 102/o?
False
Suppose -5*j = 0, 3*s - 50 = -2*s - j. Let d = -8 + s. Suppose -q = -4 - d. Does 6 divide q?
True
Suppose 0 = 4*q - 12 + 4. Suppose -4*a + q*p + 240 = -0*p, -a + 4*p + 60 = 0. Is a a multiple of 20?
True
Let y(m) = 27*m**2 - 4*m + 5. Let w be y(2). Suppose -3*z + 2*a = 7*a - 121, 0 = 3*z - 3*a - w. Is 37 a factor of z?
True
Let p = 5 - 20. Let y = p - -43. Is y a multiple of 8?
False
Is (38675/20)/7 + (-1)/4 a multiple of 23?
True
Let a be (-9)/(-4) + 9/12. Suppose -i = a*i - 224. Is i a multiple of 18?
False
Let a = 73 + -30. Is 21 a factor of a?
False
Suppose 3*u - 5*n - 128 = 0, -12 = -0*n + 3*n. Suppose 3*t + 2*w - 3*w = u, 52 = 5*t + w. Is 11 a factor of t?
True
Let d be (4/(-6))/((-2)/6). Suppose -54 = d*x - 5*x. Does 9 divide x?
True
Suppose 213 = 2*p - 549. Let n = -272 + p. Suppose 5*z = 4*v - n, 3*v - v = -5*z + 47. Does 17 divide v?
False
Suppose -5*l + 1456 = 581. Does 35 divide l?
True
Let w be (-2)/(-4) + (-3)/(-6). Let n be (3/(-6))/(w/(-72)). Let r = 54 - n. Does 9 divide r?
True
Suppose -6*b + 9*b = 273. Is b a multiple of 13?
True
Suppose 6 = -2*v, 5*l + 0*v - 89 = 3*v. Does 8 divide l?
True
Is 5 a factor of 15/(-6)*-6*1?
True
Suppose -4*i + 20 = 64. Suppose -u + 5*u + 7 = -3*o, 2*u = -3*o - 11. Does 7 divide -2 - i/2*u?
False
Suppose 3*l + 185 - 32 = 0. Let u = l + 114. Does 18 divide u?
False
Let d = -12 - -23. Suppose 17 = -0*f + f - 4*n, 2*n = f - d. Is (7 + -3)*f/4 a multiple of 5?
True
Is (-3 - 1) + (8 - -46) a multiple of 25?
True
Suppose t = -5*a - 1, -2*a - 106 = -t - 3*t. Does 24 divide t?
True
Let b be (2 + -32)*21/(-6). Suppose 0*c - 5*c + b = 0. Does 9 divide c?
False
Let f = -170 + 304. Is 14 a factor of f?
False
Let n(x) = -191*x**3 - x - 2. Does 12 divide n(-1)?
False
Suppose 4*t = -t + 160. Let v = t + -8. Is v a multiple of 8?
True
Let f = 94 - 68. Does 13 divide f?
True
Let r = -5 - -10. Let d be (-748)/r - 24/(-40). Let u = -72 - d. Is u a multiple of 26?
False
Suppose 3*m - m - 8 = 0. Suppose -s = -z + 4, -m*s = -z + s + 12. Suppose 24 = z*d - 4*y, -d - 2*y = 4*d. Is d a multiple of 2?
True
Let q(n) = -n**3 - 11*n**2 + 13*n + 17. Let r be q(-12). Does 3 divide (-84)/(-10) - (-3)/r?
True
Let f(h) = -h**3 - 4*h**2 - h - 2. Does 19 divide f(-6)?
True
Suppose -2*y + 2*s - 3 + 17 = 0, -3*y = s - 9. Suppose 4*i = -16, 3*i = y*d - 81 - 19. Is 14 a factor of d?
False
Suppose -3*w + 8*w = 10. Suppose -2*o = -s + 3, -1 = -w*o + 1. Suppose 3*j = -s + 23. Is 5 a factor of j?
False
Let j = 5 + -5. Suppose j*n = 3*n. Suppose n = -4*c + 2*c + 26. Does 7 divide c?
False
Let r = -24 + 12. Does 5 divide (r/6)/(1/(-5))?
True
Let c(q) = 14*q**2 + 2*q + 1 + 11*q**2 + 0. Is c(-1) a multiple of 9?
False
Is ((-4)/(-12))/(2/30) a multiple of 4?
False
Let q(t) be the third derivative of t**5/30 - t**4/12 - t**3/6 - 2*t**2. Let c be q(-1). Suppose 0 = -0*m + c*m - 21. Does 2 divide m?
False
Suppose 43 = 5*a - 12. Let h = a - 6. Suppose -2*n + 49 = 4*p + p, 0 = -h*n - p + 65. Is n a multiple of 12?
True
Let a(z) = z + 8. Let g = -25 + 17. Let n be a(g). Suppose 2*p + n*p = 32. Is 8 a factor of p?
True
Suppose -6 = -2*l + 2, -4*m = -5*l - 160. Is m a multiple of 15?
True
Suppose -d = -2*j + 9, -15 = -2*j + 3*d - 0*d. Suppose 6*f - f + l = 6, j*l = -4*f + 7. Suppose 5*p = -f + 121. Is p a multiple of 8?
True
Suppose -7*v + 3*v = -16, 0 = 5*a - 3*v - 18. Suppose -4*g + a = -g. Does 20 divide 20/6*21/g?
False
Suppose 0 = -4*s + 3*u - 37, 0 = 3*u + 22 - 7. Let o = -6 - s. Suppose 5*j - o = 23. Is 3 a factor of j?
True
Is -24*1*2/(-2) a multiple of 11?
False
Let h = 10 + -7. Suppose -16 - 44 = -h*u. Suppose -12 = 3*t, 0 = 5*y - 5*t - 40 - u. Is 8 a factor of y?
True
Does 10 divide ((-11)/(22/8))/((-1)/20)?
True
Let f be (-10)/(-2)*(-9)/(-15). Suppose -5*d - 31 = c, -5*d + 36 = -4*c - f*d. Let z = 21 + c. Does 5 divide z?
True
Let l = -4 + 7. Suppose -48 = -0*z - l*z. Suppose 2*t - w - 27 = 0, -z =