pose -4*c = -5*g - 22, c - g = 4*c - r. Let y = c - 4. Solve -3*a - a = -y for a.
1
Let p(u) = -6. Let s(g) = -g - 12. Let j(n) = -5*p(n) + 2*s(n). Let x be j(-1). Solve 0 = -w - 3*w + x for w.
2
Let v = 75 - 19. Suppose m + v = 15*m. Solve -d - 8 + m = 0 for d.
-4
Suppose 0*u = -5*u. Let v be ((-1)/1 - u)*-2. Suppose -v*i = 3*i - 10. Solve i*k + 0*k = 0 for k.
0
Let z be 0/9 - (-48)/4. Solve -3*a + 0*a - z = 0 for a.
-4
Let x = -277 + 283. Solve 0 = x*s - 9*s - 12 for s.
-4
Suppose 0 = n + 5*z - 23, 3 = n - 2*z + 8. Suppose -i = -5*v + 6, 5*v + n*i + 2 = 4*v. Solve -2*m - 7 = v for m.
-4
Suppose 15 = -4*t + 7. Let g be (1/t + 2)/(48/64). Solve -g = -4*n + 18 for n.
5
Suppose -15 = -c - 2*c. Suppose -c = -3*j + 7. Solve 12 + 0 = -j*p for p.
-3
Let o(q) = q**2 + 6*q + 2. Let c(x) = x**2 + 5*x - 12. Let u be c(-6). Let j be o(u). Solve 6 = -j*f + 4*f for f.
3
Suppose 4*y - 58 = -2*x, 3*x + 8*y = 7*y + 72. Suppose 4*t - x = 3*h, h = -0*t - 5*t + 43. Solve -t*z = -3*z for z.
0
Let x = 374 + -370. Suppose 2*f - 2 = f. Solve -f*i + 6*i - x = 0 for i.
1
Suppose 2*k + 0*k + 16 = 0. Let b = k + 12. Solve b*x - 8 = -0*x for x.
2
Let l = -5 - -7. Let d = -35 + 39. Suppose 2*q + 0*a - a - 21 = 0, 5*a = -d*q + 21. Solve c = -l*c - q for c.
-3
Let j = -144 + 151. Solve -9*v + 4 = -j*v for v.
2
Suppose 5*p - 1 + 10 = -2*k, 0 = -5*p - 5*k. Let d = p - -5. Suppose -5*g + 40 = -5*b, 0*b - 3 = b. Solve d*x - x - g = 0 for x.
5
Suppose 5 - 17 = -3*x. Suppose 2*v - x*o - 30 = 0, -3*o = -v + o + 19. Solve v = 5*j - 9 for j.
4
Let i be 0/((1*4)/(-14 - -12)). Let a be 2 + i - -2 - 3. Solve 0 = -3*q - a + 4 for q.
1
Let l(i) = i**2 + 40*i - 498. Let x be l(-50). Let w(y) = y**3 - 5*y**2 - y - 8. Let s be w(6). Solve 5*a - x = -s for a.
-4
Let u be (-175)/(-20) + 3/(-4). Suppose -c + 3 = m - u, -5*m = -2*c - 13. Solve -l = -c + 1 for l.
5
Suppose -2*l + 130 = -2*f, -5*f - 226 - 94 = -4*l. Let y = 64 + f. Solve 15 - 3 = -y*u for u.
-3
Let z be (-4 - (-14)/2) + 1. Suppose 5*s - 2*l = -3*l + 24, -2*s + 4*l + 14 = 0. Solve -z = 3*h + s for h.
-3
Let b(s) = 2*s**3 + 17*s**2 - 17*s - 63. Let t be b(-9). Suppose 0 = 4*j - 5*w - 6 - 2, 2*j + w - 18 = 0. Solve -4*h - t = j for h.
-4
Suppose 0 = 6*m - m - 140. Suppose 4*k + 3*x - m = -x, 0 = 4*k + 3*x - 24. Suppose d = -3*d + 8. Solve k*q - d - 7 = 0 for q.
3
Let p(v) = -v**3 - 26*v**2 - 122*v - 38. Let k be p(-20). Solve -k*w + 0*w = -0*w for w.
0
Let q(i) = -i**3 + 5*i**2 + i - 4. Let c be q(3). Suppose 12*u - c*u = -20. Let f(k) = k**3 + 3*k**2 - 3*k + 4. Let h be f(-4). Solve h*x + x = u for x.
4
Let h(a) = -5*a - 5. Let r be h(-4). Suppose -r = -2*i - 3. Let c be 9/i + 3/6. Solve -c*n - 3 = n for n.
-1
Let f(b) = -3*b - 6. Suppose 6*m + 7 + 5 = 0. Let r be f(m). Solve -2*c + r*c = 6 for c.
-3
Suppose -11*g - 3*g + 84 = 0. Solve -78*v - g = -80*v for v.
3
Let w(b) = 2*b - 3. Let h be w(6). Suppose -80 = -h*n + 5*n. Solve -2*x = 2*x + n for x.
-5
Let x be 9/(-15) + ((-4)/10 - -3). Let p = x - -3. Solve -p*a = -a + 20 for a.
-5
Let w(v) = 2*v**2 - 30*v - 18. Let k(a) = -a. Let n(f) = -k(f) - w(f). Let o be n(16). Solve b = o - 0 for b.
2
Let d(s) = 7*s**2 - 105*s - 68. Let a be d(18). Solve -3*j - a = -298 for j.
-4
Let u = 158 - 157. Let l be 0/((-1 - -1) + -1). Solve u = -l*s + s for s.
1
Let k(a) = -4*a - 37. Let q be k(-11). Suppose b = 1 + q. Solve 5*n - n = b for n.
2
Suppose 0 = -5*x - 5*f + 26 + 4, -2*x + 5*f - 16 = 0. Solve 5*i + x = 22 for i.
4
Suppose -5*l + 13 = 3*w, 19 = 4*l + 4*w + 7. Suppose -o - 1 = 0, l*q - 3*o = -3*q + 3. Suppose -116*m = -119*m + 6. Solve -b + q = -m for b.
2
Let i be 0 - (-1)/((-2)/(-4)). Let w be 2 - 1 - 4/((-36)/27). Solve -i*n + w = -n for n.
4
Suppose 5*r = 26 + 44. Solve r = -4*o + 22 for o.
2
Suppose 3 = 3*y - 2*i, -2*y - 10*i = -12*i. Solve 14 - 11 = y*m for m.
1
Let k be (-2)/((-14)/(-13) + -1). Suppose -3 - 17 = -4*i, 2*b = -3*i - 77. Let n = k - b. Solve 3*c + n = 5 for c.
-5
Suppose 189*f - 144 = 171*f. Solve 49*l + f = 45*l for l.
-2
Let y be (-8)/(-16)*(9 - -1). Solve -y*p + 7*p = 0 for p.
0
Suppose 0 = -4*a + 5*u - 5, u - 4 = 3*a - 3. Let z(d) = d**3 - 4*d**2 - 5*d - 2. Let g be z(5). Let h be (-1)/(1/(-12)) + g. Solve -5*k + h = -a for k.
2
Let u = 46 - 38. Suppose -7*k + 20 = -2*k. Let w be 6/15 - (-4)/(-10). Solve u = -k*c - w for c.
-2
Let d = -7 - -11. Let u be 11/3 - d/6. Suppose o - u*o = 0. Solve -3*i + o*i - 9 = 0 for i.
-3
Let x be (-14 + 82)*6/8. Solve x = h + 56 for h.
-5
Suppose -3*j = 3*j - 24. Suppose 0 = f - 4*v + 10, 2*v = 2*f - 2*v + j. Suppose -f*c + 15 = -c. Solve 2*b - c = 5*b for b.
-1
Suppose -6 + 2 = -4*i. Let v(t) = 2*t**3 + t**2 - 2*t + 1. Let w be v(i). Solve 3*j = -w*j + 10 for j.
2
Suppose 5*m - 3*s - 59 = 3*m, 0 = -4*m - 2*s + 110. Solve 5*r - 38 = -m for r.
2
Let o = 518 + -513. Solve 0*b - o*b = -15 for b.
3
Let m = -2800 + 2804. Solve 6 = -7*o + m*o for o.
-2
Suppose r = -3*i + 18 + 53, -r = -5. Solve i = 7*b - 13 for b.
5
Let s(v) = -20*v + 8*v - 15 + 17*v. Let h be s(7). Solve a - 5*a = -h for a.
5
Suppose -29*n = -212 - 223. Solve 3*i = -2*i + n for i.
3
Let y(v) = v**3 + 33*v**2 - 106*v + 75. Let d be y(-36). Solve 4*k + 5 = d*k for k.
-5
Suppose -33 + 30 = -3*y. Solve y = w + 2 for w.
-1
Let w(a) be the first derivative of -3*a**2/2 - 8*a - 8. Let m be w(-4). Suppose m*y - 5 = 75. Solve 4*z + z = -y for z.
-4
Let q = 450 - 446. Solve q*p + 6*p = -50 for p.
-5
Let v = -130 - -133. Solve -v*a = -29 + 14 for a.
5
Suppose -31*q + 63 = -10*q. Solve 6*d + 15 = q*d for d.
-5
Let w(c) = 51*c + 157. Let u be w(-3). Solve 29 = u*f + 9 for f.
5
Let s(p) = 16*p - 80. Let f be s(5). Solve f = -2*b + 3*b for b.
0
Let r(k) be the first derivative of -k**3/3 + 7*k**2 - 10*k + 26. Let p be r(13). Solve 4*t + p = -1 for t.
-1
Suppose -34*n = -623 - 227. Solve 11*j = -8 - n for j.
-3
Let f be (2/3)/(2/27). Solve 3*k - f = 6*k for k.
-3
Suppose 0 = c - 8*c + 14. Let y be c/(-3)*(-2 + -1). Solve z - 2*z - y = 0 for z.
-2
Let x be 2/7 + 8/(168/981). Solve x*o = 49*o for o.
0
Let z(r) = -r**3 + 13*r**2 - 37*r + 21. Let w be z(9). Solve -2*b + w = -5*b for b.
-4
Let y = 81 + -78. Suppose 5*q + 0*j + y*j - 19 = 0, q + j = 3. Solve 1 = q*o + 26 for o.
-5
Let j be (0 + 0)/(3 + -2 + -4). Solve 2 + j = h for h.
2
Suppose -140 = 36*y - 392. Solve -y = 5*m + 13 for m.
-4
Suppose -7*k - 7*k = -224. Suppose k = 3*p - 0*t + 4*t, 5*t - 9 = -p. Solve p*u - 17 = 3 for u.
5
Let y be (6 - (15 - 6))/(-1). Solve 0 = -16*h + 3 - y for h.
0
Suppose 18 - 3 = 5*f. Let x(g) = -f - 26*g + 27*g + 0. Let d be x(3). Solve d*c = c + 4 for c.
-4
Let g(u) = -u**2 - 7*u - 3. Let n be g(-6). Let d be (13 + -1)/n - 1. Let j(b) = -2*b - 7. Let k be j(-4). Solve -d*c - k = 8 for c.
-3
Let c be 6 + (-7 - (-11 - -2))*-2. Solve 9*i - 7 = c*i for i.
1
Let k(h) be the second derivative of h**5/20 - 5*h**4/12 - h**2 - 3*h. Let g be k(5). Let t = g - -11. Solve -5*j + 6 = -t for j.
3
Let b(d) = d**2 - 14*d + 15. Let a be b(13). Suppose -3*t + 24 = a*x + t, 5*x - 30 = -4*t. Suppose 5 = o - x. Solve o*q - 5 = 2*q for q.
1
Suppose -5*m - 15 = -4*f + 24, -2*m = -4*f + 54. Let k be (4/((-24)/(-30)))/1. Solve k*d = -9 - f for d.
-5
Suppose -7*f + 11*f - 12 = 0. Let s(m) = -3*m**f + 2*m**3 + 3*m + 3 + 0*m**2 - m**2. Let i be s(-2). Solve n + i = 3 for n.
2
Let q(x) = -x**3 - x**2 + x - 106. Let o be q(0). Let g be o/(-8) - (-15)/20. Solve g + 1 = 5*z for z.
3
Let z = -16 - -23. Let t(g) = -g**2 + 9*g - 8. Let d be t(z). Solve 0 = -5*f - d - 9 for f.
-3
Let u(t) = t**2 + 18*t + 35. Let r be u(-16). Solve -r*h + 2*h - 2 = 0 for h.
-2
Let z be (-17 + 16)/((-3)/(-12)) - -20. Solve -4*r = -8*r + z for r.
4
Let d(g) = g + 84 - g**2 - 44 - 44. Let c be d(-3). Let r be 4/(-14) - c/7. Solve -4*x = -r*x - 10 for x.
5
Let f = -26 + 28. Solve -4 = d - f for d.
-2
Suppose o - 2*w - 47 = 0, -10*o = -15*o + 4*w + 205. Solve -o*i = -31*i - 12 for i.
2
Let p(x) = -x**3 - 6*x**2 + 6*x - 9. Let l be p(-7). Let q be (-15)/(-2*l/(-4)). Let a = -12 + q. Solve -a*d = 1 + 5 for d.
-2
Let c = -24 - -24. Suppose -10*b + 80 - 20 = c. Solve -k = -b*k for k.
0
Let b(d) = d**3 - 8*d**2 + 10*d - 1. Let y = 19 - 12. Let z be b(y). Suppose -z = -7*k + 2*k. Solve 7 = k*l - 5 for l.
3
Let y = 45 - 34. Suppose -8*d - 15 = -y*d. Let b = 9 - 