l.
0
Suppose 0 = 2*x + 4*y - 10, x + 3*y + 4 - 11 = 0. Suppose w - x = 2. Let b(c) = 3*c - 3. Let a be b(4). Solve w + a = -3*k for k.
-4
Let k be 1 + 3 + (-8)/(-8)*-1. Solve k*j - 2*j = 3 for j.
3
Suppose -2*b = -f + 3*f - 12, 0 = -4*b + 5*f - 3. Suppose -8*t = -b*t - 20. Solve 0 = -w + 8 - t for w.
4
Let n = 30 - 28. Solve 2*k = n + 4 for k.
3
Suppose 2*l - l - 2 = 0. Solve l = s - 2 for s.
4
Let n(c) = -2*c - 2*c + c**2 + 2 - 2. Let z be n(5). Solve z = 4*b + b for b.
1
Suppose 5*i = -18 - 37. Let j = -8 - i. Solve j*b = 4 + 8 for b.
4
Let n = -19 - -48. Suppose 4*i - i = -4*p + n, 12 = -i + 3*p. Solve 2*r + 1 = i for r.
1
Suppose -c = 2*c - 27. Let q be 6/(1*2 - 15/5). Let z = q + c. Solve -2*g = z*g - 10 for g.
2
Let f = -5 + 3. Let p be -1*((f - -1) + -2). Suppose -3*t + 31 = 5*c, -3*t + p*c + 57 = 18. Solve -3*y - y - t = 0 for y.
-3
Let n be (8/(-3))/((-2)/3). Solve -n*k + 6 = -k for k.
2
Suppose -10 - 4 = -3*v + 2*d, 2*d + 16 = 4*v. Suppose 2*a - 4 = v. Solve -j - a*j - 20 = 0 for j.
-5
Suppose 5*q = 5*w + 20, 5 = 4*q - 3*w - 13. Suppose d + 2*i = q*d, 0 = d - 2*i. Solve -5*s - 10 = -d*s for s.
-2
Suppose -5*j - 2*d - 33 = -0*d, 0 = 4*j + d + 27. Let r = j + 4. Let c(h) = h**3 + 4*h**2 + h - 2. Let a be c(r). Solve -1 = a*v + 3 for v.
-1
Suppose 7 = -2*k + k + f, -2*f = 0. Let d be (-2 - k)/(4/4). Solve -d*x = -1 + 6 for x.
-1
Let s = 23 - 14. Let a(k) = -k**2 + 9*k + 1. Let y be a(s). Solve 2*l - l + y = 0 for l.
-1
Let z = 2 + -11. Let a = z - -17. Suppose -3*j - 3 = -5*i, -2 = j - 0*j - 2*i. Solve j*l = 4 + a for l.
3
Suppose -2*s + 2*x = -8, -3*x - 7 = -s + x. Solve -s*u - 1 + 13 = 0 for u.
4
Let u(z) = -z**3 - z**2 - 1. Let p be u(-2). Solve 8 = p*o + o for o.
2
Let l(a) = 2*a**3 - 26*a**2 - a + 15. Let w be l(13). Solve w*k + 3*k + 5 = 0 for k.
-1
Suppose 0 = h - 6*h + 65. Suppose 4*g = -3*d + 24, -3*g + h = 4*d - 5. Solve l + 20 = g*l for l.
4
Suppose -8*t = -7*t - 3. Solve 2*s - t*s + 4 = 0 for s.
4
Let w be 1*(-2)/4*0. Let t be 1 + 1 + (2 - 7). Let v be (-21)/(-9) - 2/t. Solve w = 2*l - v - 5 for l.
4
Suppose 5*y - 27 = 4*j, 3*y - 9 = -y - j. Suppose -w + v - 6 + 3 = 0, 4*w = -4*v + 28. Solve y*g - 8 = -w for g.
2
Suppose -q + 1 = -0. Let k(w) = w - 3. Let m be k(6). Suppose m = 2*i - q. Solve 2*y = -i - 8 for y.
-5
Let s be (-4 + 3)*(2 + -5). Solve -5 + s = -2*x for x.
1
Let g be 2 + 1 - (-12)/(-4). Solve g = -n + 2*n for n.
0
Let m(q) = 5*q. Let v be m(1). Suppose v*c - 20 = 5. Suppose 0 = c*i - r + 3, i - 3*r = -7 - 2. Solve -3*h - 6 - 6 = i for h.
-4
Suppose 0 = -3*l + 12, j - 2*l + 20 = -3*j. Let q be 3*j/((-9)/6). Solve 4 = 2*y + q for y.
-1
Suppose -3*r - 40 + 1 = -4*s, s = -2*r - 4. Let i = s + -3. Solve 4*b - 1 - i = 0 for b.
1
Suppose m + m = 4. Suppose m*b + 5 = 13. Solve b*t - 7 - 5 = 0 for t.
3
Let q be (-2)/6 - 296/(-24). Suppose 2*f = -2*c - 8, 3*c + q = f + f. Solve f*s + 4 = -4*s for s.
-1
Let n(k) = 4*k**2 - k - 1. Let h be n(-1). Let s be ((2 - 4) + 4)*(-1 + 4). Solve -s = -y + h*y for y.
-2
Let n = -31 - -41. Solve -n + 30 = -5*b for b.
-4
Let i = -5 - -13. Suppose -8 = -4*j - v - 0*v, 2*j = -3*v - 6. Solve 0 = -j*s + 17 - i for s.
3
Suppose m = -2*m - 6. Suppose -2 + 6 = 2*s. Let v be (-1 + (0 - m))*s. Solve 0 = -v*q + q for q.
0
Let g(x) = x**2 + 15*x + 18. Let a be g(-14). Solve a*u - 5*u = -5 for u.
5
Let m(q) = q**2 - 10*q - 6. Let z be m(11). Suppose -z*p = -7*p. Solve p*k + 6 = -3*k for k.
-2
Let o(b) = 2 - 4 + 5*b + 1. Let u be o(2). Solve -2*s - u - 1 = 0 for s.
-5
Let y be (-3)/(3 + 0) - -2. Let z = y + -1. Solve -5*r + 23 - 8 = z for r.
3
Let p(m) = 41*m**2 + m. Let a be p(1). Let q be (-5)/((-15)/a) + -2. Let u = q - 8. Solve -u*b = b + 25 for b.
-5
Let u(z) = 6*z**2 + 2. Let p be u(3). Suppose -5*t = p + 14. Let k = -9 - t. Solve 3 = -4*l + k*l for l.
3
Suppose 2 = -2*b - 2. Let q(s) be the third derivative of -s**4/12 - s**3/2 + 2*s**2. Let t be q(b). Solve -r - 2 = -t for r.
-1
Let n = 49 + -13. Suppose 5*w = 104 + n. Suppose 0 = 2*s - 6, -5*s = x - 0 - w. Solve -5*g + 33 = x for g.
4
Suppose 0 = -3*g + 5*g - 10. Suppose 15 = g*u - 5. Let a be (-2 - u/1)/(-2). Solve a*z + 0*z = 0 for z.
0
Let k(w) = -w**3 + 7*w**2 + 2*w - 5. Let n be k(7). Let x be 52/n - 2/(-9). Suppose -2*b = z - 13, -5*b + 2*z + 37 = x*z. Solve 3*o - b*o = -6 for o.
3
Let z = 7 - 5. Suppose 2*a = -2*a. Suppose z*t - 2 = -a*t. Solve -i = t - 3 for i.
2
Suppose 2*l = l. Suppose 2*z - 30 - 14 = 0. Suppose -4*x + z = -18. Solve l*n - 5*n = -x for n.
2
Let c(j) = -2*j + 8. Let b = -17 + 11. Let d be c(b). Suppose g + d = 2*m + 4*g, 0 = 5*g - 20. Solve u = m*u for u.
0
Suppose -2*j - 2 = -3*j. Suppose -j*c = -3*c + 6. Solve -2*u = -c*u - 4 for u.
-1
Let n(p) = p**2 + 2*p - 9. Let r be n(-6). Solve 0 = i - 6*i + r for i.
3
Let z be 56/16 - (-1)/(-2). Let s = z - -1. Solve f = 5*f + s for f.
-1
Let n be 20/8 + (-2)/4. Suppose 3*o + 4*y = 22, 3*o + 2*y = 3*y + n. Solve -3*c = -o*c + 1 for c.
-1
Let i be (-10)/((-14)/4 - -3). Solve 2*g + i = -2*g for g.
-5
Suppose 2*g + 18 = 3*j, 4*g = -2*j - 75 + 23. Let h = g + 20. Solve -l = l + h for l.
-4
Suppose 3*y - 10 = -1. Let t(g) = g**3 + 5*g**2 + 3*g + 6. Let l be t(-4). Solve 2*z = -y*z - l for z.
-2
Let q be 1 - 1 - (0 - 2). Suppose -3 = -3*u + q*u. Solve 0 = j - 0*j + u for j.
-3
Let p(j) be the second derivative of -j - 1/4*j**4 - j**2 - 1/2*j**3 + 1/10*j**5 + 0. Let d be p(3). Solve 5*o = -d - 4 for o.
-4
Let n(c) = 4*c**3 - 3*c**2 - 5*c + 2. Let x(y) = -3*y**3 + 3*y**2 + 4*y - 2. Let g(b) = -4*n(b) - 5*x(b). Let i be g(-3). Solve 0 = -i*a + 1 - 3 for a.
-1
Let o = -14 + 18. Solve 0*p = -4*p + o for p.
1
Suppose 0 = 5*y - 3*i + 2*i + 5, y - 3*i = -15. Solve y = -d + 4 for d.
4
Suppose 8*n - 41 + 17 = 0. Solve 0 = -n*j - 3 for j.
-1
Let a be -1 + 8*2/4. Suppose s = t, 5*s - 45 = -a*t - t. Suppose -y - 1 = -2*y. Solve -q - t + y = 0 for q.
-4
Let d(w) = w - 6. Let z be d(6). Solve z = -p + 3*p for p.
0
Suppose 5*c - 3 = 12. Let q(z) = 4*z + 3. Let y be q(c). Let w(h) = -h**3 + 3*h**2 + 2*h - 4. Let a be w(3). Solve a*t + t = y for t.
5
Let b = 28 - 13. Solve -r = 2*r - b for r.
5
Let q = -3 + 3. Solve -p - 3*p + 16 = q for p.
4
Let s be (4/6)/((-1)/(-3)). Let g be (-7)/((-196)/160) + 2/7. Solve s*i + g = -2 for i.
-4
Let f(t) = 3*t + 9*t - 5*t - t**2 - 1. Let o = -5 + 11. Let v be f(o). Solve -2*h = -v*h + 12 for h.
4
Let i = -22 + 45. Let z = i - 12. Solve 4*k - 1 = z for k.
3
Let p(o) = o**3 - 14*o**2 - 17*o + 30. Let b be p(15). Solve b*m = -3*m for m.
0
Suppose s + b - 8 = -4*s, -3*s + 10 = -2*b. Solve -c = -s*c for c.
0
Let v = -56 - -56. Solve -5*l - 25 = -v*l for l.
-5
Suppose 0 = 3*v - t - 10, 4 = -2*v - 5*t - 12. Suppose -27 = -v*a - 3*h - 10, h = 2*a + 3. Solve -5*c - 14 = a for c.
-3
Suppose 3 = -3*j + 6. Let x be 0*j/(1 + -2). Solve -2*d = -x - 2 for d.
1
Let a(i) = i**2 + 4*i + 4. Let z be a(-6). Solve -5*m + m = z for m.
-4
Let z(q) = 4*q - 9. Let n be z(3). Let f be (6/(-12))/((-1)/8). Solve 0 = -a - n*a - f for a.
-1
Let a(r) = r**2 + 5*r - 2. Let y(j) = 5*j - 1. Suppose -s + 2 = -3*s. Let u be y(s). Let v be a(u). Solve -v*i + 4 = 12 for i.
-2
Suppose 4*c = 3*c. Solve c*j + j = -4 for j.
-4
Let i(r) = -r**3 - 5*r**2 - 2*r - 9. Let b be i(-4). Let y be (1/(-2))/(b/238). Solve -y*a + 2*a = -25 for a.
5
Let f = -8 + 5. Let k(l) = l**3 + 24. Let m be k(0). Let g = f + m. Solve 5 - g = -4*w for w.
4
Suppose 0 = -l + 5*l. Suppose 4*g - 5 - 7 = 0. Let k be 2/g - 8/(-6). Solve l = -q - k*q - 6 for q.
-2
Let k = 4 + -7. Let f(x) = x**2 + 4*x + 3. Let r be f(k). Solve 3*o - 2*o - 5 = r for o.
5
Suppose 3*b + 14 = -16. Let w = b + 5. Let z be (6/(-5))/(2/w). Solve 0 = z*l - 0*l for l.
0
Suppose 4 = -4*d, -6 = -k - k + 2*d. Suppose 2*n + 20 = k*a, -2*n = -a + 13 + 2. Solve a*u + 1 = -14 for u.
-3
Let h be -3 - (-6 + (1 - 2)). Let l be (2/h)/(2/8). Suppose l*d + 26 = 5*n - 0*d, 5*d + 27 = 3*n. Solve s = n*s + 6 for s.
-2
Suppose -3*k - 8 = -4*x, 2*x - 3*x + 2 = 0. Solve o - 5 + 6 = k for o.
-1
Suppose -5*c - 4 - 6 = 0. Let m be c/((-5)/(75/6)). Suppose m = 5*n - 4*n. Solve -11 - 4 = -n*f for f.
3
Suppose 0*d + 2*d = p - 10, 4*p - 4*d - 24 = 0. Solve p*j + 0*j = 0 for j.
0
Let m = -15 + 9. Let a = -11 - m. Let p = a - -7. Solve -4*n + 2*n = -p for n.
1
Suppose 2*t + p + 77 =