r**2 - 5*r. Let j = -13 - -9. Let v be i(j). Suppose -2*t + 0*t = -4. Solve 0 = v*x - 6*x + t for x.
1
Let d(u) = u**2 - 5*u - 5. Let p be d(7). Solve -5*b - p = -2*b for b.
-3
Suppose 5*j - 2*g - 30 = 19, 3*j + g = 25. Solve j = -4*i + 7*i for i.
3
Let l = -4 - -3. Let m = l - -1. Suppose 2*r + 3*r - 15 = m. Solve 2*t - 9 = -r for t.
3
Let n be 2/3 - 23/3. Let t be 15 + 2/(-1) + 3. Let k = n + t. Solve 11 = 4*y - k for y.
5
Suppose 2*c = 10 - 2. Solve -15 = u + c*u for u.
-3
Let m(x) = 2*x. Let u be m(-1). Let w be (-8)/u - (0 - 0). Solve -y - w*y = -25 for y.
5
Let j(d) = -2*d - 9. Let f be -1 + (0 - -1)*-5. Let z be j(f). Let c be (18/15)/(2/20). Solve -c = -z*k + 6*k for k.
-4
Let t be (-3)/3 - -4 - 0. Solve 4*i = t*i - 4 for i.
-4
Let k = 4 - 4. Suppose 0 = -d - k*d + 5. Suppose d*y = 26 - 6. Solve y*t = t - 9 for t.
-3
Let u(n) = n - 15. Let o be u(17). Solve 6*q + 4 = o*q for q.
-1
Suppose -4*i + 3*i + 2 = 0. Let b be (91/(-14))/((-1)/i). Solve -5*h - 2 = b for h.
-3
Let y = -109 + 115. Solve -w + y - 1 = 0 for w.
5
Let s be (-122)/(-16) + -2 + 21/56. Solve -3*x - s = -x for x.
-3
Let f be (-15 + 1)*(522/(-63) + 8). Solve -8 + 28 = f*a for a.
5
Suppose 0 = -b + 1 + 3. Suppose 0 = b*y + 4 - 20. Solve -3*n = -y*n for n.
0
Suppose -5*g = -6*g. Solve 5*r + 5 + g = 0 for r.
-1
Let g(c) = -c**3 + 9*c**2 - 7*c - 11. Let y = 8 - 0. Let k be g(y). Let u = k + 5. Solve -l - 3 = u*l for l.
-1
Let t(s) = s**3 + 8*s**2 + 8*s + 6. Let a be t(-7). Let o = 5 + a. Suppose 4*d + 5*p = 2*p + 3, -5*d = o*p - 4. Solve f = -d*f for f.
0
Suppose -2*n + n = 0. Let r = 5 + n. Solve 3*x - 4 = r for x.
3
Let j(z) = -z**3 + 6*z**2 - 5*z + 2. Let n be 4/14 - 165/(-35). Let b be j(n). Solve b*w = -0*w - 6 for w.
-3
Let f(j) = j**3 - 6*j**2 + 7*j - 6. Let v be f(5). Solve -v*u - 2 = 2 for u.
-1
Suppose -6*g + 3*g = -9, 0 = u - 5*g + 5. Solve 3*i = i + u for i.
5
Let t(f) = -f**2 + f + 2. Let z be t(2). Solve z = p + 2 - 4 for p.
2
Let i be 2*(-15)/(-10) - -6. Solve -4*l + l + i = 0 for l.
3
Let r be -3 - 2*(-3)/(-2). Suppose -24 = -5*y + 16. Let b = r + y. Solve 6 - b = -i for i.
-4
Let v(g) = -g**3 - g**2 + 1. Let h be v(0). Let q(i) be the third derivative of 5*i**4/24 + i**3/6 + 2*i**2. Let j be q(2). Solve h = 5*p + j for p.
-2
Let y(x) = 0*x**3 + 3*x**2 - x**3 - 13*x**2. Let d be y(-10). Solve d = 3*t - 0*t + 9 for t.
-3
Let l = 4 - 4. Suppose -w + 4 = -l. Solve -o - 2 = -w for o.
2
Let x be 588/9 - 3/9. Let m = -40 + x. Suppose -4*c - 1 = -m. Solve c*k = 3*k + 15 for k.
5
Suppose 3*g - 29 = -i, 0 = 2*g + 5*i - 41 - 0. Suppose 0 = 2*w - g - 4. Solve -3 = -w*n + 5*n for n.
3
Let f = 24 - 5. Suppose -2*v - 4*w - 7 = -f, 4*v + 2*w = 18. Solve v*u = 5*u - 5 for u.
5
Let o be -20*(2 - 28/10). Solve -4*s = -4 + o for s.
-3
Suppose -b + 75 = -5*v + 4*b, -3*b + 12 = 0. Let r = 15 + v. Solve r = -0*x + x for x.
4
Suppose -k + 12 = 2*k. Suppose 17 = k*g - 5*m - 8, m = -2*g - 5. Solve -4 = p - g for p.
-4
Let f(w) = w - 9. Let j be f(6). Let k be 0/(6/j) - -4. Suppose 0 = -k*v + 2 + 10. Solve -v*y - 2*y - 20 = 0 for y.
-4
Let q(n) = -n**3 - 11*n**2 + 7*n - 10. Let v be q(-12). Suppose 0 = 2*u - 4*u + v. Solve 4*t + t + u = 0 for t.
-5
Suppose -5*h + 4*k - 112 = 20, -138 = 5*h - k. Let f be 2/7 - 216/h. Solve 0*w - f = -2*w for w.
4
Let l be 3/6*10*3. Solve k - l = -2*k for k.
5
Let j(m) = m**2 + 7*m - 18. Let x be j(-9). Solve -3*c = -x*c for c.
0
Let h = -74 - -76. Suppose -4*t = -2*b - 3*b - 5, -5*t + 3 = -3*b. Let r be 4 - (6/h + b). Solve r*q = -q for q.
0
Let u = -1 - -9. Solve -u = 3*z - z for z.
-4
Let b be 1/6 + (-203)/(-42). Suppose c + t = -2*t - 13, 0 = -b*c + 5*t + 35. Solve 0 = r - 2 - c for r.
4
Suppose -3*h - h + 16 = -3*k, 8 = 2*k. Let t(x) = -5*x**2 + x**3 - x**2 - x**2. Let c be t(h). Solve -g = -1 - c for g.
1
Let c(q) = q**2 + 12*q + 13. Let s be c(-11). Suppose -s*p + 2 = -0*p. Solve 2*b = 3 - p for b.
1
Suppose 2*g = -3*d - d + 26, d = 2. Solve -5*p + 16 = -g for p.
5
Let u = -20 - -30. Suppose -f - i = -u, -5*i = -5*f - 0*i + 10. Solve -4*m = -m + f for m.
-2
Let j(i) = 7*i**2 + i + 1. Let c be j(-1). Solve 2*t + 3 = -c for t.
-5
Suppose 3*g - 5*x + 13 = 2*g, 3*x - 9 = 0. Solve 2 = -2*k - g for k.
-2
Suppose -4*l = 2 - 10. Suppose -l*a = a. Suppose a = h + 6 - 18. Solve -3 - h = -3*g for g.
5
Suppose 0 = -4*k + k. Suppose k = 4*w - c - 192, 2*w - 2*c = c + 96. Let s be w/22 + (-6)/33. Solve -s*f + 12 = f for f.
4
Let g(q) = q**2 + 8*q. Let j be g(-8). Let a = j + 0. Suppose -y + 2*b = -0*b + 5, 3*b - 12 = 0. Solve a = -4*n - y + 7 for n.
1
Let h = -3 + 5. Let k(z) = 2*z**3 + 0 - z - 8*z**h - 3*z**3 - 6. Let r be k(-8). Solve 16 = r*y - 6*y for y.
-4
Let o(m) = -m**3 - 5*m**2 + 7*m - 3. Let y be o(-6). Let q be 2 + (-3)/y*0. Solve -q + 0 = -d for d.
2
Suppose -4*q = -3*q - 14. Let y be 1*-3 - (q + -17). Solve 3*w - 2*w + 3 = y for w.
-3
Suppose 0 = -2*v + 4*v + 2. Let j be v/(0 + 4/(-20)). Solve j = p + 1 for p.
4
Suppose -2*i - 30 = i. Let z = -6 - i. Let c(l) = -l**2 + 5*l - 2. Let h be c(z). Solve 0 = -5*a + 12 - h for a.
2
Let t = -26 - -29. Solve 4*l - 2 = t*l for l.
2
Let f(d) = -d**2 + d + 4. Let i be f(3). Let k = 4 + -5. Let h = k - i. Solve -5*t + h = 6 for t.
-1
Let n(m) = m**3 + 2*m**2 - 4*m - 2. Let q be n(-3). Solve -2 = u + q for u.
-3
Let p = -3 - -5. Suppose -4*a + 2 = -3*x, p*a = -5*x + a + 12. Let j be (7/14)/(x/100). Solve -j = -b - 4*b for b.
5
Suppose 0 = -0*g - 3*g - 105. Let m be ((-12)/10)/(14/g). Solve 5 = m*t - 4 for t.
3
Let p(u) = -2*u - 2. Let m be p(-3). Let l be (0 + (-33)/(-12))*m. Solve l - 3 = -2*h for h.
-4
Let g = 22 + -3. Let m(h) = -h**3 - 5*h**2 + 5*h - 5. Suppose 0 = -4*n - 2*b - 2*b - 44, 13 = -3*n + b. Let q be m(n). Solve g = -4*x - q for x.
-5
Let o be (-4)/8*-2 - 0. Solve y + 2 = -o for y.
-3
Suppose 36 = 4*f + 4*l, f - 10 = -f + 2*l. Let w(m) = -m + 8. Let q be w(f). Solve -q = -k - 3 for k.
-2
Suppose 5*x - 6 = 9. Let m be -5*(-7)/(70/12). Suppose 3*t + 6 = 3*d, d + x*t + m = -d. Solve -2*b - 2*b + 12 = d for b.
3
Let b = -105 - -110. Solve -1 = -b*v - 11 for v.
-2
Suppose -5*w + 60 = -5*i, -3*w + 12 = -2*i - 10. Let l = -23 - i. Let b = -6 - l. Solve 5 = 2*q + b*q for q.
1
Let m(l) = -2*l - 1. Let r be m(2). Let z = 6 - r. Let h = z - 7. Solve -h*t + 15 = t for t.
3
Suppose -43*l + 48*l = 0. Solve -4*i + 2*i = l for i.
0
Let i be 60/45*3*-5. Let t be ((-10)/i)/((-2)/(-8)). Let d(x) = -x**3 + 5*x**2 - 5*x + 6. Let f be d(4). Solve -t*b = f*b - 16 for b.
4
Suppose 2*n = -6 + 2, 4*y - 4 = -4*n. Let o(d) = 4*d - 6*d + 2 - 6. Let k be o(-3). Solve 0 = y*m + k + 1 for m.
-1
Let o be (4/(-3))/(4/(-6)). Let f be (2 - 0) + 0 + 1. Solve v + o*v = -f for v.
-1
Suppose -7*n - 8 = -8*n. Solve 2*q = -2*q + n for q.
2
Suppose 0*f = -2*f + 10. Let q(k) be the second derivative of k**3/6 + 2*k**2 - k. Let y be q(-3). Solve 2*c + f = y for c.
-2
Let c = -8 - -10. Suppose 3 = c*p - 3. Solve -a = -2*a + p for a.
3
Suppose 30 = 6*x - x + 5*b, 4*x - 24 = -2*b. Suppose 2*j + x = 5*j. Solve 7 = 3*t - j for t.
3
Suppose -3*y + 0*y = -5*z, -y = 5*z. Suppose 2*n + z = 4. Let f be n/4*(-2 + 2). Solve f = 3*a - a + 6 for a.
-3
Suppose 32 = 3*l + l. Solve -6*p + 2*p - l = 0 for p.
-2
Suppose -3*v + 15 = y, 4*v - 30 = -3*y - 0*v. Let l be ((-16)/12)/((-2)/6). Suppose -l*q + 25 = q. Solve -h = -y*h + q for h.
1
Let n(w) = 2*w**2 - 7*w + 6. Let s be n(4). Let l = s - 6. Solve -9 = r - l*r for r.
3
Let k be 3/1*(-10)/(-6). Suppose 10 = 3*s - k*s. Let q = s - -9. Solve -5*h - 3 = -q*h for h.
-3
Let q be (-4)/2 + 13 + -1. Solve -2*r + 0*r + q = 0 for r.
5
Let y(d) = -7*d**3 - d**2 - d - 2. Let v be y(2). Let z = -25 - v. Suppose -2*r - 8 = 4*k - 26, 5*k - 3*r - z = 0. Solve -b + k = 3 for b.
3
Suppose u + 18 = h - 2*u, 0 = -4*h + 5*u + 37. Suppose h*a - 4*a = -10. Suppose -4*n + a = -6. Solve -n*q - 3 = 5 for q.
-2
Let y be (-2)/8 - 51/(-12). Suppose -4*z + w + 3 = 6*w, 0 = 4*z - y*w - 12. Solve -b + z = -0*b for b.
2
Suppose 1 = -m + 7. Let j = 9 - m. Suppose j*v + 0*c - c = 18, 0 = -v - 3*c + 6. Solve v*y - 3*y = 15 for y.
5
Suppose -5*w + 70 = -2*u, -4*w + w + 5*u = -23. Let t = w + -13. Solve 4 - t = -v for v.
-1
Let u(w) = -w**3 - w + 4. Let f be u(0). Suppose 4*p - 5 + 17 = f*v, -3*p - 9 = -v. Solve v = 3*r - 8 - 4 for r.
4
Let