 = -b + 2 for b.
3
Let g(r) = r**2 - r - 68. Let a be g(9). Let j be (0 + -1)/((-1)/32). Suppose -5*w = -2*v - j - 17, 5*v + 18 = 3*w. Solve -5*f + a = -w for f.
3
Let j be (6 - 2) + 5 + -8 + 0. Let y be (-1)/(1/(-1))*2. Solve 3*s - j = y for s.
1
Let k(n) = -n**3 - 18*n**2 + 1. Let x be k(-18). Solve 0 = 5*g + x + 9 for g.
-2
Suppose -6*s + 3*s = 0. Solve -2*x + 3 - 13 = s for x.
-5
Let q be (2 - 2/4)*2. Solve 0 = q*y + 2*y - 15 for y.
3
Suppose 3*p = -5*f - 3, -f + 12 = 5*p - 5. Solve p = -n + 2 for n.
-2
Let o(a) = a**3 + a**2 - a - 8. Let x be o(0). Let v be (-1)/4 - 34/x. Solve v*p = -p + 25 for p.
5
Suppose 5*s - 14 = 3*d - 5*d, -3*s + 4*d + 24 = 0. Let a be (4 - 4)*2/s. Solve -4*r + 8*r - 20 = a for r.
5
Suppose 3*u + 2*v - 7 = v, 0 = 5*u - 4*v - 40. Suppose -2*z + 0*z = -u. Suppose 2 = z*r - 8. Solve 4*t = -t + r for t.
1
Suppose 2*l + 3 = 11. Suppose l*r + 6 = -5*z, 4*z - 2*r = 3*z + 10. Solve -3 = -y + z*y for y.
-3
Let t = 66 + -64. Solve -m = -t*m + 2 for m.
2
Let v = -5 - -9. Suppose 3*h = -g + 5, -v*h - 4 = 4*g - 0*g. Solve -z = -4*z - h for z.
-1
Let u(w) = w - 13. Let q be u(13). Solve -2*y - 3*y + 5 = q for y.
1
Let x = -4 + 12. Let h = 0 + x. Let v be (-3)/(3*(-1)/h). Solve -s + 3*s = -v for s.
-4
Let d = 19 + -16. Suppose 4*x - 32 = 2*n, -d*x - 2*n = n - 6. Solve j = -2 + x for j.
4
Let n be 2/(3 - 1) - 1. Suppose n = -7*b + 12*b - 115. Solve -4*q + b - 3 = 0 for q.
5
Suppose 0 = 2*a + a. Suppose a = 2*z - 0*z - 6. Solve z*u = 6 - 0 for u.
2
Let n(j) be the first derivative of j**2/2 + 11*j + 1. Let o be n(-9). Suppose o*s + 3 = f + 14, 4*f + 24 = 3*s. Solve -s*a + 9 = -11 for a.
5
Suppose 0 = 14*v - 8*v - 12. Solve -2 = v*a + 6 for a.
-4
Let n(m) = -m**3 - 5*m**2 + 6*m. Let q be n(-6). Solve 0 = -q*u - 2*u for u.
0
Suppose -2*k = 2*k - 12. Let t(j) = 2*j**3 - 5*j**2 + 2*j + 2. Let a be t(k). Let d = -12 + a. Solve 3*n = 2*n + d for n.
5
Let r(k) = k**3 + 9*k**2 + 8*k - 6. Let b be r(-8). Let s = b - -8. Let m = 19 + -8. Solve 0 = -3*u - s + m for u.
3
Suppose -2*d = -3*c + 27, 5*c + 3*d - 2*d = 32. Suppose -2*h - 20 = -c*h. Solve -h*u + 12 = -u for u.
4
Let i = 46 + -38. Solve i = -3*l - l for l.
-2
Suppose 0 = -4*t - 2*v + 610, -t - v + 109 = -46. Suppose 4*x + 2*x = t. Solve -5*q + x = -0*q for q.
5
Suppose -6*b + 4 = -4*b. Let x be ((-14)/35 - 2/(-5))/(-2). Solve x*p - b = p for p.
-2
Let v(r) = 5*r**2 + 2*r - 1. Let z be v(1). Solve 4 = -4*u + z*u for u.
2
Let u = 14 + -22. Let x(z) = z + 10. Let c be x(u). Suppose j = -c*j + 45. Solve k = -2*k + j for k.
5
Suppose -6*r + 68 = -4*r. Let h(b) = -b + 16. Let i be h(12). Suppose 0 = -i*n + r - 14. Solve -n*v - 23 = 2 for v.
-5
Let z = -9 - -11. Suppose -z*c - 3 = -5. Solve -5*d + c = -14 for d.
3
Let d = 42 - 18. Suppose 4*p - 2*p - d = 0. Solve 0*q + p = -3*q for q.
-4
Let d = 19 + -14. Solve 2 = -d*i - 8 for i.
-2
Let v = 1 - -3. Suppose 0 = v*g - 8. Let s be 1/2*0/g. Solve s = -6*z + z + 25 for z.
5
Let l(c) = c**2 + c + 2. Let o be l(4). Let k = -13 + 18. Suppose -k*w + 68 = -o. Solve 0 = 5*i + w + 2 for i.
-4
Let d = 6 - 4. Let t be ((-3)/12)/(d/(-8)). Suppose -1 = -0*a - a. Solve b - a = t for b.
2
Let y = -77 - -50. Let p be (-21)/y - (-2)/9. Let x be p - -5 - 0/(-5). Solve -u - u = -x for u.
3
Suppose -22 = s + 5*n, 4*s = -2*n - 4 - 12. Let f(c) = -c**3 - c**2 + 2*c + 2. Let o be f(s). Suppose -u + 5 + 5 = 0. Solve -o*a = -7*a + u for a.
2
Let s(u) = -4*u - 3. Let p be s(-2). Let t be (-13)/(-4) - 8/32. Let j be (4/t)/(9/27). Solve -p = 3*i + j for i.
-3
Let b(c) = 4*c**2 + 1. Let u be b(-1). Suppose 4*w = 12, 2*f + 7 = -0*f + u*w. Solve -d = f*d for d.
0
Suppose -25*u + 12 = -23*u. Solve 0 = -4*t + u*t - 10 for t.
5
Let b(i) be the first derivative of -i**4/4 + 7*i**3/3 - i**2/2 + 8*i + 3. Let h be b(7). Let x be ((-6)/3)/((-2)/4). Solve -u = -x - h for u.
5
Let u(z) = -z**2 + 8*z + 2. Let g be u(4). Suppose 0 = 5*b - 7 - g. Solve -23 = b*f - 8 for f.
-3
Let k(t) = -t**3 + 3*t**2 + 2*t - 1. Let d be k(2). Let b(p) = 2 + 6*p - d*p + 2*p. Let y be b(8). Solve -2*a + 4*a = -y for a.
-5
Suppose -2*j - 2*z + 11 + 5 = 0, -8 = -2*j + 2*z. Let l = -4 + j. Solve -3 = u + l*u for u.
-1
Suppose 16 = 4*s - 2*i, 2*i + 9 - 3 = -s. Suppose -3 = 5*c + s. Let h be c/2*0/2. Solve h*w - 4*w = -4 for w.
1
Suppose 3*p - 6 = -2*m, 3*p - p = 2*m + 4. Solve s = -m*s for s.
0
Suppose -4*g = -4*m - 4, 2*g - 2 + 6 = -4*m. Solve g = y + 3*y - 20 for y.
5
Suppose 0 = -2*p + 4*r, -3*p + 0*r + 4 = -2*r. Let s(f) = f - 1. Let c be s(6). Suppose 0 = -5*k - 2*o + 7, 8*k + 7 = c*k - 4*o. Solve p*m + m = -k for m.
-1
Let o(p) = -4*p**3 - 8*p**2 + 4*p - 5. Let x(v) = v**3 + v**2 + v + 1. Let t(r) = -o(r) - 3*x(r). Let s be t(-6). Solve 2*y + s = -0*y for y.
-4
Suppose 0 = c + 10*c - 33. Solve -c*m - 2*m = 20 for m.
-4
Let c be (12 + -6)/2 + -3*1. Solve c = -3*r - 0*r for r.
0
Let b = -3 + -3. Let z(x) = -x**2 - 7*x + 1. Let y be z(b). Solve y*w + 8 = 3*w for w.
-2
Let i = 4 + -2. Let n(m) = 6*m**2 + 0*m**2 - i*m - 3*m**2 - m**2. Let y be n(2). Solve 2*x = y*x for x.
0
Let d = -43 - -25. Suppose -13 = h - 3*n, -5 + 1 = -4*n. Let k = h - d. Solve -k + 23 = -5*s for s.
-3
Let o(n) = -3*n - 16. Let z(w) = -w. Let q(j) = -o(j) + 4*z(j). Let a be q(10). Solve 3*y - a = y for y.
3
Let s = -9 - -13. Let d(a) = 2*a + 5. Let n be d(s). Suppose 4*c = -4*h - 8, h - 3*h = -5*c - 31. Solve 0 = h*u - n + 1 for u.
4
Let l be 0 + 1 + 0 + 3. Suppose -l*u + 13 = -27. Let t be 68/u + (-1)/(-5). Solve -5*o = -t - 3 for o.
2
Let o(i) = 3*i**2 + 1 + 0 + 2 + 7*i - 2*i**2. Let v be o(-7). Solve 0 = v*u + 2*u for u.
0
Suppose -3*i - i - u = -93, -5*i + 3*u + 112 = 0. Solve 8 = -5*q + i for q.
3
Let x be (-2)/5 + 364/10. Let m = x - 21. Solve -z - 4*z + m = 0 for z.
3
Let s(j) = -4*j - 17. Let d be s(-7). Solve 2*t = -d + 3 for t.
-4
Let k = -189 + 196. Solve 5*u + 8 = -k for u.
-3
Let i(d) = d. Let t be i(6). Suppose 0 = 3*b - 2*n + 3, -n - 1 = -3*b - b. Solve t = -5*u + b for u.
-1
Suppose -2*f + 3*o = 5 - 2, -2 = -f - 2*o. Suppose 5*r - 4*r - 10 = f. Suppose 2*x + 0*x = r. Solve -4 = x*h + 1 for h.
-1
Let o = -8 - -9. Let q be (1 - o)/((-3)/3). Solve q = 3*c + c + 16 for c.
-4
Suppose 14 = 2*n + 2. Solve -2 = 4*c - n*c for c.
1
Suppose 0 = -b - b - 18. Let m be 4/(-6) - 78/b. Suppose 3*t = 4 + m. Solve -t*y = -7 - 9 for y.
4
Let r = 18 - 13. Let x be 0 + -1 - (-5)/r. Suppose -4*g = -x*g. Solve 0*w + w = g for w.
0
Let s be (-1)/(2/(-8)) + -1. Suppose -2*z - 2*z - s*h + 15 = 0, z - 20 = -4*h. Solve -c + z*c + 3 = 0 for c.
3
Let c be (-2)/8 - (-63)/12. Suppose f + 6*m - 3*m - 24 = 0, 30 = 5*f - 3*m. Suppose 4*h + f = 25. Solve 0 = -c*v + h + 6 for v.
2
Let o be (1 + 0)*12 + 0. Let v = o - 10. Solve -v*k - 5 = 3*k for k.
-1
Suppose -4 = 4*o - 5*k, 6*o - 4*o + 2*k = 16. Suppose l - 45 = -8*l. Solve o*c = l*c + 4 for c.
-4
Suppose -10*l + i + 13 = -6*l, -2*i - 8 = -2*l. Solve -x - 2 + l = 0 for x.
1
Let v be (-9)/15 - 189/(-15). Solve 2*t = -t + v for t.
4
Let x = -39 + 55. Suppose 0 = b - 2*a + a - 4, 5*b - 3*a - x = 0. Solve -b*n + 6 = 2 for n.
2
Suppose 0 = -j + 8*j - 14. Solve -3*h - j*h = -5 for h.
1
Let z(g) be the second derivative of -g**5/20 + 2*g**4/3 + 5*g**3/3 - 9*g**2/2 + 9*g. Let o be z(9). Solve -3*x - 2*x - 25 = o for x.
-5
Let h(d) = 6*d**2 - 1. Let f(c) = -5*c**2 + c. Let x(r) = 5*f(r) + 4*h(r). Let y be x(4). Solve -b + 1 = -y for b.
1
Let s be 12/(-2)*4/(-8). Suppose 0 = 2*u - u - s. Suppose -2*y = 2*y - 64. Solve u*o - y = -o for o.
4
Suppose g = o, -2*g + 3 = g. Suppose -z + 6 = -o. Solve 3*u = z*u - 12 for u.
3
Let l be -1 + 8 - (1 - 4). Let i be 2 - (3 + l/(-2)). Suppose 0 = i*u - 2 - 14. Solve -2*f + u = -6 for f.
5
Let l = 31 - 30. Let g be ((-7)/4)/((-2)/8). Solve 2*r + l = -g for r.
-4
Suppose -2*m + 8 - 2 = 0. Let j be (30/(-9))/((-2)/3). Suppose 4*w - 3 - j = 0. Solve -w*r = m*r for r.
0
Let m be (5 + -5)*4/8. Solve 5*o + 0*o = m for o.
0
Suppose 15*j - 3*j = 24. Solve 15 = -j*g + 5*g for g.
5
Let g(l) = l**2 + 2*l - 5. Let n be (-1 + 0)/((-4)/(-20)). Let s be g(n). Solve 2 - s = -4*t for t.
2
Let h(m) = m + 16. Let l be h(-14). Let a(z) = -z**3 - 2*z**2 + 2. Let f be a(-2). Solve f = -l*t + t for t.
-2
Let l(k) = -k**2 - 10*k - 10. Suppose -4*g + 5*v - 17 = 0, 0 = 5*g - 4*v + 10 + 18. Let w be