-u*o + 3 = o for o.
1
Let f = -25 - -28. Solve 15 = f*z + 2*z for z.
3
Suppose -64 = 5*c + 66. Let o = c + 26. Solve u - 3*u = o for u.
0
Let w be 2/(-5) + 58/(-5). Let l = w - -12. Solve l = a - 2*a for a.
0
Let i(b) = 5*b**2 + 2 + 4 - 7 + b**3 + 6. Let y be i(-5). Solve -y*h - 4 = 1 for h.
-1
Let k = -72 - -74. Solve 0 = -4*m - k + 18 for m.
4
Let y(b) = -b + 7. Let d be y(8). Let f be d - 3/(-6)*2. Solve f*z + 2*z = 2 for z.
1
Suppose -l - 2*l + 24 = 0. Solve 0 = 4*x + l - 0 for x.
-2
Suppose 2*c = c + 4*i + 5, -3*c = 3*i - 15. Solve -c*m + 0 = 5 for m.
-1
Let d = 25 + -22. Suppose d*m - 10 = 2. Solve m*w = 1 + 3 for w.
1
Let c be (5/15)/(2/12). Suppose c*t - t = 4*o, 5*o = 2*t. Solve t = 5*m - 11 - 4 for m.
3
Let q be 1 + -2 + -5 - -2. Let p = -7 - q. Let f = p + 6. Solve 0*m = f*m - 12 for m.
4
Let a = 0 + 1. Suppose 4 = 2*v + 4*d - 24, 4*v - 3*d = a. Solve 4*l - 16 - v = 0 for l.
5
Let s(y) = y**3 - 8*y**2 - 9*y. Suppose 3*c + 5*t - 40 = -2*c, 5*t + 5 = 0. Let g be s(c). Solve -5*z + g + 15 = 0 for z.
3
Let w(o) = o**2 - 8*o + 9. Let p(j) = j**2 - 6*j + 5. Let s be p(6). Suppose 0*g - s*m - 6 = -3*g, 0 = -3*g - 5*m + 36. Let v be w(g). Solve -4 = -l - v for l.
2
Suppose 5*q - 2*h - 30 = -7*h, -2*q = -3*h + 8. Solve -c + q*c = 4 for c.
4
Suppose 4*g + 36 - 108 = 0. Let k = -17 - -22. Solve -k*b - 2 = g for b.
-4
Suppose k + 0*k = 5. Suppose -55 = -5*o - k*z, -z + 2 + 23 = 3*o. Let x be 0 - -8 - (o + -5). Solve 0*q + x = -2*q for q.
-3
Suppose 0 = -2*v - 2 + 32. Solve 0*h - v = 5*h for h.
-3
Suppose -2*r = r. Suppose -1 = 3*z - 10. Suppose 4*g + 2 = 26. Solve -z*c + r = g for c.
-2
Let a(o) = -3*o**3 + o. Let i be a(-1). Let r be (4 - -16)/(-2 + 4). Solve -4*k = -i*k - r for k.
5
Suppose -2*i - 2*i - 28 = 0. Let d = i - -11. Suppose 8 = -3*j + 2*r, -r + 0*r + 4 = d*j. Solve -b - 5 = -j for b.
-5
Suppose -6 = -5*w + 4. Let f be (-1)/(3/2)*-3. Let x = w - f. Solve 0 = -x*l + 2*l for l.
0
Suppose 5*g + 5*s - 80 = 0, -2*s + s = 2*g - 28. Let h = g + -6. Solve -h*l + 5 = -l for l.
1
Suppose -8*w + 3*w + 2 = 4*t, -5*t = 4*w + 2. Let m(p) = p**2 + 3*p - 2. Let g be m(w). Suppose u + u = g. Solve 3*n + u = 4*n for n.
4
Suppose -p + 3 + 3 = 0. Let o = p - 4. Solve o*q + 12 = -2*q for q.
-3
Let x(v) = v**3 - 6*v**2 + 5*v. Let a be x(5). Suppose -i + 22 = -3. Solve -5*h + 10*h - i = a for h.
5
Let n = 14 - 12. Solve n = -2*s + 10 for s.
4
Let u be (-20)/60*(0 + -9). Solve i + 10 = u*i for i.
5
Suppose 2*o = t + o + 6, -5*t = 4*o + 57. Let i = t - -13. Let s(g) = -g**2 + 5*g + 1. Let p be s(5). Solve i*v + p = 13 for v.
3
Suppose 0 = -3*u + 4*u - 3. Suppose -k + 4*b - 1 - 6 = 0, -6 = -u*k + 3*b. Solve j - k*j = -8 for j.
2
Let r be (1 + -7)/(-3) - -1. Suppose 1 = r*g - 5. Solve -4*f = -g*f for f.
0
Let b be -2 + 5/(10/8). Suppose 5*v + 4*d = -20, 0 = 3*v - b*v - 3*d - 15. Suppose v*s - 4*s + 4*o = -56, s + o - 16 = 0. Solve -s = -3*j - 2*j for j.
3
Let p(w) be the second derivative of w**3/6 + 3*w**2/2 - 3*w. Suppose -2*q = -2*n + 10, 0 = -5*n - q + 4*q + 15. Let i be p(n). Solve 10 = 2*c + i*c for c.
2
Let l be (-1 - -11)*(-32)/(-40). Let a = l - -4. Solve 8 + a = -4*p for p.
-5
Let g be 106/(-10) + (-38)/95. Let q = 1 - g. Suppose 3*r + n - 3*n - 8 = 0, n - 7 = -4*r. Solve q = r*p + p for p.
4
Let z = -4 - -7. Let o be 3/9 + 2/z. Let d be 6/(5 + -2) + o. Solve 6 = -d*v - 0 for v.
-2
Let n = 34 + -15. Solve 0 = 4*k - n + 3 for k.
4
Suppose 2*k - 5 = 5*m + k, -20 = -4*k. Solve r - 4 + 3 = m for r.
1
Let g be -7*(-2 + (-2)/(-7)). Suppose g = 4*i - 0. Solve 0 = n + 5 - i for n.
-2
Let u(w) = -w**3 + 4*w**2 + 3*w - 1. Let q be u(5). Let i be (q/5 + 1)*-5. Let j be 4/(-4)*-1*5. Solve -3*r = -j*r + i for r.
3
Let c be 5 - (-3 - -2)*0. Solve 0*l + 25 = c*l for l.
5
Let n = 15 - 15. Solve n = -0*o - 2*o + 4 for o.
2
Let b(t) = -t. Let w(l) = l + 2. Let z(a) = -2*b(a) - w(a). Let j be z(2). Solve 3*p + 9 + 0 = j for p.
-3
Let l(h) = 5*h**3 - h**2 + 2*h - 1. Let d be l(1). Suppose -d*m = -f - f - 6, -4*m + 4*f + 12 = 0. Solve 0 = -m*q + 3*q + 6 for q.
-2
Suppose c - 14 = -5*i, -c = -i - 2*c + 6. Solve 2*x - i + 0 = 0 for x.
1
Suppose -4*w + 36 = 4*f, 5*w = -3*f - 0*w + 27. Let o = 13 + -8. Solve -o*u + f + 6 = 0 for u.
3
Let n be 2/13 - 111/(-39). Solve 5*m + 2 + n = 0 for m.
-1
Suppose 2*z = 3*l + z - 63, 5*l - z - 103 = 0. Suppose -4*n + l = -3*n. Solve -n = -3*d - 8 for d.
4
Let n(t) = t - 5. Let p be n(7). Solve -p*c - 2 = 8 for c.
-5
Let z(j) = -j**2 + 4*j + 3. Suppose -3*y + 35 = -8*y. Let t = y - -11. Let a be z(t). Solve 0 = -0*m - m + a for m.
3
Let y(h) = -1 - 3 + 1 - 3*h. Let g be y(-2). Let k = g - 3. Solve 0 = -k*b + 3*b for b.
0
Suppose z - 15 = -4*u - 2*z, -5*u + 21 = 3*z. Suppose -2*r + 15 = -3*h, -u*r - 5 = -2*r + h. Suppose -2*m = -6*m + 12. Solve -m*g - g = r for g.
0
Let s(t) = -t**3 + 6*t**2 + 9*t - 10. Let m be s(7). Suppose -m*o + 2*o = -4. Let a = o + 1. Solve 4*g + a = 23 for g.
5
Suppose 2*l = 4*l - 10. Solve -l*p = -9 - 16 for p.
5
Let o(y) = -y - 1 - y**3 - y**2 + 4*y - 2 - 1. Let n be o(-3). Solve 4*q - 3*q - n = 0 for q.
5
Let n = 13 + -10. Solve -n*k = 2*k + 15 for k.
-3
Suppose 8*a - 5*n - 5 = 6*a, -4*a + 5*n = -5. Solve -t = -a*t - 2 for t.
2
Let m = 160 + -158. Suppose -3*c + 44 = c. Suppose 5*o - o + c = -3*w, 34 = 3*w - 5*o. Solve -w*p + 4 = -m*p for p.
4
Let u = -36 - -39. Solve 9 + 3 = -u*k for k.
-4
Let r(p) = -7*p + 1. Let d be r(-1). Let g be d/((-15)/6 - -3). Solve -4 = 5*x + g for x.
-4
Let z(k) = k**3 + 4*k**2 - 5*k. Let g be z(-5). Let l be 1*-2 + g + 5. Suppose j + t = -0 + 1, l*j + 1 = t. Solve j = -a - 3*a for a.
0
Let z be (-1*4/(-8))/(2/12). Solve 6*u - z*u = 0 for u.
0
Suppose 1 + 7 = 2*w. Suppose -1 = -6*n + 5. Solve 0 = -w*s + n + 11 for s.
3
Let f = -1 + 1. Let v(g) = -g**2 + g. Let p be v(f). Suppose p = k + k. Solve k = -0*n - 2*n + 8 for n.
4
Let m be -3*(2 - (-14)/(-6)). Suppose 0 = -4*s - m - 23. Let u be (-2 - s) + -2 + 4. Solve 0 = o + o - u for o.
3
Let v be (-18)/(-27) + (-8)/(-6). Solve v*l = -l + 9 for l.
3
Suppose 0*r - 18 = -r - 4*o, 4 = -2*r + 2*o. Solve -5 - 3 = -r*m for m.
4
Let y(f) = f**3 + 9*f**2 + 9*f + 1. Let a be y(-8). Let m(i) = -i - 7. Let z be m(a). Solve 0*n + n = z for n.
0
Let j = -7 + 17. Solve -j = b - 5 for b.
-5
Let c be (1*-1)/(4/(-160)). Suppose 5*x + 5*i = c, -3*x + 4*i = -2*x + 17. Solve x*m = m for m.
0
Suppose 0 = 4*t - 17 + 1. Solve t*m + 6 = -6 for m.
-3
Let j(a) = 2*a + 11. Let g(x) = -x - 5. Let i(o) = 9*g(o) + 4*j(o). Let u be i(-2). Let v be ((-10)/8)/(u/(-16)). Solve -z - 4*z = v for z.
-4
Suppose 6 = k + 4. Solve k*n + 6 = 5*n for n.
2
Let a = -13 + 19. Let j be 1 + (3*a)/2. Let c(i) = -i + 2. Let u be c(-3). Solve 3*y - u = j for y.
5
Suppose 8*d - 3*d = 125. Let u be (12/(-4))/((-2)/4). Let s be u - (8/2)/2. Solve l = -s*l - d for l.
-5
Suppose 2*k - 4*n - 34 = 0, -3*k + 23 = -n - 23. Solve 0 = -4*r + r - k for r.
-5
Let o(x) = -x**3 - 4*x**2 - 2*x + 3. Let y be o(-3). Let u(q) = -q + 7. Let c be u(5). Let v be 0 + (0 - 0 - 0). Solve v = c*d - y*d for d.
0
Suppose -6 - 2 = -2*o. Solve -2*u + 4*u = -o for u.
-2
Let j = -76 + 78. Solve -4*w + j*w - 2 = 0 for w.
-1
Suppose -2*u - 18 = -5*d, d + 6*u - 2*u = 8. Solve -d*m = -2*m for m.
0
Suppose 0 = -69*k + 68*k. Solve -6*h + 4*h + 8 = k for h.
4
Let y(g) = g**3 - 7*g**2 + 12*g + 2. Let f be y(4). Solve -f*n + 3 = 7 for n.
-2
Suppose 7*g = -0*g. Solve g*p - 3*p - 12 = 0 for p.
-4
Suppose 7*h = 6 - 6. Solve h = 2*u - 8*u for u.
0
Let l(d) = -d**2 - d + 25. Let s be l(-5). Solve 0 = s*x - 4*x for x.
0
Let j = -49 - -52. Solve -9 - j = 3*t for t.
-4
Suppose 6*r = 5*r. Solve r = -a + 2 for a.
2
Suppose -6 = -4*o - 3*g, -3*o - 1 + 0 = 5*g. Suppose 3*t - 9 - o = 0. Solve t - 2 = 2*u for u.
1
Let n(d) = d**3 - 2*d**2 - d - 1. Let p = -2 + 5. Let q be n(p). Solve z = q*z for z.
0
Let a be 3/(-2*(-2)/(-4)). Let v = 4 - a. Solve -2*m = -v + 1 for m.
3
Let i be 21/14*4/(-6). Let m = i + 3. Solve -s = -m*s for s.
0
Let m be 1 + (4 - -2) + -4. Solve m*b - b = 4 for b.
2
Suppose 2*x - 5*b - 25 = 0, 2*b - 6*b - 4 = 0. Solve -x - 2 = -4*s for s.
3
Suppose 2*u + 4 = -8*k + 4*k, -3*k = -2*u - 4. Suppose k = -2*v - 3*g + 6, 2*v + g = 10. Let l(t) = t**2 + 6*t + 4. Let b be l(-7). Solve x + v - b = 0 for x.
5
Let u(l) = -2*l - 4