 2*f + l for f.
5
Suppose 43*c - 382 = 306. Solve 0 = 13*v - c*v + 9 for v.
3
Let g be (-2)/(-2) - 12/(-3). Suppose 12*y - 7 = g*y. Solve -c = -y - 1 for c.
2
Let f(s) be the third derivative of -s**4/24 - s**3 - 15*s**2. Let r be f(-8). Solve 16 = r*a + 2*a for a.
4
Suppose -136 = -4*y + h, -5*y - 5*h = -0*y - 170. Solve 9 = -5*c + y for c.
5
Suppose -21*j = -16*j. Let d(f) = -f**3 + 3*f**2 + 5*f + 1. Suppose -22 = -3*g - 2*x, 0*g + x = 4*g - 11. Let b be d(g). Solve b*i - 20 = -j*i for i.
4
Suppose -4*z - 2 = 3*k - 8*k, -k = -z. Suppose 186 = -5*c - x, z*c + 54 = c + 4*x. Let v be c/(-8) - 7/(-28). Solve 0 = -v*w - 29 + 4 for w.
-5
Let c(y) = -y**2 - 9*y - 18. Let d be c(-5). Suppose -3*i + d = -4. Solve -3*z + i + 7 = 0 for z.
3
Suppose -4*y = y - 275. Let q = y - 50. Solve -4 + q = -u for u.
-1
Suppose -4*h - 20 = -4. Let m be (h + -1)*(-8)/(-10). Let o(z) = z + 4. Let v be o(m). Solve 0 = -2*k - v*k + 10 for k.
5
Let t be (-6)/(-21) - 132/(-28). Suppose -3*n = -3*k + 57, -n + 4*k = -t*n - 84. Let o = -18 - n. Solve 0 = o*j + j for j.
0
Let v be 104/(-16)*(-8)/4. Solve 7 + v = 5*o for o.
4
Suppose -g - 5*m = -31, -3*m + 39 = g - 2*m. Suppose -12*s + 31 = -g. Solve p - s = -4 for p.
2
Let y be 8/(-10)*(-35)/21*3. Let h be ((8/(-1))/(-2))/1. Solve y - 24 = h*v for v.
-5
Suppose 0*r + 142 = -4*k + r, 4*r + 27 = -k. Let v be 335/k + (-6)/14. Let d = 14 + v. Solve -2 + d = -g for g.
-2
Let v be 22/(-4) - (-3)/2. Let c be (v - (-21)/6)*-6. Solve 4*t = 17 + c for t.
5
Let p = 263 - 261. Solve -5*l = p + 13 for l.
-3
Let u(f) = -f**2 - 2*f + 1. Let x be u(1). Let d = x - -8. Solve -3*b = d + 3 for b.
-3
Let y = 46 + -22. Suppose -7*j + y = l - 2*j, 3*l - j - 8 = 0. Solve 0 = l*r - 0*r - 20 for r.
5
Suppose -6*j = -8*j + 34. Suppose 3*c - j - 4 = 0. Suppose 23 - c = 4*r. Solve -3 - 1 = r*q for q.
-1
Let n = 464 + -461. Solve n*r + r = -8 for r.
-2
Suppose -3*m + 14 = 5. Let q be 6/((-3 - -1) + m). Solve z + q = 3 for z.
-3
Suppose 0 = -t - 4*t - 4*o - 4, -2*t - 16 = -2*o. Let g be (769 + -3)*-1 + t. Let a be 2/(-9) - g/63. Solve -4*f = -f + a for f.
-4
Let m be (-32)/(-56)*(-105)/(-6). Solve m = 36*q - 38*q for q.
-5
Let x(l) = -l - 3. Let s be x(-7). Solve s*r + 30 = 19*r for r.
2
Let v(s) = -s**3 - 9*s**2 + 7*s + 127. Let n be v(-8). Solve -6*l - n + 19 = 0 for l.
2
Suppose 0 = -5*d + m - 72, 4*d + 0*m + 66 = -2*m. Let o be 1/2*(-5 - d). Suppose o*y = 2*x, 3*x = -3*y - 2*x. Solve y = -4*s - 3 + 11 for s.
2
Let g = -16 + 17. Let u be ((-1)/(2/2))/(g*-1). Solve 1 + u = -2*j for j.
-1
Let f(y) = -y - 1. Let o be f(1). Let v be (4/(-3))/(o/3). Suppose 5*d = 5*t + d - 8, 2*d = v*t - 4. Solve t = -x - x - 10 for x.
-5
Suppose -y - 4 = 2. Let b be 1/(3/y*-2). Let p(i) = i + 1. Let k be p(b). Solve u - 15 = -k*u for u.
5
Suppose 55*o = 67*o - 456. Solve 14*s - o = -10 for s.
2
Suppose -222 = 2*g - b, 5*g + 0*b = 4*b - 561. Let x = g - -112. Solve x + 0 = -3*w for w.
-1
Suppose -4*t = 45 - 53. Solve t*v - 25 = -15 for v.
5
Let x = 2 - -2. Let f be (-10)/(-7) - (2 + (-77)/49). Solve 0 = x*d + f + 7 for d.
-2
Suppose -240 = 582*u - 590*u. Solve -21*k = -27*k + u for k.
5
Let p be 6*((-4)/16 + 13/4). Suppose 0 = 5*r + 5*z, 21 = -5*r + 5*z - 3*z. Let y = r + p. Solve -3*h - y = -0*h for h.
-5
Suppose 82 = 5*c + 72. Suppose c*r = 7*r. Solve 4 = -r*y - 2*y for y.
-2
Let g(h) = -6*h + 144. Let m be g(23). Solve m*z = -26 + 2 for z.
-4
Let z = 1 - -1. Suppose 2*v - z + 0 = 0. Let d(b) = b**3 - 16*b**2 + 12*b + 45. Let l be d(15). Solve l*x + v = x for x.
1
Suppose 2*v - 9 = 5*g + 11, 0 = -2*g - 4. Suppose 58 - 28 = v*a. Solve -u - a = u for u.
-3
Suppose -4*k - 3*h + 106 = 0, 3*k - 27 = 5*h + 67. Let c = k + -28. Let f be (-4)/(-6) - (-4)/(-6). Solve w + c*w = f for w.
0
Suppose 2*i + 166 = 196. Solve 0 = -i*d + 12*d for d.
0
Let x = 35 + -33. Suppose 7 = r + 5*w - 8, -5*r = -x*w + 6. Solve 0*t + t - 2 = r for t.
2
Suppose 4*o - r = 77, 0*r - 4*r = 2*o - 52. Solve 5*l = -o - 0 for l.
-4
Let u be (-2)/(-7) - (-420)/(-98). Let p be (-2)/u*(-2 + 8). Solve p*q = 7*q for q.
0
Suppose 0 = -12*b + 15*b - 18. Suppose -3*z + 6 = x, -3*x + 2*z + 2 = b. Solve x = -2*v - 7 - 1 for v.
-4
Suppose -9*y + 54 - 9 = 0. Suppose 2*a - 9 = 5*k + 5*a, 5*k = -a - 13. Let b be (3/2)/(k/(-6)). Solve -b*z - y = -4*z for z.
5
Let k(v) be the first derivative of -v**4/4 - 5*v**3/3 - 7*v**2/2 - 9*v + 5. Let l be k(-4). Solve l*x = -0*x - 3 for x.
-1
Let p(x) = 7*x + 19. Let u be p(-2). Solve 4 + 11 = u*w for w.
3
Suppose -4*w + 21 = -11. Let n = 1 - -3. Let u = w - n. Solve -3 = -u*b - 7 for b.
-1
Suppose 9 + 21 = 5*s. Solve 0*p = -s*p for p.
0
Suppose 0 = -5*x - 2*g + 206, -8*x - 83 = -10*x - g. Let q = x - 38. Let y be (1/(-2))/(3/(-18)). Solve -y*a - 20 = q*a for a.
-4
Let u(i) = -12*i - 18. Let a be u(-6). Let w = a + -51. Solve 0*l = -l + w for l.
3
Let f(i) = i**2 - 3 + 10*i - 3 + 11 + 6. Let q be f(-9). Solve 4*o + q = -2 for o.
-1
Suppose -9*w = -12*w + 3*j + 39, 5*w - 3*j - 59 = 0. Solve 12 = -2*h + w for h.
-1
Suppose 0 = 5*a + 2*m - 61, 21 + 22 = 3*a - 2*m. Solve -4*x = 3 + a for x.
-4
Let u be 205/35 - ((-6)/(-7) + 0). Solve -4*f + 1 = -u*f for f.
-1
Suppose 289*k - 275*k = 28. Solve -k*j = 8 - 6 for j.
-1
Let j be ((-5)/(-3))/(8/96). Let g be (-5)/(-1) + (0 - -1). Solve 2*r + j = g*r for r.
5
Let b(z) = 3*z + 3*z - 5*z + 4. Let d be b(-4). Let t(l) = 9*l - 124. Let m be t(14). Solve -m*a + 4 = -d*a for a.
2
Let i(o) be the first derivative of 8*o + 1/2*o**2 + 3. Let r be i(0). Solve d - 4 = -r for d.
-4
Let n(r) = r**2 + 51*r + 23. Let t be n(-52). Solve 0 = -6*p + t - 51 for p.
4
Suppose 2*k - j = 13, k + 4 = -j + 6. Let v(f) = f - 3. Let q be v(7). Suppose 0*p + q = 2*p. Solve 3 = p*t - k for t.
4
Let p be 6 + 2 - 5/((-20)/8). Solve 5*o = 3*o + p for o.
5
Let r be 1/(3 - (-42)/(-15)). Suppose -4 = 3*p - r*p. Solve y = -p*y + 12 for y.
4
Let p = -1613 - -1619. Solve 7*m = 15 + p for m.
3
Let z(x) be the first derivative of x**3/3 - 5*x**2/2 - 4*x - 24. Let h be z(6). Solve y - h*y - 5 = 0 for y.
-5
Let z = -355 - -394. Solve d = z - 34 for d.
5
Suppose -6*k - 5*v = -2*k + 25, -5*v = 25. Suppose 0 = a - 5 - k. Let y = -2850 - -2850. Solve -a = -g - y*g for g.
5
Let z = 63 + -61. Let j = -19 - -22. Solve z*a = j + 3 for a.
3
Let p = 43 - 43. Let h = -1 + 4. Solve p = h*j - 0 + 15 for j.
-5
Suppose 0*a - 5*s = -a - 19, -s = -5*a + 1. Let w be 1/(-1 - -2) + a. Solve -w*n + n = 0 for n.
0
Suppose 31*m = 27*m + 224. Solve -9*n - 5*n - m = 0 for n.
-4
Let c be (-10)/20 + (-3)/2. Let f be (9/2)/((-3)/c). Solve 0 = -3*n + 2*n + f for n.
3
Let s be ((-46)/(-161))/(2/14). Suppose -4*f + 3*a = -f + 6, 0 = s*f - 3*a + 8. Solve -f*l - 2 = 6 for l.
-4
Let d = -5 + 8. Let y = 100 + -99. Suppose 3*n + 4 = 4*c, n - 5 = -3*n - 5*c. Solve n = d*q - 2*q - y for q.
1
Let v = 2 - 2. Suppose 0 = h - 2*h. Suppose h = j - 2*q + 2, -4*q + 4 = j + 3*j. Solve 2*d + v + 2 = j for d.
-1
Suppose 2*m + 1 - 13 = 2*o, -2*m = 8. Let v = o - -10. Let r = v + 3. Solve 7 - r = w for w.
4
Let u be (0 + 0 - 0)/1. Suppose -r = -u - 4. Suppose 4*c + 3*k - r*k + 5 = 0, 0 = 4*k - 20. Solve 1 = b - c for b.
1
Let a(l) = -l**2 + 3*l + 12. Suppose -4*f + 4*b = -32, 14 - 2 = -4*b. Let c be a(f). Solve i - c = 3 for i.
5
Suppose 4*v = -3*v - 560. Let z = v + 80. Solve a + 3*a + 20 = z for a.
-5
Suppose o = 3*j - 1, -4*j + 5 = 3*o - 5. Let l be (4 - 3)/o*6. Solve -l*y = -8*y + 10 for y.
2
Let l = 1098 - 1089. Solve 0 = -w - 10 + l for w.
-1
Let x = -162 + 162. Solve x = 14*k - 15*k + 2 for k.
2
Let a be (-10)/(-15)*(-15)/2. Let c(f) = -4*f - 9. Let v be c(a). Let s = -3 + v. Solve 7*m - 3*m = -s for m.
-2
Suppose 0 = -7*c + 120 - 1. Let j be c - 8 - (-10)/(-2). Let m(d) = 2*d - 2. Let w be m(3). Solve j = w*b - 0 for b.
1
Suppose -2*p + 2*l + 141 - 25 = 0, 5*p - 310 = -5*l. Suppose 4*t + 11*t = p. Solve 0 = -t*q + 15 + 1 for q.
4
Suppose 2*v + 10 = v. Let r = v - -13. Suppose y = r - 1. Solve 3*u - y - 4 = 0 for u.
2
Suppose 0*k - i + 15 = 2*k, 3*k = 3*i + 27. Solve k*h = h + 35 for h.
5
Let y = -25 - -17. Let z be (0 + 0)/(y/(-8)). Suppose 5*l - 3*d - 30 = 0, -3*d - 2*d - 25 = z. Solve v - 2 - l = 0 for v.
5
Suppose 4*y - 36 = -5*z + 2, -4*z + 3*y + 18 = 0. Let j = z + -1. Suppose 3*s - j*n - 47 = 0, 3*s - 43 = -0*s + 4*n