35. Is 2 a factor of z?
True
Let r be (-6 - -8) + (-5 - -1). Let x = -2 - r. Suppose -y - y + 20 = x. Is 10 a factor of y?
True
Suppose -7 + 22 = -3*a, -3*s - a = -2731. Is 24 a factor of s?
True
Let b = 18 - -34. Does 26 divide (b/3)/((-12)/(-36))?
True
Does 58 divide (-7)/70*4 - 29360/(-25)?
False
Suppose -12372 = p - 13*p. Is 18 a factor of p?
False
Suppose 5*x + 3*u - 10605 = -u, 4*u - 6355 = -3*x. Is x a multiple of 17?
True
Let g(l) = 18 - 4 - 7 + 25*l - 6. Is 13 a factor of g(2)?
False
Suppose -5*s + 20 = 4*x, -x - 7 = -2*s + 1. Suppose -3*k - 5*f - 459 = x, 5*k + 151 = 4*k - f. Let m = k + 217. Is 23 a factor of m?
True
Let q(b) = -b**3 + 12*b**2 - 10*b - 8. Let t be q(11). Let d(m) = -6 + 3 + 15*m + 0*m. Is 15 a factor of d(t)?
False
Suppose -4*l + 423 - 127 = 0. Let a = -15 + l. Does 12 divide a?
False
Let c = 35 - 20. Suppose w = -4*w + c. Suppose 2*l - w*u = 75, l + 120 = 4*l + 3*u. Does 27 divide l?
False
Let i(s) = 2*s**2 - 2. Let h be i(2). Let o be (-6 - -9)/(h/4). Is (-316)/(-36) - o/(-9) a multiple of 4?
False
Let j = 8450 - 5174. Does 117 divide j?
True
Let v = 514 + -219. Is v a multiple of 59?
True
Suppose -4*a + 148 = 2*x, 3*x + a = -49 + 291. Is x a multiple of 3?
False
Let t be (-8)/6*(-7 + 11 + -7). Suppose 0*i - 432 = -t*v - 3*i, -v = -2*i - 108. Is v a multiple of 6?
True
Let r(b) = -4*b + 4 - 4 + 6 + 2*b + 5*b**2. Is r(4) a multiple of 26?
True
Let p(t) = 2*t**2 - 58*t + 109. Does 57 divide p(36)?
False
Let g = -132 + 307. Let p = g - 70. Is 20 a factor of p?
False
Let s(m) = 2*m**2 + 2*m + 4. Let g be s(-3). Let f = 8 - g. Does 11 divide (2 + 0 + f)*-4?
False
Does 34 divide ((-160)/(-3))/((-222)/(-5661))?
True
Is 6 a factor of ((-6)/12 + -4)*-36?
True
Let l(i) = 3*i**3 - 3*i**2 + 9*i + 14. Does 21 divide l(5)?
False
Suppose -133*b = -134*b + 6. Suppose -79 = -b*h + 5. Is 9 a factor of h?
False
Let k(n) = n**3 + 5*n**2 + 3*n - 4. Let w be k(-4). Suppose 12 = -x + 5*j, -x + 3*x - 4*j = w. Is x a multiple of 2?
True
Let q(t) = -t + 69. Is q(27) a multiple of 21?
True
Suppose 5*b - 2*v = 33, 7 - 25 = -2*b + 2*v. Suppose -47 = b*p - 212. Is p a multiple of 17?
False
Suppose 0 = -2*s + 2*x + 82 + 30, -164 = -3*s + 2*x. Suppose -98 = -5*d + s. Suppose -7*c + d = 2. Is 4 a factor of c?
True
Suppose -7*g + 7437 + 12163 = 0. Does 16 divide g?
True
Let f(k) = 32*k**3 - 3*k**2 - 5*k - 2. Is f(2) even?
True
Suppose 4*p - 360 = -0*p + 4*j, j - 345 = -4*p. Let u = -27 + p. Is u a multiple of 12?
True
Suppose -3*t - d + 3*d = -1771, d = -5*t + 2956. Suppose 2*o + 117 = s + o, -3*o = -5*s + t. Is 40 a factor of s?
True
Suppose 0 = -b + 5*b. Suppose b*r = 4*r + 3*y - 292, -y - 4 = 0. Does 8 divide r?
False
Is 22 a factor of (3 + (-56)/(-5))/((-15)/(-975))?
False
Let j(y) = 2*y**2 - y + 6. Let w = -29 + 11. Let s = 13 + w. Does 8 divide j(s)?
False
Let g(v) = 11*v - 8. Let d be g(-5). Let o = d - -192. Is 10 a factor of o?
False
Let y = 1346 - 735. Is 4 a factor of y?
False
Let g(v) = 1149*v**2 + 6. Is g(1) a multiple of 33?
True
Suppose 0 = -7*u - 319 + 5898. Does 9 divide u?
False
Suppose 14*z - 24 = 10*z. Suppose 0 = -0*y - 3*y - z. Does 16 divide 8*-4*(y + 0)?
True
Let a(h) be the first derivative of h**2/2 - 12*h - 2. Let u be a(14). Is 20 a factor of 7/(u*(-3)/(-18))?
False
Let g(j) = 48*j + 63. Let s(k) = -24*k - 31. Let l(a) = 2*g(a) + 5*s(a). Does 13 divide l(-5)?
True
Let t = -68 + 41. Suppose -46 = -3*o - 2*i, -4*o - i - 20 = -83. Let u = o - t. Is u a multiple of 8?
False
Suppose b + 22 = 27. Suppose 0*i = w - b*i - 44, 4*w - 107 = -3*i. Does 16 divide w?
False
Let f(h) = 19*h**3 - 3*h**2 + 2. Let g be f(2). Suppose a = 56 + g. Let z = a - 138. Is z a multiple of 12?
True
Suppose 3*w + 49 = 4*f - 2*w, 0 = f - 5*w - 31. Suppose u = -5*u - f. Is 16 a factor of (-32)/(u + 0/(-2))?
True
Let m be 0*(2 - (-9)/(-6)). Suppose -3*c - 148 = x, -5*x - 2*c = -x + 632. Is 24 a factor of x/(m - 4) - -3?
False
Let n(s) = -s**2 + 7*s + 2. Let m be n(6). Suppose -3*d - 2*d = 0. Suppose -l = -d*l - m. Is l a multiple of 8?
True
Let a(j) = j**3 - 8*j**2 - 33*j + 8. Let f be a(13). Suppose -f = -8*d + 872. Does 9 divide d?
True
Suppose 660 = 3*u - 2*f, -2*f - 1446 + 564 = -4*u. Does 13 divide u?
False
Let w(r) = -9*r**2 - 2*r + 1. Let s be w(1). Let l = s - -13. Is l even?
False
Let q(o) = 26*o**2 + o - 5. Does 53 divide q(-3)?
False
Suppose -3*d = -6*d + 6. Suppose 4*o + q - 3*q - 52 = 0, 0 = 5*o - d*q - 64. Is o a multiple of 8?
False
Let t = -24 + 38. Let h be 0 + t - (3 - -1). Is h/15 + 248/6 a multiple of 21?
True
Suppose -12 - 13 = -z. Let h = z - 124. Let p = -39 - h. Is p a multiple of 15?
True
Let h be 3*(-1 - (4 + -10)). Is 6 a factor of 110/h + 8/(-6)?
True
Is 10 a factor of (-80)/((-12)/(-28)*(-6)/9)?
True
Let j be (-4)/(-22) - 75/(-11). Let x be j - (0 - 0 - 3). Let b(d) = d - 2. Is b(x) a multiple of 4?
True
Let z(c) = 3*c**2 + 59*c - 24. Is z(-26) a multiple of 15?
False
Let j be 12/7*(7 - 14). Suppose -5*w = 2*m + 180, 5*w - 2*m + 226 - 26 = 0. Let i = j - w. Is 11 a factor of i?
False
Let t(p) = p**2 - 12*p + 14. Let s be t(16). Let o be s/16 - 7/(-56). Suppose 118 = -u + 3*u - o*v, -3*u - 3*v + 219 = 0. Is 15 a factor of u?
False
Let j(t) = 5 + 13*t - 15*t - 2 + t**2 - t**3. Let a be j(2). Let x = a - -10. Is x a multiple of 5?
True
Let y = 3764 - 2655. Does 44 divide y?
False
Suppose -12*l - 8 = -16*l. Suppose 4*b = -3*i + 489, 5*i - l*b - 591 = 198. Is i a multiple of 21?
False
Let f = -378 - -672. Suppose 372 = 18*d - f. Is d a multiple of 4?
False
Let m = -51 - -51. Suppose 5*z + 2*q - 159 = m, 0*z - 3*q - 56 = -2*z. Does 6 divide z?
False
Suppose 25*y - 39396 = 11*y. Is 42 a factor of y?
True
Let q(t) = 5*t - 4 + 10 + 3*t**3 - 7*t**2 + 36*t**3 - 3*t**3. Let m(a) = -35*a**3 + 6*a**2 - 4*a - 5. Let v(x) = 6*m(x) + 5*q(x). Does 16 divide v(-1)?
False
Suppose -4589 = -3*l + 2*y, -y - 4*y - 3074 = -2*l. Is 21 a factor of l?
False
Suppose -4*w - 72 = 2*y, 0*y - 2*y = -4*w + 88. Let f(z) = -96*z**3 + 3*z + 2. Let u be f(-1). Let s = u + y. Is s a multiple of 16?
False
Let h(r) = r + r + 22 + 14*r + 3*r. Is h(8) a multiple of 20?
False
Let j(i) = i**2 + 9*i + 10. Let q be j(-8). Let a be ((-4)/(-7))/(q/7). Suppose -k + 0*x + 82 = -a*x, -k = 2*x - 62. Is k a multiple of 23?
False
Suppose 42 = -2*x - x. Let h be 25/(-4 - (3 + -8)). Let n = x + h. Is n a multiple of 4?
False
Suppose -18*d + 16*d = -1288. Is 28 a factor of d?
True
Suppose 12 + 2 = 7*d. Suppose 3*p - 411 = -3*u, d*p - 4*p - u = -269. Does 33 divide p?
True
Let v = 8 + 1. Suppose 4*l + v = -5*x - 36, 5*x + 45 = -3*l. Is 15 a factor of (6/4)/(x/(-354))?
False
Suppose -23042 = 25*u - 29*u + 5*a, 4*u + 3*a = 23058. Is 11 a factor of u?
False
Let z be 5*(-4)/3*-9. Let b be 1/((-3)/z)*-7. Suppose -2*i = 3*i - 2*u - 143, -5*i + 5*u + b = 0. Is i a multiple of 6?
False
Let b(q) = 211*q + 39. Does 56 divide b(3)?
True
Suppose -l = -3*u + 912, -12*u - 1235 = -16*u - 5*l. Is u a multiple of 17?
False
Let i = 1191 - -101. Is 68 a factor of i?
True
Suppose -17 - 19 = -9*s. Suppose s*g - 5*g + 4*d = 0, -d = -2*g + 35. Is g a multiple of 10?
True
Let f be -2 - (-1 + 23 - -2). Let b = f - -47. Is 7 a factor of b?
True
Suppose -5*q + 2 = m, -5*q + 29 = -2*m + 78. Does 3 divide ((-1)/((-2)/m))/(3/6)?
False
Suppose g + 4*g = d + 181, -741 = 4*d - 3*g. Let u = -71 - d. Suppose -5*t = -2*q - u, 3*t - 2*q + 6*q - 43 = 0. Is t a multiple of 9?
False
Let f = -8 - -2. Is 8 a factor of (-9)/(((-1)/f)/(8/(-6)))?
True
Suppose -4*a + 6539 = j, -2*a - 3*j - 1638 = -3*a. Suppose -35 + a = 16*l. Does 14 divide l?
False
Suppose -i + 4*s - 4 = 0, 0 = 4*i - 3*s + s - 26. Does 21 divide (-9)/((-45)/(-10)) + i*16?
True
Let j(l) = l**3 + 2*l + 2. Let s be j(0). Suppose 0 = 2*y - 2*u - 46, -s*u + 14 = -y + 2*y. Does 9 divide y?
False
Suppose 4*l - 3*z - 214 = 0, 0*l = 3*l + z - 167. Suppose -w = -136 + l. Let u = w - 34. Is 25 a factor of u?
False
Let k = 1551 - 1083. Is k a multiple of 52?
True
Suppose 12*s = -15*s + 135. Let b(y) = 3*y - 4*y - y**2 - 2*y + y**3. Does 23 divide b(s)?
False
Let o(z) = -125*z**3 - z**2 - z - 1. Let m be o(-1). Let r(b) = -2*b**2 + 3*b - 20. Let i be r(6). Let p = i + m. Is 25 a factor of p?
True
Suppose -1629 = 9*v - 4977. Suppose 3*c - 9 = 0, 4*p - 3*c = v - 17. Do