ivide z(l)?
False
Suppose 0 = -5*p - 15, 4*p + 197 = 5*a - 225. Let t = 1 - -1. Is t/(-10) - a/(-10) a multiple of 8?
True
Let b = -190 + 267. Does 11 divide b?
True
Let b(m) = -m**3 - 10*m**2 - 21*m - 21. Is 29 a factor of b(-9)?
True
Suppose -4*h - h - 70 = 0. Does 15 divide h/(-49) + 206/14?
True
Let a(b) = b**3 + 10*b**2 + 11*b - 7. Is a(-8) a multiple of 8?
False
Let i = 0 + 3. Suppose -i*z + 18 = -3*o, 2*o + 8 = 3*z - 14. Is z a multiple of 10?
True
Let p = 236 + -166. Is p a multiple of 4?
False
Let o(v) = v**2 - 10*v - 1. Let a be o(7). Let n be (-9)/6*a/1. Suppose -3*h + n = 4*g, -h - 5*g - 90 = -6*h. Does 6 divide h?
False
Let u = -12 - -72. Is 12 a factor of u?
True
Is (6/(-9))/(1/(-6)) a multiple of 2?
True
Let x = 3 + -3. Does 8 divide x - 2 - (-20)/2?
True
Suppose -5*d + 215 = 5*w, d = -2*w - w + 43. Is 20 a factor of d?
False
Suppose -4*j + 12 = 0, -v - 2*j + 0 = -8. Suppose v*d - 3*o = 30, -2*o = -0*d + d - 22. Suppose -5*f = 3*u + 2*u - 165, -u = -2*f - d. Is 11 a factor of u?
False
Suppose 0 = -p + 9 - 4. Suppose -5*k = 5*h - 4*h - 2, 4*k + p*h - 10 = 0. Suppose -f + 26 = -k*f. Does 10 divide f?
False
Does 22 divide (-20 - -2)*14/(-3)?
False
Let i = 36 - -13. Let x = -24 + i. Does 10 divide x?
False
Suppose -4*t + 20 + 4 = 0. Is 6 a factor of t?
True
Let w be (5 - 2) + 1*58. Suppose -w = -2*r + v, -5*v - 160 = 2*r - 7*r. Does 10 divide r?
False
Let o(k) = 7*k**2 - 15*k + 37. Does 21 divide o(6)?
False
Suppose s - k + 6 = 0, s = -5*k - 12 - 0. Let f(m) = -m**3 - 8*m**2 - 7*m - 10. Let v(n) = -1. Let a(w) = -f(w) + v(w). Is a(s) a multiple of 3?
True
Suppose -5*u = -2*j - 200, -5*j = -3 - 22. Is 7 a factor of u?
True
Let t be 33 + (1 - 3) + 4. Suppose 4 = 3*v - t. Is 13 a factor of v?
True
Let b = 0 + 4. Suppose -s - 2*u + 27 = -0*u, -b*s + 130 = -3*u. Does 15 divide s?
False
Let t = -16 + 22. Is 3 a factor of t?
True
Let d(k) = 3*k + 14. Does 14 divide d(0)?
True
Let o = 27 - 2. Is 13 a factor of o?
False
Suppose 2*d = -2*x + 46, 6*d - 2*d - 4*x - 108 = 0. Suppose 0 = -2*w + d + 3. Does 6 divide w?
False
Let t be 2/1 - (57 + -3). Suppose -4*m - 4 = -12. Let q = m - t. Does 19 divide q?
False
Suppose -u + 32 = -0*u + 5*j, 3*j - 204 = -5*u. Is u a multiple of 21?
True
Let i = -2 + 7. Suppose -21 = -3*m + 7*d - 2*d, -i*m = -5*d - 25. Suppose -m*o - 5 + 23 = 0. Is 9 a factor of o?
True
Is 7 a factor of (4 - -21 - -1) + 2?
True
Suppose -g - 4*w + 16 = 0, -19 = -5*g - 4*w + 13. Suppose 3*i = -2*z + 34, g*i = -0*z - 2*z + 34. Does 17 divide z?
True
Let r be (2 + 0)*(-111)/(-6). Let d = 7 + r. Is 27 a factor of d?
False
Let a(y) = y**3 + 8*y**2 - 8*y + 12. Let v be a(-9). Suppose 4*z - 55 = -v. Is 13 a factor of z?
True
Let f be (-80)/(-6) + 12/18. Let t be 4/f - (-1642)/(-14). Let z = -79 - t. Is z a multiple of 19?
True
Is ((-35)/(-1) + -2)*1 a multiple of 10?
False
Suppose -28 = -10*o + 9*o. Is 28 a factor of o?
True
Let d(s) = -2*s**3 + 0*s - 2*s**3 + 7*s**2 - 8*s + 5*s**3. Let m be d(-8). Suppose m*u + 24 = u. Does 24 divide u?
True
Let k = 1 - 1. Let q be (k - -60)*(0 - -1). Let s = 84 - q. Is s a multiple of 11?
False
Suppose -4 = -3*b + b + 4*t, -2 = -3*b + 2*t. Suppose 2*o - 17 - 95 = b. Let u = o - 16. Is u a multiple of 20?
True
Let g(p) = -p**2 + p - 1. Let v be g(2). Let k = 11 - v. Is k a multiple of 4?
False
Suppose -27 = -3*f + 114. Does 17 divide f?
False
Does 21 divide 10*6 - (-3 - 0)?
True
Suppose 5*m - 287 = y, 2*y + 236 = 4*m - 2*y. Is m a multiple of 13?
False
Let q(g) = g**2 + 5*g + 2. Let h be q(-2). Is 3 a factor of (h/(-8)*-18)/(-1)?
True
Let p(f) = -f**3 - 12*f**2 - f - 6. Suppose -2*z + 4 = -4. Suppose 0 = -3*k + 5*o - 0 - 11, -20 = z*o. Is 5 a factor of p(k)?
False
Suppose 45*d - 47*d - 4 = 0. Let r be 174/8 + 2/8. Let i = r - d. Does 14 divide i?
False
Let k be (6/(-9))/((-4)/30). Suppose 0 = 2*q, -k*w + 32 = -2*q - 63. Does 11 divide w?
False
Let i(u) = -59*u**3 + u**2 + u. Does 8 divide i(-1)?
False
Suppose -5*o + 575 - 200 = 0. Is o a multiple of 37?
False
Suppose -2*g + 266 = -n, -5*n + 10 + 10 = 0. Is g a multiple of 11?
False
Suppose -11 = 7*n - 116. Is n a multiple of 3?
True
Let n(y) = 2*y + 1. Let a be n(1). Suppose 4*w + 0*w - 39 = -5*o, w - 14 = a*o. Is 11 a factor of w?
True
Is 5 a factor of 1/2 - (-13)/2?
False
Suppose 2*m = -4*b - 0 + 2, 5*b = 0. Let h(k) = 48*k**2 + k - 1. Is 16 a factor of h(m)?
True
Suppose 0 = 29*t - 25*t - 612. Is 51 a factor of t?
True
Suppose 1196 = -h + 14*h. Does 16 divide h?
False
Let x(i) = 6*i**2 - 4*i + 10. Let g(c) = 3*c - 5. Let s be g(4). Let u be x(s). Is 9 a factor of (-4)/(-14) - u/(-14)?
False
Suppose -a = 5*o - 1202, 4*o = 3*a + 159 + 795. Let y = 126 - o. Is y/(-8) - 2/8 a multiple of 8?
False
Suppose 5*t = t + 108. Is t a multiple of 4?
False
Let j be (-6)/(-10) + (-128)/(-20). Suppose 11*q - j*q = 56. Is 11 a factor of q?
False
Let o(j) = 2*j + 39. Is 9 a factor of o(-15)?
True
Does 18 divide (-202 + 2 + -1)*(-64)/48?
False
Suppose 56 - 12 = p. Suppose -5*n + 51 = -p. Does 6 divide n?
False
Let j(u) be the third derivative of -u**4/24 - u**3 + u**2. Let d be j(0). Let v = 2 - d. Is 4 a factor of v?
True
Suppose 2*s = g + 112, 0*s - 5*g = -3*s + 168. Is s a multiple of 14?
True
Let c = -295 - -498. Is c a multiple of 28?
False
Let k = 76 + -43. Let l(w) = -w**3 - w**2 - w - 7. Let g be l(0). Let j = k + g. Is 13 a factor of j?
True
Is 3 a factor of ((-45)/(-12))/((-15)/(-40))?
False
Let g be (-26)/(-3) - (-5)/15. Suppose -z + g + 2 = 0. Is z a multiple of 11?
True
Let r(k) = 4*k**2 + k - 2. Suppose n + 3 + 0 = 0, -5*b - 16 = 2*n. Is 4 a factor of r(b)?
True
Let b = -10 - -4. Let n = b + 0. Does 12 divide (-50)/(-2) + 6/n?
True
Let p be ((-4)/(-4))/((-1)/9). Let m be (p/(-12))/(2/(-16)). Let d(a) = -3*a + 4. Is d(m) a multiple of 13?
False
Let w = 78 + -42. Is w a multiple of 17?
False
Let f(i) = -i + 1. Let d be (10 + -1)/(18/(-12)). Does 5 divide f(d)?
False
Suppose 2*w - 8 = -0*w. Let m = w + -1. Let o = m + 18. Is 10 a factor of o?
False
Let c(i) = i**3 + 4*i**2 - 2*i - 6. Let z be c(-4). Suppose -z*k + 0*k = -200. Suppose 0*o + k = 5*o. Does 7 divide o?
False
Let s(a) = a + 1. Let c be s(3). Suppose -c*i = i - 215. Is i a multiple of 13?
False
Let u = -253 + 397. Suppose -x = 3*x - u. Does 18 divide x?
True
Let u = -5 + -24. Let z = 5 - u. Does 17 divide z?
True
Let g be 373/3 - 8/(-12). Suppose -h = 4*p - 17, -6*p + p + 13 = 4*h. Suppose -i + 2*i = 3*r - 68, -p*r + 4*i = -g. Is 14 a factor of r?
False
Suppose 0 = -2*x - x + 12. Let l = x - -5. Is l a multiple of 9?
True
Let g(k) = k**3 + 54. Does 14 divide g(0)?
False
Let c = 28 - 5. Is c a multiple of 5?
False
Suppose -4*o = -8 - 12. Let q = 13 + -8. Suppose q*f - 40 = 5*v, 2*v - 22 = -o*f + v. Does 2 divide f?
False
Let u(p) = 5*p**2 - 2*p**2 + 3*p + 0*p**2 + 5 - 2*p**2. Suppose -4*d + 12 + 4 = 0. Does 11 divide u(d)?
True
Does 13 divide ((-1)/(10/(-16)))/((-18)/(-1170))?
True
Suppose -4*o + 2*l = -1346, 4*o + 3*l = 3*o + 354. Is 50 a factor of o?
False
Let w(q) = -9*q + 1. Let y be w(3). Let a = y - -46. Is 16/a*5/2 even?
True
Suppose 0 = 5*i - l + 55 - 5, -3*i = -l + 30. Let v = i + 6. Is 22 - v/(-6)*3 a multiple of 10?
True
Let x = -3 + 5. Is 14 a factor of (140/(-25))/(x/(-10))?
True
Suppose 0 = 2*n - 7*n. Suppose -3*l = -n*g + 4*g - 16, -16 = -4*g - 4*l. Suppose 5*y = -5*a + 45, 2*a - 3*y - g = 2*y. Does 3 divide a?
False
Let h(a) = a**3 + 11*a**2 + 14*a + 9. Let w be h(-9). Suppose -5*s - w + 0 = 0. Is 17 a factor of (153/12)/(s/(-24))?
True
Let g = 0 - 0. Suppose 2*k - k - 22 = g. Suppose 4*y - 5*y + k = 0. Does 11 divide y?
True
Suppose 4*s = -10 + 158. Does 24 divide s?
False
Let z(h) = h - 9. Let u be z(8). Is u/(-2)*-6 + 42 a multiple of 13?
True
Suppose 0*f - 12 = 2*f. Let g = 40 + f. Suppose 2*h - 2*l = g, 5*h - l - 44 = 53. Is 10 a factor of h?
True
Suppose 0*l + l = 4*k + 29, -4*l - 5*k = -53. Is 5 a factor of l?
False
Suppose 0*v = 5*v - 130. Is v a multiple of 9?
False
Let d(b) = -b**3 - 9*b**2 + 1. Let x be d(-9). Let j(h) = 44*h**3 + h**2 + h - 1. Is 15 a factor of j(x)?
True
Does 23 divide 71 - ((-2)/(-3))/((-17)/(-51))?
True
Does 16 divide (-2 - (-37)/(-2))*-2?
False
Let m(i) be the third derivative of -i**8/20160 - i**7/630 + i**6/72 + i**5/30 + i**2. Let q(s) be the t