 -t + o, -2 + 19 = -2*c + 3*t for c.
-1
Let p(q) = q**3 - 20*q**2 + 18*q + 31. Let v be p(19). Let z be 8 - (v/(-4) - -4). Solve -z = -3*n - 4*i, -5*n - 2*i + 1 = 2*i for n.
-3
Let m = 49 + -38. Suppose 0 = m*g - 6*g - 50. Solve -10 = s + l, 3*s = 5*s - 4*l - g for s.
-5
Suppose -8*l = -3*l. Let m = 40 + -31. Suppose 12 = -2*p - 4*a + 2, -p - m = 3*a. Solve l = -w - k + 3, -w = k - p*k for w.
2
Let c(o) = 10*o + 10. Let s be c(5). Suppose 4*y - s = -0. Let x = y - 9. Solve w = 2, -4*w = -u + 2*u - x for u.
-2
Let k = 273 - 269. Solve 0 = -k*a - 5*c - 4 - 14, 2*a = 2*c for a.
-2
Let x(n) = n**3 - 7*n**2 + n. Let w be x(7). Let k be (-1 - (3 - 6))*(-24)/(-16). Solve -5 = -k*i - h, 5*h + w = -13 for i.
3
Suppose 4*n = -16, 5*p - 3*n - 19 - 93 = 0. Solve 0 = 3*g - j + 11, 3*g + g + 4*j = -p for g.
-4
Let z be ((-48)/(-21) - 10/35) + 0. Suppose -z*t = -10, -3*t - 2*t = -2*n - 19. Solve 4*j - n*k + 22 = 0, 7 = -2*j - k + 1 for j.
-4
Suppose 60 = -3*x + 72. Solve -x*o + 5 = -r + 4, r - 2 = o for r.
3
Suppose 0 = -2*y + s + 5, 18 = 4*y + 4*s + 2. Let n be 1*((-6)/(-27) + (-13)/((-936)/200)). Solve y*q - 3*w = 12, 4*w = 5*q - 13 - n for q.
0
Let w = -26 + 31. Let l be 0 + 1 + 20/w. Solve 12 = -3*s - 0, l*c = 2*s - 7 for c.
-3
Let x be 18/108 + (-34)/(-12). Solve p = -2*w - 9 - 1, x*p + 3 = 3*w for p.
-4
Let u(t) = -t**2 - 7*t + 2. Suppose -20*s + 18*s = 14. Let d be u(s). Solve 4*m - 3*x = 35, 0*x = d*m + x - 5 for m.
5
Let h(v) = -v**3 - 9*v**2 + v + 12. Let u be h(-9). Let t = u + -1. Solve 0 = -5*x - 3*o, 5*x - t*o + 25 = -0*o for x.
-3
Let c = 30 - 27. Solve -h = -5*x - c, 0 + 10 = -2*x - 4*h for x.
-1
Let k be 6/(-18) - (-2)/6. Suppose k = -u + 4 - 22. Let n = u + 22. Solve -3*g - 10 = -y - 0*g, 4*g = n*y for y.
-5
Suppose -3*y + 3 + 21 = 3*j, 5*y - 5*j = 0. Let u = 14 - 7. Solve 0 = -y*v + 5*z, -3*z = -4*v - u*z for v.
0
Let j(u) = -u**2 - 8*u - 4. Let o be j(-7). Suppose 3*t - 5*a - 5 = 0, a + 3 = o*t - 10. Solve 12 = t*h - 4*r, 0 = 3*h - r - r - 6 for h.
0
Let i = -369 - -259. Let y be i/(-33)*(-18)/5. Let m be 8/y*9/(-3). Solve 5*q + 6*j = 2*j + 11, -m*q + 18 = 5*j for q.
-1
Suppose o = 6*o - 20, -t - 12 = -3*o. Suppose -v + 4 + 2 = t. Let g = 10 - v. Solve f + 26 = 5*x + g, 0 = 2*f + 3*x - 8 for f.
-2
Let k(y) = 2*y**3 - y**2 + 2*y. Let s be k(2). Let c = -5 + s. Let j = c - 7. Solve 0 = 4*g - 5*m + 21, 13 = -g + 5*m + j for g.
-4
Suppose 0 = 2*z - f - 3, 79*f + 2 = 2*z + 77*f. Solve y + 2*c + 9 = 0, -6*y = -4*y - z*c - 6 for y.
-1
Suppose 0*g = g + 1. Let h be g/(-2)*(1 + -1). Suppose 0 = -3*u + 10 - 4. Solve -u*i = -h*r - r, -2*r = -2*i - 4 for r.
4
Let w = 13 + -13. Let i be (w/2 + -1)*-5. Let o(g) = g**2 - 6. Let b be o(i). Solve k + 4*k - 3*l + b = 0, 0 = -4*l + 12 for k.
-2
Suppose -31*u + 1500 = 94*u. Solve 28 = -4*s + 8*s + 3*m, 4*s = m + u for s.
4
Let h = 5 + 0. Suppose -m + h = -0. Solve 0 = f + 4*l + 10, -m*l = 2*f - 2*l + 10 for f.
-2
Let w(v) = v**2 + 3*v + 2. Let j be w(-2). Solve 5*h - 5*u - 45 = j, 0 = h - 3*h - u + 3 for h.
4
Let t be (1/((-6)/4))/((-3)/27). Suppose 2*z - 4*u = -t, 0*u - 5 = -u. Solve -m - 2 = 0, -2*m = z*c - 3*c + 12 for c.
-2
Suppose 5*r + 0 + 4 = 3*a, 2*r - 5 = -a. Let j be (-2 + 2)/(136/34). Solve -2*k + 8 = j, k + 14 = -3*s + a*k for s.
-2
Let w(t) = t**2 + 6*t + 5. Let k be w(-5). Suppose 33*b = 39*b. Solve 5*c + 5*u + 1 + 9 = k, b = 2*c - 4*u + 16 for c.
-4
Let d(s) = s**3 + 21*s**2 + 10. Let x be d(-21). Suppose 2*o - x = -6. Suppose -3*w - 5 = 4*k, -2*k = k + o*w + 3. Solve 3 = 3*r - 0, 5*i - r = -k for i.
0
Let m = -109 - -112. Suppose 3*j + 8 = 4*j - f, 3*f = 2*j - 11. Solve m*x + 5*t + 4 = 0, -t = -x - 3*x - j for x.
-3
Let q = 38 - 39. Let o be (-6)/q + -1 + 0. Solve -3*k + 15 = k + 5*b, -5*k + o*b + 30 = 0 for k.
5
Suppose 3*h + 10 = 2*l - 6, -h = 0. Solve -5*t - 22 = 3*v, -3*v = -2*t - 5*v - l for t.
-5
Suppose 12*b + 2 = 74. Solve -x = 2*d + 10, 8 = 4*d - b*x + x for d.
-3
Let g be 1/(-3) - (-416)/24. Let z = g + -14. Let v = -2 - -7. Solve v = u + c, -z*c + 0*c = 5*u - 15 for u.
0
Suppose -3*u = 28*u - 62. Solve -2*k - i - 4 = u, -3*k + 13 = -4*i for k.
-1
Suppose 4 = -7*g + 11. Suppose f + o = -2*o - 4, -1 = f + 2*o. Let d(r) = r**2 + 3. Let s be d(-4). Solve -5*c + s = l, 0 = f*c - 21 + g for l.
-1
Suppose -3*h = 3*w - h - 153, -5*w + 257 = 4*h. Let k = w - 42. Solve d + k = 4*v, 3*v + 2*d = d for v.
1
Let t = -6 + 8. Let b be t/7 - 36/(-21). Suppose -b*v + 26 = -0*v. Solve 5*i + k + 2*k = v, 2*i - 5*k + 1 = 0 for i.
2
Let l(s) = -s - 3. Let r be l(-5). Suppose -4*v = -r*v. Let o be (-7 + (-3 - -12))*1. Solve v = 3*m - 5*n + 12, o*m + 0*n = -4*n + 14 for m.
1
Let t(c) = -4*c + 29. Let f(y) = 9*y - 58. Let g(q) = 2*f(q) + 5*t(q). Let w be g(13). Solve -a + 7 = w*z, 2*z - 2*a - 10 = -0*a for z.
3
Let l be 22*-1 - (-16 - -17). Let d = -21 - l. Solve -5*o - 26 = -5*v - 2*o, -d*o - 4 = 0 for v.
4
Suppose 0 = 56*n - 40*n - 64. Solve 0 = -b - 0*b + n*j - 20, -4*b + 2*j - 24 = 0 for b.
-4
Let i be 13 - (-1 + (-54)/(-6)). Solve s - 7 = i*h, -5*s + 3*h + 18 = -9*s for s.
-3
Let k be (-7)/(-7)*5 - (4 + 1). Solve 5*j = -3*t - 40, k*t + 5 = -5*j + 4*t for j.
-5
Suppose 17*b - 73 = -22. Solve s + q = 2, b*s - 10 = -0*q - q for s.
4
Suppose 5*v = -5*b + 55, 2*v + 0*b - 26 = -b. Solve 2*n - 5 = -4*c + v, c = 2*n + 5 for c.
5
Suppose 2*c + 6 = f - 2, -3*f - 2*c - 8 = 0. Suppose f = -w - w + 8. Let j = 1 + w. Solve -2*g - 5*q = -j*g + 5, 3*q = -g - 17 for g.
-5
Let w(g) be the first derivative of -g**3/3 - 9*g**2 - g - 15. Let u be w(-17). Solve 4*d = -r + u, -3*d - r + 5 = -6 for d.
5
Suppose f + 2*u - 8 = 0, 0 = 28*u - 24*u + 4. Solve -w + f = w - t, w - 14 = 5*t for w.
4
Suppose 22*s - 18*s = 408. Let h be (-20)/50 - s/(-5). Solve -4*q = -4*b + 2 + 2, -5*b = -h for q.
3
Suppose -6*k = -k. Suppose k = -y + 2*p + 5 + 6, -2*p = -4*y + 20. Suppose 0 = 24*l + 66 - 426. Solve -2*i + l = 3*c, 4*i + 2 = -y*c + 17 for i.
0
Let v be (-420)/(-25) - -4 - (-1)/5. Suppose 5*s = -4*c + v + 4, 0 = 4*c - s + 5. Solve c = 3*t + 15, j = -4*j + 2*t + 10 for j.
0
Let r(i) = i**3 - 32*i**2 - 31*i - 61. Let d be r(33). Solve -d*z = -4*k + 9, 0 = -5*k + 3*z + 3 + 5 for k.
1
Let a = 32 + -32. Suppose 0*l + 4*l = 0, a = 2*x + 2*l - 8. Solve 3*u + x*j + 8 = u, -4 = u + 4*j for u.
-4
Suppose 0 = 8*h - 4*h + 24. Let f(j) = j**3 + 5*j**2 - 7*j - 1. Let c be f(h). Solve -d - c*v = 15, -d + v + 1 = -8 for d.
5
Suppose 3 = -v + 10. Let f be (-37)/v + 30/105. Let j(b) = -b**3 - 5*b**2 - b - 3. Let x be j(f). Solve -c + 12 = 4*m, 0 = x*m - 5*c - 2 - 4 for m.
3
Suppose 0 = 10*i + 79 + 41. Let v be (i/9)/((-3)/((-9)/(-2))). Solve -4*o - 4*b - 8 = 0, -3*o - v*b - 4 = 2*o for o.
0
Let x be 0/(3 - (-15)/(-3)). Suppose 14*m = -x*m + 56. Solve c - 5 = 3*z, -m*c - 5*z - 8 = -28 for c.
5
Let c be -12*((-12)/(-3))/(-16). Suppose 12 = 7*l - c*l. Suppose 0*f = -l*f. Solve 2*n - 4*g + f*g + 20 = 0, -n = 2*g - 6 for n.
-2
Let y = 31 - 16. Suppose 0 = -10*h + 7*h + y. Suppose -2*j + h*j = 0. Solve -b - 3*o + 11 = j, -b + 8 + 1 = 2*o for b.
5
Suppose -26*y + 22*y = -24. Suppose 3*f + 2*i - y = 0, 2*f - 4 = -2*i - 2. Solve -5*m = 2*q - 6*q + 7, 2*q - 10 = -f*m for q.
3
Suppose -167 + 107 = -6*f. Solve 5*j = f, k = j - 6*j + 15 for k.
5
Let q(a) = -2*a**2 + 67*a - 73. Let l be q(32). Solve v + l - 7 = -4*r, -2*v = -4*r - 16 for v.
0
Let q = 100 + -97. Solve -l - q*n = -0*l + 15, 3*n + 15 = 4*l for l.
0
Let m(g) = -g - 27. Let i be m(-30). Solve 13*w - i = 12*w + a, -5*w + 14 = -4*a for w.
2
Let v be 2 - (-7)/(-1) - -9. Solve 0 = -v*r + 3*x - 3, 3*r - 2*x - x = 0 for r.
-3
Let w be (-28)/(-6) + (-1)/(-3). Suppose -w*r + 4*r = -2*b + 1, b + 16 = -5*r. Let i be (-5 - 1)/(-1 + b). Solve -z = -2*j + 3, -2*j = -0*j + i*z + 9 for j.
0
Let h be (-3 + 1)*(-1)/1. Suppose -h*t - 1 = -t. Let x be t - (-2)/1 - -6. Solve -3*y = 4*n - x*y + 4, y = 2*n + 6 for n.
-5
Let i be ((5 - 0) + -4)/((-1)/(-5)). Solve -i*a + 6 = 2*q, -a + q - 9 = -2*q for a.
0
Suppose 36*s - 274 + 94 = 0. Solve 2*r - 6*r = 12, 0 = -s*o + 5*r + 30 for o.
3
Let p(o) = -25*o - 1640. Let q be p(-66). Suppose 5*k + 4*w - 26 = 0, -5*w = -3*k + 6 - 20. Solve 4*s + x + 20 = 0, -5*x - q = k*s - 3*x for s.
-5
Let u = -55 + 57. Let s(g) = g**2 - 5*g + 9. Let r be s(u). Solve 3*m = -3*j + 3, -r*m - 5 = -5