False
Let y(h) = 4*h**2 + 15*h - 4. Let i(q) = -5*q**2 - 15*q + 5. Let k(d) = -3*i(d) - 4*y(d). Suppose 0 = 4*m - 4*c + 16, -c - 15 = 4*c. Is 20 a factor of k(m)?
False
Suppose -3*r + 1597 = r - v, -803 = -2*r + 5*v. Is 44 a factor of r?
False
Let u(x) = -4 + 2 + 9*x - 5 + 0*x. Suppose 0 = -3*f - 11 + 26. Is u(f) a multiple of 19?
True
Suppose 4*b + 80 - 16 = 0. Let q = 34 + b. Is q a multiple of 15?
False
Let g(s) = 2*s**2 - 3*s + 3. Let a be g(2). Suppose -15 = 2*i - 5*i. Suppose -8 = -u + i*d - 0, 4*u + a*d - 57 = 0. Does 8 divide u?
False
Let a(o) = -o**3 + 12*o**2 - 8*o - 9. Is 7 a factor of a(5)?
True
Suppose -4*c - 5*n + 225 = c, -4*n + 36 = c. Is 6 a factor of c?
True
Let t(q) = -q + 1. Let m be t(0). Is 10 a factor of 2 + 31 + (m - 4)?
True
Suppose 2*d + 82 = i - 2*d, 0 = i - 2*d - 80. Does 12 divide i?
False
Suppose 88 = -m + 2*m. Suppose -3*w = -i + 248, -w - m = i - 0*i. Let v = w + 119. Is v a multiple of 9?
False
Suppose -48 = -x - 2*x. Suppose -4*n - x = 0, 4*f + 41 = 5*n + 157. Does 12 divide f?
True
Let z be (-81)/(-4) + (-2)/8. Suppose u = 3*r + z, 4*r - 10 = -3*u + 3*r. Suppose 0 = -4*x + 43 + u. Does 12 divide x?
True
Let t = 161 + -108. Is 4 a factor of t?
False
Let d = -9 - -35. Does 13 divide d?
True
Let g(m) = 4*m**3 - m**2 - m + 1. Let b be g(1). Does 6 divide 38/b + 10/(-15)?
True
Is ((-60)/8)/((-3)/30) a multiple of 15?
True
Suppose 0 = 4*q + 8, -4*i + 3*q = -2*q - 158. Does 12 divide i?
False
Suppose -5*p + 211 = -294. Is p a multiple of 47?
False
Let l be 1 - 0 - (-2 + -3). Suppose 42 = -3*q + l*q. Does 5 divide q?
False
Suppose 0 = -t + 4, -v - t + 4 = -0*v. Let i(p) = -p**3 + 5*p**2 + p - 5. Let m be i(5). Suppose -4*x + v*x + 48 = m. Is 12 a factor of x?
True
Let g = -13 + 16. Suppose -6*k + 5*f = -2*k - 361, g*k + 2*f - 242 = 0. Is k a multiple of 22?
False
Suppose 5*t - 2*t - 15 = 0. Let a(l) = 20*l + 1. Is a(t) a multiple of 26?
False
Let x(z) = z**2 + z - 2. Let o = 1 - -12. Suppose -2*b - t = -4*b + 1, 2*b + 3*t = o. Is 2 a factor of x(b)?
True
Let q(z) be the second derivative of 4/3*z**3 + 1/20*z**5 + z - 1/2*z**4 - 2*z**2 + 0. Is q(5) a multiple of 5?
False
Let b = 3 - 1. Suppose 34 = 4*s - 2*s + 5*m, 3*s = b*m + 70. Is s a multiple of 6?
False
Suppose -4*y + 17 = 45. Does 13 divide y*5*6/(-7)?
False
Suppose -5*n = -7*n + 56. Is n a multiple of 11?
False
Let z = 629 - 437. Is z a multiple of 15?
False
Let k(p) = -p**2 - 13*p - 17. Let v be k(-11). Suppose -6*i + v*i = -8. Does 8 divide i?
True
Suppose -n + 1 = v - 1, 3*v = -2*n + 2. Suppose -n*c = -4 + 16. Is 13 a factor of (8/(-5))/(c/60)?
False
Let n(q) = q**2 + 10*q + 13. Let p be n(-10). Let o(x) = x - p - 1 + 3*x. Is 15 a factor of o(10)?
False
Suppose l = -3*l - 736. Is l/(-5) - (-4)/20 a multiple of 22?
False
Let q be 122/14 - 32/(-112). Does 4 divide (-3 - -3) + -3 + q?
False
Let o(d) = -2*d + 1. Let u be o(-2). Suppose -3*v + 4*h + 16 = -7, u*v + 5*h = 50. Does 3 divide v?
True
Let t(g) = 16*g**2 + g + 1. Does 21 divide t(-3)?
False
Suppose -3*s + 159 + 150 = 3*l, -5*s + 4*l = -506. Is s a multiple of 15?
False
Suppose 3*u - u = 138. Let g be -2*(-94)/8*-2. Let t = g + u. Does 22 divide t?
True
Suppose 0 = t - 3*t + 52. Suppose -5*v = -5*u + 65, 5*u - 9 = -5*v + t. Is 5 a factor of u?
True
Suppose 6*l = 4*l + 2*m + 12, -4*m = 4. Let s = l - -4. Is 9 a factor of s?
True
Suppose -2*p = -18 + 8. Let d(b) = b**3 - 2*b**2 + 2*b - 2. Let l be d(2). Suppose l*y - p*y = -78. Is y a multiple of 10?
False
Let z = 7 + -4. Suppose -2*i - 2*u - z*u = -31, -3*i = 2*u - 52. Is i a multiple of 4?
False
Suppose 0 = -a - 4*l + 95, 5*a + 5*l - 4*l = 380. Is a a multiple of 15?
True
Is 8 a factor of (-16)/((-16)/40*(-5)/(-4))?
True
Suppose 2*g = c - 44, 136 = -3*c + 6*c - 4*g. Is 12 a factor of c?
True
Suppose -4*x + 0*x = -408. Suppose -32 = 2*w - x. Does 9 divide w?
False
Let a(i) = -i**2 + 5*i + 3. Suppose 4*y + 2*d = 30, 2*y + 4*d - 19 - 11 = 0. Let x be a(y). Suppose -x*u = 0, -2*l - l = -5*u - 39. Is l a multiple of 6?
False
Let f(k) = -k**2 + 8*k + 13. Does 4 divide f(7)?
True
Suppose -20 = -2*o - 180. Is (o/(-25))/(1/5) a multiple of 16?
True
Let n(v) be the second derivative of -v**5/20 - v**4/3 + 4*v**3/3 + 5*v**2/2 - 3*v. Let i be n(-5). Is ((-8)/i)/((-6)/(-45)) a multiple of 5?
False
Is 41 a factor of 16/(-8) + 5*(42 + -2)?
False
Is (-194)/(-6) - (-33)/(-99) a multiple of 8?
True
Let x be 8*(0 - (-22)/(-4)). Let a be x/(-12) - (-1)/3. Is (-2)/a + (-33)/(-6) a multiple of 2?
False
Let m(o) = o - 9. Let a = -8 + 17. Let d be m(a). Suppose -w - 3*p + 6 + 22 = d, -76 = -4*w - 3*p. Is 8 a factor of w?
True
Let t(a) = 4*a**3 - a**2 - 2*a - 7. Does 11 divide t(3)?
False
Let i(l) = -37*l + 57. Does 13 divide i(-9)?
True
Suppose 4*r + 2*t - t - 9 = 0, -5*r + 11 = t. Suppose -r*j = 4*j - 72. Is 4 a factor of j?
True
Let d(x) = 2*x + 2. Does 9 divide d(10)?
False
Suppose 2*r - 5*r = -189. Is r a multiple of 12?
False
Suppose 3*t - 26 = -4*b, b - 20 = -b - 5*t. Suppose -5*d = b*o - 205, 0*d + o = -4*d + 152. Does 10 divide d?
False
Let k(j) = j**3 - 7*j**2 - 8*j - 9. Let s be k(8). Let g = 26 + s. Does 12 divide g?
False
Suppose -2*z = -z - 14. Does 28 divide (-4)/z - (-788)/14?
True
Suppose -x = -4*b + 14, 0 = -b + 2*x - 6*x + 12. Let k = -2 + b. Is k even?
True
Let j(g) = 8*g**2 + 2*g + 15. Let k(l) = -7*l**2 - 2*l - 14. Let w(t) = -6*j(t) - 7*k(t). Let p be w(-7). Suppose 3*x - 26 = p. Is x a multiple of 10?
False
Let h(w) = -w**3 + w**2 + 6*w + 1. Does 12 divide h(-3)?
False
Suppose -4*b - 166 = -2*k - 7*b, -b = -2. Is 8 a factor of k?
True
Suppose 5*m + 40 = -3*f + 113, 63 = 3*m - 3*f. Is 4 a factor of m?
False
Is 40 a factor of (-1 - 19)/((-4)/30)?
False
Suppose -2*q + 0*q + 13 = a, -4*q - 4*a = -36. Is 142/q + (-2)/(-4) a multiple of 12?
True
Suppose -c = 5*n - 13, -n + 9 = 2*c + 1. Suppose c*q + 2*l = 27, 7*q - 4*l - 16 = 3*q. Is q even?
False
Let b(m) = m**3 + 10*m**2 - 10*m - 4. Let i be b(-10). Suppose 4*h - i = -0*h. Is h a multiple of 11?
False
Let u = -3 + 8. Suppose -u*f = -2*m - 0*m - 74, -3*m - 89 = -2*f. Is 16 a factor of 3/(m/(-13) - 2)?
False
Suppose 2*b = -2*g + 6*g - 26, -4*g - 2*b = -38. Suppose 0*n - g = -2*n + 2*y, 3*y = -5*n + 20. Does 7 divide 1*4*n - -1?
False
Suppose -5*i - 3*f = f - 38, -f = -2. Suppose z = 4*z - i. Suppose -4*k + z*b + 138 = 0, -2*b - b = 9. Does 11 divide k?
True
Let l be 3/(0 + 6/4). Suppose -l*q + 78 = 2*i, 2*i - 122 = -i + 2*q. Let t = i - 28. Is 6 a factor of t?
True
Suppose f - 5*h - 19 = 0, -2*f - 3*h + h = -2. Suppose -f*z - 1 + 9 = 0. Suppose -3 = -q + z. Does 5 divide q?
True
Suppose -4*s + 5 + 15 = 0. Suppose -5*h = -20 - s. Suppose 5*a - 78 = -4*b, -a = -5*a - h*b + 66. Does 6 divide a?
False
Suppose 3*a = 2 + 13. Suppose 2*m - 2*u + a*u - 27 = 0, -3*u + 15 = m. Does 12 divide m?
True
Let b = 234 - 159. Is b a multiple of 15?
True
Let j(a) = -a**2 - 22*a + 10. Is 7 a factor of j(-21)?
False
Let x be (0 + 2)/(-1 + 0). Let w be ((-9)/4)/((-2)/(-8)). Let b = x - w. Is b a multiple of 7?
True
Suppose 0 = t - 2, -3*t + 124 = 5*k - t. Is k a multiple of 6?
True
Let f(q) = 6*q**2 + 2 + 3*q + q**3 - q - 8. Let i be f(-5). Suppose 0 = -a + 29 - i. Is 10 a factor of a?
True
Let v(g) = -g**3 + 5*g**2 - 7*g + 6. Let t be v(4). Is ((-3)/t)/((-2)/(-200)) a multiple of 20?
False
Suppose -3*w + 11 = 2. Suppose 5*u = 4*j - 1, w*j + j = 3*u - 1. Is (2 + -2)/j - -12 a multiple of 6?
True
Suppose 9 = 2*d - 6*y + y, 2*d - 2*y - 6 = 0. Does 2 divide (2 - d) + (2 - -3)?
False
Is 56 a factor of 1 - -388 - (0 + (-5 - -7))?
False
Let p(m) = 4*m**3 - 3*m - 3 + 0*m**2 + 5*m + 3*m**2 - 5*m**3. Let w be p(3). Does 16 divide 4/w*(-27)/(-2)?
False
Let c be (-1)/4 + (-12)/(-48). Let m(p) = 3*p**2 + 3*p - 4. Let l be m(4). Suppose s + c*s = 3*t - l, -t + 22 = 3*s. Is t a multiple of 15?
False
Suppose -36 = -2*n + n. Suppose -u + 5*u = n. Does 4 divide u?
False
Suppose -5 = c + 4*c. Let u(k) = -5*k**3 - 2*k**2 - 2*k - 1. Is u(c) a multiple of 4?
True
Let c be 21/(3/(3/1)). Let b = c + 9. Does 10 divide b?
True
Let q = -130 + 472. Is 18 a factor of q?
True
Let w = -5 - -13. Is w + 4 + -2 + 2 a multiple of 11?
False
Suppose -5*t = -k + 239, -4*k = 3*t - 156 - 915. Is k a multiple of 38?
False
Suppose 0 = 2*h + 2*z + 2, -2*h + z - 1 = 4. 