= 3*j + g + 10 for j.
-5
Let x be (7 - 5)/(3/15). Solve -3*o - x = -4 for o.
-2
Let w(a) = -a**3 - a + 18. Let k be w(0). Let d = k + -12. Suppose 2*b - 2*l = 6, -3*b - d = -l - 19. Solve b = -4*h - 15 for h.
-5
Let r(i) = i. Let s be r(5). Solve -s*q = 12 - 2 for q.
-2
Let g be (1 + -3)/((-4)/6). Let b be (-8)/6*(0 - g). Let m = 13 + -11. Solve -b*t + m*t = 2 for t.
-1
Let b be 24 + (2 - (3 - -2)). Let f = b - 21. Solve 1 = -f*y + y for y.
1
Suppose 5*j = 4*h + 7, 0*h = 4*h + 3*j - 17. Solve -2*d = -d + h for d.
-2
Suppose 0 = -4*y - 0*y + 3*d + 28, 21 = 3*y + 5*d. Solve 0 = y*z - 2*z for z.
0
Let l(c) = 12*c + 2. Let g be l(2). Let y be (3/3)/(2/g). Let d = y + -8. Solve d*a - 2 = -7 for a.
-1
Let x(p) = -p**3 + 5*p**2 + 7*p - 4. Let n be x(6). Let c be (-24)/(-15) - n/(-5). Solve c*a - 7*a - 5 = 0 for a.
-1
Let k(l) = -l**2 - 14*l. Suppose 4*r = 2*p - 54, -4*r = -0*r + p + 57. Let q be k(r). Solve 2*d - 7*d - 25 = q for d.
-5
Let r(t) = 9*t**3 - t**2 + t - 1. Let u = 4 + -3. Let f be r(u). Solve -f = 5*j - j for j.
-2
Let w(r) = -r**2 + 9*r - 6. Let o(b) = -6*b**2 + 44*b - 30. Let y(i) = 2*o(i) - 11*w(i). Let p be y(-11). Solve 4*k - 2 = -p for k.
-1
Suppose -24 = -2*w - 2*w. Let m = -6 + w. Suppose 4 = -z - 3*u, m = 2*z + 3*u - u. Solve z*f = -3*f + 10 for f.
2
Suppose h + 2*m = 5, -h + 12 = 3*h + 4*m. Suppose x - 10 = -3*a, -4*x = -3*a + 7 + 13. Let g be h/2 - a/8. Solve g*f - f = 4 for f.
-4
Let q(l) = -11 + l**3 + 8*l**2 - 2*l - 9*l + 0*l. Suppose 6*x = 9*x + 27. Let h be q(x). Solve -3*w + h*w = 20 for w.
5
Suppose -6*k + k = 0. Suppose 0*c + 2*c - 10 = k. Solve c*d - 14 = 1 for d.
3
Let f(t) = t + 15. Let s be f(-15). Solve s*u + 4*u = -8 for u.
-2
Let p(s) = -s - 7. Let m be (0 + -3)/(1/3). Let n be p(m). Suppose -2*j = -0*j - n. Solve j = 4*a - 3 for a.
1
Suppose 5 = 9*n - 31. Solve m = 2 - n for m.
-2
Suppose 0 = 4*u - u - 15. Suppose 0*c - c + 2 = -2*q, 11 = -u*q + 4*c. Let t = -11 + 16. Solve -q + t = -4*x for x.
-1
Let v = 3 + 19. Suppose -4*b = -16, t + b = 3*b - 8. Solve -5*s + v - 2 = t for s.
4
Let r be ((-9)/2)/((-6)/8). Suppose -7 = a - r*h + 3*h, 0 = 5*a + 5*h - 45. Solve 5*l - a + 0 = 0 for l.
1
Let t = 6 - 2. Suppose p - 5*s + 0 - 5 = 0, -t = 4*s. Let o = 5 - 3. Solve p = -h + o*h - 2 for h.
2
Suppose -3*h + 7 = -2*t + 2*h, 2 = -2*h. Let u be 20/t*12/(-8). Solve u*p + 10 = -5 for p.
-3
Let u(a) = -a**3 - 8*a**2 - 7*a + 5. Let t be u(-7). Suppose 2 = -y + t. Suppose -18 = -y*p - d, p - 18 = -2*p + 5*d. Solve 0 = -p*x + 3*x + 6 for x.
2
Suppose 0 = -b + 4 - 6. Let q be 2 - 2/b - 1. Solve x + q + 1 = 0 for x.
-3
Let j = 1 + -1. Let u be (-3)/(-2)*(-8)/(-3). Suppose 0*g + g = 4*l - 12, -l = -u*g + 12. Solve j = 4*x - 4 - g for x.
2
Let j = 32 - 29. Suppose j*h + 11 = 17. Solve 2*p + 4 = -h for p.
-3
Let t(v) = -v**3 + 6*v**2 - 3*v - 6. Suppose -2*c - 11 = -3*o, 3*o = 8*o + 5*c - 35. Let y be t(o). Solve -y*i + 2 = -10 for i.
3
Let p = 15 + -12. Solve p*w + 10 = -2*w for w.
-2
Let i(z) = 4*z**2 - 2*z + 1. Let v be i(1). Solve v*y - 18 = -6 for y.
4
Let s be -2*(36/(-8) + 2). Suppose s*b - 2*b = 21. Solve 3*r + 5 = -b for r.
-4
Let t be 28/8 - 4/8. Solve -t*d + 2 = -5*d for d.
-1
Suppose -3*j = -0*j - 54. Let l = 27 - j. Let q(i) = -i + 9. Let s be q(l). Solve s*w - 12 = 3*w for w.
-4
Let n = 32 + -29. Solve -5 = -n*l + 4 for l.
3
Let t = -16 - -18. Suppose 2*x - 16 = -t*x. Solve -x = -u - u for u.
2
Let x = -7 - -11. Suppose -x*y = -2*g - 10, -2*y + 4 = -5*g + 11. Solve 0 = -y*s + 16 - 4 for s.
3
Let c be (-1 + 2 + -1)*1. Suppose -r = -3*a + 3*r + 9, -a = 3*r - 3. Let t(f) = -f**3 + 4*f**2 - f. Let s be t(2). Solve c*z - s = -a*z for z.
2
Suppose -7*m = -3*m. Solve m = g + 3*g + 8 for g.
-2
Let n be (-456)/(-84) - 3/7. Solve -n*g + 3 = -2*g for g.
1
Let a be (1/2)/((-9)/(-18)). Let u = a + 3. Solve -u*h - 14 = 6 for h.
-5
Suppose v = 4*v - 6. Let y(x) = 0*x**2 + x**v - 2 + 7*x - 2*x**2. Let l be y(6). Solve l + 1 = 5*i for i.
1
Let r(o) = 5*o**2 + o. Let d be r(-1). Solve -7*a = -6*a + d for a.
-4
Let m be -8*((-5)/2 - 0). Solve 3*f = -f + m for f.
5
Suppose -32 = -5*z - 7. Suppose -z*o + 10*o = 80. Solve -5*k - o = -6 for k.
-2
Let n = -2 + 1. Let i be 5/5*(n + 1). Suppose 2*t - 4*z - 14 = 0, i*t + t = -4*z - 11. Solve -2*h + 3*h + t = 0 for h.
-1
Let k be (-24)/(-40) - (-7)/5. Solve y + 0*y = k for y.
2
Let h = 17 - 11. Solve h*u + 25 = u for u.
-5
Let t = -39 + 82. Suppose 0 = 5*j - t + 13. Solve 0 = -4*s + s - j for s.
-2
Let o = -5 + 14. Suppose o = q + n, -38 = -4*q - n - 14. Solve -2*m = q - 3 for m.
-1
Let m be -3 + -3 + -2*1. Let u = m - -16. Suppose 2*s + u = p, 3*p - 5*s - 8 = 2*p. Solve -5*f + 7 = -p for f.
3
Let o(l) = -l - 3. Let z be 3*((-15)/9 - -2). Let a = -4 - z. Let b be o(a). Solve 0 = s - b + 7 for s.
-5
Let g be (-2)/5 - (-54)/(-15). Let k be (-1)/(-1) - (-1 + g). Solve k + 0 = 2*b for b.
3
Suppose 3*q + 4 = 5*q. Let b(p) = -2*p - 3. Let d be b(-4). Suppose -d*l = 11 - 71. Solve -2*c - l = q*c for c.
-3
Let k = 31 + -28. Solve -3*f + 12 - k = 0 for f.
3
Let y = 39 - 27. Let w be 4/y*(-1 - -10). Solve t = -w*t - 8 for t.
-2
Suppose o + 2*n + 7 = 0, 3*o = 3*n - 1 + 25. Let l(g) = g**3 - g**2 + 4. Let c be l(0). Suppose 4*j + d = 6*d + 5, 0 = -c*j + 3*d + 11. Solve 4*z - j = o for z.
2
Let g(z) = -10*z**2 + 1. Let f be g(1). Let d = 11 + f. Solve -7*o = -d*o - 20 for o.
4
Let l(u) = -5 + 0 - u + 3. Let y be l(-6). Suppose 6 + 2 = -y*d + 5*p, -4*d - p = -16. Solve -7*r + d*r = 0 for r.
0
Let y be (-3 - -3 - 2) + 4. Solve 4*d + y = -2 for d.
-1
Suppose -2*f - 13 = 4*n + 3*f, 0 = -2*f - 10. Solve -n*q = 8 + 4 for q.
-4
Let p = -5 + 11. Solve 4 - p = o for o.
-2
Let d(x) = -x**2 - 10*x + 2. Let q be d(-10). Let c be (0/(-6))/(q + -1). Solve 4*u + c = -4 for u.
-1
Let y = 62 - 37. Let w(s) = s**2 - 5*s. Suppose -q = l - 8, q - 2*l + 0*l = -1. Let v be w(q). Solve 5*h + v*h = -y for h.
-5
Let v = -6 + 8. Suppose y - 3*w = -4*w + 3, w = 2*y + 3. Solve v*g + g = y for g.
0
Let f be ((-2)/(-6))/(3/36). Suppose -f*q - 3 + 11 = 0. Solve -q = -n - n for n.
1
Suppose -2*z + z = 3*n - 12, -n = 4*z - 59. Solve -3*i - z = -6*i for i.
5
Let b be ((-4)/8)/((-2)/(-8)). Let q be (b + 4 - 3)*0. Solve -5 = -j - q for j.
5
Let q be (-3 - (1 + -3)) + 1. Solve q = -2*j + 3*j + 4 for j.
-4
Let a(c) = -c**2 - 6*c + 6. Let q be a(-6). Suppose -2*x + 24 = 4*k, -x - 28 = -q*x - 2*k. Solve 0 = -s - x + 6 for s.
2
Let s = -61 + 63. Solve 7 - 1 = -s*q for q.
-3
Let p be 4/(6/3 - 3). Let y(d) = -d**2 - 4*d + 2. Let o be y(p). Solve 0 - o = -s for s.
2
Let b be ((-2)/3)/((-3)/18). Suppose g - 4*x - 16 = 0, -b*x - 3 = 3*g + 13. Let u be (-2)/(-2) + -3 + 3. Solve 3*y - 8 - u = g for y.
3
Let h(i) = -i**3 + 5*i**2 + i - 5. Let y be h(5). Let u = 22 - y. Suppose m = -m + u. Solve 3*d - 5 = -m for d.
-2
Suppose 1 - 201 = -5*q. Let x be 4/(-10) + 376/q. Solve -x = -5*b - 4 for b.
1
Suppose -5 - 7 = -4*a. Suppose -3*c + 4 = -x, 3*c = 3*x + 4*c - 8. Let s be x/(-6)*(4 - 4). Solve a = -s*l + l for l.
3
Suppose 2*v + 16 = -j, -v - 3*j = 3*v + 32. Let a(w) = -w**3 - 8*w**2 + 8. Let q be a(v). Solve -2*b + q = -0*b for b.
4
Suppose -2 = 2*a - 3*a + 4*r, r + 1 = 0. Let m = 0 - a. Let c be 2 + -4 - (-4)/m. Solve -2*u + u = c for u.
0
Suppose -j + 3*j = 0. Let c(m) = -m + 5. Let q be c(j). Solve q*h = h for h.
0
Let c = 7 - 7. Solve -6 = 2*o - c for o.
-3
Let j be -5*4/30*3. Let s = j - -8. Let b = s - 4. Solve 1 - b = -z for z.
1
Let d = 7 - -3. Solve 2*g - d = 4*g for g.
-5
Let y(b) = -b**2 - 5*b - 4. Let q be y(-4). Let k be (-11)/(-4) - (-3)/(-4). Solve k*m + m - 15 = q for m.
5
Suppose -2*m = -10 - 6. Let x(s) be the first derivative of s**3/3 + 2*s**2 - s + 1. Let q be x(-5). Solve 3*i = -q - m for i.
-4
Let g be (-168)/44 - 2/11. Let j = -1 - g. Let n = -165 + 168. Solve -j*o - n = -9 for o.
2
Let y(o) = -o**3 - 7*o**2 - 4*o + 7. Let v be y(-6). Let p(g) = -g - 4. Let d be p(v). Solve 5*h = 6 - d for h.
1
Suppose 0*c + 5*r - 56 = -3*c, -c + 4*r = 4. Let j be ((-4)/c)/((-1)/3). Solve -4*p - j = -9 for p.
2
Suppose o + 5*l = 5, 2*l - 3 = -2*o - l. Suppose o = -0*s - 2*s + 6. Solve s*m - 7*m = -4 for m.
1
Suppose 2*r - 4 = 6, 0 = -2*g + 5*r - 25. Solve -4*n + 5*n + 4 = g for n.
-4
Let h be (0*3/12)/2. Solve h*z + 25 = 5*z for z.
5
Suppose -3*i =