h = -74. Suppose -46 = 2*f - 4*d + o, -4*d = f + 50. Let n = f + 69. Is n a multiple of 14?
False
Let k = -28 - -54. Does 26 divide k?
True
Let l be 2/(-9) - 2/(-9). Suppose l = x + 1 - 8. Let h(b) = b + 1. Is 8 a factor of h(x)?
True
Let c(l) = l**2 + 2*l + 3. Let i be c(0). Suppose -t + i = -5. Is 4 a factor of t?
True
Let w = 74 - 53. Is w a multiple of 3?
True
Suppose 1 = -2*f - 71. Does 13 divide (f/15)/((-1)/25)?
False
Let c(t) be the second derivative of 0*t**2 - 3*t + 0 + 0*t**3 + 1/12*t**4. Is c(-2) a multiple of 4?
True
Let y be ((0/(-2))/2)/(-1). Suppose p - 8 - 4 = y. Does 5 divide p?
False
Let p(a) = -3*a**2 + 6*a - a**2 + 8 + 3*a**2. Is 2 a factor of p(6)?
True
Suppose 5*s - 3*s - 46 = 0. Is s a multiple of 4?
False
Suppose -3*q = -8*q + 135. Does 10 divide q?
False
Let b = 162 - 45. Is b a multiple of 9?
True
Suppose 2*n - 96 - 22 = 0. Does 15 divide n?
False
Let i(o) = -5*o + 17. Let c = 16 - 23. Is i(c) a multiple of 26?
True
Suppose -5*a + 3*g = -9, -3*a - 2*g - 3 = 3. Suppose 0 = -4*x + 4*j + 20, x - 3*j + 0*j - 5 = a. Let b = x - -12. Is 17 a factor of b?
True
Let h(x) = 8*x + 1. Suppose 8*w - 2*q = 4*w + 8, 6 = -3*q. Is h(w) a multiple of 9?
True
Suppose -8 = 4*t - 0*t. Does 10 divide 2/1*(-25)/t?
False
Suppose 2*m = m + 2. Suppose 3*t - 63 + 0 = -3*r, -2*t + m*r = -38. Is 13 a factor of t?
False
Let f be (3 - 3 - 1)*7. Let z be (-131)/f + (-4)/(-14). Suppose 0 = 4*o - z - 69. Does 22 divide o?
True
Suppose 4*d = 3*d - 5. Let c = 2 - d. Is c a multiple of 7?
True
Suppose 0*m + 12 = -2*m. Let x(s) = -s**3 - 6*s**2 - 3*s + 6. Does 12 divide x(m)?
True
Does 7 divide (-6)/(51/18 + -3)?
False
Let p be (-10)/(-25)*5*2. Suppose -p*k + 3*o - 6 = -3*k, -3*k + 30 = 3*o. Let a = 3 + k. Does 9 divide a?
True
Let z(d) = -d**2 + 6*d + 4. Let h be z(6). Suppose 1 + 3 = -h*o. Let b = 3 - o. Is 4 a factor of b?
True
Suppose 3*u - 8*u = 0. Suppose -v + 4 = -u*v. Is v a multiple of 4?
True
Let k(x) be the second derivative of -x**5/20 - x**4/2 - 5*x**3/6 + 3*x**2 + 2*x. Let q(w) = 5*w**3 - w - 1. Let d be q(-1). Is 6 a factor of k(d)?
True
Let i = 50 + 65. Does 11 divide i?
False
Let o(v) = 2*v - 26. Let z(n) = -n + 27. Let x(b) = 3*o(b) + 4*z(b). Is x(0) a multiple of 10?
True
Suppose -5*b = -b - 20. Suppose -4 = 4*s - 12, 4*s = b*y + 8. Let l = y + 3. Is l even?
False
Let x(j) = -2*j + 4. Let o = 3 + -10. Let p be x(o). Is 12 a factor of 8/(-36) + 580/p?
False
Let u = 147 - 53. Is 7 a factor of u?
False
Suppose z - 11 = 21. Let f = -4 + z. Does 14 divide f?
True
Let m(r) = 2*r**2 + 14*r + 8. Let o be m(-10). Is 28 a factor of o/(-6)*(-15)/2?
False
Let w(m) = -m + 4. Let u = 6 - -3. Suppose 6*d + u = 3*d. Is w(d) a multiple of 7?
True
Does 10 divide (-48)/36 - 1628/(-6)?
True
Let p(q) = q**2 + 5*q - 3. Let u be p(-6). Suppose -5*d + 13 = 4*z, -2*z = -3*z - u. Does 5 divide d?
True
Suppose 5*n + 85 = 3*t, 16 = -0*n + 4*n. Let w be (2 + 0)*(-26)/(-4). Let q = t - w. Does 11 divide q?
True
Let x(q) = q**3 + q + 48. Let y be x(0). Suppose 2*b = 6*b - y. Is 6 a factor of b?
True
Suppose -2*n + 3*r + 45 = 6*r, 4*r + 124 = 5*n. Suppose -i + 18 = 2*i. Suppose 2*b - n = 3*o, 0 = 5*b + 4*o - i - 31. Does 8 divide b?
False
Let n be -5 - (-1 - -2)*-1. Let o be -1*(n + 2/(-1)). Is 4/6 - (-146)/o a multiple of 16?
False
Let c(p) = 7*p + 4. Is 4 a factor of c(2)?
False
Let p = -7 + -2. Let g = 14 + p. Suppose 4*i - g*i + 5 = 0. Is i even?
False
Suppose 5*i - 14 = -3*k - k, 5*i = 5*k + 5. Let y(q) = -34*q**3. Let s be y(-1). Suppose -i = -d + s. Does 12 divide d?
True
Does 14 divide (3 + -4 - 2) + 73?
True
Let m = -4 - -8. Suppose 0 = 5*q + 25, m*t = t + 5*q + 64. Is t a multiple of 13?
True
Suppose 0 = -l + 5 - 1. Let a be 1*(l + 0 + -1). Suppose a*b - 60 = 54. Does 19 divide b?
True
Let d be ((-2)/3)/((-3)/(-27)). Is 20 a factor of ((-30)/9)/(1/d)?
True
Let j(x) = x**2 + 10*x + 14. Suppose -4*w + 4 = -20. Let k = -4 - w. Is 8 a factor of j(k)?
False
Let g = -9 + 6. Let a be g/(-12) - (-3)/4. Does 3 divide 6/a - 2/2?
False
Let m = 11 + -17. Let j(q) = -q**2 - 6*q + 6. Let o be j(m). Suppose -o*g + 68 = -2*g. Does 13 divide g?
False
Let r(p) = -p**3 + 7*p**2 + 9*p + 6. Is 7 a factor of r(8)?
True
Let v(h) = -5*h - 4. Let l(o) = -o**2 + 5*o. Let w be l(4). Suppose -w = 4*u - 4*f, -3*u = -2*f + 2 + 4. Does 16 divide v(u)?
True
Let a be (0 + 0 + 1)/(-1). Let k = 14 + a. Does 6 divide k?
False
Let v(t) be the third derivative of t**5/15 + t**4/12 + 2*t**3/3 - t**2. Does 17 divide v(-3)?
True
Let y(k) = -k - 1. Let q(v) = -3*v**2 + 3*v - 1. Let m(h) = -q(h) - y(h). Is m(2) a multiple of 10?
True
Let h be 2 + 8/12*3. Suppose y = h*y - 165. Does 11 divide y?
True
Suppose -5*l + 31 = -3*x, 2*x - 6*x - 8 = 0. Let j(v) = -8*v**2 + 7*v - 2. Let p(c) = -4*c**2 + 4*c - 1. Let u(f) = l*p(f) - 3*j(f). Is u(1) even?
True
Suppose 0 = -2*u + 3*k + 119 + 50, -3*u + k = -257. Suppose u = 5*j - 89. Is 11 a factor of j?
False
Let q(c) = -c**2 - 6*c - 1. Let m(a) = -a - 1. Let f be m(5). Let i be q(f). Let t = 21 - i. Is 9 a factor of t?
False
Let o(v) = v**3 - 2*v**2 - v - 3. Let x be o(3). Suppose -4*t - x = -7*t. Suppose 17 = 2*a - t. Does 5 divide a?
False
Let w(g) = g**3 - 2*g. Let l = 6 + -4. Let j be w(l). Suppose -j*y + 170 = y. Is 17 a factor of y?
True
Suppose -2*n - 4 = -0*n, -5*c = 2*n + 174. Let l = 2 + c. Is 15 a factor of -2 + -6*l/6?
True
Suppose -y + 16 - 2 = 0. Suppose -4*t = z + y, -6*z + z + 2*t + 18 = 0. Is -1*z/(-2) + 10 a multiple of 11?
True
Let i = 23 - 19. Is i a multiple of 3?
False
Suppose 6*l + 55 = 211. Is l a multiple of 14?
False
Is 16 a factor of (-2)/8 + 3*(-579)/(-36)?
True
Let q(w) = -9*w - 1. Let h be q(-3). Let g = h - 2. Does 12 divide g?
True
Let d(a) = -14*a**2 + 1. Let s be d(-1). Let f(g) = -g**2 - 13*g + 11. Is 11 a factor of f(s)?
True
Suppose -2*q + 108 = 2*q. Suppose -4*u = -2*g - 30, -q = 5*g - 4*g - 5*u. Let l(t) = -t**2 - 9*t + 1. Does 6 divide l(g)?
False
Let y be 68/(-28) + (-3)/(-7). Is 32/24*(-69)/y a multiple of 10?
False
Let j(a) = 2*a**3 - 3*a**2 - 3*a - 2. Let k be j(3). Let x = k + 0. Does 8 divide x?
True
Let x(w) = w - 4. Let z be x(6). Suppose -5*p - u = -119, -z*p - 3*u + 44 = u. Does 6 divide p?
True
Suppose 4*w = -5*x, 0 = 3*w + 2*w - 3*x. Let o = 2 + w. Suppose 4*p + b - 82 + 13 = 0, 5*b - 21 = -o*p. Is p a multiple of 17?
False
Suppose 7 - 19 = -4*z. Suppose 5*s = 5*l + 40, z*s - 5*s + 4 = 2*l. Suppose -s*g + 66 = -3*x, 2*g + x + 14 = 3*g. Does 6 divide g?
True
Suppose 119 = -10*i + 1739. Does 9 divide i?
True
Suppose -3*r - 2*h = -h - 33, 0 = -2*r - h + 22. Does 2 divide r?
False
Does 7 divide (27/5)/(16/80)?
False
Suppose -2*t + 3 = 1. Let d be 110/2 - (-1)/t. Suppose 2*b - d = -0*b. Is 12 a factor of b?
False
Let k = 55 - 109. Let h = k + -47. Let s = 155 + h. Is 13 a factor of s?
False
Let g be (-767)/9 - (-8)/36. Is 2 a factor of (-14 + -1)*51/g?
False
Does 13 divide 260/(-6)*(-54)/45?
True
Let i(t) = -t**3 + 4*t**2 + 10*t - 3. Let g be 6/(-4)*40/(-12). Is i(g) a multiple of 14?
False
Suppose -32 + 7 = -5*a. Suppose 0 = -2*y + a*y. Suppose -p + 5 + 9 = y. Is p a multiple of 14?
True
Let v be 5/25 + (-9)/(-5). Suppose 2*f - 15 = -v*f - 3*x, -3 = -f - x. Suppose -5*h = f - 116. Is 17 a factor of h?
False
Suppose -3*i + 22 - 4 = 0. Let d = 51 - i. Is 10 a factor of d?
False
Suppose -4 = -3*u - x, -2*x - 8 = -2*u - 0*x. Suppose u*l = -l + 45. Is l a multiple of 8?
False
Let y(u) = -2*u + 14. Let o(a) = 12*a**3 - a**2. Let n be o(1). Let z be y(n). Is 1 - -3 - 3 - z a multiple of 6?
False
Suppose 2*l = 5*l. Suppose f - q = 3, l = -0*q - 4*q. Does 15 divide 1/(f/10)*9?
True
Suppose 4*h + 4 - 8 = o, -5*o = 0. Suppose g = -h + 13. Is 12 a factor of g?
True
Let s(l) = l**2 + 8*l + 7. Let o be s(-7). Suppose 5*w = -3*g - 0*g + 105, o = -3*g + 5*w + 75. Is 9 a factor of g?
False
Let p(c) = c**3 - 3*c**2 + 2*c - 2. Let n be p(2). Suppose 3*y - 540 = 8*y + x, -5*x = 4*y + 432. Is 17 a factor of (4/6)/(n/y)?
False
Let s = 25 - 9. Is 8 a factor of s?
True
Suppose 3*v = 3*y - 3, -y + 16 = -v + 3*y. Suppose -2*q = v*z + 2*q - 228, -5*q - 135 = -2*z. Is z a multiple of 25?
False
Suppose 2*s + 12 + 10 = 0. Let f = 16 + s. Is f a multiple of 4?
False
Suppose 55 = 2*q - 29. Is q a multiple of 4?
False
Let l be ((-28)/(-10))