 = -2*q. Suppose -2*b + 4 + 1 = -3*u, -3*u - d*b + 1 = 0. Let a = u + 33. Is a a multiple of 22?
False
Suppose -15 = y - 4*p - 94, -4*y + 292 = -4*p. Is y a multiple of 7?
False
Let w = -44 - -135. Is w a multiple of 13?
True
Suppose 2*z + 2 = 6*z - v, -z - 5 = -3*v. Let i be 22*(z/2 - 2). Let a = i + 63. Is a a multiple of 15?
True
Suppose -5*k = -0*k - 30. Suppose -k - 6 = -3*x. Is x a multiple of 3?
False
Suppose -4*p - 2*b + 14 = 0, -5*b + 2*b + 15 = 4*p. Let i = p - 1. Suppose -f = i*n - 34, 3*f - 6 - 118 = 5*n. Is f a multiple of 19?
True
Let n(a) = -a**2 + 3*a + 3. Let p be n(3). Suppose p*y - 24 = -y. Does 3 divide y?
True
Suppose -2*l - 8 = -2*f, 4*l - 4 = 4. Is 6 a factor of f?
True
Let m = 6 - 2. Suppose m = 2*d - d. Is d a multiple of 2?
True
Suppose 159 + 211 = 5*r. Let w = r - 40. Suppose 66 = 3*z - 3*i, -4*z - 5*i + 18 + w = 0. Does 9 divide z?
True
Let s(p) = -p**3 - 7*p**2 - 4*p + 7. Let w(c) = 2*c**3 + 13*c**2 + 9*c - 15. Let g(j) = -9*s(j) - 4*w(j). Let y be g(-11). Let m = 7 - y. Is m a multiple of 5?
True
Let i = 6 - 3. Suppose i*w + 4*b = 91, 0*w + 136 = 3*w - 5*b. Is 16 a factor of w?
False
Let q(t) be the first derivative of -5*t**4/24 - 2*t**3/3 + t**2/2 - 1. Let r(v) be the second derivative of q(v). Is 7 a factor of r(-5)?
True
Let i be (1*(-1 + 2))/(-1). Let p = 6 - i. Does 7 divide p?
True
Let m = -3 + 5. Suppose -i + 0*o + 22 = 5*o, -m*o = 2*i - 36. Is 13 a factor of i?
False
Let p(s) = 3*s. Let u be p(-7). Let b = u + 35. Is b a multiple of 13?
False
Does 10 divide 87 + (0 - -1 - -2)?
True
Suppose -v = -3*v - 5*a - 22, -3*v - 4*a - 33 = 0. Suppose -t - 114 = -4*t - 3*h, 5*h + 56 = t. Let y = t + v. Does 15 divide y?
True
Suppose -35 = -4*l - l. Let h = 12 - l. Is h a multiple of 5?
True
Suppose 0 = -2*r - 3*r - 5, 8 = 4*p + 4*r. Let j be (-4)/(-6) - (-85)/p. Let q = j + -15. Does 7 divide q?
True
Is 39 + -1 + (2 - (0 + 5)) a multiple of 6?
False
Let u(q) = 8*q**2 + 9*q + 1. Does 15 divide u(4)?
True
Let d be ((-9)/6)/((-6)/(-152)). Let h = -6 - d. Suppose -3 = -g + 1, -2*g - h = -4*b. Is 5 a factor of b?
True
Let t = 182 - 159. Does 2 divide t?
False
Let f = -5 + 9. Suppose -f = o - 0*o. Is (o*1)/(2/(-3)) a multiple of 6?
True
Let i be 4*3*(-1)/(-3). Suppose -3*q = x - 15, -i*x + 3*q + 90 = -0*q. Does 5 divide x?
False
Suppose 4*u - 648 = -8*u. Is 6 a factor of u?
True
Suppose 0 = -t - a - 2*a + 145, 2*t = -a + 295. Does 15 divide t/5 - 2/(-5)?
True
Let p = -4 - -20. Is 6 a factor of p?
False
Let n(z) = -z**3 + 5*z**2 + 2*z - 8. Let t be n(5). Suppose 5*r + t*s - 25 = 0, 0 = 3*r + s + 2*s - 24. Is r a multiple of 3?
True
Let i = -1 - -6. Let f(r) = -r**2 + 8*r - 5. Let q be f(6). Suppose -3*p - q = -i*y - 132, -5*p = 5*y - 155. Is p a multiple of 12?
False
Let x(y) = -12*y - 52. Is x(-11) a multiple of 5?
True
Let i(q) = -q**2 + q + 72. Is 24 a factor of i(0)?
True
Suppose s - 1 = 35. Does 9 divide s?
True
Let w(p) be the third derivative of -3/8*p**4 - 1/60*p**5 + 2*p**2 - 1/3*p**3 + 0 + 0*p. Is w(-6) a multiple of 9?
False
Suppose -i = 3*u + 2*i - 18, 0 = -i + 3. Suppose -u*j + 17 + 7 = 0. Suppose -4*r + j = -0*r. Is r a multiple of 2?
True
Suppose 3*j = -j - 104. Suppose f + 17 = -4*v, 5*v = 2*f + 2*f + 5. Let a = f - j. Is 11 a factor of a?
False
Let p(v) = -19*v**2 + 2*v + 2. Let k be p(2). Let i = k - -102. Is i a multiple of 9?
False
Suppose 10 = 3*g - g. Suppose -6 = g*t - 31. Does 3 divide 1/((5/6)/t)?
True
Suppose -6*d + 234 = -3*d. Is d a multiple of 21?
False
Let d = 11 - 8. Let j = 1 - -6. Suppose -d*i = -j*i + 112. Is 14 a factor of i?
True
Let a be 9/6*1*-2. Does 12 divide a + 51/3 - 2?
True
Let s(u) = 7*u + 28. Is 7 a factor of s(4)?
True
Suppose -3*d - 10 = 4*j, 2*j + 3*d - 4*d = 0. Let l be ((-4)/3 - j)*0. Suppose 0 = -4*b + 5*i + 32, -5*b + 4*i - 8 + 57 = l. Is 9 a factor of b?
False
Let h be 6/(-27) - (-1720)/(-36). Is 30 a factor of ((-45)/(-12))/((-3)/h)?
True
Is 11 a factor of ((-34)/(-3) - 4)/(6/45)?
True
Suppose 4 = 2*i - 5*m - 2, 15 = 5*i - 4*m. Suppose -t = 5*h, 6 = -i*h + h. Is 15 a factor of t?
True
Suppose r = 2*z + 2*r - 55, 0 = -5*z - 4*r + 136. Suppose 0 = -4*o + 2*o + z. Is o a multiple of 11?
False
Let h(p) = p - 1. Let l be h(0). Let o(i) = -25*i - 1. Is 8 a factor of o(l)?
True
Let d = -57 + 114. Is d a multiple of 19?
True
Let n = 50 - 29. Suppose l + 2 = 4. Suppose 0 = l*m + 1 - n. Does 5 divide m?
True
Suppose 2*i - 538 = 4*y - 124, 0 = -2*y + 8. Does 49 divide i?
False
Suppose 2*a + a = 0. Suppose 3*t + t - 28 = a. Does 7 divide t?
True
Suppose -5*b = -o + 11, -4*b - 59 = -4*o + b. Does 8 divide o?
True
Let j(n) = -n - 4. Let f be j(-4). Suppose 3*t + 41 = y, -5*y = -4*t - 0*t - 205. Suppose 2*h + 0*x - y = -x, 2*h - 3*x - 53 = f. Is 11 a factor of h?
True
Suppose 5*l = -u + 300, -l - u - 14 = -70. Is l a multiple of 61?
True
Suppose -5*b - 2 = -4*o, 0 = 5*b - 0*o + 2*o + 14. Let c be (-3)/(b/4 - 1). Suppose 3*t - 1 = d + 9, -c*t = -d - 6. Does 4 divide t?
True
Let t = -757 - -295. Does 13 divide t/(-6) - (1 - 1)?
False
Suppose -4*p = -5*y - p - 170, 4*p = 5*y + 175. Let i = -17 - y. Is i a multiple of 7?
True
Let t = 16 - 11. Let w(l) be the first derivative of -l**3/3 + 3*l**2 + 6*l + 9. Is w(t) a multiple of 11?
True
Let m be 1 - -2 - 6 - 17. Let z = m + 28. Does 3 divide z?
False
Suppose 3*f - 7*f - 168 = -4*d, 156 = 4*d + 2*f. Suppose -3*i - l - 12 = -37, 4*i = 2*l + d. Is 3 a factor of i?
True
Let q(z) = 10*z. Let a be 0*(4 + -1 - 2). Suppose -3*f + 6*f - 9 = a. Is q(f) a multiple of 12?
False
Let d = 4 + -3. Let i be 1*6*d*4. Suppose -2*v - 8 + i = 0. Does 7 divide v?
False
Let j = -88 + 130. Does 14 divide j?
True
Let a = -6 + 1. Let y = -9 - a. Does 5 divide 2/y*(-13 - 1)?
False
Let y be (40/2)/((-2)/(-7)). Let o = -43 + y. Let a = o - 15. Is 5 a factor of a?
False
Suppose 0 = -q - 8 - 3. Let n(z) = z**2 + 11*z - 3. Let s be n(q). Let o = s + 18. Does 14 divide o?
False
Let r(b) = -2*b - 11. Is r(-7) a multiple of 2?
False
Is (-60 + 16)*(0 - (-1)/(-2)) a multiple of 22?
True
Suppose -12*y = -565 - 491. Is 11 a factor of y?
True
Let c(a) = -4*a + 1 + 4*a + a. Is 2 a factor of c(5)?
True
Let f = 180 + -108. Does 18 divide f?
True
Let c be 10*1/(-1)*-54. Does 18 divide (0 + 1)/(10/c)?
True
Suppose 5*l - 62 = 153. Is l a multiple of 12?
False
Does 8 divide (264/16)/(6/8)?
False
Let u be 17 + (-5)/((-15)/9). Let s = 5 + u. Is 13 a factor of s?
False
Let m = -65 - -91. Is m a multiple of 8?
False
Let r(l) = 2*l + 9. Let a be r(-9). Does 10 divide 19 + -3*3/a?
True
Let q(h) = -h**2 - 7*h - 5. Let a be q(-5). Suppose -2*m + 7*m + 20 = 0, 4*w - a*m - 72 = 0. Does 4 divide w?
False
Let c be (-3 - -1) + 8/(-2). Is (-1)/c + (-125)/(-6) a multiple of 8?
False
Suppose -2*x + 254 = 2*i, -3*i - 2*x = -6*i + 366. Is 14 a factor of i?
False
Does 12 divide 49 + 0 + 4 + -5?
True
Let i be 3 + (2 + -1)*2. Suppose h = k - 46, -2*h + 0*h - 45 = -k. Suppose 4*n - 2*n - i*z - k = 0, -3*n = -4*z - 53. Does 11 divide n?
True
Let p = -5 + 4. Let u be p/5 + (-536)/(-5). Suppose -3*a - 4*f + 34 = -115, u = 2*a - 5*f. Does 19 divide a?
False
Suppose -5*v + 121 = 2*x, 2*x - 4*v - 76 = -0*x. Does 10 divide x/4 - 1*2?
True
Let c(x) = -10*x + 5. Is 10 a factor of c(-5)?
False
Suppose -4*v = 2*o - 12, 3*v - 1 - 26 = 3*o. Is 25 a factor of (6/o)/((-3)/138)?
False
Suppose -5*d - 2*d = -168. Is d a multiple of 12?
True
Let u be (1/(-3))/((-2)/18). Let h be -4 - -27 - (u + -1). Suppose k + h = 3*b, 3*k + 0*k = 5*b - 31. Is b a multiple of 7?
False
Suppose 6*x - 94 = 4*x. Is x a multiple of 22?
False
Let v = -175 + 321. Is v a multiple of 21?
False
Let q = -32 - -42. Is 3 a factor of q?
False
Let l = 4 - 4. Let u = -3 + l. Is 14 a factor of 6/2*(-17)/u?
False
Let a(n) = -n**3 + 10*n**2 - 8*n - 7. Let p(t) = -t + 4. Let m be p(-5). Let g be a(m). Suppose -6 = -g*y, w - 17 = -y + 7. Is w a multiple of 7?
True
Let n be 1/(2/(-4)*-1). Suppose 0 = -n*s - s. Is (-1)/(-3)*s - -11 a multiple of 7?
False
Let y(c) be the third derivative of c**4/8 - c**3/6 - 2*c**2. Does 17 divide y(6)?
True
Let m = -67 - -98. Let b = 2 + m. Does 7 divide b?
False
Let g = -83 + 173. Does 18 divide g?
True
Is 10 a factor of (33/(-9))/(-11) + 200/3?
False
Let r(f) = f**2 - 6*f - 3. Let h be r(7). Suppose 28 = 5*c + h*l + 7, -11 