3*j, 5 = -4*o + 5*j for o.
-5
Let y = -15 + 13. Let t be (-3)/y*(-20)/(-15). Solve -t*z + 3*g + 7 = -0*z, -15 = -5*z + 5*g for z.
2
Suppose -5*c - 5 - 5 = 0. Let v = -3 - c. Let h be -1 + v/((-3)/48). Solve 0 = -2*i + 3*u + h, -2*i + 5*u = -7*i - 25 for i.
0
Let y be 3*((-82)/3)/2. Let j = 60 + y. Suppose -3*a = -14 - j. Solve -4*x = -2*d + 4, 0 = -4*x - 5*d - 1 + a for x.
0
Let p be (8 - 7) + (-1 - -2). Let m = 17 - 12. Solve -m*f - b = -22 - 7, -b = p*f - 14 for f.
5
Let b be (-2)/(-4) - 1/2. Solve y + 1 = b, y + 5 = 2*i + 2*y for i.
3
Let q be (-4 + 3 + 4)*1. Solve -5*s = 3*g + g, q*g = -3*s for g.
0
Let u(o) = o - 3. Let y be u(7). Let b be y - (-2 - (-1 - -2)). Solve 7 = 2*k + x, -x + 2 - b = -k for k.
4
Let h(c) = -c**3 + 4*c**2 - 3*c. Let y be h(4). Let l = -12 - y. Let z = 11 - 6. Solve r - 2*n + z = l, -4*r - 3*n - 4 = 5 for r.
-3
Suppose -x = -5*t + 39 + 8, t - 4*x - 17 = 0. Let c(s) = s**2 - 8*s - 5. Let o be c(t). Solve -u = -2*a + 5, -u - o*a = -2*u - 5 for u.
-5
Suppose 2*p + 20 = 7*p. Suppose 5*l = 5, 0 = -2*j + 3*j - l - 7. Suppose -3*c + j = -8*o + 3*o, -5*c = 2*o - 3. Solve -12 = 3*y, p*t - 2*y = 27 + c for t.
5
Suppose 5*p + 5*k - 15 = 0, 3*p + 3*k = k + 8. Solve 5*x = -4*v + 21, v = -p*x - 2*x + 8 for v.
4
Suppose 3*c - 6*c = 6. Let l be c*((-6)/4)/1. Solve 5*z = h, -l*z = -0*h + 2*h for z.
0
Suppose 24 = -10*c + 64. Solve 5*g + 2 = c*s - 5*s, -4*s - 3*g = -9 for s.
3
Let c(z) = 1 + 2 + 2*z - 7 + 0*z. Let k be c(4). Solve k*s - 20 = -3*m, -s + 4*m - 15 = -1 for s.
2
Let f be (30/(-25) + 2)*-5*-1. Solve -f*x - 3*t + 32 = 0, 2*x - 20 = -4*t + 6 for x.
5
Let a(b) = b**2 - 11*b - 15. Let r be a(12). Let j(k) = -k**2 + 3*k + 1. Let f be j(5). Let u = r - f. Solve 4*q - 2*n + u = 0, 13 = -4*q + 2*n - 7*n for q.
-2
Suppose 3*i - 3 = 2*i. Solve 5*t - i = -8, 2*v - 5*t = 13 for v.
4
Let o = 148 + -139. Let p(i) = 2*i - 9. Let h be p(7). Solve -o = 2*v - k, 0 = -h*k + 1 - 6 for v.
-5
Let z = 45 + -42. Solve -4*a - 11 = z*w, 0*w - 5*a - 12 = 2*w for w.
-1
Suppose 2*d + d = -4*h + 65, 0 = h - 2*d - 8. Solve x = -2*t, 3*t = -6*x + x + h for t.
-2
Let i(a) = a**2 - 5*a + 4. Let d(j) = -3*j - 2. Let q be d(-2). Let f be i(q). Solve 0 = b - 2*c - 11, b + 4*c + c + 24 = f for b.
1
Let a be 4/(-10)*(16 - 1). Let k(r) = r**2 + 7*r + 8. Let v be k(a). Solve n = -4*w + 9, -v*n - 2*n = -2*w for n.
1
Let d be 1/(-3) - (-88)/(-6). Let s = 35 + d. Suppose -5*q - 23 = 3*f - 4, -2*q = -5*f + s. Solve f*n - 22 = -3*n - i, 2*n = 5*i + 25 for n.
5
Let x = -26 - -29. Solve x*t - 5*i - 11 = 0, 5*i = -5*t + 2*i + 7 for t.
2
Let u(a) = -a**3 - 2*a**2 + a - 2. Let s be u(-3). Solve 0 = -2*h + 5*h - 4*q + s, h + 4*q = 4 for h.
0
Let f = 48 - 45. Suppose -2*d - 3 = -9. Suppose 4 = -i + d*i - 5*p, 0 = 2*p. Solve n + i - f = 3*s, -5*n = 2*s + 12 for n.
-2
Let o(d) = -d**3 - 6*d**2 + d + 4. Let z be o(-6). Let v be 1*5 + 2/z. Let k = -47 + 49. Solve -p = -c, k*c + v = -3*p + 6*c for p.
4
Let i = 27 + -25. Let q be 2/(-3)*6/(-1). Let x(r) = 2*r**2 - 2. Let m be x(q). Solve 4 = -c, 3*k = -i*k + 5*c + m for k.
2
Suppose -5*d + 15 = -5. Suppose q + d + 4 = 0. Let r = 8 + q. Solve -n - p - 7 = r, 20 = -4*n - 0*p - 2*p for n.
-3
Let g(x) be the third derivative of x**6/60 - x**5/20 + x**2. Let f be g(2). Solve -2*w - 30 = -5*p, 2*p + 4*w = -2*p - f for p.
4
Suppose 2*l = -2*l + 24. Suppose l = h - 0*h. Suppose -c - h = -3*c. Solve c*x - 2 = 5*g - 0, -3*x = 2*g - 16 for g.
2
Let u be (-19)/(-3) - (-1)/(-3). Solve -5 = 5*k + u*v - 2*v, 20 = -5*k - v for k.
-5
Let o be 2/(0 - -2) - -2. Let t(k) = -1. Let i(j) = -j + 2. Let f(d) = o*t(d) + i(d). Let a be f(-5). Solve -2*c - 3*u = -4, u - 21 = -3*c + a*u for c.
5
Let v(b) = b**3 - 18*b**2 + 16*b + 20. Let h be v(17). Solve 0 = 3*i - h*r - 18, -2*r + 8 = 2*i - 3*r for i.
2
Let i be (0 - (0 - 1))*2. Suppose -7 = -l + 4*k - 6*k, i*l - 3*k = 0. Solve 0*t + 3*t = 5*d + 28, 5*d + l*t + 22 = 0 for d.
-5
Let p be 46/10 - (-4)/10. Suppose 0 = d - 8 + 4. Suppose -3*c + 44 = -d*s, 5*s + 6 + 3 = -2*c. Solve -2*q + 11 = -4*q - p*r, q + 5*r = -c for q.
-3
Suppose j - 2*j - 5*s = -5, 2*j = -4*s + 22. Solve -4*c + 5*t = 20, -c - j = 2*c - 4*t for c.
-5
Let o = -8 - -12. Solve -o*a = 4*d - 32, 24 = 5*a + 2*d - d for a.
4
Let b(a) = a**3 - 7*a**2 + 2*a - 1. Suppose 0 = -5*k - 4*x + 27, -4*x - 10 = -2. Let q be b(k). Solve -d + n = -6*d - q, 5 = d + 4*n for d.
-3
Suppose -p - 5 = 28. Suppose -t - 2*t = -150. Let r = t + p. Solve -4*s - s = j + r, -4*s - j = 14 for s.
-3
Suppose 4*o - 20 + 2 = -2*a, 2*o = -5*a + 13. Solve o*h + 5*v = 5*h, 4*h + 4*v = 0 for h.
0
Let g be 9 + -4 - 2*1. Let p be -2*(-9)/(-8)*-8. Solve -p = -g*o - 2*m, 9 = o + m + 2 for o.
4
Suppose 23 = 2*v - 3*g, 5 = -g - 0*g. Solve u = 3*a + 4, 0*u + v*u + 14 = 2*a for a.
-3
Let g(c) = -c**2 - 39*c - 71. Let f be g(-37). Let k be 14/8 + 2/8. Solve -5 = p, f*p + 10 = -k*m - 5 for m.
0
Let a = 2 + -1. Let j(b) = 2*b**3 - b**2 + b. Let v be j(a). Solve -v*p + 4*p = 2*g + 4, 4*g - 6 = -3*p for g.
0
Let g(m) = m**2 + 13*m + 6. Let o be g(-13). Solve o = -2*d - 4, -17 = -3*w + 4*d for w.
-1
Suppose 2*f + 5*w + 2 - 27 = 0, -4*f - 4*w + 32 = 0. Solve -i + 3 = 2*l, -f*i = l - 1 + 4 for i.
-1
Let h = -22 - -24. Solve -v - 6 = -2*q, 2*q - h*v = 7*q + 3 for q.
1
Let h = -155 - -157. Solve i = -h*i - q + 13, 4*i - 3*q = 0 for i.
3
Let i be (-9)/6*6/9. Let w be 3 + -1 - (-5 + i). Let h = -5 + w. Solve h*m - 10 = -5*p - 0, m = -p for p.
5
Let x = 5 - 2. Suppose -2*p - 4 = -x*p. Suppose -5*z + 3*z + 10 = 0. Solve -3*m - a + 2 = 6, z*m + 35 = p*a for m.
-3
Suppose -i = i - 8. Solve 3*x + 0*y + 10 = i*y, 12 = 2*x + 2*y for x.
2
Suppose 0*v = -2*v, -2*v + 5 = o. Suppose -y + o*y = 60. Suppose -y = -6*x + 3*x. Solve x*w - 2*b = -0*w + 19, -3*w + b + 11 = 0 for w.
3
Let n be (0/2)/(-2 - 0). Suppose -3*x - 3*y + 24 = n, x + y + 7 = -3*y. Let i = -8 + 11. Solve -i*v = -4*j + 31, -3*j = 7*v - 2*v + x for v.
-5
Let u(l) = l - 1. Let g be u(9). Solve v = -b + 2, b = -2*b - 5*v + g for b.
1
Let n(u) = u**2 - 7*u - 9. Let w be n(8). Let m be 1*(18 - (w - -3)). Solve -4*x - 4*b = m, -x + 0*b - 10 = 4*b for x.
-2
Let l be (-12)/(-54) + (-16)/(-9). Suppose q + o = 8, -4*o = -0*q - q - l. Solve -2*h = q, j - 3 = -j - h for j.
3
Suppose -5 - 1 = -2*f. Solve -5*j + j - 4*g = 0, -2*g = -f*j + 15 for j.
3
Suppose 0 = -2*q + 5*q + 21. Let i(j) = -j**2 - 9*j - 9. Let f be i(q). Solve -f*t = 5*y + 25, 4*y + 7 = -5 for t.
-2
Let d(a) = 2*a - 2. Let z be d(3). Let n be 4/(-2) + z - 2. Solve n*t - 1 = 4*t + w, 0 = -2*t - 3*w - 3 for t.
0
Let s be 3*2/6 + -10. Let m be (s - -11)*5/2. Solve -2*k + 0*k - 14 = -3*f, 3*k + 2 = -m*f for k.
-4
Let h = -4 + 3. Let r = 61 + h. Let v be (r/(-3) + 0)/(-1). Solve 2*y + v = -3*y + 2*f, 3*y = -f - 1 for y.
-2
Let h(n) = -n**2 - 10*n - 21. Let t be h(-7). Solve 2*x + 3*q + 19 = t, 2*x = -2*x + 4*q - 8 for x.
-5
Let v(c) = c + 8. Let i be v(-6). Solve 4*p - 3 = -i*n - 11, -2*p = 0 for n.
-4
Suppose 0*n + 2*u + 20 = 3*n, n - 5*u = 11. Solve 12 = 3*c - h, 5*h = 5*c - n - 24 for c.
3
Suppose 15 - 35 = -4*s. Solve 5*k = -s*d + k - 8, 7 = -4*d - 3*k for d.
-4
Let k = 69 - 65. Solve -20 = -k*a + 2*h + 2*h, 0 = -h - 3 for a.
2
Suppose 5 = -p, 5*l + 3*p = 172 - 27. Suppose -4*t = -l - 20. Let y be (-2 + 0)*(-12)/8. Solve -3*d = -g + t, y*d + 3*g = 2*d - 11 for d.
-5
Let z = 13 - 6. Suppose 3*s + 1 - z = 0. Solve s*a + 3*v + 18 = -v, v + 7 = 2*a for a.
1
Let b = -108 + 116. Solve 0 = -4*r + 2*g - 0 - b, 4*g = 5*r + 13 for r.
-1
Let t = 19 + -5. Suppose 4 - t = -f. Suppose f = -a + 35. Solve -2*j - 20 - 2 = -4*x, 0 = 5*x - a for j.
-1
Suppose 2*h - 16 = -2*h, -24 = -5*g - h. Let n be 7/g + (-3)/(-12). Solve 4*l + 23 = k, -13 = n*l - k - 0*k for l.
-5
Let i be (5 - 8) + (-1)/(2/(-10)). Let r be -1 - -4 - 2/(-1). Solve 0 = r*f + 3*x, -40 = -7*f + i*f + 5*x for f.
3
Suppose -5*y = -8 - 17. Suppose -5*x + 10 = y*a, -5*x + 7 + 3 = -5*a. Suppose x*m = -2*m + 24. Solve -3*n = -m, 4*n - 22 = -5*q + 3*n for q.
4
Suppose 2 = -2*o + 3*o. Suppose -o*w + 36 = -4*l - l, 8 = -2*l. Solve m + 2*h + 2 = -w, -5*m - 5 = -5*h for m.
-4
Suppose q = 2*q + y - 2, -2*q + 5*y + 11 = 0. Solve -b = 4*g - 12, -q*b = 2*g - 0*g - 16 for g.
2
Suppose -2*b = -y - 27, 0*b - 3*y + 31 = 2*b. Solve -11 - b = 5*m + 5*w, m + 4*