- 16, o = u*w + 12 for w.
-4
Let g = -20 + 46. Let t = -23 + g. Let r(h) = -h**2 + 8*h - 4. Let y be r(5). Solve -y + 1 = 2*o + u, 0 = t*o + 3*u + 18 for o.
-4
Let j = -4 + 6. Suppose 2*v - 4 - j = 0. Suppose -2*z = -m - 33, m - 5 + 56 = v*z. Solve 2*c = 4*t + z, 2*c + 2*t = 5*t + 15 for c.
3
Suppose 0 = -2*w - 1 + 7. Solve -4*p + 5*l = -2, w*p - 5 = -2*l + 4*l for p.
3
Suppose 2*t - 4*r = 8, -2*t = -4*t - 2*r + 8. Solve -l - t*l = 3*d + 31, 0 = 4*l + 5*d + 30 for l.
-5
Suppose a - f = -3*f + 7, 0 = a + 3*f - 3. Solve -5*v - 4*m + 1 = a, 7 = -v - 5*m for v.
-2
Let x(h) = 3*h**2 - h. Let t be x(2). Solve -2*n + 0*v - 4*v + t = 0, 0 = -n - 4*v + 9 for n.
1
Suppose 0 = 4*a - 4*j, 0 = 4*a - 4*j + 5*j - 25. Suppose -4*p + 36 = 4*h, -2*h + 27 = a*p - 9. Solve -15 = -3*o - 3*i, -2*o + 2*i = p*i - 14 for o.
3
Let l = -10 + 12. Solve l*h + 3 + 4 = -3*c, 4*h + 21 = c for h.
-5
Let m be (-10)/12*4*3/(-2). Solve -2*i + m*w - 35 + 10 = 0, i + 4*w = 7 for i.
-5
Suppose -4*d - d = t - 13, 0 = -4*t - 8. Solve -7 = d*s - f, -4*f = -8*s + 3*s for s.
-4
Suppose 10 = 2*b + 4. Suppose -8 = -v - b. Solve 0 = -0*m + v*m + 25, 3*m + 30 = -3*x for x.
-5
Suppose -12 = -2*n + 20. Suppose 2*j = -2*m, 5*m - j - 2 = n. Suppose 2*t - 8 = -m*h, -11 = -3*h - 4*t - t. Solve -2 = -2*z - f, -h*z + 0*f = 4*f + 10 for z.
3
Let p = 5 + -5. Let b be 10/(-45) + 56/9 + -3. Solve p = -2*i - b*g + 5, 3*i + 4*g - 8 = -0*g for i.
4
Let q(c) = c**2 - 4*c - 3. Let j be q(5). Suppose -f = j*l - 2*f - 5, 5*f = -l + 30. Solve -4*y - 5 = -l*s, 3*y = s - 2*y + 20 for s.
5
Suppose -2*q = 3*q. Suppose s - 12 = -3*b + 5*s, q = b - s - 3. Solve 2*n - 3*d = -0*d - 6, b = d for n.
-3
Suppose 0 = q - 3*w - 4, 2*q + w = -0*q + 8. Suppose 3*m - 2*m - q = 0. Solve -3*j + m*i - 20 = -5, -3*i = -3*j - 15 for j.
-5
Let y(r) = 3*r - 2. Let f be y(2). Solve -a - 5 = n, -3*n - f*a - 21 = -5 for n.
-4
Let h(f) = f**2 - 6*f - 2. Let a be (-75)/(-11) - 12/(-66). Let b be h(a). Solve 0*v + v - 2 = -2*o, 0 = -b*o + 15 for v.
-4
Suppose 13 - 7 = 2*d. Solve -4 = d*y + q, 0*y + 2 = 2*y - 4*q for y.
-1
Let g(i) = -i + 29. Let f be g(11). Solve -4*b = -3*s - 7*b + 18, 2*s + 5*b = f for s.
4
Let g be 8*2/(-4) + 4. Solve z - 2*q = -15, -3*z + g*z - 35 = -4*q for z.
-5
Suppose -k = -2*i + 6, -2*i = 2*k + 1 - 13. Solve -2*b - k*x = -4 - 0, -2*x = -2*b + 4 for b.
2
Let w = -1 + 1. Let k(r) = -r**2 - 13*r - 39. Let c be k(-6). Solve 0 = -2*z + 2, o - c*z + 2*z + 3 = w for o.
-2
Let r(i) = -3 + 4*i - 4*i - 2*i + i**2. Let a be r(-3). Let n = 190 - 182. Solve 4*v - n = -f + 6*v, 3*f = -3*v - a for f.
0
Let l(y) = y**2 + 4*y + 8. Let n(p) = -p**2 - 5*p - 9. Let w(a) = 5*l(a) + 4*n(a). Let k be w(0). Solve -4*c + c = 4*j - 1, -k*c = -5*j - 22 for c.
3
Suppose -24 = 2*f - 3*k, -2*k + 13 = -4*f - 27. Let n = 13 + f. Suppose 0 = -3*x + 5*x - 6. Solve -x*s - s + 2*r = -n, -5*s + 6 = -2*r for s.
2
Suppose -64 = -8*i + 4*i. Solve 0*n + 3*n - z = i, -4 = -3*n - 2*z for n.
4
Let o be ((-12)/(-15))/(-4)*-5. Let g = 2 + o. Solve g*w - 4 = a, 5*a - 3*w - w = 2 for a.
2
Let r(g) = 5*g**3 - 2*g. Let j be r(1). Solve -2*w + 11 = -i, i - j*w - w = -19 for i.
-3
Suppose -5*p = -2*n + 21, -5*n = -3*p + 1 - 6. Let o be 1 - (-6 + (0 - n)). Suppose -3*x - x = 0. Solve -5 = -4*k - u, u - o = 4*k - x*u for k.
0
Suppose 4*c = 4*s - 8, -5*c - 4*s + 7*s = 0. Solve d - 4*d - 3*l = 12, 0 = c*d - 5*l + 4 for d.
-3
Let g(o) = -o**3 - o**2 + 4*o + 2. Let a be g(-3). Suppose -4*h = 4*x - 2*h - a, -x - 4 = -h. Solve z + 3 = q, -3*z + 2*q + 0 - 10 = x for z.
-4
Let z = 5 - -6. Let y = z - 5. Solve -l - 3 = 5*u, -u + y*u + 11 = 3*l for l.
2
Let z(u) = u**2 + 12*u - 9. Let o be z(-13). Let p = 16 - 11. Let c = p + o. Solve 5*w + s = 3*s - 29, 3*w + 3*s = -c for w.
-5
Let s = -6 + 8. Suppose 2*o - 20 = -s*o. Solve w + f = o*w - 14, -3*f + 26 = 5*w for w.
4
Suppose -6*o - 15 = -o. Let y(z) = z**2 + z - 4. Let u be y(o). Solve 2*m + 2*n = 18, 25 = 5*m - u*n + 3*n for m.
4
Let b = 109 + -101. Let w = 4 + -2. Solve -t = -5*m - b, m + 2 = -t - w for m.
-2
Let q(z) = z + 6. Let n be q(-6). Solve -4 = 5*s - t, -t = -n*t - 4 for s.
0
Let i = 101 + -69. Let s be (i/12)/((-1)/(-3)). Let k = s - -7. Solve -f = 5*u + k, 8*f + 3*u - 13 = 3*f for f.
5
Let y(b) = -3*b + 7. Let u be y(-5). Let j be 2 + u + 3 - 3. Solve -2*c = 4*i - j, -19 = 2*c - 4*c - 3*i for c.
2
Suppose -3 = -4*l + 1. Suppose 0 = m - 3 + l. Suppose -3 = -h, -z - z + m*h = 0. Solve -k = 3*b - 8 - z, 0 = 5*k + 3*b - 31 for k.
5
Let k be 17 + -9 + (1 - 4). Suppose 15 = k*y - 5*a, -7 - 8 = -3*y + a. Solve 5*m + 1 - y = 0, 1 = -4*b + m for b.
0
Let g(o) = o**3 - 22*o**2 + 2*o - 40. Let q be g(22). Solve 18 = -l + 3*y + y, 4*l - q = -3*y for l.
-2
Suppose 11 + 54 = 5*a. Solve -2*v - a = 3*t, 2*t + 3*v + 2 = t for t.
-5
Let s(d) = d - 5. Let v be s(8). Suppose 5*c - 16 = 2*h, -6*h + v*h = -4*c + 17. Solve -3*o = -3*f, -2*o = c*o + 4*f + 40 for o.
-5
Suppose -o + 35 = h, -h + 2*o + 33 = -17. Solve -5*n + u + 4*u = h, 0 = -4*n - 4*u + 8 for n.
-3
Suppose -1 = -a + 1. Suppose 0*w = a*w - 32. Solve -4*y + 10 = z, 2*z - 2*y = 2*y - w for z.
-2
Suppose 7 - 34 = -3*v. Let o be (-32)/(-6) - 3/v. Solve 3*k - 25 = 5*i, o*i = -k - 8 + 3 for k.
5
Suppose 0 = -2*t + 8. Suppose 0 = -4*b + 3*h - 2*h + 98, -t = 2*h. Suppose 3*g + 3*r - b = 0, 2*g + 4*r - 22 = -0*r. Solve 4 = 4*p, y - 2*y - 3*p + g = 0 for y.
2
Suppose -5*b + 4 = 2*y, -6*y + b + 10 = -y. Let a be (-5)/(-1)*(-8)/5. Let n(u) = -u - 6. Let h be n(a). Solve -h*f = -2*l, -3*l + y = -4*f - 2 for f.
-4
Suppose 0 = 2*s - 2*y - 26, -8 = 3*s + 5*y - 55. Solve 2*a = 4, -3*a + s = -2*u + a for u.
-3
Let w = 39 + -34. Solve w*b + 5*a + 5 = 0, 0 = b - 4*b + a - 3 for b.
-1
Let g be ((-4)/8)/((-3)/6). Solve -n + 3 - g = 3*i, 5*i - 2 = -n for n.
2
Let k be 1/(-4)*-2*6. Suppose -k*n - 1 - 14 = 0, -3*n - 9 = 2*v. Let g(f) = f**2 - 4*f - 54. Let x be g(10). Solve 4*l = 2*t - 20, -x*t + t + 15 = -v*l for l.
-5
Suppose -f + 1 - 19 = 0. Let w be (f/(-2))/3 + 0. Suppose w*y + 12 = 6*y. Solve 0 = 4*p - y*i + 20, 5*p = -i + 14 - 33 for p.
-4
Suppose -j = -0*j - 4. Solve 3*n + 7 + 8 = 4*h, 0 = 4*n - j*h + 16 for n.
-1
Let x(o) = o**2 + 6. Let u be x(0). Let y be (-14)/(-6) - u/(-9). Let w(z) = 4*z - 1. Let s be w(3). Solve 2*f + 28 = -0*v + 4*v, 0 = f + y*v - s for f.
-4
Suppose -14*x - 1 + 43 = 0. Solve -2*b = x*d + 2 + 4, -3*d = 12 for b.
3
Let d = 20 - 22. Let i = 4 + d. Solve 2 = 4*v - 2*a, 2*v - i*a - 3 = -3*v for v.
1
Suppose -2*n - 10 = -2*g + 2, 4*n - 4 = -3*g. Let j(v) = 0 - v - g + 3. Let b be j(-1). Solve 6 = 2*s - b*t + 2*t, 0 = -3*s + t + 5 for s.
2
Suppose h - 14 = -0*h + 4*n, 0 = 4*h + 5*n - 14. Let p be h/4 + 30/12. Suppose 0 = -2*g - t - 3*t - p, g + t = 0. Solve 0*i = 2*i + g*b, 5*i = 4*b + 9 for i.
1
Let i be (1 - -1)*(3 - 1). Suppose 52 = i*m - 92. Suppose q - 9 = 5*f, 0*q + 3*f = 4*q - m. Solve 3*o = 2*v - 9, 0*v + q = 3*v - 3*o for v.
0
Suppose -5*f + 22 = -2*f + 2*b, 0 = -3*f + 5*b - 13. Solve -4*j + 0*j - 5*a - 26 = 0, -2*a + 12 = -f*j for j.
-4
Let u be (2 - 1)*(0 - -3). Let a be u + -2 + -1*3. Let m = a - -25. Solve n + 3*x + 2*x - 17 = 0, 0 = -5*n + 2*x - m for n.
-3
Let m(t) = t - 4. Let y be m(7). Let s = 0 + y. Suppose -32 = -j - s*j. Solve p - 21 = -3*c - j, 0 = -5*p + 4*c + 8 for p.
4
Let w be (60/(-50))/(6/(-20)). Solve 0*g = 4*p - w*g + 12, 5*g - 1 = -2*p for p.
-2
Let k = 12 - 10. Solve 5*n = 3*n + m - k, -4*n + m = 0 for n.
1
Let o(j) = j**3 + 2*j**2 - 2*j + 4. Let z be o(-3). Solve 3 + z = -2*i + n, -5*i - n - 17 = 0 for i.
-3
Let p(j) = j + 2. Let a be p(2). Let i = 9 + -8. Let o = i + 2. Solve 4*z = -a*w + 40, -o*w = -4*z + w for z.
5
Let p(r) = -r**3 + r**2 + r + 3. Let x be p(0). Solve -2*o + 4*n - x - 3 = 0, o + 4*n = 3 for o.
-1
Let v = -9 + 11. Suppose -p - 3*h + h = -v, -2*p - 2*h = -4. Suppose p*a = 4*q - 26, 2*a - 3 = -3*q - 2*a. Solve 4*k - q = g, -3*g + 4*k + 0*k = 7 for g.
-1
Suppose 4*p - 16 = -4*b, -4*p + 10 = b - 6. Solve -6*l - 9 = -3*q - 3*l, 2*q - 3*l - 10 = b for q.
-1
Let d(m) = 2*m - 6. Let l be d(5). Let p(y) = -50*y**2 - 1. Let z be p(1). Let x be (z/6 - 2)*-2. Solve -x = 5*q - l*u - 1, -25 = q - 5*u for q.
0
Suppose 0 = -t - 2, 4*u + t = 4*t + 14. Solve q - 2 = 0, 2*q = 3*z - u*z + 4 for z.
0
Suppose 5*l = -4*f + 5, 4*l - 5*f + 