 l for t.
1
Let m = -770 + 796. Solve m*t - 15 = 31*t for t.
-3
Let o = -9 - -20. Suppose -9*u + m + 9 = -6*u, 0 = u - 3*m - o. Solve 0 = f + u + 1 for f.
-3
Let k be 25 - (1 - (4/(-2))/2). Suppose 2 = -7*x + k. Solve -2*g + 1 = -x for g.
2
Suppose -2*v - v - 9 = 0, 3*s + v - 18 = 0. Suppose -2*t + w + s = -4*w, t + 3*w = 31. Suppose c = -c + t. Solve f - c = -f for f.
4
Let g(r) = r**3 + 7*r**2 - 9*r - 8. Let o be g(-8). Suppose 0 = 5*n - p + 4*p + 6, 0 = -2*n + 3*p + 6. Let t be -1*n*2/(-2). Solve -5*v + t*v = o for v.
0
Let k(r) = 7*r**3 - 2*r + 1. Let d be k(1). Let a = -38 + 57. Solve -5*x + d = -a for x.
5
Let t = 4 + 0. Let j be (-4 + 0)/t - -16. Suppose -15 = 12*i - 15*i. Solve i*h + j = 5 for h.
-2
Let f(x) = 2*x + 20. Let u be f(-10). Let s = 0 - u. Solve 3*h + s = -6 for h.
-2
Let n be 8/(-6)*3/(-2). Let g be -3 + (0/n - -34). Suppose -131 = -5*h - g. Solve -5*x = -x + h for x.
-5
Let j(o) = -2*o**2 + 14*o - 18. Let k be j(5). Solve f + k*f - 9 = 0 for f.
3
Let v be (-260)/(-39)*(-9)/(-6). Solve v = 6*h + 16 for h.
-1
Let q(c) be the first derivative of -c**4/4 - 8*c**3/3 - 7*c**2/2 + 5*c + 1. Let l be q(-7). Solve 3 = l*d - 17 for d.
4
Suppose 10 = 114*b - 112*b. Solve 0 = v - b for v.
5
Suppose -33 - 5 = -19*z. Solve 0 = -5*u + 8 + z for u.
2
Suppose 4*a - 3*a = -a. Suppose 5*h - 10 + a = 0. Let r(n) = 2*n - 2. Let j be r(3). Solve 2 = h*q + j for q.
-1
Let z(h) = -h**2 + 10*h + 13. Let m be z(11). Let l(a) = 3*a**2 - 3*a + 2. Let s be l(m). Suppose d + 7 = s. Solve -d = -y - 5 for y.
-4
Suppose z + 0 = 4. Suppose -2*a + 0 = -z. Suppose -a*m - 3*k + 14 = 0, 18 = 3*m + k + 2*k. Solve -p - 25 = m*p for p.
-5
Let v be (21/28)/((-3)/(-8)). Solve 0 = v*g + g - 12 for g.
4
Let m = 25 + -25. Suppose 2*l + h = 23, -l + 2*h + 24 = -m*l. Solve -4*d - l = -2 for d.
-3
Let l be ((-30)/25)/((-6)/20). Suppose -3*n - 8*j + 3 = -l*j, -5*j = -n + 20. Suppose -n*s + 3*q + 14 = q, -s + 12 = -5*q. Solve s*v = 5*v for v.
0
Let h(a) = a**2 + 8*a + 15. Let n be h(-7). Solve 0 = -2*c + n*c for c.
0
Let q = -1386 + 1392. Solve -a - q = 5*a for a.
-1
Suppose 0 = -19*l + 14*l + 595. Suppose -2*a + l = -9*a. Let r = 20 + a. Solve -18 = -r*k - 3 for k.
5
Let k(d) = -d**3 - d**2 - d - 1. Let u be k(-1). Suppose -x - 3*y - 1 = u, 2*x + 5*y = x - 3. Solve 4 = -3*j + x*j for j.
-4
Suppose 4 = -2*q - 5*x - 1, 3*q + 4 = -4*x. Solve 3*l = -q + 12 for l.
4
Let b be (-2 - (-10 + 12)) + 14. Solve -b = -44*v + 39*v for v.
2
Let x = 102 - 122. Let r = 26 + x. Solve 3*o - 15 = r*o for o.
-5
Let y be (-3)/(-15) + 18/10. Let g = -80 - -82. Solve -y*w - g*w = 20 for w.
-5
Suppose 13*t - 58 = 124. Solve -4*m + 6 = -t for m.
5
Suppose 105 = 3*b + 3*a, -2*b + 46 = -5*a + a. Suppose -2*x + b = 7. Suppose -x = -3*h + 4*d + 6, -d = 3. Solve -5*w + 3*w = -h for w.
1
Suppose 5*k = 5*i + 15, -4*k = 4*i + 2 + 2. Let q be (27/12)/(18/24). Solve -2*u + q = -k for u.
2
Suppose 0*i = -i + 4. Let g(a) = 2*a - 3. Let x be g(i). Suppose -2*l + 6 = 3*n, x*n + 34 = -0*l + 4*l. Solve -2*v = v - l for v.
2
Suppose 6*d - 4*d = 28. Suppose -10*a + d*a - 28 = 0. Solve a*u + 5 = 2*u for u.
-1
Suppose 11 = -5*b + 2*j, 4*b + 2 - 1 = -j. Let k be 66/8 - b/(-4). Suppose -o = 3*m + k, -o + m = -12 + 4. Solve -o*x = -9*x - 15 for x.
-3
Let o = 20 - 1. Suppose 0 = -16*t + o*t + 6. Let p = 0 - t. Solve 0*l = p*l + 4 for l.
-2
Suppose -3*f - 2 = -i - 8, -4*i = 0. Let u = 33727 + -33725. Solve 0 = -0*k - f*k + u for k.
1
Let x be (-2)/(-4) - 21/(-6). Suppose f = x + 2. Suppose -k - 4*k = 0. Solve k = f*t - t for t.
0
Let r(m) = m**2 - 11*m - 4. Let n be r(8). Let w be (-301)/n - 1/(-4). Let d be -6*(-4 - w/(-3)). Solve d*y - 1 = 1 for y.
1
Let y be 2 + -1 + 1 + -1 + 8. Let g(s) = s - 7. Let o be g(y). Solve -2 - o = -h for h.
4
Let z(t) = -t**2 - 8*t - 11. Let j be z(-5). Suppose 2*d - j*d + 10 = 0. Solve k - 2*k - d = 0 for k.
-5
Let w(y) = -y**3 - 12*y**2 - 27*y + 9. Let j be w(-9). Solve j*q = -8 - 1 for q.
-1
Let g = 221 + -103. Suppose 0 = -3*r - 40 + g. Let n = r - 20. Solve -3*w - n = -w for w.
-3
Let f(w) = -w + 12. Let m be f(6). Let y(p) = p - 2 + m*p**3 - 2*p**2 + p**2 + 1 - 3*p**3. Let n be y(1). Solve n*a = 3*a + 4 for a.
-4
Let h(i) = i + 11. Let v be h(-19). Let m = v - -10. Solve 0 = -m*r + 1 - 3 for r.
-1
Suppose -6 = -q + 49*t - 52*t, 2*q + 3*t - 9 = 0. Suppose -m - 2 + 7 = 0. Solve -m*c = -q - 17 for c.
4
Let p(v) = 27*v**2 - 26*v**2 + 28 + 15 - 16*v. Let g be p(13). Solve g*c + 4 = 2*c for c.
-2
Suppose 0 = -2*z - 4, 56 - 22 = 5*v + 3*z. Let t = 25 + -23. Solve 4*r - t*r = v for r.
4
Suppose 0 = -5*h - 4*p + 78, 0*p - 64 = -5*h + 3*p. Solve 6*b = -32 + h for b.
-3
Suppose t - 3*f = 3 - 17, -3*t + 4*f = 32. Let j = -6 - t. Solve 0 = -j*m - 3*m for m.
0
Let o be (-3)/1 - -2 - -5. Suppose -g = -3*m - 8, 3*g - 2*m = -5*m. Suppose -h + 6 = g*h. Solve h = l + o for l.
-2
Let q(d) = d**2 - 5*d + 10. Let h be q(4). Let t = h + -6. Solve o + 4 - 1 = t for o.
-3
Let m be 5183/219 - 2/(-12)*2. Solve -12*q + 24 + m = 0 for q.
4
Let p(i) = -i**3 - 2*i**2 - 11*i - 16. Let q be p(-2). Solve -11*n + 27 = -q for n.
3
Suppose 0*o - 32 = -4*o - 4*a, 4*o - 4*a - 64 = 0. Suppose o*h = 16 + 68. Solve -2*b = -h*b + 25 for b.
5
Let b(t) = 2*t - 1. Let k be b(1). Solve 0 = -l - 0 + k for l.
1
Suppose 0 = -46*i - 41 + 593. Solve 26 = 7*n + i for n.
2
Suppose 4 = r - 2. Let d(a) = -a**3 + a**2 + 6*a - 5. Let z(u) = -u**3 + 2*u**2 + 5*u - 6. Let o(i) = -5*d(i) + 4*z(i). Let v be o(-5). Solve -r + v = -q for q.
5
Let m = 15 - 11. Solve m*j - 8 = -28 for j.
-5
Suppose -5*z - 52 = -3*i - 19, 5*z = -i + 31. Solve 0 = -5*o - 4 - i for o.
-4
Let y be (1/6 - 0)/(-1)*0. Solve -66*o + 61*o - 10 = y for o.
-2
Let z = 90 - 87. Suppose 0 - 8 = -2*l. Solve z*u = u - l for u.
-2
Suppose 5*z = -16 + 26. Suppose -q - 3 = 0, 0 = -0*l - z*l + 4*q + 2. Let j(r) = r + 11. Let a be j(l). Solve -b = -a*b - 20 for b.
-4
Suppose 0 = -4*o - l - 9 + 41, -5*o - 2*l = -43. Let x be ((-6)/(-50))/((-3)/15)*-5. Solve -x - o = -2*a for a.
5
Let d be -5*-3*(-24)/45. Let v(k) = -k**3 - 9*k**2 - 7*k + 14. Let l be v(d). Solve 2 = -4*o + l*o for o.
1
Let h(i) = -6*i**2 + 5*i + 8 - 2*i - 4*i + i**3. Let m(d) = -d**2 + 20*d - 69. Let q be m(15). Let v be h(q). Solve -12 = -2*w - v*w for w.
3
Let x(b) be the first derivative of -b**4/4 + b**3 + 7*b**2/2 - 10*b - 9. Let o be x(4). Suppose 2*t - 15 = -3*t. Solve -t*m + o = -4 for m.
2
Suppose 4*p + 222 = 2*u - p, 258 = 2*u + 4*p. Let v = u - 118. Solve -10 = v*s + 2*s for s.
-2
Let p be 12*(-4)/10*(-3 - 27). Let j be (-5)/2*(4 + p/(-30)). Let o be (-1)/(2/(-12) + 0). Solve j = 4*w + o for w.
-1
Suppose 0*u = -u + 5, 3*u + 245 = -5*f. Let i = f - -57. Solve 2 = -i*o + 7 for o.
1
Let m be 16/12*3/2. Suppose -2 = -m*d + 6. Let f(y) = -y**3 + 6*y**2 + 14*y + 16. Let u be f(8). Solve u = d*b - b - 3 for b.
1
Let d = 51 - -15. Suppose 3*r = d - 24. Suppose r = 3*y - 31. Solve -2*l + 7*l = -y for l.
-3
Suppose -6 = 6*f - 24. Let a = -5 - -6. Let m be (3/4)/(a/4). Solve 2*w - m = f*w for w.
-3
Let o(p) = -p**2 + 2*p + 44. Let y be o(6). Solve 5*x = 5 - y for x.
-3
Suppose 9 = -4*m + 5*k, -11*m - 28 = -13*m - 4*k. Solve 0 = 50*g - 54*g - m for g.
-1
Let l = -212 - -219. Solve 19 = -4*j + l for j.
-3
Suppose -3*x - o + 33 + 13 = 0, -5*o = 4*x - 76. Suppose -5*f + x + 1 = 0. Solve -2*k = -f - 5 for k.
4
Suppose -6*k - 2*v = -2*k - 126, -3*k - 2*v + 96 = 0. Let c be 2/3*2/(8/k). Solve 0 = c*a - 6 - 4 for a.
2
Suppose -4*p + 105 = -15. Suppose 5*r = -5*q + p, -r = -q + 3 - 1. Solve 0 = q*n - 5*n + 3 for n.
3
Let u be ((-12)/14)/((-2)/14). Suppose -6*r = -r - 45. Suppose -k + 1 - r = -5*h, 2*k - 8 = -2*h. Solve k*b = 2 + u for b.
4
Let g(t) = 70*t**3 + t**2 + t + 1. Let s be g(-1). Let x = s + 70. Solve 3*j + x = 4*j for j.
1
Let f be (-28)/8*8/(-14). Suppose f*o - 2*x - 32 = 2*x, 0 = x - 1. Suppose 7 = 5*w - o. Solve -2*b = -w*b for b.
0
Let g = -676 + 683. Solve -g*r = 17 + 4 for r.
-3
Let i(r) = 5*r**2 + 37*r + 43. Let x be i(-6). Solve -x + 2 = w for w.
1
Let o = -1528 - -1528. Suppose 0 = 3*i - 5*c + 2, 9*i + 5*c - 44 = 5*i. Let v = -4 + i. Solve 3*g + v*g - 25 = o for g.
5
Let o be 5 - 1 - (-2)/3*-6. Solve j = -o*j for j.
0
Let o(l) be the third derivative of l**4/8 - 11*l**3/6 - 7*l**2. Let x be o(5). Solve 4