- p = 0, -5*t + 3*u - y = 7*u for t.
-1
Suppose -8*n + 9*n = 6. Suppose -2*v = 3*z - n, 2*v + 28 = 4*z - 2*v. Solve f + 5*h + 17 = 0, 4*f - z = -h - h for f.
3
Let m(z) = -z + 2. Let g be m(0). Solve 2*w + g*j + 14 = 2, 25 = -5*j for w.
-1
Let u = -14 + 8. Let z be u/(-21) + (-2)/7. Solve 4*x - 2*x - 5*k - 28 = z, -2*x + 2*k + 16 = 0 for x.
4
Let i be (-9)/(-2)*(-20)/(-15). Solve -2*t - 8 = -k, -k + 5*t = 4*t - i for k.
4
Suppose 0 = -2*j - 0*j - 6. Let c be (-17)/2*(j + 1). Solve -3*s = -5*r - c + 52, -3*s - 5*r + 5 = 0 for s.
-5
Suppose 0 = 4*u - 21 + 1. Solve u*h - 10 = 0, 1 = -4*p + 3*h - 1 for p.
1
Let o = 0 - -3. Suppose 0 = h - 3*z + 8, o*h - 3*z = z - 4. Solve 0 = 4*m - h, 9*m - 4*m = -4*q + 1 for q.
-1
Let b = 54 + -29. Let k = b + -9. Solve k = -3*x + 2*q, -5*x - 22 = -2*q + q for x.
-4
Let a = 41 + -37. Solve 0 = a*h + 2*j - 0*j - 8, h = -5*j - 7 for h.
3
Suppose -17*b + 21 = -10*b. Solve 0 = -4*m + 2*a, 0*a = -m + b*a + 10 for m.
-2
Suppose 20 = 3*c + 2*y, 1 = y + 3. Suppose -3*g = -c*g. Solve 4*i - 3*p - p - 24 = g, -2*i - 3*p - 13 = 0 for i.
1
Let a be 0/(-2)*10/30. Solve l + 12 = 4*w - a*l, l = w for w.
4
Let p be (-2 - 6)/((-2)/1). Suppose -c = 3*c + 2*a - 8, 0 = c + p*a - 2. Suppose o - c + 0 = 0. Solve o*l + 5*t + 18 = 0, 2*l = -l - 4*t - 13 for l.
1
Let c(f) = f**3 - f**2 - f - 10. Let b be c(0). Let n = b + 18. Solve -4*h = -2*g + 5*g + 7, -2*h = n for g.
3
Let u be (-10 + 14)*(3/(-2))/(-3). Solve 2 = -2*l - u, -4*s = l + 18 for s.
-4
Let y = 11 - 7. Suppose 2*j + 10 = y*j. Solve p = 2*k + 6, 6 = -j*k + 5*p + 1 for k.
-5
Let n(s) = s + 12. Let y be n(-7). Solve 0 = -y*v + 2*f + 6, 0*v + 5*f = v + 8 for v.
2
Let o be (-4)/(-18) + (-350)/(-45). Solve -n - 2*x + 4 = 0, x + o = 3*n - 6*n for n.
-4
Let r(s) = -s**2 + 16*s + 4. Let a be r(15). Solve 4*l = -2*q + l - a, -5*q - 28 = l for q.
-5
Let a(r) = -r**2 - 3*r - 5. Let u(t) = t**3 - 2*t**2 - 7*t - 11. Let f(g) = 7*a(g) - 3*u(g). Let m be f(-2). Solve -3*w - 3*b = -m, -2*w + 3 = -4*b - 3 for w.
5
Let k(n) = -n**3 + n**2 + 2. Let l be k(2). Let t = 0 - l. Suppose -5*v + 8 = -t*s - 4, 0 = 4*s + 4*v - 32. Solve 5*f + 2*c + 19 = 5*c, 2*f = s*c - 2 for f.
-5
Suppose 2*n + p - 6 = -0*n, 3*n - 3 = -3*p. Solve 0 = 3*r + n*b - 4, 11*r + 18 = 6*r + 4*b for r.
-2
Suppose -3*j - 2 + 0 = -4*b, 0 = 2*j + 3*b + 7. Let t be j*-3*(-4)/(-8). Solve 0 = -r - 4*a - 16, -4*r - t - 5 = 2*a for r.
0
Let d = 5 + -1. Suppose 0 = -d*k + 3*s + 36, 2*k + k + 2 = -5*s. Let p = -4 - -6. Solve -c = 2*u - p*c + 11, 0 = 2*c - k for u.
-4
Let r be 2/(-8) + (-3)/(-12). Suppose 0*o + 4*o + 144 = r. Let x = o - -54. Solve -3*g - 3*b + x = -5*g, -3*g - 4*b + 7 = 0 for g.
-3
Let x be 5 + -1 - (5 + -4). Let i(p) = p - 12. Let g be i(14). Suppose 2*k = -k + 6. Solve g*l = -3*j + 4 + 3, -23 = -x*j + k*l for j.
5
Let w(b) = b**2 - 4*b - 12. Let s be w(6). Solve -n - 2*o - 9 = s, 3*n = -0*n + 4*o - 7 for n.
-5
Suppose -7*p - 30 = -2*p. Let q(f) = -f - 3. Let i be q(p). Solve -i*x - a - 5 = 0, 5*x + 2 = -2*a - 6 for x.
-2
Let t(w) = w**2 + 3*w - 3. Let j be t(1). Solve 2*a = 3*a + 3*q - 7, a - 3*q = j for a.
4
Let t be (-1 + 1)/(0 - 1). Suppose t*i + 40 = 5*i. Solve 4*j - 22 = 5*m, 0 = 2*m + 2*m + i for j.
3
Let i(l) = 4*l + 1. Let f be i(3). Suppose -2*j = 5 - f. Solve -2*c = -2*y - 8, 3 = c + 2*y - j for c.
5
Suppose -6 - 2 = -4*i, 0 = -4*j + 2*i + 8. Suppose -j*h = -h - 6. Let a be -2 - 1/(2/(-8)). Solve -5*l + 5*w + 8 = h, a*w + 2 = 4*l for l.
0
Let g be (-69)/(-4) + 8/(-32). Suppose -g = -2*b + 3*a, b + 7 - 2 = -3*a. Solve -2*f = x + 1, -5*x - 7 + 2 = -b*f for f.
0
Suppose -5*t + 5*d + 45 = 0, 5*d = -2*t + d - 12. Solve -4*y + t*u - 24 = 0, 2*y - 4*u + u = -16 for y.
-2
Let y = 2 - -34. Suppose 3*c = 5*t + 2*c, 0 = 5*t + 4*c. Solve 4*g + 4*m + y = t, 4*g - 1 = g + 4*m for g.
-5
Suppose -3*c + 9 = 0, -2*c + 3*c + 3 = l. Suppose -l = 2*d - 18. Solve -d = -2*r - 5*w, 4*w - 4 = -r + w for r.
-2
Let v(p) = 4*p - 42. Let g be v(11). Solve t = g*t - 4*i - 12, 5*t - 10 = -5*i for t.
4
Let a(v) be the third derivative of v**6/10 - v**5/60 + v**4/24 - 2*v**2. Let o be a(1). Suppose 2*j - o = -j. Solve 2*u + 8 = 0, -n + u + u = -j for n.
-4
Suppose h - 32 = -3*h. Suppose h*w - 11*w + 9 = 0. Solve -w*f + 5*d - 14 = 0, -3*f + d - 4*d = 6 for f.
-3
Suppose 0*i + 12 = -4*i. Let x be 2*((-54)/4)/i. Let c(r) = 4*r**2 - 4*r - 3. Let p be c(-2). Solve -4*h - 4*t + x*t + p = 0, -3 = -h - t for h.
4
Suppose 3*c - q - 14 = 0, 0*c - 4*c + q + 17 = 0. Solve -2*h + 15 = h, g = c*h - 16 for g.
-1
Let v = 0 + 3. Suppose -2*u = 4*f + 2*u - 32, 0 = 5*f - v*u - 8. Solve -3*t = -2*m - 8, -f*t + 0*m - m + 18 = 0 for t.
4
Let m(o) = -o**3 + 5*o**2 + 8*o - 10. Suppose 0*y + 6 = y. Let u be m(y). Solve 0*h + 4*a = h - 11, -u*a - 1 = h for h.
3
Suppose 2*d - 14*d + 48 = 0. Solve -2*z = -r - 3*r - 14, -z - r = -d for z.
5
Let f(q) = q**2 - 9*q - 6. Let k(n) = -n**2 + 1. Let g(b) = -f(b) - 2*k(b). Let y be g(-9). Solve -3*s - y*j = 2*s + 11, 3*j = 2*s + 9 for s.
-3
Suppose -2*h + 3*y + 35 = 3*h, 3*h - 17 = y. Solve 0 = -h*r - 2*s + 16, -3*r + s = -s - 19 for r.
5
Let y be 1 + 1 - 3 - 10. Let n = y - -16. Suppose 0 = n*u + 12 - 37. Solve m + 11 = 5*c, -m - 2*m = -u*c + 3 for c.
3
Suppose 2*o + 0*o + 6 = 0. Let p be 188/20 - o/5. Solve 4*u = -4*h + 24, 0 = -7*u + 2*u + 3*h - p for u.
1
Let u = 5 - 2. Suppose 2*p + u - 13 = 0. Solve 0 = -p*w + n - 14 - 9, -5*n - 35 = 5*w for w.
-5
Suppose -5*h + 3*o = -15, 3*o + 12 = 4*h + o. Solve 5*u = h*d - 3 + 15, 20 = -u - 5*d for u.
0
Let w(p) = p + 2. Let c be w(3). Solve -3 = r - c*q, r + 0*q + 2*q = -3 for r.
-3
Let n(f) = 2*f - 6. Let v be n(7). Solve -3*k = 2*c + 9, -v = -3*c + 1 for k.
-5
Let v = 22 + -17. Solve -2*z = v*q - 4*q + 7, -4*q + 27 = -3*z for z.
-5
Suppose -2*i - 2*d = -10, -3*i - 5*d + 10 = -i. Solve -3*p + i + 8 = -2*u, 5*p = 5*u + 25 for p.
3
Suppose 0*r = 3*r - 15. Let p be (6 + -2)*r/10. Solve 4*s - 7 = p*s + 3*n, -s + n + 1 = 0 for s.
-4
Let u be -3 - (-9)/6*2. Suppose u*x = -3*x + 15. Solve -3*n + 0*n - 5*g = x, -n + 2*g + 2 = 0 for n.
0
Suppose -5*t = -t + 8. Let z be t/(-1)*1/2. Solve 2*j - z + 2 = -i, -3*j = 4*i - 6 for i.
3
Let v(s) = s**3 - 7*s**2 + 4*s + 3. Let p be v(7). Let c = p + -8. Solve -w = -5*w + 5*z - c, -2*w = 5*z - 11 for w.
-2
Let m(g) = -6*g - 16. Let h be m(-7). Solve 0 = t + 2*i + 10, -t - h = 2*t + 5*i for t.
-2
Let h be 6/(-27) - (-152)/36. Suppose -2*z + h*r = -4, r - 13 = z - 4*r. Solve -3*i - 3*c + z = -0*i, -2*c = -2*i + 8 for i.
4
Suppose -b + 0*b = -16. Let r be 3/((-12)/b)*-1. Solve 0*h - 4*h - 8 = -r*a, 2*a = 6 for h.
1
Let u(g) = -g**3 - 2*g**2 + 6*g + 5. Suppose 2*q - 5*m - 7 = 0, 4 = -q - 3*m - 9. Let h be u(q). Solve -4*a = 5*t - a - h, -3*t = 3*a - 3 for t.
5
Suppose 2*x + 2 = -8, -29 = -q + x. Suppose 3*m - q = m. Solve 2*y + 2*r - 10 = 0, 3*r - m = -3*y + r for y.
2
Let n(a) = a**2 + 3*a + 3. Let s be n(-3). Let w = 38 - 23. Suppose -9 - w = -s*x. Solve -v + 6*v - 2*f - x = 0, v = -f + 3 for v.
2
Let k(q) = q + 11 - 11 + 11. Let n be k(-7). Solve o + 3*m = 7*m - 13, m = o + n for o.
-1
Suppose 5*y - 7 = 13. Suppose 0*u - 2*u = -y. Suppose -m = 2*i - 6*m - 70, 5*m - 70 = -u*i. Solve -5*l + 2*k + 8 - i = 0, -l = k + 4 for l.
-5
Let g = 1 + 0. Let n = g + 1. Let x(l) = -l**2 + 7*l - 9. Let u be x(4). Solve u*f = 3*t + t - 32, -2*f - n*t = -2 for f.
-4
Let v(l) = l - 5. Let w be v(5). Solve 6 = -3*j, 2*j + 16 = -3*q - w*j for q.
-4
Let h be (2 - 10/4)*-8. Solve 5*c = -4*y - 8, -3*c + h*c = -3*y + 5 for c.
-4
Let a(q) = -q - 4. Let b be a(-6). Let r = b - 3. Let z be 6 + 2 + (r - 2). Solve -z*w = -3*m - 4 - 1, -4*w = -m - 4 for w.
1
Let h be 1685/25 - (-2)/(-5). Let i be 4/(-2) - -1*5. Suppose -i*f - 5*c = -h, -f + 4 = -c - c. Solve -2*t - f = -2*r, r - 12 - 5 = 3*t for t.
-5
Let z = 144 + -140. Solve -t + 0*t = 2*a + 8, -z*a = 5*t + 28 for t.
-4
Suppose 18 = 6*p - 6. Solve 3*b - 14 = 2*b - 4*d, 1 = -p*b + 3*d for b.
2
Let t = -20 + 21. Let i be (-1)/(t - 21/18). Solve -5*n + 2 = -5*u - 3, -4*u + 2*n = i for u.
-2
Suppose 2 = -x - 2*q, -2*q + 3 = 7. Let i be 2/3*9/x. Solve 3*w - 2*w - 7 = i*h, 3*h + 9 = 0 for w.
-2
Suppose 4*p + 4*f = -12, -4*p + 0*f = f - 3. Solve 8 = 2*o - n - p, 2*n = 0 for o.
5
Let a = -9 + 11. Let b be (120/12)/(2/1). Solve -2*x = 2