 - 5*y + t for y.
-2
Let n = -305 - -148. Let j = -152 - n. Solve 4*r = 3*k + 5, -3*k - k + 45 = j*r for k.
5
Let d = 25 - 16. Let n be (-8)/(-6)*d/6. Let b(z) = 4*z**2 - 3*z. Let r be b(n). Solve -r + 5 = 5*s, -3*s = -5*w - 7 for w.
-2
Let v be -3*((-11)/22)/(2/(-268)). Let z = v + 205. Suppose -u - 4*u = -15. Solve -9 = -z*j + j, -11 = 5*r + u*j for r.
-4
Let q = -1502 + 1520. Solve -4*n - q = 2*r, -3*n = -3*r - 0*n - 9 for r.
-5
Let k be -1 + -2 - (5 + 2 - 14). Solve -k*t - 14*l = -12*l + 6, 0 = 5*t - 3*l + 13 for t.
-2
Let d(i) = 2*i**3 - 2*i**2 - i - 2. Let j be d(2). Let c be j/6 - (-4)/3. Let l be -6 - -5 - (c + -6). Solve 4*t + 12 = 0, -l*h - 2*h = -t - 13 for h.
2
Suppose 0 = -13*b - 23 + 179. Solve 0*t - 2*t = -l, 5*l + 2*t = -b for l.
-2
Suppose -9*o = -16 - 11. Solve 2*i + f - 4*f = -4, 2*i + o*f + 4 = 0 for i.
-2
Suppose -8*h + 3*h + 4 = -s, -2*s + h = -1. Let t(r) = 3*r**2 + r - 1. Let o be t(s). Solve -11 = -4*f + 3*k, 4*f = -o*k - 12 - 7 for f.
-1
Suppose 199 - 244 = -9*h. Solve 0 = 2*q - 3*t - 22, -h*q + 45 = t - 6*t for q.
5
Let a(h) = -2*h**2 - 36*h - 30. Let v be a(-17). Solve r - v*b - 6 = -2, 5*r + 3*b - 20 = 0 for r.
4
Suppose -11 = 4*o - 15. Let y be (-5)/(-10)*2 + o. Solve n = -r - 4 + 2, -n + r = y for n.
-2
Suppose -15*a + 11 = 11. Solve -2*u + 26 = -4*b, -10 = 5*u + 5*b - a*b for u.
3
Let i = 1476 - 1472. Solve 3*g - 11 = -i*x, 2*g - 3*x = -2*x for g.
1
Suppose -61 - 38 = 2*g - 5*a, 0 = a + 3. Let h = g - -62. Solve 11 = 2*c - m + 2*m, -h*m = -5 for c.
5
Let p be ((-1170)/81)/(-13)*9. Solve -5*m = -4*x + 21, 6*x = -m + x - p for m.
-5
Let a(y) = -9*y - 634. Let d be a(-71). Solve -3*r + 20 = -d*n, -3*n = n + 5*r + 16 for n.
-4
Suppose 0 = -6*l + 4*l - 16. Let a be (l/(-28))/(1/7). Solve 0 = -3*h + a*z - 1 - 2, -6 = -h + 3*z for h.
-3
Suppose 2*k = 20*k. Let r(h) = -h + 1. Let b(w) = -10. Let n(z) = -b(z) + r(z). Let y be n(7). Solve 5*s + k*s = -3*m + 13, -y*m + 2*s = 0 for m.
1
Let z = -760 + 784. Solve -4*s - z = -2*k, 5 = -3*k + 2*s + 25 for k.
4
Let u(n) = 3*n**2 + 3*n - 2. Let v be u(1). Solve 2*m + v = p + 2, -32 = 5*p + 4*m for p.
-4
Let w(s) = 6*s**3 - 1. Let d be w(1). Let a = 8 - 8. Suppose a*h + 3 = 3*h. Solve 2*o + q = -h, -o - 3*o - d*q = 11 for o.
1
Suppose 2*k - 30 = -4*y, y - 10*k + 9*k - 9 = 0. Solve 2*z = -3*b - 15, -3 = 2*z - b - y for z.
0
Let p = -192 - -196. Solve 4*g - 4*t = 20, 10 = -2*g + t - p*t for g.
1
Suppose -x = 3*x - 16. Let h(b) = 106*b - 408. Let z be h(4). Solve -t + z + 1 = 5*s, x*s - 25 = 3*t for t.
-3
Let c = -50 + 56. Suppose 3*z - 27 = -3*s + 12, 0 = 2*s - c. Solve 0 = 2*l - 4*k + z, -l + 36 = 5*k + 6 for l.
5
Suppose -u - 4*m = -16, -9 = -4*u - 5*m + 11. Let x be (-1 - 2/6)*-3. Solve 4*a + 0*a - x*k - 8 = 0, -a + 2*k + 6 = u for a.
-2
Suppose 0*o - 4*o = 4, -4*q - 58 = -2*o. Suppose 0 = 10*r - 9*r + 4*y - 21, y + 84 = 5*r. Let f = r + q. Solve -4*t - 4*x = -12, 3*t + 1 + f = x for t.
0
Suppose -71*q = -73*q + 22. Solve 3*a - 18 = 7*a + 2*v, 3*v + q = 2*a for a.
-2
Let m(z) = -z + 9. Let q be m(3). Let a(g) = 2*g - 8. Let f be a(q). Solve l = 4*y - 14, 5*l + f*y = 3*l + 20 for l.
2
Suppose -4*h + 0*h = 4*a - 40, -3*a - 10 = -5*h. Suppose -5*z - 5*y + 25 = -10, 3*y = a*z + 5. Solve 2 = -2*t - z*g, 5*g - 1 = -6 for t.
0
Suppose h = 3*h - 26. Suppose h*q = 15*q - 18. Solve -2*r + l - 23 = -6*r, q = 3*r - 2*l for r.
5
Let s = 39 + -41. Let g(n) = 2*n**2 + 5*n + 5. Let y be g(s). Solve y*p - 2*d - 21 = 0, 9 = -d - 2*d for p.
5
Let n(t) = t**2 + 20*t - 48. Let v be n(-23). Solve -3*w - 2*p + 14 = w, -3*w - 5*p = -v for w.
2
Let u = -25 - -31. Let f(y) = y**3 - 6*y**2 + 4. Let g be f(u). Solve -z = 3, 5*n + 2*z - 21 = g*z for n.
3
Suppose 0 = -5*o - 6 + 1, 0 = -4*k - 5*o + 43. Suppose z - 5*z + k = 0. Suppose z*l = 4*h - 0*l - 27, -2*l = h + 7. Solve -6 = h*q, -5*x - 4*q + 10 = q for x.
4
Let f(z) = -18*z + 566. Let a be f(31). Solve 3*p - 4*d = -a, -10 = -2*p + 3*p - 5*d for p.
0
Let k be (-13)/(52/(-24))*26/(-4). Let o be k/(-15)*(-6 - -11). Let r(p) = 2*p**3 - p**2 + p. Let z be r(1). Solve 3*t + z + o = 0, -5*t = 2*q + 17 for q.
4
Let y(z) = 3 + 94*z**3 + 4*z**2 - 5*z - 93*z**3 + 0*z**2. Let l be y(-5). Solve 2*r - 4*a - 5 + 3 = 0, 5 = l*r - 5*a for r.
5
Let j be 6 - (-10 - -7 - -3). Solve -3*a + 4*p = -0*a - j, 0 = -2*a + 4*p + 8 for a.
-2
Let j be (-1 - -11) + (-14)/((-168)/(-60)). Solve -j*o = 2*l - o + 22, 5*l = 2*o + 5 for l.
-1
Suppose 0 = -o + 7 + 2. Suppose -5*i = 2*j + 27, 0 = 2*j + 5*i - i + 22. Let u be ((-4)/(-3))/(j/(-3)). Solve v - u*v = q - 7, 0 = -4*v - 5*q - o for v.
4
Suppose 0 = -3*u - 2*d + 24, -u + 4*d = d + 3. Suppose 3*r = -h + 3*h + 3, 5*h - 3*r = u. Solve 0 = -z - z - 4, m - h*z - 6 = 0 for m.
0
Suppose d + 2*p = 45, 0 = d - 0*p + p - 42. Let y = -34 + d. Solve -y*m + l - 4*l + 14 = 0, 0 = -m - 5*l + 16 for m.
1
Suppose 0 = 4*f - 5*h - 28, -16*h + 13*h = -5*f + 22. Solve r + 2*t - 3*t = -9, -f*r + 4*t - 28 = 0 for r.
-4
Let l be 2/(1 - 2)*1. Let c be (1/3)/(l/(-24)). Solve 4 = -c*i - 3*s - 1, 0 = 3*i - 4*s + 10 for i.
-2
Let m = 11 - 11. Suppose m = -3*z + 8*z - 10. Suppose j = -z*j. Solve 5*l - 4 = 2*w, j*l = -2*l for w.
-2
Suppose -47 = -44*q + 85. Solve 3*d - 3*b = -0*b + q, 5*d = 3*b + 1 for d.
-1
Let v be ((-38)/(-8) - 8/2)*4. Suppose -20 = -2*r - v*r. Solve -4*n - 20 = -0*n, -r*g + 2*n + 2 = 0 for g.
-2
Let g(r) = -1. Let c(b) = b**3 - b + 8. Let s(w) = c(w) + 5*g(w). Let f be s(0). Solve -h + 9 = -f*q, -h = q + 4*h - 13 for q.
-2
Suppose n - 4*c = 9 + 6, c = n - 18. Solve -4*l = -3*j - 2 - 6, j - n = -3*l for l.
5
Let m = 1937 - 1934. Solve -2 = 2*l + m*f, -9*l + 5*l = f - 16 for l.
5
Suppose -55*z + 44*z = -33. Solve 3*s - 3*f + 30 = 0, -z*s + 10 = -6*s - f for s.
-5
Let m(u) = 5*u + 5*u + 11 - 12*u. Let w be m(4). Solve 0 = -w*y + 3*h - 15, 3*y + 0*h + h = -15 for y.
-5
Suppose -3*y + 10 = 2*i, -2*y = -i + 5 - 0. Let v = 3 + -57. Let x be 7/49 - v/14. Solve -4*u - 24 = -x*t, 4*u + 5*t + 6 = -y for u.
-4
Let j = 31 - 31. Suppose j = f + 17 + 1. Let v be 9/54 + (-51)/f. Solve 6*z - z - v*b - 23 = 0, 2*z - 4*b - 12 = 0 for z.
4
Let x be ((-112)/70)/(6/(-15)). Solve -11 = x*o + 4*u + 5, -3*u + 8 = -o for o.
-5
Let v(c) = c**3 - 2*c**2 + 3*c - 4. Suppose 3*n - 6 + 0 = 3*a, -5*a + 30 = 5*n. Let u be v(a). Solve -u*l + 4*l = 5*q - 28, -5*l = -3*q + 32 for q.
4
Suppose -131 = 5*l - 16. Let d = 77 + l. Let i be (4/(-6))/((-12)/d). Solve 0 = -3*w + 7*r - 3*r + 3, 4*w + i*r = 4 for w.
1
Suppose 0*k + 7 = k. Let q = 27 + -24. Solve -2*m = -2*h - 18, -m - q*h = m + k for m.
4
Suppose 9 = 5*u - 1. Suppose 0*x - 4*o = -3*x + 40, u*x - 42 = -5*o. Let z = x - 13. Solve -z*d - 3*g = 27, -4*d - 3 = -2*g + 3 for d.
-4
Let r = 287 + -204. Let o = r - 80. Solve -o*u = c - 3*c - 18, u = 3*c + 13 for u.
4
Let o(z) = -3*z - 170. Let v be o(-61). Solve -4*m - 4*h + 8 = 0, 0 = -m - 3*h - 1 + v for m.
-3
Let b be ((-1 - 1) + 2)*-1. Suppose -5*l + 2*c + b*c - 20 = 0, -4*l = -2*c + 14. Let r be l/(3*4/(-8)). Solve 5*o + 31 = 2*v, -3*v = -r*o - 2*v - 23 for o.
-5
Let g(t) = 11*t. Let b(a) = -5*a. Let q(w) = -14*b(w) - 6*g(w). Let s be q(1). Solve 3*k - s*k + 1 = 4*v, 4*k = v + 4 for k.
1
Let h = -6 - -11. Let j(d) = -2*d - 3 + 2 + 0 + 0. Let u be j(-3). Solve 0 = -3*f - h*g - 25, 2*f + 0*f - u*g = 0 for f.
-5
Let u be (1 - -6) + -7 + 4. Solve g + 3*g - 22 = j, 0 = 2*g + 3*j - u for g.
5
Suppose 0 = 3*w + 81*l - 76*l + 16, -4*w + 27 = -3*l. Solve -5*p = -4*f + w, -5*p - 3*f + 5*f + 1 = 0 for p.
1
Let y = -88 - -100. Let r be ((-5)/3)/(5/(-15)). Solve 5*x - a + y = 3*x, -r*x = 5*a + 15 for x.
-5
Suppose -7*z - 19 - 16 = 0. Let p be 2/z*(-3 - 7). Solve -2*o = 4*f - 4*o - 24, 0 = 2*o + p for f.
5
Let z(k) = -k**3 + k**2 - 9*k + 6. Let q be z(0). Solve 4*t - q*t - 12 = -4*f, -2*f = 2*t - 18 for f.
5
Let r(d) = -d**2 - 5*d - 6. Let j be r(-2). Suppose j*p - 110 = -11*p. Solve f - 2*w + 3 = 1, -2*f - 3*w + p = 0 for f.
2
Let h be 1/(-2 + 7/3). Suppose 0 = 17*t - 113 + 113. Solve -4*n + h*z - 20 = -t*n, 5*n + 3*z = -25 for n.
-5
Suppose 14*l - 34 = 148. Suppose q = -q. Solve -4*g + l = 4*x - 7, -4*g + 4*x - 20 = q for g.
0
Suppose 9*m = 16*m - 35. Solve -2*f - m*z + 22 = -z, 0 = -3*f - 4*z + 23 for f.
1
Let t = -1527 - -1529. Solve -3*d - 2*g = -3, -3 = -5*d - g + t for d.
1
Let 