= -r for s.
1
Suppose 0 = 3*a - 6 - 6. Let w = a + -4. Suppose 2*s - 3*s + 2 = 0. Solve s*d + 6 = -k, w = 3*k + 8*d - 4*d + 10 for k.
2
Let o(n) = -3*n. Let k = 4 - 1. Let v be o(k). Let z be (-25)/v + 2/9. Solve -2*s - 7 = z*d, d - s + 25 = 4*s for d.
-5
Let g(z) = -2*z**2 - 14*z - 9. Let k be g(-6). Solve -k*u = -n - 7, -u + 3*n = -7 - 6 for u.
1
Let y = -1 - -6. Let b be y*(-3)/(-10)*2. Suppose -4*h - 29 = -5*p, -14 + b = -2*p + h. Solve -5*m - 11 = -q - m, p*m + 19 = -4*q for q.
-1
Suppose 4 = -2*b - 2*b. Let s be -10*(b/(-2) + 0). Let z be (s/(-3))/((-2)/(-6)). Solve -9 = f - 2*n, -z*f - 12 = n - 0*n for f.
-3
Suppose -3*k = -4*s + 29, -37 = 5*k - 2*s + s. Let p = k - -7. Solve -3*a = 4*j + 16, 2*j + 2*j + 5*a + 16 = p for j.
-4
Suppose -3*d + 6*d - 12 = 0. Suppose b + 25 = d*b + 2*f, 4*b = -3*f + 35. Solve 0*c - 14 = -p + 3*c, -6 = b*p + 4*c for p.
2
Suppose 10*p - 8*p = 10. Solve -t - 4*d = -15, 0*d + p*d = 5*t for t.
3
Let d = -3 - -5. Let k = d + 11. Let s(f) = f**3 - 7*f**2 + 3. Let y be s(7). Solve -5*t - k = p - 0, -y*p - 5 = -2*t for t.
-2
Let o = -2 - 0. Let d be 0 + (-3)/2*o. Solve 3*r + 4 + 13 = -2*s, 0 = 4*r + d*s + 23 for r.
-5
Let q(n) = 2*n**2 + n + 1. Let t be q(-1). Suppose -l = t*l. Solve l*c + 3*c - 4*d - 15 = 0, 0 = -3*c - 4*d - 9 for c.
1
Let f be (-2)/(-3) + (-50)/(-15). Suppose -f*m + 2*m = -8. Solve m*w - 21 = 3*g, g - 4*g + 3 = 4*w for g.
-3
Suppose -821 = 3*t + 4*m, 2*t - 3*m = -t - 786. Let r be 9/12 + t/(-12). Solve 3*c + 8 = -1, c + r = -5*q for q.
-4
Suppose 6 = -t - 7. Let h = -7 + t. Let z be h/(-8)*(-4)/(-2). Solve -i = m, -4*i + z*m - 10 = -28 for i.
2
Let j be 3/9 + 28/6. Let i(l) = -l**3 + 4*l**2 + 6*l - 2. Let c be i(j). Solve -5*z = -10*z + 5*v, c*v + 7 = -4*z for z.
-1
Let p = 1 + 3. Suppose p*a - 15 = a. Solve a*k + 4*r = 15, r = -r + 10 for k.
-1
Let t = 38 + -34. Solve t*y - 13 = -5*b, 4*y + 0 = 4*b - 32 for b.
5
Let l be (3 - (-16 - 2)) + 1. Solve 2*i + 2*i = b - 5, l = -4*b - 5*i for b.
-3
Suppose 5*d - 25 = 5*q, 3*q - 1 = -2*d + 19. Solve -3*x = -3*u - d*x - 7, -3*u - 5 = 5*x for u.
-5
Let z be (-6)/30 + 26/5. Suppose 0*s = z*s. Solve 2*u - 4 = 2*p, u + p - 4 = -s*p for u.
3
Suppose 3*x + 18 = 6*x. Let q be ((-9)/(-6))/(x/(-8)). Let w be (2 - -2)/(q/(-6)). Solve w = -2*a - 0*a + 2*v, -2*a - 7 = 3*v for a.
-5
Let n be -1 + 0 + (-26)/2. Let c = -9 - n. Let t(m) = m**2 - 7*m - 4. Let d be t(8). Solve 4*r = -2*i - 26, -d*i + 3*i + c*r + 15 = 0 for i.
-5
Let y(k) = -k**3 + 7*k**2 - 6*k. Let t be y(6). Suppose 3*x - 4*g = 10, -x + 2*x - g - 3 = 0. Solve c = -o - 1 - 3, c + x = t for o.
-2
Let t(r) = -5*r - 20. Let o be t(-6). Solve -5*g + o = -5*z, -3*z + 7*g = 2*g for z.
-5
Let h = -119 + 124. Solve -f + 10*z + 18 = h*z, -2*z - 18 = -4*f for f.
3
Suppose 0 = -c + 5*m - 21, -6*c - 4*m + 24 = -5*c. Solve 5*b + 1 = a - 24, -4*a + c*b + 36 = 0 for a.
5
Let d(t) = 2*t + 1. Let z be d(1). Suppose -4*g + m + 7 = 0, -z*g + 4*m + 2 + 0 = 0. Solve -h + r + 5 = 0, r + 5 = g*h - 2 for h.
2
Let j be (-1)/((-33)/15 + 2). Let u be 724/(-26) - (-8)/(-52). Let t = 42 + u. Solve j*a + g - 5 = -t, -5 = 3*a + g for a.
-2
Let o(c) = 4*c + 6 + 1 + 10*c**2 - 11*c**2. Let t be o(5). Solve x = r - 2, r - t*x + 2 = x for r.
4
Let h(u) = -4*u - 3. Suppose 3*r + 2*d + 33 = -2*r, -11 = 3*r - d. Let n be h(r). Solve -2*y + 3*y - 7 = -o, -4*o = -5*y + n for y.
5
Let h(p) = -2*p - 6. Let t be h(-4). Suppose -t*y + 22 = 8. Suppose -3 = -2*g + y. Solve -o + 5*o = g*b + 41, 5*o - 5 = -3*b for o.
4
Let p be 1 + (6 + -1 - (-5 + 6)). Let t be 4/6*(-3 + 9). Solve 3*u = -p*d + 43 - 9, -11 = 3*u - t*d for u.
3
Let u = 4 - 2. Let f = -7 + 10. Solve -f*j - 4 = -u*t + 5, -4*t - 2*j - 22 = 0 for t.
-3
Let i(u) = -u**3 + u**2 - 2*u + 5. Let b be i(0). Suppose 3*c = -b*x + 7 + 9, 4*x - 10 = -c. Solve 3*m - 3*p = -9, 0 = -m - c*p - 3*p - 3 for m.
-3
Let g(z) = -z**3 + 2*z**2 + 3*z - 1. Let w be g(2). Solve -5*p + 5*s + 15 = 0, -s = w*p + 4*s - 5 for p.
2
Suppose 5*b - 13 = 2. Let z = -4 - -4. Suppose z = 4*o - o. Solve 3*j = -0*i - 2*i - b, -j - 4*i - 1 = o for j.
-1
Let a = -20 - -25. Solve 4*o = -a*v - 30, -4*v = -2*o - 1 - 1 for o.
-5
Let b be 1 - 0 - 3/9*3. Solve l = -2*z - 6, b*z - 2*z = 5*l - 10 for l.
4
Let r(y) = -y**3 - y**2 + 2*y + 1. Let l be r(-2). Let a be 1*(1 - l)/(-4). Solve -8 = -4*c, 4*w + a*w - 4*c = -24 for w.
-4
Suppose -6 - 4 = -5*v. Solve 4*r + 21 = -5*u, v*u + r + 1 = -5 for u.
-1
Let b(g) = g**3 + 7*g**2 + 4*g - 12. Let v be b(-6). Solve v = -3*r - 2*h + 22, 2*r + 5*h = 45 - 12 for r.
4
Let u be (6 - 0)/(15/10). Solve u*o + 4 = -r + 10, 5*r = 2*o + 8 for o.
1
Let n = -9 + 4. Let m = n + 10. Solve -p = 4*q - 5*p - 4, -14 = -m*q - 4*p for q.
2
Let c(z) be the first derivative of 1/4*z**4 + 8/3*z**3 - 3*z + 5/2*z**2 - 1. Let f be c(-7). Solve 4*b - 5*b = -5*q - f, -4*b - 5*q - 31 = 0 for b.
-4
Suppose 4*f - 10 = 2*f. Suppose 5*k - h - 24 = h, -k - f*h = -21. Solve -3*t - k = -3*a, 5*t + 5*a + 27 + 13 = 0 for t.
-5
Let f be (-1)/((-15)/(-9) + -2)*1. Solve -4*v + 7 = -5*i, -f*i - 7 = 5*v - 4*i for v.
-2
Let h(p) = p - 3. Let l = 3 + 4. Let j be h(l). Solve -5*g - 3*f = -6, 10 = -4*g + j*f + 34 for g.
3
Suppose 5*k + 16 = -2*a - 9, -4*a = -2*k - 10. Solve a*c - 3*c = 2*q + 15, -c = 5 for q.
0
Let d = -2 - 2. Let b be (-27)/(-6) - 2/d. Solve 3*p = -3*x - 12 - 6, 3*x - 6 = b*p for x.
-3
Let n = -3 - -3. Let c be (n/1)/(8/(-4)). Let h = c + 4. Solve -5*r = -2*s + 21, s = h*s + 4*r + 3 for s.
3
Let y(x) = -x**3 + 7*x**2 - 6*x + 2. Suppose 11 = 4*q - j, -4*j = j - 5. Let n = 3 + q. Let v be y(n). Solve -v*f + 2*d = -4, -2*f - 3*f - 3*d = 14 for f.
-1
Suppose -64 = 4*t - 8*t. Let g = t - 6. Solve -2*n + g = -0*n + 5*u, 3*n - 5*u = -10 for n.
0
Suppose 0 = -4*l + 3*u + 14, -l - 10 = -5*l + 5*u. Suppose -l*i = -30 - 40. Let h be (4 - -5)*(-2)/(-6). Solve -r = -g, h*g - 4 = r - i for g.
-5
Let f be (-18)/(-45) - 8/(-5). Let i be (f - 1) + -1 + 6. Solve 3*x + 3*t + 3 = 0, -x + i*x + 15 = 5*t for x.
-2
Let z be ((-2)/(-5))/(2/20). Let g = -48 - -55. Suppose z*q = g*q. Solve q = h - 3*y - 14, 3 = -y for h.
5
Let m = -88 + 91. Suppose 8 = 4*u - 8. Solve -6 = -m*a, 3*g - 2*a = -a + u for g.
2
Suppose -4*a - 4*t = a + 11, a + 4 = t. Let p = a + 8. Solve 4*z - w = 4, 4*z - p - 11 = -2*w for z.
2
Suppose -4*b + 7*b = 5*q + 27, 4*q = 2*b - 20. Suppose b*d = 2*d + 2. Solve v + d = -p, -5*p + v = 5*v + 8 for p.
-4
Let y(d) = d**3 - 6*d**2 + 6*d - 2. Let q be (4/6)/((-16)/(-120)). Let s be y(q). Solve 3*w + 10 = -4*g - 0*g, 3*g + s*w = -9 for g.
-1
Let v(c) = -c - 6. Let s = -8 + -2. Let m = s - -3. Let q be v(m). Solve 0 = 3*u - 2*x + q - 18, x - 2 = -2*u for u.
3
Suppose -3*n - 2 = -17. Solve n*u = b + 3*u - 2, -4*b = -4*u for b.
-2
Let c(y) = y**3 - y**2 - 4*y + 3. Let a be c(3). Let v = -20 - -30. Suppose -7*p + 9*p = v. Solve -r = -5*r + p*k + a, 33 = -2*r - 5*k for r.
-4
Suppose 30*k + 10 = 31*k. Let d be (6/(-4))/((-3)/4). Solve q - 13 = p + p, -k = d*p for q.
3
Let y(o) = -o**2 + o + 1. Let f(h) = -4*h**2 - 5*h + 1. Let l(z) = f(z) - 3*y(z). Let d be l(-7). Solve -2*i - 3*i = d*w - 25, -3*i + 15 = 2*w for w.
0
Let k be 50/(-6) + 4/12. Let t = -19 - k. Let j be (-2)/10 - t/5. Solve -u - 2*f = 1 + j, -5*f = 3*u + 7 for u.
1
Let i = -186 + 190. Solve 3*b - f = -17, 0 = -3*b + i*b + 4*f - 3 for b.
-5
Let o(u) = u**2 - 4*u - 29. Let t be o(-4). Solve 5*a + 2 = -3*d + 7, 4*a - 4 = -t*d for a.
1
Let g be (2 + -3)/(0 - 1). Let t = -2 - g. Let q be (t/(-2))/(6/20). Solve -w = -q*w + 2*b + 6, w + 9 = -3*b for w.
0
Suppose -3*w + 10 = 5*u, -3*w + 10 = 5*u - 2*w. Solve -u*r = -3*s + 2, -2*r + 0*s - 5*s = 2 for r.
-1
Suppose 2*o - 2*h + 0*h + 4 = 0, 4*o = 2*h + 2. Solve -4*w + 8*k = 3*k + 12, 0 = w + 4*k + o for w.
-3
Suppose -5*a - 4*p = -9, 3*a - p - 27 = 2*p. Solve -3*w + 2*v - 15 = -3*v, a*v = -w + 15 for w.
0
Suppose 0 = 3*t + 15 - 3. Let m be 12/t - (-15 - 1). Solve 5*j = -4*k + 7, -k - 2*j - 3*j = -m for k.
-2
Let x(j) = -13*j**2 - j + 1. Let m be x(1). Let r be 3 - (3 + (-27)/(-3)*1). Let n = r - m. Solve l + 0*l = n*a - 5, 0 = a for l.
-5
Suppose 0 = -5*q - 5*f + 20, 3*q - 2*q + 5*f - 12 = 0. Solve -4*m = -5*n + 2 + 3, 2*m + q*n + 16 = 0 for m.
-5
Let t be 105/(-30)*8/(-14). Solve 1 = -2*n - r, r = t*n - 2*r - 3 for n.
0
Suppose 54 - 22 = 