Is 25 a factor of h(7)?
True
Let x = -12 - -32. Suppose 2*y + 16 = 3*w + w, -5*w + x = 2*y. Suppose 6 = -y*g + 2*g. Is g even?
False
Suppose -7*z + 6*z = -160. Is 32 a factor of z?
True
Let f(t) = -5*t**2 - t. Let y be f(-1). Let c = y - -20. Is c a multiple of 16?
True
Let z be 2 + ((-3)/3)/(-1). Let o(q) = -1 + 4*q**2 - 3*q**2 - z - 2*q. Is o(5) a multiple of 6?
False
Let v(l) = l + 9. Let j be v(-8). Suppose -j + 3 = b. Is (-4 - -3 - b) + 8 a multiple of 5?
True
Let r(i) = 27*i - 1. Let d(l) = -l**2 + 11*l + 13. Let b be d(12). Is 13 a factor of r(b)?
True
Suppose 0*n = -6*n + 84. Suppose n*f = 18*f - 20. Is 5 a factor of f?
True
Let m(q) = 4*q + 13. Does 16 divide m(12)?
False
Let w = 118 - 68. Suppose -2*y = -w + 14. Is 10 a factor of y?
False
Let n = -4 + 11. Let u = n + 17. Is 8 a factor of u?
True
Suppose -g + 59 = 4*g + b, -2*g + 4*b + 28 = 0. Is g a multiple of 3?
True
Let f(w) = -w - 8. Let q be f(-11). Let r be (-1526)/(-8) - (-1)/4. Suppose 4*z = -3*o + 108, -q*z = -4*o - 22 + r. Does 18 divide o?
False
Let v(i) = 21*i - 3. Let j = 33 - 20. Let o = j - 11. Is v(o) a multiple of 13?
True
Suppose 4*c - 438 = 5*l, 4*l = -4*c + 10 + 446. Is 16 a factor of c?
True
Let d(b) = 7*b**2 - 17*b + 5. Let f(a) = -4*a**2 + 9*a - 3. Let n(i) = 3*d(i) + 5*f(i). Is 3 a factor of n(7)?
False
Let f = 0 - -16. Suppose 5*q + 4*d - 43 = 123, 0 = -4*d + f. Is q a multiple of 12?
False
Let k = 4 - 2. Suppose -k*s - 3*s - 4*u - 95 = 0, 4*s = -5*u - 67. Let y = -4 - s. Is 19 a factor of y?
True
Let g = -41 - -58. Is 8 a factor of g?
False
Let y(t) = -6*t - 2. Let h be y(-2). Let p(i) = -3*i**2 + 2*i**2 + h*i - 4*i + 3. Does 9 divide p(4)?
False
Suppose 4 = 4*w - 8, -h = -2*w - 7. Suppose p = 11 + h. Does 9 divide p?
False
Suppose -9*k + 32 + 13 = 0. Does 2 divide k?
False
Let o = 1 + 1. Suppose -3*a + 4 = -4*r + 143, 0 = 2*r + o*a - 80. Does 14 divide r?
False
Suppose 0 = -13*l + 9*l + 168. Is 14 a factor of l?
True
Let i(q) = -q**2 - q + 39. Does 20 divide i(0)?
False
Suppose 0 = y - 4*b - 6, y + 2*y + 3*b = -27. Let j = -1 - y. Does 3 divide j?
False
Suppose -3*r - 2*q + 42 = 0, 0*r = r - 5*q + 3. Is 14 a factor of 141*((-28)/r)/(-7)?
False
Let a = 9 - 6. Suppose 2*t - 17 = -c, 5*t = c - a*c + 45. Suppose -3*y + 22 + t = 0. Is 7 a factor of y?
False
Let c(j) = -j**3 - 3*j**2 + 6*j + 2. Let v be c(-4). Let n = 11 + v. Suppose 0 = -3*x + 4*x + n*i - 13, 0 = -3*i + 3. Is x a multiple of 4?
True
Let v = -10 - -12. Is 21 a factor of v/2*(-3 - -25)?
False
Is (-7)/((-3)/27*3) a multiple of 21?
True
Let h(a) = 2*a**2 - a + 1. Suppose k - 5*g - 10 = 0, -5*g = -0*k - 3*k + 20. Suppose -12 = t - k*t. Is h(t) a multiple of 8?
True
Let l(t) = -t**3 + 6*t**2 + 8*t - 5. Let o be l(8). Let z = o - -49. Is 8/z - 27/(-5) a multiple of 2?
False
Let v(f) = -4*f + 6. Let k be v(5). Let q be (-4)/k + (-80)/(-14). Is (-4)/q + (-23)/(-3) a multiple of 3?
False
Let d(z) = -z**2 + 6*z - 4. Let x be d(3). Suppose v - 37 = x*u, -3*v + 7*v = 2*u + 166. Does 14 divide v?
True
Let u = 23 - -37. Is 20 a factor of u?
True
Let j(t) = 9*t - 18. Let v be j(-9). Let i = v + 159. Is i a multiple of 15?
True
Let z(c) = -c - 2. Let t be z(0). Let b be 24 + t - -1*3. Let l = b - 13. Is l a multiple of 6?
True
Suppose b - q = -0*b, 0 = 3*b + q - 20. Suppose t + c - 3*c = 14, t + b*c = 21. Does 8 divide t?
True
Let c(m) = 16*m**3 - m**2 - m + 1. Let u be c(1). Let f be (-2)/4 + u/6. Suppose -f*d + 20 = -d. Does 10 divide d?
True
Suppose -5*p + 3*p - 34 = 0. Let z = 46 + p. Suppose -36 = -k - k - 3*u, 4*u + z = k. Is k a multiple of 14?
False
Let v(o) be the second derivative of -1/3*o**3 - 1/20*o**5 + 1/2*o**2 + o - 1/6*o**4 + 0. Is 5 a factor of v(-2)?
True
Let p = -7 - -14. Let w(r) be the first derivative of -r**3/3 + 7*r**2/2 + 8*r + 13. Is w(p) a multiple of 7?
False
Suppose -6*d + 2*d = 0. Suppose -3*a + 73 + 23 = d. Does 16 divide a?
True
Let u be ((-15)/9 + 2)*21. Suppose -5*w - u = -37. Does 4 divide w?
False
Does 24 divide 2/6 + 497/21?
True
Let v(r) be the third derivative of -r**6/120 - 7*r**5/60 - 5*r**4/24 + 2*r**3/3 + 2*r**2. Let h be v(-6). Does 12 divide (-99)/6*h*1?
False
Suppose -o - 164 = -3*o. Does 11 divide o?
False
Let s = 5 - 2. Suppose -21 = -s*d + 3*j - 0*j, -4*d + 2*j = -32. Is 4 a factor of d?
False
Suppose 196 - 56 = -5*h. Let y be 4/(-10) + 73/(-5). Let o = y - h. Does 11 divide o?
False
Is 2 a factor of (-10)/35 + (-60)/(-14)?
True
Suppose -3*c - 4*v + 61 = v, -4*c + 86 = 2*v. Is 11 a factor of c?
True
Is (-4 - 2)*(-3)/6 a multiple of 3?
True
Let q(v) = v. Let b(w) = 2*w**2 - 9*w. Let l(o) = b(o) + 2*q(o). Let y(n) = n**2. Let p(x) = -l(x) + 3*y(x). Does 17 divide p(-10)?
False
Let z = 7 - 5. Let n(m) = 4*m - m**3 + 0*m**2 - z*m**2 + 5 - m**2. Is n(-4) a multiple of 5?
True
Let m(s) = s**2 + 10*s - 2. Let h be m(-12). Does 11 divide ((-24)/(-4))/(4/h)?
True
Let j be (-52)/(-16) + (-1)/4. Let y(u) = -u**j + 5 + 2*u**2 + 4*u - 5. Does 11 divide y(-3)?
True
Is 13 a factor of (-1)/((-3)/495) - (3 - 7)?
True
Suppose -5*y + 35 = -100. Does 10 divide y?
False
Let g(a) be the second derivative of -a**3/6 + a**2 + 3*a. Let u be g(-2). Suppose u*z - 3 = 9, -4*s + 83 = -3*z. Is 14 a factor of s?
False
Let a = -15 + 2. Let s = a + 26. Does 13 divide s?
True
Let m be ((-1)/1 - -3) + 0. Suppose m*x + x - 3*q = 27, 3*x = -3*q + 9. Suppose 0*d = -d + x. Is d a multiple of 3?
True
Suppose -n + 7 = -2*n. Let a(f) = -6*f - 15. Does 26 divide a(n)?
False
Let m = 223 + -116. Is 40 a factor of m?
False
Let r(y) = y - 2. Let q(o) = 6*o. Let b be q(1). Let s be r(b). Suppose 0*m = 3*m - 2*t - 1, s*m + 3*t = 24. Is 2 a factor of m?
False
Let x = 21 + 66. Is x a multiple of 18?
False
Suppose -2*y + 9 + 1 = -4*s, -s - 20 = -4*y. Suppose 0 = -y*j - 0*j + z - 205, 2*j - z + 82 = 0. Let w = j - -80. Is 19 a factor of w?
False
Suppose 156 = -5*l - 5*s - 399, 0 = -2*l - s - 222. Let f = -71 - l. Is 20 a factor of f?
True
Suppose 3*l = l + 70. Is l a multiple of 7?
True
Let n = 43 - 33. Is n a multiple of 5?
True
Let c(a) = a**2 + 3*a - 4. Let x be c(-4). Does 9 divide (x - 2)/(4/(-30))?
False
Let d = 10 - 7. Suppose -20 = 5*m, l - d*l + 14 = -m. Suppose -2*g - 32 = -b + 11, l*g = -2*b + 77. Is b a multiple of 11?
False
Let u be 507/6 - (-1)/(-2). Suppose -3*g - 4*f - 137 = 0, -2*g = -f - 0*f + u. Let q = -14 - g. Does 11 divide q?
False
Let g = -27 - -69. Let m = g + -11. Is m a multiple of 22?
False
Is (75/4)/(24/32) a multiple of 5?
True
Suppose i + 3*i = 12. Let w(j) = 2*j - 7*j**2 + 1 - 4*j**3 - i*j + 3*j**3. Does 8 divide w(-7)?
True
Let i(v) = v**3 - 4*v**2 - 3*v - 2. Suppose 15 - 5 = 2*l. Let g be 1 + (l/1 - 1). Is i(g) a multiple of 4?
True
Let m(f) = f**2 - 5*f + 3. Let d be m(5). Suppose d*r = 6*r - 120. Is r a multiple of 23?
False
Let m = 76 + -41. Is m even?
False
Let k = -18 + 52. Is 7 a factor of k?
False
Let m = 17 + -13. Suppose 5*t + m*i - 3*i - 138 = 0, t - 20 = -4*i. Is 28 a factor of t?
True
Let q be 42/4*2 - -2. Suppose 0 = 2*a + 5*j - 8, 3*a + j = -j + q. Is 3 a factor of a?
True
Suppose 4*m - 310 = -m. Let k = -22 + m. Is 20 a factor of k?
True
Suppose 0 = -h - 3*y + 47, -y = 4*y. Is 12 a factor of h?
False
Suppose 3*a + b - 213 = -2*b, 5*a - 331 = 3*b. Is 19 a factor of a?
False
Let g = 228 - 79. Is g a multiple of 26?
False
Suppose -430 = -5*q - 50. Is q a multiple of 29?
False
Suppose 3*r - 4 = -4*z + 7*r, -4*r + 4 = 0. Suppose 6*a - z*a = -12. Let h = a - -8. Does 5 divide h?
True
Suppose -2*k - 56 = -210. Is 7 a factor of k?
True
Let i = 23 + -45. Let m = 97 + i. Does 19 divide m?
False
Let b be (1 - 4)*(-12 + 1). Suppose -1 = 2*x - b. Is 9 a factor of x?
False
Let h be 0 - 2 - (-263 - -4). Suppose 3*t + 5*s + h = 0, 5*s = 2*s + 15. Does 16 divide t/(-3) + 6/9?
True
Suppose -69 = 3*b - 261. Is b a multiple of 29?
False
Let p = 1 - -2. Suppose 0 = s - p*s + 24. Is 10 a factor of s?
False
Does 64 divide (-3)/((-117)/(-6)) - (-44781)/143?
False
Let p(q) = 2 - 6 + q - 14*q. Let l be p(-6). Suppose 5*i = -3*c + 56 - 0, -4*i = -3*c + l. Is 11 a factor of c?
True
Suppose 4*r - 10 = 3*n, -n + 3*r = -2*n + 1. Let b be (-8)/52 + n/(-13). Suppose b = -3*i - 2*a + 23, a = 4*i - 3*a - 24. Is 6 a factor of i?
False
Suppose 4*c + 4*w + 364 = 0, -w + 5*w = 2*c + 158. Let k = -45 