4*c for c.
-2
Let h = 25 + -20. Suppose j + h = -13. Let v be (-12)/(-9)*j/(-6). Solve -2*n = 2*n + v for n.
-1
Let h(l) = -l**3 - 2*l**2 + 3*l + 2. Let i(o) = o + 3. Let g be i(12). Let r be 10/g*(-18)/4. Let u be h(r). Solve u*f = -1 + 5 for f.
2
Suppose -40 = -2*q - 6. Solve -14*z + q*z = -6 for z.
-2
Let b be 17 + 4/3*3. Let w(u) = u**2 - 12*u + 5. Suppose 0 = 6*m - 7*m + 12. Let o be w(m). Solve 4*k = -o + b for k.
4
Suppose -q + 7*q - 174 = 0. Solve q*r = 25*r + 4 for r.
1
Let g be 0 + 48/22 + 484/(-2662). Solve -7 = -g*n - 3 for n.
2
Let h be (-1 - -2)/((-5)/(-35)). Let v = h + -6. Let t = v + 2. Solve m = t*m for m.
0
Let s = -2 + 5. Let w = 65 + -61. Suppose 4*j = -j - w*u - 10, 2*u + 14 = 2*j. Solve j*x = -s*x for x.
0
Let u = 75 - 67. Suppose 3*p = -p + u. Solve -h - p = h for h.
-1
Suppose -2*i + 10 = k, 0 = 3*i - 8*i - 2*k + 24. Suppose 2*r - i = -o, -5*o + 32 = -r + 1. Solve 2*c - o*c + 12 = 0 for c.
3
Suppose 4*s = 3*s - 3. Let d be ((-6)/(-4))/(s/(-4)). Let w(p) = p**3 + 6*p**2 - 6*p + 9. Let t be w(-7). Solve d*f - 6 + t = 0 for f.
2
Suppose 5*o - 18 - 2 = 0. Let j(h) = -h**3 + 3*h**2 - 2*h - 9. Let q be j(o). Let a = q + 37. Solve -11 = a*x + 1 for x.
-3
Suppose -6*w - 14 = 16. Let c = 5 + w. Suppose 0*a - 4 = -2*a. Solve c = a*p + p - 6 for p.
2
Let h(v) = -24*v + 1211. Let o be h(50). Solve -24 = 7*d + o for d.
-5
Let v(t) = -t**3 - 4*t**2 - 3*t - 5. Let k be v(-4). Suppose k*l = 11*l. Solve -f + 5*f + 16 = l for f.
-4
Let j(g) = -g**3 + 3*g**2 + 4*g + 1. Let y be j(4). Suppose -2*t - y = -2*z - 7, 0 = -2*t + 8. Solve 0 = 3*i - 5 - z for i.
2
Suppose -8*z = -39 - 9. Suppose 0 = -5*q - 5*u + 55, 2*q - z*q - u + 29 = 0. Solve -3*w - q = -0*w for w.
-2
Suppose 0 = 23*l - 66 - 187. Solve 2*j - l*j = -36 for j.
4
Let c be -1 - 2/(1/(-1)). Suppose 0 = 2*u - c - 1. Let b be (-10)/((-4)/u + 2). Solve j = b*j for j.
0
Suppose -7 = 6*s - 4*p + 9, 7 = -2*s + 3*p. Suppose 3*k - 2*q - 5 - 8 = 0, -2*k + 3*q + 17 = 0. Let d be 2/k*1 + s. Solve d = -2*b + 2 + 8 for b.
5
Suppose 19*b - 527 - 119 = 0. Solve -12*w - b = 14 for w.
-4
Suppose -5*f = 17*f - 264. Let l(v) = -9*v - 1. Let o be l(1). Let z be o/(-2) + (-2)/2. Solve -k + z*k + f = 0 for k.
-4
Suppose 15 = 2*n + 3*n. Suppose -6 = -2*q + 8. Solve -n + q = a for a.
4
Let b(c) = c**3 - 7*c**2 - 5*c - 2. Let t be b(8). Let l = -9 + t. Let w be -40 - -50 - (-5)/(-1). Solve 0 = -w*x - l + 3 for x.
-2
Let u = 382 - 378. Solve 0*n - u = 4*n for n.
-1
Let i(p) = 26 + 0*p**2 + p**2 - 2*p**2 - 9*p. Let v be i(-11). Let a(r) = r - 1. Let x be a(4). Solve t + v = x*t for t.
2
Let w(k) = -12*k + 122. Let x be w(10). Solve -g = x*g - 6 for g.
2
Let r(m) = -m**3 + 5*m**2 - 11. Let x be r(4). Suppose -5*g + 23 = 2*d, -24 = -x*g - 0*d - d. Solve g*t = t + 12 for t.
3
Let g = 4 - -1. Suppose g*y + 10 = -5. Let o(a) = -2*a - 3. Let c be o(y). Solve 7 = -f + c for f.
-4
Let b(s) = -10*s - 487. Let u be b(-59). Solve 28 = -25*c + u for c.
3
Let k be -2*(-5)/(-4)*-2. Suppose -15 = -k*o - 0*o. Let h(v) = -v**3 + 36*v**2 - 67*v - 32. Let z be h(34). Solve -o*g - 4 - z = 0 for g.
-2
Let i(d) = -d**2 - 15*d - 9. Let g = -46 + 32. Let v be i(g). Solve -2*l + 6 = -v*l for l.
-2
Suppose q = 9*q. Let i be 4/(-4)*(-1)/2*q. Solve i*g - 4 = -2*g for g.
2
Let o be 3 + -2 + 1 - -81. Suppose 5*z - o = b + 25, 0 = -b - 3. Let g = z + -18. Solve -g*j + 16 = j for j.
4
Let j be (-1)/((-60)/96) - 9/15. Solve 31*q + 63 = j for q.
-2
Let m be ((-2)/9)/(6/(-54)). Solve a + m*a = 0 for a.
0
Let c(h) = 49*h + 12. Let a be c(0). Solve 0 = a*q + 9 + 15 for q.
-2
Suppose -2*n + 5*t - 118 = 2*n, -3*t = n + 38. Let i = n - -38. Suppose -3*b - 5*z = 5 + 5, 3*z = -15. Solve b*j + i = -14 for j.
-4
Let z(s) be the third derivative of s**4/24 + 5*s**3/3 + 8*s**2. Let k be z(-6). Suppose 0 = k*d, -2*d + 12 = 3*c + c. Solve c*j - 4 = 7*j for j.
-1
Suppose -76 + 418 = 38*p. Solve -12 - 6 = -p*v for v.
2
Let n be ((-35)/(-14))/(2/4). Suppose -4*y = -n*u - 8 + 1, 5*y + 2*u = 50. Let o be 7/2*y/14. Solve o*q = 7*q - 15 for q.
3
Let b be (-11)/(-2) - (-1)/(-2). Suppose 3*t = 15, 0 = 3*u - 7*t + 2*t + 43. Let q = 22 + u. Solve -b*f + q = -f for f.
4
Suppose -2*q = 2*q. Let d = -1919 + 1919. Solve q*w + 2*w + 2 = d for w.
-1
Let o(c) = c**2 + 7*c - 5. Suppose 5*t - 9 = 4*f + 3, 4*f + t = -36. Let y be o(f). Solve -4*m + m = y for m.
-1
Let m(v) = v**2 - 12*v + 30. Let i be m(3). Solve 0 = w + 2 + i for w.
-5
Suppose b + 11 = 3*l, 5*b - 1 + 26 = 0. Suppose 4 + 0 = 5*v - i, i = 3*v - 4. Suppose 0 = c + 35 - 51. Solve v = 2*j + l*j + c for j.
-4
Let l be (16/12)/(4/9) + 0. Let t be 4 - 6/3 - 2. Suppose -24 = -2*i - t*i. Solve -l*j + i = -0*j for j.
4
Let o(y) = -19*y + 249. Let p be o(12). Solve 3*k - p = -6 for k.
5
Suppose 3 = 2*g - 3. Suppose -m - g = 3. Let p = m + 6. Solve 0*z - 3*z + 12 = p for z.
4
Suppose 4*d - 15 = 21. Let o be 24/(-15)*(54/(-12) + 2). Solve a - o = -d for a.
-5
Let g = -1 + 2. Let k(w) = -w**3 - 2*w**2 - 8*w - 30. Let u be k(-3). Solve -u*t - g = -2*t for t.
-1
Let v(n) = -n - 5. Let g be v(-7). Suppose g*w - 4*w = 0. Let c be (-57)/(-15) - 1/(-5). Solve z + c = -w for z.
-4
Suppose 118*s - 1476 - 766 = 0. Solve 0 = 11*a + s + 3 for a.
-2
Suppose -4*t + 0*d + 21 = -d, 2*t + 4*d - 6 = 0. Solve -3*v + 17 - t = 0 for v.
4
Let y be 6/9 - (-8)/6. Let j(z) = -z**3 + z**2 + z - 2. Let l be j(-2). Let w be 0/(4 + (5 + -3 - 4)). Solve -y*q = -w*q + l for q.
-4
Let c(w) = 20 - w**3 + 16*w**2 + 37*w - 60 + 15 + 17. Let b be c(18). Solve 6*f - f = -b for f.
-2
Suppose -4*n + 68 = 8. Suppose 74 - 160 = 2*v. Let o = 45 + v. Solve -o*f + 7*f = -n for f.
-3
Let d = 30 + -22. Suppose d*o = 2*o. Solve o = -n - n - 6 for n.
-3
Let t(n) = -34*n + 6. Let j be t(0). Solve -8*o + 5*o = -j for o.
2
Suppose -a - 21 = -4*a. Suppose 5*g = 42 - 12. Suppose -84 = -g*s - 24. Solve 2*p - s = a*p for p.
-2
Suppose 3*v - 3 = 3*i - 12, 3*i = -2*v + 4. Let u be 1*(-4)/7*7/v. Solve -u*z = -6*z + 10 for z.
5
Let h be (27/(-6))/((-1)/2). Let b = h - 0. Solve b*d - 4*d + 15 = 0 for d.
-3
Let n = -2018 + 2030. Solve 0 = 12*r - 16*r + n for r.
3
Let p be 6/(-9)*((-875)/(-10) + 1). Let m = p + 64. Solve m = -4*u - 7 for u.
-3
Let y = 15 + -14. Let r(c) = -c**3 - 10*c**2 - 28*c - 11. Let n be r(-4). Let z(t) = -t**3 - 3*t**2 + 6*t + 1. Let q be z(-5). Solve -n*l = y - q for l.
4
Let k be (-76)/(-57) - (-8)/3. Suppose 25 = k*y + 17. Let m(h) = h + 2. Let q be m(y). Solve n + q = -n for n.
-2
Let v(b) = -b**3 + 24*b**2 + 24*b + 37. Let c be v(25). Solve -3*u + 0*u = c for u.
-4
Let y = 42 + -37. Solve 6*i - 2 = y*i for i.
2
Let v(m) = m**2 + 2*m + 4. Suppose -3*l - 11 = -2. Let a be v(l). Suppose 0 = -t - 2 + a. Solve 0*y - 5 = -t*y for y.
1
Suppose 3*k + 2*a + 50 = 5*k, 0 = 5*k - a - 117. Solve 0 = -k*h + 14*h - 18 for h.
-2
Let m be (2 - 11 - -6)*(-16)/12. Solve m*g + 34 = 21*g for g.
2
Suppose 0 = 8*a + 2*a - 170. Solve 0 = -14*o + a*o - 9 for o.
3
Let x = -116 + 130. Solve -8*w = -15*w - x for w.
-2
Let a = 21 - 18. Let g(f) = f - 5 - 7*f + a*f - 4. Let d be g(-9). Solve -3*p + 6 - d = 0 for p.
-4
Let a be 0 - -7 - 75/15. Solve 3*g + 8 = a for g.
-2
Suppose -c - 8 - 2 = 0. Let u(z) = -z**2 - 9*z + 10. Let l be u(c). Solve l*f - 4 = 2*f for f.
-2
Suppose -2*l = -5*b - 4*l + 56, 0 = b + 3*l - 6. Solve b = 4*x - 0*x for x.
3
Let q be (-2)/(-4) - 50/(-4). Let f = q + -3. Solve -3*u = -5*u + f for u.
5
Let f(k) = 2*k**2 + 35*k + 36. Let u be f(-1). Solve -2*d + 3 = -u for d.
3
Let w be (-17)/(-9) - ((-28)/63)/4. Solve -w*j + j = -3 for j.
3
Suppose 4*x = 5*y + 70, 6*x = x + 3*y + 81. Solve 0 = -4*r + x*r + 44 for r.
-4
Suppose -r + 4*b - 8 = 0, r + 5*b - 6 = 4. Let u = 1 - r. Solve -9 - u = -5*d for d.
2
Let x = 50 - 46. Suppose -x*f + 20 = -5*l - 11, -5*l = 15. Solve m = -m + f for m.
2
Let d = 159 + -138. Suppose -9 + d = 4*r. Solve -6 = -0*a - r*a for a.
2
Suppose -16*g - 2285 + 3021 = 0. Solve 0 = -7*m - g + 11 for m.
-5
Suppose -144*n = -143*n - 47. Let a = n + -45. Solve 0 = a*m - m - 3 for m.
3
Let x(h) = h + 2. Suppose 2*m - 9 - 3 = 0. Suppose 1 + 11 = -m*o. Let b be x(o). Solve -l = -b - 3 for l.
3
Let y be (-32)/16 + 6*1. Solve -2*r = -4*r + y for r.
2
Suppose 18 = 3*x + 4*r, 2*x - x - 17 = -5*r. Suppose 0 = -w + 12 - x. Let s = w + -8. Solve 0*u + 6 = 