 -4*u - 18 + 98 = s. Solve -7*c + u = -3*c for c.
5
Suppose -4 - 11 = -3*l. Let z be (-2)/4 - 28/(-8). Suppose 6*i = l*i + z. Solve i*m = -2*m for m.
0
Suppose 0 = -15*b + 32 + 43. Solve b*r - 23 = -3 for r.
4
Let v be ((-2)/1)/(8/(-12)). Suppose 24 = 4*k - 20. Solve -k = -v*z + 1 for z.
4
Let f = -59 - -83. Suppose -1 = -5*d + f. Solve d*m = 3*m for m.
0
Suppose 0 = 3*j + 15, -4*o + 5*j - 48 = j. Let v(y) = y + 20. Let l be v(o). Let s(m) = -m**2 + 4*m - 2. Let z be s(2). Solve l*n = -z*n + 20 for n.
4
Suppose 9*o + 15 = 33. Solve o*b = -0*b - 2 for b.
-1
Suppose -41 = 5*r - 121. Solve 3*k = r - 4 for k.
4
Suppose 7*u - 3*u = a + 5, -3*a + 4*u + 1 = 0. Solve -4*y = -y + a for y.
-1
Suppose -4*r = -5*l + 2, r - l - 6 = -3*r. Solve -4*t = -r*t + 6 for t.
-3
Let l be (2/1 + -1)*2. Suppose -1 = 3*m + 3*w + 2, -2*w + l = 3*m. Suppose 5*b = -5*d + 45, -b + 5*d + m = d. Solve 2*p - 2 = b for p.
5
Let u = 4 - -2. Suppose 2*r - u*r + 24 = 3*h, -3*h = 2*r - 30. Let x be -5 + 2 - h/(-2). Solve 1 = -x*o - 8 for o.
-3
Suppose 5*w + 3*l - 19 = w, 0 = -3*w + l + 11. Let t(c) = 3*c - 5. Let h be t(4). Solve w - h = r for r.
-3
Let k(z) = -z**2 - 6*z. Let u be k(-5). Solve 10*f - u*f = -20 for f.
-4
Let k(r) = r + 2. Let z be k(-6). Let h(d) = -d**2 - 6*d - 5. Let w be h(z). Suppose 0 = -5*x - 4*a - 5, 5*x - 5 = -w*a + a. Solve 3*l + x = -0*l for l.
-1
Let q(h) = h**3 + 5*h**2 - 5*h + 7. Let l be q(-6). Let b be (-2)/2 - (4 + -10). Suppose 19 = 3*c + b*f, f = -5*c - 4*f + 25. Solve p = c + l for p.
4
Let u = -46 + 25. Let p be ((-56)/u)/(2/3). Solve 0 = -2*r + 4 + p for r.
4
Let r be ((-30)/9)/((-3)/9). Suppose 0 = -15*g + r*g. Let t = 3 + g. Solve 12 = -u - t*u for u.
-3
Let h(o) = -2*o**2 + o. Let g be h(-1). Let k be 12/9*g/(-2). Solve k = v - 1 for v.
3
Let s(g) = g - 3. Let p be s(3). Let q be (15/(-6) + 3)*p. Solve -16 = -q*m - 4*m for m.
4
Let g = 20 + -17. Solve 0 = -i + g - 0 for i.
3
Let h = -50 - -102. Suppose -23 = -f + 4*l, -2*l + h = 4*f + 2*l. Suppose -5*a = -t - f, 7*t - 3 = 4*t - a. Solve t*v + v = 2 for v.
2
Let s(l) = -l - 1. Let u be s(-8). Let g(a) = a**2 - 6*a + 2. Let k be g(u). Solve 0 = 4*h + k + 7 for h.
-4
Let r be (-1 + 6)*(-5 - -7 - 1). Solve 0*s - r*s = 25 for s.
-5
Suppose t = -5*i + 16, -4*i + 4*t + 2 = -30. Let c = 5 - 10. Let g(s) = -4*s - 8. Let f be g(c). Solve -4 = i*k - f for k.
2
Suppose 27 = m - 20. Let k = m - 20. Solve -7 = -4*r - k for r.
-5
Suppose l + 4 = -h, -2*l - 4 + 5 = 5*h. Let o(m) = m**3 + 6*m**2 - 8*m - 5. Let w be o(l). Solve c = -w*c - 3 for c.
-1
Suppose 3*k + 2*j + 26 = -15, -5*j = 5. Let v(f) = f + 18. Let c be v(k). Solve 4*p = c*p - 3 for p.
3
Suppose w - 2*w = k - 2, 0 = -2*k - w + 2. Solve -2*p = -k*p for p.
0
Let u(q) = 2*q**2 - 6*q + 1. Let f be u(4). Solve 0 = 4*o - o - f for o.
3
Let q(g) = g**2 - 9*g + 11. Let t(a) = a**3 + 10*a**2 - 2*a - 12. Let k be t(-10). Let m be q(k). Solve m*u = 15 - 0 for u.
5
Let n be (56/(-35))/((-2)/(-10)). Let a be 34/8 + 2/n. Let r be (2/a)/((-3)/(-12)). Solve 0 = t + r*t for t.
0
Suppose -g + 0 + 3 = 0. Solve -g - 2 = 5*q for q.
-1
Suppose -17 = 2*o - 5*h, 5*o - 10 = -2*h + 4*h. Solve 0 = o*j - j - 6 for j.
2
Let c(w) = -w**2 - 13*w + 16. Let y be c(-14). Let m(s) = -s**2 + 7*s - 6. Let f be m(6). Solve f*g = -g + y for g.
2
Let q = 9 - 4. Suppose 0 = -i + q*i - 16. Suppose 3*o - i*w = o, 0 = 5*o + 5*w. Solve -2*u + o*u + 8 = 0 for u.
4
Let h(m) = 2*m + 18. Let y be h(-8). Let q be (-1)/(-1) - 36/(-4). Solve -q = -7*t + y*t for t.
2
Let d = 0 - -6. Solve -2 = -4*l - d for l.
-1
Suppose -5 = 5*u - 25. Solve 14 = u*l + 2 for l.
3
Suppose b + 3 = q + 2, 1 = -b. Solve 5*f + q*f = -20 for f.
-4
Let s = -4 + 7. Suppose 0 + 9 = s*o. Suppose -7*y + 8 = -3*y. Solve y*v - o*v = 0 for v.
0
Let i(n) = n + 21. Let h be i(-16). Solve -3*z = -2*z - h for z.
5
Let m(j) = -2*j**3 + 2*j**2 - 1. Let o be m(-1). Let s be (-39)/(-33) - 4/22. Suppose 4*x - t - 36 = 0, t = 2*t - 4. Solve s = o*z + x for z.
-3
Suppose 0 = -2*x + 4 + 6. Let n be (-7 - (-3 + 0)) + 4. Solve 2*b + 1 + x = n for b.
-3
Let m(y) = -y**3 + 8*y**2 - y + 8. Let h be m(8). Suppose h*t = -2*t - s + 9, 4*s + 24 = 4*t. Solve -t*q + 6 = 1 for q.
1
Suppose x + 4*z + 16 = 0, x + 3*x = 5*z + 41. Let a(l) = -2*l**2 - 23*l - 25. Let j be a(-10). Solve t = j*t - x for t.
1
Let s = 1 + 11. Solve -i - 2*i = -s for i.
4
Let x be (-4)/5 + 238/85. Solve 1 = -f - x for f.
-3
Suppose 0 = 15*b - 65 - 10. Solve 0 - 10 = -b*d for d.
2
Let g = -7 - -13. Let f be -2 - (3 + -2 - g). Solve 0 = q + f*q for q.
0
Let a be ((-4)/(-2))/(9 - 8). Let y(f) = -2*f + 8. Let z be y(-6). Let w be (-38)/(-6) - 1/3. Solve -z = -w*l + a*l for l.
5
Suppose -13*f + 30 = -3*f. Solve 3*d - 18 = -f for d.
5
Let c = -5 - -10. Let y = c + -2. Suppose 0 = y*w - 0*w. Solve -15 = 3*j - w*j for j.
-5
Suppose -2*r + 15 = r - 5*f, -6 = -r + 2*f. Suppose -z + 6*z - 25 = r. Solve 5 = 5*u - z for u.
2
Suppose 0 = 19*v - 20*v + 10. Solve 0 = -2*q - v for q.
-5
Let g = -7 - -12. Suppose -3*k + 21 = -2*q, 2*k + q = g*q + 22. Solve -f - k = -3 for f.
-2
Let g be 1 + 0 - (2 - 1). Suppose 2*v - v + 10 = g. Let u be 100/(-6)*12/v. Solve -u = 4*i - 0*i for i.
-5
Let t(m) be the third derivative of -m**6/120 - m**5/20 + m**4/6 + m**3/2 - m**2. Let g be t(-4). Solve -2*s + 5 = -g for s.
4
Suppose 3*f = 2*f. Solve f = -0*g - 4*g for g.
0
Let z(l) be the third derivative of 0 + 0*l + 1/30*l**5 - 1/8*l**4 + 0*l**3 - 2*l**2. Let f be z(2). Solve -2*u = f + 8 for u.
-5
Let d(v) = -v**2 + 4*v. Let c be d(4). Suppose c = 4*i + 4 - 12. Solve -5 = i*y + 3 for y.
-4
Let h(l) = l. Let i be h(-2). Let d be i + (2/(-2) - -3). Suppose 0 - 8 = -4*t. Solve -z + d = t for z.
-2
Let m(o) = -o**3 - 7*o**2 - 13*o - 2. Let q be m(-4). Solve -3*l = -l - q for l.
1
Let n be 18/22 + (-5)/((-220)/8). Solve -2*s = -5 - n for s.
3
Suppose 1 + 8 = t. Solve -t*u = -8*u - 3 for u.
3
Suppose 4*m = 5*k - 5, -m - 6*k + k = -30. Let x(a) = a**3 - 2*a**2 - 3*a + 2. Let p be x(3). Solve -1 = p*z + m for z.
-3
Let o(u) = -2*u + 2. Suppose -1 = -s - 3. Let k be o(s). Solve 0*v = 2*v - k for v.
3
Let z(g) = -5*g**2 + 9*g + 3. Let c(q) = -q**2 + q. Let l(b) = 4*c(b) - z(b). Let v be l(4). Let m = 12 + v. Solve 11 = m*f - 14 for f.
5
Let h(z) = 2*z - 7. Let n be h(5). Suppose -p + 17 = 3*k, 0*p + 21 = 3*p + 3*k. Let o = -13 - -18. Solve -p*m = n*m - o for m.
1
Let w be (12/(-18))/((-4)/18). Suppose 5*x = 3*b + 16, -13 = -b - 5*x + w*x. Solve 4 = b*q - 8 for q.
4
Suppose -9*x = -11*x + 4. Solve -4 = 2*y - x for y.
-1
Suppose 0 = -v + 5, -2*v = -3*d - 5*v + 21. Solve d*z = -0*z for z.
0
Let b be 9/(-11) + (-4)/22. Let z be b*(-1 - -2)*0. Solve -3 = -d - z*d for d.
3
Suppose 2*n - 7*n - s = -28, -5*s + 15 = 0. Let c(y) = -3*y**2 + 2*y - 1. Let m be c(1). Let b be n + m + -1 + 0. Solve 2*z - b - 2 = 0 for z.
2
Let b = 100 + -97. Solve 19 = b*f + 4 for f.
5
Let r(l) = -l + 6. Suppose -3*f = 2*f - 15. Let o be r(f). Solve 0 = -4*d + o*d - 4 for d.
-4
Let p be 4 + (1 - -2) + -1. Solve o = -o + p for o.
3
Suppose 4*g = 4*j - 8, 4*j - 4*g - 6 = 2*j. Solve 1 + j = 2*i for i.
1
Suppose -8 = -2*h - 2*h. Let y be (1 - 1)/(-4 - 0). Solve -h*b + 4 = -y for b.
2
Let s be 3/2*(-8)/(-3). Suppose -5*u = -0*u - 0*u. Solve u = a + 1 - s for a.
3
Let j(v) = -v**3 + 7*v**2 - 7*v + 8. Let b be j(6). Solve d = -b*d + 3 for d.
1
Let w = -36 - -56. Suppose -6*h + h = t - 8, 5*h + 5*t = w. Solve 7 + h = -2*g for g.
-4
Let l(a) = -a**3 - 6*a**2 - a - 6. Let n be l(-6). Suppose -3*j + 32 = o, n = j - o - 5 - 3. Solve j = -0*m + 5*m for m.
2
Suppose 10 = 3*s + 4*d - 6, 2*s + 5*d - 13 = 0. Suppose s*q = -q. Suppose 5*i + 5*k = 20, -6*k + k - 5 = q. Solve 2*n - i*n = 3 for n.
-1
Let f = 2 + 0. Suppose 4*x = -x. Solve f*o - o = x for o.
0
Let c = -3 - -6. Let n = c + -14. Let y = -1 - n. Solve 0 = -x - x + y for x.
5
Let q = 134 - 131. Solve 2*c - q*c = 4 for c.
-4
Let q(i) = i**3 + 4*i**2 + 1. Let m be q(-4). Solve 0 = -x + 2 + m for x.
3
Let l = 306 - -93. Let p be l/15 + (-2)/(-5). Suppose -3*y = -3*d + p, 4*d = 3*y - 5*y + 12. Solve -d = -b - 1 for b.
4
Let d(v) = v**2 - 3*v - 8. Let p be d(-3). Solve -4*b - p = b for b.
-2
Let s be 2/(-6) - 10/(-3). Suppose 0 = 8*f - 7*f + 4*j - 10, -3*j = f - 8. Solve 0 = -f*d + s - 1 for d.
1
Let g be -1*