et k = -3 + a. Is k a multiple of 3?
False
Let o be (-1)/2*12*3. Let t be (-40)/o - (-6)/(-27). Suppose t = 4*f - 78. Does 7 divide f?
False
Suppose 0 = -5*t - 2*x + 75, 0 = 3*t - 4*x - x - 14. Let z = t - -7. Is 14 a factor of z?
False
Let s be 2*(5/2 - 1). Suppose 0 = u + s - 7. Suppose 5*v + u - 5 = -4*j, 5*j - 23 = v. Is 4 a factor of j?
True
Let f = -6 + 6. Suppose f = -4*p + 68 + 88. Suppose 123 = 3*z + p. Is 14 a factor of z?
True
Suppose 284 + 116 = 5*h. Is h a multiple of 10?
True
Let c = -16 + 11. Let r(v) = -1 + 8*v + v**2 + 6*v**2 - v + v**3. Does 9 divide r(c)?
False
Let p(m) = m**3 - 5*m**2 + 5*m - 4. Let x be p(3). Let v(k) = k + 10. Let z be v(x). Suppose -28 = 2*g - 5*q - 68, z*g + 4*q - 37 = 0. Is g a multiple of 15?
True
Let t = 0 + -5. Let a(l) = -l**3 + 5*l**2 + 1. Let c(p) = -3*p**3 + 10*p**2 + 1. Let b(y) = 5*a(y) - 2*c(y). Is 3 a factor of b(t)?
True
Suppose 3*h + 78 - 264 = 0. Suppose -l - h = -2*g + l, 5*g + 4*l = 200. Does 12 divide g?
True
Let z(m) = 5*m**3 + 3*m**2 - 10*m + 6. Let w(t) = -t**3 - t**2 + t. Let l(u) = 4*w(u) + z(u). Does 12 divide l(4)?
False
Let v(p) be the first derivative of p**2 - 9*p - 3. Is 4 a factor of v(12)?
False
Let b(d) = -2*d - 12. Let y(g) = -13*g - 1. Let p be y(1). Let k = p + 5. Is b(k) a multiple of 5?
False
Let g be 16/6*324/24. Suppose -o + g = o. Is o a multiple of 9?
True
Let g(u) = 62*u**2 - u - 1. Is 31 a factor of g(-1)?
True
Let b = -19 + 30. Let v(z) = 7*z**2 + 2*z + 2. Let i be v(-2). Let w = i - b. Does 11 divide w?
False
Let f(k) be the second derivative of k**4/6 + k**2/2 + k. Let z be (-1 + 2)/(4 + -3). Is 2 a factor of f(z)?
False
Let j(y) = 8*y + 2. Let v be j(6). Is (-990)/v*20/(-6) a multiple of 22?
True
Suppose -y + 4*y = 39. Let f = y + -9. Is f a multiple of 2?
True
Let a = -60 + 108. Is 12 a factor of a?
True
Let h = 5 - 1. Suppose -h*q + 4*z = 2*z + 42, 0 = -4*q - 4*z - 36. Let v = q - -17. Is 3 a factor of v?
False
Suppose 6*l - 756 = 132. Does 37 divide l?
True
Suppose 5*t = -2*b + 42, t - b - 5 = 2*b. Let g(a) = 6*a + 4. Let y(k) = -k. Let d(f) = g(f) + y(f). Is d(t) a multiple of 22?
True
Let i be (-70)/(-6) - 1/(-3). Suppose 3*h + h = i. Suppose q - 2*q = -h. Is 3 a factor of q?
True
Let a(k) = -31*k - 3. Let f be a(-3). Suppose -5*u = -4*u - f. Suppose -u = -2*z - 3*z. Does 8 divide z?
False
Let f(b) = -49*b + 4. Let y(q) = -48*q + 5. Let j(p) = 6*f(p) - 5*y(p). Is j(-1) a multiple of 23?
False
Suppose -4*r - v = -159, 5*r - 2*v - 203 = v. Is r a multiple of 7?
False
Let t(h) = -3*h**3 - 2*h**2 + 5*h. Is t(-3) a multiple of 6?
True
Let s(b) be the second derivative of -b**5/20 - 5*b**4/12 - b**3/6 - b**2 - b. Is s(-5) even?
False
Let n(f) = 3*f - 3*f**2 - 4*f + 4*f**2. Let g be n(1). Suppose g = -0*d - 4*d + 28. Is 4 a factor of d?
False
Let w(v) = 3*v**2 + 5*v - 8. Is 7 a factor of w(-6)?
True
Let s = -13 + 14. Suppose -5*k + s = -9. Is k a multiple of 2?
True
Suppose 2*d - 7 - 3 = 0. Is d a multiple of 5?
True
Suppose -7*g + 159 = -128. Is g a multiple of 41?
True
Suppose 3*h = -3*q, -3*h + 4*q = -0*q. Let b be (-26)/(-2) - (h - 1). Does 3 divide b*1/(-2)*-1?
False
Let n(f) = -f**3 + 3*f**2 + 2*f. Suppose 2*j - j - 5 = 2*k, -j + 23 = 4*k. Suppose -2*y = 2*a + 3*a - j, 5*y = 5*a + 10. Does 6 divide n(y)?
True
Let x = 57 + 11. Suppose 0 = u + 14 - x. Suppose -4*r = -4*k + 48, 4*k + 2*r - u = 3*r. Is 14 a factor of k?
True
Suppose -2*d = -3 + 13. Let m = -2 - d. Suppose -2*l = -5*s - 46, -s - 32 = -l - m*s. Does 17 divide l?
False
Suppose -5*x - 4*o + 2 = -10*x, -5*x + o = -7. Let r be 2 - x/4*-2. Suppose -r*b + 75 = -0*b. Is b a multiple of 18?
False
Let d(s) be the third derivative of s**5/60 + s**4/24 - s**3/6 + 3*s**2. Let u be d(-2). Is (-1)/(4/6 - u) even?
False
Let w(m) = m**3 + 2*m**2 - 3*m + 4. Let n be w(-3). Suppose -n = t - 28. Is t a multiple of 7?
False
Let d(h) = 3*h**2 + 4*h + 2. Let m(w) = -w**3 - 7*w**2 + 9*w + 12. Let b be m(-8). Suppose 0 = 4*u - 0*v + v + 11, 3*v = b*u + 31. Is 12 a factor of d(u)?
False
Is (-1 + 2)/(1/38) a multiple of 13?
False
Suppose -3*r + 510 = 2*r. Suppose -4*q + 4*y = -204, 2*q - 5 = 3*y + r. Does 12 divide q?
False
Let n(y) = -y**3 + 6*y**2 - 6*y. Let k be n(4). Suppose 2*g = 4*g - k. Is g/6*(-195)/(-10) a multiple of 13?
True
Suppose r = -5*l + 2, -6 = -4*r + 5*l + 2. Suppose -2*z = 2*z + 4*b - 40, 0 = -z - r*b + 13. Does 7 divide z?
True
Let m be 10/45 + (-5270)/(-18). Suppose o = 3*y - m, y - 3*y + 5*o + 178 = 0. Does 28 divide y?
False
Let b = -7 + 11. Suppose 3*k = b*k. Suppose k = -z + 2*z - 32. Does 12 divide z?
False
Let c = -200 + 300. Is c a multiple of 19?
False
Suppose 5*u + 63 = x, 0*x + 3*x - 5*u - 219 = 0. Does 13 divide x?
True
Is 13 a factor of (-16 - -15) + 8*(-14)/(-1)?
False
Is 43 a factor of (-3 - (-18)/4)*860/15?
True
Let r(a) = -2*a + 8. Let z be r(6). Suppose -h + 12 = -5*h, -3*h - 1 = -2*u. Does 7 divide z/(-8) - 54/u?
True
Suppose -4*r + 94 = -5*z + 267, -z + 31 = -2*r. Is 13 a factor of z?
False
Let t = 100 + 2. Does 28 divide t?
False
Suppose 236 = 3*z + 14. Suppose 2*c = 2*s - 0*c + z, s = 2*c - 42. Let t = -9 - s. Is t a multiple of 23?
True
Let g(y) = -6*y**3 + 2*y**2 + y - 1. Let w be g(2). Let h = -80 - w. Is 1/(-2) + h/(-2) a multiple of 10?
True
Let u(i) = -16*i. Let j be u(-4). Suppose -h + j = 3*h. Is 8 a factor of h?
True
Suppose -2*h - 19 = 6*c - 7*c, 2*c = -h + 38. Does 5 divide c?
False
Suppose 2*l = -3*f + 82, 0*l + 39 = l + 2*f. Does 21 divide l?
False
Let d = -160 + 376. Does 12 divide d?
True
Let m(o) = 63*o - 11. Let i be m(5). Let j(y) = y**3 - 7*y**2 - 4*y + 6. Let v be j(7). Is 10/55 - i/v a multiple of 6?
False
Suppose 3*u = -2*m - m + 39, 4*m - 5*u = 25. Let n = m - 4. Is n a multiple of 3?
True
Suppose -2*n = -5*n + 15. Let q(k) be the second derivative of -k**4/12 + 2*k**3 - k**2/2 + 3*k. Is 21 a factor of q(n)?
False
Suppose -l - 4*j + 12 = 0, -7 - 8 = 5*l - 5*j. Suppose s = 4*s - 3*g - 87, s - 3*g - 31 = 0. Suppose -k + l*k = -s. Is 14 a factor of k?
True
Let x = 13 - 8. Suppose -2*v + x*v + 4*g = 38, -2*v - 4*g = -32. Is v even?
True
Let z(p) be the third derivative of -p**4/8 - 3*p**2. Is z(-5) a multiple of 6?
False
Let u(f) = -f**3 - 17*f**2 - 2*f - 8. Let p = -25 + 8. Is 6 a factor of u(p)?
False
Suppose -5*w + 9 = -11. Suppose 0 = -h + w*h - 54. Is h a multiple of 6?
True
Suppose 3*n + g = -4, -2*g - 1 = 1. Let w = -3 - -1. Does 5 divide (-13)/(-2 - n) - w?
True
Suppose 28*r - 24*r = 240. Is r a multiple of 12?
True
Let x be 0/(-7) - 7*-1. Let w = 21 - x. Is w a multiple of 14?
True
Let v = 32 - -73. Is 6 a factor of v?
False
Let d = 1 + 92. Is 12 a factor of d?
False
Let n = 16 - 22. Let i be 1*(n + 2)*-26. Suppose 3*z = q + 3*q + i, -z - 3*q + 39 = 0. Does 10 divide z?
False
Suppose 2*k - 5*y = -4 - 1, 3*k = -5*y + 5. Let b = -9 + 21. Let l = b - k. Is 12 a factor of l?
True
Suppose 0 = 4*m + 4 - 12. Let i be (m - 1)*-1*-5. Suppose k - 4 = -0*k - 3*g, -i*k = -g - 84. Is 8 a factor of k?
True
Let o be 0*(-5 + 2)/(-6). Suppose o*u = 4*u - 196. Is u a multiple of 13?
False
Let w(o) = o**2 + 7*o + 6. Let b be (-18)/2 - 8/(-4). Let i be w(b). Let n = 13 - i. Is n a multiple of 3?
False
Let h = 125 + -65. Suppose -5*b + b = -h. Does 5 divide b?
True
Let r(z) = z**2 + 17. Is 14 a factor of r(5)?
True
Suppose h - 4*h + 36 = 0. Suppose 3*z = -z + h. Suppose -3*n + 1 = 4*q - 179, 0 = 2*q + z*n - 96. Is 20 a factor of q?
False
Let x = 59 + -40. Is 5 a factor of x?
False
Suppose 5*h = 8*h - 1089. Is h a multiple of 41?
False
Let c be 16/10 - 16/(-40). Suppose -c*j + 8 = -2. Is j a multiple of 4?
False
Suppose -4*o - 5*w + 362 = 0, 120 + 349 = 5*o - 2*w. Is 8 a factor of o?
False
Let w = -2 + 1. Let s be 0/(w - -4) - 13. Let t = 43 + s. Is t a multiple of 15?
True
Suppose 2*u - 21 = 6*u + 5*p, 2*u = -p - 9. Let n = 6 + u. Suppose 5*s + l - 23 = 24, -2*l = n*s - 14. Is 4 a factor of s?
False
Suppose -4*d + 52 = -244. Let v = d - 43. Is 11 a factor of v?
False
Suppose 1 = x - 2. Is (2/x)/((-4)/(-18)) a multiple of 3?
True
Suppose 3*h - 43 - 173 = 0. Does 24 divide h?
True
Suppose u - 5*r - 214 = 0, -4*u + 0*r + 822 = -3*r. Does 13 divide u?
False
Let i = 4 - -16. Does 4 divide i?
True
Let b(h) be the second derivative of -h**3/6 - 2*h**2 - 2*h. Let o be b(-