 = d*x - 35 for t.
-5
Let b(g) = -g**2 + 12*g - 27. Let p be b(9). Solve 1 = -z, -3*a - 13 = -p*z - 2*z for a.
-5
Suppose -8*n - 151 = -551. Let h = n + -47. Solve h*i + 5*f - 2*f = 24, 0 = -5*i + 5*f for i.
4
Let y(d) = d**2 + 50*d + 633. Let b be y(-25). Solve -2*n = -b, 4*j + 11*n = 6*n + 28 for j.
2
Let h(b) = -b**3 + 2*b**2 + 12*b - 11. Let w be h(4). Solve -14 = -3*i - n, -w = -n + 6*n for i.
5
Suppose -188*a - 30 = -194*a. Solve 16 = a*h - b - 3*b, -b = -h + 3 for h.
4
Suppose 3*t = -5*p + 18 + 3, t + p - 7 = 0. Solve -3*v - 5*j - 14 = t, -v - j = 5 for v.
-2
Let f be 1/(1/(-2))*-6. Let b = 13 - f. Suppose -2*g = 2*l - 18, l = -2*g + b + 12. Solve 2*z - 15 = -0*y + 3*y, -4*z = l*y + 25 for z.
0
Let b(g) = -2*g - 2. Let i be b(-5). Solve 4*r = -2*y + i, 0 = 5*y - 3*y - 3*r + 6 for y.
0
Suppose 2*q + 4 = -o, -2*o + 1 - 5 = 0. Let x(n) = -n**2 - 3*n - 2. Let r be x(q). Solve 0 = -5*a - r*a - 5, 1 = 5*y - a for y.
0
Let f be 33 + 2/(-4)*-6. Suppose -t = -3*t + f. Suppose -5*q - 3 = -t. Solve 4*c - 23 = -r, -7*r + q*r + 12 = 0 for c.
5
Let y = 27 + -19. Suppose 0 = -2*s + 5*n - 17, -3*n + 1 = -y. Let t = 3 + s. Solve -3*h - 14 = -t*h + 2*k, -k + 11 = -4*h for h.
-4
Suppose 0 = 2*l + 5*g + 5, 5*l + g = 8*l - 1. Solve 4*m = 5*r + 24, 5*m + l*m = -5*r - 15 for m.
1
Let l(h) = -h**3 + 8*h**2 + 17*h - 52. Let o be l(9). Solve -4*d + 5*z = -3*d - 4, o = 5*d - z for d.
4
Suppose -3 = 2*k - 9. Suppose 0 = -4*i - 5*q + 27, -i + k*q = 3*i - 3. Suppose -20 = -i*x + x. Solve 4*c - 5 = t - 4*t, -3*c - x = 5*t for t.
-5
Let m(v) = 5*v - 35. Let q(k) = 12*k - 88. Let g be q(8). Let y be m(g). Solve 4*r + 0 = -y*c + 3, -2*c - 3*r + 4 = 0 for c.
-1
Let x(p) = p**2 - 5*p + 6. Let l be x(3). Let w be l + 15 + 1/1. Solve -4*j + 2*t - 12 = 0, 0 = 5*j - 2*t + w + 1 for j.
-5
Suppose -566*v - 44 = -588*v. Solve -3*h = -2*z - 4, -3*z + v*h - 13 = h for z.
-5
Suppose 0 = -18*c - 635 + 689. Solve -2*l - 8 = 0, c*i - 3*l - 12 = 8*i for i.
0
Suppose 3*c - 4*s = 10, 4*c + 2*s - 12 = 7*s. Let a be 37/7 + c/7. Solve -2*w + a*y + 15 = 0, -5*w - 10 = -5*y + 2*y for w.
-5
Let c(u) = -4*u - 10. Suppose 3*d + 1 = -2, -3*d + 69 = 4*t. Let j = -21 + t. Let v be c(j). Solve -2*x - 2 = 2, 2*k + x = v for k.
2
Suppose 17*f - 9*f = 168. Suppose -3*d + f = 3*a, 2*a - 2 = -0. Solve -6 = b + b, 0 = -4*m + 2*b - d for m.
-3
Let y(m) = m**2 + 22*m - 47. Let t be y(-24). Solve 4*a + 5*f + t = -2, a - 4*f = 15 for a.
3
Let s = -34 + 37. Suppose 3*m + s*g = 12, -16 = -4*m - 2*g - 2. Solve 0 = -r - 2*d, -m*d = -5*r + 6*r - 2 for r.
-4
Suppose h = -14 - 0. Let m be h*((-6)/(-4))/1. Let n = -21 - m. Solve 3*t - 5*f + 8 = n, 0*t - 5*f = -5*t for t.
4
Let j(x) = -x**3 - 10*x**2 + 10*x - 6. Suppose -4*m - 28 = 16. Let z be j(m). Let q be 6/(3 - z) - -23. Solve p - 4*h = -1 - q, -2*h + 28 = -4*p for p.
-5
Suppose 2*h = -5*x + 4, -4*h - 4*x + 3 = -5. Solve 2*q + 2*g = 4*g - 2, 0 = -3*q - h*g - 3 for q.
-1
Suppose o + 6 = -2*w, 7*o = 2*o + 4*w + 40. Suppose 0 = 3*a - 23 - o. Solve -v - c = -a, -3*c = v - 5 - 14 for v.
4
Let d = 164 - 161. Solve d*q = -2*v + 1, -5*v = -2*q + 2 + 5 for q.
1
Suppose 3*f + 17 = 68. Let y = -34 + 34. Suppose -p = -y*p. Solve d - 3 = i, -4*i - f = d - p*i for d.
-1
Let z = 17 + -10. Suppose m = -2 + z. Solve 0 = -m*y - 5, 0*h + 4*h + 5 = -y for h.
-1
Let i be -3 - (-2 + 2 + -2 + -4). Solve i*j = p + 7, 0*p + 4*p - 8 = 0 for j.
3
Let w be (9/(-7))/(51/(-238)). Let p be (-2)/(-9) + 25/9. Solve -a + 4 = 0, w*a - 3*a - 12 = p*k for k.
0
Suppose d + 4*d + 40 = 0. Let b be 1 + -1 - 16/d. Solve -5*p - 9 = -3*y, 0 = -2*p + y - 5 + b for p.
0
Suppose -3*b + 12 = -3*a, 2*a + 25 = 4*b + 7*a. Suppose b = 7*i - 9. Suppose -o - 3*f + 28 = 4*o, 3*o - 10 = 5*f. Solve o*r - n = -i*n, 2*r + 8 = -2*n for r.
1
Suppose 4*f + 1 = 21. Suppose -24 = -11*l + f*l. Solve -l = 2*r, 4*r = -3*t - 3 - 20 for t.
-5
Let h(c) = c**3 + 6*c**2 + c - 2. Let b(p) = -5*p - 55. Let u be b(-10). Let d be h(u). Solve -2*s + 2*r + 0 = d, -4*s - r - 16 = 0 for s.
-5
Suppose 4*o = -5*d + 11, -3*d + 2 = 2*o - 3. Suppose -15 = -0*j - 3*j. Suppose 5*f = -j*l - 15, 0 = -2*f - f - 9. Solve 2*k + o*n + 12 = k, l = -3*n - 12 for k.
4
Let r(v) = v**2 - 7*v + 4. Let h be r(10). Let j = 50 - h. Let a = j - 7. Solve 3*y = 3*s - 0*y - a, -3*s = -5*y - 5 for s.
5
Suppose 0 = q - x - 5, 2*q - 3 = -q - 3*x. Solve -4*h + 2*t - t = 11, -t = -q for h.
-2
Let l be 1/(4/8*1). Suppose j - l*n = 2*j - 2, -5 = -5*n. Solve j = 5*q + 5*y + 1 + 9, 3*q - 5*y + 22 = 0 for q.
-4
Suppose t - 4 = -o + 2, -2*t = -2*o. Solve t*b = 3*q, -5*q - 3*b - 13 = 3 for q.
-2
Let c be -11 - (-10 - 44/11). Solve 0 = c*k - 0*k + n - 8, 0 = 3*k - 4*n + 17 for k.
1
Suppose -5*v = -k - 5, 3*k = -v - 2*v + 3. Suppose 5*o + 0*o = 3*z - 91, -4*z - o + 83 = 0. Solve -z = -5*j - 3*c, -2*j + j + 4*c + 9 = k for j.
5
Suppose -10*w + 11*w = -4. Let q be (3 + w)*((2 - 1) + -4). Let r be (0 - -1) + 14 - 0. Solve -27 = x + q*x - 3*a, 0 = -3*a + r for x.
-3
Let v be (2 + -1 - -2)*1. Let p(x) = x**3 + 13*x**2 + 12*x + 16. Let j be 2 - 3 - 1 - 10. Let d be p(j). Solve -v*b + b - 3*u + 12 = 0, 5*b + 4*u = d for b.
0
Let g be 20/(-7)*((-140)/8)/5. Suppose -2*i + 4*c = g, 3*c = -2*i + 7*i - 3. Solve 5*t = -3*j, i*j = 3*t - 25 + 1 for t.
3
Suppose -5*i = 3*q - 87, 3*i + 3*q - 51 = -0*q. Let b be (6/18)/(1/i). Suppose 0 = b*z - 2*z - 24. Solve -5*g + z = f, -g + 4*g + f = 4 for g.
1
Let r = 2574 + -2564. Solve 0 = 2*s + 3*w + r, 5*s + 5*w + 7 = -8 for s.
1
Suppose 677 = -t + 685. Solve l = t - 4, 0 = -4*p - 5*l + 36 for p.
4
Suppose 5*f - 3*p = 1 + 29, 12 = 2*f - 2*p. Suppose l = 6*l. Let c = f - l. Solve -m = -4*a - c*m + 22, -m + 5 = a for a.
3
Suppose 4*p - 4*v = 16, -5*p + 0 = 3*v - 20. Solve -4*w = k - 6, -k - 3*w - 3 = -p*k for k.
2
Let f(t) = 3*t**3 - t**2 - 3*t - 3. Let n be f(-1). Let p(b) = b**2 + 2*b + 1. Let j be p(n). Solve -2*k + 2*d + 9 = d, 3*k + 3*d = j for k.
4
Let q(b) = -4 - 4*b**2 + 0*b**2 + 0 + 5*b**2 + 4*b. Let j be q(2). Solve w = -2*z - z - j, -3*w - 8 = z for w.
-2
Suppose -3*g = 15*g - 54. Solve 4*z = d - 12, -g*d = 4*z - 9*z - 8 for d.
-4
Let a(p) = 7*p - 20. Let f be a(3). Solve 5 = -5*x, 0 = -u + 2*u + x - f for u.
2
Let d be ((-28)/12)/(28/(-24)). Solve 2*o - s + 9 = 0, 2*o - 3*s = d*s - 13 for o.
-4
Let i = -6 - -8. Let w = 23 - 14. Let u(z) = z**3 - 5*z**2 - z + 9. Let d be u(5). Solve -d*n - 4*t = -16, 4*n - w = n - i*t for n.
1
Let k be (-12)/(-8)*4/(-6). Let s(t) = 5*t**2 - 3*t + 0 + 4*t - 4*t**2 + 1. Let c be s(k). Solve -4*l - g = -0*l + 6, l - g - c = 0 for l.
-1
Let i(r) = r + 9. Let l be -3 + 6 + 2 + -12. Let x be i(l). Suppose 2*t = t + 4. Solve -v - 2*v = 4*j - 11, t*v = 3*j - x for j.
2
Let w = 197 - 195. Solve 0 = -2*y + a + 2, -w*a = -4*y + 2*a + 4 for y.
1
Suppose 0 = 4*x - m + 85, 4*m - 7 = 3*x + 60. Let l be x*(-4 - (-40)/12). Solve -6*o - 4*s - 2 = -o, 0 = 3*o - 4*s + l for o.
-2
Suppose b - 301 = -2*f - f, 2*f - 2*b = 206. Let q = f + -98. Solve -5*r - 53 = -5*i - 3, q*i + 10 = -5*r for i.
5
Suppose -b - 8 + 11 = 0. Suppose -b*w + 2 = -2*w. Suppose -c + y + 5 = w*c, y = 2*c - 3. Solve -r - 5 = 0, -c*s = 2*r + 3*r + 25 for s.
0
Let z(o) = o**2 + 14*o + 15. Let b be z(-10). Let u = b - -35. Let y = u + -7. Solve 3*p - 3 = -5*h + p, -4*p = -y*h + 7 for h.
1
Suppose 0 = 17*t - 23 - 62. Solve -i - 3*r = -4*i - 6, -3*r - 2 = t*i for i.
-1
Let g = -4 + 8. Let t(p) = -p**2 - p - 5. Let z be t(g). Let m = -18 - z. Solve -5*d - 4*h - 6 = -25, -2*h = -3*d + m for d.
3
Let j(r) = -4*r - 50. Let y be j(-7). Let s be (-48)/(2/(-1)) - -1. Let q = y + s. Solve 0 = -0*z + 2*z - q*d - 19, 4*d = 4*z - 32 for z.
5
Suppose 8*c + 3*c = 2*c. Suppose 4*a + c*j = 3*j + 25, 2*a - 4*j = 20. Solve 0*m - 2*b = m, -5*m = a*b for m.
0
Suppose -13*m = 2*m - 225. Solve 4*y - 3*n + 6 = 5*y, 2*y - 3*n = -m for y.
-3
Let w = 1402 - 1386. Let b(z) = -z**2 - 5*z - 2. Let l be b(-3). Solve 3*s = -l*u - 0*s - w, 2*u + 10 = -2*s for u.
-1
Suppose 4*q - 2*q + 32 = 0. Let o be q/(-6) - -3*(-1)/(-9). Solve o*w - 18 = 5*m, -4*m - w + 3*w - 14 = 0 for m.
-3
Let v be (2 + -1)*-25*(-7)/35. Solve 3*d = -h - 14, 3*h - 18 = v*d - 2*d for d.
-5
Let v be -3 + -4*5*5/(-20). Suppose q + 4*a - 13 = 1, v*q - 1 = a. Solve 0*i - 19 = 2*m - 3*i, -13 = q*m - i for m.
-5
Let n be (-123)/(