 - 13*l(t). Does 3 divide v(9)?
True
Let h = 52 + -44. Does 5 divide h?
False
Let f(h) be the third derivative of 0 + 0*h - 1/60*h**5 + 13/24*h**4 + 4*h**2 - h**3. Is f(9) a multiple of 15?
True
Suppose 4*s + 5*h = 41, 5*s - 3*s - 5*h + 17 = 0. Is 5 a factor of 6*4/s + 1?
False
Let n(x) be the first derivative of -4*x**3/3 + x**2 - 2. Let s be n(3). Is 106/10 - 12/s a multiple of 9?
False
Let p = 6 + -4. Let c be (-1)/p*(61 - -3). Let f = -11 - c. Does 10 divide f?
False
Suppose 3*z + 99 = 294. Does 21 divide z?
False
Suppose 0 = 5*a - 0*u - 2*u - 4, 5*a - 3*u = 6. Suppose v + 13 - 58 = a. Is 15 a factor of v?
True
Let s = 43 + -11. Let h = 72 - s. Does 20 divide h?
True
Suppose 3*q = -2*n + 2*q - 270, -2*n + 3*q = 270. Let z = -50 - n. Suppose -8*d = -3*d - z. Is d a multiple of 13?
False
Suppose -190 = -2*l - 4*j + 50, -4*j = -3*l + 310. Is 11 a factor of l?
True
Let o(s) = s**2 + s. Let c be o(1). Let t(u) = 4*u**3 + u**2 + u - 1. Is t(c) a multiple of 9?
False
Let z(t) = 2*t + 5. Let j be z(5). Suppose -7*s + 2*s = -j. Suppose -o - s*m - 16 = 2*m, -4*o = 2*m - 26. Is o a multiple of 9?
True
Suppose 2*o + 38 = 3*t, -o + 2*o - 72 = -5*t. Suppose t + 46 = 2*x. Suppose 2*q - x = 2. Is q a multiple of 16?
True
Suppose 12 = -3*t + 63. Let g = -4 + t. Does 13 divide g?
True
Does 5 divide (18 + -11)*(-20)/(-14)?
True
Let a(g) = -g**2 - 4*g + 7. Let d be a(-5). Suppose -18 = -d*x - 10. Is x a multiple of 2?
True
Let z = 18 - 12. Is z a multiple of 5?
False
Suppose 2*p = p + 14. Let h = p - 6. Is h a multiple of 4?
True
Let m = 232 - 122. Is 22 a factor of m?
True
Suppose -3 = -2*w - 4*f + 21, 0 = 4*w - 5*f - 9. Let g be w/(-4)*(-4)/3. Is 11 a factor of (92/12)/(g/6)?
False
Let p(f) = -f - 3. Let y be p(4). Is 4 a factor of 17*1 + y/(-7)?
False
Suppose 156 = 4*h - 4*l, 5*l - 86 - 6 = -2*h. Let a = h - 10. Does 12 divide a?
False
Suppose -f - 240 = -6*f. Suppose -m + f = m. Is m a multiple of 12?
True
Let t = 136 + -81. Is t a multiple of 10?
False
Suppose 4*m - 2*f - 15 = 15, 0 = -3*m + f + 20. Let h(x) = -x**3 + 7*x**2 - 6*x - 6. Is h(m) a multiple of 5?
False
Let s = 46 + -37. Is 3 a factor of s?
True
Suppose 3*k - 561 + 123 = 0. Is k a multiple of 26?
False
Suppose 4*t + 21 = -51. Let p be (2/4)/(1/t). Is ((-26)/3)/(6/p) a multiple of 13?
True
Let z(o) be the third derivative of o**7/5040 + o**6/72 - o**5/30 + o**2. Let x(b) be the third derivative of z(b). Does 2 divide x(-7)?
False
Suppose -65 = -2*w + 127. Is w a multiple of 24?
True
Suppose -2*d - 6 = -4. Is 24 + (0 + 0)/d a multiple of 8?
True
Let d be (6/15)/(6/3570). Suppose 19 = g - 5*s - 57, 3*g - 5*s = d. Does 21 divide g?
False
Let r be (-968)/(-11) - (0 - 3). Let o = -55 + r. Is o a multiple of 8?
False
Let r be -3 + (-3 - -1)*-1. Let q = r - -8. Does 2 divide q?
False
Suppose 3*u - 57 = -j, 3*j - 7*u - 241 = -2*u. Is j a multiple of 8?
True
Suppose 0 = -5*l - 11 + 36. Suppose 11 = d - 3*j, 0*j - l*j - 30 = -4*d. Suppose 0 = -d*o - 15 + 105. Is 9 a factor of o?
True
Let c = 80 - 4. Suppose -13 - 2 = -3*d. Suppose d*b - b = c. Is 9 a factor of b?
False
Suppose 0*q + 2 = q. Let u = q - -28. Is u a multiple of 21?
False
Suppose 0 = -0*k - 2*k + 144. Is 29 a factor of k?
False
Let v = -205 + 353. Suppose v = 7*k - 3*k - 5*j, -185 = -5*k - 5*j. Does 10 divide k?
False
Let j be (1 - 3 - -3) + -3. Let s(q) = 3*q**2 - 2*q. Is s(j) a multiple of 8?
True
Let b(l) = 3*l**2 + 12*l + 7. Is 5 a factor of b(-5)?
False
Let o be (-2024)/(-36) + 6/(-27). Suppose -124 = -5*q + o. Is 11 a factor of q?
False
Is (-432)/(-30) + 2/(-5) a multiple of 4?
False
Let t = -59 + 200. Does 47 divide t?
True
Suppose -171 = -8*g + 61. Is g a multiple of 6?
False
Let z = 36 - 21. Does 5 divide z?
True
Suppose 591 + 165 = 6*x. Does 18 divide x?
True
Let m(v) be the second derivative of v**3/3 + 13*v**2/2 - 4*v. Is 9 a factor of m(6)?
False
Let f(c) = -5*c - 32. Let z(p) = -2*p - 11. Let u(l) = -4*f(l) + 11*z(l). Let q be u(5). Let s = 33 - q. Does 18 divide s?
True
Let o = -23 + 11. Is (16/(-12))/(2/o) a multiple of 3?
False
Let d = -9 + 11. Suppose 0 = -o - d*a + 27, 5*o + 3*a - 132 = 17. Let r = o - -4. Does 14 divide r?
False
Let s(u) = -u**2 + 15*u + 8. Is s(15) a multiple of 4?
True
Let y = 21 + -7. Is 14 a factor of y?
True
Suppose 0 = 6*f - 2*f. Let u = f - -3. Is u/9 + (-80)/(-3) a multiple of 9?
True
Let y(t) = -2*t + 6. Let x be y(5). Let b = -1 - x. Does 12 divide b/(-2)*-1*14?
False
Let g(j) = -5*j**2 + 6*j - 3. Let w be g(4). Let b be -4 + (-6)/(-3) - w. Suppose 4*r - b = 19. Does 7 divide r?
False
Suppose -4*b + 3*r + 37 = -44, 5*b = -4*r + 109. Is 7 a factor of b?
True
Suppose 95 = 3*c - 5*b, 5*c = -2*b + 39 + 78. Is c a multiple of 5?
True
Let k(x) be the second derivative of 1/6*x**3 + 0 + 1/20*x**5 - x**2 - 1/6*x**4 - 3*x. Is k(3) a multiple of 10?
True
Let p(u) = -4*u**2 + 3. Let z(v) = 7*v**2 - 7. Let c(l) = -5*p(l) - 2*z(l). Is c(1) a multiple of 5?
True
Let o(n) = -3*n - 4. Let r be o(-3). Suppose 92 = r*v - 103. Is v a multiple of 12?
False
Suppose 4*x = 2*w + 52, 0 = 2*x - 5*w - 8 - 18. Is 13 a factor of x?
True
Suppose 0 = -22*s - 2*s + 5808. Is 11 a factor of s?
True
Let a = -55 - -97. Is a a multiple of 11?
False
Let w = 30 - -72. Is w a multiple of 13?
False
Let r(c) = c**3 - 6*c**2 - 6*c - 5. Let k be r(7). Let l(b) = 2*b**3 - 2*b**2 + 3*b. Is l(k) a multiple of 3?
False
Let n(g) = 2*g**3 + 3*g - 1. Is 4 a factor of n(3)?
False
Is 6/(-33) + (-422)/(-22) a multiple of 8?
False
Suppose 0 = 2*r - 44 + 14. Is 15 a factor of r?
True
Let p = -137 - -157. Is p a multiple of 4?
True
Does 34 divide 2/7*1 - (-712)/7?
True
Suppose 1675 = 7*h - 2*h. Suppose 3*a = -4*d + 142 + 87, 5*a - 5*d - h = 0. Suppose 1 - a = -5*p. Does 7 divide p?
True
Suppose g = 4*b - 78, 45 = 4*b + 3*g - 41. Is b even?
True
Let c(f) = -f**3 + 3*f**2 + 4*f + 4. Let k be c(4). Is (-6)/k*4/(-3) a multiple of 2?
True
Let f = -5 - 2. Let h = 14 + f. Is 7 a factor of h?
True
Suppose -x - 3*q - 4 = -6*q, 5*x - 20 = -5*q. Does 5 divide 20/8*x*1?
True
Let p = 45 + -7. Suppose -2*m = -n + 3*m + p, 2*n - 76 = -5*m. Suppose -5*f = c - n, 24 = 2*f + c - 5*c. Does 3 divide f?
False
Let d = -4 - -1. Let a be d/12 - (-26)/8. Is a/3*1*27 a multiple of 9?
True
Suppose -d = -3*d + 54. Does 7 divide d?
False
Suppose 56 = 5*n + 11. Suppose -1 + n = 4*l. Suppose 2*b - 41 = -c, 38 = 4*b - l*c - 32. Is b a multiple of 12?
False
Let t = 8 + -4. Let c = 13 - t. Is 4 a factor of c?
False
Let b = 98 + -30. Is 7 a factor of b?
False
Is (6 + (-252)/49)/((-2)/(-70)) a multiple of 30?
True
Let k be (-2)/3*(5 + -23). Let r = 18 - k. Suppose 2*y - r = y. Does 5 divide y?
False
Let j = -17 + 98. Let i = -49 + j. Does 8 divide i?
True
Does 6 divide ((-3)/2)/(18/(-216))?
True
Suppose -g - f - f + 19 = 0, -g - 3*f = -23. Is g a multiple of 11?
True
Suppose -3*r = 5*m - 16, -3*r - 12 = -2*m - 56. Suppose 2*t + 0*t - 14 = 0. Let d = r + t. Does 12 divide d?
False
Let a(q) = -q**2 + 13*q - 10. Is 6 a factor of a(11)?
True
Let f(q) = 2*q**2 - 2. Let w be f(2). Suppose 3*d - w = d. Suppose g - d + 0 = 0. Is g even?
False
Suppose -4*s + z - 3*z = -214, -2*z = -s + 46. Suppose -3*k + 4*y = -s, -3*k + 3*y = 2*k - 94. Suppose -i + k = 3*i. Is i a multiple of 3?
False
Let r be -35 + 6*(-2)/(-4). Let n = r - -62. Is n a multiple of 11?
False
Suppose -y + 0*y = 0. Let v = y + 40. Is 3/(3/v) - 1 a multiple of 14?
False
Let w be ((-15)/6)/((-2)/4). Suppose 0 = -3*m - y + 4, 1 - w = -2*m - y. Suppose -3*s + m*k + 2*k = -11, -s - 8 = -3*k. Does 2 divide s?
False
Let x(n) = n**2 - 2*n + 8. Let h be x(-7). Let v = -23 + h. Suppose -m = m - v. Does 12 divide m?
True
Suppose -5*b + 2*l = -22, -2*l + 34 = 5*b - l. Let p be 165/(1/(2/3)). Suppose b*s - p = s. Is s a multiple of 11?
True
Suppose -3*i = 53 - 206. Is 17 a factor of i?
True
Suppose -3*n - 4*t - t - 16 = 0, 10 = -5*t. Let h be 3*18/(-2)*1. Is 22 a factor of (-1194)/h + n/9?
True
Let x(u) = 15*u**2 - 5*u + 10. Let q be x(-7). Suppose -y + 6*y - q = 0. Suppose -f = -4*f + y. Does 16 divide f?
False
Suppose -2*s + 2*a + 2 = 0, 0 = -3*s - 5*a - 4 - 9. Let h = s + 9. Does 4 divide h?
True
Suppose 3*t - 1 = -7. Let i = t + 2. Is 11 a factor of 1 + i + -2 - -12?
True
Suppose 0 = a + 1 - 2, 5*t = -a - 144. Let c be 8/36 + t/9. 