 - 28, -c*k + 0*n + 5 = -n for k.
3
Suppose -5*r + 8 = 4*g, 4 = -r + 5*r + 4*g. Solve 12 = -r*c - 2*n, -3*c - 4*n - 5 = -1 for c.
-4
Suppose 4*j + 0*j = -20, j = 3*y + 58. Let a be (-4)/((3/y)/1). Suppose -5*l = -l + 4*o - a, l = -2*o + 6. Solve -3*h + x = 14, -h - l = -5*h - 4*x for h.
-3
Let z(s) = -s**2 - 14*s - 25. Let w be z(-10). Solve 3*q = w, -2*q - 30 = -2*x - 6*q for x.
5
Let s(m) = m**3 + 5*m**2 + 10*m + 4. Let g be s(-4). Let n be 32/g*(-5)/2. Solve 2*l = n, 5*b = -4*l + 7 + 6 for b.
1
Suppose 12*p - 9 = 9*p. Solve f - k + 6 = 0, -p*f + 3*k - 12 = -2*f for f.
-3
Suppose 6*q + q - 140 = 0. Solve s = -4*v + q, -2*v - 16 = 3*s - 36 for s.
4
Let m = 2 - -1. Let k be (m - 0) + -1 + 1. Solve k*w + 5*q = -14, 18 = -0*w + 3*w - 3*q for w.
2
Suppose 2*o - 231 = -9*o. Solve -5*u = -3*h + 12 + 1, -u - 4*h - o = 0 for u.
-5
Suppose 4*c - 4*k = 4, -c + 4*k = -4*c + 10. Suppose 0 = -4*j + 6 - c. Solve 0 = -a - 2*y - j + 4, 0 = 5*a - 3*y + 37 for a.
-5
Let f = 13 + -13. Suppose f = -0*m - 3*m + 9. Solve 2*o = 4*i + m*o + 7, 5*i + 35 = 4*o for i.
-3
Let a(g) = -g - 7. Let h be a(-11). Suppose 0 = -3*l + 4*l + 3, -4*r - h*l = -156. Solve -4*u + 1 - r = 5*v, 0 = -3*u + 5*v + 13 for u.
-4
Suppose 2*n - 5 - 5 = 0. Solve -2*d + 3*w - 2 = 1, n*d + w = 18 for d.
3
Let v be (-5)/(-25) - (-59)/5. Suppose 4*m - v = -0*m. Suppose -u = 2*u - 69. Solve 5*j - m*b + 16 = 0, 3*j - 5*b + u - 7 = 0 for j.
-2
Suppose 3*o - 3 - 4 = -4*x, x = o + 7. Let v(w) = 2*w. Let n be v(10). Let u be (-2)/o + n/6. Solve 4*r + 6*b - 4*b + 12 = 0, 0 = u*b for r.
-3
Suppose -7*n = -3*n - 12. Let z(a) = a**3 - a**2. Let o be z(0). Let s = o + n. Solve -4 = -5*y - 2*j, y = j - s*j - 4 for y.
2
Suppose 5*q = 3*q - 4. Let s be q*9/(-30)*5. Let x = 6 - 4. Solve c - 3 = -x*p, -6 = -s*c - 4*p + 3 for c.
3
Let l(n) = 3*n. Let x(p) = -p. Let z(a) = -l(a) - 4*x(a). Let c be 48/22 + 22/(-121). Let w be z(c). Solve 4*o = u, w*o = 4*u - 9*u + 22 for u.
4
Suppose 0*q - 2*j + 6 = -3*q, -8 = 4*q - j. Let h be (-2)/(q - 0) - -1. Suppose 2*c = 5*c. Solve c = -4*i - h*n, 0 = -2*i + n - 0 - 4 for i.
-1
Let y(h) = -h**3 + 3*h**2 + 6*h - 3. Let o be y(4). Solve -3*t + v = -8, 2*t - 4*v = o - 3 for t.
3
Let i(q) = 2*q**2 + q + 2. Let l be i(-1). Solve 22 = -5*s + l*o, -o + 2 = -3*o for s.
-5
Suppose -5*x = -3*x + 4*p - 28, -5*x + 92 = -p. Solve 5*k - 11 = 3*r + x, 5*k = 4*r + 32 for k.
4
Suppose 4*g = -y + 2*y - 30, -4*y + 84 = 2*g. Suppose -7 = -2*q - 1. Solve -5*o + q*i + 19 + 0 = 0, -i + y = 4*o for o.
5
Suppose 6*s - 11 = 7. Solve -5*l - 19 = -3*t, 2 = 4*l + s*t + 1 for l.
-2
Suppose -5*s = 5*a - 0*a - 25, -5*a = -3*s - 17. Solve a*t = -3*u + 8, 5 = -2*u - 4*t + 13 for u.
0
Let i be (-9)/(-2) - 18/12. Suppose -2*q = i*q - 25. Solve -7 = -5*k + t + 20, -q = k + 5*t for k.
5
Let p be 2*5/(-2)*-1. Suppose -8*l + 5 = -3*l. Solve 4*u = 8*u + p*j + 11, 0 = -j + l for u.
-4
Suppose -2*y = -3*y. Suppose y*b + 6 = -3*b. Let j be 3 + (b + -1)/(-3). Solve 2*l + 2 = -j*n + 4, n - 3*l = -10 for n.
-1
Let t be 1*(1 + 1)/(-2). Let w = 5 + t. Solve -p = 6*h - 3*h + 4, 4*h = w*p for p.
-1
Let v(a) = 2*a - 6*a + a**2 + 0*a**2. Let s be v(4). Solve 0 = -3*t + 4*i - 8, -2*t - i + 1 + 12 = s for t.
4
Let r(z) = -2*z - 1 + 6*z**2 - 3*z + 7*z + 2. Let p be r(-1). Let i be (-2)/p - (-10)/25. Solve -5*y = -5*b, 3 = -i*b - b for y.
-3
Let h = -17 + 16. Let u(k) be the first derivative of -3*k**4/4 + 1. Let r be u(h). Solve 3*n + 4*f = -f + 4, r*n = -2*f - 2 for n.
-2
Let r be 2 - -15*(1 + 0). Let c = 25 - r. Suppose -3*h + c - 2 = 0. Solve 0 = -4*g, -h*g + 9 = 4*l - 7 for l.
4
Let w(k) = k**2 + 10*k - 7. Let d be w(-11). Let i = -7 + 4. Let s = i + d. Solve -31 = 5*h - 4*p, 0*h - 3*h - 2*p = s for h.
-3
Let q(x) = x + 14. Let y be q(0). Let k be ((-4)/8)/((-2)/4). Suppose 0 = -3*s + 8 + k. Solve -s*h - 5*r = -40, 21 = 2*h + 5*r - y for h.
5
Suppose -2*p - 5 = 4*v + 3, v - 8 = -3*p. Solve p*h = r - 0 + 22, 0 = -r + 3*h - 17 for r.
-2
Let t(r) = -r**3 - 6*r**2 - 7*r - 1. Let g be t(-5). Let o = g + -4. Let w be ((-9)/(-12))/(1/4). Solve w*m + 2 = -5*l, -2*m + o*l - 14 = -m for m.
-4
Let l(i) = -i**2 + 7*i - 6. Let y = -1 - 1. Let v be (12/(-30))/(y/30). Let h be l(v). Solve 4*s + 33 = 5*f, -3*f + 11 = -h*f + 2*s for f.
5
Suppose -12*z = -9*z. Solve -r + 10 = w + 3*r, -2*w + 2*r = z for w.
2
Let v be (0 - -2) + -1 + 1*-1. Solve -5*x - 4*y + 25 = v, -9 = -6*x + 2*x - y for x.
1
Let d = -31 + 31. Solve -x = -2*v, d = -4*x - 3 - 5 for v.
-1
Let p be 2*1/1 + 34. Let b(n) = 2*n**2 - n - 2. Let o be b(-2). Solve s - d = 2*s - o, -5*d = 4*s - p for s.
4
Let v = -1 + 5. Let p(i) = -i**3 - 5*i**2 - i - 3. Let n be p(-5). Suppose 3*q - 13 - n = 0. Solve -q*h = -2*o + 6*o - 4, v = -5*o - 4*h for o.
-4
Let r(t) = t**3 - 2*t**2 - 2*t + 5. Let p be r(0). Let b be ((-3)/5)/(1/(-5)). Solve -4*u + b = z - 0*z, -15 = -p*z for u.
0
Suppose 5*h - 24 = 4*v, 2*h + 4*v = -0*v + 4. Solve 20 = -2*c + b - 5*b, 2*c = h*b + 4 for c.
-4
Suppose 45 = 4*x + x. Solve 3*a + x + 7 = -4*p, 0 = -p + 5*a - 4 for p.
-4
Let p = -7 + 11. Let v(a) = -a**2 + a + 210. Let c be v(0). Let m be c/55 + 2/11. Solve d - p = -m*u - 3*d, 7 = -5*u - d for u.
-2
Suppose -20*x + 18*x + 8 = 0. Solve 3*s - 5*s = x*f - 8, -5*s - 5*f + 10 = 0 for s.
0
Let s be (-10)/(-30) - (-8)/3. Solve 3*g + 11 = 2*b, -3*b = 5*g - s - 4 for g.
-1
Suppose 3*w = 48 + 15. Suppose 3*z = -2*l - 7, -4*z + z - 5*l = 22. Let i(s) = s**3 + s**2 + 5. Let v be i(0). Solve 5*o = 3*f - 20, -2*f = v*o + w - z for f.
0
Suppose 6*l - 9*l = -15. Solve l*f = -2*s - 30, 3*f + 5 = -2*f + 3*s for f.
-4
Suppose -6 = 3*z - 5*z. Solve 3*n - 7 = 5*v + 4, z*n + 9 = 0 for v.
-4
Let q(x) = -x**2 - 14*x + 5. Let d be q(-14). Solve -2*v + 5 = l, 3*v + 0 = -d*l + 4 for l.
-1
Suppose -w - 1 = -3*c + 9, 5*c = 5*w + 10. Solve -3*a = 2*r - c*a + 3, -2*a = 4*r + 2 for r.
-1
Let w = -61 + 63. Solve -3*r + w = 2*z, 4*r + 0*r + 9 = -5*z for r.
4
Suppose -4*w - 20 = -0*w. Let f be 6/10 - (-3)/w. Let b be 0 - (f - (-2 - -12)). Solve -2*j = 3*s + 6 - 2, 2*j - 4*s = b for j.
1
Suppose -6 = -z - 2*z. Solve 5*d + 28 = z*r, 0 = 3*r - d + 6*d + 8 for r.
4
Suppose 0 = 4*g + 8, -a - 2*g - 5 = 2. Let v(c) = -c**3 - 3*c**2 - c - 1. Let r be v(a). Solve -r*p = -3*b + p, 2*b = -p - 3 for b.
-1
Suppose -2*g = -5*z - 30, -2*g - 4*z - 10 + 4 = 0. Suppose 2*b - 3 = 1. Solve b*i + g*a = 3*i + 27, 5*a - 31 = 3*i for i.
-2
Let h be (4*3)/(-2)*4. Let v be 6/h + 74/8. Suppose -3*g + v = -3. Solve 3*a + 6 = o, -2*a + o - g = -1 for a.
-3
Suppose -28 + 52 = 4*s. Solve -2*l + 5*a - 19 = 0, 0*a - s = -3*l - 4*a for l.
-2
Let d be 7 + -5 + (2 - -1). Suppose -d*c + 3*c + 50 = n, 5*c = -4*n + 122. Solve -2*w - w + 2*r = -7, w + 5*r + c = 0 for w.
-1
Let m(i) = -i + 12. Let c be m(0). Let f = 27 - c. Solve 0*v + f = 3*v, -2*w - 2*v = -12 for w.
1
Suppose p + 3 = 0, 15 = 4*r - r - 3*p. Solve r*u + 23 = 5*c, 7*c - 28 = -3*u + 2*c for u.
1
Let y be (-4)/(8/(-6))*3/3. Suppose 15 = 5*s + 5. Solve -5*w = -k + y, 0*k - s*w - 4 = k for k.
-2
Let t = -2 + -12. Let j = -10 - t. Suppose 7 = -j*p + 3*b, -4*p + 3*b - 11 = -2*p. Solve p*f + 4*v - 24 = -v, 18 = -f + 5*v for f.
2
Suppose 0 = 2*k - 2*b + 2, -k = 2*b + 2*b - 24. Suppose -16 = -4*x + 8. Solve u = -2*o + x, -3*o + k*u = 2*o - 15 for o.
3
Suppose 12 = -2*x + 5*x. Solve 0*r = x*s + 3*r - 5, 0 = -5*s + 2*r + 12 for s.
2
Let n be 3/(-2)*(-8)/3. Suppose n = 4*f, 3*o + 0*f = -f + 7. Let q be 0 + 4/(-2) + 13. Solve 3*l - q = -2*t, t = -t + o for l.
3
Suppose w + 0 = 2*y + 4, 0 = -4*w - 4*y + 4. Solve 5*r - 19 = -v - w, 5*v + 15 = 0 for r.
4
Suppose -3*z = 2*z - 50. Solve -10 = x + 3*g, 3*x + g = 2*g - z for x.
-4
Suppose -2*f - 1 + 3 = 0. Let o = f - -4. Let u be o/((-6)/(-3) + -1). Solve 0*b - 4*d - 5 = -u*b, 3*b - 3 = -d for b.
1
Let m be 0*-1*2/(-2). Suppose k + 0*k - 20 = -4*h, -k - h + 5 = m. Solve -t - 1 = k, -2*n - t + 19 = 3*n for n.
4
Let i(u) = u**3 - 7*u**2 - 7*u - 5. Let p(w) = -4*w - 1. Let a be p(-1). Suppose b - 5 = a. Let s be i(b). Solve -s*q + 22 = 5*l + 8, 2*q - 8 = -2*l for q.
3
Let m be (30/25)/(9/30). Solve -5*f = -2*r + 9, -r - 14 = m*f - 6*r for f.
-1
Suppose 0*c = -c - 1. Let r be 5 - (c + 3)/2. Solve -t - 5*m = 3*t + 21, -20 = r*m for t.
1
Let g be (-30)/(-8) - (-3)/(-4). Let d = 2 + g. Solve -5*b 