 = t*o - 10 for o.
-2
Let r(x) = -x + 13*x**2 - 3*x**2 - 7*x**2. Let t be (-2)/1 - 12/(-4). Let s be r(t). Solve b - 3 = -s*b for b.
1
Suppose 0 = -k - 0*k + 5, -g + k = -1. Suppose -n + g*n - 20 = 0. Solve 0 = -u + 5*u + n for u.
-1
Suppose 4*g - 3 = 2*g - 5*q, 1 = 2*g + 3*q. Let z be (-91)/(-13) + g*3. Solve -z = -2*u - 12 for u.
-4
Let v = 14 - 14. Solve -4*b = -v*b + 12 for b.
-3
Let z be 3/(-15) + (-93)/(-15). Suppose -z = -4*x + 6, 0 = -4*r - 2*x + 22. Suppose 3*w + 16 + 32 = 5*f, r*w = 16. Solve c = 5*c + f for c.
-3
Let g be 10/(-55) + 39/33. Solve 3*y = -2 - g for y.
-1
Suppose 5*m - 56 = -3*h - h, 2*h = -m + 16. Suppose -4*v = l - 1, 4*v + 7*l - 2*l + 11 = 0. Solve -v - m = -3*g for g.
3
Let x be (-22)/6*(-1 - -4). Let p = x + 11. Solve -20 = 5*g - p*g for g.
-4
Let v = -7 + 18. Let a = -8 + v. Solve 12 = a*x - 0*x for x.
4
Let i = 79 - 35. Suppose 4*a - i = -0*a. Suppose -2 + 12 = 2*x. Solve -x*g + a + 4 = 0 for g.
3
Let v(z) = z**2 - 8*z + 7. Let r be v(7). Suppose 0 = -3*m - 6, 1 = 5*s + 4*m - 1. Suppose 2*y + 4*g = -8, 4*y + 5*g + s + 2 = 0. Solve -5*k - 6 - y = r for k.
-2
Let z = 7 + -7. Suppose -21 = -5*j - 4*v, -3*j - 5*v + z*v = -10. Solve -4 = -j*l + 6 for l.
2
Suppose 42 = 8*m + 10. Solve 9*g = m*g + 25 for g.
5
Let h(b) = 5*b**2 + 17*b - 5. Let v(o) = -3*o**2 - 11*o + 3. Let j(r) = 5*h(r) + 8*v(r). Let l be j(4). Solve 0 = 3*c - 0 - l for c.
1
Let z = -6 + 13. Solve -z = -3*c + 2 for c.
3
Let b(q) = q**2 + 5. Let d be b(0). Solve 0 = p - d*p for p.
0
Suppose 3*k - k - 54 = 0. Suppose 2*f = f, 3*a - 4*f = k. Solve 0 = 4*o + a + 7 for o.
-4
Let g be 28/12 + (-1)/3. Suppose g*i - 14 = -0*i. Solve -4*s = -i*s + 3 for s.
1
Let s(v) be the second derivative of -v**3/6 + 5*v**2/2 - v. Let w = 6 - 2. Let b be s(w). Solve -z - 2 = -b for z.
-1
Suppose -25 = -v + 5*q, 2*q - 119 + 21 = -5*v. Solve 3*l - 5 + v = 0 for l.
-5
Let f be (-15)/2*6/(-9). Suppose -r + 1 = 5*d - 3*r, f*d + 1 = 3*r. Let n = d - -1. Solve -n*o - o = 12 for o.
-4
Let b be (2 + 1)/((-5)/(-25)). Solve 4*k - b + 3 = 0 for k.
3
Let f be (-5)/(-2)*(96/(-10))/(-4). Solve f*d = 7*d + 3 for d.
-3
Let p(s) = s + 11. Let l be p(-8). Solve k = -l*k + 4 for k.
1
Suppose -35 = -4*g - g. Let x be g + (-4)/((-16)/12). Solve -2*b + x = 4 for b.
3
Suppose -s = s + 3*g - 12, 0 = 5*s + 4*g - 16. Let u be 1/(2/6*-1). Let y = u + 4. Solve s = -p + y + 3 for p.
4
Suppose -5 = -3*z + 58. Let p = z + -12. Solve 0*s + p = -3*s for s.
-3
Let g be (3/6)/(4/32). Solve 0 = -3*y + 2*y + g for y.
4
Let c = -22 + 42. Suppose 3*h - 5*i - 12 = -2*i, 5*h = -3*i + 4. Suppose h*m = -3*m + c. Solve -3*b + 2 = -m for b.
2
Let c(q) = q**2 + 14*q - 11. Let i be c(-15). Solve -2*u + i = 2 for u.
1
Suppose 4*b = h - 9, 5*h - 2 = h - b. Suppose 3*q - 13 = -f, 3*f + h = q - 0. Suppose -q*x - 16 = z, z - 5*x - 20 = -0*x. Solve 0 = 2*o - z*o + 6 for o.
-3
Suppose 0 = -2*y - 0*y - 6, -5*y - 25 = -h. Let k be 18/5 + 4/h. Suppose 2*l = -l. Solve k*j = -l*j for j.
0
Let d(o) be the first derivative of o**4/4 + 4*o**3/3 - 2*o - 5. Let s be d(-3). Solve -s*h + 2*h - 25 = 0 for h.
-5
Suppose -10 = 4*k - 9*k. Suppose -j + 6 = k. Solve 0 = 2*m + 2*m + j for m.
-1
Let m(z) be the first derivative of z**3/3 + z**2 - 3*z - 2. Let x be m(-5). Solve -4*h + 4 = -x for h.
4
Let u(j) = j**2 + 7*j + 8. Let s = -6 - 2. Let a be u(s). Solve -7*h + 3*h + a = 0 for h.
4
Let x = -30 + 32. Solve 1 = -f + x for f.
1
Let x be (-6)/(-27) - 34/(-9). Let j(t) = 2*t**2 - 2*t - 1. Let a be j(-1). Solve x*l = a*l + 1 for l.
1
Let v be (-612)/(-63) + (-2)/(-7). Solve -z + 3*z = v for z.
5
Let w be (-2)/(-8)*-2*-2. Suppose -3 = -p - w. Solve -4*l = -p*l - 4 for l.
2
Let f be (3/3 + -2)*-12. Let d = 12 - f. Solve 3*c - 4 - 2 = d for c.
2
Suppose 3*f = -2*i + 16, -f - i + 23 = 3*f. Let k(l) = 2*l + 5*l - 6*l - 2*l + 6. Let s be k(f). Solve s = -g - g - 4 for g.
-2
Let a = -5 + 7. Let r be ((-2)/a - -2)*3. Solve -r*x + 7*x = 12 for x.
3
Suppose 4*a - 3*a = 2. Let r be a/(-2)*(-3 + 3). Solve r = -u - u for u.
0
Let q(d) = -d**3 + 6*d**2 - 3*d + 5. Let v be q(5). Let j = v - 11. Suppose 5*b + 4*z - 2 = -4, j*b - 3*z - 17 = 0. Solve b*r - 2 - 4 = 0 for r.
3
Suppose -4*b + 8 = 0, 4*d - 3*b - 67 = 7. Suppose 2*p - 3*u - 3 - 1 = 0, -3*u - 8 = -4*p. Suppose -p*j + 7*j = 20. Solve 0 = -j*g - g - d for g.
-4
Suppose 0*c = -5*c. Let a be 1/3 + 16/6. Let x = a - c. Solve -8*n = -x*n + 25 for n.
-5
Suppose 6*r = 15 + 9. Solve 9 = r*f - 3 for f.
3
Let y(h) = h**2 + h + 1. Let i be y(-2). Let p be 1*3/(i/1). Solve -4*m + 3 = -p for m.
1
Let q be ((-2)/(-5))/((-10)/(-25)). Let x = -1 + q. Solve x*l + 5*l = 0 for l.
0
Let n(b) = 2*b - 4. Let m be n(2). Solve m = -5*j + j - 16 for j.
-4
Let g be 228/(-44) + (-4)/(-22). Let u = g + 9. Solve 0 = u*m - 3*m - 5 for m.
5
Suppose 3*w - 7 = -3*z - 4, 2*z - 12 = -4*w. Suppose -2*j = -3*d - 0 - 3, w*d + 5 = j. Solve 0 = -j*o + 2*o - 8 for o.
4
Suppose 13*a - 200 = 5*a. Let o(s) = -s**2 - 2*s - 1. Let f be o(-1). Solve a = -f*b - 5*b for b.
-5
Let n(w) = w + 6. Let o be n(-6). Suppose -c + 20 = d, -2*c = -o*c + 5*d - 25. Solve 8*t - 3*t = c for t.
5
Let g be 3/9 - (4/(-12))/(-1). Solve v + g = 4 for v.
4
Let g(f) = 4*f**2 + f. Let k be g(-1). Solve 0 = -k*t + 6*t + 15 for t.
-5
Suppose 0*v = -v. Suppose 0 = 3*o + 2*s - 22, -4*s - 2 = 2. Let i = o + -8. Solve 3*j + v*j = i for j.
0
Let y be 4/14 - (-60)/(-14). Let a be 8/28 + y/14. Suppose -t = -a*t - 1. Solve t - 2 = -f for f.
1
Let z = -1 + 7. Let k(m) = 5 + 0*m**3 + 1 + 5*m + m**2 - 8*m**2 + m**3. Let x be k(z). Solve -3*u + 0*u = x for u.
0
Suppose 0 = -l - i - 1, -4*l - 3*i + 1 - 4 = 0. Suppose l = 2*g - 0*g - 30. Solve -5*w - g = -2*w for w.
-5
Let m = -15 - -25. Let z = 13 - m. Solve -6 = 3*t + z for t.
-3
Let w be (-2)/(3 - (-44)/(-12)). Solve q = -w*q - 8 for q.
-2
Let h be 1/2*(-3 + 1). Let c = h + 4. Suppose i + 0*i + 21 = c*k, -k + 4*i = 4. Solve 5*q - 7 - k = 0 for q.
3
Suppose -2*b = -5*y + 42, -4*y = 2*b - 2 - 28. Solve 0*k = 2*k - y for k.
4
Let x be (-2)/(-1 + 10/14). Suppose -x + 25 = 3*i. Suppose 4*n = -w + 4*w - i, -4*n - 8 = -4*w. Solve -l - 12 = w*l for l.
-4
Let h(v) = -4*v + 9*v**2 - 5 - 3 - 2*v**3 + v**3 + 5*v. Let s be h(9). Solve s = -3*q + 2*q for q.
-1
Let j(w) = w**3 + 3*w**2 - 6*w - 4. Let c be j(-4). Solve -2*q - c = -6 for q.
1
Let p(f) = f**3 + 10*f**2 + 2*f + 23. Let o be p(-10). Solve -6 = -3*t + o for t.
3
Let m(w) = w**3 + 2*w**2 - 2*w - 2. Suppose 3*b - 8 = b. Suppose 3*d - 1 = a + 7, -b*a - 16 = -4*d. Let h be m(d). Solve n + 4*n = h for n.
2
Let b(v) = v**3 + 8*v**2 + v + 6. Let t be b(-8). Let k be (15/10)/(t/(-4)). Solve -k*m = -0 - 6 for m.
2
Suppose -n = -2*n. Let b(j) = 0 + j + 1 + n. Let s be b(2). Solve 1 = -s*k - 14 for k.
-5
Let l = 8 + -7. Let r = 1 - l. Solve r = -5*t + 8 + 7 for t.
3
Let f = 3 + 0. Suppose 4*p - 4 = -f*r + 7, -5*r = 2*p - 9. Let a(n) = n**3 + 15*n**2 - 18*n - 31. Let i be a(-16). Solve j + i = p*j for j.
1
Let n = 14 + -12. Solve n*m = -3*m - 5 for m.
-1
Let o = 28 - 16. Solve -o - 8 = 4*j for j.
-5
Suppose -6 - 2 = -2*q + 3*g, 4*g + 9 = q. Let c = q - -2. Solve c*l = 2*l - 2 for l.
-2
Suppose 3*f = y + 19, y + 0*y + 9 = f. Solve 5*m - f - 5 = 0 for m.
2
Let h(y) = -16*y**2 - 2*y + 2. Let z be h(2). Let a be (9/(-6) + 2)*z. Let w be a/(-7) - 4/(-14). Solve 5*m + w = -0*m for m.
-1
Suppose 2*j = 4*h - 8, 5*j = -3*h + j - 16. Solve h = -5*m + 7 + 13 for m.
4
Suppose 0 = 2*x + 5*j - 4, 8*j = -3*x + 4*j + 6. Solve l = -x*l + 3 for l.
1
Let p(d) = -d**3 - 11*d**2 - d + 11. Let b be p(-11). Suppose -5*g + 43 = -b. Solve 2*v + 3 = g for v.
5
Let d be 1/((-29)/(-10) + -3). Let m = 0 - d. Let g be ((-32)/m)/((-1)/5). Solve -3*x - g = x for x.
-4
Let n(h) = h**3 - 13*h**2 + 12*h + 5. Let g be n(12). Solve -15 = -0*d + g*d for d.
-3
Let r = 6 + -4. Suppose 6 = 4*h - r*h. Let f = h - 3. Solve f*k - 5*k - 15 = 0 for k.
-3
Suppose -3*l = -8*l + 25. Suppose 2*r + 6 = -0, -3*i - 3 = l*r. Suppose 5*k = k + 8. Solve k*z = -0*z + i for z.
2
Suppose y - 5*a - 5 = 0, -5*a - 20 = -4*y - 2*a. Suppose -119 - 6 = -y*p. Solve -p = 5*j - 0*j for j.
-5
Suppose -c + 1 = -3. Suppose 5*v = -2*x + 69, c*x + 27 = v - 0*x. Let s be 2/5 - (-84)/v. Solve s*k - 15 = k for k.
3
Let x(z) = -z**3 - z**2 + z - 1. Let v(n) = -4*n**3 - 8*n