 2 for i.
-2
Let f be 2*(2 + (-1)/2). Suppose -3*b = 3*q - 0*q - 18, 0 = 2*q - 5*b + 2. Solve 0 = -f*z - 5 - q for z.
-3
Let u be 1/2 + (-20)/8. Let v = -5 - u. Let f be v/(-5) + 2/5. Solve -3*t - 2 = f for t.
-1
Let f = -60 - -64. Solve -y - 3 = -f*y for y.
1
Let m(c) = -c + 14. Let d be m(10). Solve 3*w + d = 7*w for w.
1
Let y = 1 - -1. Suppose 0 = y*r - 0*r. Let x = 1 - 0. Solve z - 2 - x = r for z.
3
Let h = -1 + 0. Let t be (0 - -2) + h + 2. Solve t*d - d = 2 for d.
1
Let h(c) = c + 4. Let a be h(-2). Let t be 4/(0 + 4) + a. Solve 3*z = -t - 0 for z.
-1
Suppose -2*j - 2*j - 24 = 4*d, 6 = -d - 4*j. Let m be 114/18 - 4/d. Solve m*p - 12 = 4*p for p.
4
Suppose 0*f + 5*f = -5*d + 45, -5*d + 4*f = 0. Solve 1 - d = -b for b.
3
Let b(w) = 2*w**2. Suppose 3 = 4*k + g, k + 5*g - 15 = -3*k. Let s be (k - (-2 + 4))/1. Let l be b(s). Solve 0 = q + q + l for q.
-4
Let i = -11 - -17. Let m(l) = l + 6. Let c be m(i). Let j(y) = y**2 + 3. Let o be j(0). Solve 5*g - c = o for g.
3
Let q be (-4)/6 - (-16)/6. Solve 3*u = q*u for u.
0
Let z(r) = -r**2 - 12*r - 23. Let t be z(-7). Solve 6*a - t = 3*a for a.
4
Let a be (0 + 0 - -1)/1. Suppose 0 = -4*x + b - 5 + 12, -5*b = 3*x - 34. Suppose -2*k - 9 = -n, 5*k - 8 = -x*n + 8. Solve -n + a = 2*l for l.
-3
Suppose 3*d = p - 0*p - 46, 5*p - 2*d - 191 = 0. Let i = p + -21. Let h = i + -10. Solve -h*q = -q - 10 for q.
2
Suppose 4*z = 5*z - 3. Solve -z*s = 2*s for s.
0
Let v(s) = 7*s - 3. Let y be v(1). Solve -4*h - y - 8 = 0 for h.
-3
Suppose 0 = 6*c - 2*c. Suppose 0 = -c*f + 2*f - 6. Suppose q = -4*l + 7, -q - f*l + 7 = -3. Solve -3*j + q = 7 for j.
4
Let w(d) = -d**3 - 6*d**2 - 7*d - 5. Let a be w(-5). Suppose -a + 11 = 3*l. Solve -l - 8 = -2*v for v.
5
Suppose 0 = 3*m - 2*m - 4, -2*m + 8 = 5*x. Let y(v) = v**2 - 3*v - 52. Let b be y(9). Solve 4 = -b*f - x for f.
-2
Suppose 5*q = -5, 4*s - q = 10 + 3. Suppose a + 5*y = -3, -5*y = s*a - 0*y - 1. Let j = 1 + a. Solve -h = j*h for h.
0
Suppose f = 7*f. Solve -2*u - 1 - 1 = f for u.
-1
Let f(p) = -2*p + 10. Let k be f(4). Solve -l = k*l for l.
0
Let o = 11 - 9. Suppose -o*j = 3*j - 25. Solve j*f + 6 = 2*f for f.
-2
Suppose 0 = -2*n + 7*n - 25. Solve r - 3 = -n for r.
-2
Let i(h) = 9 + 3*h - 12 - 13. Let k be i(6). Solve 0*x - 2 = k*x for x.
-1
Let x = 73 - 71. Solve 0*t + 10 = -x*t for t.
-5
Let w(a) = -a**2 + 11*a + 20. Let v be w(12). Solve 5*n - v = n for n.
2
Let a = -3 + 3. Solve 5*r - 20 = -a for r.
4
Suppose -5*n + 3*s = -34, 4*s - 2 = -3*n + 1. Solve n*z = -1 - 14 for z.
-3
Suppose 0*w - 2 = 2*w. Let d = w + 3. Let a = 2 - -2. Solve -d*i - a = 2*i for i.
-1
Let o(s) = -s**3 - 4*s**2 + 4*s - 1. Let m be o(-5). Let g be (15/m)/((-1)/(-4)). Suppose j + g = 2*j. Solve 0 = -0*a - 3*a + j for a.
5
Let i(a) = -2 + 7 - a + 4 - 1. Let n be i(8). Solve r + r - 4 = n for r.
2
Suppose 79*p = 78*p. Solve -4*u + 20 + p = 0 for u.
5
Let b(i) = i - 21. Let j be b(23). Solve 7*v = j*v for v.
0
Let w be 4*2*25/8. Suppose -7*l = -2*l - w. Solve 3 = -l*c - 2 for c.
-1
Suppose -l - 2*l + 6 = 0. Let i = l - 0. Solve i*o + 3*o = 0 for o.
0
Let i be (-6)/12 + (-11)/(-2). Suppose 3*p = 2*k + 8*p - 1, i*p - 7 = -4*k. Solve 7 - k = -4*m for m.
-1
Suppose -k + 5*k + 2*o = 12, 3*k + 3*o = 12. Solve -k*z = -3*z - 5 for z.
-5
Let w = 3 + 3. Let k = -2 + w. Solve 3*y = 5 + k for y.
3
Let l be (3/2)/((-6)/(-16)). Suppose c - 18 = h, -l*h - 21 = -c - 0*c. Solve -4*g - 1 = -c for g.
4
Let o be (-72)/(-21) - (-16)/28. Solve 0*z + o*z = 12 for z.
3
Let t be (-8*(-3)/30)/((-9)/(-45)). Solve -3*i = i - t for i.
1
Let b = 12 + -8. Let w = b + -1. Solve w*q + 8 = 7*q for q.
2
Let c = 10 + -10. Solve -3*y + c*y = 9 for y.
-3
Suppose -2*q - 4*k - 2 = -0*q, -4*k + 5 = 3*q. Let x(a) = -2 - 3 + 9*a - q*a + a**2. Let h be x(-4). Solve -2 = 5*s + h for s.
-1
Suppose -5*x - 4*k = 1, 17 = 3*x - 4*x - 5*k. Solve x*g + 1 = 4 for g.
1
Suppose -11 = -4*a + 1. Solve -9 + 3 = -a*q for q.
2
Suppose 11*x - 36 = 8*x. Solve 4*q - q = -x for q.
-4
Suppose -5*u - 3*l + 20 = 0, 0 = -4*u - 2*l + 4*l + 16. Solve -i = -u*i + 9 for i.
3
Let l(k) = k**2 + 5*k + 4. Let m = -4 + 0. Let a be l(m). Suppose 2*y = 3*b + 2, 3*b + y = -a*b + 1. Solve -t + 0*t + 5 = b for t.
5
Let x(s) be the first derivative of 2*s**2 + 4. Let t be x(4). Solve 4*r + t = -0*r for r.
-4
Let g(r) = -r**2 - 7*r - 2. Let y(x) = x**2 + 6*x + 1. Let z(q) = 2*g(q) + 3*y(q). Let j be z(-6). Solve -4*d + j = -1 for d.
3
Let y be -10 - -13 - (-9 - -1). Let f be (0 - 5)*(4 - 5). Solve 4*m + y = -f for m.
-4
Let o = 15 + -9. Suppose -a + 30 = -o*a. Let h be (-2)/a - 44/(-3). Solve 35 = -5*b + h for b.
-4
Let a(i) = -i + 11. Let p be a(8). Suppose n - p*n = -4*q + 2, -4*q + 11 = n. Suppose -n*u - 3 = -s, 5*s - 1 + 2 = -u. Solve 0 = w - s*w for w.
0
Let c(n) = -n - 3. Let t be c(-3). Suppose -v = -t*v. Solve -4*u + v = -8 for u.
2
Let s be (2 - 4)/(1/(-8)). Suppose v + k = 21, -3*k + 7*k + s = 0. Solve -z = -6*z - v for z.
-5
Suppose -u - 5*i + 26 = 0, 2*u - 17 = -3*i - 0*i. Solve -2*c = -3*c - u for c.
-1
Suppose -d = -2 + 8. Let r be (-3)/18 - 31/d. Solve 2*p = r*p + 6 for p.
-2
Let b(c) = 4*c**2 + c. Let l be b(-1). Suppose 0*a - l*a = -6. Solve a*s = 5*s + 15 for s.
-5
Suppose a - 1 = 3. Suppose -a*u + 1 + 1 = 2*m, 2*u - 21 = -5*m. Solve -m*d = 13 + 7 for d.
-4
Let t = 9 - 0. Suppose 0 = 5*x - t*x + 24. Solve -2*d + 2 = -x for d.
4
Let x(p) = -p + 1. Let r be x(1). Suppose 4*c - c = r. Let d be (-6 + (1 - c))*-1. Solve -d = g - 2 for g.
-3
Suppose 2*s + 3 = -s, 37 = 5*y + 3*s. Suppose 0*m - 4*m + y = 0. Suppose -m*z - z = -9. Solve -8*c + z*c = -25 for c.
5
Let c(x) = x**2 - 2*x - 1. Let b be c(3). Let v be 1/b*(8 - 6). Let y(i) = -i + 1. Let s be y(v). Solve s = -2*w - 3*w - 5 for w.
-1
Let v(n) = -11*n**3 - n**2 - n - 1. Let x be v(-1). Let r = -15 - -21. Solve -r*h + h = -x for h.
2
Let r = 4 - 4. Suppose 0 = 2*l + p + 4*p - 10, -4*l + 2*p + 20 = r. Let a be -2 + (1 - l)/(-1). Solve -w + 4 - a = 0 for w.
2
Let o(d) = 2*d**2 + 4*d + 2. Let c be o(-2). Suppose c*p = -0*p. Let q = 2 - -2. Solve p = q*h - h for h.
0
Let t(o) = o**3 + o - 1. Let l be t(1). Let u(d) = d**2 + 7*d. Let r be u(-7). Suppose r*p = -2*p + 4. Solve y = -l - p for y.
-3
Let k be 4/(-8) - (-3)/2. Suppose l = 4*s - 13, 3*s = s - l - k. Suppose -2 = -n + w, -w = -4*n + s*w + 9. Solve 2 = n*q - 2*q for q.
2
Suppose -4*t - 35 = -4*x + t, 3*x - 12 = -t. Suppose 0 = 2*q + 4 - 0. Let c(h) = -h - 2. Let f be c(q). Solve -x*u = -f*u - 15 for u.
3
Suppose -5*z = -2*z + v - 7, -z = -5*v + 19. Solve -2*u - z = -u for u.
-1
Suppose 0 = -3*b + 6 - 0. Solve -p = b*p for p.
0
Let u be 1/2*110/5. Let a(w) = 16*w**2 + w. Let x be a(-1). Let c = x - u. Solve -2*i - 2 - c = 0 for i.
-3
Let z(o) = -o + 8. Let d be z(6). Let w be ((-1)/d)/(3/(-12)). Solve -s + 5 = -w*s for s.
-5
Let z(y) = -2*y - 3. Let w = 12 + -15. Let r be z(w). Solve 0 = -m + r - 0 for m.
3
Suppose 0 = -4*u + 26 + 2. Let a(f) = -f**3 + 8*f**2 - 6*f - 4. Let b be a(u). Solve 5*p - 2 - b = 0 for p.
1
Let s be (-196)/(-32) - 2/16. Solve 2 - s = a for a.
-4
Let y(a) = a**2 - 4*a - 7. Suppose 0 = 4*r - r - 18. Let x be y(r). Solve x*l - 1 = 6*l for l.
-1
Let m be 26/2 + (2 - 5). Suppose -2*j - 3*j + m = 0. Solve j*b = -b + 6 for b.
2
Let k = -13 + 20. Solve 0 = u + k - 10 for u.
3
Let x(h) = h**3 + 5*h**2 + 4*h. Let w be x(-4). Suppose -2*b - 4*s = s, 4*b + 2*s = w. Solve -z - 3*z + 16 = b for z.
4
Let w(u) = -2*u - 2. Let g be w(-2). Solve g*y = y + 2 for y.
2
Suppose 8 + 46 = 9*h. Let j(r) = r - 1. Let f be j(1). Solve h*d - 4*d + 4 = f for d.
-2
Let q(v) = 15*v - 15. Let s(b) = 7*b - 7. Let w(i) = 6*q(i) - 13*s(i). Let n(c) = 6*c - 4. Let r(u) = n(u) + 5*w(u). Let m be r(2). Solve z = m - 1 for z.
2
Let p be 4/(-14) + (-16)/(-7). Solve -p*d + 7*d = -20 for d.
-4
Let n(h) = 5 - 10*h + 4*h + h**2 - 3 - 7*h. Let d be n(13). Solve 0*t = -d*t - 10 for t.
-5
Let g be 23/5 - (-6)/15. Suppose -p - g*s + 15 = 0, -4*p - 6 = -9*p - 2*s. Solve a - 6*a = p for a.
0
Let l(g) = -g**2 - 6*g + 20. Let q be l(-8). Solve 5*w - 1 = q for w.
1
Suppose -22 = -4*i + 10. Solve i + 2 = 5*o for o.
2
Let t = -3 + 6. Suppose -h = 4*a - 7*a + 2, -t*a - 3 = 0. Let i(j) = -j**2 - 4*j + 7. Let o be i(h). Solve 0 = 2*d + o*d + 16 for d.
-4
Let n(d) = d - 13. Let s be n(1