 -i = -b + x for i.
-1
Let f = -1240 + 1243. Solve 63 = f*c + 54 for c.
3
Let m be 5 - 2 - 0/3. Let v = 13 + m. Solve 4*c = -4 - v for c.
-5
Let f(u) = -u**2 + 11*u - 7. Let g be 12/42 + (-122)/(-14). Let d be f(g). Let n = d - 7. Solve -1 = n*i + 11 for i.
-3
Let o(s) = -8 + s + s**2 - 4*s + 3*s + 4*s. Let a be o(-6). Suppose -4*j - 3*z = -j - 27, -4*j - z = -39. Solve 2*m = a*m - j for m.
5
Suppose 27*c - 159 - 354 = 0. Let g be (-48)/(-20) - 6/15. Suppose -t = n - 7, -1 = -g*t + 3*t - n. Solve 0 = -4*r - t + c for r.
4
Suppose 2*r - 3*m - 6 - 1 = 0, -5*r = 5*m + 20. Let a be (-43)/(-8) - 18/48. Let s = a + r. Solve -s = 4*i - 0 for i.
-1
Suppose j = 3*x - 0*j - 13, -4*x + 5*j = 1. Suppose l + 3 - x = 0. Solve -l = -2*u - 5 for u.
-1
Suppose 25*j = 28*j. Solve j = -a - 14 + 9 for a.
-5
Let l(q) be the first derivative of q**4/4 + q - 10. Let z be l(1). Solve 0 = z*g + 2 - 10 for g.
4
Let n(o) = -15*o - 5. Let f be n(-2). Suppose -4*x - x + f = 0. Suppose -4*k = x*q + 19 - 3, 4 = -2*q - k. Solve -2*w + 3*w + 2 = q for w.
-2
Suppose 0 = -6*t + 4*t + 8, 5*k - 60 = -5*t. Let u be (-7 - -9)*-2*(-22)/k. Solve -5*r = 9 + u for r.
-4
Let r(s) = -s**3 + 4*s**2 + s - 1. Let l be r(4). Suppose 0 = 10*o - 16*o + 12. Solve -l*i = -11 + o for i.
3
Suppose -4*g + 60 = -4*w, 3*g - 7*g - 2*w = -72. Let f = 20 - g. Solve f*a + 0*a = 0 for a.
0
Suppose -31*s = -37*s - 90. Suppose 0 = -w - 0*w + 23. Let r = s + w. Solve 2 = 3*q + r for q.
-2
Suppose -2*l = -3*c + 18, 4*c - 4*l = 17 + 11. Let j(x) = -2*x + 8. Let m be j(c). Suppose 3*y - 22 - 5 = 0. Solve -3*a + m*a = -y for a.
3
Suppose 4*x - 2*x + 3*n = -15, -5*x = -2*n - 10. Solve x*b = 5*b - 5 for b.
1
Let v = 903 + -852. Solve -v*o + 52*o + 5 = 0 for o.
-5
Suppose 0 = 3*w - 8*w. Let u be (w + -1)*(-1)/(-2)*-38. Solve -4 = -3*x - u for x.
-5
Let q = -21 + 24. Let f be (q/(-2))/(21/(-56)). Suppose -3*w + f*i = 0, -4*i + 4 = w - 12. Solve 2*u + 0 = w for u.
2
Suppose -5*o = 5*u - 30, 0 = -u - 4. Solve -23 = o*q + 17 for q.
-4
Let b = -43 - -49. Suppose 6 = 5*w - l, 0 = -4*w + 5*l - 6 - b. Solve -s = -0 - w for s.
2
Suppose 2*v + 3*o - 30 = 4*o, 68 = 4*v + 2*o. Suppose 4*t - 4*u - v = 0, t + t + 2*u + 4 = 0. Solve m + 4 = -t for m.
-5
Let a = -203 + 118. Let f = 87 + a. Solve -t - 3 = -f for t.
-1
Let f be 344/215*25/4. Solve -x - 4*x = -f for x.
2
Let g(b) = b**3 - 3*b**2 - 4*b + 4. Let q be g(4). Let f be q/(176/212) - 8/(-44). Solve f*o + 10 = 30 for o.
4
Suppose 2*s - 65 + 33 = 0. Let r(z) be the second derivative of -z**3/6 - 4*z**2 - z. Let x be r(-11). Solve -v + s = x*v for v.
4
Suppose -3*a = 3*i, -6*i = 3*a - 8*i. Solve -x - 2*x + 12 = a for x.
4
Let z = 1093 + -1078. Solve -z*q + 14*q = -3 for q.
3
Let u(j) = -4*j - 51. Let p be u(-16). Suppose -5*z - 10 = -3*y + 5*y, 6 = -3*z. Suppose -t = -4*s - 2 - 4, 5*t - 3*s - p = y. Solve 4*d - 2 = t for d.
1
Suppose q = -8*q + 378. Let o be 3*(-1)/2*(-140)/q. Solve o*n - 3*n = 0 for n.
0
Let n(m) = m**2 + 11*m + 8. Let q be n(-7). Let f = -20 - q. Solve -2 = -j - f*j for j.
2
Suppose 6*g - 4*g = 12. Suppose 2*v = g*v. Solve z - 4 + 0 = v for z.
4
Let v(g) = -8*g + g + 20 + 5*g. Let o be v(5). Let p(x) = x - 1. Let l be p(5). Solve -j - o = l*j for j.
-2
Let v(o) = o**3 - 4*o**2 - 7. Let j be v(5). Let a = 21 - j. Solve 4*b + a = -9 for b.
-3
Suppose 6*x = 29*x - 276. Solve 0 = -3*j - j + x for j.
3
Suppose 5*m - g - 65 = -2*g, 0 = 5*g. Let a = m - 13. Suppose 3*q + a*q = 0. Solve -4*v - 16 = -q*v for v.
-4
Suppose 8 + 25 = 3*c. Let q = -114 - -106. Let m = c + q. Solve 4*r = m*r for r.
0
Suppose -t = -c + 33, 0*t + t + 2*c = -18. Let g = t + 31. Solve g = 4*k - 1 for k.
1
Let a be 0 - (6 + -1 + 0)/(-1). Solve 0 = a*s - 20 + 5 for s.
3
Let x(i) = 4*i**2 + 5*i + 1. Let y be x(-2). Let o be 112/49 + (-2)/y. Solve -o*c - 3 = 1 for c.
-2
Let l be 11 - 6/(-4)*66/99. Solve l*i = 3*i + 18 for i.
2
Suppose -32*t = -19*t - 130. Solve 20*m - t = 25*m for m.
-2
Let h(l) = l**2 - 20*l - 16. Let v = 31 - 17. Suppose 0 = d + v - 35. Let p be h(d). Solve -4*x = x + p for x.
-1
Let j(d) = d - 11. Let v be j(6). Let n = v - -3. Let r be (0/n)/(-3)*1. Solve q = -r*q for q.
0
Let m be 3*((-8)/(-3) - (5 + -5)). Suppose -2*l - 4 + m = 0. Solve 3*b - l = -5 for b.
-1
Suppose -7*g - 9 = -37. Solve g*y + 5 = -15 for y.
-5
Let v = 13 - 53. Let i = -33 - v. Solve 0 = 2*y + i + 1 for y.
-4
Suppose 5*b + 4*w - 5 = 6, -2*b + w = 6. Let k be -9*(-5)/(-15)*b. Solve 4*n + k - 15 = 0 for n.
3
Let f(x) = -2*x**2 - 46*x + 50. Let n be f(-24). Solve 2*g = -6 - n for g.
-4
Let s = 353 - 350. Solve 9*j - s*j = 18 for j.
3
Let h(b) = 14*b - 142. Let p be h(11). Solve 0 = 3*o - 7*o + p for o.
3
Let r be (-6 - -8)*-2 - (-3 - 2). Solve -r = n - 1 for n.
0
Suppose -12*h = -69*h. Solve h = -4*d - 12 for d.
-3
Suppose -2 = 4*g - 10. Suppose 182*h - 155 - 209 = 0. Solve 0 = g*r + h*r for r.
0
Suppose -2*g = 10, -4*k + k + 3*g + 102 = 0. Solve -k + 9 = 10*v for v.
-2
Suppose -38 = m + 3*d, m = -4*m - 5*d - 200. Let a = 43 + m. Solve w = -a*w for w.
0
Suppose -17*g + 8 = -9*g. Solve -13 = -3*j - g for j.
4
Let j = -2586 + 2594. Solve j*g + 24 + 0 = 0 for g.
-3
Suppose 5*n - 15 = 2*n. Let l = 19 - n. Suppose -l - 2 = 4*b, -5*a - 2*b = -2. Solve 0*j = 2*j - a for j.
1
Let n(m) = 0*m + 0*m + 3*m - 2*m. Let k be n(7). Suppose -5*g + k*g = 24. Solve -a = -5*a - g for a.
-3
Suppose 4*c - 26 - 18 = 0. Let b = 4 + c. Solve -z = 2*z - b for z.
5
Let r = -120 - -122. Solve v = -r*v for v.
0
Suppose -l + 1 + 8 = 0. Suppose 3*z = l - 0. Solve 0 = z*o - 7 + 1 for o.
2
Suppose 2*z - 20 = -3*z. Let v(r) = -r**3 - 2*r + 41. Let w be v(0). Suppose 0 = -w*j + 39*j. Solve z*b = -j*b - 4 for b.
-1
Suppose -5*a - 79 = -n - 3, -4*a + 124 = 2*n. Let l = n - 66. Solve -3*q + 15 = -l*q for q.
5
Suppose -8*v + 9*v - 5 = 0. Let r = -2154 + 2157. Solve -8 = r*p - v*p for p.
4
Let a(b) be the first derivative of -b**5/30 - b**4/4 + 2*b**3 + 9. Let n(m) be the third derivative of a(m). Let h be n(-2). Solve k - h = -6 for k.
-4
Suppose 0 = -v - 4*v - 25. Let p = 5 + v. Suppose 10*r = -2*d + 5*r - 23, 20 = 5*d - 3*r. Solve j = -p*j - d for j.
-1
Suppose -3*n = -6*n + 2*s + 6, -3*n = -4*s. Solve -3*p - n = 11 for p.
-5
Let b(x) = -2*x**3 - x**2 + x - 1. Let k be b(-3). Suppose -2*y - y = p - k, 10 = 2*p. Let g = -9 + y. Solve 0 = -2*a - g*a + 10 for a.
2
Let c = 157 - 154. Solve 14*k = 17*k - c for k.
1
Let j(x) = -x**3 + 13*x**2 - 9*x - 23. Let g(f) = -f**2 + 8*f + 5. Let k be g(7). Let q be j(k). Solve -4*s - 5 = -q for s.
2
Let n = 66 + -60. Solve n*u = 2*u for u.
0
Let f(r) be the third derivative of r**4/4 - 5*r**3/3 - 7*r**2. Let z be f(3). Solve q - z = -q for q.
4
Let v be 12/9 - 1 - 312/(-117). Let g(b) = b**2 + 2*b - 3. Let s be g(2). Suppose t - 4 = -3*t + 4*j, -3*t + s*j = 1. Solve -t = 3*u + v for u.
-2
Let u(p) = 3*p + 57. Let a be u(-15). Solve -3*y + 0*y = a for y.
-4
Let x(l) = -2*l**3 + 8*l**2 + 5*l - 1. Let j be x(5). Let r = j + 32. Solve 0 = 2*k - r - 4 for k.
5
Suppose 0 = 5*l + 4*o - 3, -3*o = 4*l - 6*o - 21. Solve -l*s + 15 = -8*s for s.
-3
Let t(a) = 8*a**2 - 50*a + 33. Let q be t(7). Solve 39 = 9*h + q for h.
-4
Let g(x) = -x**3 + 6*x**2 - 3*x + 3. Let t be g(6). Let s(k) = k + 15. Let b be s(t). Solve b = -5*d + 2*d - 15 for d.
-5
Let r be 12 - (2 + (7 - 1)). Solve 4*t + r = -0 for t.
-1
Let d = -6 + -2. Let l = 6 + d. Let k = 4 + l. Solve -k*g - 2*g = 0 for g.
0
Let o = -7 + 10. Solve -h + 4 = o*h for h.
1
Suppose -4*z = -2*u + 48, -z - 36 - 31 = -3*u. Solve 0 = p - 12*p - u for p.
-2
Let w(l) = -3*l + 1. Suppose 0 = -2*m + x - 7, -11 = m + 2*m - x. Let u be w(m). Suppose -u*f + 11*f = 0. Solve f*y - 16 = 4*y for y.
-4
Suppose 2*y = 4 + 8. Let k be (6/(-4))/((-9)/y). Solve 2*m = -k + 3 for m.
1
Suppose -5*b - 198 + 33 = -h, 3*h - 33 = b. Let w = b - -36. Solve 13 = 2*z + w for z.
5
Suppose -2*v + 35 = 3*v. Suppose -2*g + v = 3*m, 0*g + g - 11 = -3*m. Solve -4*a - a = -m for a.
1
Suppose 0 = 5*z - 5, -4*z + 9 - 26 = -3*i. Suppose 0 = -5*f + j + 44, 142*f + 36 = 146*f - j. Solve 3*y - i*y = f for y.
-2
Let i be (-22)/(-8) - (0 + 1)/(-4). Let b be -3*(-6)/(0 - 2). Let d be (12/10)/(b/(-120)). Solve -d = -i*x + 7*x for x.
-4
Suppose 0 = -2*q - 2*c + 32, -3*c + 6 = -2*q + 23. Let p be (-3 + 0)*q/(-13). Solve p*