 z = 0. Is x a multiple of 17?
False
Let i(o) = 6*o - 2*o + 6*o + 1 - 4*o. Does 16 divide i(4)?
False
Let z = 4 - 1. Suppose 4*i = 3*j - 4, -3*j = z*i + 2*j + 3. Is 32 - (0 - (i + 2)) a multiple of 13?
False
Let x be (-204)/7*21/(-3). Suppose -4*m - 2*w + x = 0, -m + 4*w = 3*w - 48. Is 14 a factor of m?
False
Suppose 20 = 5*p - 30. Suppose p = 2*b - b. Is b + 0 + -2 + 1 a multiple of 4?
False
Let d be 3/(-3) - (4 - 7). Suppose -11 = -d*q + q. Is 3 a factor of q?
False
Let x be (-25)/(2 - 6/2). Suppose -65 + x = -2*v. Suppose 3*p = p + v. Is p a multiple of 10?
True
Suppose b - 5*m + m - 18 = 0, m = -5*b + 6. Suppose b*w + 30 + 34 = 0. Let f = 64 + w. Is f a multiple of 11?
False
Does 10 divide ((-1)/((-2)/(-6)))/((-2)/46)?
False
Let m = 6 - 3. Suppose -g = -2*g + m. Is g a multiple of 2?
False
Let w(y) = -y**3 + y**2 + y + 6. Suppose -4*k + 0*k = -16. Let c be 0/(-3)*(-2)/k. Is w(c) a multiple of 2?
True
Let h be (-6)/((-9)/6*1). Suppose -w + h = -0*w. Is 780/35 - w/14 a multiple of 11?
True
Let u(d) = d**2 - 11*d - 8. Does 15 divide u(14)?
False
Suppose 0 = -3*k - k + 8. Suppose -d - 10 = -2*w - k, 2*d = -2*w + 8. Suppose 5*z - 100 = 5*r, w*r = z + 2*r - 21. Is 14 a factor of z?
False
Suppose -4*n + 5*d + 119 = 0, -4*n + 90 = -n - 4*d. Is 9 a factor of n?
False
Let f(z) = 2*z**3 + z**2 - 1. Let i be f(1). Suppose 2*p + b + 2*b = 138, -i*p - 2*b + 134 = 0. Let a = p + -45. Is a a multiple of 11?
False
Suppose -2 - 24 = -2*y. Suppose h = 5*i - 19, -3*i = i + 3*h. Suppose 2*w - i*w = -y. Does 13 divide w?
True
Let f(c) = 85*c**3 + c**2 - c + 1. Let q be f(1). Let x be 6/9 + q/6. Is 15 a factor of (x/5)/((-3)/(-22))?
False
Suppose -71 = -4*u - 4*t + 69, -5*t + 67 = 2*u. Suppose 5*q - 2*j = 42, 4*q - 3*j = j + u. Does 8 divide q?
True
Let z(t) = -t**2 - 6*t. Is 2 a factor of z(-5)?
False
Suppose -2*o + 3*o - 2 = 0. Let c = -101 - -191. Suppose 0 = -3*n - o*n + c. Does 12 divide n?
False
Let f(u) = -u**3 - 3*u**2 + 3. Is 3 a factor of f(-3)?
True
Let c be 5/15 + 1156/6. Let p = 655 + c. Is 14 a factor of (-2)/5 + p/20?
True
Suppose 0 = 2*o - 3*i - 216, 3*i + 426 = 4*o - 0*o. Is 5 a factor of o?
True
Suppose r = 0, l + 0*l + 5*r = 3. Let b(v) = -v + 12. Let h be b(9). Suppose -4*a + l*c + 32 = -c, -h*a + 4 = c. Is a even?
False
Let v(z) = 2*z - 2. Let s be v(3). Does 4 divide (s/8)/((-2)/(-52))?
False
Suppose 0 = 3*j + l + 11, -4*j - 2*l - 18 = -0. Is 16 a factor of (-1 - j) + (-120)/(-6)?
False
Suppose -4*f + 14 + 82 = 0. Is f a multiple of 8?
True
Let x = 158 + -133. Is 3 a factor of x?
False
Suppose 5*z = 4*n - 179, -4*n - 4*z + 111 = -113. Is n a multiple of 14?
False
Suppose 2*s - 22 = -4*c, -5*s + 2 = 3*c - 25. Suppose -s*d + 5 = -1. Is 65/d - 2/4 a multiple of 12?
False
Let d(v) = -v. Let b be d(-3). Let u(f) = 4 - f**2 + 3 + 10*f + b*f. Is u(12) a multiple of 9?
False
Suppose -62 = -5*n - 7. Suppose -2*k = -3*t - 0*t + n, -k - 4 = -t. Does 14 divide 382/8 - k/4?
False
Suppose 0*m - 7*m + 1512 = 0. Is 12 a factor of m?
True
Let k = 150 + -54. Is 8 a factor of k?
True
Suppose 2*a = 3*a - 3. Suppose -2*y = -3*r - 83 - a, 0 = -3*y + r + 143. Is y a multiple of 21?
False
Let h be 0/2 - (1 + -2). Let l = h + 12. Is 13 a factor of l?
True
Let k be 1*5*(-452)/(-10). Let n = k - 133. Let z = n + -65. Does 14 divide z?
True
Let r(x) = 21*x**3 - x**2. Let u be r(1). Let p = u - 9. Does 6 divide p?
False
Let f(u) = u**3 - 4*u**2 - 9*u + 9. Suppose 0 = 5*j - 9*j + 24. Is 14 a factor of f(j)?
False
Let t(r) = 29*r. Does 18 divide t(2)?
False
Suppose -2 = o - 8. Is o even?
True
Let u(c) = -17*c - 2. Suppose -2*s + 8 = x - 3, 0 = 5*x + 4*s - 31. Suppose 2 = -x*b - 4. Is u(b) a multiple of 16?
True
Suppose 0 = 5*y - 2*y - 390. Suppose y = 4*l - 54. Is l a multiple of 17?
False
Suppose 4*k - 113 = -j, -3*j - 2*k + 326 = -3*k. Does 18 divide j?
False
Let g = 18 + -13. Let b(p) = 2*p + 3. Let a(u) = -4*u - 6. Let s(x) = -6*a(x) - 11*b(x). Is s(g) a multiple of 6?
False
Let p be (-2)/(-3)*1*30. Let b be (8/6)/((-2)/(-6)). Suppose -l - b*l = -p. Is l even?
True
Suppose 3*z - 54 = -249. Let x = z - -131. Does 33 divide x?
True
Suppose -4*c + 6*c - 8 = 0. Let o(i) = 12*i - 10. Is o(c) a multiple of 11?
False
Let b = 48 + -13. Is 7 a factor of b?
True
Let w = -67 - 29. Let t = w + 142. Does 20 divide t?
False
Is 8 a factor of 4 + -6 + (-8)/12*-135?
True
Let j be 8/12 - (-910)/(-6). Let l = 220 + j. Suppose 5*s - l = 36. Is s a multiple of 7?
True
Let l(m) = -m + 12. Let j be l(7). Suppose -8 = 2*d + 4*b, -j*d + 2*b - 6*b = 2. Suppose -d*g - 16 = -2*a, 2*a - 20 = -3*a - 5*g. Does 5 divide a?
False
Let y be 2*(-2)/8*22. Let m(b) = -b**3 - 10*b**2 + 11*b + 15. Does 8 divide m(y)?
False
Let m be (-1)/(-1)*(-1 + 6). Suppose -4*b - 10 = -5*d, -d + 1 + 1 = -5*b. Suppose -r + m*j - d = 0, -3*r + 3*j - 5*j = -62. Is r a multiple of 18?
True
Suppose 31 = 5*q - u, q - 2*u = -0*q + 8. Is q a multiple of 3?
True
Suppose -2*y = -3*y + 9. Suppose -5*q = -2*q - y. Suppose 49 + 35 = q*s. Is s a multiple of 14?
True
Suppose -3*b + 23 = 4*i, 0 = -b - 0*i + i + 10. Suppose x - 5 = 0, 5*a = a + 5*x - b. Suppose -30 = -5*j + 2*o, o - 6*o = a*j - 57. Is j a multiple of 3?
False
Let g be (-716)/16 - 1/4. Let t = -28 - g. Is t a multiple of 11?
False
Let t(s) = -s**2 - 10*s + 2. Let h be t(-10). Is 13 a factor of 0 + 2 - (-48)/h?
True
Let l = 85 - -19. Is l a multiple of 22?
False
Does 8 divide (-1)/(2*2/(-132))?
False
Is 29 a factor of (-1)/((-5)/8)*(113 - -32)?
True
Suppose -3*v - 5*d = 5, 0*d + 5*d = -4*v. Suppose 0 = 2*w - v*w - 33. Let a = w + 23. Does 7 divide a?
False
Suppose 0 = w - 0*w - 33. Is w a multiple of 12?
False
Let i = 3 + 5. Let c = 22 - i. Is c a multiple of 7?
True
Suppose o - 4 = x, -3*o = -4*o + 3*x + 6. Is o/2 + 78/4 a multiple of 14?
False
Let t be (-7)/(-1) + (2 - 4). Suppose -6 = -3*j + t*j. Is 21 a factor of (-8)/(-12) - 61/j?
True
Suppose 0 = -t + 5*t - 436. Let d = t + -70. Is d a multiple of 13?
True
Suppose 110 = -2*g + 2*m, -60 = 2*g - 5*m + 35. Let q = -40 - g. Is 10 a factor of q?
True
Let n(w) = -w**2 + 5*w + 8. Let t be n(6). Let g = -1 + 7. Suppose 3*c = t*c + g. Is c a multiple of 4?
False
Let q(l) = -l**2 + 7*l - 7. Let i be q(5). Let k be i/3 + 8/2. Suppose -4*o = 3*t + 7 + 1, -k*t - 5*o = 5. Is t a multiple of 4?
True
Let h(v) = v**2 + 8*v + 3. Let o(a) = 2*a. Let k be o(8). Suppose 3*r = 4*c - 53, r = 2*r - c + k. Does 12 divide h(r)?
True
Is 5 - -1*(3 - 3) even?
False
Suppose -2*a + 2*o = a - 144, -240 = -5*a - 2*o. Does 16 divide a?
True
Let d(z) = z**2 - 13*z + 18. Is d(13) a multiple of 6?
True
Suppose -2*n + 5*n - 6 = 0. Suppose 0 = -2*g - 3*p + n*p + 53, -3*p = 4*g - 107. Does 14 divide g?
False
Suppose -11 = -3*i + 10. Suppose 22 = i*n - 6*n. Is 9 a factor of n?
False
Let z be (-3)/(6/(-170))*-1. Is (1 - 2) + (2 - z) a multiple of 22?
False
Let k(d) = -d + 2. Let g be k(-8). Suppose -l + 5 = -x, 0*l = 2*l - x - g. Suppose 0 = 4*p + h + 3*h - 12, 0 = -4*p + l*h + 48. Is p a multiple of 7?
True
Suppose -u + 46 = -3*u. Suppose 3*r + 140 = -r. Let c = u - r. Does 12 divide c?
True
Let c = -5 - -8. Suppose 0 = t - 29 + c. Does 13 divide t?
True
Is 656/12 - 4/6 a multiple of 27?
True
Suppose -2*d = d + 4*q - 218, 3*d - 193 = q. Does 12 divide d?
False
Let z(a) = -a**3 - 17*a**2 - 4*a - 14. Is z(-17) a multiple of 18?
True
Suppose 14 = 5*y + v, 9 - 2 = 2*y - v. Suppose y*c - 29 = 31. Does 20 divide c?
True
Suppose o = 5*w - 3 - 30, 2*w - 20 = -3*o. Suppose -w*q = -6*q - 10. Is 2 a factor of q?
True
Suppose 2*g - 320 = -3*g. Let p(r) = -r**3 - 8*r**2 + 5. Let k be p(-7). Let d = g + k. Is d a multiple of 19?
False
Suppose 3*i + 3 = 4*i. Let b(w) = 2*w**2 + 4*w - i + w**2 - 2*w**2. Is b(-6) a multiple of 9?
True
Let i = -2 + 7. Suppose i*k - 1 = 9. Is (6 + 2 - k) + -1 even?
False
Suppose -4*q = -7*q + 45. Is 6/(-4)*q*-2 a multiple of 7?
False
Suppose 0 = 3*y + 15, -4*o - 9*y = -4*y - 843. Is o a multiple of 31?
True
Let z be 0 + 2 + 6 - 3. Suppose 0*i + i - 14 = -z*y, -10 = 5*y. Suppose r + r - i = 0. Is r a multiple of 12?
True
Suppose -3 = 3*s - 0*s. Let p be (39/(-9))/(s/(-3)). Let h = -6 - p. Is 3 a factor of h?
False
Is 2 a factor of 5/(-10) + 9/2?
True
Let n be -2 + 0/2 - -4. Let k = 11 - n. Is 3 a factor of (-12)/54 + 74/k?
False
Suppose 