 = 5*x + c for x.
3
Let h(t) = t + 3. Let f(c) = -1. Let d(o) = -5*f(o) + h(o). Let r be d(-10). Let j be -6 + 2 + (r - -10). Solve 2*n + j*b - 22 = 0, b + 1 + 7 = 4*n for n.
3
Let j = -17 + 14. Let i = -3 - j. Solve -d + 2 = i, -3*d - 2*d = a - 8 for a.
-2
Let o(r) = 5*r**2 + 55*r + 3. Let c be o(-11). Solve -3*p - 19 = -5*v, 6*p + 3*v = 3*p - c for p.
-3
Suppose 5*g - 33 = -8. Solve -3*y = -3*r - 9, 6 = g*y - 3*y - 3*r for y.
3
Suppose 35*w = 32*w - 6. Let a be (0 + w)*2/((-4)/3). Solve -h = 2*h - 2*m - 11, a*h + 3*m = 6 for h.
3
Let x(t) = -t**2 - 11*t - 32. Let d be x(-7). Let w be (-20)/d - (5 - 2). Solve -12 = -w*o - 2*u, -3*o + 5*u = -3 + 9 for o.
3
Let i(m) = m**3 - 34*m**2 + 122*m - 56. Let r be i(30). Suppose -4 = 2*u - 18. Suppose -200 = -u*c + 2*c. Solve 4*q - 37 = 5*y + q, -r*y + 5*q = c for y.
-5
Let r(a) = 2*a**2 + 23*a - 12. Let k be r(-12). Solve 0 = 5*g + z + 4 - 1, -3*g + 2*z + 6 = k for g.
0
Let n = 8 + -4. Let v be ((-3)/(-6))/((-2)/n). Let b be (v + 2/3)*-27. Solve m + b = 2*t, t = 5*t - 5*m - 27 for t.
3
Let x(r) = -r**3 + 9*r**2 - 3*r - 38. Let w be x(8). Solve -5*h - 19 - 8 = w*m, -6 = h + m for h.
-5
Let a be -145*((-8)/(-5) + 15/(-25)). Let r = a + 147. Suppose -4*d + 10 = 3*j - 2, d + 16 = 4*j. Solve r*x = 4*x - j*f + 4, 0 = -x - 5*f - 2 for x.
-2
Suppose 0 = 3*h - 5*o + 23, -3*o + 8 = 4*h - 0. Let v = 11 + h. Solve 8*r - 4*u = 6*r - 16, 0 = -2*u + v for r.
2
Let q be (21/42)/(2/8) + 0. Solve j - 9 = -q*h, -h + 3*j = -1 - 0 for h.
4
Let j = -199 + 211. Solve t - 16 = 4*f, -4*f = t + 4 + j for f.
-4
Let g = -193 + 204. Solve 3*j + k = 5*k - g, 2*j - 3*k + 8 = 0 for j.
-1
Let q be (-3)/9*(-10 + 7) + 3. Solve -g + 3*z + 2 = -2*z, -g - q = z for g.
-3
Suppose 4*o - 2*d + d = 66, 0 = o + 2*d - 21. Suppose 3*a - o = 2*x, -8*a - 3*x + 22 = -3*a. Solve -3*n - 4*k + 20 = -0*n, 0 = a*n - 4*k - 12 for n.
4
Let m be -2*(9 + -7) + 6. Suppose 0 = w - 25 + 1. Let g be w/(-14)*(-5 + -2). Solve -n - 5 = m*v, -v + 3*n - 8 = g for v.
-5
Let x(k) = 4*k + 12. Let u be x(-2). Solve -3*q + w + 12 = 0, 10 = 5*q - u*w - 3 for q.
5
Suppose 0 = 4*v + 92 - 112. Solve -2*u = -5*w - 2, 5*w + v + 5 = 0 for u.
-4
Let v(n) = n**3 + 2*n**2 + 3*n - 3. Let b be v(2). Let s = 72 + -70. Suppose 0*g = -3*g - 5*o, -o = -2*g + 13. Solve 4*y - 2*y + b = -g*x, -s*y = x - 1 for x.
-5
Let y(k) = -k**3 - k**2 + 27*k - 7. Let l be y(4). Solve -2*d + l = 3*j, -3*d + 2*j - 4 = -3 for d.
3
Suppose -2*z + 3*g + 40 = 0, 10*z - 5*z - 146 = -4*g. Solve -2*q + 7*q = -u - z, 0 = -2*q + 4*u - 6 for q.
-5
Let u be 3/3*(-3 - 1). Let a be (-1)/1*(u + -1). Let x be 66/15 + (-2)/a. Solve 4*p - 4 = m + 10, 20 = 4*p - x*m for p.
3
Let n be 34/16 + 50/(-400). Solve 3*y = -2*d + n + 9, 5*y - 1 = d for d.
4
Let b be 2/8 - (-343)/196. Solve -z - 3*o = -1, -z - 3 + 2 = b*o for z.
-5
Let g be (-2)/10 + (-540)/50 + 15. Solve 5*v = -g*d + 13, d - 10 - 12 = -5*v for v.
5
Let m(v) = v**2 + 5*v + 7. Let n be m(-2). Let o be (n*(-3)/3)/(2/(-8)). Solve -4*f - 12 = o*x, f + 2*x = -0 - 1 for f.
-5
Suppose -5*c - c = 216. Let v = c - -38. Solve 4*k - v*b + 14 = 0, -6 = -3*k - 2*b - 2*b for k.
-2
Suppose 5*s = 36 + 84. Let g be (-2)/(-3) + s/(-9) + 2. Suppose 4*k + 20 = 2*c, -c - 3*c + 31 = -5*k. Solve 9 = l - 4*a - 11, g = -l - 2*a - c for l.
4
Let f be (104/39)/((-4)/(-30)). Suppose -6*r + f = -r. Solve 4*w - 1 = -3*t + 2*t, -t + w = r for t.
-3
Let d be (-27 + 12)*(-11)/55. Solve -d*g + j = 16, -3*g - 8*j = -5*j for g.
-4
Let w = -753 + 756. Solve -21 = 4*v + 4*h - 1, -3*h = -w*v + 15 for v.
0
Let t be -1 + -2 + (5 - 7). Let s(h) = -2*h - 5. Let g be s(t). Let l be (9 - g)*(-10)/(-8). Solve -2*u - l*m - 22 = 0, -5*m - 11 - 5 = -4*u for u.
-1
Let y(f) be the first derivative of f**4/4 - 2*f**3/3 + 2*f + 5. Let z be y(2). Let g be z/(-8)*0 - 0. Solve 3*w + g*w = -4*s - 8, 0 = w for s.
-2
Let m be 0*1/3 - (-20 - -6). Suppose -2*y - 13 + 5 = 0. Let v be ((-91)/m)/(2/y). Solve f - 3*s = 2*f, 0 = 5*f + 2*s - v for f.
3
Let l(b) = 2*b**3 + 11*b**2 - 8*b + 3. Let j be l(-6). Let i = 20 + -5. Suppose -5*h - 5 = -i. Solve 0 = -c + q, -j = c - 2*c - h*q for c.
5
Suppose 0 = -26*c + 27*c + 31. Let r = c - -34. Solve -4*a = 2*j - 14, r*a - 10 = -4*j + a for j.
1
Let n be ((-49)/14 + 3)*-4. Solve -g = n*h - 14, -19 = -5*g + h - 4 for g.
4
Suppose -78 = -8*g + 26. Solve y - 4*y - o = 0, -4*o - g = -y for y.
1
Let d be 36/(-72) + 7/(-2) - -9. Solve 8*a + 25 = -5*c + 12*a, -2*c - d*a + 23 = 0 for c.
-1
Let a(k) = k**2 + 9*k + 5. Let l be a(-6). Suppose -13*w = -18*w - 3*m - 47, -2*w - 18 = 2*m. Let h = w - l. Solve b + 1 = -2*s, 4*s - h*b - 25 = -s for s.
2
Let s(j) be the second derivative of -j**3 + 14*j**2 + 19*j. Let z be s(4). Solve z*w - 2 = -2*g, 0 = w - 2*g - g - 18 for w.
3
Suppose -2*m + 51 = m. Let f = m + -11. Solve 2 = -p + 2*c, -f*p + 5*p = -c + 1 for p.
0
Suppose -10*x + 35 + 15 = 0. Solve -5 = -2*r + o - 3, 0 = 3*r - x*o - 3 for r.
1
Let t be 29/(-4) + 1/4. Let m(a) = -3*a - 3. Let o(g) = -3*g - 3. Let s(h) = 6*m(h) - 5*o(h). Let j be s(t). Solve -3*z + 4*v = -5*z + j, 2*v + 3 = 3*z for z.
3
Let q = 81 + -58. Let u = q + -19. Solve 3*t + z + 3 = 1, -5*t = z + u for t.
-1
Let y = 167 + -159. Suppose 21 = 4*b + d, y*b - 3*b = d + 15. Solve 26 = b*n - 3*z, -3*n - 24 = -7*n + 2*z for n.
5
Suppose -60*a - 8 = -62*a. Suppose 4*b + 7*z - 5*z = -a, -b - z = 3. Solve -q + b = -3*j + 12, 2*j = 5*q + 3 for q.
1
Suppose 8*n - 9 = 23. Suppose -n*r + 45 + 29 = 3*h, -4*h = 3*r - 87. Solve 3*u - 5*g = -h - 6, 2*u + 2*g = 0 for u.
-3
Suppose -4*b - b + 25 = 0. Suppose -66*f = 10*f - 912. Solve c = -m, -b*m - f = c + 4 for m.
-4
Suppose 78*z = 86*z - 80. Solve 2*q - 2*k = k + z, -2*q = 5*k + 6 for q.
2
Let g(a) = 2*a**3 - 8*a**2 + 8*a - 29. Let k be g(4). Solve 23 = -3*y + 5*n, -y + 4*n = -k*y + 14 for y.
-1
Suppose -f + 8*h = 4*h - 19, -3*f = -h - 35. Suppose i - 3 = p, 2*i = -3*p - 0*p + f. Solve i*u - y + 6 = 0, 2*u - 3*y = -2*y - 4 for u.
-1
Let r be (6 - 2)*(4 - 3). Suppose -23 = -4*d - 3*i, 0*i - 6 = -2*d + r*i. Solve -10 = d*u, g = -0*g + 2*u + 5 for g.
1
Suppose -7*z + 50 = 15. Let u be (1 - 1) + z + 0. Solve 0 = -k - 0*k + u*t + 23, -4*t - 19 = -k for k.
3
Let t be (-10788)/48 + 9/12. Suppose -3*l = 3*a - 4*a - 3, 4*l - 8 = a. Let q be (t/12)/((-8)/a). Solve 3*s + g - 16 = 0, -3*g + q = 2*s + 2*g for s.
4
Let d(m) = 2*m**2 + 58*m - 57. Let w be d(-30). Solve -3*f + t + t = 2, -t = -w*f + 2 for f.
2
Let q(v) = -2*v - 7 - 2 - 4 + 5. Let y be q(-5). Suppose 4 = 5*f - z - 39, 33 = 3*f - 3*z. Solve 4*t = y*c + 12, 0*c + 2*c = -f for t.
1
Suppose -t - 14 = -3*s, 5*s - 19 = t + 5. Solve 2*z = 3*h - t, 9 = 5*z - h + 5*h for z.
1
Let d be 270/72 + 2/8. Let n be 11 - d*(-2)/(-8). Let g be (32/n - 4)*-5. Solve -g*j = 5*r + 6, 4*r + 3*j = -j - 4 for r.
-2
Let s be (-2 - (-9)/3) + 1. Solve z + s*z = 2*m - 17, -4*m = -z - 19 for z.
-3
Suppose h = 2 + 2. Suppose -2*d = -4*d + h. Suppose 14 - 6 = d*l. Solve j - 9 = -3*g, 0*g - 7 = -3*j - l*g for j.
-3
Let r be (-26)/(-143) + 106/22. Solve w + 1 = -t + 2, 0 = -4*w + r*t + 4 for w.
1
Suppose -2*z - 31*z = -231. Solve -4*h + 0*i - 2*i + 2 = 0, i - z = -4*h for h.
3
Let m(f) = -f**3 - 13*f**2 - 22*f + 5. Let x be m(-11). Solve q + j - 17 = -4*q, -35 = -x*q + 5*j for q.
4
Suppose -5*n + 214 - 24 = 0. Let i = 40 - n. Solve 0 = -i*d + 4, x + 5*d - 3*d - 1 = 0 for x.
-3
Suppose 0 = -u - u + 10. Let f be 92/22 - (96/66)/8. Let w(d) = -4*d + 16. Let z be w(f). Solve -7 + 2 = 4*j - u*m, z = -4*j - m + 1 for j.
0
Suppose 3*d + 15 = -3*x, 5*d + 11 = 4*d - 3*x. Let f be (-1)/(-2) + ((-5)/(-2) - d). Solve f = 5*k + 5*h, 0 = 4*k + k + 2*h + 10 for k.
-4
Let a = -84 - -60. Let q = a - -27. Solve -v + 9 = -q*j + 2, 0 = 4*v + 8 for j.
-3
Let j(h) = h**3 + 22*h**2 + 3. Let x be j(-22). Suppose v + 3 = 2*n - 8, 2*n - 17 = x*v. Solve -f = n*a - 13 + 1, f + 20 = 4*a for a.
4
Let j(d) = 9*d**3 + 2*d**2 + 2*d + 1. Let n be j(-1). Let b = n - -18. Solve -2*g + b = 0, 3*q + 4*g - 4 = 7 for q.
-3
Let s = -43 - -41. Let d be (6 - 7)*(-2*2 - s). Solve 2*r = 4*c + 18 - d, -5*c + 2*r = 18 for c.
-2
Suppose -2*u - 64 = -72. Solve 5*b - 15 = u*i, 0*b = -4*b + 3*i + 12 for b.
3
Let g = -72 - -47. Let o = g + 29. Solve o*j + 8 = -4*v, 2*v + 0 + 1 = -j for j.
-3
Let j be 1/(2/(-8)*-2). Let r = 6 + -