a multiple of 26?
False
Suppose 207 = 2*u - j, -5*u - 3*j + 608 - 107 = 0. Let v = u - 71. Is 12 a factor of v?
False
Suppose -4*m = 5*k, 2*m + 8 - 2 = -k. Suppose -3 = k*z + 1. Does 13 divide 26 + z + (0 - -2)?
False
Let k = 109 + -6. Suppose -k - 297 = -5*l. Suppose -p = 4*z + 6, z + l = 5*p - z. Is 9 a factor of p?
False
Suppose -7 + 43 = 3*t. Is 14 a factor of (-100)/(-7) - t/42?
True
Let v = 106 - 27. Is 6 a factor of v?
False
Suppose -8*a - 62 = -10*a. Is 3 a factor of a?
False
Let r = 6 + -3. Suppose i - r = -0. Suppose -b + i*b = 6. Is b a multiple of 2?
False
Suppose 0 = -5*s - 2*c + 31, -3*s = -7*s - 3*c + 29. Let w = 3 - 1. Suppose s*f = w*f + 48. Is f a multiple of 9?
False
Let i(k) = -9*k + 2*k**2 - 6*k**2 - k**3 + 4*k**3 - 2*k**3 + 1. Does 14 divide i(6)?
False
Let n(c) = 74*c - 12. Is n(2) a multiple of 34?
True
Suppose c = -4*b + 7, 3*b + 2*b = -2*c + 5. Let x(t) = t**3 - 3*t**2 + t. Is x(b) even?
False
Let w = -12 - -46. Is w a multiple of 14?
False
Let o(c) = -c**3 - 9*c**2 - 4*c - 1. Let l be o(-8). Let t = l - -19. Is 3 a factor of (-33)/(-7) + (-4)/t?
False
Let b(w) be the third derivative of w**6/120 + w**5/30 - w**4/6 - w**3/2 + 2*w**2. Let q be b(-2). Suppose -q*t = -t - 44. Does 11 divide t?
True
Suppose -231 = 10*f - 13*f. Is f a multiple of 10?
False
Suppose -3*u = 5*p - 135, -p + 0*p + 163 = 4*u. Is 10 a factor of u?
True
Suppose -l + 3 = -b - 5*l, -2*l = -5*b - 37. Let h = -1 - b. Is 6 a factor of h?
True
Suppose -3*o - 2*d + 18 = 0, o - 3*o - 5*d = -23. Suppose 42 = 2*p + 2*u, p - 108 = -3*p + o*u. Is 12 a factor of p?
True
Suppose 3*o + 2*o = 100. Let l be 4/o - (-148)/10. Let t = 28 + l. Is 18 a factor of t?
False
Suppose 3 = -o - 2*q, -9 = 4*o + q + 24. Is 5 a factor of (1 - 2)/(-1) - o?
True
Let u(k) = -k**3 + 3*k**2 + 12 - 10*k**2 + 0*k**2 + 9*k. Is u(-8) a multiple of 2?
True
Let c be -3 + (-324)/(6/3). Let l = -96 - c. Is l a multiple of 23?
True
Suppose 16 = 6*t - 4*t. Is 29 a factor of ((-116)/t)/(2/(-4))?
True
Let d(p) = p**2 - p + 1. Let n be d(1). Let f be 4/(0 + 0 + n). Suppose -3*i + 65 = -f*x, -4*i - 51 + 139 = -5*x. Is 15 a factor of i?
False
Suppose -2 = -2*d + 4. Suppose 0 = 3*v - d*k - 12, 2*v - 2*k = 3*k + 8. Is v even?
True
Let y(o) = -2*o + 2. Let f(j) = 2*j - 1. Let u(k) = -5*f(k) - 4*y(k). Let z = -3 + 0. Is 2 a factor of u(z)?
False
Suppose 396 = 7*z - 451. Is z a multiple of 18?
False
Let r(b) = 3*b - 3. Let x be r(7). Suppose x = a - 3*a. Does 13 divide 1/3 - 114/a?
True
Let b(j) = j**2 - 7*j - 7. Is 11 a factor of b(9)?
True
Does 13 divide 29/9 + (-4)/18 - -27?
False
Suppose 0 = -3*z - 48 + 156. Let c = z - 8. Is c a multiple of 13?
False
Let m(s) = 2 - 2 - 1. Let p(u) = 7*u - 35. Let o(n) = 35*m(n) - p(n). Is o(-2) a multiple of 10?
False
Let y = 170 - 100. Does 14 divide y?
True
Suppose -4*j - 2*p + 2 = -2, 5*p = -j - 8. Suppose j*a - 1 = 19. Is a a multiple of 6?
False
Suppose 5*h - 6 = 9, 3*h + 201 = 3*c. Suppose -18 - 17 = -a + t, -3*t + 43 = a. Let n = c - a. Is 11 a factor of n?
True
Suppose 5*n - 10 = -0*u - u, 4*n = 4*u - 16. Suppose 2*a + 67 = u*r, -4*a + 9 = -7. Does 6 divide r?
False
Is 6 a factor of (-539)/(-88) - (18/16 + -1)?
True
Let g = 36 - 22. Suppose 0 = -z + g + 10. Does 11 divide z?
False
Let a = -15 - -30. Let k = a - -4. Is 9 a factor of k?
False
Let y(k) = k**3 + 6*k**2 + 5*k + 7. Let g(i) = -28*i. Let z be g(-1). Let w be (-2)/8 + (-133)/z. Is y(w) a multiple of 7?
True
Suppose -4*r - 4*m + 72 = 0, -4*r + 0*m + 70 = 2*m. Is r a multiple of 2?
False
Let z(h) = 110*h - 10. Is z(3) a multiple of 40?
True
Suppose 0 = 3*v - 14 + 5, v - 80 = -u. Is 11 a factor of u?
True
Let n(k) = 0*k - 2*k - 2*k - 2*k + 1. Let w = 0 - 1. Is 3 a factor of n(w)?
False
Let h(c) = c**3 + c**2 - c - 2. Let l be h(-2). Let r be (-3)/6 - 22/l. Suppose 0 = r*u - 43 - 127. Does 21 divide u?
False
Suppose -3*p + 13 + 29 = 0. Does 9 divide p?
False
Let g = 12 - -18. Is g a multiple of 15?
True
Is (-2)/(-4)*(104 + 0) a multiple of 13?
True
Let c = 16 - 14. Suppose 7*b - c*b - 60 = 0. Is 3 a factor of b?
True
Suppose 4*c = i + 494, -c + i = -2*i - 129. Suppose 3*d = -3*k + c, -k = -3*d + 2*k + 141. Is d a multiple of 13?
False
Let z = 12 + -7. Suppose -z*v + 62 = -63. Is 17 a factor of v?
False
Let y be (-6)/(-16)*6*-4. Is 17 a factor of y/6*(-17 + -3)?
False
Let g(h) = -7*h + 7. Is 7 a factor of g(-4)?
True
Suppose -423 = -2*b + 5*b. Let g be 3 + -3 + -1 + -98. Let a = g - b. Is 16 a factor of a?
False
Suppose 5*o - 36 = 4*o. Is 18 a factor of o?
True
Suppose -4*l + 2*l = -10. Suppose -2*r + 3*d = l*d - 10, -2*r = d - 5. Suppose r*w + 2*w + z = 24, 0 = 3*w - 3*z - 45. Does 4 divide w?
False
Suppose -j - j = -4. Suppose -2*s + j = -24. Suppose 0 = 5*y - s - 22. Does 3 divide y?
False
Let q(b) = 4*b**2 - b + 1. Let z be q(1). Suppose z*h = -h + 95. Is h a multiple of 17?
False
Let w(y) = y**3 + 8*y**2 + 8*y + 5. Let b be w(-7). Is 0 + (-60)/(2/b) a multiple of 19?
False
Suppose 48 = 2*c - c. Is c a multiple of 16?
True
Suppose -3*p = 5*l, -p + 0*p = 5. Let b = l + 10. Is 6 a factor of b?
False
Let u = 300 - 198. Is 18 a factor of u?
False
Does 10 divide (8/(-5))/(2/(-40))?
False
Suppose 2*s = 6*s - 120. Does 12 divide s?
False
Let i(v) = v**3 - 9*v**2 + 9*v + 8. Let x be i(7). Let a = 21 - x. Is 16 a factor of a?
True
Let t(h) = -2*h - 8. Let j be t(-6). Suppose -v + 18 = -j*x, -24 = -5*v - 0*x - 2*x. Let p(w) = -w**2 + 6*w + 6. Is 3 a factor of p(v)?
True
Let x be 387/(-27) - ((-1)/3 - -1). Suppose -4*g - 5*s + 175 = g, -5*s + 107 = 3*g. Let v = x + g. Is 10 a factor of v?
False
Let n = -161 - -175. Is 2 a factor of n?
True
Suppose -13 - 183 = -7*j. Is 6 a factor of j?
False
Let c = -19 - -39. Suppose 3*d - c - 154 = 0. Is d a multiple of 22?
False
Let g = -40 + 27. Suppose -2*j + 2*d + 76 = 0, 2*j + 4*d + d - 90 = 0. Let b = j + g. Does 13 divide b?
False
Is (3 - 71)*(-2)/4 a multiple of 15?
False
Let s be (-3 - -3)*1/(-2). Let l(y) = -y - 3. Let b be l(-3). Suppose b = -s*o - 4*o + 8. Is o a multiple of 2?
True
Let m be (-205)/(-5) - (1 + 1). Let j = 62 - m. Is j a multiple of 14?
False
Suppose 4 = 2*t - 0*t. Suppose -47 - 38 = -3*y - 5*v, -56 = -t*y - 4*v. Does 15 divide (-12)/6*y/(-4)?
True
Suppose 0 = -2*q + 37 - 11. Suppose j - 5 = -0*j, -4*n + q = j. Is (-11)/(1*n/(-6)) a multiple of 17?
False
Let f = 8 + -4. Suppose -m = -f*h - 74, 3*m + 2*m - 404 = 3*h. Suppose w + 0*w = m. Is w a multiple of 28?
False
Let h = 24 - 17. Let q = h + -7. Suppose q = 3*j - 3*i - 87, -i + 0 = -3. Does 16 divide j?
True
Suppose -8 = -u - 3*u. Is 7 a factor of -13*u/4*-2?
False
Let c = -41 + 53. Is c even?
True
Let y be (-1)/(1 - (-3)/(-2)). Suppose -13 = 4*f - z - 57, y*z = 8. Does 4 divide f?
True
Suppose 0*a = -d - 5*a + 14, -2*d = 4*a - 4. Let q = d - -22. Is q a multiple of 8?
True
Suppose -5*g + 11 = 1. Suppose -3*w + 385 = w + 3*v, -g*w = v - 191. Does 27 divide w?
False
Let o(a) = 2*a - 6. Let z(x) be the second derivative of x**5/20 + x**4/4 + x**3/6 + x**2 + 2*x. Let s be z(-2). Is 2 a factor of o(s)?
True
Let t = -15 - -21. Suppose -v - a = a - 3, v - t = a. Does 3 divide v?
False
Let q(g) = -11*g - 1. Let t be (-6)/(-4)*(-4)/3. Is 10 a factor of q(t)?
False
Let m(h) = 1 - 8*h - h**2 - 7 + h. Does 4 divide m(-5)?
True
Suppose 31 = d - 0*d - 4*s, -141 = -3*d - 4*s. Does 7 divide d?
False
Suppose -19 = 4*y + k, 5*k - 9 - 6 = 2*y. Let f(s) = s**2 + 11*s. Let q(u) = u**2 + 10*u. Let d(p) = 4*f(p) - 5*q(p). Is d(y) a multiple of 2?
False
Suppose 7 + 23 = 3*w. Let j be w/20*(5 - -1). Does 15 divide (j/(-2))/(27/(-360))?
False
Let f(r) = 2*r**2 - 9*r + 1. Is 6 a factor of f(6)?
False
Let f(c) = -c**2 + 12*c - 12. Does 4 divide f(8)?
True
Let h be -1 - -1 - (-6)/1. Suppose -h*k + k = -2*g - 80, k + g - 16 = 0. Is 5 a factor of k?
False
Is 1/(5 + 3120/(-625)) a multiple of 22?
False
Let r(n) be the second derivative of -2/3*n**4 - n + 0 + 3/2*n**3 - 1/20*n**5 + 4*n**2. Is r(-9) a multiple of 3?
False
Let f(z) = -2*z - 1. Let j(v) = -v**3 + 3*v**2 + 2*v + 2. Let m be 6/((-3)/(-6) + 1). Let l be j(m). Is f(l) a multiple of 11?
True
Suppose -5*w + 205 = 5*x, -x + 43 = -0*w + 3*w. Does 20 divide x?
True
Let w(q) = -q**3 + 7*q**2 + 9*q + 1. Let x be w(7). Let p = 102 - x. Does 19 divide p?
True
Suppose 5 + 