or z.
2
Let t be (5/2)/((-20)/(-16)). Suppose 0 = 3*f + 2*r - 55, f - r + 2*r - 18 = 0. Suppose -5*w + f = -2*g + t, 2*g = w - 5. Solve 0 = -s - w*s + 20 for s.
5
Let b(p) = -p**3 - 3*p - 3. Let c be b(-1). Solve c = -4*s + 5 for s.
1
Suppose 16 - 36 = -4*t. Let q be 4*((-15)/(-4))/t. Suppose -q*l - 1 = -13. Solve l*r - 2*r - 6 = 0 for r.
3
Suppose 3*t - 3 = -0*t. Let s(h) = -h**2 + 9*h - 5. Let r be s(8). Solve -r*q - 8 = t for q.
-3
Let p(h) = -2*h**3 - 6*h**2 - 2*h + 3. Let w be p(-3). Let f = -3 + 5. Let g(v) = -v + 7. Let u be g(6). Solve -w = -f*d - u for d.
4
Let d be 8*(3 - 10/4). Let j = 8 - d. Solve 0 = 5*b - j - 16 for b.
4
Let x(k) = -3*k + 76. Let u be x(24). Solve u = -6*n - 20 for n.
-4
Suppose -2*u + 7 = -5*n - 13, -3*u = -4*n - 16. Solve u = -2*m - 1 - 1 for m.
-1
Let g = 5 - 3. Let f(d) = -d**3 + 2*d**2 + 2*d - 1. Let j be f(g). Solve -5*k = -j*k - 2 for k.
1
Let i = -19 + -5. Let d = 8 + i. Let w = d - -22. Solve -u = -w*u - 10 for u.
-2
Let y be (-12)/(-5) - (-3)/5. Let p = y + 1. Solve -4*b = -0*b - p for b.
1
Let x be (-3)/(9/3) + 5. Suppose 7*w = x*w. Solve -4*m = -w*m for m.
0
Let g(l) = -25*l - 2. Let n(r) = -12*r - 1. Let h(x) = 3*g(x) - 7*n(x). Let y be h(2). Suppose -y = -3*f + 41. Solve -3*a + f = 2*a for a.
4
Let l = 18 - 13. Suppose 5*b + 0*b = 4*v + 21, -l*v - 19 = b. Solve b = 3*x + 10 for x.
-3
Let d be (-6)/(-27) - (-2)/(-9). Solve 4*x = -d - 4 for x.
-1
Suppose 4*r - 2*r - 6 = 0, -3*v + 5*r - 15 = 0. Solve -n - 4*n + 25 = v for n.
5
Suppose 3 = 5*y + 3*i, 2*y - 4 = -2*y - 4*i. Suppose 4*g - 4*u - 16 = y, 3*u + 2*u - 36 = -3*g. Solve 15 = -4*x + g for x.
-2
Let f(t) = -t**2 + 6*t - 1. Let v be f(5). Let g be (2 - 4) + 1 + v. Solve g*b = b for b.
0
Let u = 2 - 5. Let q(p) = -4*p - 4. Let z be q(u). Solve 0 = -5*r - z - 7 for r.
-3
Let d be ((-8)/10)/(4/(-10)). Solve -d = -j - 1 for j.
1
Let l be (3/(-6))/((-1)/4). Solve l*i - 10 = -0*i for i.
5
Let j(k) = 2*k**3 - 2*k**2 - 2*k. Let l be (2 + -8)/3 + -2. Let q be (l/(-5))/(4/10). Let c be j(q). Solve -c*a - 2 = -6 for a.
1
Let m(j) = -j + 5. Suppose x - 1 = 4. Let y be m(x). Solve 0 = -p - y + 1 for p.
1
Suppose -2*c = 2*b + 12, 10 = -2*b - 0*b. Let j = c + 3. Suppose 5*s = -5, -j*s - s = n - 2. Solve -n = 4*w - 1 for w.
-1
Let b be (-2)/(-4) + 69/46. Solve 0 = -0*l - b*l + 8 for l.
4
Let c = -1 + 12. Let s(t) = -t**3 - 2*t**2 + 2*t - 1. Let z be s(-3). Let o be ((-2)/4 - 0)*-6. Solve -o*i = z - c for i.
3
Suppose -3*f - 2*f - 20 = 0. Let l = -3 - f. Solve -3 = r - l for r.
-2
Suppose -48 = -7*t + 3*t. Suppose -4*p + t = n, -3*n = -0*p - 5*p + 15. Solve 3 = -n*r + 3*r for r.
1
Let g(b) = 4*b - 3. Let u be g(-3). Let v be (-1)/((-27)/u - 2). Suppose -4*y + v*w + 27 + 13 = 0, 2*y - 4*w = 26. Solve -4 = y*z - z for z.
-1
Suppose 0 = 2*f + 2*f + 2820. Let k be f/(-55) - 2/(-11). Suppose 8*z - k*z = 0. Solve -h + z*h + 5 = 0 for h.
5
Suppose 35*c = 222 - 47. Let o = -1 - -3. Let g = 0 + o. Solve c*h = g + 8 for h.
2
Let y(l) = 4*l + 1. Let s be y(1). Solve 0*u = s*u for u.
0
Let i = 5 - 5. Suppose i = -4*u - 2*u + 6. Solve 2 = d - u for d.
3
Let g be (-3)/7 + (-34)/(-14). Let w = 6 + -4. Let n be (-5)/w*g*-1. Solve n = c - 6*c for c.
-1
Let m = 0 - 0. Solve w = -m*w + 2 for w.
2
Let u(h) = -5*h - 4. Let l be u(-5). Suppose 0 = 4*r + 1 - l. Solve 2*n + 5 + r = 0 for n.
-5
Let x = -3 - -7. Let y be (12/10)/(x/10). Solve 0 = 2*s + y - 9 for s.
3
Suppose -7*m + 2*m + 40 = 0. Suppose -4*t + 21 = a, -3*a = -m*a + t + 21. Solve -5 = a*u + 15 for u.
-4
Suppose 10*y - 6*y = 0. Suppose 0*m + m = y. Solve p + 0 - 3 = m for p.
3
Suppose v - 6*v + 15 = 0. Suppose -10 + 26 = 4*u. Suppose v = -9*b + u*b + x, -3*x = -b - 9. Solve -5*y + 20 = -b*y for y.
4
Let z(a) = 5*a - 4. Let p be z(5). Suppose -15 = -3*c + p. Solve 5*i - 2*i = c for i.
4
Let u = -7 - -13. Suppose 2*v - 28 = 4*r, 2*v - 4 = 5*r + 29. Suppose 0 = -5*y - w - 3, 0*y - 12 = -5*y + v*w. Solve 2*l = -y - u for l.
-3
Let s = -35 - -37. Let o(k) be the third derivative of k**6/120 - k**5/30 + k**3/3 - k**2. Let p be o(s). Solve -1 = m + p for m.
-3
Let s(k) = 5*k**2. Let t be s(1). Suppose -10 = -0*g + t*g + 4*c, 29 = 2*g - 5*c. Solve 0 = g*n + 2 - 10 for n.
4
Suppose 0 = 12*f - 3*f. Solve f = -0*n - 4*n + 12 for n.
3
Suppose u - 2 = 4*u + 2*d, 0 = 5*u - 5*d - 5. Suppose -15 = -y + 20. Suppose -y = -2*h + 3. Solve u = -4*m - 1 - h for m.
-5
Suppose 21*i - 3*i = 54. Solve i - 9 = 3*t for t.
-2
Let g(m) = m**3 + 5*m**2 - 4*m + 16. Let t be g(-6). Let w be (1 - -1) + (1 - 7). Let p be (4/10)/(w/(-20)). Solve a = p - t for a.
-2
Suppose 12 = -3*w + 33. Solve -13 = -5*z + w for z.
4
Suppose 17*k + 38 - 242 = 0. Solve 4*w = 8*w + k for w.
-3
Let x(n) = -n**2 + n + 8. Let d be x(-2). Solve d*b + 12 = 5*b for b.
4
Suppose 0*a = -2*a + 8. Let l = 5 + -2. Suppose -l*h + 4*h - 6 = 0. Solve h = a*d - 2 for d.
2
Let g = 4 - 6. Let f be (-4)/g*13/2. Suppose -5*w + 28 = -w. Solve -4*p + f = -w for p.
5
Let m = 9 - 7. Solve m*j = 1 - 11 for j.
-5
Suppose 0 = -u - 11 + 3. Let l = -5 - u. Solve 16 = -n - l*n for n.
-4
Suppose -3*j + 6*j = 0. Let k be -1 + j + (0 - -2). Solve k = 3*a - 2 for a.
1
Suppose -2*b + 22 = -4*a, -4*b + 3*a - 7*a = -8. Solve b*c = 4 + 6 for c.
2
Let b be (2 + -4 - -4) + (0 - -6). Solve -3*v - v = b for v.
-2
Let c be (12 - 9) + (-3)/(-1) + -3. Solve w - c*w + 4 = 0 for w.
2
Let q(i) = 3*i**2 + 5*i - i**2 - i**2. Let p be q(-5). Suppose -2*u + u + 8 = p. Solve 0 = -5*g - 12 - u for g.
-4
Let j(n) = -2*n - 3 + 2*n - n. Let k be j(-5). Solve k*t + t = -12 for t.
-4
Suppose 34 = -u - 8*o + 3*o, -u = 4*o + 30. Let z = -10 - u. Let k = -5 + 8. Solve p + z = -k*p for p.
-1
Suppose 5*c = 4*k - 6, 0 = c - 3*k - 0*k + 10. Solve -c*f + 5*f = 9 for f.
3
Suppose 7*j = 96 - 40. Solve 4*r = 8 + j for r.
4
Let t = 8 - 4. Solve -t*o - 10 = -6*o for o.
5
Suppose 3*n - 13 = -4. Suppose -n*d + 8 = -2*b, 3*b + d + 4 - 14 = 0. Solve b = -2*z - 2 for z.
-2
Suppose f = -3*q + 8, 3*f - 2*q + 4 = 3*q. Solve 0*g - f = 2*g for g.
-1
Let f be 1/1*(1 + 0). Solve 0 = -5*w - f - 14 for w.
-3
Let s(n) = n**2 - 8*n + 3. Let r be s(8). Let x(l) = -l + 6. Let g be x(r). Solve b - g*b - 2 = 0 for b.
-1
Let a(p) be the first derivative of 2*p**4 - p**3/3 + 4. Let u be a(1). Suppose 0 = 5*r - 4*w - 12, 3*r - 6 + 0 = 3*w. Solve r - u = g for g.
-3
Let v = -9 - -6. Let l be 3 + (v - (1 - 1)). Solve l*a = a for a.
0
Let f(b) = -2*b + 1. Let x be f(-2). Suppose 0*n = x*n - 10. Let j be 0/(2*-2 + 2). Solve j*i - i = n for i.
-2
Let b(n) = -2*n - 3. Let h be b(-4). Suppose 538 - 574 = -12*m. Solve -m*p = -h*p - 4 for p.
-2
Let d(s) = -4*s + 4. Let l be d(7). Let y = -14 - l. Solve w = -w + y for w.
5
Let v(j) = j**2 + 15*j - 12. Let t be v(-16). Solve -3 = t*f + 9 for f.
-3
Suppose 5*n = 4 + 21. Let s(u) be the third derivative of u**6/120 - u**5/30 - u**4/8 - 3*u**2. Let j be s(3). Solve j = 5*y - n for y.
1
Suppose 2*a = -m + 5, 2*m - 2*a = 23 - 1. Let h = 4 - 8. Let k = h - -5. Solve k = -2*p + m for p.
4
Let y(g) = 7*g**2 - g - 2. Let s(q) = q**2 - q. Let d be s(2). Let o be y(d). Let c = -7 - -12. Solve c*v - o = -4 for v.
4
Suppose -o + 2*k + 8 = 0, k - 17 = -2*o + 4*k. Let n be 18/(-30) + 6/o. Suppose -2*a - 6 = -m - m, -9 = -3*m - 4*a. Solve -t = -m - n for t.
3
Suppose v = 3*b + 24, 7*v + 4*b - 48 = 3*v. Suppose 2*u + 3*u = v. Solve -u*p = p for p.
0
Suppose 0*l - l = -12. Suppose 0 = -9*q + 6*q + l. Solve 0*x = -x + q for x.
4
Suppose 0*b = 3*b - 264. Let c be (-1)/3 + b/12. Suppose -13 = -n + c. Solve 0 = f - 5*f + n for f.
5
Suppose -m + 2*m + 5*p = 33, 2*m + 2*p - 26 = 0. Let b be -3*(-3 + 12/9). Suppose 7*j - 48 = 3*j. Solve b*z = j + m for z.
4
Let f(w) = w**2 - 7*w - 3. Let z(b) = -5*b**2 + 29*b + 12. Let x(y) = -9*f(y) - 2*z(y). Let u be x(-5). Solve -2*c = u*c for c.
0
Suppose 4*h = 13 - 5. Suppose -2*p - 5*m - 4 = 0, 4*m + h = -6. Solve -p*u - 2 = -11 for u.
3
Let t(k) = -k - 1. Let a be t(1). Let m be (a - 0)*(-6)/4. Solve z + 7 = m for z.
-4
Let d = 6 - 3. Suppose 3 = 2*b - d*i, -3 = 4*b + 4*i + 1. Solve b = -3*l - 2*l + 5 for l.
1
Let p(w) = -w**2 + 11*w + 12. Let f be p(11). Suppose f*v = 10*v + 2. Solve 5*b = -26 + v for b.
-5
Let c(s) = s**2 - 3. Let f be c(2). Solve -3*a + 5 = -f for a.
2
Let z be (7 - -1) + (-2 - -1). Let r = 