+ 4*v, -m + n = 4*v. Solve 4*k + m = -0*k for k.
-5
Let l(i) = -8*i + 12. Let w be l(1). Solve w*f - 1 = 3*f for f.
1
Let s be 2/2*(-2)/(-1). Let j be (-3)/(3/(-4)) - 1. Suppose 6*p - 6 = j*p. Solve -p*b - 6 = s for b.
-4
Let k be 1/(-9) - (-364)/117. Solve k*j + 2 - 5 = 0 for j.
1
Let w = 45 - -40. Let l = w - 82. Solve l*t + 0*t = -12 for t.
-4
Let c be -7 - -5 - (1 + -2 + 1). Let o be (-2 + 4)*(0 + (0 - c)). Solve 5*r - o - 16 = 0 for r.
4
Let z(m) = 2*m**2 + 5*m - 22. Let c be z(3). Solve -c*b = -9*b + 6 for b.
-3
Let g(q) = 2*q + 14. Suppose -4*w + 5*f - 23 = 0, -w + 0*f = -5*f + 2. Let u be g(w). Suppose -4*d = 3*n - 0*n - 32, 3*d + 5*n = 35. Solve u*t - d*t = -5 for t.
1
Let u(h) = -2*h**2 - 14*h + 21. Let c be u(-8). Solve c = 9*f - 8*f for f.
5
Let k be ((-153)/68)/((-3)/8). Let f(w) = 6*w**2 + 3*w - w**3 + 1 - 2*w - 7. Let z be f(k). Solve z = -s - 0*s - 2 for s.
-2
Let p(a) = a**3 + 11*a**2 + 5*a - 33. Let t be p(-10). Solve 0 = -30*i + t*i + 52 for i.
4
Let b(v) = v**2 + 4*v + 6. Let w be b(-4). Let n be 2/w + (-33)/(-9). Solve -n*s = -2 + 6 for s.
-1
Let p = -105 + 113. Solve p*z + 4*z = -48 for z.
-4
Let c be -3 - 8/(2 + -3). Solve -5 = 2*a - c for a.
0
Let m(q) = -2*q - 10. Let v be (-46)/(-14) - 8/28. Let p be ((-6)/(-6))/(v/(-15)). Let f be m(p). Solve f = -0*n + 5*n for n.
0
Let w be -2*3/(-2) + 4. Suppose -w = -3*z - 1. Let i be 6 - z - (-3 + 1). Solve -i = -2*r - 0*r for r.
3
Let s = 968 + -950. Solve 22 - s = -2*t for t.
-2
Suppose -19 = 4*j + 5*q, 2*q = -4 - 2. Let m(t) = -7*t - 5. Let g be m(j). Solve g*n + 15 = 5*n for n.
5
Let b(a) = -a + 16. Let w(s) = -4*s + 4. Let g(r) = 5*r - 5. Let k(j) = 3*g(j) + 4*w(j). Let q be k(-12). Let n be b(q). Solve n = -2*z - 1 for z.
-2
Suppose 3*o - 24 = -6*l, -3*l - 13*o = -17*o - 12. Let a = -6 + 8. Solve a*t - 8 = l*t for t.
-4
Let s = 715 - 712. Solve 136 = s*x + 130 for x.
2
Let f(a) = a**3 - 10*a**2 + 18*a - 11. Suppose 4*z - 8 = 3*z. Let q be f(z). Solve 0*b - b = q for b.
-5
Suppose 0 = -3*z - 0*z. Suppose 0 = 4*t - z*a - 2*a + 8, -3*a = 3*t - 12. Solve t = -0*q + 3*q - 6 for q.
2
Let c(y) = 20*y**2 + 18*y - 18. Let r be c(1). Solve -22*n + r = -17*n for n.
4
Suppose -4*c - c + 220 = 0. Let g be c/2 - 4/1. Let z = 18 - g. Solve z - 4 = i for i.
-4
Let n(u) = -2*u**2 + 22*u - 26. Let w be n(9). Solve -w + 8 = -l for l.
2
Let y(q) = -q**2 + 11*q + 33. Let m be y(13). Solve -13*i + 12 = -m*i for i.
2
Let x = -24 + 40. Let w = 21 - x. Suppose 0 = -0*y - w*y. Solve 5 = s - y*s for s.
5
Suppose -44*f = -48*f + 28. Solve 2*c + 5 = f*c for c.
1
Let w be 1 + -4 + (-30 + 5)*-3. Solve -3*p - w = -66 for p.
-2
Let z be -4*(-4)/16*2. Let g = z - 7. Let n(y) = y**2 + 7*y + 12. Let x be n(g). Solve -m - x = m for m.
-1
Let s = 36 - 36. Suppose s = 6*p + 3*p - 108. Solve -4*x + x = p for x.
-4
Suppose -3*o - 2*t + 0*t - 52 = 0, o - 4*t + 8 = 0. Let p = o - -22. Solve 2 + p = -2*w for w.
-4
Let s(w) = 4*w. Let n be s(11). Let k = -41 + n. Solve 2*a + k = 5*a for a.
1
Let f(x) = x**2 + 0*x**2 + 4 + 16 - x + 11*x. Let p be f(-8). Solve 0 = p*c + c + 15 for c.
-3
Suppose -3*m - 159*w + 161*w = -22, 2*m - 22 = 5*w. Solve -m*l = 15 + 9 for l.
-4
Let h be ((-298)/(-8) - 1) + 5/(-20). Let k be (1/2)/(-1*(-3)/h). Solve -k*g = -g + 25 for g.
-5
Let p be (0 - 2/1)/(27/(-54)). Suppose 7 = f + p. Solve 7 = 2*w - f for w.
5
Suppose y - 2 = -3*p, 2 - 8 = -p + y. Suppose h = 5 + 2. Solve -h*l = -p*l for l.
0
Let o = 3 - -2. Suppose o*n + 4*l - 29 = 2*n, l + 26 = 4*n. Let k be (10/(-7))/(n/(-49)). Solve k*d = 5*d for d.
0
Suppose 3*m - 2*u - 34 = 2*m, -4*m = 5*u - 84. Suppose 0 = 17*z - m*z + 18. Solve 0 = 3*s - 5*s + z for s.
1
Suppose -8*j + 575 = -97. Let m = j + -81. Solve 2*r = -5 - m for r.
-4
Let o(d) = 4*d**2 - 5*d - 8. Let r(b) = b**2 + 4 - 2 - 3. Let q(p) = -o(p) + 3*r(p). Let g be q(5). Solve -g = w - 6*w for w.
1
Let q be ((-5)/10)/(4/24) + 16. Solve 10*d = q*d - 6 for d.
2
Let i = 82 + -88. Let m be (((-75)/10)/15)/(1/i). Solve -9 = 3*k + m for k.
-4
Suppose 4*t - 45 = z, t + 14*z - 18*z - 15 = 0. Solve -p + 12 = t for p.
1
Let i = 27 + -16. Let s = i - 7. Suppose p + 0*p = s. Solve 6*g = 2*g + p for g.
1
Suppose -23 = -5*f + 7. Let l = 148 + -138. Solve -l - f = -4*m for m.
4
Suppose -4*f + 17 = h, f = -0*h + 5*h - 22. Let x = 9 + -7. Suppose x*m - 30 = -f*m. Solve -2*o - m = o for o.
-2
Suppose -2*g = -3*z + 3 - 7, 0 = -5*g + 10. Solve 0 = -z*p - p - 1 for p.
-1
Let u be (-51 + 1)/((-120)/60). Solve 0*v = 5*v - u for v.
5
Let w(d) = d**3 + 9*d**2 + 2*d + 18. Suppose -2*r + 36 = -6*r. Let m be w(r). Suppose -6 + m = -6*q. Solve -g + q = -2 for g.
3
Let q(w) be the second derivative of w**3/3 - 17*w**2/2 - 4*w. Let g be q(9). Solve 24 = -5*o - g for o.
-5
Suppose -5 = 7*j - 26. Suppose 0 = -j*o - 5*h - 12, 2*o + h + 0 = -1. Solve 2 = -3*u - o for u.
-1
Let m(h) = 2*h - 20. Let n(l) = 6*l - 15. Let p be n(5). Let x be m(p). Solve 0 = -q - q - x for q.
-5
Let z(r) = 2*r**2 + 4*r + 3. Let l be z(-2). Let v = 3586 - 3584. Solve l = h + v*h for h.
1
Let k = -11 - -29. Suppose 2*l = 4*l - k. Solve 4*q = 1 - l for q.
-2
Let m(y) = y**2 + y - 7. Let j be m(-4). Suppose 7 = 3*r - j. Solve -5*h - 1 = r for h.
-1
Suppose 24 = w + 3*w. Suppose 4*c = w*c - 8. Suppose 0 + 12 = c*v. Solve v*q - 11 = 1 for q.
4
Let g be (-12)/(-4) - 0/2. Suppose -3*r = -3*m - 6*r + 18, -3*m = -g*r + 12. Solve -5 - m = -2*h for h.
3
Let x(j) be the first derivative of -j**3/3 + 11*j**2/2 - 16*j + 5. Let d be x(7). Solve 2*h + d = -h for h.
-4
Let o = -17 - -21. Suppose z = 2*z - o. Suppose -2*g = -3*f + 1, -5*f + z*g + 3 = 2*g. Solve -j = -f - 2 for j.
3
Let w = -75 - -80. Suppose -w*f + j = -24, f - 14 - 6 = 4*j. Solve f*y = -7 - 9 for y.
-4
Let j = -1396 - -1452. Solve -7*t - 21 = -j for t.
5
Suppose -255*q = -248*q - 14. Solve 2*j = 4 + q for j.
3
Let b be (-650)/(-55) + (-26)/(-143). Solve 28 = -10*m - b for m.
-4
Let o(z) = -5 - 6 - 12*z**2 + 2 + 8*z + 13*z**2. Let f be o(-9). Solve -3*d + 6 + 3 = f for d.
3
Let w = 37 + -28. Let s(b) = -b**2 + 9*b + 2. Let v be s(w). Solve -v - 1 = -q for q.
3
Let i = -72 - -82. Suppose -i = -3*j + z, 3*j - 3*z = 4*j. Solve -13 + 4 = j*o for o.
-3
Let x be (-3 + -3)/(-4 - (-3)/1). Solve -9*d + 7*d - x = 0 for d.
-3
Let c = -524 - -542. Solve c*r - 10 = 20*r for r.
-5
Let m be (-2)/10 + (-11)/(-5). Solve 0 = m*c + c + 9 for c.
-3
Let l be (2 + 28 - -2)/(3 - 2). Suppose 2*v = -k - 12 + l, 3*k - 60 = -3*v. Solve 4*m = -m + k for m.
4
Let c(j) be the first derivative of -21*j - 3 - 1/3*j**3 - 6*j**2. Let a be c(-9). Solve a = -r + 3 for r.
-3
Suppose -y - 4*t + 4 = -0, 0 = -4*y - 6*t + 46. Solve -2*s = -y*s + 28 for s.
2
Let g = -1 - -5. Suppose 2*j + 4*l - 18 = 0, g*j = -2*l + 8 + 10. Solve -j*r = -18 + 3 for r.
5
Let c = -24 + 24. Suppose -b = -2*j + 6, 0 = 2*b - 7*b + 4*j - 42. Let d be (-34)/b - (-4)/(-10). Solve -g - d = -c for g.
-3
Let o(q) = q**2 + 10*q - 22. Let m be o(-12). Let z = -3 - -9. Suppose u - 2*v = 3*v - z, 2*u = v + 6. Solve -2*p - m = -u*p for p.
1
Let v(r) = -r**3 + 8*r**2 + 3*r + 16. Let c be v(9). Let x(d) = d**2 + 3*d + 5. Let p be x(-4). Let q be 6/(-27) - c/p. Solve h + 15 = q*h for h.
5
Suppose 42*s - 85 = 167. Solve -1 = -s*p + 5*p for p.
1
Let b(s) = 8*s + 11. Let q be b(0). Suppose 5*y = -5*j + 10, -4*j + q = 3*y + 2*y. Solve 0 = -2*x + 1 + y for x.
2
Let k be (3 - 38/4)*-2. Let u = k - 10. Let o = u + 1. Solve -6*b - 10 = -o*b for b.
-5
Let a = -53 - -11. Let g be (-1)/5 + a/(-10). Let c be g*(51/12 + -3). Solve b = c*b for b.
0
Let b = 33 + -86. Let t = 63 + b. Solve 0 = -4*z - z + t for z.
2
Let a be ((-12)/(-10))/(6/20). Let q(d) = 6*d - 27. Let x be q(5). Suppose 0 = -2*m + 8, -x*m = 4*k - a*m - 4. Solve u + k*u + 15 = 0 for u.
-5
Let x(l) = -11*l - 137. Let z be x(-13). Solve -z = 17*v - 14*v for v.
-2
Suppose 2*v = -10, 155*d - 153*d - 14 = -2*v. Solve 0 = -3*m + 6*m + d for m.
-4
Let r be ((4 - 5) + -10)*-1. Solve 0 = -r*h - 8*h for h.
0
Let b = -27 + 25. Let g be b/6 - (-752)/24. Let r = 34 - g. Solve c + 12 = -r*c for c.
-3
Let w be 4/(-62) + 18/279. Solve 16*q - 12 - 36 = w for q.
3
Let f be 1 + (-3)/(15/(-10)). Solve -2*i = -3*i - f for i.
-3
Let a be 16/(-5)*(330/12)/(-11). Let j(y) = -y**2 + 7*y + 11. Let q be j(a). Solve -q*t + 10 = 2*t for t.