 f + 1 for f.
3
Suppose 39 = 2*a + 25. Let h(z) = z**2 - 9*z + 14. Let p be h(a). Solve 3*v + p*v + 12 = 0 for v.
-4
Let d be (-2)/6*(-18)/2. Suppose -y + 0*t + 4*t = 12, 0 = -t + 3. Suppose y = -0*x - 5*x. Solve x = -0*l - d*l + 9 for l.
3
Let s be (-2 - 34/(-4)) + (-1)/2. Solve 5*w - s = 3*w for w.
3
Let j be 0/(6/3 - 3). Suppose j = -o - o + d + 8, o + 5 = 5*d. Solve 0 = -o*l + 5 for l.
1
Let p(l) = 3*l - 15. Let s be p(7). Solve -5*a + s = -19 for a.
5
Let r(j) = 2*j + 5. Let c(k) = -1. Let i(a) = 2*c(a) + r(a). Let y be i(0). Solve y*f - 7*f - 12 = 0 for f.
-3
Let u(s) be the third derivative of -s**6/10 - s**5/60 + s**3/6 + 2*s**2. Let x be u(1). Let y = x + 24. Solve 5*a - y = 3 for a.
3
Let w = 11 - 3. Suppose -2*c = -4*r - w, 3*r + 3*c + 23 + 1 = 0. Let o be r/(-18) - (-129)/27. Solve 0 = -2*z + o*z - 9 for z.
3
Let s(o) = -2 + 7 - 6*o**3 + o**3 + 8*o**2 + 4*o**3. Let q be s(8). Suppose 2*w - q = 1. Solve -w*b = -1 + 7 for b.
-2
Suppose 5*r + i + 32 = 2*i, -3*r - 2*i = 27. Let h(q) = q**2 + 7*q + 5. Let v be h(r). Suppose 4 = -a + v. Solve 2*m = -9 + a for m.
-4
Let d = -4 + 2. Let v = d - -6. Solve 0 = v*m + m + 25 for m.
-5
Suppose -5*l = -0*l. Suppose l = m - 6*m + 20. Solve -6 = -k + m*k for k.
-2
Let j(m) = m + 17. Suppose -a = 4*a - i - 3, 0 = -a - 4*i + 9. Suppose 2*y + 25 - a = 0. Let f be j(y). Solve -b = -f + 2 for b.
3
Let z(p) be the second derivative of p**5/20 + 2*p**4/3 + 7*p**2/2 - p. Let b be z(-8). Let c = b - 5. Solve 0 = -6*f + c*f + 20 for f.
5
Let j(z) = -z**2 + 7*z + 5. Let w be j(7). Suppose 3*n - 16 = 2*o, -n - 13 = -4*o + 7*o. Suppose -n*f + 4*f - 6 = 0. Solve -f*r - w - 10 = 0 for r.
-5
Let v be (-76)/(-18) + 6/(-27). Let y be 4/6*(-3)/(-2). Solve 0 = v*b - 3 - y for b.
1
Let l(p) = p**2 + 1. Let h(i) = 3*i**2 + 5*i + 7. Let c(q) = h(q) - 4*l(q). Let r be c(5). Solve 0 = -m - r*m for m.
0
Suppose -25 = 4*w - 5*k, 5*k - 5 = w + 4*k. Solve 0 = -3*n - w - 3 for n.
-1
Suppose -2*a - 5*x + 15 = -0*a, -4 = -4*x. Suppose 28 = 2*f - 4*v, -a*f + v = 4*v - 122. Suppose -4*r + f = 2. Solve 0 = r*i - 0*i for i.
0
Suppose 29 = 10*x - 11. Solve x + 12 = -4*z for z.
-4
Let g(b) = b**2 + 13*b + 14. Let x be g(-12). Let s be 2 + (2 + -1 - 3). Solve -f + s*f + x = 0 for f.
2
Suppose -4*s + 0*s + 8 = 0. Let o = -15 + 31. Suppose -3*g + s = -o. Solve g = -u - 2*u for u.
-2
Let m be (-72)/(-9) + (-6)/2. Solve -3 = 4*l + m for l.
-2
Let g(p) = -4*p + 0*p**2 + 2*p**2 - 5*p**2 - 2. Let m be g(-2). Let a be 1 + (-2)/m*3. Solve 0 = -a*i + 3*i + 2 for i.
-2
Let j be ((-2)/2)/(27/(-12) - -2). Solve 0*p = -j*p for p.
0
Let t(g) = -g**3 + 5*g**2 + g - 3. Let n be t(5). Suppose 2*i + 6 = 5*p - p, -4 = -4*i. Solve d + p = -n for d.
-4
Let j(d) = d**2 - 2*d - 3. Let m be j(4). Suppose 5*t + 4*i = 61, -2*i = 3*t - m*t + 10. Solve 3*n = -3 - t for n.
-4
Suppose 0 = 4*v + k - 0*k, 4*k = -5*v. Let w be 29 - (-3)/(2 + 1). Suppose -4*c + 11 = -u, 5*c + 2*u + 0*u = w. Solve v*o = -c*o - 4 for o.
-1
Suppose -4*r + 6 + 10 = 0. Suppose -w = w. Solve -r*m + 18 + 2 = w for m.
5
Suppose 0 = r - 6*r - 25. Let u = -2 - r. Suppose 5*w + 2 = -u, -4*w - 74 = -5*h. Solve -h = -5*x + 11 for x.
5
Let g(a) = -a + 2. Let s be g(0). Suppose -v + 2*x - 13 = 5*x, -2*v + 14 = -s*x. Solve 20 = v*d - 7*d for d.
-4
Let u = -1 - -7. Suppose 2*p + u = -t + 4*p, -t - 5*p = -15. Solve t = 3*q - q + 8 for q.
-4
Let i = 0 - 1. Let q be 68/(-18) - (-18)/(-81). Let f be 8/(-8)*(q - i). Solve -2 = -f*t - 5 for t.
-1
Suppose -8 = 4*b, -4*n + 5*b + 20 + 2 = 0. Solve -n*j = j for j.
0
Let z be (-3)/6 + 57/6. Let n = -3 + z. Solve 0 = w - n*w - 25 for w.
-5
Let c(o) = -3*o. Let g be c(6). Let z = 12 + g. Let a be ((-8)/(-10))/(z/(-15)). Solve -m = -a*m for m.
0
Let x = 11 + -6. Solve -f + x = 4 for f.
1
Suppose -5*l + 3*w = -3 - 5, l = 5*w - 16. Let d = 4 - l. Solve d = 3*k + k for k.
0
Let i be (-8)/(-52) + 63/13. Solve 0 = -3*w + i*w + 4 for w.
-2
Let m = 13 - 11. Let f = m + 0. Solve f*b + 2*b + 8 = 0 for b.
-2
Let d = 27 - 17. Suppose 10 = -4*j - 5*h, -3*j - 5*h - d = 2*j. Solve -b + j + 4 = 0 for b.
4
Let x = 33 - 18. Solve 4*h - 9*h = -x for h.
3
Suppose 6*l + 0*l = 42. Solve -5*a = -l + 27 for a.
-4
Suppose 0 = 2*y - 5*t - 13, -2*y - 2*t + 11 = 5. Solve r - 20 = -y*r for r.
4
Let h(k) = -6*k + 2. Let t be h(-1). Suppose -w = 0, 6*n - 3*n = -5*w + 15. Suppose 10 - 30 = -n*p. Solve p*b - t = 4 for b.
3
Suppose 0*y - y = 5. Let s be ((-4)/y)/((-1)/(-5)). Let p be (-5 - -4 - -1)/(-2). Solve p = -s*q + 5*q - 3 for q.
3
Let i(h) = -h**3 - 4*h**2 + 6*h + 8. Let x be i(-5). Solve 8 - 23 = x*q for q.
-5
Let i be 4/(-30)*-5*(-45)/(-2). Solve -2*p + 5*p = i for p.
5
Let a be 0 + 64/20 + (-1)/5. Solve 0 = -t - a for t.
-3
Let z be (-3)/((30/(-8))/5). Let d be 7 - 9/((-45)/(-20)). Suppose -4*q + d*q = -z. Solve q*u + 0*u = 4 for u.
1
Suppose 3*t = -v - 4*v + 10, -4*v + 35 = -3*t. Suppose v*d - 3 - 7 = 0. Solve -d*g - 3*g = 0 for g.
0
Suppose 0 = r + 3*x - 12, -2*r + 24 = 5*x. Suppose -4 = -4*k + r. Solve 0 = -3*n + k*n + 2 for n.
-2
Let d be (-5)/2 + 1/2. Let f be -1 + 1 + 7 + d. Solve f*a + 8 = 23 for a.
3
Suppose -2*n = 2*n - 40. Let q(o) = o**3 + 3*o**2 - 4*o + 3. Let a be q(-4). Solve 0 = l - a*l + n for l.
5
Suppose -4*m + 7*m - 12 = 0. Suppose 2*o - 10 = -m*c, 3*c - 6*c = -5*o - 40. Let b = c - 3. Solve -b*x = x for x.
0
Let j(s) = -s**2 + 9*s - 8. Let i = -8 - -11. Suppose -i*h + 11 = -13. Let o be j(h). Solve o = m + m + 8 for m.
-4
Let c be 2/(-7) + 80/35. Solve c*t - 2 = t for t.
2
Let d(u) = u**3 - 9*u**2 + u - 9. Let p be d(9). Solve 5*t = -10 - p for t.
-2
Let k = -70 + 70. Solve k*b = 2*b - 6 for b.
3
Let l = -4 - -6. Suppose 0 = -3*t - 3*z + 20 + 10, -5*z = l*t - 35. Suppose -t*p + 10*p = 0. Solve 2*y = -p*y - 2 for y.
-1
Suppose -3*v = -5*s + 1 - 4, 2*v - 2*s = 6. Suppose -7 = -2*q + h, 0*h + 4*h + 4 = 2*q. Suppose q*c - c = 0. Solve c = -2*p + v for p.
3
Let u be ((-1)/(-1))/(4/100). Solve 4*f = 5 - u for f.
-5
Let l = 3 - 3. Suppose -2*f + 2 = -l*f. Solve 0 - f = -x for x.
1
Let l be (0 + 0)*(0/1 + -1). Solve 3*m - 12 + l = 0 for m.
4
Suppose 0 = -5*n, -w - 2*n - 3*n = 0. Let t = 7 - 3. Solve w = t*j - 0*j - 12 for j.
3
Let g be (-11)/(-33)*15*1. Solve g*b - 4*b - 4 = 0 for b.
4
Let l = -19 - -27. Let t = 32 - 56. Let r be 16/3 + l/t. Solve -r = 2*d - 1 for d.
-2
Suppose 2 - 10 = 4*s. Let x be s*(-4 - (-2 - -2)). Solve m + x = 5*m for m.
2
Let g = 7 - 6. Solve -3*c - 13 = -g for c.
-4
Let f = -2 - -4. Suppose -f*v + 8 + 2 = 0. Solve -3*m + v = -2*m for m.
5
Let j be (-12)/(-7) + ((-24)/(-21))/4. Solve 0 = f + j*f - 12 for f.
4
Let s(q) = -q**3 - 6*q**2 + q + 7. Let a be s(-6). Let o(p) = 5*p. Let n be o(a). Solve n*f = 3*f - 10 for f.
-5
Let d be (-3)/(-12) - (3/12 - 0). Solve 5*v + 10 = -d*v for v.
-2
Let j(u) = 7*u + 5 - 1 - 7*u**2 + 6*u**2. Let h be j(7). Suppose 0 = -5*d - 3*g + 31, -15 - 5 = -h*d - 4*g. Solve -4*k = -2*k - d for k.
4
Let b = -2 - -7. Suppose 3*w = b*w - 48. Let r = -15 + w. Solve -1 = -5*v + r for v.
2
Let v be (-22)/(-6) - (-8)/(-12). Let k be v/(-6)*-3*2. Solve 7*b = k*b for b.
0
Suppose -2*s = 2*s - 20. Suppose -h + b = -6*h + 6, s*h + 6 = -4*b. Suppose -p = p. Solve p = -x + h*x for x.
0
Let n(h) be the first derivative of h**4/4 - 4*h**3/3 + 3*h**2/2 - 1. Let w be n(3). Solve i + 0*i - 2 = w for i.
2
Let t = -2 + 4. Suppose 4*g + 4 = -0*r + t*r, -4*g = 0. Solve -r + 3 = -m for m.
-1
Suppose 9*g = 21 + 6. Solve 0 = 4*i + g + 1 for i.
-1
Let i = 5 + -8. Let v be -2*i/((-18)/(-3)). Let q be 3 - (0 - v - -1). Solve -n = q*n + 16 for n.
-4
Suppose 10 = -3*o + 55. Solve o = -d + 4*d for d.
5
Suppose 2*b - 6*b = -w - 15, -18 = -5*b + w. Suppose -1 = -s - b. Let a be (-2)/(-4)*s*0. Solve 3*p + 9 + 6 = a for p.
-5
Suppose 4*d = d - j - 17, -2*j = d + 14. Let h = d - -4. Solve h = m + 2 + 2 for m.
-4
Let f be 1*7 + 14/(42/(-9)). Solve 0 = -f*a + 5*a - 4 for a.
4
Let k(c) = -2*c - 9. Let x be k(-7). Suppose 0*o = x*o - 5. Solve i + 0*i = -o for i.
-1
Suppose -w - 3*f + 12 = 0, 4*f = -5*w - 0*f + 27. Solve -2*a - 5 = w for a.
-4
Let g(x) = -x**3 + 15*x**2 - 2*x + 34. Let v be g(15). Solve 0*i = 4*i + v for i.
-1
Suppose -40*g + 32*g = 0. Solve -3*w + 2 + 7 = g for w.
3
Suppose 0*n = -n - 11. Let q(k) = -k**3 - 10*k**2 + 10*k - 10. Let c be q(n). Solve