 0 = 3*r - l + 6*l + 12 for r.
1
Suppose 5 = -6*u + 7*u. Suppose 12*m - 10*m = -u*c + 15, -3*c + 9 = -2*m. Solve m = 3*o - 3*f, -3*o - 4*f - 3 - 18 = 0 for o.
-3
Suppose -113*z = -116*z + 9. Solve -z*l + l = -5*a + 10, -10 = -5*a for l.
0
Let w(b) = -b**2 + 2*b + 1. Let i be w(3). Let f be (-96)/16*i*2/6. Solve -f*l + 2 = 4*p - 2, 2*l - 2*p = -2 for l.
0
Suppose -5*q - 105 = 10*q. Let f = 26 + -15. Let d = q + f. Solve -3*c - 5 = 2*j, 5*c + 26 + d = j for c.
-5
Let k(m) = 60*m + 495. Let c be k(-8). Solve 0 = -5*t + 4*r + c, -9 = 3*t + 4*r + 14 for t.
-1
Let t(a) = -39*a**3 - a**2 + 2*a - 1. Let b be t(1). Let g be (-5 - b/9)*-30. Suppose 2*p - 25 = -3*p. Solve 21 = 4*m - p*j - g, j = -2*m + 3 for m.
4
Let g(h) = 17*h + 51. Let w be g(-3). Let b be (-3)/2 - (-14)/4. Solve w = -4*u - i + 4, -i + b = 3*u - 0*i for u.
2
Let a be -2 + 11 + 20/(-5). Solve 4 = -w + 4*w + a*v, -w + 6 = -3*v for w.
3
Let u(z) = z + 18. Let h be u(-19). Let q be 18/(-45)*(-6 - h). Solve 5*m - f = 15, 12 = -2*m + 6*m + q*f for m.
3
Let l = 18 + -21. Let s be 2/3 + (-4)/l. Solve s = z + 3*b + 3, 5*z + 2*b + 18 = 0 for z.
-4
Let r(p) = -p + 29. Let j be r(26). Solve -m - j*k = m + 10, 2*m - 2*k - 10 = 0 for m.
1
Let g = 77 - 156. Let p = -74 - g. Solve -5*d + p = -5*z, 1 = 3*z + 4*d + 32 for z.
-5
Suppose 9 = w + 4. Suppose 0 = w*h + 16 - 86. Let r be (-4 + h/4)*0. Solve r*z + 2*z + o + 1 = 0, 1 = z - o for z.
0
Suppose -5*p - 159*u + 65 = -154*u, 0 = -2*u. Solve j = 3*v - p, -2*j + 15 = -5*j + v for j.
-4
Suppose -5*m + k = -16, -13*k = 2*m - 8*k - 28. Solve -5*y + 24 = 5*s - 11, -4*s + m*y + 4 = 0 for s.
4
Let r(i) = i**3 + 3*i**2 - 2*i. Let y be r(-3). Let b(p) = p**2 - 4*p - 14. Let f be b(y). Let t = 0 - f. Solve c - 11 = -3*v, -v - 3 + 0 = t*c for v.
5
Let z = 288 - 270. Solve -3*y = -2*l + 1, 0 = 4*y + 5*l - z + 4 for y.
1
Suppose -3*t = 3*c - 15, -5*c + 6 - 8 = -4*t. Solve -2*q - c = -z, 7 = 4*z - q - 1 for z.
2
Suppose 5*u - u = -4*s - 20, 0 = 2*u + s + 5. Solve -3*p - p - 5*f = u, -3*p - 5 = 5*f for p.
5
Suppose -75*s + 5*m + 76 = -73*s, -5*s = 4*m - 124. Solve 4*i + 2*d = 6*d - s, -5*i + d = 19 for i.
-3
Let j be 3/5 - (-57)/5. Let l be 2/(-8) - 87/4. Let w = -11 - l. Solve -4 - w = -5*y - 5*x, 0 = -y + 2*x - j for y.
-2
Let q be -4 - (-1)/((-2)/(-10)). Solve -3*u = c + 11, 2*u + q = -5 for c.
-2
Suppose 4*v - 8 = -36. Let a(i) = -i**2 - 9*i - 11. Let q be a(v). Solve -w + 4*j = -0 - 14, -2*j - 14 = q*w for w.
-2
Suppose 36 = 27*t + 9. Solve r + 10 = -4*g + t, -r = -5*g for r.
-5
Let w(b) = -18*b + 256. Let a be w(14). Solve a*y - 9 + 33 = 3*l, -4*y - 4*l = -4 for y.
-3
Let z = 2 - -2. Suppose -25 = -5*d, -2*n + 18 + 12 = 4*d. Suppose -z*q + n*m + 6 = 0, 5*q - 6 = 4*m + 6. Solve 0 = 3*k + 2*k + q*x + 10, 4*x + 20 = 0 for k.
2
Suppose -5*m + 0*r - 83 = r, -3*m = r + 51. Let g = m + 19. Solve -16 = 3*n + 2*c + 3*c, 6 = -g*n - 3*c for n.
3
Let d be ((-392)/(-140))/((-2)/(-5)). Solve -g = 3*y + 1, -y - 2*g + 21 = -d*g for y.
1
Let g = 40 + 2. Suppose 4*p - g = 34. Solve -x + y + p = 6*y, 0 = 4*y - 16 for x.
-1
Let n = 1814 - 1812. Solve p + 7 - 13 = -n*k, -5 = 3*k - 2*p for k.
1
Suppose 0*z = 5*z + 50. Let n be z/(-2)*(3 - 2). Suppose 0 = -n*s + 21 - 11. Solve 3*m = 3*g, -m = -s*g - 3*m + 20 for g.
5
Let b be 0/(1 + 6 + -8). Solve 2*n + 4*c - 4 = b, -n + 0*n - 13 = -3*c for n.
-4
Let z(n) = n**3 + 8*n**2 + 2*n - 3. Let m be z(-7). Let o = m + -31. Suppose 0 = 3*g + 2*g - 10. Solve -4*x - h + 16 = 0, -5*x + 4*h + o - g = 0 for x.
3
Suppose -11 = -4*i + 169. Let y = i - 27. Let l be 400/18 - 4/y. Solve -t - 4*t = 3*b + l, -2*t - 5 = 5*b for t.
-5
Let u be -2 + (-1 - -33) + -8. Solve 0 = -4*q - 2*k, u = -2*q + q + 5*k for q.
-2
Let c(g) = -6*g**2 - 41*g + 9. Let l be c(-7). Suppose -n + 28 = n. Solve 3*h + 3 = -5*v + 10, -l*v + n = 4*h for v.
-1
Let t be (-235)/(-10) - 5 - 3/(-2). Suppose 5*m = 6*g - 2*g - 45, 3*g - m - t = 0. Solve -3*x = -g*z + x - 36, 0 = -5*z - 5*x for z.
-4
Let d = -772 - -772. Solve -8 = 2*g - 3*c, d*c - 2*c + 4 = 0 for g.
-1
Suppose 0 = -2*t + 1 + 3. Let o be 10*t/16*4. Solve -10 = o*g - 4*n, 5*g - 3*n + 3 = -7 for g.
-2
Suppose 0 = -2*x + 5*h + 4, 2*x + x + 4*h - 6 = 0. Solve -3*t + 15 = -5*f + f, x*f = 4*t - 20 for t.
5
Let j(m) = -m + 8. Let b be j(2). Suppose -5 = b*g - 77. Solve 6 = 5*c - 3*q, 0 = 2*q + 2*q - g for c.
3
Let m be 7/(-6) + 1 - (-686)/84. Solve m = 4*o - 3*o - 5*v, 0 = 4*o + 5*v + 18 for o.
-2
Let b be ((-14)/8 - -2)*-2*-10. Solve 4*f + b*j = 0, 0 = -3*f - 2*j - 0 - 7 for f.
-5
Suppose -72 = 336*s - 344*s. Solve 0 = -3*d + 4*y - 23, s = d - 4*y + 22 for d.
-5
Suppose -4*n = -s + 20, 4 = -s - 5*n - 3. Suppose -3*u + s = -u. Let x be 2/(-7) + (-2)/(-7). Solve x*b - 3*b + u*p + 25 = 0, 5*b - 19 = p for b.
3
Let i = -170 + 175. Let z = 18 - 15. Solve -i*n = -z*s + s - 30, 3*s + 11 = -n for n.
4
Let c(l) = -l**2 - 29*l + 343. Let n be c(-38). Solve -x - n = 5*j, 2*x = -0*x - 5*j - 2 for x.
-1
Suppose 0 = -3*s + 3*b - 48, 4*s - 2*b + 62 = 4. Let r be (-12 - -13)*8*(-1 + 3). Let z = r + s. Solve 2*y + 24 = -z*y - 3*m, 4*m = 3*y - 3 for y.
-3
Let k = 1932 - 1932. Solve 5*o - 11 = -6*v + 7*v, k = 3*v + 4*o - 5 for v.
-1
Let q(y) = -y**2 - 9*y - 1. Let t be q(-8). Let n be 103/t + (-12)/(-42). Let b be 20/n*(-3)/(-2). Solve 2*j = b*l, -2*j + 9 = -5*l + 24 for j.
5
Suppose 0 = -3*c - z + 2*z + 89, -4*c - 3*z + 136 = 0. Let s = -23 + c. Solve 0 = -2*f - k + s, -2*f - k + 8 = -3*k for f.
4
Let f(q) = q + 9. Let d be f(-6). Let z(k) = -k**3 - 6 - 14*k + 6*k**2 + 11*k**2 - 8 - 1. Let r be z(16). Solve d*u - 5 = -r, -3*a - 7 = u for a.
-1
Let j = -17 - -17. Suppose -3*w + 2*z + 23 = j, -4*w - 4*z - 4 + 8 = 0. Solve 0 = 5*s + 4*b + 4, -4*s + s = -5*b - w for s.
0
Suppose 0*p + 3*p = 9. Suppose 0 = c + p + 1, -5*c = -5*w + 45. Suppose 0 = s - 4 - w. Solve s*x = g + 4*x, x = -3*g for g.
0
Let c = -7 - -13. Suppose -2*i = -4*i + c. Suppose i*g = g. Solve 0 = 2*o + 4*m - 5 - 1, 2*m - 6 = g for o.
-3
Let y be (78/65)/(3/(-10)) - -7. Solve 0 - 6 = -y*f - 3*i, 0 = f - 5*i - 2 for f.
2
Suppose 5*j + 20 = 3*a, -4*j + 5 - 21 = 2*a. Suppose a - 3 = -n. Let t be 4 - 3/(n/2). Solve -4*i = x + 9, 5*i + 22 = 3*x - t for i.
-3
Let i = -1 + 20. Suppose 5*z - i = -4, 3*z = -5*a + 49. Suppose 3*o - a*o = 2*c - 9, -c + 3 = o. Solve -l = c*m + 9, 0*m - 5*m = l + 21 for m.
-4
Let l(o) = o**3 - 9*o**2 + 12*o - 7. Let p be l(8). Suppose -5*c - 15 = 0, -3*c = -3*j + p - 4. Solve 2*t = -2*t - j*f, 3*f = 4*t for t.
0
Suppose 4*b + 288 = 144 + 148. Let d = -4 + 12. Solve 2*c - 3*l - d = b, -5*c - 4*l = -11 for c.
3
Let u(y) = y**2 - 10*y + 21. Let a be u(5). Let v be a - ((4 - 8) + -4). Solve v*x + 0 = -5*l + 25, 2*l - x - 10 = 0 for l.
5
Let p be (-2)/(-4)*10/1. Suppose 8 = -t + 23. Let j be 40/(-30)*-3*1. Solve 0 = 2*a + p*v + 11 + j, -a = -2*v - t for a.
5
Let l = -3 + 0. Let i = 75 - 69. Let r = i + l. Solve 3*k = 3*q + k + 2, r*q = k - 7 for q.
-4
Let w(d) = 5*d - 38. Let g be w(8). Let f = 6 - 4. Solve -f*b - g = -2*r, 3*r = 4*b - 2 + 7 for r.
-1
Let v = -79 + 82. Solve -2*d + 20 = -4*x - 7*d, v*x = -2*d - 15 for x.
-5
Let r be 30/(-1 - 35/(-14)). Solve -4*y + 15 = -q, -2*y + r = 2*y + 4*q for y.
4
Let l be 4/(-14) + -12*20/(-105). Solve -2*w = -v - 7, -3*v + w - 14 = l*w for v.
-5
Suppose 0 = 20*n - 30*n - 53*n. Solve -2*q - w - 2 = -n*q, q + 5*w = 8 for q.
-2
Suppose 0 = -3*p - 4*y - 12, 3*p - 3*y = 13 - 4. Solve p = -w + 4*a, -w + 4*w + 5*a - 17 = 0 for w.
4
Let b = 13 + -3. Let o(l) = l**2 - 3*l + 5. Let g be o(5). Suppose -9 = -6*p + g. Solve -p = -2*d, 3*x - b = d - 0 for x.
4
Suppose 88 = 2*h - 8*u + 3*u, -2*h = -4*u - 86. Suppose -19 = -2*o + h. Solve 2*w + 1 = -7, -5*f = w + o for f.
-5
Let k(r) = 12*r**3 - r**2 - r - 2. Let w be k(2). Suppose 11*a + w = 15*a. Solve -l + 4 = 2*l - 4*i, -a = -3*l - 5*i for l.
4
Let t be (-430)/(-35) - (8/(-7))/(-4). Suppose -t = -3*z + 3*y - 0*y, -4*y = 0. Solve -13 - 24 = -5*r - z*s, -5*s = 3*r - 30 for r.
5
Suppose 0 = -0*z + 4*z + 4, 4*t + 26 = -2*z. Let a be 238/26 + t/39. Suppose a*p = 4*p + 105. Solve k + p = 5*l - 2*k, 4 = 2*l + k for l.
3
Let a(z) be the third derivative of -z**5/60 + z**4/24 + 13*z**2. Let u be a(1). Solve u = -5*p, t = -t + p + 8 for t.
4
Let n(g) = -g**3 - 7*g**2 - 7*g - 1. Let m be n(-6). 