e
Let t(d) = d**2 + 10*d - 7. Let i be t(-9). Is (-3)/2*i/4 a multiple of 6?
True
Let h(o) = -2 + o + 0 + 2. Let w be h(3). Suppose w*x + 3*g - 99 = 0, -x - 11 + 43 = 2*g. Does 17 divide x?
True
Suppose -g - s - 11 = -3*g, 0 = -g - 5*s - 11. Suppose -56 - 4 = -g*c. Is 8 a factor of c?
False
Let m = -9 + 13. Suppose 5 = -z + m*o + 1, 5*z - 12 = 4*o. Is z a multiple of 3?
False
Let p(x) = x**2 + 2*x + 6. Let v be p(-6). Let k = -9 + v. Is 9 a factor of k?
False
Let l(s) = 2*s. Let j be l(-1). Let o = j - -7. Does 5 divide o?
True
Let r = 1 + -9. Let t(u) = -3*u - 4. Is 10 a factor of t(r)?
True
Suppose 0 = 2*q + q. Suppose -m + z + 5 = 0, -3*m + 4*m + 5*z - 11 = q. Is 6 a factor of m?
True
Suppose 107 + 163 = 3*n. Does 18 divide n?
True
Let h = -14 + 21. Suppose -h = -f - 3. Suppose 0 = 3*u - f - 68. Does 14 divide u?
False
Let b(g) = 12*g + 1. Let c be b(3). Suppose -r = j + j + c, j = 0. Let d = 69 + r. Is d a multiple of 11?
False
Suppose -18*s + 16*s + 2 = 0. Let y(r) = 18*r**2 + r - 1. Is y(s) a multiple of 18?
True
Let d(p) = p**2 - 6*p - 1. Let l be d(6). Let t = 1 - l. Suppose 0 = -0*x + x + 4*o - 7, -x - t*o = -17. Does 17 divide x?
False
Suppose 4*a + 0 = -3*f - 6, 5*f - a - 13 = 0. Suppose -3*l - f = -8. Let m(c) = 15*c + 2. Does 16 divide m(l)?
True
Let w = 41 + -19. Does 18 divide w?
False
Suppose 4*s - 5 = -2*d + 99, 3*s + 5*d = 85. Is s even?
False
Let f = -19 - -76. Is 22 a factor of f?
False
Let q be (-7 + 9)/(4/66). Is 19 a factor of (-342)/(-4)*22/q?
True
Suppose j - 4*o - 5 - 6 = 0, 3*o + 27 = 2*j. Let b(a) = -a**3 - 4*a**2 + 5. Let d be b(-4). Is (j/(-2))/(d/(-10)) a multiple of 15?
True
Suppose 0*d + 2*d - 3*y - 16 = 0, 2*d = -3*y - 8. Suppose 3*b + d*u - 44 = 6*u, -2*b - 4*u - 4 = 0. Is b a multiple of 5?
False
Let k(i) = i**2 - 2*i - 2. Let w be k(3). Let b be -1*(-1)/w - 0. Suppose 0 = 3*l - b - 17. Does 6 divide l?
True
Suppose -3*n + n = -10. Suppose -f = 0, n*p + 0*f + 5*f = 0. Suppose 29 = 2*c + a, p*c + 71 = 5*c + a. Does 5 divide c?
False
Let v = -16 - -22. Suppose 42 = -3*r + v*r. Does 26 divide (-2 - r/(-4))*32?
False
Let u = -11 - -9. Let w(i) = 4*i**2 - 2. Is 4 a factor of w(u)?
False
Suppose -3*d + 0 = 12. Let v = -1 - d. Does 2 divide v?
False
Let v(q) = 3*q + 1. Let m be v(2). Is (-2)/(m/(98/(-4))) a multiple of 7?
True
Suppose -2 - 88 = -3*l + 5*v, l + 4*v = 30. Is 10 a factor of l?
True
Let b(w) = -19*w - 6. Let l be b(-5). Let a = 21 - -32. Let r = l - a. Is 18 a factor of r?
True
Suppose 0 = -5*r + 2 + 148. Does 6 divide r?
True
Does 11 divide 33/(-77) - 762/(-14)?
False
Let i = -131 + 230. Does 11 divide i?
True
Let a(r) = -r**2 - 16*r + 3. Is 17 a factor of a(-12)?
True
Suppose 1466 = 12*q - 154. Does 27 divide q?
True
Does 2 divide (-222)/(-21) - (-32)/(-56)?
True
Is -3 + 948/8 - (-3)/(-2) a multiple of 21?
False
Let w = 7 + 0. Suppose 3*f - w*o = -4*o + 24, 0 = 4*f - 3*o - 32. Suppose -x = -f - 4. Is 12 a factor of x?
True
Let g = 38 - 13. Does 5 divide g?
True
Let l be (2/(-3))/((-14)/63). Suppose -5*x + 180 = -2*q - l*q, 4*q = -2*x + 48. Is 10 a factor of x?
False
Let r = 25 + -43. Is (12/r)/((-2)/18) even?
True
Let u(v) = v - 8. Let z be u(10). Suppose 114 = 5*c - 2*m - 0*m, 0 = -c + 2*m + 18. Suppose 0*b - z*b = -c. Does 12 divide b?
True
Suppose -y - 3*a + 4 + 1 = 0, -4*y + 2*a = -20. Is y a multiple of 5?
True
Let a(j) = 2*j**2 + 2*j - 4. Is 12 a factor of a(4)?
True
Suppose -6*t = -2*t - 4. Suppose 4*u + t = -4*i + 29, -5*i + 21 = -2*u. Is 2 a factor of i?
False
Let y(w) = 20*w**2 - 2. Is 26 a factor of y(-2)?
True
Suppose 5*l + 110 = 4*w, -74 = 3*l - 7*w + 3*w. Let u = l - -34. Is u a multiple of 16?
True
Suppose o = -o - 10. Let v = o - -16. Does 3 divide v?
False
Let k = 6 - -12. Is k a multiple of 2?
True
Let g = 38 + -22. Let h be (-15)/(-6)*g/10. Suppose 5*x - 5*p - 135 = 0, -h*x + 2*p - 62 = -6*x. Is x a multiple of 10?
False
Let b(l) = l**2 + 9. Is b(0) a multiple of 9?
True
Let w = 54 + -8. Is w a multiple of 4?
False
Let p be (-3)/(1 - (-150)/(-147)). Let b = 228 - p. Suppose 2*l + 48 = 4*l - 4*c, 0 = 3*l - 3*c - b. Does 15 divide l?
True
Suppose -5*t = -33 - 92. Let y = t - -16. Suppose 5*d - 126 = -y. Is d a multiple of 8?
False
Let m(w) = w - 2. Let l be m(2). Suppose l = -3*y + 3 + 3. Suppose 4*b - 38 = -0*b + y*a, -10 = -2*b - 2*a. Is 3 a factor of b?
False
Let c(l) = -l. Let g be c(2). Let z be (1 + g)*(4 + -9). Let w = z - -13. Does 13 divide w?
False
Let g be (-14)/10 + (-2)/(-5). Is 3 a factor of (g - 5)*(-1)/1?
True
Suppose 0*s + s + 4 = 2*u, 2*s - u = 1. Suppose -5*b - s*g = -183, 4*b = g - 0*g + 136. Does 14 divide b?
False
Let x(s) = -77*s + 3. Is x(-2) a multiple of 9?
False
Suppose i = -2*w + 100, 0 = 4*i + 4*w - 388 - 16. Is 17 a factor of i?
True
Suppose -8*w = -6*w - 100. Is 4 a factor of w?
False
Suppose -5*z + 20 = a, 2*a - 15 = z - 6*z. Suppose v + 3*c - 56 = 0, 4*c + 280 = z*v + c. Does 36 divide v?
False
Suppose 6*f = f + 155. Suppose -2*j + 6*j + l + 48 = 0, 3*j + 2*l = -f. Let c = j - -45. Is 18 a factor of c?
False
Let v = -3 + 5. Let r be v/4*22/1. Suppose -2*l - z = z - 16, -r = -2*l - 3*z. Is l a multiple of 6?
False
Suppose -2*y - 61 = -5*y + v, 3*y + v = 53. Is 15 a factor of y?
False
Let g(d) be the first derivative of -3*d**2/2 + 3*d + 7. Let s(j) = -j**2 + 5*j + 8. Let n be s(7). Is 7 a factor of g(n)?
True
Let y be 1/3 + 606/18. Let f = y - 4. Is f a multiple of 17?
False
Suppose 3*a = -3*q + 126, 4*q - a - 174 = -2*a. Is 7 a factor of q?
False
Let i(h) = 11*h. Let u(s) = 35*s - 7. Let k(m) = -18*m + 3. Let r(b) = 7*k(b) + 3*u(b). Let j(c) = 7*i(c) + 4*r(c). Is 7 a factor of j(-2)?
True
Let g = -43 - -61. Is 9 a factor of g?
True
Let k = 1 - -2. Suppose -4*r = -2*w + r + 11, -k*w - 5*r = -4. Suppose -w*b = -2*b - 10. Is 5 a factor of b?
True
Let p(z) = 13*z - 1. Suppose 4*b = 3*h - 1 + 4, -4*b - 2*h = -18. Is 19 a factor of p(b)?
True
Suppose -a - 4*a = -i + 9, -37 = -3*i + 5*a. Let m be -2 + 3/2*i. Let k = m - 0. Is k a multiple of 14?
False
Let s = 10 + -17. Let x = s - -23. Does 8 divide x?
True
Suppose q - 2*t + 585 = 6*q, -120 = -q - t. Is q a multiple of 25?
False
Let b(u) = -u. Let l be b(6). Let x be (-4)/6 + (-310)/l. Let d = -30 + x. Is d a multiple of 15?
False
Suppose 0 = -u + 22 + 46. Is 2/9 + u/18 even?
True
Let l = -25 + 10. Suppose 48 = -2*t + 4*t + 2*d, -t + d = -18. Let m = l + t. Is m a multiple of 3?
True
Suppose 2*t + t = 6, -5*t = -4*h - 2. Suppose 0 = u - h*z + 6, -u - z + 2 + 7 = 0. Suppose 3*l - 7*l - 3*s + 20 = 0, -20 = -u*l + 3*s. Does 2 divide l?
False
Let l be (3 - 15)/3 - -17. Let f = 10 + -17. Let w = l + f. Is w a multiple of 3?
True
Suppose -j - 1 = 3*x, 5 = 2*x + 2*j - 1. Is 5 a factor of (-21)/3*4/x?
False
Let p(j) = j + 6. Suppose -2*x + 4*o - 5*o = -11, 5*o + 1 = -3*x. Let q be p(x). Suppose -q = -s - 0*s. Does 14 divide s?
True
Let m(v) = -22*v + 1. Does 19 divide m(-6)?
True
Let q(t) = t - 2. Let r be q(5). Suppose 5*x - 5 = 10, 91 = 5*v - r*x. Does 10 divide v?
True
Suppose -x + 125 = 3*x + 3*v, 5*x = 4*v + 164. Is 8 a factor of x?
True
Suppose 0 = 4*k + 2 + 6. Suppose 0 = 4*b - 0*b - 24. Let o = k + b. Does 4 divide o?
True
Let h(n) = n**3 + 3*n**2 - 2*n + 3. Let c be 4/10 + 22/(-5). Let t = c + 1. Does 3 divide h(t)?
True
Let v = -51 - -86. Let z be 26/8 + 1/(-4). Suppose -13 = -z*l + v. Is 6 a factor of l?
False
Suppose 15*b = -2*b + 1020. Does 13 divide b?
False
Let o(g) = -g**2 + 5*g - 3. Let d be o(4). Is 16 a factor of 279/6 - d/(-2)?
False
Let p(i) = 3*i - 8. Does 13 divide p(18)?
False
Suppose -3*o + 7*o + 84 = 0. Let y = -10 - o. Is 6 a factor of y?
False
Suppose 8 + 4 = 3*m. Is 13 a factor of (12/m + -107)/(-2)?
True
Suppose 0 = 4*l - 20, -2*y - 3*l + 13 = -14. Let c be 2/(-4) + 10/4. Suppose c*t - y = 4. Does 5 divide t?
True
Let b(q) = -q**2 + 6*q - 5. Let n be b(4). Suppose -29 = -5*i + t, 2*i + i - 21 = -n*t. Is 3 a factor of i?
True
Suppose -11 = -2*j + 89. Suppose r = -4*r + j. Is r a multiple of 5?
True
Suppose 4*h + x = 8*h - 72, 0 = 3*h - 5*x - 71. Is h a multiple of 5?
False
Let m = -10 - -55. Is m a multiple of 18?
False
Is 0 + (-342)/(-8) + 57/(-76) a multiple of 14?
True
Suppose 87 = 5*r + 5*s - 123, r + 3*s = 52. Is r a multiple of 7?
False
Let j be ((-4)/8)/((-2)/72). Let g = -38