5*l - 15, 3*s - s - 4*l = -12 for s.
0
Let x be 2/(-7) + (-58)/(-7). Suppose 6*l = l + 35. Let i = -5 + l. Solve -x*o + 4*o = 3*a + 5, i*a = 10 for o.
-5
Suppose 0*g = -5*g - 10. Let a be (-26)/(g - -3 - 3). Let d = -5 + a. Solve -4*w - d = -4*m, 3*w + m + m - 14 = 0 for w.
2
Suppose -u + 2*p = -1, -1 = -u - 0*u - 2*p. Suppose 3*q = 2*q + u. Solve 0 = 4*a - 2*m + 10, -a + 5*m - q + 3 = 0 for a.
-3
Let c = 140 - 138. Solve 4*b - c*t + 2 = 0, -4*t - 26 + 3 = b for b.
-3
Let r be (-1 + -7)/(2/(-1)). Suppose 0 = r*y - 5*y. Solve y = -2*i - 2*d + 2, i - 6 - 13 = 5*d for i.
4
Let a(g) = g - 6. Let n be a(8). Suppose -5*s + 60 = 3*u, -u = -4*s - 3*u + 48. Solve -4 = -4*i - q, -i - 3*q = n*i - s for i.
0
Let o be (-4 - -4) + 4/2. Suppose 1 + 2 = 3*f - 2*g, 3*g - 15 = -o*f. Let m be (14/1 - 2) + -1. Solve -2*c - 5*x = 2*c + m, -c - 7 = -f*x for c.
-4
Let v = 3 + -7. Let m(j) = j**3 + 8*j**2 + 8*j + 8. Let x be m(-7). Let u be 0 - (1 + v) - x. Solve n + 11 = -2*i, 0 = 3*n - u*i + 13 - 4 for n.
-5
Let h(l) = -l + 9. Let o be h(4). Solve 5*m - 50 = o*c, 7*m - 2*m - 35 = 2*c for c.
-5
Let y be (-4)/14 - 136/14. Let i be (8/y)/((-1)/5). Let z be 2/5 - (-146)/10. Solve 5*r - m + 8 = -z, i*r - 3*m = -25 for r.
-4
Let g be (-3)/((-510)/(-132) + -2 + -2). Solve a + g = 4*v, -3*a = -4*v + 2*a + 30 for v.
5
Suppose 9*p - 2*p - 14 = 0. Let g be -6 - (-2)/4*-2. Let l = g + 10. Solve -l*v = -p*u - 12, -4*u - 11 = -u - v for u.
-3
Let m(b) = 3*b**2 + 1. Let h be m(1). Let q(s) = s**3 - 2*s**2 + 2*s + 1. Let g = -1 - -3. Let l be q(g). Solve -l*o + 8 = -h*r - 3, 2*r = -o - 9 for r.
-4
Suppose -2*r + 6*c - 52 = 3*c, r = c - 28. Let q be (-152)/r - 1/(-4). Solve -3*d + 6*d - h = 4, 3*h - 2 = -q*d for d.
1
Suppose 0 = -12*j + 9*j + 6. Solve -3*m - 2*m = -c, c + j*m = 0 for c.
0
Let h(y) = -2*y + 16. Let v be h(6). Solve 10 = v*q + 2*s - 14, 0 = 3*q + 4*s - 23 for q.
5
Let c = -20 + -1. Let v = c - -21. Suppose -b + 3 + 14 = 0. Solve 4 = -2*u - 3*x, v = 3*u - 3*x + 2*x + b for u.
-5
Suppose 3*n + a = 9, 12 = 4*a - 0*a. Solve -w - 8 = -5*s - 32, 0 = n*s - 2*w + 8 for s.
-5
Suppose 3*a = 6*a - 12. Suppose 5*z - 14 + 4 = 0. Let g be (z - 3)*-6 + 1. Solve -2*n - d - g = 0, 0*n - a*d - 10 = -n for n.
-2
Suppose 102 - 82 = 4*q. Let d be (7/2)/(1/6). Solve -g + 1 = -v - q*g, 4*v = g - d for v.
-5
Let u be 8/14 - 80/(-56). Solve 0 = 5*c - u*a, 3*c + 8*a - 3*a + 31 = 0 for c.
-2
Let s be 32/7 - (-20)/(-35). Solve s*g - v + 5*v - 20 = 0, v = -5*g + 9 for g.
1
Suppose -2*y - 8 = -4*y. Solve -2*f + 2 = -5*i + 14, 28 = y*i + 3*f for i.
4
Let i = -119 - -122. Solve -x = -i*r - 10, 2*r - 14 = 5*r - 2*x for r.
-2
Suppose 8*n - 62 = -14. Solve 0*t = -2*p + 2*t - 2, 2*p - 4*t - n = 0 for p.
-5
Suppose 2*r + r = 6. Suppose -r*c = 5*h - 324, -h + 57 + 5 = -c. Suppose 0*j + 4*g = -2*j + h, -3*g + 174 = 5*j. Solve o - l + 3 = 0, 5*o + 3*l + 11 = j for o.
2
Suppose 0 = -14*z + 13*z. Solve 3*s - c + 3 - 5 = z, 3*s + 3*c + 6 = 0 for s.
0
Let d be (-3)/(1 + 10/(-4)). Let f be (-6 - -2)*(-10)/8. Suppose f = -h + 8. Solve a - d*b - 1 = 1, 9 = -h*a + b for a.
-4
Suppose -2 + 5 = g. Solve 2*b = g*k + 1 - 11, 0 = -3*b - k - 4 for b.
-2
Let k(r) = r**2 - 4*r. Let l be k(5). Suppose -3*v + 4*v = n - 1, 20 = l*n. Solve 5*y + 2 = 4*w - 8, 4 = -2*y + v*w for y.
-2
Let l = -5 + 4. Let u be (-2)/(6/(-4) - l). Suppose -4*g - u*z + z = -17, -4*g + 22 = -2*z. Solve 2*o = -g*h - 3*o + 25, h - 9 = -3*o for h.
3
Let i = 7 - -1. Solve -3*s = -k - 8, 4*k + k = 3*s + i for k.
4
Let o(q) = -q**2 - 7*q - 3. Let t = 6 + -12. Let k be o(t). Solve 3*r + 2*v - 6 = -r, r + v - k = 0 for r.
0
Suppose 5*s + 4*w - 14 = 6*w, 5*w + 20 = 5*s. Let q be (-2 - 4/12*-3) + 8. Solve 0 = 2*h - s*a + 10, -2*h = -q*h - 5*a - 5 for h.
-3
Let r(c) = 4*c**2 + 4*c - 5. Let l be r(1). Solve 0*w = l*v + 2*w + 7, 0 = -v - 5*w + 2 for v.
-3
Let a(t) = -2*t**3 - 4*t**2 - 3*t - 1. Let r be a(-2). Solve 0*x - r*x = 2*j - 8, -5*x = 3*j - 12 for j.
4
Suppose 3 = 2*h - 3. Let q be 1*2/3*h. Suppose 8*r = 3*r. Solve -q*y = -6, -4*l - 2*y + r*y = -22 for l.
4
Suppose -h = -9 - 0. Let i = h + -4. Let r be (-1)/(-2)*(1 - -1). Solve 2*v = -i*b - 3*v + 10, -2*b - 3*v + r = 0 for b.
5
Suppose -4*x = 2*s, -7*s + x = -3*s. Suppose -6*a = -4*a - 4. Solve a*u = 4*r + 2, 0 = -s*r - 4*r + 4 for u.
3
Let v be 92/16 + (-2)/(-8). Suppose 3*p - p - v = 0. Suppose p*x - 6 = x. Solve 5*u + 4*f = 23, -2*f + 4*f = x*u - 5 for u.
3
Suppose 2*v - 4 + 0 = 0. Let i be v - ((-9)/(-3))/(-1). Suppose x - 2*f + i = 12, 0 = -5*x - 3*f + 48. Solve 3*u = -3*t - x, u + 3 = 8*t - 4*t for u.
-3
Suppose 3*b - 3 + 4 = -r, r - 9 = 2*b. Let p(z) = 2*z - 10. Let v be p(7). Let k = -24 + 44. Solve -5*o = -r*m - k, -o + 0 + v = m for m.
0
Suppose -16 = 3*v - 7*v. Suppose 0 = 2*x + x + 2*d, 0 = -v*x + 4*d. Solve 4*h - 5*q = -x*q + 17, -2*h + 5 = q for h.
3
Let u be (-1)/(-1) + (-9)/(-3). Let c(v) = v**2 - 5*v + 5. Let x be c(u). Solve -16 = -2*y - 4*w - w, -y = -2*w + x for y.
3
Suppose 5*a + 5*o - 45 = 0, 2*a - 4*o = 49 - 1. Suppose 0 = -2*z + 4*h + a, 3*h = 4*z + 2*h - 14. Solve 6*t - t - z*i = -10, -2*t + 4*i + 10 = 0 for t.
-5
Suppose 7 + 2 = 4*l + 3*o, -5*l - 3 = -o. Suppose 4*x = 4*i - 6 - 2, -2*i + x + 7 = l. Solve 3*t = -i*k + 5, -2*k - 2*t - 2 + 0 = 0 for k.
4
Let a = -20 + 8. Let z = a - -17. Suppose 3*v + 2*v = 20. Solve 2*c + 9 = c - v*r, -27 = -4*c + z*r for c.
3
Let f = -2 + 6. Solve -y - 3*u + 11 = 4*y, -7 = y - f*u for y.
1
Let d(y) = 7*y**3 + 2*y**2 + 2*y + 1. Let n be d(-1). Let x be (n + 2)/((-7)/35). Solve -5*g = x, g = 7*o - 3*o + 12 for o.
-4
Suppose -2*f = 3*p - 26, 2*p - f - 9 = -1. Let t(z) = z + 8. Let s be t(-6). Solve 4*j - s = -2*i, p*j - 4*j + 3 = -5*i for i.
-1
Suppose 4*k + k = 10. Solve -2 = -v - 2*m, 3*v + 0*m = 2*m - k for v.
0
Let n(g) = -g**2 + 4*g + 14. Let d be n(6). Solve 2*a - 24 = -2*f - d*a, -3*f = 4*a - 26 for f.
2
Suppose 93 = 18*b - 15*b. Let u = -3 + 5. Solve -b = -4*q - u*w - 11, -5*w = 4*q - 32 for q.
3
Let k be 35/21 - (-1)/3. Let g(s) = -s**3 + 6*s**2 + 2. Let h be g(6). Suppose h = 2*u - u. Solve -28 = 4*q - 4*o, k*q + 13 = -u*q + o for q.
-2
Let z(a) = 5*a - 2. Let j(u) = -60*u + 25. Let y(s) = -4*j(s) - 50*z(s). Let t = -3 - -2. Let d be y(t). Solve -5*f = 15, -f + 6*f = -m - d for m.
5
Suppose 2*y = 2*u - 18, -u - 4 = 5*y + 5. Solve 4*l - 8 = 2*r, 4*r + u + 2 = 0 for l.
1
Let m be (-10)/35 - 69/(-21). Solve -x + 12 = -4*d, d + 32 = -m*x - 4*d for x.
-4
Suppose -5*q = -x, 2 = -x - 5*q + 12. Let o be (0 + -2)/(2/(-4)). Solve b = -4*r + o*b + 10, 3*b + 14 = x*r for r.
4
Suppose -5*a + a = 24. Let o be 7 + 3 + a/3. Solve 0 = q - 3*n - o, 0*n = n + 3 for q.
-1
Suppose 7*r - 50 = 2*r. Suppose 4*p - r = -2. Solve g = -5*i, 2*g + p*i - 6 = 2 for g.
5
Let f(d) = d**2 + 2*d. Let r be f(-2). Solve -18 = -5*m - 3*l, r = 3*m - l - 8 for m.
3
Let t be (-1)/5 - 64/(-20). Suppose 2*k = k - 5*z, z = -t*k. Let m be -1 - (-2 + k + -2). Solve 3*a = -15, -2*g - m*a - 5 = -2*a for g.
0
Let s be 7*(-11)/((-231)/18). Solve 2*z - 2*b = s, z + z - 5*b = 6 for z.
3
Let b(m) be the second derivative of m**3/6 + m**2 - 2*m. Let i be b(-8). Let a be 28/i*(-36)/14. Solve 2*v - 5*v - 5*t + a = 0, 4*t + 12 = 3*v for v.
4
Let x = 9 - 4. Solve -5*p + 4*p + 7 = -2*j, -j + 10 = -x*p for j.
-5
Let m be 8/3*(45/12 + -3). Solve -4*n - 8 = 3*d, 4*n + 0*n + 12 = -m*d for n.
-5
Let s be 8 - (0 + -2)/(-1). Let t(b) = b - 2. Let u be t(7). Solve 24 = -u*y - g - s, -g = -2*y - 5 for y.
-5
Let t = -5 + 9. Solve 0*b = -b, 4 = 4*k + t*b for k.
1
Let i(k) = k**2 - 9*k + 3. Let p be i(9). Solve 5 = -p*z - 2*x - 0*x, 0 = 5*z + x + 13 for z.
-3
Let w(h) = -h - 4*h + 1 + 6*h + 1. Let f be w(2). Solve f*z + 10 = t - 0*t, -5*t = -z - 12 for z.
-2
Let b = 160 - 147. Solve 2*t - 5*l = -b, 0 = 3*t + 2*l - 14 + 5 for t.
1
Let t be 6/(-9) - (-280)/15. Let b = 23 - t. Solve -b*a + 36 = 5*h - h, -a - 3*h = -16 for a.
4
Let q = -3 + 11. Let j be (-60)/70*7*1/(-3). Solve -u + 4 = j*c - 5*c, -c + q = -5*u for u.
-2
Suppose 4 = -3*o + 88. Solve 2*p - 2*g - 8 = -24, -5*p - o = -2*g for p.
-4
Let j = -3 - -3. Suppose -2*z + 7 = 1. Let y(f) = -f**2 + 5*f - 1. Let a be y(z). Solve j*m = o - m - a, -2*o - 3*m - 5 = 0 for o.
2
Let z = 26 - 22. Let q be z*(-1)/(-4 - -2). Solve 0 = 4*j + 3*y + 7, -4*j + 3*y - q