)?
False
Let n = -217 - -363. Does 19 divide n?
False
Let m be (1*-1)/((-6)/(-72)). Let l = 13 - m. Suppose -2*s + 6*t + l = 3*t, 0 = -4*s + 4*t + 56. Is 7 a factor of s?
False
Let v be 1857/12 + (-1)/(-4). Suppose -2*g + 50 = m - 3*g, 3*m - 4*g = v. Does 15 divide m?
True
Does 7 divide 41/2 - 1/(-2)?
True
Let b be 128/22 + (-8)/(-44). Let p be ((-2)/b)/(2/(-12)). Suppose 0*o + 50 = p*o. Does 7 divide o?
False
Let q(l) = 3. Let c(w) = 4. Let m(f) = -4*c(f) + 5*q(f). Let n(u) = -u**2 - 2*u + 7. Let o(g) = -4*m(g) - n(g). Does 3 divide o(2)?
False
Let x = -4 - -6. Suppose 4*q - x*f - 54 = 0, 3*f - 6 = f. Is q a multiple of 7?
False
Let f(h) = -h**2 + 16*h - 13. Is 2 a factor of f(14)?
False
Suppose -v + 2*c = -19, -4*v - c + 38 = -2*v. Is 8 a factor of v?
False
Let u(r) = -2*r + 3. Is 3 a factor of u(0)?
True
Let r = 5 + -10. Is (-15)/(-2)*(-6)/r a multiple of 9?
True
Let b = 0 - 0. Let o = b + 4. Suppose -14 = -o*l + 2. Is l even?
True
Let h = -5 - -5. Suppose 3*r = -5*y + 90, 4*r - y + 2*y - 120 = h. Is 15 a factor of r?
True
Let n(f) = 39*f. Is 13 a factor of n(1)?
True
Suppose v - 1 = 0, 17 = 2*w + 3*v - 0*v. Suppose w*d - 105 = 4*d. Suppose -11 = s - d. Does 12 divide s?
True
Let h be (3 + -30)/(-1) + -3. Suppose h = -2*w + 6*w. Does 4 divide w?
False
Let s = 15 - -19. Is 17 a factor of s?
True
Suppose z = 3*z - 22. Let t = z - 7. Suppose -3*q + 54 = -5*w + 2*w, 135 = 5*q + t*w. Is q a multiple of 21?
False
Let b(s) = s**3 + s**2 + s - 4. Suppose 4*w + 10 = 5*j, 0*w - 2*w - j + 2 = 0. Let k be b(w). Does 6 divide (k/6)/((-2)/30)?
False
Let f(m) = 7*m - 4. Let u be f(4). Suppose 3*i + i - u = 0. Does 3 divide i?
True
Let h be -1*(2 + -7 + 2). Suppose 0 = -h*s - 7 + 16. Suppose 5*n + s = 2*t, 7*t - 2*t + n = 48. Is t a multiple of 4?
False
Let i be -3*12/9*-28. Suppose f + i = 5*f. Is 8 a factor of f?
False
Suppose -20 = -2*o + o. Suppose -5*v + o = -4*j, -4*j + 4*v - 12 = v. Suppose -3*q - 2*n + 92 = j, -2*q - 5*n = -0*q - 43. Does 14 divide q?
False
Suppose 15 = -3*r - i + 160, 5*r + 2*i - 242 = 0. Is 12 a factor of r?
True
Is 21 - ((-6 - -2) + 1) a multiple of 12?
True
Let a be (-4)/(-6)*(-45)/(-2). Suppose 13 + a = 2*u. Is 3 a factor of u?
False
Suppose 6*b = -28 + 88. Does 9 divide b?
False
Suppose -2*l - 2*l = 0, 2*g + 3*l = -6. Let i be 37/g + (-1)/(-3). Let h = i + 31. Does 14 divide h?
False
Let s(m) = -2*m**2 + m**2 + 5 - 3 + 2*m**2. Suppose 4*w = -5*a - 10, a - 10 - 17 = 5*w. Does 3 divide s(a)?
True
Suppose 5*z = z + 412. Suppose -3*u - 9 = -6*u. Suppose 25 = -u*y + z. Does 13 divide y?
True
Suppose -2*r = y - 57 - 9, 0 = -5*r - y + 159. Suppose -5*s - 2*j + 19 = 0, 4*j - r = -5*s + 6*j. Let l = s - -7. Is 6 a factor of l?
True
Let n(l) = l**2 + 2*l - 2. Let z be n(2). Is 124/z - 4/6 a multiple of 9?
False
Suppose -6 = g - 3*g. Suppose -5*z = g*o - 19, 14 = 4*z + 6*o - 4*o. Suppose -5*u = 3*n - 13, -4*n + u + 27 = z. Is 6 a factor of n?
True
Suppose v = -4*v. Let x(u) = -u**3 - u + 4. Let h be x(v). Suppose h*o - 53 = 3*l, -4*l = 5*o + 8 - 113. Is 11 a factor of o?
False
Is 19026/39 - (-6)/39 a multiple of 47?
False
Let v = -109 + 157. Is 8 a factor of v?
True
Suppose 19*i - 22*i = -756. Is i a multiple of 21?
True
Let l(n) = -n + 1. Let y(m) = 5*m - 6. Let a(w) = -2*l(w) + y(w). Let j be a(-6). Is (-24)/20*j/4 a multiple of 5?
True
Is 2 a factor of 12*(-8)/(-9)*21/28?
True
Suppose 3*p + 9 - 129 = 0. Suppose -n = n - p. Is n a multiple of 20?
True
Suppose -17*a - 135 = -20*a. Is a even?
False
Suppose -d + p = -2*p + 21, d - 7 = -4*p. Let r = -4 - d. Suppose r*s = 2*c - 21, -4*s + 6 = c - 37. Is 15 a factor of c?
False
Let v(h) = 1 - 5 + 1 - h + 2. Is v(-11) a multiple of 5?
True
Suppose -3*h + 33 = 3*q - 6, 4 = 4*h. Suppose x + q = -2*x. Let f(d) = -2*d - 5. Is f(x) even?
False
Let f(l) = -42*l**2 + 8*l. Let s = 1 + -8. Let z(q) = -42*q**2 + 7*q. Let b(g) = s*z(g) + 6*f(g). Does 15 divide b(-1)?
False
Let c(q) be the third derivative of q**4/24 + 17*q**3/6 - 3*q**2. Does 5 divide c(-12)?
True
Let t = 19 + -2. Suppose 18 + t = 5*b. Suppose 2*z = b*z - 55. Does 11 divide z?
True
Let p(d) = d**2 + 8*d + 10. Let g be p(-9). Suppose -29 - g = 4*m. Is 4/6 - 40/m a multiple of 2?
True
Is 10 a factor of ((-42)/15)/(4/(-80))?
False
Suppose 234 = 2*h + 130. Is 16 a factor of h?
False
Let g = -4 - -4. Suppose -d - 2*d + 42 = g. Is d a multiple of 7?
True
Suppose -5*g = -2*g - 162. Does 14 divide (-45)/4*(-144)/g?
False
Suppose 0 = -7*r + 2*r + 10. Let l(d) = 2*d**2 - 3*d + 2. Does 3 divide l(r)?
False
Suppose 16 = l + 2*k - 16, 2*l - 40 = 2*k. Is 6 a factor of l?
True
Suppose -3*b + 21 = 3*k, -k + 2 + 25 = 5*b. Suppose 2*m = k*r + 18, -m = -4*m + r + 27. Is 5 a factor of m?
False
Suppose -7*u + 12*u - 60 = 0. Let d(m) = -m + 7. Let v be d(4). Suppose -v*t = -4*r - 9, -5*r + u = -2*t + 6*t. Is t a multiple of 3?
True
Let n(t) = -2*t - 7. Let d be n(-5). Suppose -2*y - d*f = y - 69, 26 = 2*y - 2*f. Is y a multiple of 18?
True
Let i(p) = p**3 - 12*p**2 + 11*p + 4. Let t be i(11). Suppose -t*m + 17 + 55 = 0. Is 6 a factor of m?
True
Let b = -132 + 360. Is b/15 + 2/(-10) a multiple of 4?
False
Suppose -2*n + 455 = n - 2*v, -148 = -n - 3*v. Does 69 divide n?
False
Suppose -2*u = -y + 127, -2*y + u = -28 - 229. Is 31 a factor of y?
False
Let k be 2/(-8) - (-6)/(-8). Let w be 37 + 0 + k - 0. Suppose v = -v + w. Does 10 divide v?
False
Let g = 18 - 2. Suppose 3*v + 4*a - 101 = 0, g - 4 = v - 3*a. Does 9 divide v?
True
Suppose -k = b - 193, 0*k + 2*k = -4*b + 392. Is k a multiple of 38?
True
Suppose -5*m + 204 = -m + 4*s, 87 = 2*m + 5*s. Is m a multiple of 4?
True
Let n = -4 - -4. Suppose n = -g - 3*g + 16. Suppose 5*q = -5*s, -6 = -g*s - s - 3*q. Is s even?
False
Let j = -92 + 154. Is 31 a factor of j?
True
Does 5 divide 1/(-3)*20*-3?
True
Is 24 a factor of -2*(3 + 267/(-6))?
False
Suppose -4 = 3*x + 2. Let q be (x - 2/(-1)) + 27. Suppose -4*t = q - 107. Does 12 divide t?
False
Suppose -2*f = -16 - 4. Let v = 14 - f. Suppose 12 = -v*d + 40. Is 6 a factor of d?
False
Suppose -4*u = -9*u - 10. Let a be u/(-7) + (-103)/(-7). Suppose -j + 13 = -a. Does 14 divide j?
True
Let q = -135 + 289. Is 15 a factor of q?
False
Let r be 4/(-8) + (-14)/(-4). Suppose 4*t - 3*p + 15 = 0, -r*t - 3*p = 26 + 1. Let h(j) = -j**3 - 7*j**2 - 8*j - 6. Is h(t) a multiple of 3?
True
Let h be 6/(-9)*(-1 + -2). Does 16 divide -2 + (25 - (h + 1))?
False
Suppose 8 = 2*w + 2*k - 7*k, -k - 43 = -5*w. Suppose 2*c = -i + w, -2*i = 3*i - 15. Is c even?
False
Let x(u) = -u - 3. Is 3 a factor of x(-14)?
False
Let r be (-4)/(-2) - 3/(-3). Let z(x) = r*x - 3 + x**3 + 9*x**2 + 9*x + 8 - 2*x. Is z(-7) a multiple of 10?
False
Suppose 2*z - 6*z = -4*k - 80, -4*k = -2*z + 72. Let i = 27 + k. Is 3 a factor of i?
False
Let p(a) = a - 7. Let x be p(5). Let k = x - -8. Does 4 divide k?
False
Let c(q) = q**3 - q + 4. Let h be c(3). Suppose -m = 3*k - 0*k - 10, -5*m + h = 4*k. Suppose 2*r - 1 = -k*n + 21, 64 = 5*n - 4*r. Is 7 a factor of n?
False
Let u be (-60)/(-18) + 2/(-6). Suppose -6*k = 2*p - u*k - 75, -2*k + 10 = 0. Is p a multiple of 15?
True
Let y(c) = c + 14. Let h be y(-10). Suppose g + h*l = -0*g + 21, 2*g + 4*l - 22 = 0. Suppose -4*k = -2*d - 2*d + 20, 0 = -d - k - g. Is d even?
True
Let s be ((-12)/2)/(-2) - -5. Suppose s*l - 60 = 3*l. Does 4 divide l?
True
Suppose 4*q + 14 = 2*l, -2 = 4*l + 5*q - 4. Suppose s = l*s. Suppose s*b + 44 = 2*b. Does 11 divide b?
True
Suppose -2*i - 4*p = -4*i + 132, 0 = -3*i + 3*p + 189. Suppose -n - i = -3*n. Is 1690/n - (-1)/(-3) a multiple of 20?
False
Let x = 23 - 23. Suppose -d + 3*d + s - 126 = x, 0 = -d - 5*s + 63. Is d a multiple of 16?
False
Let l(y) = -2*y**2 - 7*y + 7. Let v be l(-7). Is 2 a factor of ((-4)/6)/(4/v)?
False
Suppose 0 = -4*i - 3*q, -5*q = 3*i + 9 + 2. Suppose -c + 28 = i*c. Is c a multiple of 2?
False
Suppose 129 = 4*v - 5*c, c = 3*v + 2*c - 92. Is 31 a factor of v?
True
Let r(z) = 9*z**2 - 1. Let k be r(-1). Let v = 11 - k. Is (v + (-22)/6)*-39 a multiple of 13?
True
Let n(d) = 193*d**2 + 3*d - 1. Is n(-1) a multiple of 27?
True
Let i = 10 - -5. Suppose -3*k + i = -3*w, -5*w + 1 = -2*k + 5. Does 3 divide k?
False
Let x = 7 + -3. Suppose 0 = x*f + 3*v - 58 - 44, 2*v = 4. Does 6 divide f?
True
Let s(r) = r**2 + r + 45. Suppose 4*