e 0 = 4*i, -3*a - s*i = 2*a - 25 for a.
5
Let b = -8 - 6. Let g be -3 + (-4)/(8/b). Solve 0 = g*c - 5*k - 16, -2*c - 4*k - 17 = -c for c.
-1
Let p(w) = w - 25. Let m be p(25). Solve m = 3*k + 2*u - 4*u - 6, 3*u = -9 for k.
0
Let n = 1 - 1. Let h be (-2)/(-5) - (0 - 83/5). Solve -4*k = -5*q + h, -k + n*q - 2*q - 1 = 0 for k.
-3
Suppose 2*k - 4 = 3*s, -4*k + 2*s + 10 = k. Let m be (-16)/88 - k/(-11). Solve c + 1 = 4*f + 2, m = 4*c - 20 for f.
1
Suppose 5*h + 117 = 3*l + 17, 5*l - 20 = h. Let z = 28 + h. Solve 3*a - z*a + 9 = -t, 7 = -t + 4*a for t.
1
Suppose 4*r - 4*b - 20 = 0, 2*b + 4 = -0*b. Solve -4*i = -f + 2*f - 7, f = -r*i + 4 for i.
3
Let y = 8 + -14. Let n(p) = -p. Let g be n(y). Let h be (1 + (-9)/g)*-10. Solve 5*f = -4*b - 3, -h*f = 2*b - 3 + 2 for f.
1
Suppose -5*w + 9 = -6. Suppose 0 = 3*i + 4*k, -i + w*k + 22 - 9 = 0. Suppose 0 = 2*x + x + g - 13, x = 3*g + 21. Solve 4*s = -5*b - x, -s + 0*s = i*b + 7 for b.
-2
Suppose 0 = -5*x + p - 25, 4 + 5 = -4*x + 3*p. Let c = 11 + x. Let g = 51 - 32. Solve -11 = -2*d + 5*u, -5*d + c*u = u - g for d.
3
Let m(i) be the first derivative of 1/2*i**2 - 3 + 3*i - 1/3*i**3. Let r be m(0). Solve 2*u - 4*t = -20, -r*u - 6 + 1 = -t for u.
0
Let c(r) = r**3 - 2. Let n be c(2). Let k be ((-8)/n)/((-12)/54). Let i be -2*(-2)/(-2) + k. Solve -4*w - 8 = 3*f, -2*f + i*w - 2*w + 4 = 0 for f.
0
Let i be 70/21 - 2/6. Suppose -c - v = -5*v - 3, -3*c - 4*v + 73 = 0. Solve -d + 6 = -3*m - i, 3*d - c = 5*m for d.
3
Suppose -4*y = -3*g - 27, 8 = 2*y - y - g. Let j = 7 - y. Solve 2*c + j*f + 17 = c, -3*c = -4*f - 29 for c.
3
Let k be 1 - 2 - (-3 + -2). Suppose 0 = -k*f - 3*j + 2*j + 3, -f - 3 = j. Solve 3*o = -3*b + 7*b + 9, 0 = -5*o - f*b - 11 for o.
-1
Let z be 0/(9/(-3) + 2). Suppose z*c - 40 = 5*c. Let q = 13 + c. Solve -3*v - 13 = 2*l - 4*v, -v = -q for l.
-4
Suppose 2 + 13 = w - 4*h, 0 = 4*w + 5*h + 3. Suppose 0 = 4*a - 4*t - 8, w*a - 6 = 3*t + 2*t. Solve s - 6 = a*g, 6 = 4*s + s - 2*g for s.
0
Suppose 52*g - 49*g = 12. Solve -4*n = -q - 3, -3*q + g = -0*n + n for q.
1
Let s be (-1)/3 + (-1)/(-3). Suppose -y + 2*y - 4 = s. Suppose y + 6 = 5*v. Solve 4*u + 2*t - 4 = -v*t, 4*t = 3*u + 18 for u.
-2
Let o be ((-8)/(-6))/((-2)/(-6)). Suppose -4 - 24 = -o*r. Let a = r - 4. Solve 2*k = a*u - 6, 2*u + k - 4 = 3*k for u.
2
Suppose 0*s + s - 25 = 0. Let h = s - 13. Solve -c = -3*j + 14, -3*c - 4*j = -11 - h for c.
1
Suppose -6*o + 107 = -13. Suppose 4*b = -3*n, -n + 4*b = n - o. Solve -2*z - n*u = 22, z + 0*z = 4*u + 19 for z.
-1
Suppose 15 = 3*w + 3. Solve 0 = -2*d + 2*i - 4, w*d + 3*i = -0*i - 22 for d.
-4
Let m be ((-3)/2)/(3*(-7)/28). Solve -3*c = -a - 11 - 5, 0 = 5*c + m*a - 12 for c.
4
Let a = -15 + 17. Solve -4*r + a*n + 17 = r, -2*r + 2*n + 2 = 0 for r.
5
Let q = 7 + -6. Let d = -5 + q. Let z be (6/d)/((-3)/6). Solve 0 = t - 5*u - 13, 2*t = z*u + 1 + 4 for t.
-2
Suppose 6 = y + m, y + 5*m - 2 - 16 = 0. Suppose -5*h + h + 80 = 0. Solve y*f - 12 = 4*w + w, 2*w - 5*f + h = 0 for w.
0
Let b(n) = 3*n**2. Let u be b(-2). Suppose -22 = -2*y - 4*t, 0 = 5*t - u - 8. Solve -3*d + 7*d + y*c - 3 = 0, 2*d + 2*c = 0 for d.
3
Let y = -7 - -7. Let m be y/2 + 0/1. Solve m = l - 3*b - 3 - 3, 4*b = 4*l - 16 for l.
3
Let t(o) be the second derivative of -o**4/12 + 5*o**3/6 + o**2 - o. Let z be t(7). Let s be 2/(-8) + (-39)/z. Solve 3 = -3*v - 5*p, 12 = s*p - 7*p for v.
4
Let k(l) = -l**3 - 9*l**2 + l + 12. Let o be -3*(-1 - 2)*-1. Let n be k(o). Solve -3*x + 13 = -r + 2*r, -1 = n*r - x for r.
1
Suppose 3*q - 158 = 4*m, 5*q + 3*m - 53 - 162 = 0. Suppose q = 5*o - 124. Solve 4*a + 13 = -8*p + 3*p, -5*p - o = -3*a for p.
-5
Let q = -37 + 42. Solve 0 = q*b - 5*o, 0 = 3*b + 5*o + 11 + 13 for b.
-3
Let l(c) = -7*c - 1. Let f be l(-1). Let r be f/(-9)*15*-1. Solve y - 5*q = r, 10 = -3*y + 2*q - 7*q for y.
0
Let f = -5 - -10. Suppose 136 - 11 = f*n. Suppose -17 = -4*v - 1. Solve 0 = -4*u + 5*x + n, 6 = v*x + 26 for u.
0
Let i be 3*(0 - -1) + 0. Let a be 23/(-3) - i/9. Let l be (-19)/(-2) + 4/a. Solve 3*g - 3*k = -18, -l*g + 4*g - k = 6 for g.
-2
Let s = 71 + -55. Solve 2*b - t - 25 = -3*b, b + s = -4*t for b.
4
Suppose -k + 2*f = -4 - 3, -5*k + 4*f = -23. Suppose 0 = g - 3, y - 7 = -k*g + 5. Suppose -4*r = -y*r. Solve 4*s + l + 17 = 2*l, r = -4*s + 3*l - 19 for s.
-4
Suppose 5*v + 4*v = 45. Solve 0 = -5*q + 3*q - v*f + 8, -4*q - 5*f = -6 for q.
-1
Let v(y) = y - 8. Let c be v(18). Solve c = -5*g - 5*m, 2*m = -g - 0*m - 3 for g.
-1
Let o = 2 - -2. Suppose 3*f + f - o = 0. Let c be 6*f*(2 - 1). Solve -35 = -2*b - 2*b + 5*w, 3*b - c = -3*w for b.
5
Let n be (-20)/(-2)*1/2. Let f(t) = -4*t - 7. Let o be f(-3). Solve p - n*j = 13, 4*p + 0*p - j = -o for p.
-2
Suppose -5*d = -0 - 10. Let y(m) = -3*m - 7. Let r be y(-6). Solve 2*a - 2*l = a + 10, l + r = d*a for a.
4
Let y(k) = -6*k**2 + 0 + 2*k**2 + k**3 - 2 - 4*k. Let i be y(5). Solve 1 = -i*a + 5*o, -3 = 4*a + 2*o - 7*o for a.
-2
Let q = 2 + -1. Let n = -1 + q. Suppose -v = -4*t + 13, -3*t + 6*t - 13 = 4*v. Solve l - t*r + 0 = -5, n = 2*l + 2*r - 14 for l.
4
Suppose -2*w - 2 = -0*w. Let o = w - -5. Solve 3*s = o*s + l - 3, -5*s - 3*l + 13 = 0 for s.
2
Let h = 81 + -36. Suppose 2*g = -3*g + h. Suppose 2*d - 5*f + 10 = -11, -5*d - 15 = -5*f. Solve 5*r + g = 4*q, r = -d*q - 2 + 3 for q.
1
Suppose -40 = -5*x - 0*x. Solve 2*m = 2*w + x, 3*m + 2*w = 5 + 12 for m.
5
Let x = 37 + -34. Solve 9 - 29 = -5*i, x*r = -i + 13 for r.
3
Let y = -72 + 75. Solve -y*z + 17 - 2 = 4*b, 0 = -5*z + b + 25 for z.
5
Let n(b) = -b**3 - 6*b**2 - 6*b - 1. Let i be n(-5). Suppose -2*c + 0*c = -i. Solve 7 = -2*a + 3*a + 2*r, r - c = 0 for a.
3
Let u = 41 + -2. Let v = u + -24. Solve -g - 2*g + 6 = -w, g - v = -4*w for g.
3
Suppose -r + 7 = v, -5 - 6 = v - 5*r. Let o be 1/2*2 + v. Solve -3*t - 5*p + 0 = -8, -o*t = -4*p + 36 for t.
-4
Let q(u) = -u**2 - 9*u - 9. Let a be q(-7). Suppose 0*p = -a*p. Solve p = 3*c + 2*y + 1, 26 = 2*c - 2*y - 2*y for c.
3
Let r = -61 + 81. Solve 0 = 5*f - 2*f - 3*m - 12, 0 = -5*f - 4*m + r for f.
4
Let d be (16/(-12))/(3 + (-33)/9). Solve -4*q - 4 = -3*h, -d*h + h + 2*q = 0 for h.
4
Let v(f) = 7*f. Let d(i) = -i. Let o(h) = -3*d(h) - v(h). Let c be o(-5). Suppose 0 = s - 2*s + 5. Solve -c = s*t, -4*t - 20 = z + t for z.
0
Suppose 0 = -j + 5*x + 2, 0 = -j - x + 14. Suppose -p + j = 2*p. Solve 0*k = 2*k + p, -5*a = 5*k for a.
2
Suppose -104 = -5*f - 4*p, -f - 5*p + 17 = -8. Solve b + 0 - f = -4*q, -4*b + 2*q + 8 = 0 for b.
4
Suppose 4*n - 2*v + 3*v - 159 = 0, 3*v - 149 = -4*n. Let m = -29 + n. Solve 0 = 2*x + 3*x - 2*b - m, x + b - 1 = 0 for x.
2
Suppose 5 = -5*z, 0*c + 3*c - 10 = -2*z. Solve 4 = 4*u, c*k - 4*u = 3 + 9 for k.
4
Let x(d) = d**3 - 4*d**2 + 7*d - 3. Let t be x(2). Solve 0 = -2*i + 3*i + t*m - 7, 2*m = 2*i - 6 for i.
4
Let l be 3/5*(8 - -12). Solve 3*y - l = -3*p, -p = 4*y - 0*y - 7 for p.
3
Suppose -5*m = -5*g - 30, -5*m + 15 = -2*g - 6. Suppose 2*o - 80 = -m*o. Solve -c + 2 = -2, -c = 4*i - o for i.
3
Let j = -8 - -13. Let x(f) = f**3 - f**2 - f + 1. Let s be x(1). Suppose 5 = 5*q - j*k - 15, s = -3*k - 6. Solve -4 = -4*a - 4*w, -2*a + 0 - 10 = -q*w for a.
-2
Let c(i) = i**2 + 14*i + 4. Let u be c(-14). Solve u*d - m - 19 = -2, -5*d + 5*m + 10 = 0 for d.
5
Let t be 4 - (1 + -1 + 1). Let f(v) = -3*v - 6 - t + 0*v. Let i be f(-8). Solve 5*l - 2*q = i, -5*l = -0*l - 5*q - 15 for l.
3
Suppose 2*r - 12 - 4 = 0. Let b be 3/((6/r)/1). Suppose 4 = 4*u - b. Solve -u*c = 3*g + 8, 2*c - g - 12 = 5*c for c.
-4
Suppose -42 = -4*q + 62. Let h be q*(1 + (-1)/2). Let x be 216/15 - (-8)/(-20). Solve -5*k = w + x, 4*k = -4*w + 5*w - h for w.
1
Suppose 17 = -8*m + 33. Solve -m*d = -u + 2*d + 3, -3*u - 13 = -d for u.
-5
Suppose g + 82 = 5*x - 83, -4*g = 20. Solve 2*s = -2*s + 5*k + x, k = s - 7 for s.
3
Let r(q) = -3*q - 3. Let c be r(-3). Let x(y) = y**3 - 5*y**2 - 7*y + 8. Let p be x(c). Solve 6 = p*i, -i = -2*f - 4*i + 7 for f.
-1
Let g(i) = -i**3 + 6*i**2 + 7*i + 7. Let b be g(7). Let v = -6 + b. Let r = 3 - v. Solve 5*m + h + 0 = 4, m = r*h + 3 for m.
1
Suppose -58 = -3*p - p - 2*q, 5*q - 15 = 0. Let a = -4 + p. Let k = a - 4. Solve 8*j - 22 = 3*j - 4*c, 0 = -j - c + k for j.
2
Suppose 0*f - 3*f + 162 = 0. Let u be f/(-12)*(-1 - 1). Let p = -8 + u. Solve -t = 4*o - 2 + p, 2*o - 5*t + 27 = 0 for 