f + r for f.
1
Let v be (-1)/(1/32*-4). Solve v = 5*s - 7 for s.
3
Let r(g) = g**3 - 4*g**2 + 4*g - 4. Let o(y) = -3*y**2 + 3*y - 3. Let f(q) = -4*o(q) + 3*r(q). Let v be f(1). Solve -2*n + 5 = v*n for n.
1
Let f be (2/(-4))/(2/(-16)). Suppose 5*y + 4 - 54 = 0. Suppose 0 = -5*q, 5*v + 0*q = -q + y. Solve -2*p + f = -v for p.
3
Let z = 34 - 26. Solve -2 = -5*f + z for f.
2
Suppose -36 = -v - 2*v. Solve 12*h - 8*h = v for h.
3
Suppose q - 1 = -10. Let o = q - -17. Let l be 15/6*o/10. Solve -l*t - t = 12 for t.
-4
Let b(a) = 9*a**2 - 5*a**3 - 5*a**3 - 9*a**2 + 1. Let x be b(-1). Let p(w) = -w**3 + 11*w**2 - w + 16. Let d be p(x). Solve 15 = d*f - 0 for f.
3
Suppose 5*r + 5 = 25. Let n = -2 + r. Solve n*g = -3*g - 25 for g.
-5
Suppose -4*s + 26 = 3*a, 5*s = -8*a + 6*a + 29. Solve s + 15 = -4*i for i.
-5
Let l = -5 + 3. Let a be (0/l)/2 - -5. Suppose 5*f + 19 = s, -3*s + a*f = 9 - 36. Solve -2*c = -s*c - 2 for c.
-1
Suppose 0 = -z - 0 - 2. Let u be 0 - (z - 4*-1). Let x be 3 - (-3 - -4 - u). Solve -3*y = -x*y - 6 for y.
2
Suppose 0 = -5*j + 2*j. Suppose 2*g = -j*c - 4*c + 24, 3*c = 15. Let a be 2/(g/6*2). Solve -a*l - l + 20 = 0 for l.
5
Let g(x) be the first derivative of x**3/3 + 3*x**2/2 - 6*x - 6. Let h be g(3). Solve 2*l - 2 = -h for l.
-5
Let z = -15 - -10. Let x be (z - -71)/(6/4). Let p be (-9)/12 - x/(-16). Solve p + 6 = -2*s for s.
-4
Suppose 6 = 2*b - 4. Let j(w) = -w**3 + 4*w**2 + 7*w. Let q be j(b). Suppose -5*n + 1 = -9. Solve n = 2*k + q for k.
-4
Let q(k) be the third derivative of k**6/120 + k**5/12 + 5*k**4/24 + k**3/3 - 6*k**2. Let j be q(-3). Solve 3 = -j*d - 2 for d.
-1
Let b(r) be the first derivative of -r**4/4 - 4*r**3 - 5*r**2 + 11*r - 2. Let o be b(-11). Solve c - 5 = -o*c for c.
5
Let i = 157 + -154. Solve i*n + 0*n = 6 for n.
2
Suppose 8 = -4*w - 4*u, 5*w - 2*u - 25 = -0*u. Suppose -16 = -w*h - h. Solve 7*g - h*g = 0 for g.
0
Suppose 92 = 5*l + 17. Let n be l*-1*1/(-3). Suppose 3*f = 1 + n. Solve -4*z + f = -6 for z.
2
Let d(v) = v - 19. Let p be d(14). Let x = p + 6. Solve w + 3 = x for w.
-2
Suppose 4*p = 5*i + 20, 0*i - 3*p + 15 = 2*i. Suppose 16*a - 18 = 13*a. Solve i = -a*k + k for k.
0
Let a be 46/14 + 4/(-14). Solve 4*h = 3*h + a for h.
3
Suppose -6*s + 5*s = -3*a + 13, -4*a + 20 = -2*s. Let i be (11 + 1)*2/a. Suppose 0 = -c - 0*x + 4*x - 18, 5*c = -5*x + 35. Solve -c*h + i = -0*h for h.
4
Suppose 0 = 4*z - 5*o - 5, 3 = -5*z + z - 3*o. Suppose z = 8*j - 13*j + 15. Solve -j*i + 6 = -i for i.
3
Let s be 4 - (-1)/(-1) - -1. Solve -s*c = 12 + 8 for c.
-5
Let u be -4*(27/12)/(-3). Let o be u - ((0 - -1) + -1). Solve -z + 20 = o*z for z.
5
Let h(w) be the first derivative of w**2 - w + 1. Let d be h(3). Let u = 1 + -1. Solve d*z - z + 4 = u for z.
-1
Let u(a) = -a**3 - 2*a + 15. Let r be u(0). Solve 2*m = 5*m - r for m.
5
Let a = 167 - 162. Solve -7*h = -a*h for h.
0
Let p be (-1)/(-2)*(0 + 0). Let m(r) be the third derivative of r**4/24 + 3*r**2. Let a be m(2). Solve p*n - n = a for n.
-2
Suppose -2*b - 5*u = 3*b, 0 = -2*b + 4*u. Suppose v + 3*j = b, 2*v - j + 1 + 6 = 0. Let z = v + 28. Solve 6*t + z = t for t.
-5
Let l be 4/(-6) + 46/6. Suppose -5*b = -l - 38. Solve -3*p + 24 = b for p.
5
Let s(c) = -5*c**2 - 31*c + 19. Let k(d) = -2*d**2 - 15*d + 9. Let v(h) = -7*k(h) + 3*s(h). Let o be v(11). Solve 0 = o*x + 25 for x.
-5
Suppose o + 3*i - 15 = -0*i, 3*o = 5*i - 11. Suppose -2*g = o*m - 31, 0 = -m + 5*g - 4*g + 7. Let a be ((-2)/(-6))/((-10)/(-30)). Solve m = -5*c - a for c.
-2
Let u(f) be the second derivative of -f**5/20 + f**4/3 - 2*f**3/3 + 2*f**2 - 4*f. Let h be u(3). Solve y + h = -2 for y.
-3
Let z = -5 + 7. Suppose j - 2*l - 11 = 0, 4*j + 4*l = 15 + 65. Suppose 5*r + 7 = n, -5*r + j = -2*n + 3*n. Solve z*f - n = -2*f for f.
3
Let h be (6/4)/(2/12). Suppose 2*b = 4*b - 16. Let w be (b + -2)*3/6. Solve w*a = -0*a - h for a.
-3
Let g be (-1)/4*-2*4. Let h be 36/g + 3 + -2. Solve 6 = 5*l - h for l.
5
Let a = -15 - -12. Let y(j) = 2*j**2 + 4*j - 1. Let l be y(a). Solve 3 + 7 = l*o for o.
2
Suppose 0 = 4*h + 8 - 20. Solve 8*p = h*p - 10 for p.
-2
Let g = 28 + -11. Suppose 4*z - 20 = -2*k, z + g = k + 4*k. Solve -r = -z*r for r.
0
Let f = 6 - 6. Let q = 2 + f. Suppose -2*c + 10 = b, 2*b + 0*c - 12 = -q*c. Solve b*u - 8 = -2 for u.
3
Suppose 0 = q - 5*q. Suppose -2*m - m + 3 = q, 4*m = 3*w + 10. Let z be -6 - -6 - (w + -1). Solve -4 = -z*a + 2 for a.
2
Let o be 2/2 + 13 - 1. Let k = o - 9. Suppose 3*t - t - k = 0. Solve 4*h - t*h = 2 for h.
1
Let i be 3 - -1 - (6 + -3). Solve i + 2 = 3*q for q.
1
Let h be (-4)/(-12) + 16/6. Solve -h*p = -p for p.
0
Suppose -5*a - 50 = -3*i, 40 + 90 = 5*i + a. Suppose 3*y = 17 - 2. Suppose y*w = -2*s + 35, -w = -5*w + s + 15. Solve 4*t = -i + w for t.
-5
Let o be 9*(-1 + 5/3). Let f = o + -2. Let l = 4 - f. Solve 5*z + l*z = 0 for z.
0
Let x(r) = r**3 + r**2 + 2*r + 2. Let j be x(-1). Suppose -6*a + 2*a - 3*h + 46 = j, a + 3*h = 16. Solve -a = -2*l - 3*l for l.
2
Suppose -41*u + 60 = -37*u. Solve 0*z = 3*z - u for z.
5
Suppose -3*b = 10 + 2. Let c(i) = -2*i**3 - 3*i - 8. Let x(s) = -3*s**3 - 4*s - 8. Let v(l) = b*c(l) + 3*x(l). Let q be v(0). Solve q = 5*d - 2 for d.
2
Let y(w) = 2*w - 2. Suppose l - 2*l = -4. Suppose -l*g = -2*g - 4. Let j be y(g). Solve h + j*h = 3 for h.
1
Let t be 693/225 + 2/(-25). Solve -n + 6 = t for n.
3
Suppose 1 = t - 2*t. Let g be (-3)/6*-6 + t. Solve -3*x - 1 = -g*x for x.
-1
Suppose -4*z - 4 = 4*h, -4*z = -2*h + 10 + 6. Let p = -4 + 12. Let b = -8 + p. Solve h = -b*g + g for g.
2
Let v(b) = -b + 7. Suppose 3*w + 3 = 18. Let k be v(w). Suppose 3*i - k*i - 3 = 0. Solve -3 - i = 3*z for z.
-2
Let h(b) = -b**2 - 5*b - 1. Let s be h(-3). Suppose -2*l + 2*l - 2*l = 0. Solve s = 5*r - l for r.
1
Let a(k) = -k**3 + 8*k**2 + 11*k - 5. Let o be a(9). Let c = 21 - o. Solve 15 = 3*l - c*l for l.
-3
Let u be (-2)/(-4) + (-2)/4. Let x(b) = -b**2 - b - 1. Let r be x(-1). Let a be u*(-2 + r + 2). Solve a = -c - 2 + 1 for c.
-1
Let r(q) = q**3 + 2*q**2 - 7*q + 9. Let d be r(-4). Solve 4*m - d*m = 1 for m.
-1
Let n be -2 + 2 + 0 + 5. Let y(p) = -p**3 - p**2 + 5*p - 2. Let w be y(-3). Solve n = b + w for b.
4
Let x be (-80)/(-15) - 4/3. Suppose 0 = -p + k - x*k - 12, 0 = k + 4. Solve p = 3*o + 7 + 2 for o.
-3
Suppose c + 17 = 20. Solve -c*g + 0*g + 6 = 0 for g.
2
Suppose 77 = -0*l + 4*l + 5*k, -5*k = -25. Solve -5*g - 2 = l for g.
-3
Let w(n) = -11*n + 7. Let c(o) = 23*o - 13. Let x(i) = 6*c(i) + 11*w(i). Let p be x(1). Solve -2*m = -6*m + p for m.
4
Let c = -1 - -3. Suppose -v + 6*r - 3*r = -7, 2*v = 4*r + 12. Let y be 0 + v + (2 - 1). Solve -y*d + 3*d = c for d.
-1
Suppose 0 = -u + 4*u - 24. Let j = 7 + -4. Suppose 4*g = 3*q + 14, -j*g - 2*q = q. Solve g*d + 0*d = -u for d.
-4
Let l be 3/15*(2 + 33). Solve -11 = -6*r + l for r.
3
Let k(a) = -a**2 - 3*a - 5. Let z(o) = 3*o**2 + 5*o + 10. Let f(b) = -5*k(b) - 2*z(b). Let p be f(5). Solve -4 = s - p for s.
1
Let u(n) = n + 2. Let z be u(3). Let y(h) = -1 - h - 5 - z + 0*h. Let v be y(-12). Solve -1 - v = -p for p.
2
Let h be 24/9 + -2*3/(-18). Solve h*w = -2*w + 5 for w.
1
Let b(c) = 2*c + 55. Let z be b(-23). Solve 5*p - z = 2*p for p.
3
Let q be (24/(-9))/(3/9). Let p be 6/5*(-20)/q. Solve p*m - 6*m + 15 = 0 for m.
5
Let h(u) = u**3 - 6*u**2 + 7*u - 6. Let n be h(5). Let g be (-16)/5*(-10)/20*5. Solve 2*x = n*x - g for x.
4
Let t = -209 + 210. Solve -2 = -a - t for a.
1
Suppose 0 = 5*d - 2*y - 13, -2*d - 4*y - 15 + 1 = 0. Let m be 203/14 + d/(-2). Suppose -5*w + m = -31. Solve 1 = -4*p + w for p.
2
Suppose 0*u + 9 = 3*u. Solve -u = -3*q - 9 for q.
-2
Suppose -2*d - 19 - 25 = 0. Let o be 150/22 + (-4)/d. Solve 8 + o = 5*g for g.
3
Suppose 4*u - 12 = 4. Suppose -o = -3*f - f - 12, -u*o = 5*f - 6. Suppose 4*z - 4*v - 4 = 0, o*v + 0 = -z + 1. Solve -5 = k - z for k.
-4
Let b(r) = r**3 + 4*r**2 + 3*r + 4. Suppose 0 = 3*q - 6. Suppose 7*z - 3*z - 2*k = -22, -q*z - 4*k + 14 = 0. Let w be b(z). Solve h - w*h = 12 for h.
-4
Let a be ((-48)/(-36) + (-10)/12)*0. Solve 12 = -4*l - a*l for l.
-3
Suppose 5*g - 4*g = -3. Let t be (0 + g + 3)/(-1). Solve t = -o + 5*o for o.
0
Let y be (1 - 1)/(-3*1). Let t(b) = -b + 7. Let i be t(y). Let s = i + -4. Solve -2*u = u + s for u.
-1
Let g(m) = m + 15. Let x be g(-13). Suppose j - x*j = -6