*t for r.
-2
Let d(q) = -q + 8. Let b be d(6). Suppose -p + b*v = 5*v - 11, -11 = -2*p + 5*v. Solve -2*j + p = 2*l, -5*l + 22 + 8 = -5*j for l.
5
Suppose -p + 2*p = 0. Suppose 2*y + 0*y - 10 = p. Suppose -3 + 15 = 3*i. Solve -2*s + n = -2*n - y, i*s = -n + 17 for s.
4
Let p be (-4)/8 - (-44)/8. Solve -p*s = -h - 1, -3*h = s - 2*s + 3 for h.
-1
Suppose -12 = -4*y + 8. Suppose -19 = g - 4*u, -y*g + 3*u + 15 = 5*u. Solve 2*z - 2 = 0, -z - 4 + g = 4*j for j.
-1
Suppose -n + 1 - 5 = 3*f, -4*n - f = -6. Suppose n*i = i + 5. Let q be 1*(i - (-1 + -2)). Solve -3*x + 4*m - 20 = 0, q*x + 26 = 4*x + 5*m for x.
-4
Let x be ((-3)/2)/((-3)/6). Suppose -5*l - 15 = 5*b, -1 = b - 0*b. Let s(c) = -18*c - 3. Let j be s(l). Solve -5*r = 4*z + j, r - z - 12 = x*r for r.
-5
Let d(f) = -7*f - f + 5 + 7*f. Let g be d(3). Let q(s) = 3*s**2 - 3*s. Let j be q(2). Solve -6*p + p + j = -l, -g*p = -l for p.
2
Let t(p) = p**2 + 2. Let o be t(-1). Solve -2*y - o*m - 5 = -0*y, 2*y - 3*m + 11 = 0 for y.
-4
Suppose -4*v - 3*v + 28 = 0. Solve 5*y + 15 = 4*m + v*y, 4*m + 5*y = 45 for m.
5
Let p = 5 - 3. Suppose -h + 45 = 3*t + t, -10 = -p*t + 2*h. Let r = t - 7. Solve 4*k - 4 = 4*o, -k + 4*o + 28 = -r*k for k.
-4
Let c = 8 + 0. Suppose -2*v - c = -6*v. Solve v*h + 5*a = -15, -3*h + 1 = -5*a + 11 for h.
-5
Suppose -2*j = 2*j - 72. Let i be j/45 - (-116)/10. Solve n - 5*d + 4 = i, -3*n + 5 = 4*d for n.
3
Suppose -4*u = -17 + 9. Solve -2*w = -0*w + 2*b, u*b = 3*w - 25 for w.
5
Let t = 63 - 61. Solve -4*w = t*m - 8, 2*m - 2*w + 2 + 14 = 0 for m.
-4
Suppose 0 = -2*n + 2*v - 0*v - 4, -v + 2 = 2*n. Suppose g + 2*h - 16 = 4, n = -4*h + 20. Let i = -2 - -4. Solve -5*d = -l - 20, -d - i*l + l = -g for d.
5
Suppose 3*k - 77 = -5*f + 2*k, -f + 28 = -4*k. Solve -3*b = -5*r + f, -2*r = 5*b - 3*r - 10 for b.
3
Let j(h) = -h**2 - 4*h - 1. Let u be j(-3). Solve -5*c + s + 24 = 0, -5*c - u*s + s = -26 for c.
5
Let c be (-1*5)/(-1) + -1. Let x be (-5)/(13/14 + -1). Suppose c*o + o = x. Solve -24 = 2*w - 2*y + 7*y, 3*w = -2*y - o for w.
-2
Let t(s) = -4 - 13*s + 5 + 6 + s**2 - 2*s. Let o be t(15). Solve -4*q - 3*n + o = 0, 5*q - 5*n = -0*q for q.
1
Let o = -1 - -5. Suppose 7 = o*h + g, 5*g + 5 = h + 2*g. Suppose -2*d - 2*i - 10 = -0*i, i = 3*d - 5. Solve -r = h*r - m, d = -2*r + 4*m for r.
0
Let l be 15*(24/(-9))/(-8). Solve t - 3*a = -16, 12 = l*t + 3*a + 2 for t.
-1
Suppose 2*r + 2*r - 16 = 0. Suppose -2*m = -3*n - 0*m + 2, r*m = -n + 24. Solve -5*z + 9*x - n*x = 35, 4*z - 3*x = -26 for z.
-5
Let g(m) = -13*m + 1. Let n be g(-1). Solve 3*f + n = -2*b, b - 12 = -4*f + 6*b for f.
-2
Let c be (-4)/18 - 58/(-18). Let k be (-4)/6*(c + -6). Solve 0 = -t + 4, m + 0*t + k*t = 11 for m.
3
Let a = 13 + -9. Solve 3*h - 6 = 5*x - 0, a*x = 4*h for x.
-3
Suppose 10 = -5*v + 35. Let s = 130 - 90. Suppose k - s = -4*k. Solve -v*c = -x - 8, 5*x - k = 5*c - 28 for c.
1
Let n be 45/12 - (-6)/(-8). Let h be (1 + n/6)*2. Let l = 1 - -10. Solve h*u + 17 - 4 = 2*w, -3*w + l = 4*u for u.
-1
Suppose 0 = 3*x - 9*x. Solve 3*n + n = 8, x = -3*d - n + 8 for d.
2
Let k = -5 + 1. Let v(s) = s**2 + 2*s - 1. Let f be v(k). Suppose 0 = -3*n - x - x + 14, 2*n = -x + 11. Solve 4*h + n = 2*h - 3*z, h + f = -3*z for h.
-1
Let a(u) = u + 8. Let n be a(-8). Suppose 0*x = 2*m - 5*x - 20, -2*x = 4. Solve k - 3*i = 2*i + 19, m*k + 3*i + 17 = n for k.
-1
Let a(v) = v**3 - 6*v**2 + 11*v - 10. Let z be a(4). Solve 0 = z*p + 5*j - 0 - 6, 4*p + 6 = -j for p.
-2
Let z(m) = -3*m - 12. Let i be z(-5). Suppose -3*g - 3*q + 47 = -16, -g = i*q - 27. Solve -2*a = 3*l + 14, -3*l + 2*a + g = -7*l for l.
-4
Let q(w) = 2*w - 9. Let v be q(7). Suppose -v*g - y + 120 = 0, 3*y = 8*y + 25. Let d be (-10)/g - (-24)/10. Solve -2*c - c + 8 = z, d*c + 4*z - 12 = 0 for c.
2
Let x = 2 - 0. Let l be (1 + -2)/(x/(-8)). Suppose l = v - 15. Solve 4*h + k = -v, -24 = 3*h + h - 4*k for h.
-5
Suppose 4*j = 6*j - 4. Solve 11 = -3*n + j, 0 = 5*v + 4*n - 8 for v.
4
Suppose 3*l + 5 = -19. Let z = -6 - l. Solve 14 = -2*g - 5*y, z*g + y - 4 = 5*g for g.
-2
Let j be (-2)/6*-3 + 0. Let v = j + 2. Suppose -v*x + 4 + 5 = 0. Solve -3*t - 1 + 6 = -4*c, -4*t - 35 = x*c for c.
-5
Let i(n) = 18*n**2. Let h be i(-1). Let o be 75/h - (-1)/(-6). Solve -2*f - 10 = o*m, m - 3*m + 2*f - 8 = 0 for m.
-3
Let x be ((-2)/4)/(2/72). Let r be 10/45 + (-14)/x. Let g = r + 3. Solve -3*t - 24 = -5*m, -4*t - g*m = -0*m for t.
-3
Suppose -8 = -u - 3*u. Solve 0 = 2*i + u*g - 12, -2*i + 18 = 5*g + 3 for i.
5
Suppose 3*z - 3*b = z + 16, -5*z + 33 = -4*b. Solve 4*f - 3*f = 5*m + 10, -2*m = z*f + 31 for f.
-5
Let x be 7 + -4 + (3 - 1). Suppose 2*k = -x*n + 146, n - 3*n - k + 58 = 0. Suppose -3*m + 8*m - n = 0. Solve -16 = -4*c + 4*v, 2*v - 12 = -3*c + m*v for c.
4
Suppose 0 = -5*h + 5*l + 25, 3*h = -5*l - 5 + 20. Solve k = 3*x + 16, -16 = h*x - 0*k + k for x.
-4
Suppose 4*p + 5 - 44 = 5*k, k = -3. Let s = 9 - p. Solve -4*z - 3*l + 13 - 4 = 0, s*l = -z for z.
3
Let w(s) = -45*s + 138. Let v be w(3). Let k(h) = -h**2 + 5*h. Let r be k(3). Solve -b - 3 = -v*t + r, -5*b - 3 = -t for t.
3
Let g be 8*(3/(-6) - -1). Solve -g*r - 4*z + 2 + 10 = 0, -5*r + 17 = 4*z for r.
5
Let a(g) = -5*g - 27. Let o be a(-6). Solve -4*l = -o*s, 7 = -5*l + 4*s - 2*s for l.
-3
Let j be 3/((-18)/(-8))*3. Let w(l) be the first derivative of -9*l**2/2 - l + 2. Let k be w(-1). Solve 11 = 4*i + 2*y - 9, -j*i = -5*y + k for i.
3
Let a(m) = -2*m - 2. Let c be a(-2). Let r be 1 + (0 - (-2)/c). Suppose r*d + 2 = -3*j, 4 = -2*d + d - 3*j. Solve l - 2 = -t, d*t - 7*t = -5*l + 20 for t.
-1
Suppose -20 = -4*c, 2*v + c = 5*v + 149. Suppose -4*q + 294 = 2. Let k = v + q. Solve 0 = 5*p + 2*l - 8, -9 = 5*p + 4*l - k for p.
0
Let l = -11 + 13. Solve -y + 6 = 2*y, -l*n + 2*y - 14 = 0 for n.
-5
Suppose 0 = -y - 2*y, 0 = 3*a - 5*y. Let b(r) = r**3 - 3*r**2 - 7*r + 16. Let u be b(4). Solve -f - f + u*i + 6 = a, -2*f + 2*i = -8 for f.
5
Suppose 0*r = 4*r - 8. Suppose -2*i - 2*i = -20. Suppose i = 3*c - k, -k = -r*c - 2*k + 5. Solve c*j - 2*q + q = -2, -4*q - 13 = -j for j.
-3
Let h(r) = -r**3 + 12*r**2 - 8*r - 7. Let a be h(11). Suppose 4*w - a = -2*m - 0*m, w = -m + 9. Solve -w*p - 1 = n, 0 = 5*n - p + 3*p + 23 for n.
-5
Let f(x) = x - 1. Let h be f(5). Suppose -24 = -h*r - 0*r. Solve 0 = 4*v + 3*g + 12 + 4, -r = -2*v + 2*g for v.
-1
Let z = -28 - -32. Solve 5*b - 5*a - 6 = 4, z*b = -a + 8 for b.
2
Let z(w) = w + 2. Let s be z(4). Let b be 2/(-9) + s/27. Solve -2*f = -f - 5*x, -x = b for f.
0
Let o be (-4)/14 + (-108)/14. Let j(n) = n**3 + 8*n**2 - 2*n - 10. Let c be j(o). Suppose u = -u + c. Solve 5*m = -u*w + 10 + 19, -3*w + 2*m + 1 = 0 for w.
3
Suppose -3*j = j - 3*f - 5, -3*j + 5 = -2*f. Suppose -j*l + 0*l = -30. Solve b = -3*p - 3, 3*p = 3*b - b + l for p.
0
Let a be 2 + -2 + -1 - 1. Let v = a - -4. Suppose v*t = -0*t. Solve 2*j + 4*d + 18 = 0, 4*j - 5*d - 16 = -t for j.
-1
Suppose -5 - 16 = -3*w. Let j = w + -4. Solve j*s + 14 = -2*l + 6, 4*s - l + 7 = 0 for s.
-2
Suppose 8*f + 14 = 10*f. Let i(j) = -2*j + 0*j + 3*j - 2. Let b be i(f). Solve -a - 12 - b = -4*c, 5*a + 19 = -2*c for a.
-5
Suppose -4*r - 10 + 3 = -3*l, -17 = -3*l - r. Solve 4*i + 3 = -q, i = -3*q - 3 + l for q.
1
Let x be -4*2/(-4)*-1. Let c be (x/(-4))/(1/18). Let z = c - 5. Solve 0 = 4*l + 3*v - 5, -z*l + l + 4*v = -35 for l.
5
Let o(a) = -3*a**3 - a**2. Let r be 3*(2 + (-21)/9). Let u be 1*-1*(r + 2). Let n be o(u). Solve 5*l + 0*s - 22 = -4*s, n*l + 5*s = 19 for l.
2
Suppose x + 1 = 2, -2*g = 5*x - 15. Solve -4*u + 19 = g*y - 3*u, -14 = -3*y + 2*u for y.
4
Suppose -3*x + 31 = -2*d + 7*d, -4*x = 12. Suppose -2*f - 2*w = -d, 5*f - w + 0*w = 14. Solve 4*z = 4*y - f*y - 6, 3*y = -z - 8 for z.
-2
Let x be (12/(-8))/((-6)/(-32)). Let v = x - -13. Let i(n) = n**3 - 4*n**2 - 3*n - 6. Let q be i(v). Solve -16 = q*p, 2*p - 35 = 3*j + 7*p for j.
-5
Suppose 5*z + 16 + 3 = r, 4*z + 32 = 5*r. Solve -r*l = -2*w - 12, 3*w = 2*l + l - 9 for l.
3
Let q(p) = p + 10. Let x be q(-8). Let l be x/(-9) + (-260)/(-36). Solve -4*d - l*v + 24 = -3*v, 0 = -2*v + 2 for d.
5
Let p be 5/(-15)*(2 + -23). Let c(g) = g**2 - 5*g + 10. Let f be c(p). Solve -4*l + 5*q - f = q, 23 = 2*l + 5*q for l.
-1
Let k be 5/(-15) + (-20)/(-6). Suppose -5*f = -5*g - 40 + 15, -5*f - 3*g = 7. Let s = k - f. Solve 0*p - s*i - 20 