-2*t - 6 for t.
2
Suppose v = -4*p + 129 + 161, -p = -4*v - 64. Let a = -72 + p. Solve 5*k - 5*t - 5 = 0, -3*k + a*t = -2*t for k.
-2
Let n = -619 + 645. Solve 3*v + 4*w - n = 5*v, 0 = 3*v - 4*w + 31 for v.
-5
Let k(i) = -i**2 + 3*i. Let w be k(4). Let h be w - (2 - -1 - 43). Let j = -36 + h. Solve 5*v - 4*r = 2*v - 9, j = v - 5*r + 14 for v.
1
Let j = 62 + -39. Solve -5*t + c - 3*c = -7, -5*c - j = -t for t.
3
Suppose 0 = 2*y - 4*y + 4*s + 48, 0 = 3*y - 4*s - 74. Solve -5*u + 0*u = n + y, 2*n - 3 = u for n.
-1
Let y = -247 + 251. Solve -4*a = -0*a + y*t + 24, t + 14 = -5*a for a.
-2
Suppose -s + 6 + 9 = 3*p, 4*p + 8 = 0. Let v be 636/s + (-2)/7. Let j = 21 + -15. Solve -5*n + v = -5*i, 2*n - i = j + 3 for n.
3
Suppose -4*w - 3*u + 6 = 0, 2*w + 3*u - 6 = 5*w. Solve w = -5*p + 3*c - 16, c = -p + 4*c + 4 for p.
-5
Suppose 4*c = -3*s + 9*c + 38, 5*c - 4 = -4*s. Suppose -s*m + 10 = -m. Solve 3*i + 23 = -m*h, -3*i - 3 = -h - 2*h for h.
-4
Let v(k) = 2*k - 8. Let n be v(5). Suppose -y - 11 + 20 = 0. Solve -n*c + 3*a = -y, -4*c - a - 17 = -0*c for c.
-3
Suppose -100*p = -77 - 323. Solve o + 3 = 3*j + 23, 2*j = -p*o + 10 for o.
5
Let l = 152 + -145. Solve 5*d - 2*d - 2*c = 9, 4*c - l = d for d.
5
Let n be (-8)/12*(-12)/4. Let w(d) = 2*d**2 - 2. Let v be w(n). Solve -v = -2*c + 4*h, 4*c + h + 9 = 2*h for c.
-3
Let i be (-558)/(-54) + 1/(-3). Let t be (-1 - 0) + 40/i. Solve -2*z = h - 3*h - 4, t*h + 18 = -z for z.
-3
Suppose 0 = c - 3*m - 6, -3*m = 4 + 2. Solve 5*u = -5*j + 25, -3*u - j + 10 + 5 = c for u.
5
Suppose -65 = -6*t + 55. Suppose -t = 6*w - 2*w, 4*w + 12 = -u. Solve 0 = 3*h - 7*g + 2*g - u, -h + 16 = -5*g for h.
-4
Let p(b) = b**3 + b**2. Let d be p(1). Solve -5*h - 4*q - 37 = 0, d*h + 28 = -3*h - q for h.
-5
Let t = 12 - 39. Let b be (-2)/(-1) - t/(-9). Let x be b/6 - (-2)/12. Solve 5*l - 4 = -x*l + 3*q, 4*q - 8 = 0 for l.
2
Suppose -2*a = 3*a + 3*a. Solve a = -5*i - 4*b + 41, -2*i = -0*b - b - 6 for i.
5
Let f = 4 + 2. Suppose 3*r + 9 = f*r. Solve -2*o + k - 6 = -6*o, 0 = o + k - r for o.
1
Let x(q) = -3*q + 27. Let r be x(7). Suppose i + r*i = 0. Suppose -6*y + y + 20 = 0. Solve o + 5*c - 2 - 8 = i, 15 = y*o - 5*c for o.
5
Let d be 2/15 + (-5696)/(-480). Solve 0 = -3*u - f - d, 0*u = u + f + 4 for u.
-4
Suppose 4*p + 12 = i - 6*i, 2*p + 16 = -5*i. Let j(x) = 3*x + 8. Let k be j(i). Let v be ((-12)/21)/(k/14). Solve -4 = 4*d - 3*q - 8, -2*d = v*q + 12 for d.
-2
Let t = -150 + 180. Let o(h) = h + 2. Let p be o(-2). Solve 2*l = i - 0*l, 5*i + 5*l + t = p for i.
-4
Let m be 40/6*(-441)/(-84). Let k = 35 - m. Solve 5*r + 3*a + 0 + 2 = 0, k = -a - 4 for r.
2
Let m(d) = -d**2 - 6 + 7*d - 7*d**2 - d**3 + 3 + d. Let b be 1/(3/(-27) + 0). Let g be m(b). Solve -3*a = h - 6, 0*a - 3*a = 5*h + g for a.
3
Suppose -22*p + 2 = -23*p, 3*p = 3*s - 12. Solve 8 = -3*u - y, y + s = -5*u + 4*u for u.
-3
Let d be 23/11 - 19/209. Solve 4*i + 5*m = 10, 6*i + d*m = 3*i + 4 for i.
0
Suppose o - 3 = -2, -5*n - 5*o = -25. Solve 6 = -n*z - 3*y, 9*z - 6 = 4*z + 3*y for z.
0
Suppose -3*m + 21 = f - 2*m, -111 = -5*f + m. Suppose -n - f = n. Let g = n - -13. Solve 4 = -2*i, -k + g*i + 7 = -2*i for k.
-1
Let o be (1 + 7)/(-2) - (9 + -18). Solve -o*u - 10 - 19 = 3*z, 4*u + 16 = 0 for z.
-3
Suppose 4*w = -4, 5 = n - 4*w - w. Suppose -4*i = -n*i. Suppose 0 = -3*r + o + 7, -r - 3 = -0*r + 5*o. Solve i = -5*z - k, 4*z + 0*z = r*k for z.
0
Suppose 4*d + 87 = 3*k, 97*d + 91 = 4*k + 100*d. Solve -5*g + 0*g = -2*v - k, 2*g = -4*v + 10 for v.
0
Let d(b) = -b**3 + 2*b**2 + 5*b - 10. Let u be d(2). Solve u = a - 4*a - 2*w - 5, 0 = -2*w - 8 for a.
1
Suppose 6 = -5*v + 31. Suppose 5*h = -5*p + 3 + 37, 5*h - 4*p + v = 0. Solve -h*x - 9 = -3*t, -5*t + 15 = -0*t + 3*x for t.
3
Let z be -21 + 23 - (-2)/1. Solve 3*m = 2*l + 9, 6*m - m = -z*l + 15 for l.
0
Let p = 472 + -467. Solve 5*q - 30 = -5*c - p, 23 = 5*c + 3*q for c.
4
Let b = 46 - 41. Suppose 3*r + 2*u = 4*r + 1, -u + b = r. Solve 5*d + r - 13 = -3*t, 2*d - 4 = 4*t for d.
2
Suppose 0 = 2*s - 4*p + 82, 12 = -3*s - 4*p - 161. Let v = 55 + s. Solve 4*g = -3*z + v, 3*z - 5*g + 4*g + 1 = 0 for z.
0
Suppose -4*d + d = -3*u - 3, 8 = 2*d + u. Solve d*o = 3*p + 9 - 3, p - 2*o = -7 for p.
3
Let g = 733 + -731. Solve 4*x - 4*k + 0*k = -8, -g*x + k = 5 for x.
-3
Let a be (-238)/(-49) + (-2)/(-14). Suppose -2*l + a + 1 = 0. Suppose -h - 42 = -l*m + 13, -3*h = m - 15. Solve -4*t = -0*b - 3*b + 4, t - m = -4*b for b.
4
Suppose 0 = -5*w + 3 + 12. Let g be 3/6*2*w. Solve -l - 15 = 4*u, -g*u + 0 = 5*l + 7 for l.
1
Let r(g) = g**3 - 8*g**2 + 5*g - 17. Let n be r(7). Let o = 31 + n. Solve -i + o = -2*c + 1, c + 10 = 4*i for i.
3
Suppose v - 40 = -28. Solve 3*f + s + v = -5, 3*s = -15 for f.
-4
Suppose 53*z - 49*z = 8. Solve -3*c - z = -3*u + 4, -3*c = -u + 12 for c.
-5
Let w be ((-24)/(-42))/(1/7). Let l = w + -6. Let n be 546/22 + l/(-11). Solve 2*h + 3*r - r = -12, 5*r = -n for h.
-1
Let s(d) = -d**2 - 8*d + 13. Let u be s(-9). Suppose -2*l - 50 = -5*i, -l + u*l + 86 = 2*i. Let f = l + 34. Solve 0*j - 2*j = f*p + 8, -5*p = -2*j + 28 for j.
4
Suppose -2*r + 4 = -6. Suppose 3*k = -z - 7, -4*z - 4 = r*k + 3. Solve 2*c + 11 = -0*h + 3*h, z*h - 8 = c for c.
2
Let q = -1 - -5. Suppose 9*k - 6*k + 4*n - 17 = 0, -9 = -k - 3*n. Suppose 15 + 5 = 4*s. Solve -x = q*z - 3 + 1, s = -4*x - k*z for x.
-2
Suppose 3*d = 4*j - 5, 43*d - 46*d + j + 10 = 0. Solve -10 = 2*m, 0 = d*g + 4*m + 23 + 12 for g.
-3
Let x = 1884 + -1880. Solve 9*a - 20 = t + 4*a, a = x*t + 4 for t.
0
Let g = 23 + -13. Suppose 3*n = g*b - 8*b + 20, -4*n = b - 12. Solve -5*q - 5*t = 0, 6 = -n*q - 2*t - 2 for q.
-4
Let g(z) = -z**3 - 2*z**2 + 4*z + 4. Let s be g(-3). Suppose s = -4*x + 3*x. Let r be 2 + (0 + 2 - x). Solve -v - 4*y - 17 + 6 = 0, -y = v + r for v.
-3
Let r(o) be the third derivative of o**6/120 + o**5/15 - o**4/8 - o**3 + o**2. Let c be r(-4). Solve -2*t - c - 5 = p, 13 = 2*p - 3*t for p.
-1
Let z = 0 - -6. Let v be 4 - 1 - (z - 3). Solve v = -s - 5*n - 6, 5*n = -4*s - 0*n + 6 for s.
4
Let q(i) = i**2 - 21*i + 5. Let c be q(26). Let k = c - 108. Solve 5*j + 4*f = -5, -3*f = -4*j - 0*f + k for j.
3
Let y be ((-4)/(-3))/(30/315). Suppose -5*d + y*d = 0. Solve -16 = -7*l + 2*l + 3*h, -5*h - 10 = d for l.
2
Let a(o) = o**2 + 10*o + 11. Let q be a(-6). Let z = q - -26. Suppose -1 = -2*j + 5*y - 8, -3*y = j - z. Solve -2*w + j = -4*t, -7*w - 4 = -2*w - 3*t for w.
-2
Suppose 5*n - 25 = 0, -2*n - 19 = 2*h - n. Let w = h + 14. Solve w*p = 6, -2*m + 4 - 22 = -4*p for m.
-3
Let j(u) = u**2 - 3*u + 2. Let o be j(3). Suppose -5*w = -9*w + 4. Suppose -5 = -5*y, -p + 4*y + w - 2 = 0. Solve 5*g = p*h - 17, -o*h - 3*g = -7*g - 14 for h.
-1
Let t be (52 - 43) + 1 + -5. Solve 5*b = -t*k + 10, 0 = 3*k + b + 3*b - 10 for k.
-2
Let j be 5 - (-3)/((-27)/(-18)). Solve -3*u = -4*o - 23, -4*o + j*o = 3*u - 21 for u.
5
Let x be 15/20 + 2/8. Let v be ((x - 36/8) + 3)*0. Solve z = 4*h - 16, v = 2*z + 2*h + 4 - 2 for z.
-4
Let g be 4 - (5/(-5) + 2). Solve -g*w + 5*v + 7 = -16, -w = 3*v + 11 for w.
1
Suppose -2*b = 2*s + 1 - 7, -4 = -4*b. Suppose -s*v + 6 = v. Let m = -375 - -385. Solve -5*h = -m, v*h + 4 = 4*z - 2*z for z.
4
Let d be 6*(-2)/(-9)*6. Suppose -5*u - 2 = -3*o, 4*o + 2*u = 6*o. Let q(y) = 7*y**2 + 1. Let n be q(o). Solve 4*j + 2*r = -8, -j - n = -3*r + d for j.
-4
Let s be (-6)/(-2) + 0/(-3). Suppose 3*i - 126 = s*o, 0*o = 2*i + o - 78. Let l(h) = -h + 14. Let m be l(12). Solve i = -3*g + 5*f, f + f = -m*g for g.
-5
Suppose 77 = -3*q - 85. Let i be (-52)/(-3) + 18/q. Let j be -3 + (-1 + 3 - -1). Solve 0 = -2*h + 4*h + 3*x - i, j = 3*h - x - 9 for h.
4
Suppose o - 4*s = 1 + 18, 16 = -4*s. Suppose f - v = -o*f + 25, 5*f - 3*v - 26 = 0. Let d be (-3*1)/(-1) + 0. Solve 0*l = -4*t + l - f, -l - d = t for t.
-2
Let t be (0/(12/((-28)/7)))/7. Let g be (4 - 3)/((-1)/(-2)). Solve g*r = -i - 15, -3*i + t*i - 40 = 5*r for r.
-5
Let l(d) = -2*d**3 - 32*d**2 - 60*d + 1. Let p be l(-2). Let h = 3 - 1. Solve -2*v + f - p = 0, -5 = -h*f + f for v.
-2
Suppose 0 = -3*i + 5 + 10. Let d(n) = -9*n - n**2 + 0*n**2 + 6 + 4*n. Let u be d(-6). Solve 4*w + i*v + 33 = u, -3*w - 2*v = -0*w + 16 for w.
-2
Suppose -33*x - 53 + 185 = 0. Solve 4*p = -5*g + 5, x*g - 6 = -2*p + 4 for p.
-5
Let x = -437 + 442. Solve 4*i = -x*s + 2 + 9