 6 for i.
4
Let u be (1 + 0)/3*0. Suppose -2*f = u, -5*f + 7 = 2*r - 1. Solve r*b + 5 = -3 for b.
-2
Let r = -187 + 193. Solve -r*n + 2*n + 8 = 0 for n.
2
Suppose 6*s - 11*s + 20 = 0. Suppose -5*k - s*u + 23 = 0, 5*u - 1 = -5*k + 24. Let x(l) = -l**2 + 9*l - 9. Let m be x(7). Solve k + 22 = m*w for w.
5
Suppose 32*f - 11 = 53. Let g = 16 + -4. Let h be ((-6)/9)/(2/(-6)). Solve h*x + g = -f*x for x.
-3
Let i(u) = u**2 + 6*u + 5. Let b be i(-5). Let c(x) be the third derivative of -x**5/60 - 6*x**2. Let s be c(0). Solve s = z - b - 1 for z.
1
Let w(f) = f**2 - f - 4. Let z be w(-4). Suppose -3*o + z - 1 = 0. Suppose o*n + y - 18 = 2, y = 5*n - 30. Solve n = t - 0 for t.
5
Let m be 10/(-8)*180/(-45). Solve 0 = -m*d + 11 - 16 for d.
-1
Let j be ((-12)/(-8))/((-3)/(-18)). Suppose -8*a = -31 - j. Solve a*x = 4*x + 3 for x.
3
Suppose -10*u = 17*u - 270. Solve -22*x + u*x = 36 for x.
-3
Suppose -90 - 62 = -19*c. Solve -c = -8*m + 4*m for m.
2
Let x = 14 - 19. Let f be -1 - (-5)/(x/(-19)). Let h be 86/f + 6/27. Solve 0 = g + 4*g + h for g.
-1
Let u(p) = 2*p**2 + 11*p - 4. Let z = -112 + 106. Let h be u(z). Solve 2*b - 3*b = -h for b.
2
Let p(c) = 2*c**2 + 2*c - 1. Let q be p(1). Let j = 71 - 67. Solve -a = -j*a + q for a.
1
Suppose -2 = g - 3. Suppose -v + g = -1. Solve 0*d - 2*d = v for d.
-1
Suppose 11 + 73 = 14*q. Solve -47 + 41 = q*c for c.
-1
Let m(s) = 12*s - 72. Let l be m(6). Solve l = -4*p - 0 - 4 for p.
-1
Let t = -137 - -144. Solve 11*i = t*i - 16 for i.
-4
Suppose p - 29 - 101 = -2*v, -v - 3*p = -70. Let h = 65 - v. Solve 5 - h = -4*w for w.
-1
Let j(c) = c - 2. Let l be j(11). Suppose 0 = 5*d + 6*a - 2*a - 117, d = 4*a + l. Let n = 1 + -1. Solve n = -4*b + 1 - d for b.
-5
Let p = -765 + 770. Let d be (-3*1)/((-2)/50). Suppose -5*h + d = p. Solve -5*c + h = 34 for c.
-4
Suppose -4 = -x + 2*y, 16*y = x + 11*y - 10. Let i(k) = 7. Let t(f) = f. Let w(n) = -i(n) - 3*t(n). Let h be w(-5). Solve -2*r - 2 - h = x for r.
-5
Suppose -5*u - 1 = -21. Suppose 4*g = -3*l + 35, 5*l + 2*g = u + 31. Let h = -29 - -49. Solve 3*n - h = -l for n.
5
Let l = -685 - -685. Solve l = -6*x + 3*x - 3 for x.
-1
Suppose 0 = -n + 5. Suppose 0 = 3*q + n*o - 4*o - 79, -5*o + 145 = 5*q. Solve 5*s - q = -5 for s.
4
Suppose 11*i + 36 = 5*i. Let z(m) = 2*m + 14. Let q be z(i). Solve 2*y = q - 0 for y.
1
Suppose -9 - 1 = -5*w - 2*o, 5*w = 2*o - 10. Suppose w = 3*y + 2*h - 4*h - 14, h - 21 = -2*y. Solve 4*l - y = 2*l for l.
4
Let u(w) = w**2 + 4*w. Let s be u(-3). Let f(v) = 2*v - 5. Let k be f(4). Let b = k - s. Solve z + z = -b for z.
-3
Suppose -2*m + 1 = w - 16, -5*w - 5*m + 80 = 0. Suppose 2*h + h - w = 0. Suppose 3*j = j + 10. Solve -h*x - j = 15 for x.
-4
Let l(d) = 4*d**3 + 1. Let r be l(1). Suppose -15 = 3*b - 2*f - f, -f = -3*b - 5. Solve r*o - 3*o - 6 = b for o.
3
Let v(u) = 1 + 4*u - 9 - 4*u**3 - 11*u + 3*u**3 - 6*u**2. Let b be v(-5). Solve g = -b - 1 for g.
-3
Let o be (12/(-8))/3*0. Suppose 2*l = 2*k - 4, -4*l - 6 = -3*k - o. Solve m = -l*m - 2 for m.
-2
Suppose -w = w - 10. Suppose -2*v + w = -1. Let g(k) = -k**2 + 7*k - 3. Let b be g(5). Solve -b = v*z - 1 for z.
-2
Suppose 23*v - 25 = -2. Solve 13 = 7*g - v for g.
2
Let p(k) be the first derivative of k**4/4 - 3*k**3 - 11*k**2/2 + 13*k - 3. Let s be p(10). Suppose -3*f = s*v, 3*v + 14 = 3*f - v. Solve -2*z + 10 = f for z.
4
Suppose 2 = 4*y - 10. Suppose -k + y*h + 27 = k, 4*h - 10 = -5*k. Let c be (-2 + k - -1) + -2. Solve c + 1 = 2*j for j.
2
Let x be (110/(-20))/((-1)/28). Let u = -142 + x. Solve -n = -4*n + u for n.
4
Let c be (-108)/(-20) - 5 - (-16)/10. Let b = 4 + -7. Let g = b - -3. Solve -c*o + 0*o + 10 = g for o.
5
Suppose 7*s - 11*s = -16. Solve s*k + 4 = -0*k for k.
-1
Let v(c) = c**2 - 3*c - 1. Let r be v(4). Suppose -11*u + 8*u + 17 = -4*d, 5*d + 16 = 2*u. Solve -r*n - u = -2*n for n.
-3
Let w be ((-260)/40)/((-52)/16). Let u(r) = r. Let i be u(3). Suppose -i*t + 34 = -2*v, -t - 4*t + 5*v + 60 = 0. Solve 0 = -7*n + w*n + t for n.
2
Let r(l) = -l**3 + 4*l**2 + 1. Let q be r(4). Let u be (-2)/(1/q) - -2. Solve 0 = -4*g - u*g for g.
0
Let m be ((-4)/4)/(1 + -2) + 9. Solve -16 = m*y - 46 for y.
3
Let c(j) = 3*j**2 + 4*j - 12. Let v be c(2). Suppose 0 = -2*t - 0*t + v*t. Solve -r - 1 - 1 = t for r.
-2
Suppose -93*b + 16*b = -4543. Solve 63 - b = 4*x for x.
1
Let m(p) = -p - 9. Let j(g) = -2*g - 19. Let o(a) = -4*j(a) + 10*m(a). Let b be o(-8). Suppose f + 5*i + 20 = 0, b*f + f - 2*i = 8. Solve f = v + 1 - 5 for v.
4
Suppose -5*r + 3*w - 207 = 0, r = 3*r + 5*w + 89. Let t be (-14)/r*(14 - 2/1). Solve 25 = 9*p - t*p for p.
5
Let m(f) = 93*f - 2. Let t be m(1). Let r be ((-13)/t)/((-1)/7). Solve 1 = 2*u - r for u.
1
Let w(k) be the second derivative of -9/2*k**2 + 0 - 1/3*k**3 - 5*k. Let p be w(-6). Solve -8 = -p*x - 2 for x.
2
Let c(k) = -k**3 - 13*k**2 - 2*k - 17. Let t(n) = n**2 + 1. Let i(y) = c(y) + 5*t(y). Let b be i(-8). Solve -b = 5*p + 6 for p.
-2
Let m be (4 - 8) + 2 + 9 - 7. Solve -4*c - 16 = -m for c.
-4
Let v be -1*(-20)/(-1 - -6). Solve b - v + 1 = 0 for b.
3
Let f be 10 + 5 + -4 + -6. Solve -9 = f*h + 11 for h.
-4
Let w(t) = -t - 8. Let j be w(-9). Suppose 10 = 2*c + q + j, -5*c = -3*q - 6. Suppose -c*m = 2*m. Solve 2 = -2*p - m*p for p.
-1
Suppose -10 = 5*f, f = -4*d + 36 - 10. Solve 0 = -8*t + d + 1 for t.
1
Suppose -5*i - 198 = -4*h, -i + 0*h = -3*h + 44. Let c = i + 53. Solve -2*x + c = x for x.
5
Let g(y) = y**3 - 15*y**2 + 15*y - 20. Let j be g(14). Let z(q) = q**2 + 8*q + 20. Let d be z(j). Solve 0 - d = 2*v for v.
-4
Let g = 234 + -230. Solve -g*n + 10*n + 6 = 0 for n.
-1
Suppose -554*s = -557*s. Suppose -4*q + 16 = -4. Suppose -o - 3*o - k + 21 = 0, 2*k + 10 = q*o. Solve s*t = o*t + 20 for t.
-5
Suppose 3*t + 6 = -3*j, -3*t + 1 = j - 1. Solve 0 = 3*o + t*o for o.
0
Suppose -59 = -4*z + 25. Let q = z - 17. Solve -q*r - 7 = 1 for r.
-2
Let b(h) = -h**2 - 7*h - 6. Let g be b(-5). Suppose 3*u - 5*k = 20, -g*u + 3*u + k + 6 = 0. Suppose -22*t = -17*t. Solve -u*r = -t*r - 5 for r.
1
Let c be -1 + 1/(-4) + (-45)/(-36). Solve c = -3*i + 1 + 2 for i.
1
Let n(c) = -2*c**2 + 39*c - 11. Let d be n(19). Solve d + 20 = 7*a for a.
4
Suppose 8*i + 31 = 11*i + 2*w, 0 = -4*i - 2*w + 44. Solve -14 - 12 = -i*v for v.
2
Suppose 25*j - 20 - 80 = 0. Solve j*h - 106 = -102 for h.
1
Let s be ((-16)/(-5))/4 - 189/(-45). Solve -s*x + 21 = -4 for x.
5
Let b(q) = -q**3 - 2*q**2 + 5*q + 4. Let v be b(-4). Suppose 5*h + g = v + 65, -5*g - 37 = -h. Solve h = 5*d - 8 for d.
5
Suppose -4 = -3*d - 4*c + 20, -4*d = 5*c - 32. Let t = d + -4. Let h be 60/25 + t/(-10). Solve -h*y - y = 0 for y.
0
Suppose q + 75 = 5*j, -2*j - 61 + 91 = -q. Solve -33*w = -18*w - j for w.
1
Suppose 26*c - 110*c = -588. Solve c - 10 = 3*y for y.
-1
Let b = -2395 - -2405. Solve b*q = 14*q + 16 for q.
-4
Let m be (-15)/(-9) - (-60)/(-36). Solve -2*l + 5 + 5 = m for l.
5
Let r(i) = i**3 + 13*i**2 + 11*i - 7. Suppose -5*v = -0*v - 5*f + 85, v + f = -7. Let q be r(v). Let o = 9 + -5. Solve -q*a - 6 - o = 0 for a.
-2
Suppose -w - 4 = -8. Solve 0 = w*o - 8*o + 4 for o.
1
Let b(x) = x**3 + 13*x**2 - 12*x + 30. Let w = -62 - -48. Let h be b(w). Solve -h*y = -5*y - 12 for y.
-4
Let b be 28/(-5) - 6/15. Let n(d) = d**3 + 7*d**2 + 7*d + 6. Let v be n(b). Solve -5*p + v*p = 15 for p.
-3
Let s be ((-7)/(-2) + -3)*(-11 + 11). Solve -4*y - 2*y - y = s for y.
0
Let p(v) = 33*v + 1. Let o be p(1). Suppose 3*x - 5*l - o + 0 = 0, 0 = 5*x - l - 20. Solve g = 2*g - x for g.
3
Let v(l) = 5*l - 30. Let q be v(6). Suppose -3*t + 1 = -3*b + 10, q = -3*b + 12. Solve -z + 4 = -t for z.
5
Suppose -4*q + 0*q = -16. Let v(l) = 2*l - 2. Let a be v(1). Let s be q - (0 + 1 + a). Solve 4 = -b - s*b for b.
-1
Let w = -17 + 11. Suppose 3*m - 17 = v, -2*v - 2*v - 3*m = 53. Let n = w - v. Solve 3*l - n = l for l.
4
Let o be (-5)/((-6)/3 - -1). Suppose 4*d - i + 2*i = 9, o*d - 6 = -3*i. Let h be 0/(d + 1 - 3). Solve 4*x - 6 - 10 = h for x.
4
Let g = 22 + -21. Solve 0 = 4*h + g + 3 for h.
-1
Let w be 12/(-21)*7/(-2). Suppose 85 = 3*t + w*t - 5*r, -5*r = 5*t - 135. Suppose 5*s = 18 + t. Solve s = q + 3 for q.
5
Let o = -2 - 2. Let t be 55/o - (-2)/(-8). Let l be ((-18)/(-2))/((-21)/t). Solve -2*f - l = f for f.
-2
Let x be (-8)/(-20) - (-796)/10. Suppose 7*f - x = 3*f. Solve 