-2*n - a + 2 for n.
-5
Suppose -4 - 3 = -4*g + q, 2*g - 3*q = 11. Let b be 6/g - (-7 - -7). Solve -3*a + 15 = -b*a for a.
-5
Let k(v) = 3*v**2 - 4*v - 5. Let u be k(-5). Suppose c + j + 2*j - 37 = 0, 5*c - 4*j - u = 0. Solve 4*w + 2 = c for w.
5
Suppose 0 = -5*q - 5*t + 35, q + 4*t - 23 = -t. Solve -q*l = l for l.
0
Let i(h) = -h**2 + 6*h + 1. Let a be i(6). Suppose 0 = 2*b - 0*b + 4*c - 10, 4*b + 4*c = 16. Solve -b - a = -q for q.
4
Suppose 3 = s - 2. Suppose 2*i = c + 3, -c + 2*i = -3*c + 12. Suppose -n = -c - 4. Solve s*y + 32 = n for y.
-5
Suppose -4*d + 5 + 17 = 2*f, 0 = -f + d + 17. Solve 2*g + f = -3*g for g.
-3
Let g = 153 - 133. Let p = 2 + 1. Solve 0 = -p*s - s + g for s.
5
Suppose 7*j = 2*j + 75. Solve 2*x = -x - j for x.
-5
Let o = 7 - 18. Let a = -1 - -21. Let g = a + o. Solve -4*u = -g*u + 20 for u.
4
Suppose -5*p + 59 = 4*j, -4*p + 0*j = 2*j - 52. Solve -v = 4*v + p for v.
-3
Let z = -3 - 0. Let x = 12 - 14. Let y be z*(2/2 + x). Solve y = -o + 2*o for o.
3
Let k be (0 - 2) + 11 + -7. Let t(y) = -7*y + 1. Let u be t(k). Let q = -9 - u. Solve -5*j - q = -14 for j.
2
Let w(r) = -r**3 - 5*r**2 + 5*r - 1. Let p be w(-6). Solve 5*c - p = 5 for c.
2
Suppose f = 5 - 0. Suppose -3*d = f*i - 69, -i + 27 = 7*d - 2*d. Solve 5*z - i = z for z.
3
Suppose -28*b + 15 = -23*b. Solve 3*r = 2*r - b for r.
-3
Let g be (0 + 6)*6/4. Let n = 4 - -1. Solve -g = 2*p - n*p for p.
3
Let h(r) = -r + 11. Let c be h(-9). Solve -c = 6*k - k for k.
-4
Suppose 2*d = 4*d - 4. Solve -g + d = 7 for g.
-5
Let t(k) = -k**2 - k - 2. Let p be t(-2). Let n(c) = -c**2 - 4*c + 1. Let x be n(p). Let i = 5 - 1. Solve a - i = -x for a.
3
Let a = 66 - 58. Solve 3*o - a = -5 for o.
1
Let p(h) = h**3 - 18*h**2 + 18*h - 16. Let g be p(17). Solve -r + g = -0*r for r.
1
Let a be -2*4*(-2)/4. Suppose 5*b = 3*z - 1, 2*b + 0 = a*z - 6. Let f be b - ((-2)/(-1))/2. Solve -o + 1 - 6 = f for o.
-5
Suppose 0 = 5*i - 4*i - 5. Solve i = 4*f - 7 for f.
3
Let n(l) = -l**3 - 11*l**2 + l + 5. Let x be n(-11). Let b(p) be the first derivative of -p**3/3 - 4*p**2 - 9*p + 1. Let k be b(x). Solve k = 4*w - 1 for w.
1
Suppose 3 = 4*u - 5. Solve 5*j = u*j for j.
0
Suppose 3*l = -5*d, 5*d + l = -3*l. Suppose d = -0*o + 3*o - 9. Let h = 9 + -4. Solve x = -o + h for x.
2
Let u(y) = -9*y**3 - 2*y**2 - y + 11. Let r(l) = 5*l**3 + l**2 + l - 6. Let q(k) = -7*r(k) - 4*u(k). Let t be q(-1). Solve -t = m - 3 for m.
2
Let k(i) be the second derivative of i**2 - 2*i. Let y(z) = z - 1. Let g(v) = -3*k(v) - 3*y(v). Let j be g(-5). Solve 0 = -2*b - b - j for b.
-4
Let x(d) = 5 + d - 1 + 1 + 3. Let n be x(-6). Solve n*s + 2*s = -16 for s.
-4
Suppose 0 = 2*p - 4, h - 2*p + 1 - 2 = 0. Solve -h*w - 1 = 4 for w.
-1
Suppose 2*i = 5*i + 4*x - 8, -4*x = -3*i + 40. Solve i = -3*h - 1 for h.
-3
Suppose z + 10 = 3*z. Solve -10 = -z*y - 0*y for y.
2
Let n be (-2)/(-8) - 33/(-12). Let t(a) = 4*a - 16. Let g be t(6). Solve n*u - 5 = g*u for u.
-1
Let v(p) = -p**2 - 8*p + 5. Let g be v(-8). Suppose -20 = -g*f + f. Suppose 3*o = -2*o + 10, -f*o + 16 = 3*h. Solve -r = -h*r - 1 for r.
-1
Let r be (1 - 2/(-2)) + 6. Suppose 5*o - 20 = -4*w, -o - o + r = w. Suppose 2*i - 2*c = w, 0 = -3*c - 2*c + 10. Solve i*j - 6*j = 4 for j.
-1
Let s be (-2)/((18/(-20))/9). Solve -4*w + 0*w + s = 0 for w.
5
Let z(x) = -x**3 - 6*x**2 - 5*x + 3. Let m be z(-5). Suppose v + m*v - 8 = 0. Let u be (6/(-15))/(v/(-50)). Solve -h = h - u for h.
5
Let l = 100 + -84. Solve 0 = 2*h - 6*h + l for h.
4
Suppose -5*d = -v + 15, 3*v - 9 = 2*v + 3*d. Solve v = -c - 2*c - 9 for c.
-3
Suppose 2*n + 2*n - 18 = 3*y, 0 = -2*n - 6. Let p be y/4*24/(-10). Solve 10 = -4*u - p for u.
-4
Suppose 4*f - 2*f + 40 = 4*q, -44 = -2*q - 5*f. Suppose -3*t + q = 5*g, 4*g + 2*t - 3 - 7 = 0. Solve -c = -4 + g for c.
1
Suppose k = 2*k + 3, 0 = a - k - 22. Let p = a + -9. Solve 10 + p = 4*q for q.
5
Let g(u) = -u - 8. Let z be g(-12). Solve -15 = t + z*t for t.
-3
Suppose 2*v = -0*v - 2*y, 0 = -5*v + 2*y + 14. Solve 0 = c - v - 2 for c.
4
Let d be 5*(0 + (-4)/5). Let c be (-6)/d + (-18)/(-4). Suppose c*t - 2*t = 0. Solve 2*s = -t*s + 8 for s.
4
Let n = -8 + 8. Suppose -5*x - 11 - 9 = n, 3*x = -3*b - 12. Solve 3*v + 10 - 25 = b for v.
5
Suppose 4*a + 12 - 48 = 4*l, 4*a + l = 11. Solve p - a = -p for p.
2
Let f be (-3)/((-4)/(4/1)). Suppose -m + 4*s + 2 = 2*s, -2*s + 14 = f*m. Solve 4*o = 20 - m for o.
4
Suppose 3*z = -z + 16. Let u = 106 - 71. Let a = u - 24. Solve -a = z*l + 1 for l.
-3
Let o = -5 + 7. Suppose -o*j + 6*j = 0. Suppose -d + 1 = 0, -5*y - 3*d + 4 + 9 = j. Solve y*w = w for w.
0
Let a be ((-9)/(-3) + -3)/3. Suppose -5 = -n - a. Solve 7*f + n = 2*f for f.
-1
Suppose -3*z + 12 = 3*x, -3*x + 2*z - 4 = -3*z. Solve -m + x = -3 for m.
5
Suppose -5*x + f = 3 - 2, -3 = -3*f. Solve x = -3*c - 2*c + 10 for c.
2
Let r be -28*(14/4)/(-7). Let z(b) = -b**3 + 14*b**2 + b - 2. Let f be z(r). Solve 5*x = 2*x + f for x.
4
Suppose -5*r - 2*q + 0 = -5, q = -r - 2. Suppose -4*b + 9 = -3*b. Let z(v) = v - 2. Let y be z(b). Solve r + y = 2*j for j.
5
Suppose 0 = 3*b + 2 - 14. Let y be (6/(b/(-2)))/(-1). Solve -y*t - 4 = t for t.
-1
Suppose 10*k - 13*k + 12 = 0. Solve -5 - k = -3*m for m.
3
Let t be (-2)/((2 - 3)/2). Let y be 10*(-5)/((-50)/t). Solve -y*i + 7*i - 12 = 0 for i.
4
Let a(s) = -s**3 + 9*s**2 - 6*s - 9. Let k be a(8). Solve -13 = 4*p + k for p.
-5
Let x = 19 + -16. Let d be 2 + 1 + -1*1. Solve -d*y = -x + 7 for y.
-2
Suppose -6*q + 3*q = 0. Suppose q = -9*b + 4*b. Solve b = -3*u - u + 12 for u.
3
Let z be 3 + (0 - 4) + -1. Let h = -1 - z. Solve 5 - h = -4*c for c.
-1
Suppose 0 = 6*h - 15 - 9. Solve -h + 2 = u for u.
-2
Let d(g) = -3*g**3 - g**2 - 2*g - 3. Suppose 5*a + 3*m + 12 = 2*a, -2*a - 6 = m. Let l be d(a). Suppose -2*w + l + 3 = 0. Solve 8 + w = 4*k for k.
5
Suppose -2*q - 2*m = q - 3, q - m = 1. Let x be (10/3)/(q/3). Suppose -4*d + 5*b = -21, d - 1 - 6 = 3*b. Solve -2 = -d*z - x for z.
-2
Suppose -3*c = c - 48. Let i be 57/c - 2/(-8). Solve 3*m + i = -7 for m.
-4
Let u be 2/(-9) + 2/9. Let y = -2 + u. Let z = y + 3. Solve 5*q + z + 24 = 0 for q.
-5
Suppose -5*w = 16 - 41. Solve 2*b - w*b - 6 = 0 for b.
-2
Let t be (-2 + 0)/((-2)/3). Let q = t + 1. Solve -q*c = c for c.
0
Let h be 16/5 - (-1)/(-5). Let s(o) = o**3 - 4*o**2 - 3*o - 5. Let c be s(5). Let v = -5 + c. Solve v*y + h*y + 15 = 0 for y.
-5
Let p(u) = 2*u + 17. Let t be p(-8). Solve 5*k - t = 9 for k.
2
Suppose 2*q - 3 = 3. Suppose -3*y + 5 = q*p + 2*p, 5 = 2*y + 5*p. Suppose 5*d - 2*d - 9 = y. Solve d = 2*s + 9 for s.
-3
Suppose 3*m + 3*c - 27 = -0*c, -14 = -2*m + 2*c. Suppose 4*b - 20 = -b. Let i = m - b. Solve 0 = -i*h + h - 12 for h.
-4
Let a be (-10 - -8)*(-10)/4. Solve 0 = a*x - 2 + 12 for x.
-2
Let v(p) = p - 2. Suppose k = -0 + 2. Let c be v(k). Solve -2*f - 3*f + 20 = c for f.
4
Let h(t) = t**2 + 3*t + 2. Let p be h(-3). Suppose -3 = 3*g - 24. Suppose 3*j = g*j. Solve j*o - p = -o for o.
2
Let p = 5 + -8. Let d(y) = -y**2 - 4*y - 3. Let q be d(p). Suppose -5*l - 10 = -q*u - 3*u, 2*u - 15 = -5*l. Solve 2*j = 5 - l for j.
2
Let i = 109 - 106. Solve 0 = -4*r - i - 1 for r.
-1
Let g(q) = q**3 + 7*q**2. Let o be g(-7). Let s = -3 - -8. Suppose -3 + 28 = s*p. Solve -w = -o - p for w.
5
Let l(y) = -y**2 + 8*y - 23. Let q be l(3). Suppose 4 = 2*k + 38. Let f = q - k. Solve 0 = 4*m - f*m + 25 for m.
5
Suppose -5*c + 7 = 207. Let m be 10/(-4)*48/c. Suppose i - 30 = -2*j - i, 4*j = -m*i + 56. Solve -4*z = j + 5 for z.
-4
Suppose -5*m = k + 2*k - 23, -k = -2*m + 7. Let i be -5*(1/(-1) - 3). Solve i = -0*g + m*g for g.
5
Suppose 0*j - 10*j = -j. Let a be (4/(-5))/(2/(-10)). Suppose -a*y + j*y = -12. Solve 8*z - 10 = y*z for z.
2
Let s be -2*(22/(-4) - -4). Solve -s*k + 2*k = 0 for k.
0
Let x(f) = f**2 + 5*f + 5. Let y be x(-5). Let z be (-9 - 0)*20/(-6). Solve 5*a + y - z = 0 for a.
5
Suppose y = -j + 3, -4*y - 9 = -3*j - y. Solve -10 = -j*f - 2*f for f.
2
Suppose 0 = 3*k - 4*k + 6. Let r(p) = 5*p - 5. Let o be r(k). Let w be (-2 + 24/10)/((-1)/(-5)). Solve w*j = -3*j + o for j.
5
Let w(u) = -3*u**2 + 3*u - 5 + 5*u**2 + 3. Let i be w(2). Solve -5*m + i + 8 = 0 for m.
4
Let b(u) be the first derivative of u**2/2 + 7*u + 3. Let m be b(-3). Solve -m*o = -7*o - 6 for o.
-2
Suppose -4*i = 2*a + a - 19, -i = 2*a - 11. Solve