-i, 2*y + 4*t = 4*y - c for y.
-5
Let u be ((-5)/10)/(1/(-10)). Suppose 2*x + 4*h - 54 = 0, 0 = -x + u*h - h + 51. Solve 5*b + 0*b = -4*t - x, 3*b + t + 14 = 0 for b.
-3
Let j(f) = -f**2 + 6*f + 9. Let b be j(7). Let q = 8 + b. Solve -2*k - 2*k - 2*n = 10, -q = 5*k + 3*n for k.
-5
Let g be (-4)/5 + 0 + 38/10. Solve 11 = g*x + 2*j, -j = -3*x - x + 11 for x.
3
Let j(y) = 4*y**2 - 4. Let q be j(-3). Suppose -q = -2*u - 2*u. Solve 5*p - u = 4*n - 0*n, 0 = -2*n - p - 4 for n.
-2
Suppose -3*a = -a + 12. Let r = -3 - a. Solve 5*o - 2*j = -13, 5*o - 2*j = r*o - 4 for o.
-3
Let f be -4*(5/(-4) - 1). Let k = 21 - 10. Suppose 8 = -4*v - 3*r + 7*r, 0 = v + 3*r - 18. Solve 0 = b + v*t - k, -5*t + f = -2*t for b.
2
Let n = 1 + 1. Solve 3*g + 3*c + n*c = 2, 4*g + 2 = -2*c for g.
-1
Suppose 5*x - z - 35 = 0, -5*x + 4*z + 7 = -4*x. Let h = -4 + x. Let v = -2 + 4. Solve -2*n = -0*l + h*l - 10, 10 = -5*l + v*n for l.
0
Suppose -2*t - 6 = 3*i, -2*t - 5*i - 14 + 4 = 0. Solve 5*r = 20, t*v + 3*v = -4*r + 4 for v.
-4
Let h(j) = j**3 + 13*j**2 - 14*j + 4. Let r be h(-14). Suppose 0*x + 5*x = 115. Solve 5*l + 5*o = -r + 29, 0 = 5*l + 3*o - x for l.
4
Suppose 0*s + s = 0. Solve s = 2*w - j + 4, -2*j = 2*w - 0*j + 16 for w.
-4
Let f(x) = 1. Let j(g) = -g + 1. Let r(y) = -5*f(y) + 4*j(y). Let n be r(-2). Let a = n + -2. Solve -a*q = 10, -t + 5*t + q = 2 for t.
1
Let b(z) = -6*z + 7. Let o be -5*(2/10 - -1). Let i be b(o). Suppose -2 = -m + i. Solve 4*f = 3*w - 35, m = 5*w - 6*f + 2*f for w.
5
Suppose u + 2 - 3 = 0. Let h(o) be the second derivative of 3*o**4/4 + o**2/2 - 5*o. Let b be h(u). Solve 3*f - s = b, 4*f - 12 = 3*s + 3 for f.
3
Let w be 10/(-95) - 120/(-57). Suppose -14 = -3*h - 2. Solve -4*l = 4*u + 8, w*l = l + h*u + 13 for l.
1
Suppose -4*g = 16, -3*r + 5*r = 4*g + 24. Suppose -38*l + 139 = 25. Solve r*v + 4 = -l*x - 7, -2*x = -5*v - 8 for x.
-1
Suppose -s = -0 - 3. Let r be (2 - s) + (-28)/(-4). Let b = r - 3. Solve 5*h - b*x = 0, 5*h = x + 4*x + 10 for h.
-3
Let q be 792/28 - 8/28. Solve -5*w + 2*c = -q, 2*w + 4*c = w - 12 for w.
4
Let x be ((-3)/(-3) - -2) + 0. Let f(o) = -8*o + 76. Let v be f(9). Solve x*r - 3*k = -6, 3*k = -4*r - v - 11 for r.
-3
Let b = -6 + 6. Suppose -l + 3*l = 4, 3*k - l - 1 = b. Let i = k - -2. Solve -3*c = 2*j + 9, -j + 1 - i = c for c.
-5
Let n be -1 - -4 - (-2 - -2). Solve -24 = -3*b - n*o, -o = 5*b + 2*o - 32 for b.
4
Let w(d) = d**2 + d - 22. Let r be w(-6). Let g be 4 + -1*2 + 1. Suppose g*y = 4*s + 3 - 0, 5*s + 4*y = 35. Solve 5*t - r = -q, t + 2*t + s*q = 12 for t.
1
Let h be (39/1)/(21/7). Suppose 8 = 5*x + 3*k, 35 = 3*x - 4*k + 7. Solve 0 = -2*y + x, -5*v + 3*y + y = h for v.
-1
Let i be (-14 + -2)/4 - -9. Solve -u + 4*q + 19 = 0, i*q - 2*q = 5*u - 10 for u.
-1
Let t = 4 + 3. Let g = 24 - t. Let o = -12 + g. Solve 5*m = 2*r + 29, 0 = o*r - 2*m - 2*m + 30 for r.
-2
Suppose 2 = 2*x - 2. Suppose -s = -3*b + 30 - 4, x*b = s + 19. Suppose -6*h + 2*h - 68 = -4*f, -8 = -2*h. Solve i = -4*v + f, 25 = 2*i + 2*v + b for i.
5
Let p = -7 + 3. Let i = p - -2. Let x be (-2 - -13)*i/(-2). Solve l - x = -5*y + y, 3*l + 19 = y for l.
-5
Suppose 5*h + 0 - 2 = -4*m, 4*m + 2*h = 8. Solve -12 = -4*n - 4*j, -j + 1 = -m*n - 6 for n.
-1
Suppose 0 = -5*h + 11 - 1, 4*g - 40 = -2*h. Let l be -1 - (-1 - 1 - -1). Let a = 5 - l. Solve a*r + 4 = -w, 0*r + 4*r - 5*w + g = 0 for r.
-1
Let g = -5 - -10. Suppose -z = g*z - 18. Solve z*y + 4*m + 14 = 0, -2*y - 3*m + 4*m - 2 = 0 for y.
-2
Suppose 16 = 4*s - 2*t, 0 = -4*s + s - 5*t - 14. Solve -7*c - 22 = -s*c - 4*f, 0 = -3*c - 4*f + 6 for c.
-2
Let r be 3/(81/24 + -3). Let l(w) = w**3 - 8*w**2 + 2*w - 10. Let n be l(r). Solve 2*b - i = 9, -b - 1 = -i - n for b.
4
Suppose -o - 2 = -8. Solve 10*i = 5*y + 5*i - 10, 2*i + o = 0 for y.
-1
Suppose 9*y = 6*y + 12. Solve 3*c - 4 = -2*f - 15, 5*f = -y*c - 17 for c.
-3
Let n(t) = t**2 + 9*t + 9. Let v = -4 - -2. Let g be 93/(-12) - v/(-8). Let o be n(g). Solve -2*p + 4*u = 13 + o, -u = -5*p + 10 for p.
3
Let d be -10*(-2 + (-6)/(-4)). Solve -4*p = d*t - 13, -3*p + p + 4 = 2*t for t.
5
Suppose 12 = -c + 5*c. Suppose c*w - 9 + 3 = 0. Solve 6 = 3*q, s = 2*s - w*q + 8 for s.
-4
Let k = 39 - 35. Solve o - 4*p = 3, -k = -5*o - 5*p + 11 for o.
3
Suppose -f + 1 + 1 = 0. Let d = 1 + f. Let w be 0/(-1 + d + -1). Solve -2*m - 2*g = 0, w*g + g = 5*m + 18 for m.
-3
Suppose 0*w = 3*w + 27. Let x = w - -13. Solve 4*k - 4*f + 5 = k, 2*f = x for k.
1
Let c = 6 + -5. Solve -c = -3*v + r + 10, 3*r - 9 = -5*v for v.
3
Let h be (-28)/(-8) + (-1)/2. Let o = h + -1. Let k be 1*2*3/o. Solve j + 6 = -2*d, -d = -2*j + k + 5 for d.
-4
Let r be (0 + 2)*30/4. Suppose -r = -2*q + m + 4*m, 3*q - 13 = -2*m. Let d(b) = -6*b + 2. Let c be d(-3). Solve -2*a - a + 12 = -4*l, -2*l = q*a - c for a.
4
Suppose 0*w + 7*w = 14. Solve 0 = -2*a - h - 2, -5*a - w*h - 2 = 3 for a.
-1
Let n = 8 + -5. Suppose -2*k - n*p + 3 = -4*p, -2*p - 4 = -2*k. Let d be ((-60)/9)/(k/(-3)). Solve -2*z = 3*o + 2*z + d, 0 = 2*o - 5*z - 25 for o.
0
Suppose 3*t - 7 = 8. Suppose -4*f + 2 = u - 11, -u - 5 = -t*f. Solve -14 = -v - 3*q, -4*v = -0*v + f*q - 26 for v.
5
Let z(m) = 4*m - 2. Let n be z(-3). Let x = n - -18. Solve -4*h - 22 = -v, -x*h - v = -3*v + 24 for h.
-5
Let x(l) = l**2 - 3. Let s be x(3). Solve -q = 2 - s, 22 = -3*p + 4*q for p.
-2
Let c be (0 - -1)*-1 - -20. Suppose -3*y = -0*y - 9. Suppose -4*l + f = -55, l + 4*l - 71 = -f. Solve t + c = y*a, 3*t + l = a - 3 for a.
5
Suppose d - 6*d = 3*o - 9, -3*o - 2*d = -9. Let y = o + -2. Let h be (24/3)/(1 + y). Solve 4*j + 8 - 40 = -h*i, 5*j + i = 24 for j.
4
Let f(m) = -2*m + 6. Let s be f(5). Let t be 6/4 + (-2)/s. Let y = 5 + -1. Solve y*j + t - 10 = 0, j - 4 = -u for u.
2
Let p = 3 - -5. Suppose -2*v = -4*v + p. Solve -10 = 4*m + 2*t, v*m - 33 + 8 = 5*t for m.
0
Suppose 2*b - 103 = -5*m, -m + 0*m + b = -15. Let i = -10 + m. Let s be 114/27 - 2/i. Solve -s*y = -2*u - 12, y - 3 = -2*u + u for u.
0
Let z(o) = -10*o - 1. Let b(p) = p + 1. Let c(m) = 2*b(m) + z(m). Let x be c(-1). Solve 0 = 2*y - v + 7, x*y = 4*y - 5*v - 10 for y.
-3
Let q = 1 - -5. Suppose 4*l = 2*t + 4, 4*t = -l - 2 - q. Let z(b) = -b**3 - b**2 + 3*b + 2. Let a be z(t). Solve y + 3*y = 3*r - 10, a = -4*r - 5*y - 28 for r.
-2
Suppose 0 = -2*r - 4, -3*u + 21 = -2*r - 1. Let k be (-7)/(-21) - (-22)/u. Solve k*q + 2 = 2*f, 4*f - 5*q + 1 = 2 for f.
-1
Let v be (-4)/(-10) + (-8)/(-5). Let y(q) = -q**2 + 8*q - 9. Let n be y(6). Solve -3*r + v*m - 12 + n = 0, 2*r + 6 = -m for r.
-3
Suppose -5*f + 32 = 3*f. Solve 2*l - 26 = 5*h, -f*l - l + 11 = h for h.
-4
Let a be (-9)/(-2)*4/6. Suppose -b + 2 = -3*b. Let l be (-10)/(-6) - b/3. Solve -4*d = -a*d, v + 2 = l*d for v.
-2
Let x = 56 + -45. Solve -x = -5*n - 4*k + 5*k, -2*n - 5*k = 1 for n.
2
Suppose 7 = c + x, -4*c - 7*x + 32 = -2*x. Solve -r + 2*r + y - 9 = 0, -5*y + 37 = c*r for r.
4
Suppose h + 7 - 16 = 0. Solve 0 = x + q + q + h, 4*x + q + 1 = 0 for x.
1
Suppose -4*r + 5*r = 3. Solve 5*i - r = -4*j + 8, -3*j + 4*i - 15 = 0 for j.
-1
Let f = -5 - -8. Solve 5*i - 3*b - 41 = -13, 14 = f*i + b for i.
5
Suppose 4*x - 12 = 0, 0 = 3*q + 4*x - 6*x - 57. Let m = q + -18. Solve y = -m*z - 3 + 17, y - 3*z = -10 for y.
2
Let d = -4 + 1. Let j be (1 + -2)/(d/3). Let g be j - (-1*2)/2. Solve n = -2*u - 4, 0 = g*n - 0*n + u - 1 for n.
2
Suppose -20 = 5*o, 3*f - o + 40 = -5*o. Let c = -6 - f. Solve -v = b - c*b - 2, -2*b = 6 for v.
-1
Let c(y) = 0*y**2 - 8*y - y**2 + 1 + 3. Let f be c(-8). Solve -f*k + 24 = 4*s, 6*s - 3*k = s + 22 for s.
5
Suppose 2*q - 5*i + 8 = 0, 2*q + 0*i + 10 = 4*i. Let x = -5 - q. Let u be 2*(2 + 38/x). Solve s - 5*l = u, s + 2*s = 5*l + 19 for s.
-2
Let i be (-4)/(-1) - 6/6. Solve 0*z = -2*q + 2*z + 4, i*q + 2*z - 11 = 0 for q.
3
Let a(z) = -z**2 - 2 - z + 5 + 5*z - z**3 + 4*z**2. Let h be a(4). Solve -5*n - 3 = h*x - x, -x = -2*n + 6 for x.
-4
Let j(u) = 2*u - 5. Suppose -5*s = -6 - 19. Let l be j(s). Suppose 0 = w + c - 4*c - 8, -4*w = c - 19. Solve -5*g - 3 = x - 2, -2*g = -w*x - l for x.
-1
Suppose -27 = 5*u - a, 0*u - 9 = -u + 5*a. Let i be (u/7)/(2/(-14)). Let x be ((-8)/(-5))/(i/15). Solve 2*z + 35 = -3*z - x*v, -2*z - 21 = 3*v for z.
-3
Suppose 0 = p - 4*p + 12. Suppose 6 = p*s - 6. Solve -s*m + 14 = -4*f - 0, -4*f - 12 = -2*m for m.
2
Suppose 2*z