0 = -b*c - c + 10 for c.
2
Let n(z) = 3*z**2 + z - 2. Let w(j) = -j**2 + j + 1. Let t(i) = -3*n(i) - 6*w(i). Let a be t(-3). Solve 3*l + a*l - 6 = 0 for l.
2
Let t(q) be the third derivative of 0 + 0*q + 7/6*q**3 + 1/24*q**4 + 5*q**2. Let a be t(-4). Solve a*z = -z + 8 for z.
2
Let r = -181 + 189. Solve 13*n - r*n = 0 for n.
0
Let v = -32 - -34. Let i be v/((26/(-39))/((-20)/3)). Solve 0 = -4*k - i + 4 for k.
-4
Let b(a) = -a + 12. Suppose -2*j + 35 = 3*j + t, 20 = -4*t. Let g be b(j). Solve g*x + 23 - 3 = 0 for x.
-5
Suppose 2*p + 3*p = u + 12, -3*u - 4*p - 55 = 0. Let n = -14 - u. Suppose 2*h - n = 1. Solve y + 0 = -h for y.
-2
Let k be (40/30)/(-1 - (-74)/66). Solve 12*f - k*f + 5 = 0 for f.
-5
Let o(i) = i**2 + 9*i + 12. Let w(j) = -j + 2. Let r be w(10). Let d be o(r). Solve 0*f = -4*f - d for f.
-1
Let h be (145 - 137) + 14/(-2). Solve 5*b + 6 = h for b.
-1
Let d(l) = 2*l + 27. Let v be d(-12). Suppose -32 = -v*w - k, 5*w - 3*k = 67 + 5. Solve w = 2*n + n for n.
4
Let t(f) = -f - 9. Let u = -4 + -7. Let h be t(u). Let v = 0 + h. Solve v = -i - 1 for i.
-3
Let c(h) = -h**3 + 8*h**2 + 9*h + 4. Let j be c(9). Let u = -21 - -25. Let f = 122 - 118. Solve j + f = -u*a for a.
-2
Suppose 0 = -4*o + 20 - 0. Let g(z) = 2*z**3 - 9*z**2 - 3*z - 10. Let d be g(o). Solve d = a + a + 10 for a.
-5
Let y = -19 + 29. Suppose -4*c + 2*g - 30 = 0, -4*c - 2 - y = 4*g. Let j be (6 - 27)*2/c. Solve 4 = 3*b + j for b.
-1
Let a(h) = h**2 - 5. Let y = 43 + -46. Let q be a(y). Solve -4*f - 4 = q for f.
-2
Let g be 32/(-80) + (-37)/(-5). Let d be (6/(-4))/(g/(-14)). Suppose d*q - 5 = -2. Solve -3 = r - q for r.
-2
Suppose 3*q = 2*o + 12, 4*q - 6*o + 4*o - 18 = 0. Solve -19*d = q - 25 for d.
1
Let k be (-4 - 2/4)/((-2)/12). Solve -22*a = -k*a - 5 for a.
-1
Let f = -78 - -112. Suppose f = -4*r - 2*u + 12, 50 = -5*r + 2*u. Let y = -3 - r. Solve -z = -y*z + 4 for z.
1
Let j = 92 - 87. Let q(r) = r**3 + 3*r**2 - 5*r - 2. Let o be q(-4). Suppose 1 - 7 = -o*a. Solve 8 = -j*l + a*l for l.
-4
Suppose 20*d - 23*d = -318. Suppose d = 13*g - 24. Solve -3*s + 25 = g for s.
5
Let s(x) = -x**3 + 2*x**2 - 1. Let c be s(1). Let y be (-1)/(c - 1/4). Solve -5*o - y = 11 for o.
-3
Let l(a) = a**2 - 7*a + 11. Let i be ((-1)/3)/((-1)/9). Suppose -2*v + 12 = i*o, -v + 2*o + 0*o = -6. Let u be l(v). Solve 10*w = u*w for w.
0
Suppose 3*v - 2*h - 13 = -7*h, -h = -5*v + 31. Suppose -20 = -v*x + 10. Let l be 2*(-3)/6*0. Solve l*a + x = -5*a for a.
-1
Suppose 26 = v + 2*z, -2*v + 6 = z - 31. Solve 26 - v = -2*h for h.
-5
Let l = 6 + -4. Suppose 0 = l*h + h. Solve -d - 2*d - 12 = h for d.
-4
Let p be 5/3 + 7/21. Suppose -4*y - 3*v = -p*y - 254, -2*y + 250 = 4*v. Suppose 0 = b + 6*b - y. Solve -5*s = -b - 1 for s.
4
Let q = 23 + -11. Let j(l) be the first derivative of -l**3/3 + 13*l**2/2 - 6*l - 3. Let p be j(q). Solve 6 + p = -4*v for v.
-3
Suppose 30*y - 61*y + 155 = 0. Solve -y*m + 35 = 2*m for m.
5
Let j = 452 + -442. Solve 15*x - j = 20*x for x.
-2
Let z(p) = 3*p**2 + 3*p - 5. Let n be z(-4). Suppose 0 = 3*t + 5*s - n, 2*t = 4*s - 18 + 2. Suppose -t*v + 9 = 1. Solve 0*b + v*b = 0 for b.
0
Let v(m) = 4*m. Let y be v(1). Let l = -2 - -2. Let s be l/((3 - 2)/(-1)). Solve s = -0*q - y*q for q.
0
Let c(l) = l**2 - 5*l + 4. Let u be c(6). Suppose -u*a = -a. Solve -4*n + 2 - 22 = a for n.
-5
Let v = 335 + -321. Solve -5*j + 24 = v for j.
2
Let b = 80 + -40. Suppose 12*w = 7*w + b. Let l = w + -7. Solve -4 = 3*a - l for a.
-1
Let g = -1191 - -1264. Solve 19*h = -g - 22 for h.
-5
Suppose d + y + 1 = -0, 0 = 3*y + 9. Suppose 4 + 8 = 4*k + 4*n, -n = -d*k + 6. Solve k*f = 2*f + 2 for f.
2
Let j = 40 - 46. Let r be (8/j)/((-23)/69). Let i = -1 - -2. Solve i = 5*k - r for k.
1
Let r(f) = 2*f - 35. Let p be r(15). Let g be p*8/(-12)*3. Let j be (-6)/g - 40/(-25). Solve 0*a - a - j = 0 for a.
-1
Let t = -17 - -22. Suppose 4*u - 5*u + t = 0. Solve 9 = -u*w - 16 for w.
-5
Suppose 0 = -m + 1, 3*y + 3*m - 19 = 2*m. Solve d - y*d = -25 for d.
5
Suppose -5*a - 14*a = 0. Solve a = 2*r - 11 + 3 for r.
4
Let k(z) = 2*z - 6. Let o be k(4). Suppose r = -5*l - 16, -3*l - o*l - 20 = 5*r. Let n = r - -1. Solve n = 4*y + 16 - 0 for y.
-4
Let u(q) = -q**3 + 9*q**2 - 22*q + 4. Let d be u(6). Let n be 45/(-6)*((-24)/d + -2). Solve 5*g - 4 = n for g.
2
Suppose y = -2*y - 87. Let s = -24 - y. Solve s*t = 7*t - 10 for t.
5
Let a(p) = 2*p + 30. Let v = 37 - 51. Let z be a(v). Solve 20 = -z*k + 7*k for k.
4
Suppose -18 = 4*q - 26. Solve -5*y = -q*y - 3 for y.
1
Let m be (1/(-2))/(2/(-4)). Suppose 0 = 2*t - y - 289, 4*y + 134 = 5*t - 4*t. Let v = t + -146. Solve -2*n - 1 - m = v for n.
-1
Let b be (-3)/(42/(-26)) + 6/42. Solve 3*r + b = r for r.
-1
Let s = -2325 + 2325. Solve s = -6*u + 9 - 39 for u.
-5
Let i(n) = -n**3 + 9*n**2 - 14*n + 48. Let v be i(8). Suppose 0 = t + 5*r + 35, 0*t + 10 = t - 4*r. Let k = t + 14. Solve k*o - 5 - 3 = v for o.
2
Suppose -16 = -3*g - w, 3*w = -3*g - 0*w + 24. Solve 2*i - 10 = -g for i.
3
Suppose -n = 2 + 1, -4*a - n = -17. Let c = 6 + 2. Solve s - c = a*s for s.
-2
Suppose 2*c + 14*v - 21 = 9*v, -4*c + 29 = -3*v. Let i be (-4 + 3 - -4)*-1. Let o(y) = y**2 + 2*y - 3. Let g be o(i). Solve g = 4*r + 4 + c for r.
-3
Let g be 0/(-2) + 2 + 3*3. Suppose -2*b + 26 = g*b. Solve -b*i + 4 = -2 for i.
3
Let s(b) = 3*b**2 + 6*b - 3. Let m be s(2). Suppose -a = 2*a - 3*v - m, a + 3*v = -5. Let h = -4 + 7. Solve -h*z + z - a = 0 for z.
-2
Let r = -17 - -31. Suppose 20*q - 30*q = -r*q. Solve -2*y + 10 + 0 = q for y.
5
Let c = 13 + 2. Suppose -4*t = -5*x + c, 0 = -x - x + 6. Solve 2*w + w - 9 = t for w.
3
Let b = 623 + -619. Solve a = -b*a - 10 for a.
-2
Let b be 12*(-3)/((-27)/12). Let d be 24 - b - (-5 + 1)/(-2). Solve -v - d = 2*v for v.
-2
Let j(v) = v**3 + 12*v**2 + 12*v - 13. Let x be j(-11). Let y be x/(-30) + 42/10. Suppose -y*t + 23 = -3*o, 0 = -3*t - o + 4*o + 15. Solve 0 = t*h + h for h.
0
Let w(n) = -n**3 - 4*n**2 - 5*n - 2. Let j be w(-3). Suppose j*b - 5*b + 3 = 0. Solve -7*p = -b*p for p.
0
Let n = -39 + 51. Solve 0*d = -6*d + n for d.
2
Let i be (((-10)/6 - -1)*-9)/2. Suppose -5*k = 4*m - 25 + i, -2*m - 2*k + 10 = 0. Let p be 2 + (2 + -2 - 0). Solve 5*h - p = m*h for h.
1
Let o = 18 + -7. Let l = o + -11. Let s be 4/18 - 208/(-36). Solve 5*y + s - 1 = l for y.
-1
Let w(c) = -c**3 - 11*c**2 + 11*c - 4. Let h be w(-12). Let z be (-344)/(-12) + h/(-12). Let j = 38 - z. Solve 0 = -0*l - 2*l - j for l.
-5
Let l(o) = -o**2 - 13*o - 36. Let t be l(-9). Let h be 42/3 + 1 + -5 + t. Solve -p - p - h = 0 for p.
-5
Suppose -5*m + 25 = d, 0*m + 15 = 3*d + 3*m. Solve d = 28*k - 25*k for k.
0
Let l(z) = -z**3 + 5. Let t be l(0). Let p be ((-4)/(-10))/((-4)/(-60)). Suppose -t*f = -p*f. Solve c + c + 2 = f for c.
-1
Let g = 0 + 4. Suppose -5*c = g*t, 4*c = -t + 2*c. Suppose 2*q - 5*q + l = -13, 2*q + 3*l - 5 = 0. Solve -q = i - t for i.
-4
Let d(b) = -21*b + 10. Let i be d(0). Solve -l + i = 5 for l.
5
Let z be (-2)/3 + -42*(-9)/81. Solve 14 = z*q - 2 for q.
4
Let f(p) = p**3 - 10*p**2 + p - 7. Let u be f(10). Suppose -4*r - u*a - 7 = -3, -2*a - 10 = -r. Solve r*j = -3*j for j.
0
Let v(x) = x + 3*x - 9*x + 2*x - 23. Let m be v(-8). Solve m + 0 = a for a.
1
Suppose 3*y - 20 = 2*y. Let g be (12/y)/((-2)/(-10)). Let p be 3 - 0 - (g + -4). Solve -5*t + 3*t - p = 0 for t.
-2
Let l be 1/(1 + 1 + (-63)/35). Suppose l*g = g. Solve 10 = 5*d - g for d.
2
Let w be 13*(-2)/(-2)*(6 + -5). Suppose w*z = 41 + 50. Solve z*y = 2*y + 15 for y.
3
Let y = -5 + 10. Suppose 0 = 3*u - 5*u - 8, -3*o + y = u. Let z(w) = 3*w - 7. Let f be z(o). Solve -f*x = 2*x for x.
0
Let t be 0 + 56 - (-4 + -1). Solve 51 = -5*a + t for a.
2
Let k be 96/14 + (-71)/(-497). Solve 0 = k*w - 3 + 38 for w.
-5
Suppose -5*l = -l - 8. Suppose -4*c + 2*m - 10 = 0, 7*m - l*m + 5 = -5*c. Let a = c + 2. Solve 2 = -a*p - p for p.
-2
Suppose 83 - 111 = -7*m. Solve 9*h + m*h + 65 = 0 for h.
-5
Suppose x + 3*x - 3*b = 58, 3*b = -3*x + 54. Let i = -14 + x. Suppose -6 + i = -4*j. Solve 2 - j = r for r.
1
Let m = 1218 - 1049. Solve m*x = 173*x for x.
0
Let q(p) = p**2 - 10*p - 22. Let d be q(-2). Solve d - 12 = -2*k for k.
5
Let l be 24/15*-3*(-20)/24. Suppose 0 = -l*x + 6*u - u + 25, x - 4*u - 20 = 0. Solve x = -0*c + 3*c for c.
0
Suppose 15 = 4*q - 9. Let d be q/1