+ 3*c, 5*c + 22 = -4*y - 23 for y.
-5
Suppose -3*z + 4 = -2. Solve g - 9 = -2*x, z*g - x = -3 + 1 for g.
1
Let t = 19 + 6. Solve 2*x + x - 15 = 3*b, 3*b - 5*x + t = 0 for b.
0
Let y = -6 + 10. Suppose -n = 2*i - 0 - 11, y*n = 4. Suppose -i*k + 4*k = 0. Solve -5*l - 4 - 1 = k, -4 = -c + 3*l for c.
1
Let s be (-12)/(-18)*9/2. Solve -4*w + 1 = w + 4*a, -4*a = s*w - 7 for w.
-3
Let a = 138 - 133. Solve a*d - 23 = 2*j, -4*j = -5 + 1 for d.
5
Suppose 530 = -0*h + 5*h - 4*t, 3*h - 2*t = 316. Let f be 4/18 + h/27. Solve 4*p = -f*w - 12, 2*w = 3*p - 2*p - 9 for p.
1
Suppose -m + 100 = m. Suppose m + 30 = -5*k. Let l be (k/10)/4*-30. Solve 0*t + 4*t - 3*x - l = 0, 3 = t - x for t.
3
Let a be 0/(-5)*(-2)/6. Solve a*l = 2*h - 2*l, 4*l = -2*h + 30 for h.
5
Let q be -2 - -1 - 36/(-12). Solve 3*l - 3*z - 3 = q*l, -3*l - 7 = -z for l.
-3
Suppose -4*q - 2*n + 31 = -n, -4*n = -5*q + 23. Suppose -6*c = -q*c. Solve -4*a = -4*y - 24, 5*a - 24 = 2*y - c*y for a.
4
Let c = 9 - 4. Suppose 3*j - 5*m = -0*m + 28, 5*j + 5 = -2*m. Let x = j + 3. Solve -23 = -c*f + x*s + 9, f - 7 = s for f.
4
Suppose -4*v = v + 45. Let a = 14 + v. Suppose 4*r - 5*n - 3 = 0, -5*r - 5*n + 53 = -r. Solve -4*q - r = -a*u, 0 = -3*u - 4*q + 2*q + 13 for u.
3
Suppose 7*d - 10 = 2*d. Suppose 4*m = 5*x + 15, d*x - 27 = -6*m + m. Solve -5*c + 3*p + 2*p = -m, -p = -3*c + 9 for c.
4
Let n be 0 - (-4 + 2 + 0). Suppose -3*x + 0*a + 11 = n*a, 10 = 3*x + a. Suppose 27 = x*y - 45. Solve -v = 2*r + 3, 4*v + y = 3*r + r for v.
-5
Suppose 0 = 5*n - 5 - 10. Suppose n*k + 4*x = 21, 0 = -3*k - 2*k + 2*x + 9. Solve 4*q = a - k*a + 8, -q - 4 = 2*a for q.
4
Let z be (2*1)/(2/3). Let t(q) = -q + 12. Let o be t(8). Let m(v) = -2*v + 11. Let c be m(o). Solve z*r + 6 = c*l, 2*r + 5*l = 5*r + 16 for r.
3
Let v(i) = -2*i + 12. Let o be v(6). Solve -5*a - 3*t + o - 10 = 0, 0 = 2*a - t + 15 for a.
-5
Suppose -8*z = -5*z - 15. Solve 6 = -i - 2*i, -z*i = 5*s + 15 for s.
-1
Let x(y) = -y**2 + 8*y - 4. Let z be x(7). Let g be 5/3 - 2/z. Let w be (g - -1)/(2 + 0). Solve -3*o - 18 = -3*m, -w = -3*o - 5*m + 21 for o.
-1
Let g = -4 - -84. Suppose -u = -5*u + g. Solve o - 26 + 10 = -4*b, u = 5*b - 2*o for b.
4
Let j(t) = -13*t + 1. Let n be j(-1). Suppose -5*h = -x - n, 5*x + 22 = 5*h + 2*x. Solve -h*c + 4*b + 6 = 0, 3*c = 5*b - 1 + 11 for c.
5
Suppose 4*f = -f - 10. Let n = 3 - 1. Let x be (1/n)/(f/(-60)). Solve 5*a = -5*i + x, -a - 7 - 15 = -4*i for a.
-2
Let a(s) = -16*s + 29. Let g(x) = -3*x + 6. Let v(b) = -2*a(b) + 11*g(b). Let w be v(6). Solve 2*i - 8 = 2*d, w*d + 2 = 4*d + 3*i for d.
-2
Let j = 3102 + -375. Let s be (-1)/(-5) + j/15. Suppose y + 0*t = t + 38, -t = -5*y + s. Solve 2*l + 4 = -2*u, -5*l + 3*u - y + 10 = 0 for l.
-4
Let b = 0 + 0. Suppose -3 = n - 2*m, -5*n + 6*m = 4*m - 9. Solve 2*y + s = 6, n*y + b*s - 9 = -s for y.
3
Let c(v) = 2*v**2 + 5*v + 2. Let u be c(-3). Let x = 4 - -2. Suppose -x*t = -u*t. Solve 4*i = 0, -4*q + t*i - 4 = -4*i for q.
-1
Let m = -28 + 32. Solve -4*q = -2*q - m*n + 2, -4*q = n + 13 for q.
-3
Let c be 3/(-12) - (-50)/8. Let p = -6 + c. Solve 10 = v + i, p = -4*v - 0*i + i + 15 for v.
5
Let t(w) = -2*w - 2. Let m be t(-2). Suppose -h - 3*s = 2, -1 = 4*h + m*s + 3*s. Solve u + x = -3*x - h, -x = -1 for u.
-5
Let h(o) = o**3 - 5*o**2 + 4*o + 4. Let s be h(4). Solve 3*c + 2*c - 6 = 3*n, 0 = -4*n + s*c for n.
3
Suppose f + 2 = -2*a, -4*f + 8 = -4*a - 7*f. Let s be 50/20*2*a. Solve -3*m + 6 = 3*j, 0 = -j + s*j + 4 for m.
3
Suppose -2 = -3*p + 10. Let h be (0 + -1)/(1/(-3)). Suppose 2*v - h*n - 3 - 1 = 0, v = -3*n + 20. Solve -4*g - y + p = 0, -3*g - 2*g + v = 2*y for g.
0
Suppose -4*x + 7*x = 12. Let p = -4 + 6. Suppose 3*o - 5 = 5*a, -3*o + 1 = -p*o - a. Solve x*l - g + 8 = 0, l + o*l - 5*g + 21 = 0 for l.
-1
Let a = 4 + -2. Let v = a + 0. Solve 3*p = -6, -5*w - v*p + 4*p = -4 for w.
0
Let w = 6 + 0. Let v = 11 - w. Solve s + 7 = 4*n, -2*n - 8 = -2*s - v*n for s.
1
Let u(k) = k + 123. Let g be u(0). Suppose 2*h = -35 + g. Suppose b - 3*b - s + 30 = 0, -h = -3*b - s. Solve -2*t = 2*r + b, 2*t + 3*r = 6*t + 14 for t.
-5
Let r = -14 - -19. Solve 0 = s + r*m + 18, 0*s + 4*s - 5*m = 28 for s.
2
Let x = -6 - -14. Suppose 4*i - x*i = -20. Solve 5*g = -i*k, 2*k = 3*g + 6*k + 3 for g.
3
Let k be ((-90)/(-5))/((-6)/(-4)). Suppose 0 = 2*g + 2*u - 16, -3 = 2*g - 3*g + 4*u. Solve 4*s + 0*s = 2*y + k, 3*s - y = g for s.
1
Suppose 6*q - 4*q - y = 22, 0 = -3*q - 3*y + 51. Let t = q - 8. Solve -f + 0*f = -w, 4*w + t*f = 36 for w.
4
Suppose 0 = -5*d + 3*d + 4*y + 14, 0 = 5*d - 5*y - 25. Solve -d*s = 2*s - 4*u + 31, -5*s - 2*u = 7 for s.
-3
Suppose 5 = 3*r + 2*l, -4*r + 0*l = -4*l - 40. Solve 0 = -2*j + c - 5, r*c - 5 - 4 = 2*j for j.
-2
Let o = 29 - 12. Suppose -3*p = 5 - o. Suppose -p*v + 23 = 7. Solve -4*g - 5*x + 10 = 0, 0 = -g - v*x - 2 - 1 for g.
5
Let q be (2/4)/((-9)/(-8) - 1). Solve 5*f - 3*h + 20 = 0, -q*h + 14 = -4*f - 10 for f.
-1
Suppose 0 = n + 2*n - 15. Suppose -2*a = -4*s - 0*a - 2, 0 = -4*s - 4*a - 20. Let y = s + 4. Solve -y*m = 2*w, n*w - 29 = 2*m - 1 for w.
4
Let o(s) be the first derivative of s**3/3 + 3*s**2/2 + 1. Let u be o(-3). Let y be (u/6)/(2*-1). Solve -2*g = -y*g - 2*c + 10, -2*g = c + 1 for g.
-2
Let x(c) = c**2 - 5*c + 4. Let z be x(3). Let p be 1/z*0 + 3. Let y(l) = l**2 - l - 2. Let b be y(3). Solve -p = -b*n + 3*n, -3*o - n = 9 for o.
-4
Let i = 4 - 2. Let n(v) = v - 1. Let o be n(4). Solve 4*l = i*y - 0*l - 12, 2*y + o*l = -2 for y.
2
Suppose 0 = 2*b + 2*d, -5 = -3*b + b - d. Solve -2*p - 4 = -b*w, 4*w - 3 = w + p for w.
2
Let k be -1 + (-2 + 1 - -12). Let s = 0 + k. Solve 2*u + r = -r - 8, -5*r = -5*u + s for u.
-1
Suppose -9*s + 4*s + 15 = 0. Solve -s*j = -2*i + 6, 3*i - 7 = 2 for j.
0
Let o be 76/(-10) - 6/(-10). Let a = -3 - o. Let k be (0 - -1) + a/1. Solve 2*l + k = -m, -l - 10 = m - 3*m for m.
3
Let p(m) = -14*m**2 - 6*m - 1. Let i be p(-5). Let o be (-2)/7 + i/(-21). Solve 3*y = -3*g + o, 4*y - 17 = -3*g - 0*y for g.
3
Let t be (0 - 1)/(2/(-4)). Let w be -2 + 1 - (-2 + t). Let s = w + 5. Solve -5*x + 2*y + 2 = 4*y, 0 = -3*x - 4*y + s for x.
0
Let f(h) = h + 6. Suppose -4*y - 44 = 4*i, 7 + 22 = -4*y - i. Let q be f(y). Solve -2*d = -t + 2, -t + 5*t - 4*d = q for t.
-2
Suppose 0 = 2*d - 4*q + 4, 3 = 2*d + 3*q - 0*q. Solve 4*i + 12 = -d*j + 2*j, -40 = 5*j + 4*i for j.
-4
Let r(f) = -10*f - 6*f**2 + f**3 + 14*f - 1 - 8. Let b be r(6). Solve -j = -3*u - b, u = -5*j + 7 + 4 for j.
3
Let h be (-6)/15*-2*5. Suppose 2*d + 2 = h. Let u be (d/(-2))/(1/(-24)). Solve -4*z = 2*f, f - u = 5*f - 4*z for f.
-2
Suppose 7*a - 4*a - 6 = 0. Let r = -2 + 2. Let k = r - -4. Solve -8*p + 16 = -5*o - k*p, a*o + 8 = 2*p for o.
0
Let z = 18 - 9. Suppose -4*j + z = -3. Solve -5*d - 4*x = 6, 3*d + j*x = 2*x - 5 for d.
-2
Suppose u = 6 - 2. Solve -3*c - 5*h = -10, u*c - 8 = -4*h + 8 for c.
5
Let f be 2 - (1 + 38/(-2)). Solve 4*t + k - 2*k = f, -5*t + 25 = -5*k for t.
5
Suppose t - 4 = -3*q + 2*q, 2*q = -t + 8. Suppose u + 3*j + 33 = -2*u, t = -u + j - 9. Let k be 5/u + (-57)/(-2). Solve -h = 4*g + 3*h - k, -h = 4*g - 13 for g.
2
Suppose -2*h + 8 = -5*a, 0*a - 12 = 3*a - 3*h. Let k be -15 + 12 + -2 + 1 + 5. Solve 5*j - 5*l + 10 = a, 0 = 5*l + k - 16 for j.
1
Let q = -6 - -25. Let u = 33 - q. Solve u = -5*h - 3*d, 0 = h - d - 1 - 1 for h.
-1
Let j = -22 - -29. Solve -3*g + j + 10 = -5*w, 0 = 5*g + 4*w + 21 for g.
-1
Let d(p) = 2 + 3*p + 0 - 3*p**2 + p + 4*p**2. Let q be d(-7). Let b = -12 + 17. Solve -b*s = t + 19, -7 = 4*t - 3*s - q for t.
1
Suppose 4*i = -6 + 22. Let o(b) = -b + 15. Let k be o(0). Let g = 3 + 1. Solve g*x = i*v, x = 4*x + k for v.
-5
Let s(k) = -k**2 + 19*k - 15. Let a be s(18). Solve 0 = -0*u + 2*u, -a*p + u = -15 for p.
5
Let y be (-25)/2*10/(-25). Solve -11 = -6*t + 9*t - 2*m, -5 = -y*m for t.
-3
Suppose -5*v = 4*u - 63, 0 = -3*v + 3*u - 8*u + 43. Let l be (-268)/(-22) + (-2)/v. Let t = 17 - l. Solve -p + 2 + t = y, 0 = -2*y - p + 10 for y.
3
Suppose -3*o + 3*i = -42, -o - 4*i + 30 = -i. Let w be ((-30)/4)/(o/(-60)). Solve 5*q + w = 4*b + b, -q = 5*b - 19 for b.
4
Let d(i) = -i + 17. Let r be d(11). Solve 0 = f + q + 1, 2*f + 11 = q - r*q for f.
2
Suppose 11 = 4*w - 9. Suppose 12 + 8 = w*f. Solve 2*p = f*d - 2*p + 8, 3*p = d for d.
-3
Let t = -6 - -6. Suppose 3*i + t*i = 