 q = -2*h + 6 for h.
3
Suppose -61 = -5*b + 104. Suppose -3*t - 3*w = -6*t + b, t + 3*w = 15. Suppose -o + t = 2*o. Solve o*d + d = 10 for d.
2
Let a = 7 + -13. Let o(i) = -i - 4. Let s be o(a). Suppose -s*b = 2*b. Solve 5*m - 23 + 3 = b for m.
4
Let s(f) = -f**2 + 5*f + 9. Let x be s(6). Solve 0 = -x*h - 9 for h.
-3
Let o = -14 + 34. Solve o = 3*i + 2*i for i.
4
Let s be (-5 + 20)*(-1)/(-3). Suppose -20 = x - s*x. Suppose x*j - 3*b - 36 = j, -b - 4 = 0. Solve a + j = -a for a.
-3
Let y be (8/(-3))/(2/6). Let z be -2*3*y/12. Let n be (-19)/(-4) - z/(-16). Solve -10 + 30 = n*f for f.
4
Let w be 12/(-20) - (39/(-15) + -3). Solve 0 = -w*q + 6 - 31 for q.
-5
Let p = -11 - -9. Let d(x) = 2*x**2 + 2*x + 1. Let u be d(p). Suppose -2*b = -4*b + 34. Solve -4*f + b = u for f.
3
Let x be (8/6)/(2/(-6)). Let p be -4*((-5)/x)/(-1). Suppose p*w - w = 24. Solve h - w = -2 for h.
4
Let s = -7 - -11. Let n be 1 + -2 + 3 - -1. Suppose s*z - 3 = n*z. Solve 4*g - z - 5 = 0 for g.
2
Let r = -1 + 3. Suppose -i + 2*c = 0, i - c = r - 1. Solve i*v = -v - 9 for v.
-3
Let i be ((-5 - -4) + -2)/1. Let r be (1 - 0) + -1 + -1. Let f = r - i. Solve -m - f = -5 for m.
3
Let f = -6 + 10. Let r be (-21)/(-9) + (-1)/3. Solve r = f*j + 10 for j.
-2
Let c be -1 - ((-3 - -3) + -3). Let k = 8 + -6. Solve 0*b + c = k*b for b.
1
Let m(k) = 2*k**2 - 1. Let i be m(1). Suppose -i = -2*c + 5. Suppose -2*q - 3*x = -0*x - 8, 4*q + 6 = 5*x. Solve -q - 8 = c*z for z.
-3
Let s(k) = -k + 7. Let m be 30/4 + (-1)/2. Let y be s(m). Let u be 0/(-3 + 1 + 3). Solve y = -u*b + b + 2 for b.
-2
Let u = -2 + 3. Let w be (3 + -5 + 2)/u. Solve w = 3*o + o for o.
0
Let k(i) = 5*i - 8. Let g be k(2). Solve -g*p - p + 9 = 0 for p.
3
Let m be 8 + (-63)/18 + (-2)/(-4). Solve -m*a + 0*a + 10 = 0 for a.
2
Suppose -22 = -6*z + 2. Solve 0*n = -z*n for n.
0
Let o be (-5 + -1)/(-3)*-1. Let g be ((-2)/(-4))/(o/(-20)). Let w be 1/4 - 94/(-8). Solve -g*c + w = 2 for c.
2
Let m(d) = 6*d - 1. Let p be m(1). Suppose 3*o = -2*x + 24, x - 6*x + 3*o + 39 = 0. Solve -4*u + p = -x*u for u.
-1
Let p be (-5)/(15/(-2))*3. Suppose -5*j + 11 = -p*i, -j - 8 = -4*i - 3. Let b = i - -1. Solve 2*n + 15 = -b*n for n.
-3
Let u = -5 + 7. Suppose 0*y - 50 = -4*o + u*y, 4*o - y - 49 = 0. Let m = o + -7. Solve 0 = -m*t + 25 - 5 for t.
4
Let k(q) be the first derivative of -15*q**2/2 + 3. Let g be k(-1). Suppose 5 = a + 3. Solve -x = a*x + g for x.
-5
Let x be 1 + -2 + 16 + 3. Suppose -m - m + x = 0. Suppose m*q = 4*q + 15. Solve -2*v = 9 - q for v.
-3
Suppose 5*q - 4*y - 23 = 0, q + 2*y - 4 = -5. Suppose 5*s + 34 = q*l, 2*l - 2 = 3*l + s. Solve c = l*c + 6 for c.
-3
Let m(s) = s + 12. Let v be m(-10). Suppose -v*r = -3*r + 55. Suppose -3*l + r = -5. Solve 5*h = h + l for h.
5
Suppose 0 = -d - 8*d + 9. Solve -2*x - 9 = -d for x.
-4
Let u be -1*(3 + -4)*2. Suppose u*v = v + 3*p - 10, -4*v - 5*p = -28. Solve 4 = -3*q - v for q.
-2
Let g(w) be the second derivative of w**5/20 - 13*w**4/12 + 3*w**2/2 + 10*w. Let t be g(13). Solve -t = u - 8 for u.
5
Let k be (-3)/1 - (19 + -24). Suppose 5*w = -4*c + 17, -5*c + 2*w + 2 = -11. Solve k*z - c = z for z.
3
Let o(n) = 2 + 5*n - 3*n + 4*n + n**2 - 5. Let c be o(-6). Let j = 0 - c. Solve -v = j*v + 16 for v.
-4
Suppose -5*o = 3*m - 26, 4*o = 3*m + 3 + 7. Solve -2*t = -m - 4 for t.
3
Suppose 0 = 3*t + 2*t. Let x be ((-2)/(-3))/(2/18). Let s = 8 - x. Solve 6 = -t*a + s*a for a.
3
Suppose 3*o = 5*o. Suppose 4*z - 1 = -13. Let d(p) = -p**2 - 3*p + 4. Let m be d(z). Solve o = 2*k - m*k - 4 for k.
-2
Suppose 0 = -2*g + 2, j + 24 = 3*j + 4*g. Solve -2*t + 2 = j for t.
-4
Let a = -4 - -20. Suppose 0*p + p = 3*t - a, -5*t + 4*p = -22. Solve -3*d - t = -d for d.
-3
Let o = -52 - -64. Solve 0 = 4*g - 7*g - o for g.
-4
Suppose 60 - 66 = -l. Solve -l = -4*s + 10 for s.
4
Let h be (18/15)/((-6)/(-15)). Let b = -1 + h. Let f = 4 - b. Solve -f*o = -3 + 11 for o.
-4
Let v be 1 + 2 + -7 + 30. Suppose -v = -2*c - 8. Solve 0 = -4*g + c + 3 for g.
3
Let x be -1 + (-16)/(-2) + 0. Suppose 2*m - x*m + 20 = 0. Suppose -d = m*d - 75. Solve 4*s - d = -3 for s.
3
Let y be -1 - -1 - (-10)/10. Solve -2 = -3*a + y for a.
1
Let u(t) = t - 5. Let z be u(5). Solve -j + 0 - 4 = z for j.
-4
Suppose 31*z - 26*z = 25. Solve -2*h - 3 = -z*h for h.
1
Let t be (-48)/(-27) - (-8)/36. Suppose -5 = 5*o, -5*n + 10 = -2*n - 4*o. Solve n*l = -t*l for l.
0
Suppose -4*s = -3*s + 5. Let d = s - -12. Solve 2*m = d*m for m.
0
Let x(p) = -2*p - 3. Let d be x(-3). Suppose -7 - d = 2*j. Let w = j + 6. Solve w = -k + 3 for k.
2
Let q(i) = -20*i**3 - i**2 - i. Let k be q(-1). Suppose 2*m + m = -4*y + 5, -4*m = k. Solve -y + 1 = -4*g for g.
1
Let w be 4/10 + (-14)/10. Let a be (-4 - w)*(-6)/9. Solve d = a*d + 2 for d.
-2
Suppose 6*o = 3*o + 6*o. Solve -1 + o = u for u.
-1
Suppose 3*w = -2*t - 37, -8 - 10 = 2*w - 2*t. Let o = w - -18. Let h = o + 3. Solve 4*z - h = 9*z for z.
-2
Suppose 0 = -p + 1 + 3. Let k be (-3 + 7)*6/p. Solve l = k*l - 20 for l.
4
Let u(t) be the third derivative of t**4/6 - t**3/3 + 2*t**2. Let c be u(2). Let p = c + -6. Solve p = -0*o + 3*o - 15 for o.
5
Let p(z) = z**2 - z - 4. Let a be p(3). Solve a = 3*r - 4 for r.
2
Suppose 29*f = 26*f + 6. Solve -6 = 2*z - f for z.
-2
Let c = 0 + -2. Let j = 0 - c. Solve -j*z = -3 - 5 for z.
4
Let h(p) = 2*p**2 + 1 - p - 2*p**2 + p**3 + 4. Let q be h(0). Solve 0*g + q = -g for g.
-5
Let g(c) = 6*c**3 - 9*c**2 + 6*c - 4. Let i(y) = -7*y**3 + 10*y**2 - 7*y + 4. Let s(h) = 6*g(h) + 5*i(h). Let j be s(4). Solve -6*z + z - 20 = j for z.
-4
Let v = 15 - 21. Let t be ((-12)/(-8))/(v/(-8)). Suppose c + 10 = -2*x, -t*c = -7*c + 4*x + 20. Solve 3*h + 2*h - 20 = c for h.
4
Let p = -1 + 5. Suppose 4*s + 24 = 3*h, -3*h + s + 9 = 2*s. Let y = p - h. Solve -4*l + 2*l - 2 = y for l.
-1
Suppose -5 = 3*q - 14. Suppose -4*f + 5 = -3*w, q*f = 2*w + f + 4. Let l = w + 5. Solve -12 = -l*c - 2*c for c.
3
Suppose -3*c + 5*c - 4*c = 0. Solve -2*h = -c*h - 8 for h.
4
Let q = 42 + -39. Solve -q*f + 4 - 1 = 0 for f.
1
Let t(u) = u**2 - 1. Let o be t(-1). Let k = o + 2. Suppose -j + 1 = -k. Solve 4*x + 19 = j for x.
-4
Suppose 0 = 5*r - 3*r. Let l = r - -2. Solve 4*p = -22 + l for p.
-5
Let g(s) = -2*s + 2. Let o be g(-1). Solve 3*v + o = -2 for v.
-2
Let c(w) = -6*w**2 - 5 + 2*w**2 + 3*w**3 - 2*w**3 - 3*w. Let h be c(5). Solve -11 = h*r - 31 for r.
4
Let b(u) = 2*u**2 - 3*u - 2. Let c be b(2). Solve c = 4*o + o - 25 for o.
5
Suppose 1 = -5*d + 6. Suppose -4*a + d = -7. Solve a*j = j for j.
0
Suppose 2*t = 5*t - 69. Suppose t*o = 27*o. Solve 5*b - 3*b = o for b.
0
Let l(r) = r**2 - 5*r + 5. Let f be l(5). Solve -14 = -f*o - 4 for o.
2
Let z = 0 - -1. Suppose 2*k - 3 = -2*m - z, k - m + 1 = 0. Let t = 0 - k. Solve t*n - 1 = -n for n.
1
Let u(p) be the third derivative of p**5/60 + p**4/12 + p**3/2 - 3*p**2. Let i be u(-2). Solve i*a - 2 - 4 = 0 for a.
2
Let t(n) = n**2 + 6*n - 2. Let b be t(-7). Let i = 7 + 3. Solve b*m - 3*m = i for m.
5
Suppose 0 = 4*s - 6*s + 26. Let a = 7 + -15. Let t = a + s. Solve t*h = -5 - 0 for h.
-1
Let m be -1 + 1*(2 - -3). Let y(h) = h**3 - 5*h**2 + 5*h - 4. Let l be y(m). Suppose -5*q = -w - 22, w = q - l*q - 2. Solve 2 = -w*k - 1 for k.
-1
Suppose -k = -5*y + 12, 4*y = -3*k + 8*k - 3. Solve 0 = k*d - 0*d - 9 for d.
3
Let w(r) = r**2 - 15*r - 11. Let m be w(16). Solve 0 = 4*j - m + 1 for j.
1
Let i be 2/12 + 11/(-66). Solve i*a + 5*a = 0 for a.
0
Suppose -s - 2 = -3. Solve s = -0*m + m for m.
1
Let l be 4/(-6) - 8/(-12). Suppose l = -3*b + 3*q + 3, 3*b + 2*q + 3 = -q. Solve b = i - 3*i for i.
0
Suppose 0 = 3*u + 8 - 2. Let k = u - -7. Suppose 6*w = 8*w. Solve w = k*a - 3 - 2 for a.
1
Suppose 3 + 0 = 3*i. Let y be (0/1)/((-2)/i). Suppose 0 = d - y - 3. Solve -d*a = -4*a for a.
0
Suppose 3*u = 4*u - 3. Suppose 0 = 5*m - 5*d, -m + 7 = u*d + 3. Solve 2*n + 7 = m for n.
-3
Let c = -16 + 22. Let r be (-10)/(-3) + (-2)/c. Solve r*q + 9 + 3 = 0 for q.
-4
Let p(r) = 2*r**2 + r**2 - r**2. Let k be p(1). Let j be 13/2 - k/4. Solve -j*m = -3*m for m.
0
Suppose 12 = 2*f - 0. Suppose 1 = -q + f. Solve 4*h - q*h - 3 = 0 for h.
-3
Suppose 0 = -3*w - d - 0*d + 12, -5*d = -5*w. Solve 0 = -w*x - 1 - 5 for x.
-2
Suppose -2 = 2*y + 6. Let h be 1 + 2 - (-1 - y). Solve h = -2*s - 4 for s.
-2
Suppose -c = -x - 2*c, -x