r**2 + 9*r + 16. Let w(c) = -4*y(c) - 9*z(c). Let b = -2 + 10. Is 16 a factor of w(b)?
True
Let q = 594 + -303. Does 38 divide q?
False
Let y be (-2*1 - -3)*3. Suppose -2*f - y*f = -655. Suppose 5*t + 0*g - 126 = -4*g, -5*t + g = -f. Is t a multiple of 20?
False
Let i be (-185)/(-10) + (-2)/(-4). Suppose -3*k + i = -5*a + 124, 0 = -k + 5. Is a a multiple of 8?
True
Let h(g) = 4*g**3 + g**2 + 5. Does 31 divide h(3)?
False
Let a = -75 + 123. Is a a multiple of 8?
True
Let o(r) = r + 1. Does 13 divide o(12)?
True
Let s(x) = -24*x - 1. Is s(-8) a multiple of 11?
False
Let u(d) = -2*d**3 + d**2 + d - 3. Is 4 a factor of u(-2)?
False
Let k(z) = -7*z - 1 - 4*z - 5*z + 8*z. Is 5 a factor of k(-2)?
True
Is 50 a factor of 99 - (2 - 0)/(-2)?
True
Let f = 64 + -37. Is f a multiple of 4?
False
Suppose -9 = -3*j, 6*j - 11 = 4*g + j. Is (3 + g)*54/4 a multiple of 14?
False
Let f(r) = -r + 1. Let c be f(1). Suppose c*g + 6*g = 570. Is 28 a factor of g?
False
Suppose 3*r = 3*i + 1032, -5*r + 1289 = 5*i - 421. Is r a multiple of 49?
True
Let o(u) be the first derivative of u**2/2 + 7*u - 1. Let v = 11 + -2. Is 16 a factor of o(v)?
True
Suppose 7*b = 2*b - 35. Let u = b - -11. Suppose -14 - 10 = -u*n. Is n a multiple of 6?
True
Let t(q) = q**2 + 5*q + 4. Let p be t(-5). Is -4*p/(1 - 2) a multiple of 8?
True
Let j = -5 + 2. Let x be j*(0 + 1 - -5). Let h = 7 - x. Is h a multiple of 9?
False
Let v be 2*5 + (-33)/11. Let o(x) = 7*x + 5*x**2 - 3*x**2 - 3*x**2 + 8. Is 6 a factor of o(v)?
False
Let i = 35 + 79. Is i a multiple of 9?
False
Let i(x) = x**3 - 10*x**2 + 9*x - 2. Let d be i(9). Let y be 8/(4/d)*2. Is (-5 + 2)/(6/y) even?
True
Let z(p) = 2*p**2 + p + 19. Does 26 divide z(-8)?
False
Let z be 3/(-2) - 7/(-2). Suppose 170 = 5*l - 2*u, u = -z*u. Let g = l + -19. Does 13 divide g?
False
Suppose -3*z + w = -3*w + 8, 2*z - 3*w + 7 = 0. Suppose 59 = z*h + 19. Does 3 divide h?
False
Let h(m) = 14 - 5 + 18 - m**2 + m. Does 9 divide h(0)?
True
Let o(f) = -f**2 - 12*f + 8. Let v be o(-9). Suppose -3*l + 90 = -3*t - 0, -3*t + v = 2*l. Does 9 divide l?
False
Is 8 a factor of 39/(5/((-10)/(-3)))?
False
Suppose 0 = 7*v - 3*v + 16. Let s be (-3)/(-1 - v) + 0. Is s/(2 - (-117)/(-57)) a multiple of 7?
False
Suppose 395 = 5*c + 5*u, 4*c - 387 = -c + 3*u. Is c a multiple of 23?
False
Does 11 divide ((-77)/4)/(-1 + 14/16)?
True
Let f be 51/((1/(-4))/(-1)). Suppose -2*c + f = 2*c. Is c a multiple of 14?
False
Suppose 24*x = 26*x - 96. Is 16 a factor of x?
True
Let h(o) be the third derivative of o**4/24 + 13*o**3/6 - o**2. Let y be h(-11). Suppose 3*r + y*r = 40. Is r a multiple of 3?
False
Let j be (1 - (-2)/(-5))*5. Let a be 4/j + (-4)/(-6). Suppose a*k - 3*k + 7 = 0. Is 7 a factor of k?
True
Let n = 6 - 8. Let z = n - -6. Is 3 a factor of 5 + -2 + -1 + z?
True
Let d(y) = -2*y - 24 + 0*y + 17. Suppose 2*b - 4*b - 18 = 0. Does 11 divide d(b)?
True
Does 10 divide 23/1*(5 - 4)?
False
Suppose 5*z - 4*n - 20 = 0, -3*z + 12 = -2*n + n. Suppose 3*d - 26 = u, u - 22 = d - z*d. Is 9 a factor of (-70)/(-4) + 4/d?
True
Let w(v) = 7*v - 35. Let c(a) = -8*a + 35. Let h(g) = -6*c(g) - 7*w(g). Let f be h(0). Suppose 5*o + 5*y = f, -5*o = -0*o + y - 47. Is 5 a factor of o?
True
Suppose 0 = -2*v - 2, -5*w + 2 = v + 3. Suppose w = -4*n + 125 + 35. Suppose -3*j - 5*y + n = -75, -y - 81 = -2*j. Does 13 divide j?
False
Let c be ((-5)/3)/((-2)/(-6)). Is 16 a factor of ((-54)/c)/(1/5)?
False
Let u(l) = 4*l - 1. Suppose -q = -2*p + p + 6, 0 = q - 5*p + 22. Let v be q/2 - 9/(-1). Does 11 divide u(v)?
False
Suppose -3*p - q = -3, -3*q - 9 = 2*p - 4. Let v(u) = u**2 + 2*u - 3. Let g be v(p). Suppose -3*j + 28 = -g. Does 11 divide j?
True
Let b = -14 + 6. Let o = 24 + b. Is o a multiple of 5?
False
Suppose 5*x - 6 - 4 = 0. Suppose 0*c + x*c - 2*p = 34, 5*p - 5 = -c. Does 8 divide c?
False
Let v(g) = g**2 - 2*g. Let p be v(2). Suppose -5*b + 4*z + 100 = 0, -36 = -2*b + 4*z + 4. Suppose -2*x = -p*x - b. Is 10 a factor of x?
True
Is (24/(-2 - -3))/(16/48) a multiple of 18?
True
Let k = -11 + 18. Let n = k + 2. Is n a multiple of 9?
True
Suppose -3*s + s = -106. Is 10 a factor of s?
False
Suppose 232 = 4*w + 72. Is 20 a factor of w?
True
Let j = 2 + 13. Suppose 0*h + 3*h - j = 0. Is 4 a factor of h?
False
Suppose 3*h = -3*a + 2*h - 56, 2*h = -2*a - 44. Let f = -7 - a. Let l = 20 - f. Is 5 a factor of l?
True
Suppose 5*a - 28 = -5*c + 12, -4*a + 17 = -c. Suppose -c*f - f = -264. Does 22 divide f?
True
Let i(a) = -3*a - 16. Let d be i(-7). Suppose -2*y + 17 = -d. Does 4 divide y?
False
Let a = 8 - -3. Suppose -2*n - 16 = 4*r, 3*n - n + 3*r + a = 0. Is 2 a factor of n?
True
Let j = -16 - -23. Let p = 9 - j. Suppose p*i = 5 + 9. Does 4 divide i?
False
Is (-5)/20 + 101/4 a multiple of 15?
False
Let q(r) be the second derivative of r**4/6 + 5*r**3/3 + 4*r**2 - 2*r. Does 12 divide q(-7)?
True
Suppose -3*r = -8 - 1. Is 3 a factor of -1 + (3 - r) + 4?
True
Suppose 173 + 82 = 3*u. Is 17 a factor of u?
True
Let j = 25 + -25. Suppose j = -5*y - y + 294. Does 10 divide y?
False
Suppose -2*z = -z - 45. Is 10 a factor of z?
False
Let i = 9 + -1. Suppose i = w + 2*s - 7, 5*w - 51 = -4*s. Is w even?
False
Suppose -236 - 60 = -4*f. Suppose -5*x + 206 + f = 0. Is 16 a factor of x?
False
Let j(d) = -2*d**3 - 4*d**2 - d + 2. Let a be j(-2). Suppose 2*h - 134 = 4*x, a*h - 165 - 91 = 4*x. Is 3/6 + h/2 a multiple of 11?
False
Suppose -35 + 5 = -5*r. Suppose -3*y = -r*y - 45. Let d = 25 + y. Is d a multiple of 10?
True
Let d(c) = 46*c - 1. Let k be d(1). Is 2 + -4 + k + -1 a multiple of 14?
True
Let w = 4 + 10. Is w a multiple of 3?
False
Let m = -1 + -1. Is (m + 1)/1*-17 a multiple of 17?
True
Is 19 a factor of 39/2 + 4/(-8)?
True
Let b = -20 + 14. Let z(t) = -2*t + 1. Is z(b) a multiple of 13?
True
Does 11 divide (4 + 5/(-4))/((-1)/(-84))?
True
Suppose 5*p - 3 = c - 48, 0 = c + 3*p - 61. Is 25 a factor of c?
False
Let m(u) = u + 1. Let s be m(2). Suppose -46 = -s*f + 3*i + 41, 3*i = -2*f + 58. Does 17 divide f?
False
Let m = 100 - 142. Let c = -22 - m. Is c a multiple of 10?
True
Suppose 6*m - 162 = -60. Is 17 a factor of m?
True
Let j be 6/(-10)*(-2 - 3). Suppose -2*b - 143 = -j*h, -b + 57 + 101 = 3*h. Is 17 a factor of h?
True
Is 21/(-35) - (-38)/5 a multiple of 3?
False
Suppose 0*m - 2*m = -24. Suppose 5*w + 2*o - 2 = -26, 5*w - 4*o + m = 0. Is 2 + (w - -2) - -11 a multiple of 9?
False
Let j be (-4)/18 + (-2)/(-9). Suppose -4*n + 5 = n + 5*r, -3*n - r + 9 = j. Suppose -n*f + 166 = 6. Is f a multiple of 20?
True
Let x = 163 + -1. Does 8 divide x?
False
Let u = 28 + -20. Suppose 2*f + 2*f = u. Is (-14)/6*(-12)/f a multiple of 14?
True
Let c(q) = 2*q**2 + 3*q - 4. Let n be c(-7). Let r = n + -8. Let a = r + -20. Does 17 divide a?
False
Suppose 19 + 21 = 5*p. Is p a multiple of 8?
True
Let a(p) = -p**2 - 8*p + 3. Let i be a(-6). Suppose 2*k - 21 = -l, -2*k + 41 = 2*l + i. Does 7 divide k?
False
Suppose -5*u + 0*u + 115 = 0. Is 11 a factor of u?
False
Let w(t) be the first derivative of t**2/2 - 11*t - 3. Let o be w(10). Does 10 divide (-156)/(-8) - o/2?
True
Let d(n) = 5*n**2 - 2*n - 2. Let a(r) = r + 4. Let y be a(-6). Is d(y) a multiple of 5?
False
Let w = -17 + 32. Is 11 a factor of w?
False
Suppose 4*l - k - 117 = -2*k, -5*k - 59 = -3*l. Is 14 a factor of l?
True
Let n = 88 + -50. Is 19 a factor of n?
True
Let r(i) = -13*i. Does 13 divide r(-5)?
True
Let j be (-8)/(-3)*(-54)/4. Let a = j + 73. Does 17 divide a?
False
Let q(y) = 18*y**2 - y - 2. Is 4 a factor of q(-1)?
False
Suppose 0 = -10*g + 8*g + 978. Is 72 a factor of g?
False
Let q = -9 - -11. Suppose 9 = b + s + q*s, 0 = -3*b + 4*s + 66. Is 9 a factor of b?
True
Let h be (3 + -4)*5*-2. Does 8 divide 2/5 - (-236)/h?
True
Suppose -3*l = -5*b - 85, 3*l - 70 = -0*l + 2*b. Is 2 a factor of ((-36)/l)/((-1)/5)?
False
Let l be (-2)/(-3) + 6/18. Let j be (l + -8)/(0 - 1). Suppose 4*w + 13 = 4*z + 57, -z + j = w. Is 3 a factor of w?
True
Let q(h) = -5*h + 7. Let r be q(5). Is 6 a factor of (r/(-8))/((-24)/(-320))?
True
Suppose -5*l + 137 = 2*b, 0 = -b + 4*l + 44 + 5. Does 26 divide b?
False
Let b(z) = -z**3 - 2*z**2 - 5*z - 3. Let t be b(-3). Suppose -15 = -3*i + t. Suppose 3*l = 4*l - i. Is 6 a factor of l?
True
Let n be -5*(-3)/((-3)/(-4)). Suppose -4*o + 0*o = -n. Suppose 0 