 m + 1 = o*l, -m = 2*l. Solve y = l + 1 for y.
2
Let y = 21 - 11. Let z be 4/3*423/6. Let n be z/y - 4/10. Solve -1 = -5*g + n for g.
2
Suppose -4*y = -4*g - 0*y - 4, 0 = -5*y + 5. Suppose -3*o + 19 - 13 = g. Solve o*d = d for d.
0
Let t = -2 - 1. Let x = -6 - t. Let a be 48/9*-1*x. Solve 4*l + 0*l + a = 0 for l.
-4
Let a(k) = 5*k**2 + 2*k + 1. Let f be a(-1). Let h(j) = j**2 + 5*j - 3. Let b be h(-6). Solve f - 1 = b*w for w.
1
Suppose 0 = -3*f - 4*z - 83, 2*f + 0*f + 2*z + 52 = 0. Let n be 36/7 + 3/f. Solve -m = -n*m - 16 for m.
-4
Let f be 38/4 - 2/(-4). Let x = f - -6. Let k be x/7 - 2/7. Solve 12 - k = 5*q for q.
2
Let u(z) = 2*z**2 - z + 2. Let p be u(1). Solve r - 5 + p = 0 for r.
2
Suppose j = -3*o + 4*j + 57, 0 = -4*o + j + 61. Let i = o - 6. Solve 3*n = -n + i for n.
2
Suppose 2*n = 3*n. Solve n = 4*d - 2*d for d.
0
Let j be (1 - (-2 - -3))/(-1). Let m be 0/(-6) + j + 6. Solve -n + m = n for n.
3
Suppose -4*w = -2*p - 12, -w + 0*p - 5*p = -3. Suppose -w*j + 7*j - 80 = 0. Suppose 3*a + 5*d - j = 10, 4*a + 4*d = 32. Solve 3*l - a*l = 2 for l.
-1
Suppose 4*f - g + 32 = 0, -7*g + 2*g = -f + 11. Let q be 16/72 - 7/f. Solve w - q = -0 for w.
1
Suppose -4*u + 2*b = 0, 2*b = -u - u + 12. Suppose u*v - 45 = 11. Suppose 0 = h - 5*h + v. Solve -4*q + h = -5 for q.
3
Suppose 0 = 3*t - 5*t. Suppose -5*q + t*h = -2*h + 24, 0 = -5*q - h - 33. Let x(y) = -y**2 - 6*y + 7. Let d be x(q). Solve 1 = -2*a - d for a.
-4
Let z(b) = b**2 + 4*b - 6. Let v be z(-5). Let w = -2 + v. Let t = w - -5. Solve -h - t = h for h.
-1
Let c(r) = -r - 3. Let p be c(-7). Solve 2*y + 0*y = p for y.
2
Let h = 11 - 7. Suppose -h = -s - 2. Suppose 0 = 5*u + 5*o - 15, o - 14 = -s*u + 3*o. Solve -u + 1 = -4*i for i.
1
Suppose 2*q - 133 = -4*g - 3*q, 86 = 3*g + q. Suppose 2*b + j = g, -b + 1 = -0*j + 3*j. Solve 4*f - b = -0*f for f.
4
Let w = -6 + 8. Suppose w*b = b + 2. Solve 10 - b = 4*p for p.
2
Let l(x) = x**2 + 7*x + 8. Let w be l(-6). Suppose 6*r - w*r = 4. Solve j + r = -1 for j.
-2
Let i = 85 + -79. Solve 2*p = -i - 2 for p.
-4
Let t(c) = -c**3 - 8*c**2 - 9*c - 9. Let y = -3 - -2. Let p be -4 + y + (-3 - -1). Let j be t(p). Solve -j = 2*h - 3 for h.
-1
Let k(n) = n**3 - 6*n**2 - n + 30. Let c be k(5). Solve c = -0*a - 5*a for a.
0
Suppose -11 = -5*h + 9, 9 = -j + 3*h. Suppose -j*c - 2*c = 0. Solve c - 2 = 2*g for g.
-1
Let b be 2*1/(-2) - -31. Suppose 0 = -10*r + 5*r + b. Solve q = r*q + 5 for q.
-1
Suppose 4*k = 4*o, 4*k - k = 5*o - 4. Suppose -k*h - 3*h + 15 = 0. Suppose -7 = -h*d - 1. Solve -i = -d + 1 for i.
1
Suppose 0 = -5*c - 0*c. Let l be (-1)/(9/(-6) - -1). Suppose 3*w = l*w. Solve w = -c*j - j + 2 for j.
2
Let q be 3 + -10 + 12/4. Let m be 30/3*(-6)/q. Solve -3*k - m = -6*k for k.
5
Let v(s) = -5*s + 6*s - 2 + 2*s - 2*s. Let p be v(6). Let k(q) = q**3 - 4*q**2 + 5*q - 3. Let r be k(3). Solve a - p = -r*a for a.
1
Suppose 0 = -2*k - 2 + 6. Solve k*i = 4*i - 4 for i.
2
Let y be 2/(-3) - (-22)/6. Solve -f + 0 = -y for f.
3
Suppose -4*h + 0 + 4 = 0. Suppose -h = -r + 2*r. Let y be r/(-2) - 45/(-10). Solve 0 = y*d - 30 + 5 for d.
5
Suppose 0 = 4*u + 3*s - 6, 4*u = 2*s + 2*s - 8. Suppose u = -2*y + y + 3. Let r(t) = t**2 + 2*t + 1. Let c be r(-3). Solve -c*b + y = -5*b for b.
-3
Let o be (2 + -4 - -3)*3. Suppose 0 = 4*r - 5*x + 12, -x + 24 = 2*r + 4*x. Suppose -4 + r = d - 2*i, -2*i = -4*d - 2. Solve d*p = -o*p + 6 for p.
2
Let t be 30/(-50) - 106/(-10). Suppose 0*z + 2*z - t = 0. Solve 0 = -a - z + 1 for a.
-4
Let z(b) = -b**3 - 3*b**2 - 2*b + 1. Let i be z(-3). Solve -4*w + i = -9 for w.
4
Let g(v) = v**2 + v - 2. Let h be g(-4). Let x be (-3 - -2 - -2)*-3. Let m be h/(-6)*x/1. Solve 3*z + 2*z = m for z.
1
Suppose 0 = 2*w + 2*w - 36. Let h = w + 0. Solve -5*r - h = 1 for r.
-2
Let w = -9 + 13. Let i = -21 + 26. Solve -w*j = j - i for j.
1
Suppose 4*s = -0*s + 4*n + 60, 3*n - 59 = -5*s. Solve -3 - s = 4*j for j.
-4
Let f = -3 + 2. Let l = 14 + f. Let w = l + 2. Solve 6*z + w = z for z.
-3
Suppose n - 2*g + 20 = 2*n, 3*n = 5*g + 60. Solve -5 = -5*y - n for y.
-3
Let o be (-3)/(-12) + (-31)/(-4). Let t = o + -4. Let u = -2 + t. Solve -3 = u*z + z for z.
-1
Let g be (-1)/(-2*2/8). Let q(i) = i**3 + 5*i**2 - 5*i + 8. Let a be q(-6). Suppose -a*s = -j + 2*j - 8, -s + 5*j = -4. Solve g*p + s = -0*p for p.
-2
Suppose -4*w - 4*w = -24. Solve 0 = x - w*x for x.
0
Let y be ((-2)/(-4))/((-2)/(-8)). Suppose 0 = y*t - 6*t + 24. Suppose -t + 18 = 4*c. Solve -5*r = -c - 7 for r.
2
Suppose 4*k + 26 = 3*b, b + 2*k - 5*k - 17 = 0. Let f(c) = -b + 2*c - c**2 + 4 + 7*c. Let y be f(7). Solve -2*q + y = -6*q for q.
-4
Let p be (-4 - -1)/((-3)/4). Let o be (-58)/261 + (-8)/18*-14. Solve o = u - p*u for u.
-2
Suppose -3*l = -1 + 4. Let w(q) = 4*q**2 + q + 1. Let x be w(l). Suppose x*h - 6*h = -6. Solve -8*c - 10 = -h*c for c.
-2
Let r(x) = x**3 - 5*x**2 + 7*x - 4. Let z be r(4). Let w = -6 + z. Suppose -4*v - 2*b = -14, 3*b - 13 = -4*v + w*b. Solve 0 = -v*t - t + 8 for t.
2
Let k be 6/4*(-40)/(-12). Let s(r) = -r**3 + 4*r**2 + 6*r - 5. Let v be s(k). Solve v = -0*z - z + 3 for z.
3
Let c(j) be the first derivative of -j**4/4 + j**3/3 - j**2/2 - j - 1. Let v be c(-1). Solve 0*z - v*z = 0 for z.
0
Let s = 2 - 2. Suppose -4*h - 41 - 67 = s. Let x = h - -42. Solve 0 = -a - 2*a + x for a.
5
Let n be (4/3)/((-2)/(-3)). Let o(x) = -x**3 - 4*x**2 - 3*x + 3. Let w be o(-3). Suppose 2*p + 3*f = 6*f - 3, f = -w*p + 12. Solve n*h = -h - p for h.
-1
Let l(i) = -3*i**3 + 5*i**2. Let c(f) = -f**3 + f**2. Let m(w) = -9*c(w) + 2*l(w). Let t = 1 - 0. Let n be m(t). Solve 0 = o + o - n for o.
2
Let o(j) = j**3 - 9*j**2 + 8*j + 3. Let h be o(8). Solve h*v = -2 - 1 for v.
-1
Suppose -3*f + 21 = 2*g, 2*g = -2*f - g + 14. Solve 4 = d + f for d.
-3
Let z(u) be the first derivative of u**3/3 + 3*u**2/2 - 4*u + 1. Let i be z(-6). Let l = -8 + i. Solve -c - l = c for c.
-3
Let o be -1 + 1 - (-6 - -4). Suppose -d + 2*s = 6*s - 4, -o*s = 5*d - 38. Let j = -5 + d. Solve 6*l - j*l + 6 = 0 for l.
-2
Let h be (-256)/14 - (-4)/14. Let m be 34/9 + (-4)/h. Solve -t = -2 + m for t.
-2
Let z = -18 - -27. Suppose -2*l - o = -2*o - 4, 4*l = -o + 20. Solve l*j = 7*j + z for j.
-3
Let a(r) = -r**3 - 5*r**2 + 3. Let z be a(-5). Solve z*b + 10 = b for b.
-5
Suppose 5*j = 5*b - 0*j + 15, -b = j - 3. Solve 5*c - 25 = -b*c for c.
5
Suppose 22 = 5*v - 5*h - 3, -3*v - 3*h = -3. Let d be 2/v*3/2. Solve 3*p - 7 = -d for p.
2
Let o be 9/(-2)*(-130)/39. Suppose -l + 14 = l. Suppose 5*n + 20 = 0, -2*q + n + l + 3 = 0. Solve q*r - 8*r = o for r.
-3
Suppose -3*r - 3*z + 2*z = 0, 5*z = -4*r. Solve -4*y - 20 = -r*y for y.
-5
Let l = -23 - -28. Suppose -j + 12 = l*j. Solve -j*b = 2*b - 16 for b.
4
Let x = -3 + 3. Let r be (-3)/(-6)*(x - 0). Let b be (3 - (0 + 4))*-12. Solve r = 5*l - 3 - b for l.
3
Let k(c) = c + 15. Let w(j) = -j - 7. Let i be w(-7). Let r be k(i). Let p be (6/r)/((-3)/(-15)). Solve p*d + 0*d + 6 = 0 for d.
-3
Suppose -m - 3*d + 25 = 0, -3 + 17 = 2*m - 3*d. Solve -m = 5*q - 3 for q.
-2
Let g(z) = z**2 + 5*z - 13. Let w be g(-7). Solve -p - 3 = w for p.
-4
Let k(o) = -2*o + 17. Let u be k(8). Solve -x + u = 6 for x.
-5
Suppose 2*i = -2*i + 8. Let s = i + 10. Solve 6*c - 3*c = s for c.
4
Suppose 2*i - 6 = -0. Let a(l) = l**2 + 3*l - 3. Let y be a(-4). Suppose 2*f + 26 = 5*n + i*f, -n + 4*f + y = 0. Solve 4 = -n*s + s for s.
-1
Let f(t) = t**2 + 21*t + 58. Let j be f(-18). Solve -x = j*x - 25 for x.
5
Suppose 0*u + 4*u = 16. Suppose 5*b - u*b - 6 = 0. Solve 2*i - b*i = -8 for i.
2
Let u be (-2 + 2)/(1*-2). Suppose 0 = 5*h + 5*c - 15, 2 = 5*c + 7. Let q be h + (-3)/3*1. Solve q*m + u = 3 for m.
1
Let p = -7 + 12. Let l = 1 + -1. Solve -p*z + z = l for z.
0
Let l be ((-5)/2)/((-1)/2). Suppose 3*u - l*u + 6 = 0. Suppose 5*n = 13 - u. Solve -6 = -n*t + 4 for t.
5
Suppose 2 = -0*n + n. Solve n*d = 4*d - 2 for d.
1
Let h = 24 + -23. Suppose -2*j = -j - h. Let i = 0 + 0. Solve i = -5*n + 4 + j for n.
1
Let p be ((-1)/(-2))/((-16)/(-64)). Solve p*n - n = -1 for n.
-1
Suppose -13*a + 23*a = 0. Solve a*p = -p - 4 for p.
-4
Let b be (-5)/(2*(-3)/12). Let s be ((-5)/b)/((-1)/6). Let h be 2*-2 + s + 26. Solve -4*y + h = y for y.
5
Suppose -3*b + b = 3*m - 1, -3*b = 5*m - 2. Let i = 4 + b. Solve 0 = h + i*h - 4 for h.
1
Let m(f) = -f + 4. Le