g. Does 13 divide z(0)?
False
Let c = 14 + -9. Suppose 8*u - 129 = c*u. Does 14 divide u?
False
Let n(g) = 11*g - 22. Is n(7) a multiple of 11?
True
Suppose 5*j - i = -24, j = -4*j - 5*i. Let w = 49 - 47. Does 13 divide (-122)/j + w/4?
False
Let v = 440 - 290. Does 30 divide v?
True
Suppose 2*a + 13 = 3*u + 2*u, 1 = -u + 4*a. Suppose -u = b - 2*b + v, 3*v - 31 = -2*b. Is b/16*66*1 a multiple of 15?
False
Let o(x) = x**2 + 2*x - 4. Let b be o(-4). Suppose -b*w - w = -140. Is w a multiple of 14?
True
Let a(b) = 2*b - 19. Let p(s) = s - 10. Let k(l) = 3*a(l) - 5*p(l). Let i be k(6). Does 10 divide 2 - (-19 - (0 + i))?
True
Let a = 44 - -20. Is a a multiple of 16?
True
Is (36/(-14))/((-7)/196) a multiple of 24?
True
Let v(s) = -32*s**3 - 2*s**2 - 3*s - 2. Is 4 a factor of v(-1)?
False
Let u = 94 - -12. Is u a multiple of 17?
False
Let l(m) = -m**2 - 7*m - 7. Let t be l(-7). Is 2 a factor of (-1)/(21/6)*t?
True
Suppose 0 = -3*d - 6 - 0. Is 12 a factor of 142/12 - d/12?
True
Let v = 8 - -14. Is 7 a factor of v?
False
Let a be 2/(-7) + (-8)/(-28). Let l = 4 - a. Is l even?
True
Let c(s) = s**3 + 16. Let h be c(0). Suppose 7 + 2 = 9*o. Let m = o + h. Does 10 divide m?
False
Let h be 10/4*16/20. Suppose 5*u - h*u - 6 = 0. Is 144/6*(u + -1) a multiple of 12?
True
Suppose 13*d - 8*d = -35. Let g(c) = -c**3 + 2*c**2 - c - 2. Let r be g(-2). Let m = d + r. Is m a multiple of 6?
False
Let k = 301 - 169. Does 33 divide k?
True
Suppose 2*w = -2*w - 2*r + 88, 4*r + 34 = 2*w. Suppose c - 2*c = -w. Suppose 2*t - 5 = v - c, -5*v + t + 62 = 0. Does 5 divide v?
False
Let p(s) = s**2 - s + 34. Let z be p(0). Suppose -m + 2 = 22. Let f = z + m. Is f a multiple of 7?
True
Let a(k) = k - 8. Let p be a(-6). Let g = 31 + p. Does 17 divide g?
True
Suppose -d + 3*d - 6 = -s, 4*d - 12 = -3*s. Let k(i) = i**3 - 4*i**2 + 2*i + 3. Let r be k(d). Let u(x) = x + 10. Does 5 divide u(r)?
True
Is 41 a factor of 250/(-2 + 4) + -2?
True
Is 7 a factor of ((-10)/(-15))/((-2)/(-45))?
False
Suppose -3*q - 20 = -7*q. Suppose -5*z = -25, 3*s + q*z - 83 = z. Is 4 a factor of s?
False
Is 18 a factor of (12/(-5))/(8/(-60))?
True
Let g(f) = f**3 + 9*f**2 + 6*f + 12. Is g(-8) a multiple of 14?
True
Does 3 divide 14/91 + (-178)/(-26)?
False
Let b = -6 - -6. Suppose b = 5*a + 5*h - 5, 0 = 2*a - a - h - 7. Suppose 88 = a*c - 16. Does 13 divide c?
True
Suppose -13 = -2*k + 17. Is 6 a factor of ((-48)/k)/(2/(-5))?
False
Let o = 36 + -30. Does 4 divide o?
False
Suppose 5*f - 3*p = 94 + 13, -4*p - 106 = -5*f. Does 13 divide f?
False
Let p = 27 - -40. Is p a multiple of 16?
False
Let h(j) = j**3 - 4*j**2 - 6*j + 1. Suppose -b + 30 = 4*b. Is h(b) a multiple of 14?
False
Let m be (6 - 2)*2/4. Suppose w - m*w + 4 = 0. Does 5 divide (-13)/(-2)*(6 - w)?
False
Suppose -h + 59 = -46. Suppose 1 = -2*s + 5*u + 8, -5*s - 5*u = -h. Does 10 divide s?
False
Let y(z) = -19*z - 9. Is y(-2) a multiple of 23?
False
Let p(z) = z**2 + 5*z - 5. Does 13 divide p(7)?
False
Let y(t) = t**2 - 4*t + 5. Is y(5) a multiple of 3?
False
Suppose v = -5*z + 2, 5*v - z = 2*v + 22. Suppose -v*b + 5*b = -8. Is b a multiple of 3?
False
Let v(y) = 1 + 3 - y - 1 + 3*y. Is v(8) a multiple of 14?
False
Suppose 7*d = 2*d + 20. Suppose -d*g + 3*g + 21 = 0. Is g a multiple of 7?
True
Let r(s) be the third derivative of -s**6/120 - 2*s**5/15 + s**4/6 - 11*s**3/6 - 8*s**2. Is 27 a factor of r(-9)?
False
Let o = 343 + -235. Is o a multiple of 6?
True
Let a(l) = 7*l**3 - l + 1. Let k be a(1). Let b be ((-13)/(-4))/(k/(-28)). Let x = 33 + b. Is x a multiple of 8?
False
Does 3 divide (4/((-8)/2))/((-1)/8)?
False
Let a be 10/3*3/2. Suppose 0 = -2*h + a - 1. Suppose 0*p + 104 = h*p. Does 18 divide p?
False
Let n(b) = b**3 - 7*b**2 + b - 4. Let f(m) = m. Let l(a) = -5*a - 1. Let q(d) = 3*f(d) + l(d). Let k be q(-4). Is n(k) a multiple of 2?
False
Let y be -14*2/8*2. Let f be (-6 - y)*(-38 - -1). Let d = 66 + f. Is d a multiple of 12?
False
Suppose -4*f - 499 = -5*w, w + 3*w = 4*f + 396. Is w a multiple of 26?
False
Let b(r) = -2*r - 10. Let i be b(-6). Is 4/(-8) + 33/i a multiple of 16?
True
Let h = 23 - 23. Suppose -121 = -4*n - h*l - 5*l, 5*n - 4*l = 182. Is 17 a factor of n?
True
Suppose -2*v - v + 12 = 0. Suppose -2*w + 3*w - v = -4*r, -4*w - 3*r + 3 = 0. Suppose -4*o + w*o = -4*l - 56, 3*o + 4*l - 14 = 0. Is 5 a factor of o?
True
Suppose -f = f - 6. Is 11 a factor of ((-34)/f)/2*-3?
False
Let b = 0 + 3. Is -2 - 84/(-9)*b a multiple of 13?
True
Suppose 15*t - 16*t = 0. Suppose a - 8 - 7 = t. Is 8 a factor of a?
False
Let p = -3 - -5. Suppose 0 = r - 5*z + 55, -5*r - p*z - 2 = 138. Let n = r - -56. Is 15 a factor of n?
False
Let w(b) be the third derivative of b**5/12 + b**4/24 - b**2. Let g(u) = 2*u - 1. Let a be g(1). Is w(a) a multiple of 6?
True
Let m = 34 + 41. Is 15 a factor of m?
True
Suppose -4*f + 20 - 12 = 0. Suppose -58 = -f*c - 18. Is 10 a factor of c?
True
Does 6 divide 278/16 - (-3)/(-8)?
False
Let x be 6/21 - 27/21. Let d = -13 + x. Let w = d - -29. Is w a multiple of 14?
False
Suppose 9 = x - 6. Is 15 a factor of x?
True
Let z = -29 + 63. Suppose -43 = -4*u + l, -7*u - l = -4*u - z. Is 6 a factor of u?
False
Suppose 13 = 4*r + c, -3*r - 4 + 16 = 3*c. Suppose -2*u + r*u = 0. Suppose q - 5*q + 136 = u. Does 18 divide q?
False
Suppose 3*c - 20 = -2*c. Does 4 divide c?
True
Suppose -4*j = 5*a + 110, -a + j - 110 = 4*a. Let z be (-9)/(-21) + 255/(-7). Let o = a - z. Is 14 a factor of o?
True
Let r(l) = -7*l - 8. Let p be r(-8). Let j be p/6*(2 + -1). Suppose -2*y = -y - j. Is y a multiple of 8?
True
Suppose -2*q - q + 105 = -3*x, 4*q - 5*x = 143. Is 8 a factor of q?
True
Suppose 0 = z + 2 - 6. Suppose -60 = z*n - 7*n. Let f = 35 - n. Does 15 divide f?
True
Let p = 16 - 13. Suppose -54 = -w - p*u, -120 = -5*w + 2*w + 5*u. Is 20 a factor of w?
False
Let v(p) = -6*p - 42. Is v(-15) a multiple of 6?
True
Let v(k) = k**3 + 3*k**2 - 2*k + 1. Let t(b) = -b - 8. Let y be t(-4). Let j be v(y). Let r = j - -11. Does 2 divide r?
True
Let g(q) = q**3 - 20*q**2 + 21*q - 14. Is g(19) a multiple of 3?
True
Let g(q) = -2*q - 2. Let z be g(3). Let s(h) = -h**2 - 2*h + 5. Let u be s(7). Is 7 a factor of (-2)/8 + u/z?
True
Let h(p) = -14*p + 17. Does 16 divide h(-6)?
False
Suppose 4*o + o - 70 = 0. Suppose -o = -2*d + 16. Is 15 a factor of d?
True
Let x(u) = -u**2 + 1. Let b be x(-1). Suppose -4*f + 4 + 0 = b. Is f/(2/((-14)/(-1))) a multiple of 3?
False
Suppose -16 - 8 = 2*d. Let y be (-795)/6*(-4)/5. Is 6 a factor of 3/d + y/8?
False
Suppose -534 = 3*t - 1338. Is 24 a factor of t?
False
Let h(w) = w**3 - 16*w**2 + 3*w - 24. Is 12 a factor of h(16)?
True
Is 19 a factor of -3 + 11/4 - 1143/(-12)?
True
Suppose 3*d - 5*d - 44 = 4*m, 0 = -5*m + 3*d - 33. Let f = m + 26. Is 8 a factor of f?
False
Suppose 0 = 4*s - 2*s. Suppose 66 = -s*g + 3*g. Is 9 a factor of g?
False
Let q(z) = -5*z**3 + 8*z - 16. Let p(u) = -u + 2. Let k be p(-3). Let l(c) = 3*c**3 - 5*c + 11. Let x(w) = k*q(w) + 8*l(w). Does 8 divide x(0)?
True
Suppose 2*c - 98 = 190. Does 18 divide c?
True
Let n(z) = -z**2 + 5*z - 3. Let u be n(4). Suppose -2 = 2*q - 6. Suppose -q*x - u = -11. Is x even?
False
Suppose -2*a = -3*p + 378, 5*p + 0*p - 5*a - 625 = 0. Does 60 divide p?
False
Does 4 divide 2/4 + 7/2?
True
Suppose 2*w - w - 387 = 0. Suppose 5*r = 2*r + w. Suppose 4*v + k = r, v - 2*v - k = -36. Does 13 divide v?
False
Suppose -t + 1 = 2*c, c + 0*t + 2*t - 2 = 0. Suppose c = y - 3 - 1. Suppose y*i = -0*i + 52. Is i a multiple of 7?
False
Suppose 0 = -f + 3*o - 5*o - 1, -5*f - 4*o + 7 = 0. Suppose 4*g = f*r - 64, 2*g - 43 = -r - g. Is r a multiple of 14?
True
Let y = 2 - -1. Suppose -2*t = y*t - 40. Is t a multiple of 8?
True
Let u = 174 + 66. Is u a multiple of 15?
True
Let x be (0 + 2/(-2))/(-1). Let o(w) = 3*w**3 + 2*w - 1 - 96*w**2 + 96*w**2. Is o(x) even?
True
Is 57 a factor of 281 - 2*(2 - 12/3)?
True
Let u(c) = c**2 - 3*c + 5. Does 15 divide u(8)?
True
Let k(c) = c**2 - 8*c - 9. Let h be k(9). Suppose h = 3*p + x - 5, 3*p + 0*p = 5*x - 25. Is p/(-1) + 16/1 a multiple of 8?
True
Let r = -21 - -244. Is 10 a factor of r?
False
Let o be ((-21)/(-6) - 2)*6. Suppose -w + o = 3*j + 2*w, 2*j = 5*w + 27. Suppose 0 = -j*t + t + 60. Is t a multiple of 12?
True
Let g(d) = 3*d - 5. Let o be g(4). Is