r*x for x.
0
Let l be (-6)/(-27) - (-48)/27. Solve 0*w = -l*w + 2 for w.
1
Suppose -46 - 17 = -9*o. Solve o*t = 3*t + 20 for t.
5
Let g be 6/(-8)*(4 + -12). Solve 3*w = g*w for w.
0
Suppose 0 = 4*x - 14 - 18. Solve -3*y - x = -7*y for y.
2
Let s(g) = 2*g. Let o be s(1). Let l = 8 - 5. Solve o*w = -w - l for w.
-1
Let h = -9 + 3. Let l = 10 + h. Solve l*m - 3 = -19 for m.
-4
Suppose 0 = -3*s + 6, -2*z - 8*s = -3*s + 4. Let m = z - -8. Solve -m = h - 3 for h.
2
Suppose 13 + 2 = 5*u. Solve -u*o + 0*o = -3 for o.
1
Let s be (-10)/15 + (-4)/(-6). Suppose 4*w - 16 = -s. Solve w = -0*k + 2*k for k.
2
Let p = 4 - 7. Let t be (-5 + 1)/(p/6). Suppose -t*k = -5*k. Solve -g + k*g = 1 for g.
-1
Suppose -2*b - 2 = 2*k, -3 = b - 4*k - 7. Let w = 13 - 4. Let v(n) = n**2 + 4*n + 1. Let s be v(-5). Solve s*j - 3*j - w = b for j.
3
Let l(j) = j + j + 11 - 3*j. Let h be l(9). Solve -c + h*c + 1 = 0 for c.
-1
Suppose 4*m + 9 = 7*r - 2*r, 28 = 4*r + 2*m. Suppose 0*z = -2*g - r*z - 4, 0 = 4*g + 5*z - 2. Suppose -2*f + 3 = -g. Solve -3*j + 4*j = -f for j.
-3
Suppose -x = -0*x - 4. Suppose -2*t + 2 = x*i, -2*i - 5*t - 9 = 2. Solve 2 = -i*j + 6 for j.
2
Suppose -3*f - 2 = 2*b, 0 = -5*b + 5*f - f + 18. Let m be 10/4 + b/(-4). Solve -3*i = -m*i - 4 for i.
4
Let v(m) be the second derivative of -m**3/6 + 7*m**2/2 - m. Let w be v(5). Solve w*s = 3*s - 1 for s.
1
Let c = -12 - -14. Let h be 8/12 + 2/(-3). Let o be (-1)/(-1) + 0 - -14. Solve c*y - 5*y + o = h for y.
5
Let a(h) = 2*h**2 + 2. Let n be (-9)/(-6) + (-1)/(-2). Let q be a(n). Suppose -m - 5*s = q - 0, m + s + 2 = 0. Solve -t + m = -3 for t.
3
Let k(l) = -l**2 - 13*l - 12. Let o be k(-9). Let x be 0/(-1) + o/4. Solve 0 = -4*n + x - 18 for n.
-3
Let o(j) = 4*j - 20. Let x be o(6). Solve 0 = -4*r - x - 8 for r.
-3
Let t = 16 + -10. Suppose 1 = -5*s + t. Solve -3*d + s = -5 for d.
2
Let j be (-3 + 2)/((-2)/6). Suppose -5*x = -j + 23, 3*o + 8 = -5*x. Let t = -1 + o. Solve -t*r - 2 = -4*r for r.
2
Let g = -16 + 18. Solve 6*d - 16 = g*d for d.
4
Suppose 0 = -3*x + 4 + 26. Solve x = -3*h - 2*h for h.
-2
Let z(v) = -5*v - 6. Let n(x) = 4*x + 6. Let u(a) = -4*n(a) - 3*z(a). Let p be u(-4). Let q be p/7 + (-18)/(-14). Solve -c = -0 - q for c.
1
Let k = 0 - -4. Solve -k*b = b for b.
0
Let l be 1/(-2) - (-1)/2. Suppose -19 - 5 = -4*m. Let j be ((-3)/m)/1*l. Solve -4*x + 7*x + 12 = j for x.
-4
Let o(b) = -3*b**2 + 7*b + 4. Let p(i) = 2*i**2 - 7*i - 4. Let a(w) = 3*o(w) + 4*p(w). Let s be (7 + -13)*-1*-1*1. Let l be a(s). Solve 0 = m - l*m + 3 for m.
3
Let q(f) = f**2 - 7*f - 24. Let t be q(11). Solve -5*z - 5 = -t for z.
3
Let p(t) = t**2 - 6*t + 11. Let a be p(5). Let q = 2 + 0. Solve -q*k = -0*k + a for k.
-3
Let g = -5 - -8. Let h = 8 - g. Suppose 4*c - 42 + 14 = 0. Solve c = h*n - 8 for n.
3
Let t = -21 - -8. Let y = t - -13. Solve 10*o - 5*o = y for o.
0
Let u be (1*-1)/(1/(-5)). Let d be -2 + 1 - (-1 - -2). Let q be u/2 + 1/d. Solve q*v + 6 = -v for v.
-2
Suppose -25 = 5*i + 4*g + g, 4*g = -2*i. Let v = i + 15. Solve v*u = u for u.
0
Suppose l - 4*l = 0. Suppose l*i = -2*i. Solve -2*n = -i*n + 6 for n.
-3
Suppose 2*m + 3*m - 40 = 0. Let t be 3 + (0 + 0 - 1). Solve -m = -0*p + t*p for p.
-4
Suppose 0 = -0*k + 2*k - 8. Suppose -5*j = 2*x - x + 2, -k*j + 2 = 2*x. Solve g - 6 = x*g for g.
-3
Let y(b) = -b**2 + 3*b + 4. Let i be y(4). Suppose 0*a - 3*a + 2*z = 1, -2*z + 10 = i. Solve -1 - a = -g for g.
4
Suppose -3*g - 5*l = 2*g - 25, 0 = 3*g - 2*l - 10. Solve -g*s + 0 = 8 for s.
-2
Let v be 22/10 + 7/(-35). Solve v = -4*d + 6 for d.
1
Let m(q) = q**2 - 4*q - 2. Let u be m(4). Let o be 1/(u*3/42). Let y = o - -12. Solve 5*a + y = -0 for a.
-1
Let a = 2 - 2. Suppose 4*f + g = 1, -5*g - 7 = -4*f - 4*g. Solve a*o = -o - f for o.
-1
Suppose -2*o + 2 = -0*o + 3*c, -2*o + 5*c - 14 = 0. Let z be 3/o*(-12)/9. Solve 2*s + z = -2 for s.
-2
Let j = 75 + -71. Solve j*q = -q - 15 for q.
-3
Let h be (-1 - -33 - 3)*1. Suppose 4*b - h = -5*f, 0 = 5*f - 23 - 2. Let n be (b*-1)/(5/(-25)). Solve 2*w + 3 = n*w for w.
1
Let i(f) be the first derivative of f - 11/2*f**2 + 2. Let a be i(-1). Solve -2*b + a = b for b.
4
Suppose 4*s = 2*x + 6, -4*x + s + 9 + 0 = 0. Suppose -5*w + 28 = 2*w. Solve w*h - h = x for h.
1
Let f = -78 - -82. Solve t + 15 = f*t for t.
5
Let w be (-21)/(-6) + (-2)/(-4). Suppose -w*p + 24 = 4. Solve p*t - 1 = 9 for t.
2
Let r(i) = 2*i - 4. Let l be r(3). Suppose 2 = -l*z + 42. Let o(h) = h**2 + 4*h - 1. Let p be o(-5). Solve -z = -p*n - n for n.
4
Suppose 0 = 2*u - 45 + 5. Suppose -5*i - 13 = -3*g, -3*g - 2*i = g - 26. Solve v - g*v + u = 0 for v.
4
Let v be 4/(-4) - (-2 + 0). Solve q = -0*q - v for q.
-1
Let f be (-12 + 6 - -11) + 0 + 0. Solve -15 = 2*s - f for s.
-5
Suppose 0 = 5*z - 51 - 54. Suppose z + 4 = w. Solve 8*t = 3*t + w for t.
5
Let q(x) = 5*x + 15. Let d be q(0). Solve 3*r = -2*r - d for r.
-3
Let v be 4 + 0 + 11 + -2. Solve -3*g = -4 + v for g.
-3
Let k(s) = 2*s + 1. Let j be k(1). Suppose z = 2, j*i = 5*z - 4 - 6. Solve i = -6*m + m for m.
0
Let t(q) = q + 21. Let j be (-4)/(-2)*(-77)/14. Let m be t(j). Let y be 36/m - (-15)/(-25). Solve 2*n - n = -y for n.
-3
Suppose l + 4 = -2*z - 1, l - 10 = 3*z. Let b be (-8)/((-1)/6*z). Let o = -10 - b. Solve r + 15 = o*r for r.
3
Suppose 8 = l - 0*l. Let m be -1 - (1 - 4/(-4)). Let k = m + l. Solve 1 + 4 = -k*f for f.
-1
Suppose 7*g - 28 = 3*g. Solve 0 = 2*z - g*z + 25 for z.
5
Let s(o) be the first derivative of 2*o**3/3 - 2*o**2 + 3*o + 1. Let p be s(2). Solve b - p*b + 6 = 0 for b.
3
Let n(g) = -3*g - 33. Let v be n(-11). Solve 6*b - 2*b - 20 = v for b.
5
Suppose 2*c - 5 = -3*o + 8, 2*c = 5*o + 5. Solve 2*i - o = 3 for i.
2
Suppose 1 = -j - 7. Let k(q) = q**3 + 9*q**2 + 6*q - 8. Let g be k(j). Solve g = -2*p - 0 for p.
-4
Let l be 5/4 - (-10)/(-40). Let y be 14/(1 + 1)*l. Solve -3 - y = 2*o for o.
-5
Let b(j) = -j**2 + 6*j - 1. Let g be b(4). Suppose -m - 4*m = 0. Suppose m*c - 2*c = -4. Solve g*t - c*t = -15 for t.
-3
Suppose 2*l = 2*d + 6, -4*l - 3*d = l - 23. Solve -l = -4*u - 0*u for u.
1
Let i(h) = 3*h**2 + 15*h - 13. Let t(s) = 4*s**2 + 22*s - 19. Let m(q) = 7*i(q) - 5*t(q). Let p be m(5). Solve -k + p*k = 12 for k.
4
Let t(m) = -m**3 - 2*m**2 - m. Let q be t(-1). Solve q = -3*i + 6*i + 3 for i.
-1
Let p(d) = 4*d**3 - 31*d**2 - 3*d + 26. Let a(o) = 3*o**3 - 21*o**2 - 2*o + 17. Let j(l) = -7*a(l) + 5*p(l). Let u be j(-8). Solve 4*g + 7 - u = 0 for g.
3
Let r be 2 - (-29 + (3 - 0)). Suppose 3*w + i - 3*i - 20 = 0, 5*w - 2*i = r. Solve 0 + 20 = w*d for d.
5
Let t = 9 - 6. Let r(a) = -a**2 + 5*a - 4. Let d be r(3). Suppose g - d = 18. Solve 2*m = -t*m + g for m.
4
Suppose -5*m - 4*g - 50 = 0, -2*m - 3*g = 12 + 15. Let d be m*(-3)/(3/1). Solve d*u = 2*u - 16 for u.
-4
Let o be 2/5 + (-10)/25. Solve o*b + 8 = 4*b for b.
2
Suppose -2*o + 2*v = 6, -2*v + 10 = 4*o + 4. Solve o = -0*l - 4*l - 16 for l.
-4
Let h(j) = -j**3 + 5*j**2 + 4*j - 6. Let u be h(6). Let m be (-16)/(-6) + (-6)/u. Solve m*z = -2*z + 20 for z.
4
Suppose t - 9 = -4*x + x, -5*t + 11 = -2*x. Let a = t - 3. Suppose 4 = 3*h - 5*r, a*h + 2*r = h. Solve -h = -k + 5*k for k.
-2
Suppose -5*y + 8 = -4*m - 4, 0 = m - 5*y + 18. Let d(q) = -m + 0 + 3 - q**2 - 5*q - 5. Let f be d(-3). Solve -1 + f = c for c.
1
Suppose 0 = 2*k + n, -16 = 4*n - 0. Suppose -z = h + k*z + 8, -2*h + 4 = z. Suppose -6 = -h*f + 10. Solve j + 3 = f*j for j.
1
Let r = -4 - -1. Let v(g) = -g**3 + 13*g**2 + 14*g + 6. Let s be v(14). Let p = r + s. Solve -q + 4*q + p = 0 for q.
-1
Suppose 0 = 5*h - 4*t - 127, h + 29 = 2*h - 2*t. Let g be ((-8)/(-6))/((-2)/(-57)). Let l = g - h. Solve -b - 4*b = l for b.
-3
Let w = -23 - -44. Solve 0 = 4*p - 5 + w for p.
-4
Suppose -3*n + 4 + 5 = -3*d, 26 = 2*n + 2*d. Let a = 4 + 0. Suppose -3*m = -15, 4*t + 0*m = -a*m + 20. Solve t*u = 2*u + n for u.
-4
Let o(b) = 2*b - 11. Let y be o(-8). Let n = y + 16. Let k(m) = m**2 + 10*m - 11. Let u be k(n). Solve 0 = -u*w + 3*w - 3 for w.
1
Suppose -2 = 2*y + 2*i, 4*y - 2*i - 14 = -0*i. Solve 3*h + y = -4 for h.
-2
Let v be (2 - 22/8)*-8. Suppose -2*f = -16 + v. Solve 12 = f*c - 8 for c.
4
Let z be ((-9)/(-5))/(18/60). Solve z*a = a for a.
0
Suppose 2*i + 29 = 4*p - i, -5*i - 40 = -5*p. Solve 7 + 13 = p*h for h.
4
Let h be 2*2*5/(-10). Let m = 6 + h. Solve 0 = -5*t 