a multiple of 31?
True
Let s = -8 - -15. Let g = 0 + s. Is g even?
False
Let g be ((-10)/(-3))/(4/96). Suppose f = -2*d + 34, 2*f + 0*d + d = g. Suppose -f - 60 = -3*s. Is s a multiple of 17?
True
Let j = -1 - -33. Does 16 divide j?
True
Let i be (0 - 0) + 0 + 5. Suppose 5*h = -i*x + 140, x + 3*h = 3*x - 81. Suppose -3*l + 4*n + x = 0, 2*l + n = 5*l - 24. Is l a multiple of 7?
True
Let u be (5 + 0)*6/15. Let c = u + -3. Is (c - (-2)/2) + 8 a multiple of 4?
True
Let z = 39 + 17. Does 28 divide z?
True
Let q = 14 + -4. Let t = q - -3. Does 5 divide t?
False
Suppose 5*j = 4*j + 142. Is 29 a factor of j?
False
Let c = 2 - 0. Let l = c + -1. Is 8 a factor of ((-3)/5 - l)*-5?
True
Suppose -2*m + 0*m + 132 = 0. Suppose -m = -2*s + 8. Is 11 a factor of s?
False
Suppose -3*d = 3*f - 18, -2*d + 2*f + 6 + 2 = 0. Suppose 0 = -5*z - 2*l + 85, -d*z + 0*l = -l - 100. Let y = -12 + z. Does 6 divide y?
False
Let r(u) = u + 7. Let h be r(-5). Let y = h + 16. Is 18 a factor of y?
True
Let h(y) = y**3 + 6*y**2 - y. Does 6 divide h(-6)?
True
Let j be 16/9 + (-2)/(-9). Suppose -15 = -3*q - j*q. Is 3 a factor of q?
True
Suppose 3*x - 60 = -18. Suppose 2*a - 4 = 4*u, -5*u + x + 33 = 4*a. Is 3 a factor of a?
False
Suppose 3*b + 264 = 663. Suppose -2*u + k + 58 = -k, 5*u - b = 2*k. Is 18 a factor of u?
False
Is 41 a factor of (2 - 3) + 82 + 1?
True
Let w(o) = o**3 - 10*o**2 + 13*o - 12. Does 12 divide w(9)?
True
Let b(r) = -2*r. Let u be b(-2). Suppose 0 = u*d + 5*z - 135, -3*z + 39 = 4*d - 3*d. Does 10 divide d?
True
Suppose 0 = -2*n - 2*i + 27 + 43, -5*i = -n + 5. Suppose -f = f + a - 12, -5*f - 2*a + n = 0. Is 5 a factor of f?
False
Suppose 429 = 3*o + 4*t, -o - 3*t = -t - 143. Suppose -4*m + o = 5*s - 31, 4*s - 139 = -3*m. Is s a multiple of 23?
False
Suppose -k = -2*u - 232, 3*k = -7*u + 5*u + 680. Is k a multiple of 13?
False
Let g = -15 - -23. Suppose -7*t = -g*t + 29. Is t a multiple of 20?
False
Is 40 a factor of (26/(-4))/(0 + (-5)/190)?
False
Suppose -50 - 46 = -4*h. Suppose -60 = -2*x + h. Does 16 divide x?
False
Let d = -149 + 209. Suppose 2*j - d - 24 = 0. Does 14 divide j?
True
Let s(c) = -c**2 + 1. Let w(j) = 5*j**2 - 4*j - 2. Let x(m) = 4*s(m) + w(m). Is 11 a factor of x(6)?
False
Let j(z) = -z + 34. Is j(17) a multiple of 17?
True
Suppose -3*s + 4*u = 25, -2*s + 2*u = -2*u + 18. Let v(a) = -3*a - 10. Let m(y) = 3*y + 10. Let p(n) = 2*m(n) + 3*v(n). Is 9 a factor of p(s)?
False
Suppose -15 + 55 = 4*q. Does 7 divide q?
False
Suppose 3*y = 4*y - 2. Let w be (0/(-2 + 3))/(-3). Suppose y*q + q - 54 = w. Is 13 a factor of q?
False
Suppose 0 = 3*b + o - 14, 5*o + 38 = 2*b + b. Suppose -4*w + b + 18 = 0. Suppose -205 = g - w*g. Does 11 divide g?
False
Let p(a) = -4*a - 19. Let k be p(-9). Suppose -3*t + k + 139 = 0. Is t a multiple of 10?
False
Let v = 196 - 120. Does 38 divide v?
True
Let d = 35 + -23. Suppose 5*n = y - d, 5*y - 12 = 4*y + 3*n. Does 5 divide y?
False
Let i(z) = z**3 + 2*z**2. Let p be i(-2). Suppose -3*s = -4*s + 3. Suppose -b - s + 26 = p. Is 23 a factor of b?
True
Suppose -5*j - 5*c = 30, 3*c = -j - 0*c - 16. Suppose o - 5*o - 8 = 0. Does 16 divide -1 + (-117)/(j + o)?
False
Does 12 divide 3 + -2 - (-155 + 7)?
False
Suppose -4*k = -y + 20, 6*y - 3*y - 27 = k. Suppose y*w - 8 = 4*w, -5*w - 178 = -4*t. Does 16 divide t?
False
Suppose 3*w - 6 = 126. Is w a multiple of 11?
True
Let b(w) = -55*w**2 + 2*w - 5. Let y(s) = 28*s**2 - s + 3. Let f(u) = -4*b(u) - 7*y(u). Suppose -23 = 3*x + 4*r, 4*x + 9 = -r - 0*r. Does 10 divide f(x)?
False
Let o(j) = 5*j - 2 + 2*j - j. Is 9 a factor of o(3)?
False
Suppose 5*u = 2*u + 663. Is 13 a factor of u?
True
Let c = 12 + 42. Is 28 a factor of c?
False
Let u(y) = 5*y**3 + 13*y**2 + 7*y - 4. Let p(r) = -4*r**3 - 12*r**2 - 6*r + 3. Let h(q) = -6*p(q) - 5*u(q). Is h(7) a multiple of 9?
True
Let d = 8 + -12. Is (-3)/6*184/d a multiple of 16?
False
Let j = 28 - 26. Is -17*(j/(-1) - 2) a multiple of 17?
True
Let d = 23 - 20. Is d a multiple of 3?
True
Suppose -o - 1 = -16. Does 3 divide o?
True
Let a(b) = -b**3 - 7*b**2 + 5*b + 10. Let m be a(-7). Let z = m - -37. Is z a multiple of 7?
False
Let a(c) = -c**3 + 3*c**2 + 4. Let m(s) = -3*s - 3. Let v be m(-2). Let z be a(v). Suppose 4*j = -l - z*l + 10, l = j - 7. Does 2 divide j?
False
Suppose -4*d = -5*f - 36 + 202, 0 = -3*f - d + 86. Is f a multiple of 15?
True
Let k(g) = 2*g**3 - 3*g**2 + 136. Does 20 divide k(0)?
False
Let m = 126 - 68. Is 26 a factor of m?
False
Does 13 divide 21/(-28)*104/(-2)?
True
Let o(z) = -3*z - 9. Let x = -2 - -3. Suppose i + 6 = -x. Is o(i) a multiple of 6?
True
Let r be (1/(-1))/(-1) + 20. Suppose -2*v + 14 = 44. Let i = v + r. Does 6 divide i?
True
Suppose 3*h = 3*w - 246, 5*w = h + 283 + 147. Is 22 a factor of w?
False
Is 3 - ((-450)/2)/5 a multiple of 16?
True
Let i = 11 + 8. Does 15 divide i?
False
Suppose 0 = 2*q - c - 439, -5*c + 127 = q - 65. Is 7 a factor of q?
True
Let u(v) = v**2 - v - 5. Let p be u(0). Let n = p - -8. Suppose 20 = n*x - 97. Is x a multiple of 13?
True
Let y = 35 - 6. Suppose -5*t - 61 = y. Let o = 32 + t. Is o a multiple of 7?
True
Suppose -8 = -3*w - 2. Suppose 3*t + w*t = 75. Is t a multiple of 5?
True
Suppose -5*a + 158 = -2*m, -155 = -10*a + 5*a + 5*m. Is 4 a factor of a?
True
Suppose 115 = 5*y - 4*y. Let g = -23 + y. Is 18 a factor of g?
False
Let z be 10/(-35) + (-508)/(-14). Suppose 4*n = 3*n - 5*b + z, 0 = -5*n - 5*b + 80. Suppose -2*w = 3*g - 3*w - n, -1 = -w. Does 2 divide g?
True
Suppose -c - m + 112 = 0, -4*c + 177 = -3*m - 292. Is 23 a factor of c?
True
Suppose 0*s = 2*s - 14. Let z = s + -9. Is 8 a factor of z/(-2) + 22 + 1?
True
Is (-1)/6 + 183/18 a multiple of 5?
True
Let r(i) = -i**3 - 7*i**2 + 2. Let l be r(-7). Let w(n) = n + 6 - n**3 + 10*n**2 - 6*n - l*n. Is w(9) a multiple of 20?
False
Let t(p) = -p**3 - 5*p**2 - p - 1. Let n be t(-6). Suppose 4*k = 4*h - 0*h + 88, -2*h - 71 = -3*k. Let f = n - k. Is 14 a factor of f?
True
Let k = 92 - 56. Is k a multiple of 18?
True
Let j(v) = 0 + 3 + 120*v - v**2 - 115*v. Does 3 divide j(4)?
False
Suppose 7 - 3 = -c, -3*c - 10 = -j. Let d = 27 - j. Is 17 a factor of d?
False
Let u(s) = -s**3 - s**2 + s + 57. Suppose 4*c - 6 = 2*y + y, -y = -5*c + 2. Is 19 a factor of u(c)?
True
Suppose -x - 17 = -157. Is 14 a factor of x?
True
Does 5 divide (-1282)/(-12) + 35/(-42)?
False
Let h(l) be the first derivative of l**3/3 + l**2/2 + l + 1. Let k be h(-1). Suppose -20 = -2*t + 6*t, -3*q = t - k. Is 2 a factor of q?
True
Suppose l = u - 30, 0 = -u - 0*l - 5*l + 18. Does 6 divide u?
False
Suppose 7*l = 4*z + 4*l - 105, 5*z + l - 117 = 0. Let r = -5 + z. Is r a multiple of 19?
True
Suppose -k = -36 - 2. Is k a multiple of 19?
True
Let t(w) = w**2 - 8*w + 3. Let g be t(7). Let x = g + 7. Is x a multiple of 3?
True
Suppose -2*x + m + 117 = 0, 4*x - 5*m + 49 = 274. Is x a multiple of 15?
True
Suppose 17*d = 14*d. Suppose 3*v - 91 = -5*s - 21, d = 3*s - 2*v - 61. Is 5 a factor of s?
False
Let g(p) be the third derivative of p**5/12 + p**4/24 + 2*p**3/3 - 4*p**2. Is g(-3) a multiple of 13?
False
Does 24 divide 48*1*(-5)/(-5)*1?
True
Let s = -12 - 0. Let f be (-9)/s + (-18)/(-8). Suppose f*h - 84 = -2*z, 0 = h + 5*z - 5 - 10. Is h a multiple of 15?
True
Let m(h) = -h**3 - 7*h**2 - h - 3. Let i be m(-7). Suppose 0*c = -i*c + 4. Is (c/3)/((-1)/(-6)) even?
True
Suppose -4*r + j + 0*j = -9, -4 = 4*j. Does 8 divide 2/1*19/r?
False
Let y(u) = 3*u**2 + u - 11. Is y(5) a multiple of 3?
True
Suppose -3*u = 4*p + 7, 0*p + 11 = -2*p + u. Let g(b) = -3*b + 6. Let f be g(4). Is (4 - -29)/(f/p) a multiple of 9?
False
Suppose -5*q + 68 = -62. Is q a multiple of 13?
True
Let g(t) be the third derivative of -31*t**4/24 + t**3/6 + 5*t**2. Does 21 divide g(-2)?
True
Let i be (-1*6)/3 + 7. Suppose 2*m - 115 = -5*n, 2*n + i*m = -n + 88. Is n a multiple of 13?
False
Let f = 35 - 23. Let h = 18 - f. Is (-3)/h*9*-6 a multiple of 16?
False
Suppose -5*d = -11 - 94. Is d a multiple of 7?
True
Suppose 4*z - 355 = 3*l, z + 2*l = 2*z - 95. Is z a multiple of 17?
True
Suppose 3*u - 5 = 1. Suppose 2*x + u + 16 = 0. Does 6 divide x/15 + 126/10?
True
Suppose -4*v + v = 2*i - 137, v = i - 56. Is 26 a factor of i?
False
Suppose -4*j = -6*j + 32. Is 4 a factor of j?
True
Suppose -3*m + 5*l + 219 = 0, 