et i = -25 - -15. Let b = -2 - i. Solve 2*r + b = -2 for r.
-5
Let m(w) = -3*w**2 + 2*w - 1. Let j be m(-2). Let g = -17 - j. Solve 2*k - k - 4 = g for k.
4
Let i(k) = 2*k**2 - k - 3. Let a be i(2). Suppose -4*d = -a*d. Solve 0 = -d*o + 4*o - 20 for o.
5
Let m(o) = o**2 + 2*o - 7. Let s be m(-5). Let f = -1 + s. Solve f = 4*x - 1 for x.
2
Suppose q + 0*q = 0. Suppose 0 = 3*r + 2*r - 4*a + 2, 0 = 5*a - 15. Solve c + r - 5 = q for c.
3
Suppose -3*v + 2*u + 3 = u, -3 = 3*v + u. Solve 4*a + 4 - 12 = v for a.
2
Let u(k) = 5*k - 2. Let l be u(-4). Let w = -16 - l. Solve 0 = x + x + w for x.
-3
Let s be 0*2*(-2)/(-8). Suppose 5*l - 1 = 4*p, s*l - p + 2 = l. Solve 0 = -0*x - x + l for x.
1
Suppose 0*c - c = 2*c. Solve c*v - 9 = -3*v for v.
3
Suppose 0 = q - 11 - 9. Solve 0*f + q = -5*f for f.
-4
Let h(x) = x**2 - 4*x - 3. Let g be h(6). Solve 0 = f - 4*f - g for f.
-3
Suppose 45 = 28*t - 19*t. Solve -t*z - 4 = 21 for z.
-5
Suppose -3*d - 5*l + 80 = 0, 0*d = -d + l + 24. Solve 0 = -u - 4*u + d for u.
5
Suppose -2*a + 6*a = 0. Solve a = 5*f - 3*f - 4 for f.
2
Let d(h) = h**3 - 6*h**2 + 5. Let x be d(6). Let y be (x + -4)*(0 + 1). Solve 3*t + y = 2*t for t.
-1
Suppose m = -3*m + g - 4, -4*g + 16 = 4*m. Let i = m + 2. Solve i*l = l - 5 for l.
-5
Let z(g) = -g**2 + 3*g - 2. Let s be z(2). Let u be (-66)/(-8) - 9/(-12). Let w = -5 + u. Solve o - w*o + 9 = s for o.
3
Let i = 15 + -10. Let a be (-6)/(-2) - (-108)/(-4). Let n = -17 - a. Solve -3*t - n = i for t.
-4
Suppose -s + 3*f - 9 = 2*s, 4*f - 28 = -4*s. Let z be (-2)/3 + s/3. Suppose 4*k - 5*i - 48 = z, 2*k - 3*i = -5*i + 24. Solve y = 4*y - k for y.
4
Let r = -10 - -13. Suppose -r*d + 4*d = 0. Suppose 0*o + 3*f = 5*o - 10, 15 = 3*f. Solve d = -o*w + 8 + 7 for w.
3
Let y(i) = i**2 - 4. Let q be y(3). Let t be q/(10/(-6)) - -5. Solve -t = -0*d - 2*d for d.
1
Suppose m - y - 1 = 0, -2*m = y + 3 - 2. Suppose 0 = -l - m*l. Suppose l = -0*g - 3*g. Solve g = -0*f - f - 5 for f.
-5
Suppose -2*m + 22 = -5*c + 31, -2*c + 21 = 5*m. Suppose -j - 4*j - 10 = -y, 0 = 5*j + 5. Solve -c*l + y + 1 = 0 for l.
2
Suppose i - 9 = -2. Suppose -2*h = -2*s + 3*h - 14, -3*s - 4*h + 25 = 0. Solve -s*j - 1 = -i for j.
2
Let k be (5/(-5))/(2/(-4)). Solve 6*x - k*x + 8 = 0 for x.
-2
Let d be (-1)/(-1 + (-4)/(-8)). Solve -10 - d = 3*i for i.
-4
Suppose -2*x - 5 = -5. Solve 5*k + 18 + 7 = x for k.
-5
Let c = 62 + -58. Solve 16 + c = 4*g for g.
5
Suppose 2*q - 5 = 5*g, -q - 4 = 2*q + 4*g. Let n be 4/(20/(-3))*-15. Suppose q = 4*t - n - 7. Solve -t*w - 25 = w for w.
-5
Let s(d) = 2*d - 2. Let a be s(3). Let g = a + 0. Let u = -19 + 22. Solve g = -u*k - 5 for k.
-3
Let r(c) = 2*c. Let y = 7 - 4. Let b be r(y). Suppose 0 = -2*x + 3*x - 10. Solve -z - x = -b*z for z.
2
Let s(l) = -l**3 + 5*l**2 + 2*l + 1. Let z = 6 - 2. Suppose -3*b = -3*g - 3, 9*b - 4*b = z*g + 9. Let h be s(b). Solve 1 - h = 2*j for j.
-5
Let u = 3 + -2. Suppose -12*t + 19 + 41 = 0. Solve t*o = u - 6 for o.
-1
Suppose -2*p = -11 + 7. Solve -9 = p*c + 1 for c.
-5
Let p(q) = q + 8. Let z(r) = r + 4. Let w be z(3). Let l be p(w). Let k(y) = y**2. Let b be k(0). Solve b = -2*h - 5 + l for h.
5
Let q(w) = -7 - 9*w**2 - 3*w - 6*w - w**3 + 2. Let i be q(-8). Let u = i - 3. Solve 3*f + u*f + 6 = 0 for f.
-2
Let h be (-15)/35 + (-9)/(-21). Suppose -2*b - 5*c = h, b - 2*b + 3*c = 0. Solve -v + b*v - 5 = 0 for v.
-5
Let z(x) = -x + 2. Let i be z(4). Let l be i/(-3) + (-60)/9. Let t be (0 - (-3)/(-6))*l. Solve 16 = -c - t*c for c.
-4
Let u be -2 + 12*1/2. Let i(b) = b**2 - 3*b - 2. Let a be i(u). Solve a*z - 1 = 1 for z.
1
Let i be ((-16)/(-40))/(2/20). Suppose 34 = i*a - l, -2*l + 4 = 4*a - 3*a. Solve 4*u - a = -0 for u.
2
Let r be 0 - 15/(-5) - 0. Solve r + 3 = -3*n for n.
-2
Let k(v) be the first derivative of v**4/4 + 5*v**3/3 - 3*v**2 + 3*v + 4. Let c be k(-6). Solve -2*a - c = a for a.
-1
Let o = -6 + 23. Let p = o - 17. Solve p = 3*g - 6 - 6 for g.
4
Let r be (3 - 1)/((-8)/32). Let l = -4 - r. Suppose l*j = -2*q, q + q = -5*j + 2. Solve j*f = -0*f for f.
0
Suppose -2*j = 5*b + 64, -3*b - 50 + 18 = -2*j. Let f = -8 - b. Solve -z + f = -3*z for z.
-2
Let c(t) = t + 11. Let d = 6 + -16. Let y be c(d). Solve -3*h = -2*h - y for h.
1
Let g be 2 + (-4)/((-8)/6). Solve 0*c + 5*c = g for c.
1
Suppose 0 = 4*v - 3*d - 0 - 27, 3*v - 22 = 4*d. Suppose -v*l = -l. Solve l = -0*a + 3*a for a.
0
Let q be (-1 + 1)/(-16 + 13). Solve q = -2*g - 0 + 4 for g.
2
Suppose 2*m - 15 = -5*j, j - 5 + 2 = -3*m. Solve -2 = -h - j for h.
-1
Let h(t) = -t**3 + 3*t**2 - t. Let z be h(2). Suppose 2*n = -0*n - z*v + 12, n - 2*v - 3 = 0. Suppose -n*l = -11 - 14. Solve -1 = -l*b + 19 for b.
4
Let r be (0/4)/((-2)/(-2) + -3). Solve r = -6*a + a for a.
0
Suppose 8 + 0 = -q. Let i = -7 - q. Solve 0 = 3*p + 7 - i for p.
-2
Let q(a) = 2*a + 12. Let c be q(-6). Solve 4 = -4*y - c for y.
-1
Let n be -2 + 8 - (-1 - -3). Suppose n*f - 5 = -f. Solve 6 - f = -5*y for y.
-1
Suppose -h - 5*u = -3*h, 0 = -4*h + 3*u + 28. Let x(g) = g**3 + 6*g**2 + 2. Let d be x(-6). Solve 0 = -d*l - 0*l + h for l.
5
Suppose -s - s + 26 = 0. Suppose 5*q + 12 = 2, 2*q = 3*w - s. Suppose -4*h + w*h + 5*x = 10, x = 3*h + 2. Solve h*k = -3*k for k.
0
Let i(u) = u**3 + 9*u**2 + u + 11. Let j be i(-9). Solve -r + j = r for r.
1
Let s(i) = -i - 5. Let h be s(-10). Suppose -h = -m + 3. Solve 0 = 4*j + m + 4 for j.
-3
Suppose -4*a + 37 = -5*b, -3*a - a + 17 = -b. Solve -a*c + 3 = -0 for c.
1
Suppose 10 = 3*q - a, -2*q + 18 = 5*a - 0*a. Solve -3*l = -q*l - 3 for l.
-3
Let k(g) = g**3 - 6*g**2 + 6*g - 3. Let l be k(5). Suppose -4*d + 3*d = -1, -2*c + 3*d = 1. Let h be (0/(-3))/(-3 + c). Solve h = -n - l + 4 for n.
2
Let v = -98 + 103. Solve -2*m = -v*m - 6 for m.
-2
Suppose 0 = -3*u - 2*u - 20. Let s = 7 + u. Solve r - s = -4 for r.
-1
Let y = 59 - 41. Suppose 3*h + 2*b - y = 3*b, -3*b = -h - 2. Solve -k - h = -3 for k.
-4
Suppose 6*y - 3*y = 9. Let k be (-5 - (0 - -1))/(-1). Suppose -j = m + j - k, -4*m + 39 = y*j. Solve -4*w + 8*w + m = 0 for w.
-3
Suppose 4*s + 3 = f + 5*s, 5*f - 3*s = 31. Suppose -f*p = 2*b - 75, -2 = -2*b + 8. Let o = p + -9. Solve o*u = 12 - 4 for u.
2
Let g be (-2)/(-1) - (-6 - -8). Solve 0 = -2*l - g*l - 2 for l.
-1
Suppose 6 = o - 2*i, o - i - 1 = -4*i. Suppose -6*a + a - 10 = 2*r, -o*a = r + 8. Let b be (-9)/(-3) + a + 5. Solve 4*l = 2 - b for l.
-1
Let h be (0 - 0)/(-1 - 0). Let x = h + 1. Solve x = -2*c - 1 for c.
-1
Let u(s) = s - 4 - 2 + 0*s + 3. Let x be u(3). Solve 2*o + x = 2 for o.
1
Suppose z - 2*t + 8 = 0, 3*z - 6 = -4*t - 0. Let r be (-1)/z*0/(-1). Solve r*d + 12 = 4*d for d.
3
Suppose -5*i = -2*p - 0*p - 26, 2 = -i - 2*p. Suppose -4*q - 6 - 6 = 0. Let v(k) = -k**3 - 3*k**2 - 2*k - 4. Let c be v(q). Solve i*t = c + 14 for t.
4
Suppose 8*a = 4*a - 12. Let z = 13 + a. Solve -2*j = -4*j + z for j.
5
Let q(b) be the second derivative of -b**4/12 + 7*b**3/6 - 5*b**2/2 + 4*b. Let a be q(6). Solve a = -4*j + 5*j for j.
1
Let r be ((-12)/2)/(1 + 2/(-1)). Solve 3*y = -0*y + r for y.
2
Let h(x) = x**3 - x**2 - 5*x - 2. Suppose -t + 8 = y, 4*y = -4*t + t + 27. Let i be h(y). Solve -i = p - 3 for p.
2
Suppose 0 = -4*t + 3*b - 4, -5*t - 8*b + 3*b = -30. Let o be (70/(-21))/(t/(-3)). Solve -9 - 1 = -o*m for m.
2
Let j = -21 - -36. Suppose -2*d - 9 = -j. Solve 0 = -3*k - d for k.
-1
Let a be 2 + -1 - (-3 - 0) - 2. Solve u = -a*u - 15 for u.
-5
Suppose -3*k - 6 = -4*t, 0 = 5*k - 0*t - 2*t + 10. Let z(a) = a**2 - 2*a - 2. Let y be z(k). Let f = 9 + -5. Solve -f*b + 2*b = -y for b.
3
Let l(k) = -3*k - 12. Let p be l(-4). Solve 5 = -z - p for z.
-5
Suppose 10*b - 6 = 4*b. Solve 4*y + 3 = -b for y.
-1
Suppose 5*s - 7 = -b, -3*b + 6*s - 4*s = -4. Solve 3*x + b*x = -10 for x.
-2
Let z(c) = -c**2 + 12*c - 2. Let w be z(12). Let k be w*(-1)/4*-4. Let r be (-2)/(-10) - k/(-10). Solve r = f + 2 for f.
-2
Let f be (-16)/2*40/(-32) + -4. Solve -2*l - 2 = -f for l.
2
Let p = 31 + -28. Solve -p = -m - 6 for m.
-3
Let n(b) = -b + 5. Let s be n(5). Suppose s = l + 2*p - 14, -3*l + 6*p + 12 = 2*p. Suppose -h = 2*v - 4, h = -0*v - 4*v + l. Solve -3*g = -g - v for g.
1
Let c(t) be the first derivative of t**2 + 6*t + 2. Let w be c(5). Suppose 7 + 2 = 3*i. Solve w = i*g + g for g.
4
Let w be 4/30 + 73/15. Let o(k) = k**3 + 7*k**2 + 6*k + 5. Let x 