 + m for j.
-1
Suppose -h + 2*h - 20 = 0. Solve 2*x = 7*x - h for x.
4
Let v(w) = -w**3 - 10*w**2 + w - 2. Let z be v(-10). Let u be z/(-3 - 0) - 2. Solve 5*k - 4*k = -u for k.
-2
Suppose 5*n - 3*a + 6*a + 12 = 0, -3*n - 4*a = 16. Solve k + k - 8 = n for k.
4
Let x(q) = 2*q + 3. Let y be x(2). Solve -4*l - y + 3 = 0 for l.
-1
Suppose -4*h - 10 - 2 = -2*p, p = -5*h - 15. Suppose p = -3*s - 0*s + 24. Solve 5*x - 23 = -s for x.
3
Let z = 12 + -8. Suppose -m + 1 = -z. Solve 0 = m*u + 5 - 20 for u.
3
Let r be (-6)/(-9) + 2/(-3). Suppose 3*v - 15 = -r*v. Solve v*s = -4 - 1 for s.
-1
Let h(v) = 2*v**2 + 3*v - 3. Let i = 8 + -11. Let a be h(i). Let r = 60 + -35. Solve y = a*y + r for y.
-5
Suppose 23 = 8*m - 1. Solve 2*l - 5*l = -m for l.
1
Let o be 8/(-14)*(-14)/4. Let w = 14 - o. Solve 2*c = -c - w for c.
-4
Let n = -12 - -12. Solve n*w - 12 = -3*w for w.
4
Suppose 2*g = -2*g + 36. Let r = g - 6. Solve -3*v + 6*v + r = 0 for v.
-1
Let s = -5 - -10. Solve 5 = -2*l - s for l.
-5
Let t = 7 + -6. Let w = t - -1. Suppose -10 = -w*o - 0*o, -3*b + 5*o = 19. Solve b*u + 2*u - 8 = 0 for u.
2
Let h be (-7 - -7) + (-1 - -1). Solve 5*l + 0*l = h for l.
0
Let q = -8 - -9. Solve 3*o - q = -13 for o.
-4
Let s = 4 - 0. Suppose -2*x + s = -0*x. Solve x*c = -0*c - 8 for c.
-4
Suppose 14*u = 9*u + 15. Solve 0*h + 15 = -u*h for h.
-5
Suppose -2*r = -5*r + 6. Let x be 1/((-6)/(-74)) - (-12)/(-36). Solve x = r*k + 2*k for k.
3
Let l(f) = -f**2 + 5*f + 2. Let t be l(5). Let m = 88 + -85. Solve -r = t*r + m for r.
-1
Suppose -r = -0*r - 2. Solve 12 = -r*z - z for z.
-4
Let t be (-6)/(-4) + -5*6/(-60). Solve -3*y + 4 = -t*y for y.
4
Let m = -33 + 36. Let y(c) = c**3 - c**2 + 4. Let b be y(0). Solve -3 = m*i - b*i for i.
3
Let m be 3 + -4 + 5 + 11. Solve 10 = -5*b - m for b.
-5
Let z be 14/2 - (0 - 2). Let d be (-1 - -4)*6/(-9). Let f be (-2)/3*z/d. Solve w - f = -6 for w.
-3
Let q = -25 - -29. Solve -4 - 4 = q*h for h.
-2
Let k be 16/7 - 4/14. Let m(g) be the first derivative of g**4/2 - 2*g**3/3 - g**2 + 2*g + 1. Let w be m(2). Solve 2*a - k = -w for a.
-2
Let v(o) = o - 3. Let z be v(10). Let u be (-6)/21 - (-30)/z. Solve u = -h - h for h.
-2
Let t be 0/((-2)/(-4)*-4). Solve -2*h - 5 - 1 = t for h.
-3
Let g be -1*(-6 + 6/2). Suppose 18 = 3*i + 3. Solve -i*n = -6*n - g for n.
-3
Suppose -3*z + 5 = 20, 0 = 3*r + 5*z - 29. Suppose -g - 2*g = -r. Solve 3*y = 3 - g for y.
-1
Let j be (62 - 64) + (3 - (2 - 1)). Suppose -2*u + 5 - 3 = -3*m, -m + 14 = 3*u. Solve m*c + 0 + 2 = j for c.
-1
Let c(t) = 8*t**2 - t**2 - t + t**3 + t. Let i be c(-7). Solve i = 4*p + 10 + 2 for p.
-3
Let v = 4 + 6. Suppose -6*c = -5*c - 10. Solve 4*q = -v - c for q.
-5
Suppose 5*c - 4 = -2*d + 2, -8 = 4*c. Suppose 0 = 15*y - 8*y - 14. Solve 0 = y*j + d for j.
-4
Let s be (3/(3/8))/2. Suppose 8*t - s*t = 0. Solve t*r + 2 = -2*r for r.
-1
Let y = 14 + -13. Solve 2*r + y = -5 for r.
-3
Suppose -4*v = -9 - 3. Let y be (44/v)/((-8)/(-12)). Solve 0 = -3*l + y - 10 for l.
4
Let g(b) = -2*b - 2. Let i(x) = x - 5. Let s be i(7). Suppose 4*k = s*k - 4. Let a be g(k). Solve 2*v = -a*v - 4 for v.
-1
Let h(j) = j**3 + 7*j**2 - j - 7. Suppose 5*a - 2 = t + 4*a, a = -t - 12. Let g be h(t). Suppose 2*y = 3*y - 25. Solve -5*m + y = -g*m for m.
5
Let d(k) = -k**3 - 7*k**2 + 4*k - 15. Let v be d(-8). Solve 4*a = 1 - v for a.
-4
Let c = 43 - 38. Solve -3*p = -4*p + c for p.
5
Let b(g) = g**2 + 6*g + 5. Let w be b(-6). Suppose -5 = -2*o + w. Solve 1 - 6 = o*y for y.
-1
Let c(l) = l**3 + l - 2. Let n be c(2). Let g = n - 5. Solve 4*i = g*i - 1 for i.
-1
Suppose -2*c = -2*s + 10, 4*c + 5*s + 5 + 6 = 0. Let b be (15/12 - 2)*c. Solve m + b*m - 4 = 0 for m.
1
Let x(w) = 6*w**2 - w - 1. Let j be x(-1). Suppose 16 = 5*c + j*f - 2*f, 4*c - 2*f = 18. Solve 1 = -c*v + 17 for v.
4
Let d(s) = 2*s**2 + 2*s + 5. Let t(n) = -2*n**2 - n - 4. Let q(j) = -5*d(j) - 6*t(j). Let w be q(4). Solve -2*i = -5*i - w for i.
-5
Let h(s) = 6*s**3 + 4*s**2 - 3*s - 1. Let c be h(1). Let k(y) = 4*y + 1. Let q be k(1). Let z be (-210)/(-8) - (-1)/(-4). Solve z = q*x + c for x.
4
Suppose -5 = -2*c - 17. Let u = 11 + c. Let g = 10 - 7. Solve u*s + 2 = -g for s.
-1
Let i(l) = l**2 - 4*l. Let s be i(6). Suppose 8*o - s = 4*o. Solve -2*j - o = 5 for j.
-4
Suppose 3 = 3*l - 3*q - 3, 18 = 3*l + 3*q. Solve l*m + 13 = -7 for m.
-5
Let w be (-2)/2 + 9 - 2. Let m(t) = -t**3 - 5*t**2 - 4*t + 2. Let x be m(-4). Let h be x/4*(-9 + 9). Solve 3*c - 5*c - w = h for c.
-3
Suppose 2*s - 3*a = 16, -2*s = 3*a - 7 + 15. Let v be -3*(s + 33/(-9)). Solve 0 = m - 0 - v for m.
5
Let x = -9 - -13. Solve a + x*a + 25 = 0 for a.
-5
Let p be ((-1)/(-3) + -2)*-3. Suppose p*i - 3*i = 6. Suppose -z = -3 - 6. Solve i*u - 6 = z for u.
5
Let l(q) = -q**3 + 11*q**2 - 10*q + 2. Let m be l(10). Suppose -5*p + m = -b, -p + 0*p + 10 = 3*b. Solve -p = x - 2*x for x.
1
Let p be (-8)/6*-6 + -4. Solve 6*d = p*d - 4 for d.
-2
Let y = 14 + -8. Solve 3*w + 0 = -y for w.
-2
Let s be (2 + (-45 - -2))*1. Let m = -16 - s. Suppose -5*h = m, 5*n - 2*h = 2*h + 25. Solve 0 = 4*l + 5 - n for l.
-1
Let l be (-3 + 21/15)/(6/(-15)). Solve q - 5 = -l*q for q.
1
Suppose t - 6 = -4*s + 27, 4*s + 2*t = 30. Let u(v) = 7 + v + 0 - 3. Let b be u(0). Solve b*n = n + s for n.
3
Let u(z) = -z**3 - 6*z**2 - 2*z - 8. Let q be u(-6). Solve -q = 4*c - 0 for c.
-1
Let k(u) = -2*u**3 - 15*u**2 - 9*u - 14. Let w be k(-7). Solve 2*j + 4 = -w for j.
-2
Let f(v) be the second derivative of -v**4/6 + v**3/3 + v**2 - v. Let w(h) be the first derivative of f(h). Let n be w(-2). Solve 5*r + n - 25 = 0 for r.
3
Let o(b) = b**3 + 7*b**2 + 4*b - 8. Let d be o(-6). Suppose d*u - 32 = -0*u. Solve -x + u = 4 for x.
4
Let d = 4 + -14. Let w be 4/d - 10/(-25). Solve w = l - 3*l - 2 for l.
-1
Let a(t) = t**3 - 2*t**2 + 2*t - 3. Let q be (4 - (-1 - 0)) + 3. Suppose 6*j = 10*j - q. Let z be a(j). Solve -z = d + 1 for d.
-2
Suppose 0 = 4*s + 4*v - 20, 0*v = -4*s + 4*v + 28. Solve s*h - h = 0 for h.
0
Let d(h) = -h. Let y be (-6)/(-9) + 2/(-3). Let l be d(y). Solve -4*m - 10 - 10 = l for m.
-5
Let g = -2 - -4. Let b(r) = 2 + r**g - 6*r + 4*r - 5. Let d be b(4). Solve d*q - 5 = -0*q for q.
1
Suppose 0 = 3*z - 7*z + 28. Let u = z + -2. Solve u*c - 4*c + 4 = 0 for c.
-4
Let k be -1*(-4 + 1)*1. Let i be (1 - (1 - 0))/(-2). Solve i*q = -k*q for q.
0
Let q(r) = -7*r**2 - r - 2. Let i be q(-1). Let u(o) = o + 13. Let t be u(i). Solve t*c + 4 = -1 for c.
-1
Suppose 4*l - 5*w = 67, l - 16 = -3*w + 22. Suppose 0*b - l = -b. Solve 0 = 3*g + b - 8 for g.
-5
Let p(r) = -r**3 - 5*r**2 + 6*r + 4. Let f be p(-6). Suppose -f*u + 0 = -12. Let x be -1 + -1 + 2 + 5. Solve u*h - x = 4 for h.
3
Let j(p) = -2*p - 5. Let h = -8 - -3. Let k be j(h). Let f = 5 - 3. Solve f*m + 5 = -k for m.
-5
Let t = -7 - -1. Let j = -1 - t. Suppose 4*i - 2*k + 5 = 31, j*i = -4*k. Solve i*d + 0*d - 20 = 0 for d.
5
Suppose -4*n = 8*n - 24. Solve -p + n*p + 1 = 0 for p.
-1
Let a(z) = z**3 + z**2 - 2*z - 2. Let u be a(-1). Suppose w - 5 = -q - u*q, 2*w = 3*q - 5. Solve 7 = q*h - 2 for h.
3
Let g be (-3 - -6) + 7*1. Suppose -5*c + g = -10. Solve c*h + 5 = -11 for h.
-4
Let r be (2/(-2) - -2) + 14. Suppose 3*h - 20 = -2*h. Suppose 3*q + 12 = 12. Solve h*d - d + r = q for d.
-5
Let s(m) = -m + 10. Let r be s(10). Let z be 0 + (r - (-60)/3). Solve 7*n = 2*n - z for n.
-4
Let o(i) = 2*i**2 + 2*i - 2. Let h be o(-2). Let w = 4 - h. Solve -5 = -w*x + x for x.
5
Suppose 6 = -n + 4*n + 3*z, -n + 5*z = -2. Let x be 6/6*0/n. Solve -2*s - 1 + 7 = x for s.
3
Let c(k) = -2*k - 17. Let r be c(-9). Solve -2 = q + r for q.
-3
Let w = -7 + 33. Let h = w + -26. Solve h = -2*p - p for p.
0
Suppose -4*p = p - 30. Let s = p - 4. Let j = 5 + -3. Solve j*h + 20 = -s*h for h.
-5
Let z(p) = 6*p - 1. Suppose 5 = 5*o - 0*o. Let f be z(o). Solve -f*m = -8 + 28 for m.
-4
Suppose 0 = 5*v + b - 16, -2*v + 3*b - 2*b + 12 = 0. Suppose -d + 2*i = v*i + 3, -3*i - 12 = 0. Solve k - d = 6*k for k.
-1
Let p(o) = -o**3 + 5*o**2 + o + 4. Suppose 3*x - 9 = 6. Let t be p(x). Solve 0*q - t = 3*q for q.
-3
Let w be -6*(-2)/(1*4). Let d = 6 + -2. Solve -d = -y - w for y.
1
Suppose -3*a - 10 = -8*a. Let w(i) = -i. Let y be w(-2). Let l(f) = f**3 + 1. Let v be l(y). Solve -a*p = -5*p - v for p.
-3
Suppose -3*c + 3*r + 34 = -2*r, 0 = -5*c 