 = 5*h - 55, x*h = 5*a + 41. Is h a multiple of 4?
True
Let n(h) = 8*h**2 + 2*h - 7. Is n(3) a multiple of 10?
False
Let k(b) = 9*b - 5. Let s(l) = -9*l + 6. Let j(v) = 4*k(v) + 3*s(v). Does 3 divide j(1)?
False
Let t(y) = 4*y**2 + 9*y + 7. Let i(a) = -a**2 - a - 1. Let q(b) = -5*i(b) - t(b). Let j(l) = -l**3 + 8*l**2 + 10*l - 3. Let u be j(9). Is 10 a factor of q(u)?
True
Let f(q) = 4*q**3 - 2*q**2 - 8*q - 5. Let k(g) = g**3 - g - 1. Suppose 2*i = 2*z + 6, -3*i + 23 = 3*z + 2*i. Let d(v) = z*f(v) - 3*k(v). Is 16 a factor of d(5)?
True
Suppose 4*g = 2*q + 182, 4*q - 9 - 11 = 0. Does 16 divide g?
True
Let l(q) = -2*q - 2. Let z be l(-4). Suppose m - z*m = -10. Suppose -31 = -2*d - 5*w, -m*d + 22 = -w + 9. Does 8 divide d?
True
Suppose -24 = -5*k + 11. Suppose w + 56 = 5*w - 4*d, -4*d + k = 3*w. Does 5 divide w?
False
Suppose 8*h - 121 = 111. Suppose -2*a + 11 - 5 = 0. Suppose -5*g + z + h = 0, -10 = -a*g + 2*z + 13. Is g a multiple of 2?
False
Let q be 488/9 - 4/18. Suppose -4*a + 2*a + q = 0. Does 15 divide a?
False
Let m(n) = -n - 7. Let p be m(-4). Let t be -1*(p - (0 - 1)). Suppose -t*i - 13 = -k - 0, -3*i - 8 = -k. Does 8 divide k?
False
Suppose -u + 3*l - 6 = -4*u, l + 2 = u. Suppose 0 = -r - r + 2*j + 134, 0 = 5*r + u*j - 328. Does 17 divide r?
False
Let k(p) = -41*p - 2. Let t(j) = -41*j - 3. Let c(q) = 4*k(q) - 3*t(q). Let n be c(-1). Suppose -n = -0*a - 3*a. Is a a multiple of 5?
False
Suppose 5*h - 322 = 2*i - 0*i, -4*i = 3*h - 188. Suppose o = 5*o - h. Does 8 divide o?
True
Let c(y) = -5*y - 9. Suppose -p = 4 - 15. Let s(d) = 26*d + 46. Let t(h) = p*c(h) + 2*s(h). Is t(-7) a multiple of 12?
False
Let s(r) = 19*r - 1. Let c be s(-1). Let q = 36 + c. Is q a multiple of 9?
False
Does 6 divide 1/((5 + -4)/9)?
False
Let n(l) = l**3 + 9*l**2 - 7*l + 1. Does 17 divide n(-9)?
False
Suppose 5*b - 2*c = -5*c - 113, -5*b - 117 = 2*c. Let o = b + 17. Is 10 a factor of o*(-10)/12*3?
True
Let r(t) be the second derivative of t**4/2 - 2*t. Is 12 a factor of r(2)?
True
Let h = -7 + 44. Is 13 a factor of h?
False
Let u be 4 + -1 + 1 + 1. Let w be u/3*2*15. Suppose -w = -3*r - 4*y, y + 35 = 3*r + 2*y. Is 10 a factor of r?
True
Suppose 4*k - 24 = -d, -k + 4*d - 30 = -6*k. Does 6 divide k?
True
Suppose -t - 138 = -4*t. Is 22 a factor of t?
False
Suppose 0 = -k + 2*a + 30, 0*a = 3*k - 5*a - 90. Is k a multiple of 10?
True
Let b(z) = z + 8. Let j be b(-7). Let c = j - -40. Is c a multiple of 13?
False
Let i(c) = c**3 - 11*c**2 + 12*c - 2. Let v(j) = 10*j**2 - j + 1. Let h be v(1). Does 9 divide i(h)?
True
Let n be ((-9)/(-6))/(2/4). Let h(r) = -1 - n - 5*r - 4. Is 8 a factor of h(-6)?
False
Does 21 divide -2 + ((-749)/(-7))/(2 + -1)?
True
Let w(p) = -2*p + 2. Let d be w(4). Let v(u) = u**3 + u**2 - 16. Let s be v(0). Let z = d - s. Does 8 divide z?
False
Suppose -2*k + 44 = -24. Does 8 divide k?
False
Let n be (-24)/(-18)*261/(-2). Let g = 325 + n. Suppose 4*d - g = 5. Does 13 divide d?
True
Let i = -87 + 123. Does 18 divide i?
True
Suppose -n + 24 = -0*n. Is n a multiple of 6?
True
Let b(f) = -f - 11. Let m be b(-5). Let d(o) = -2*o + 4. Does 15 divide d(m)?
False
Is (15 - 3)/(-4 - 556/(-136)) a multiple of 20?
False
Suppose y - 3 + 4 = 0. Let x = 17 - 13. Does 10 divide x + y + -4 - -23?
False
Let t(w) = -2*w - 1. Let m(p) = -p. Let l(a) = m(a) - t(a). Let j be l(-7). Is 4/(-6) - 178/j a multiple of 10?
False
Suppose -4*c = -5*w - 536, -268 = 2*c - 4*c + 4*w. Is 13 a factor of c?
False
Suppose 35*u + 112 = 37*u. Is 4 a factor of u?
True
Suppose 0 = c - 3*z - 71, -163 = -4*c - 4*z + 41. Does 7 divide c?
True
Suppose -2*f - 6 + 46 = 3*k, 3*f = -4*k + 62. Is f even?
True
Let y = -7 - 0. Let h = y + 10. Suppose -7*x + 24 = -h*x. Is x even?
True
Suppose -4 - 28 = -2*k + 5*u, -u - 61 = -3*k. Let i = 10 - k. Let r = 18 + i. Is r a multiple of 5?
False
Let a = 0 + 5. Let d = -8 + a. Is 13*(-2 + (1 - d)) a multiple of 13?
True
Is (-48)/40*20/(-3) a multiple of 3?
False
Let y(a) = -3*a - 51. Does 15 divide y(-22)?
True
Let k be (-3)/(-6)*18/3. Let i be 85/(-30) - 1/6. Let q = k - i. Does 3 divide q?
True
Let d(k) = k**2 + 15*k + 13. Is d(-15) even?
False
Let k = -126 + 212. Is k a multiple of 43?
True
Let k(h) = 23*h - 16. Is k(4) a multiple of 33?
False
Let o(i) = -2*i**3 + 11*i**2 - i - 6. Is o(5) a multiple of 2?
True
Let q be -3 + 52 - (-2 - -1). Let n = -14 + q. Does 26 divide n?
False
Suppose v - 2*t + 1 = 34, 0 = -v + 4*t + 39. Suppose 0*u - u = v. Let x = 42 + u. Is 9 a factor of x?
False
Suppose 98 = 3*a - 118. Is 12 a factor of a?
True
Let p = 4 + 226. Does 41 divide p?
False
Let d = 21 - 80. Let s = 132 + d. Let h = s - 38. Is 14 a factor of h?
False
Suppose 0 = 3*h + 2*r - 21, -4*h = 4*r + 3 - 35. Let b(a) = 7*a - 2. Is b(h) a multiple of 11?
True
Let h = 8 + -5. Let p = -3 + 6. Suppose -8 = 2*k + p*d - 57, 31 = 2*k - h*d. Does 10 divide k?
True
Suppose 0 = 43*x - 45*x + 62. Is x a multiple of 15?
False
Let i(y) = 5*y**2 - y + 2. Is 26 a factor of i(4)?
True
Let q = 215 - 126. Is 35 a factor of q?
False
Let b = 38 - 20. Is 12 a factor of b?
False
Let p be -1 + 4 + -2 + 4. Suppose -10 = -p*x + 15. Does 2 divide x?
False
Let z = -15 - -9. Let n be z/(-33) - (-522)/33. Suppose 0 = -4*i - 0*i + n. Does 2 divide i?
True
Suppose 5*h + 377 = 4*x, -3*x + 5*x + 4*h = 156. Suppose -42 = -5*t + x. Is 5 a factor of t?
False
Let s = 7 + -20. Let d = s + 19. Is 6 a factor of 3*3/d*4?
True
Suppose -5*v = -458 - 1732. Let k be v/(-14) - 8/(-28). Let z = -18 - k. Is z a multiple of 7?
False
Let d be 0/4 + 2 + 1. Suppose z = -d*z + 156. Is z a multiple of 13?
True
Suppose 4*r + 3*q = 57, 2*r + 10 = 3*r + 5*q. Does 5 divide r?
True
Suppose 0 = f - 5*f + 392. Let j = f + -69. Suppose 3*o = -b + j, -2*o = -5*b - 22 - 3. Does 3 divide o?
False
Suppose 0 = -5*r + 2*r + 2*s + 403, -4*s = 8. Is 45 a factor of r?
False
Let b(h) be the second derivative of 1/6*h**3 - h + 3*h**2 + 0 - 1/12*h**4. Is b(0) a multiple of 3?
True
Suppose 0 = -15*t + 87 + 408. Is t even?
False
Let o = 5 + -2. Let y(l) = 6*l**2 + 31*l**2 - 2*l - o*l**2 + 5 - 4. Is y(1) a multiple of 11?
True
Does 19 divide (-2 + -2 - -3) + 20?
True
Let u be -2 + 2 + 3 + 0. Let n = 0 + u. Is n a multiple of 2?
False
Let r(x) = x**3 - 10*x**2 - x + 13. Suppose -3*l + 2*i + 30 = 0, -5*l + 38 + 12 = 3*i. Let f be r(l). Suppose 0 = f*h + 16 - 46. Is 10 a factor of h?
True
Let z(c) be the second derivative of c**4/12 + c**3/6 - 3*c**2 - c. Is z(5) a multiple of 8?
True
Suppose 6*v = 11*v - 2880. Suppose 5*m + 718 = 2*p, 0*m + 2*p - v = 4*m. Let k = 205 + m. Does 22 divide k?
False
Let c(d) = -d + 6. Is 5 a factor of c(0)?
False
Suppose j = 9*q - 4*q - 15, -3*j = -4*q + 23. Suppose q*m + 0*n + n = 72, m + n = 36. Does 11 divide m?
False
Let j(n) = -n**2 - 19*n - 44. Does 8 divide j(-11)?
False
Let z be (1 - (2 - 1))/(-1). Let w = 20 - z. Is 5 a factor of w?
True
Suppose -b = b. Suppose 23 = 2*h + y, -2*h + y + 6 + 7 = b. Does 9 divide h?
True
Let k be (-15)/5 + (-2 - 0). Let p(v) = v**3 + 8*v**2 - 3*v + 5. Let n(o) = -o**3 - 9*o**2 + 4*o - 5. Let c(i) = 3*n(i) + 4*p(i). Does 4 divide c(k)?
False
Suppose 0 = 3*d - i - 19 + 91, 12 = 4*i. Let p = -3 - d. Suppose -3*v = v - p. Does 5 divide v?
True
Let t = -1 + 4. Suppose 2*w = 2*l + 112, w - 53 = -t*l + 7*l. Does 21 divide w?
False
Suppose 3*d = -2*d + 235. Is d a multiple of 12?
False
Suppose 3*k - 6 = 15. Let z = 13 - k. Does 6 divide z?
True
Let b(u) = -2*u**2 - 7*u - 4. Let x be b(-6). Let n = x - -14. Is 16 a factor of (24/n)/((-6)/160)?
True
Let y(i) = 0*i**2 - 2 + 5*i**2 + 1 - i - 4*i**2. Is y(-2) a multiple of 5?
True
Let h(f) = 36*f**3 - 2*f**2 + 1. Does 9 divide h(1)?
False
Let h be (-121)/6 + (-6)/(-36). Is (-52)/h - (-2)/5 a multiple of 3?
True
Let p = -7 + 1. Is 8 a factor of p/(-4)*(-380)/(-30)?
False
Let w(s) = 28*s + 4. Is w(3) a multiple of 31?
False
Suppose -t - 3 = 0, -4*t + 4 = -2*c + 68. Is c a multiple of 4?
False
Let l = -17 + 11. Is (4/l)/(2/(-48)) a multiple of 16?
True
Suppose 25 = 5*y, 0 = -3*t - 5*y + 80 - 10. Does 10 divide t?
False
Let p(b) = -b**3 + b**2 - b + 2. Let t be p(0). Suppose -t*v - 18 = -4*v. Suppose -2*w - w + v = 0. Is 3 a factor of w?
True
Let k(q) = -q**3 - 5*q**2 + 3*q - 2. Let t(o) = -o + 1. Let a(w) = -k(w) - 5*t(w). Is a(-4