i for i.
-4
Let d(i) = i + 3. Suppose -3*g + 8 = g. Let v be d(g). Solve 3*j + 2 = v for j.
1
Let f = 3 - 2. Suppose 17 = 2*i - 71. Let r = i - 27. Solve 4*t - r = -f for t.
4
Suppose 2 = u - q, 2*u + 0*q - q = 7. Suppose 7*l + u = 2*l. Let t be (-7 + 6)*(l + -6). Solve 15 = -2*c + t*c for c.
3
Let l = -3 + 1. Let q be ((-4)/1)/(1/l). Let z = q - 6. Solve -z*m - 7 = 1 for m.
-4
Suppose 0 = -3*t + 21 + 3. Solve -t*s = -3*s - 15 for s.
3
Let z(q) = -2*q + 4. Let v be z(1). Solve -j = v*j + 12 for j.
-4
Let o = -2 + 1. Let r = o + 5. Solve a - r = -0*a for a.
4
Suppose t + 3*t + 2*f - 26 = 0, -20 = -4*f. Solve -14 + 2 = -t*w for w.
3
Let o be 21/(-12) - (-1)/(-4). Let d be (-3 + 0 + o)*-1. Solve d*l - 3*l = 0 for l.
0
Let i = -9 + 13. Suppose -8 = -i*s - 2*n, -3*s + 3 = n - 3. Suppose -8 = -2*r - s*r. Solve 0 = -r*l + l - 3 for l.
-3
Let l(g) = -g + 2. Let f be l(1). Solve -2*n + f = -3 for n.
2
Let c = -29 + 32. Solve 3 = -2*l - c for l.
-3
Suppose -2*i - 4*o - 12 = 0, -4*i = -2*i - 2*o - 12. Suppose 2*h = i*r - 2, r - 5*r + 12 = 0. Suppose -2*s = 3*s, 3*s = h*a. Solve a = v - 2*v + 3 for v.
3
Let h be (-261)/81 + 2/9. Let v be h/(-3) - (3 - 3). Solve 3*c = 2*c + v for c.
1
Suppose -q + 4*q - 26 = 4*o, -3*q + 22 = -2*o. Solve m = 3*m + q for m.
-3
Let k be (-3)/(-7) + 347/7. Let f = 98 - k. Suppose 4*h = h + f. Solve 0 = -4*z + 4 - h for z.
-3
Let y = 1231 + -739. Let u be (-4)/10 - y/(-30). Solve 0 = 3*h - u + 4 for h.
4
Let d(n) = -2*n**2 + 3*n + 2. Let j be d(3). Let a(k) = -4 - 5*k**2 + 3*k - 1 + 3*k + 6*k**2. Let r be a(j). Solve 6 = -r*s - 2 for s.
-4
Let m(b) = -10*b**2 + 1. Let t be m(-1). Let q = t - -9. Solve 2*g - g = q for g.
0
Suppose -28 = -4*x + 4*i, 0*i + 6 = 3*x + 2*i. Suppose 3*r + 1 = 7. Solve r*b = x*b for b.
0
Let j = 17 - 1. Let k = 1561 + -1559. Solve -j = -k*m + 6*m for m.
-4
Let g = 8 - 4. Suppose 0 = g*y - 8*y. Let f(v) = -v**3 - v**2 + v + 6. Let c be f(y). Solve 5*d + c = -4 for d.
-2
Let t(k) = -3*k + 6. Let g be t(-9). Let p = g - 23. Solve -p = -2*i - 0*i for i.
5
Suppose -5*v = -8 - 2. Let f(z) = -2*z + 9*z - z**3 + 2*z**2 + 2*z**2 - 4. Let n be f(5). Solve 0 = -0*r - v*r + n for r.
3
Let l(g) = 5*g**3 - 8*g - 5. Let d(m) = -9*m**3 + m**2 + 16*m + 9. Let i(y) = -4*d(y) - 7*l(y). Let c be i(6). Solve -5*z + c = -2 for z.
5
Let h be (-1)/4 + 27/108. Solve h = u + 4*u for u.
0
Suppose q - 20 = -3*q. Suppose 5*s = -q*b + 10, -6*s - 2 = -b - 4*s. Solve -b*t = 12 - 2 for t.
-5
Let p = 23 - 13. Suppose 2 = 3*r - p. Solve -s + 2*s - r = 0 for s.
4
Let d be ((-30)/15)/(1/(-4)). Solve d*x - 5*x = 6 for x.
2
Let q(c) = c + 13. Let w be -9 - (2 - (3 - 3)). Let s be q(w). Solve s = o + o for o.
1
Suppose 0 = -h - 4*v + 13, 2*h + v - 8 = 2*v. Let c(z) = -3*z. Let a be c(2). Let b be ((-4)/a)/((-2)/(-18)). Solve h*o - b = -16 for o.
-2
Let y be ((-5)/3 - -1)/(2/(-48)). Solve y = 3*k + k for k.
4
Suppose 0 = -s + 1 + 4. Solve 2*z = s*z - 6 for z.
2
Suppose 3*f = 11 - 5. Suppose -f*z + 0*z + 8 = 0. Solve 3*j - 5 = z for j.
3
Suppose -3*f - 5 = -8*f. Let v = -8 - -6. Let l be f/(v*2/(-24)). Solve l - 26 = 4*q for q.
-5
Suppose -w = 2*f - 1, -4*f + 7 = 4*w - 5. Suppose -w*z - 2*o = -5*o + 42, -o = -4*z - 28. Let h be ((-3)/1)/(z/4). Solve 3*t - 5*t = -h for t.
1
Let k be (-22)/(-9) - 16/36. Solve -k*v - 12 = v for v.
-4
Let y(k) = 2*k**2 + 2*k + 2. Let h be y(-2). Let d(v) = v**3 + 3*v**2 - 5*v - 5. Let j be d(-4). Let l be ((-18)/(-4))/(j/(-2)). Solve -5*w - h = l for w.
-3
Suppose 4*a = -0*a + 20. Suppose -a*o = -o. Solve o = j + j + 6 for j.
-3
Let s = -4 + 24. Suppose -3*d - 1 = -0*q - 4*q, -15 = -3*d. Solve -s = q*j - 8 for j.
-3
Let h = -37 - -42. Solve 1 = h*z + 21 for z.
-4
Let n = 5 - 3. Let x be -1 - (1 + (-1 - -2)). Let j be x - (-9)/((-12)/(-4)). Solve j = -n*d + 6 for d.
3
Let b be (-6)/4*(2 + -4). Let l be ((-3 + 3)/b)/(-1). Suppose -4*w = -4*u - 24, -4*w = -5*u - 13 - 14. Solve -w = m - l*m for m.
-3
Let v = -44 + 46. Solve 0 = -v*k + 5 + 3 for k.
4
Suppose 11 = -5*b + 1. Let y be (3/b)/((-7)/28). Solve -3*m - y + 0 = 0 for m.
-2
Let y be (-1 + 2)/((-2)/(-10)). Solve 2*l = y*l for l.
0
Let j(p) = -2*p + 1. Let t be j(-1). Let x = -23 - -15. Let k = x - -14. Solve -6 = -t*a + k for a.
4
Let x(l) = l**2 - 11*l + 13. Let y(n) = -n + 1. Let b(u) = x(u) - 3*y(u). Let v be b(10). Let k be (-37)/(-7) - 2/7. Solve -k*a = -v + 5 for a.
5
Let k(v) = 1 + 0 - 4*v + v + 5*v. Let z be k(2). Solve -4*p - p = -z for p.
1
Suppose -2*q = 4*g + 2, g + 3*q + 3 = -3*g. Solve -2*f = -g*f - 10 for f.
5
Let a(v) = -1. Let g(r) = -4*r + 0*r + 6 + 0*r. Let l(w) = 5*a(w) + g(w). Let d be l(-1). Solve -13 + 3 = d*o for o.
-2
Let a(l) = l**3 + 6*l**2 - l - 1. Let w be a(-6). Suppose 5*f = -w*q - 20, -2*q = -4*f + 1 - 5. Let p be (-6)/6*6/f. Solve p*r + 2*r = -25 for r.
-5
Suppose -4*f = 15 + 29. Let w = f - -16. Solve -w*g + 19 - 4 = 0 for g.
3
Suppose -2*f - 2*y = -4 + 28, 2*y = f + 21. Let v be (40/f)/(1/(-9)). Solve 4 - v = -5*p for p.
4
Suppose 5*q + 21 = 4*p, 2*p - p - 5*q = 9. Let b(u) = -u**3 - 10*u**2 - 10*u - 6. Let f be b(-9). Solve -p*n + 4 = -f*n for n.
4
Suppose -2*h + 16 = 2*h. Suppose 2*j = -2*j + h. Let x = j + 2. Solve x*q + 8 = -q for q.
-2
Suppose -3*l - 3*i = -2*i - 18, 3*l = -2*i + 21. Solve 1 = -2*s + l for s.
2
Suppose n + 6 = 2*b, -2*b - 4*n = 17 - 3. Solve -2*s + b = 7 for s.
-3
Let d(r) = -2*r + 5. Let y be d(-5). Solve -6*o + o = -y for o.
3
Let x be (2/(-2))/((-7)/21). Let n = -1 + x. Let t(b) = 3*b. Let h be t(n). Solve -2*f = -h*f for f.
0
Let s = -19 + 25. Let c = -2 - -2. Solve c = -o + s*o + 10 for o.
-2
Let p(a) = a + 10. Let z be p(-5). Suppose -4*q = 1 - 9. Let u = q - 2. Solve u = z*d - 0 + 5 for d.
-1
Let i be 14/6 - (-4)/48*-4. Solve d = i*d - 4 for d.
4
Suppose 12*k = 9*k + 6. Solve -3*o - k*o = -20 for o.
4
Suppose 4*y - x = 2, 2*y + 2*x + 5 = 1. Solve y = 2*s - 7 - 3 for s.
5
Suppose 5*w = p + p + 28, -4 = p. Suppose -27 = -k + 3*q, -w*k + k = q - 31. Solve -n = 2*n + k for n.
-4
Suppose 3*g + 0*g = 0. Solve g = -5*b - 5 for b.
-1
Let r be 0 - (1 - (1 - -2)). Suppose -5*k + 13 + r = 0. Suppose c = -k*c. Solve 0 = -c*m + 5*m for m.
0
Let d be (-2 - -3)*(-1 - -1). Let q = d + 2. Solve 0 = 4*w - 2 - q for w.
1
Suppose -k = z, z - 6*z = -4*k + 45. Let l(m) = -2*m + 12. Let r be l(4). Solve 3*f = k*f + r for f.
-2
Suppose 5*b + n = 13, 0*b - b - 3*n = -11. Let m = -6 + 23. Let f = m - 10. Solve b*q = f*q for q.
0
Let r(o) = -2*o. Let j be r(-2). Let h(v) = -v + 1. Let q be h(-4). Suppose q*d + 2*a = 33, 2*d - j*a = -a - 2. Solve -4*x - 13 + d = 0 for x.
-2
Let g be (0 + 2)/1 - -1. Let u be 1*((-6)/(-2) - 3). Suppose -i - 1 + 5 = u. Solve -4*b = -g*b - i for b.
4
Let p = 47 - 47. Suppose 0 = 4*f - 12. Solve o = -p*o - f for o.
-3
Let f be (-3)/(-3) - (0 + 0). Let l be (20/(-25))/(f/5). Let r be 2/l + 2/4. Solve r = 2*a - a - 2 for a.
2
Let f(q) = 2*q**2 + 4*q - 3. Let w be f(2). Let h = w + -8. Solve 0 = -3*s + 4*s + h for s.
-5
Let i(y) = 9*y**2 + 5*y - 6. Let a(m) = 17*m**2 + 9*m - 11. Let g(r) = 6*a(r) - 11*i(r). Let u be g(1). Solve -s = -u*s for s.
0
Suppose -6 = 2*u - 14. Solve u = m + 5 for m.
-1
Suppose 18 = 3*i - 60. Let t = 29 - i. Solve -q + 0*q + t = 0 for q.
3
Let g = -28 - -43. Solve 2*d + g = -d for d.
-5
Let i = -16 - -7. Suppose -4 - 4 = 4*n + q, -n + 5*q = 23. Let x be 4*(i/6)/n. Solve -x*w - 8 - 2 = 0 for w.
-5
Let q(g) = -g**2 - 7*g - 7. Let u be q(-5). Let b = u + 0. Solve 0*c = -c - b for c.
-3
Let l be (-10)/(-2) - 4/4. Let i(z) = 4 - 2*z**2 - 2*z**2 + z**2 + 4*z**2 + l*z. Let s be i(-5). Solve -4*v = -s*v - 20 for v.
-4
Let y(k) = 5*k - 8. Let j be y(4). Let s = -7 + j. Solve s*d = -7 - 8 for d.
-3
Let m(i) = 2*i**2 - 11*i - 4. Let c be m(6). Solve 2 + 2 = c*k for k.
2
Suppose -v + 0*v = -5. Suppose 5*f - v*k - 8 = -k, 1 = f - k. Solve f*h + 25 = -h for h.
-5
Suppose -2*y + 1 + 25 = 0. Let t = -7 + y. Solve t*n - n = 5 for n.
1
Let n be (-18)/4*(-4)/6. Solve -n*a - 10 = -1 for a.
-3
Let g = -4 - -1. Let c = g - -5. Suppose -4*l + 17 = -3*f, c*f + f = 3. Solve 4*y = -l - 7 for y.
-3
Suppose -4*g - 5 = -29. Solve -4*q + 6 = -g for q.
3
Suppose 2*o - 5*c = -8, -2 = -3*o + 6*o - 5*c. Let j(d) be the first derivative of -d**3/3 + 4*d**2 - 8*d + 2. Let n be j(o). Solve t = -n*t - 25 for t