l - t = 2 for l.
0
Suppose 0 = 16*z + 37*z - 265. Solve -x - 15 = -z*k + 4*x, -7 = k + x for k.
-2
Suppose -y = -4*y + 81. Suppose 0 = -3*l - 5*b + 87, -5*l - y + 150 = b. Suppose 6*f - 3*f - 15 = 3*h, -10 = 5*h. Solve -f*m + 15 = 0, -5*m + l = 2*z - z for z.
-1
Let o = -248 + 250. Solve -o*h = 4*l - 12, 2*h + 2*l = 8 - 0 for h.
2
Suppose 2*f + 3*f = -2*v - 4, v - f = 5. Let i be 0/(v + -1)*-1. Suppose i = s - 1 - 0. Solve 5*c - 2*b + s + 10 = 0, -5*b + 14 = c for c.
-1
Suppose 0 = 5*i - 26 + 6. Let s = 74 + -39. Suppose s*h - 2 = 34*h. Solve -i*p = -4*q - 24, 0 = q + 4*p - 3*p + h for q.
-4
Let g(v) = 6*v + 23. Let j be g(-5). Let h be (12/(-14))/(j/49). Solve 2*w = w - 3*y + 10, -3*w + 3*y = -h for w.
4
Let l(d) = -d**3 + 14*d**2 - 13*d. Let o be l(13). Solve o = 5*w - n, 0 = 2*n + n for w.
0
Let g be 0/((2 - -4)/(-3)) - -5. Solve -14 = 4*s - g*x, -4*s = 8*x - 4*x - 4 for s.
-1
Suppose 2*v - 4 = -14. Let i = v + 8. Solve i*n + 3*y = 2*y, 4*n - 5 = -3*y for n.
-1
Suppose -17*g + 50 = -15*g. Solve 5*q + 5*t = g, -17 = q - 2*q - 4*t for q.
1
Suppose -90 - 34 = -62*r. Solve -4*j + 2*v = 10, 2*v = -5*j - 19 + r for j.
-3
Let n be (-4)/(-10) - (-544)/(-85). Let y be n/(-3 - -2) + 12 + -12. Solve -2*x = -5*p - 15, -4*p - y = -2*p - 2*x for p.
-3
Suppose 1069*r = 1080*r - 44. Solve 5*g + 29 = x - 2*x, 4*x = r*g + 4 for x.
-4
Let t be 6/4 - 2/(-4). Let q = 70 + -46. Suppose q = 8*r - 0. Solve -m = f - r, 0 = 4*f - t*m - 2 - 22 for f.
5
Let r(d) be the second derivative of d**5/20 + 5*d**4/12 + d**3 + d. Let f be r(-4). Let l = -8 - f. Solve -2*y - 5 = -3*a, l*y + 5*a - 21 = -3*y for y.
2
Let p(x) = x + 15. Let d be p(-10). Suppose -2*y - d*s = y - 11, 0 = -4*y + s + 7. Suppose -2*c - y = -8. Solve -4*b - 2*z - 6 = 0, 4*b = -5*z - 0*z + c for b.
-3
Let c = -17 + 20. Solve 0 = 4*a - c*d + 6, -a - 2*a - 15 = 3*d for a.
-3
Let b be 5 + 5 + -4 + -5. Solve 3*w = -l + b - 2, -2*l + 3*w = -7 for l.
2
Let g(h) = -5*h + 71. Let k be g(12). Solve k = -w + 5*u, -2*w = w + 3*u - 21 for w.
4
Suppose 14*d = -1 + 15. Solve -2*w = 2*u - 2, -4*u + d - 7 = -w for u.
-1
Suppose 4*c - 2*a = 26, 3*c + a - 6 - 6 = 0. Suppose -26*y = -30*y + 80. Let f = y + -20. Solve 6*n - c*x - 6 = 3*n, f = x for n.
2
Let b = 350 + -348. Solve 0 = -2*i + 2*g - b, -i = 2*g + 12 - 2 for i.
-4
Let z(m) = -m**3 - 6*m**2 - 6*m + 1. Let d be z(-5). Let f(t) = 3*t + 1. Let a be f(d). Let q = a - 19. Solve u - 4 = -2*g, -5*g + 6 + 9 = q for u.
-2
Let w be 2*(0 + 1 + (-4)/(-8)). Solve w*p - 4 = -5*k - 11, -k = 2*p + 7 for p.
-4
Let q(t) = -5 + 2*t**2 + 3 + 3 - 8*t. Let w(p) = -3*p - 57. Let u be w(-21). Let r be q(u). Solve -5*y = m - 11 - 6, 5*y = -5*m + r for m.
2
Suppose -2*w = w - 12. Suppose 3*s + 2*a + 4 = 0, -2*s = a - 0*a + 1. Let r = 49 - 49. Solve r*p + 10 = 5*p, -s*i + 10 = w*p for i.
1
Let k = -39 + 31. Let b be (k/(-12) - 0) + 28/3. Solve t = -2*t + 2*r + 6, 5*t - b = 4*r for t.
2
Suppose 3*t + 8 = 5*t. Suppose 2*i - t*v + 6 = 20, -5*v - 15 = 0. Suppose h - i - 3 = 0. Solve h*u - 4*d = 0, -3*u = 4*d - 3*d - 12 for u.
3
Let r = 42 + -36. Suppose 12*u - r*u - 30 = 0. Solve -2*x - 3*n = -u, 3*x + 40 = -x + 4*n for x.
-5
Let i = -1 + 4. Suppose -11*x + 714 = 3*x. Let k = x + -49. Solve i*j + 3 = 5*p - 9, -p - k = -5*j for p.
3
Let k(j) = 17*j - 10. Let q be k(1). Suppose -3*o + q = 1. Solve -5*c = 0, o*y + c - 1 = 7 for y.
4
Suppose -33*v = -29*v - 84. Let g = -8 + 8. Let k = 86 - 45. Solve g*y - 5*b = -y + v, 5*b = -4*y - k for y.
-4
Let m be ((-12)/8)/((-1)/(3 + -1)). Suppose m - 1 = f. Solve -4*q = -3*h - f, -2*h = -4*h + 4 for q.
2
Let r(f) = 2*f**3 - 8*f**2 + 6. Let d be r(4). Solve -3*k = 2*x - 0*x - d, 6 = 3*k - 3*x for k.
2
Let o be 4 + -5 - 33*-2. Suppose 16 = -4*c, 0*l + l - c = o. Let y = -43 + l. Solve 2*t - 3*b - y = -7*b, -5*t + b = 10 for t.
-1
Suppose 55*h = 53*h + 10. Suppose h*l + 4*r = -0*l + 31, 0 = 5*l + 2*r - 33. Solve -b - l = 2*k - 5*k, -4*b - 5*k = -40 for b.
5
Suppose -3*a = -w, w - 3 + 2 = 2*a. Solve 0 = -z + u - 8, 6*z = 2*z - w*u - 4 for z.
-4
Suppose 0 = 46*b - 44*b - 30. Solve -5*c = 5*x + b, 2*x - 3*c + 10 = -7*c for x.
-1
Let j(p) = 9*p + 9*p**3 - 9*p**3 + 2*p**2 - 10 + p**3 + 7*p**2. Let o be j(-7). Let m = -22 + o. Solve -2 = n + 2*v - 3, -m*n + v - 4 = 0 for n.
-1
Let c(g) = 4*g - 14. Let a be c(6). Solve -3*z + a = 4*h, h + 3*z + 18 = 4*h for h.
4
Let j be (9 + -4)/20 + (-322)/8. Let v = -38 - j. Solve 4*d - v*c = -2, 1 = 2*d + 2*c - 1 for d.
0
Suppose -10*v + 7*v + 1176 = 0. Suppose -x - v = -3*z - 2*z, -322 = -4*z + 5*x. Let m be z/(-4)*(-8)/12. Solve -c + 3*i - m = 0, -4*c - 5*i + i - 4 = 0 for c.
-4
Suppose 11 - 3 = 4*w. Let v = 35 - 27. Suppose v*m - 3*m = 15. Solve w*j - 9 = f, -4*f + m*f + 4*j - 15 = 0 for f.
-3
Suppose 17*v - 33 = 1. Solve 6*c = c - 20, v*q + 6 = -4*c for q.
5
Let f = 1178 - 1161. Solve -3*b - b = -y - f, 0 = b - 4*y - 8 for b.
4
Let y(z) = -5*z - 14. Let p be y(-3). Let u be (13/(-26) - p/(-1))*0. Solve 4*l + 15 = s, s + u = -l - 5 for s.
-1
Suppose -16*a + 14 + 34 = 0. Solve 2*v - a*z + 1 - 11 = 0, 3*v - 5*z - 16 = 0 for v.
2
Let x be 11/3 - 5/(-15). Suppose 3 = 4*f - 5*s - 8, 4*s = 2*f - x. Let b be (3/f)/(3/108). Solve -2*i - 2*c = 6, -b = 5*i + 2*c - 3*c for i.
-5
Let d be -18 - -13 - (-3 - 38). Solve d = -4*a - 4*c, -a - 8 - 9 = 3*c for a.
-5
Let w = 122 - 119. Suppose 5*l - g + 3*g + 4 = 0, -2*l - 6 = w*g. Solve l + 40 = -3*b - 5*r, -4*b - 4*r - 40 = 0 for b.
-5
Suppose -u - 13 = 4*k, -2*k - 5*u + 23 = -4*k. Let h be k/8*0/2. Let i = -162 + 166. Solve 5*l = 3*b - 2*b - 30, i*l + 5*b - 5 = h for l.
-5
Suppose -2*f - 3 = -1. Let l be f + (-5)/((-10)/6). Suppose -l*p = 4*p. Solve -4*u - 2*q - 18 = p, u + q = -q - 9 for u.
-3
Let t(d) = -d**3 + 9*d**2 + 9*d + 14. Let c be t(10). Solve 2*g - y = 4*y, y + 22 = -c*g for g.
-5
Suppose -2377*d + 2376*d + 5 = 0. Solve 5*o - 3*m + 7 = -d*m, -2*m = o - 5 for o.
-3
Let h be -2 + (-7 + 13 - 4). Solve -4*g + 2*o + 6 = h, 4*o = -4*g - 0*o for g.
1
Suppose 4*a - 3*y = 6, 3*y - 8 = -5*a + 7*y. Suppose s = -0*s - 5*d + 14, a = 3*s + 2*d - 16. Solve -4*x = -2*c + s, 10 = -5*c - 0 for x.
-2
Let c = 92 + -63. Suppose -c = -4*t + 19. Let y be (3/(-6))/(-1)*t. Solve -4*i + 2*q = -y*i - 8, -4*i + q = 11 for i.
-3
Let v = -24 + 27. Let n be (-6 + 5)/((-1)/11). Let z = n - 7. Solve i - v*b = b + z, 4*b + 4 = -5*i for i.
0
Let q(a) = -a**2 + 5*a + 14. Let z be q(7). Suppose 5*g + 2*u - 5 = -z*u, 0 = -5*u - 25. Solve -h + 3*x = 7, -g*h + 15 + 4 = x for h.
5
Suppose 0 = -5*c - 3*q + 23, -5*c + 2*q + 2 = -4*c. Solve 0 = -4*p + 3*p - 3, -c*p = 3*k for k.
4
Let v(k) = -k**3 + 3*k**2 + 6*k - 3. Let b be v(4). Suppose 5*i + 25 = -0*i. Let o = i - -7. Solve 2*g = -2*l - 2, -b*l - o*g + 7 = -0*g for l.
3
Let p be 2 + 4/(-4) - -1. Suppose p*i + 3*i = 90. Let t = i + -14. Solve -5*c = 5*q, 3*c - t*q = 1 + 13 for c.
2
Suppose -6*c + 6 + 30 = 0. Let a be 6 + 0 + c/(-3). Solve -21 = -w + a*h, 0 = 2*w - w - 2*h - 13 for w.
5
Let t = -554 + 557. Solve c + 6 = -4*o + t, -3*o = 0 for c.
-3
Let w(x) = -3*x**2 - x + 7. Let z be w(-5). Let f = z - -75. Solve 2*u = 3*h + 19, 5*h + f = -13 for u.
2
Suppose 3*u + 2*u = 40. Let q be 2/u - (-99)/36. Let f(k) = -k + 30. Let y be f(21). Solve 5*w = 3*d - y, -q*d - d + 4*w = -4 for d.
-2
Let d be 3/45 - 1110/(-225). Solve -4*o = d*b - 4, -7 = 2*o - b + 5 for o.
-4
Let q be -5*1*(-240)/150. Let x be 0/(-1) + -2 + 13. Let d = x - 6. Solve d*r + q = 2*n, -5*n = 4*r - 9*r - 20 for n.
4
Let m = 475 - 472. Solve -m*y = -5*i + 4*i - 10, 5*y = -i + 30 for i.
5
Let n be (-25)/(-3) + 2/(-6). Suppose 0 = -20*g + 16*g + 24. Let a = n - g. Solve 2*h = -2*q - 2, -5*h - a*q - 8 = 6 for h.
-4
Suppose 3*y - 3 - 9 = 0. Suppose -2*a = -y - 6. Suppose 3*n = a*n. Solve 3*j = -2*w + w - 7, n = -5*j - 10 for w.
-1
Let g be 6/(-2) + -7 - -14. Solve -g*x = 2*z, 1 = -3*x - 2*x - 2*z for x.
-1
Let t be (-297)/(-55) + 12 + (-3)/(-5). Solve m - t = -5*w - m, -4 = -m for w.
2
Let o = -7 + -46. Let r = 56 + o. Solve -c - 7 = -r, 3*c + 28 = -4*w for w.
-4
Let o(j) = j**3 - 4*j**2 - 4*j + 7. Let l be ((-40)/(-24))/((-1)/(-3)). Let s be o(l). Suppose 0 = -4*i + s + 72. Solve -5*p - v + i = 0, -3 = p + v - 4 for p.
5
Let c be 1*(-3)/(-9)*6. Solve -x - 4*l + 16 = 0, x + 6 = c*l - 2 for x.
0
Let d(k) = 4*k**