 = 3*n - 1. Let h be a(1). Suppose -h*s = 2*v - 28, -v - 3*v - 2*s + 54 = 0. Does 9 divide v?
False
Suppose -23*u = -26*u + 378. Is u a multiple of 14?
True
Let f = -40 - -3. Let h = -7 - f. Does 10 divide h?
True
Let h = -61 - -88. Let a be h/(26/16 + -2). Is ((-1)/3)/(8/a) a multiple of 3?
True
Suppose 4*y - 844 = -3*t, -3*y - 2*t = -2*y - 206. Is 41 a factor of y?
False
Let u(o) = 7*o**3 - 4*o**2 - o - 8. Let m(h) = 3*h - 6. Let w be m(4). Let r(n) = -8*n**3 + 5*n**2 + n + 9. Let f(c) = w*r(c) + 7*u(c). Is 15 a factor of f(3)?
False
Let n(k) = -22*k. Let b be n(3). Is 8 a factor of ((-20)/30)/(2/b)?
False
Suppose j = -4*p + 107, 0*p - 169 = -2*j + p. Is j a multiple of 38?
False
Let i(q) = q. Let z be i(2). Let f(k) = -k**2 + k**2 - k + 1 - k**z + 3*k**3. Does 10 divide f(2)?
False
Let q(x) = x**2 - 2*x + 18. Suppose 3*y - 2*y = 0. Is 6 a factor of q(y)?
True
Suppose -k = k - 4. Let s(g) = g**k + 4*g + 0*g**2 - 11 - 13*g. Does 7 divide s(11)?
False
Let v(p) = -p**3 + 6*p**2 - 2*p + 24. Is 3 a factor of v(6)?
True
Let i = 137 + -90. Is i a multiple of 34?
False
Let f(m) = -m**3 + 7*m**2 + 3*m + 10. Let x be f(7). Let j = x - 3. Does 7 divide j?
True
Suppose 4*h - 152 = 4*r, 0*r - 174 = -5*h + r. Does 17 divide h?
True
Suppose 2*n - 63 = -5*d, 0*n + 100 = 3*n + 2*d. Is 10 a factor of n?
False
Let t(z) = 2*z**2 - 7*z - 12. Does 12 divide t(7)?
False
Suppose 0 + 5 = 5*r. Is (r/(-3))/(1/(-207)) a multiple of 23?
True
Let n(r) = r**3 - 3*r**2 - 12*r + 8. Let w be n(8). Suppose 70 = -2*u + w. Let f = u + -57. Is f a multiple of 12?
True
Let q(h) = 2*h**3 - 22*h**2 - 3*h - 18. Is 9 a factor of q(12)?
True
Suppose 28*x - 18*x - 2820 = 0. Does 38 divide x?
False
Let u(r) = -r + 13. Is 2 a factor of u(7)?
True
Let s = 3 + -2. Let y be 3 - 4/1 - -3. Is (-3)/(s + (-4)/y) a multiple of 3?
True
Suppose 0 = 4*c + 4*t - 316, 0*t + 3*t - 71 = -c. Does 15 divide c?
False
Suppose 4*f = 44 + 60. Suppose -f = -j + d, -4*d = -0*d. Does 13 divide j?
True
Let i(m) = 21*m + 1 - 3 - 8*m - m**2 - 2. Is i(12) a multiple of 3?
False
Suppose 3*c - 10 - 5 = 0. Suppose 4*m - 5*a = 62, -2*m + c*a + 0*a + 26 = 0. Is m a multiple of 9?
True
Suppose 114 + 32 = 2*j - 5*d, -5*j + 3*d = -327. Is j a multiple of 9?
True
Suppose 22 + 14 = 2*b. Suppose 0 = -3*y + y + b. Does 4 divide y?
False
Let y = 7 - 5. Let k be ((-10)/25)/(y/(-10)). Suppose -k = 2*c - 16. Is 2 a factor of c?
False
Let h(w) = 13*w + 1. Let m be h(4). Suppose -2*u = m - 233. Is u a multiple of 30?
True
Let f(r) = -r**2 - 18*r - 14. Is 21 a factor of f(-13)?
False
Let k = -8 + 18. Let a = k - 19. Let d(p) = -p - 3. Is 3 a factor of d(a)?
True
Suppose 3*l + 0*l + 21 = 0. Let o be 68/7 - 2/l. Suppose 0 = 3*i - 2*g - 13, 8*g + o = 3*i + 3*g. Is 5 a factor of i?
True
Let n = -4 - -4. Let j(v) = v**3 - v**2 - v + 10. Does 5 divide j(n)?
True
Suppose 4*c = -15*c + 1558. Does 5 divide c?
False
Suppose -4*i + 15 = 107. Let a = 33 + i. Does 14 divide ((-28)/a)/(1/(-10))?
True
Let u = 7 - 4. Suppose 0 = p - 0*p + 3*g + 754, -4*p = u*g + 3034. Does 10 divide (-4)/10 + p/(-25)?
True
Let p be 0*(-3)/3 - -22. Suppose -2*k = -2*c + p, 0*c + 3*c + 3*k - 9 = 0. Let r = c - 0. Does 6 divide r?
False
Let y = -5 - -10. Suppose y*d = 3*t - 30, -2*t + 2*d + 10 + 10 = 0. Is 12 a factor of (1 - 17)*(-15)/t?
True
Let z(p) = 2*p**2 + 2*p - 2. Let d(j) = -j**2 + 2*j. Let t be d(3). Does 10 divide z(t)?
True
Suppose 0 = -0*v + v. Let c be 0 + 1/3*v. Suppose c = -2*u + u + 36. Is 18 a factor of u?
True
Let u be (3/4)/(2/(-24)). Let y be (-12)/15*(u + -1). Suppose -3*t + 34 = p, t + 98 = 5*p + y. Does 10 divide p?
False
Suppose 10 = b - 22. Is 12 a factor of b?
False
Suppose -2*t - 4*l + 166 = -134, 5*t = -4*l + 732. Is 18 a factor of t?
True
Let j(z) be the first derivative of z**4/2 - z**3 + 3*z**2/2 + 2*z + 4. Is j(3) a multiple of 14?
False
Suppose -33 = -5*q + 7. Let f(j) = j**3 - 7*j**2 - 7*j + 9. Is f(q) a multiple of 15?
False
Let v be 96 + 6/2 + -3. Let n = 12 - 8. Suppose n*g - g = v. Is 16 a factor of g?
True
Suppose 2*o - o - 5 = 0. Suppose 4*u = o*u - a - 7, 43 = 4*u - a. Does 4 divide u?
True
Suppose 1 - 6 = 5*k - 3*i, 0 = 2*k + i - 9. Suppose -3*v + 15 = -3*p, 0 = -k*v - v - 4*p + 36. Is 3 a factor of v?
False
Suppose 2*u = u - o + 78, 4*u - 4*o - 272 = 0. Does 14 divide u?
False
Let m = 35 + -26. Is m a multiple of 3?
True
Let t(u) be the third derivative of u**4/12 - 2*u**3 + 3*u**2. Let c be t(8). Suppose -142 = -4*i + 5*l, c*i - 2*l - 154 = -3*l. Is 19 a factor of i?
True
Suppose 0 = -w + d + 201, -5*w + 2*d = -199 - 803. Does 20 divide w?
True
Let h(l) = -7*l**2 - 9*l - 2. Let u(d) = 20*d**2 + 26*d + 6. Let x(a) = 17*h(a) + 6*u(a). Is x(-3) even?
True
Let o(n) = 16*n**2 - 1. Does 8 divide o(1)?
False
Let d be (3 - (-3)/(-3)) + 14. Let f = d - 10. Is 6 a factor of f?
True
Let x = -208 + 432. Is 28 a factor of x?
True
Let w be (15 - (3 + -1))*-1. Let m(o) = o**3 + 14*o**2 + 11*o - 11. Is m(w) a multiple of 15?
True
Suppose 3 + 43 = 2*m. Does 13 divide m*-2*(-1)/2?
False
Let u = 6 - 3. Suppose 113 = 3*z + q, 0*z + u*z = 3*q + 117. Does 22 divide z?
False
Suppose 7*g = -2*l + 3*g + 160, 3*g - 310 = -4*l. Does 20 divide l?
False
Suppose 0 = -4*m - 0*m - 20. Is 2 + m + (11 - 4) even?
True
Let y(q) = -q + 7. Suppose n = -5*v - 13 - 19, n - 17 = 2*v. Is 6 a factor of y(v)?
False
Let x(n) = 72*n + 2. Is 11 a factor of x(1)?
False
Suppose 0*i + 304 = 5*i + w, -5*w = i - 56. Suppose 3*b + 4*q - i = 0, 5*b - 108 = 3*q + 13. Does 7 divide b?
False
Let p = 39 + -16. Is 17 a factor of p?
False
Let a(c) = c**3 + 2*c**2 - c + 4. Let u be a(-3). Is 4 + 13 - (-1 + u) a multiple of 8?
False
Let k(z) = 90*z. Let f = -5 - -7. Let b be k(f). Suppose -j = 3*j - b. Is j a multiple of 14?
False
Does 4 divide 819/15 - (-2)/5?
False
Suppose 350 = t + 4*t. Is t a multiple of 35?
True
Let u(j) = j**3 + 14*j**2 + 6. Let l(b) = b**2 - b + 1. Let q(v) = -6*l(v) + u(v). Is 13 a factor of q(-6)?
False
Suppose -52 = 2*t - 6*t. Suppose 4*y = -0*y + 36. Suppose -j = -y - t. Is j a multiple of 8?
False
Let p = 47 - 11. Suppose 6*t - 5*t = p. Is t a multiple of 12?
True
Let f(o) = 3*o + 1. Let i be f(1). Let v be i/3*(6 - 3). Suppose 3*h - 8 = v. Is h a multiple of 2?
True
Let s(q) = -11 + 6 + 107 + 0*q**3 + q**3. Let i be s(0). Suppose -2*l = -4*l + i. Is l a multiple of 18?
False
Suppose -2*u = u. Suppose 4*z + 4*h = -u*h + 56, 0 = 5*z + 2*h - 76. Is 7 a factor of z?
False
Let g = -109 + 198. Does 19 divide g?
False
Suppose 11*p = 8*p + 147. Is 13 a factor of p?
False
Let s(z) = 4*z**3. Let i be s(1). Suppose -3*h + i = -5*h. Is (1 + h)*(-3 - 26) a multiple of 17?
False
Let o(a) = 2*a**3 + a**2 - 2*a. Let i be o(-2). Let z(d) = d**2 + d - 16. Let b be z(0). Let t = i - b. Is t a multiple of 4?
True
Let q(d) = -d**2 - 8*d - 10. Is q(-3) even?
False
Suppose 5*v - 2*a = -62, 2*a + 2*a = -4*v - 44. Is 13 a factor of ((-7)/2)/(3/v)?
False
Let n be (6 + -2)*6/8. Suppose 36 = 3*j + 2*i, 2*j + 2*i - 17 = n*i. Is 4 a factor of j?
False
Suppose 2*d - 858 = -4*h, 2*h + 5*d + 232 - 649 = 0. Does 8 divide h?
True
Let n be (-33)/(-5) - (-6)/15. Suppose -w + n = 2*l, -w + l + 6 + 1 = 0. Does 7 divide w?
True
Let g be (-9)/4 + (-3)/(-12). Let w be 5/(g*1 + 3). Suppose a + w*s + 0*s = 4, -5*s = -a + 44. Does 12 divide a?
True
Let d = 38 + 19. Is d a multiple of 19?
True
Suppose -15*g + 14*g = -126. Is 9 a factor of g?
True
Let u(q) = -29*q**3 - q**2 - q. Suppose -z + 5*z + 15 = 5*a, 0 = 2*a - z - 3. Does 14 divide u(a)?
False
Suppose 0 = -0*d + 5*d - 15. Let r = d - 17. Is r*(-3)/(1 + 2) a multiple of 7?
True
Let d(n) = -n**3 - 4*n**2 + 5*n - 6. Let i be d(-5). Let u be (-60)/(-18) + (-4)/i. Suppose u = 2*h - h - 5*w, -108 = -4*h - 3*w. Does 12 divide h?
True
Let j = 36 - -16. Suppose -5*r = -3*r - j. Let b = -16 + r. Is 5 a factor of b?
True
Suppose h - 2 = l - 0*l, 3*l - 4*h = -6. Let t be (-4 - l) + 1 - 50. Let r = 95 + t. Is r a multiple of 17?
False
Suppose -5*o = -0*o - 30. Suppose q + 0*q - o = 0. Is 3 a factor of q?
True
Suppose -z = 2*l + 4 + 3, -13 = 4*l + z. Let r(h) = -h**3 + 3*h + 4. Is 9 a factor of r(l)?
False
Let v be (-38)/95 + (-2)/(-5). Suppose v = -3*a + 4*t + 104, 0*a + 3*a = -2*t + 110. Is 11 a factor of a?
False
Suppose -2*l = -6*y + y + 44, -40 = -4