 o*l. Does 15 divide z?
True
Suppose -2*a - 4*v + 976 = 90, -3*v + 888 = 2*a. Does 25 divide a?
False
Suppose 4*s = s + 15. Suppose s*h - 10*k - 988 = -7*k, -h + 216 = 4*k. Is 20 a factor of h?
True
Let h be -1 - (2 + -1) - -186. Suppose -5*m = i - 67, -h = -i - 2*i + 2*m. Does 9 divide i?
False
Suppose -378 = -2*k + 1602. Is 15 a factor of k?
True
Suppose 5*l - 35 = -10*m + 5*m, m - 3*l = -5. Suppose -572 = -m*n + 4*c, 0 = -6*n + n + 3*c + 721. Is 7 a factor of n?
False
Let q(y) be the second derivative of -y**5/20 + 7*y**4/12 + y**2 + 7*y. Let t = -16 - -20. Is q(t) a multiple of 10?
True
Let y = 5 - -58. Suppose -5 = -5*m, 4*x = -5*m + 4*m - y. Let a = x + 35. Is 17 a factor of a?
False
Let n(h) = -4*h**3 - 10*h**2 - 21*h - 54. Is 24 a factor of n(-6)?
True
Let x(k) = 3*k - 6. Let u = -7 - -44. Suppose 0 = 4*b + 4*t - 36, 2*t = 3*b + 3*t - u. Is 9 a factor of x(b)?
True
Let h(s) be the first derivative of -s**4/4 + s**3 + s**2 - 11*s - 21. Is h(-5) a multiple of 32?
False
Let k(c) = -c**3 - 11*c**2 + 6*c - 6. Let r be k(-12). Let w = -30 + r. Is 12 a factor of w?
True
Let n(w) = -3*w**3 - 18*w**2 - 60*w + 11. Does 16 divide n(-5)?
False
Let d(w) = 3*w**2 - 29*w - 12. Let s be d(10). Is (-46)/s + (-2)/(-2) a multiple of 3?
True
Let k(i) = -i + 1. Let s(o) = 14. Let a(w) = 6*k(w) - s(w). Let t = 140 + -147. Is 17 a factor of a(t)?
True
Let c(b) = b**2 - 12*b + 7. Let o be c(9). Let y(i) = 2*i + 1. Let u be y(-5). Let v = u - o. Does 3 divide v?
False
Let v = -13 + 13. Suppose -p = 0, -4*q - 3*p = -v*q - 136. Is 8 a factor of q?
False
Let y(r) = 26*r**2 + 2*r - 4. Let h be y(2). Is h*(-2)/(-7) - (-42)/147 a multiple of 10?
True
Let u(l) = l**3 - 12*l**2 + 9*l - 8. Let j be u(12). Suppose 7*h - 2*h = j. Does 4 divide h?
True
Let g(t) = -t**3 + 48*t**2 - t + 78. Is g(48) a multiple of 4?
False
Let n be (-1)/(-5) + (-72)/(-40). Suppose n*x = -l - 0 + 3, 5*l - 33 = -x. Does 3 divide l?
False
Suppose 3*x = -p + 5, 3*p - 10 = -x - 3. Let z = p + 114. Suppose 0 = -2*n + z - 16. Does 16 divide n?
False
Suppose 0*j + 2*j - 3*x - 822 = 0, x + 1654 = 4*j. Is 23 a factor of j?
True
Let r(k) be the second derivative of -k**5/20 + 5*k**4/12 + 3*k**3/2 - k**2 + 7*k. Let y be r(6). Let s = y - -59. Does 15 divide s?
True
Suppose 5789 = 15*u - 16366. Is 11 a factor of u?
False
Suppose -3*c + 15 = 0, 8*c - 588 = 2*x + 4*c. Let b = x + 404. Is 8 a factor of b?
True
Let w = 563 + -410. Does 24 divide w?
False
Suppose 5*f = 3*f + 128. Let m be (15 - f) + (1 - 1). Let x = m - -90. Does 11 divide x?
False
Suppose 0 = -12*q + 56181 - 5205. Does 13 divide (-3)/2*q/(-27)?
False
Let i = 335 - 205. Is 10 a factor of i?
True
Let d(z) = 334*z - 625. Is d(9) a multiple of 93?
False
Let n be 0/((-1)/(-1) - 4). Suppose 2*t = -5*r + 164, n*r + 22 = r - 5*t. Suppose -7*o = -3*o - 3*v - 197, 0 = o + 5*v - r. Is o a multiple of 19?
False
Let b(u) = -u**3 + 5*u**2 + 30*u + 2. Does 17 divide b(-5)?
True
Let j(x) = -18*x**3 - 4*x**2 + 7*x + 20. Does 15 divide j(-4)?
True
Let c(x) = x**2 - 7*x + 63. Does 29 divide c(18)?
True
Suppose -5*h + r = -24, 0*h - 2*r + 4 = 3*h. Suppose 5*o - 975 = -h*g, -o = 5*g - 1279 + 76. Is g a multiple of 24?
True
Let z(h) = -2*h**2 + 6*h. Let i be z(3). Suppose 147 = 3*o + 2*k, 0*k - 2*k = i. Does 6 divide o?
False
Suppose 0 = -3*s + 3*r + 42, 49 = 5*s - 3*r - 11. Let z(g) = 3*g**2 - 12*g - 2. Is 36 a factor of z(s)?
False
Let i be 403 + (3 + -1 - 5). Suppose i = 8*k - 24. Is 14 a factor of k?
False
Let d(a) = 52*a**2 - 4. Suppose 2*g - 3*y - 7 = 1, 0 = 2*g - y. Does 35 divide d(g)?
False
Let b = -89 + 48. Let n = 1 - b. Is n a multiple of 23?
False
Let a be 9/(-2)*12/9. Let q = -161 - -203. Let f = q + a. Is 9 a factor of f?
True
Is ((-19572)/154)/(-6) + 2/(-11) a multiple of 7?
True
Suppose 4*t - 126 = 2*l - 16, 4 = 4*l. Suppose w = -4*x + 6*w - 14, 3*x + 5*w + t = 0. Does 7 divide -8 - x - (-23 + 1)?
False
Let q = 0 + 10. Suppose 2*b = -x + q, x + 3*b - 6 = 9. Let o = x - -29. Is 23 a factor of o?
False
Suppose -8 = -x - 3. Suppose -k = -x - 47. Is k a multiple of 21?
False
Suppose -i - 1527 = -j - 0*i, 0 = 4*j - 3*i - 6105. Is j a multiple of 13?
False
Let l = 4 + -4. Suppose -5*x + 8*x = l. Suppose 5*u + 184 = 2*i + 64, x = -2*u. Does 15 divide i?
True
Let b = -30 + 37. Let c(q) = 5*q - 13. Is c(b) a multiple of 11?
True
Suppose 0 = -3*h - 3*v + 2862, 3*h + 2*v - 2858 = -0*h. Is h a multiple of 43?
False
Let x = -19 + 21. Let j(v) = -7*v**2 - 4*v + 5. Let w(h) = -27*h**2 - 17*h + 21. Let k(q) = x*w(q) - 9*j(q). Does 37 divide k(2)?
True
Suppose 4311 = 7*m - 1653. Is m a multiple of 6?
True
Suppose 0 = -5*t + 5*b + 80 - 5, b + 32 = 2*t. Suppose -t + 5 = -4*r. Let d(c) = c + 7. Is 10 a factor of d(r)?
True
Suppose -4*w = -c + 216, 9*c - 7*c + 4*w - 408 = 0. Is 26 a factor of c?
True
Suppose 0*q + j - 10 = -3*q, 0 = 5*q + 2*j - 15. Let x(w) = -4*w + 7 + q + 5 - 7. Is x(-9) a multiple of 14?
False
Suppose 5*g - 2*j - 22 = 0, 7*g = 2*g + j + 21. Suppose 0*f - 12 = -4*f, 0 = 4*x + g*f - 1212. Is x a multiple of 12?
True
Let c(v) = 6*v**2 + 26*v + 21. Let w(j) = -j**2 - 5*j - 4. Let f(z) = -2*c(z) - 11*w(z). Let m be f(6). Let n = m + 31. Is n a multiple of 5?
True
Let b(f) = -65*f - 5. Is 145 a factor of b(-38)?
True
Suppose 0 = -43*j + 45*j - 2*y - 736, -4*j = -3*y - 1471. Is j a multiple of 12?
False
Let u(z) = -z**2 - z - 8. Let r be u(0). Let v = r - -10. Does 11 divide (-1 - -32) + -2 + v?
False
Let f(n) = -n**2 - 5*n + 1. Let s be f(-4). Let q(u) = -4*u**3 - 4*u**2 + 7*u - 3. Let i(m) = m**3 - m**2 - m. Let t(r) = s*i(r) + q(r). Does 3 divide t(9)?
True
Let f(j) = j**2 - 9*j + 4. Let v be f(9). Suppose -v*m + 900 = m. Suppose -5*o + 5*y + m = 0, -3*y + 10 = -y. Is o a multiple of 14?
False
Suppose -g = 5*w - 464, -5*w - 444 = 4*g - 5*g. Is 5 a factor of g?
False
Suppose 0 = 2*z + r - 3*r - 476, z = 5*r + 258. Is z a multiple of 67?
False
Suppose -13*l = -14*l. Suppose 28*b - 31*b + 54 = l. Is 18 a factor of b?
True
Let l(s) = s**2 + 12*s + 8. Let g be l(-10). Let x = -10 - g. Let r = 6 + x. Does 5 divide r?
False
Let k(s) = -3*s + 252. Let b(m) = m**2 + 8*m + 7. Let h be b(-7). Is 36 a factor of k(h)?
True
Let t(m) = -13*m + 786. Does 4 divide t(13)?
False
Let r(u) = 12*u**3 - 5*u**2 + 2*u + 3. Is 18 a factor of r(3)?
True
Let a = -5 + 25. Suppose 6*f = f + a. Suppose 4*c - 22 = -5*v, -f*c + 8*c - 4 = -2*v. Does 2 divide v?
True
Let k(w) = -3*w + 5. Let c be k(3). Is 33 + (1 - -2) + c a multiple of 6?
False
Let m(n) = n**3 - 6*n**2 + 6*n - 2. Let q be m(5). Suppose -q - 9 = 2*y. Does 3 divide 86/18 + y/(-27)?
False
Let x = 575 + -1367. Is 11 a factor of ((-2)/3)/(16/x)?
True
Suppose -12 - 2 = -7*g. Suppose g*j = -7*j + 288. Does 16 divide j?
True
Suppose 9*z = 8 + 10. Is (9 + 3 - 4)*z a multiple of 4?
True
Let t = 186 - 92. Let b = -34 + t. Is b a multiple of 12?
True
Suppose -2*f + 16 = g, -23*f + 55 = 4*g - 18*f. Is g even?
True
Suppose 5*j - 2*y - 13 = y, 3*j + 5*y = 1. Suppose j*c - 28 = 16. Is c a multiple of 6?
False
Suppose y = 4*j - 165, -8*y + 15 = -3*y. Suppose 0 = -5*u + 2*x + 5, -2*u - 4 = -5*x + 3*x. Suppose -i + 2*c - 52 = -5*i, u*i - j = -3*c. Does 6 divide i?
True
Let p = 613 - 297. Is p a multiple of 50?
False
Suppose 18 - 47 = 5*b + d, 0 = -5*b + d - 31. Is (10/b)/((-6)/36) even?
True
Let h = -256 + 165. Let r = h - -159. Does 34 divide r?
True
Suppose 77*p - 69*p = 560. Is 11 a factor of p?
False
Let b(f) = f**2 + 31*f + 50. Does 10 divide b(-34)?
False
Let m(d) = 13*d**2 - 13*d - 103. Is 25 a factor of m(-6)?
False
Let j(t) = -t**2 - t - 5. Let d be j(-6). Is 7 a factor of (1 + (-4)/2)*d?
True
Let l be 1*((3 - -4) + -2). Suppose 43 - 18 = -5*c, l*c = -3*u + 128. Let i = u + -31. Is i a multiple of 6?
False
Let s be 3 - -1 - 1*-115. Suppose n - s = 11. Does 10 divide n?
True
Suppose -17052 = -27*n + 390. Is 14 a factor of n?
False
Suppose -2*j + 1 = -j - b, 0 = -4*b + 8. Suppose -g = j*g. Suppose -5*l + 36 = 2*i, 3*i - 4*l - 3 - 97 = g. Does 10 divide i?
False
Suppose 2*t = -8*t + 300. Is t a multiple of 3?
True
Let h = -117 + 132. Does 3 divide h?
True
Let r = 49 + -11. Let k = 68 - r. Is 11 a factor of -2*11*k/(-15)?
True
Suppose 4*l - 922 = 5*t - 18, 3*l + 12 = 0. Let s = 431 + t. Is s a multiple of 13?
True
Let j be (21