 r. Does 9 divide k?
True
Let m = -48 - -48. Let w(q) = q**3 + 2*q + 67. Does 8 divide w(m)?
False
Let s(t) = -t**2 + 7*t - 9. Let f be s(5). Is (f + 39)*(6/5 + 0) a multiple of 22?
False
Let n(w) = -w**3 - 5*w**2 + 16. Let z = 76 + -82. Does 27 divide n(z)?
False
Suppose -2*v + 84 = 2*g - 1336, -4*v + 20 = 0. Is 46 a factor of g?
False
Suppose -8*g + 936 = -2*g. Is g a multiple of 13?
True
Let a(h) = -91*h**3 - h - 2. Is 30 a factor of a(-1)?
True
Let r(z) = 17*z**2 - 27*z - 192. Is 10 a factor of r(-6)?
False
Let o(y) = -12*y**3 - 45*y**2 - 13. Does 29 divide o(-7)?
False
Let q(h) be the third derivative of h**5/20 + h**4/24 - 2*h**3/3 - 7*h**2. Let z be q(2). Does 15 divide (z/(-6))/((-1)/9)?
True
Let s be (272/(-12))/((-4)/6). Let a = s - 24. Suppose -d - a = 4*m, -d + 3*d = -5*m - 8. Is d a multiple of 3?
True
Let k = 785 - 316. Is k a multiple of 67?
True
Let p(k) be the first derivative of 7*k**4 + k**2/2 - 2*k + 14. Is 28 a factor of p(2)?
True
Let t(y) = -y**3 - 3*y**2 - 34*y - 21. Is 10 a factor of t(-7)?
False
Let n(w) = -w - 9. Let a be n(-11). Suppose q - 6*q + 3*l = -163, -2*l = a. Is 2 a factor of q?
True
Let p(c) = -13*c - 59. Let a(q) = q**2 + 5*q - 12. Let x be a(-5). Is p(x) a multiple of 7?
False
Let y be ((-2)/3)/2 - 2712/(-9). Suppose 7*l - y = -49. Does 9 divide l?
True
Let i = 6 - 4. Let y = i + 2. Let g(m) = -m**2 + 5*m + 3. Does 6 divide g(y)?
False
Let i(c) = 11*c + 4*c - 5*c + 0*c - 50. Is i(8) a multiple of 8?
False
Let d(h) = -h**3 - 7*h**2 - 8*h - 6. Suppose 0 = 3*r + 7 + 17. Let o be d(r). Let i = -54 + o. Is 17 a factor of i?
True
Is (-3 - -139)/(-8)*-27 a multiple of 17?
True
Let o = 9 - 5. Does 25 divide o/22 + 6786/66?
False
Suppose -9 = u - 4*u. Suppose -u*j = -6*j + 111. Suppose 3 + j = 2*l. Is 20 a factor of l?
True
Suppose 44*r - 116*r + 90720 = 0. Does 63 divide r?
True
Suppose 2*y = -2*w + w, 5*w - 15 = 5*y. Suppose w*t - 136 = -2*t. Is 11 a factor of t?
False
Suppose 19 = 3*d - 0*p - 2*p, -3*p - 26 = -4*d. Suppose 4*f + 2*w = w + 88, 0 = -d*w - 20. Suppose 3*v = -a + 24, -v + f = a + v. Is 7 a factor of a?
True
Suppose -u + 75 = -o, o = -o - 6. Is 10 a factor of ((-3)/(-9))/(2/u)?
False
Let s be (-36)/126 - (-310)/7. Suppose -o + 5*o - s = 0. Is o a multiple of 4?
False
Let b(g) = g**2 - 2*g + 190. Is 33 a factor of b(0)?
False
Suppose 0 = 3*r + 2*x + 66, 0 = -r - 0*r - 3*x - 22. Let m = -23 - r. Is 5 + 3/m - -16 a multiple of 10?
False
Let j = 40 - 71. Let l = 75 + j. Is 4 a factor of l?
True
Let y(q) = -q**2 + q + 6. Let u(i) = -i**2 + 6. Let r(z) = 4*u(z) - 5*y(z). Is 10 a factor of r(-4)?
True
Let w be (-284)/12 - 2/(-3). Suppose 0 = 4*z - 7 - 5. Let x = z - w. Does 11 divide x?
False
Let a = 7 - -19. Let m(w) = -w**3 + 25*w**2 + 26*w + 32. Is m(a) a multiple of 13?
False
Suppose 0 = -6*v - 2*v + 344. Suppose 9*w - 8*w = v. Is 10 a factor of w?
False
Let y(s) = 701 - 701 + 3*s + 4*s**2. Suppose h + 3*n + 4 + 3 = 0, -4*h + 4*n - 12 = 0. Is 20 a factor of y(h)?
False
Suppose h + 4*u - 186 = 0, 15 = -4*u + u. Let a = h + -122. Does 14 divide a?
True
Suppose -22*o + 10366 = -11084. Does 13 divide o?
True
Let f = -138 - -143. Suppose -4*c = 0, f*c = 2*k - 0*c - 100. Is 5 a factor of k?
True
Suppose -315*b = -323*b + 192. Is b a multiple of 4?
True
Suppose 0 = 5*n - 1 - 24. Does 7 divide 2 - (-5 - (n - -78))?
False
Is 2 a factor of (-12)/(-14)*(-98)/(-2)?
True
Let h(a) be the second derivative of 0 + a - 1/6*a**3 + 17/2*a**2. Does 3 divide h(8)?
True
Let c(j) be the first derivative of j**4/4 + 5*j**3/3 - 7*j**2/2 - j + 1. Let z be c(-6). Suppose 2*d - 4*u = 4*d - 10, -5*u - 10 = -z*d. Is d a multiple of 3?
True
Let u(z) = 3*z**3 + 3*z**2 - 11*z - 23. Is u(5) a multiple of 31?
True
Suppose 114 = 5*y - 5*d - 116, 5*d - 157 = -4*y. Is 43 a factor of y?
True
Suppose 3*c - 66 = -2*c - 2*k, -3*k + 21 = c. Suppose 3*u = -4*i + c, 0*u - 9 = -3*i + 3*u. Does 3 divide i?
True
Suppose 0*r = -4*r - y + 3556, 0 = r + 5*y - 908. Is 26 a factor of r?
False
Suppose -1226 = -19*d + 8749. Does 21 divide d?
True
Suppose 0*f - 467 = 4*c + 3*f, -3*c + 3*f - 324 = 0. Let k = c - -161. Does 6 divide k?
True
Let s be 1495/(-26) - (-2)/(-4). Let l = 26 - s. Let t = -59 + l. Is 21 a factor of t?
False
Let d = -83 + 83. Suppose -2*l - 6*l + 176 = d. Is l a multiple of 22?
True
Suppose 1207 + 2357 = 12*q. Is 27 a factor of q?
True
Let t = -2903 + 8073. Is 55 a factor of t?
True
Let z = -134 - -172. Is z a multiple of 5?
False
Is 35 a factor of 7 - (-3)/(9/(-45300)*-5)?
False
Is 152 a factor of 12*-7*(0 + (-1573)/26)?
False
Let m = -12 + 16. Suppose -12 = m*a, -5*g - a = -5*a - 117. Does 7 divide g?
True
Suppose -24 = -5*n + 106. Suppose 0 = -10*w - n + 306. Does 28 divide w?
True
Let l = -26 - -36. Let k(x) = 14*x - 92. Let i be k(7). Let m = l - i. Does 2 divide m?
True
Suppose -2*d - c = -7, 3*d + 8*c - 5*c - 12 = 0. Suppose -2*t - d*t - 4*l + 508 = 0, -2*t - l + 202 = 0. Does 28 divide t?
False
Let m = 266 + -447. Let a = m + 453. Is a a multiple of 16?
True
Let i(z) = z**3 - 10*z**2 + 10*z - 7. Let x be i(9). Suppose 5*m = -x*y - 112 + 8, y = 4*m + 78. Let d = 28 + m. Is d a multiple of 8?
True
Suppose -5*n + 986 = 2*t, 2*t = -n - 9 + 203. Does 33 divide n?
True
Suppose 2*w - 44 = 5*m - 0*m, 2*w + m - 20 = 0. Let j = 12 + w. Does 6 divide j?
True
Suppose -1 = -2*n + 3. Let r be (-92)/(-24) - n/(-12). Suppose 0 = 5*c + x - 128, c + 0*c - r*x - 34 = 0. Is c a multiple of 22?
False
Let d(f) = -f**3 - 19*f**2 + 10*f + 5. Let m be d(-20). Suppose -781 = -4*o - m. Is o a multiple of 18?
True
Let s = 4511 + -2303. Is 12 a factor of s?
True
Let o(l) = 10*l**2 + 11*l - 11. Let z be o(7). Suppose 4*d + 172 = z. Does 26 divide d?
False
Let p(t) be the first derivative of 3*t**3/2 - t**2 - 5*t - 4. Let l(f) be the first derivative of p(f). Is 8 a factor of l(2)?
True
Let g(s) = -91*s + 13. Is 25 a factor of g(-4)?
False
Let l = -16 - 34. Let h = l - -80. Is h a multiple of 6?
True
Suppose 4*t + 8 = -2*g, 0 = -5*t + 4*t - 3*g + 3. Let y(d) = d**2 - 2*d - 5. Is y(t) even?
True
Let k = -7 + -93. Let w = 244 + k. Does 16 divide w?
True
Suppose 0 = 3*n - 38 + 143. Let j be (-1)/(-1)*n + -1. Does 25 divide (-405)/18*j/10?
False
Let a be 4/(-14) + 36/126. Suppose -3*i + 191 - 2 = a. Is 13 a factor of i?
False
Let x = -90 + 127. Suppose -3*f + x = -2*a, 5*f - 35 + 5 = -3*a. Does 6 divide f?
False
Suppose 0 = -9*q + 8*q + 4. Suppose q*m + 8 = 32. Suppose -16 = -o - m. Is o a multiple of 10?
True
Suppose 12 = g + 2*g + 3*d, -d = -2*g + 8. Is 4 a factor of 4/2*(g - 0)?
True
Suppose 102*v - 113*v + 2409 = 0. Is v even?
False
Suppose -3*h = -2*v - 0*h + 1339, 0 = -3*v + 2*h + 2011. Suppose 11*t - 154 - v = 0. Is 13 a factor of t?
False
Suppose 7*y - 199 = 298. Is y a multiple of 2?
False
Let a = 8 + -7. Let r(z) = -z**2 + 1. Let x(w) = 42*w**3 + 3*w**2 - 4. Let g(l) = 5*r(l) + x(l). Is 11 a factor of g(a)?
False
Let z(v) be the first derivative of -v**3/3 - 7*v**2/2 - 4*v + 10. Let t be z(-7). Let a(x) = -4*x - 5. Is 11 a factor of a(t)?
True
Let j = -7 - -9. Let a(n) = n**3 + 7 - 3*n**2 + n**2 - j*n + n**2. Is a(3) a multiple of 5?
False
Let b(i) = -4*i**3 + 2*i**2 + 18*i + 14. Does 5 divide b(-4)?
True
Let z be (-235)/(-45) - 6/27. Let y be 2 - (-3 - (3 - z)). Let o = y - -78. Does 21 divide o?
False
Let k(x) = -x**3 + 5*x**2 - 9*x + 2. Let l be k(4). Let p = l - -44. Let n = 10 + p. Is 12 a factor of n?
True
Suppose 14*f - 15 = 13*f. Suppose -4*u = f - 155. Does 2 divide u?
False
Suppose -d = 5*j + 2*d - 23, -13 = -4*j + 3*d. Suppose -34 = -j*b + 150. Let p = b + -19. Is 9 a factor of p?
True
Suppose -6 = -3*c - r, -r = -c + 8 - 2. Suppose c*p - p - 776 = 0. Suppose -2*i + 0*y = 2*y - 144, 0 = 5*i - 2*y - p. Is i a multiple of 19?
True
Let m be (-75)/(-10)*6/9. Suppose -163 = m*h + 22. Let n = -29 - h. Is 8 a factor of n?
True
Suppose -a - 2*t = -80, -8*a + 3*t = -3*a - 452. Does 11 divide a?
True
Let o = -1663 - -1005. Let j be o/(-126) + (-4)/18. Does 5 divide ((-1)/1)/(j/(-80))?
False
Let d = 144 + -81. Let z = d - 47. Is z a multiple of 4?
True
Suppose -3*h + r = -23, -3*h + 3*r = -2*h - 5. Is h a multiple of 4?
True
Let w be 1 - 2/(-2) - 2. Is 8 a factor of (w - 4) + 4 - -8?
True
Let x = -79 - -855. Does 48 divide x?
False
Let m be ((-2)