r - 2*r + 3, r = 2*x - v for x.
1
Let k be 1/2*2*0. Let h be 84/16*(4 - k). Solve -h = d - 4*i, -41 = 5*d + i - 5*i for d.
-5
Let a(r) = r**2 - 10*r + 7. Let i be a(5). Let b be (24/i)/(1/(-3)). Suppose -2*g + j = -5*g + 9, -5*j - 12 = -4*g. Solve 5*s = 3*z, -g*z + 25 + 2 = b*s for s.
3
Let s be (-27)/(-36)*(2 - -2). Solve -3*c = -s*n + 2*n + 10, -5*c = 3*n + 12 for n.
1
Suppose 0 = -5*c - 4*w + 70, -2*c + 2*w = 3*c - 40. Solve -g + 2*n + 0*n = c, 5*g - 20 = -4*n for g.
0
Let x be (0 - 2/(-4))*40. Let n = 45 + -64. Let u be 4/16 - n/4. Solve 42 = -5*f - u*h + 2, x = -5*f - h for f.
-3
Let y(u) = -u**3 + 8*u**2 + u + 10. Let p be y(8). Let j = p - 13. Solve -j*w = -4*s + 13, -4*s = -w + 6 + 1 for w.
-5
Let c be (1/3)/((-1)/(-3)). Let u be (-11 - c)*(-1)/3. Suppose u*q = -d + 3*q + 9, 4*d - 26 = -2*q. Solve d*m + 7 - 15 = -4*z, 0 = -3*m + 4*z + 13 for m.
3
Let g be 9 + ((-2)/(-2))/1. Let r(x) = -x**2 - 11*x - 1. Let m be r(-9). Let h = m + -15. Solve 4*a - 3 = a, -4*f = -h*a - g for f.
3
Let j be 1/2*0/(-1). Let s(r) = r**3 + 4. Let c be s(j). Solve o + c*o + 3*p - 35 = 0, -o = 3*p - 19 for o.
4
Let k(i) = -4*i**2 + 2 + 2*i - i**2 + 6*i**2. Let j be k(-2). Let f = j - -1. Solve 0 = -q - f*p - 5, -2 = -3*q + 4*q + 2*p for q.
4
Suppose -11 + 3 = 4*x. Let n be 0/(-2) + 0/x. Solve 24 = 5*q + s, -2*s + 8 = 2*q - n for q.
5
Suppose -9 - 1 = -2*v. Suppose 5*s - w = 459, 546 = 4*s - w + 179. Suppose 2*a - 5*a + s = 2*t, 4*a + 2*t = 122. Solve v*m + a = 5*c, -m - 2*c = -2*m - 7 for m.
-5
Let h = 8 + -1. Solve 4*o - 5*r - 3 = -h, 4*o = -5*r - 4 for o.
-1
Let s = 14 - 10. Solve -s*a - 4*p = a - 6, -2*p = 2 for a.
2
Let n = -90 + 201. Suppose -113 = -i - 4*i + h, -2*h - n = -5*i. Suppose -v = 5*q - 10, 2*q + 2*v - 7*v + i = 0. Solve -5*j + u - 2 = q, 3*j + 4*u = -11 for j.
-1
Suppose 40 = 2*t + 3*s, 2*t - 6*t = s - 100. Solve -u - 4 = 2*c + u, -4*c + 2*u = t for c.
-5
Let t(b) = -b + 3. Let n be t(4). Let i be (69/9)/(n/(-3)). Solve -i = -0*w - 2*w + 5*p, -3*p = -5*w + 10 for w.
-1
Let p = -15 - -50. Let a be 126/p + (-3)/5. Suppose 5*l = -0*l + 4*k + 35, 0 = -a*l + k + 14. Solve l*z - u = 20, 2*u = -2*u - 20 for z.
5
Let w be 0 + -4 - (-1 - 2). Let h = 3 + w. Solve -2*b - 5*x = h*b - 15, 0 = b - 3*x - 8 for b.
5
Let g(o) = -o**3 + 11*o**2 - 15*o - 25. Let x be g(9). Solve -k + 0*k = -x*y + 9, 0 = -3*k + 4*y - 17 for k.
1
Suppose 4*n - 7*n = 3*z - 27, -4*n = -5*z + 81. Solve 7 = -5*v + b - 10, v + 3*b + z = 0 for v.
-4
Suppose 43 = 2*q - 17. Suppose -4*n + 6*n - q = 0. Solve 0 = -4*g, 4*v + v + 2*g = n for v.
3
Suppose 4*m + 8 = -3*o + 48, -2*o = 4*m - 20. Suppose -3*r + 5*j + o = -11, 0 = r + 4*j + 18. Solve -4*k - 12 = 0, 0 = -0*i - r*i - 3*k - 1 for i.
4
Let v(f) = -f. Let i(s) = 5*s + 2. Let q(u) = i(u) + 4*v(u). Let j be q(2). Suppose 0 = -o - 1 + j. Solve 5*m + x - 7 = -o*x, 5*x = -3*m + 12 for m.
-1
Let v = 9 - 8. Let q be 1/(v/8*2). Solve 0 = w - 2*w - 5*r - q, 0 = -5*w - 5*r for w.
1
Let v = 6 - -1. Let b = -7 + v. Suppose 0*q + 12 = 3*q + 2*j, b = 3*j. Solve -q*f + 11 = 3*r, 4*f - 6*r = -r + 35 for f.
5
Let h(j) = -j**2 - 8*j + 7. Let s be h(-8). Suppose 1 + s = y. Solve 5*c - y - 5 = 4*x, -2*c - 2*x = -16 for c.
5
Suppose -y + 3*y = 0. Solve -5*q = -2*v - y*q, -3*v - 9 = -3*q for v.
-5
Let v = -32 - -34. Solve b = 4*w + 12, -w + v*b = w for w.
-4
Let q be 0 - -17 - (-2 - -5). Let j be 34/q + 12/(-28). Solve -2*s - 4*u = -10, 2*s + j*u = -3*s + 1 for s.
-1
Let a(c) = 6*c**3 + 2*c**2 + c - 1. Let y(m) = 5*m**3 + 2*m**2 - 1. Let t(z) = -4*a(z) + 5*y(z). Let l be t(-3). Solve -g - 13 = -2*r, -1 - 6 = -l*r - g for r.
5
Let i = 2 + -3. Let r be i + -1 + 8 + -2. Suppose -v + 4 = 2. Solve -l = -6*g + 3*g + 10, r = v*l for g.
4
Let r = 17 + -8. Solve 0 = 2*f - m - 2, 0*f - f + 3*m - r = 0 for f.
3
Suppose -6*w - 14 = -3*w + n, 17 = -4*w - n. Let c be (-3 + 2)*(-14 - w). Suppose 0*k - 3*k = -63. Solve 3*a + 2*h = 3*h + c, -5*a = h - k for a.
4
Let z = -36 + 67. Suppose 14 = 4*a - 2. Solve 0*l + 5*l = -a*t - z, l = -3 for t.
-4
Let y be ((-7)/(-14))/((-2)/(-20)). Suppose 0*t + 10 = y*t. Solve 0 = t*n - 2*f - 3 + 1, 0 = 4*f + 20 for n.
-4
Suppose -5*q + 3 = -17. Solve 9*y - 4*y = 4*t - 1, 2*t - q*y + 4 = 0 for t.
4
Let v = 10 + -9. Let w be -2*3/(-2)*1. Solve -w*i - 3*p + 2 = -v, 2*i = -p + 4 for i.
3
Let s(j) = j**3 + 6*j**2 + 4. Let h be s(-6). Let f(l) = h*l + 15 - 5*l + 2*l + 0*l. Let a be f(0). Solve 0 = 3*z - 3*y - 15, 2*z + z = 4*y + a for z.
5
Let b = 7 - 11. Let c = b - -8. Solve 0 = j - 5*v + 29, 2*j = c*j - 5*v + 33 for j.
-4
Let t be 7 + 6*2/(-4). Suppose a + 2*x = 3*a - 8, -a - x = -t. Solve -3*m + a*r - 12 + 2 = 0, -5 = 4*m + 3*r for m.
-2
Let m(f) = -f**3 - 5*f**2 - 4*f + 3. Suppose -3*r + 8*r + 20 = 0. Let a be m(r). Suppose -9*q = -6*q - 12. Solve 3*b + 11 = -q*j + 6*b, 2*j + a*b = -1 for j.
-2
Suppose -25*l = -20*l - 100. Let u = l - 19. Solve -4*p = d + u - 2, 2*d - 2 = 3*p for d.
1
Suppose -4*t + 0*h + 19 = -h, 7 = t + 2*h. Suppose 4 + 21 = t*d. Solve 0 = 4*w + 3*p + d, w - p + 7 = -2*w for w.
-2
Suppose -17*z + 12*z = -10. Solve 5*o + 2*d + 8 = -8, 2*d - z = 4*o for o.
-2
Let h be (5 + -4)*(0 + 0). Suppose f - 3*f + 10 = h. Solve -f*l + 3*y + 4 = -4*l, 0 = 5*l + 4*y - 20 for l.
4
Suppose 3*y - 4*d + 1 = 2, -d + 19 = 2*y. Solve -3*s - y = -v, -4*s - 27 = 4*v - 7 for v.
-2
Suppose 10*l = 11*l - 3. Solve -3*h = 2*a - 19, -l*h - a + 4*a = 6 for h.
3
Suppose -5*y - 1 - 9 = 0. Suppose 5*s - 11 = -2*a + 54, -145 = -5*a + 5*s. Let d be a/(-12)*4/y. Solve 0 = 3*v - 12, -d*x - 3*v = -10 + 3 for x.
-1
Suppose 0 = c + c - c. Solve c = -5*f + 5, f = p - 2*p + 5 for p.
4
Let o = -2 - -4. Let b be 12/12*3*1. Let x be (b - (-1 - 0)) + 1. Solve o*f + 3*t - 6 = 3*f, 3*f - 10 = -x*t for f.
0
Let u = 8 - 3. Let s(j) = 2*j - 5. Let h be s(u). Solve 3 = -h*x - k + 1, 5*x + 3*k - 4 = 0 for x.
-1
Let y(s) = -4*s**3 - 2*s**2 + 1. Let c be y(-1). Solve t - 3*l + 0*l = 8, -3*t = -2*l - c for t.
-1
Suppose -4*u + 23 = 4*w - 3*w, -4*u = -5*w - 5. Solve 0 = w*z + 4*b - 6*b - 23, -b - 14 = -2*z for z.
5
Let n be 24/4*(-4)/(-6). Let r(q) = -q + 2. Let t be r(-2). Solve 5*l + 1 + n = 0, -4*u - t*l - 24 = 0 for u.
-5
Suppose i + 14 = 3*l, -2*l = -2*i + 6*i. Let t = 8 - l. Suppose k = 5*k - 4. Solve 3*b - b = -t*q - 4, b = -q + k for b.
4
Suppose -m = 8 - 12. Solve -3*d + 6 = 0, 0*q + 2*d - 4 = m*q for q.
0
Let s = -28 + 40. Let x = -6 + 9. Suppose 0 = -4*o + s, 0 = -4*w + 5*o - 2*o + x. Solve -h + 1 = -a + w, 4*a = 3*h + 8 for a.
2
Let b(k) = -k**2 + 10*k - 25. Let r be b(5). Solve 0 = -c + 3*l, -c + r*c - 3*l = 0 for c.
0
Let g be (-5 + 4)/(3/(-21)). Solve -5*f - 18 = 3*w - 3*f, -5*f = -2*w + g for w.
-4
Let r(i) = -i**2 - 9*i - 4. Let c be r(-8). Suppose c*u - 12 + 4 = 0. Solve u*y - 3*y = 3*m - 16, -y = -m for m.
4
Let d(b) = -b**2 - 10*b - 8. Let l be d(-8). Solve 4*z = x - 2 - l, 0 = -4*x + 2*z + 12 for x.
2
Suppose -3 = -0*u + u. Let w be (-8 + 2)/(u/6). Solve -3*b + 0*c + 4*c + 19 = 0, 3*c - w = -3*b for b.
5
Let c = 2 + -2. Solve -4*w - 5 - 3 = -4*s, c = -2*s + w + 1 for s.
-1
Let h(k) = k**2 - 10*k + 19. Let w be h(10). Solve -18 = c + 4*n, 3*c + 5*n = -0*n - w for c.
2
Suppose n + 2 = 6. Let c = n + 4. Solve 4*q - c = 4*j, 4*q + 2*j - 20 - 6 = 0 for q.
5
Let m be (2 - (-3)/2)*-2. Let y(o) = -o. Let k be y(m). Solve 2*z - 3*z = 5, -2*c - z - k = 0 for c.
-1
Let t(c) = c**2 - 6*c + 3. Let q be t(4). Let w = q + 7. Let o be ((-3)/(-4))/(9/36). Solve -o*y + w = -5*f, 4*f - 2*y = y - 4 for f.
2
Suppose -d = 4*d - 50. Suppose 2*y = -0*y + 14. Solve -3*x = -y*x + 2*z - d, -2 = -x - 4*z for x.
-2
Suppose -4*s = -s - 15. Solve 0 = s*t + 5*q, 6*t - 4*t + 3 = -q for t.
-3
Let l be (10/3)/(2/(-12)). Let c = l - -23. Solve -t - c - 2 = 0, 2*n - 2*t = 10 for n.
0
Let a be 4/3*3 - 2. Let q(t) = t**3 - 9*t**2 - t + 11. Let d be q(9). Suppose 0 = 5*s - 2*s - 15. Solve a*c = -3*r - 17, s*r + d*c = -5 - 22 for r.
-5
Suppose 0 = l - 2, 4*l - 6 = 4*r + l. Suppose 4*q + w = -2, r = 4*q - 5*w + 3 - 13. Solve -o = -m - 2, 3*o - 2*m + q = 8 for o.
4
Suppose 4*w - 10 = 2. Suppose 2*d = 2*u - 16, -5*d = w*u - 5 - 3. Solve 0 = -5*h - 2*n, h + n - 15 = u*h for h.
-2
Let q = 0 + 2. Suppose 0*m - q*m + 8 = 0. Solve 4*p - 16 = -2*l, -2*p + m*l = -0*p - 8 for p.
4
Suppose -7*o + 28 = -3*o