 l + 1 for f.
-4
Let a = 21 + -12. Suppose -2*z - a = -5*h + 11, -16 = -2*z - 4*h. Solve -3*y + 2*y - 3 = z for y.
-3
Let j be -2 - ((-60)/5)/3. Solve -j*x = -x - 2 for x.
2
Let m = 24 + -6. Let j = m + -14. Solve j - 19 = 5*r for r.
-3
Let p(t) = -4*t**3 - t**2. Let z be p(-1). Solve z*a = 5*a + 8 for a.
-4
Suppose 4*u - 11 = -3. Solve 0 = -n + u*n + 4 for n.
-4
Let z = 17 - 19. Let l be (z + -3)*12/(-5). Solve -3*a + 0*a + l = 0 for a.
4
Suppose -9 = -3*d - 0*v + 2*v, 3*d + v = 0. Solve -3*c + 4 - d = 0 for c.
1
Let v = 5 - 18. Let f = v - -17. Solve -5 + 1 = -f*o for o.
1
Let p = 22 + -17. Suppose 6*c - 15 = c. Suppose 6 = 3*k - c. Solve 1 = k*r - p for r.
2
Let t = 12 - 7. Suppose 3*m - 3*j - 34 = -8*j, -t = -j. Solve -q - m = -0*q for q.
-3
Let p = 33 + -30. Solve p*s = 7*s - 16 for s.
4
Let d be ((-2)/3)/(6/(-27)). Suppose 2 = -2*s + d*s. Suppose 4*g = -5*m - 3, 2*g + 4*m - s = -8. Solve g = -u + 2*u for u.
3
Suppose 0 = -l + 3*l - 4*h, 2*h = 2. Let x(i) = i**2 + 4*i - 4. Let n be x(-9). Let u = -21 + n. Solve 3*d = -l*d + u for d.
4
Let t be 14/6 + 44/12 + -4. Solve t*k + 2 - 12 = 0 for k.
5
Let r(f) = -4*f - 1. Let t be r(-1). Suppose -t*d + 5*d = 0. Suppose -4*a + 130 - 34 = d. Solve 9 - a = 5*x for x.
-3
Let n(i) = i**2 + 8*i + 2. Let y = 21 - 29. Let h be n(y). Solve 3*r = h*r - 1 for r.
-1
Let l = -10 + 13. Solve -g = l*g for g.
0
Suppose -14*w + 267 + 13 = 0. Suppose 0 = 2*m + j - 10, -3*j - 33 = m - 4*m. Solve m*k + w = 2*k for k.
-4
Suppose 12 = 3*v - 7*v, s + 8 = -4*v. Solve -4*n + 8*n - s = 0 for n.
1
Let u = -2 - -4. Let t(s) = -4*s - 33. Let i(v) = -v - 8. Let o(x) = u*t(x) - 9*i(x). Let h be o(7). Solve h = 3*a + 1 for a.
4
Suppose 0 = 4*x - 9 - 3. Suppose x*w - 8 = -d, d + 4*w = -w + 10. Solve d*m + 4 = -11 for m.
-3
Let u(a) = a**2 + 7*a + 8. Let d be u(-6). Suppose 3*o - 2*m - 4 = -o, -5*o + m = -8. Solve -l + o = -d for l.
4
Let u be 1/(-1)*(-12)/4. Suppose n - 3 = -0*n. Solve 0 = u*r - n + 18 for r.
-5
Let x(i) = 7*i + 1. Let t be x(2). Solve 5*b + 10 = -t for b.
-5
Let n be (-10)/6 + 2/(-6). Let p = -2 - n. Suppose -s + 3 = 5*o - 4, p = -5*o + 4*s + 22. Solve 1 = -o*z + 11 for z.
5
Suppose 5*w - 23 = 3*o, w + 5*o = -4 + 3. Suppose -w*p + 6 = -26. Solve -y = y - p for y.
4
Suppose 3*w - 7 - 2 = 3*x, 0 = -4*w + 5*x + 13. Suppose -w + 5 = g. Suppose -g*j = -5*y + 6, -4*y + 9*y = -j + 18. Solve -j*k + 0*k = 3 for k.
-1
Let j be (90/(-12))/(3/(-8)). Solve 5*y - y = -j for y.
-5
Let c = -7 + 11. Let g(m) = -3*m - 1. Let v be g(-3). Solve -v*t + c*t - 12 = 0 for t.
-3
Let g = 21 - 13. Suppose 3*o = b - 10, -9 = -2*b - 3*o + 2. Suppose -b*r = -3*r - g. Solve -3*i + r = 5 for i.
-1
Let l(v) = -2*v - 3. Let s = 5 - 8. Let j be l(s). Solve 6*r - j = 3*r for r.
1
Let m(p) = -p**2 - 5*p - 3. Let j be m(-4). Suppose -2*w = 4*u + 6, 5*w - 4*u + 3 = 2. Let d = j - w. Solve d*s - 1 = s for s.
1
Let o = 17 + -10. Suppose -32 = -r - o. Solve 0 = -5*d - 0*d - r for d.
-5
Suppose -2*h = 2*h. Suppose h = m + 2*d - 5, -4 = -3*d - 1. Solve -8*u + m*u - 10 = 0 for u.
-2
Let u be 2*1/4*0. Suppose d + d - 2 = u. Let n = 2 - d. Solve k + 4 = -n for k.
-5
Let c(z) = z**3 - 3*z**2 - z + 3. Let v be c(3). Suppose -2*y = 5*y + 14. Let m be v - y - 4/2. Solve -6*w + 3*w + 12 = m for w.
4
Suppose -5*p = -3*w + 76, 3*w - 3*p - p = 71. Solve 5*b - 8 = w for b.
5
Let k = -5 + 6. Solve 2*u + k + 3 = 0 for u.
-2
Let m(k) = k**2 + 9*k - 6. Let o be m(-9). Let h(a) = a + 10. Let g be h(o). Suppose b = -g*b + 100. Solve 10*p = 5*p - b for p.
-4
Let x = -11 + 7. Let p = x + 3. Let s = p - -3. Solve s = -2*f + 3*f for f.
2
Let s = -3 - -8. Suppose 0 = -3*q + 4*a + 8, -s*q + 3*a + 3 + 3 = 0. Solve 4*n - 4 = -q*n for n.
1
Let h be -2 + 5 + (0 - 1). Suppose -u + 30 = h*u. Solve -u = 3*r - 4 for r.
-2
Let r(c) = -c**2 - c + 14. Let h be r(-4). Solve -h*y - 3*y = 5 for y.
-1
Let h = 6 - 9. Let i(x) = x**3 + 2*x**2 - 3*x + 4. Let y be i(h). Solve -19 = -3*j - y for j.
5
Let r(w) = -w**2 - w + 2. Let d be r(0). Let m = 14 - 8. Suppose m = -f + 2*f. Solve -d*x = -f*x + 20 for x.
5
Let x be (-3)/(2*3/(-6)). Solve 0 = -3*s + x for s.
1
Let o(v) = -v**3 - 4*v**2 + 6. Let a(h) = h**2. Let b(j) = 4*a(j) + o(j). Let d be b(0). Solve 0 = -2*u + d for u.
3
Let z be (-20)/(-5)*(1 - -2). Let m = z + -5. Solve 0 = -m*n + 4*n + 3 for n.
1
Suppose -25 = -5*j + 35. Suppose -v = -4*f - j, -3 = v - f + 2*f. Solve v*h + 4*h = 16 for h.
4
Suppose 0 = h - 5*b, 5*h - b + 0*b = 0. Solve -5*u + h*u = -20 for u.
4
Let k be 2/(-3)*(-2 + -4). Suppose x = 5*y + 13, -k*x + 6 = 4*y - y. Suppose -2*p + 0*p + 4 = 0. Solve x*t + p = t for t.
-1
Suppose 7*r - 18 = 4*r. Solve -r + 4 = h for h.
-2
Let p be ((-2)/(-4))/(6/60). Suppose -2*d = -p*m + 39, 5*d = -m - 3*m + 51. Solve 0 = -5*z - 16 - m for z.
-5
Let a = 41 - 23. Let i = a - 13. Solve 5 = -i*h - 15 for h.
-4
Let r(p) = 4*p + 5 - 3*p - 3*p + 5. Let d be r(5). Solve d*f = -4*f + 12 for f.
3
Let d(t) = -t**3 + 7*t**2 + t + 10. Let b be d(7). Solve 5 = 4*p + b for p.
-3
Suppose -15 = -4*o + 25. Suppose -5*n + 10 = -o. Solve -n*c = c for c.
0
Suppose -3 = l - 6. Solve -4*h = -5 - l for h.
2
Let v = -40 - -44. Let k be (0/(-1))/(2 - 0). Solve -v*y = -k*y for y.
0
Let g(s) = 3*s - 1. Let a be g(2). Solve 0*o + a = -5*o for o.
-1
Let v be (4 + -2)/((-2)/(-5)). Suppose 2*n + 6 = v*k, -5*k + 4*n - 2 = -2*k. Suppose 3*z + 2*z = 0, j + k*z = 2. Solve -2*x + 2 + j = 0 for x.
2
Let f(j) be the first derivative of -j + 1/2*j**2 - 2. Let a be f(2). Solve -2*h + 1 = -a for h.
1
Let d(v) = -6*v + 1. Let o be d(1). Let t = o - -10. Solve -t = -u + 2*u for u.
-5
Suppose 5*v - w = 25, -3*v - 3*w = -4*w - 17. Suppose v*i = -i. Solve f - 4*f = i for f.
0
Let x be ((-3)/2 + 2)*2. Suppose h = -3*h + 8. Solve h*i = x + 1 for i.
1
Suppose x - 1 + 2 = 0. Let o(b) = 3*b**2. Let p be o(x). Let g(f) = -f + 13. Let l be g(0). Solve p*s = l - 4 for s.
3
Let a(u) = -u**2 - 10*u - 12. Suppose 1 = -4*y - 31. Let n be a(y). Solve -n*w = -w for w.
0
Let l(y) = -y**2 + 2*y + 3. Let i be l(0). Solve -2*k - i = k for k.
-1
Let p be ((-3)/2)/(3/(-6)). Suppose 3*x + 0 = p. Solve 3*q + x = 4 for q.
1
Let i = 13 + -10. Suppose -g + 18 = 3*x, -i*x = 4*g - 43 - 20. Solve 6*o - o = -g for o.
-3
Suppose -h = 4 + 4. Let x = h - -18. Let t = 3 - 0. Solve -t*k - x = -5*k for k.
5
Let a(x) = -x - 4. Let v be a(-4). Let n = -1 + 7. Let f be -2 - (-2 - n*1). Solve f*b - 3*b + 3 = v for b.
-1
Suppose -7*c + 37 = -19. Solve -2*d + 4*d = -c for d.
-4
Let y be 3/(34/(-40) - -1). Let b be (2 + -2 + -3)*-1. Suppose 2*z = -b*z + 5*l, l = -2*z + 9. Solve -z*n - 2*n = y for n.
-4
Let v = 16 - 11. Solve 11 = v*c + 36 for c.
-5
Let l = 11 + -9. Let j = l + 10. Suppose -2*k = 5*n - 23, -2 + 3 = 4*k - 5*n. Solve -k*d + 0 = -j for d.
3
Let g(n) = -6*n**3 - n**2. Let l be g(-1). Let i = -2 + l. Let c be 2 + -1 + i/(-3). Solve 5 + c = -f for f.
-5
Let d = 7 + -4. Let z be (3 - 3 - 3) + d. Solve -5*v + 10 = -z*v for v.
2
Let t(j) = 2*j**3 - 2*j**2 - j - 2. Let x be t(2). Let u = 6 - x. Suppose -a - u = -2*l - 9, -2*l - 19 = -5*a. Solve 2*v - 1 = a*v for v.
-1
Suppose 3*x + a - 22 = 3, x + 1 = 2*a. Let h = 13 - x. Solve h*q = q + 15 for q.
3
Let m(s) = -s**2 - 2*s - 13*s**3 + 1 - 2*s + 5*s. Let k be m(-1). Suppose -w + k = 3*w. Solve -w*z - 5 = 4 for z.
-3
Let w be (-90)/(-24)*(-16)/(-3). Solve 2*t = -2*t - w for t.
-5
Suppose 2*z + 1 = 3. Solve 4*i = 3*i + z for i.
1
Let n = -11 - -17. Suppose -16 = 3*s + s. Let u = n + s. Solve -u = -2*p + 6 for p.
4
Let n be 4 + (-2*1 - -1). Let p be (0 + n/2)*2. Solve -5 = p*d + 2*d for d.
-1
Let c = -6 - -9. Let t = 7 - c. Suppose -n - 3*w + 12 = -w, 4 = -t*n + 5*w. Solve -2*f + n = -3*f for f.
-4
Let g(y) = -y**3 + 3*y**2 - 5*y + 16. Let t be g(3). Suppose -6*l = -4*l. Solve l = i + t + 3 for i.
-4
Let x be (3 - (-4)/(-2)) + 1. Suppose r - x*r = 4*a - 4, -3*r - 8 = 2*a. Solve -4*o = -6 - a for o.
2
Suppose -3*f - 2*f = 4*g - 14, 2*f + 3*g - 7 = 0. Solve 0 = -f*l - l for l.
0
Suppose -s + 3*s - 3*n - 2 = 0, 5*s = -n + 22. Solve -s*j + 6 - 14 = 0 for j.
-2
Let n be 2/3 + (-6)/9. Let w be -4 + 3 - (-1 - n). Solve w = -0*s + s - 5 for s.
5
Let g = 35 + -31. Solve 4*x + g = 5*x for x.
4
Suppose -4*q - 2 - 2 = 0, 4*h - 13 = q. Suppose 2*z - 20 = 4*m, -h*z + 3 = -3*m - 12. Let 