2 - h = 0. Solve m*i + i + 26 = 4*s, -3 = -i - s for i.
-2
Suppose r + 2*r + 9 = 0. Let n = 2 - r. Solve 2*h = u + 2*u - 2, 5*u = -n*h - 30 for u.
-2
Let j be (-3)/1 - (0 - 8). Solve 0 = 3*x + 4*u - 1, 0*u - 25 = x - j*u for x.
-5
Let h be (-8)/3*(3 - 9). Suppose -3*a = -5*a + h. Solve n - a = -n - 4*b, -2*b = -2*n + 2 for n.
2
Let u be (-5)/((-30)/4) + (-4)/(-3). Let m(a) = -a**2 - 7*a - 2. Let t be m(-6). Solve 0 = -6*v + 2*v + t, 5*g + 7 = u*v for g.
-1
Let g = 8 + -3. Suppose 0 = 5*b + g - 15. Suppose 2*a = -2*l + 2, -5*a = -3*l + 25 + 10. Solve 4*o - 2 = -4*i + b, 8 = 2*o + l*i for o.
-1
Let o be 1*0/2 + 14. Solve 8*u - 2*d + 2 = 3*u, 0 = -u - 3*d - o for u.
-2
Suppose 3 = 5*i - 4*i. Solve 2*s = -0*s - 5*r - 26, i*s + 3*r = -21 for s.
-3
Let i = 19 - 27. Let k = 10 + i. Solve o = -4*j + 12, -k*o + 4*j - j = 9 for o.
0
Suppose 7 = d + 3, 32 = 5*i + 3*d. Suppose 3*m - i*m = -5. Solve -8*t = -3*o - 3*t - 1, -5*o + m*t + 5 = 0 for o.
3
Let x = 7 + -7. Solve 4*b - 8 = x, -5*u = -10*u + 3*b - 26 for u.
-4
Suppose 3*f = 3*i + 54, 3*f = -3*i + 8*i + 52. Suppose -5 = -b, f = 2*z - 0*b + b. Solve 2*r = -6, g - 7 = 4*r + z for g.
2
Let f be (2 + 4/((-12)/7))*-12. Solve 0 = -4*q - 4*z - 4, -q - f*z + 3 = 4 for q.
-1
Let c(x) be the third derivative of -x**5/60 + x**4/3 + 5*x**3/6 + x**2. Let d be c(8). Solve 3*w + y = -9, -3*w = -d*y + 5 + 4 for w.
-3
Let b be (4*2/4)/1. Solve -5*i = 4*v - 16, -4*i + b*v = -2*i + 8 for i.
0
Let u = 65 + -62. Solve 5*c - 2*s = 29, 5*c - u*s = -0*c + 31 for c.
5
Let o be ((-10)/2)/(0 + 1). Let g(k) = k**2 - 4*k + 5. Let n be g(o). Suppose -6 = 4*p - n. Solve -h + p = -5*l, h - 7 = 6*l - 3*l for l.
-2
Let b = -166 + 62. Let x be 10/(-25) + b/(-10). Let u be (4/x)/(2/10). Solve 0*j - 5*k = u*j, 3*j + 4*k + 7 = 0 for j.
-5
Suppose -7 = 12*g - 31. Solve g*a + a - 12 = -3*y, 4*a + 3*y = 15 for a.
3
Let a(s) = s**2 + s + 4. Let w be a(0). Let j be 3/((-6)/(-23))*w. Suppose 12 - j = -2*p. Solve -p = -4*l + 3*r - 2*r, 5*l + 4*r = -5 for l.
3
Suppose 11*c = 7*c. Suppose 4*i - 3*o - 80 = c, -4*i + 5*o = -0*o - 80. Solve -q - 5*p = -i, -2*q + 4*p - 45 = 3*q for q.
-5
Let w(k) = 4*k**2 + k. Let f = -6 + 5. Let x be w(f). Solve 2*h = x*h - 4*l + 11, 2*h + 12 = 3*l for h.
-3
Let h(w) = -w**2 + 7*w - 8. Let i be h(5). Solve -4*o - 5*b - 19 = 0, 5*o + 3*b = -i*b - 20 for o.
-1
Suppose i = -3*i. Let l be 2 + (-2 - (-2 - i)). Let v be 2/(8/6)*l. Solve 0*z + 5 = -5*o + v*z, z = 5*o + 15 for o.
-4
Let s(b) = b. Let y(g) = 5. Let k(a) = s(a) - y(a). Let o be k(5). Let c = -3 - -7. Solve 7 = c*i - 4*h - 1, -3*i + 2*h + 7 = o for i.
3
Suppose c + 7 = 22. Let b be c/2*(-4)/5. Let p be ((-10)/b - 0)*3. Solve -p*u - 25 = 0, 4*v - 35 = v + 4*u for v.
5
Let q be 3/(-9) + (-128)/(-6). Let k = q + -19. Solve -d = -3*g + 3, 4*d + k*g - 10 = 2*d for d.
3
Let b(m) = -8*m - 7. Let v be b(-4). Solve 0 = -5*q + v, 0 = -5*u + 3*u + 4*q - 12 for u.
4
Let j = -107 - -131. Solve 4*h + 21 = 5*p, -2 = 2*h + 4*p - j for h.
1
Let o be -2 - -34*1/2. Suppose -2*c + o = 5. Suppose 2*r = -c*s + 4*r + 8, 4*r = -2*s + 8. Solve -3*p = 4*u + 35, -s*p - 35 = -0*p + 5*u for p.
-5
Let q be 3 - 4/8*34. Let m = q + 31. Solve 16 = 2*s + 5*r, -m = -3*s - 5*r + r for s.
3
Suppose -13 - 5 = -v + 4*x, 4*x + 26 = 5*v. Let f be (-3)/((-6)/4) - -4. Suppose 2*j + f = 4*j. Solve a + j*c + 16 = v, -6 = -a + 2*c for a.
-2
Let g be (-1)/(-3) - 247/39. Let w be ((-2)/2)/(g/12). Solve 3*p = -u - 8, -u = w*p - 5*p - 10 for p.
-3
Let c(v) = v + 6. Let z be c(-3). Solve -5*j + 2*p = 4, j + 3*p = -z*j + 6 for j.
0
Suppose -2*n = 5 + 13. Let f(l) = -l**3 - 10*l**2 - 8*l + 11. Let r be f(n). Solve -c = s + 3*s - 8, -r*s + 5*c + 26 = 0 for s.
3
Let a = -12 + 11. Suppose -5*c = -2*c - 21. Let x = c - a. Solve -3*t + x = 3*d - 7, -5*t = 3*d - 15 for d.
5
Suppose -52 = -j - 12. Suppose 2*z - j = -2*y, 0 = 3*y + z - 82 + 30. Let v be 224/48 - (0 + (-2)/(-3)). Solve -4*m - y = -4*a, -5*m - a - 20 = v*a for m.
-4
Let j(o) = 11*o**3 + 1. Let i be j(-1). Let s be (-52)/i - (-2)/(-10). Solve 4*d + s*k - 15 = d, 3*k = -d + 9 for d.
0
Let x be 2/9 - 5/(-18)*10. Solve 3*l + x*v + 15 = -0*v, 3*l - 25 = 5*v for l.
0
Let r(o) = o**3 + 9*o**2 + 3*o - 4. Let q be r(-8). Suppose 6*y = 2*y + q. Solve 3*k - 5*m = 19, 3*m = 2*k + 4*m + y for k.
-2
Let q be (-4)/5*(-75)/30. Solve t - 8 = -q*f, 13 = -t + 2*f + 3*f for t.
2
Let u = 14 - 9. Suppose u*b - 18 = -3*f, -9 = -4*b - 2*f + 5*f. Solve 0 = -b*j - n - 0*n + 10, j - 7 = -4*n for j.
3
Suppose -2*f = f. Solve -3*l + b - 10 = 0, 0*l + l - 5*b - 6 = f for l.
-4
Let l be (-4)/(-2) - (5 - 5). Solve -4*f + 5*w + 21 = 50, -2*w = l*f - 8 for f.
-1
Suppose 4*a + q - 39 = -11, -4*q + 4 = -2*a. Let m = a - 4. Solve 3*c + 12 = s, m*s = 5*c + 5*s + 6 for c.
-3
Let u = -1 + 3. Suppose 10 - 2 = 2*r. Suppose 6 + 10 = r*w. Solve 3*q + 3 = -4*h + u, 0 = -h - w for q.
5
Suppose -2*q = -2 - 2. Solve 2*h + 0*h + q = 0, -2*h + 10 = -3*a for a.
-4
Let b be 0 + 0 - (1 + 1). Suppose 0 = -4*k - 2*j - 6, -3*k - 1 = j + 4. Let c be (k/b)/(3/15). Solve -4*h + s - 18 = 0, -1 - 17 = 2*h - c*s for h.
-4
Let q be (-9 - (2 - 1))*-1. Suppose 8 = 3*s + 2. Suppose 0 = -5*j - 3*k + 3, 5*j = s*k + 33 - 10. Solve -3*i = 2*m - 5 + 1, -5*m + q = -j*i for i.
0
Let p be (-6)/4*(-16)/6. Let i(l) = -l - 9. Let q be (2/2)/((-2)/28). Let d be i(q). Solve -d*f + 2*f = -3*v, -5*v - p*f = -45 for v.
5
Let m(c) = c - 1. Let w be m(5). Suppose 0 = -d + 3*d - 34. Let s(u) = 5*u - 1. Let k be s(1). Solve -i - d = -0*i - w*a, 4*i + 8 = -k*a for i.
-5
Suppose -3*i - i = -16. Solve -5*s - 2*r + 15 = 0, s - 6*s + i*r = -45 for s.
5
Let x(b) = -3*b**2 + 24*b + 72. Let m(d) = -d**2 + 8*d + 24. Let k(a) = -11*m(a) + 4*x(a). Let r be k(10). Solve r*q - 11 = 5*h, 3*q + 2*q - 25 = -5*h for h.
1
Let u be (-2)/(-8) - (-15)/4. Suppose s + 5 = -5*t - 5, -s = -5*t - 10. Solve -5*d + a + 22 = s, -14 + u = -4*d - 3*a for d.
4
Suppose d = -0*d + 15. Let s = 258 - 253. Solve 5*n - 5*q = -d, -s - 10 = 5*n + 5*q for n.
-3
Let f = -20 + 23. Let q(g) = -3*g + 5. Let n be q(-4). Solve y - 3*y + n = 3*r, 0 = -3*r + f*y - 3 for r.
3
Let h be (2/(-6))/((-2)/18). Suppose 5*j = 2*g - 4*g + 22, -h*j + 15 = 3*g. Solve -b = 5*w + 26, 2*b = j*b + w + 7 for b.
-1
Let u(z) = z - 8. Let a be u(10). Solve 3*m + i = 8, -3*m - a = -5*i + 2 for m.
2
Suppose -3*a + 3*u = -18, a + 5*u = 3*u + 12. Let t = a + -4. Solve m = -t*j - 21, -2*j = 2*m + m + 23 for m.
-5
Suppose 4 + 16 = 4*c. Solve -3*y = -4*q + 2 - 6, -c*q = -y + 5 for q.
-1
Suppose 5*s - 54 = 8*s. Let m = s + 20. Solve -3*i - m*f = 2, 5*i - 3 + 15 = f for i.
-2
Let d = 6 - 6. Solve -2*t + 0*b = 4*b + 6, b - 1 = d for t.
-5
Let u(l) = -l**3 - 3*l**2 - 2*l. Let n be u(-3). Let y be 3/((3/4)/((-88)/(-32))). Solve -c + i = -n, -y = -3*c - 3*i + 1 for c.
5
Let v(k) = 2*k - 7. Let b be v(5). Let p = 1 + b. Solve -i + 0*i - p*q - 3 = 0, -2 = 2*q for i.
1
Let y(r) be the first derivative of -r**2/2 + 17*r + 2. Let w be y(15). Solve 4*m + 4*q + 8 = -8, -q = -w*m - 8 for m.
-4
Let o(f) = 4*f + 1. Let k be o(1). Suppose 4*j + 5*u - 75 = 0, -15 = -2*u + k*u. Solve -19 = 5*g + 3*c, -j = 5*g - c + 6*c for g.
-2
Let i be 0 - (0/(-3) - 2). Let z = 2 - i. Suppose z = x - 1 - 1. Solve 3*w - x*o = 15, 18 = 3*w - o - 2*o for w.
3
Let g(s) = s**3 + 3*s**2 - 4*s + 3. Let i be g(2). Suppose f = 4*f - i. Solve f*a + y + 3 = -0*y, -4*a - 2*y = 6 for a.
0
Let n = 18 - 29. Let h be (-10)/(-4)*(-22)/n. Solve 5*j = 5*z - 15, -4*j - 35 = 5*z - h for j.
-5
Suppose -20 = -3*v - v. Suppose -4*p = 2*o - 6*o - 4, 11 = -p + v*o. Solve -h = -3, -5*r = -p*h - 8 - 0 for r.
4
Suppose 2*s + 5*c = 9 - 1, 3*s - 5*c = 12. Solve -5*k + 25 = -3*u, 29 = 5*k + 3*u + s for k.
5
Suppose 3*n + 5*d = -30, -d - d + 14 = -4*n. Let w = 3 + n. Let u be ((-3)/w)/(2/4). Solve -3*b = 2*g + 1, 0*g + u*g - 4*b = 7 for g.
1
Let u = -7 + 11. Solve 3*x = 2*x - r - 6, -3*x = -4*r + u for x.
-4
Let g(f) be the second derivative of f**5/20 - 5*f**4/12 - f**3 + f**2 + 3*f. Let p be g(6). Solve -3*s + 4*v - 18 = v, p*s = -2*v for s.
-3
Suppose 4*n + 2 - 10 = 0. Suppose 5*x - x - 4*i = 32, -3*x + n*i = -20. Solve b + 3 = -m, x*m = -0*b - 2*b - 14 for b.
1
Suppose -2 = -5*n + 78. Solve -3*d = -5*o - 6*d + n, -4*o - 5*d + 5 = 0 for o.
5
Let t be 3/(-9)*0/8. Solve t =