 for f.
-3
Let f = -2 - -6. Solve 0*v + f = 4*v for v.
1
Let i = 20 + -14. Solve 3*x + 0*x = -i for x.
-2
Suppose 4*t = -1 + 21. Let b = 3 + 19. Suppose 4*x = -6 + b. Solve -x*d + 9*d - t = 0 for d.
1
Let r = -11 - -7. Let d(p) = -p**2 - 2*p - 3. Let v be d(r). Let h = v + 31. Solve 3*x = -x - h for x.
-5
Let r = 7 + -4. Let o = 24 + -16. Solve s = -r*s + o for s.
2
Let x be 5/((-15)/6) + 4. Solve x = 4*k - 2 for k.
1
Let o(f) be the first derivative of -f**4/4 + f**3/3 + 8. Let k be o(-1). Solve -c - k = 1 for c.
-3
Let t = 10 + -27. Let a be t/(-2) - 1/2. Solve 2 = -3*v + a for v.
2
Suppose 0 = -i, -4*x = -3*i - 9 - 15. Let q = 6 - x. Solve -z + 1 + 1 = q for z.
2
Suppose 4*z + 41 = 3*i, -5*i = -2*z - 9 - 36. Solve i = -f + 2 for f.
-5
Let o(v) = -v**3 + 4*v**2 - 4*v + 3. Let y be o(2). Solve t = y*t - 6 for t.
3
Suppose 2*n = -n + 12. Solve 5*v = n*v + 5 for v.
5
Let g(f) = 2*f**2 + 14*f + 7. Let q be g(-7). Solve -3 = 4*i - q for i.
1
Suppose 15 = 5*i - 10. Solve 8 = i*g - 2 for g.
2
Let o(g) = -g + 4. Let x be o(0). Let n = x - 4. Solve 4*y + n*y = 12 for y.
3
Suppose -3*b + 3 = 3*x, 4*b - 5*x = 3*b + 19. Suppose s + b*s - 15 = 0. Suppose 0*v - 8 = -2*v. Solve -s*m - 11 = v for m.
-5
Suppose 50 = 5*z - 10. Solve -s = -4*s + z for s.
4
Let m be 24/14 - (-2)/7. Suppose 7*j + 2*o - 53 = m*j, j = -4*o + 25. Let u(t) = -t**3 + 10*t**2 - 10*t + 13. Let x be u(j). Solve l = x*l for l.
0
Suppose 11*t = 16*t - 15. Solve -c - t*c + 4 = 0 for c.
1
Let x be (-135)/(-18)*6/9. Solve 0 = 4*r - 3*r + x for r.
-5
Let m be (-2)/(-6) - (-3)/(-9) - -4. Solve 8*h + 8 = m*h for h.
-2
Let o = -8 + 0. Let c = -8 - o. Suppose -3*t + t + 4 = 2*q, c = 5*q - 2*t - 17. Solve 4 = q*z - 2 for z.
2
Let j = 2 + 0. Suppose a - 28 = -3*r, -19 = -j*r + a - 2*a. Let m(v) = v**3 - 8*v**2 - 10*v + 13. Let l be m(r). Solve 4*t - l = -0 for t.
1
Let s be (-2)/(-8) - 3/12. Let t = -7 + 13. Suppose 7*z - t*z - 4 = 0. Solve z*x = -s*x for x.
0
Let i be 8/8 + 2/4*2. Solve -15 = -i*o - 3*o for o.
3
Suppose 15 = -3*r, -r + 3*r + 14 = t. Suppose -h + 3*g = 2*g - 4, 16 = -5*h - 4*g. Suppose -z - 1 + 17 = h. Solve 0*y - z = t*y for y.
-4
Suppose -2*q = 3*y - 23, -4*y = q + 15 - 39. Suppose -17 = -2*v - 87. Let i = 50 + v. Solve i - 5 = -y*r for r.
-2
Let k be 7 - (1 + 1 - 4). Suppose -4*d + 31 = -k. Solve 3*b + d = 8*b for b.
2
Suppose 3*z - 8*z = 65. Let o = -3 - z. Solve 0 = -n - n - o for n.
-5
Suppose m = 70 - 22. Let j be m/56*(2 + 12). Solve 5*t = 2*t - j for t.
-4
Let i = 150 - 144. Let y be -1 + 1 + 2 + 0. Solve -i = -m - y*m for m.
2
Suppose 5*n = -12 + 2. Let r be (n - (-2 - -2)) + 2. Suppose -v + 11 = 7. Solve r = -x + v - 0 for x.
4
Let f = 108 - 106. Solve f*g - 6*g = 20 for g.
-5
Let m(n) = -n - 12. Let l be m(-9). Let y = l + 7. Suppose -4 = 2*j, 0*i = -y*i + 3*j + 22. Solve -p = p + i for p.
-2
Suppose 2 = -k + 7. Suppose -11 = -k*q + 9. Solve u = q*u for u.
0
Let u(k) = -2*k**3 - 3*k**2 + 2. Let i be u(-2). Suppose -4*t + 12 - 39 = -5*d, -6 = -2*t - 4*d. Let n = t + i. Solve -n*l + 4*l = 3 for l.
3
Let s be 3/6 - 92/8. Let k = s - -18. Solve k*w - 3 = 4*w for w.
1
Let u(m) = 3*m**2 + 2*m + 1. Let s be -3 - (-3 - (-3 + 2)). Let v be u(s). Solve -h = v*h + 3 for h.
-1
Suppose -3*z = q - 3, -4 + 10 = 2*q. Let g = -6 + z. Let b = 12 + g. Solve -h = -b*h + 15 for h.
3
Let k = -36 + 56. Let q = -13 + k. Solve 4*j = q - 19 for j.
-3
Let y(m) = -2*m - 4. Let z be y(-6). Let p(u) = u + 5. Let t be p(-5). Solve t = 3*l - z*l for l.
0
Let k(v) = v**3 - 6*v**2 - 7*v - 2. Let q = 12 - 5. Let u be k(q). Let w be (-9)/6*u*5. Solve w = -j - 4*j for j.
-3
Let t be (-152)/(-40) + (-2)/(-10). Suppose 3*z = t*z. Solve z = -0*c - c + 2 for c.
2
Suppose 3*n - 4 = -n + t, 16 = -4*n - 4*t. Solve -4*k + 0*k + 16 = n for k.
4
Let m be -3 - (-1 - (1 - 1)). Let n = 17 - 12. Let p = m + n. Solve p*t + 3 + 0 = 0 for t.
-1
Suppose 2*a + 0*a = 0. Let u(b) = 5*b - 2. Let h be u(2). Suppose k - h = -a*k. Solve -5*x = -k*x - 15 for x.
-5
Suppose 4*x - 8 = 20. Solve 4*w + 13 = -x for w.
-5
Let k(g) = -g**2 - 5*g - 4. Let v be k(-3). Suppose -2*t - 4*d + 14 = 0, 5*d = 4*t - 29 + 1. Suppose -v*c + t*c - 65 = 0. Solve 0 = -3*l - 4 + c for l.
3
Suppose -d + 4*d - 12 = 0. Solve -o - 9 + d = 0 for o.
-5
Let f(k) = k**2 + k. Let g = -15 + 13. Let w be f(g). Solve 7 = -3*h - w for h.
-3
Let l(a) = -4*a + 7. Let q be l(-2). Suppose -2*j - 10 = -4*j. Solve 0 = -j*o + q + 10 for o.
5
Let g(z) = -z**2 - 9*z + 2. Suppose 0 = -8*a + 3*a + p - 46, -a + 2*p = 11. Let j be g(a). Solve 0 = -j*y + 3 + 3 for y.
3
Suppose 0 = -4*a + 2*a - 3*t - 37, 85 = -5*a - 5*t. Suppose 0 = -3*x + x - 4. Let r be x/7 - 4/a. Solve r*u = -4*u - 16 for u.
-4
Suppose -4*i - 12 = -0*i, -3*i - 19 = -2*r. Suppose 29 = -r*o + 4, 0 = -4*h + 4*o + 36. Solve 2 = -h*j - 2 for j.
-1
Suppose -2*o + 5*o = 4*m + 30, 0 = 4*m. Solve 0*f - 2*f = -o for f.
5
Let j be -6*(-1)/(-4)*-2. Suppose -2*n = -j*n. Solve n = -c - 2*c + 3 for c.
1
Let o = 36 - 27. Solve 2*j + o = 1 for j.
-4
Let y = -4 + 7. Suppose -4*q = y*l - 5*l, -q = -4*l + 14. Solve 2*p = 3*p + q for p.
-2
Let z be (123/(-54) + (-6)/27)*-2. Solve 9 = z*t - 16 for t.
5
Suppose -g + 48 = 2*g. Let y(h) = -8 - h + 7 + g. Let a be y(12). Solve -6 = -a*q + 3 for q.
3
Let k = 11 - 9. Solve -k*h - 6 = h for h.
-2
Let h(n) = 3 + 4*n - n**2 - n + n. Let x be h(3). Solve 2*m + 0*m - x = 0 for m.
3
Let x(s) = -9*s - 18. Let r(m) = 19*m + 37. Let c(u) = 6*r(u) + 13*x(u). Let h be c(-5). Solve -4*i + h = 23 for i.
-5
Suppose -4*u - s + 24 = -5*s, 4*u + s + 1 = 0. Let f = u - 0. Solve 0 = 5*v + 14 + f for v.
-3
Let v(o) = o**2 - 6*o + 1. Let c be v(7). Let b = 13 - c. Solve -b*a + 4 = -11 for a.
3
Let u = -14 - -16. Solve 3*j - u*j = -3 for j.
-3
Let z(x) = x**2 - 7*x + 2. Let d be z(7). Solve d*h = h for h.
0
Let x be ((-4)/2)/(7/(-70)). Solve 3*a = -2*a + x for a.
4
Let m(x) = x**2 + 3*x + 2*x**2 - x**3 + 2*x**3 - 4 - 6*x. Let j be m(-3). Let d = 22 - 11. Solve -j + d = -2*l for l.
-3
Suppose -12 = 4*a + 3*d + d, -21 = 3*a - 3*d. Let v = a - -7. Solve v*s - 4 - 2 = 0 for s.
3
Suppose -3*h + n + 24 = -1, 5*n = 5*h - 25. Let v = 5 + -2. Suppose -14 = -u - 4*p, -v*u + p + 9 = 2*p. Solve -3*z - h = u for z.
-4
Let n(u) = -u**2 - 7*u + 53. Let s be n(-11). Solve 0 = -4*c + s + 3 for c.
3
Suppose -3 + 5 = -2*b. Let x be b + 2 - (-4)/1. Let n = 5 - x. Solve -l + 4*l - 3 = n for l.
1
Suppose -16 = -0*g - 2*g. Let p be (10 - g)/((-2)/(-3)). Let y = -2 + 5. Solve y = -p*l + 6*l for l.
1
Let c be (2/(-4))/(2/(-12)). Let j = 7 + -2. Suppose 0 = -3*r - 4*v - 7, j*r + 0*v = -4*v - 1. Solve 0 = -r*s + c for s.
1
Let t be (-36)/45*(-5)/(-2). Let c be (-1)/t*8/4. Suppose 2*x + 2*f + 19 = -3*f, -x = -f - 8. Solve -x*p + 4*p = c for p.
1
Let x = -4 + 9. Let j(f) = f**3 + 6*f**2 + 4*f - 3. Suppose 2*u + 0*u + 10 = 0. Let d be j(u). Solve d*r = -3*r + x for r.
1
Let p(l) = l**2 - 7*l - 3. Let r be p(7). Let h(j) = j - 6. Let b(u) = -u + 6. Let k(x) = r*b(x) - 2*h(x). Let v be k(8). Solve 0 = v*z - 2 for z.
1
Suppose -i + 3*i + 2*n - 20 = 0, 3*i - 2*n = 30. Suppose i = -4*v + 26. Solve -v*x + 1 - 5 = 0 for x.
-1
Let u(l) = -l**3 + 6*l**2 + l - 3. Let j be u(6). Solve -j*q + 4 = 16 for q.
-4
Let k = 5 + -5. Let f be 1/2*k/3. Solve 4*h - 6 - 2 = f for h.
2
Suppose 12 = 5*d - 38. Let t be -1 - (-5)/(d/6). Solve t*b + 0 + 8 = 0 for b.
-4
Suppose -3*o - o = 0. Suppose p = x + 2 - o, 4*p - 11 = 5*x. Let c be 3 + p + (-2 - -7). Solve 2*j = c*j - 20 for j.
4
Suppose a + 3*a = -12. Let x be a*3/(-18)*14. Solve x*s = 4*s for s.
0
Let b be 1 + 85/30 - 2/(-12). Solve n + 0*n = -b for n.
-4
Let j be 2/1 - (-1 + 1). Let p(n) = -n + 1. Let a be p(2). Let t be (0 - a) + (-6)/(-2). Solve 2*q + j = t*q for q.
1
Suppose 4*f = 34 - 10. Suppose f*w = 2*w. Let v be (-26)/(-7) + 2/7. Solve w*s + 16 = -v*s for s.
-4
Let z = 0 - -2. Suppose 13 = z*s + 5. Solve h + s*h = -15 for h.
-3
Let p be 51/12 - 3/(-4). Solve g + p = 2*g for g.
5
Let z(y) = -y + 24. Let s be z(10). Let l = s - 10. Let b be (-2 - l/10)*-5. Solve 0 = -t + 4*t - b for t.
4
Let x(b) = -b**2 + 15*b + 3. Let y be x(15). Solve -2*f + y = f for f.
1
Let y = 129 + -126. Let r be 2 + 0 + 1 + -1. Let b be (0 - 2/r)*-3. Solve -b - 3 = -y*o for o.
2
Suppose -12 = -4*s + 24. Let d = s + -7. Let w