 Solve 3*x = -4*t + 32, -2*t - o*x = -t - 25 for t.
5
Let n = 16 - 45. Let p = n + 34. Solve y = 3*g - 0*y - 15, -4*g - p*y + 1 = 0 for g.
4
Suppose -5*a + 2*a = -4*w - 52, 0 = -2*a - w + 20. Solve -n - a = -3*f, 0 = -11*n + 6*n - 5*f + 40 for n.
3
Let m be (-8 - (-54)/7) + (-205)/(-7). Solve -5*i + 5*n = -35, 2*n = 5*i - 0*i - m for i.
5
Let z = 133 - 130. Solve 8 = v + 2*v - 2*n, z*n = -3*v + 18 for v.
4
Let p be ((-2)/2)/(4*(-6)/48). Suppose 2*x = 2*u + p + 12, x = -u - 1. Solve -5*i + 3*i = -x*z - 8, -3*i + 12 = 5*z for i.
4
Let b be (-32)/(-20)*105/42. Solve 0*r + 2 = r + x, -3*r + b*x = 1 for r.
1
Let a = 148 - 151. Let n(u) = u**3 + 7*u**2 + 7*u + 1. Let l be n(-5). Let b = l + a. Solve -2*c - 2*y - 6 = 2, -4*y - b = 3*c for c.
-3
Suppose -41*t = -36*t - 20. Solve -3*d + 0*d = -4*o - 9, t*d - 8 = 4*o for d.
-1
Let p be (28 + -28)/(0 - 4). Solve p*a + 2*o - 20 = 3*a, -o = 3*a + 8 for a.
-4
Let n be (6/(-15))/(6/(-60)). Let c be 20*-2*2/(-10). Suppose -2*g + c = n. Solve -4*o = m - g*o + 4, -4*m = -3*o - 17 for m.
2
Suppose 3*j + n - 11 = 2*n, -n + 17 = 4*j. Solve -3*b = 3*x - 6, 0 = -x - 2*x + j*b - 22 for x.
-2
Suppose -g = -0*g - 3*t + 4, t = -g + 12. Suppose 5*o = -2*l + 10, 2*l + 2*o + g = 6*o. Solve l = -r + s + 1, 2*r + s + 8 = -2*s for r.
-1
Suppose -4*c + 8 = b - 5, -25 = -5*c - 3*b. Solve p + 2 = -c*k, 10 = p - 6*p + 5*k for p.
-2
Let n be -2 + 4/(-2 + -2)*57. Let s = -56 - n. Solve h - 4*t - 7 = -2*t, -s*t = 12 for h.
-1
Suppose 6*r - 11*r + 20 = 0. Suppose 5*f - r*j - 50 = 0, -3*f - 7*j - 7 = -2*j. Solve 5*m + 35 = 5*u, 5*m = 3*m - 2*u - f for m.
-5
Suppose 79*a - 77*a = 8. Suppose a*k + 26 = 2*p, -p + 3*k + k = -23. Solve 0 = 4*w - h - 17, -p*w + h + 2*h = -6 for w.
5
Suppose 0 = -2*t - 12 + 20. Suppose -67 + 23 = -t*q. Solve 2*z - h = q, -2*z + 6 = 5*h + 1 for z.
5
Suppose 41*t - 89 = 75. Solve -2*d = -5*s + 8, 0*d - t*d = 3*s - 10 for d.
1
Suppose 0 = 19*t - 4*t - 270. Suppose 2*s + t = -q + 3*q, -3*q - 3*s - 3 = 0. Solve 0 = 3*l + 2*l - 25, q*l - 30 = 2*g for g.
-5
Suppose -162*d = -153*d - 36. Solve 3*j + 5*z - z = -d, -3*j - z = 1 for j.
0
Suppose -4*a - 4 = -3*b, 2*b - 4 - 4 = 0. Let d be 0 + (a - 3) - 3. Let w(o) = 2*o**2 + 8*o + 3. Let x be w(d). Solve n + 8 = x*u, u = -4*u - 2*n + 17 for u.
3
Let k be ((-1)/2)/((-2)/12). Let d = -76 + 76. Solve 2*m - k*x + 1 + 6 = d, 8 = -5*m - 2*x for m.
-2
Suppose -114 = 2*j - 59*j. Solve -5*c - 4 = -3*c + x, -j*x = c - 1 for c.
-3
Let g be (-1)/(-1*4/(-12)). Let j be g - ((-12)/4 - -3). Let v be 14/(-42) + (-7)/j. Solve -5*o - v*m + 11 = -24, 0 = -2*o - 3*m + 25 for o.
5
Suppose 0 = -z + 18 + 38. Suppose -f - 3*f = -z. Solve -h - 4*s - 1 - f = 0, 5*h + s = 1 for h.
1
Let g = 702 - 699. Solve p + 5 = -g*m, -5*p - 3*m - 14 = m for p.
-2
Suppose -12*t + 11*t = -3. Let w be t/12*(17 + -1). Solve i - 13 = -d + 5*i, 0 = -d - w*i - 19 for d.
-3
Let j(y) = -y**3 + 5*y**2 + 4*y + 14. Let u be j(6). Solve -4*k - u*s - 16 = 0, 10*s + 7 = k + 5*s for k.
-3
Let t(o) = o - 12. Let s(h) = h**3 - 11*h**2 + 9*h + 8. Let y be s(10). Let w be -30*1*y/4. Let j be t(w). Solve k + j + 4 = u, k = 5*u - 19 for k.
-4
Suppose -84*c = -100*c + 48. Suppose 5*i = -0*i. Solve -2*n + 4*t - 2*t = 0, -c*n - 4*t = i for n.
0
Let k = -278 + 282. Solve -3*i - 12 = -5*f, 4*i + k*f = 3*i - 4 for i.
-4
Suppose t = -1 + 31. Suppose 4*z = -z + t. Let r be (-21)/(-7) - 3*20/(-15). Solve -4*q + 3 + r = -2*b, -z = b - 3*q for b.
-3
Suppose -4*w + 6*w = -12. Let f = w - -6. Let k be (0 - f)*(-7)/21. Solve -2*p - 20 = -2*y, k*y + 20 = -p + 3*y for p.
-5
Suppose -4 = -j, j = -3*x + 5*j + 2. Suppose 4*f = 2*m - 6, -f - x = -2*m - 0*f. Solve -4*k = -i + 8, 4*k + 2*i = -m*i - 32 for k.
-3
Suppose 200 = 2*z + 174. Solve 4*w = i - 8, -2*w + 3*w + z = 3*i for w.
-1
Let d be 14/(-4)*32/(-56). Let t be ((4 - 4) + d)*2. Solve -v + t*i = -3, 0 = -0*i - 2*i - 4 for v.
-5
Suppose 4*o - o = -y - 16, 3*o - 72 = 3*y. Let w = 24 + y. Solve v = w*x - 3*x - 1, x + 13 = -4*v for x.
3
Let n be (-100)/(-125) - (-31)/5. Suppose 2*k - 2*g - n = -3*g, 2*k + 3*g - 1 = 0. Solve 4*q = -k*v - 8, -v = -q + 4*v - 2 for q.
-2
Let o = -1889 - -1893. Solve 13*x - 18*x + 3*f = -29, -o*f - 8 = x for x.
4
Suppose -2*b + 198 = 5*t, -b + 156 = 2*t + 2*t. Let z = t - 35. Solve 0 = 4*o + z*m + 2 - 21, 2*m = -o + 11 for o.
1
Let a = 1492 - 1464. Let o(l) = l**2 + l - 4. Let p be o(-3). Solve 0 = -h - 5*g - a, p*g + 1 = h + 2*h for h.
-3
Let t be 138/30 + (-3)/5. Suppose 0 = 4*o + t*l - 48, 5*o - 2*l - 38 = 15. Solve -6*i - 25 = -o*i - 5*z, -4*z + 20 = 0 for i.
0
Let z be (-2 + 0)/((-42)/168). Solve -m + 0*m + i + z = 0, 4*m + 2*i = 14 for m.
5
Suppose 4*h = -h + 20. Let i(u) = -u**3 + 4*u**2 + 5*u - 8. Let d be i(4). Solve 4*s - h = -y, 0 = -s - y - 2*y + d for s.
0
Suppose a + f = 2, -4*a + 0*f - 6 = -3*f. Suppose a = -14*b + 19*b - 160. Solve -h + 5 = -2*q - 7, 3*q = 5*h - b for h.
4
Let k(u) = u**3 - 9*u + 2. Let m be k(-3). Let z(b) = b**2 + 3*b. Let i be z(-4). Solve i*r = -2*p - 6, r = -m*r - 4*p - 17 for r.
1
Let d = 40 + -40. Suppose d = 3*n + 2*n. Solve u + n*w = -5*w - 15, 2*w = u - 13 for u.
5
Suppose -q - 2*g = -4*g - 13, 0 = 3*q - 4*g - 29. Solve w + 1 + 2 = 0, -q*b + 5*w = -24 for b.
3
Let y = 105 - 103. Solve 3*b + 0 = -o - 7, -y*b - 13 = -o for b.
-4
Let i be (16 - 15)*(1 - (-1 - 1)). Suppose 0 = -5*b + 13 + 2. Solve 2*h = 5*z - 31, b*h - 8*z = -i*z - 34 for h.
-3
Suppose f - 2*a + 26 = 0, -f = 4*a - 11 + 43. Let p = -23 - f. Solve 2 = -p*w - 13, 4*w + 9 = -g for g.
3
Let i(y) = 2*y + 6. Let w = 22 + -20. Let q(b) = 2*b - 1. Let d be q(w). Let a be i(d). Solve -a = 3*f, 0*f - 4*f - 31 = 3*u for u.
-5
Let h = 196 + -187. Solve 2*o + 2 = 2*p, 0 = -3*o - p - 2*p + h for o.
1
Let s be 2 + -1 + -3 + 2. Let w be (-18)/(-3) + 18/(-6). Suppose w*l + 2*m = 8, -5*l + m + 9 = -0*m. Solve 3*x + 20 = -2*x, s = -l*f - 5*x - 14 for f.
3
Suppose 2*x + 2*n = 59 - 3, -2*n - 99 = -3*x. Suppose x = 4*l + 15. Solve -3*g + 6*g + 3*h = 6, 3*h = l*g - 22 for g.
4
Suppose 36 = 3*t - 15. Solve 5*r - 3*r = -4*q - 18, -3*r = q + t for r.
-5
Suppose 4*c = -c - 0*c. Let l be ((0 + c)*(3 - 4))/2. Let y = 3 - -1. Solve y*i + l*i + 5*u + 5 = 0, -4*u + 37 = -5*i for i.
-5
Let x = -67 + 72. Suppose 5 = 5*b - x. Solve 3*s + 7 = b*w, -w = 4*s + 2 + 22 for w.
-4
Let m(n) = 5*n + 155. Let g be m(-30). Solve 7 = -v - h, v + g = -4*h - 8 for v.
-5
Let u = -16 - -24. Let l(x) = x - 6. Let k be l(u). Suppose -o = 4*o - 20. Solve k*j + 5 = -y, -2*j + 0*j = -o*y for y.
-1
Let r(l) = 4*l**2 + 6*l**2 - 6*l**2. Let h be r(-1). Suppose -40 = 14*y - 16*y + a, 3*a = -6. Solve 19 = -3*p - h*o, 5*o + 1 + y = 0 for p.
-1
Suppose 11*g + 183 = 72*g. Solve n = g*a - 1, -5*a - 3 + 8 = -5*n for n.
-1
Let w = 291 - 287. Solve x = -g, 0 = 4*g - w*x - 5 - 35 for g.
5
Let q(c) = 1. Let z(g) = -g**2 - g + 10. Let y(o) = -6*q(o) + z(o). Let b be y(-2). Solve 5*s = 2*r + s + 6, b*r - 2 = 2*s for r.
5
Suppose -3*f - h + 23 = 0, 7*f - 2*h = 3*h + 39. Solve 2*q + f = -p, 0 = p - 0*p - 4*q - 23 for p.
3
Let f = 72 + -30. Suppose 2*b = -30 + f. Suppose 10*x - 8 = b*x. Solve 2*t - 8 = -4*r, 0 = x*r + 5*t - t - 10 for r.
1
Let n(f) = -2*f - 18. Let t = 48 + -59. Let z be n(t). Solve 10 = 3*o + 2*o - 2*l, -z*l = 2*o - 28 for o.
4
Suppose -5*f + 17 = g, 7 = 2*f + 1. Solve -3*v + 0*v - g*m = 1, 4*v - 3*m + 24 = 0 for v.
-3
Let i be (2/(-4)*0)/2. Suppose -4*w + 8 = -0*w. Let q(p) = 2*p**3 - 2*p**2 + 4*p - 3. Let b be q(2). Solve i = 5*r + w*a + a + b, 0 = 2*r - 2*a + 2 for r.
-2
Let g be 90/36*(-12)/(-10). Suppose -4*t + g = -3*t. Solve -o - 18 = o + 4*h, -t*o - 3*h = 15 for o.
-1
Let l be (18/4)/(57/152). Solve 17 - 5 = -2*c + z, -2*z = 5*c + l for c.
-4
Let c = 25 - 29. Let u be c/10 + (-24)/(-10). Solve -5*k - u*n = -10*k + 11, -3*n = 2*k - 12 for k.
3
Suppose 2*u - 6*v = -v - 13, 2*u + 3*v = 27. Let r be 2/u + 98/21. Solve -4*n = -0*o + 3*o + r, -2*o = 5*n + 1 for o.
-3
Suppose -3*i = 5*l, -2*l = 7*i - 5*i. Solve 14 = 2*p + 5*s - i*s, 14 = 3*p + 4*s for p.
2
Let z be 2 + 6/(-3) + 1. Let j be (3 - 2) + (z - 2). Let d = j - -5. Solve 2*i + 2 = i, -t = i + d for t.
-3
Let u = 40 - 14. Let m = u + -23. Solve 4*c - 4*h = 20, m*c + h + 4*h = 15 for c.
5
Let b be ((-132)/(-99))/(44/18 - 2). Solve k + b + 4 = 4*s, 5*s = 3*k f