pose -2*o + 43 = -h. Is 22 a factor of o?
True
Suppose 5*m = 21 - 6. Suppose m*s - 4 = -s, 2*i + 3*s - 13 = 0. Does 14 divide 119/i + (-3)/(-15)?
False
Let s = -120 - -423. Suppose 3*h = r - 77, 4*h - s = -3*r - 59. Let t = r + -54. Is t a multiple of 14?
False
Suppose -4*c + 2*g = -52, -c - 2*c - 3*g + 30 = 0. Suppose -3*p = 3*b - 5*b + c, 28 = 4*b - 4*p. Is b a multiple of 6?
False
Let m(p) = -p**3 + 9*p**2 - 17*p + 5. Does 4 divide m(5)?
True
Let b(i) = 4*i**2 + 8*i - 5. Let h(u) = 7*u**2 + 15*u - 10. Let n(a) = 11*b(a) - 6*h(a). Does 9 divide n(4)?
False
Let c(m) = -6*m**2. Let y be c(2). Is ((-2)/(-4))/((-1)/y) a multiple of 5?
False
Let a be 0/1 - (1 - 1). Suppose a = 5*r + 3*f - 19, -4*r + f = -3 - 2. Suppose 0*k = k - r. Is k even?
True
Let t = 17 + -10. Suppose t*r = -2*y + 4*r + 90, 4*y + r - 170 = 0. Is 21 a factor of y?
True
Does 2 divide 10*3/((-18)/(-3))?
False
Let g(j) = j**3 + 2*j**2 - 1. Let r be g(1). Suppose -r*z = 3*z - 130. Is z a multiple of 10?
False
Suppose 48 = 6*k - 78. Is k a multiple of 2?
False
Suppose 2*v = -2*b + 2, 5*b + 11 = 4*v - 5*v. Suppose 2*z = 2*d + 154, 0*z + 3*d = v*z - 306. Is 25 a factor of z?
True
Let v(w) = -w + 50. Let r be v(0). Let c = r + -35. Does 8 divide c?
False
Suppose -47 - 1 = -a. Let y = a + -27. Does 9 divide y?
False
Let u(i) = 16*i + 13. Let a(b) = -24*b - 20. Let n(m) = -5*a(m) - 8*u(m). Is n(-3) a multiple of 20?
True
Let a(i) = 21*i**2 + 21*i**2 - 13*i**2 + i. Is 14 a factor of a(-1)?
True
Suppose 0 = h - 5*u - 91, -4*h + 2*u = -394 + 48. Suppose 2*j = 168 + h. Suppose j + 33 = 4*p. Is 15 a factor of p?
False
Suppose 0 = 4*y - 4 + 20. Let t(v) = v**3 + 4*v**2 - 2*v - 3. Is t(y) even?
False
Is (-2475)/30*4/(-2) a multiple of 13?
False
Let n(l) be the second derivative of l**4/12 + 2*l**3/3 - l**2 - 2*l. Let k be n(-5). Suppose -8 + 29 = k*i. Is i a multiple of 5?
False
Suppose 0 = 5*o + a - 4*a - 9, -3*o + 1 = -4*a. Let r be (-4)/3*(-3)/2. Suppose 5*g + o*h = r*g + 69, 34 = 2*g - 4*h. Does 21 divide g?
True
Let k = 193 + -129. Is k a multiple of 3?
False
Let g(o) = o**3 - 6*o**2 - 8*o + 7. Let a be g(7). Suppose -5*t + 38 + 12 = a. Is 7 a factor of (-1 - 2)*t/(-3)?
False
Let z(k) = -5*k - 2. Let t be z(-6). Suppose -t = 4*j + 232. Let c = 108 + j. Is 16 a factor of c?
False
Let f(m) = -m. Let l be f(-3). Is ((-4)/l)/((-8)/72) a multiple of 12?
True
Let p = -3 - -12. Let j = -1 + p. Is j a multiple of 8?
True
Suppose -4*a - 262 = -l - 0*a, 1063 = 4*l - a. Is l a multiple of 35?
False
Let m(k) = k**3 - k**2 - 2*k - 4. Let j be m(3). Suppose 3*c + 25 = j*c. Does 3 divide c?
False
Suppose -3*y = 2 - 14. Suppose -4*v + 28 = -n, 2*v - y*n - 17 = 11. Suppose -10*d = -9*d - v. Is d a multiple of 4?
False
Let r(c) = -3*c - 2 - 8*c**2 - 2*c**3 + 5*c**2 + 3*c**2. Is 3 a factor of r(-1)?
True
Let m(i) = -i**3 + 5*i**2 + 2. Let r be (1 + -3)*(-5)/2. Let j be m(r). Suppose -j*s - 3*z = s - 114, 3*s = 4*z + 100. Is 13 a factor of s?
False
Let t(j) = j**3 + 9*j**2 + 7*j + 2. Let f be t(-8). Let y = f + -5. Suppose 3*a - 89 = -0*b - 4*b, -5*b = -y*a - 85. Is b a multiple of 11?
False
Suppose -3*p = -p. Suppose p = -r - r. Let f = 31 + r. Is 13 a factor of f?
False
Let j = -4 + -1. Let y = -5 - j. Suppose y = 2*v + v - 39. Is v a multiple of 5?
False
Let a = -40 - -74. Does 9 divide a?
False
Does 19 divide 266/(-21)*3*-7?
True
Suppose u = 6*f - 4*f - 24, -18 = -f - u. Let n = f - -2. Does 10 divide n?
False
Let c(q) = 3*q - 8. Let x(u) = 4*u - 8. Let h(f) = -5*c(f) + 4*x(f). Let b be h(-6). Suppose -2*l - 40 = -o - o, b*o - 5*l - 31 = 0. Is 12 a factor of o?
False
Let g = 55 - 52. Is g a multiple of 3?
True
Let m(f) = 18*f**2 - 6. Is 26 a factor of m(-3)?
True
Let h be (2/(-2))/(-1) + 1. Suppose 5*a - 10 = 0, 0*s - 50 = h*s - a. Does 6 divide (s/(-20))/((-2)/(-10))?
True
Let a = 17 + -8. Is a a multiple of 2?
False
Suppose -2*m = -7*m + 15. Suppose 3 = m*o - 3, -5*c + 321 = 3*o. Does 21 divide c?
True
Let u be (-1)/3 - (-182)/6. Suppose -b + 4 = -3*n - 11, 0 = -2*b + n + u. Does 5 divide b?
True
Is 4 a factor of 162/2 + (-3 - 16/(-4))?
False
Suppose 2*h = h - 13. Let q = -47 - -23. Let d = h - q. Is d a multiple of 5?
False
Suppose -6*o = -0*o - 222. Let c = o + 6. Does 11 divide c?
False
Suppose 2*y + 163 - 19 = 0. Let k = y - -112. Is k a multiple of 10?
True
Suppose 2*g = -0*g. Suppose g = 4*a + 4 - 28. Is 3 a factor of a?
True
Let h = -28 + 48. Does 4 divide h?
True
Suppose 0 = -y + 17 + 11. Is y a multiple of 28?
True
Does 10 divide 2 - 57/(-1 - 2)?
False
Suppose -4*i + 3*i = -2. Is ((-12)/(-9) + i)*3 a multiple of 10?
True
Suppose 0 = -3*r - 9 - 0, 2*d - 5*r + 21 = 0. Is 10 a factor of (d/(-12))/((-9)/(-168))?
False
Let v(o) be the first derivative of -3*o**2 - 2*o - 1. Let f be v(7). Let c = f - -97. Does 19 divide c?
False
Suppose -58 - 162 = -4*f. Suppose -f = -5*u + 35. Does 10 divide u?
False
Suppose 4*j + 22 + 18 = 0. Let f be (-5)/(j/4) - -38. Suppose 0*h = -4*h + f. Is h a multiple of 5?
True
Let p be 1/(-3) + 358/(-6). Let m = 136 + p. Does 19 divide m?
True
Let x(i) = i**2 - 5*i - 5. Let s be x(4). Let o = -3 - s. Suppose 0 = 3*k + o - 63. Is k a multiple of 16?
False
Let t(x) = -x**3 - 6*x**2 - 8*x - 4. Let s be t(-6). Suppose 0*y + 5*g + 28 = y, -3*g = -4*y + s. Does 8 divide y + 2*-1 + 2?
True
Let s(r) = 3*r + 3. Let i be s(3). Suppose 21 + i = 3*n. Is 11 a factor of n?
True
Suppose 2*x + a + 1 = 167, -3*x + 2*a = -242. Let m = -101 + 53. Let j = m + x. Is j a multiple of 14?
False
Let j(d) = -2*d - 2. Let q be j(-3). Suppose -q*n = -42 - 102. Is 13 a factor of n?
False
Let z(q) = 2*q**2 - 37*q + 23. Does 14 divide z(22)?
False
Let q be (3/(-3))/(-1) + -3. Let k(p) = 3*p**2 - p + 1. Does 14 divide k(q)?
False
Let k(y) = -24*y + 3. Does 15 divide k(-3)?
True
Is 11 a factor of -8 + 3 - -5 - -88?
True
Let b(g) = -2. Let h(s) = s + 1. Let v(i) = 2*b(i) + 6*h(i). Does 11 divide v(5)?
False
Suppose -5*w + 2*s - 16 = 0, 0*w = 2*w + 4*s + 16. Is 70/4 + 2/w a multiple of 17?
True
Suppose -5*r = 3*o + 39 + 14, 3*r + 31 = -2*o. Let g(t) = -t**3 - 13*t**2 - 2*t + 16. Is g(r) a multiple of 14?
True
Suppose d - 2*c - 29 = 0, -5*d - 7 + 167 = 5*c. Does 9 divide d?
False
Suppose -3*d + 9 = 0, -d - 1 + 8 = -2*t. Let a be ((-3)/2)/(1/t). Suppose -p + a + 11 = 0. Is p a multiple of 13?
False
Suppose -t - 12 = -4*t. Does 4 divide t?
True
Suppose z - 20 = -j - 4*j, z - 12 = -3*j. Suppose j*g - 6*g + 24 = -3*k, -3*k = 0. Is (-3)/g + (-89)/(-4) a multiple of 12?
False
Let i = 0 + 2. Suppose -2*c - o = i*c - 315, -4*o - 20 = 0. Let u = 123 - c. Is u a multiple of 22?
False
Let j(b) = 22*b**2 - 2*b + 4. Does 42 divide j(-3)?
False
Suppose 6*f - f = -4*l + 17, -2*f = -2. Suppose 0 = -k - l*j, -3*k = 2*k + 3*j. Suppose -4*a - y + 85 = -a, -a + 2*y + 33 = k. Is 16 a factor of a?
False
Let j(f) = 3*f**2 + f + 1. Is j(-3) a multiple of 5?
True
Suppose -5*z - 15 = -2*z + 2*n, -z = -n + 5. Does 16 divide (32/z)/((-5)/25)?
True
Let b(m) = m. Let g be b(-4). Let x be -3 + 4 + g + 11. Suppose x*a = 4*a + 184. Is a a multiple of 23?
True
Suppose g - 3*k = 0, 2*g + 5*k + 4 = 5*g. Suppose -10 = -2*m - g*m. Is m a multiple of 2?
True
Let t(h) = -69*h**3 + h. Let s be t(-1). Let j = s + -38. Is j a multiple of 15?
True
Let h(p) = -p**3 + 4*p**2 + 2*p - 1. Let z be h(4). Suppose z*a - 10 = 2*a. Is 8 a factor of a/9 + (-140)/(-18)?
True
Suppose -o + 40 = -4*c, -o - 2*o + 4*c + 120 = 0. Is 10 a factor of o?
True
Let a(s) = -7*s**2 + 1. Let l be a(1). Let g(x) = x. Let w be g(l). Let b(z) = -6*z + 6. Does 14 divide b(w)?
True
Let f = 8 - 4. Let t(y) = -1 + 1 + 2*y. Is 4 a factor of t(f)?
True
Suppose -44 = -4*v + 32. Suppose 282 = -v*h + 22*h. Does 24 divide h?
False
Suppose s - 4*z - 54 = 13, 3*s - 3*z - 237 = 0. Is s a multiple of 21?
False
Let n(u) = 6*u**2 + 10 + u - 11 + 4*u**2. Is 11 a factor of n(-2)?
False
Suppose -r - r - 44 = 0. Let u = 15 + r. Does 9 divide (-36)/14*(u + 0)?
True
Let w = -2 - 0. Suppose 2*m + 5*f = -5, 5*m - f + 0 = 1. Let u = m - w. Is u even?
True
Suppose 2*y + 14 = q - 0*q, 0 = -3*y - 3*q - 21. Let k(o) = o**3 + 7*o**2 - o - 1. Let r be k(y). Is (-4)/r + 20/3 a multiple of 3?
True
Is 2 a factor of -4 - (4 - 2 - 8)?
True
Let y(s) = -s + 1. Let h be y(4). Let j be h/((-15)/(-2))*-5. Suppose 