 - f = c for m.
-1
Let z(v) = v**2 - 3*v - 3. Let g be z(-3). Suppose -2*c = -9 - g. Solve 0 = 4*s + c - 4 for s.
-2
Suppose 0 = 4*d - 14 - 6. Solve 0 = u - d - 0 for u.
5
Let k(l) = -9*l**2 + 13*l - 3. Let f(q) = 5*q**2 - 7*q + 2. Let x(n) = -5*f(n) - 3*k(n). Let z be x(4). Solve 0 = j + 2*j - z for j.
5
Suppose -3*m - 1 = 5*i + 3, -3*i + 2 = 4*m. Suppose 3 = 3*h + 3*y, -m*y + 4*y + 4 = -h. Let g = h - 6. Solve -2*c + g = -2 for c.
1
Let p be (-1)/(-3 + 6/3). Let o be 1 - (-3 - (-1 - p)). Let t be 69/6 + o/(-4). Solve 5*k + t + 14 = 0 for k.
-5
Let h = 25 + -5. Solve 3*n = -n - h for n.
-5
Let m = -1 + 6. Suppose m*u - 63 = -4*a, 0*u - 30 = -u + 5*a. Solve -4*h - u = -h for h.
-5
Let l = -2 + 5. Suppose 22 + 14 = l*o. Solve 4*r - o = -0 for r.
3
Let z be 0/((-4 - -3)*2). Solve q + 1 + 2 = z for q.
-3
Let k be (-70)/(-21)*(-12)/(-5). Suppose -u + 2*u - 5*y = 24, 3*y = 2*u - 41. Suppose k*t = -a + 4*t + 7, -5*a + u = 4*t. Solve 1 = -4*z - a for z.
-1
Suppose j + d = -1 + 5, 2 = -2*j + 3*d. Let k be 2/8 - (-4)/(-16). Suppose 4*c - 16 = -k*c. Solve j*o + c = -2 for o.
-3
Let b(f) = -f**3 + 5*f**2 + 5*f + 2. Let j be b(4). Let v = j + -26. Solve 5*g - g + v = 0 for g.
-3
Suppose 2*m + 6 = 22. Suppose 2*h - h = m. Solve 3*r + h = 5*r for r.
4
Let s = 157 - 149. Solve 3 - s = -5*t for t.
1
Let f be (0/(-1))/(0 + 2). Suppose 4*x + 0 - 8 = f. Solve -x*o = -5*o - 6 for o.
-2
Suppose 0 = -5*h - 7 + 22. Solve -6 - h = -3*u for u.
3
Let x(o) = -o**3 - 5*o**2 - 2*o - 6. Suppose 0*t - 5 = t. Let s be x(t). Suppose -s*d = -20, 0 = -6*h + h - 4*d + 80. Solve b - h = -3*b for b.
3
Suppose 5*n - 8*n = -9. Solve -n*l = 2*l + 25 for l.
-5
Let m(b) = b**3 + b**2 - 2*b + 4. Let s be m(0). Solve -6 = s*o - 2 for o.
-1
Suppose -3*r = 3*r - 3*r. Suppose 0 = -c + 5*c. Suppose c = -9*v + 4*v + 10. Solve r = -f - v for f.
-2
Let c be 1 - -1 - (-2 - -1). Let q be ((-1)/3)/((-2)/6). Suppose 15*k - 10 = 10*k. Solve -c*a = q + k for a.
-1
Let l be (-12)/(-36) - (-10)/6. Solve 3 = u - l for u.
5
Let q = 22 - 15. Solve q = -4*n + 19 for n.
3
Let j be 2/4 - 450/(-20). Solve -5*o = -j + 3 for o.
4
Let p be 0 + 1 + 8/2. Let j = -5 + 4. Let i = 1 + j. Solve i = -3*x + 2*x + p for x.
5
Let g(u) = u**2 + 8*u + 15. Let d be g(-5). Suppose d + 3 = a. Solve -a*j - j = 12 for j.
-3
Let k be (-3)/(-2)*12/9. Let t = 3 + -2. Let y = t + 0. Solve -k - y = d for d.
-3
Suppose -d - 4*a = d + 10, 0 = 4*d + a - 15. Suppose 0 = t + 4*t - z - 17, 3*z + 18 = 4*t. Suppose 4*j = d*q, q = -q + t*j. Solve -g = -q*g - 5 for g.
5
Let s = -29 - -31. Solve 4*v - s*v = -4 for v.
-2
Let x(q) be the second derivative of -q**3/6 + 5*q**2 - 2*q. Let o be x(7). Solve o*i + 10 = i for i.
-5
Let d(x) = -x + 1. Let y be d(-4). Solve 0 + y = 5*l for l.
1
Let r = 1 + -1. Let x be (-6)/(-2) - r/2. Solve -x*d + 4*d - 3 = 0 for d.
3
Suppose 2*c = -4*n + 82, 2*c - 92 = -5*n + 10. Let p = 0 + n. Solve 4*o - p = -0*o for o.
5
Let d(i) = i**2 - 21*i + 5. Let k be d(21). Solve -10 = k*o - 10*o for o.
2
Let p be 2/12 - 1*(-203)/42. Solve -22 + 7 = p*n for n.
-3
Suppose -3*j + 2*r + 188 = -2*r, -5*r = 3*j - 197. Suppose -w + j = 3*w. Solve s = -3*s - w for s.
-4
Let t = -22 + 24. Solve 7*i - 10 = t*i for i.
2
Suppose 2*h - 32 = -j, 0 = -5*h - j - 18 + 98. Solve 3*b - h = -b for b.
4
Let u(q) = -q + 1. Let a be u(-3). Let n = 6 - a. Solve -n*m = -5*m + 6 for m.
2
Let h be 32/(-12) + (-4)/(-6). Let o be (12/1)/(-3)*h. Solve w = -w - o for w.
-4
Let z = 43 + -39. Solve z = -d - d for d.
-2
Let z(i) = i**2 + 10*i + 11. Let j be z(-9). Suppose 36 = j*a + a. Solve -2*o + a - 2 = 0 for o.
5
Let o(y) = -y**2 - 7*y - 4. Let x be o(-5). Solve x = 3*b - 9 for b.
5
Let n be 3/(-4)*(-72)/2. Let q = n + -15. Solve -5*z - 13 = q for z.
-5
Suppose 3*t + 112 = 10*t. Solve -2*o = -6*o - t for o.
-4
Let b = 65 + -57. Solve 3*a + b = a for a.
-4
Suppose -4*k = -0*k - 24. Let w = -7 + 10. Let j be (28/(-6))/((-1)/w). Solve 0 = 5*i - k - j for i.
4
Let d be (43 - (6 - 4))/1. Suppose -14 = -5*z + d. Solve 4*c - 9 = z for c.
5
Suppose -2*o = 3*o - 60. Suppose 36 = 5*h + d - 4*d, -3*d = -h + o. Solve -h = -5*z - 21 for z.
-3
Let m be (6/(-8))/((-45)/240). Solve 2*u = -2*u - m for u.
-1
Suppose -5*a - 2 = 3. Let v = a + 5. Solve g = -v*g - 20 for g.
-4
Let a be (2/(-8))/(1/2)*0. Solve s + a = -1 for s.
-1
Let a be (-2)/5 + 27/5. Suppose -a*w = -x + 25, x + x - 20 = 4*w. Suppose x = 5*h - 2 - 8. Solve -3*y = -h*y for y.
0
Let i be (-10)/(-25) + 54/15. Suppose -2*w + i*w = 0. Let x = 5 - 3. Solve w = -0*p - x*p for p.
0
Let l = 15 - 15. Solve -1 = -l*o - o for o.
1
Suppose -8 = 4*b, r = -0*r - b. Solve -6*v + r*v = 0 for v.
0
Let r be ((-5)/10)/((-2)/(-4)). Let k be (r*1)/((-12)/48). Solve -p = -k*p + 3 for p.
1
Let v = -73 + 73. Suppose -3*f - 2*p = -18, 23 = f - 2*p - 3*p. Solve v*x = 4*x - f for x.
2
Suppose 5*d - 5*a + 15 = 4*d, -3*d + a = 3. Solve 0 = 2*j - d*j + 8 for j.
-4
Let q(x) = -2*x + 34. Let r be q(17). Let h(l) = l**3 - 3*l**2 - l + 3. Let d be h(3). Solve d = -r*w - 2*w + 8 for w.
4
Suppose 0 = -4*g + 7*g. Solve g*t + 10 = 2*t for t.
5
Let m(c) be the third derivative of c**5/60 + c**4/2 - 3*c**3/2 - 3*c**2. Let z be m(-11). Let r be ((-10)/z)/((-1)/(-30)). Solve 3*y + 2*y + r = 0 for y.
-3
Suppose -3*c - a - 6 = a, 5*a + 15 = 5*c. Suppose -2*p + 2*f + 16 = -0*p, p + f - 16 = c. Solve p = 4*k - 0*k for k.
3
Let f(w) = 3*w**2 - 6*w + 14. Let t(j) = -2*j**2 + 6*j - 13. Let r(x) = -3*f(x) - 4*t(x). Let d be r(-7). Suppose d = v + 1. Solve -v*h - 3*h = 0 for h.
0
Let z(p) = -p - 7*p**2 - p - p - p**2 - p**3 - 5. Let r be 12/((-2)/((-8)/(-6))). Let g be z(r). Solve -3*y + 7 - g = 0 for y.
-4
Let d = -4 + -6. Let m = -5 - d. Let k be (-5)/(m/2) + 6. Solve 3 = -k*l - 13 for l.
-4
Let l(f) be the first derivative of -13*f**4/4 - 2*f**3/3 + f - 4. Let u be l(-1). Let h be 45/u - 2/(-8). Solve q = -q + h for q.
2
Suppose 4*k + 0 = 8. Suppose 4*l + 3*a - 16 = 0, -1 = k*l + l - a. Solve l = u + 6 for u.
-5
Let v = 45 - 25. Let z be -4 - -3*14/6. Suppose -1 = j - z. Solve v = -2*g - j*g for g.
-5
Suppose -2*j - 2 = 2*p, 0 = p - 2*j - 8 - 3. Let l(a) = -a**2 - 4*a - 4. Let x be l(-2). Solve 3*v = -x*v - p for v.
-1
Suppose -2*b = 4*p - 4, 16 + 4 = -5*b. Solve 6 = -f + p*f for f.
3
Let w be 1*(-2 + 0 + 4). Solve v - w - 2 = 0 for v.
4
Let b be (1/2)/(1/16). Suppose 6*i - b = 2*i. Solve -i*t - 10 = -0*t for t.
-5
Let d(y) = -2*y**3 + 3*y**2 - y. Let t be d(1). Solve t = -4*o - 0*o + 20 for o.
5
Let d be (-3 + -2 + 2)/(-1). Suppose -h + 2 = -k, -4*h + 12 - d = -3*k. Solve -h = x - 0*x for x.
-3
Let i be 8/(-52) - ((-106)/13 - -3). Solve 7*j = i*j + 4 for j.
2
Let o(j) = j**3 + j**2 + 25. Let v be o(0). Suppose -3 = -4*x + v. Let a = x - 5. Solve a*n + 9 + 1 = 0 for n.
-5
Suppose 26*r = 21*r + 20. Solve -3 = c - r*c for c.
1
Suppose 4*a - 20 = -4, 4*j - 2*a = -8. Suppose 2*k - k - 4 = j. Solve -k + 3 = o for o.
-1
Let g(m) = -m**3 - 5*m**2 + 8*m + 3. Let n be g(-6). Let j = 9 + n. Let l be 42/9 + (-4)/6. Solve s + l*s - 10 = j for s.
2
Let v = 44 - 39. Solve v*l = 6*l + 4 for l.
-4
Let o(c) = c**3 + 7*c**2 - 8*c + 4. Let x be o(-8). Suppose 2*n - x = -0. Solve n*z = -2*z for z.
0
Suppose 4*a - 4*h - 4 = 0, 6*a - 2*a - 2 = 5*h. Suppose j - 4*j + 6 = -a*x, -3*j = x - 6. Suppose -j*n + 15 = n. Solve 11 + 4 = -n*u for u.
-3
Let y be (-7)/(-2*(-3)/(-6)). Let s = -6 + y. Let z = s + 3. Solve v = z*v for v.
0
Let u(x) = -x**2 - 3*x - 2. Let o be u(-4). Let m(p) = -2*p**2 - p + 1. Let g be m(-2). Let i = g - o. Solve -y + 1 = -i for y.
2
Suppose 2*y + 16 = -4*s, -2*y - 5 - 7 = 3*s. Solve 3*q + y*q = -6 for q.
-2
Let t = 31 + -28. Solve -3 + 18 = -t*j for j.
-5
Suppose -4*m - 4 = -3*h, 2*m + 4*h - 14 = 3*m. Let r be (-12)/(-60) - m/10. Solve r*y = -y for y.
0
Let n(a) = a**3 + 9*a**2 + 8*a + 2. Let y be n(-8). Let m be 1/y*(4 - -4). Solve -m*g = -3*g + 1 for g.
-1
Let d be 2/3 + 26/6. Let r = -2 + d. Suppose -r*f + 0*f + 6 = 0. Solve -f*l = -l + 1 for l.
-1
Let x = -112 + 116. Solve -9*y - 10 = -x*y for y.
-2
Let n = 1 + 1. Let j be (160/12)/(4/6). Solve -2*i - n*i + j = 0 for i.
5
Let k(r) = r**2 - 5*r - 2. Let i be k(6). Suppose g - 12 = -5*x - 3*g, -4*x + 12 = i*g. Solve -2*s + 1 - 9 = x for s.
-4
Let v(o) be the first derivative of o**2/2 + 8*o - 4. Let i