 divide z?
False
Let f(y) = -1 - y + 1 + 4. Let a be (-3 + 3)*(-2)/(-4). Is 3 a factor of f(a)?
False
Let p(a) = a**2 + 2*a - 1. Let c be p(-3). Let t = 3 - 3. Is c + -1 + 37 + t a multiple of 13?
False
Suppose 5*n = 25, -n + 2 - 21 = 3*i. Let c = 6 + i. Is (3 - c)/((-1)/(-4)) a multiple of 10?
True
Let u(o) = -6*o - 3. Let w be u(-2). Let q = 18 + w. Is 19 a factor of q?
False
Let s be -3*5 - (1 - 0). Let i = s + 23. Let j(a) = a - 1. Is j(i) a multiple of 3?
True
Let y be (11 - 1)*(-11 - -10). Let j = 34 - y. Does 32 divide j?
False
Let y = -64 + 124. Is 10 a factor of y?
True
Let x = -57 - -81. Does 11 divide x?
False
Let d be (-10)/(-4)*(-16)/(-20). Let n(o) = -11*o - 4. Let f be n(-4). Suppose b - 5*h - 20 = 0, -d*b = -0*b - 3*h - f. Is b a multiple of 18?
False
Let b be 3/(-3 + 12)*9. Let q(i) = i**2 - 4*i + 2 + b - 8. Does 4 divide q(6)?
False
Suppose -u - 2*u - 3 = 0. Suppose -13 + 15 = -2*k. Is 27 + (-1 - k) - u a multiple of 14?
True
Suppose 17*w - 56 = 16*w. Does 7 divide w?
True
Let t = 412 + -179. Is 18 a factor of t?
False
Let c be (3 - 52/12)*-3. Is (-21)/(-2) + 6/c a multiple of 8?
False
Suppose 2*i - 6 = -0*i. Let x be 28/6 + (-2)/i. Suppose -r + x*r - 24 = 0. Is r a multiple of 4?
True
Let l(y) = 3*y**3 - 4 + y**3 - 3*y**3 + 4*y**2 - 4*y. Is l(-4) a multiple of 7?
False
Let l = 0 - 4. Is 17 a factor of (-201)/(-2)*l/(-6)?
False
Let c(i) = -7*i**2 - i + 1. Let f be c(-3). Let g = -41 - f. Is 18 a factor of g?
True
Suppose 0 = 3*i - 4*i + 21. Does 7 divide i?
True
Suppose -w + 5*h - 14 = 0, 0*h + 6 = -w + 3*h. Suppose -27 = -w*v + 3*v. Is 9 a factor of v?
True
Let j(u) be the second derivative of -u**5/20 + 2*u**4/3 + 3*u**3/2 + 11*u**2/2 - 4*u. Is 11 a factor of j(9)?
True
Is 6 a factor of (16 - 17)*-1*10?
False
Let v(s) = s**2 - 10*s - 6. Let f(r) = -r**2 + 11*r + 7. Suppose 0*l - 2*l + 8 = 0. Let y(i) = l*f(i) + 5*v(i). Does 3 divide y(7)?
False
Suppose 4 = 2*c - 3*u, u + 14 = -c + 6. Let i(h) = 2*h**2 + 3*h - 1. Is i(c) a multiple of 19?
True
Let v(n) = -n + 6. Let j be v(4). Is ((-15)/3 + j)/(-1) a multiple of 3?
True
Suppose 6*d - 5*d = 0. Suppose d = 2*z - 29 + 7. Is 7 a factor of z?
False
Suppose 0*x - 2*x - 4*d + 20 = 0, 3*x - 2*d = -10. Suppose x = -m + 5 - 2. Suppose 0 = 5*r - 4*b - 81, 3*r - 18 - 9 = -m*b. Does 13 divide r?
True
Let j(s) = s**2 + 4*s - 15. Is 10 a factor of j(-9)?
True
Suppose 0 = 4*l + 12, -3*l = -3*b + 11 + 124. Does 14 divide b?
True
Is 2 a factor of 14/(-8)*-18 + 12/(-24)?
False
Let t = -6 - -10. Suppose -260 = -5*w + t*k, 2*k + 3*k = 3*w - 156. Is w a multiple of 26?
True
Suppose 2*p = 4*u - 4, u = -u + 2*p. Suppose -u*l + 112 = -0*l + 2*j, 152 = 3*l - j. Does 13 divide l?
True
Let r(p) = 3*p**2 + p. Is r(3) a multiple of 14?
False
Suppose 2*s - 12 = 48. Does 5 divide s?
True
Suppose a + 2*a + 48 = 0. Let i = 36 + a. Is 16 a factor of i?
False
Suppose -g + q + 73 = g, 5*q + 41 = g. Does 6 divide g?
True
Let c be 1/(((-4)/(-26))/2). Let b be c/5 + (-12)/(-30). Suppose b*z - v - 35 = 0, -5*v + 8 - 40 = -4*z. Does 13 divide z?
True
Suppose -2*t + 49 = z - 3*t, 5*z + 5*t - 235 = 0. Does 12 divide z?
True
Let l(o) = -2*o + 250. Does 19 divide l(0)?
False
Let j(n) = -15*n + 3. Let m be j(-3). Suppose 3*i - m = -3*d, -3*d - d - 2 = -2*i. Does 11 divide i?
True
Suppose -16 = -0*i - 4*i. Suppose 5*f = i*f + 38. Is 19 a factor of f?
True
Suppose 3*o + 4*n = 60, 5 + 15 = o - 2*n. Let h(t) = 4*t + 4. Let v be h(-4). Let q = v + o. Is q a multiple of 3?
False
Let a(j) be the first derivative of j**2 + j + 3. Suppose 0 = -4*t - 0 + 28. Does 14 divide a(t)?
False
Suppose t = 3*t - 156. Let p = t - 39. Does 24 divide p?
False
Let i(p) = 8*p**2 - 2*p + 2. Is i(2) a multiple of 17?
False
Let u(b) = 6*b**3 + 3*b**2 - 2*b + 1. Let c be u(2). Suppose 2*z - 185 = -5*w, -89 = -4*w - 2*z + c. Is 13 a factor of w?
True
Suppose -32 = -0*d - 2*d. Suppose -2*o + 44 - d = 0. Suppose -2*l + o = -10. Is l a multiple of 6?
True
Let s(w) = -4 + w**3 - 2 + 3 + 6*w**2 + 6*w. Let a be s(-5). Is (39/(-2))/(6/a) a multiple of 13?
True
Let n(p) = p**2 + 2*p - 2. Let z be n(2). Let r be (7 + -3 - 1) + -33. Does 10 divide (2/z)/((-1)/r)?
True
Suppose 4*m = m + 3*v + 396, 3*m - 2*v = 397. Is m a multiple of 14?
False
Let m = 109 + -30. Is m a multiple of 26?
False
Let z(k) = -k + 30. Let s = 1 - 3. Let q(w) = -w**3 - w**2 + 2*w. Let g be q(s). Is z(g) a multiple of 11?
False
Suppose -7*y + 65 = -2*y. Is y a multiple of 3?
False
Suppose -3*k - 1 = -2*k. Let l = 5 + k. Let n = l - -3. Is n a multiple of 7?
True
Let b = 4 - -5. Is b a multiple of 4?
False
Does 5 divide 18 + -3 + (-1 - -5)?
False
Let b(w) = -3*w + 2. Let g be b(6). Let p = -14 - g. Is p a multiple of 2?
True
Let s = 1 + 11. Does 6 divide s?
True
Let w = 26 + -12. Is 7 a factor of w?
True
Let j = 30 + 4. Does 12 divide j?
False
Suppose 4*y - 4 = 4. Let h(q) = q**3 - 2*q**2 + 2*q**2 + 0*q**3 + q. Is h(y) a multiple of 6?
False
Is 20 a factor of ((-3)/(-2))/(2/52)?
False
Let q be -2 + (-1 - -3) + -6. Let p = -2 - q. Suppose 3*o - 3*b - 27 = 0, -p*o - b + 7 = -4. Is o a multiple of 2?
True
Suppose 5*p - 36 = -3*z, 3*z + 10 = 3*p - z. Let t be (2/3)/(1/p). Suppose 0 = -3*d - 2*y + 39, 2*d + 3 = 3*d + t*y. Is d a multiple of 15?
True
Let h(q) = q + 1. Let g(a) = 6*a**2 + 3*a + 8. Let u(v) = g(v) - 5*h(v). Let w(z) = 2*z - 8. Let n be w(5). Is 6 a factor of u(n)?
False
Suppose -2*g - 3*c = -4*g + 15, 0 = -g - 2*c - 3. Suppose 2*d - 21 = -4*a - 5, 6 = g*d. Suppose -a*x = 9, 0*x = 5*r + 5*x - 5. Is r a multiple of 4?
True
Suppose -116 = -6*t + 2*t. Is 8 a factor of t?
False
Suppose 2*g - 25 - 279 = 0. Suppose -3*s + 5*s = 2*v - g, 0 = 3*s + v + 228. Let a = -41 - s. Does 12 divide a?
False
Does 8 divide 18/(-9)*6*-2?
True
Let m(r) = 2*r + 62. Is 5 a factor of m(-26)?
True
Suppose -5*r + 63 = -7. Suppose 0 = 3*d, -4*f - 50 = f + 2*d. Let h = r + f. Does 2 divide h?
True
Let v be 1 + -1 + 1 + 2. Suppose v*a = -0*a + 102. Is 17 a factor of a?
True
Let u(p) = p**2 + 4*p - 4. Suppose 0*n - 4*x = 3*n + 11, 0 = 5*n - 4*x + 29. Let o be u(n). Is 6/5*15*o a multiple of 15?
False
Is (-3 - -8)*(-21)/(-5) a multiple of 3?
True
Suppose 129 = 4*r + 5*f, 10 = r + 3*f - 31. Is 24 a factor of r?
False
Let r be 282/(-4)*52/(-78). Let c = 166 + -64. Let d = c - r. Is 15 a factor of d?
False
Suppose -5*w = -2*z + 4*z - 42, -3*z = -4*w - 40. Let y(q) = q**3 - 4*q**2 - 2*q + 2. Let o be y(6). Suppose 0 = 3*n - o - z. Is 9 a factor of n?
False
Suppose -p = -3*r - 11, -4*p = -0*p + 4*r - 12. Is 5 a factor of p?
True
Is 20 a factor of 793/39 + 1/(-3)?
True
Let w be (-4)/10 - 72/(-5). Suppose 0 = -y + 58 - w. Does 9 divide y?
False
Let j = -8 + 44. Is 6 a factor of j?
True
Let v = -17 + 27. Does 2 divide v?
True
Let n(k) = -k**3 - 7*k**2 + 1. Let o be n(-7). Let y be (-68)/(3 + -3 - o). Let v = y - 48. Is 10 a factor of v?
True
Let y be -1*5/(5/(-2)). Is 14 a factor of 1*y - (6 - 36)?
False
Let j be 1 - -1 - (158 - -4). Let p = -89 - j. Is p a multiple of 18?
False
Let t = -2 - -8. Let a be ((-75)/(-6))/(3/t). Let z = a + -1. Is 8 a factor of z?
True
Let r(w) = 1 + 5*w + 1 + 0*w + 4*w**2. Is 12 a factor of r(-4)?
False
Let c(n) be the second derivative of n**3/3 - 5*n**2 - 3*n. Let v be c(7). Suppose 14 = v*a + 2. Is a a multiple of 2?
False
Let g = 157 + -66. Is g a multiple of 25?
False
Suppose 4*z + 90 = k, -z = -0*k + k - 65. Does 14 divide k?
True
Let h be (-18)/8*16/6. Let q(j) = 2*j**2 - 3*j - 3. Let o be q(h). Suppose -4*a - 2*i + 70 = 0, 4*i - o = -5*a + i. Is 9 a factor of a?
True
Suppose 3*b + 2*b = 220. Is b a multiple of 11?
True
Let j = -180 + 188. Is j a multiple of 8?
True
Let r(m) = -m**3 - m**2 - 1. Let t be r(-2). Suppose 0 = -2*o + 7 - t. Does 2 divide o?
True
Let f(m) = -3*m**2 - 6*m - 3. Let n(q) = q**2. Let i(p) = f(p) + 2*n(p). Let k be i(-6). Is -3*22/(-3) - k a multiple of 13?
False
Let s be 121/3 + 1/(-3). Suppose 4*t - s = -t. Is t a multiple of 3?
False
Suppose -3*i - 3*m + 7 = -5, 2*m - 8 = -5*i. Suppose 4*u + 3*z = -u + 2, 2*u + 2*z = i. Is u/(2/72) - 0 a multiple of 21?
False
Suppose -124 = -6*a + 3*a + 4*b, 0 = -5*a + 2*b + 188. Does 14 divide a?
False
Let g be (-4 + 4)*(-1)/(-2). Let b = 2 - g. Suppose -5*m - 15 = 0, n + b*m - m = 9. Is 6 a factor of n?
True
Let z be (