-3*o + 15 = -3*g for o.
2
Suppose 3*p = 8*p - 5, -2*p = 5*v - 72. Suppose 0 = -13*l + v*l. Solve -u - h = 0, -h - 3*h = l for u.
0
Let s(j) = j**2 - 3*j + 5. Let q be s(0). Solve f - 4*f = -q*x - 31, -17 = 4*f + 5*x for f.
2
Let m(u) = -5*u - 31. Let c be m(-7). Solve 0*n - c*n - 19 = -3*a, -3*n + 5*a - 28 = 0 for n.
-1
Let s = 12 - 8. Let f = 9 - s. Solve 3*i + u + 0 = 2, f*i = 2*u + 7 for i.
1
Suppose -3*b - 17 = 5*v - 7*b, -b + 13 = -3*v. Let m = v - -8. Let o = 1 + m. Solve 3*c = -f - 8, -4*c + o = 4*f + 20 for f.
-2
Suppose -2*w = w - 3. Let d be w/(((-2)/(-2))/3). Solve 4*s - 12 = 0, 4*o + 8*s - d*s - 19 = 0 for o.
1
Suppose j - 21 = -4. Let h = 2 + 2. Suppose -52 = -2*w - 20. Solve -4*q - j - 4 = 5*o, 0 = h*o + 3*q + w for o.
-1
Let j(r) = 2*r - 3*r + 4 + 4 - 1. Let x be j(3). Solve x*q + 2 = -b, -2*q - 3*b + 0*b - 6 = 0 for q.
0
Suppose -2*u - 5 + 1 = 0. Let y be 7 + u*9/6. Solve -v = 3*x - 4, -3*v + 6*v - 12 = y*x for v.
4
Let o be (-86)/(-11) + 6/33. Solve -g + 9 = -3*u, -o*g + 3*g = u + 3 for g.
0
Suppose 0 = 2*w + 3*j - 7, 0 = 6*j - j - 5. Solve -w*s + 4*d - 12 = 2*s, -s - d + 7 = 0 for s.
2
Let u be 1 + (40/(-2))/(-2). Let t = u - 6. Suppose -3*m + 6 + 34 = 5*v, 0 = t*v - 5*m. Solve -3*p - 6 = -k + 1, 5 = v*k for p.
-2
Let q(s) = -s**3 + 14*s**2 + 14*s + 18. Let d be q(15). Solve -4*f + 0 - 3 = -d*h, -h = -3*f - 6 for h.
-3
Suppose 90 = -3*m + 96. Solve 9*w - 5*i + 20 = 4*w, 0 = 3*w - i + m for w.
1
Let t(w) = -w**3 - w**2 - w + 9. Let x be t(0). Let o = 12 - x. Solve -p + 4*p - c = 19, -7 = p + o*c for p.
5
Let y(u) = u**3 + 15*u**2 - u - 12. Let z be y(-15). Solve 3*s - 14 = 2*r + z*r, 2*r = -3*s + 7 for s.
3
Let n be (-18 + 12)*(-1)/2. Solve -2*s + 3 = n*x - 2*x, -s = -x for s.
1
Let f = -3 + 3. Suppose 0 = a - f*a. Solve 3*w + 14 = 3*o - 1, 3*o + 5*w + 9 = a for o.
2
Let r(j) = -j + 13. Let q be r(11). Solve 4*m - m + 13 = -5*i, -q = 3*i - 4*m for i.
-2
Let z be 1*(-25)/15*-3. Solve 2*b - z*x - 25 = 0, -3 = -2*b - 5*x - 8 for b.
5
Let b(h) = h**3 + 10*h**2 + 9*h + 10. Let t be b(-9). Solve -3*j - 2*p = -t, -8 - 6 = -4*j - 3*p for j.
2
Let r(o) = -o**3 + 8*o**2 - 6*o - 3. Let l be r(7). Let w be 3 + (1 - 5/(-5)). Solve w*m + 23 = -3*u, 3*u - l*u = 2*m + 9 for m.
-4
Let u be (-2)/(-9) - (-125)/45. Solve 25 = 4*j + j, -u*d = -5*j + 34 for d.
-3
Let v(q) = -q**2 - 5*q + 5. Suppose -22 = 4*c - m, -2*m + 3 = -c - 6. Let d be v(c). Let i = -1 + 5. Solve -3*z = -d - 7, -5*z + 8 = i*b for b.
-3
Suppose -5*u = r + 5 - 0, 0 = -5*u - 3*r - 15. Let v(a) = a**3 + 4*a**2 + 1. Let b be v(-3). Solve u = -3*j - 3*q - 2*q + 7, 4*j - 3*q + b = 0 for j.
-1
Suppose 24*n = 9*n + 45. Suppose -2*k = -4*k + 16. Solve x + g = k, 34 = 5*x + 4*g - n for x.
5
Let k be 1 - (-6)/(2 + 0). Suppose k*f - 25 = -f. Solve f*l - 13 - 1 = -3*y, -3*l + 12 = 3*y for l.
1
Let b be -1 - (2 + -5 + -1). Solve -p - 3*p - 4*i + 4 = 0, -3*p = -3*i - b for p.
1
Let t = 2 + 0. Suppose 12 = -t*r - 4*g, 5*r + g - 6 = -0*g. Suppose 0 = 2*m - l - 6, r*l - 5*l = 0. Solve -5*s = -2*s + m*z - 12, 3*s + 2*z = 10 for s.
2
Let r(x) be the second derivative of x**4/12 - x**3/3 - x**2 - x. Let d be r(-2). Let k be 6/9 + 20/d. Solve -5*s + 11 + k = -l, -5*s + 20 = -2*l for s.
2
Suppose 0*z + 90 = 5*z. Let g = 33 - z. Solve -h + 2 - 8 = -2*d, -5*d + g = 4*h for d.
3
Let g(y) = -y**3 + 8*y**2 - 8*y + 9. Let z be g(7). Solve -5*r - 3*x + 5 = z*x, 0 = x + 1 for r.
2
Let p = -1 - 1. Let g = 4 - p. Let q be (4/g)/((-6)/(-45)). Solve -7*z = -4*z - 6, 3*c + 5*z = -q for c.
-5
Let r = -3 - -3. Suppose -5*w + 56 = 6. Let x be 0 - (r - w/2). Solve x*y + 2*l - 11 = 0, 2*y - l - 1 = -2 for y.
1
Let v be 6/8*4/3. Solve 3*x - v - 8 = 2*n, -28 = -n - 5*x for n.
3
Suppose u + g - 8 = -4*g, u = 4*g - 1. Solve 0 = -d + u*m, 3*d - m = -3*m for d.
0
Let x(v) = v**3 + 4*v**2 - 5*v - 7. Let u be x(-4). Solve -b + 22 = 5*j, 3*j - 37 = 3*b - u for j.
5
Let z = -25 + 33. Solve 2*b = k + z, -k - 6 = b + k for b.
2
Let r(o) = -3*o - 4. Let g(d) = -d - 13. Let h be g(-7). Let f be r(h). Solve -2*u = 4*y - 0*u + f, -2*y + u - 5 = 0 for y.
-3
Let v be 3/(-8) + 129/24. Solve -2*o = -q + 3 + v, -3*q + o = 1 for q.
-2
Let h be ((-4)/(-5))/((-2)/(-10)). Suppose 4*u - z = u - h, 2*u = -3*z + 12. Solve 5*v - 4*c - 33 = u, -13 = 3*v - 4*v + 4*c for v.
5
Suppose 0 = 4*m + 44 - 164. Solve -m = 5*g - 0*w + 3*w, g = -2*w - 13 for g.
-3
Suppose 3*u - 4 = 2. Let d be 0/(-3 + u + -1). Suppose 4*s - 5*t - 11 = 0, -4*t + 25 = 5*s + 1. Solve 3*j + 2 + 1 = d, f + s*j + 6 = 0 for f.
-2
Suppose -3*j + 12 = j. Solve o + 3*f = 4*o + j, -4*o - 4 = 2*f for o.
-1
Let w(g) = 4 + g + 3*g - 4*g - g. Let u be w(0). Suppose -u = -l - 1. Solve -3*i + l = 0, 2*i - 3*i + 1 = q for q.
0
Suppose 3*f + 83 = 287. Suppose g = -3*g + f. Let d be g/4 + 2/(-8). Solve -38 = 3*k + d*h - 16, -3*k + 5*h + 14 = 0 for k.
-2
Let k(g) = -g**3 - 5*g**2 - 4*g + 5. Let w be k(-4). Suppose 0 = a - 3*r - 7, -a + 25 = 5*r - 14. Solve -w*l + 4*i + 24 - 65 = 0, -3*l + i - a = 0 for l.
-5
Suppose 3*m = 2*m. Suppose 6*r + 27 = -2*n + r, m = -5*n + 5*r + 20. Let a = 4 - n. Solve j - 8*s - a = -3*s, j + 5*s = -5 for j.
0
Let m be (18/21)/((-3)/21). Let n be 3/m*-1*4. Solve n*a - 2*z + 14 = 0, a - 3*a + 3*z - 18 = 0 for a.
-3
Suppose 3*k - 33 = k - 5*z, -4*z + 16 = -k. Let r be (-4)/k*-75*1. Suppose 2*f - r = -3*f. Solve -5*m = 2*x - f, -x + 6*x = 5*m - 15 for m.
3
Let o(f) = 141*f**2 - 2*f + 1. Let a be o(1). Suppose 0*z + a = 5*z. Solve -4*j = -2*s - z, 4*s = -j + 2*s - 3 for j.
5
Suppose 8 = -3*m + 23. Let v(b) = b**2 - b + 4. Let f be v(0). Suppose -f*u + 4 = -2*u. Solve n + u*p - 5 = m, 0 = -4*p + 16 for n.
2
Let v(x) = -2*x - 12. Let s be v(-8). Let a(i) = 9 + 0*i + s - i. Let y be a(10). Solve 0 = -4*r - 20, -5 = 4*o + y*r + 6 for o.
1
Suppose 3*h = 5*m + 39, 2*h = 2*m - 0 + 18. Let y be m/(-15) - 8/20. Solve -b + 13 = -y*b + 4*w, -b + 4*w = 3 for b.
5
Let c be 126/(-35) + 2/(-5). Let o(f) = -6*f - 1. Let u be o(c). Solve 0 = -q - 4*m + u - 2, 3*m - 15 = 0 for q.
1
Let b(s) = s**3 + 5*s**2 + 4*s - 2. Let g be b(-4). Let y = 5 + g. Solve 4*p + 4*x = 0, 0*p - y*x + 8 = -5*p for p.
-1
Let j(d) = 31*d**2 - 2*d + 1. Let o be j(1). Suppose -3*g = 2*l - 30, 8*l = g + 4*l - 24. Solve -4*h - 5*i = o + 11, g = 2*h - 4*i for h.
-4
Suppose -3*x - 4 = b - 3, 0 = 5*x - b + 15. Let m be (-41)/x + 1/2. Suppose -9 - m = -3*d. Solve -5*w - d = 0, -2*c + 0*w = 3*w + 14 for c.
-4
Let g(j) = -2*j**3 - j**2 - j. Let s be 3 - 4 - 0/(-1). Let b be g(s). Solve 0*k - 2*k - 5*r - 22 = 0, 3*r = b*k - 10 for k.
-1
Let s be (1/(-6) - 14/84)*-6. Solve 5*t = b - 6 - 7, s*b = -4 for t.
-3
Suppose 8 = 26*u - 24*u. Let w be 4/6 + (-4)/6. Suppose 0 = -s + 2*s - 15. Solve 2*x + w*x - 10 = u*j, -5*x = -2*j + s for x.
-5
Let v(q) = q + 0*q + 2*q - 4*q + q**2. Let k be v(2). Suppose -k*c - 2*c = -72. Solve 28 = -3*j - j - 5*x, -j - 4*x = c for j.
-2
Let u = 1 - -1. Suppose -2*i = 3*i - 4*z - 45, -4*i + u*z + 30 = 0. Solve 2 = 3*m + i, 3*x = -m - 13 for x.
-4
Let l = 7 + -5. Let m = 1 + l. Solve 0*a + p = m*a - 5, p + 5 = 5*a for a.
0
Let r(g) = -g**3 + 6*g**2 - 6*g + 7. Let k be r(5). Suppose -k*u + 40 = -u. Solve -5*n = -5*s + u, 1 - 36 = 5*n - 4*s for n.
-3
Let l be (-1)/(3/4)*18. Let j = l + 27. Solve j = -2*y - 0*y + 5*k, -3*k + 4 = y for y.
1
Suppose -4*x = 2*x - 30. Suppose 2*s + 36 = x*s. Solve 5*j = -5*v, -2*j = -3*v + s + 3 for v.
3
Suppose -4*z + 2 = -6. Let v(m) = m**2 + 3*m - 4. Let n be v(-4). Suppose -3*d - 2*g = -2*d - 2, 2*d - 2*g - 10 = n. Solve -x = -k, d*k = 2 + z for x.
1
Suppose 5*b + 5*c = 4*b + 13, b + 2*c = 10. Suppose 0 = l - 3*l + b. Solve -3*s + 1 = -2*u, l*u + s + 4 = -5 for u.
-2
Let d(y) = y**3 + 7*y**2 + 7*y - 1. Let m be d(-6). Let i = m + 12. Suppose 5 = l + 5*q + 14, -3*l - q + 15 = 0. Solve i*h - 8 = 4*r, -r + l*r = -10 for h.
0
Let w(y) be the third derivative of y**5/60 + 5*y**4/24 + y**3/2 - 2*y**2. Let x be w(-5). Solve -2*g = -3*t - 7*g - 7, -x*t - 4*g = 8 for t.
-4
Let l(b) = -b**2 + 7*b - 3. Let t be l(6). Let x(a) = a + 6. Let y be x(-5). Let i = t + y. Solve i*k = -2*d + 12, k = -4*d + 1 + 2 for d.
0
Suppose 2*n - 7 = 1. Solve 3*o + 5*j + 4 = 12, -16 = -n*j for o.
-4
Suppose 3*g = 29 + 19. Suppose g = -0*q + 4*q. Solve 0 = -n + 3*c + 10, -2 - q = -5*n + 4*c for n.
