or b.
-4
Let o = -8 + 8. Solve -2*v - 3 - 1 = o for v.
-2
Let s(c) = -c**2 - 6*c - 4. Let y be s(-3). Suppose -a - 4*f = -y*f + 3, 2*f = 4*a + 2. Solve 4*v + a = 22 for v.
5
Let j(v) = v**2 + v - 2. Let l be j(-2). Let u = 10 + -9. Let s be 0/u + l + 2. Solve -3*c + 4 + s = 0 for c.
2
Suppose 0 = -7*y + 26 - 5. Solve y*s = -0 + 3 for s.
1
Let g(p) = -4*p**2 + 11*p**2 + 9*p - 8*p**2. Let w be g(9). Solve 2*a + 2 = -w for a.
-1
Suppose 3*a - 6 = 6*w - w, 0 = a + 3*w - 16. Let m(t) = -t**3 - 4*t**2 + 4*t - 1. Let s = -18 - -13. Let g be m(s). Solve i - a = -g for i.
3
Let q(r) = 5*r**3 - 4*r**2 + 3*r. Let w be q(1). Solve w*v - 5 = -1 for v.
1
Let p = -7 - -9. Solve -3*u = -p*u for u.
0
Let b be 16/6*27/18. Solve 0 = 2*d + 2 - b for d.
1
Let c = 8 + -6. Suppose 0 = c*y - 4*y + 4. Solve -6*x + y*x - 12 = 0 for x.
-3
Let q(i) = 4 - 6 + 1 - 1 - 11*i. Let t be q(-2). Solve -3*n - t = 2*n for n.
-4
Let m be (15 - 6) + 2/1. Let q = m + -7. Let x be (-8)/6*(-75)/10. Solve x - 2 = q*w for w.
2
Let g = -12 - -8. Let q be (g/6)/((-7)/42). Solve -z = -0*z + q for z.
-4
Let u = -29 + 29. Suppose 2*n = -5*x + 1, -3*x = -n + 6 - 0. Solve n*g = -u*g - 3 for g.
-1
Suppose 17*z - 25 = 12*z. Solve -5*t = -0*t + z for t.
-1
Let f be 4/26 + 979/143. Solve 2*p = f*p + 25 for p.
-5
Suppose 7*r - 2*r = 40. Let y = 14 - r. Solve 2*s - y*s = 16 for s.
-4
Suppose -8*r + 20 + 20 = 0. Solve 0 = r*u - 2*u for u.
0
Let w(o) = o**3 + 5*o**2 - 3*o - 12. Let x be w(-5). Solve x*z - 16 + 4 = 0 for z.
4
Let p(a) be the first derivative of -a**2/2 - 2*a - 1. Let d be p(-6). Solve 0 = -2*n - 2*n + d for n.
1
Let z = -65 + 68. Let v be (-4)/(-2)*2/4. Solve v = z*f - 11 for f.
4
Let a be 34/8 + (-21)/(-28). Solve a*g + 16 = g for g.
-4
Suppose 0 = b + 2*w - 2, 2*b - 2 = 5*w + 11. Suppose b = 2*p + 12. Let h = p - -5. Solve -3*k = 2 + h for k.
-1
Suppose -4*m + 2 + 2 = 0. Let n be -1 - -5 - (-2)/m. Let h = n - 2. Solve -h = -b + 2*b for b.
-4
Suppose 0 = -0*h + 4*h - 24. Suppose 4*f - h = f. Suppose 2*a = 3*i - 8*i - 5, 4*a = 2*i + f. Solve a = 7*c - 2*c + 10 for c.
-2
Suppose 6 = -0*l + 3*l. Solve -l*i - 1 = 7 for i.
-4
Let k = 20 + -19. Solve -5*d - 16 = -k for d.
-3
Suppose -4*h - 8 = 12. Let r be ((-8)/10)/(h/(-25)). Let f = 8 + r. Solve -f = 2*v - v for v.
-4
Suppose -j + 3*i + 0*i = 10, -5 = -2*j + i. Let f = -7 + 11. Solve -f*o - j = o for o.
-1
Suppose 0 = -l - 4*s - 12, s + 4*s = 2*l - 28. Suppose 2*v + 0 = l. Solve -2*w + 2 = -v for w.
2
Let b be (1 - -1)/((-4)/(-12)). Suppose -3*v = b + 3. Let d = -2 - v. Solve -5 = -o - d for o.
4
Suppose 3*t - 4 - 11 = 0. Solve -18 - 2 = -t*q for q.
4
Let s(a) = -a**2 - a - 4. Let z be s(0). Let o be z/(-16) + (-3)/(-4). Let t = -1 + o. Solve t = n + n for n.
0
Let s be 12/10 - (-2)/(-10). Let v be s + 1 + -5 - -7. Suppose -6 = -v*u + 10. Solve -m = -u*m for m.
0
Suppose 0 = -2*f - 16 - 0. Let r = -4 - f. Solve 2*y = 6*y + r for y.
-1
Suppose 3 - 11 = 2*v, -3*v = -3*a + 18. Let g be 0*(-2)/((-8)/a). Let n be (15 - -1)*9/12. Solve s - 5*s + n = g for s.
3
Suppose -2*q - 15 = -7*q. Solve q*k - 2*k + 3 = 0 for k.
-3
Let u(r) = 17*r - 4. Let a be u(1). Solve 0 = -4*n - a - 3 for n.
-4
Let q be 3/(153/48 + -3). Suppose 5*d = -3*z + q, -d = -3*z + 4 - 0. Suppose 4*h = 2*g + 26, -2*h + 3*h - z*g - 14 = 0. Solve h*w - 15 = w for w.
5
Let s(n) = -5*n**3 - n**2 - 2*n - 1. Let y be s(-1). Solve 2*f - 15 = -y for f.
5
Let q(c) = -c**2 + 12*c - 9. Let t be q(10). Solve 5*s + 6 - t = 0 for s.
1
Suppose -5*y = -5*s, 2*y + s = 6 + 9. Solve -3 = y*i + 12 for i.
-3
Suppose 0*c + c - 3 = 0. Suppose c*h + 20 - 56 = 0. Let y be (8/h)/((-2)/(-9)). Solve 0 = -0*o + y*o for o.
0
Suppose -9 = -2*c - l, 0*c = -3*c + 2*l + 10. Solve -d = -c + 9 for d.
-5
Let n = -6 + 9. Let d = 0 + n. Suppose 0 = d*s - 2*s - 1. Solve -7 + s = 2*b for b.
-3
Let j(b) = b**2 + 2*b + 1. Let c be j(-4). Suppose 4*h = c*h. Solve h = o - 2*o + 1 for o.
1
Let h(n) = n + 9. Let i be h(-7). Solve 1 + i = -r for r.
-3
Let y be (1 + 2 - 2)*-1. Let g(t) be the second derivative of -t**5/5 + t**3/6 + t. Let p be g(y). Solve -2*b - 5 = -p for b.
-1
Let n be 38/3 - 2/3. Let v be 6/n + (-5)/(-2). Solve v*k + 2 = 17 for k.
5
Suppose -20 = 2*z - 4*z + 3*f, -6 = 3*f. Let x = z + -4. Suppose 0 = x*n - 6, 2*w = n - 5*n + 14. Solve d = -w*d - 20 for d.
-5
Let j be 4/(-3 + -1) + 7. Solve n = j*n - 20 for n.
4
Let u(a) = a**3 + 8*a**2 + 2*a. Let c be u(-7). Let x = -60 + 64. Suppose c = x*t + 3. Solve -i - 3*i = -t for i.
2
Suppose 0 = 11*t - 8*t. Solve -n + 5*n = t for n.
0
Suppose 5*q - 1 = -4*w, 4*w + w = 2*q - 7. Let a be 30/(q/(-1) - -2). Let b = 50 - a. Solve 3*l = -2*l + b for l.
4
Suppose -6*h = 6*h. Solve h*s - 15 = 5*s for s.
-3
Let x(r) = -6*r + 3. Let n be x(4). Let g be (-6)/n - (-40)/7. Solve -g = 3*l - 0 for l.
-2
Suppose -4*v + 112 = 12. Solve -3*a - 2*a + v = 0 for a.
5
Let y be 0 - (-2 - (5 + 0)). Let l(x) = x**2 - 11*x - 3. Let d be l(y). Let p = -15 - d. Solve i + p = -3*i for i.
-4
Let z be (-6)/((-6)/63*3). Suppose 4*b - 36 = -2*u, 6*b - 3*b - z = -u. Solve 2*j - u + 4 = 0 for j.
4
Let l(f) = -f**3 - 10*f**2 - f + 3. Let h be l(-10). Suppose -5*b + 2 + h = 0. Solve 0 = -k + b*k for k.
0
Let o be 6/(2*(1 - 0)). Suppose 2*p + 1 = 4*s + o, -2*s + 4*p - 16 = 0. Suppose s*f - 3*f + 6 = z, -2*z - 18 = -4*f. Solve 0*l + f*l + 5 = 0 for l.
-1
Let f = -1 - -6. Suppose -6*b + b = -f. Solve 0 = -z + 1 + b for z.
2
Let t be (-432)/(-56) - (-4)/14. Solve 0 = 2*k + 2*k + t for k.
-2
Suppose -3*h = 0, -4*h = -3*u - 6*h. Solve 5*a = -10 - u for a.
-2
Let v = 2 + -1. Let c be v + (-5 - -3) + 6. Suppose c*f - 4 = 3*f, 21 = 3*k + 3*f. Solve k = -2*u + 1 for u.
-2
Let k(l) = 3 - 3*l**3 - 6*l + 7*l**2 + 2*l**3 + 4. Let s be k(6). Solve -2 = 3*u + s for u.
-3
Suppose 0*d = -2*d + 16. Suppose 0 = -4*c - 5*b + d - 0, -2*c + 4 = 3*b. Let k(t) = t + 1. Let h be k(2). Solve h*a = c*a for a.
0
Let p = 8 - 5. Suppose -p*f = -7*f - 20. Let v = -5 - f. Solve v = t - 1 - 4 for t.
5
Suppose -3*l = -0*l + s - 139, l = -5*s + 23. Let z be (l/(-30))/((-4)/10). Solve z*j - 20 = -j for j.
4
Let g = 1 + 0. Let z(l) = -l**2 - 9*l + 1. Let o be z(-9). Let v be (2 - (g + o))/1. Solve -4*i + v*i = 16 for i.
-4
Suppose t - 4*t = 9. Let j be 408/30 + t/5. Let w = j + -9. Solve -w*g - 5 = -5*g for g.
5
Let m be 1 - (2 - 2) - 4. Let o = -1 - m. Let n be (-5)/(-10) - 1/o. Solve n = -3*v - 3 for v.
-1
Let a be (-47)/(-4) + (-7)/(-28). Let h be (0 + a)/3 - 1. Suppose -h*l + 0 + 6 = 0. Solve 3 = l*o - 1 for o.
2
Let f be (-54)/4*6/(-9). Let j(c) = c**2 - 9*c + 3. Let g be j(f). Solve -5*q + 22 = -g for q.
5
Let l(h) = h - 11. Let y(i) = 5*i - 54. Let r(q) = -11*l(q) + 2*y(q). Let d be r(10). Solve 6 = -0*o + d*o for o.
2
Let l be (18/4 + -3)*-2. Let n(i) = i**2 + 2*i - 3. Let t be n(l). Let x = t + 0. Solve -2*f - 8 = -x*f for f.
-4
Let z = 13 + -8. Suppose -2*y = -5*y + 33. Let b(d) = 2*d**3 - 3*d**2 + 2*d - 2. Let v be b(3). Solve v - y = z*t for t.
4
Suppose 0 = 3*x + i, 3*i = -x - x + 7. Let r be (-1)/(-2) - (-36)/(-8). Let l = x - r. Solve 0 = 8*o - l*o for o.
0
Let n = -4 + 4. Let l(f) = 7*f - 1. Let w be l(1). Suppose -3*a - 7*j = -w*j - 8, -4*j + 6 = -a. Solve 3*r - a*r = n for r.
0
Let a(p) be the second derivative of 25/2*p**2 - 3*p - 1/12*p**4 + 0*p**3 + 0. Let f be a(0). Solve 0 = j - 6*j - f for j.
-5
Let j be 1/5 + 38/10. Let z = 4 - j. Solve -2*t + 5*t - 12 = z for t.
4
Suppose 0 = -t + 2*x + 13, -2*t = 3*x - 14 - 19. Solve -t = -2*f - f for f.
5
Let z(s) = 2*s - 5. Let i = 16 + -6. Let x(v) = -v + 14. Let o be x(i). Let b be z(o). Solve -b*f = -7 - 8 for f.
5
Suppose -3*i - 2*i = 0. Suppose -5*d - 4*o = -21, i = -5*o + 4*o - 1. Solve -5 = -d*c + 5 for c.
2
Suppose 20 - 8 = 4*g. Solve 0 = -g*p + p + 4 for p.
2
Let k be 4/2 + -2 - 0/(-2). Solve k = -2*f - 13 + 3 for f.
-5
Suppose -3*b + 2*v + 12 = -0*v, -2*b + 8 = -v. Solve 0*t - b = t for t.
-4
Suppose -5*j = 2*k + 18, j + 3*k + 20 = 6. Let s(h) = -h. Let x be s(j). Solve 4*m = -2 - x for m.
-1
Suppose -j - 4 = -8, 0 = 3*y + 4*j - 13. Let d be (2/y)/((-6)/45). Solve 0 = 4*q + q + d for q.
-3
Let h be (-4 - (-4 + 2))/(-1). Let q(k) = -k**3 + 5*k**2 - 2*k + 12. Let d be q(5). Solve -i + d = -h for i.
4
Suppose 12 = 5*p - 3. Suppose 0 = -u - 7 + p. Let t be u/(-10) - (