u = 154 + -94. Let s = u - 56. Solve 2*d = -2*b + 10, s*b + 6 = 2*d - 4 for d.
5
Let h = -53 - -75. Let r = h + -19. Let u = 11 - r. Solve -3*t = 3*x - 7*t + u, -6 = -3*t for x.
0
Suppose 2*w = 3 + 13. Suppose 4*b + w - 28 = 0. Solve 3*t + 0 = b*y - 16, 4*y - 10 = t for t.
-2
Let a(s) = -17*s + 7 - 23 - 10*s + 23*s. Let r be a(-6). Solve -4*q + 2*o + 11 = o, 3*q = 4*o - r for q.
4
Let t(i) = i**2 - 3*i + 2. Let m be t(3). Suppose -m*v - 19 = -5*p, -v = 3*p + v - 21. Solve -4*a + 8 = 0, 5*l - 7 = p*a - 6*a for l.
1
Let b be -6*5/(-10) - (3 - 2). Suppose 10 = 2*k + b*c, -3*k + 15 = 2*c - 0. Solve -3*w - 5 = -5*m, -k*w + 12 = 3*m + 43 for m.
-2
Suppose 2*h = 0, -31*t + 3*h - 8 = -33*t. Solve -4*r = -2*o - 10, t*r + 1 = 4*o + 3*r for o.
1
Let c(h) = h. Let z be c(3). Suppose -26 = -17*i + 4*i. Solve 4*f - w = 3, i*w + w = -z*f + 6 for f.
1
Let g be ((-6)/10)/((-160)/50 + 3). Solve 0 = -w + 3*j - g + 9, 7 = 4*w + 5*j for w.
3
Let q be (-2 + -29)*(-2)/2. Suppose 0 = -w + q + 22. Let j = -30 + w. Solve -3*f + 16 = 5*b + 5, f - 5*b = -j for f.
-3
Let x = 3 - 1. Suppose -k + 13*k = 36. Let s(o) = -o + 5. Let r be s(k). Solve r*u + 3*u + 19 = -3*d, -2*u - 6 = x*d for u.
-5
Let s be ((-3)/6*-82)/(7/7). Suppose -s = -4*t - 9. Solve -2*n = 2*o - 8, 2*o + t*n - 3*n = 8 for o.
4
Let u be -1 + (2 + 0)/(-1). Let g(i) = 17*i**2 - 16*i**2 + 2 - 2*i + 4*i. Let y be g(u). Solve -f - y = -2*m, 0 = -5*m - 0*f + f + 8 for m.
1
Suppose 0*s + d + 32 = 2*s, 2*d = -2*s + 44. Let b = -13 + s. Let x(u) = -u**3 + 2*u**2 + u. Let m be x(-1). Solve -b*t + 12 = -4*z, -t - m*z + z = -6 for t.
4
Suppose 5*v - 35 + 15 = 0. Suppose 0*b + 6 = 5*b + 2*j, -3*j = 2*b + 2. Suppose b*k + 3*k = 0. Solve 0*c = 2*c + f + 3, v*c - 5*f - 29 = k for c.
1
Suppose -q + 6 = -4*q, -2*i + 2*q + 10 = 0. Suppose 4*w = -0*w - 3*a + 38, -5*w - i*a = -49. Solve -b + 6*b = -3*l + 18, -l + 4*b = w for l.
1
Let u be (1 - 1)/(1*-2). Suppose -4*n + 2*n + 10 = u. Suppose -5*v - 20 = -5*i, i - 16 = -2*i + 4*v. Solve i*l + o + 9 = 4*l, n*l - o = 12 for l.
3
Suppose -6*w + 3*w = -36. Let h(z) = 13*z**2 - 2*z. Let x be h(-1). Suppose 2*q = 2*p - 3 + 1, 5*p = x. Solve -2*v - w = q*u, u + 2*u + 13 = -2*v for u.
-1
Let j = -1 + 4. Let i be (-9)/6*(-8)/j. Suppose i*s - 9*s = -20. Solve 4*h + 7 + 5 = -2*r, 0 = s*r - h - 12 for r.
2
Suppose 227*h = 219*h. Solve -2*v - 5*s + 9 = 0, -2*s = v - h*s - 3 for v.
-3
Let g(o) = 11*o + 3. Let a be g(-2). Let m = -12 - a. Let h be (20 - -2)*m/7. Solve 0*n + 3*n + 4*w = -h, -4 = w for n.
-2
Let r be (1/2)/(1/4). Let q = -101 + 105. Suppose t - 14 = -t + q*a, -4*t = -3*a - 23. Solve -t*n = -15, 3*x - 3*n = -14 + r for x.
-1
Let j(q) = q + 7. Let t be j(-5). Suppose -67*v + 64*v + 6 = 0. Solve -15 = -3*s - t*s - v*m, 5*m + 45 = 4*s for s.
5
Let u(r) be the second derivative of r**4/12 + r**2/2 + 10*r. Let p be u(2). Solve -6 + 1 = y + 2*m, -p*y - 25 = -2*m for y.
-5
Let d(v) = -4*v + 26. Let x be d(6). Suppose 2*n + 3*y - 6 = -n, n + 5*y = -x. Solve -4*f - 16 = w - 5*w, 0 = 3*f + n for w.
3
Let z(a) = 6*a**2 + 19*a - 19. Let l(u) = -u**2 - 4*u + 4. Let p(f) = -11*l(f) - 2*z(f). Let w be p(4). Solve 5*g - w*g - 5*k = 18, -5*g - k + 2 = 0 for g.
1
Let i = -137 + 131. Let d be 0*3*i/72. Solve d = 3*q + 2*q + 5*o - 35, 5*o - 26 = -2*q for q.
3
Let h(f) = -f - 11. Let d be h(-11). Suppose 4*s + 8 - 36 = d. Solve 0*i - 2*i = -n + s, 3*n + 2*i + 19 = 0 for n.
-3
Let u(x) = x**2 + 7*x - 6. Let l be u(-8). Let k be ((-71)/(-4))/(2/8). Suppose -4*s + k = 7. Solve -4 = y - 2*g - g, 4*y = -l*g - s for y.
-4
Let x be 3 + -4 + (165 - -5). Let c = x + -160. Solve -2*o - 20 = -4*g, -c = 5*g - 4*o - 37 for g.
4
Suppose -20 = -4*r + m, -4*m - 42 = -5*r - 7*m. Suppose -n + 4*l + 12 = 0, -l + r*l - 70 = -3*n. Solve -c + 4*o - 2 = 3, -n = 4*c + 4*o for c.
-5
Suppose -2*b = -5*i - 6*b + 9, 0 = -5*i + 2*b + 33. Solve i*a + 29 = -3*h, 0 = -2*h - 2*a - 1 - 13 for h.
-3
Suppose 133 = 3*y + 37. Suppose -9*g - y = -10*g. Suppose -20 = -z + 6*v - 2*v, g = 3*z - 5*v. Solve 2*h - 7 - z = d, 0 = -4*d + 2*h - 26 for d.
-5
Let a(f) = f**3 + 6*f**2 - 38*f + 26. Let g be a(-10). Solve -g*m + 2*m = t + 3, -6 = -4*t + 2*m for t.
1
Let l(n) = n**3 + 5*n**2 - 7*n - 1. Let o be (4/12*0)/(-2). Suppose o = -9*i + 11*i + 12. Let t be l(i). Solve -b + d = -0*d, t*b - 8 = d for b.
2
Let j = -155 + 157. Solve 4*i - 2*k = -6, 0*k - j*k + 2 = -2*i for i.
-2
Let k = -5 + -2. Let b = 10 + k. Let j = -1 + b. Solve l - 5*h - 14 = 0, 3*l - h = -j*l - 2 for l.
-1
Let d = 24 - 19. Suppose 13 - 38 = -d*l. Solve q = -l*w - 3 + 16, 1 = -3*w - 5*q for w.
3
Let m be 472/56 - (-6)/(-14). Suppose -4*b + m = -2*b. Solve -3*k - 5 = -s, -b*s - 12 = 3*k + k for s.
-1
Suppose -14*r + 7 = -13*r. Suppose 5 = -6*m + r*m. Solve 0 = 3*j + m*a - 23, 3*j - 2*a = -j - 4 for j.
1
Suppose 0 = 5*n + 224 - 224. Solve 5*r + 3*x - 40 = n, 4*x = -5*r + 2*r + 35 for r.
5
Let l(j) = 3 - j + 4*j**2 + j**3 + 0*j**3 + 0*j. Let s be l(-4). Suppose -5*i - 12 = -27. Solve -4*n = 4*u + 12, -4*u - s + 2 = -i*n for n.
-1
Suppose -x - 20 = -3*t + 41, x + 58 = 4*t. Let s = x - -74. Solve 0 = 4*y - 8, -4*y - 7 = o + s*o for o.
-3
Let g(o) = o**3 - 8*o**2 - 8*o - 2. Let x be g(9). Suppose 2*l + 3*h - x = 3*l, 0 = -2*h + 6. Solve w - 4*i - 3 = -1, -2 = l*w - 2*i for w.
-2
Let l = -68 + 27. Let v = l + 63. Let z = -19 + v. Solve z*j + 2*w = -19, 5*w + 18 = -2*j + w for j.
-5
Let a = 3 - 0. Suppose -2*n + 2 = -4*j, 2*j - 4*n + 7 - a = 0. Let y be (j - 0)/(-1 - -3). Solve t + 3*o + y*o = -12, o = -t - 4 for t.
0
Let u(a) = -34*a**3 - 32*a**3 - 2 + 65*a**3. Let b be u(-2). Solve 4*i + 3*m + b = 0, 5*m + 0 = -4*i - 2 for i.
-3
Let o = -1 - -6. Let m be 5*(-6 + 7)*(0 - -6). Let i be ((-20)/(-12))/(1/3). Solve m = -5*c + 7*r - 3*r, -o*c - i = r for c.
-2
Let q be -1 - -4 - (-1 - -2). Suppose 5*i + 7 = -5*z + 3*i, 3*z + 1 = q*i. Let m = z + 3. Solve -5*l + m*g + 12 = 0, -4*l + 11 = 4*g - 7*g for l.
2
Let u(o) = 111*o + 892. Let l be u(-8). Solve 3*d + 2 = 2*m, -6*m = -2*m - l for d.
0
Suppose -8*o - 2 = -58. Let d be 38/(-16)*-2 + o/28. Solve -2*u - 2*m + 12 = 0, -d*m = 6*u - 3*u - 26 for u.
2
Let j = -114 + 119. Solve j*h = b + 18, 0 = -0*h - h + 2*b for h.
4
Suppose -45*t + 7*t = -874. Let u = -12 + 37. Let z = u - t. Solve -3*c = z*q - 3, 0*q = -5*c - 3*q + 4 for c.
-1
Suppose -65 - 25 = 9*b. Let n be (-2)/(4 - (-44)/b). Let q be (-2)/(-3) - (-30)/9. Solve -f + 13 = q*d, 2*d + f = -0*f + n for d.
4
Let n be 13 + (-4)/1 + 6. Let t be (-10)/6*(-18)/n. Solve -t*r - 2*r + 10 = -3*v, -5*r + v + 7 = 0 for r.
1
Suppose 0 = -37*h - 28*h + 390. Solve -3*y + h*y + 8 = -r, -2*y = -5*r - 23 for y.
-1
Let a be (-5 + 20/12)*(-6)/5. Solve -5*y + 29 = 3*c, -5*c - a*y + 28 = -c for c.
3
Suppose 2*x - u = -83, -13 + 1 = -4*u. Let y = 45 + x. Solve r = 3*s + 4*r - 3, 4*s + y = -r for s.
-2
Let s be 2 + (-6)/(18/(-15)). Solve -j + z = s, j + 5*z - z = 18 for j.
-2
Let p(a) = a**3 + 2*a**2 - 1. Suppose -9*b - 12 = -3. Let c be p(b). Solve -3*n = -4*y - 2, -n + 2*n + y - 3 = c for n.
2
Let l be 0/((1 + -2)/(-3 - -4)). Solve -3*y = -0*y - 3, -g - 2*y = l for g.
-2
Let y be 12/7 + 2/7. Suppose 2*r - r + 8 = 5*t, 3*r = 2*t + y. Let d = 1 + t. Solve -f + 4*g = -5, 4*f - d*f = 2*g + 1 for f.
-3
Let h(x) = 6*x**2 + 11*x + 3. Let v be h(-2). Solve q - 20 = 4*l, 2 = 2*l + v*q - 10 for l.
-4
Let y be ((-4)/(-3))/(2/6). Let t = 9 + -4. Let i be (100/8)/t*2. Solve 21 = 2*o + i*x, 2*o + y*x - 21 = -o for o.
3
Suppose -2 + 20 = -6*a. Let t be (0 + 1 - a) + 2. Solve -x - 4 = 3*r, x = -r - 3*r - t for r.
-2
Suppose 4*w = 2*i + 3*i - 55, -20 = -2*i + 2*w. Suppose -4*z = z - i. Solve -5*g = -0*x + x + 18, z*g - 4*x + 20 = 0 for g.
-4
Let i be 80/60 + 16/6. Let b = 24 - 8. Suppose -i*n = -2*n - b. Solve 0 = l - 5*u + 12, -2*l + 0*l + 2*u - n = 0 for l.
-2
Let x = -311 - -313. Solve 4*z = -5*n - 37, -5*n - 34 = x*z - 3 for z.
-3
Suppose -6*l - 113 = -239. Solve 0 = z - 5*z + k - l, 16 = -3*z + k for z.
-5
Suppose -13*j = -18*j + 20. Let m be ((-10)/(-35))/((-2)/(-56)*j). Solve -5*v + 3*n = -20, 4*v - 4*n + m*n = 16 for v.
4
Let g = 62 + -56. Let t be 3/g - (-9)/2. Solve t + 5 = -5*r + 3*w, -4*w + 16 = -4*r for r.
1
Let i be (-8)/24 - 610/6. Let o be i/(-27) - (-6)/27. Suppose -o*b = b - 95. Solve 1 = 5*p - k + b, -4*p