olve -4*u + o = 4 for u.
3
Let r = 7 - 4. Let j = 18 - 2. Let f be j/10 - 4/(-10). Solve -f*c = c + r for c.
-1
Suppose 4 = 3*g - 2*u - 0, -19 = 2*g + 3*u. Let y be -5*(g + (-36)/(-15)). Let c be 1 - 1 - (y - -2). Solve -4*j - 1 - 15 = c for j.
-4
Let k = -2 - -5. Solve a + 2*a = k for a.
1
Suppose 5*f + 5*c = 40, -2*f + 2*c + 4 = f. Solve -k - 3 = -f*k for k.
1
Suppose -17*k = -18*k + 25. Solve -k = -7*p + 2*p for p.
5
Suppose 5 = -4*x + 5*x. Suppose f = -3*c + 5, x*f - 41 = -0*c + c. Let i be 9 - f - -1*1. Solve 2*k + i = -2 for k.
-2
Suppose 4*q = 4 + 16. Let s = q - 7. Let x be (-1 + (-27)/6)*s. Solve 0 = 2*v + 1 - x for v.
5
Let j = -8 - -9. Let k = 6 + j. Solve 2 - k = -y for y.
5
Suppose 0*t + t - 99 = -4*f, 0 = -4*f + 3*t + 119. Suppose 3*b - f = -5. Suppose -b = -5*s + 8. Solve -s*u + 2 = -4 for u.
2
Let l = 5 + -7. Let m be (l + 8)/((-3)/(-21)). Solve 5*k + 17 = m for k.
5
Let f(d) = -d**2 - 7*d - 2. Let a be (24/20)/(2/(-10)). Let t be f(a). Solve -9 - 3 = t*g for g.
-3
Suppose 0*w + 2 = -w. Let q(d) = -2 - d + 4 - 4. Let y be q(w). Solve 0 = -y*x + x - 4 for x.
4
Let m(i) = -i - 7. Let u be m(-7). Solve -2 = l - u for l.
-2
Let c = 3 - 0. Suppose 0 = 3*y + 5*v, -y - c*v - 2*v = 0. Solve y*k = 5*k for k.
0
Suppose i - 2*i - 1 = 0, -a + 5*i + 4 = 0. Let m be a*(-2 - -2 - 0). Let q = 0 - m. Solve -2*b + q = 2 for b.
-1
Let y be (-2)/(-4) - 21/(-6). Solve -t = -0*t + y for t.
-4
Suppose 10 = -5*b + 5*g, -3*b - g - 6 = -5*g. Let f be 10/b*15/(-25). Solve 1 = f*l - 2 for l.
1
Let u be 3*3/(-2)*-2. Let s(c) = -c**2 + 10*c + 3. Let i be s(u). Solve -i = -0*n - 4*n for n.
3
Suppose -4*a + 5 = -p, 5*p - 80 = -0*p - a. Solve 4*c + p = c for c.
-5
Let p(o) = -o**2 - 6*o + 5. Let y be p(-7). Let c be 27/6 + 1/y. Let r = -21 - -41. Solve -c*t - r = -0*t for t.
-5
Let a = 37 - 20. Solve 2 = 5*n + a for n.
-3
Suppose -3 = -21*i + 18*i. Let a(j) = -5*j**2 - 10*j - 2. Let r(m) = -2*m**2 - 3*m - 1. Let x(o) = 3*a(o) - 8*r(o). Let w be x(6). Solve -w*v + v + i = 0 for v.
1
Suppose 3*r - 2 = 10. Suppose 5 = -2*h - x + 6*x, -3*h + 27 = r*x. Solve h*n - 26 = -1 for n.
5
Suppose 2*g - 12 = 3*r, 4*r + 11 = 4*g - 13. Suppose g = -2*o + 80. Suppose -z - 2*z = -2*n + 12, -3*n = 5*z - o. Solve -4*t = -t - n for t.
3
Suppose 4*i - 2*i - 10 = 0. Let t = 16 + i. Let z be (10/4)/(5/10). Solve 6 = z*v + t for v.
-3
Let g(j) = 14*j**3 - 50*j**2 - 16*j - 53. Let q(b) = -5*b**3 + 17*b**2 + 5*b + 18. Let s(x) = -6*g(x) - 17*q(x). Let r be s(-10). Solve -2*i = -8 - r for i.
5
Let v(q) = -q**3 - 2*q**2 - q + 1. Let b be v(-2). Let z = -2 - -6. Suppose z*a - 3*a - 2 = 0. Solve -a*c - b = -5*c for c.
1
Suppose -5*i - 17 = -3*m, 8*m + 3*i + 16 = 4*m. Let r be (-2 + 2)/(1*m). Solve r = t - 3*t + 2 for t.
1
Let n(a) = 2*a**3 - 7*a**2 + 10*a - 7. Let h(b) = -5*b**3 + 21*b**2 - 29*b + 20. Let w(s) = -3*h(s) - 8*n(s). Let u be w(-8). Solve -o = -3*o + u for o.
2
Suppose 0 = -2*c - 5*v - 15, -3*c = -2*v + 2 - 8. Suppose 7*f - 14 = -c. Solve -l + f = -3 for l.
5
Suppose -4*a = -3*a - 2. Let p = 1 - -2. Suppose p*n = -0*n + 6. Solve -n*v - a = 8 for v.
-5
Let f(l) = 4*l**2 + 2*l + 1. Let r be f(2). Suppose 4*h - 15 = r. Solve -j = -4 + h for j.
-5
Suppose 5*b - 16 = -6. Let f be 0/1 - b - -33. Suppose 1 = -2*s + f. Solve -q - 4*q = s for q.
-3
Let o = 180 - 177. Solve -2*u - o*u + 15 = 0 for u.
3
Let r = 70 - 65. Let m be (-130)/(-8) + (-1)/4. Solve a - m = r*a for a.
-4
Let i(z) = -4*z - 2. Let k be i(-2). Solve -k*t = -3*t - 6 for t.
2
Let m(t) = 2*t + 9. Let f be m(-3). Solve -f*v - 12 = 3 for v.
-5
Let r be -2 + (-12)/(8/(-4)). Solve -2 = r*c + 6 for c.
-2
Let h = 4 - -1. Suppose h*z = -12 + 42. Let v(p) = 2*p + 20. Let k be v(0). Solve z*o = o - k for o.
-4
Let k(v) = -v**2 - 9*v. Let u be k(-9). Solve 8 = -u*c - 2*c for c.
-4
Let i be 8/44 - (-42)/11. Let x be 1/(-7) - i/(-28). Solve x = a - 4 + 1 for a.
3
Let k(f) = -f**3 + f**2 + 5*f + 2. Let y be k(-3). Let u = 4 - -1. Suppose u*l - 16 = l. Solve l*d = 3 - y for d.
-5
Let j(h) = -2*h**3 + 15*h**2 + 10*h - 11. Let z be j(8). Solve -1 = -z*k - 6 for k.
-1
Let q = 20 + -19. Let w(l) be the second derivative of -l**5/20 - l**4/3 + l**3/6 + 2*l**2 - l. Let p be w(-4). Solve p = -2*j + q - 5 for j.
-2
Suppose 0*h - 12 = -2*h. Let w = 8 - h. Suppose -3*i + 43 + 2 = 0. Solve -3*l = w*l - i for l.
3
Suppose 5*f - 3*f - 4*q - 30 = 0, 5*q = -5*f. Suppose -1 = 2*n - 7, p - n + f = 0. Let a be 2 + 0 + (p - 0). Solve -d = -4 - a for d.
4
Let i = 42 + -37. Solve u = -4*u + i for u.
1
Let k(z) = z**3 - z + 4. Let c be k(0). Solve c*v - 2 = 6 for v.
2
Suppose 0*f - 5 = f. Let u(t) = -2*t - 3. Let h be u(f). Solve -9 - h = 4*z for z.
-4
Suppose 3*o - 15 = -3. Suppose 3*h + 1 = o. Let c be (h - 1)*2/(-4). Solve c = i - 5*i + 20 for i.
5
Suppose -2*u + 27 = u + 2*q, 3*u - 4*q = 27. Let o = u - 5. Solve o*b + b = 25 for b.
5
Let r be 12/9*(-15)/(-10). Solve n = -r*n for n.
0
Let r be ((-12)/(-20))/((-1)/(-5)). Suppose -r*j + 1 = -h, 2*j = -5*h + 49 + 31. Solve -h = 4*v + 2 for v.
-4
Let j = 6 - 4. Suppose 3*r + 0*r = -24. Let m = -6 - r. Solve -j*v = m - 8 for v.
3
Let k be (-6)/4*(-32)/12. Solve -4*s + k = -6*s for s.
-2
Let b(c) = -c**2 + 7*c + 2. Let n be b(7). Solve -n*d - 4 = 2 for d.
-3
Let i = 8 + -5. Let j be (1*-2 - -2) + 0. Solve j = i*s - 2*s for s.
0
Let o = 8 - 5. Suppose 0 = -j, 1 - 10 = -3*f - o*j. Solve 7 + f = -5*d for d.
-2
Suppose 3*h + 1 - 7 = 0. Suppose -2 = h*v - 6. Suppose c + 4*p + 14 = 2*c, -4*c + 2*p + 14 = 0. Solve c*f + v = -6 for f.
-4
Let h(l) be the second derivative of l**4/12 - 7*l**3/6 + 9*l**2/2 + l. Let q be h(6). Solve -v + 10 = -q*v for v.
-5
Let n be (-1)/(((-11)/6)/11). Suppose n = -l + 9. Solve b + l = -2 for b.
-5
Let w be -2 - -4 - (-1 + -3). Suppose -g + w*g = 20. Solve -g*d - 14 = -6 for d.
-2
Let a(s) = 4*s**2 + 31*s. Let u be a(-8). Solve 2*g = -u + 2 for g.
-3
Let o be (12/9)/((-4)/(-6)). Let r be 27/o*(-12)/9. Let v be (-33)/r - (-2)/12. Solve v*h + 1 = -3 for h.
-2
Suppose 4*g - 15 = -5*w, 0*w + g = -w + 3. Suppose -n = w, 0 = 4*i - 7*i + 5*n + 21. Solve -i*m = m for m.
0
Suppose 0 = -3*l - 5*r + 63, 0*l - 5*l + 86 = 2*r. Let v = -10 - -13. Solve -j = v*j + l for j.
-4
Suppose -4*s + 0*z + 4*z = -28, -z = -2*s + 9. Solve s*y - 15 = 5*y for y.
-5
Suppose -h + 3 + 1 = 0. Let w(p) = -p**3 + 7*p**2 + 10*p - 6. Let v be w(8). Solve -h*m - 10 = v for m.
-5
Let n = -139 - -145. Solve 10 = 4*i - n for i.
4
Let w = -8 + 11. Suppose -3*m = -8*m + 15, -w*u = -m - 18. Solve 0 = 5*r + 2 - u for r.
1
Let c = 5 - 2. Suppose c*r + g = 7, g = 3*r - 8*r + 13. Solve r*b - 10 - 2 = 0 for b.
4
Suppose 0 = 3*j + j - 12. Solve j*g = -0*g for g.
0
Let s(y) = y**2 + 12*y - 9. Let n be s(-13). Let h = 3 - 3. Solve h*i = 4*i - n for i.
1
Let o be (-6)/4*32/(-12). Let n be (3/2)/(3/o). Let z be ((-10)/(-3))/((-2)/(-6)). Solve z = -n*v - 0 for v.
-5
Let y(v) be the second derivative of v**3/6 + 3*v**2/2 - v. Let j = 17 - 20. Let m be y(j). Solve -2*l + 0*l - 4 = m for l.
-2
Let t = -2 - -17. Solve 2*f + f = t for f.
5
Let x be 1 - -1 - (7 - 1). Let q(i) = -3*i - 3*i**3 + 2*i - 5*i**2 + 2*i**3 - 4*i. Let n be q(x). Solve n = 2*p - 4*p for p.
-2
Suppose 3 + 7 = -5*u. Let a(w) = -w**3 - w**2 + 3*w + 2. Let p be a(u). Let g = -4 + 7. Solve p*z = -g*z + 6 for z.
2
Let q be 21/1 + (1 - 0). Suppose -4*s - s = -t + q, 0 = -2*t + 5*s + 24. Let g be (4/3)/(t/6). Solve 0 = 2*x - g*x - 2 for x.
-1
Suppose -5*h = -3*v - v - 3, 3*h + 2*v - 15 = 0. Solve h*s = 7*s for s.
0
Suppose -7 - 29 = -3*c. Solve 0 = -3*v - v + c for v.
3
Suppose -4*u = 5*d - 93 + 4, -5*u = 20. Let i be (d/(-14))/(6/(-16)). Solve 0*c - 12 = i*c for c.
-3
Suppose -x = -5*y + 74 - 29, -26 = -2*y + 2*x. Solve -2*m = -y - 2 for m.
5
Let r(j) = -j. Let b be r(-2). Suppose 0 = 4*p + 12 - 12. Solve -b = -p*i + i for i.
-2
Let k be 4*(0 - 4/(-8)). Solve k*a - 4 = -0*a for a.
2
Suppose 2*s - 3*n = -5, s - 2*n = 2*s - 15. Solve 0 = -s*k + 9 + 1 for k.
2
Let r be (-2)/(5/45*-3). Solve -f - r = f for f.
-3
Let o be (-6*(-8)/96)/(2/40). Suppose 0 = -c + 2*c. Suppose c = s - 2*s + 5. Solve -10 = -s*u + o for u.
4
Let k(i) = -3*i - 4. Let t be k(-2). Solve -6*f + 8 = -t*f for f.
2
Let m = -51 + 57. Solve -5*k = -14 - m for k.
4
Let q = -37 - -40. Solve -1 = -q*z - 16 for z.
