= 2*i - j*i for i.
-1
Let g be 6/(-8)*(-60)/45. Solve 4 = 5*j - g for j.
1
Suppose -1 - 3 = -m - u, 4*u = 8. Solve m*z + z - 12 = 0 for z.
4
Suppose -5*o + 0*o = 5. Let q be (-5)/(-1)*(-1)/o. Let a(b) = b**2 - 6*b + 7. Let d be a(q). Solve -d*y - 1 = -9 for y.
4
Suppose -3*l = 4*s - 8, -3*s = -4*l - 9 + 3. Solve s*k = 3*k + 1 for k.
-1
Suppose 4*h - 4*o - 96 = 0, -3*h + 5*o - 104 = -6*h. Suppose 0 = -4*v + h - 0. Solve -v*i = -3*i - 8 for i.
2
Let y = -21 + 12. Let l = -3 - y. Solve -9 = -3*n + l for n.
5
Suppose -2*x = -0*x + 2*d - 2, -5*x + 3*d - 3 = 0. Suppose c + 2*o + 4 = -5, -12 = -2*c + 2*o. Solve -h + x*h = c for h.
-1
Let t be ((-40)/12)/((-4)/6). Suppose 3*p + 5*f = -18, -t*f = -2*p - 5 + 18. Let d be 2*(-1)/(-2) - p. Solve -d*g - 3*g = -15 for g.
3
Let r = 1 + 0. Suppose 5*h = 4*c + 20, h + r - 5 = 5*c. Suppose w - h*w + 6 = 0. Solve -6 = 2*f - w for f.
-2
Let x(y) = -3*y - 44. Let o be x(-16). Suppose -4*n - n = 0. Solve o*q - 6*q = n for q.
0
Let l = 29 + -26. Solve -10 = -l*j + 2 for j.
4
Suppose 0 = -47*j + 43*j + 20. Let g(n) = -n**3 + 2*n**2 + 2*n - 1. Let t be g(-2). Let h be (t + 1)*10/4. Solve -5*d + j = h for d.
-5
Suppose -38 = -4*f + 2. Solve 5*c - f = -0*c for c.
2
Let j = 5 + -2. Suppose 0 + 6 = -j*t. Let y be (-55)/(-15) + t/3. Solve y - 2 = i for i.
1
Suppose 4*j + 2*z = z + 3, 2*z - 6 = 5*j. Solve j = 2*p - 3*p + 2 for p.
2
Suppose 2*x = -4*m + 30, 2*x = 3*m - 18 + 6. Let c = -2 + 0. Let z = c + m. Solve 3*y = 5*y - z for y.
2
Suppose 7*k = 4*k, k - 80 = -4*w. Solve -2*n - 3*n - w = 0 for n.
-4
Suppose r - 7 = -2*m, 1 = -2*r + 2*m + 3. Let f be -1*6*(-6)/36. Solve r*q - f = 11 for q.
4
Suppose -d = -g, 0*d + 4*d + g = 15. Solve d*q - 10 = -4 for q.
2
Suppose 56 = 5*p + 5*n - 4, 0 = -3*p + 3*n + 12. Solve 0 = 2*w - 2 + p for w.
-3
Suppose -4*f + 210 = -38. Let b be ((-1)/2)/((-1)/f). Suppose 3*h = 4*h + 3*m + 1, 3*m = 5*h - b. Solve h = 2*w - 3 for w.
4
Let l = 9 - 4. Solve -5 - 5 = l*f for f.
-2
Let p = 22 + -21. Solve 3*d - p = 2 for d.
1
Suppose -y + 3*x = 10, -10 = 5*y - 11*x + 6*x. Solve y*w + 10 = -0*w for w.
-5
Suppose 5*v - 4 = -4. Solve 0 = -2*s - v*s + 8 for s.
4
Let z(c) = -10*c**2 + 2*c - 1. Let d be z(1). Let b = -9 - d. Solve b = 3*h - 8*h - 20 for h.
-4
Let p be -3 + 2/(3 + -1). Let k = p - -4. Let b = k + 2. Solve b = -5*m - 1 for m.
-1
Let k = 52 + -32. Let g(d) = d + 8. Let a be g(-4). Solve -k = x + a*x for x.
-4
Let g = -1 + 2. Suppose 3*d + d = 20. Suppose 2*a = -2*f + 14, -d*a + g = 6. Solve 8*k - f = 4*k for k.
2
Let z = -6 - -6. Suppose z = 3*l + l. Solve l = -4*d + 3*d - 4 for d.
-4
Suppose -23*v + 3 = -22*v. Solve -v = -2*b - 11 for b.
-4
Suppose -5*l + 56 = 4*y, -4*l + 45 - 1 = 3*y. Solve 0 = -l*f + 4*f for f.
0
Let a(d) be the first derivative of d**2/2 - 4*d + 1. Let k be a(6). Suppose v - 7 = -k. Solve -l + v = -0*l for l.
5
Let v = 5 + -5. Let h = -4 - -4. Let x = v + h. Solve u + 3 = -x for u.
-3
Let g be 11 + 2 + 1 + -3. Solve -1 = -5*d - g for d.
-2
Suppose d = 4*s - 33, -d - d + 25 = 5*s. Solve -25 = s*o - 2*o for o.
-5
Let g be (2/(-6))/(1/(-3)). Let t = -7 + 10. Solve 4 = -t*p + g for p.
-1
Suppose -2*y + 6*y - 36 = 0. Suppose -2*c - 5 - 1 = -t, 0 = 3*t - 3*c - y. Suppose 0 = 3*v + v - 16. Solve t = -v*a + 13 - 5 for a.
2
Let n(t) = -t**3 - t**2 - 2. Let s = -10 - -8. Let o be n(s). Solve a + 0 = o for a.
2
Let m be (6/2)/(1/6). Suppose -4*u - 2 = -m. Solve -3 = -u*w + 1 for w.
1
Let q(i) be the third derivative of -i**6/120 - i**5/60 + i**4/12 + i**3/2 + 3*i**2. Let k be q(-2). Let s be k/1*1/1. Solve 0 = o - s + 1 for o.
2
Let n(v) = -v**3 - 7*v**2 - 7*v - 4. Let h be n(-6). Let w be 6/(h*3/6). Let q be 5/(-15) + 2/w. Solve q = -i - i for i.
0
Suppose -4*b + 30 = -2*u, -b + 0*u - 2*u + 15 = 0. Solve 0*j = 3*j + b for j.
-3
Suppose 3*p = 19 - 4. Suppose p*z = -4*q - 13, 5*q + 10 = z - 6*z. Solve -q*j = j - 16 for j.
4
Suppose -5*x + 0*x = 0. Suppose -f = 4*b - 14, -1 = 3*b - 5*f - x*f. Solve -16 + 1 = b*h for h.
-5
Suppose 4*t - 22 = -i, 3*i - 8*i + 4*t = -14. Suppose 5*z + 5*l = -5, -2*z + 2*l + 2 = -i*z. Solve z*h = 3*h + 15 for h.
-5
Let j = -3 - -8. Suppose -q = -2*q. Suppose 0 = -19*g + 20*g - 4. Solve q = -j*t + g*t for t.
0
Suppose x + 2*v = 7, -v = -2*x + 2 + 2. Suppose -x*i - 20 = -4*i. Solve -5*b - 5 = -i for b.
3
Suppose -f = 2*f. Let v be 1*(f + 2 + -2). Let m = 2 - v. Solve -i + 0*i = m for i.
-2
Suppose -9 = -2*v + 3. Solve d + d = -v for d.
-3
Suppose 5*q + 3*g = 27, q + g - 4*g = 9. Suppose 3*j = -c, -5*j + 2*j = -c + q. Solve c*v - 8 = 7*v for v.
-2
Let k(f) = 4*f**2 - f + 1. Let m(i) = i**2 + i + 1. Let t(z) = k(z) - 5*m(z). Let b be t(-4). Solve 2*a - b - 6 = 0 for a.
5
Let m be 4/6*(-1 + 10). Suppose 0*h = -h + 11. Let x = h - m. Solve -x*r + 0*r = 10 for r.
-2
Suppose -3*l - 12 = p, -2*l + 0 = -5*p - 9. Let w be 0*l/(-18)*3. Solve 0 = 4*o + 8 - w for o.
-2
Suppose -3*t + 7 - 1 = 0. Solve 0 = 3*j + t*j - 5 for j.
1
Let o(z) = 2*z**2 - 3*z - 2. Let m(h) = h**3 - 11*h**2 - 1. Let p be m(11). Let a be o(p). Solve -n = a + 2 for n.
-5
Let v be 3*5*34/51. Solve -3*h - v = -8*h for h.
2
Suppose 0 = 2*n + n - 12. Suppose n*z - 4 = -z - 4*y, -y = -3*z - 1. Solve -w + 4 = -z*w for w.
4
Suppose -z = 5*t - 15, t + 6 + 17 = 5*z. Suppose z*b + 0*b - 10 = 0. Solve 0 = 3*p - b - 7 for p.
3
Let m be 2/(4/3 - 12/18). Solve 2*z + 2 = m*z for z.
2
Let u be (0 + -2)/(2/(-11)). Suppose -4*a = -j - u, 4 = 5*a + 4*j + 6. Suppose 12 = 3*q + 2*q - 4*d, -a*q + d + 3 = 0. Solve -p - 3*p - 20 = q for p.
-5
Suppose 2*z - 20 = y, -4*y - 4 = -2*z + 16. Solve 2*i - z = -2 for i.
4
Let l(c) be the second derivative of c**3/3 - 6*c**2 - c. Let v be l(9). Suppose 15 = -y + 5*a, 4*y = 4*a - 6 - v. Solve -u + y = 1 for u.
-1
Let r(s) = s**3 + 10*s**2 - 10*s + 14. Let y be 2*(-4)/(-24)*-33. Let j be r(y). Solve -j = -0*p - p for p.
3
Suppose -5*z - x = -14, x + 2 = 2*z - 5. Suppose -z*q + 14 = k + 2*q, -12 = -2*k - 2*q. Suppose 2*h - 2 = k*v, 0*h + 11 = 3*h + 2*v. Solve -7 = h*j - 19 for j.
4
Let s be (12/(-8))/(3/(-4)). Let l = -56 - -56. Suppose 0 = 2*b + 2*p - 2 + 6, 0 = -3*b - p. Solve s*r - b - 7 = l for r.
4
Suppose -4*w = 2*u + 12, -3*w - 23 = -u - u. Let l = 14 - -18. Suppose -u*f + 3*o + l = 0, o + o = -5*f + 17. Solve 2*t - f = 3*t for t.
-5
Suppose 0*p - 10 = 2*p - 5*f, -3*p = 5*f - 35. Solve -p = 4*h - 21 for h.
4
Let p(x) = -x**3 - 13*x**2 - 2*x - 18. Let t be p(-13). Suppose -3*k = k - t. Solve 8 = 4*c - k*c for c.
4
Let a be (-13)/(-5) + 9/(-15). Solve -4 = -a*z - 0 for z.
2
Suppose 0 = -4*w + 3*w. Let x = w - -4. Solve 0*v + 8 = -x*v for v.
-2
Let i(v) = -v - 1. Let u(p) = -p**2 + p - 6. Let g(s) = 3*i(s) - u(s). Let r be g(3). Solve 0*m + m + 4 = r for m.
-4
Suppose 4*s - 25 = 5*q, s - 2*s = 2*q + 10. Suppose -4*t - 5*o = -34, -3*o + 5 + 1 = 0. Let n(x) = x**2 - 4*x - 8. Let g be n(t). Solve g*y + s*y = -12 for y.
-3
Let o = 10 + -6. Suppose o*l - 22 = -2*q, 0*l + 2*q = 5*l - 14. Solve -3*d + l = -4*d for d.
-4
Suppose 4*p + 3*s - 11 = 0, -2*s = -3*p + 2*p. Suppose -4*w = -p - 6. Solve -w*r - 1 = -r for r.
-1
Let i(h) = -h + 11. Let t(s) = 2*s - 1. Let q be t(5). Let b be i(q). Solve -2 - b = 2*d for d.
-2
Let p be 1 + (-2 - -1) + 1. Let l(s) = -s + 2. Let y be l(p). Suppose -3*a + 2*a + y = m, 3*a = -2*m + 5. Solve -4*d + a*d = -5 for d.
5
Suppose 0 = i + 4*n - 11, 14 = 2*i - n + 5*n. Solve 3*b = 12 + i for b.
5
Let t = -22 + 27. Let s = -18 + 26. Solve 0 = -t*h + h + s for h.
2
Suppose -y = u - 7, 7 = 5*y - 8. Suppose -4*s + n = -16, -s + 0 = -2*n - 11. Suppose 4 + 3 = k. Solve -k + u = -s*z for z.
1
Let z(y) = 3*y**2 + 5*y + 4. Let o be z(-3). Solve 0*v - 4*v = -o for v.
4
Let h = -36 - -39. Solve h*g + 7 + 8 = 0 for g.
-5
Suppose -i - f = 5, -4*i - 4*f - 20 = -2*i. Suppose i = 2*l - 4*l. Solve l*m = 2*m for m.
0
Let h be (2/2*0)/(-2). Let k be (-228)/8*2/(-3). Let q = k + -4. Solve m - 4*m + q = h for m.
5
Let w be (-91)/28 + (-2)/(-8). Let v be (2 - (-6)/w)/2. Solve x = -v*x + 5 for x.
5
Let c be 4/(-1)*(-6)/8. Let n = 5 - c. Solve 12 = -n*t - 2*t for t.
-3
Suppose 2*p + 5*h = -44, -h = 3*p + p + 88. Let t be p/(-10) - (-8)/(-40). Let x be 1 - (4 - 2 - 5). Solve 3*k = -t - x for k.
-2
Suppose -29 = -3*z - 8. Solve -32 = -5*k - z for k.
5
Let c = 1 - 0. Suppose -3*y + 0*f