-f - i + 10 = r. Solve 3*k = f*k + 25 for k.
-5
Let z = -14 + 27. Let n = -4 + 11. Solve n = 4*s - z for s.
5
Suppose 4*n - 13 = 3. Suppose v + 0*v = 1. Let q be v/4 - (-67)/4. Solve n*a - q = -1 for a.
4
Suppose -5*r = -p + 27, -3*r - 17 = p - 2*p. Solve -4*s + 14 = p for s.
3
Suppose 4*s = -5*h + 27, -2*s + 12 - 3 = h. Let g be h*2/(-3)*-1. Solve -2 = -2*l + g for l.
2
Let m be (-1)/4*-4 + 3. Solve -5*s + m*s + 3 = 0 for s.
3
Suppose -2 = 2*p, -3*p + 4 = 3*t - 5. Suppose 32 = -l + 44. Solve 0 = t*r - 0*r + l for r.
-3
Let p(v) = -4*v - 7. Let l be p(-3). Solve l*s = 2*s - 6 for s.
-2
Let b(g) = 4*g - 11. Let r be b(8). Let i be 90/r + (-2)/7. Solve 2 + i = -3*m for m.
-2
Let j = 10 + -8. Let n(d) = -d**3 + d + 1. Let l be n(-1). Let a = l + j. Solve 2*o + a = 13 for o.
5
Suppose -13 = -5*p + 2*d + 18, -d - 13 = -2*p. Solve -p = 2*q - 7*q for q.
1
Let p = -8 - -13. Suppose -p*z = -z - 12. Solve 5*x + 13 - z = 0 for x.
-2
Let h(t) = -t. Let b be h(-2). Suppose -2*a + 4 = -4*a, -2*s + 18 = b*a. Suppose 0 = -2*y - 6, -4*c = 5*y + s - 4. Solve 0*g + c*g + 2 = 0 for g.
-1
Let y = -23 + 25. Solve -y*u = 3*u + 20 for u.
-4
Suppose -3*w + 65 = -5*k, -3*k - 62 + 168 = 4*w. Let h be w/(-10)*(-4)/5. Solve 5*a - h*a = 6 for a.
2
Let n = -87 - -90. Solve 0 = -n*x + x - 10 for x.
-5
Suppose 24 = 3*g - 5*y, g + 3*g + 3*y - 3 = 0. Suppose -3*z + 3 = -2*z. Suppose g*q - z = 2*q. Solve -6 + q = j for j.
-3
Let c(n) = -n. Let o(l) = -3*l + 1. Let d(y) = 10*c(y) - 4*o(y). Let p be d(4). Solve -j - p = -7 for j.
3
Suppose 0 = 3*j + 2*h - 26, 0 = 3*h - 15 + 3. Solve 4*d - j*d - 2 = 0 for d.
-1
Let u(w) = w - 4. Let d be u(6). Suppose 0 = d*y + 4, -4*b = b - 2*y - 54. Solve b = -5*k - 10 for k.
-4
Suppose 14 = 3*j - 1. Solve j*m + 15 = -0 for m.
-3
Let a = -5 + 8. Let o be 6/4*(a + 1). Let y be (4/o)/((-12)/(-126)). Solve -10 = -y*u + 2*u for u.
2
Let v(o) = -o**2 - 3*o + 1. Let g be v(-2). Solve -5*c + 17 = -g for c.
4
Let c = -2 - -22. Suppose 5*g + c = -5*y, 4*g - 13 = 4*y + 3. Solve g = o + 2 for o.
-2
Let d be 1 - 0 - (-144 - 1). Suppose -5*r + 0*m + m = -d, 70 = 3*r - 5*m. Suppose 2*b + 0*b - 3*g = r, -3*b + 2*g + 35 = 0. Solve 0*j + b = -3*j for j.
-3
Let c(o) = -o**2 + 5*o + 24. Let u be c(8). Suppose -4*z + 0 = -8. Suppose 2 = z*y - 2. Solve -3*q + y + 13 = u for q.
5
Let d(z) be the third derivative of z**5/60 + 7*z**4/24 + 2*z**3/3 - 2*z**2. Let l be d(-7). Solve 0*q - l = -q for q.
4
Suppose 0 = 4*c - 3*q - 46, 0 = -3*c + 5*c - 3*q - 26. Solve 2*y + 2 = c for y.
4
Suppose l + 2*y - 1 = 0, 1 = 5*l - 4*l + y. Let q be l/(-3) + 19/3. Suppose 0 = b + 2*r, q*b - 3*b - 5*r = 44. Solve -2 = -5*w + b for w.
2
Suppose 8 = -2*w, -3*z + 28 - 2 = -2*w. Suppose 9 + z = 5*d. Suppose 0 = s - d*s. Solve 4*u - u = s for u.
0
Suppose 2*s + 3*l = -8, 2*s - 4*l = l + 24. Solve 3*r = -s*r - 5 for r.
-1
Let c be -14*(1 + (-17)/7). Solve -c + 4 = 4*l for l.
-4
Let l = -31 + 36. Solve 0 = -l*z - 3 + 8 for z.
1
Let h be 7 + (1 - 0) + 0. Let z(d) = -2*d**2 + 7*d - 3. Let x be z(2). Solve o = -x*o - h for o.
-2
Suppose 0*m - 3*m = 0. Suppose m*k = -5*k - 3*c + 61, c - 25 = -2*k. Let p = -8 + k. Solve -3*b - p = -0*b for b.
-2
Let a be (-1)/(-2*1/26). Let j = a - 8. Suppose x + 4*l - 1 = 0, -x + 5 + 5 = -j*l. Solve 0 = -5*q + x for q.
1
Let n = 4 - 0. Let z be -3 - (-2 - (-2 + n)). Solve 0*w + w = -z for w.
-1
Let m be (-5)/15 + 0 + (-3)/(-9). Solve j + 0*j = m for j.
0
Let n(r) = -r**2 - 7*r + 4. Let v be n(-4). Solve -5*a = -1 + v for a.
-3
Suppose 18 = -5*n - 7. Let t be 3 + n/((-5)/(-3)). Solve 2*u + u = t for u.
0
Suppose 0 = u + 4*q + 20, 4*u - q = -2 + 7. Solve 12 = -4*a - u for a.
-3
Let s(t) = -t**2 - t - 1. Let o(u) = -2*u**2 - 10*u - 7. Let v(g) = o(g) - 3*s(g). Let y be v(9). Solve 1 = 5*z - y for z.
3
Let u = 3 - 0. Suppose u*n = 6*n - 12. Solve 0 = n*s - 5 - 11 for s.
4
Suppose 5*c + 5 = 0, 4*n - 2*c - 2*c - 8 = 0. Let t(m) = n + m**2 + 2 - 3. Let x be t(-2). Solve z - 3 = x*z for z.
-1
Suppose -3*o = -15, -4*h = -8*h + 4*o - 20. Solve 0 = 2*j - h*j - 8 for j.
4
Let v be (12/15)/(2/5). Solve -2 = y + v for y.
-4
Suppose 3*z = d - 16, -5*d + z + z = -80. Solve 5*k + d = -4 for k.
-4
Suppose t + 3*t = 2*i + 24, 0 = -5*t + 5*i + 40. Solve -t = x - 0 for x.
-4
Let p(x) = x**3 - 8*x**2 + 8*x + 3. Let q be p(7). Let b be 24/q - 2/5. Suppose -3*u + 1 = -y + b*u, 3*u = 4*y - 13. Solve -2*h + 6 = -y for h.
5
Let c(v) = v**3 + 4*v**2 + 4*v + 2. Let d = -3 + 1. Let b be c(d). Solve x + 3 = b for x.
-1
Let q(t) be the first derivative of -t**2/2 + t + 3. Let v be (-2)/(-6)*(1 - -2). Let a be q(v). Solve -3*d = -a*d for d.
0
Let k be (14/6)/((-24)/(-72)). Solve -3*x + k*x = 12 for x.
3
Suppose -13*s + 9*s = -12. Solve s*t - 20 = -t for t.
5
Suppose 3*q + v + v = -28, -4*q + 5*v + 1 = 0. Let l be (3 + -1)/q*-12. Solve l = -b + 3 for b.
-1
Suppose 0 = -t - g + 1, -2*t + 3*g - 5 = -2. Solve t = -4*u - u for u.
0
Suppose -16 - 16 = 4*l. Let j be ((-20)/l)/(2/4). Suppose j*s - 2 = 13. Solve -s*n = n for n.
0
Suppose -2*t + 0*t = -4. Let g(d) = 3*d - 1. Let h be g(t). Solve -h*c + 8 = -3*c for c.
4
Suppose 3*a + 6 = -3. Let b be a*-4*4/3. Solve 3*z - 1 = -b for z.
-5
Let f be (8/(-10))/((-1)/5). Solve -3*x - f = -7 for x.
1
Let q(t) = t**3 - 7*t**2 + 8*t - 9. Let h be q(6). Let u be 45/75 + 17/5. Solve u*l = h*l for l.
0
Let l = -11 + 15. Solve 2 = l*c - 2*c for c.
1
Let r(g) = g**2 - 7*g. Let b be r(7). Suppose -a + 0*a = b. Let c be 8/(-12) - (-11)/3. Solve a*p + 12 = c*p for p.
4
Let n(f) = 2*f**2 - 2*f + 4. Let q(b) = -3*b**2 + 3*b - 5. Let l(r) = -5*n(r) - 4*q(r). Let k be l(2). Solve k = -3*z - 8 for z.
-4
Suppose 5*a = 4*l + 7, 4 = -3*a - 2*l + 17. Solve -a*w = 7 + 8 for w.
-5
Let n be (-4)/(-10) - 13/(-5). Solve 0 = 3*t - n - 0 for t.
1
Suppose 10 = 2*k - 2*n - 6, 0 = -3*n + 12. Solve k - 4 = 4*q for q.
2
Let d(r) = -r**2 + 27. Let f be d(5). Solve -2*a - 12 = f*a for a.
-3
Let k be 6/(-1 + (-12)/(-8)). Let g = 18 - k. Solve -g = -3*q - 0*q for q.
2
Suppose 1 = -3*w + 7. Suppose 6 = 3*y - 6. Suppose -3*p - 4*f = 5 - y, -f = p. Solve w*j = j - p for j.
-1
Let n = 0 + 4. Suppose -n*y + 16 = -0*y. Let o = 10 - y. Solve o*t = 3*t - 12 for t.
-4
Let n(d) = -d**3 + 6*d**2 + 8*d - 6. Let g be n(7). Solve 2 = -3*z - g for z.
-1
Let o be ((-25)/(-15))/(2/18). Suppose o = 4*w - w. Solve 1 - w = -j for j.
4
Let z(r) = -r**3 - 3*r**2 + 2*r - 2. Let f be z(-4). Suppose -4 = -f*x + 5*x. Suppose 2*i - 20 = -3*i. Solve -i*h + x + 0 = 0 for h.
1
Let n(u) = -17*u - 8. Let m be n(-4). Suppose 4*p - p = -t + 42, 0 = 5*p + 5*t - m. Solve 3 = 3*h + p for h.
-4
Let m(v) = v**3 - 4*v**2 + v - 22. Let n be m(5). Solve 0 = -2*a + n - 2 for a.
3
Let k(t) = -t - 4. Let i = -3 + 3. Let f be k(i). Let b be 2/4 + (-14)/f. Solve w - b = -w for w.
2
Suppose 11 = 5*k + 4*x, -1 + 2 = -x. Solve -2*c - k*c = 10 for c.
-2
Suppose 3*h + h = 4*s - 8, 5*s = 4*h + 8. Let q = s - 0. Solve q = u - 5*u - 8 for u.
-2
Let s be (-5)/(-15) + (-8)/(-3). Suppose s*q = -2*x - 3, -x = -0*x - 2*q - 9. Let m = 3 - x. Solve -l + 0 - 5 = m for l.
-5
Let k = -23 - -26. Solve -1 = -t - k for t.
-2
Let w = -3 + 9. Let b be -3 + (-3 + w)*1. Solve b*t = -5*t + 20 for t.
4
Suppose -10 = -5*h + 3*h. Suppose w = 4 + h. Let j be (-1)/6*-4*w. Solve -j*u + 3*u = 9 for u.
-3
Suppose l + 36 = 4*r, -2*r + 6*r = -l + 36. Solve -4*a = -1 + r for a.
-2
Suppose 0 = -4*c + c + 3. Let g be c*(1 - 0) - -2. Suppose -3*n + 15 = -o, -15 = -3*o + 2*o - g*n. Solve -2*a - 3 + 1 = o for a.
-1
Suppose -5 = -5*h, 5*m - 5 - 24 = -4*h. Solve -m*l = -4*l + 2 for l.
-2
Let h = -19 + 5. Let y = h + 15. Solve y + 1 = -j for j.
-2
Let w = -5 - -9. Let s(c) = c**3 + 6*c**2 + 4*c - 5. Suppose -17 + 1 = 4*j. Let r be s(j). Solve 5 = w*q - r for q.
4
Suppose 2*u - 8 = 6*u. Let h = 1 - u. Solve -2*i + h = 13 for i.
-5
Suppose 5*d - 21 = -2*h, -5*h - d + 12 = -6. Let z be ((-9)/6)/(h/(-4)). Solve z*b - b = -5 for b.
-5
Let z = -2 - -12. Solve y - z = 6*y for y.
-2
Let j be 16/(-12)*(-54)/12. Solve 0*y = 2*y - j for y.
3
Let t = -51 + 56. Let u(m) = m**3 - m**2 + m - 2. Let v be u(2). Solve -v*s - 1 + t = 0 for s.
1
Let v(r) = r**3 + 3*r**2 - r - 1. Let i be v(-3). Solve 2*k + i*k = 0 for k.
0
Let h = 1 - 1. Let x be h + 0/(-3) + 0. Let z be x/(-1) - (-2 - 0). Solve 0 = -