*w = 4*r - 4 for w.
0
Let p = 3 + -3. Suppose l + 4*i = 0, -5*i = -p*l + l. Suppose -4*x + l*x = -16, 11 = -3*h + 5*x. Solve 0 = -3*y - 3*o - h, -y + 0*y + 2*o - 10 = 0 for y.
-4
Suppose -2*q = 5*a + 2*q + 2, 1 = -a - q. Let p(j) = j**2 + 2*j. Let z be p(-3). Solve -3*b = 0, -a*b - z = 5*v + 17 for v.
-4
Suppose 0 = 5*w - 4*w - 6*w. Solve j + j + 5*l + 27 = w, -17 = 2*j + 3*l for j.
-1
Let l be 1 + (1 - 4/(-2)). Let y be 20/8 - (-2)/l. Suppose y*q = -q. Solve -2*x - 13 = -3*c, q*c + x + 2 = -3*c for c.
1
Suppose 23 = 10*z - 17. Solve -4 = -2*x + z*k, 4*x + 11 + 11 = -2*k for x.
-4
Suppose 37*q = 34*q. Solve -5*i + q*b = -4*b + 6, -2*i + 5*b = 16 for i.
2
Suppose -16 = 2*g + 2*g. Let x = -1 - g. Let k = x - 0. Solve 2*j - 3*i = 16, j + k*i - 5*i - 9 = 0 for j.
5
Let c be (-60)/12*2*2/(-4). Solve -3*n - 3*f = n - c, f - 5 = -3*n for n.
2
Let q be ((-539)/22)/((-2)/4). Solve -j = -5*v + 19, -4*v = -4*j - q + 21 for v.
3
Suppose 3*u = 5*y - 6, 3*y - 5*u + 9*u = 21. Solve 4*h = y*q + 19, 4*q + h = -0*h for q.
-1
Suppose 4*i = -d + 19, 3*d + 3*i - 5*i - 1 = 0. Let q be 3/6 - 35/(-14). Let p = -31 - -46. Solve q*m - p = -3*g, -5*g + 1 = -d*m + 2*m for m.
4
Suppose -4*v = -14 - 26. Suppose -4 + v = 3*m. Solve 3*j + i - 6 = 0, m*j + 5*i - 17 + 0 = 0 for j.
1
Suppose 4*b - 2 = 6. Let w be 3 - (-2)/(0 - b). Suppose -3*o + w*p = 3 - 4, 31 = 5*o + 4*p. Solve v = -o*v + d + 1, 6 = 2*d for v.
1
Suppose 4*h - 2*h - 10 = 0. Let r = 6 + -10. Let y be (r/(-3))/(4/12). Solve -d = -1, -4*d - 21 = y*o - h for o.
-5
Suppose -4*t - 81 = -5*x, 6*x - 18 = 5*x - t. Solve -5*d = 3*o - x, -4*d = -6*d - o + 7 for d.
4
Suppose -2 = n + 3*p, -n + p + 18 = -0*p. Solve -2*l + n = -7*l + s, -3*l = 2*s for l.
-2
Suppose 4 = 4*c - 4. Suppose q = -d + 3, -2*d = -d. Suppose 0 = c*p - q*m + 12 - 38, 5*m = -10. Solve -3*w = -u - 3*u - 13, 2*w - p = 4*u for u.
-1
Let x(t) = t**2 - 4*t - 2. Let p be x(5). Let h be 1 + (-1 - 0) + 2. Suppose h*c + 3*d = 5*c - p, 4*c + 4 = -4*d. Solve 0 = -i - c*i + s, -4*i + 18 = 2*s for i.
3
Let u(m) = m**2 - 12*m + 24. Let s be u(2). Let x(h) = h**2 + 5*h + 2. Let d be x(-5). Solve d*i + 4*t = 2*t - s, -i - 2*t = 4 for i.
0
Let p = 8 + 22. Let r be p/(-4 + (-4 - -10)). Solve 4*c - r = q + 8, 3*c = 2*q + 21 for c.
5
Suppose 14 - 2 = 3*x. Let j be (-1)/4 - 18/(-8). Solve 0 = b - x*l - 7, -j*l = -5*b + 2*b + 1 for b.
-1
Suppose p + 8 = 3*p. Suppose -p*q + k + 108 = 0, -2*q - 3*k + 152 = 3*q. Solve 5*o - q = w - 3, 0 = 5*w - 3*o + 15 for w.
0
Let s(i) = -i**2 + 4*i. Let t be s(3). Let u = 42 - 14. Solve -4*m + t*x = u, 2*x - 4*x + 28 = -5*m for m.
-4
Let t = 11 + -11. Suppose t = -2*l - 2*l. Solve 0 = u + 5*i + 10, 3*u = -l*u - 2*i - 4 for u.
0
Let c(w) = -3*w**2 - 55*w - 14. Let k be c(-18). Solve 4*d - 8 = -k*g, 3*g + 2 = -0*d - d for d.
4
Suppose 0*y - y + 2 = 0. Suppose -2 - y = -v. Solve -t - t = 8, -16 = 4*b + v*t for b.
0
Suppose 15*i = 2 + 28. Solve 0 = 4*t, 5*b + 15 = i*t - 6*t for b.
-3
Suppose 0 = -i + 4*s - 7 + 2, 0 = -5*i - 5*s + 25. Suppose i*h = 22 + 23. Solve -5*c + 2*c - 3*a - h = 0, -5*c + 2*a - 25 = 0 for c.
-5
Let u be (-15 + 5)*(-2)/5. Solve 5 = i + u*q - 2*q, -4*q = 5*i - 7 for i.
-1
Let q be 10/(-4*3/(-6)). Solve 3*z + 5*l - 5 = 2, -9 = -z + q*l for z.
4
Suppose 0 = 5*q - 4*c - 23, -3*q = -q - 3*c - 12. Solve -5*j + 2*j = 3*y + q, 2*j + 5*y - 1 = 0 for j.
-2
Let v be (-72)/(-20) - (-4)/10. Suppose 5*r - 12 = 4*r + v*g, 0 = -3*r - g + 10. Let h = 4 - 2. Solve k = -r*u - 2 - h, -2*k + 14 = -3*u for k.
4
Let g(u) = 17*u - 1. Let x(r) = -4*r. Let a be 3/3*1 + 1. Let n(p) = a*g(p) + 9*x(p). Let k be n(-3). Solve -4*v = -w - 12, -2*v + k = -3*v + 2*w for v.
4
Suppose -4*t - 3*o + 12 = o, -3*t = -3*o - 9. Suppose m - t = -0*m. Let c = 6 - m. Solve -n = -4*w + 10, c*w - 12 = -3*n + w for n.
2
Suppose z - 4 = 1. Let u = 0 + -3. Let j = u + 7. Solve 20 = 4*d, z = j*y + y + 5*d for y.
-4
Let b(a) = -a**2 - 17*a - 8. Let j be b(-17). Let g be 100/28 - j/(-14). Solve 0 = 5*k + g*n - 15, -k = 3*k + 4*n - 12 for k.
3
Suppose 8*f - 3*f - 15 = 0. Suppose -k + f = -0. Solve 5*w + k = 2*w, w = -3*q - 7 for q.
-2
Suppose 0 = -5*t + 4*d + 6, -13 = -5*t - 0*t - 3*d. Solve -t = -5*c + 5*b + 3, 3*c = -3*b - 3 for c.
0
Let m(x) = 2*x + 3. Let u be m(-9). Let q be ((-10)/u)/((-6)/(-27)). Solve 2*f + 13 = -q*y, y = -y + 3*f for y.
-3
Let t(w) = -w + 5. Let n be (-15)/(-2)*6/9. Let j be t(n). Let b be (j + 1)/(4/20). Solve -3*o - 5 = o + q, -5*o = -q - b for o.
0
Suppose -2*b = -0*b. Solve -2*x + 2 = b, u + 4*u + 3*x - 13 = 0 for u.
2
Suppose 4*l - l - 63 = 0. Suppose -6*c + l = -5*c. Solve 3*h - 3 = -0*u - 3*u, u - c = -5*h for h.
5
Suppose 0 = 4*h + 3*r - r - 18, -h + 7 = r. Solve 0 = -w + h*m, 0*w - 4*w = -4*m for w.
0
Let p = -5 + 7. Let q be 0 - 2 - -7 - p. Solve -n + q*a - 6 = 5*a, 2*n + 2 = -2*a for n.
4
Let h(d) = d**3 - 9*d**2 + 2. Let z be h(9). Suppose -7*w + z*w = -35. Let f = -3 + w. Solve -f*i + y = 0, 0*y = -i - 4*y for i.
0
Suppose -6*a + 33 = -2*a - 3*p, a - 3*p = 6. Suppose -2*v + 5 = q, 5*v - a + 3 = 4*q. Solve 2*x + 4 = -3*d + v, 3*x - 2*d = -16 for x.
-4
Let s = 4 + -6. Let j(q) = 39*q**2 + q - q**3 - 39*q**2 + q - 1. Let i be j(s). Solve -2*c + 1 - i = d, 6 = -5*c - 2*d for c.
-2
Suppose -n = 2*n + 81. Let t be 9/n + 20/6. Solve 2*w + 2*w + 10 = 2*m, 0 = -m - t*w for m.
3
Let i = 67 + -65. Solve -5*b = 5*g - 3*g - 17, b + i*g = 5 for b.
3
Let c = -9 - -11. Solve 4 = c*t, -3*f + 2*t = -0*f + 13 for f.
-3
Suppose 0 = -3*t - 0*t. Let j(m) = -2*m + t*m + m. Let d be j(-8). Solve -4*i - 4*s = -12, 0*s - s = 2*i - d for i.
5
Let p(y) = y**3 - 19*y**2 + 17*y + 26. Let v be p(18). Let m = 3 - 0. Solve -4 = -2*r, -m*l - 3*r - 19 = -v*r for l.
-3
Suppose 17*p = 18*p - 2. Suppose -3*l + 5 = 2*l. Let x = l - 1. Solve -3*g - 4*s - 7 = x, -2*g - g - p*s - 5 = 0 for g.
-1
Suppose 4*x = 2*h - 46, 0 = -3*x + 3*h - 8*h - 15. Let v = x - -13. Suppose -2*g = v*g. Solve -o = -2*q + 7, g = 2*q + o - 12 - 1 for q.
5
Suppose -4*b + 6*b = -z + 3, -5*b + 25 = -z. Let d = 7 + -11. Let o be (2/d)/(2/(-16)). Solve 0 = -3*f - 2*l + 7, -5*f - o = -f - b*l for f.
1
Suppose 6*a - 8*a = 4. Let d be ((-3)/3)/(a/4). Solve d*x - 10 = 2*p - 24, 1 = -3*x - p for x.
-2
Suppose 0 = -v + 3*b + 1 + 7, -3*v - 5*b + 10 = 0. Solve 0*d = -3*d + 2*n + 5, n = v*d - 20 for d.
5
Let z(i) = i**3 - 7*i**2 + 5*i + 8. Let h be z(6). Solve -2*j + 4 - h = 4*y, -2*y + 3 = -j for j.
-1
Let m(a) = -a**2 - 7*a - 5. Let k be m(-6). Suppose 3 = 2*d - k. Let p be (-1)/(-1) - (1 - d). Solve -30 = -3*j + p*o - 5*o, -4*j + 25 = o for j.
5
Suppose -u = -2*u. Let i be -2*(u + (2 - 4)). Suppose 2*d - i*d = -8. Solve 5 = -5*o + 2*w, 0*o + d = 2*o - 2*w for o.
-3
Suppose 25 - 16 = 3*j. Solve 0 = s + 4, 2 + j = -h - 2*s for h.
3
Let r(j) = -j. Let h be r(-5). Solve -4*b + 11 = -2*a - 3*b, -a + h*b = 19 for a.
-4
Let y(r) = r. Let u be y(1). Let q be (u - 2)/((-1)/(-4)). Let o be (-5 - -2) + q + 12. Solve 0*t = 3*t - 2*m + 18, o*m + 5 = -5*t for t.
-4
Let x(c) be the first derivative of -c**2/2 + 3*c - 4. Let a be x(-11). Let l = a - -5. Solve -4*p + l = s, 2*s = s - 3*p + 14 for s.
-1
Let v = 133 + -199. Let a be (v/2)/(12/(-8)). Let o be (a/3)/(12/18). Solve 20 = 4*l, -4*l + 14 = -5*z - o for z.
-1
Suppose 0 = 8*w - 62 - 18. Solve 2*d + w = -2*p, 3*p + 2*p = 5*d + 5 for p.
-2
Suppose 3*c + 10 = 3*z + 2*c, -2*c + 2 = 5*z. Solve 5*a + 0*p = z*p + 18, 5*a + 3*p + 2 = 0 for a.
2
Let y = -21 + 25. Solve 5 = y*x + 5*t + 2, -4*x + 9 = -t for x.
2
Let c(s) = s + 10. Let b be c(-7). Solve 3*z = -3*t + 6, 0 = -z + 5*z - b*t - 29 for z.
5
Suppose 5*d = -20, 0 = 2*o + 4*d - 5 - 7. Suppose 0*v = 5*v + m - 12, -3*v = 4*m - o. Solve q = 2*r + 3, -v*r + 2 - 8 = -2*q for q.
3
Let o = -11 - -16. Let c(n) = n**2 - 4*n - 2. Let b be c(o). Suppose -b*d - 4 = -4*d. Solve q = 4*x - d, 4 = 3*q - 0*q + 4*x for q.
0
Suppose 0 = -4*n - 11 + 3. Let p = -5 - n. Let o be (-1)/p - (-10)/6. Solve -2*c = f + 5, 0 = o*f - c - 18 + 3 for f.
5
Let z be 1/(-2) + (-99)/(-22). Solve -3*u + z*u + 1 = 3*k, 0 = k + 5*u + 5 for k.
0
Let b(i) = -i**3 - 3*i**2 + 3*i + 4. Let k be b(-4). Suppose 0 = 2*y - 0 - k. Solve -y*j - 15 = p, -5*p + 7 + 14 = -4*j for j.
-4
Suppose -2*m + 23 = 2*m - 3*q, 3*m = 2*q + 17. Solve 0 = -s - m*f - 12, -s - 4*f - 11 + 