 2 - 0. Suppose -a + 3*b = 2*b - 1, 16 = 4*a + k*b. Solve -1 = 4*d + a for d.
-1
Let q = 11 - 13. Let d(v) = -5*v + 2. Let s be d(q). Solve 5*p - 8 = s for p.
4
Let y = 1 - -7. Solve 2 + y = 2*d for d.
5
Suppose 0*k = -4*k. Suppose p = -k*u + u - 3, 2*u - p = 8. Solve 0 = -u*h + 22 - 2 for h.
4
Let w(u) = u**3 - 3*u**2 - 4*u - 5. Let d be w(4). Let o = d + 5. Solve o*r + 10 = 2*r for r.
5
Let s(p) = p**2 + 5*p + 2. Let z(h) = -4*h**2 - 2*h + 1. Let f be z(1). Let a be s(f). Solve -1 = a*b + 5 for b.
-3
Let h(j) = 0*j + 2*j - 3*j - 1. Let i be h(-5). Suppose 0*m = i*m - 8. Solve -20 = -m*q + 6*q for q.
-5
Suppose 3*j = -o + 19, -2*j + 5*o = -15 + 25. Let f(k) = -3*k - 4. Let z be f(-3). Suppose 0*q + 135 = z*q. Solve -j*l - 2 = -q for l.
5
Suppose 5*u + 0*u + 6 = 3*g, 4*u - 10 = -5*g. Solve -4*m = -u*m + 8 for m.
-2
Let q = -7 + 10. Suppose -7*r = -3*r. Solve 0 = q*n - r*n for n.
0
Let y = 11 - 8. Suppose l - 7 = 2*c, -5*l + c + 3*c = -47. Solve -y*p + 2 - l = 0 for p.
-3
Let r be (-1)/(2 + 14/(-6)). Suppose 4*i + 4*o - 20 = 0, 2*i + r = 5*i - o. Solve -i*b = -b for b.
0
Let k(g) = 7*g - 43. Let c(d) = 3*d - 21. Let u(l) = -9*c(l) + 4*k(l). Let a be u(-14). Solve a = w + 2 for w.
1
Suppose 0 = d + d. Let i(p) = -p**2 + 4. Let q be i(d). Suppose 3*s + 76 = 4*o, o + 2*s - 3*s - 20 = 0. Solve -o - q = -4*w for w.
5
Let k(b) = 2*b + 3. Let s be k(0). Solve 3*t = 4*t + s for t.
-3
Suppose -4*m = s + 1 - 0, s - 5*m - 8 = 0. Solve -s*q - 9 = -6*q for q.
3
Let i be 1/5 - 78/(-10). Suppose -10 - i = -3*r. Suppose 3*t + 3*o - r = 0, -5*t - 6*o + 3*o + 12 = 0. Solve t = -3*h - 3 for h.
-2
Let f be (-7 - -3) + 25 + -2. Suppose -2*k = -0*k - 10. Solve 0 = k*r - f - 1 for r.
4
Let p be ((-36)/(-15))/((-6)/(-20)). Suppose -3*s + p*s = i + 3, -2*i - s + 16 = 0. Let v = i - 0. Solve 4*f = v*f - 9 for f.
3
Let u = 106 - 102. Solve -u = -p - 3 for p.
1
Let r be -45*((-10)/(-6) + -2). Suppose -2*p + 2 = -2. Solve -p*w + r = w for w.
5
Let z be (6 + -4)*4/2. Solve z*d = 2*d - 2 for d.
-1
Let f(l) = l**3 - 7*l**2 - 10*l + 10. Let a be f(8). Let o = -5 - a. Solve -o + 6 = -b for b.
-5
Suppose 2*u = -0*u - 4. Let p = u - -2. Let j be (p - 1)*(2 - 2). Solve -7*q + 3*q + 12 = j for q.
3
Let r = -26 + 28. Solve 5 + 5 = r*l for l.
5
Suppose -3*u + 4*d + 54 = 0, -u - 5*d - 71 = -5*u. Let p be 8/(-6)*(-21)/u. Solve p*n + 2*n = 12 for n.
3
Let x(m) = m**2 - 5*m - 6. Let p be x(6). Suppose p = q + 2 + 4. Let r = -4 - q. Solve 0 = 2*v + r for v.
-1
Suppose 4*h - 5*h + 20 = 0. Suppose 3*b - 4*b + m = -9, 3*m + h = 2*b. Suppose -3 + b = v. Solve -v*c + 9*c = -10 for c.
-2
Let w(y) = y**2 - 16*y + 15. Let h be w(15). Solve 0 = 5*g - h*g for g.
0
Let s = 1 - 0. Let g(v) = -v**3 - 8*v**2 - 7*v. Let c be g(-7). Let x(j) = -j**3 + 4*j**2 + 5*j + 5. Let w be x(5). Solve c = -w*z - s + 6 for z.
1
Let z(k) = -k**3 + 2*k**2 + 5*k - 2. Let y be z(3). Let r(d) = d + 1. Let u be r(y). Solve u*o + 14 + 11 = 0 for o.
-5
Let x(b) = -b - 6. Let g be x(-8). Let a(r) = r + 3. Let p be a(g). Solve 0 = p*k - k - 12 for k.
3
Let v be 0 - 10*(-3)/6. Solve -g = -v*g + 4 for g.
1
Let t = 13 - -7. Solve -5*v + v = -t for v.
5
Suppose -25 = -4*m - 81. Let d = m + 20. Solve 0*g = -2*g - d for g.
-3
Let n = -6 + 8. Suppose h = n*h - 2. Solve y = -y - h for y.
-1
Suppose 2*u - 51 - 9 = 0. Solve -u = -5*m - 5 for m.
5
Let u be 50/3*12/10. Let a = 12 + -7. Solve -a*x = -x + u for x.
-5
Let b = -27 - -30. Solve b*j = -0 + 15 for j.
5
Let d(w) = -w**2 - 12*w + 16. Let m be d(-13). Let j be (1 - m) + 5 + 0. Suppose -3*k + 1 = -4*k - h, -9 = j*k + 5*h. Solve -9 = -k*f - f for f.
3
Suppose -5*p = 2*x + 14, -3*p - 1 = -3*x + 20. Suppose 2*q - 12 = x*y, -3*y - y + 30 = 5*q. Suppose -5*v + 9 = -q. Solve v*u + 2 = 4*u for u.
2
Suppose -26*m = -20*m - 12. Solve -6 = -a - m for a.
4
Let r = -1 - -1. Suppose r*y = y. Solve -l + 4 = -y*l for l.
4
Let a = 2 + -5. Let o be a/(((-9)/12)/1). Suppose 3*d = 5*j - 10*j - 4, 0 = -4*d - o*j. Solve -12 = d*r + 2*r for r.
-3
Suppose -4*q = -2*p - 32, -q - 5*p - 8 = q. Solve -a = 2*a - q for a.
2
Suppose 0 = 4*o + 5*b - 33, -4*o + 2*b - 6*b = -28. Suppose -o*l = l. Suppose l = -w + 7 + 3. Solve 0 = -k + 3*k - w for k.
5
Let l(z) be the first derivative of z**3/3 - z**2 + z + 1. Let t be l(1). Solve -q = -t*q for q.
0
Let h = 17 - 10. Solve h = -3*z - 2 for z.
-3
Let u(f) = -2*f + f**2 + 3*f + 1 - 2. Let r be u(1). Let a = 3 - r. Solve -p - 4 = -a for p.
-2
Let a(p) = 39*p**3 + p. Let b be a(1). Let h be (-10)/(-8) - 10/b. Solve 2*l = h - 7 for l.
-3
Suppose -5*o + 5*h + 35 = 0, 0 = 3*o - o + 5*h + 21. Let c be (1 + 0)/1 - -3. Suppose c*u - 45 = -u. Solve -o*q = q - u for q.
3
Let t(z) = 3*z + 2. Let l be t(1). Solve j = -3 + l for j.
2
Let z be (-3)/(-1) + -2 - 0. Let s = 3 - z. Suppose 3 = -s*w + 13. Solve -3*v - w + 2 = 0 for v.
-1
Let i be 0 - -17 - 1 - 4. Solve i = 3*t + 3 for t.
3
Let p be (-100)/(-30)*3*1. Suppose m = 4*m + 3*g - 15, 2*m + p = 2*g. Solve -r + 2 + 1 = m for r.
3
Suppose -3*u = -2*b - 21 - 46, -2*b = -u + 25. Let o = 4 + u. Suppose -o = -5*j + 55. Solve 0 = -2*t - 2*t - j for t.
-4
Let y(n) = -54*n + 1. Let m = -5 + 4. Let v be y(m). Suppose -6*l + v = -l. Solve -3*g = -1 - l for g.
4
Let y be (-1 - -3)*(-1)/(-2). Suppose -3*z + 10 = -d, -z - d - y = 1. Solve r = z*r - 5 for r.
5
Suppose w + w - 47 = -3*o, -2*o + 5*w + 25 = 0. Solve 5*u = -o - 10 for u.
-5
Let a(z) = -2*z + 1. Let n be a(-1). Suppose 6 = -q + n*q. Solve 5 = -q*s + 11 for s.
2
Let b = -27 + 42. Solve 0 = -5*t - b for t.
-3
Let y(j) be the third derivative of -j**4/24 - j**3/2 + j**2. Suppose 3 = 4*p - 5*l, -2*p + 6 = -4*l - 0. Let t be y(p). Solve 4*n + n + 25 = t for n.
-5
Suppose 5*x - 5 = 0, -5*x + 3*x - 22 = -3*u. Solve -y - y - u = 0 for y.
-4
Let b(p) = -5*p**3 + p**2 + p. Let w be b(-1). Suppose -f = -12 - w. Suppose 0 = 4*u - f - 31. Solve -5*s - u = -s for s.
-3
Let g(x) = x**2 + 10*x - 3. Let f be g(-10). Let k be (-37)/f - (-3)/(-9). Let q = 2 + 2. Solve l - k = q*l for l.
-4
Let m(b) = -2*b**2 + 14*b + 6. Let z be m(7). Solve 2*n = 2 + z for n.
4
Suppose -h + 2*q = -9 - 2, -16 = -2*h + 2*q. Solve -h*k + 14 = 4 for k.
2
Suppose -4*j + 30 = -10. Suppose 3*g = 3*v + 6, v = -2*v + 4*g - j. Solve -b = v*b - 12 for b.
4
Let g = 85 + -85. Let s(j) = -2*j - 2. Let b be s(-2). Solve -b*h - 2*h + 4 = g for h.
1
Suppose s - 40 = -s. Suppose 4*j + 5*q - 11 = s, -2*j + 20 = 4*q. Solve -5*o + j*o - 3 = 0 for o.
-3
Let m be (0 + -3)*(-4)/(-6). Let p be 3*(m/6)/(-1). Let b be -1 - -4 - (p - 2). Solve -b*l = -5*l + 3 for l.
3
Suppose 0 = -m - 2 - 5. Let d be m/(-3) - (-2)/3. Let z be -2 + 3 + 0 + 1. Solve n = -z*n - d for n.
-1
Let t(k) be the third derivative of -k**4/24 - k**3/2 - k**2. Let z be t(-6). Let w be (0 + 0 - -4)*3. Solve -z*l = l - w for l.
3
Suppose 0 = -d + 2*k + 2, 4*k + 0*k = 5*d - 10. Let y be (3/d)/(1/2). Suppose c + 2 = y*c. Solve 5 - c = 4*z for z.
1
Let u(q) = -q**2 + 41. Let h be u(6). Solve l - 1 = -h for l.
-4
Let o be -29 + 39 - (-4)/2. Suppose 3*v - 6 + 0 = 0. Solve 2*u + o = -v*u for u.
-3
Suppose 3*c = -2*c + d - 11, -4*c + d - 9 = 0. Let m be 2/4 + c/4. Solve -u - u = m for u.
0
Let k(o) = -2*o + 42. Let u be k(21). Solve -3*m + 20 - 5 = u for m.
5
Let m = -49 + 53. Solve -3*y = -m*y - 5 for y.
-5
Let s(b) = -b**3 + 6*b**2 + 5*b + 6. Let z be s(7). Let k be 1/4 - 54/z. Suppose 2*u + 1 = k. Solve -u = w - 4*w for w.
1
Let r be (-14)/(-6) - (-2)/(-6). Let b = r + 3. Solve -4*o = -15 - b for o.
5
Let u = 101 - 99. Solve 4*m - u*m = 6 for m.
3
Suppose -c - 3*c = 3*s - 25, -4*s = -2*c + 18. Let x = 45 + c. Let h be x/12 - (-2)/(-6). Solve -h*k + 3*k + 5 = 0 for k.
5
Let t be (-1*2)/(-2) - -2. Suppose 8 = 3*w - 22. Let a be (-5)/w - 14/(-4). Solve -t = a*y - 9 for y.
2
Suppose 13*p - 18*p + 10 = 0. Solve p*o = -o - 9 for o.
-3
Let a = -57 + 100. Let b = a + -23. Suppose 5*l + 0 - b = 0. Solve -1 = -l*q + 3 for q.
1
Let t(p) = 9*p - 6. Let s be t(5). Suppose -4*m - 2*m = 168. Let g = m + s. Solve 4*x - g - 1 = 0 for x.
3
Let q be (6/(-4))/(4/(-8)). Suppose 0*j + q*j = 42. Let a(f) = -f + 6. Let d be a(6). Solve d = -4*n - 2 - j for n.
-4
Let y = 4 - 4. Solve y = u - 4*u for u.
0
Suppose 2*j = 1 + 5. Let p(z) = z**2 - 5*z + 6. Let y be p(4). Suppose 3*n + 23 = 4*c, y*c - 2*n