h*g + 6 for l.
-3
Let u = -140 - -53. Let v = 99 + u. Solve -3*c + m - v = 0, 5*m - 2*m = -9 for c.
-5
Suppose 5*d - 117 = 3*i, -2*d - 3*i - 69 = -5*d. Let o be ((-184)/(-440) - (-2)/11)*5. Solve 4*f + 0 = -12, 0 = -5*y + o*f + d for y.
3
Let b = -11 + 41. Suppose b = 2*o + 4*o. Solve 2*c - 4 = 3*c - o*s, 3*s = 3*c for c.
1
Let z(d) = 3*d**2 + 3*d. Let p be z(-2). Suppose -2*q + p = -g, 0 = g + 2*g. Solve 4*j - 45 = -5*v, -q*v - 1 = j - 21 for j.
5
Let n be 1 + -2 + 5 + 4*-1. Suppose -4*s - 3 + 15 = n. Solve -2*d + 29 = 2*d + 5*p, s*d - 28 = -5*p for d.
1
Let s be (0/((-4)/(-1)))/6. Let q(p) = p + 12. Let x be q(-7). Solve y + x*b = -3 + 19, y + b = s for y.
-4
Let p be (-2 + 1 - -2) + 1. Suppose -3 = -p*l + 3*l, l = -5*g + 22. Let r be g/(-35) - (-2)/14. Solve r = -i + 4*c + 17 + 6, -i - c - 2 = 0 for i.
3
Let t(v) be the second derivative of v**5/20 + 5*v**4/12 - 5*v**3/2 - 2*v**2 + 19*v + 1. Let c be t(-7). Solve c*w = 3*u + 6, 4*u - 3*w - 2*w + 11 = 0 for u.
1
Let b(p) = p**2 + 4 + 5 + 1 + 10*p. Let t be b(-7). Let n = -9 - t. Solve n*h - m = 3*m - 10, 0 = -3*h + 5*m - 15 for h.
-5
Let j be 188/141*18/8. Solve -5*m + 20 = -j*k, 6*m = 2*k + m + 20 for k.
0
Let z be (-10)/45 + (-2)/(-9). Suppose -7*v + 2*v - 4*n + 87 = z, -2*n + 36 = 2*v. Let m = -13 + v. Solve -3 = -4*b - m*x - x, 3*b + 4*x - 11 = 0 for b.
-3
Suppose -13*j + 12 = -12*j. Suppose -7*f = -4*f + j. Let x be ((-130)/f)/5*2. Solve 6*g + x = g - 3*z, 4*z = 16 for g.
-5
Suppose l = 4*j + 1, -j = -2*l - 0*j + 9. Let k be 15/(-5) + l + -2. Solve k = 3*x + 2*q - 9, 2 = -x + 2*q - 3 for x.
1
Let k be (-3)/12 + (-99)/(-12). Let f = -152 - -155. Solve 0 = q - 3*r + 5, 2*q + f*r = -0*r + k for q.
1
Suppose 3*y = 2*y - 3*i + 3, 4*i = 2*y + 4. Suppose 10*d - 25 - 5 = y. Solve 4*z = -4*w, 2*z - d*z - 6 = -2*w for z.
-2
Suppose 0 = 3*n - 4*j - 14, 2*j - 3*j = n. Let x be -9*n*4/(-12). Solve 2*z = -x - 0, 4*p = 3*z - 7 for p.
-4
Let d(i) = 4*i - 13. Let v be d(4). Let j(z) = -z**2 + 7*z - 5. Let w be j(8). Let x = 24 + w. Solve -2*c = -v*h + 3, 0*h = -h + 4*c + x for h.
-1
Let u(z) = 3*z**3 + 57*z**2 - z - 15. Let f be u(-19). Solve 0 = 5*m - 3*v + 3 - f, -4*m = -4*v - 4 for m.
-1
Let r be (31 - 17) + (1 + -6)*1. Solve 2*s - 5*p + 18 + 3 = 0, -4*s - p - r = 0 for s.
-3
Let g(d) = 2*d**2 - 12*d - 49. Let w be g(9). Solve -2*i + w*t + 1 - 7 = 0, -2*t + 6 = i for i.
2
Let b = 21 + -11. Let u = 834 + -832. Solve -2*s + 5*p = -18, -u*s = -0*s - 3*p - b for s.
-1
Suppose 19 = 6*p - p - 3*j, j - 7 = -5*p. Solve -k - k - 8 = p*h, 4*h = -2*k - 10 for k.
-3
Suppose 5*l = -2*n + 144, -2*l = -l - 2*n - 36. Solve -3*c + 2 - 5 = -2*v, 5*c + l = -5*v for c.
-3
Let b be (-6)/(-66)*6 + (-1292)/(-374). Let q(s) = -2*s - 4. Let c be q(-6). Solve 0 = -b*i + c, i = 3*m - i + 19 for m.
-5
Suppose 30*j - 976 + 196 = 0. Solve q - 10 = -q, -d + 5*q - j = 0 for d.
-1
Let b be 1*(-26)/(-2) + (-75)/25. Solve -d - 4*g = -0*g - 22, 5*d = 4*g - b for d.
2
Suppose 4*k - 22 = 2*w, w = -139 + 138. Solve -3*x + m + 20 = -0*x, k*m = -25 for x.
5
Let o(f) = 4*f**3 + 18*f**2 + 5*f - 7. Let p be o(-4). Solve 5*s = 5*u + 20, -4*u + p*s - 19 - 2 = 0 for u.
1
Suppose 28*n - 23*n + 125 = 5*r, 4*r = -n + 75. Solve -3*g - 35 = -0*f + 5*f, -5*f = r for g.
-5
Let r(u) = 3*u - 8. Let a be r(4). Let y be (a/(-8))/((-2)/20). Let z = 2 + 0. Solve -5*m = -z*b + 10, -m = -0*b + y*b - 25 for m.
0
Let u(f) = -f + 10. Let y be u(-3). Let z be 12/(-18) - (-1)/(-3). Let r = z - -4. Solve -2*d - j + y = -0*j, -5*d + 35 = r*j for d.
4
Let d(s) = -3*s**2 + 12*s + 5. Let u be d(4). Solve -2*w + 14 = u*i, -3*i + 4*w - 6*w = -10 for i.
2
Suppose -5*d + w - 51 = -w, 42 = -3*d + 5*w. Let x be d/(-6)*-4*(-2)/3. Solve 0*r + 2*r + 2*m + 4 = 0, 2*r + 16 = x*m for r.
-4
Suppose -a + 5 = 1, 0 = -3*y + a + 104. Suppose 4*p - p - y = 0. Solve -2*w + 4*z = 0, -w - 4*z = -6*w - p for w.
-4
Let t = 177 - 159. Let j(a) = -a**3 + 5*a**2 - 3*a - 4. Let f be j(3). Let h = 100 + -95. Solve -f*k + 3*k = 3*o - 10, 4*k = -h*o + t for k.
2
Let a be 2*(-14)/4*66/(-154). Solve -w - 5*s = -24, 4*w + a*s - 9 = 2 for w.
-1
Suppose -2*z + 92 = 2*z. Let k = 27 - z. Solve 5*r = 0, -12 = -4*s + k*r - 0*r for s.
3
Let m(x) be the third derivative of 0*x + 0 - 1/3*x**3 + 1/12*x**4 + 10*x**2. Let z be m(2). Solve -2*o = z*t + 10, 4*o + 2 = 3*o for t.
-3
Suppose 55*u = -42*u + 51*u + 92. Suppose 3*x = 6*x + 9. Let v be 1/1*(-12)/x. Solve 3*s = u*c - 5, 2*s - 4*c - 14 = v*s for s.
-3
Suppose -2*h - 10 = m, -5*m - 1 = -h - 6. Let f be -31 - -33 - (-1)/((-3)/(-6)). Solve -x + 4*b - 2*b - 4 = m, 0 = f*x + 5*b - 36 for x.
4
Let n(t) be the first derivative of -t**3/3 - 11*t**2/2 + 15*t + 8. Let g be n(-11). Solve 24 = 4*a + 4*j, -2*a - 7*j + g = -2*j for a.
5
Let a(w) = 2*w**2 - 2*w. Let x be a(-3). Suppose 9*c - x = 21. Solve o + 2*o = 2*l - 5, -2*l - c*o = 19 for l.
-2
Let g = -1125 + 1128. Solve -3*r - 9 = 3*n, -g*n + 3*r - r = 9 for n.
-3
Suppose -32*o + 5*r = -34*o + 24, o - 3*r + 10 = 0. Let s(g) = -g**2 - 10*g + 5. Let i be s(-10). Solve -k + 6*k = 2*j - o, 3*k - i*j - 14 = 0 for k.
-2
Let t(u) = -u**2 - 19*u + 22. Let r be t(-20). Solve 25 = -5*q, 5*x - r*q + 5 = -q for x.
-2
Suppose 3*k = -2*b + 8, 0*b + 3*b - 10 = -4*k. Solve f + 2*m = 4*f - 15, k*f - 20 = -5*m for f.
5
Let o be (4/(-10))/((-2)/(-180)). Let y be 4/6 + (-1020)/o. Suppose 31 = 6*q - y. Solve -5*h - c + 24 = -3*c, -5*h + q = 5*c for h.
4
Let h be (11 - 8)*(0 - -1). Let g(v) = v - 1 - h*v - 4 - 3*v. Let p be g(-2). Solve -2*i - p*n + 7 = -6*n, -2*n = 4*i - 10 for i.
3
Let p(z) = z**2 - 4. Let t be (8/10)/((-6)/15). Let d be (-8)/(-2) + -8 - t. Let w be p(d). Solve 0 = -2*n + v - 2, -v + 3 = -3*n - w for n.
-1
Suppose -k - u + 7 = 0, 9*u + 4 = 2*k + 6*u. Solve 0 = 3*j - 5*o + 7, k = -5*j + 5*o - 0*o for j.
1
Let j be 2/4 + 11/(-22). Solve 3*w + 4*f + 3 = j, 8*w - 3*w + 19 = -2*f for w.
-5
Let z be 1 - -1*(-18)/(-2). Let c(m) = m + 7. Let a be c(-5). Let j be 2 - -3*3*a/18. Solve j*y - 4 + 16 = -5*v, 5*y + z = -5*v for v.
-3
Let d(a) = 6*a - 10. Let v be d(6). Suppose -v = -4*c - 14. Solve -3 - 7 = 3*r - 4*k, -5*r - c*k = -22 for r.
2
Let r = -264 + 268. Solve i = 6*i + d - 3, 2*i = -r*d + 12 for i.
0
Let u be (-2)/(-5 + 8/(32/18)). Solve -2*h = -5*f - 20, -u*h = 2*f + 3 + 5 for h.
0
Suppose 0 = 11*v - 505 + 120. Suppose 0 = -u + 6*u - v. Solve -4*r = -3*k + k + 22, r + 2*k - u = 0 for r.
-3
Let d = 24 + -13. Suppose 0 = -k - 3*s + d, 0 = -k - 0*s - 4*s + 14. Suppose 0 = -k*b + b. Solve 2*j + b*v - 3 = -v, 4*v - 12 = 5*j for j.
0
Let m be (-91)/(-77) - -2 - (-6)/(-33). Solve m*y + c = 3*c - 15, -5 = y - 5*c for y.
-5
Let f be (23/2 - 4) + 38/76. Solve -4*g - 12 = 3*o, 4*o + 8 = 2*g - f for o.
-4
Let f be (-1)/(-4) + (495/12)/15. Solve f*w - 5*j = 10, 3*j + 0 - 23 = -4*w for w.
5
Let x = -2 - -7. Suppose 2*t + t = -5*l + 3, l = 3*t - 3. Suppose l = -20*u + 25*u - 15. Solve 0*n = 2*j + x*n + 22, 5*n = -u*j - 23 for j.
-1
Let s = -148 - -151. Let d be (-20)/(-4) + 2 + -2 + s. Solve -2*x - 2*m - d = 0, 0 = 5*x + 2*m - m + 16 for x.
-3
Let w(a) = a**2 - 2*a + 1. Let l(p) = -6*p**2 + 22*p - 7. Let v(b) = -l(b) - 5*w(b). Let n be v(12). Solve -k - 20 = g - 6*g, -n*g = -6 for k.
-5
Let l(q) = q**3 - 6*q**2 + 4*q + 5. Let z be l(5). Solve -3*r + 2*p = -z*p - 2, 2*p = -5*r + 14 for r.
2
Let t be 0/(-1 - 2/2). Suppose 0 = v - 3 - t. Suppose 5 = v*f - 1. Solve -4*b + m + 18 = 0, 5*b + m - 16 - f = 0 for b.
4
Suppose -5*i - 115 = -5*f - 40, i + 3*f = -15. Let b = 20 + i. Solve 3*y = b*m - 0*y + 32, -m = 3*y - 8 for m.
-4
Let z be (-45)/(-12) - (-3)/12. Suppose 2*t - z*h + 6 = 0, 4*t - 2*h - 2 = 2*t. Solve t*d - 4 = -4*v + 4, -d = -4*v - 16 for d.
4
Let y(p) = -72*p + 74*p + 3 + 1. Let i be y(-2). Solve i = -s - 5*b - 20, -4*s = -2*b + 8 + 6 for s.
-5
Suppose v - 12 = -4*q, -2*v = 11*q - 14*q - 2. Solve v*w - 8 = -28, 2*w = -2*p - 12 for p.
-1
Suppose -21*h + 216 = -3*h. Solve p = -2*x + 4 - h, -x - 4*p = 4 for x.
-4
Let q(o) = 107*o + 10. Let m be q(0). Solve r - 2*g + 4 - m = 0, -4*r + 4*g = -16 for r.
2
Let d(m) = -2*m - 5. Suppose 0 = -z - 5*x - 20, 5*z + 31 = -x - x. Let w be d(z). Solve 4*f + 5 = -w*k, 5*k + 2 = f - 3 for f.
0
Suppose -2*s + 27 = 3*d, 47 = 3*s - 3*d - 31. Let a = s - 21. Solve -2*w + 3*m - 9 = 0, w + 3*m = -a*m