33 = v, 0 = -3*h + l + 21 + 8. Is h a multiple of 10?
True
Let y = 1 + 3. Suppose -g + y = -1. Is g a multiple of 2?
False
Suppose -3*y + 27 = 3*q, -y + 4*q + 9 = -5. Suppose -4*t = -26 + y. Is 4 a factor of t?
True
Let n = -14 - -19. Suppose n*p = 68 + 82. Does 10 divide p?
True
Suppose 4*x + 2*j - 2 + 4 = 0, 4*x = -5*j - 5. Suppose x = -5*y + y - 2*v + 10, 0 = 4*y - v - 25. Suppose y*c + w = 202, w + 26 = 3*c - 100. Does 13 divide c?
False
Is (2 - 51/(-3))*7 - 1 a multiple of 10?
False
Let t(m) = -8*m - 4. Let d be t(-6). Suppose -159 + d = -5*k. Is k a multiple of 13?
False
Let g = 5 + -6. Is (g/3)/((-5)/75) a multiple of 5?
True
Let w(g) be the first derivative of -4*g - 3*g**2 - 4 + 0*g**2 + 6 - 5. Does 20 divide w(-4)?
True
Suppose 3*d + 789 = 4*x, 3*d = x + 111 - 315. Does 8 divide x?
False
Let x(w) = -5*w. Let l(o) = -6*o. Suppose 7*m - 4*m - 3 = 0. Let d be l(m). Is x(d) a multiple of 15?
True
Suppose -5*x = -7*j + 2*j + 40, j = -3*x + 12. Is j a multiple of 8?
False
Let y = -13 + 23. Suppose 1 - y = 3*r. Let q = 13 + r. Does 10 divide q?
True
Let n(o) = -o**2 + 10*o - 1. Let h = 6 + 3. Let y be n(h). Does 7 divide (y/(-6))/4*-33?
False
Let p(j) = j**2 - 9*j + 8. Let k be (5 + -4)/((-2)/(-20)). Does 9 divide p(k)?
True
Suppose 360 = 6*d - 0*d. Does 15 divide d?
True
Let d be (-2)/4 - (-21)/6. Suppose -4*n + d*n - 4 = -w, -4*w + 3*n = -13. Is -2*(-9)/6*w a multiple of 3?
True
Let f(n) = 4*n**2 + 13*n - 5. Let o(m) = -11*m**2 - 38*m + 16. Let g(t) = 8*f(t) + 3*o(t). Does 11 divide g(-9)?
False
Let p(s) = s**2 + 1. Let c be p(-1). Suppose -c = -u - 4. Does 10 divide (-121)/(-6) + u/12?
True
Suppose 5*b + 31 = k + k, -3*k = -2*b - 19. Suppose -k*m - 1 = 17. Let p(a) = a**3 + 6*a**2 - a + 4. Does 5 divide p(m)?
True
Suppose a - v = -5 + 16, 3*a - 26 = -4*v. Let t be 32/a + 3/(-15). Suppose -3*l + t*q = -24, 2*l - q = 6 + 11. Is l a multiple of 9?
True
Suppose -15*y + 49 = -14*y. Does 7 divide y?
True
Let t(u) = -u**3 - 21*u**2 - 26*u - 1. Is t(-20) a multiple of 17?
True
Let z = 103 - 24. Suppose -5*b = 4*a - 294, 3*b - 3*a = z + 92. Suppose 48 = 3*q + q + 4*g, 4*q + 2*g = b. Is 7 a factor of q?
False
Let b = -65 - -36. Let j be (-8424)/(-168) - 1/7. Let a = j + b. Does 7 divide a?
True
Suppose 4*c - 6 = -22. Let m(v) = 5*v**2 - 5*v - 4. Let s(d) = 4*d**2 - 5*d - 3. Let n(y) = 6*m(y) - 7*s(y). Does 9 divide n(c)?
True
Let a = -17 + 23. Is a a multiple of 6?
True
Let f = 14 + 6. Is 11 a factor of (-330)/f*8/(-3)?
True
Let y be (-3)/(-6)*398 + 2. Suppose n + 79 = -4*u + y, -2*n + 151 = 5*u. Suppose -5*b - 5*h = -10, -4*b + 2*h + u = -b. Is 3 a factor of b?
False
Let a(i) = -8*i - 4. Suppose 2*u + 16 = -2*u. Does 11 divide a(u)?
False
Suppose 260 - 1940 = -15*t. Is 28 a factor of t?
True
Let b(s) be the first derivative of -1 - 4*s - 3/2*s**2. Is b(-5) a multiple of 7?
False
Suppose 2*s - v - 12 = 0, -s + 0 + 7 = -v. Suppose 3*q + q - 195 = 3*m, -s*q = 5*m - 270. Is q a multiple of 18?
False
Suppose -3*h = -a - 16 + 3, -2*h + 42 = -2*a. Is 3/(3/1) - a a multiple of 14?
False
Let m(a) = -a - a**2 + 5*a - 2 + 3*a**3 - a**2. Suppose x = -1, -x - 9 = -2*u + 4*x. Does 12 divide m(u)?
False
Suppose -d = -2*d + 117. Suppose -3*u + i = -69, -5*u + 0*i + i = -d. Does 24 divide u?
True
Suppose 51 - 1 = 2*q. Is q - (1 + 0/(-3)) a multiple of 9?
False
Let m be (9/(-6))/(2/4). Let b = 7 + m. Does 9 divide b/(-18) + (-166)/(-18)?
True
Suppose -3*u + 450 = 2*u. Suppose 5*s + 7*c - 2*c - u = 0, -5*c + 50 = 3*s. Does 5 divide s?
True
Suppose 6*m - 45 = m. Let p = m - 5. Suppose -p*a + 24 = -3*a. Is a a multiple of 7?
False
Suppose -3*w - 2*w = -440. Is w a multiple of 22?
True
Suppose -3*i - s + 58 = 0, -3*i + 68 = s - 2*s. Is 4 a factor of i?
False
Let r(f) be the third derivative of -f**7/840 + f**6/360 + f**5/60 - 2*f**2. Let p(u) be the third derivative of r(u). Is 19 a factor of p(-6)?
True
Let r = -19 + 13. Let f be 1/r - (-13)/6. Suppose f*m - w = 24, w + 1 = -1. Does 3 divide m?
False
Suppose -30 - 14 = -k. Is 5 a factor of k?
False
Suppose 2*h - 13 = l, 2*l - 28 = -6*h + h. Let r(z) be the second derivative of -z**4/12 + 3*z**3/2 - z**2 + z. Is 16 a factor of r(h)?
True
Suppose -5*a + 4*z = -z - 1320, 5*z + 25 = 0. Is 37 a factor of a?
True
Let i(g) be the first derivative of 1/4*g**4 + 7/2*g**2 - 2 + g + 7/3*g**3. Is i(-5) a multiple of 8?
True
Let f(t) = t**3 + 7*t**2 - 3*t - 2. Let l be f(-7). Suppose l = a - 11. Does 9 divide a?
False
Let v = 21 - 43. Let u = v - -31. Does 3 divide u?
True
Suppose -2*l + 430 = -4*y, l + 5*y + 643 = 4*l. Suppose -3*n - 3*o + 6*o = -153, -4*n = 3*o - l. Is 14 a factor of n?
False
Let c(z) = 2*z**3 - 7*z**2 - 5*z - 6. Does 12 divide c(6)?
True
Let m(a) = 18*a**2 + 3*a - 4. Let k be m(4). Suppose l = -3*l + k. Does 24 divide l?
False
Suppose -7*u + 12*u = -15. Is (-490)/(-6) + (-1)/u a multiple of 21?
False
Suppose 38*c = 35*c + 168. Is 7 a factor of c?
True
Suppose -3*b = -66 - 18. Is 14 a factor of b?
True
Suppose 3*g + 1 = 4*g, -r + 11 = 3*g. Let p = r - -2. Is p a multiple of 5?
True
Let b = -13 + 43. Is b a multiple of 6?
True
Let n = -15 + 11. Let b(x) = -x**3 - 3*x**2 + 2*x - 3. Is b(n) a multiple of 2?
False
Suppose o - 26 = 26. Is o a multiple of 4?
True
Suppose 4*r = -0*r + 16. Suppose -3*b + r - 7 = 0. Is (b/3)/((-1)/117) a multiple of 13?
True
Is (-4)/16 + 370/8 a multiple of 23?
True
Let i(q) = q**3 + q**2 + q + 1. Let k be i(-1). Suppose k*s + 19 = s. Suppose 5*t + s - 129 = -5*c, 4*t = 5*c + 70. Is t a multiple of 10?
True
Let h be 390*(-3 - 17/(-5)). Is 4/(-14) + h/7 a multiple of 22?
True
Suppose 0 = 7*m - 26 - 142. Is m a multiple of 9?
False
Let k = -1 - -9. Is k a multiple of 8?
True
Let s = 14 - 10. Is 8*(7 - s - -3) a multiple of 10?
False
Let m(l) be the third derivative of -l**4/6 + l**3/2 + l**2. Is 7 a factor of m(-3)?
False
Let d = -23 + 37. Suppose -b + 3*v = -d, -5*v + 0*v = -4*b + 35. Suppose -2*g = i - 16, -14 = -g + b*i + 16. Is g a multiple of 5?
True
Suppose v + 405 = 3*c - 2*v, -5*v + 365 = 3*c. Is 10 a factor of c?
True
Let c = 11 - 7. Suppose w = 4*b - 6 - 7, c*w + 10 = 2*b. Is b a multiple of 2?
False
Let g = 20 + 28. Suppose 0 = j - 4*j + g. Suppose -z - 4*m = -32, -26 = -2*z + 3*m + j. Is 12 a factor of z?
True
Let m(v) = -4*v - 1. Let l be m(-4). Let f = l - -16. Is 9 a factor of f?
False
Let u = 101 + -61. Suppose v = 3*p, 0*v + 5*p + u = 5*v. Does 4 divide v?
True
Let g(q) = 0*q - 8*q - 3 - 1. Suppose 3*o - o - 13 = d, 0 = -3*d - 5*o + 16. Does 7 divide g(d)?
False
Is 2 a factor of 2/4*(-17)/((-17)/26)?
False
Let z = -13 - -14. Suppose -4*k - z = -137. Is 9 a factor of k?
False
Suppose -3*r = 5*o + 94, 51 = -2*r + 3*o - 4*o. Let n = r - -39. Does 8 divide n?
True
Let x(f) = -1. Let j(b) = 25*b**2 - 23. Let d(g) = -j(g) + 2*x(g). Let i(v) = 5*v**2 - 4. Let u(a) = 2*d(a) + 11*i(a). Is 18 a factor of u(-2)?
True
Let a be 6/12 + (-18)/4. Is 13 a factor of (6/a)/(6/(-104))?
True
Let c(x) = x**2 + 7. Let h be c(-6). Let p = 8 - -7. Suppose o = 4*g + p, -4*g - h = -o - 4*o. Is 6 a factor of o?
False
Let u = 295 - 48. Let p = u - 144. Suppose 35 = -2*o + p. Is o a multiple of 12?
False
Suppose 5*t - 10 = 0, 5*k + 5*t - 79 = 21. Does 6 divide k?
True
Let u = -5 + 11. Suppose -2*z - 28 = 5*b, u - 32 = 4*z - 5*b. Let p = z + 19. Does 5 divide p?
True
Suppose -g + 6*g - 37 = p, 5*p = 4*g - 80. Let h = 2 - -4. Is 14 a factor of 4/p - (-86)/h?
True
Let k(f) = 3*f**2 + 52. Is 4 a factor of k(0)?
True
Suppose -5*c = -10 - 505. Is 13 a factor of c?
False
Suppose 5*o - 10*o = -345. Does 9 divide o?
False
Suppose n - 44 - 99 = 0. Suppose -85 = -3*w + n. Is 16 a factor of w?
False
Is 9 a factor of (-5)/((-16)/(-6) + -3)?
False
Suppose 5*y + 5*c - 47 = -12, -5*c + 10 = 0. Let o(p) = 7 + 5*p - 4*p + 4*p. Does 13 divide o(y)?
False
Let a(d) = -d**3 + 5*d**2 - 6*d + 5. Let y(b) = b**3 - 6*b**2 + 6*b - 5. Let i(m) = -2*a(m) - 3*y(m). Is i(4) a multiple of 8?
False
Suppose p - 15 = -1. Is p a multiple of 14?
True
Is 6 a factor of 20/3 + (-2)/(-6)?
False
Let m(t) be the second derivative of 7*t**3/3 - 3*t**2/2 + t. Let a be m(5). Let v = -41 + a. Is 9 a factor of v?
False
Suppose -8 = -4*f + 8. Suppose 0 = -5*b - 20, -3*s + 2*b = -f*s + 11. Let w = 51 - s. Is 15 a factor of w?
False
Let t = 52 - 