*o**2 - 4*o + 1. Let g be b(-8). Is 6 a factor of r(g)?
False
Let r = -10 + 7. Is 16 a factor of 0 + r + 3 - -29?
False
Suppose 2*u + g = -17, 2*g - 1 = 1. Is 4 a factor of (-13)/(-3) + u/27?
True
Suppose -h - 6*f = -5*f - 35, -5*h - f + 167 = 0. Is h a multiple of 9?
False
Suppose -3*d - 3*k = 9, -5*d + k - 2 = -d. Is 18 a factor of 26/1*(3 + d)?
False
Let d(m) = m**2 - 7*m - 1. Let s be d(7). Let l = s + 22. Let g = -11 + l. Is 10 a factor of g?
True
Let t(q) = -q**2 - 5*q + 4. Let u be t(-9). Let v = 58 + u. Is 7 a factor of v?
False
Suppose p = -j + 133, -4*p + 267 + 281 = -4*j. Does 9 divide p?
True
Suppose -3*y = y - 20. Let r(n) = n**2 + 1. Let s(z) = 3*z**2 - 9*z + 9. Let d(c) = 2*r(c) - s(c). Is d(y) a multiple of 13?
True
Let g(p) = -2*p**3. Let k be g(1). Is 3 a factor of k/(-3) - 64/(-12)?
True
Let d be ((-8)/10)/((-4)/20). Suppose d*w + 51 = 3*y, -5*y - 8 = w - 70. Does 13 divide y?
True
Suppose 0 = 3*s + 12, r = -0*r - 5*s - 20. Suppose r = 5*y - 3*j - 233, -5*j - 27 - 24 = -y. Is 21 a factor of y?
False
Suppose 3*b = -0*b. Suppose b = -3*r + 68 + 28. Does 8 divide r?
True
Suppose 4*i = -2*f + 30, 0 = 5*f - f + 2*i - 30. Suppose 89 = 2*v - f*u, -u - 146 = -3*v - 6*u. Is v a multiple of 23?
False
Is 25 a factor of (-8)/(-3)*1083/76?
False
Let v(o) = o + 5. Let p be v(7). Suppose -2*y - p = -3*a + y, 5*a + 4*y = 38. Is -7 + a - 17/(-1) a multiple of 16?
True
Is (-22)/(-99) + (-3164)/(-18) a multiple of 15?
False
Let y(t) be the first derivative of -t**4/2 + 11*t**3/3 + 4*t**2 + 2*t - 8. Is y(6) a multiple of 10?
False
Let x = -9 - -15. Let o(k) = k**2 - 4*k - 6. Does 5 divide o(x)?
False
Is (1 + 0)/((-4)/(-168)) a multiple of 21?
True
Let z(g) be the second derivative of 3*g**4/4 + g**3/6 - g**2 - 3*g. Is z(-2) a multiple of 14?
False
Let d = 6 + -4. Suppose -d*i - 77 = -5*x - i, -2*x + 35 = i. Suppose -3*t = -2 - x. Is 4 a factor of t?
False
Suppose 8*p - 300 = 3*p. Is 2/(-5)*-1*p a multiple of 24?
True
Let x = 3 + -3. Suppose 4*f = -x*f - 124. Let n = -18 - f. Is 13 a factor of n?
True
Let i(g) be the third derivative of g**5/60 + g**4/6 + 3*g**3/2 - 3*g**2. Does 17 divide i(-6)?
False
Let b be 4/(-6)*(-63)/6. Let s(r) = -b*r**2 - r + 2*r - 8 + r**3 + 3*r. Is 16 a factor of s(7)?
False
Suppose 0 = -4*j + 12 + 44. Is 6 a factor of j?
False
Suppose -35 = -4*i + 137. Is 17 a factor of i?
False
Let k = 419 - 270. Is k a multiple of 8?
False
Suppose -2*g = g - 258. Let l = 51 - g. Let j = -8 - l. Is 8 a factor of j?
False
Suppose 2*s - 2*j = 0, -23 = s - 5*j - 7. Is 3 a factor of s?
False
Let a be (-6)/4 - (-9)/2. Suppose 18 = a*o - 3*j, o + 4*j - 22 = j. Does 7 divide o?
False
Let l(y) = -7*y - 10. Let i be l(-6). Let q = i - 23. Is 5 a factor of q?
False
Let h be 30/7 - (-4)/(-14). Let o be 2/(-2 + (-168)/(-82)). Suppose -o - 55 = -h*f. Is f a multiple of 12?
True
Let a(w) = w**2 + 5*w - 5. Let u = -5 + 5. Suppose u*t - m = t + 5, -2*t - 26 = -2*m. Does 19 divide a(t)?
False
Let r(a) = 10*a**2 - a - 1. Let g be (8/6)/((-4)/(-6)). Suppose -g*k + 0 - 2 = 0. Does 10 divide r(k)?
True
Let x = -97 - -177. Does 6 divide ((-4)/(-10))/(2/x)?
False
Let f = 14 - 8. Suppose 3*k + 30 = -f. Let t = -7 - k. Is 4 a factor of t?
False
Let u(j) be the first derivative of j**4/4 + 10*j**3/3 + 9*j**2/2 + 7*j + 3. Let i be u(-9). Is (-2)/(-7) + 145/i a multiple of 9?
False
Let d(m) = 3*m**2 + 8*m - 4. Let n(l) = 4*l**2 + 9*l - 4. Let g(s) = 3*d(s) - 2*n(s). Is 16 a factor of g(4)?
False
Let x(s) = -s**3 - 12*s**2 - 12*s - 7. Let c be x(-11). Let g = -4 + c. Suppose 2*f + f - 2*m - 73 = g, 3*f + 2*m - 53 = 0. Does 16 divide f?
False
Let x(f) = f**3 - 14*f**2 + 18*f - 19. Let v be x(13). Let d = v - 23. Does 23 divide d?
True
Suppose 6*a - 15 = 3*a. Suppose a*o - 110 - 45 = 0. Does 9 divide o?
False
Suppose 0 = 5*z + 5*u + 25, 2*z + 5*u = -z - 17. Is 1*2 - (-5 - z) even?
False
Suppose s + 3*s = 48. Does 26 divide (s/10)/((-3)/(-110))?
False
Suppose t - 42 - 8 = 0. Is 13 a factor of t?
False
Let h(p) = -7*p - 8. Let c be h(-14). Suppose -3*u + 4*v = v - c, -6 = 3*v. Is u a multiple of 15?
False
Suppose -t = -3*z + 28 + 2, -10 = -z - 4*t. Suppose 4*b - 18 - 8 = -3*u, 4*b - z = 5*u. Suppose -u*o + 3*o - 18 = 0. Is o a multiple of 9?
True
Let p(g) = -3*g**2. Let w be p(1). Is w/12*2*-10 a multiple of 5?
True
Is 2 a factor of (-15)/(-3) + -4 + 4?
False
Let k(x) = 7*x + 4. Does 13 divide k(4)?
False
Let i = 51 - -4. Suppose -3*b + i = 2*b. Is 3 a factor of b?
False
Is 2 a factor of 1*8/(-10)*-10?
True
Suppose 3*w = 7*w - 232. Let b = 7 - 12. Let z = w + b. Is 18 a factor of z?
False
Does 9 divide (-2)/1 - 110/(-5)?
False
Let i(l) = 2*l**2 + 14*l + 9. Let v be i(-9). Suppose 3*c - c - a = 5, -5*a + v = 4*c. Is c a multiple of 2?
False
Let j(t) = t**3 - 6*t**2. Is j(7) a multiple of 16?
False
Let q be ((-8)/3)/(2/(-102)). Suppose -q = -4*r - 0*r. Is r a multiple of 17?
True
Let x = 11 - 8. Let g be x/(-4)*(-36)/(-3). Let s(c) = -3*c + 9. Does 13 divide s(g)?
False
Let o be (-1355)/(-65) - (-2)/13. Is 13 a factor of 582/o + (-4)/(-14)?
False
Let c = -12 - -32. Is 10 a factor of c?
True
Let k(g) = g**3 + 9*g**2 - 7*g - 12. Let t(p) = -10*p**2 + 1. Let m be t(1). Does 18 divide k(m)?
False
Let a(u) = -u**2 - u + 2. Let j be a(-2). Suppose j = -2*x - 11 + 37. Is x a multiple of 6?
False
Suppose 7*z - 10*z = 0. Let u(j) = j**3 - j + 33. Is u(z) a multiple of 11?
True
Suppose 0 = 2*h + 6, -442 = -5*b + 2*h + 2*h. Let m = b + -38. Is m a multiple of 20?
False
Let i = 696 - 388. Does 22 divide i?
True
Let n(r) = r - 5. Let u = -11 + 18. Let m be n(u). Suppose -m*p = 4*o - 94, 5*o + 11 = 4*p + 148. Is 7 a factor of o?
False
Let f be 8/(-20) - 12/(-5). Let o(y) = y - 5 - 3 + 2 + 2*y**f + 5. Is o(1) a multiple of 2?
True
Let l be 10/(-4) + (-1)/2. Let k be (-3)/1*3/l. Let v = 1 + k. Is v a multiple of 3?
False
Let j = 39 - -62. Does 10 divide j?
False
Let i be (-2)/7 - 573/(-21). Is 6/i - (-61)/9 a multiple of 5?
False
Let l = -2 - -6. Let c be (-6)/(-6 - -3) - -2. Suppose l*u - c*r = 68, -5*u - r - r = -106. Is 10 a factor of u?
True
Suppose 9 - 34 = -2*s + v, -5*s = -3*v - 61. Suppose -o + 5 = -s. Is 8 a factor of o?
False
Let g be ((-3)/4)/((-1)/4). Let t(a) = a**2 - 7*a + 1. Let w be t(-11). Does 11 divide w/5 - g/(-15)?
False
Suppose 6*k - 4*j - 508 = 2*k, -4*k = 5*j - 517. Is 39 a factor of k?
False
Let l = -10 + 19. Is 9 a factor of l?
True
Let f(v) = -v + 9. Let s be f(6). Suppose 0 = -5*h + s*h - 54. Let d = -17 - h. Is 5 a factor of d?
True
Let a be -16 - (-4 + 1 - -2). Let m be 3/a + 16/5. Suppose -v + 20 = m*v. Does 5 divide v?
True
Suppose 131 = 7*m - 814. Is m a multiple of 45?
True
Let t = -57 - -90. Is t a multiple of 33?
True
Let o = 24 + 40. Is 17 a factor of o?
False
Suppose -t = -38 - 2. Is t a multiple of 10?
True
Let l = -157 + 236. Does 4 divide l?
False
Suppose 137 = 2*j - 11. Let i = -26 + j. Suppose -d + i = d. Is 9 a factor of d?
False
Let k(c) be the third derivative of c**6/120 + 7*c**5/60 - c**4/24 - 7*c**3/6 + 2*c**2. Let t be k(-7). Suppose t*d = 2*d - 64. Is d a multiple of 22?
False
Suppose -a = 7*a - 608. Does 19 divide a?
True
Let u = 10 + -7. Let a be 2/(-4) - (-18)/4. Suppose h + 2*h - 2*i = a, 9 = 3*h + u*i. Is h a multiple of 2?
True
Suppose x + 20 = 2*x. Is x a multiple of 4?
True
Let s(p) = -p**2 - 4*p. Let t be (-4)/(-10) - (-88)/(-20). Let n be s(t). Suppose n = -x + 15 - 5. Is 8 a factor of x?
False
Does 5 divide -3 + 414/4 + (-9)/18?
True
Suppose 2*c = -5*l + 410, -c - 2*c = -l + 82. Suppose l = -0*o + 2*o. Is 10 a factor of o?
False
Suppose 12 = -0*f + 3*f. Is f/10 - (-1770)/75 a multiple of 12?
True
Suppose -215 = -4*w - 71. Is 10 a factor of w?
False
Let a(j) = -j**3 - 2*j**2 - j. Does 20 divide a(-5)?
True
Let w = -34 + -6. Let r = 108 + w. Let i = -42 + r. Is i a multiple of 12?
False
Let q = -5 - -8. Suppose -4 = -t - 4*h, -q*t - 2*h - 22 = -7*h. Is 14 a factor of t/6 - 196/(-6)?
False
Suppose -5*t + 7 = -8. Suppose t = r - 0*r. Is r even?
False
Suppose 619 = 2*h - 3*j + 2*j, -2*h + 4*j + 628 = 0. Is 46 a factor of h?
False
Suppose 3*c + 9 + 3 = 0, 32 = 4*v - 3*c. Suppose -u = -v*u + 216. Does 18 divide u?
True
Let g(m) = 6*m**2 + 2 + m - 8*m + m**3 - 2*m + 0*m**2. Does 7 divide g(-7)?
False
Let o = 15 + -6. Suppose 