k*g + 22 for g.
4
Suppose -5*v = -5*p + 5, 3 = p - 4*p - 3*v. Let n be (p/1 - 0)/1. Suppose 4*q - r - 44 = n, -3*r = q - 5*r - 18. Solve 5 = 3*l - q for l.
5
Suppose -3*n + 72 - 69 = 0. Solve 2*x - n = -5 for x.
-2
Suppose 16 = 5*g - 2*j, 7 = 3*g + 2*j - 9. Let z(b) = -b + 2*b + g*b**2 + 0*b - 2*b**2. Let r be z(-2). Solve 6 + r = 3*v for v.
4
Suppose -2*f + 2 = 3*h, 2*h + 4*f + 0 = 4. Suppose -o + v = 3, 2*v = -h*o - 3*o + 16. Solve g + 0*g + o = 0 for g.
-2
Let q = -35 + 65. Let v = q - 65. Let c be (-28)/v + 8/(-10). Solve 0 = -c*u + u + 3 for u.
-3
Let h(a) = -19*a - 44. Let r be h(-3). Solve -r*y + 18*y = -25 for y.
-5
Let r(w) be the second derivative of -w**4/12 - 17*w**3/6 - 7*w**2 + 9*w. Let j be r(-16). Solve 0 = -j*p + 3 + 1 for p.
2
Let l = 1745 + -1730. Solve 7 = -l*k + 22 for k.
1
Let m(n) = -n + 14. Let j be m(-3). Let h(t) = -t**3 + 18*t**2 - 16*t - 11. Let f be h(j). Solve 3*r - f = 5*r for r.
-3
Suppose -t + 5 = -1. Solve 5 = t*f - 1 for f.
1
Suppose 10*i = 28*i - 11*i. Solve 9*u + i*u = 45 for u.
5
Let z(r) = -r + 2. Let t be z(0). Suppose -8*n = -3*n + t*l - 14, 13 = 4*n + l. Suppose 0 = 3*s, n*g + s = 20 + 8. Solve -g*p + 15 = -2*p for p.
3
Let h = 2 - 0. Let z(v) be the first derivative of v**3/3 - 3*v**2/2 + v + 8. Let n be z(3). Solve -x - n - h = 0 for x.
-3
Let y(r) = -r**3 - 6*r**2 - 2*r - 10. Let i be y(-6). Suppose -i*n + 8*n = 78. Let w = -8 + n. Solve p - w = -0 for p.
5
Suppose 10*l = 7*l. Suppose l + 0 = -3*m. Solve -2*s + 5*s + 9 = m for s.
-3
Let u(v) = -5*v**3 - 8*v**2 - 5*v + 2. Let r be u(-3). Let j = r - 80. Solve -3*i - 1 - 5 = j for i.
-2
Let r be -2*(-4 - 124/(-8)). Let n = 23 + r. Solve w + 1 + 4 = n for w.
-5
Suppose 5*n - 16 = -2*y, -5*y - 2 = -4*y. Solve 25 = -n*g + 9*g for g.
5
Let j(o) = o**3 - 4*o**2 - 4*o + 7. Let x be j(5). Suppose 4*n - 3*w - 12 = w, 2*n + x = -4*w. Solve n*g = -g - 1 for g.
-1
Let u(i) = i**3 - 3*i**2 - 2*i - 3. Let n be u(4). Suppose -4*d = c + 14 - n, 5*d + 14 = -c. Let t = 13 - c. Solve -t*s = -3*s + 5 for s.
5
Let b = 15 - 7. Suppose -l - 3*l + 20 = 0. Suppose l*p + 3 = 2*p - v, 15 = -5*v. Solve -4*h + 4 + b = p for h.
3
Suppose 16*a = 48*a - 416. Solve -a = -10*x - 3 for x.
1
Suppose -21*z = -15*z - 42. Solve 0 = -z*j + 1 + 6 for j.
1
Suppose 3*l + 5*z + 13 = 0, -5*z - 27 + 2 = 0. Let y(f) = 3 + 29 + 15 - 4 - 5*f. Let t be y(7). Solve 0*b = -l*b - t for b.
-2
Suppose -27 = -17*q + 7. Solve q*g = 6*g - 16 for g.
4
Suppose 9*a = -54 + 153. Solve -28 = 18*q - a*q for q.
-4
Let m(f) = f + 5. Let x be m(5). Let n be ((-4)/x)/(42/(-105)). Solve 1 = -j - n for j.
-2
Suppose -10*m = 5*m + 1035. Let y = -49 - m. Solve 0 = 9*i - 4*i - y for i.
4
Suppose 5*f - 80 = -y, -2*y - 65 = -4*f - f. Let j = 17 - f. Solve 0 = j*o + o for o.
0
Let d(h) = 11*h + 33. Let p be d(-3). Solve 6*y = 12 - p for y.
2
Let u be (0 - 0)/(((-10)/(-25))/((-2)/(-10))). Suppose 0*y + 4*a + 6 = y, 3*a + 3 = 0. Let c(r) = 5*r**2 - 4*r + 3. Let h be c(y). Solve -5*x + u = h for x.
-3
Let a be (22 - 21)/((-2)/(-34)). Suppose -i - 10 = -a. Suppose 23 = 3*b - i. Solve 0 = 3*u - 5*u - b for u.
-5
Let q be (-9)/2*(-4)/6. Let y be -3 - (-55 + 6/2). Suppose 5*i - y = -4*b, -5*b - 4*i + 3*i = -35. Solve -b*t = -q*t - 6 for t.
2
Let c(f) = f**2 + 5*f + 6. Let p be c(-4). Solve v + p = 6 for v.
4
Let r(s) = s**3 + 6*s**2 - 5*s + 6. Let k be r(-6). Suppose -9*z + 6*z + k = 0. Solve -2*g = g - z for g.
4
Let j(x) = -x**2 + 6*x + 13. Let l be j(7). Suppose -q - 5*g = -l - 4, -4 = -q - 2*g. Solve -3*y + 15 + 0 = q for y.
5
Let l be (-8)/(-28) + (-313)/(-7). Let z be 10/l - 4/18. Suppose 0 = 4*v - 14 + 6. Solve -j - v + z = 0 for j.
-2
Let j = -286 - -288. Solve 0 = 4*p + 6 - j for p.
-1
Suppose 0 = 24*h - 61*h + 74. Solve k - h = 3 for k.
5
Let t be (56/(-3))/(32/(-48)). Solve 23 - t = p for p.
-5
Let k be 16 + (0 - (-1 + -3)). Suppose 0 = y - 6 + 1. Solve w = y*w - k for w.
5
Let g(z) = 13 + z**2 + 6*z - 17 + z. Let p be g(-8). Let w be 0 + 1 + p + 5. Solve -w = -k + 6*k for k.
-2
Let u(s) = -2*s**2 + 3*s**2 + 0*s**2 - s. Let j be u(0). Let g = -210 - -215. Solve j*o = g*o - 25 for o.
5
Suppose -24 = -2*i + 4*y, -5*i + 0*y - 3*y + 21 = 0. Suppose 4*q = i*q - 12. Solve 0 = 3*f - 3 - q for f.
3
Let o = 95 - 15. Let s be ((o/28)/(6/21))/2. Solve -s*z = -z for z.
0
Suppose -294 = -13*d + 18. Solve 0 = 3*g - 9*g + d for g.
4
Let k = 2347 - 2342. Solve 17 = -6*m + k for m.
-2
Let s be (3 + -1)*(-9)/(-6). Suppose -5*z + 8*z + 4*n = z, 0 = -3*n. Solve -s*b + z*b - 15 = 0 for b.
-5
Let l(u) = u**3 + 6*u**2 + 3. Let b be l(-6). Suppose -82 = 5*m + 83. Let h = 39 + m. Solve -3 = b*d + h for d.
-3
Suppose 4*o + 5*h - 4 = 3, -h + 5 = 2*o. Let n(t) = -2*t + 68. Let u be n(33). Solve u*q = -o*q + 25 for q.
5
Let y(u) = -u**3 + 7*u**2 + 8*u + 7. Let l be y(8). Suppose -3*m = -l*m. Solve 4 = c - m*c for c.
4
Let h = 11 + -9. Suppose 2 = -h*c + 26. Solve -7*o + 3*o = -c for o.
3
Suppose j = 5*k + 45, 3*j - 5*k - 7 = 78. Suppose b = 5*b - j. Solve -b*h + 6 = -3*h for h.
3
Suppose 0 = 3*t + 12, -5*z - 3*t - 3 = -1. Let b be (-2 + 2)*(-20)/(-140). Solve -z*f + 7*f + 10 = b for f.
-2
Let q(x) = -26*x**2 + 16*x - 4. Let m(i) = -8*i**2 + 5*i - 1. Let h(u) = -10*m(u) + 3*q(u). Suppose s + 8 = 5*s. Let y be h(s). Solve 0 = -5*p + y*p for p.
0
Let g be (1 + (-55)/15)*(4 - 7). Solve 6*k = g*k - 6 for k.
3
Let g be 9*(-7 - 110/(-15)). Let a = -8 + 10. Solve -a*u = -13 + g for u.
5
Let m = -5 + 5. Suppose 36 = 5*g + 4*f + 4, m = 5*g - 3*f - 11. Solve 2*n - g*n = 8 for n.
-4
Let m be (1840/50)/((-2)/(-5)). Suppose -m = 6*a + 40. Let l = 42 + a. Solve -4*d + 0*d - l = 0 for d.
-5
Let r = -2114 - -2156. Solve -12*i - r = -18 for i.
-2
Let g = -64 - -66. Let b be (0/g)/(13 - 11). Solve -5*h + 15 + 5 = b for h.
4
Let v be 8 + -1 + 9*(-5)/15. Solve -10*b + v*b = -6 for b.
1
Let f = -546 + 555. Solve -f = 3*w + 3 for w.
-4
Suppose 0 = 10*r - 6*r - 52. Suppose r*s - 12*s = 5. Solve -s*a + 4*a = -5 for a.
5
Suppose 13 = c + 3. Suppose c = d - 0*d. Suppose 5*b = -0*b + d. Solve 0 = -b*f + f - 3 for f.
-3
Suppose -4*d = 5*p - 17, -4*d - p + 7 = -2*d. Solve 17*b + 70 = d*b for b.
-5
Let z be 52/(-260) + (-31)/(-5). Solve 1 + 29 = z*g for g.
5
Let d(g) = g**3 + 5*g**2 - 11*g - 30. Let t be d(-3). Solve 11*x - 34 - t = 0 for x.
5
Let c = -1375 - -1379. Solve -c = -2*a - 2*a for a.
1
Let x = 1533 - 1510. Solve -x*j + 28 = -9*j for j.
2
Suppose 6*a - 5*d - 30 = a, 5*d + 28 = 4*a. Solve -2*k + a + 6 = 0 for k.
4
Let o(c) = c**3 - 12*c**2 - 13*c + 7. Let a be o(13). Suppose a*p - 3*p = 0. Solve -5*j + j + 4 = p for j.
1
Suppose -t + z + 5 = -0*z, 3*t = -5*z - 25. Let x(y) = -5*y. Let r be x(t). Solve r = -0*o + 4*o - 12 for o.
3
Suppose -8*v + 0 + 16 = 0. Solve -y + v*y + 4 = 0 for y.
-4
Let q be ((-35)/21)/(1/3). Let w(j) = j + 9. Let x be w(q). Suppose 5*a + u + 4 = 0, x*a = -2*u - u - 12. Solve 7*k - 2*k = a for k.
0
Let n(k) = -k**3 + 6*k**2 + 6*k - 17. Let z be n(6). Solve -z*m - 40 = -9*m for m.
-4
Let m be (-5)/4*(-115)/(-15)*12. Let y = -112 - m. Solve b + 16 = -y*b for b.
-4
Let p = 19 + -18. Let k(y) = -1. Let x(a) = -a. Let d(z) = k(z) - x(z). Let n be d(3). Solve -n*b + p = 3 for b.
-1
Let y(k) = 20*k**3. Let w be y(1). Suppose -4*z + w = z. Solve h = 2*h + z for h.
-4
Suppose 0 = -2*x - 4*z - 24, 0 = 5*x - 0*x - 4*z + 88. Let p = x + 17. Solve p = -5*l + 6 for l.
1
Suppose -5*m - 4*u = -4*m, 5*u = 0. Solve m = y + y for y.
0
Let v = 42 + -58. Let d = v - -28. Solve 4*k + d = -4 for k.
-4
Suppose -n + 14*s = 9*s - 91, 4*n = s + 288. Solve 0 = -16*a + 7 - n for a.
-4
Let m be 5/(-4*2/(-8)). Let h(s) = -s**2 + 5*s + 4. Let o be h(m). Suppose -o = -2*g + g. Solve -2 = g*j + 14 for j.
-4
Let a(c) = c**2 + 2. Let g be a(0). Suppose 2*q = -r - 2*q + 24, -6 = r - g*q. Solve 28 = -r*m + 8 for m.
-5
Suppose -18*h = 26*h + 4*h. Solve -2*d + 0 + 2 = h for d.
1
Let j(x) = x**3 + 5*x**2 + 13*x + 68. Let h be j(-5). Solve h*q - 10 = q for q.
5
Suppose 0 = -24*l - 4*l - 36*l + 448. Let y be ((-4)/6)/(2/(-30)). Solve y = l*o - 2*o for o.
2
Suppose -3*a + 4 = -5*n + 8, -3*n - 2 = -4*a. Solve 0 = 7*f - 6*f - n for f.
2
Let w(s) = s**3 - s**2 + s. Let t(i) = -5*i**3 + 8*i**2 - 9*i + 1. Let p(g) = -t(g) - 4*w(g). Let m be p(2). Solve -q - m = -2*q for q.
1
Let q be 1 + (2 