*d, 2*d = 3*y - 0*d + 21 for y.
-5
Let b = -45 - -15. Let y(q) = 4*q - 4. Let a be y(-4). Let k = a - b. Solve 0*s - k = 2*s - o, 0 = 3*o for s.
-5
Let a be (27/15 + -1)*-5. Let v be ((-116)/8)/(2/a). Solve 0*w = w - o + 6, v = -5*w + 4*o for w.
-5
Let k be 5/2*4/5. Solve -c - 5 = -d, 2*d + 4*c - k = 2 for d.
4
Let u(i) = -2*i - 6. Let q be u(-5). Solve o - 2*j - 1 = 0, 0*o - 28 = -q*o - 4*j for o.
5
Let z(f) = f - 9. Let a be z(12). Solve -a*s + 4*s + 15 = -4*n, 3*s = -3*n - 9 for s.
1
Let b = 17 + -17. Let i be 2 - (1 + (-1 - b)). Solve -i*x + 3*q - q = -10, 3*x - 15 = -3*q for x.
5
Let r be -1*(4 + -3) + -2. Let o be r/((-18)/(-8) + -3). Solve 12 = 3*k - 5*n - 4, -o*k = -5*n - 13 for k.
-3
Let t = -61 - -61. Solve t = 2*x + 5*k - 1 - 2, -3 = 5*x + 2*k for x.
-1
Suppose -6*t = -3*t - 6. Solve p - 1 = -v, -23 = t*v - 0*p - 3*p for v.
-4
Let a be ((-24)/30)/(1/(-5)). Solve -1 = a*l + 3*k, -l + 3*k - 31 = 3*l for l.
-4
Suppose 0 = -0*x - 3*x. Suppose x = 4*s - 67 - 1. Solve -4*o + 18 = -2*a, 4*a + 5*o = -s + 7 for a.
-5
Suppose 5*w + 3 - 13 = 0. Let s be (-3 - -3 - 0)/1. Solve s*c - 11 = -c - w*v, -2*v = -4*c + 14 for c.
5
Let v(a) = 5*a**2 - 2*a - 1. Let q be v(-1). Solve 3*t = q, -y - t = -0*t for y.
-2
Suppose 0 = 3*l - 39 + 9. Suppose 0*a - l = -5*a. Solve -a*d + 4 = -3*m + 11, 5*d - 5*m + 10 = 0 for d.
1
Suppose 5*o - 48 = 2*o. Solve -4*g = 2*y + 2*y - o, 4*y - 4 = -g for y.
0
Let c be 42/12 + 1/2. Solve 0 = 2*r - 3*r + c*b + 14, -2*r - 24 = 5*b for r.
-2
Let t = -4 - -4. Suppose s + t*s = -45. Let m = -8 - s. Solve -3*g + 7 = 2*v, -3*g = -5*v + 2 - m for v.
-4
Suppose 0 = -d + 11 + 1. Suppose -5*z + 3*f + d = 0, -4*f + 0 = -4. Solve -2*r = 5*y - 18, 10 = 2*y - z*r - 1 for y.
4
Suppose j - 14 = 2*j. Let c = j - -7. Let u = -4 - c. Solve -s = -3, -f = -5*s - u + 23 for f.
-5
Suppose 0 = -5*q + 4*q - g + 4, 0 = 2*q + g - 8. Let k = 18 - 15. Solve k*d - 4*d + q*c = -14, 10 = d - 3*c for d.
-2
Let a = -40 + 110. Suppose -4*u = u - a. Let o = u + -10. Solve -4*j + j + 2*w = -2, -o*j + 3*w + 4 = 0 for j.
-2
Suppose 0 = -4*m + 2*m - 6. Suppose -27 = -3*z + 3*n, 4*n = -8 - 8. Let h = z + m. Solve -w - 7 = -y + w, -4*y + h*w = -10 for y.
1
Let t = 9 - 17. Suppose 0 = 2*a - 5*a - x - 47, -2*a + 3*x - 24 = 0. Let k = t - a. Solve -w = -3*y + 3 - k, -4 = w + y for w.
-2
Suppose 5*r = 4*o + 12, -o = -0*o - 3*r - 4. Let c = -5 - o. Solve c*j = 4*t + 7*j - 36, j = -2*t + 13 for t.
4
Let z = 4 - 1. Solve -2*x + 5*x - 9 = z*u, 5*x - 12 = 2*u for u.
-1
Let z(q) = -1 - 2*q + 4*q + 4 + q**2 + 4*q. Let k be z(-6). Solve -2*u + 16 = -2*v + u, -k*u = 5*v - 2 for v.
-2
Let r(n) = n + 15. Let y(s) = -5*s - 3. Let f be y(-2). Suppose 0 = -3*z + 2*z - f. Let v be r(z). Solve 4*h + 5*l - v = h, 3*h + 32 = 5*l for h.
-4
Let o be 12/(-12) - (-10)/2. Suppose -4*c = -c - 45. Solve 5*l = 5*h - 3*h - c, 5*l = o*h - 15 for h.
0
Suppose 4*g = 2*o - 2, g + 2*g - 11 = -o. Let y be o - (-3)/(-4 + 1). Let a = y - -1. Solve 0 = 4*x + f - 0 - 2, -a*x = -3*f - 11 for x.
1
Let m(j) = 1. Let y(t) = t**2. Let c(i) = -m(i) + y(i). Let o be c(-2). Let r be 16/3 + 2/o. Solve 3*w - 5 = 2*b, -r*w + 2 = 2*b - 2*w for b.
-1
Suppose b + 20 = 3*f, 7*b = -2*f + 2*b + 36. Suppose f = -i - 4*c, 0 = 6*i - i - 3*c - 6. Solve i = 4*a - 2 + 10, a + 18 = 4*p for p.
4
Let y(t) = -2*t + 1. Let x be y(-7). Suppose -5 + x = 5*n. Solve 3*z - 4*g - 20 = 0, 5*z + 2*g = -n*g - 20 for z.
0
Let h(c) = 3*c - 12. Let k be h(4). Solve 4*m - 3*m + 4*l + 22 = k, 4*l = -3*m - 26 for m.
-2
Let g = -59 - -60. Solve 2*i = 3*d + i - g, d + 4*i = -4 for d.
0
Let g be ((-23)/(-3) - -1)*-3. Let j = 31 + g. Solve -p = -b - 4*b - 9, 0 = -2*b + j*p - 22 for b.
-1
Let n = 16 - 13. Solve n*f + 2*f = -x - 22, -2*x - 4 = 0 for f.
-4
Let h(v) = -v**2 + v + 3. Let n be h(0). Solve 3*k - x = -n - 15, 0 = -3*k + 4*x - 27 for k.
-5
Suppose 6*g - 160 = 20. Solve y + 7 = -3*t, -5*y + 7 = -3*t - g for y.
5
Suppose -5*i + 79 = 3*l, 12 = 3*i + 4*l - 31. Suppose 5*s + 0*p - 13 = -2*p, 4*p = -s + i. Solve 3*a + 4*t + t - 17 = 0, -s = -a + 3*t for a.
4
Suppose -24 = -3*y + j - 8, 5*y - 16 = -j. Solve 5 - 11 = 2*b - h, -y = 2*h for b.
-4
Let x = 3 - 1. Let y be (-12)/(-2) - (0 + 2). Suppose 3*v = y*v - 2. Solve 0 = -0*j - j + v*o - 5, -o = -2*j + x for j.
3
Let y(u) = 2*u**2 - u. Let j be y(1). Let c = j + 2. Solve 5*o = -r - c, -5*r - 4*o = 14 + 1 for r.
-3
Suppose -6*f + 11*f = 40. Solve -3*m - j = -f*m + 16, -4*j + 12 = -m for m.
4
Let b be 1 + -2 - (-4 - -2). Solve f - 3*g = -b - 8, -2*f = g - 10 for f.
3
Let j = 15 - 13. Let f(b) = 2*b - 4. Let i be f(j). Solve i = -5*r - 3*n + 22, r - n - 2 = -2*r for r.
2
Let s be 2 - 2*2/(-4). Suppose -3*a = -5*r + 23, -3*a + 10 + 7 = 5*r. Solve -t - s*p - 4 = -r*p, -4*t - 5*p = -29 for t.
1
Suppose 4*f - 24 = -8*f. Solve 5*b + f*h + 13 = 2*b, -3*b - 16 = -h for b.
-5
Let h = -104 + 110. Solve 5*k + h = -z, -5*k = -5*z - 0*k for z.
-1
Let w(p) = -p. Let b(f) = f - 5. Let c(a) = b(a) - w(a). Let j(u) = -u. Let q be j(-4). Let g be c(q). Solve g*l = 3*o - 5*o + 8, -3*l + 12 = 3*o for o.
4
Let a be (-5)/((1 + 2)/(-3)). Solve -10 = a*u - 2*w, 8*w = 6*w for u.
-2
Let j = -3 + 7. Let s = j - 8. Let h be -2 + (1 - (s + -2)). Solve -l + h*c - 10 = 0, -l + 0*l = 3*c + 2 for l.
-5
Suppose -f + 36 = 3*f. Let q be (4/12)/(1/f). Solve i = -2*d + 1, -d + 3*i = q*d + 13 for d.
-1
Suppose 3*m - 2*m + 1 = -4*x, 0 = -5*m - 25. Let a be 0/4 - (-5 - -2). Solve a*f - 8 = -i, -x = -f + 2 for i.
-1
Suppose -z = -3*q - 14, -q = 3*z - 4*q - 24. Solve -2*x + j + 7 = 0, 4*j + 20 = z*x - 2 for x.
2
Let h(l) = -l - 7. Let r be h(-8). Let u(z) = -z**3 + 2*z - 1. Let c be u(r). Suppose c = -2*b - 0 + 6. Solve 2*n = -8, -5*i - 2*n - b = -0*i for i.
1
Let k = 62 - 58. Solve -k*y - 2 = -5*j - 0, 2*y - 3*j + 2 = 0 for y.
2
Suppose -4*c = -2*b - 26, 0 = c + 4*c - 4*b - 40. Suppose 3*z = g - 4, c*g - 19 = -4*z - 3. Solve 5 = -4*h - q, -3*h + 5*q - 9 - 12 = z for h.
-2
Let a be 2/6 + (-78)/18. Let d be a/16 - (-21)/4. Solve -4*y = 4*q - 16, -4*q + 15 = -0*q + d*y for q.
5
Let j = -30 - -34. Solve -3*d = -j*w - 2, -d = -0*d - 2*w for d.
2
Suppose -27*a = -30*a + 24. Solve 5*b - a = -2*v + 2, -5*b + 45 = -5*v for b.
4
Suppose -26*x - 12 = -29*x. Let j(s) = -s**2 - 11*s - 6. Let i be j(-8). Let w be 0 + 1 + -2 + i. Solve a - w = 4*k, k - 32 = 5*k + x*a for k.
-5
Let s be -6*1*4/6. Let v = -11 - -25. Let r be (-8)/v*14/s. Solve -o = -0*z - 3*z - 3, r*z + 19 = -5*o for z.
-2
Let q(z) = z + 5. Let a be q(-7). Let b = a - -5. Solve 0 = i + b*i + 20, -3*t = 3*i + 3 for t.
4
Let s be (-16)/(-6) - 4/6. Suppose -u + s*d + 3*d = 45, -3*u + d = 65. Let w be ((-2)/(-4))/((-2)/u). Solve 2*r = 2*t + 10, w*t + 2*r + 21 = 6*r for t.
-1
Suppose -4*u + 89 + 11 = 0. Let l(z) be the first derivative of 2*z**3/3 - z**2/2 - z + 1. Let h be l(-1). Solve h*q - j = -10, -5*q + j = -0*j + u for q.
-5
Let c = 273 - 269. Suppose 2*b = 3*b - 8. Solve -4*d - b = 4*l, c*d = 2*l - 7*l - 12 for l.
-4
Let x(g) be the first derivative of 3*g**2/2 - g - 3. Let r be x(1). Solve i + 11 = -5*s, 3*s + 4*i = r + 5 for s.
-3
Let o be ((-45)/60)/((-3)/16). Let m be (6/(-8))/(5/(-40)). Solve 2 = 2*u - m*c + 4*c, 4*c - o = 0 for u.
2
Let s be 1/(3 + 32/(-11)). Solve z = -5*q - s, -2*q - 3 = z + 2 for z.
-1
Suppose -3*m = -1 - 26. Let i = -23 - -26. Solve m = -5*u - i*g - 4, u + 4*g = -6 for u.
-2
Let a(r) = 1 - 2 - 3 + 2*r - 6. Let f be a(7). Let s be (0 + 0)/(2*-1). Solve 0 = -f*b - 3*p - 6, -b - 2 = -s*b + p for b.
0
Let l(q) = -q + 1. Let r be l(-4). Let s be r*(-1 - -2) - 2. Solve -26 = 3*i - 4*j, 3*i + s = -4*j + 17 for i.
-2
Let r be ((-12)/10)/((-12)/40). Suppose 0 = -r*t + 4, 0*j - j + 4*t = -2. Solve -a + 5*i + 1 = -2, 3*i - j = -2*a for a.
3
Suppose -20 = -5*l - o + 24, 20 = 5*o. Solve a = 5*r - l, -a + 4 - 2 = 0 for r.
2
Suppose 28 = 4*r - 3*q, -5*r - 4*q + q = -8. Solve -2*a - 16 = -4*h - h, 0 = -h + r for a.
2
Let b(h) be the first derivative of -5*h**2 - 1/3*h**3 - 6*h + 3. Let c be b(-5). Solve -5*n - 3*p - 28 = -3, 2*n + 3*p + c = 0 for n.
-2
Let t = -5 + 10. Suppose -2*c + 10 = 4*z, -1 = -5*z + 4*c + t. Solve -9 = -3*g + 2*y, 3*y + z*y - 12 = -4*g for g.
3
Suppose 18 = a - 5*t, 2*a + 2*t - 5*t - 22 = 0. Solve 30 = -5*n + 5*v, n - 2*v - 1 = -a for n.
-5
Let n = 11 +