 a factor of z?
False
Is 8 a factor of (0 + 2)*(12 - 4)?
True
Let z(p) = p**3 - 8*p**2 - 10*p + 13. Let j be (-6)/(-12) - (-17)/2. Let h be z(j). Suppose 0 = -h*d + 8*d + 16, 3*a + 4*d = 26. Is 6 a factor of a?
False
Is (-182)/(-5) + 10/(-25) a multiple of 10?
False
Let d(h) = 153*h - 1. Let z be d(1). Suppose -6*j + z = -2*j. Does 15 divide j?
False
Suppose 3*h = -2*w + 60, -4*w - 2*h = -h - 140. Is w a multiple of 9?
True
Suppose 5*u + 243 = 778. Let v = u + -56. Suppose 64 + v = 5*r. Is 6 a factor of r?
False
Suppose 0 = -s - s + 2. Suppose 0 = 4*o + s - 49. Is o a multiple of 12?
True
Let i(l) = 2*l + 1. Let d be i(-2). Let w be 0/((3*2)/d). Suppose 52 = 2*g - w*g. Is g a multiple of 17?
False
Let c(l) = -l**2 + 5*l + 8. Let m be c(6). Suppose -4*n + y = 77, -m*n + 2*y - 37 = -3. Does 3 divide (2/5)/((-1)/n)?
False
Let c(v) = -16*v - 1. Let s be 4/(-3) - 4/6. Is c(s) a multiple of 13?
False
Suppose 644 = 4*y + y - 4*v, 5*y = 2*v + 652. Does 39 divide y?
False
Let w(d) = -5*d + 2. Let a be w(-2). Let z = a + -6. Is z even?
True
Suppose 0 = -4*k - 2*p + 522, -187 = -k - 5*p - 43. Suppose -2*n - 29 + k = 0. Does 25 divide n?
True
Let d(v) be the second derivative of -5*v**3/3 - 3*v. Is 10 a factor of d(-3)?
True
Suppose 2*d = d + 49. Suppose -3*q + 25 = -q - 5*u, -3*q - 4*u = -d. Suppose 3*i + 3*c - 44 = -c, 5*i - q = 5*c. Is 8 a factor of i?
True
Suppose 5*u - 13 - 4 = -3*m, -4*m - 24 = -5*u. Suppose -3*c = -u*f + 71, c - 2*c = 2*f - 43. Does 12 divide f?
False
Suppose -31 = -3*y + 41. Is y a multiple of 8?
True
Does 19 divide (-5)/((-20)/(-34))*-10?
False
Let l(r) = -r**3 - 8*r**2 - 10*r - 17. Is l(-8) a multiple of 7?
True
Suppose -5*m - 4*d + 17 = -0*d, -2*m + 4*d + 18 = 0. Suppose 5*n - 20 = 0, -2*k + 0*n = -m*n - 22. Does 12 divide k?
False
Suppose h = b - 113 + 39, 5*h = 10. Does 27 divide b?
False
Let b(r) = -r**2 - 5*r - 2. Let k be b(-3). Suppose j = k*j - 393. Suppose x - 119 = -3*y, 3*y = 2*x - 0*x + j. Is y a multiple of 14?
False
Suppose 5*z = -25, -5*j + 40 = -4*z - 185. Is 13 a factor of j?
False
Suppose -8*b + 10*b = 0. Suppose b*v + v = -14. Is 7/v*(-1 + -3) a multiple of 2?
True
Let x(a) be the second derivative of 3*a**3/2 - 3*a**2/2 - 2*a. Let b(d) = d + 10. Let i be b(-8). Does 6 divide x(i)?
False
Let d = -2 + 4. Let w = d - 21. Does 11 divide (w/(-4))/(4/16)?
False
Is 19 a factor of 266/1*(-14)/(-28)?
True
Let z = -28 + 63. Suppose 45 = 5*t - z. Is 8 a factor of t?
True
Suppose 0 = -3*k - 20 + 68. Is k a multiple of 8?
True
Let f(m) = 2*m + 1. Let j be f(1). Let x = 105 - 71. Suppose 8 = j*u - x. Is u a multiple of 7?
True
Let c(t) be the third derivative of 23*t**4/24 + t**3/6 + 3*t**2. Let l be c(1). Is 14 a factor of (-1)/4 + 678/l?
True
Let x(g) = -g - 4. Let h be x(-4). Suppose h = -0*r + 2*r. Suppose r = -v + 2*u - 4, -2*v + 4*v - 32 = -4*u. Is v a multiple of 4?
False
Let k = 220 + -130. Is 15 a factor of k?
True
Suppose b = -0*b - 3. Let x(c) = -c**3 - 4*c**2 + 4*c - 3. Let w be x(-4). Let n = b - w. Does 9 divide n?
False
Let g(w) = -w**2 - 21*w - 4. Is 5 a factor of g(-14)?
False
Let m be (-57)/(-12) - 2/(-8). Suppose -18 = m*q - 123. Does 17 divide q?
False
Suppose -4*o + 5 + 7 = 0. Suppose 3*x - 3*w = -3, 5*x - w = o*w - 4. Suppose -3*b + 24 = -x*b. Is b a multiple of 8?
True
Let t(f) = 3*f - 1. Let o be t(1). Is 12 a factor of (o + 1)/(4/68)?
False
Let y(g) = g**2 + g - 2. Let k be y(-3). Suppose -6 = b - k*b. Is 7/(7/46) + b a multiple of 16?
True
Let g(y) = -y**2 + 7*y + 2. Let p be g(7). Let z be ((-5)/p)/(3/(-6)). Suppose 21 - 86 = -z*r. Is r a multiple of 7?
False
Let g(t) = -27*t**2 - 11*t + 2. Let o(q) = 13*q**2 + 5*q - 1. Let u be 3/(-2)*2/(-1). Let w(l) = u*g(l) + 7*o(l). Is 11 a factor of w(-2)?
False
Suppose 4 = x - 0. Suppose -8 = 3*i - x*i. Is 4 a factor of i?
True
Let m(h) = -h**2 - 12*h - 7. Let i(v) = 1 + 0*v - 4*v - 2. Let q be i(2). Does 10 divide m(q)?
True
Let c be 3/12 - 23/(-4). Suppose -2*v = -4*h - c, 3*v = -v + 12. Suppose -3*q + a + 25 = h, 5*a - 35 = -2*q + q. Does 8 divide q?
False
Let j(x) = -3*x**3 + 1. Let y be j(-1). Suppose 0 = 2*z + 3*z - 4*r - 15, y*z = 2*r + 12. Suppose z*w = -0*w + 5*u + 41, -3*u = 3*w - 33. Is 10 a factor of w?
False
Let m(s) = 36*s**2 - 2*s + 1. Does 12 divide m(1)?
False
Suppose 0 = -0*k - 3*k + 78. Does 8 divide k?
False
Let z(p) = p + 1. Let a = -4 - -8. Let h be z(a). Suppose 4*o = 3*b - h*b + 90, -o - 225 = -5*b. Is b a multiple of 19?
False
Suppose 8*v + 2*v = 140. Does 6 divide v?
False
Let r be (-4)/10 - 1/((-5)/2). Let u(h) = 2*h**2 - 2. Let m be u(4). Suppose r*w = -2*w + m. Is w a multiple of 5?
True
Let l = 12 - 1. Is l a multiple of 3?
False
Let j(t) = -t - 2. Let z be j(6). Let c = z - -5. Is (-2)/(-3) + (-10)/c a multiple of 2?
True
Let n = -98 + 188. Suppose r = -r + n. Does 15 divide r?
True
Let l be ((-102)/4)/(6/(-36)). Suppose 1 = -q + 3. Suppose -z + l = q*z. Is 17 a factor of z?
True
Let n(k) = -k. Let f be ((-4)/5)/(8/(-60)). Let a be n(f). Does 5 divide ((-12)/(-15))/(a/(-45))?
False
Let q = -8 + 13. Suppose 2*j + 132 = 5*y - 2*j, q*y - 2*j - 136 = 0. Is 21 a factor of y?
False
Let r(y) = -y**2 - 4*y + 5. Let m be r(-5). Let c = 9 + -4. Suppose 0 = 3*t - 4 - 8, m = c*d - t - 166. Is d a multiple of 14?
False
Let j(k) = -k**3 - 6*k**2 + 11*k + 5. Suppose 0 = -5*i - 40 - 0. Is 15 a factor of j(i)?
True
Suppose 6*a - 9*a - 15 = 0. Let s(j) = -2*j**3 - 8*j**2 - 3*j + 4. Is s(a) a multiple of 22?
False
Let d(i) = -i**3 - 5*i**2 + 6*i + 2. Let g be d(-6). Suppose 3*p = g*s + 34, 29 = 5*p + 5*s - 36. Is 12 a factor of p?
True
Let m(d) be the second derivative of -d**5/120 + d**4 - d**3/3 + 2*d. Let s(h) be the second derivative of m(h). Does 8 divide s(0)?
True
Let k = 13 - 4. Is 9 a factor of k?
True
Suppose -17*o + 158 = -199. Does 7 divide o?
True
Suppose -4*g + 139 - 475 = 0. Does 13 divide (g/(-9))/(8/60)?
False
Let n(x) = 3*x**2 - 3*x - 2. Suppose 15 = 5*a - 0*a. Is n(a) a multiple of 16?
True
Let b(t) be the first derivative of 5*t**4/4 - t**3 + t**2/2 - 2*t - 1. Is b(2) a multiple of 11?
False
Let w = 7 + -4. Suppose w*x - 84 = -0*x. Is x a multiple of 14?
True
Suppose 0 = 3*d + 3 - 12. Suppose 2*a + 17 = d*a. Does 17 divide a?
True
Is 34 a factor of (-204)/(-8)*((-20)/15)/(-1)?
True
Let j be (-16)/4*(-15)/(-2). Let s = j - -46. Is 11 a factor of s?
False
Suppose 0 = 5*i + 3*u + 9, 4*u + 0 = -2*i - 12. Suppose b - 2*b + 29 = i. Is b a multiple of 20?
False
Let x = 62 - 42. Is 10 a factor of x?
True
Let i = 34 + -10. Is 6 a factor of i?
True
Let n(h) = 3*h**2 - 8*h + 11. Does 7 divide n(2)?
True
Let j = 42 + 2. Is j a multiple of 11?
True
Let p(w) = -w**2 + 26*w. Let v be p(18). Suppose 2*u = v + 16. Is u a multiple of 22?
False
Suppose 16*x - 8 = 14*x. Suppose -87 = -7*p + x*p. Is p a multiple of 12?
False
Suppose 5*n - 5*t - 45 = 0, -n + 0*n - 7 = 3*t. Let w(f) = 47*f + 1. Let c be w(1). Suppose n*z = 82 + c. Does 13 divide z?
True
Suppose 2*n + 3*t + t = 16, -5*n = -t - 7. Suppose 5*v - 4*v = 4. Suppose n*m - v = m. Does 3 divide m?
False
Suppose 3*o - 4*b = 133 - 17, -b = 4*o - 123. Does 8 divide o?
True
Let o be (-1)/5 - (-309)/(-5). Suppose -w = w - 12. Does 8 divide w/12 - o/4?
True
Let i = -4 + 18. Suppose 0 = 5*x - i - 101. Let l = x - -16. Is l a multiple of 10?
False
Let g(y) be the first derivative of y**3/3 + 3*y**2/2 - y + 4. Let f be g(-4). Is 11*3 + -1 + f a multiple of 12?
False
Suppose 10*z - 130 = 5*z. Is z a multiple of 10?
False
Let o(h) = -5 + h + 0 + 2 + 5*h**2 - h**2. Is o(3) a multiple of 9?
True
Suppose 3*z + s + 1 = 6, 4*s = 2*z - 8. Suppose 0 = z*d + 5*q + 3 - 13, -4*d = -4*q - 20. Is 5 a factor of d?
True
Suppose -r - 5*v = -6, 3*r + v = -3*v + 18. Is 3 a factor of r?
True
Is 8 a factor of (1 - (-14)/(-6))*-39?
False
Let l = 8 + 32. Does 8 divide l?
True
Let o(f) = -2*f + 4. Does 7 divide o(-6)?
False
Let w(d) = 4*d**2 + d - 2. Let g be w(2). Let z = -9 + g. Does 7 divide z?
True
Let o(v) = -v**2 - 10*v - 16. Let h be o(-7). Suppose -6 = -k + h. Is k a multiple of 11?
True
Let n(u) be the third derivative of u**6/120 + 3*u**5/20 + 3*u**4/8 - 5*u**3/3 - 6*u**2. Is n(-7) a multiple of 11?
False
Let k be (2 + -5)*2/3. Let z be (4 - 2)*(-3)/k. Suppose -b + z = -2. Is b even?
False
Suppose 69 = a - 