/(-2). Suppose -2 = -5*q - 32. Let u be (-1 - 0)/(2/q). Solve -1 = u*h - f for h.
2
Let j = 464 + -461. Solve n + j*n = 8 for n.
2
Let n(c) = -2*c**2 - 7*c - 3. Let b(v) = 2*v**2 + 8*v + 4. Let j(w) = -5*b(w) - 6*n(w). Let o be j(-2). Suppose -o*s + 4*s = 2. Solve 5*f = 19 + s for f.
4
Suppose 2*c = -3*d, -9*d - 3*c = -14*d. Solve d*y = -y + 1 for y.
1
Suppose 176*m - 167*m = 81. Solve -v + m = 2*v for v.
3
Let m = 396 - 385. Solve 7*v = m*v - 4 for v.
1
Suppose -3*q + q = 5*k, 3*q + 2*k = 0. Solve q = -8*a - 58 + 18 for a.
-5
Suppose -8 = 5*v - 18. Suppose v*b - 8 = g + 11, -53 = -4*b + 5*g. Let y be (-8)/(-28) + (-2)/b. Solve y*w - 4*w = -20 for w.
5
Let a = 407 + -389. Solve -2*q + a = -8*q for q.
-3
Suppose 3*n - 18 = 15. Suppose -2*d = -3*c + n, -2*c + 42 = 4*d + 8. Let i be ((-2)/7)/(c/(-49)). Solve -t - i*t + 6 = 0 for t.
2
Suppose -11*r + 6*r - j = -13, 0 = 3*r - j - 11. Solve 5 = r*o - 8*o for o.
-1
Let g = 39 + -45. Let c be (0 - 1)*(g + 2). Solve 0 = -o + c*o for o.
0
Let f be 1/((-4)/(-8)) - 6 - -14. Suppose -5*r + f = 5*n, 5*r + 0*n + 4 = 2*n. Solve -3*m + 7 + 2 = r for m.
3
Suppose 16*m - 3*m = 182. Solve 21 + m = -7*o for o.
-5
Suppose -c + 13 = h, -2*c + 1 = -3. Solve h*w - 9*w = -8 for w.
-4
Let n(d) = 3*d + 4. Let x(l) = -l - 1. Let m(g) = 3*n(g) + 8*x(g). Let c be m(1). Solve 0 = -c*w + 19 + 1 for w.
4
Suppose 6*m = -0*m + 24. Suppose 4*a = m + 28. Solve -4 = -a*q + 4*q for q.
1
Let y be (5 - 12) + (-72)/(-4). Solve 2*q = -y + 7 for q.
-2
Suppose -2*a = 14*c - 17*c + 5, -c + 3 = 0. Let v be (1/2)/(3/12). Suppose v*x + 11 = -3*f, -4*x - 3*f + 0 = 7. Solve a + x = 4*z for z.
1
Let n = -31 - -36. Let x(l) = 6*l - 2*l - l**2 + 2*l + 0*l**2. Let a be x(n). Solve 4*i - a*i = -1 for i.
1
Let s be -1 + 10 + -2 + 0. Suppose -s*n + 20 = -8. Solve 20 - n = 4*q for q.
4
Let d = -7 + 32. Suppose 18 = d*j - 23*j. Solve j = 4*o - 3 for o.
3
Let j(f) = f**2 - 15*f + 18. Let y be j(12). Let t = y - -20. Solve -t*n + 5*n = 0 for n.
0
Let z be (40/(-12) - -4)*6. Solve -5*v - z*v = -27 for v.
3
Let v(l) = l**2 - 1. Let q be v(-2). Suppose -2*m - q*m = 5. Let k = m + 1. Solve k = -0*r + r + 4 for r.
-4
Suppose -7*v + 10 = -2*v - 2*k, -5*v + 3*k + 10 = 0. Let b be (0/(-6 - -3))/v. Suppose b = d - 0 - 3. Solve 0 = 2*a + a - d for a.
1
Let a = -43 - -75. Let f = 38 - 9. Let b = a - f. Solve -x = b*x - 12 for x.
3
Suppose 5*g + 2020 = -5*p, 2*p + 2*p - 1584 = 4*g. Let t be 1/(-3)*-2 - g/300. Solve 0 = -t*k + 4 + 2 for k.
3
Suppose -5*l = -4*g - 10, -3*g + 0*g - 4 = -2*l. Suppose 3*u - 60 = l*u. Suppose -u = 6*f - 11*f. Solve -3*b + 3 = -f for b.
5
Suppose -5*b + 9*o - 28 = 7*o, 3*b = 5*o - 13. Let a be (2 - (-4 - b))/4. Solve -20 = -a*r + 5*r for r.
-4
Let z(c) = c**3 + 13*c**2 + 6. Let f be z(-13). Solve f*p - 3*p + 3 = 0 for p.
-1
Let h be 4/30 + (-1729)/(-195). Suppose w = h + 2. Suppose 5*r - 3*o - 7 = 0, -5*r - 6*o + w = -5*o. Solve r*m - 3 = m for m.
3
Let f(g) = -g**3 - 5*g**2 - 5*g - 3. Let y be f(-3). Let r be y/(2 + -2 + -2). Let m be -1 - (-1 + (2 - r)). Solve -q = m + 4 for q.
-5
Suppose c + 0*r = -r + 73, -c + 2*r = -61. Suppose 3*l + c = 4*n + 24, -3*l = -15. Solve p = 4*p - n for p.
5
Let s(v) = 3*v + 4. Let m be s(7). Suppose 44*i + 18 = 47*i. Solve m = -i*n + n for n.
-5
Suppose -z = -20 + 1. Suppose z*f = 15*f. Solve f = 5*c - 0*c - 5 for c.
1
Suppose 2*s - 7*l = -9*l + 26, s - l - 5 = 0. Solve 3 - 3 = -s*c for c.
0
Let h = 15 - 11. Let j be -1 + h - 0/2. Solve -j*o + 20 = -7*o for o.
-5
Suppose 24*t = -3*l + 28*t + 21, -3*t = -4*l + 35. Suppose 0 = 2*u - 5*u + 3. Let g = u - -2. Solve 1 = -g*m - l for m.
-4
Let w = 218 + -174. Solve -w*r + 41*r + 9 = 0 for r.
3
Suppose -10*c = -14*c + 16. Solve c = 7*k - 10 for k.
2
Let k = 1099 + -1095. Solve -8 = 6*p - k*p for p.
-4
Let v = -797 + 804. Solve -16 = -3*y + v*y for y.
-4
Let m be -3 - (-1 + 6)*-1. Suppose -j + 6 - m = 0. Suppose 0 = -2*s - 4*v + 16, s + v + 0*v - 6 = 0. Solve s*a + j = 24 for a.
5
Let r(t) = t**3 - 2*t**2 - 2*t + 32. Let n be r(0). Let h = 34 - n. Solve -h*k = k + 9 for k.
-3
Let q(a) = -2*a**2 + 5*a + 7 + 1 + 5*a**2 - 4*a**2. Let y be q(7). Let p be 5 + y/2 - -1. Solve f = -p*f for f.
0
Let z = -4 + 0. Let w(s) = s**3 + 5*s**2 + 4*s - 5. Let h be w(z). Let o be ((-6)/h)/(18/60). Solve -o*g + 2*g = 6 for g.
-3
Suppose 6*v - 11 - 13 = 0. Solve -9 = -v*i + i for i.
3
Let d(f) = 2*f**2 + f - 2. Let c be d(-2). Suppose 4*z = 2*w - 16 - 16, -12 = c*z. Let j = -10 + w. Solve 5 + j = 5*n for n.
1
Suppose 0 = -3*n + 52 - 61. Let r(j) be the first derivative of j**3/3 + j**2 - j + 1. Let m be r(n). Solve -5 = m*i + 3*i for i.
-1
Let o = -140 + 143. Solve -1 = -2*c + o for c.
2
Suppose d + 53 + 76 = 0. Let b = 136 + d. Solve b*v - 15 = 2*v for v.
3
Let h(f) = f**3 - 18*f**2 + 32*f + 17. Let x be h(16). Solve x*v + 13 = -72 for v.
-5
Let t = 178 + -176. Let w = -18 - -24. Solve -a = t*a - w for a.
2
Let f(d) = d**3 - 6*d**2 + 2*d + 14. Let g be f(6). Let p = 26 - g. Let u be 0 + (0 - -17 - p). Solve -3*o = 2 - u for o.
5
Let f(o) = -3*o**2 - 9*o + 12. Let n be f(-4). Suppose 0 = h - 2*c + 6*c + 17, -3*h = c - 4. Solve -h*x + 2*x = n for x.
0
Let w(r) = r**2 + 57*r - 249. Let o be w(5). Solve -6*c = o - 31 for c.
-5
Suppose 18 = d + 12. Suppose -7*a = -d*a - 1. Solve a = -2*b + 3*b for b.
1
Let w(k) = -k**3 - 10*k**2 - k - 5. Let x be w(-10). Solve -18*j = -13*j - x for j.
1
Let k = 152 + -80. Suppose 0*v + k = 6*v. Solve 0 = 2*q + 2 - v for q.
5
Let m(k) = -9*k - 1. Let v be m(-1). Let a be v/(-28) - (-2)/7. Suppose -60 = 2*c - 7*c. Solve a*y - c = 4*y for y.
-3
Let q = -17 - -20. Suppose q*t - 20 = 4*t. Let c = t + 27. Solve -2 = -x - c for x.
-5
Suppose -2252 = 11*n - 2362. Solve 47 = -n*r - 3 for r.
-5
Let v be (4 + 0 + 1)/1. Suppose 3*d - 8 - 94 = 3*c, -3*c = -4*d + 140. Suppose d = 5*i + 2*m, 3*i - 40 = -i - 4*m. Solve v*k = 3*k - i for k.
-3
Let i = 41 - 15. Let o = 30 - i. Solve 15 = o*h - h for h.
5
Let r = -5 + 0. Let i be (-36)/54 + 74/(-6). Let o = r - i. Solve 4*l = o + 8 for l.
4
Let n(y) be the first derivative of -2*y**3/3 - 5*y**2/2 - 3*y + 4. Let i be n(-1). Solve -2*v = -i*v for v.
0
Let c(j) = -j**3 - 4*j**2 - 5*j - 3. Let z = -47 - -44. Let w be c(z). Solve -5 = 2*s + w for s.
-4
Let t be 88/32 - (-1)/4. Suppose 2*g - q = 8, 2*g - 2*q - 1 = t*g. Let n = 1 - 0. Solve g*w - n = 2 for w.
1
Suppose -44*w = -817 - 151. Solve -45*m + w*m = -23 for m.
1
Let q(j) = j**2 + 8*j - 9. Let u = -12 + 17. Suppose -36 = u*m - m. Let h be q(m). Solve h = 3*v - 15 for v.
5
Suppose 2*z = -m + 112, -2*z = 3*m - 8*m - 136. Let r = z + -43. Solve 0 = 2*j - r + 7 for j.
4
Let l = 88 + -54. Let b = l - 23. Solve 4*d - b - 5 = 0 for d.
4
Let f(t) = 7*t**2 + 2*t + 1. Let k be (2 - -1)*(-3)/9. Let h be f(k). Solve 0 = -2*q + 4*q - h for q.
3
Suppose 5*t - 100 = -0*t. Suppose 2*h - t = -2*h. Suppose h*p + 1 + 4 = 0, 3*k - 7 = p. Solve -k*r = 2*r - 12 for r.
3
Let r = 20 + -14. Suppose -9*u = -r*u - 9. Solve -u = 2*c - c for c.
-3
Let j = -1242 - -1258. Solve j*s = -57 - 7 for s.
-4
Let b be (-519)/1384 - (-38)/16. Solve b = 17*x - 19*x for x.
-1
Suppose 0 = 5*m + 3*h - 3 + 2, -4*m + 5*h + 23 = 0. Suppose -3 + 11 = m*v. Solve -11 = v*d + 1 for d.
-3
Suppose 56 = 5*y - y. Let r = -275 - -278. Suppose -18 = -2*o - 4*g + y, 0 = 2*o - 3*g + r. Solve o + 6 = -4*w for w.
-3
Let w be 58/10 + (-1)/(-5). Solve -10*x = -w*x + 12 for x.
-3
Suppose -63*n + 394 = -1811. Solve 6 = n*c - 37*c for c.
-3
Let g(u) = u**2 + 10*u + 3. Let d be g(-10). Suppose k - d*k = -5*h - 14, -3*h = 2*k + 2. Solve -3*j - 4 = -k*j for j.
-4
Let x = 32 + -32. Let m(u) = -u**3 + 8*u**2 - 6*u - 3. Let r be m(7). Solve a + r = -x*a for a.
-4
Let l = -14 + 24. Let r be (-3)/15*(-180)/12. Solve -r*o + l = -o for o.
5
Suppose -6*r + 4*y + 100 = -r, 3*r = -4*y + 28. Solve 13*n - r*n + 9 = 0 for n.
3
Suppose -3*l - 32 = l. Let k = -11 - l. Let r be (24/28)/(k/(-14)). Solve -r*o - 1 - 3 = 0 for o.
-1
Let a be (-3)/8 + (-105)/(-24). Solve 0 = -6*d - a - 26 for d.
-5
Suppose 0 = 4*m - 29 - 19. Suppose -3*d - 2*u = u - 15, -4*d = -u - 15. Suppose 0*v - d = -v. Solve -v*c + 8*c = m for c.
3
Let b(h) = -h**3 - 14*h**2 - 43*h - 25. Let y be b(-10). Solve 1 = g + y for g.
-4
Let w = 12 - 13. Let l be 50/20 - w/2. Solve 0 = l*s + 