 -3*t + 3*m + 17, 2 = t + l*m for t.
5
Let b = -2 - -6. Suppose -b*m - 2*o = -18, m + 0*m - 10 = 5*o. Solve 2*h - 3*s + 12 = 0, -5*s + 16 = -m*h + 3*h for h.
-3
Let q be ((-20)/(-5))/4*1. Solve -2*p - 14 = 4*m, 0 = -3*m - 4*p - q - 2 for m.
-5
Let y(t) = t**2 - 7*t. Let o be y(7). Suppose o*q + q - 3 = 0. Suppose 3*h + 15 = 0, -5*u + 2*h + 19 = -2*u. Solve 0 = -4*m + q*c + 6, 2*c + 1 + u = 4*m for m.
0
Suppose -9*s + 4*s - 41 = -4*d, -5*d + 3*s + 35 = 0. Solve 3*j + 11 = c, 2*c = d*j + 9 + 3 for c.
-4
Let v be 4/(-10) + 6/(-10). Let y(p) = p**3 - 7*p**2 + 6*p + 1. Let m be y(6). Let t = m - v. Solve -t*i + 0 = h + 1, 10 = -5*i - h for i.
-3
Let f = 13 - 21. Let v = -8 + 16. Let i = f + v. Solve 2*z - 3 = 2*m - 1, i = -4*m - 5*z - 40 for m.
-5
Let t = 8 - 0. Let s be ((-4)/t)/(1/(-6)). Suppose -s*q - 8 = -26. Solve a + c + 25 = q*c, -2*c + 10 = -2*a for a.
0
Let w be (1 + (-3 - -2))*1. Suppose s = -h + 2, -h = -s - w*h + 4. Solve -2*k - k = -s*m, -4*m - 45 = 5*k for k.
-5
Let u(f) = 2*f - 4. Suppose -4*l - 4*w = -16, -40 = -5*l + 3*w + 4. Let x be u(l). Suppose 2 - x = -2*i. Solve -i*y + 11 = 3, -y + 8 = 3*o for o.
2
Let x(s) = -s**2 + 4*s + 1. Let m be x(3). Solve m*a = 4*v, 2 = 4*a + 6 for v.
-1
Let q(z) = -z**3 + 3*z**2 + z - 4. Let p be q(3). Let h be p - -6 - (-3)/(-3). Solve h*k = -k + 5*c - 5, -1 = k + 3*c for k.
-1
Suppose m - 5 = 0, 4*h - 28 = h - 5*m. Let b = 52 - h. Let x = b + -28. Solve q + 0 = 4*a + x, 3*q - 4 = -a for a.
-5
Suppose 3*p - 5*p = -90. Let g be (-6)/(-4) - p/(-30). Solve -20 = 5*i, -2*i - 2 + 3 = g*d for d.
3
Let n = -14 + 16. Solve -7*a - 3*m + 23 = -2*a, 0 = -n*m + 2 for a.
4
Let v = 38 + -3. Suppose -4*t - t + v = 2*x, -5*x = 2*t - 35. Solve 0 = -x*y - 5, 3*i + 0 = -y + 5 for i.
2
Let k be ((-20)/(-25))/(2/(-10)) - -8. Solve k*i + 36 = -4*j, 4*i + 17 = i - j for i.
-4
Let f(h) = h**3 - 4*h**2 + 4*h - 1. Let n be f(3). Suppose -n*t + 0*t + 34 = 0. Solve 4*o = -5*l + 37, 2*o - t = -5*l + 14 for l.
5
Let l(z) = -z**3 + 11*z**2 + 15*z - 27. Let x be l(12). Solve -o - 26 + x = -3*k, -5*k = 2*o - 21 for o.
-2
Suppose 0 = -2*f - 2*f + 20. Suppose -b = -f - 0. Solve 0*j - 5 = 4*j - b*l, -30 = -4*j - 2*l for j.
5
Let j(u) = u + 3. Let c be j(-2). Let h(r) = 6*r**3 + 2*r**2 - r. Let z be h(c). Let p = 20 - 12. Solve -z = -5*n + m, -5*m = n - 3*m - p for n.
2
Let o be (224/48)/(3/((-9)/(-2))). Solve 2*p = 3*b - o, -5*p - 2*b = -19 - 11 for p.
4
Let w(n) = n - 1. Let b(v) = 8*v - 24. Let z(u) = -b(u) + 6*w(u). Let q be z(8). Solve 0 = -f + 3*j + 3, 2 = -2*f + 7*f - q*j for f.
0
Let p(w) = w + 14. Let l be p(-12). Solve 5*d + l*i + 9 = 4*d, -i - 6 = 2*d for d.
-1
Let d be ((-2)/(-3))/(6/18). Suppose o + 5 = j, -j + d = o + 3. Solve 2*m - 5*m - 5*i = -7, -j = 2*i for m.
4
Suppose 8*y - 3*y + 15 = 0. Let u be (-2 - y) + -2 - -4. Suppose 2 = u*s - 7. Solve 2*b + i = -3*i + 16, 4*b + i + s = 0 for b.
-2
Let g(f) = f**2 - 14*f - 10. Let k be g(15). Solve 3*j - 20 = c - k, -16 = -4*j for c.
-3
Let c(a) = a**2 - 3*a - 3. Let x be c(6). Suppose x = 4*h - h. Suppose h*s + 0*s - 15 = 0. Solve p - 1 = -2*b + 8, s*p - 3*b = 0 for p.
3
Let w(y) = y**3 + y**2 - y - 1. Let p be w(-1). Let h = 18 - 28. Let v = -5 - h. Solve 3*k - v*t + 0 - 18 = p, -4*k + t + 7 = 0 for k.
1
Let l = 11 + -1. Suppose 3*y + 2*h - 12 = 2*y, -y - 5*h = -27. Suppose -4*u = 4*t - 12, -t - 5 = -5*u + 4*t. Solve -y*x - 5*k = -k + 4, -u*k + l = -2*x for x.
-4
Suppose b + 1 = 0, 5*b + 5 = -2*w + 2. Let n = 1 - w. Let v be (46/3)/((-6)/(-9)). Solve -5*l + 3*m - 19 = n, 2*l + v = -3*l + m for l.
-5
Let q = -19 + 22. Solve p + 0*w - 4 = 4*w, -12 = -q*p - 3*w for p.
4
Suppose 6 + 3 = 3*d. Suppose -4*k - d = -15. Solve -4*r + 5*r + 1 = k*h, -h = 4*r - 22 for h.
2
Suppose -33 = -5*u + 4*s - 12, -u - 4*s = -9. Solve -4*v = -0*f - u*f - 12, 2*f = -3*v - 14 for v.
-2
Suppose -60 + 180 = 5*j - 5*u, -1 = j + 4*u. Solve 2*v + 3 - j = -2*l, 4*l - v = 17 for l.
5
Suppose -3*h = -10 - 5. Solve 16 = -4*f + 4, 0 = -2*b + h*f + 23 for b.
4
Let i(r) = -5*r + 1. Let c be i(-1). Suppose c = 2*p + 20. Let v = 9 + p. Solve 37 = 5*m + 4*t, v*m = -2*t - 3*t + 25 for m.
5
Let f be (-1 - (-6)/9)/((-2)/24). Solve 7 + 2 = -m - 2*a, 0 = -m - f*a - 13 for m.
-5
Suppose 3*n - 3 = 3*k, -5*n = 3*k - 0*n - 13. Suppose -3*a - 4*r + 0*r - 6 = 0, -5*r = -5*a + 25. Let b = k + a. Solve -j + 5*g = j + 9, -g = b*j + 5 for j.
-2
Suppose -4*v = -6*v + 24. Solve -2*s = s - 3*p - 6, -5*p - v = -3*s for s.
-1
Suppose v - 7 - 1 = -2*f, 0 = 5*f - 4*v + 6. Solve 0*p - 2*m = p - f, -m = -5*p + 21 for p.
4
Let m be (4*1)/(5 - 4). Suppose -m*r - 5 = -1. Let o = r + 4. Solve u + 11 = -5*w, 4*u + 5 = o*u - 3*w for u.
4
Suppose 2*q = 6*q - 44. Solve -2 = 5*x + 3, -q = 3*n + 5*x for n.
-2
Let l be (-4)/(-14) - 329/(-49). Solve 4*g + 4*h - 12 = 0, l = g + 3*h - h for g.
-1
Let t be 4/14 + 4/(-14). Let p be t + -1*0/(-3). Suppose p = -0*a + a - 5. Solve -a*n - 20 = -5*o, -4*o + n = 2 - 9 for o.
1
Let s be -5*(6/5 - 0). Let v be ((-3)/2)/(s/20). Let r(t) = 4*t - 7. Let f be r(5). Solve -v*g = -3*j + f, -16 = -j + 2*g + 2*g for j.
-4
Let k = -17 - -19. Suppose 0 = -3*t - 8 + k, 0 = -5*n - 4*t + 52. Solve 4*f = -4*d - 12, -f = 3*f + 2*d + n for f.
-3
Let r = 2 + 0. Suppose 0*n = 4*n - 8. Suppose 3*z + z + 8 = m, 4*z = -n*m + 4. Solve -f - r*h = 0, -2*f = -h + m*h + 2 for f.
-4
Suppose 0*q + q - 4*l + 10 = 0, 3*q + 20 = 2*l. Let h = -6 - q. Solve -2*i + 2 = -h*r - 2*r, -40 = -5*r - 4*i for r.
4
Let v(j) be the third derivative of -j**4/24 - j**3/3 + 6*j**2. Let m be v(-4). Solve 0*k - k + m = 0, 2*w - 4*k = -18 for w.
-5
Let l(i) = i**3 - 14*i**2 + i - 12. Suppose 3*d - 3*y = 39, -2*d - y = d - 43. Let h be l(d). Solve 5*g + 14 = -2*p, -h*g + g = -2*p - 2 for p.
-2
Suppose 4*d = -4*u - 56, 0*d - 13 = 2*u - 3*d. Let g = u + 16. Suppose -g = -m - 1. Solve 3*x = 3*t, 0*x + m*x = -3*t + 28 for t.
4
Suppose 5*q - 36 = -2*c, -q + 2*c = 3*q - 36. Solve -2*m = o - 1, -3*m + q*m = -5*o + 15 for o.
5
Let c be (1 - 4/(-8))*2. Suppose 4*m + 4*s = -4, 3 = -c*s - 9. Solve 3*h + m = 3*j, -6*h + 3*h + 1 = -5*j for j.
-2
Let i = -53 - -58. Solve -5*p + 4*z = -30, 0 = 2*p - 0*z - i*z - 29 for p.
2
Let r be (1 - -1)/(14/7). Solve 3*d = v - d + 5, d = r for v.
-1
Suppose 0 = 2*n - 15 + 3. Let o be -2*((-15)/n + 0). Solve -40 = -5*r - o*l, 2*r - l = -2*r + 17 for r.
5
Let j be (0 - 1/(-3)) + (-78)/(-117). Solve 3*u - 4*i + j = -9*i, 0 = u + 4*i - 2 for u.
-2
Let b be (20/(-8))/(1/(-2)). Suppose 0 = -4*c - 0 + 8. Suppose -b*j - 5 = 5*w, 29 = c*j - 3*w + 6. Solve j*n - 2*h - 22 = 0, 0*h + 1 = n + h for n.
4
Let v(l) be the third derivative of l**4/8 - 7*l**3/6 - 2*l**2. Let m be v(5). Let d = m - 5. Solve 2 = -5*r + d*t, 2*t - 8 = 5*r + 5*t for r.
-1
Let r = -157 - -176. Solve 5 = x - 4*x - 2*t, 5*x = 2*t - r for x.
-3
Suppose 7*r = 10*r - 4*r. Solve 0 = 4*t - 4*n + 12, t - 3*n + 0 + 11 = r for t.
1
Let v = -3 + 5. Let i be (204/(-18))/(4/(-6)). Suppose -5*n - i = a, 2*a - 23 = a + 5*n. Solve v*c - 4 = z, 2*z = -c - a - 5 for z.
-4
Let z(i) = i**2 - 10. Let f be z(4). Solve -3*t = 3, 0 = 2*n - f*n - 3*t - 19 for n.
-4
Let j = 10 + -7. Suppose 3*k - 12 = -b, -2*k = -b - j*k + 12. Solve -2*c - b = -4*n + 10, 2*n = -c + 1 for c.
-5
Let j be (-4)/(-10) + (-16)/(-10). Solve -y - 1 = 2*a - j*y, -a - 8 = -2*y for a.
2
Suppose 20 = -9*m + 4*m. Let p = 14 + m. Let r(w) = w**2 + 2*w - 3. Let l be r(-4). Solve 0 = -5*g + l*u + p, u = -g + 3*u + 7 for g.
-3
Let p be 29/6 + (-4)/(-24). Let h be (-5)/(p/3)*-1. Solve 0*l + 4*l = -5*m + 2, -5*l - h*m = -9 for l.
3
Let j = 14 - 20. Suppose d - 5*x - 5 = 0, -2*d + 18 = -0*d - 2*x. Let k = d + j. Solve w + 3*p - 6*p = 5, w + k*p + 9 = 0 for w.
-1
Let s be (-3 - 0)/(1*-1). Suppose c - 5*c - 16 = 0. Let t be 6/s*(-38)/c. Solve 4 = 3*r + 4*a - 13, 4*r = 3*a - t for r.
-1
Let w = 23 + -18. Solve -2*d = 3*h - 10, 2*h = h + d - w for h.
0
Suppose -5*z - 5*i + 169 = -76, 2*i = 3*z - 127. Let f(o) = -o**2 + 6*o. Let j be f(5). Solve 0*n + j*n = -4*k + z, -n + 15 = 2*k for k.
5
Suppose 0 = 6*b - 10 - 2. Solve 0 = -c + 4*y + 21, -19 = -2*c - b*c + 3*y for c.
1
Let l = 30 - 17. Solve -l = s - 4*o, -5*s - o - 1 = 1 for s.
-1
Suppose 0 = -3*v - 0 + 9. Solve 4*f - 2*b = -0*b - 18, -3*b + 18 = -v*f for f.
-3
Suppose -3*o + o + 4 = 0