r - v - 5 = 0. Solve 0*f = r*f for f.
0
Suppose -2*x - 7 - 6 = -m, 0 = -4*m - 3*x - 3. Suppose -b - b = -2*w + 12, 3*w = -2*b + m. Let d be (-6)/(-24) - (-2)/(-8). Solve -w*n = -d*n - 6 for n.
2
Let r(n) = -n**2 + 5*n + 3. Let u be 3 + 0 + 10/5. Let w be r(u). Solve 6 = -0*a + w*a for a.
2
Suppose 0 = -k - 1 + 5. Let l(i) = -i**2 - 11*i - 13. Let y be l(-9). Suppose 0 = y*b + 5*u + 5, -b + 0*u + k = -4*u. Solve -a + b - 5 = 0 for a.
-5
Let u be (-2)/(-7) - 4/14. Suppose 7*w = 2*w + 75. Let k be (-1 + 7/5)*w. Solve u = z - 4*z + k for z.
2
Suppose 5*j = 6*j. Suppose -c - 1 + 7 = j. Solve -2*g = -4 - c for g.
5
Suppose -2*o - 2 = 2*h, -2*h - 2*o = -4*o - 14. Solve -h + 7 = m for m.
4
Let j = -5 - -13. Solve -j = -g - g for g.
4
Let c(v) = -2*v + 9. Let n(p) = -p + 5. Let h(r) = -3*c(r) + 7*n(r). Let t = 22 + -15. Let g be h(t). Solve -l + 3 + g = 0 for l.
4
Let d = -27 + 30. Solve -d*z + 6 = -5*z for z.
-3
Let t(r) = -r**2 - 9*r - 6. Let l be (-1)/3 + (-184)/24. Let v be t(l). Suppose y - 5*c - 13 = 0, 0*c = -c - v. Solve -p = -4*p + y for p.
1
Let s be 10/45 - 32/(-18). Solve 1 = -l - s for l.
-3
Let f = 38 - 34. Solve -f*m + 5 = 1 for m.
1
Let g be -1*1*(0 - 2). Suppose 0 = 3*z + 3*l + 9, 3*z - 4*z + 3*l = -13. Solve -z = h - g for h.
1
Suppose -14 - 1 = -5*j. Solve 0 = -r + 2 + j for r.
5
Let u(g) = g**2 - 11*g - 24. Let v be u(13). Solve -2 = -v*p + 2 for p.
2
Let d(f) = f**2 - 6*f - 6. Let h be -2 - -3*(0 + 3). Let c be d(h). Solve 0 = -w - 2 + c for w.
-1
Suppose 0 = -5*s + 70 - 70. Solve o - 8 + 3 = s for o.
5
Let k = 4 + 0. Suppose l + 4 = 4*j - l, -j - 2*l - k = 0. Suppose j = -t + 4 + 3. Solve -t*f + 3*f = 8 for f.
-2
Suppose 41 - 8 = -3*d. Let h = d - -8. Let z be (-33)/(-6) - h/(-6). Solve 5*x - 5 = z for x.
2
Let c = 0 - -3. Suppose 0 = 3*g + z - 7, 3*g + 0*z = -c*z - 3. Suppose -14 = -a - 3*l, -6*l + l - 22 = -g*a. Solve -3*t = -4 - a for t.
4
Let o = -10 + 10. Solve o = -2*k - k + 6 for k.
2
Let l be 1/(4 + -1)*9. Let a be l - 3 - -3*2. Let m be (0 - -2)/(4/a). Solve -m*c - c - 4 = 0 for c.
-1
Let w(f) = 7*f**2 - 1. Let q be w(-1). Solve -6 = -3*m + q for m.
4
Suppose 4*i - b = -20, 3*i + 4*b = b. Let o be -1*i*1 + 1. Suppose -o*p = -d - 20, -6*d + 2*d = 3*p - 35. Solve -2*z - 3*z = p for z.
-1
Suppose -3 - 2 = -i. Suppose i*h - 18 = 12. Let o = 46 + -30. Solve -h*n = -2*n + o for n.
-4
Suppose 0 = 6*s + 6 - 12. Solve 0 = -m - 4 - s for m.
-5
Let i(b) = -2*b + 22. Let t be i(11). Solve t = -2*u - 0*u - 8 for u.
-4
Let v(r) = -3 + 2 + 0 - 11*r + 5*r. Let z be v(-1). Solve z*y = y + 8 for y.
2
Suppose 2*y + 19 = 5*b, -3*y + 3*b = y + 3. Suppose -2*j = -y*j + 3. Solve 3*z - 12 - j = 0 for z.
5
Suppose 3*k - 38 = -4*f + 20, 0 = 2*k - 5*f - 77. Solve k = -5*r + 6 for r.
-4
Let w be -6*2/3 + 9. Let v be (-4)/(-6) + (-34)/6. Let n = w + v. Solve -2*f - f = n for f.
0
Suppose -v - 5*f + 15 = 0, -2*v = -5*f - 32 + 2. Solve -v*b + 2 = -14*b for b.
2
Let o(m) = m**3 - 18*m**2 + 4. Let v be o(18). Solve -4*g = -0*g - v for g.
1
Let c = 8 - -9. Let q be ((-10)/3)/((-4)/6). Suppose -q*v - 2 = -c. Solve -2*f - 5 = -v for f.
-1
Let v = 13 - 12. Solve 0 = -5*t + 4 + v for t.
1
Suppose 0 = -3*p - 44 + 14. Let w(q) = -q - 7. Let t be w(p). Suppose 5*r - 21 = -6. Solve -t*g + r = -0 for g.
1
Let b be (-44)/(-3) - 3/(-9). Solve -2*w + b = w for w.
5
Let f(p) = p**3 - 5*p**2 + 5*p - 2. Let s be 0 + (-1)/1 + 5. Let x be f(s). Solve -2*u - x = -0 for u.
-1
Let c = -5 + 8. Let s = 60 - 44. Solve -s = l + c*l for l.
-4
Let q = -3 + 9. Solve -2*b + q + 4 = 0 for b.
5
Let d(b) = b**3 + 4*b**2 - 6*b + 1. Let i be d(-5). Suppose 3*n = -4*p + p + 9, -5*n + 15 = -2*p. Solve 0 = n*l - l + i for l.
-3
Suppose 5*m - 7 = -3*p + 34, -m = -p + 11. Let l = 13 - p. Solve -5 - l = -2*t for t.
3
Suppose -3*s = -8*s + 20. Let y be s/(-3)*(-3)/2. Let n be y/6 + 11/3. Solve 0*c + n*c = 8 for c.
2
Let c(u) = u**3 - 9*u**2 - 10*u + 5. Let f be c(10). Solve -5 = f*s - 0*s for s.
-1
Suppose 2*u = -2*i + 10, 5*i + 2 + 3 = u. Let o(j) = j. Let x be o(0). Suppose x*n + 3*a = -3*n, -3*n + 4*a = -35. Solve -n*p - u = -4*p for p.
-5
Suppose -10 + 0 = v + 5*a, 4*a = -4. Let p be -3 - ((-2)/(-1) + v). Solve p = 2*m + 2*m + 4 for m.
-1
Let x(q) = -q**3 - 11*q**2 - 10*q + 1. Let a be x(-10). Let r = 0 + a. Suppose -4*l - 5*j = -13, -2 = -j - r. Solve 2*h + l = h for h.
-2
Let s(d) = d**3 - 4*d**2 + 2*d + 1. Let y be s(2). Let x = y - -13. Let t = 18 - x. Solve -g = g - t for g.
4
Let i = 4 + 2. Let z be (-12)/(-9) - i/(-9). Suppose 0 = r - 0*r - z. Solve p + r*p - 6 = 0 for p.
2
Let y be 8/20 + 56/10. Let w(n) = 6*n - 12. Let l be w(11). Suppose -3*k + 17 + l = 4*c, -5*c = 4*k - 88. Solve i + c = y*i for i.
4
Suppose 4*a - 5 = -5*u, 7*u - 4*u - 3 = 4*a. Solve a = 6*g - g for g.
0
Let q be 3/(-3)*-2 + 4. Let y = -2 + q. Suppose 0*p = y*p. Solve -2*u + 1 + 9 = p for u.
5
Let w(z) = -z**3 + 10*z**2 - 16*z + 3. Let n be w(8). Solve 0 = -2*j + 7 - n for j.
2
Let b(z) = 4*z + 72. Let d be b(-17). Solve -8*j + d*j = 16 for j.
-4
Let j = -22 - -11. Let f = j + 16. Suppose 7 = 3*z + f*o, 0*z + z + 5*o = -1. Solve -p + 20 = z*p for p.
4
Let j(b) = -b**3 - 13*b**2 + b + 25. Let x be j(-13). Solve -x = 5*f - 2 for f.
-2
Let u be (-96)/8*(-2)/4. Solve 3*h - u - 9 = 0 for h.
5
Let b be 7 + (-5)/(-15)*-3. Solve -3 = v - b for v.
3
Let u(b) = 15*b**3 - b**2 + 2*b - 1. Let q be u(1). Solve 3*m + 2*m - q = 0 for m.
3
Let c(p) = -p**2 + 3*p + 7. Let k be c(5). Let o be (k/3)/(2/(-6)). Solve 10 - 1 = -o*y for y.
-3
Suppose 7*m - 2*m - 50 = -3*x, -3*m + 30 = -4*x. Solve -m*a = -4*a for a.
0
Suppose 3 = 6*f - 39. Solve f = m + 2 for m.
5
Let l be (6/(2 - 0))/1. Let i be (3 + -3)*l/(-6). Solve i = 4*u - 9 - 11 for u.
5
Suppose 0 = -t + c + 4, -3*t = -6*t + 5*c + 20. Solve t*i = -5*i for i.
0
Let u(l) = -2 + 2*l + 0*l + 7*l. Let s be u(2). Solve 0*w + s = -4*w for w.
-4
Let a = -7 + 10. Let d(k) = 3*k - 4. Let o be d(a). Suppose 11 = -s + o*h, -3*h - 6 = -5*h. Solve -s*w + 1 = 13 for w.
-3
Let d = 6 - 4. Let v be -2*(1 + d)/(-3). Solve -v*l - 6 = l for l.
-2
Let x(s) = -s**3 + 3*s**2 + 2*s - 2. Let f be x(2). Let t be (-2)/4 - (-3)/f. Solve t = -2*y + 6 + 4 for y.
5
Let r be (2/(-6))/((-1)/(-3)). Let m be 10/5 - (-2 + r). Solve w = 2*w - m for w.
5
Let f(c) = c**2 - c + 2. Let y = 1 - -1. Let t be f(y). Solve 2 = -2*d + t*d for d.
1
Let c(g) = g**2 - 5*g - 4. Let s be c(8). Let m = s + -5. Solve 2*h - 5*h = m for h.
-5
Suppose -16 = 4*n - 2*m - 2*m, -m = -2*n - 4. Solve h + 0 - 1 = n for h.
1
Let h = -13 - -30. Suppose -2*f = 3*k - 4*f - h, 5*k - 3 = -3*f. Solve k*x - x = 0 for x.
0
Let o(s) = s**2 + 8*s + 2. Let d be (1 - -1)*(-1)/(-2). Let l be (-23)/3 - d/3. Let f be o(l). Solve -f*p + 0 = 6 for p.
-3
Let x be 7 + (-4)/(-8)*-2. Suppose v = x*v - 10. Solve v*i + 5 = -3 for i.
-4
Suppose 5*u - 3 = 4*j + 9, 5*u - 14 = 3*j. Let o(t) = 4*t**2 - t + 1. Let a be o(j). Suppose k = 6*k. Solve k = -2*p + 5*p + a for p.
-5
Let i be 230/15*3/2. Suppose -2*l - 5*v = -i, -3*l + 9 = -0*l - v. Let n be (l/6)/(2/3). Solve t = -2 + n for t.
-1
Let z be 1/(-1) + (-1 - 3). Let v = -10 + z. Let d be 5/v - (-14)/6. Solve l = d*l for l.
0
Let r(p) = -4*p + 8. Let x be r(-3). Solve -5*o = -0*o + x for o.
-4
Let k(d) = -5*d. Let a be k(-1). Let g(r) = 2*r + 3. Let t be g(-2). Let j be -1*(t - (a + -2)). Solve 3*o = -o - j for o.
-1
Let p be (-12)/(-9) - 15/(-9). Solve 20 = -p*o - o for o.
-5
Let q be 60/27 + (-4)/18. Suppose -4*h - q*y = -26, 2*y + 15 = 3*h + 6. Solve -8 = h*d - d for d.
-2
Let a be (1 - (3 - 2))*-1. Suppose a*j + 2*j = 12. Solve 3*z = j*z - 6 for z.
2
Let q = 5 + 2. Let d be (-1)/(-2*(-2)/36). Let a = 14 + d. Solve -a*i - q = -2 for i.
-1
Let c be (-8)/7*14/(-4). Suppose -2*t = c*g - 18, 2*t = -g - t + 17. Let q(x) = -x + 1. Let n be q(-4). Solve 13 = -n*k - g for k.
-3
Let i(g) = g**2 - 6*g + 16. Let f be i(4). Solve 4*o = -0 - f for o.
-2
Let n(s) = s**2 + 9*s - 4. Let v be n(-7). Let t = v + 23. Solve 0 = t*q + 10 + 10 for q.
-4
Suppose 3*m + 2 = 4*m. Let s(c) = -c**3 - 2*c**2 + c + 2. Let x be s(-3). Suppose -x*h + 3*h + 15 = 0. Solve -b - m*b = -h for b.
1
Let q be -1 + (6 - (-1 - -4)). Let i be (q - (-5 - 0)) + -3. Solve 3*y + i = 4*y for y.
4
Let u be 11/(-5) + (-1)/(-5). Let h be (25 + u)*1 + 1. Let x =