se o*j - 4*j - 15 = 0. Let n be j*(8/12 - 1). Solve 0 = 4*t + 3*w - 8, 2*t - 4*t + n*w = -4 for t.
2
Suppose -31*g + 33*g - 4*y = -2, 0 = 3*g - 4*y - 3. Solve 3*u + v + 11 = 0, -g*v = 3*u - 3*v + 10 for u.
-4
Let t = -106 + 109. Let s = -1 - -3. Let q = s - 2. Solve t*z = 4*v + 1, q = -z - 4*v - 0 + 11 for z.
3
Let a(p) = p**2 + 5*p - 7. Let y = -3 - 4. Let o be a(y). Suppose h + o - 11 = 0. Solve f - 3*t + 25 = t, -t + 25 = -h*f for f.
-5
Let p be 7/14*-18*(-8)/18. Solve -5*t = v + 28, -p*v + 8 = -4*t - 0*v for t.
-5
Let f(g) = -3*g - 14. Suppose -2*x + 0*x - 32 = -4*v, 3*x + 28 = 2*v. Let n be f(x). Suppose 0 = a - n*a + 15. Solve 1 = -k - t, -a*k + 2*t + 35 = -t for k.
4
Let g be (2 - 1)*0*5/(-20). Solve b = -4*v - 10, g*v - 4 = 2*v for b.
-2
Let d = 76 - 71. Suppose -7 - 3 = 5*y, j = d*y + 13. Solve -3*u + h = -10 + 1, -5*u - j*h = -29 for u.
4
Let u(d) = 14*d - 25. Let l be u(2). Solve 0 = l*q + c + 7 - 3, -4*q = 5*c - 2 for q.
-2
Let z(q) = -63*q**3 + 64*q**3 - 5*q**2 + 18 - 3*q**2 - q. Let y be z(8). Solve 0 = 5*c - 2*t - y, 0*c + 2*t = 3*c - 2 for c.
4
Let q(n) = -2*n**3 - 26*n**2 + 29*n + 18. Let p be q(-14). Let u be ((66/(-12))/11)/((-2)/4). Solve o = -5*x + 4*x - u, 5 = -p*x - 3*o for x.
-2
Suppose 0 = 4*k - 5 - 7. Let m(f) = f**2 - f + 6. Let j be m(k). Solve 3*y - j = 0, -3 = -2*w - 2*y + 9 for w.
2
Let v(h) = h**2 + 4*h + 5. Let o(t) = t**2 + 14*t + 19. Let q be o(-13). Let z = -9 + q. Let b be v(z). Solve 2*j + 5*d + 9 = -6, -b*j = -d - 3 for j.
0
Suppose -2*j + 33 = -13. Suppose 0 = 3*z - j + 14. Solve -p + 22 = p - 5*l, -2*p - 10 = z*l for p.
1
Let z(b) = 3*b**2 - 2*b - 4. Suppose l - k - 4 - 3 = 0, -4*l - 3*k = 7. Let t be z(l). Solve -t*p = 3*a - 8, 5*p - a = 3*a - 21 for p.
-1
Suppose 0*t = -3*t - 4*q + 23, 4*q = 2*t - 2. Let u = -18 - -25. Suppose 2 = 2*i - 2*s, 4*i - 2*s = -3*s + 19. Solve 5 = t*z + i*o, -z - 2*o + u = -0*z for z.
-3
Suppose -2*s = -2*c + 12, -5*s = -0*c - 3*c + 20. Solve o - 2*o - c*n = -3, -n = -o - 3 for o.
-2
Let m = 10 - 6. Suppose m*l = -0*l + 12. Suppose 5*q = -k + 7, q - k = -l*q + 2. Solve 3*x = 2*x - t + q, t = 2*x - 14 for x.
5
Suppose -3 - 15 = 2*u. Let n be -1*(u + 11 + (-14)/2). Solve -g - 12 = -c + 5*c, 5*c = n*g + 10 for c.
-2
Let w be (-1 - -1)/(8/4). Suppose -9*z + 5*z = w. Solve 3*t - 15 = -3*d, d - 5 = 3*t - z*t for d.
5
Suppose 6*p - 132 = -4*y, p - 2*y + y - 27 = 0. Solve -2*b - q = -0*b - 3, 5*b - 3*q - p = 0 for b.
3
Let z(k) = k**2 + 10*k + 9. Let v be z(-7). Let b be ((-18)/15)/(v/40) + 1. Solve 3*w + b*i = i - 3, -13 = 2*w - i for w.
-5
Suppose 0 = 5*g - 4 - 16. Suppose -u = o - 1 + 2, 2*u = -o + 2. Solve -u*r - q - 12 = -g*q, 5*q = 2*r + 14 for r.
-2
Let o(d) = 4*d**2 - 6*d + 5. Let u be o(4). Suppose 0 = 5*y - 10*y - 5*z + u, 3*y + 2*z = 23. Solve 4*b - y*g - 1 = 2, 5 = 5*g for b.
2
Suppose 5 = 3*g + 4*d - 21, -5 = 5*g - 3*d. Let b be (-22)/(-8) + g/8 + -3. Solve 3*m = 5*w + 24, b = -w - w + 3*m - 15 for w.
-3
Suppose -54 = -89*k + 83*k. Solve -s = -5*s - 3*b + k, 2*s + b - 3 = 0 for s.
0
Let g be (0 + -1)/(3/(-15)). Suppose -3*q - 4*h = -17, -25 = -g*q - 0*q - 5*h. Solve 3*s - 6 = -2*l, -l + 3 = -q*s - 0 for l.
3
Let w(j) = 3*j + 12. Let f be w(-8). Let p = -7 - f. Suppose p*z + 30 = 110. Solve -2*x + z = 4*h, -h - 1 = -x + 1 for x.
4
Suppose 2 = 2*h - 2*f, -3*h - 1 - 3 = 4*f. Let i be h*((1 - 0) + (-4)/8). Solve -5*c + 4*z = 8 + 7, -2*c - z - 6 = i for c.
-3
Let j be 20/50*(-1 - -11). Solve -4*p + 3*b + 0 = -j, b = 2*p for p.
-2
Suppose -4*i + k - 4 = -0*k, i - k + 4 = 0. Let o = 3 - i. Solve t - 17 = -o*n + 2*t, -31 = -4*n + 3*t for n.
4
Let z(x) = 4*x + 48. Let a be z(-11). Solve -4*q - 2*m - 12 = -0*q, 3*q + a*m + 19 = 0 for q.
-1
Let h = -40 - -64. Suppose -10*g = -7*g - h. Solve 5*m + 4*t - 28 = g, -5*m + 8 = -3*t for m.
4
Suppose 8*a = -10 + 50. Solve a*m = -3*o - 11, 4*o + 0*o - 5*m - 32 = 0 for o.
3
Let d be 0*(3 - (-3 - 5)/(-4)). Solve d = n - 3*i - 8, 3*i - 4*i = 5*n - 24 for n.
5
Let o(x) = x**2 + 5*x - 10. Let a be o(-7). Let k be (-10)/a*(-18)/15. Let u = 143 + -143. Solve u = -3*l + 2*b - 17, -k*l + 6 = 4*b - 1 for l.
-3
Let m(h) = -2*h - 81. Let x be m(-43). Solve k + 3*r - 7 = -k, -x*r = -5 for k.
2
Suppose -3*u - 40 = -3*l + 2*u, 0 = -4*l + 4*u + 48. Let n = l - 6. Let z be (-26)/(-6) + 10/15. Solve 0 = 3*j + i + 12, 3*j + 2*i + n = -z for j.
-5
Suppose -o = 4*i - 12, 0 = -2*i + 2*o - 0*o + 6. Solve 4*g + p + 15 = 0, p = -2*g + i*p - 10 for g.
-4
Let c = -14 - -16. Suppose 0 = c*a + 3 - 5. Suppose 0 = k + 2*b + 2, -3*k + 2*b = -a - 9. Solve -j = -r - 3*j - k, -13 = 3*r - j for r.
-4
Let j(x) = -x**3 - 7*x**2 + 10*x + 20. Let k be j(-8). Let p(t) = -t + 8. Let y be p(k). Let z be 0*3/(24/y). Solve 3*b = 4*b, z = -4*u + 5*b + 16 for u.
4
Let k = -11 + 11. Let o = -10 + k. Let d = o + 14. Solve d*j + 0*r - r = 5, -5*j - 4*r = 20 for j.
0
Suppose 15*o + 33 = 26*o. Solve u = -u + 8, -2*f + o*u = 20 for f.
-4
Let w = 66 - 66. Solve w = -t - 4*a - 12, -2*t - 24 = 2*t + 4*a for t.
-4
Let i be -8*(1 + -2)*(2 + 0). Suppose 0*t + 5*t - 135 = 0. Let u = t - i. Solve 4 = -4*f - 4*l, -f + 6*l + u = l for f.
1
Let v = -70 + 72. Let x be (4 + (1 - 1)/3)/v. Solve -o + 3*o = -3*s - x, -2*o = 2*s for o.
2
Let b be -16*4/12*-3. Let a be ((-5)/10)/((-2)/b). Solve -3*j + 11 = -5*v - a, 4*v - 10 = -2*j for v.
0
Let y = 92 - -3. Suppose -5*n + 5*t = -y, -4*n + 7*n = 4*t + 60. Suppose -n*v = -17*v. Solve 3*j = 8*j - 5*s + 15, v = -4*s + 12 for j.
0
Let i = -6 - -6. Let p be 1*((-2)/(-1) - i). Suppose p*a = 2 + 10. Solve 2*x = -5*r + a*x + 20, 0 = -3*r + 2*x + 12 for r.
4
Let o(y) = 0 + 0*y - 13*y - 5 + 1. Let a be o(-3). Let j = -126 - -131. Solve 3*i - a = -2*t - 12, 4*i = -j*t + 40 for t.
4
Let o(c) = -9*c + 165. Let d be o(18). Solve 24 = d*v + 3*x, -4*v - 7*x = -2*x - 37 for v.
3
Let o be -11*(15/(-20) + 18/(-8)). Let s be (-6)/o - 168/(-77). Solve -s*c - 8 = -n, -3*c - 18 = -n - 2*n for c.
-2
Let d(i) = i**2 - 25*i - 23. Suppose 2*o - 32 = 4*g, -o + 3*g = -3*o + 67. Let f be d(o). Solve -q = q + 2, -2*b = 3*q - f for b.
3
Suppose -22*k + 2*k + 60 = 0. Solve 6*l - 4*l = 5*i - 21, 2*l = -i - k for l.
-3
Let m be (-57)/2 + 1/2. Let g = 32 + m. Solve -23 = -o - 5*w, g*o + 40 - 7 = 5*w for o.
-2
Let b(i) = -i**3 - 3*i**2 + 2*i + 9. Let g be b(-3). Solve -15 = 4*f - 5*o, 0 = -f - 7*o + 8*o - g for f.
0
Let x = -48 - -54. Let v(y) = 2*y - 9. Let m be v(x). Solve m*d + 5*l = 7, 0*d + 3*d = 5*l + 17 for d.
4
Let b = 414 - 409. Solve 4*i = o + 2*i + 10, 5*o + b = i for o.
0
Suppose 5*r = 2*v + r + 8, 4 = 3*v - 2*r. Let j = -17 - -12. Let g = j + 10. Solve z = -4*s + 2*z + 18, v*s - 26 = g*z for s.
4
Suppose -x - 2 = -5, 0 = -4*d + 2*x + 14. Suppose -d*q + 30 = -40. Let p be 8/(0 + 2) + -2. Solve z - 2 - q = -5*k, -2*z = -p*k + 4 for k.
3
Let k = -104 - -79. Let r be (-190)/k - (-3 - (-72)/20). Solve -m = -2*c - 10, -3*c + r*c = -2*m - 12 for c.
-4
Let q be -8 - (-494)/57 - 4/6. Solve -2*a + 5*a = -l, 3*l + 3*a - 6 = q for l.
3
Let g(c) = -4*c - 2. Let p be g(1). Let f = 28 + -17. Let x = p + f. Solve -3*q + 2*y = 6*y, 0 = -4*q - x*y for q.
0
Let q be (-105)/(-10) + -6*3/(-12). Solve -5*t = -4*g - q, -5*g - 3*t + 22 = -0*g for g.
2
Let q(n) = n**3 + 7*n**2 - 9*n - 6. Let y = 14 - -26. Suppose 0 = -11*i + 6*i - y. Let b be q(i). Solve -4*k - 2*o + b = -24, -3*o + 29 = 4*k for k.
5
Let v = -3 - -5. Let q(c) be the second derivative of 7*c**4/12 - c**3/3 + c**2/2 - 11*c. Let o be q(v). Solve 5*w = -y - 2*y + o, -4*w - 3*y = -20 for w.
5
Suppose -f - 16 = 4*w, -f + 17*w + 8 = 15*w. Solve -16 = -2*k + 2*a, k - 2*a - 12 = -f for k.
4
Let p = 14 + -1. Let x be (0 - -1)/((-3)/12). Let v(r) = -4*r - 10. Let t be v(x). Solve h - t - p = 5*k, -2*k - 14 = -2*h for k.
-3
Let a = -416 - -420. Solve a*g + t - 7 = 0, -12 = -t - 3*t for g.
1
Suppose 3*k + 5 = -2*d, 0*k - 3*k = 15. Solve -u + 4*a + 6 - 26 = 0, 0 = a - d for u.
0
Let r be (0*(-2)/6)/(8 - 7). Solve 6 = p - 3*c, r*p + 5 = 2*p + c for p.
3
Let r be -2 - (-2 - (-3 - -3)). Suppose 12*t - 14*t + 12 = r. Solve -5*n + t*u + 20 = u, -17 = -4*n + 3*u for n.
5
Let o = 31 + -26. Suppose 3*q = -b + 1, -3*q - o - 4 = 3*b. Solve 12 = 5*c - q*s, -4*c + s + 8 = -4 for c.
4
Let g = 11 + -3. Suppose -6*o + 4*o = -g. Suppose 0 = -w + 8 - o. Solve 8 = 2*b