 f = 5 for u.
-5
Suppose 3*i + 0*i - 9 = 0. Suppose 3*c - 5*c - 2*g = 2, i = 5*c - 3*g. Suppose c = 3*m - m - 2, 0 = -3*x + m + 11. Solve -11 - 9 = -x*t for t.
5
Suppose 5*j = -0*j + 200. Suppose 2*w - j = -2*w. Solve i = -i + w for i.
5
Let y be 0 - 1 - (-1)/1. Solve s - 2*s + 2 = y for s.
2
Let r = -8 + 12. Let k = -4 - -4. Let f be 0 + k + 5 + -5. Solve -2*h + f = -r for h.
2
Suppose 5*x + 48 = 4*u, -3*u + x - 5 = -30. Let z(y) = y - 8. Let o be z(u). Let n = 1 - o. Solve -q - 12 = n*q for q.
-4
Let t(k) = 4*k. Let w be t(1). Solve w = -4*n - 16 for n.
-5
Let b = -26 + 51. Suppose -b = -u - 4*p, 0 = 3*u - u + p - 36. Solve 3*l + 2 = u for l.
5
Let g = 44 - 44. Solve g*i + i = -3 for i.
-3
Suppose 5*o - 8 = 3*o. Solve 0*k = -o*k + 4 for k.
1
Suppose 0*o + o - 3 = 0. Suppose 26 = 7*k - 2*k + o*p, -k = -2*p. Solve 3*a = 1 - k for a.
-1
Let d(h) = -h**3 + 5*h**2 - 2*h - 5. Let k be d(4). Solve q - 2 = k*q for q.
-1
Let d be 3*4/(-12) + 9. Solve 0 = 6*p - 4*p + d for p.
-4
Let h be (-4)/2*5/(-2). Suppose 0 = -2*z - 3*z + 5. Let a(y) = y**2 + 17*y + 33. Let g be a(-15). Solve g*c - z = h for c.
2
Let z = -9 + 13. Let w be (-2 - 1 - -4) + 2/(-2). Solve u + w = z for u.
4
Let n(g) = 7*g**3 - g**2 + g + 1. Suppose 3*o = o - 2. Let b be n(o). Let u = -6 - b. Solve -2*i = u*i for i.
0
Suppose b = 0, 4*b + 1 = 4*u - 19. Solve 0 = -6*o + o - u for o.
-1
Let m = -110 + 115. Solve 2*t - 12 = m*t for t.
-4
Let s(o) = -o**2 - 9*o - 13. Let t be s(-6). Solve -20 = -t*d + d for d.
5
Suppose -2*h + 5*k + 29 = h, -h + 19 = 3*k. Suppose -4*m - n = -16, 5*m + n - 6*n = 20. Let p = h - m. Solve 2*q + q = p for q.
3
Suppose -o + 14 + 0 = -4*t, -3*t = 9. Solve o*c = 5*c for c.
0
Let r(k) = -k**3 + k**2 + k. Let m be r(-1). Let b be 64/10*5/2. Let p(a) = -a**2 + 3. Let q be p(0). Solve -q*u + b = m for u.
5
Suppose u = 1, -102 = 5*j - 2*u - 0*u. Let m = j + 6. Let l = -10 - m. Solve -l*t - 2 = -2*t for t.
-1
Let v(b) be the second derivative of b**4/12 + 15*b**2/2 - 2*b. Let s be v(0). Solve -s = 5*c - 2*c for c.
-5
Let c = 13 + -8. Suppose 2*a - 4*a + 6 = -4*t, c*a - 27 = -2*t. Suppose -3*y = -0*b - b - 11, 3*y = 3*b + 21. Solve -a + y = 3*q for q.
-1
Suppose 0*g = 4*c + 3*g - 18, 10 = 2*c + 2*g. Solve 0*v = -v + c for v.
3
Let h = 7 + -10. Let q be (-20)/(-6) - (-1)/h. Solve q*a = -a + 16 for a.
4
Let d be (3/(-9))/((-2)/60). Let o = d - 5. Solve -3*f = -o*f for f.
0
Let s = 12 - 8. Solve 3*r - 19 = -s for r.
5
Let a(m) = -m**2 - m + 1. Let o(t) = -t**2 - 7*t - 7. Let p be o(-6). Let x be a(p). Let u be 2*3*(x - 0). Solve -3*v = -u*v for v.
0
Let k(q) = 6*q + 6. Let w(l) = l + 1. Let v(p) = 2*k(p) - 11*w(p). Suppose -4*s = -s - 21. Let n be v(s). Solve -o - n = o for o.
-4
Let r = -57 - -35. Let f = 23 + r. Solve -g + 3 = -f for g.
4
Suppose 0 = -0*s + s - 1. Let m = 4 - s. Solve 0 = 6*a - m*a - 6 for a.
2
Let n be (2 + 1)*4/6. Solve 0 = -2*w + 3*w + n for w.
-2
Let i(b) = 4*b - 13. Let h be i(4). Solve -h*l = -4 + 10 for l.
-2
Let t be 17/6 - (-1)/6. Suppose -t*y + 28 = 5*q, 4*y - 20 = -5*q + 9*y. Solve -q*w = -4*w for w.
0
Let c(t) = t**2 - 4*t - 1. Let p be c(5). Suppose -p*w + 15 = 3. Solve 2 = w*b - 4 for b.
2
Let u be 15/12 + 2/(-8) - -2. Solve -u*d - 5 - 4 = 0 for d.
-3
Let h = -4 + 0. Let j be 5/(-20) - 1/h. Solve 0*p - 3*p - 3 = j for p.
-1
Let s(a) = 2*a**2 - a + 7*a**2 - 1 - 3*a**2 + a**3 + 0*a. Suppose -2*c = 5 + 7. Let m be s(c). Solve m*g + 12 = 2*g for g.
-4
Let k(d) = -d + 1. Let o be k(0). Solve 0 = -m - 0 - o for m.
-1
Let k = -13 + 14. Solve 0 = -3*q - 2 - k for q.
-1
Let j(z) = z**3 + 2*z**2 - z - 2. Let k be j(-2). Suppose 0 = 4*m + s - 80 + 12, -2*m + 4*s = -16. Let t = m - k. Solve -5*i = -i + t for i.
-4
Suppose -2*p + 25 = 3*p. Let q = 2 - p. Let h be 1/(-3)*q + 0. Solve 0 = 5*a + h - 21 for a.
4
Suppose -6*n + 17 + 13 = 0. Solve 10 + 0 = n*v for v.
2
Let h(c) = -c**2 + 10*c - 5. Let x be h(9). Solve x*a - 3 = 3*a for a.
3
Suppose 4*x + 2*c - 36 = 0, 0*c + 16 = x + 4*c. Solve 0 = 3*u + 7 + x for u.
-5
Let a be (0 + 0)/(0 + 0 + 1). Solve a*z = -2*z - 6 for z.
-3
Suppose -4*b - 4 = -8*b. Let p(q) = 2*q + 1. Let v be p(b). Let c = 8 - v. Solve c*f + 3 = 4*f for f.
-3
Let s(r) = -r**2 - 5*r + 6. Let y(f) be the third derivative of f**4/12 + 4*f**3/3 - 5*f**2. Let g be y(-7). Let b be s(g). Solve 2*h + 4 = -b*h for h.
-2
Suppose 8 + 17 = 5*y - 4*d, -d = 0. Suppose l + s + 0 - 3 = 0, y*l + 2*s = 0. Let a be (l/6)/(5/(-60)). Solve -2*v - a = 6 for v.
-5
Suppose 2*i + 2*i = 0. Let v be 2 - (3 + (i - 3)). Suppose 0 = 4*r + k - 2 - 2, 4*r - 16 = v*k. Solve -3*g = r*g for g.
0
Let l(h) = -h**3 + 4*h**2 + 2*h - 6. Let b be l(4). Let f = b + 0. Solve -10 = 3*x + f*x for x.
-2
Let c(l) = -2*l - 2. Let i be c(-4). Suppose 3*p + 0*p = 0. Let x be (-2)/4 - 15/(-6). Solve p*d + i = -x*d for d.
-3
Suppose -4*y = -2*y - 12. Let g be 1*-1 + 4*6/24. Solve -3*l + g = -y for l.
2
Let v(c) = -c**2 - c. Let t(n) = -n**2 + 2*n + 1. Let b be t(2). Let k be v(b). Let w = -1 - k. Solve -2 = 3*l + w for l.
-1
Suppose 2*w - 4*w - 22 = 0. Let a = -8 - w. Suppose 7 = a*r - 5. Solve -1 = -z - r for z.
-3
Let h(y) = 2*y - 6. Let w be h(6). Let c(x) = 2*x**2 - x - 3 - x**2 + 0*x. Let v be c(3). Solve v*t + w = 6*t for t.
2
Let d be 21/9 + -3 - 14/(-21). Solve d = y - 2 + 6 for y.
-4
Let m be (2 - 1)*(-6)/(-3). Solve m*k = 4*k for k.
0
Let v be (-6)/(-1 - -2)*7/(-42). Solve 3*o + 2 = -v for o.
-1
Let w = 65 + -64. Solve p + 3 = -w for p.
-4
Let x be -4 - (-2 - 2) - -1. Solve 0 = b + 3 - x for b.
-2
Suppose -3 = -3*n + 4*n + x, -2*n + 6 = -2*x. Let m = 4 + n. Suppose 10 = 2*b - 5*w - 0*w, m*w = 4*b - 8. Solve 4*t + 3 + 9 = b for t.
-3
Let v be (-3 + 7)*(-45)/(-12). Solve -h = -6*h + v for h.
3
Suppose 0 = -3*t - 2*v + 11, -v + 16 = 4*t + v. Suppose 22 + 3 = t*m. Suppose -5*u + 0*a + 13 = a, -4*a + 7 = m*u. Solve -u*g = g for g.
0
Let o be (-12)/14*(-154)/33. Solve 4 = -4*r - o for r.
-2
Suppose d - 1 = -0. Let m be 4 + -3 - d*-1. Let r be (4/2 - m) + 2. Solve -r*a = -0 + 2 for a.
-1
Suppose 0 = 3*d - 3*r - 72, -3*d - 5*r = -0*d - 96. Let z(w) = -9*w - 7. Let q be z(-6). Let f = q - d. Solve 0 = -5*n + n - f for n.
-5
Let p = 1 + -5. Let q = p - -11. Solve -10 = -q*s + 2*s for s.
2
Suppose -36 = -2*a - 0*a. Let s be a/5*5/2. Let o(m) = 2*m - 12. Let f be o(6). Solve 2*q + 1 + s = f for q.
-5
Suppose -3*u - 60 = u. Let h = u + 17. Let i = 5 - 3. Solve -h - i = -m for m.
4
Let h = -5 + 10. Solve 22 + 3 = h*v for v.
5
Suppose 2*n = -3*s + 15, 4*n + 0*n - 12 = 0. Let t = -7 + 14. Let z be t/((-21)/(-6)) - 2. Solve s = -x - z for x.
-3
Let i be (-9)/3 + (8 - 1). Solve -2*p = i - 2 for p.
-1
Let m = -13 + 16. Solve o - m*o = -8 for o.
4
Suppose 3*s - 9 = 9. Solve s*c + 5 = c for c.
-1
Let j = 3 - 1. Suppose -4*m = 3*p - 2*p - 10, -3*m = -2*p - j. Solve -p*y = -4*y + 10 for y.
5
Let f(g) = -g**3 - 13*g**2 - 11*g + 15. Let r be f(-12). Solve -r = -5*s - 28 for s.
-5
Let m be -1*((-2)/2 - 1). Let x(i) = 2*i. Suppose -v = -2*o - 5*v + 2, -5*v + 5 = 5*o. Let g be x(o). Solve -g = z + m for z.
-4
Let n(w) = -2*w - 7. Let z be n(-5). Suppose 0 = 2*o - 7 - z. Solve -15 + o = -5*f for f.
2
Suppose -5 = -3*z + 16. Solve 4*v - 3 = -z for v.
-1
Suppose 4*i - 12 = -0*i. Solve 4*u - i*u = -5 for u.
-5
Let w = 2 + -9. Let d = w - -11. Solve d*j - 12 = 4 for j.
4
Let b(r) be the second derivative of 5/6*r**4 - 2*r + 1/20*r**5 + 4/3*r**3 + 0 - 5/2*r**2. Let v be b(-9). Solve 2*c - v*c = -10 for c.
5
Suppose 6 = -3*h + 6*h. Let v be 1*(-6)/((-2)/h). Solve -3*l = -v*l - 9 for l.
-3
Let i be 8/(-10)*15/(-2). Let n(r) be the second derivative of r**4/12 - 2*r**3/3 - 3*r**2/2 + 2*r. Let k be n(i). Solve 2*o + k = -o for o.
-3
Let s be -2*(-2 + 9/(-6)). Suppose 5 = 4*a - s. Solve -2*v = 5 - a for v.
-1
Suppose -4*w = -3*m - 5*w + 9, 5*w - 1 = -4*m. Solve 0 = 3*a - 8 - m for a.
4
Let s be -14 - -14 - (0 + -15)/1. Solve a + s = -2*a for a.
-5
Let q(v) = v**3 + v**2 - v + 32. Let k be q(0). Let d = 14 - 9. Suppose d*b = 4*b - 5*o + 1, -5*o - k = -2*b. Solve 4*u - 9 = b for u.
5
Let h(w) be the first derivative of -w**4/4 + 4*w**3/3 + 4*w**2 - 7*w + 1. Let i be (1 + -3)/(2/(-5)). Let x be h(i). Solve 3*b = x*b - 15 for b.
3
Suppose -9*u + 4*u = -4*h + 26, 40 = 4*h + 2*u. Solve -3*k = -h - 3 for k.
4
Let b =