False
Let u(t) = -t + 12. Let d = 7 - 1. Let r be u(d). Suppose -2*p = -r*p + 20. Is p even?
False
Suppose -3 = 3*y, 4*g + 5*y = 69 + 86. Suppose -p = p - g. Does 6 divide p?
False
Suppose 4*w - 473 + 105 = -3*d, 0 = 3*d. Is w a multiple of 5?
False
Let g(h) = -h + 15. Let o be g(11). Suppose 196 = 4*v - o*p, 0*p - 251 = -5*v + 2*p. Is v a multiple of 12?
False
Let r(f) = -f**2 + 7*f + 11. Let w be r(8). Suppose -4*y + 16 = w*v - v, 0 = y + 4*v - 4. Is 4 a factor of 22/y - 1/(-2)?
False
Suppose -3*x = -3*r + 15, -2*r + 8 = -3*x - 3. Let i = -1 - x. Let z = i - -6. Is z a multiple of 6?
True
Suppose 19 = 2*m - 5*a, 2 - 11 = 3*m + 5*a. Suppose -t + 3*f = -16, -34 = -2*t - m*t - 3*f. Let v = -7 + t. Does 3 divide v?
True
Let c = 137 - 77. Is 15 a factor of c?
True
Suppose 2*x = -2*x + 3*g - 31, 0 = 4*x - 5*g + 41. Does 4 divide (6/x)/(12/(-64))?
True
Suppose 0 = 4*s - 135 - 133. Let m = -1 + s. Is 22 a factor of m?
True
Is 23 a factor of (-1)/(-1)*(103 + -34)?
True
Suppose 3*r + 14 - 41 = 0. Suppose -r = -4*d - 1. Suppose -d*f = 2, 0 = y + f + f. Is y even?
True
Let y(g) be the second derivative of g**4/12 + 4*g**3/3 + g**2/2 + 6*g. Is y(-9) a multiple of 5?
True
Let h(c) = 2*c**2 + 16*c - 4. Is h(-11) a multiple of 7?
False
Let t = -4 + 11. Suppose -42 = -t*z + z. Is z a multiple of 7?
True
Let b(l) = 8*l - 1. Let m(a) = a + 1. Let c(g) = -b(g) - 5*m(g). Suppose -s + 4 = -2*s. Is c(s) a multiple of 13?
False
Let a(l) = -80*l + 6. Does 14 divide a(-2)?
False
Let z = 16 + 4. Does 7 divide z?
False
Suppose 0 = 15*h - 10*h - 45. Is 2 a factor of h?
False
Let g be ((-600)/32)/(3/(-16)). Let w be 44/5*g/8. Suppose -y + 6*y = w. Does 11 divide y?
True
Let g(m) = -3*m**3 + m**2 - m - 1. Let v = 4 + -5. Let x be g(v). Suppose -48 = -x*n + 104. Is 19 a factor of n?
True
Let a(v) = 6*v. Let y = 9 + -18. Let s = -6 - y. Is 5 a factor of a(s)?
False
Suppose -4*v = v - 25. Let b = v - -17. Suppose 0 = p + 5*w - b, -w + 2 = -0. Is p a multiple of 6?
True
Is 23 a factor of (-820)/(-8) - 4/((-8)/3)?
False
Let j be (2/(-5))/((-3)/540). Let l = -37 + j. Is l a multiple of 12?
False
Suppose -5*b = -3*v + 560, -5*v - 2*b - b + 888 = 0. Is 40 a factor of v?
False
Suppose 2*a = -0*a. Let n = 8 + -6. Suppose a = n*k - 11 - 1. Is k a multiple of 6?
True
Let y(d) = 31*d - 11. Does 66 divide y(11)?
True
Suppose -4*v + 5*v - 94 = -2*k, k + 4*v = 33. Is k a multiple of 13?
False
Suppose -v - 86 = -5*i, 3*i - 4*i = 5*v - 38. Suppose 2*d - i = d. Does 18 divide d?
True
Let n(s) = -7 + 0*s - 1 + s + 0. Let w be n(8). Suppose -2*v + 5*v - 9 = w. Is 2 a factor of v?
False
Let m = 203 + -143. Does 14 divide m?
False
Let w = 2 + -2. Suppose -v = -w*v - 4. Is 105/6*v/5 a multiple of 14?
True
Let i = -1 + 1. Suppose i*p - 2*p = -16. Is p a multiple of 3?
False
Let c = -100 - -211. Is 12 a factor of c?
False
Let n be ((-2)/4)/((-1)/72). Let d = n - 18. Is 9 a factor of d?
True
Let f(r) = r**3 + 9*r**2 + 7*r - 8. Let j be f(-8). Suppose -13 = 4*d - 1, 5*c - 2*d + 4 = j. Is 6 a factor of (c - -22) + 0 + 1?
False
Suppose 4*h - 416 = -4*p - 80, -3*p = 0. Is 18 a factor of h?
False
Let b(n) = -n**3 + n**2 + n - 6. Let f be b(0). Suppose -3*p + 39 - 3 = 0. Is 11 a factor of (-16)/f*p*1?
False
Suppose 2*h + 330 = 2*t, -h - h = 5*t - 846. Is 3/(-1)*t/(-18) a multiple of 14?
True
Let k = -20 - -12. Let q be ((-28)/(-35))/((-1)/5). Does 21 divide ((-126)/k)/(q/(-16))?
True
Let x(k) = -14*k. Let l be x(2). Let s = l + 60. Is s a multiple of 18?
False
Let u be 2/(-7) - 6/(-21). Let o(f) = f**2 - f + 21. Is o(u) a multiple of 9?
False
Suppose -2*z + z - 2 = 0. Is (-102)/(-4) + z/(-4) a multiple of 13?
True
Suppose 0 = -f - 3*t + 24, -5*f - t + 2*t + 72 = 0. Suppose 2*j + j - f = 0. Is j a multiple of 2?
False
Suppose -4*u + 3*n + 612 = 7*n, 2*u - n - 303 = 0. Does 19 divide u?
True
Suppose k + 5 = 0, -3*p + 4*p = -4*k - 2. Is 8 a factor of p?
False
Let u(h) = h**3 + h + 43. Let q be u(0). Suppose 15 = -3*s, 5*i - 3*s - 83 = i. Suppose 2*f + i = q. Is f a multiple of 13?
True
Let s = 239 - 167. Does 11 divide s?
False
Let d(i) = -3*i**3 - 4*i**2 - i + 1. Is 12 a factor of d(-3)?
False
Let m be -2*(-9)/6 - 1. Let c(l) = 7*l + m + 7*l + l. Is 14 a factor of c(2)?
False
Let i be (1 + -2)*0/1. Suppose i = -3*l + 4*l + 2. Let o = 12 + l. Is 10 a factor of o?
True
Suppose -7*f - 610 = -17*f. Does 9 divide f?
False
Let q = 88 - 59. Let w = -18 + q. Is w a multiple of 4?
False
Is (-98 - 6)*(-5 + 2) a multiple of 52?
True
Let i(y) = -7*y - 12. Let t(d) = 6*d + 12. Let x(p) = -5*i(p) - 6*t(p). Let s be x(-6). Let b = 2 - s. Is 4 a factor of b?
True
Is ((-9)/4)/((-3)/32) a multiple of 12?
True
Is (-5 - -244) + (-4)/1 a multiple of 47?
True
Suppose 2*z = -2*z - 2*s + 770, 0 = 4*z - 2*s - 782. Suppose 2*x = -3*t + 230 - 30, -4*x - z = -3*t. Is 17 a factor of t?
False
Let x(d) be the third derivative of -d**6/120 - 3*d**5/20 - 3*d**4/8 + 5*d**3/3 - 2*d**2. Let i be (1 + 0)*(-1 - 7). Is 18 a factor of x(i)?
True
Let d(c) = -c**3 + 6*c**2 - 6*c + 6. Let z be d(4). Let p = 26 + z. Does 11 divide p?
False
Is (57/38)/(6/448) a multiple of 28?
True
Suppose 2*y - 3*y + 177 = 0. Is 16 a factor of y/(-2)*(-22)/33?
False
Suppose 29 = g - 2*p, 5*g - 85 = 2*g + 5*p. Does 4 divide g?
False
Let c(y) = 2*y**3 + y**2 - 3*y - 2. Suppose -7 = -4*o + 5. Does 18 divide c(o)?
False
Let y = -13 + 16. Suppose 13 = -y*t - 2, 3*n - 70 = 2*t. Is n a multiple of 10?
True
Let o = 34 - 16. Does 3 divide o?
True
Let b(s) = -s**3 + 11*s**2 + s - 5. Let w be b(11). Let a = 5 - w. Let o = a - -6. Is 2 a factor of o?
False
Suppose 0 = z + 14 + 6. Let v = z + 30. Suppose -5*j - 4*p = -68, 2*j - 8 = 3*p + v. Is j a multiple of 6?
True
Let n(b) = 21*b**2 + b - 1. Suppose 5*q = 4*f - 11, q - 5*f = -3*q - 16. Let z be n(q). Suppose 3*u + 3 = 0, 5*v - 4*u - 3 = z. Is 2 a factor of v?
True
Let g = 6 + 96. Does 14 divide g?
False
Let n = 60 + -85. Let l = -18 - n. Does 3 divide l?
False
Is (-1)/((-1)/(-4)) + 28 a multiple of 4?
True
Let n = 65 - 14. Is n a multiple of 8?
False
Suppose 0*s + s = -43. Let p = -21 - s. Does 22 divide p?
True
Suppose f + 7 = 2*u, 3*f - 20 = -4*u - f. Is 7 a factor of 1/2*232/u?
False
Suppose 0 = 4*v - v - 90. Suppose 3*w + 3 = v. Is w a multiple of 9?
True
Suppose -4*w = 3*t - 189, w + w - 92 = -2*t. Let c = -26 + w. Suppose -c - 30 = -s. Does 19 divide s?
False
Let i(q) = 2*q + 11. Does 28 divide i(13)?
False
Let y(l) = l + 1. Let t be y(-8). Is ((-44)/t)/((-4)/(-14)) a multiple of 9?
False
Suppose -3*t + c + 119 = 6*c, -3*c = 4*t - 155. Is 9 a factor of t?
False
Suppose 2*z + 8 + 0 = 0. Does 5 divide (z/5)/((-6)/75)?
True
Suppose -5*l = j - 19, 3*j + j + 3*l - 127 = 0. Suppose -2*x + 8 = -j. Is x a multiple of 6?
False
Let p = 198 - 96. Is p a multiple of 17?
True
Let o be ((-12)/14)/(3/(-21)). Suppose -5*x - 3 = 4*l, o*x + 4 = 2*x - 4*l. Is (12 - -3) + 1/x a multiple of 15?
False
Let w = 0 + 4. Let z(m) = 0 + m**2 - 2 + 7*m - w*m. Does 13 divide z(-7)?
True
Let o be 3/(-2) - (-36)/8. Suppose -8*r + o*r = -90. Does 18 divide r?
True
Suppose -2*t - 3*u = 21 - 54, 96 = 4*t - 4*u. Does 10 divide t?
False
Let w = 3 - 3. Let f(k) be the second derivative of k**5/20 + k**4/12 + k**3/6 + 45*k**2/2 + 2*k. Is f(w) a multiple of 15?
True
Let x(h) = 2*h + 6. Suppose -3*z + 4*z + 2*i = -11, -3*z + 4*i = 3. Let r be x(z). Is 13 a factor of (1 + r)*(-17)/3?
False
Let r = 9 + 19. Suppose 5*b = 103 - r. Does 4 divide b?
False
Suppose -3*d + 9 = -81. Does 10 divide d?
True
Suppose -126 = -3*t - 3. Does 22 divide t?
False
Suppose -6*o + o = -145. Is o a multiple of 29?
True
Suppose 6 = -2*z + 4*z. Is 22 + (-3)/(z - 2) a multiple of 6?
False
Let g(j) = j + 12. Is g(0) a multiple of 3?
True
Let s be 3 - (2 - 2 - 0). Suppose s*l = 4*l - 14. Does 7 divide l?
True
Let t = 148 - 91. Is t a multiple of 19?
True
Let z = 90 + -26. Does 16 divide z?
True
Let c(p) = p**3 - 4*p**2 + 4*p - 8. Let j be c(6). Suppose 4*k + j = 5*r, -5*k - 2 = 3*r - 40. Is 16 a factor of r?
True
Let l = 32 + -13. Suppose 0 = 4*w - 41 - l. Does 13 divide w?
False
Let n be (1/(-2))/(3/(-30)). Suppose -5*x = 2*b - 71, n*b = x - 19 - 6. Is 15 a factor of x?
True
Suppose -12 = -0*j + 3*j. Let l(q) = 4*q**2 + 126 - q + q**3 + 0*q**2 - 123. Is 7 a factor of l(j)?
True
Let 