 -2 = 2*r - 3*z for r.
5
Let x(d) = -d**2 + 13*d - 10. Suppose -36 = -2*t + 6*w - 2*w, 3*w + 33 = 2*t. Let p be x(t). Solve 0*m - 6 = -p*m, -5*i - 24 = -3*m for i.
-3
Suppose 0 = 3*k + 2 - 17. Suppose -5*a - 25 = -k*n, 5*a + 5*n - 23 = 2. Suppose 0 = 12*j - 14 - 22. Solve -4*g = z + 14, -g - 5*z + j*z = a for g.
-4
Let k = -16 - -17. Solve 4*h = z, -h - k = -z + 2*h for z.
4
Let a be -1*-1*(-10)/(-2). Let u = a - 1. Suppose -2*l + 4*m + 22 = 0, 4*l - u*m = -2*m + 20. Solve y + 12 = 4*f, -l = -2*f + f for y.
0
Let h(i) = 4*i + 12. Let p be h(6). Solve 6*c - 3*c + z + 17 = 0, -p = 4*c + 4*z for c.
-4
Let n be -1 + -6*2/(-4). Suppose 12 = n*p + 4, -5*l - 4*p = -26. Suppose 0 = -m + 3*g + l + 3, 4*m - 4*g = 12. Solve 4*a - 2*a = -m*f + 6, 3*a + 11 = f for a.
-2
Suppose k + 6*k - 28 = 0. Solve -k*i - j = -3*j, -5*i = -5*j - 5 for i.
-1
Let j = -94 - -96. Solve j*z = 5*y + 23, -4*z - y - 3*y - 24 = 0 for z.
-1
Suppose -11 = -a - 4*z, 2*a = -5*z - 10 + 35. Suppose -6*l = -l - a. Solve -3*k - l*h + 3 = 0, 3*k + 4 + 0 = 4*h for k.
0
Let r be 53/5 - (-12)/30. Suppose 0 = 5*o - 4*w - 9 - 12, r = 3*o - 4*w. Solve 4*m + 1 + 4 = o*c, -5*c + 5 = 3*m for m.
0
Suppose 29*z - 23 - 35 = 0. Let p = 60 - 43. Solve 5*n - z*y = 30, -y - 4*y - p = 2*n for n.
4
Let c be 448/44 - 4/22. Solve -p - 3*f = 16, 0 = p + 5*f + 14 + c for p.
-4
Let i = 22 - 14. Suppose 24 - i = -4*x. Let m(z) = z**2 + 3*z + 1. Let s be m(x). Solve -2*b = -6, c + 0*c - 18 = -s*b for c.
3
Let t(v) = 3*v + 4. Let g(c) = -1. Let s(u) = 2*g(u) + t(u). Let w be s(-4). Let i be (-5)/w*0/1. Solve 3*k + 5*y + 12 = 0, 4*k - 19 = -i*k + 5*y for k.
1
Let a be 37/(-7) - 4/(-14). Let z(y) = y**3 + 5*y**2. Let t be z(a). Solve -4*m + m = -5*d - 12, t = -5*m + d + 20 for m.
4
Suppose -3*r + 3*w = -24, -5*w = 15*r - 11*r - 5. Solve t = -r*s - 23, 2*t = 2*s + 11 + 3 for t.
2
Let x = -27 - -29. Solve -17 = 4*a + q + x*q, 5*q = 3*a - 9 for a.
-2
Let l(o) = -o**3 - 10*o**2 + o + 12. Let x = -11 + 1. Let q be l(x). Solve -4*z = -3*c - 14, 21 = 5*z - q*z + 3*c for z.
5
Suppose -20 + 22 = r. Solve 0 = 3*x + a - 2 - 0, r*x - 16 = 3*a for x.
2
Let t(z) = 3*z. Let d be t(1). Suppose -d*y - 10 = 2*y. Let i be 0/3*y/6. Solve -3*j + 2*j + 4*g - 12 = 0, i = -3*j - 2*g - 8 for j.
-4
Let w be (-4)/(-18) + (-2)/9. Suppose -20 = -2*a + 2*g - w*g, 5*g - 5 = 0. Let y = -6 + a. Solve 5*i - 5*h = -30, -2*i + 0*i - y*h + 9 = 0 for i.
-3
Let u be -3*((-56)/12 - -3). Solve -4*h + 15 + 7 = -2*q, 23 = -u*q + 2*h for q.
-3
Let w = -21 - -16. Let f be 560/25 + 2/w. Solve 6*r - 3*r - f = -4*h, 2*h = 8 for r.
2
Suppose -5*i = -4*z + 1, 4*i = 2*z + 2 + 2. Suppose -5 = -2*b - i*b. Solve -3*c - b - 6 = -4*n, -n = -4*c - 5 for n.
1
Let r be 2/1 - 4/(-2). Let f be (6/4)/(1/2). Suppose -f*n + 22 = -v, -1 = v + 3. Solve -5*b = -r*d + n, 5*d - 5*b + b = 3 for d.
-1
Let o(j) = j + 8. Let k be o(9). Suppose 0 = 4*r - 15 - k. Solve 2*m + 3*i = 19 - r, 3*m - i - 11 = 0 for m.
4
Let o(i) = -i**3 - i + 24. Let w(d) = 2*d + 14. Let p be w(-7). Let a be o(p). Solve 5*c - a = -2*l, 12 = l + 2*c + 2 for l.
2
Suppose 3*x = 5*x + 3*w - 27, -5*x + 5*w = -5. Let h = 12 + x. Solve -h = -4*g - n, -4*g = 4*n - 13 + 1 for g.
5
Let l be (-2 - 12) + (-1)/(-1). Let f = l + 28. Suppose 0 = -5*y - 0*y + f. Solve -4*c + 2 = -u, -y*c - 2*u + 4*u - 1 = 0 for c.
1
Suppose 0 = -2*s + 14 + 10. Let j(c) = c**3 - 11*c**2 - 12*c. Let r be j(s). Solve -20 = 4*g, r = -2*p - g - 0*g - 7 for p.
-1
Suppose -4*c = 1 - 5. Suppose -f - c = -3. Solve -3*a = 6, 5*a + 10 = f*u - u for u.
0
Let p = -69 - 93. Let d be ((-1)/(-3))/((-6)/p). Solve 5*o - 2*s = 3 - d, 5*o = -3*s + 9 for o.
0
Suppose -4*k + 7 = 3*g - 4, 3*k = -g - 3. Solve -5*i - 5*w = -25, -g - 8 = 3*i - 5*w for i.
1
Let t(c) = -c**2 + 6*c + 7. Let l be t(6). Solve -5*u = 3*h + 2*h - 10, -5*h = 4*u - l for h.
-1
Let t(x) = -x - 5. Let l be t(0). Let m(z) = -z**2 - 4*z + 3. Let p be m(l). Let d = -2 - p. Solve 4*g - 3*n = -0*g - 8, d = -4*n - 16 for g.
-5
Let g(u) = u. Let n(o) = 9*o + 3. Let v(k) = 12*g(k) - n(k). Let t be v(3). Suppose 31 = 5*l + t. Solve 0 = -3*y - 4*z - 7, l*y - 19 = -z + 2*z for y.
3
Let s = 28 - 23. Solve l + 10*n = s*n - 4, -l - 2*n - 4 = 0 for l.
-4
Suppose 5*s = -o - 2*o - 7, 3 = -5*o - 4*s. Let f be 3/o - 9/(-3). Let w(k) = k**2 - 5*k. Let n be w(6). Solve -2*d - n = 0, 3*d = -3*u + f*d + 15 for u.
2
Let f = 20 - 16. Solve 3*s - 3*t = 0, -3*s + 8 = -5*s + f*t for s.
4
Let h(d) = -3*d - 55. Let l be h(-19). Solve 0 = -l*f - 2*j - 18, 6*j - 8 = 4*f + 3*j for f.
-5
Let j = 15 - 8. Let m = -2 + j. Solve 0 = -4*k, -6 = -m*l + k + 9 for l.
3
Let m(t) = t**2 + 3*t + 3. Let j be m(-2). Solve 3*x = -2*r + j, 3*r + 2*x = -2*x + 3 for r.
5
Let w be 3 - 0*(-1)/(-2). Let q be (4/(-6))/(5/30*-2). Solve -w*b - 2*x - 15 = 4, -q*x - 13 = b for b.
-3
Let x be (-94)/(-4) + (-2)/(-4). Suppose 3*u = 8*u + y - x, -u = 2*y - 3. Solve 0 = -5*s - u*q - 8 - 27, -s + 3 = -q for s.
-2
Let y be 1 + (-1 + 2)*-1. Suppose -5*r - 7 = -4*t + 2, y = t + r - 9. Suppose -4*d + 6*d = t. Solve 0 = 4*p + 3*c - 13, -p + d*p + 2*c - 8 = 0 for p.
1
Let d be (-51)/(-12) - (-2)/(-8). Suppose -5*t + 19 = 4. Solve -d*o + 3 = 2*j + 13, 6 = -t*o - j for o.
-1
Suppose 2*o - 4 = 3*z + 2, -z = 0. Solve 2*w - 7 = -h, 2*w + 0*h = o*h - 5 for w.
2
Suppose -i - 4*d - 16 = 0, -2*i - 1 = -i + d. Suppose i*p = 1 + 7. Solve -3*t - 15 = 3*g, -4*g + 3*g - 8 = p*t for g.
-2
Let a(o) = o - 2. Let f be a(4). Let z = f + -1. Suppose -z = -d + 4. Solve -4*g - q - 7 = 0, 2 - 8 = d*g + 4*q for g.
-2
Suppose 6*g = 2*g + 20. Solve -4*l + 6 = 5*z, -4*l - 5*z + g = l for l.
-1
Suppose 3*i - 4*i = 4*d - 20, -2*i - 8 = -4*d. Solve -15 = i*p - k, 3*p = -0*p - k - 13 for p.
-4
Suppose 11 = -q + 12*q. Solve -2*a + 2*f - 4 = 0, -2*a - 3*f = -q - 15 for a.
2
Let t = -9 + 6. Let d be (t/(-2))/((-3)/(-6)). Solve -5*r = 3*c + 6, 0 = -3*r - c - d - 3 for r.
-3
Let t be (-1 - 13/(-11)) + 14/(-77). Solve t = -5*q + r - 20, q + 10 = -3*q + 2*r for q.
-5
Let w be (2 + -1)/((-1)/(-4)). Suppose 0 = -w*f + 2*f. Suppose 0 = -13*l + 37 + 145. Solve f = -5*q + 5*g + 10, -q + 5*g + l = -0*q for q.
-1
Let m(t) = t**3 + t**2 - t - 2. Let f be m(-2). Let g be (1 - (6 + f))*-5. Solve -7 = -g*s + w, s + w = 4 + 1 for s.
2
Suppose -x + 3*m = -17, -6*x + 2*x - 12 = 4*m. Solve -2*p = a + 8, -x*p + 6 = -4*a + 3*p for a.
-4
Let c(g) = -2*g**2 + 0*g**2 + g**3 + 0*g**3. Let i be c(2). Solve i = 5*v + 2*t + 10, t + 2 = -v - 3 for v.
0
Let q(y) = -2*y**3 + 18*y**2 + 3*y - 21. Let f be q(9). Let l be (-34)/(-10) + (-2)/5. Solve -l*a = -5*o + f, 3*a + 0*o + 4*o = 21 for a.
3
Suppose 3*x + 0 = 6. Suppose -s - x*s = 0. Solve 0*q + q + b - 3 = 0, s = -4*q + 2*b for q.
1
Suppose 7 = -g + 10. Let o be 1 - 4/g*-3. Solve 3*t - 4*w = -27, o*w - 49 = 5*t - 9 for t.
-5
Suppose 0 = -0*w - 2*w + 14. Let j(y) = y**2 - 8*y + 7. Let d be j(w). Let c = 2 - d. Solve 3*u + 2*n - 14 = 0, -2*u = u - c*n - 10 for u.
4
Let v = -27 + 36. Suppose -5*n = j - 18, -n - 15 = -2*j - 4*n. Solve -9 = j*b + 4*q, 6*q = 3*b + q + v for b.
-3
Suppose -2*s + 5 = -1. Suppose -4 = 2*v + 4*j + 2, 3*v = -5*j - 6. Solve -n = d + v*d - 3, n = 3*d + s for n.
3
Let x(z) = -4*z + 1. Let b be x(-1). Solve -j = 3*h - 14, -b*h + 16 + 12 = 4*j for j.
2
Let x be -14*(-2 - (-3)/3). Solve 2*d - x = l - 3*l, 3*l - 15 = -d for d.
3
Let o be (2/(-5))/(3/15). Let y be ((-1)/o - -1)*2. Solve -b + 12 = -2*c, -y*c - 11 = -4*b + 6*b for b.
2
Let k(j) be the third derivative of 11*j**4/24 - j**3/6 - j**2. Let n be k(-1). Let l = -6 - n. Solve 4*v = -2*o - l, -v = -0*o + 4*o - 16 for o.
5
Suppose -5*z - j - 4 = -11, -5 = 5*z + 5*j. Solve u = z*p + 1, -6*p + 3*p + u = 2 for p.
-1
Let i = 78 - 75. Solve 2*a + 2 = 5*n + 12, a = -i*n - 6 for a.
0
Let s = -1 + 3. Let r(h) = -h - 3. Let b be r(3). Let z(j) = -j**2 - 7*j - 4. Let w be z(b). Solve -s*l - a + 4 = 0, w*l - l - 3*a + 12 = 0 for l.
0
Let l = 2 - 2. Solve 3*b = 5*y + 5, l = y + 3*b + 1 for y.
-1
Suppose -2*k + 4 = -5*i, -3*k = -4*i - 3 - 3. Let s(g) = g + 7. Let v be s(i). Let c = v - 3. Solve -2*r = 4*l - 0*r + 2, -2 = -5*l - c*r for l.
-2
Let x = -10 - -2. Let m = x - -10. Solve -m*a - 4 - 4 = n, 5*n = a - 7 for n.
-2
Let g = -7 + 35. Solve 4*d - h + 10 = g, 16 = 3*d - 2*h for d.
4
Suppose -r + 32 - 5 = 0. Let l 