f + 2 for f.
-1
Let h = -4 + 4. Let g be 9*(-4)/(-6) - 2. Solve -g*z + h*z + 8 = 0 for z.
2
Let x = -46 - -49. Solve 3*m = -x*m - 18 for m.
-3
Let o be (3 - 1) + 2 - -2. Suppose o*u - 5*w - 5 = u, -w - 7 = -4*u. Let t be (6/(-5))/(u/(-5)). Solve 0 = -0*n - t*n - 15 for n.
-5
Let c = -4 + 7. Let b(k) = k**2 - k - 4. Let j be b(-3). Let p be j*1 - 0/(-3). Solve 0 = f + c*f + p for f.
-2
Suppose 6 - 1 = 3*r - a, 8 = 3*r + 2*a. Let h(n) = -n**2 - 5*n - 2. Let k be h(-4). Suppose 3*i - 32 = -k. Solve 0*l + i = r*l for l.
5
Let j = 24 - 35. Let v(w) = w**2 + 12*w + 15. Let r be v(j). Solve -2*l + 2 - r = 0 for l.
-1
Let w = 0 - -2. Let v = 2 - w. Suppose 125 + v = 5*i. Solve 3*h - 8*h + i = 0 for h.
5
Let h = -12 - -13. Suppose l = 5*x - 11, l = 3*x - 6 + h. Solve -l + 6 = -2*b for b.
-1
Suppose -2*d = 2*d - 8. Suppose -10 = -d*z - 4*w + 26, z - 4*w = 12. Suppose -4*t + z + 8 = 0. Solve -16 = 2*h - t*h for h.
4
Let r be -5*(0 - 8/10). Suppose 177*m = 148*m. Solve -r*o - o = m for o.
0
Let d be 8 + 2 + 0 + -4. Suppose d*w = w. Solve w = -a - 0*a - 2 for a.
-2
Suppose 7 = -4*c + 3. Let u be 14/(-7)*c*2. Solve -u = -2*t + t for t.
4
Let z = -2 + 1. Let h be ((z - 147)/(-2))/2. Suppose 3*y + 5*x = h, 3*y = -3*x - x + 35. Solve 2*r + 3 = y for r.
3
Let d(f) = -f**3 + 7*f**2 - 5*f - 1. Let g be d(6). Suppose 2*m + 9 = g*m. Solve -3*k = -4*k + m for k.
3
Let j be 1*-1 + 5 + 0. Let c(p) = 5*p - 5*p**2 + 4*p**2 - 1 + 2. Let d be c(j). Solve y = 2*y + d for y.
-5
Let y(j) = 3*j**2 + 64*j + 29. Let z be y(-21). Let r = 1 - 1. Solve -2*x = -r*x - z for x.
4
Let m be 6 + 9/(1 - 4). Suppose 4*k - i - m*i = 12, -4*k - 6 = 5*i. Solve k = -3*d - 5 for d.
-2
Suppose 4 = 3*r - 8. Suppose 3*v + 2 = r*u, 3*v - 8 = -v. Let t be -8*3/(-6) + u. Solve -t*l + 4*l = -6 for l.
3
Suppose 5*c - 2 = 43. Solve -c - 7 = -4*n for n.
4
Suppose -3*h + 4*b = -103 + 39, 5*b = -5. Solve 0 = 3*t + 2*t + h for t.
-4
Let k be -3*(-12)/(-27)*-3. Let q(m) = 7*m - 13. Let j be q(k). Solve -j = 3*y - 0*y for y.
-5
Let t(v) = v**3 - 19*v**2 - 19*v - 17. Let z be t(20). Solve z*u - 4*u = -5 for u.
5
Let g(u) = -u**2 + 1. Let y be g(1). Solve y = 7*x - 3*x for x.
0
Let v(j) = 5*j**2 - j - 1. Let o be ((-10)/(-4))/(3/6). Suppose 5*k + 28 = -3*z, -o*k = 5*z + 5 + 25. Let c be v(z). Solve c*l - l = -8 for l.
-2
Suppose -3*s + 2*d + 15 = -3*d, 3*s + 15 = -5*d. Solve z = -s*z for z.
0
Let z = -6 - -2. Let d = -3 - z. Solve d = -3*t + 10 for t.
3
Let o be 2/((-6)/(-63) - 0). Suppose 0 = 2*x + o - 3. Let p be (-3)/x + 1/(-3). Solve -5*g - 1 - 14 = p for g.
-3
Suppose q + b - 6 = 0, 0 = 3*q + q - 3*b - 52. Let h = -6 + q. Suppose 0 = l - 5*v + 19 - 5, -4*l - h*v = -40. Solve -2*x + 4 = -l for x.
5
Let c = 90 + -42. Suppose w - c = -3*w. Solve -w = j - 5*j for j.
3
Suppose 8 - 20 = -3*j. Suppose j*p = 2*p. Let s = p - -2. Solve 4*z = s - 18 for z.
-4
Let s(v) = -v - 2. Let c be s(-6). Let b be 69/21 - c/14. Solve -b*x = -x for x.
0
Let h(r) = -4*r**2 - 3*r + 1. Let u(b) = -9*b**2 - 6*b + 1. Let k(z) = -5*h(z) + 2*u(z). Let s be k(-3). Let d = -4 + s. Solve d*g = 6*g - 16 for g.
4
Suppose -7 = -o - 4*o - 2*a, 0 = 4*o + 3*a. Let q = 13 - o. Let u(k) = -k**2 + 11*k - 8. Let g be u(q). Solve 3 - 1 = g*l for l.
1
Let v = -40 + 22. Let a = v + 8. Let k be (-39)/(-15) - 4/a. Solve k = 3*d - 0 for d.
1
Suppose -12 = -142*p + 140*p. Solve -10 = p*i - 28 for i.
3
Suppose -2*y = 5*n - 4 - 0, 2*n - 13 = 3*y. Solve n*s + 0*s = -2 for s.
-1
Suppose 2*n = 5*n - 36. Suppose 0 = -2*a + 8. Suppose a*y - n = y. Solve 0 = -y*d + 2*d for d.
0
Let g be -2 + (24 - 6/3). Suppose 3*t - 5*s = g, -5*t + t - s - 4 = 0. Let f be (-1 + 2)*(-1 + 1). Solve i + t*i = f for i.
0
Suppose b - 2*b - 2 = 0. Let a(f) = -f - 2. Let p be a(b). Suppose 3*l = -p*l. Solve -2*d = -l*d - 4 for d.
2
Suppose -2*b = 8, -2*s - 2*b - 14 = 2*b. Let w(j) = 3*j**2 + 4*j - 7*j**2 + 5*j - 4*j**2 + j**3 - 10. Let n be w(7). Solve n*o - 17 = -s for o.
4
Let n be 0 + 0 - -1 - (-102)/(-102). Solve -2*v + n*v + 8 = 0 for v.
4
Let d be 11 - (3 - 2) - 0. Let b(s) be the first derivative of -s**4/4 + 11*s**3/3 - 9*s**2/2 - s + 2. Let t be b(d). Solve i - t = 4*i for i.
-3
Suppose -6 = -2*m - 2*w, 1 + 0 = 2*m + w. Let c be 3 - (-15)/(-6)*m. Solve 28 - c = 5*g for g.
4
Let d = 75 + -69. Solve -k + 10 = -d*k for k.
-2
Let x = -144 - -146. Solve -1 = n - x for n.
1
Let y(b) = -b**3 - 6*b**2 - b - 4. Let j be y(-6). Let q be (2 - -2) + 6 + -6. Suppose 0 = -2*d + q. Solve d = -0*h - j*h for h.
-1
Let k be 1/(-2) + 52/8. Let u be (k/(-4))/((-1)/(-2)). Let t = 5 + u. Solve -t*n - 7 - 1 = 0 for n.
-4
Let h(z) = -z**2 + z - 25. Let p(l) = l**3 - 6*l**2 - l + 6. Let g be p(6). Let a be h(g). Let v = a - -37. Solve v = -2*k - k for k.
-4
Let p(k) = 6*k + 38. Let s be p(-6). Solve -4 = -b - s for b.
2
Let a be (-1)/1 - (-1 + 1). Let o be (a + 1)/(-2 + 1). Let t be o + (0 - 1) + 7. Solve 0*x = -3*x - t for x.
-2
Let z(f) be the second derivative of -f**3/6 - f**2 + 4*f. Let r be z(-2). Solve r = -2*p - 4 - 6 for p.
-5
Let b(f) = f**3 - 6*f**2 + 3*f + 13. Let v be b(5). Solve 6 = -v*z + z for z.
-3
Let c be 2 - -1 - 7/7. Let i = 3 + 1. Solve -i + 2 = c*j for j.
-1
Let k be 3/5 - (-399)/35. Solve 2*z = -z + k for z.
4
Let y(u) = u**2 + 27. Let s be y(0). Suppose 5*v + 5*i = -5, 3*i = 6*v - v - s. Suppose 0 = 3*b - 3*m - 42, 5*b - 3*m = 26 + 34. Solve -v*z = -6 - b for z.
5
Let l(r) = -6*r - 1. Suppose 3*a + 12 = -3*f, a + 2*f = 6*a + 13. Let k be l(a). Solve k = -4*t - 3 for t.
-5
Let j be (1 - 5)/((-1)/4). Suppose v = -9*d + 4*d - j, 2*d - 6 = 0. Let m = -11 - v. Solve 3*w = 7*w + m for w.
-5
Let z = -19 - -14. Suppose 7 - 1 = -2*l - 5*a, 4*l - 40 = 3*a. Let w = z + l. Solve 7*j = w*j + 20 for j.
4
Let y(d) = -d**2 - 2*d + 1. Let t(o) = -o. Let f(v) = 6*t(v) - y(v). Let a be f(5). Solve g - 6 = a*g for g.
-2
Let s be (2 - 6/3)/2. Solve 5*b - b + 4 = s for b.
-1
Suppose -3*q - 5*r = -10, 5*q + 4*r - 9 = -1. Let t be (-198)/(-55)*5/3. Solve q*a - t = -3*a for a.
2
Suppose 2*r + 3*r - 4*y - 5 = 0, -3*y - 27 = 4*r. Let o = 46 - 34. Let t = r + o. Solve j + 2*j = -t for j.
-3
Let q(j) = -2*j**2 - j + 3. Let m be q(0). Solve 1 - m = -h for h.
2
Suppose 5*g - 30 = 2*c, 3*g - 2*c = 2*g + 6. Solve g = -b + 10 for b.
4
Suppose 0 = 125*u - 130*u + 95. Solve -5*a = 1 + u for a.
-4
Let n be 1/(((-6)/8)/(-3)). Suppose -4*d - 36 = -n*q, 4*q - 48 = -q + 4*d. Solve -q = o + 2*o for o.
-4
Let z(l) = 4*l + 46. Let i be z(-11). Solve -1 = i*k + 1 for k.
-1
Suppose -l = 5*c - 15, -3*l + 4*c - 12 = -0*c. Let m = 22 + -14. Suppose -1 = 3*g - z + 1, 0 = 4*z - m. Solve g = -4*s - l*s for s.
0
Suppose 3*p = -2*u - 2, -u = -2*p + 2*u + 16. Solve 0 = -i - p + 1 for i.
-1
Suppose 2*n = -2*s + 16, n + 4*s = -4*n + 42. Solve 3*j - n = 5 for j.
5
Let m(x) = -x**3 + 8*x**2 - 8*x + 9. Let i be (-15 - -14)/((-1)/7). Let p be m(i). Solve -t - 1 = p for t.
-3
Let n be (-5)/(-3)*(1 + 2). Let r(f) = f**3 + 2*f**2 - 3*f. Let m be r(-3). Solve -n*i + 4*i = m for i.
0
Let o be (-1 + 5/(-3))*15/(-20). Solve 3 - o = v for v.
1
Suppose -m + 0*m + 8 = 0. Solve -3*b + b - m = 0 for b.
-4
Let k(z) be the first derivative of z**4/4 - 7*z**3/3 + 3*z**2 - 4. Let x be k(6). Solve x*v = v + 1 for v.
-1
Let z(m) = m**2 + 4*m + 1. Let j be z(-5). Let y(k) = -k**3 - 5*k**2 + 4*k + 3. Let g be y(-3). Let x be (2/j)/((-3)/g). Solve -2*d - x*d + 25 = 0 for d.
5
Suppose -3*f + 5 = -2*f. Suppose 0 = -4*s - 3*n + 48, -3*s + 3*n + n + 36 = 0. Suppose -f*a = 2 - s. Solve w - 5 = -a for w.
3
Let l be (8/(-5))/(11/(-110)). Suppose 0 = 2*t + 2*a - 14, -5*t - a + l = -t. Solve 0 = t*i + 1 - 10 for i.
3
Let d = 64 - 59. Solve 10 = d*w - 0*w for w.
2
Suppose 25 = -0*t - 5*t. Let w = -4 + t. Let s(v) = v + 10. Let a be s(w). Solve -m + 1 = -a for m.
2
Let n(a) = -a**3 - 4*a**2 - 4*a - 1. Let g be n(-3). Suppose 0 = g*k + 2*p - 12, -6*p = -3*k - 2*p - 3. Solve b - 2 = -k for b.
-1
Suppose 2*b = -0*b + 30. Let v = 19 - b. Solve v*i + i = -10 for i.
-2
Let l be 1/((-3)/6) + 4. Let s = l + 3. Let j = s + -2. Solve -j*b = 2*b + 20 for b.
-4
Let u(z) = z**2 - 2*z + 3. Suppose -2*a = 3*b + 11, 3*b + 2*b + a = -16. Let i be b*(-2 + (-2)/(-2)). Let m be u(i). Solve n + 2*n = -m for n.
-2
Suppose 0 = -3*r - 3*w + 7*w + 14, 2*w = 2. Solve r = -3*n - 3 for n.
