v*c + f for c.
-5
Let n be 4*7*12/48. Solve -n = 9*s - 7 for s.
0
Let n(s) = s**3 - 8*s**2 + 9*s - 13. Let t be n(7). Suppose 0 = -2*m + 4*k + 3 + t, k = 2. Solve 5*i - 2*i - m = 0 for i.
2
Let a(p) = -8*p + 6*p**2 + 14 - 2*p**2 - 3*p**2. Let v be a(8). Let x be 5/2 - 7/v. Solve f + x*f = 12 for f.
4
Let f(w) = 6*w - 4. Let d be f(6). Let g = 37 - d. Solve -1 = 4*h - g for h.
1
Let z = -286 + 289. Solve z*a - 22 = 14*a for a.
-2
Let v = 1350 + -1330. Let f(b) = -b**3 + 11*b**2 - 10*b + 2. Let l be f(10). Solve v = l*w + 2*w for w.
5
Let k = -17 + 14. Let o be k*(-88)/12 - 0. Let v = o - 7. Solve 0*c - 3*c = v for c.
-5
Suppose 0 = -24*n + 35*n - 88. Solve -7*c + n = c for c.
1
Let g(h) = h**3 - 4*h**2 - 7*h + 7. Let d be g(4). Let o = d + 26. Solve 0 = l - o for l.
5
Let q(a) = -a**2 + 10*a + 28. Let i be q(-2). Solve 16*k = 15*k + i for k.
4
Suppose -1 + 2 = -s. Let l be 0 - 0/(3 + 4/s). Solve -2*x + 0*x + 10 = l for x.
5
Let c(t) = -t**2 - 11*t - 6. Let j be c(-10). Suppose j*s = s. Let x = 119 - 116. Solve -x*f + 14 - 5 = s for f.
3
Let f(o) = o**3 + 6*o**2 - 8*o - 4. Let w be f(-8). Let b = w - -70. Solve 4*l - b*l - 2 = 0 for l.
1
Let g(z) = -z - 180 + 180. Let d be g(-3). Solve d*i + 15 = 3 for i.
-4
Suppose -4*h = 4*t, 5*t + 4 = -2*h - h. Solve h = 5*v - 3*v for v.
1
Let s(v) = 4*v**2 - 5*v + 5. Let x be s(1). Solve 9 + 7 = -x*m for m.
-4
Suppose 2*z + o = 9, 3*o = -4*z - o + 28. Suppose -z*s = s. Suppose -3*t + 10 - 4 = s. Solve -6 = -2*v - t for v.
2
Let c = 4 - 8. Let h = -171 - -135. Let q be (-19)/c + (-9)/h. Solve 5 + 20 = q*p for p.
5
Let q = 154 - 151. Solve q*f - f + 8 = 0 for f.
-4
Let o = 41 + -24. Let f = o - 15. Solve 5*v = f + 3 for v.
1
Suppose -4*q - 8*q = -3*q. Let z be 222/4 - 2/4. Suppose -5*l + z = -q*l. Solve l = 4*j - 9 for j.
5
Suppose -1738 = 2*p - 1742. Solve 21 = -p*l + 15 for l.
-3
Suppose -g + 5*a + 18 = -35, 0 = g + 4*a - 17. Solve 13*j - 7 = -g for j.
-2
Suppose -21*d = -31*d. Solve -7*g + 42 - 14 = d for g.
4
Suppose -3*j = 4*j. Suppose -18 = -34*r + 25*r. Solve a + a + r = j for a.
-1
Suppose -4*d - 4*z - 3 = -47, 4*d - 5*z - 26 = 0. Solve d*x = 26 + 10 for x.
4
Let x be ((-4)/(-8))/(3/216). Let m = x - 12. Let t = m - 21. Solve -y + 0 = t for y.
-3
Suppose 6*l = -4*l + 40. Solve f = -l*f + 5 for f.
1
Let b(l) = l**2 - 15*l - 144. Let j be b(22). Solve -7*t = -22*t + j*t for t.
0
Suppose -3*q + 24 = q. Suppose -o = -u + 4*o + 12, 0 = -5*o - 15. Let z be -2 - u*8/q. Solve z*k = 7*k - 10 for k.
2
Let i be (1/(-2))/((-36)/216). Solve 0*a = i*a for a.
0
Let x be ((-3)/27)/((-12)/324). Solve x*i + 3 = 12 for i.
3
Let d = -219 - -227. Solve -d*s - s = -9 for s.
1
Let q = 19 + -10. Suppose 6*f = 3*f + q. Solve -f = 3*u - 18 for u.
5
Suppose -2*t = -8*t + 30. Suppose 5 + 1 = h + 3*y, h + t*y = 8. Solve h*i = -0*i for i.
0
Let s be 0 - -5 - (-1 - 4)/5. Solve -s = -3*a - 3 for a.
1
Suppose -4*l - 2*d = -l - 11, -5*d = -2*l + 39. Solve -4*b + 5 = -l for b.
3
Let v be (-3)/(-4) - (-171)/12. Let k = 17 + -10. Let q(w) = w**2 + 2. Let c be q(0). Solve -k = c*o - v for o.
4
Let n(s) be the third derivative of s**5/30 + 2*s**3/3 - 4*s**2. Let c be n(-4). Let k = -30 + c. Solve k*d = 4*d + 6 for d.
3
Suppose 0 = 12*s - 15*s + 6. Suppose -c = -2*c + s. Suppose -4*b + 36 = c*b. Solve -3*k = -b + 3 for k.
1
Let j = 197 + -197. Solve j = -6*y + 4*y + 10 for y.
5
Suppose -4*g - 4*v + v = 17, -2*g + 3*v - 13 = 0. Let d = -3 - g. Let m = 2 - d. Solve m = 4*i - 4 + 16 for i.
-3
Let s(q) = 6*q**2 - 2*q + 1. Suppose 14*x - 13*x = 1. Let d be s(x). Solve y - d*y + 20 = 0 for y.
5
Let q(z) = -z**3 + z**2 + z - 43. Let p be q(0). Let h = p - -49. Solve -t + 15 = -h*t for t.
-3
Let b(a) = a**2 - 9*a + 14. Let t be b(7). Suppose -10*i - 10 + 50 = t. Solve -2*o = -i*o for o.
0
Let b be (-4 + -26*(-1)/6)*15. Solve -14*h - b = -47 for h.
3
Suppose 3*c - 25 + 1 = 0. Solve -3*o + c*o + 5 = 0 for o.
-1
Let n(d) = d**2 + 5*d - 1. Let m be -8 + (-1 - -3 - 0). Let v be n(m). Let t(b) = 10*b - 5. Let g be t(4). Solve -10 + g = -v*y for y.
-5
Suppose -37 + 15 = -2*k. Solve 0 = 14*h - k*h - 3 for h.
1
Suppose 68*w = -13*w + 810. Solve w*m + 34 = 14 for m.
-2
Suppose -23 + 2 = -3*f. Let i = f + -10. Let n = 3 + i. Solve n + 8 = 4*j for j.
2
Suppose 3*x + 2*x + 6 = 2*g, 0 = -4*g + x + 12. Suppose -310 = -5*n - 5*w, -3*n + 2*w - 55 = -251. Let c be 3/(-21) + n/7. Solve c = g*v - 0 for v.
3
Suppose 5*q + g - 57 = 0, -q + 31 - 12 = 4*g. Solve -3*s = -q*s + 8 for s.
1
Let l = -292 - -299. Solve 0 = -l*b - 3*b - 40 for b.
-4
Let w = 3 + -2. Let l be ((-12)/24)/((-2)/(-388)). Let r = l - -99. Solve -i + w = -r for i.
3
Let m = 520 - 512. Solve v + 5 = m for v.
3
Suppose -g + 3*g + 4 = 0. Let r be 34/10 + g/5. Solve -r*s + 0*s = 12 for s.
-4
Let g(k) = k**2 + 14*k - 11. Let h be ((-45)/(-36))/((-3)/36). Let f be g(h). Solve -f*b = -7*b for b.
0
Let z(q) = 5*q - 58. Let s be z(12). Suppose -5*h = -h - s*i - 18, -3*h + i = -11. Solve -4 = 2*b - h for b.
-1
Suppose 2*l - 102 = -4*z, 23*z = 21*z + l + 49. Solve 14*t - 19*t = z for t.
-5
Let p(w) = 6*w + 6. Let n be p(-4). Let u be (-4)/1 - n/3. Solve -u*r = -3 - 1 for r.
2
Let a be 51/(-2)*7*(-20)/210. Suppose -2*y = y + m - 52, -m = -y + 16. Let h = y - a. Solve h = -10*w + 5*w - 5 for w.
-1
Let n(r) be the first derivative of 4*r**3/3 + r**2/2 - 4. Let t be n(1). Suppose 2*q - 7*q = 5*s + 20, 3*s - 20 = t*q. Solve s = -c + 2*c + 1 for c.
-1
Let k be 0 + -4 + (-1 - -1). Let t(c) = -c - 4. Let g be t(k). Solve o - 2 + 3 = g for o.
-1
Suppose 0 = -5*w + l + 21, -3*l + 4 = -7*l. Solve 18*k - w = 17*k for k.
4
Let d be (-1 - 0)/(1/(-5)). Suppose 0 = 5*s + 21 - 26. Let p be (-36)/(-5) - s/d. Solve 0 = -3*i + 5 + p for i.
4
Suppose -2*p + 5*q = -27, -2*p + 9 = 3*q - 2*q. Let x be (1 - (2 - p))*1. Solve 4*j - x = 3 for j.
2
Let k = 42 - 54. Let z(y) = -y**3 - 11*y**2 + 13*y + 16. Let f be z(k). Solve -f*u = 3 + 5 for u.
-2
Let v(s) = -2*s**3 + 9*s**2 - 4*s + 4. Suppose 2*c = -3*h + 1 + 7, 12 = 3*c - h. Let a be v(c). Solve m - a = -3*m for m.
1
Suppose 0 = -2*y + 4*d + 28, 5*d = 3*y + 8*d - 6. Solve 3*p + y = 18 for p.
4
Suppose -3*d = 4*h + h, -5*h - 15 = 0. Suppose 0 = d*l - l. Suppose 0 = -l*r + r. Solve -g + 2 = -r*g for g.
2
Suppose z - 3 = -2*b + 3, 0 = -3*b + 3*z + 27. Solve b = 2*j - 1 for j.
3
Let f(p) = 3*p - 1. Suppose -5*q + 10*q = 10. Let h be f(q). Let c be (-5)/30 - (-13)/6. Solve -c*a = -3*a + h for a.
5
Let g be (-2)/(-20)*-4*(-12 + -3). Solve g*l - 9*l - 9 = 0 for l.
-3
Let m be 1*2/(-2) + -23. Let g be m/(-14) + (-10)/(-35). Solve -g*b - 3 = b for b.
-1
Let z(o) be the first derivative of -o**2/2 - 5*o - 30. Let l be (-21)/2 + 2/4. Let j be z(l). Solve -2*f = -j*f + 3 for f.
1
Let b(z) be the second derivative of z**3/2 + 33*z**2/2 + 18*z. Let p be b(-10). Solve -p*y + 6 = -y for y.
3
Let n(t) = -61*t + 1. Let r be n(-2). Let f = -121 + r. Solve 0 = -2*h - 0 - f for h.
-1
Suppose -h = -3*k + 1, -4*h - 253 = 3*k - 279. Let r(y) = 2*y. Let i be r(1). Solve k*p - 8 = i for p.
5
Let o be (7/(-2))/((-4)/8). Let l = -8 + o. Let x be (0 + -2)*(-3 - l). Solve q = 2*q + x for q.
-4
Let m be 6/((13/78)/((-2)/(-18))). Suppose -2*d - 5 = -3*d. Solve -m*g = g + d for g.
-1
Let z be 27 + (-3 - 6) + 6. Solve 6*g + 0*g - z = 0 for g.
4
Let g(r) = -r**2 - 8*r + 12. Let s be g(-8). Solve -21*n + s = -17*n for n.
3
Let v be (-42)/(-5) + 4/(-10). Let c be (16 + -16)/(0 - -4). Solve -2*s - v = -c*s for s.
-4
Let c be ((-5)/3 - -2)*18. Let q be ((-28)/42)/((-2)/c). Solve -2*t = q*t - 8 for t.
2
Let a = -108 + 110. Solve a - 12 = 2*r for r.
-5
Let d(n) = -n**2 + 8. Let k be d(-2). Solve -k = 56*w - 57*w for w.
4
Suppose -3*t + 6 = -x, 6 = 3*t + 4*x - 15. Suppose 2*i = -t*i - 25. Let a(l) = l**2 + 5*l + 4. Let v be a(i). Solve v*s = s for s.
0
Suppose 0 = -49*f - 21*f + 210. Suppose -2*x = -5 - 3, -5*d + 3*x - 2 = 0. Suppose d*g + g = 3. Solve 2*k - f = -g for k.
1
Suppose 5*t - 5 = 10. Suppose l - b + t*b + 2 = 0, l = -3*b - 5. Solve -l*d = -0*d for d.
0
Let j(w) = -5*w + 4. Let c be j(0). Solve c*g = 3 - 15 for g.
-3
Suppose 2*u + 8*u = 30. Let x = 2 + 11. Solve -1 = -u*a - x for a.
-4
Let i(o) = o**2 - o - 2. Let g be i(-2). Suppose g*b - 13 = 7. Suppose 11*j - 8*j = 0. Solve 0 = -b*z - j*z for z.
0
Suppose -2*p +