 24?
True
Suppose 5*c = -0*c - 5*k + 5, 2 = 2*c - 2*k. Let z be -12 + 14 - (-54)/c. Suppose -3*b + 5*b = z. Is b a multiple of 9?
False
Let v be (-39 + -1 + 1)/((-29)/58). Let m = v + -60. Is m a multiple of 6?
True
Let d(w) be the first derivative of w**3/3 + 3*w**2/2 - 3*w + 4. Is 17 a factor of d(-11)?
True
Let p = 177 - 333. Does 6 divide (-39)/p - ((-350)/8 + 2)?
True
Let d(i) = -i - 6. Let w be d(-1). Let b(j) = -j + 19. Is b(w) a multiple of 4?
True
Suppose -o - d + 69 = -5*d, 2*o - 150 = 5*d. Is o a multiple of 6?
False
Let m = -21 - -29. Suppose -4*l - 3*g = -22 + m, 2*l - 18 = 4*g. Suppose n - 37 = -2*o - o, o + l*n - 3 = 0. Is 6 a factor of o?
False
Let y = -132 - -566. Is y a multiple of 12?
False
Let m(l) = -11*l**3 + 4*l**2 - 8*l - 14. Is 16 a factor of m(-6)?
False
Suppose 4*q - 450 = 2066. Is q a multiple of 37?
True
Suppose 2103*m = 2104*m - 620. Is 10 a factor of m?
True
Suppose -4320 = -5*j + 1500. Is 12 a factor of j?
True
Let t = 926 + 274. Does 24 divide t?
True
Let i(a) = 10*a. Let z(y) = 30*y. Let t(b) = -10*i(b) + 3*z(b). Suppose u - 2*m - 8 = 0, 3*u - 2*m = m + 9. Is 10 a factor of t(u)?
True
Suppose -36*h = -30768 - 13260. Is 5 a factor of h?
False
Let s(x) = -5*x - 2. Let b be s(-1). Suppose b*y = y + 90. Is 15 a factor of y?
True
Let m(z) = -6*z + 11. Let b be m(8). Suppose -3*t + a = -206, 5*t + 2*a = -a + 362. Let f = t + b. Is f a multiple of 10?
False
Let h = 13 + -10. Let v(g) be the first derivative of g**4/4 - g**3/3 + g**2 - 2*g - 2. Is v(h) a multiple of 6?
False
Let g(w) = 9*w + 151*w**3 + 154*w**3 - w**2 - 298*w**3. Does 22 divide g(3)?
False
Let g(q) = q**3 - 8*q**2 + 10*q - 17. Let l be g(7). Suppose l*v - 32 - 4 = 0. Suppose 3*p = 4*w - 72, -p + v = w - 4*p. Does 7 divide w?
True
Suppose -2*z + 138 = -0*z. Suppose -3*g + 171 = -w - z, 400 = 5*g + 4*w. Suppose 5*s = -q + g, -3*q - q = 4*s - 288. Is 14 a factor of q?
True
Is 12 a factor of -176*(15/20 - 6/4)?
True
Let z = -27 - -55. Let b = z - 24. Is ((-33)/(-22))/(2/b) a multiple of 2?
False
Suppose 2482 + 8582 = 8*k. Is k a multiple of 7?
False
Let l = 12 + -12. Suppose b - 3*b - 122 = l. Let t = b - -94. Is 11 a factor of t?
True
Let x(c) = c**3 - 10*c**2 + 5*c + 8. Let t be x(9). Let l be (-76)/t - 2/(-7). Let k(v) = 19*v - 1. Is k(l) a multiple of 28?
True
Let l be (2/(-4))/((-3)/(-276)). Is (0/2 - l) + 1 a multiple of 10?
False
Let j = 30 - 27. Suppose -p - 7 = f, 8*p - j*p + 15 = -f. Does 11 divide 4163/69 - p/(-6)?
False
Let q = 47 + -56. Let d(z) = -z**2 - 19*z - 6. Does 6 divide d(q)?
True
Is 6 a factor of (-2)/(-7) - (-1075)/35?
False
Let k = 338 + 157. Is 33 a factor of k?
True
Let y(k) = k. Let w(n) = -5*n + 20. Let i(t) = w(t) + 6*y(t). Let p be i(-11). Let x(b) = -b**2 + 9*b + 3. Is 2 a factor of x(p)?
False
Suppose 10*r - 8*r - 49 = -v, 0 = r + 3*v - 22. Is 11 a factor of r?
False
Suppose -q = 2*q. Suppose -3*t - 4 + 10 = q. Suppose -322 = -4*a + t*f, -2*a + f + 176 = -3*f. Does 20 divide a?
False
Let t = -411 + 505. Is t a multiple of 18?
False
Let n = -240 + 371. Suppose -h + 143 = f, -4*h = -f + h + n. Is 29 a factor of f?
False
Let i = 3594 + -1607. Is 34 a factor of i?
False
Suppose 5*j = -3*c + 2442, 6*c - 2*c = -4*j + 1960. Does 22 divide j?
False
Let g be (-1 + 12/3)/1. Suppose -5*y - 180 = -0*y - s, -g*y + s - 106 = 0. Let t = -3 - y. Is 10 a factor of t?
False
Let w(z) = -z**3 - z**2 + 6*z - 2. Let q(i) = -i - 1. Let l(t) = -6*q(t) - w(t). Let p be l(0). Let u = p - -1. Is u a multiple of 6?
False
Suppose 3*x - 84 = 49*l - 51*l, l = -4*x + 37. Does 7 divide l?
False
Let u(t) = -10*t - 390. Does 25 divide u(-65)?
False
Let h(d) = d**2 - 4. Let b be h(-3). Suppose -a - b*g = -1, g = 4*a - 0*g - 67. Is a a multiple of 4?
True
Suppose -7296 + 1731 = -15*j. Is j a multiple of 10?
False
Let t(o) = -2*o - 3. Let g be t(-3). Suppose -3*q = -4*r + 15, -3*r + g*q + 9 = -r. Suppose -r*v = 2*j - 29, 3*j + 10 + 32 = 5*v. Is 3 a factor of v?
True
Suppose 8*i - 31065 = -7*i. Is 53 a factor of i?
False
Let r = -94 + 1166. Is 4 a factor of r?
True
Is 57 a factor of 1383 + -17 - (3 - 5)?
True
Let l be (-6)/3 - 0 - -5. Suppose y = -l*s - 2, 4*y + 0*s = 5*s + 26. Is 56/y*(1 + 1) a multiple of 14?
True
Let k = 70 + -71. Let g(c) = -155*c**3 + c**2 + 4*c + 2. Is g(k) a multiple of 22?
True
Suppose 17*k + 18522 = 66*k. Is k a multiple of 14?
True
Let d(q) = -q**3 - 14*q**2 - 13*q - 22. Let j be d(-13). Does 32 divide (-40)/(-22) + (-4)/j - -45?
False
Let l(g) = 8*g - 5. Let u = 8 - 3. Does 6 divide l(u)?
False
Suppose -11 + 7 = 2*j. Let y be j - (-204)/(-1 + -2). Is 9 a factor of (-2 - -3) + y/(-2)?
True
Let u(o) = 6*o**2 - 9*o + 6. Is 33 a factor of u(4)?
True
Let j(x) = -x**2 - 99*x - 110. Is j(-28) a multiple of 12?
False
Suppose -150 = 11*j - 40. Does 11 divide (j/6)/(3/(-162))?
False
Suppose 3*j = -2*c - 15, 8 = -c - 3*j + 2*j. Let y = -30 + 21. Is y/c*(-76)/(-2) a multiple of 17?
False
Suppose 4*g + 1 = 5, 2*g + 18 = d. Let h = 33 - d. Is 12 a factor of h?
False
Let z(q) = -q**2 + 11*q - 18. Let t be z(8). Let m = 6 + t. Does 12 divide m?
True
Suppose 1161 = 7*d - 4782. Does 17 divide d?
False
Let o be 3/(-9)*(-3 + -9). Suppose 0 = -3*j - o*s + 40, 4*j - s = s + 68. Is j a multiple of 7?
False
Suppose 4*b = 5*y - 3, 0 = -3*b - 6*y + 4*y + 15. Let f(i) = 2*i**3 - 4*i**2 + 6*i - 2. Let l be f(2). Suppose -l = -b*s + 62. Is 12 a factor of s?
True
Let u = -5 + 9. Let k(w) = 4*w**2 + u*w - 5*w - w + 3 + 5*w**3 - 2*w. Is k(2) a multiple of 17?
True
Let g be (22/(-33))/((-4)/18). Suppose 2*j = -4*c + 82, -g*j + 4*j = -3*c + 59. Does 2 divide c?
True
Is (-486)/(-4)*(286/(-33))/(-13) a multiple of 9?
True
Let a = 16 + -16. Suppose -4*f - 4*u = -8 - a, -2*u = -3*f - 14. Is 3 a factor of (-3)/(12/(-40)) - f?
True
Let j(h) = -10*h - 359*h**2 - 5 + 0 + 360*h**2. Is 41 a factor of j(-10)?
False
Suppose -6*c + 10 = -c. Suppose -4 - 4 = c*b. Let t(j) = -j**3 + 2*j**2 + 4*j - 4. Is 18 a factor of t(b)?
False
Let h = -42 + 174. Is h a multiple of 3?
True
Let k = -69 + 69. Suppose -5*b + f - 150 + 427 = k, 3*b = 4*f + 173. Does 11 divide b?
True
Let j(x) = x**3 + 7*x**2 + 6*x + 4. Let c be j(-5). Suppose -3*r + q = -4*q - 79, 0 = r - 4*q - c. Is r a multiple of 8?
False
Does 21 divide (-2268)/(-2) + -5 - -5?
True
Let x(d) = -404*d - 35. Is x(-5) a multiple of 12?
False
Suppose 1088 = 3*d - 5*w, -d + 70 + 296 = -w. Is 39 a factor of d?
False
Let d(q) = -q - q - 3*q + 8. Is d(-18) a multiple of 27?
False
Let g = 1064 - 100. Does 17 divide g?
False
Let v = 9 + -7. Let c(a) = -2 + 4 + 2 - 3 + v*a. Is c(8) a multiple of 17?
True
Let n be -5*-2*(-4 + 2). Let p = 111 + n. Suppose 2*q = 53 + p. Is q a multiple of 16?
False
Let t(y) = y**3 - 10*y**2 + 2. Let i be t(10). Suppose -r + 16 = -2*d + 6*d, 0 = -i*d - 4. Is 24 a factor of r?
True
Suppose 3*v + 3 = 6. Is (-17 - -18) + 24/v a multiple of 25?
True
Suppose -4 = -v - 5*p + 6, 3 = 3*p. Suppose -v*i - s = -214 - 96, 2*i + s - 127 = 0. Is 6 a factor of i?
False
Let u(c) = 39*c + 38. Let t be u(5). Suppose 2*r - 435 = -r. Let q = t - r. Does 22 divide q?
True
Suppose 364 = -699*q + 703*q. Is q a multiple of 7?
True
Let f(y) = y**2 - 15*y + 16. Let d be f(14). Suppose -d = r - 4. Let s(v) = 25*v + 1. Is 32 a factor of s(r)?
False
Let n(q) = -26*q + 3. Let p be n(-1). Suppose 2*d = -2*r + 98, 2*r + r + p = d. Does 6 divide d?
False
Suppose -d - 44*d = -4005. Is d a multiple of 2?
False
Let d(i) = -i**3 + i**2 + 9*i - 2. Let j = -28 - -22. Let c be d(j). Let g = c + -118. Is 24 a factor of g?
False
Let r be (-9)/(27/(-22))*-3. Let k = 40 + r. Is k a multiple of 9?
True
Let j(m) = 4*m**2 + 2*m - 6. Let c(o) = -o**3 + 6*o**2 - o + 7. Let k be c(6). Let t be 3*k*(16 + -17). Is 24 a factor of j(t)?
True
Let k be (3/12 - (2 - 2))*4. Is 11 a factor of -1 - -9 - -17 - k*3?
True
Suppose 121*i = 117*i + 4800. Is 20 a factor of i?
True
Is 11 a factor of 2*-1 + 0 + 69 + 8?
False
Let b(f) = f + 6. Let h be b(-5). Let x = h - 12. Let q = 32 + x. Is 7 a factor of q?
True
Let o(b) = 2 - 81*b**3 - 5*b + 82*b**3 - 2*b - b**2. Is o(4) a multiple of 7?
False
Let o(t) = -3*t - 11. Let m be o(-5). Suppose -3*d = 4*c + 398, 5*d = 3*c - m*c - 108. Let w = c - -146. Does 16 divide w?
True
Let l be 217 + -5 - (1 + -1). Suppose 2*o - l = -5*h -