4*i. Suppose d*q - 18 = -3*q. Suppose 0 = -m + q*m - 70. Is m a multiple of 7?
True
Let l(k) = -6*k - 3. Let w be l(-2). Suppose -4*j - 20 = 0, -3*g + 3*j + 12 = -w. Suppose -o = -4*f + 66, -g*f + 4*f + 4*o = 42. Does 17 divide f?
True
Suppose -17 = -5*l + 63. Does 8 divide l?
True
Suppose 4*x = 2*i - 22, i + 0*i = x + 8. Suppose -i*v + 4*d = -130, -d + 2*d + 130 = 5*v. Does 13 divide v?
True
Let c(w) = w**3 + 4*w**2 - w - 3. Let u be c(-5). Let z = u - -13. Let p = z + 17. Is p a multiple of 3?
False
Let w = 185 - 75. Is w a multiple of 20?
False
Suppose 0*k + k = 0. Let t = k - -6. Is (14 - 0)*3/t a multiple of 7?
True
Let y(v) = -v**3 + 9*v**2 - 8*v + 13. Does 11 divide y(7)?
True
Let p be 3 + (40 - 2) + 2. Let l = -13 + p. Does 13 divide l?
False
Suppose -u = 2*k - 4*k + 314, -4*u = k - 139. Suppose 0 = -5*j - 7*z + 2*z + k, 0 = -5*z. Does 11 divide j?
False
Let l = 91 - 14. Is l a multiple of 26?
False
Suppose 5*s = 4*n - 8, -5*s - 2*n = -s - 4. Suppose s = 5*p - 117 - 48. Does 16 divide p?
False
Let p be 3/(-6)*-4 + 146. Suppose p = 4*l - 60. Let x = 86 - l. Does 14 divide x?
False
Let h(p) be the first derivative of -15*p**2/2 - 1. Is h(-2) a multiple of 9?
False
Suppose 16 = 3*t + 82. Let g = -2 + 1. Is 11 a factor of (1/2)/(g/t)?
True
Let r(g) = g + 39 + g**2 - 3*g**2 + g**2. Is r(0) a multiple of 16?
False
Let j(y) = 3*y**3 - 4*y**2 + 3*y - 4. Is j(5) a multiple of 10?
False
Let f = -19 - -39. Suppose 0 = -3*s + 7*s - f. Suppose -4*h + 2*n + 104 = 0, -2*n + 130 = s*h + 2*n. Is 10 a factor of h?
False
Let l = -14 - -16. Let a(h) = 11*h**2 - 4*h + 3. Is 13 a factor of a(l)?
True
Let t(s) be the second derivative of 2*s**2 + 1/6*s**4 + s + 1/3*s**3 + 0. Is t(4) a multiple of 17?
False
Suppose -3*z + 6*k - k = 42, k = -z - 6. Let y(b) = -b**3 - 8*b**2 + 6*b - 12. Let m be y(z). Suppose -4*p + 21 = -m. Is p a multiple of 9?
True
Let r = 145 + -17. Is 16 a factor of r?
True
Let p(t) = t**2 - t - 3. Let x be p(3). Suppose g + 5*w = 56, 12 = g + x*w - 38. Is g a multiple of 16?
False
Let a = -10 + 14. Is 2 a factor of a?
True
Let y(t) be the second derivative of -t**5/20 - 2*t**4/3 - t**3/3 - 7*t**2/2 + 6*t. Is 9 a factor of y(-8)?
True
Let z = -15 - -8. Let f(k) = -4*k. Let c(i) = -i + 1. Let j(r) = 5*c(r) - f(r). Does 12 divide j(z)?
True
Let u(d) = d**2 + 10*d + 1. Is u(8) a multiple of 29?
True
Suppose 5*a - 306 = 3*n - n, 0 = a + n - 64. Does 5 divide a?
False
Is 14 a factor of (0 - 4)/((-14)/98)?
True
Let q(a) = 20*a - 2. Does 11 divide q(1)?
False
Suppose 20 = -6*g + g, 0 = -3*a + 2*g + 20. Suppose a*p - 59 = -3*x, p - 12 - 6 = -4*x. Does 7 divide p?
True
Let l be (-6 + 2/2)*-1. Suppose -3*u + l*u = 52. Is 13 a factor of u?
True
Let p(a) = 6*a**3 - a**2 - 4*a. Let z be p(4). Suppose -z = c - 5*c. Suppose 5*f = 4*g - 0*g + c, 60 = 4*f + 2*g. Is f a multiple of 12?
False
Let v(j) = -9*j - 6. Let a be v(-5). Suppose 3*s = 4*k + a, 39 = 3*s - k + 9. Is s a multiple of 3?
True
Suppose 0 = -3*b - 3*y + 366, -y + 479 = 5*b - 143. Suppose b = 4*z + 5*d + 42, 4*d = -5*z + 97. Does 12 divide z?
False
Let l = 62 + -5. Suppose -f - 3*n = -l, 0 = -5*f + 4*n + 100 + 204. Does 20 divide f?
True
Let v(k) = 2*k + 3 - 5*k + 4*k - 4*k. Does 9 divide v(-6)?
False
Suppose -5*z + v = -294, -61 + 4 = -z + 2*v. Does 16 divide z?
False
Let c = 13 - 9. Let y be (-1 - c)*(-36)/15. Suppose 0 = 4*w - w - y. Is 4 a factor of w?
True
Let l = -299 + 170. Let u be l/(-2)*(-2)/3. Let q = 77 + u. Is 10 a factor of q?
False
Let z(p) = p - 1. Let l be (-4)/(-1) + (-1 - -2). Let d be z(l). Suppose d*k + 15 = 7*k. Is k a multiple of 3?
False
Let z(h) be the first derivative of h**4/4 - 3*h**3 + 4*h**2 - 7*h - 2. Let w be z(8). Let t = w + 14. Is 6 a factor of t?
False
Let v(l) = 3*l**3 - 3*l - 5. Let b(m) = m**3 - m**2 + m - 1. Let a(c) = -2*b(c) + v(c). Let o be 0/1 - (3 + 0). Is a(o) even?
False
Let g = -12 + 33. Does 9 divide g?
False
Let g(i) = -3*i + 6. Let d be g(4). Is 22 a factor of (87/d)/((-1)/2)?
False
Suppose -5*d - 5 + 25 = 0. Suppose -g - d*j - 15 = 0, 23 = 5*g - 2*j - 12. Suppose -5*f - 4*p = -20, f - g*p = -2*f + 49. Is f a multiple of 8?
True
Let u(t) = 3 + 4 - 5 - 2*t + 0 + 6*t**2 - t**3. Is u(4) a multiple of 8?
False
Let c = -28 + 50. Is c a multiple of 22?
True
Let q(t) = -t**3 + 5*t**2 + 10*t - 12. Is q(6) a multiple of 12?
True
Suppose 2*l + 43 = v, 5*v - 74 = 3*v + l. Is 13 a factor of v?
False
Suppose 4*l - 3*l + 223 = 3*d, 3*l = -2*d + 167. Is 22 a factor of d?
False
Let r(y) = -2 - 3*y + 4*y**2 - 3*y - 5*y**2. Does 7 divide r(-3)?
True
Suppose -5*n = 3*a - 361, -2*a = -4*n + 3*a + 274. Is 18 a factor of n?
False
Let o(z) = -z**2 + 9*z + 5. Let c be o(5). Is c/10*(-20)/(-2) a multiple of 13?
False
Let j = -2 + -1. Let n be (2 - (-3)/j) + -10. Is 13 a factor of 156/(-3)*n/12?
True
Let s = -15 + 7. Is 153/12 - 2/s a multiple of 6?
False
Let s(h) = h**2 + h - 6. Let k be s(0). Is 14 a factor of (84/9)/((-2)/k)?
True
Let t(w) = w**2 + 4*w + 2. Let j be t(-5). Let m(s) = s**2 - 2*s - 10. Is 25 a factor of m(j)?
True
Suppose -6*h + 210 = -h + 2*b, -2*b + 10 = 0. Does 20 divide h?
True
Let o(k) = -k**2 + 7*k + 3. Let q be o(7). Suppose q*t - 50 = -2*t. Is 2 a factor of t?
True
Suppose 0 = -4*c - 3*d + 20, -3*c + 0*d = 5*d - 15. Suppose 0*r = -c*r + 15. Let p = -1 + r. Is p even?
True
Let c = 5 - 0. Is 11 a factor of ((-32)/c)/(4/(-20))?
False
Let p = 3 + -1. Suppose -2 = -p*r - 10. Let y = 27 + r. Does 16 divide y?
False
Suppose 2*s - 5*s + 30 = 0. Let k be (-4)/s + (-54)/(-10). Suppose 0 = 3*g - 15, -k*g = -4*p - 0*p + 19. Is p a multiple of 11?
True
Let p(o) = -4*o - 6. Let j be p(-6). Does 24 divide j*-2*8/(-12)?
True
Let d be 33/(3*(-3)/12). Let w = d + 68. Does 17 divide w?
False
Let t(c) = 2*c**3 - 5*c**3 + 2*c**3 + 8*c - 6*c**2 - 2*c - 5. Let r be t(-7). Suppose -5*f + 3*p + 220 = 0, -2*f = -f + r*p - 57. Is 12 a factor of f?
False
Suppose -2*a + 21 = -a + o, 5*o - 73 = -3*a. Is 8 a factor of a?
True
Suppose 6*z - 9*z + 576 = 0. Does 12 divide z?
True
Suppose q - 2*w - 56 = 0, -q - 3*w + 91 = 2*w. Let y = -44 + q. Does 14 divide y?
False
Let h(w) = 6*w**2 + 3*w - 3. Is 14 a factor of h(-3)?
True
Let h be (-10)/(-2)*3/3. Suppose 0 = -h*w + 4*v + 16, v = w - v - 2. Is 14 a factor of (-174)/(-4)*w/6?
False
Let j = -19 + 37. Suppose -j = m - 3*m. Let f = -6 + m. Is f a multiple of 2?
False
Let w(y) = -y**3 - y**2 + 6*y + 2. Let d = -1 - 3. Is 11 a factor of w(d)?
False
Suppose j - 18 = -0*j. Let f = 5 + 4. Let i = j - f. Does 4 divide i?
False
Let b = 5 + -3. Let k(w) = 3*w - 2*w**b - 2*w**2 + 5*w**2 + 0*w**2. Is 21 a factor of k(4)?
False
Let n(c) = 2 - 9*c - 6*c - 6*c - c. Let a be n(2). Let d = 73 + a. Is d a multiple of 13?
False
Let g(i) be the second derivative of i**4/3 - 5*i**3/6 - 6*i**2 + i. Let o(c) = c**2 - 1. Let j(f) = -g(f) + 5*o(f). Does 7 divide j(-6)?
False
Let x = 23 - -55. Is x a multiple of 18?
False
Let x be 0*(-2 + 0 + 3). Suppose -4*j - 17 + 65 = x. Does 5 divide j?
False
Does 12 divide (-1)/(-5) - 59/10*-2?
True
Is 2/((-2)/53)*-1 a multiple of 15?
False
Let g = 94 + -7. Suppose -2*h - g = -5*h. Let z = h + 0. Is z a multiple of 29?
True
Let d(w) be the third derivative of 1/2*w**3 - 7/24*w**4 - 1/60*w**5 + 0*w - w**2 + 0. Is 3 a factor of d(-7)?
True
Suppose 4*l - 4 = 0, w + 3*l = -3*w + 291. Does 24 divide w?
True
Let f(a) = 0 + a + a**2 + 3 + 5*a + 0*a. Is 5 a factor of f(-7)?
True
Suppose 3*r + 2*r = 0. Is (-27 - -3)*(-2 + r) a multiple of 12?
True
Let v be (28/6)/(6/9). Is 7 a factor of (v - 3)/2 + 19?
True
Suppose 3*p + 25 = 4*m, 0 = 5*p + 3*m + 3. Let i(k) = -4*k. Does 5 divide i(p)?
False
Let u(y) = 2*y - 12. Let s be u(8). Suppose 11 = s*w + 2*f - 29, 0 = -w - f + 10. Does 10 divide w?
True
Suppose -3*q = -2*h - 2*h - 72, 0 = -4*q + 5*h + 97. Does 14 divide q?
True
Let t(l) = l**3 + 4*l**2 + 3. Let c be t(-3). Does 14 divide (21/(-2))/(c/(-32))?
True
Suppose 2*o + 252 = 4*o. Does 14 divide o?
True
Suppose 3*y + 10 = x - 33, 5*x - 167 = 3*y. Does 21 divide x?
False
Let w(y) = y**2 - y**2 + 2*y + 7 + y**2. Let k be w(6). Suppose -3*a = -0*a - 5*f - k, 4*a - 4*f = 68. Is 10 a factor of a?
False
Let o = -58 - -170. Does 16 divide o?
True
Let s = 3 + 2. Let y(t) = -1 - 1 - 3*t - 5 + s. Does 4 divide y(-3)?
False
Suppos