w*o - o = -84. Is 14 a factor of o?
True
Let m = -3 + 7. Suppose m*o = 2*h - 166, -6*h = -5*h + 4*o - 59. Suppose -2*t - 3*t = -h. Does 15 divide t?
True
Does 25 divide 3 + ((-75)/4)/5*-28?
False
Suppose 0 = u - 5*u + 16. Suppose -u*h = -4*n + 76, -h + 5 = 10. Is n a multiple of 7?
True
Suppose z = -3, 5*z = -2*s + z. Let t(g) = -g**3 + 8*g**2 + 2*g - 9. Let o be t(s). Suppose 2*a = 5*a - o. Is 14 a factor of a?
False
Suppose 2*y + 2 - 4 = 0. Is (1/2)/(y/56) a multiple of 9?
False
Let n(i) = -i**2 + 4*i. Suppose -3 = -3*c + 3. Let b be n(c). Suppose 2*w - b*f = 18, -3*w = -w - 2*f - 12. Does 3 divide w?
True
Suppose 40 = 2*r + 3*r. Suppose -6*v = -3*v - 9. Suppose v*y = y + r. Is y a multiple of 4?
True
Suppose 3*d + 2*f = 84, 2*f + 36 = 2*d - d. Is d a multiple of 15?
True
Suppose 0 = 6*l - 8*l + 72. Let a be (-1)/3 + 14/6. Suppose z + a*z + 4*i - l = 0, 2*z - 24 = -i. Is 12 a factor of z?
True
Let w(y) = -3*y**3 + y**2 + 2*y + 1. Let i be 0/(4 + -3 + 1). Suppose i*b - b = 2. Does 9 divide w(b)?
False
Suppose -5*p = 3*j - 25, 0 = 5*p + 5*j - 8 - 7. Suppose -4*s + 3*g = -26, 0*g - g - 38 = -5*s. Let b = s + p. Is b a multiple of 8?
True
Let l(u) = -u**3 - 6*u**2 + 6*u - 2. Let s be l(-7). Let d = 26 - 15. Suppose 4*v - d = s. Is 3 a factor of v?
False
Let x(l) = 4*l**2 + 25*l + 4. Let u(j) be the first derivative of j**3/3 + 3*j**2 + j + 1. Let k(w) = 9*u(w) - 2*x(w). Is k(-6) a multiple of 13?
True
Let j(z) = -z**2 + 14*z + 4. Let q be j(9). Suppose -2*w - 218 = 4*r - 0*r, r - 5*w + q = 0. Does 11 divide (3 - 2)/((-2)/r)?
False
Is 14 a factor of -4 - (-2 + 5 - 35)?
True
Let t(v) = -9*v + 3. Let j be t(2). Let c be 1/(18/j - -1). Is 5 a factor of (3 + c)*(-26)/4?
False
Suppose -3*x = 2*v - 7*v - 1132, -x = 3*v - 396. Is 35 a factor of x?
False
Let n(p) = -p**3 + 5*p**2 + 4*p - 4. Let d = -1 - -5. Is n(d) a multiple of 14?
True
Suppose -104 = -4*b - 8. Is 6 a factor of b?
True
Let m(i) = -i**3 + 8*i**2 + 2*i - 1. Let o = 14 - 6. Is m(o) a multiple of 4?
False
Suppose -5*v + 825 = 3*s, v - 677 = -3*v + s. Does 8 divide v?
True
Let o(z) = -14*z - 11. Does 11 divide o(-2)?
False
Let s(l) = 3*l - 4. Let n be s(7). Let m = 0 - n. Let u = m - -38. Does 11 divide u?
False
Let i be (2 + (-3 - -2))*23. Suppose 15 = 2*t - i. Does 8 divide t?
False
Suppose -3*h - 13 = 4*b, -3*b + 0*b = 3. Let k(y) = -4*y + 4. Is k(h) a multiple of 8?
True
Suppose 2*f + 5*l - 12 = 3*l, 2 = f - 3*l. Suppose 0*q = f*q - 165. Is q a multiple of 12?
False
Let n = -16 - -42. Is n a multiple of 8?
False
Let s(h) = h**3 - 11*h**2 + 12*h + 9. Let f = -18 - -76. Suppose -5*v = -f + 8. Is s(v) a multiple of 19?
False
Let z = 2 + 1. Suppose z*c = m + 11, 0 + 11 = 5*c + 2*m. Suppose 0 = 2*x + c*x - 90. Does 8 divide x?
False
Suppose -4*j = -4*l - 192, 4*j = 3*j + 4. Let y = 128 + -61. Let c = l + y. Is 23 a factor of c?
True
Let j(l) = -l - 9. Let t be j(-9). Let x(m) = -84*m - 1. Let s be x(-1). Suppose 3*k - 25 - s = t. Does 18 divide k?
True
Let t(q) = q**2 - 9*q - 8. Let k be t(10). Suppose -3*g = -k*g. Suppose g = -3*m + 80 - 11. Is m a multiple of 23?
True
Let v(s) = -8*s**2 + 2*s + 6. Let j be v(5). Is 4/20 - j/5 a multiple of 20?
False
Let t be 3 + (-2 - 1 - -2). Let h be (1/(-2))/(t/(-8)). Suppose -h + 7 = a. Is 5 a factor of a?
True
Suppose -13*j + 1905 = 2*j. Does 8 divide j?
False
Let a(s) = -26*s. Let x be a(-1). Let g = -8 + x. Suppose -4*r + 46 = -g. Is r a multiple of 16?
True
Let l be (-1716)/(-18) + 4/6. Suppose -36 = 5*o - l. Does 12 divide o?
True
Let l = -19 + 13. Let d(m) be the first derivative of m**4/4 + 8*m**3/3 + 5*m**2/2 - 5*m + 4. Does 20 divide d(l)?
False
Let n(g) = -g**2 + 14*g + 22. Is 17 a factor of n(10)?
False
Let y = -1 - -1. Is ((-11)/2 + y)*-2 a multiple of 11?
True
Let y(i) = i**3 - 5*i**2 + 3. Let a be y(5). Is 3 a factor of 1 + (-3)/a + 7?
False
Let t be ((-2)/(-4) - 2)*-18. Suppose -d + t = 2*d. Suppose 5*j - d = 2*j. Is j even?
False
Let d = -19 - -25. Is 5 a factor of ((-15)/d)/(1/(-2))?
True
Let u(y) = y**3 + 3*y**2 + 5*y + 5. Let a be u(-5). Let f = a - -111. Is 18 a factor of f?
False
Is 4 a factor of 345/12 - (-1 + 14/8)?
True
Let p = 75 + 9. Is p a multiple of 12?
True
Suppose y - 18 = 3*y. Let q = y - -36. Is q a multiple of 15?
False
Let g be (-33)/22*(0 + -2). Suppose -g*l - 5*k + k = -46, 0 = -3*l - 3*k + 42. Is l a multiple of 5?
True
Let t = -2 + 2. Suppose t*j = 5*j - 120. Is 16 a factor of j?
False
Suppose -3*d + 5*g - 1201 = -7*d, -2*d + 602 = 4*g. Is d a multiple of 53?
False
Suppose -4*m - 16 = -w, -4*w + 5*m + 35 = w. Suppose h + 4*l = l - 65, 5*l = -w*h - 246. Does 20 divide (3 + -2)/(-1) - h?
False
Let f(w) = -4*w. Let z be f(-1). Let t be 6/9 + (-25)/(-3). Suppose t*y = z*y + 60. Is 6 a factor of y?
True
Is 16 a factor of 2/6 - 861/(-9)?
True
Suppose 59 = 11*l - 40. Does 7 divide l?
False
Suppose 2*a = -2*a. Suppose -3*p = -a*p - 60. Is 15 a factor of (5/(-4))/((-1)/p)?
False
Suppose 0 = 4*l + l. Suppose -2*a = -l*a + 132. Let y = a + 95. Is y a multiple of 10?
False
Suppose -3*t = -12, 0 = -5*u - 0*t + t - 104. Is 8 a factor of (96/u)/((-6)/20)?
True
Let l be 6/5*120/9. Let f = l - 2. Is f a multiple of 7?
True
Let c(b) be the first derivative of b**2/2 - 12*b + 4. Let z be c(12). Suppose 5*v - 34 = -n, -18 = -z*v - 2*v + 4*n. Is 7 a factor of v?
True
Let z(h) = h**3 - 8*h**2 + 9*h - 6. Suppose 4*g - 9 = v, v + 4*g + 14 - 37 = 0. Does 8 divide z(v)?
True
Suppose -6*v + 4*v + 16 = 0. Suppose -58 = 3*r + v. Let c = r + 43. Is 8 a factor of c?
False
Suppose 2*m - 122 = -4*j - 38, 0 = 2*m + 8. Let y = 45 - j. Is 22 a factor of y?
True
Suppose -36 = -m + 2. Suppose -2*y + m + 6 = 0. Is y a multiple of 10?
False
Suppose 3*w = -8 - 7. Let c = -1 - w. Suppose -2*g + c*u = 2*g - 80, g + 2*u = 20. Does 17 divide g?
False
Let c = 56 - 0. Does 29 divide c?
False
Suppose 2*u - 16 = 5*q, 0*u + 3*u - 2*q = 24. Let a(v) = v + 1. Let t(x) = 2*x + 3. Let w(g) = 7*a(g) - 3*t(g). Is w(u) a multiple of 6?
True
Let b = 20 + -17. Suppose b*i = 42 + 24. Is i a multiple of 9?
False
Suppose -5 - 1 = -3*n - m, -3*m - 4 = -2*n. Suppose -14 = -2*h + 4*i + i, i + 10 = 4*h. Does 12 divide 21 - (n - 1 - h)?
False
Let d(z) = -z**3 - 7*z**2 - 9*z - 1. Is 4 a factor of d(-6)?
False
Let p(b) = -b**2 + 4*b - 3. Let l be p(-7). Let u = l + 135. Does 11 divide u?
True
Suppose 2*x + 2*x - z - 67 = 0, -4*x - 5*z + 97 = 0. Does 6 divide x?
True
Let z(l) = 2*l + 8. Is z(10) a multiple of 6?
False
Suppose 2*d = -3*i + 585, 4*i + 4*d - 975 = -i. Is i a multiple of 39?
True
Let q(x) = 4*x**3 - 2*x**2 - 3. Is 29 a factor of q(3)?
True
Suppose -19 = -3*a + 20. Does 5 divide a?
False
Let f = 137 - 89. Is f a multiple of 4?
True
Let o(h) = 6*h - 2. Let x = 1 + 1. Is o(x) a multiple of 5?
True
Let z(w) = -24*w**3 + w**2 - 2. Let o be z(-2). Let r = o - 79. Does 32 divide r?
False
Suppose 2*r = -4*k + 64, k + 0*r - 14 = -r. Is 16 a factor of k?
False
Let h = 30 + 56. Does 10 divide h?
False
Let v(t) = 43*t + 1. Let a be v(4). Suppose -20 + a = 3*b. Does 17 divide b?
True
Let f(u) = -u**3 - 5*u**2 + 4*u - 6. Let c be (12/(-15))/((-2)/(-15)). Let w be f(c). Suppose 0 = 2*h + z - 22 - w, 5*h = 2*z + 70. Is h a multiple of 7?
True
Let d = 1 - 3. Let a = 2 + d. Is (2/(-6) - a)*-57 a multiple of 11?
False
Is 6 a factor of 85/10*2/1?
False
Suppose 10*z - 515 = 445. Does 24 divide z?
True
Suppose 0*g = -4*g + 468. Is 13 a factor of g?
True
Suppose 2*k = 26 + 18. Suppose j + j = -k. Let r = 34 + j. Is r a multiple of 12?
False
Let s(r) = r**3 + 6*r**2 - 8*r - 5. Let t be s(-7). Suppose l = -4*v - 17, -l - 1 = t*v + 6. Is l a multiple of 3?
True
Does 31 divide 16/12*510/4?
False
Let v(z) = 11*z**2 - 3 + 4*z - z**3 + 4 - 2*z**2. Let q be v(9). Let t = q + -18. Does 10 divide t?
False
Let b be (-3)/(-2) - 1/(-2). Suppose m = b*m. Suppose 3*l - 3*t - 18 = m, -2*l + 3*l = -2*t. Is 2 a factor of l?
True
Suppose -5*c = -8*c + 24. Is 4 a factor of c?
True
Is 14 a factor of ((-308)/(-3))/(-7)*(-6)/4?
False
Let u = -15 - -19. Is u a multiple of 4?
True
Let f = -3 - -5. Let s(i) = 1 - 1 - 2*i - f. Is 6 a factor of s(-5)?
False
Let b(a) = 23*a - 47. Is 19 a factor of b(7)?
True
Suppose 4*u - 72 = 4*m, u + 2*m + 2 = -m. Let r(f) = -f**3 + 12*f**2 + 13*f + 18. Is 18 a factor of r(u)?
True