d be c(b). Suppose d = -5*v - 67 + 312. Is 17 a factor of v?
False
Let v = -43 - -24. Let h = v - -28. Suppose -r + 17 = -h. Does 14 divide r?
False
Suppose -4*z = -7*z + 9. Does 15 divide (z/4)/(4/80)?
True
Suppose 5*a = -0*a + 30. Let p = a + 10. Is p a multiple of 8?
True
Let j = -39 + 70. Is j a multiple of 13?
False
Suppose 2*x - 2*o - 172 = 0, 4*o - 147 = -2*x + o. Does 27 divide x?
True
Is -1*(-7)/(-3)*-18 a multiple of 14?
True
Let m(l) = l**3 + l + 30. Is 8 a factor of m(0)?
False
Let s = 22 + -11. Is s a multiple of 4?
False
Suppose -4*c = -2*n - 10, 1 = 3*c - n - 6. Let b be 79/2 - 1/c. Suppose -j - b = -4*j. Is 10 a factor of j?
False
Let c = 21 - -195. Is c a multiple of 54?
True
Suppose 2*b + 432 = 8*b. Is 12 a factor of b?
True
Suppose 0*i + 4*o - 176 = -5*i, -4*o = -5*i + 144. Let v be (i/(-40))/((-2)/(-40)). Let d = 37 + v. Does 14 divide d?
False
Suppose m - 3*l - 16 - 3 = 0, m - 5*l = 29. Suppose z - 4*s + 11 = 0, m*z + 2*s = -3*s + 61. Is z a multiple of 9?
True
Let w be (-2)/3 + 6/9. Suppose 3*j + 16 = z, 2*j + w - 4 = 0. Is z a multiple of 22?
True
Let j(l) = 6*l**2 + l - 1. Let i be j(1). Suppose a - i*a + 190 = 0. Suppose 4*w - a = 10. Is 11 a factor of w?
False
Suppose u = -4 + 1. Does 11 divide (-64)/u + (-4)/(-6)?
True
Let v be (30/(-25))/((-6)/15). Is 39/(v - 0) + 2 a multiple of 3?
True
Let a be -2 - (3 - 6 - -1). Suppose a = -2*h + 4*n - 120, -2*n + 7*n = 25. Is 8 a factor of (-2)/6 + h/(-6)?
True
Suppose -h + 4 = -10. Is 7 a factor of h?
True
Let f be -4*(-1 - 3/(-6)). Is f/4*(-2 + 24) a multiple of 4?
False
Let a = -1890 - -912. Is 14 a factor of (-4)/(-28) - a/14?
True
Suppose 0 = -3*f + 4*f - 36. Is f a multiple of 13?
False
Let l be (-34)/(-8) + 3/4. Suppose 0 = -l*u + 20 + 30. Is 10 a factor of u?
True
Let q(c) = 36*c**3 + c**2 + 2*c + 1. Let s be q(-1). Let h = s + 60. Is h a multiple of 7?
False
Suppose -2*k + 302 = 5*g - 1425, -1377 = -4*g + 3*k. Suppose 3*b + g = -0*b. Let u = -79 - b. Is 11 a factor of u?
False
Suppose -3*v - 268 = -5*g + 97, -v - 146 = -2*g. Is 13 a factor of g?
False
Let x = -16 + 28. Suppose -2*l - l = -x. Suppose -4*i = -2*m - 30, l*m - 2 = i - 6. Is 4 a factor of i?
True
Suppose 114*z - 112*z - 302 = 0. Is z a multiple of 18?
False
Let x(k) = 3*k**2 + 3*k + 2. Is x(-4) a multiple of 19?
True
Is 10 a factor of (-576)/(-54) + 4/(-6)?
True
Let u(x) = -10*x - 2. Let v be u(-1). Let q(p) = -p + 20. Is 4 a factor of q(v)?
True
Let o = 14 + -9. Suppose -2*v + 7 = 5*m, 0 = -o*v - 2*m + 19 + 9. Does 6 divide v?
True
Let m(v) = 4*v - 3. Suppose 5*g + b = 1, -g + 2*b - 1 = -10. Let h be 5*g/(-5)*-4. Is m(h) a multiple of 13?
True
Suppose -6 + 2 = -2*l. Suppose l*u - 4*c = 5*u - 130, -5*u + c = -255. Is u a multiple of 24?
False
Let t(u) = 11*u**2 + 10. Is 21 a factor of t(3)?
False
Let a(h) = h**3 - 4*h**2 - 4*h + 3. Suppose 2*r - 7*r + 25 = 0. Is a(r) a multiple of 6?
False
Suppose -4*i + 0*i + 12 = 0. Let d = -54 + 24. Is 55*i*(-4)/d a multiple of 11?
True
Let u = -2 - -14. Is 4 a factor of u?
True
Suppose 0*d - 138 = -2*d + y, -3*d + 194 = 5*y. Suppose 3*q = 0, q - d = -5*j + 37. Is 7 a factor of j?
True
Let h = -40 - -65. Does 15 divide h?
False
Let o(i) = 5*i - 1 - 5*i**2 + 3 + i - i**3. Let z be o(-6). Suppose 3*s + z*y - 40 = 35, -2*s = -2*y - 50. Does 14 divide s?
False
Let y be (-15)/(-6) - 1/(-2). Suppose 3*j - 284 = -2*m, -y*j + 226 + 51 = -5*m. Is 10 a factor of j/5 - 1/(-5)?
False
Let a(y) = -90*y. Let l be a(-2). Suppose -m + 3*j + 2*j + 36 = 0, 5*m = 4*j + l. Is 18 a factor of m?
True
Let o(a) = 2*a**2 - 4*a. Let p be o(3). Let z(u) = -u**2 - u + 1. Let d(x) = 3*x**2 - 4*x + 4. Let t(h) = d(h) + 2*z(h). Does 3 divide t(p)?
True
Suppose 0 = -5*v + 5, 3*v = 2*q + 70 - 271. Does 17 divide q?
True
Suppose 0 = 4*c + 5*p - 873, 672 = 7*c - 4*c - 2*p. Is 37 a factor of c?
True
Let c(g) = g**3 - 7*g**2 + 4*g + 2. Let u be c(7). Let b = u + -44. Let x = b - -24. Is 10 a factor of x?
True
Suppose -2*p = -3*p + 2, 3*p = -t + 8. Let m be 3 + -2 - (-11 - -1). Suppose -2*y = a - 4, t*a + 0*y = -y + m. Is a a multiple of 2?
True
Let g(u) be the third derivative of u**5/60 + u**4/12 + u**3/3 - u**2. Is 12 a factor of g(-6)?
False
Let x = 12 + -7. Suppose -4*t + 186 = -x*g, t - g - 55 = -4*g. Let o = t - 33. Is o a multiple of 8?
True
Let h = -97 + 138. Let r = h - 23. Is 6 a factor of r?
True
Let x(l) = 5*l**2 - l + 3. Does 4 divide x(-2)?
False
Let w = -179 + 291. Suppose 14 = f - w. Suppose -144 = -4*r + t + 3*t, 3*r + 3*t - f = 0. Is r a multiple of 15?
False
Let w be 2/(-3) + (-12)/(-18). Suppose 8 = g + 3*z, 3*g + z - 18 - 22 = w. Is 7 a factor of g?
True
Let p be (0/2)/(-1 + 3). Suppose -5*w = -p*w - 35. Is w a multiple of 2?
False
Let y(q) = -q**2 - 1 + 3*q + 2*q**2 - 4*q. Let d(w) = 6*w**2 - 5*w - 7. Let b(p) = d(p) - 5*y(p). Is 13 a factor of b(6)?
False
Suppose 2 = 4*j - 26. Let o = 31 - j. Is 6 a factor of o?
True
Suppose x = -3*r - 13, -2*r + 55 = -7*r + 5*x. Is 11 a factor of (r/(-9))/(2/123)?
False
Let s(d) = -4*d**2 - 3*d - 1. Let m(t) = -3*t**2 - 2*t - 2. Let k(y) = -3*m(y) + 2*s(y). Let r be k(0). Let p(o) = -o + 6. Is p(r) even?
True
Suppose r + 3 = 4*r. Suppose -r = 4*j - 37. Is j a multiple of 2?
False
Let a(v) = -2*v**3 + 24*v**2 - 7*v + 24. Is 11 a factor of a(11)?
False
Let t(h) = -h**2 + 9*h. Let z be t(9). Suppose -313 = -5*g - 3*c + 4*c, 3*g + c - 183 = z. Is g a multiple of 31?
True
Suppose -5*h = -0*h. Suppose -5*l + 175 = -h*l. Is l a multiple of 14?
False
Let u(x) = -x**3 + 5*x**2 + x - 4. Let n be u(5). Suppose -5*m - 26 = j, 3*j - n = -m - 23. Let w = j + 12. Does 4 divide w?
False
Let f = 14 + -8. Suppose -3 = -3*h + f. Suppose 0*n - 78 = -h*n. Is n a multiple of 13?
True
Let x = 4 + -5. Let j = 4 + x. Suppose 9 = n - 2*u, -u + 14 = j*n + 1. Is 5 a factor of n?
True
Let i(r) = r**2 + 6*r + 6. Let j be i(-4). Let g = 5 + j. Suppose 5*h - g*s = 35, 2*s - 6*s - 16 = h. Is h a multiple of 2?
True
Suppose 24 = -5*i + 3*t - 0*t, 2*t + 4 = 0. Suppose -11 = -3*j + 1. Is j/i*-3 + 67 a multiple of 24?
False
Is 3 a factor of (-22 + -8)/(-2 + (-2)/(-2))?
True
Let v be 114/(-18) + 2/(-3). Let z(k) = -k**3 - 8*k**2 - 9*k - 2. Is 12 a factor of z(v)?
True
Let v = -16 + 121. Suppose 15*p = 10*p + v. Is 14 a factor of p?
False
Is 25 a factor of 902/4 + 60/24?
False
Is 14 a factor of (-460)/(-8) + 2/(-4)?
False
Suppose 2*r = -0*r. Is 1 + 9 + 1 - r a multiple of 11?
True
Let j = -48 - -127. Is 24 a factor of j?
False
Let w = -8 - -8. Let m be (2 - 4)/(w + -1). Suppose -m*z + 2 = -z. Does 2 divide z?
True
Suppose x = -2*c - 3, 4*x - 6 = 2*x - c. Suppose b - 15 = -3*b + h, x*b - 3*h - 10 = 0. Does 3 divide b?
False
Let y(i) = -2 + 3 + 37*i - 2. Does 18 divide y(1)?
True
Let q(h) = 7*h**3 - h**2 - 8*h - 3. Let r(n) = 13*n**3 - 3*n**2 - 15*n - 5. Let m(d) = 11*q(d) - 6*r(d). Is m(5) a multiple of 18?
False
Suppose -5*i = y - 27, 5*y - 3*i - 35 = -8*i. Let r be y + (-11)/(-3)*3. Let t = 16 + r. Is t a multiple of 14?
False
Let a(i) = -i**3 - 8*i**2 - 4*i - 4. Let k(y) = 1. Let m(s) = -a(s) + 3*k(s). Suppose -5*b + 0 - 30 = 0. Is m(b) a multiple of 24?
False
Let g be (-4)/6 + (-836)/(-12). Let m = 130 - g. Is 16 a factor of m?
False
Let x(v) = 2*v**2 + 5*v - 3. Let c = 0 - -3. Let a be c/(-6)*4 - 3. Is 6 a factor of x(a)?
False
Let c = 28 - -28. Is 7 a factor of c?
True
Let c(r) = -37*r**3 + 1. Let p = -15 - -14. Is c(p) a multiple of 22?
False
Let b = -96 + 136. Does 40 divide b?
True
Let c(l) = -l**2 - 8*l + 3. Let b be c(-9). Does 4 divide 4/6 + (-116)/b?
True
Let o(h) = h**3 + 6*h**2 - 2*h - 2. Suppose 4*j - 70 = -2*d, -3*d = 5*j - 0*j - 87. Suppose -y = -4*y - j. Is 5 a factor of o(y)?
True
Suppose 2*j + 2*t + 4 = 0, -4*j + 4*t + 2 + 6 = 0. Let u = j + 0. Suppose 5*x = -u*x + 40. Does 5 divide x?
False
Suppose -g + 3 + 18 = -4*j, -g + 16 = -3*j. Suppose 0 = s - n - 3, 3*s + 4 + 3 = -5*n. Is 20 a factor of 28*1 - (s - g)?
False
Suppose 5*b + 12 - 87 = 0. Suppose -8*z + 3*z = -b. Suppose -4*x = -z*x - 24. Is 12 a factor of x?
True
Let u = 769 + -468. Let q = u - 205. Let s = 141 - q. Is 13 a factor of s?
False
Is (-6 + 9)/(6/20) a multiple of 4?
False
Let r be (-6)/33 + 138/33. Suppose -s = -r*s + 30. Does 10 divide s?
True
Does 5 divide -4*(-2)/(-20) - 1748/(-20)?
False
Let k 