*j - 6*m for j.
1
Let t(r) = -r**2 + 5*r - 2. Let x be t(2). Let g be (-5)/10 + 26/x. Solve 0 = -2*k + 4, k = 4*a - 0*k - g for a.
2
Let g(y) = -22*y - 16. Let z be g(-2). Solve b = -5*j + 2*j + 5, 4*b - 4*j = -z for b.
-4
Let n(z) = z**3 + 18*z**2 + 15*z - 31. Let k be n(-17). Solve -4*m - 8*x + 3*x - 41 = 0, -x = -2*m - k for m.
-4
Let c = -257 + 260. Solve -c*w + 2*w + 5*x + 10 = 0, 3*w = -4*x - 8 for w.
0
Let f = 12 + -15. Let p be 12 + f - (-4)/(-2). Solve -p = -4*h + x, 5*h + x - 2*x = 9 for h.
2
Let o(t) = t**2 - 10*t + 13. Let l(h) = h**2 - 10*h + 12. Let f(w) = -4*l(w) + 3*o(w). Let i be f(9). Solve -4*a + i = x + 4, -3*a = x + 3 for a.
-1
Let a be (-6)/(-33) - (-371)/77. Suppose 9 = -q + 4*l, 7*l - 3*l = -5*q + 27. Solve a*i + w = -3, 15 = q*i + 2*i - 5*w for i.
0
Suppose 6*i - 9*i - 9 = 0. Let n = 15 + i. Suppose 5*j = j + n. Solve -3*f + 4*g = -8, g - 8 = j*f - 1 for f.
-4
Let o be (-1 - 0)*(-2 + 0). Let n be o/(-11) + 57/11. Let v be 3/((-9)/(-12))*3/6. Solve -5*k = -4*c - 41, n*c - 8 = v*c - 4*k for c.
-4
Let q be (5/(-20))/(5/(-80)). Solve -y = b - 9, 10 = q*b - 2*b for y.
4
Let z = 29 + -20. Let h = 24 - z. Solve -3*j - h = 2*d, 9*d - j = 4*d + 5 for d.
0
Suppose 5*s = -3*o, -o = 5*s - 7*s. Solve -t = -o*t + 5*b + 3, -2*t + b = 6 for t.
-3
Let d(z) = -z**3 - 4*z**2 + z + 4. Let p be d(-3). Let w = 10 + p. Solve -5*i + 1 - 4 = -w*n, n + 3*i + 4 = 0 for n.
-1
Let y(g) = g**2 + 10*g. Let j be y(-11). Let h = 1 + j. Solve 4*w = 2*d - h, w - 6 = 3*w for d.
0
Let l(n) = -3*n - 9. Let x be l(-4). Suppose 8 = x*y - y. Solve -y*p - 4 = -a - a, 4*p = 0 for a.
2
Suppose -2 = 4*t - 10. Let a be 3 + ((-6)/t - -1). Suppose -5*y + 12 - 2 = 0. Solve y*h + 1 = 3*k, -h - 3*h + a = -3*k for h.
1
Let h be 13 - 8/(-4)*-4. Solve g - 2*z + 4 = -2*g, 4*g - 3*z + h = 0 for g.
-2
Suppose 4 = -2*z, 0*z - z - 2 = -t. Suppose 0 = 2*x + 10, 4*d - 2*x = -3*x + 3. Let s be 4 + 5/((-25)/(-10)). Solve -5*r = -t*a - a + 3, -2*a - d*r = -s for a.
3
Let p be 3/(-9) + (-48)/(-9). Suppose 5*u - 5*r + 1 = -4*r, -u + p = 5*r. Solve 22 = 5*v - h, u = -v - v + 5*h - 5 for v.
5
Let j(u) = u. Let z be j(4). Let f(m) be the first derivative of 2*m**3/3 - 3*m**2 - 5*m + 14. Let d be f(z). Solve -d*q + 20 = 2*k, 0 = -4*q + 15 + 1 for k.
4
Let y be 148/(-185) - (-58)/10. Solve -h = -2*n + y, -25 = 5*h - 2*n - 2*n for h.
-5
Let s(z) = z**2 + 14*z - 525. Let y be s(17). Let g(q) = 2*q - 6. Let d be g(4). Let a = d - -2. Solve 2*k + o = -8, -2*k + 0*o + a*o + y = 0 for k.
-3
Suppose -i + 10 = -12. Let m(q) = -2*q + 4. Let l be m(7). Let o = 15 + l. Solve -o*h - 3*v = v - i, -2*v + 6 = 0 for h.
2
Let v = -9 - -19. Let x = v + -22. Let g = -12 - x. Solve 3*t + 15 = 3*j, g*t + 7 = 3*j + t for j.
3
Let d(x) = -35 + 198*x**2 + 11 - 199*x**2 + 13*x. Let k be d(10). Solve p - 3*p = -5*m - k, -p + 3 = -4*m for m.
0
Suppose -7*g - 4*z + 14 = -8*g, 0 = 2*g + z - 17. Solve 0 = 4*m - 5*x - g, 4 = 2*m - 0*m - 2*x for m.
4
Let i be (-2)/(-5) - 12/30. Suppose -2*r + 5*r = i. Suppose 2*g = -2*x - 0*g, r = 4*x + 3*g - 3. Solve -3*w = -2*y + 16, -2*w - 15 = x*w - y for w.
-2
Let m(l) be the second derivative of l**3/2 + 4*l. Let i be m(0). Solve 5 = 5*b - 2*u - 2*u, i = -b - u + 10 for b.
5
Let a be (-748)/(-85)*(-5)/(-2). Solve 3*s + 5*x + a = 0, 0 = 2*x - x + 2 for s.
-4
Suppose 12*o = -82 + 118. Solve 4*d - 15 = o*p, -2*p = -3*p + 2*d - 5 for p.
-5
Let o(i) = -i**3 + 8*i**2 + 3. Let k = -20 - -28. Let d be o(k). Solve d*l + 2*z + 0*z = -7, 3*l + 4*z + 17 = 0 for l.
1
Suppose 0 = 7*s - 435 + 407. Solve a - 3 = -3*l - 4*a, s*a = 0 for l.
1
Let w(i) = 6*i - 40. Let x = 46 + -39. Let n be w(x). Solve -t - 2*t + 12 = 3*v, -n*t + 3*v + 3 = 0 for t.
3
Suppose -2*q = 4*q - 864. Let j be (3 + (-10)/4)/(3/q). Suppose -5*l + 16 + 17 = 4*o, -30 = -2*l + 4*o. Solve 5*t = -b + j, -4*t + l = -7 for b.
4
Let w(x) = x**2 + 3*x + 6. Let d be w(-3). Let y = 4 - d. Let h = 7 + y. Solve 5*r = -h*n + 40, n - 2*r + 1 = -2*n for n.
3
Let i(g) = -g**3 - 50*g**2 + 57*g + 330. Let v be i(-51). Solve 5*j + v = 2*s, 2*j + 0*s + 14 = 3*s for j.
-4
Suppose u + 0*p = 3*p + 47, 0 = -3*u - 3*p + 81. Let w = u + -25. Solve -h + 22 = 5*x + 2, h = 4*x - w for h.
5
Suppose -15 = -4*w + 13. Suppose -2*u - 5*f + w = -6*f, -u = 2*f + 4. Solve 3*r + 6 = -3*h - 12, 6 = h - u*r for h.
-2
Let a(s) = s**3 + 10*s**2 + 20*s + 36. Let d be a(-8). Solve 4*y - p = 12, -2*y + d = -3*p - 2 for y.
3
Suppose -3*n + 6*n - 15 = 0. Suppose 0 = n*g - 15. Solve 2*r - 13 = -r + 2*s, 2*r - g*s = 17 for r.
1
Let b be 1/(-2)*-50*(1 + 0). Solve -6*p + b = -p + 4*x, 4*p + x - 9 = 0 for p.
1
Let z(t) = -17*t + 106. Let j be z(6). Solve 2*p - 4*b + 13 = 1, 2*b = j*p for p.
2
Let h(z) = 4*z + 33. Let o be h(-15). Let r = -25 - o. Solve -r*y + 2 = -2*j, -1 - 2 = 5*j - 4*y for j.
1
Suppose -14 - 1 = -3*h. Solve 2*x + q + h = 0, -2*q - 7 = -5*x - 33 for x.
-4
Let f(y) = y**2 - y + 16. Let h be f(0). Suppose 0 = -0*v + 2*v - 3*d + 26, v - 3*d + h = 0. Let l = v - -15. Solve -5*i = 5*q - l, 3*i = -q - 3 - 4 for q.
5
Let y = -1390 + 1407. Solve -p = -15*k + y*k + 12, 4*k - 4 = 5*p for p.
-4
Suppose -4*q + 108 = -232. Let p = -79 + q. Solve -s + u = -p*s, -3*u = -3*s for s.
0
Let i(q) = q**2 - 58*q + 316. Let t be i(52). Solve t*w - 3*b = -20 - 1, -3 = -b for w.
-3
Let m(s) = -s**2 - 7*s + 3. Let z be m(-11). Let h = -36 - z. Solve -3*i + 5 = 2*c - 4*c, h*i - 8 = 3*c for i.
1
Let s(g) = -10*g - 98. Let x be s(-10). Solve -y + 8 = 3*t, 3*y - x*t = t for y.
2
Let b(r) = r**3 + 7*r**2 + 3*r - 12. Let w be b(-6). Let y(k) = -k**2 + 2*k + 24. Let g be y(w). Solve 2*i = i + 3*a, g = -5*a + 5 for i.
3
Suppose 3*z + 6 = 0, -4*k - 4*z = -3*z - 22. Solve 2*h - 2*g = k, -2*h + g + 0 = -1 for h.
-2
Let s(g) be the first derivative of -g**4/4 + 2*g**3 + g**2 - 10*g + 19. Let r be s(6). Solve a - 4 = 2*d + 6*a, 0 = r*d - 3*a + 4 for d.
-2
Let a(c) = c**3 - 21*c**2 + 20*c + 2. Let m be a(20). Solve -3*b = u + u + 11, -m*u + 7 = -3*b for b.
-3
Let y(r) = r**2 + 4*r + 2. Let v be y(-3). Let k be -4 - ((-2 - -2) + 1). Let t = v - k. Solve -4*g + 2*g = -t*x + 14, 5*x - 17 = 2*g for x.
3
Let a(d) = d**2 - 17*d + 2. Let v be a(0). Solve m = -u + 3, v*m + 3*u = -2*u + 9 for m.
2
Suppose 2*n = -8*n - n. Solve 0*h + h - 14 = 2*k, -2*h + 8 = n for k.
-5
Let n = -22 + 4. Let a = 28 + n. Let c be 136/14 - 10/(-140)*4. Solve 3*k = 2*x - 16, 0 = -4*x + a + c for k.
-2
Let n(h) = -2*h**2 + 17*h + 13. Let i be n(9). Solve 3*b + 0 - 19 = i*z, -b + 3*z = -13 for b.
1
Let c be (-6)/(-4)*(-39 - 1). Let o be (-4)/(-14) + c/(-35). Let n be -5 + o - (2 + -12). Solve v - 2*s = -4*v - 9, 3*s - n = v for v.
-1
Let u(t) = -3*t - 2. Let g be u(2). Let x = 10 + g. Suppose -c - 26 = -x*c. Solve -5*f - 4*l + c = 0, 0 = -f + 3*l - 7*l + 18 for f.
2
Suppose 0 = -2*b + h + 4, -2*b + 3*h = -2*h - 4. Solve a + g + 0 - 8 = 0, b*a + 2 = 4*g for a.
5
Let n(b) = b + 10. Let y be n(-6). Suppose -y = h - 4. Solve 5*a + 25 = -5*j, -a - 5 + h = 0 for j.
0
Let a(h) = 2*h**2 + 8*h - 4. Let i be (-1)/(9/5 - 2). Suppose 0*u = i*u + 30. Let z be a(u). Solve -r - 5*n = -z, n + 17 = 4*r - 0*r for r.
5
Suppose 0 = -k + 4 - 3. Let w be (20/16)/(k/4). Suppose 0 = -w*p + 2 + 8. Solve -2*q = -q - p*u - 6, 5*q + u = 8 for q.
2
Let j(v) = -33*v - 259. Let o be j(-8). Solve 0*d = 2*d + 5*x + 2, 5*d + o*x = 10 for d.
4
Suppose 3*p + 54 = 63. Let z(y) = -y**2 - 7*y + 2. Let j be z(-5). Solve -p*u - 2*b = 8 - 1, 0 = 3*b - j for u.
-5
Let q(u) = -4*u**3 - 2*u - 1. Let b be q(-1). Let g(i) = i**2 - 4*i + 3. Let r be g(b). Solve -3*m + 3*s = 15, 0 = -4*m - 0*s + s - r for m.
-1
Suppose -18 = 2*o + 28. Let d = 27 + o. Solve y = 3*v - 0*y - 2, 5*v - y - d = 0 for v.
1
Let q(z) = 10*z - 6*z + 8 - 4 - 5*z - z**2. Let a be q(0). Solve 4*y = -a*x - 24, -6 - 3 = 5*y - 2*x for y.
-3
Let k be 2*(2/(-4))/1. Let u be (1 + (-4)/1)*k. Suppose -656 = -172*f - 158*f + 664. Solve c = 5*c - u*a - 3, a = -f*c + 15 for c.
3
Let o(i) = i - 11. Let r be o(14). Suppose 2*k - r*k + 2 = 0. Solve -4*j + 15 = -2*j - 3*w, 0 = -3*j + k*w + 10 for j.
0
Let j(k) = -k - 4. Let r be j(-6). Solve -r*s + 7*s - 5*x + 20 = 0, 0 = x for s.
-4
Let o be (-6)/30 + 16/5. Let n(z) = -z**2 - 2*z + 0*z - 1 - z + o. Let u be n(-3). Solve 5*c - 16 = 5*x - 1, 0 = 5*c - u*x - 18 for c.
4
