iple of 43?
True
Let t be (-1 - -1)/(-6 - -4). Suppose -5*h + 4*h = -m - 5, 2*h + 4*m - 4 = t. Is h even?
True
Suppose 2 = -q, 0 = 2*f + q - 3 + 1. Suppose 2*t - 7*v = -3*v - 30, -t - 4*v + 9 = 0. Is 14 a factor of f/(-7) + (-184)/t?
False
Suppose 37 = 4*x - 0*i - 3*i, 2*x - 4*i - 16 = 0. Is 10 a factor of x?
True
Let s(x) = -x**3 + x**2 - x + 4. Let y be s(0). Suppose -3*f + 221 = t, 0*f = y*f - 3*t - 273. Is 24 a factor of f?
True
Let i = 17 - 6. Let o = -6 + i. Let q(k) = k**2 - 5*k + 4. Is q(o) a multiple of 2?
True
Suppose 4*y - 31 - 7 = 3*b, -y + 13 = b. Let p(u) be the third derivative of u**4/12 - u**3 - u**2. Is 8 a factor of p(y)?
True
Suppose -2*a - 231 = 3*i, -4*i - 3*a - 177 = 132. Let t = i + 105. Is 10 a factor of t?
True
Let g = -15 - -17. Suppose 3*w - 255 = -g*w. Is w a multiple of 17?
True
Let c(s) = -s**3 + 6*s**2 - 2*s. Let v be c(5). Let l be (0 - -3)/(v/20). Suppose p - 4*h = 24 + 1, -2*h = -l*p + 100. Is 7 a factor of p?
False
Let h(t) = 4*t - 3*t + 1 - 6. Let b be h(7). Suppose 3*o - 210 = -b*o. Is o a multiple of 21?
True
Suppose i + 2*h + 614 = 4*i, -1030 = -5*i + 2*h. Is 16 a factor of i?
True
Suppose 5*k - 27 - 28 = 0. Does 7 divide k?
False
Is 14 a factor of 18657/135 - (-2)/(-10)?
False
Suppose 5*t = 4*p + 1037, 0*t + 3*t - 621 = 3*p. Does 20 divide t?
False
Suppose -2*m = 2*x - 172, -m - 7*x + 2*x + 94 = 0. Does 28 divide m?
True
Suppose 5*t - 306 = -5*d - 16, -4*t = -2*d - 208. Is 17 a factor of t?
False
Suppose 43*h - 48*h = -620. Is h a multiple of 6?
False
Let i = 24 - 43. Let x = i + 25. Is x a multiple of 6?
True
Let c(k) = -k**3 + 10*k**2 + 3*k - 1. Let w be c(10). Suppose 4*n = 4*t - 15 - w, 2*t = 5*n + 31. Is t a multiple of 3?
False
Suppose 2*r + 2*u = -3*r + 274, -5*r + 283 = -u. Let y be r*(1 - 3/6). Let s = -16 + y. Is s a multiple of 10?
False
Let q = 53 - -45. Is q a multiple of 15?
False
Let f = 140 - -94. Does 15 divide f?
False
Suppose 5*z + 3*r = 8 + 15, -2*z + 5*r = -34. Is z a multiple of 7?
True
Suppose i + 3*y = 46, 3*i - 4*y + 8*y = 143. Is i a multiple of 11?
False
Suppose 2*t = -2 - 4. Does 4 divide 636/36 - (-2)/t?
False
Let f(k) = -k + 5. Let p be f(8). Is ((-2)/p)/(2/84) a multiple of 11?
False
Suppose -206 = -5*h - 56. Is h a multiple of 15?
True
Suppose -2*s + 45 = 3*s. Is (0 + -4)/((-3)/s) a multiple of 4?
True
Let c(s) = -23*s - 1. Let j be c(-2). Suppose -n + 4*n - j = 0. Suppose 0*v = -3*v + n. Does 3 divide v?
False
Suppose 3*m - m = 4*h - 26, h - m - 7 = 0. Is 4 a factor of 0 + 8 + h + -6?
True
Let a be 108/26 - (-22)/(-143). Suppose -x = x - 282. Suppose -x = -a*m + 123. Is m a multiple of 27?
False
Suppose -3 = 3*n + 4*r, n - 14 = 3*r - 2. Suppose -14 = -3*j - v, 0*v - n*v = 2*j - 21. Suppose -3*d + 3*w + 71 = 2*d, 0 = j*d - 4*w - 36. Does 7 divide d?
False
Let d(g) = g + 6. Suppose m = 4*i - 2*m + 21, 3*i + 5*m - 6 = 0. Let w be d(i). Suppose -2*o + 135 = w*o. Is o a multiple of 10?
False
Suppose -2*b + 3*o = -15, b - 2*b = 2*o + 3. Let v(h) = -h + 3. Let f be v(b). Let t = 12 - f. Does 10 divide t?
False
Let l(k) = 9*k + 2. Let o be l(1). Suppose 3*n + 2*n - 19 = v, -5*n = 3*v - 3. Suppose -n*h + 2*h + o = 0. Is h a multiple of 11?
True
Let c(r) be the first derivative of 4/3*r**3 - 1/2*r**2 + r + 3. Does 4 divide c(2)?
False
Let c(y) = -y - 1. Let a be c(-4). Suppose q = -a*q + 96. Suppose -3*f = -0*f - q. Is f a multiple of 4?
True
Let j(p) = -2*p + 31. Let a(i) = i - 15. Let d(w) = 11*a(w) + 6*j(w). Is d(7) a multiple of 4?
False
Let x be ((-1)/1)/((-5)/520). Suppose -3*k + x = k. Is k a multiple of 26?
True
Let z be 0*1/(3 + -2). Let a = 10 - z. Is 4 a factor of a?
False
Let t = 9 - -9. Let u be ((-4)/(-5))/(8/20). Suppose -v + t = u*v. Does 6 divide v?
True
Let a(y) = 3*y**2 + 16*y + 17. Does 7 divide a(-6)?
False
Let x be 1/1*(-511)/(-7). Let v = -46 + x. Is v a multiple of 14?
False
Suppose 3*x - 6*x + 2 = 5*t, 0 = 3*x - 5*t - 22. Let l = x + 4. Is l a multiple of 4?
True
Let r = 76 + -34. Does 11 divide r?
False
Suppose 2*g = 5*u + 2, 0*u = 4*g + 2*u + 20. Is -1 - (-25 - (-2 - g)) a multiple of 13?
True
Let q(d) = -d**2 - 3*d + 4. Let v be q(-4). Suppose -x + 7 + 2 = v. Is 6 a factor of x?
False
Let r(q) = 6*q. Let b be r(-2). Let u = 19 + b. Is u a multiple of 2?
False
Suppose -d = 4*d + 10. Let i be (54/(-15))/((-3)/10). Does 11 divide ((-44)/i)/(d/6)?
True
Suppose 5*i = -20, -2*u + 6 = 3*i - 4*i. Suppose 2*g - 3*j + u = -0, 3*g + 4*j = 41. Is 7 a factor of g?
True
Let n = 2 - 0. Suppose q + n*q = x - 3, 2*x - 6 = q. Is q + (3*9)/1 a multiple of 9?
True
Suppose 2 = -2*w + s + 36, 0 = -s + 2. Is w a multiple of 18?
True
Suppose -231 = -k + 5*k + 3*u, 0 = k + u + 57. Does 6 divide (12/5)/((-9)/k)?
False
Let o = -42 + -14. Is (-4)/18 - o/9 a multiple of 3?
True
Let d(h) = 2*h + 5*h - 5*h + 4 - h**3 + 5*h**2. Suppose -2*i = 5*q - 4 + 21, -5*q - 29 = -i. Does 13 divide d(i)?
False
Suppose s - 22 + 2 = 4*d, 4*s + 5*d = 38. Let z = s - -6. Suppose z = 3*u + 3*l, 5 = -2*u - 3*l + 16. Is 7 a factor of u?
True
Suppose 5*g = -3*r + 14 - 2, -4*r = -16. Suppose 0 = -g*z + 2*z - 12. Is z a multiple of 6?
True
Let j(s) = s**2 - 7*s - 6. Let n be j(7). Let c be (n/(-4))/((-7)/(-14)). Suppose -u + c = -0*u. Does 3 divide u?
True
Let y(q) = -q**3 + 9*q**2 + 8*q - 10. Does 3 divide y(9)?
False
Suppose -5*d + 34 + 6 = 0. Suppose 2*p = 2*g - 74, -3*g - d + 115 = -p. Is g a multiple of 17?
False
Let k(v) be the second derivative of -v**4/8 - v**3/3 - v**2/2 - v. Let d(j) be the first derivative of k(j). Is d(-4) a multiple of 4?
False
Let c(j) be the third derivative of -j**6/120 - j**5/6 - j**4/12 + 2*j**3 + 3*j**2. Does 16 divide c(-10)?
True
Let p(r) = -r**2 + r - 19. Let w be p(0). Let t(h) = -h**3 + 10*h**2 + 2*h + 13. Let i be t(10). Let y = i + w. Does 14 divide y?
True
Let k(u) = u**2 + u + 2. Let o be k(4). Is 19 a factor of 2/(-11) - (-708)/o?
False
Let r = 5 + -6. Let d = r - -3. Suppose 3*z + d*z - 135 = 0. Is z a multiple of 9?
True
Suppose 0 = -2*q + 4*j + 28, 0 = 2*q - 6*q + 2*j + 38. Let b = 41 - q. Is b a multiple of 13?
False
Let t = 13 - 8. Does 5 divide t?
True
Suppose -5*d - 3 = -2*l, -2*l = l + 2*d + 24. Let h = l - -36. Is h a multiple of 10?
True
Let r(f) = f**3 - 7*f**2 + 7*f - 2. Let z be r(6). Suppose z*v = -v + 70. Is v a multiple of 7?
True
Let c(g) = -g**2 - g + 2. Let j be c(-3). Is (-176)/(-8) - (1 + j) a multiple of 20?
False
Let m(n) = n**2 - 7*n + 11. Is 9 a factor of m(13)?
False
Let d = 323 + -62. Suppose 4*r = 2*o + 62, 4*r - 8*o = -3*o + 59. Suppose -5*m - r + d = 0. Does 19 divide m?
False
Let p(l) = -l**3 + 14*l**2 - 10*l + 3. Does 7 divide p(13)?
True
Suppose -4*n + 4*i - 132 = 8*i, 2*n = i - 63. Suppose 2*q + 16 = q. Let x = q - n. Is 6 a factor of x?
False
Let o be 1732/18 + (-4)/18. Let t = o + -52. Suppose t = p + p. Does 14 divide p?
False
Suppose -7 = 3*z + x, 5*x - 2*x = -4*z - 16. Let t be ((-9)/2)/((-3)/4). Is 1*t + 2 + z a multiple of 7?
True
Let k = 73 - 17. Is k/9 - (-10)/(-45) even?
True
Let s be ((-15)/(9/(-3)))/(-1). Let n = s - -9. Does 3 divide n?
False
Let d(i) be the second derivative of i**5/20 + i**4/12 + i**3/6 + 8*i**2 - 6*i. Does 16 divide d(0)?
True
Let g = 48 + -27. Does 7 divide g?
True
Suppose 3*b - 51 = -2*y, y + b - 26 = -1. Does 12 divide y?
True
Let f = 216 + -127. Suppose 3*u - 1 - f = 0. Is 8 a factor of u?
False
Is 2/(-12) - (-2 + 438/(-36)) a multiple of 4?
False
Let d(q) = -q**2 - 6*q + 10. Let i be 0 - 84/(-2 - 1). Let h be (i/16)/((-1)/4). Is d(h) a multiple of 2?
False
Let o(s) = 10*s - 3. Let f = -8 + 10. Is 17 a factor of o(f)?
True
Is 25/2 + 4/(-8) a multiple of 3?
True
Let i(d) = -d**2 + 5*d + 5. Suppose o - 7 = -2. Let z be i(o). Suppose 88 = z*n - n. Does 9 divide n?
False
Let m(u) = 3*u - 11. Let t be m(5). Suppose b = -t*b + 130. Is b a multiple of 13?
True
Let n(o) = -4*o**3 - o**2. Let l be n(-1). Suppose 3*j - 207 = -l*x - 51, -2*j + 2*x = -112. Is 15 a factor of j?
False
Let s(o) = -14*o + 71. Is 7 a factor of s(-7)?
False
Suppose -36 = -5*r - 4*l, r - 3*l = -4*l + 7. Does 8 divide r?
True
Let s(n) = -11*n - 24. Is s(-3) a multiple of 4?
False
Let x(l) = l**2 + 4*l - 6. Let v be x(-6). Is (v/(-5))/(12/(-200)) a multiple of 10?
True
Let k = -18 - -10. Let t = k + 0. Let o = t - -23. Does