f for i.
4
Let v(p) = 4*p - 16. Let o be v(4). Suppose o = -5*g - 2*g. Solve g = 5*y - 4*y - 4 for y.
4
Suppose 15 = 3*r + 2*r. Let z be (-2 + r - 1)/(-1). Suppose z = -h + 2. Solve -b = -0*b + h for b.
-2
Suppose 5*p - 32 = -3*p. Suppose -h - p = -5. Solve 0 = -t - 0*t + h for t.
1
Let u = 212 + -434. Let c be u/(-42) + (-2)/7. Let z be (5/4)/((-1)/(-16)). Solve -z = -c*o + o for o.
5
Let o(l) = -2*l + 14. Let w be o(6). Solve w*y - 29 + 31 = 0 for y.
-1
Suppose -r = 4*g - 9*g + 1, -2*g - r = 1. Solve 24 = 6*k - g*k for k.
4
Suppose 36 = 2*h + 3*a, 0*h + 4*h - 3*a = 108. Let q be (-62)/(-14) - h/56. Suppose q*u - 6 = -f + 2*u, f - u = -3. Solve f*w - 3 = 3*w for w.
-1
Suppose 0 = -3*d + 2*i - 16, i - 6*i + 29 = -2*d. Let u be 1 - 1*(-4 - d). Let y be 1/5 + u/(-15). Solve y*r = -r for r.
0
Let r(v) be the third derivative of v**4/12 - 17*v**3/6 + 27*v**2. Let z be r(10). Solve z*s = -s for s.
0
Suppose -3*r + 15 = r - 3*z, 0 = -4*r + 2*z + 18. Solve r = -16*g + 13*g for g.
-2
Let g(k) = -k + 9. Let d be g(6). Suppose -7*t = -3*t - d*u, 4*u = -4*t. Solve 5 = -w - t for w.
-5
Suppose -3*r - 3 = 2*s - 18, -4*r = -4*s - 20. Solve s*m + m = 5 for m.
5
Let x(f) be the second derivative of f**3/6 + 23*f**2/2 - 32*f. Let b be x(-18). Solve -b*u = -19 - 6 for u.
5
Let p(h) = h**3 - 3*h**2 - 2*h - 9. Let z be p(4). Let l(a) = -3*a**2 - 3*a - 1. Let i be l(z). Let r be i - 0 - (-12)/2. Solve r*c - 2 = -17 for c.
-3
Suppose 0 = -2*k + v, -2*v = -k - 4*k. Let p = -1 - -2. Let n(u) = 11*u**3 + u**2. Let w be n(p). Solve k = -4*r - 0 - w for r.
-3
Let d(f) = f**3 - 18*f**2 - 25*f + 120. Let q be d(19). Solve -b + q*b = b for b.
0
Suppose -4 + 8 = b. Solve -s - s = -b for s.
2
Suppose -7*q - 10 = -276. Let k be q/10 - (-36)/(-45). Solve -2*w - k = w for w.
-1
Let j = -1610 - -1785. Solve -27*t = 8*t - j for t.
5
Let a(m) = -6*m**3 - 40*m**2 + 54*m - 29. Let h(s) = -s**3 - 8*s**2 + 11*s - 6. Let z(g) = 2*a(g) - 11*h(g). Let r be z(6). Solve 3 = -r*l - 1 for l.
-2
Let q = 10 - 8. Suppose -q*o = -0*o, -2*o + 2 = n. Solve -n*v = -6*v for v.
0
Let c(p) = -4*p**2 + 4*p + 1. Let k be c(2). Let t(i) = -i**2 - 7*i + 16. Let o be t(k). Solve j = 5*j + o for j.
-4
Suppose -5*c + g = -11 - 162, -2*g - 6 = 0. Let r = 38 - c. Solve s + r - 1 = 0 for s.
-3
Suppose -11*g = -820 + 798. Solve -g*i + 5 = -3*i for i.
-5
Let r = 9 + -2. Let b be -4 + -2 + r - (-2 + 2). Solve -1 = l + b for l.
-2
Suppose -4*p + 5 = -3. Solve 8 = -2*t - p for t.
-5
Suppose -16*q + 74 - 42 = 0. Solve -2*m - 4 = q for m.
-3
Suppose -17*w = -7*w - 40. Suppose w*j - 2*n - 22 = 0, -1 = -4*j - 5*n - 0. Solve 1 = j*f + 9 for f.
-2
Suppose -7 = 5*n - 22. Let j(q) = 3*q + 0*q**3 - 1 - 8*q**2 - 2*q**3 + 3*q**n - 2*q. Let z be j(8). Solve 3*i - z*i - 16 = 0 for i.
-4
Let s(f) = 4*f - 52. Let o be s(13). Solve 3*y + o*y = -12 for y.
-4
Suppose -6 = -5*w - 2*y, 0 = -w - y - 0*y. Solve -2*z = 12 - w for z.
-5
Suppose -15*j - 75 = -20*j. Solve 2*r - 5*r = -j for r.
5
Let t be ((12/(-20))/(-1))/(2/10). Suppose 3*g = t*q + 2*q - 51, q - 27 = -5*g. Solve -2*h - q = -5*h for h.
4
Suppose -4*t + 0*t = 0. Suppose t*x - 3*x + 6 = 0. Let n(w) = 4*w**2 + w. Let a be n(1). Solve a = -x*j - 3 for j.
-4
Suppose 7*d - 2 = 6*d. Suppose d*h - 2*o - 39 = -h, 2*h - 4*o = 26. Solve 0 = -5*q + h - 3 for q.
2
Suppose 2*x + 2*v - 10 = 0, 0 = -6*v + 11*v + 20. Solve -x*p = -19*p + 10 for p.
1
Let u = -9 - -9. Suppose -2*m = -3*g - 5, -5*g + 1 + u = -m. Let d be (-5)/(20/(-16)) + -2. Solve m*j + d + 2 = 0 for j.
-1
Let w(o) = -o**3 - 3*o**2 - 4*o - 2. Let p be w(-3). Let t = -20 - -30. Let q = t + -4. Solve p + q = 4*h for h.
4
Suppose -4*q = 5*s + 12, 0 = 3*q - 78 + 87. Solve s = 9*t + 6 + 12 for t.
-2
Let g = 10 + -7. Suppose 1 = 2*k - l, -2*k + 13 + 0 = g*l. Suppose -r = -k - 3. Solve -r*p = -6 - 19 for p.
5
Let f(b) = -9*b + 9. Let a be f(-6). Suppose 0 = -a*l + 65*l - 8. Solve -l = -5*v + 11 for v.
3
Let c(l) = l**2 - 16*l + 64. Let j be c(12). Solve -5*u + 4 = -j for u.
4
Let c(d) = 2*d - 6. Let q be c(6). Let p = -7 - -9. Solve p*y - 8 = q*y for y.
-2
Suppose 22*l = 31*l. Solve l = 7*b + b for b.
0
Suppose 9*u = 151 - 52. Solve -3*z - 1 = u for z.
-4
Let n(k) = k**2 - 1. Let x be n(1). Solve -s - s - 3*s = x for s.
0
Let l = 94 + -79. Solve 18*a - 15*a - l = 0 for a.
5
Suppose -3*k = 11 + 1. Let a be k/26 - (-84)/39. Let m be (0 + 0)*(-1)/2. Solve b + m = a for b.
2
Suppose 0 = -4*c + 2*w + 8, 0 = 3*c - w - 2*w - 6. Let o be c - (-1 + (2 - 6)). Let f be (3 - -9) + (-6)/(-6). Solve o = -4*v - f for v.
-5
Suppose 3*l = h + 11 + 7, 5*l = -2*h + 19. Solve -9 = -2*y - l for y.
2
Let c be ((-19)/4*4)/(-1). Solve 0 = 3*y - 7 + c for y.
-4
Let s be (12/(-6))/1 + 6. Solve -30 + 10 = -s*z for z.
5
Suppose 0 = -2*v - 6*k + k - 4, 3*k = -v - 3. Solve 0 = -2*p - v*p + 20 for p.
4
Suppose -246 + 237 = -3*f. Solve 0 = -i + f*i + 6 for i.
-3
Let h(z) = -z**2 - z + 6*z - 5*z. Let x be h(0). Suppose 3*p - 9 = 8*p + 3*m, 4*p - 5*m - 15 = x. Solve -10 + p = -5*n for n.
2
Suppose -1 + 21 = 3*j + 2*w, 5*j - w = 29. Suppose 0 = 2*c - j - 6. Suppose -c*m + 10 = -4*m. Solve -3 = -m*r - 23 for r.
-4
Let a(y) = 3*y + 32. Let j be ((-5)/(45/(-12)))/(4/(-30)). Let c be a(j). Solve -c*d + 6 = d for d.
2
Let c be (2/(-6))/((-12)/(-72)). Let l be c + (-2)/(6/(-15)). Let o = l - -2. Solve -o*m + 3*m = 0 for m.
0
Suppose 31*q - 46 = 8*q. Solve 3 = -q*a + 9 for a.
3
Let w(n) = 26*n**2 - 6*n**2 + 15 - 4*n**2 + n**3 + n. Let x be w(-16). Let d be (0 - -4) + -3 + x. Solve 5*i = -d*i for i.
0
Let z = 34 - 31. Solve z = -w + 2 for w.
-1
Let z(t) = 2*t**3 - 121*t**2 - 59*t - 122. Let j be z(61). Solve j = 17*k - 7 - 10 for k.
1
Suppose 0 = 3*u - 6*u - 5*m + 5, -2*u + 3*m - 3 = 0. Suppose u = -7*j + 8 + 6. Solve -j*s = -5*s - 3 for s.
-1
Suppose 5*l + 20 - 45 = 0. Let n(v) = v + 4. Let z be n(0). Solve z*k - l = 3*k for k.
5
Let c(a) = 0*a**2 + a + 3*a**2 + 8 - 4*a**2 - 6*a. Let s be c(-6). Suppose -s*l = -l - 6. Solve l*q = q + 20 for q.
4
Suppose -2*s + 2 = c, -3*s = -3*c - 2*s - 1. Suppose -3 = -c*w + w. Let q be 2/((9/(-6))/w). Solve y = q*y for y.
0
Let h(s) = 56*s**2 + 4*s + 3. Let i be h(-1). Let n = i + -41. Solve -10*o = -n*o + 16 for o.
4
Suppose -2 = -3*q + k, -5*q + 5*k = -10*q - 30. Let j be (-6)/q*(-8)/(-12). Solve -j*r + 8 = -0 for r.
2
Suppose 4*d = -l - 1, -2*d - 2*l = -6*d + 2. Let w(q) = -5*q + 1. Let p be w(1). Let a be (-3)/6*(0 + p). Solve a*r - r - 2 = d for r.
2
Suppose u + 4*u - 20 = 0, -5*o - 4*u = -16. Solve -2*q + 8*q - 18 = o for q.
3
Let q(w) = -w**3 + 6*w**2 - 3*w + 7. Let d be q(3). Let z be -1 - d/(-35) - 6/(-21). Solve z = -3*c - 0*c for c.
0
Suppose f - 16*n = -21*n - 5, 2*n + 2 = -2*f. Solve 0 = -f*x + 3*x - 12 for x.
4
Let t be (-12)/5*60/9. Let g = t + 16. Suppose 0 = 2*d - 11 + 1. Solve -d*c - 11 - 4 = g for c.
-3
Let b be (-1 - 2)*-7*1. Solve -18*s = -b*s for s.
0
Let s be 8/56 + ((-20)/7)/(-1). Suppose p - 8 = -3*t, 2*t + s + 3 = 5*p. Let w(x) = x**2 + 6*x - 7. Let q be w(-7). Solve p*c + 0*c + 2 = q for c.
-1
Let a(d) = 7*d - 2. Let n be a(-2). Let o = -4 - n. Let p = o + -9. Solve 0 = -c - p*c - 8 for c.
-2
Suppose 0 = -4*q - 3*u + 195, -174 - 93 = -5*q + 4*u. Solve -q*l = -48*l - 15 for l.
5
Suppose 0 = 2*r + 2*h - 22, 4*r + 5*h = 42 + 6. Let k(j) = j**2 + 57*j + 815. Let o be k(-30). Solve -3*d - o - r = 0 for d.
-4
Suppose -119 = -4*f - 103. Solve 10*a - 6 = f*a for a.
1
Let g be (4/(-8))/((-3)/24). Suppose 0 = -3*x - 3*k + 9, 4*x + 2*k = g*k - 18. Let q be (7/(-21))/(x/12). Solve q = -y - 0 for y.
-2
Suppose 0 = 2*f - 11 + 9, 0 = -5*t + 5*f + 10. Solve -t = 19*y - 16*y for y.
-1
Suppose 2*h - 83 = 29. Let y = -44 + h. Solve 0*k + y = 3*k for k.
4
Let d = -22 - -24. Suppose -d*l - 12 = -2*v, -2*v + 7*v = l + 42. Suppose v*h - 4*h = 15. Solve o + h = 1 for o.
-2
Let l = -24 + 26. Suppose l*f = i - 1 + 11, -f - 9 = 3*i. Solve f + 1 = o for o.
4
Let d(w) = w**2 - 4*w + 7. Let t be d(3). Let z be 26/5 + t/5. Solve z*l = 10*l + 4 for l.
-1
Let q(y) = 7*y**2 - 23*y + 31. Let l(a) = 3*a**2 - 11*a + 15. Let v(p) = -5*l(p) + 2*q(p). Let t be v(6). Solve 21 = t*z + 1 for z.
4
Let d = -15 - -11. Let z be 1 + 2 + (1 - d). Suppose 5*m + 6 = 2*h - 12, -22 = -5*h + m. Solve h*v + 12 = -z for v.
-5
Let j be (-42)/(-28) + 17/(-2). Let c