 u.
-2
Suppose y = -2*x + 6*y + 30, -2*y = 8. Let h = -1 + x. Solve 6 = -5*a - h for a.
-2
Let a = 7 - 1. Let d be 5/4 - a/(-8). Solve 4*v = d + 2 for v.
1
Let c be 54*((-11)/(-3) + -1 + -2). Let z be (0 - 2)*(-1)/2. Let a be z/(-6) + 366/c. Solve -3*k - 2 = a for k.
-4
Suppose 3*x - x = -4*i + 8, -x + 4*i - 8 = 0. Suppose x = -4*c - 0*c - 4*w + 8, 3*c + w = 8. Let f = 0 - 0. Solve -c*y - 9 = -f*y for y.
-3
Suppose -4*r = -2*r - 190. Suppose r = 4*z + 2*x + 3*x, 5*z - 2*x = 94. Solve -b - z = -6*b for b.
4
Suppose -2*s = 5*d + 19, 3*d - 3*s + 0*s + 3 = 0. Let q be (-4)/((-8)/d + -4). Solve 5*b = -13 + q for b.
-2
Let u = 13 - 10. Let q = -1 + u. Solve -q*d + 4 = -4 for d.
4
Let u(h) = h + 19. Let g be u(-10). Solve 5*y = 2*y - g for y.
-3
Suppose 0*p + 5*p - 5 = 0. Let y(z) = 2*z - 8. Let o be y(4). Solve o*w = w + p for w.
-1
Let v be (-345)/(-46)*4/6. Solve -3*o = -v*o for o.
0
Suppose t = 3*z - 9, -5*t - 13 = -5*z + 12. Suppose -z*x - 16 = -6*x. Solve x*c + 0 = -20 for c.
-5
Let k(z) = z**2 + 2*z + 2. Let w be k(-3). Let x be (-2 - -1 - -2)*w. Solve c - x = -4*c for c.
1
Let t be 45/3*(-1 + 10/6). Solve 0 = -0*a - 2*a + t for a.
5
Let s be ((-12)/10)/(15/(-50)). Let c be 2 - (0 + 8)/s. Solve -5 = -y - c for y.
5
Let q(o) = -3*o**3 - 3*o**2 - 5*o - 4. Let d be q(-3). Let b be (d + 1)*14/21. Suppose -u = -2*l - 2*u + 22, -4*u - b = -3*l. Solve 0*x - l = -3*x for x.
4
Let w(u) = -u**3 - 5*u**2 + 7*u + 9. Let h be w(-6). Solve -h*a = 2*a - 25 for a.
5
Suppose 3*x = -2*c + 14, 0 = 5*x - 4*c - 7 - 9. Suppose 10 = 5*g + 3*a, 2*g - a - 4*a - x = 0. Let z = 8 - g. Solve z*q = 2*q + 20 for q.
5
Let c be ((-2)/(-3))/(1/6). Let l be (-1)/2 + 15/6. Suppose -l = 3*t - 23. Solve -3*f - c + t = 0 for f.
1
Suppose -4*p = -17 - 7. Solve 2*r = p*r for r.
0
Let b be -1 + 1 + 4/2. Let g(k) = k**2 + 6*k + 5. Let q be g(-5). Suppose 3*d - 6*s = -s + 49, 0 = -s + 1. Solve q = -5*z - d - b for z.
-4
Let o(n) = -7*n - 9. Let f(x) be the second derivative of -x**3/2 - 2*x**2 - 2*x. Let b(c) = -9*f(c) + 4*o(c). Let p be b(-2). Solve -p*i = -5*i - 9 for i.
-3
Let z(a) = -21*a**2. Let f be z(1). Let k be (24/14)/((-6)/f). Solve k*u - 5 = u for u.
1
Let x be 2/(-6) + 48/9. Suppose 2*b = -b + 3*r + 12, 20 = x*b - 4*r. Solve -p = -b - 1 for p.
5
Suppose 3*w + 3*i - 6 = 0, 5*w = -i + 2 - 12. Let q(s) = 2*s**2 + 5*s + 2. Let v be q(w). Solve 5*h = 5 + v for h.
2
Suppose 4 = v - 1. Solve q = v*q - 20 for q.
5
Let s(h) = -h**2 + 4*h + 10. Let r be s(5). Solve -10 = 3*u + r for u.
-5
Suppose 40 = 2*x + 2*x + 4*r, r = 3*x - 10. Let u(j) = -j**3 - 5*j**2 - j - 5. Let i be u(-5). Solve i = -x*t + 2*t for t.
0
Let q be 2*3/(-6) + 4. Let y = -1 + q. Solve -9 + 1 = -y*p for p.
4
Suppose 4*m - 5 - 5 = 3*p, m = -2*p - 14. Let r be 4*3/p*-1. Solve r*x - 4 + 2 = 0 for x.
1
Let d(l) = -l - 1. Let z(x) = -x**2 + 7*x - 3. Let i be z(6). Let f be d(i). Let r(n) = -n**3 - 5*n**2 - 5*n + 2. Let g be r(f). Solve -15 + g = -3*y for y.
3
Let x be 196/35 - 4/(-10). Suppose -x + 3 = 3*i. Let c = i + 6. Solve -c*q = -q - 8 for q.
2
Let d be (7 - 9) + (3 - 1). Solve d = -h + 4*h + 9 for h.
-3
Let q be 4 + (-6)/5*(-20)/(-6). Solve -2*d + 6*d + 8 = q for d.
-2
Suppose 0 = 3*q + 5 + 25. Let g = -7 - q. Solve -8 = -x - g for x.
5
Suppose 0 = p + 3*p - o - 8, 5*p - 27 = -3*o. Suppose 0 = -p*x + 7*x. Solve -3*r = -x*r + 9 for r.
-3
Suppose 3*j = 7*j - 12. Solve j*k = 5*k for k.
0
Let q be (1 - 3) + 4/2. Suppose 4*h - 2 = -b + 15, 0 = -3*b + 4*h + 83. Suppose 5*n + 5 = b. Solve q = -n*v - 3 - 17 for v.
-5
Let d be (-2)/3 + (-152)/(-12). Suppose c - d = -2*c. Solve -o + 15 = -c*o for o.
-5
Let c(y) = -y**3 + 6*y**2 + y + 2. Let t be c(6). Solve 3*i + t = i for i.
-4
Let v(i) = i**2 - 2*i + 1. Let c be v(3). Solve 9*o + 20 = c*o for o.
-4
Let m(v) = -3*v**2 + 11*v - 3. Let d be m(3). Solve -d = -4*u + 3*u for u.
3
Let b(w) = w**2 - 1. Let x = 2 + -1. Let r be b(x). Let d be 1/6 + (-119)/(-42). Solve r = j - d*j for j.
0
Suppose -4*t = 5*m - 3*m + 22, m = -t - 3. Let b = 4 + -10. Let l be (-9)/b - (-4)/t. Solve 3*o + l = 16 for o.
5
Suppose -2*m - 28 = m - r, 5*m + 47 = 2*r. Let s = m + 18. Solve -s = 2*f - 1 for f.
-4
Suppose 6 = 4*l - 10. Suppose 3*a + x + 0*x - l = 0, -12 = -3*x. Suppose -u - 2*u + 9 = a. Solve -u*k = k for k.
0
Let b = 13 - 13. Let p be -1 - (b/(-3) + -3). Solve 0*s + p*s - 6 = 0 for s.
3
Let c = 10 + -7. Suppose 0 = -s + 4*m - 19, 0 = 8*s - c*s + 4*m - 25. Suppose -10*d = -14*d + 40. Solve -s = -3*i - d for i.
-3
Let c(i) = i**3 + 8*i**2 + 3*i - 21. Let j be c(-7). Let g = 9 - 4. Solve -2*t + j*t = g for t.
1
Let a be (-1)/(-3) - (-184)/6. Suppose 3*z - z - a = -d, 4*z + 4*d = 60. Suppose 6*y - z = 2*y. Solve -y + 29 = 5*s for s.
5
Let a = 0 - 0. Let v(h) = 15*h**2 + h - 1. Let i be v(1). Let z = i + -10. Solve a*n + 10 = z*n for n.
2
Suppose 2*h = -0*h + 6. Let m be (-1*(0 + 2))/(2/(-4)). Solve -h*z = z - m for z.
1
Suppose -6*b + 4*b + 6 = 0. Solve -b*f + 6*f - 9 = 0 for f.
3
Let i = -14 + 15. Solve j = -i + 3 for j.
2
Suppose -5*l + 26 = 6*m - 2*m, -20 = -4*l - 3*m. Solve l*j - 12 = -2 for j.
5
Suppose -26 = -4*t - 10. Solve t = 5*l - 4*l for l.
4
Suppose 0*i - 5*f = i - 22, 5*i - 3*f + 30 = 0. Let q be i/(-1) - 0/(-1). Suppose 0 = -a + q. Solve 0 = o + a for o.
-3
Let k be ((-12)/(-14))/((-12)/(-56)). Solve -9 = -k*x + x for x.
3
Let v be (-6)/(-3)*(-3)/(-2). Suppose 5*k = -i - 15, v*k = -k + 5*i + 17. Let j be k/4 - 21/(-6). Solve -j*z + 8 = -z for z.
4
Let z(t) = -8*t - 7 - 7*t + 20*t - 7*t. Let s be z(-5). Solve -s*n = -n - 2 for n.
1
Let v(t) = t**2 + 9*t + 10. Let q be v(-8). Solve z + 0 = -q for z.
-2
Suppose -y + 2*y = 3. Solve y = 4*h - 9 for h.
3
Let n be 0/(-3 + (-25)/(-5)). Solve 4*y - y - 12 = n for y.
4
Suppose -i = -5*d - 0*i - 10, 0 = 2*i. Let p be 15/d*48/30. Let k(b) = -b**2 - 11*b + 12. Let g be k(p). Solve 0*n - n - 5 = g for n.
-5
Let k(d) = -2*d + 34. Let w be k(17). Solve w = -c + 3 + 1 for c.
4
Let b = -7 + 7. Let w = b + -6. Let r be (-4)/w - (-2)/(-3). Solve 0*f - 3*f + 9 = r for f.
3
Let d(k) be the first derivative of -k**4/4 + 10*k**3/3 + 2*k - 1. Let c be d(10). Let a be -4*(-3)/24*6. Solve -a*j = -2*j + c for j.
-2
Let m be 3/3*1*-6. Let r(i) = -i - 9. Let b be r(m). Let h be (-1)/(b + 24/9). Solve -5*k = -h*k + 4 for k.
-2
Let l(p) = -p**3 - 9*p**2 + 10*p - 9. Let h be l(-10). Let q be (-8)/(3*6/h). Solve -q*m = -m + 6 for m.
-2
Let a(k) = -3*k**2 - 8 + k**3 - 4*k**2 - 2 + 4*k - 2*k. Let x be a(7). Solve -g - 20 = x*g for g.
-4
Let i = 28 - 13. Suppose -3 + i = 4*u. Solve -u*p = -7*p - 8 for p.
-2
Suppose -7*t = -2*t - 25. Let p = t - 3. Suppose o - p*o + 5 = 0. Solve -14 - 6 = o*g for g.
-4
Suppose -5 = 2*a + 3*a, x = 4*a + 7. Solve -4 = -q + x*q for q.
-2
Suppose -10 = 5*x - 5*n, -2*x + x - 4*n = -13. Solve m + x = 2 for m.
1
Suppose 0 = 4*j - 4*y, -10 = 2*j - 8*y + 4*y. Let g(x) = -x - 8. Let r be g(0). Let d be 4*1*(-26)/r. Solve -2 = j*h + d for h.
-3
Suppose 2 = -y - 2*o, -14 = 4*o - 6. Solve -1 = i + y for i.
-3
Let p be (-7)/(-2) + (-2)/(-4). Let c = 48 - 48. Solve 3*a - p*a = c for a.
0
Suppose 3*o - 2*c - 9 = 0, -9 = 2*o - 5*o - c. Suppose 0 = 5*u - 2 - o. Solve 3 = 2*d + u for d.
1
Let b(z) = z - 6. Let q be b(8). Suppose 5*m - 25 = -2*p, -7*p = -2*p + q*m - 10. Solve 0*j + 2*j = p for j.
0
Let o(q) = 2 + 3 - 3 + q**2 + 8*q + 5. Let g be o(-7). Solve h = -g*h + 5 for h.
5
Let j(g) = -g**3 - g**2 + 2*g. Let k be j(-2). Solve -4*x = -k*x + 4 for x.
-1
Suppose -t + 3*c - 5 = -0, -4*c + 12 = 0. Solve 0 = 3*m - 7 + t for m.
1
Suppose 2*a - 12 = 28. Solve 5*s - 9*s - a = 0 for s.
-5
Suppose v = -4*v + 25. Solve 0 = v*b + 7 + 13 for b.
-4
Let z(u) = 6*u**3 + 8*u**2 + 13*u + 13. Let v(p) = -7*p**3 - 8*p**2 - 14*p - 13. Let n(r) = 5*v(r) + 6*z(r). Let o be n(-7). Solve x - o = -x for x.
3
Suppose -4*r - 8 + 12 = 0. Solve 0 = m + r for m.
-1
Let h = 3 - 2. Solve -4*o + 7 + h = 0 for o.
2
Let s = -6 + 7. Solve -2*f + 1 = -s for f.
1
Let m = 33 - 30. Solve 0 = -m*o - 8 - 4 for o.
-4
Let x = 147 + -132. Let t(f) be the first derivative of f**3/3 + 2*f + 1. Let r be t(-2). Solve b - x = r*b for b.
-3
Let n = -11 - -9. Let l be (60/(-24))/(1/n). Solve 0 = -l*h - 10 for h.
-2
Let v(s) = -s**3 - 4*s**2 - 2*s - 6. Let t be v(-4). Suppose -5*c + 11 = -64. S