= 6*a - 2*j, -v*j + 36 = -5*a for a.
-4
Suppose t - f = 7, 4*f - f = -t - 9. Solve 5*r = -t*m + 1 - 7, 4*m + r - 9 = 0 for m.
3
Let p(y) = 4*y - 15. Let f be p(3). Let k be 0 + f/(-2) + 11/(-22). Solve 3*m = 4*t + 27, 0 = 5*m + k - 26 for t.
-3
Suppose 31*p - 29*p - 12 = 0. Let x be (-676)/(-78) + -2*2/p. Solve b = -3*h - 0 - 2, 2*b - x = 0 for h.
-2
Suppose 2*l + 11*l = 10*l. Solve 5*a - w - 15 = 0, -2*a + 3*w = -l*a + 7 for a.
4
Let u be (-171)/(-12) + 28/(-112). Solve -2 = -4*r + 2*h + 10, 0 = 5*r - 2*h - u for r.
2
Let s be ((-45)/10)/(6/(-8)). Suppose -s*z = -4*z + 6. Let k be 0*z/9 + 5. Solve 0 = p - 3*w + 13 + 7, 0 = k*w - 25 for p.
-5
Suppose 35*z - 597 = -317. Solve 3*k = -3*d + z + 1, d - 6 = -4*k for d.
2
Let r(h) = 21*h + 173. Let u be r(-8). Solve -2*k = -c - 3, -k + 8 = -u*c - 7 for k.
0
Let r be -4 + (-27)/6*-2. Suppose 4*h = -9 + 25. Suppose -1 = k - h*s + 1, 5*k - s - 9 = 0. Solve 3*b = 4*z + r, -z + k*z = 2*b + 5 for b.
-5
Suppose 20 = 88*x - 87*x. Let j(z) = -3*z - 12. Let w be j(-10). Let g = x - w. Solve 2*s - a = -11, 3*s = -a - g*a - 12 for s.
-5
Let s be 0*4/(-12) + 15. Let j = s - 15. Solve -27 = 4*z + 3*y, -2*z = -y - j*y + 1 for z.
-3
Let b = -649 - -651. Solve 3*v + 0*v = b*a - 3, -2*a = -5*v - 9 for a.
-3
Let z be 15/(-9)*-1 + (-1)/(-3). Suppose 4*j = 2*b + 18, -1 + z = -2*j - b. Solve 0 = 2*g - y - 3 - 4, 0 = j*y + 6 for g.
2
Let w(b) = 4*b - 15. Let k = 45 - 40. Let v be w(k). Suppose -6*h = -h - 5*o - 35, 0 = -3*o - 9. Solve 0 = c + 2*u - 10, -3*c = -u - h - v for c.
4
Let f be (-6)/(-15) + 3/5. Suppose -5*l - 3*a = 10, 4*l + a = -f - 0. Suppose -l + 3 = n. Solve 3*x = 3*s - 4*s + 8, s + n*x - 5 = 0 for s.
-1
Let w be -2*(3 - (-69)/(-6)). Suppose -5*t + w = -4*t. Suppose -3 - t = -r. Solve 3*c - 5*o = -25, 3*c + 3*o + 5 = r for c.
0
Let u = -948 + 952. Solve 8 = -5*v + 3*y + 26, 0 = 3*v - u*y - 13 for v.
3
Suppose -14*q + 31*q = 0. Solve -u = -3*c + 6, 4*c + u + q*u = 8 for c.
2
Suppose -5 = -5*c + 5. Suppose 3*i - 23 = -5*k, c*k = -0*i + 4*i + 4. Solve -r - 6 = -s, k*r + 3*s + 9 = 4*s for r.
-1
Suppose 967 = -3*f + 976. Solve -3*d = 2*k + 2 - f, 3*k - 12 = -d for d.
-3
Let w be (-1)/1*-1 - (5 - 2). Let u(t) = -t**3 - 2*t**2 - 5*t - 8. Let l be u(w). Solve 2*s + s - 4 = -l*o, 0 = 4*s + 4*o - 12 for s.
-2
Suppose 12 = n - 4*b, 0 = 5*n + 4*b + 88 - 100. Solve q - n = w, 4*q = -q + 2*w + 14 for q.
2
Suppose -3*h + 5*s - 2 = 11, h - 3*s = -11. Let b = 42 + -30. Solve -f + 3*f + 3 = -a, -4*a + h*f = b for a.
-3
Let y(g) = -6*g + 39. Let r be y(6). Suppose 2*v = 2, 3 = -r*k + 3*v + 12. Solve k*x = 4*q - 2*q + 6, q - 5*x + 12 = 0 for q.
3
Let x(n) = n**2 - 23*n + 7. Let s be x(24). Solve 2*k = -4*l + 7*k + s, -2*l + 14 = -2*k for l.
4
Let u = 60 + -51. Suppose -33*z + u = -30*z. Solve -k - 2*s - 6 = -0*k, -3*k + 18 = -z*s for k.
2
Let h = 89 - 9. Suppose -n = -5*n + h. Solve 4*f - 4*j - n = 0, -4*f + 3*j = j - 12 for f.
1
Let g be -88 + (-1)/(-5 - -4). Let p = g + 90. Solve 0 = -5*c - 0*c - p*o - 5, 3*o = 15 for c.
-4
Suppose -5*o - 10 - 9 = g, o = -2*g + 7. Solve -5*a = -5, -a - 13 = -2*q - g*a for q.
4
Let k = 108 - 105. Suppose -48 = -7*w + 4*w. Suppose 0*v = v + k*s - w, -12 = v - 4*s. Solve -5*h + v*o + 11 = 0, 0 = 3*h + 2*o - 6 - 5 for h.
3
Suppose 13*v = 17*v - 12. Let b be 37/7 - 28/98. Solve -c = v*k - 10, -b*k + 5 = -5 for c.
4
Let a = -550 + 552. Solve a*b - q + 2 = 4*b, 0 = 2*q for b.
1
Suppose 2*j + 3*j - 67 = -3*r, -4*r + 120 = -j. Let c = 30 - r. Solve -5*f = -q + c, -4*f = q - 0 - 1 for q.
1
Let j be (-9)/(-12)*-2*-14. Solve -3*p - y - 11 = -7*p, -4*p - y = -j for p.
4
Let n be (-11 + 11)*(-2)/4. Solve a + 5*l - 22 = n, 3*l - 4 + 0 = 4*a for a.
2
Let x be ((-38)/8)/(2*6/(-48)). Suppose -13*a + x*a = 0. Solve -5*l + 2*r - 1 - 3 = a, -4*l - 4*r - 20 = 0 for l.
-2
Suppose 3*r = 12, 2*n + 0*r + r = 8. Suppose -105 - 102 = -9*v. Suppose -z = -n*z + v. Solve 5*d - 2*a - 7 = 0, -d - 8*a + z = -3*a for d.
3
Suppose -80*a = -78*a + 4*i - 24, a = 3*i - 13. Solve 4*p = l - p, -a*l + 3*p = 0 for l.
0
Suppose 4*c + 3*j - j = 0, -5*c = -4*j - 26. Suppose 0 = 2*y + 3*y + 4*m + c, -5 = -4*y - m. Solve 5*q + 29 = -3*k, y*k + 5*q - 13 = -39 for k.
-3
Let i be (-168)/(-63)*3*1. Let m be (9/(-4))/((-3)/i). Solve 0 = 2*j - 5*t - 23, -3*j + t - 3*t = -m for j.
4
Let v(p) = p**2 + 14*p + 2 + 0 - 24*p + 2. Let f be v(10). Solve 4*h = -0*h + f*i + 16, 28 = 5*h + 3*i for h.
5
Suppose 2*i = -3*i + 60. Solve -5*n = -4*k - i, 3*n + k = 2*k + 3 for n.
0
Suppose -i + z = -3*z + 10, -3*i + 14 = -z. Suppose 13*x - 35 = i*x. Solve -3*b = 3*t - 2 - 13, -x*t + 2*b + 11 = 0 for t.
3
Suppose 0 = -3*j + 3*c + 3, -4*c = 5*j - 0*c - 5. Suppose -3*t = j - 13. Suppose -2*d = -t*d + 10. Solve d*b - 14 = -4*i + 7*i, -3*b = -3*i - 12 for b.
1
Suppose -p + 2 = j, 5*j = -3*p + 1 + 23. Let h be -3*((-10)/6 - 0). Solve -h*c - 9 = -g, 2*c + 4*g - 5 = j for c.
-1
Let j = 14 + -10. Let v be 1*j + 22/(-11). Solve v*i + 1 + 13 = -4*d, -4*d - 2 = -2*i for d.
-2
Let z be 0 + (-3)/(-1) - (-2 - 0). Let g(c) = -2*c + 10. Let p be g(z). Suppose 7*x + 20 = 3*x, -15 = -2*w + 3*x. Solve p = 5*f - f - q - 22, 2*q + 4 = w for f.
5
Let a(r) be the first derivative of -r**4/4 - 5*r**3/3 - 2*r**2 + r - 4. Let s be a(-4). Let p = 4 - s. Solve 4*c - 2*x = 0, 5*x = -p*c + 2*x + 18 for c.
2
Let p be (13 - 17)*(-21)/(-4). Let o = p + 23. Solve 5*z + 2*h = -11, o*z + 0*h - h + 8 = 0 for z.
-3
Let d(i) = 7 - 13*i + 3*i + 6*i**2 + 6 - i**3 - 2. Let k be d(4). Solve -5*x - 15 = -4*b, b + 4*x - k + 15 = 0 for b.
0
Let h be (-24)/(-14) + (-4)/(-14). Let b(f) = -9 - 1 - 7 - 2 + 4*f. Let d be b(8). Solve -12 = 2*t + 5*l, -1 + d = h*t - l for t.
4
Let c be -2 + (3 + 4)/1. Let v(p) = -p + 5. Let s be v(c). Solve -5*w - y = 14, 4*y = -s*y + 4 for w.
-3
Let g be ((-3)/(-4))/(60/160). Solve 0 = 5*n + 4*w + 15, -5*n = 3*w + 8 + g for n.
1
Suppose -22*a + 5*a = 6*a. Let g be 76/(-2)*5/(-10). Solve 5*v + g = -3*z, a = 3*z - 5 - 1 for v.
-5
Suppose -12 = -43*z + 37*z. Solve 5*y = 3*d - 1 - 5, -d + z*y = -3 for d.
-3
Let o = 92 + -49. Let k = o - 40. Solve -5*g + 4*b + 1 = 5*b, 0 = -2*g - k*b - 10 for g.
1
Let o be (-20)/8*2 - -13. Let b be (10/(-4) + 2)/((-2)/o). Suppose -g + m = -3*m + 4, g = -5*m + 5. Solve g = -5*k + b*k - 5*a - 5, -3*k - 19 = -2*a for k.
-5
Suppose 5*l + 17 = x - 5*x, -5*l - 35 = -5*x. Suppose 9 = x*v - 1. Solve -5*u - 4*m + 16 = 0, v*u = -0*m + 4*m - 16 for u.
0
Let i(u) = 5*u - u - 2 - 8 + u. Let p be i(3). Let v = 14 - 7. Solve -s = -4*q, 2*q - v*q + 25 = p*s for s.
4
Let z(p) = -p**2 - 21*p - 93. Let o be z(-7). Solve -3*l + 4*a = -5, l = -a + 2 - o for l.
-1
Let j = 252 - 248. Solve -j*u - 26 = -3*m, -3*m - 4 = -4*u + 6*u for m.
2
Suppose -15*w + 16*w - 18 = -3*o, -4*w + 2 = -2*o. Solve w*n = 5*f + 20, 4*n + 3*f + 6 + 6 = 0 for n.
0
Let l(z) = -z**3 + 14*z**2 - 50*z + 12. Let v be l(7). Solve -o = 3*u - 1, v*o + 7 = -5*u + 2 for u.
1
Let k(s) = s**2 + s - 2. Suppose 4 = 3*d + d. Let i be k(d). Solve 3*u + 2*o = -11, 4*u = -o - i - 8 for u.
-1
Suppose -7 = -z - 2. Suppose 0 = 4*c - 3 - 5. Solve 0 = -z*m - 5*o + 5, 0 = -m + c*o + o + 5 for m.
2
Let v = -1093 - -1096. Let c(q) = q**2 + 4*q + 2. Let l be c(-4). Suppose 0 = l*f + f - 9. Solve -3*w - 2*w + 1 = -h, 0 = -v*h + 5*w - f for h.
-1
Let y(l) = l**3 - 10*l**2 + l - 7. Let i be y(10). Solve -3*c - 15 = i*z, 3*z + 8 = -c + 1 for c.
-4
Let h = -117 - -148. Let o = h - 31. Solve -4*c - 8 = -5*l, 2*l - 8 = -o*l for c.
3
Suppose 3*c + 15*n = 12*n + 69, -2*c + 51 = -3*n. Solve 2 + 1 = -s, 3*d = 5*s + c for d.
3
Let h be 98/(-6) - 4/6. Let c = -14 - h. Solve 4*t = 2*v, -c*t + 5*v - 18 + 4 = 0 for t.
2
Suppose -a = -5*h - 14, -5*h - a - 8 + 2 = 0. Let v be (-4*h/12)/(20/90). Solve 5 + v = -2*m, 0 = -y - 2*m - 12 for y.
-4
Suppose 3*l = -0*l + 3. Let y = -48 + 52. Solve g - 3*x + l = -y, -g = 2*x for g.
-2
Let l(o) = -14 - o + 2*o**2 - 3*o**2 + 10 + 28. Let k be l(-5). Solve -h = -u - 2, -k*u - 20 = -0*u for h.
-3
Let z = 19 - 15. Let s be 7/(21/(-12)) + (-9 - -18). Solve -3*n - 9 = 3*a, -z*a + 5*n = a + s for a.
-2
Let s = -340 + 342. Solve -5*b - 10 = -5*q, -4*q + 9 = -s*b - 1 for q.
3
Let l be (-5 + 7)*(-39)/6. Let v = 15 + l. Suppose -v*b = -7*b + 5. Solve -4*x + 8 - b = 5*m, -5*x - 19 = -3*m for x.
-2
Let j(o) = 9