 3*n - 9 for m.
-3
Let w = 18 - 51. Let i = w + 53. Solve 5*v + 7 = 4*x + 32, 4*v + 4*x = i for v.
5
Suppose -a = -s + 1, a = -0 + 1. Suppose -80 = -6*r + s*r. Solve -r = -4*q, 8 + 29 = -4*x + 5*q for x.
-3
Suppose -5*c + c = -60. Let k(i) = 39*i**2 + 14*i + 13 + i**3 + 4 - 55*i**2. Let w be k(c). Solve w*a = -5*m - 21, -7*m = -5*a - 3*m - 3 for a.
-3
Suppose 0 = -4*u + 4*x + 24, -13*u - 5*x - 26 = -17*u. Solve 0 = -u*i - 16, 3*v - 2*i - 10 = -i for v.
2
Suppose 3*z - 8*z + 20 = 5*r, r - 6 = -2*z. Solve 0*s = -s, z*s + 12 = 4*a for a.
3
Suppose 0 = -2*d + 2*z - 0*z - 74, 0 = -3*d - 4*z - 76. Suppose -5*q + 316 = 46. Let x = q + d. Solve -3*u + 5*k = u + 28, -u + 5*k = x for u.
-2
Let l(b) = b**2 - 6*b + 1. Let z be l(4). Let n = z + 15. Suppose 0 = -4*w, 0 = -2*x - x - 2*w + 12. Solve x*h + 2 = 3*s, 2*h = -2*s - 2 + n for s.
2
Suppose -r - 1 = 0, -4*f = -2*f - 5*r - 15. Let s be 40 + -38 - (2 + -2 + -3). Solve -3*u + 4 - 1 = v, 0 = -f*v + s*u + 15 for v.
3
Suppose -25 = 3*i + 2*i, 2*s - 4*i = 56. Let x = s - 14. Suppose -26 = -x*c - 5*j, -22 = -2*c - 2*c - 3*j. Solve c*v - 7*w + 16 = -2*w, 0 = w for v.
-4
Let j be (10/(-4))/((-200)/240). Suppose 0 - 6 = -2*y. Suppose 10*f - 5*f - 18 = -y*v, -j*v = -5*f + 12. Solve 0 = f*m - t, -5*t = -m - 7 - 7 for m.
1
Let s(d) = -7*d**3 - 4*d**2 - 17*d - 15. Let v be s(-1). Solve 0*q + 3*m - 3 = -v*q, -1 = 4*q - m for q.
0
Let k(u) = -6*u - 100. Let q be k(-17). Solve 6*w - 3*w = v + q, -4 = 2*v + w for v.
-2
Let y(a) = 2*a**2 - 4*a - 4. Let g be y(-1). Solve -1 = 5*r + 3*u, g*u + 0 = 3*r - 7 for r.
1
Let v(r) = r**3 - 8*r**2 + 8*r - 10. Let z be v(7). Let q be (-1 - -4)/(z/(-4)). Let u(k) = -k. Let p be u(-2). Solve -p*h = q*n - 10, -2*n = 4*h - h - 3 for n.
3
Suppose -2 = -2*u + 2. Suppose -u*h - 2 = -4*h. Solve 0 = -b - 1 - h, -4 = -q + b for q.
2
Let t = 53 - 36. Let v = t + -25. Let u(n) = -n**3 - 7*n**2 + 6*n - 10. Let y be u(v). Solve 0 = -2*s + 5*z - 31, y*s - z + 14 = 3*s for s.
-3
Suppose 3*y + 26 = 44. Suppose -y*t - 6 = -8*t. Solve -3*d + 6 = 3*n, 5*d + t*n - 5 = 1 for d.
0
Let c(z) = 5*z**2 + z**2 - 5*z**2 + 2 + 5*z. Let i be c(4). Let h = i - 17. Solve -5*g - h = l - 0*g, -2*l + g = -13 for l.
4
Suppose -25 = -5*n + 5*v, 6*v + 10 = -n + 2*v. Solve -a + 7 = -2*w, -n*a + 0*a + 4 = w for w.
-2
Suppose 3*a - 29 - 25 = 0. Let b(l) = 8 - 14 + 1 - 2*l + 10. Let u be b(-2). Solve d = -d - h + u, 5*h = -d + a for d.
3
Let d(t) = t - t**2 - 3*t**3 + 0*t**2 - 2*t**3. Let h be d(1). Let x be 8/h*(-10)/2. Solve -2*v + v - 3*l + 2 = 0, -4*v + x = 2*l for v.
2
Suppose 7 = 2*k - 5. Suppose 3*a - 9 = 3. Let v = k - a. Solve 2*r + 0*r = -2*y + 4, v*y + 2 = 0 for r.
3
Let x be (-265)/(-25) - 2*4/(-20). Solve -2*b + x = -p, b - 2*b - 4*p = 8 for b.
4
Let l be 41/13 - (-12)/(-78). Solve 4*c + 10 = -22*a + 23*a, -c + 3*a + l = 0 for c.
-3
Let d = -60 - -63. Solve 2*u + 8 = -d*w + 5*w, 0 = 5*w - 4*u - 15 for w.
-1
Let a = 36 + -34. Let s(x) = x**3 - 5*x**2 - 6*x + 3. Let v be s(6). Solve -u + 3 = -v*g - a*g, -3*g = -3*u - 3 for u.
-2
Suppose -4*y + 24 = 2*i, 0 = 2*i + 3*i + 2*y - 20. Suppose -5*z - 48 = z. Let b be 10/30 - z/3. Solve s - i = -b*m + 4, -s = -m - 2 for m.
1
Suppose -2*t = -5*l - 50, -4*t + 7*l - 2*l = -90. Suppose -t = -u + 2. Let a = 7 + -5. Solve -2*p - 3*p - u = 3*m, -a*m = p + 3 for p.
-5
Suppose 3*m = -2 - 4. Suppose 5*q + 5 = 15. Let x be q - m - (-3 - 9). Solve 5*p - 5*d = 7*p + x, 23 = -5*p - 4*d for p.
-3
Suppose -2*s + 5*s - 27 = 0. Let p(t) be the first derivative of t**2 - 8*t + 29. Let x be p(s). Solve -2*g = 2*q - x, g + 5*q = -g + 25 for g.
0
Let t(j) = j**3 + 4*j**2 + 2*j + 7. Let h be t(-5). Let x be (-204)/h - (-2)/(-7). Suppose -8 - 6 = -x*o. Solve 5*k = -o*p + 21, 0 = 3*p - 7*p + k + 9 for p.
3
Suppose 0 = -5*t + 1961 - 1951. Solve 5*l = 2*n + 15 + 3, 0 = -n - t*l for n.
-4
Let r = -123 + 123. Let y(k) = 14*k + 6. Let g be y(r). Solve -g*p - 19 = -d - 2*p, -4*d - 5*p - 8 = 0 for d.
3
Let q(l) = l**2 + 11*l - 3. Let j be q(-11). Suppose -10 = 2*d - 2. Let c be (-4)/(d/j) + 7. Solve 0*t = -t + 5*n - 24, 2*t - 22 = -c*n for t.
1
Let g be ((-300)/70)/(1/(-7)). Let d be 12/g + (-26)/(-10). Let v(c) = c - 4. Let j be v(7). Solve 3*x = -5*q - 31, j*q - d*x = x - 7 for q.
-5
Let o be 4/(-2)*(-177)/118. Let u = -1 + 14. Let h = u - 9. Solve h*c - 3 = -3*a + 14, -o*a - 28 = -5*c for c.
5
Suppose -3*z - z = -8. Let n be (0 - 14)*(23/(-7) + 3). Solve 5*k - 9 = -p, -3*k + z*p - n*p = -4 for k.
2
Suppose j + 4*j - 20 = 0. Let f = -7 + 12. Suppose 0 = -5*s + 5*l + 45, 6*l = 10*l + 12. Solve -f*q - 9 = j*p, 3*q - 8*q = p + s for p.
-1
Suppose 29*d - 21*d = 936. Let h be (d/(-18))/(2/(-8)). Solve -5*k - 5*l + 23 = -3*l, -h = -2*k - 5*l for k.
3
Let r = 497 + -497. Let t = -11 - -27. Solve z = 4*z, r = 4*f + 5*z + t for f.
-4
Suppose -17*p + 10*p + 49 = 0. Solve -4 = -o - o, 4*o = j + p for j.
1
Let d be 4 - (-3*(-8)/(-6) + 6). Solve i - 2*g - 11 = 0, -17 = d*i - i + 5*g for i.
3
Suppose -b = 3*n - n - 10, 0 = -5*n + 5*b + 40. Solve i + 10 = -5*y, n*y - 5*y + 2 = -2*i for y.
-2
Suppose 0 = -3*x + 39 - 6. Suppose -4*n - n + 25 = 0. Let y be ((-15)/(-10))/(((-9)/30)/(-1)). Solve -d - y = u, d + n*u + x = u for d.
-3
Let x(f) be the second derivative of f**5/20 + f**4/6 - f**3/6 + 2*f**2 - 15*f. Let q be x(0). Solve -p + 2*j + 9 = 2, -q*p - 2*j = -8 for p.
3
Let t(a) = a + 22. Let w be -27*(13 + -10)*2/9. Let i be t(w). Solve 5*c = i*z + 15, 7*c - 3*c = -4*z + 12 for c.
3
Let b(x) = -x**3 + 50*x**2 - 137*x - 180. Let j be b(47). Suppose 0 = -3*p - 4 + 13. Solve p*r - 5*t = r - 18, 0 = -4*r - 4*t - j for r.
-4
Let y be 4 + (-8 - -1) - -3. Suppose y = -5*a + 7 + 8. Let n be (6/4)/(6/40). Solve 0 = 4*g + u + 3 - 20, 0 = a*g - 2*u - n for g.
4
Let u(d) = 10*d - 16 + d**2 + 7 - 9*d + 6*d. Let n be u(-9). Solve -3*o + 3*l = 22 - 4, -3*l + n = 0 for o.
-3
Let x(i) = -i**2 - 12*i - 7. Let y be x(-9). Let q be (y/28 - (-6)/21)*4. Solve -w = -5*s - 15 - 9, 5*w - 36 = q*s for s.
-4
Let j(y) = y - 2. Let r be j(4). Let m(w) = -8*w**r + 4*w + 1 + 17*w**2 - 10*w**2. Let k be m(2). Solve -3*u = -4*u + k, 2*i + 5*u = 17 for i.
-4
Let u(l) = l**2 - 8*l + 14. Let k be u(5). Let d be (-1)/k + (-3 - -6). Solve -d*m = x - 9, 3*m - 2*x = -2 - 5 for m.
1
Let j(h) = 9*h**2 - 14*h - 6. Let k be j(2). Solve k*p = 3*q - 13, -3*p - 4*q = -p - 8 for p.
-2
Let k = -4 + 10. Let q be -2*(4/(-24) + (-8)/k). Solve -q*b + 0*b + a = 1, 4 = 4*a for b.
0
Let w = 97 - 95. Suppose -u - 2 = -w. Solve 2*p + 5 = 5*d, u = 5*p - 3*d - 24 + 8 for p.
5
Suppose -2*h = s - 7, 2*h - 4*s + 7 = 29. Solve -29 = h*o + 5*z - 3*z, -z - 2 = 0 for o.
-5
Suppose 4*j - 8 + 0 = 0. Suppose u + u - j = 0. Suppose -u = -2*v + 9. Solve v*s - 6 = s + 5*y, -3*y - 14 = -5*s for s.
4
Suppose -5*c + 3*j + 25 = 0, 4*c - 28 = 30*j - 26*j. Solve -y - 18 = -p - 4*p, -c*p + y = -6 for p.
4
Suppose 0 = 2*t + 3*t. Suppose 17*d - 14*d + 213 = 0. Let m = d - -75. Solve t = -r + 2*r + 4*j + 16, 8 = -3*r - m*j for r.
4
Suppose 0 = 20*i - 6*i - 70. Solve i*s + 21 = 2*c - 4*c, -5*c + s + 15 = 0 for c.
2
Suppose -5*k - 13 = -4*r, -k - 3*r + 9 = -4*k. Let p be (19 - 20)*(k + 2 + -1). Solve -5 = -p*z + z - 2*b, z + 1 = b for z.
3
Let h be -5 - (0 + (-1 - -1 - 8)). Solve 0 = -h*w + 3*f, 0 = 3*w + f + 3*f - 21 for w.
3
Suppose 5 = j + 4*j. Let r be j - 5/(-2)*2. Suppose 2*z + 3*g = 4, 0*z = -4*z - 3*g + 8. Solve -r = z*m - q, 3*m + 10 = q + q for m.
-2
Suppose 5*q - 13 = 12. Let m(o) = -o + 4. Let g be m(1). Suppose -28 = -5*i + d, -4*d = g*i - 3*d - 12. Solve -s + i = -q*z, 5*s = -8*z + 3*z - 35 for z.
-2
Let z be (-7 - -1)/((5 + -9)/2). Solve z*l - 3 = -b + 4*b, -3*l + 2*b - 2 = 0 for l.
-4
Suppose -1 - 2 = -o. Let u(x) = x - 4. Let d be u(4). Suppose -4*q + 4 + 8 = d. Solve -4*z + 6 = -z + q*g, o = 2*z + g for z.
1
Let t be (-70 - -68)*(-3)/2. Solve 4*x + t*f = 27 + 5, -26 = -2*x - 4*f for x.
5
Let p = 10 - 11. Let s(k) = 3*k**2 - k. Let g be s(p). Suppose 3*j = 2*d + 10, -3*j + 3*d + 1 = -5. Solve -g*h + 5*v = v + 12, j = -2*h + v for h.
-3
Suppose -15*f + 12*f = -63. Solve 4*p - 5 = 3*t - f, -5*t = -p - 21 for t.
4
Suppose 3*d + 8 = 2*d + s, -d - 13 = -2*s. Let m = d - -6. Solve -q = -w + 2*w + 3, -6 = m*q for w.
-1
Let g be ((-288)/(-480))/((-6)/(-20)). Let f be 2/(0 - -2) + 2. 