 -y*i + m = -9 for i.
3
Suppose -121 = 3*i + 4*b, -3*i + i + 4*b - 54 = 0. Let s be (-130)/i - (-4)/14. Solve -d = -3*d + s for d.
2
Suppose -h = 2*h + 6. Let f be (-9)/6*(h - 0). Let r be 1*18/3 - 3. Solve -r*v + 0*v = -f for v.
1
Let g = -31 - -43. Suppose p - 5*p = -g. Solve 11 = p*z - 1 for z.
4
Suppose 0 = -0*a + a - 7. Solve 0 = -2*v - 3 + a for v.
2
Suppose 34 = 3*c + 2*s, -6*s - 5 = -s. Suppose -c = 4*j, 5*z - 3*j = -3 + 17. Solve -5*i + 26 = z for i.
5
Let t = -35 - -60. Suppose 6*v - t = v. Solve d = 2 - v for d.
-3
Suppose 5*x + 2*l - 3*l - 75 = 0, 3*x - 5*l - 23 = 0. Suppose 0 = 4*v - 8*v - x. Let a be (-11)/(-4) + (-1)/v. Solve 0 = a*z - 2*z for z.
0
Let r = -69 - -79. Solve -3*d + r - 1 = 0 for d.
3
Let n be 0*((-6)/(-4) - 1). Suppose n = -2*p + 6*p - 4. Solve 4*k - 9 + p = 0 for k.
2
Let m(g) = -g**2 + 1. Let o be m(4). Let b be (-1)/(3/o*1). Let k = 3 - 1. Solve b = 3*h + k*h for h.
1
Let t(c) = -c + 4 - 2*c - 11. Let n be t(-4). Solve -7*w + 2*w + n = 0 for w.
1
Let b = 1 + 0. Let g = 1 - b. Suppose -t + 7 = 2*c, g = -2*t - t - 9. Solve 2*v - c*v = 0 for v.
0
Let r be ((-24)/42)/((-4)/14). Suppose 0 = -4*x - 0*x - y + 15, -2*x = -3*y + 3. Solve -o + x = r*o for o.
1
Suppose -5*k = -3*k - 10. Let n = k + -2. Let i be (-26)/(-6) + (-2)/6. Solve -j + i = n*j for j.
1
Suppose 3*b - 6*b + 39 = 0. Let q = b - 9. Solve -3*k + 11 = -q for k.
5
Let i(t) = t**2 + t - 9. Let z be i(-5). Solve 9 + z = -4*x for x.
-5
Suppose -2*v + 6 = 5*m - 6, 0 = 3*v - 3*m - 39. Solve 4*q = 5 + v for q.
4
Suppose -22 = 4*r + 14. Let j = -15 - r. Let v = 8 + j. Solve 0 = b + b + v for b.
-1
Let j be (-2)/(3 + (-19)/7). Let d(q) = -q**2 - 9*q - 4. Let c be d(j). Solve 0*p = 2*p - c for p.
5
Let y(w) be the second derivative of w**3/3 - w**2/2 + 4*w. Let i be y(2). Solve -i = 5*v - 23 for v.
4
Suppose 5*l - 12 - 16 = -p, -20 = -3*l + p. Let z = -2 + 7. Suppose 0 = -z*d - 0*m + 3*m + 57, 3*d - 41 = -5*m. Solve -l*r - d = -2*r for r.
-3
Let x = 63 - 58. Solve -x*f = -f for f.
0
Let s(l) = -2*l + 2. Let n be s(-2). Let c = 9 - n. Suppose 0 = -r + 6*r - 10. Solve 1 = c*x - r for x.
1
Let f(z) = 3*z**3 + z. Let n be f(1). Suppose 4*q = 5*y + 3, -q - 4*y - y + 7 = 0. Solve -12 = -q*p - n for p.
4
Let g = 43 + -41. Solve -g = -2*o + 4 for o.
3
Suppose -x - 8 = -5*x. Solve x*u - 5*u = -12 for u.
4
Let d be ((4 - 4)*2/(-2))/(-1). Solve d = 2*b + b + 3 for b.
-1
Suppose -h - 17 + 5 = 2*p, -21 = 5*h - 3*p. Let v be (16/(-10))/(h/75). Solve 4*x + 8 = v for x.
3
Let v be (-10)/((-68)/(-20) + -3). Let p = v - -35. Solve -4*x + p = -2*x for x.
5
Suppose 0 = 3*y - 6*y - 57. Let k = 24 + y. Solve 0 = -k*p - 3 - 7 for p.
-2
Let k(i) = 2*i**2 + 3*i - 3*i**3 - 1 - 2 + 2*i**3. Let s be k(2). Solve s*u = 1 - 4 for u.
-1
Let t be 3 - ((-2)/(-1) - 2). Suppose 5*q = t*q + 12. Solve 2*x = q*x - 16 for x.
4
Let g = -281 - -301. Suppose -4*u + 8 + 0 = 0. Solve -u*t = -7*t + g for t.
4
Let q = 37 - 32. Solve 2*c = q + 3 for c.
4
Let x = 14 + -12. Solve 2*o - x - 2 = 0 for o.
2
Let h be 2 - (1 - (2 - 1)). Suppose 2*v + h*l = 0, -v - 3*l - 21 = -5*v. Solve 0 = v*k + 4 + 11 for k.
-5
Suppose 4*y - 15 = -y. Solve -3*h - y = -0 for h.
-1
Let d be 29/(-2) + (-4)/8. Let g be 20/(-6)*36/d. Suppose 0 = -3*b + g*b - 10. Solve -5 = 3*y - b*y for y.
-5
Suppose x - 3*x + 30 = 0. Let l(q) = -q**3 - 6*q**2 - 3*q - 12. Let g be l(-6). Suppose -g*z = -11*z. Solve -6*d + d + x = z for d.
3
Let i be (-1)/(1*2/(-10)) - 3. Solve -i*a + 12 = a for a.
4
Suppose 5*x + 0*k - 22 = k, 0 = -2*x + 3*k + 14. Let f = x - 1. Solve f = v - 2 for v.
5
Suppose 5*a - 6 = 2*a. Solve -a*j = 3*j for j.
0
Let z(d) = 2*d + 25. Let a be z(-10). Solve 14 + 11 = a*h for h.
5
Suppose 0 = 3*j + 2*j - 15. Let v be (-7)/2*60/(-21). Suppose 4*h + 2*n = 6, v = 4*h + 3*n - 5*n. Solve -j*r = h*r for r.
0
Let h = 277 + -274. Let q = 1 - -3. Solve -o + q = -h*o for o.
-2
Let r(v) = -v**3 + 3*v**2 + 6*v - 5. Let s be r(4). Let t be (-1)/(s - 10/3). Solve -c - t*c = 16 for c.
-4
Let v(b) = b**3 + 10*b**2 - 2*b - 14. Let j be v(-10). Let i be (-23)/(-3) + (-3)/(-9). Let n = i - j. Solve 2*r + 12 = n for r.
-5
Let i = -123 + 125. Solve -i + 1 = -j for j.
1
Suppose 5*d + i + 41 - 10 = 0, -2*i = 4*d + 26. Let j be (5 - d/(-2))*2. Solve -9 = j*h - h for h.
-3
Let d(p) be the third derivative of -p**4/24 + 4*p**2. Let a be d(0). Let x = 1 + 4. Solve a*w + 10 = -x*w for w.
-2
Let x(d) = 5*d**2 + 7*d**2 - 11*d**2 + 1. Let w be x(-1). Suppose 0*m + 8 = w*m. Solve -4*k + m = 20 for k.
-4
Let m(g) = 2*g**2 - 30*g + 22. Let y(c) = c**2 - 15*c + 11. Let d(j) = 3*m(j) - 7*y(j). Let r be d(14). Solve r*o + 4 = 13 for o.
3
Suppose 5*h = 2*f + 3*f + 25, -4*h = -2*f - 14. Solve -3*a + 11 = h for a.
3
Let p be (-5)/(-35) - 82/(-14). Solve 13*h = 11*h + p for h.
3
Let m = 10 + -1. Let h = -6 + m. Solve 5*w - 12 = h for w.
3
Let y = 9 + -6. Suppose t + 5 = -5*n - 2, -y*t - 4*n + 34 = 0. Suppose -4*s + t = -s. Solve 3 = -3*c - s for c.
-3
Let u(b) = -b - 2. Let w be u(-2). Suppose -4*s + 6 + 2 = w. Solve -s*y = 2*y + 12 for y.
-3
Let x(j) = -2*j + 9 - j + 2*j. Let z be ((-16)/3)/((-18)/27). Let h be x(z). Solve v + h + 0 = 0 for v.
-1
Let r(y) = -y**2 + 15*y + 57. Let q be r(18). Solve 0 = 2*s - q*s + 3 for s.
3
Suppose -2*h = -4*h - 2*j - 18, -3*j + 13 = -5*h. Let z(d) = -d**2 - 5*d + 5. Let o be z(h). Solve o*i = -0*i for i.
0
Suppose 0 = 15*v - 10*v. Solve 2*i + 3*i + 15 = v for i.
-3
Let q be (-6)/(18/(-4) + 3). Let l = 0 + 0. Let b be l + (q*3)/2. Solve -3*v + b*v - 3 = 0 for v.
1
Let n(a) = -2*a - 16. Let c be n(-8). Solve c = 4*b + 10 + 2 for b.
-3
Let c(m) = m**3 - 2*m**2 + 1. Let d be (4/(-8))/(2/8). Let r be (21/(-6) - -3)*d. Let k be c(r). Solve k*j = -3*j + 15 for j.
5
Suppose 12 = -2*p - b + 48, -5*b = -p - 4. Suppose p = 5*c - 9. Suppose 0*v = -4*n + v + 12, 0 = 3*n - 2*v - 9. Solve -n*k = -4*k - c for k.
-5
Let q = 36 - 32. Solve -q*m + 3 + 13 = 0 for m.
4
Let y be 8/28 + 130/35. Solve i + y*i + 25 = 0 for i.
-5
Let n(g) = g**3 + 13*g**2 + 6. Let i be n(-13). Solve 0 = i*v - v for v.
0
Suppose 13 + 5 = 3*p. Let l(v) = v**3 - 6*v**2 + v - 2. Let b be l(p). Suppose -29 = -4*a - 9. Solve b = a*y - 16 for y.
4
Suppose 10*t - 15 = 65. Solve 0 = -h - 3*h - t for h.
-2
Let c(h) = h - 11. Let q be c(5). Let f be (3/9)/((-2)/q). Solve 9 = 2*m + f for m.
4
Let c(m) = m**3 + 3*m**2 - 2*m - 2. Let s be c(-3). Let h = s - -1. Solve -h*n = -0*n for n.
0
Suppose 3*b - 4*x = -b + 24, 5*b - 6 = -x. Let w = -23 - -26. Solve 1 + b = w*q for q.
1
Let b(j) = -j + 2. Let c be b(0). Let f(k) = 7*k - 1. Let x be f(1). Let o(t) = t**2 + 4*t - 8. Let i be o(-6). Solve c*g - x*g = i for g.
-1
Let v(p) = p**2 - 1. Let m be v(-1). Suppose m = 2*s + 3*s - 10. Solve -3*i - 20 = s*i for i.
-4
Let s = 175 + -170. Solve 3*g + 2*g + s = 0 for g.
-1
Let d be -2 - 7*(-1)/1. Suppose -5*g + 35 = d*c, -2*c + 13 = -c + 4*g. Let i = -13 - -15. Solve 12 = -c*v + i*v for v.
-4
Let s = 94 - 92. Solve -s + 0 = -t for t.
2
Let p(a) = a - 4. Let o be p(9). Suppose 5*x - 3 = 3*w, 1 = -5*x - o*w - 4. Solve x*s = 5*s - 20 for s.
4
Let q(d) = -d**3 + 4*d**2 + 1. Let k be q(4). Suppose -b - a = a - k, 0 = a + 1. Suppose 4*t - b*t = 3. Solve t*p - p + 8 = 0 for p.
-4
Suppose -5*j + 0*j = -45. Let b = j - 6. Solve -1 - 2 = -b*d for d.
1
Let n = 4 - 12. Let o be (-27)/(-6) - 4/n. Solve c = o*c + 16 for c.
-4
Let d = 13 + -12. Let l be (4 - (-3)/3)/d. Solve -c = -l - 0 for c.
5
Let t = -37 + 39. Solve 9 = -t*h - h for h.
-3
Let o be (1/2)/((-3)/(-48)). Suppose 0 = -b + 5*b - o. Let v be b/4 + (-5)/(-2). Solve 8 = -7*g + v*g for g.
-2
Let d be 60/27 - (-2 + (-80)/(-36)). Solve 4 = 2*m + d*m for m.
1
Let u be (3/(-6))/((-3)/(-60)). Let t = u + 14. Solve t*q + 6 + 10 = 0 for q.
-4
Let k(q) = q + 7. Let c = -13 - -8. Let b be k(c). Solve -b*s + 0*s = -10 for s.
5
Let q = 20 + -18. Solve -q*c = 5 - 3 for c.
-1
Let k be (-12)/(-5) + 6/10. Let x be 1 + k/6*2. Let n be 0 - (-1*2 - -2). Solve n = x*c - 5*c + 9 for c.
3
Let j = -77 + 123. Suppose -j + 166 = 2*x. Suppose -6*d + x = -2*d. Solve 6*b = 3*b + d for b.
5
Let d = -3 - -5. Let l = -3 + 2. Let j = l - -2. Solve d*c + j = -7 for c.
-4
Suppose -4*r - 33 - 15 = 0. Let t be (-13 + 1)*4/r. Solve t*z + 8 = 24 for z.
4
Suppose 9 = 6*a - 51. Solve -2*z = -0*