 + 22 for t.
5
Let v = 83 + -80. Let g be 1/(-4) - ((-164)/16 + 1). Solve -5*t = -0*t + 2*h + g, 0 = v*t + 3*h for t.
-3
Let l(a) = -15*a + 228. Let g be l(15). Solve -17 = w - 4*w + 2*m, -2*m = g*w - 1 for w.
3
Suppose -o + z + 3 = 0, -5*z = -9*z + 12. Solve 0 = 6*k - 3*k + 3*t + o, k + 7 = -2*t for k.
3
Let z = 26 - 39. Let b = 25 + z. Solve 0*m - 45 = -5*g + 5*m, 0 = -2*g - 4*m - b for g.
4
Let r = 392 + -389. Solve q - 11 = -3*g - 4*q, r*g - 5*q = 1 for g.
2
Let n = 101 + -69. Let q be 1/((2/90)/(4/(-6))). Let k = n + q. Solve 4*j = -3*h - k*h + 21, h = 2*j + 7 for j.
-1
Let s(t) = -t**3 - 10*t**2 - 10*t - 5. Let y be s(-9). Suppose -38 = y*j + 2. Let i be 1*(-5)/(j/4). Solve -5*c + 13 = 2*h, -i*c + 5 = 3*c for h.
4
Let u = 11 + 1. Let z be (-3)/2 + (-105)/(-6). Suppose 0*v = -4*v + z. Solve 3*g + u = v*k - k, -k - g + 4 = 0 for k.
4
Let n be (-29)/(-4) + 51/68. Suppose n*m - 3*m - 15 = 0. Solve 6*l + 21 = r + l, -m*l = -3*r + 15 for r.
1
Let o = -355 - -359. Solve 2*c = -5*v - 13 + 3, 3*c + 15 = o*v for c.
-5
Let m = -955 - -961. Solve -4*q + 13 = -m*j + 3*j, -3*j + 5*q = 14 for j.
-3
Let w be ((-88)/33)/((-10)/15). Solve 3*n = 3*u + 12, 3*n = -w*u - 16 - 7 for u.
-5
Suppose -5*k + 25 = 4*b, 3*k = -k - 3*b + 20. Suppose 5 = 2*x - k. Solve 0 = 4*f - 4*u - 20, -f - x*u + 1 = 2 for f.
4
Suppose 0 = k + 4*m, 3*k - 4*k + 5*m = -9. Suppose -j + 6 + k = 0. Suppose 0 = -2*d + 21*d - 38. Solve 2*a + 0*a - j = 4*y, d*y - 4 = -2*a for a.
3
Let v be 3/(-2)*(-6 + 4). Let n(c) = -14*c + v*c - 4 + 5*c + c**2 + 5*c. Let l be n(-2). Solve -3*y + 8 = f + y, y + 7 = l*f for f.
4
Suppose -1506*y = -1510*y + 20. Solve -y*m - 3*v - 27 = 0, 4 - 3 = -3*m + 2*v for m.
-3
Suppose -2*o + 5*g + 5 = -0*o, 3*o - 16 = -g. Solve 0 = 5*t - o*y - 15, y + 3*y + 26 = -3*t for t.
-2
Let i = -493 - -498. Solve -4*x = -o - 20, i*o + 22 = 2*x - 6 for x.
4
Let n be ((-6)/7)/(4/(-14)). Solve 4*v + 40 = 4*t, -2*v + n*t = 5*t for v.
-5
Let y = 87 - 49. Suppose 2*a + 74 = 2*c, 4*a + 14 = c - y. Suppose -2*t = -2, -2*t = -5*m - 4*t + c. Solve 0 = 2*o - 6, 3*b - 4*o = -0*b - m for b.
2
Suppose 3*s - 70 = -2*s + n, 0 = n. Let y be 2/(-7) + 32/s. Suppose -y*h + h + 12 = 0. Solve 0 = -4*r + r + 3*u - h, 3*r + 14 = 4*u for r.
-2
Let i = -18 - -31. Let z = 0 + 4. Let p(h) = 2*h**2 + 35*h + 21. Let s be p(-17). Solve s*y + f + i = y, -z*y = -2*f + 4 for y.
-3
Suppose 0*w = -5*w + 60. Suppose m + w = -5*i, -3*m - i = -6 - 0. Solve -d = m*k - 8, -4*k - 4*d = -6*d + 6 for k.
1
Suppose -40 = -26*w + 18*w. Solve -5*m + 5*x + 15 = 0, -7*m - w*x + 25 = -2*m for m.
4
Suppose 0 = 2*a - 2 - 24. Suppose 9*b - a*b + 8 = 0. Solve t - 4*i - b - 13 = 0, -3*t = 3*i for t.
3
Let v be -80*((-78)/24 + 2). Let p = v - 94. Solve -4*s - 3*f = -p, 0*s - 10 = 5*s - 5*f for s.
0
Let f = -7 + 4. Let d be -2 - (f - 4/(-1)). Let o(g) = g**3 + 4*g**2 + g + 1. Let u be o(d). Solve 4*a = 2*p - u*p + 5, 4*p + a = 15 for p.
5
Let l be -15*7/(-35) - -5. Solve 0 = 2*h - 0*f - 5*f - 20, 0 = -4*f - l for h.
5
Let q(p) = 10*p**2 - 5*p + 1. Let m be q(1). Suppose -5*l + 19 = -2*u, 0 = 7*u - 9*u + m. Solve -l*z = 2*x - 6 - 3, -6 = -x - 4*z for x.
2
Let j be 4*(-4)/(-32)*0. Suppose j = -5*r + 22 + 13. Suppose r - 13 = -2*p. Solve -h - 3 = -p*i, -h + i + 3*i = 4 for h.
0
Suppose 29*r + 560 = 85*r. Solve 2*i + l = 2*l + r, 0 = -i - 3*l - 2 for i.
4
Suppose 2*j = 5*o + 10, 12*j - 3*o = 8*j + 20. Solve -2*m + 2*p = 16, -10 = -2*m - j*p + 2 for m.
-4
Let t = -4 - -6. Let r = t - -2. Suppose 5*q - q = 3*d + 11, -4*d - r*q = -32. Solve 2*f - 30 = 4*o - 10, 2*o - d*f = -14 for o.
-4
Let s be 2*1 + -1 + 0. Let o be (-44)/10 - (-30)/(-50) - -7. Solve -s = 3*n - 3*v + o*v, -n = -v - 3 for n.
-2
Let q(j) = -21*j + 130. Let l be q(6). Solve -l*y + x + 11 = 0, -2*x = -5*y - 4*x + 30 for y.
4
Let a = 51 + -46. Let n be (-6)/(-4)*10/a. Solve -3*q - 4*z = -q + 18, 0 = 4*q + n*z + 26 for q.
-5
Let j(b) = -b**3 - 10*b**2 - 25*b - 22. Let a be j(-7). Solve 7 = 3*h + w, -4*h - a*w + w + 2 = 0 for h.
3
Suppose -44 = 7*i - 18*i. Suppose -5*r + 2*k + 9 = 2, -i*r + 32 = 5*k. Solve 4*h - r*p = -1, -3*h + p = -0*h + 7 for h.
-4
Suppose -4*l = 5*l - 252. Suppose l - 20 = 4*i. Solve i*h = x - 5*x - 22, 5*x + 14 = 2*h for h.
-3
Let w = -169 - -171. Solve -l - w*b - 8 - 3 = 0, -19 = 5*l + b for l.
-3
Let i = 1470 - 1468. Solve 0*x + 3*x + 3 = -2*s, 4*x = -2*s - i for s.
-3
Let x(l) = l + 7. Suppose -3*o = 3*c + 6, 3*o - 7*o = -4*c + 48. Let u be -1 - 3 - (-8 - o). Let k be x(u). Solve 0 = 3*r + 4*j - 14, k*r + 5*j - 15 = -r for r.
-2
Let t(z) = -3*z**2 + 104*z + 40. Let u be t(35). Solve -3*p = -u*b + 11, -2*b - 3 = 4*p + 3*b for p.
-2
Suppose -5*w + 121 - 31 = 0. Suppose 8*h = 5*h + w. Solve 2 - 6 = -4*i + 4*s, 2*i - s - h = 0 for i.
5
Suppose 2*z - 29*g + 24*g - 8 = 0, 4*z = 5*g + 36. Solve 4*l - 14 = -4*c + c, 2*c = 2*l - z for l.
5
Suppose 4*k + 7 = -3*m, 3*k + 14 = m - 1. Solve 0*z + m = 2*h + 5*z, 3*h - 11 = -z for h.
4
Let o(c) be the third derivative of -c**5/60 - c**4/3 - c**3 - 8*c**2. Let g be o(-3). Solve -5*f = 2*z - 1, 4*f + 1 = 2*z + g for f.
1
Let h(i) = -22*i + 200. Let x be h(9). Solve 3*y - x*r - 7 = 0, 5*y = 2*y + r + 5 for y.
1
Let k be (16/12)/(2/12). Let b = k - 8. Suppose b = -3*l - 2*r + 4 + 2, 3*l + 3 = -5*r. Solve 4*z - l*p + 8 = -0, 1 = z + 2*p for z.
-1
Let a(w) = -4*w - 10. Let z be a(-5). Suppose 24 = z*c + 2*c. Solve -s = -3*g - 5 + 3, c*g = s - 2 for g.
0
Suppose 4*y + 2*t - 36 = 3*t, -4*y - 5*t = -36. Solve -2*n - q = -0*n + y, n + 8 = 3*q for n.
-5
Suppose -m = -5*j + 21, -m - 29 = -5*j - 2*m. Suppose 3*t - 3*g + 3 = 0, 2*t + j*g = -t + 13. Suppose -t = 3*n - 4. Solve -2*l + 0 - n = q, -q + 3*l = -9 for q.
3
Suppose -17*v + 56 = -148. Solve v*h - 17*h + y = 1, -2 = -2*y for h.
0
Suppose -d + 5*v + 4 - 10 = 0, -4 = d - 4*v. Solve -q = 2*x - 13, 14 = x - q + d*q for x.
5
Let m = 840 - 836. Solve 4*i - n = -2, 3*i - 2*i = -2*n + m for i.
0
Suppose 6*v = 3*v - 99. Suppose 0 = -792*g + 800*g - 280. Let l = v + g. Solve 0 = 3*o - 6*o - l*p - 8, 0 = 2*o + 5*p - 2 for o.
-4
Let r = 2025 + -2025. Solve -2*j = 3*k + 7, 5*k + r*j = -4*j - 11 for k.
-3
Let h(v) = v**2 - 3*v - 10. Let w be h(5). Let b = w - -7. Solve -2*t + t = -3*u - b, -4*t - u - 24 = 0 for t.
-5
Let n = 451 + -449. Solve s - 5 = 0, o + 3*s - 15 = -n*o for o.
0
Let b = -9 + 13. Suppose -2*w + 16 = 2*f, 4*w - 38 = -5*f - 0*w. Solve 0 = -3*k + f, -4*u - 5*k + 18 = -b for u.
3
Let m(w) = -5*w - 17. Let t be m(-4). Let b be 5*t/(4 - 1). Suppose 5*l + r = 2*r + b, -1 = 2*l - r. Solve 3*o + 0*i - 40 = 5*i, -l*i + 15 = 5*o for o.
5
Suppose 0 = 3*i + q - 231, -i + 75 = 6*q - 5*q. Let k = i - 78. Solve k = -4*m - 5*b + 13, -6 - 6 = -m - 3*b for m.
-3
Suppose -4*n = -9*n. Suppose -4*l = -4*b, n = 4*b + b + 2*l - 21. Solve 3*v - 3 = 5*m, v - b*v + 2 = m for m.
0
Let b(f) = -f**3 + 5*f**2 - 6. Let j be (-40)/(-4)*4/10. Let l be b(j). Let k be 5/l*0/1. Solve -p - 5*h + 19 - 1 = 0, k = 4*p + 3*h - 4 for p.
-2
Let q = 535 - 531. Solve -11 = -q*w - l, -4*l + 1 = -4*w - l for w.
2
Let c(a) = -75*a - 747. Let r be c(-10). Solve 3*k + 3 = -r*i, 5*i = -4*k + 3*i + 6 for k.
4
Let y(b) = -b**2 - 12*b - 20. Let r be y(-7). Suppose 7*p = r + 13. Solve g = 5*x - p, 4*x - 8 = 4*g - 2*g for x.
0
Suppose 4*x = 2*z - 8, -x - 2*z + 1 = -7. Suppose u - 30 = -u. Suppose 5*k = -x*k + u. Solve 3*q + 3 = -k*v, 5*q + v + 26 = 3*v for q.
-4
Suppose 4*w - 8 = -28, -2*n + 5*w + 35 = 0. Solve -4*j + 3*q - 32 = 0, -4*j + n*q = j + 45 for j.
-5
Let u be (6 + 5 - 7)/1. Solve 0*v - 4 = u*a + 3*v, -14 = -3*a + 2*v for a.
2
Let h be 9/(-3)*(10 - 0). Let w be (-18)/(-4)*(-20)/h. Let m be (-1)/(-9) + (-385)/(-99). Solve -2*j - w*i + 12 = -6*i, -2*j - m = i for j.
0
Suppose 3*n + 18 = 4*h + 6, -2*n = 0. Let r(b) = b**2 + b + 2. Let s be r(-1). Solve m - s*g = 8, 7*m - 2*m + 25 = -h*g for m.
-2
Let r = -4 + 7. Let c be 9 + ((-16)/4 - -1). Suppose g - n = 10, 0 = -g + c*n - n + 22. Solve -4*o - 3*t = -5*o - r, 5*o - 4*t - g = 0 for o.
3
Suppose 0*c = -27*c + 513. Solve 0 = -3*u - a + c, 3*u = -u + 5*a for u.
5
Let u(v) = 6*v + 59. Let b be u(-9). Solve 0 = 5*w, -b*s - 7 = 4*w - 2 for s.
-1
Suppose -2*l + 0 = -10. Suppose 53 = -l*v + 203. Let q(o) = -o**3 - 5*o**2 + 6*o + 4. Let z be q(-6). Solve z*y - 4*a = -0*a - 4