 - z for r.
-3
Suppose -4*f - 2*x - 21 = -7*x, 10 = -5*f + 3*x. Let h = 7 + -5. Let y(z) = -8*z + 131. Let p be y(14). Solve h*k = -2*l - l + f, -l + 4*k + p = 0 for l.
3
Let v = 39 + 9. Let o = v + -22. Solve 13 = -2*l + 3*m, 3*l - 8*l + m = o for l.
-5
Let d = 170 - 165. Let y be (-1)/(-2)*(0 - 0). Let x = 7 + y. Solve -5*s - d*t = x + 18, -t = -2*s - 7 for s.
-4
Suppose -2*a + 6*a - 72 = 0. Suppose -4*k - 3*q + 8*q + 28 = 0, 4*q - 14 = -2*k. Let b = a + k. Solve 5*g = -d - 0*d + 25, b = 5*d for g.
4
Let w = -17 - -30. Suppose -2*r = 3*r - 20, 4*r = z + w. Solve 2*y + p = -p + 12, -z*y + 10 = -p for y.
4
Suppose 6 + 10 = 4*v. Solve u = v*i, -3*i - 17 = 5*u - 10*u for u.
4
Suppose -4*w = w - 180. Let j be w/8 - 1/(-2). Solve k + 4*f = 6*k - 18, j*k = -f + 8 for k.
2
Let n(h) = -h**2 - 7*h - 6. Let m be n(-5). Solve -5*b = 3*f + 20, 20 = -5*f + b - m for f.
-5
Let r be (-7)/(2 + 4/(-2) - 1). Solve -2*k = 3*b + 5, r*k - 3*k - 2 = -2*b for b.
-3
Let r = -2 - -4. Let f = 12 - 7. Suppose -2*n - 3*n + 30 = 3*y, -4*n + 24 = -f*y. Solve -n*g + 16 = 3*k - r*g, 20 = -2*k + 5*g for k.
0
Let l(h) = h - 2. Let z be l(5). Solve 3*s - 3*j - z = 9, -4*j - 16 = s for s.
0
Suppose 45 = 4*p - 5*q, 2*p = -2*q + 4*q + 20. Suppose 0 = 4*l + 4, 3*l - 6*l = p*g - 47. Solve 4*x - 31 + 12 = 5*s, -2*s = -4*x + g for s.
-3
Let h(l) = l**3 + 7*l**2 - 11*l - 5. Let f be h(-8). Let p = 3 + 0. Let u be (5 - 2)*4/p. Solve w - f = -4*s, 5 = -u*w + s - 4 for w.
-1
Let o(p) = -p**2 - 12*p - 6. Let w be o(-11). Suppose 0 = w*z - 43 - 22. Suppose 0 = -2*c - 3 + z. Solve 0 = -3*g - 4*f - 20, 5*f + 22 = -c*g + 4*f for g.
-4
Suppose -4*j + 2*j = -4*s + 26, -4*s - 5*j = 9. Let u be s - (0 - -1)*1. Solve 1 = -2*w + 3*w - 3*q, -9 = 3*w + u*q for w.
-2
Suppose -o + 0 = -5. Let m(g) = -4*g**2 - 4 + 1 + 3*g**2 + 6*g. Let t be m(o). Solve 4*y + i + 3 = t, -3*i = -3*y - 12 for y.
-1
Let s be (8/10)/((-4)/(-30)). Suppose 4*x - 20 + 3 = 3*j, -5*j + 4*x - 23 = 0. Let h = s + j. Solve 2*y + 22 = -5*b, 2*y + 2*y - 8 = h*b for y.
-1
Let b(c) = c**2 - 5*c + 2. Let v be b(5). Let h = v - 2. Solve 3*d - q = -4*q, -5*d + 3*q = h for d.
0
Suppose -3*s = s + 5*d - 61, -2*s + 30 = 2*d. Suppose -k - 3*k + 3*c = -26, -5*c = -3*k + s. Suppose 3*r - 3 = 6. Solve 0 = g - 2*y, 5*g - r*y + k = 22 for g.
4
Let d(h) = -h. Let q be d(-1). Suppose 4*p + 3*c - 8*c - 27 = 0, p + 2*c + 3 = 0. Let t be (-7)/(-3) - q/p. Solve -3*z = t*m + 1, 4*z + 0 + 20 = 2*m for m.
4
Let c = 11 - 8. Solve 0*q = c*x - 4*q + 31, 8 = 2*q for x.
-5
Let a = 36 + -27. Solve a = b - y + 3*y, -y = -5*b + 1 for b.
1
Let q be -2*1*3/(-2). Suppose 3 = q*x, -f + 3*x - 30 = 4*x. Let h = 43 + f. Solve 0 = 3*t + 2*b - 11, h = -0*b + 3*b for t.
1
Let y = 14 + -8. Let n be (-4)/(-10) - (-8)/(-20). Suppose g + 1 - 3 = n. Solve -3*z = -0*j - g*j - 18, -2*j = y for z.
4
Let t(b) = b - 15. Let l be t(11). Let o be l/(-14) + (-26)/91. Solve 4*q - 5*w = 7, o = -2*q - 2*w + 3*w - 1 for q.
-2
Let a = -38 + 43. Let q = -1 - -9. Solve 2*k - a*m = -18, 0 = -3*k + 2*k + 2*m - q for k.
-4
Suppose -4*y + 4*i - 28 = 2*i, -4*i - 34 = 2*y. Let l be 10/(-45) + (-56)/y. Let w be 4*(2 - l/4). Solve -11 = -2*f - q - 1, -w*f + 22 = 4*q for f.
3
Let y(a) = -a**2 + 5*a - 2. Let f(m) = 3*m**2 + m - 1. Let j be f(1). Let b be y(j). Solve b*k + 10 = r - 3*r, 5 = -r - 4*k for r.
-5
Let m(z) = z**3 - 12*z**2 + 11*z. Let n(v) = v**2 - 2*v - 4. Let s be n(-3). Let p be m(s). Solve 3*q + p*r = -r + 9, -4*q + r = -5 for q.
2
Suppose 5*p + 10 = -0. Let m = 5 - p. Suppose m*s - 90 = 2*s. Solve 0*w + 20 = 5*w, z + 5*w = s for z.
-2
Let y be 3 + 3 - (0 - -1). Let v be 102/y + 2/(-5). Suppose -v = -5*u + 5. Solve 5*h + 3*x = 35, 2*h - u*x + 17 = -0*x for h.
4
Suppose -2*m - 20 = 3*m, -23 = -5*f + 2*m. Solve 0 = f*p - 2*d + 16, 0 = -5*p + 2*d - 17 - 3 for p.
-2
Let q be (-1)/((-51)/(-18) + -3). Let m be (1 - q)*(0 + -1). Let s = -22 + 39. Solve -3*o = -5*c + 35, m*o + 3*c = c - s for o.
-5
Let w = 2 - -25. Let n = 30 - w. Let j be (-2*(-2)/(-4))/(-1). Solve y = n*h + 7, 2*y + h - 8 = -j for y.
4
Let j be 2/(-10) + (-33)/(-15). Suppose -5*v = -j*v. Solve 3*s = 5*i - 17, v = -4*s - 5*i + 15 + 9 for s.
1
Suppose 11 = 5*w + 1. Let z(o) = 2*o**2. Let c be z(-2). Suppose w*r + j = c, 5*r + 4*j - 30 = -j. Solve -3*b + 14 = d, 0 = -5*d - b + 3*b + r for d.
2
Let r be 0/(3/6*-6). Let b(v) = -3*v - 2. Let n be b(-2). Suppose 18 = n*p - 6. Solve 3*y = p, z = -r*y - 4*y + 5 for z.
-3
Let n be (25/20)/((-1)/(-4)). Suppose m = n*r - r - 41, 5*m = -2*r + 37. Suppose r = 4*x - 5. Solve 0 = x*w - 5*v - 35, 4*w - 11 = v - 4*v for w.
5
Let r be 15/5 - (0 + -1). Suppose 2*k - 20 = r. Let l be 3/k - (-15)/4. Solve 2*m - a + l = 0, -25 = 5*m + 4*a + a for m.
-3
Suppose 5*v + 10 = -35. Let a be 12/v*6 + 0. Let s be a*((-2)/(-4) + -1). Solve s*w - 14 = 2*x, -5*x = -4*w - 4*x + 9 for w.
1
Let s(o) be the first derivative of o**3/3 - o**2 - 3*o + 1. Let y be s(3). Suppose y*x - x - 2*z = 0, 0 = x + 4*z. Solve 0 = t + 4, 2*k - 4*t + 5*t = x for k.
2
Let k = 2 - -2. Let v(a) = -a**3 + 6*a**2 - 4. Let y be v(k). Solve -2*b - s = -7, -2*b - 5*s = b - y for b.
1
Suppose 0 = 162*k - 165*k + 15. Solve -40 = k*r + 4*p, 4*r - r + 3*p = -27 for r.
-4
Let x(p) = -p**3 - 2*p**2 + 2*p + 1. Let o be x(-3). Suppose 5*g + d + 0*d = 17, 2*g = d + o. Solve -3*l = -g, 4*a - l - 2*l = -23 for a.
-5
Suppose 3*g - 45 = -3*x, 0*g + 5 = g. Suppose 3*p = -4*n + x, 2*n + 3*n - 13 = -4*p. Solve -c - y = -p*y + 3, -c = -4*y + 15 for c.
1
Suppose 12 = 3*a + a. Solve 3*g - 6 = -5*w + a*w, -4*w - 4*g = -12 for w.
3
Let t(a) = a**3 + a**2 - a + 1. Let n be t(1). Solve 6*w + 3*o + 4 = w, 0 = n*w - 2*o + 8 for w.
-2
Suppose 4*n + 9 = 25. Let b be -1 + 1/(-2)*-2. Suppose 6*d = d. Solve -g = -2, d = n*r - b*g - 3*g + 2 for r.
1
Let a be (-2)/((-3)/(-3)) + 6. Let z(t) = t - 1. Suppose m + s = 5*s - 10, 3*s = -5*m + 42. Let j be z(m). Solve 0*d - a*h - 13 = -j*d, 3*d - 2*h - 9 = 0 for d.
5
Suppose 10 = -2*v - 14. Let r = 1 + v. Let x = -1 - r. Solve 2*a = -y - x, 2*a + 0*a + 22 = -4*y for a.
-3
Suppose -2*r = 2*r. Solve -5*d - 14 = -m, -4*m + d + r*d + 18 = 0 for m.
4
Let u(r) = 0*r + r - 4 - 2*r. Let w be u(-6). Suppose -2*p + w = t, 4*p - 1 - 11 = -4*t. Solve t*s = 5*y - 33, -2*y - s = 2*s - 4 for y.
5
Suppose 4*c + 37 - 105 = -5*z, -85 = -5*c - z. Suppose 11 = 4*v - c. Solve 5*i + 1 = 2*a, 9 = 4*i - v*i - 3*a for i.
-1
Let o = 10 + -5. Suppose -q + 3*u + u - 15 = 0, -2*q + 22 = o*u. Solve 2*k = -m + 3 + 6, 3*k - q = m for k.
2
Let w = 1 + 3. Suppose 0 = 2*u + 4*b - 16, 43 = w*u + 5*b + 17. Solve -5*s = r - 0*r - 20, -4*r + u*s = 16 for r.
0
Let q = -8 + 0. Let f = 14 + q. Solve 0 = 3*n - 12, -2*n + f = -2*g - 8 for g.
-3
Suppose g + 0*g + 10 = 0. Let h be 2 - 1 - (g - -7). Solve 0 + h = -2*x, 0 = -3*i + 2*x + 1 for i.
-1
Suppose 0 = -4*g + 7*u - 4*u - 95, -2*u = -g - 30. Let l = g + 36. Suppose 4*r - l = -0. Solve 5*s = r*z - 31, -z - s = 2*s + 5 for z.
4
Let r = -7 + 3. Let h(z) = -z. Let q be h(r). Let l(w) = -w**2 - w + 3. Let j be l(0). Solve c - p = 3*p + 3, 0 = j*c + q*p - 9 for c.
3
Suppose 88 = -4*y - 5*t, 5*t - 9 = 11. Let v = -11 - y. Solve -3*k + 10 = i, 6*i = 4*i - 5*k + v for i.
-2
Let l(o) = -o**2 + 6*o + 2. Let d be l(6). Let t(c) = -c. Let z be t(-2). Suppose -1 - 5 = -z*p. Solve 0 = d*r - m + 12, -9 - p = -3*m for r.
-4
Suppose 3*u - 12 = 2*r, -5 + 1 = -2*r - u. Suppose 2*c - 12 = -2*c + 4*i, r = -c - 2*i. Solve c*k + 1 + 13 = n, -2*k = 10 for n.
4
Let m(g) = -g**2 - 4*g + 2. Let p be m(-3). Suppose 3*a + 0*a = -5*z + 8, -p*a + z + 32 = 0. Solve 0 = k + 3*w + 10, 0*k + k + 2*w + a = 0 for k.
2
Suppose 3*u - u = 6. Suppose 0*c + u*c = 0. Suppose o - 3*k + c*k - 4 = 0, -2*k = 0. Solve 3 + 9 = o*t, -5*h - 4*t - 13 = 0 for h.
-5
Let j(y) = 2*y**3 + 7*y**2 - 5*y - 2. Let z(q) = q**3 + 3*q**2 - 2*q - 1. Let l(a) = -3*j(a) + 7*z(a). Let i be l(1). Solve 3 = 2*r + 2*s + s, 0 = -s + i for r.
0
Let a = -4 + 8. Suppose a*f - 2 - 14 = 0. Solve 4*k + f*w + 8 = 0, k + w - 5*w + 7 = 0 for k.
-3
Suppose 0 = 5*d - g - 30, -d - 5*g - 5 = -3*g. Solve 6*w = d*p + w, 2*p = w for p.
0
Suppose -2*r - 2*d + 24 = 0, -2*r + 4*d + 24 = 2*r. Suppose -r = -2*h + 1. Solve -h*v + 5 = 0, 5*g + v - 1 = -20 for g.
-4
Let s = 17 - 24. Let b = 9 + s. Let l(g) = 