-0*i - 4*i + z for i.
1
Let m = -8 - -13. Suppose -w = -4*y + 9, -m*y = w + 3 - 21. Solve -4*o = -y*o for o.
0
Let z be 2/(-5) + 546/(-35). Let g = -11 - z. Let o = g - 1. Solve q - o = 3*q for q.
-2
Let p be ((-1)/1)/(1/(-5)). Suppose -2*z = a - 1, 0 = a + 5*z + 2. Solve p*u = a*u for u.
0
Suppose -6 = -g - 4. Suppose -l + g = -0. Let y = l + 1. Solve -1 = 4*u + y for u.
-1
Let w(g) = 29*g. Let m be w(2). Let p = -33 + m. Let a be 7/84*8*(6 + 0). Solve -z + p = a*z for z.
5
Suppose 0*t = 4*t. Suppose w - 2 = -t*w. Solve 2*r + 6 = w for r.
-2
Let c(g) = -g**2 + 18*g - 17. Let k be c(17). Solve 2*f = -k - 6 for f.
-3
Let j be (-5 + 5)/(-2*1). Solve j = -0*n + 3*n + 9 for n.
-3
Let k be (-321)/12 + (-1)/4. Let l = -47 - k. Let f be l/(-3) - 8/12. Solve 0 = -4*i - 2 + f for i.
1
Suppose -2*p + 6 = -2*u, 2*p + 1 = 5. Suppose -5*q = -3*o - 16, 0 = -2*q - 5*o + 2*o - 2. Let l be ((-1)/u)/(q/6). Solve l*s = 4*s - 1 for s.
1
Suppose -2*x - 12 = 4*j, j + 12 = 2*x + 2*x. Solve 0 = -x*t + t for t.
0
Let h(i) = i**2 + 9*i + 7. Let o be h(-7). Let u(v) = 2*v**2 + 15*v + 7. Let t be u(o). Solve 0 = y - t + 3 for y.
-3
Let w(t) = t**3 + t**2. Let m be w(1). Suppose -m*v = -v + 1. Let h = 3 + v. Solve -5*y - h = 3 for y.
-1
Suppose 3 - 6 = -3*f. Solve f - 3 = 2*y for y.
-1
Let q = -108 + 172. Suppose 4*o - q = -4. Let f be (5 + -1)/(-1)*-1. Solve t + f*t = o for t.
3
Let r(t) = t**2 + 5*t - 3. Let l be r(-5). Let q = 0 - l. Suppose -q*h = 3*x - 12, 3*h - 7 = h - x. Solve o = h*o for o.
0
Suppose 3*z = -5*r + 20, -5*r + z + 31 - 11 = 0. Solve -r*p - 6 = -p for p.
-2
Suppose f = 3*f - 10. Solve f*o - o = 12 for o.
3
Let h(p) = p**3 - 5*p**2 - 6*p + 3. Let q be h(6). Suppose 4*z - 25 = q*z. Solve c = -4*c + z for c.
5
Suppose -2*a + 3 + 7 = 0. Let c(t) = 5 - a*t + 5*t - t. Let j be c(5). Solve 0*d + 5*d + 20 = j for d.
-4
Let p(t) = -t**3 - 1. Let z(c) = 6*c**3 + 2*c**2 - 2*c + 5. Let r(s) = 4*p(s) + z(s). Let h be r(1). Solve 0 = h*v + 2*v + 15 for v.
-3
Let y = 17 - 11. Let u(j) = -2*j - 7. Let v be u(-5). Solve y*r = v*r for r.
0
Let f be (2 + (-5 - -3))/(-2). Suppose q + 2*q = -3*p, -3*p + 2*q = f. Solve 0 = 4*o - p*o + 4 for o.
-1
Suppose 3*c - 1 + 53 = 2*p, p + 3*c = 8. Solve 0 = -4*g - g + p for g.
4
Let x be 9 + -3 - 0/(-1). Suppose -x - 7 = -z. Solve 0 = 4*v + 1 - z for v.
3
Let a(f) be the first derivative of f**3/3 - 2*f**2 - 7*f - 4. Let d be a(6). Solve -2*c + c + d = 0 for c.
5
Let y(b) be the first derivative of -b**3/3 - 11*b**2/2 + 7*b + 3. Let d be y(-9). Solve d - 5 = 4*o for o.
5
Suppose 5*v - 51 = -11. Let o(m) = 8*m**2. Let x be o(-1). Let d = x - v. Solve d = 3*q - q - 2 for q.
1
Let l(t) = t**2 + 5. Suppose -4*r = -6*r. Let x be l(r). Suppose -d + 0*d = -x. Solve -5*a + 0*a = d for a.
-1
Let y(f) be the first derivative of -f**4/24 - f**3/3 - 3*f**2/2 + 3. Let d(l) be the second derivative of y(l). Let i be d(-5). Solve -i = -u + 2 for u.
5
Let y = 12 - 1. Let x(w) = 8*w + 30. Let z(u) = -3*u - 10. Let m(t) = y*z(t) + 4*x(t). Let i be m(7). Solve 5*h - 7 = i for h.
2
Let u be -3 + 1 + 14 + -2. Let s(f) = f. Let n be s(5). Suppose 0*m + 34 = 3*c - 2*m, n*m = 2*c - 30. Solve u = -4*p - c for p.
-5
Suppose -w + 10 = -m, 0*w + 5*m = -5*w. Let a be (0 - 1)/(w/(-15)). Solve u + 0 - a = 0 for u.
3
Let s be -2 - 3/(9/(-33)). Suppose 4*u - 4 = 12. Solve -u*w = 7 + s for w.
-4
Let f = 112 + -80. Suppose -3*t = -t - f. Let o = 25 - t. Solve -7*b + o = -4*b for b.
3
Suppose 3*c + 0 = 12. Solve 2 = c*f + 14 for f.
-3
Suppose 0 = -4*m - 2*y - 18, -2*y - y + 3 = 0. Let r be m/((-20)/(-8)) + 7. Solve -r*a = -0*a + 10 for a.
-2
Let d(n) = -2*n + 3. Let s(v) = -v. Let l(w) = d(w) - s(w). Let h be l(0). Suppose -4*j = -2*j - 40. Solve 2*y - j = -h*y for y.
4
Let g be (-2 - -28)/(-1 + 3). Suppose -4*w - 1 + g = 0. Solve 0 = -w*q + 7*q + 12 for q.
-3
Suppose 0 = -t - t - 4*h - 2, -3*h = -3*t - 39. Let p(q) = 3*q - 4*q + 2*q + 1 + 12. Let s be p(t). Solve 2 + 6 = -s*w for w.
-2
Let k be (-6)/(-3) + -4 - -4. Solve 0*n + k*n - 10 = 0 for n.
5
Suppose 0 = 2*v + 4*z - 18, z - 63 = -4*v - v. Suppose -4*i - 3*m + 5 = -v, i - 1 = m. Solve -4 = i*r - r for r.
-2
Suppose 4*u = -2*r, 3*r = -5*u + 2*u. Solve -f - 1 = -r*f for f.
-1
Let b(t) = t**3 + 8*t**2 + 2*t + 10. Let a be b(-8). Let k be 1*2/a*-3. Solve -2*v + k = -v for v.
1
Let p = 0 - 0. Suppose 0 = -r - p*r + 6. Solve 0 = 2*x - r*x for x.
0
Let c = -71 + 99. Solve 3*q - c = -13 for q.
5
Let k(j) be the first derivative of -j**5/120 - j**4/6 + j**3 + 2. Let z(r) be the third derivative of k(r). Let p be z(-6). Solve 0 = p*a + a for a.
0
Suppose -g + 27 = -5*x, -35 = g + 5*x - 12. Let z be (3 - g)*(0 + 1). Suppose -c - z = -2*o - 0, 4*c = -4*o + 20. Solve 0*j + c = j for j.
3
Let g(t) = -5*t - 15. Let d be g(-4). Solve -5 = d*m - 20 for m.
3
Let v(p) = p**3 - 4*p**2 + 2*p - 5. Let c be v(4). Let i be 0 + 8*c/6. Solve -i*u + 5 = u for u.
1
Suppose n + 2*n = 51. Let o be 1/2*(n - 11). Solve 0 = 2*j + o - 5 for j.
1
Suppose 5*g - 15 = 20. Let d = 6 - g. Let f be (-52)/(-12) + d/3. Solve 5 = f*y - 11 for y.
4
Let o be (3 - 22/4)*(-96)/20. Solve 5*r + o = r for r.
-3
Let o be 0/(4 - (5 + 0)). Solve o = 5*n - 25 for n.
5
Let q(s) = -2*s + 3. Let z be q(5). Let w(p) = -2*p - 4. Let a be w(z). Suppose -5*h = -x, 2*x - 14 = h - 5*h. Solve 0*n - a = -x*n for n.
2
Let u = -3 - -3. Suppose 3*w - 9 = -s - 21, 4*w = -2*s - 14. Solve -s*j = -u*j for j.
0
Let w be 10/(5/(5/2)). Suppose 0 = 3*n - 2*a - 3, -n + 2*a - w*a = -12. Let t(p) = 4*p**2 - 2*p + 3. Let y be t(2). Solve n*u + 2*u = y for u.
3
Let t(i) = i**2 - 2*i - 5. Let p be t(4). Solve -p*b + 16 = b for b.
4
Suppose 6*a = a + u + 19, -5*u - 23 = -a. Let g be a/2*(-8)/(-6). Solve g*f + 14 = 4 for f.
-5
Let w be (-1 - -3) + (-2 - -2). Suppose n = w*n. Solve -3 = -m - n for m.
3
Let i(w) = w**3 - 9*w**2 + 10*w - 11. Let p be i(8). Suppose h = -3 + 5. Solve -p = -l - h for l.
3
Let j = -146 - -150. Solve j*w + 17 - 1 = 0 for w.
-4
Let m be 1/(-2 + 82/40). Let j(i) = -i**3 - 7*i**2 - 7*i - 4. Let o be j(-6). Suppose 2*q + o*q = m. Solve g + 0*g = -q for g.
-5
Suppose -2*r + 23 = -13. Let f = r - 11. Solve -2*t - 1 + f = 0 for t.
3
Let r = -23 + 28. Solve -r*f + 16 = -9 for f.
5
Let t = 11 - 8. Solve p - 2 = t for p.
5
Let b = 16 + -10. Solve -4 = -2*j + b for j.
5
Suppose -2*z - 31 = 3*o + 33, -71 = 3*o - 5*z. Let w(y) = -2*y - 2. Let i be w(2). Let a = i - o. Solve u + 3*u = a for u.
4
Let j(y) be the second derivative of y**4/12 + 7*y**3/6 + 3*y**2/2 + 3*y. Let s be j(-7). Suppose s*d + 12 = 5*d. Solve 0 = d*f - f - 25 for f.
5
Let i(c) = c + 15. Let n = -11 - -24. Let m be i(n). Solve m = -5*q + 3 for q.
-5
Let v(q) = q**2 - 2*q - 1. Let g be v(-2). Suppose g*n = 4*n. Solve j = -n*j + 2 for j.
2
Let f = -24 - -42. Suppose 0 = -2*x + 5*v + 18, x + x - f = -3*v. Solve 5*j = 2*j - x for j.
-3
Suppose 0 = -3*r + 4*r - 6. Solve -r*i + 10*i = 0 for i.
0
Let w(f) = -f**3 - f**2 + 2*f + 3. Let j be w(-2). Let u be 1 - ((-6)/(-2) - 2). Let p = u + j. Solve 3*q - p + 12 = 0 for q.
-3
Let l(n) = -n**2 - 12*n + 4. Let t be l(-9). Suppose -f + 19 = -0*k - 5*k, -4*f + 5*k = -t. Solve 0 = f*i + i for i.
0
Let c(r) = r**2 + 2*r - 1. Let y be c(2). Suppose -15 = 5*u - 4*l, y = -4*u + 2*l + 1. Solve -2*n + 1 = -u for n.
1
Let b = -49 + 52. Solve -d - 12 = b*d for d.
-3
Let v(l) = -l**3 + 4*l**2 - 6. Let p be v(3). Solve 6*d = p*d - 12 for d.
-4
Let q be -2 - 0*(-2)/(-2). Let b = q + 4. Suppose 2*z - 12 = -b*z. Solve -2*l = -l + z for l.
-3
Suppose -4*i = -3*r - 14, 0 = 5*i - 6*i - 2*r + 9. Suppose -4 = -2*s + i*s - 5*q, 4*q = 4*s. Solve 2*f - s = -12 for f.
-5
Suppose 0*i + 2*i - 10 = 3*q, -5*i - 3*q = -4. Solve i*o + 0 + 6 = 0 for o.
-3
Suppose -3*v + 1 = -2. Let a be 2/(-5)*(-9 - -4). Let w = v + a. Solve 0 = w*x + 1 + 11 for x.
-4
Let q = 15 - 0. Suppose -3*h + 16 = h. Solve h*t - q = -t for t.
3
Suppose -4*z + 3 = -21. Solve z = -16*i + 18*i for i.
3
Suppose 5*h - 3*v - 16 = 0, 5*v = h + 3*v + 1. Suppose 0 = -h*r - 3 + 8. Solve -y - r = -5 for y.
4
Let u be 4/(-2)*(-10)/1. Suppose 2*p + 2*n - 6*n + u = 0, 3*p - 10 = -4*n. Let i be (-1 + -2)/(p - -1). Solve i*b = 4*b - 4 for b.
4
Let l(g) = -g - 3. Let h be l(-3). Let w = -10 + 16. Solve 2*c + w = -h*c for c.
-3
Let m(d) = -4*d**2 +