r*u for u.
5
Suppose 0 = -6*z + z. Let r = z - 0. Suppose r = -q - 3*q. Solve q = -s - 4*s + 10 for s.
2
Let n = -23 + 27. Solve -3*p = -p - n for p.
2
Let v(y) = -y. Let i(u) = -u - 2. Let h(s) = i(s) - 2*v(s). Let k be h(6). Suppose k*l = 2*f - 6, -9 = 3*l - 0*l - 3*f. Solve p + l = 5 for p.
5
Suppose 7 + 13 = 5*m. Solve 2 + 2 = -m*r for r.
-1
Let m be 34/4 - 2/(-4). Let u be 14/6 - (-6)/m. Solve u*g - 8 = g for g.
4
Suppose j - 2*q = 12, 2*j - 3*q + 4 = 6*j. Solve -j*b - 4 = 12 for b.
-4
Let j be -3*-3*(-6)/27. Let f be ((-12)/18)/(j/3). Solve f + 0 = -x for x.
-1
Let u = -13 + 18. Let q be 20/9 + (-8)/36. Let m = q + 1. Solve -4*t + u*t = -m for t.
-3
Suppose -3*t + 6*p - 8 = 4*p, -4*p = t + 12. Let x = t - -13. Solve -5*d + 11 + x = 0 for d.
4
Let d = 0 - 0. Suppose 0*k + 2*k = d. Let u = 10 - k. Solve -t - t + u = 0 for t.
5
Let r be (-8)/(3/(-3)) + 0. Let n = r - 3. Suppose 25 = -0*d + n*d. Solve 6 = -2*y + d*y for y.
2
Let p(n) = n**3 + 7*n**2 + 6*n + 2. Let h be p(-6). Let m be -2 + -2 - -1 - -4. Let y be m/(20/24)*5. Solve -4*d - y = -h for d.
-1
Let g be (-1)/3 + (-75)/(-9). Let w be 1*(-2 + g - 1). Solve w - 1 = 2*s for s.
2
Let j be 2/(-4)*(-2 - 4). Suppose 2*q + 31 = j*k, -2*k + 6*k + 3*q - 13 = 0. Suppose 5*m = 3 + k. Solve 0 = 5*p + m + 3 for p.
-1
Let b(c) = 47*c - 11 - 23*c - 22*c. Let a be b(7). Solve w + 0*w = -a for w.
-3
Let z = -29 + 36. Solve -8 - z = 3*y for y.
-5
Let u(p) = p**2 - p. Let k be u(0). Solve k*n = n for n.
0
Let f be (1 - 1 - -3) + -1. Suppose 0 = -f*b + b. Solve b - 6 = -3*v for v.
2
Let d be ((-1)/(-1))/(-2 + 3). Let z be 2 + d + 2 - 1. Let j be (-1 - -5)*(z - 3). Solve 3*f + j = -f for f.
-1
Let p(s) = s**2 + 8. Let a be p(0). Let z be 2/(2 + (-18)/a). Let g be z/1*(-3 - -2). Solve -2*f + g = -4*f for f.
-4
Let r(b) = b**2 + 11*b + 15. Let z be r(-11). Solve 3*q + 2*q + z = 0 for q.
-3
Suppose -4*d - 46 = 34. Let m be 2/(-5) - 8/d. Solve m = 3*n - 7*n - 20 for n.
-5
Suppose -l - 5 + 22 = 0. Let g = l - 10. Let n = g + -5. Solve n = -b - 1 for b.
-3
Let a(f) = f**3 - 2*f**2 + 1. Let c be 3/2 - 5/10. Let w be a(c). Suppose 6*p - p - 5*g = w, g = 5. Solve -2*i = 3*i + p for i.
-1
Suppose y - 3*y + 4 = 0. Let m be (1 - 9/(-3))/y. Solve 4*w - 2 = m*w for w.
1
Let b(h) = -h**2 - h - 1. Let q be b(-2). Let y = 0 - q. Suppose y*a + 1 = 7. Solve r = a*r for r.
0
Suppose 0 = 4*j + 3*b - 33, 4*b + 12 = 4*j - 0. Solve j = 5*y + 1 for y.
1
Let l(u) be the third derivative of u**5/60 - 5*u**4/12 + 2*u**3/3 + 2*u**2. Let s be l(10). Solve s = -3*d + 7 for d.
1
Let j be 17*(-1 - (-4 + 2)). Let l be 1 + j - 4/(-2). Solve 3*f + f = l for f.
5
Suppose w + 2 + 0 = 0. Let a be w/(-11) - (-348)/22. Suppose -6*l = -2*l - a. Solve -l = -6*c + 2*c for c.
1
Let p = 6 - 2. Solve -2*b - 2 = p for b.
-3
Let u be (-24 + 4)*2/(-4). Let x = u + -3. Let p be 6 - x - (-20 - 1). Solve 5*z - z = p for z.
5
Suppose 3*r - 9 = -3*q, 0 = -4*r - 0*r - 3*q + 11. Solve d = r - 4 for d.
-2
Let u = 138 + -138. Solve 4*g - g = u for g.
0
Suppose 10 + 2 = 6*o. Solve 0 = -2*u - 0 - o for u.
-1
Let k = 9 + 8. Suppose d = -d + f + k, 32 = 2*d - 4*f. Solve d*p = 2*p - 16 for p.
-4
Let p be (-12)/8 + 23/2. Solve p = 2*y - 0*y for y.
5
Let f(l) = l - 1. Let h(w) = -w + 1. Let z(r) = -2*f(r) - 3*h(r). Let x be z(3). Suppose -x*b - o - 2*o = 2, b + 2 = -2*o. Solve 0 = d - 1 - b for d.
3
Let h be 60/35 + (-2)/(-7). Solve p = -3 - h for p.
-5
Let b(y) = y**2 + 3*y + 2. Let r be 30/(-7) - (-6)/21. Let p be b(r). Solve -5*o - p = 4 for o.
-2
Suppose 5*i - 28 + 8 = 0. Suppose -i*r = -0*r - 16. Suppose -r*a + 3 = o, 4*a - 2*a + 6 = 2*o. Solve 2*d + a = -4 for d.
-2
Suppose 17*q - 21*q = 0. Suppose s + 4*s = q. Solve s*m = -2*m - 6 for m.
-3
Let k be -2*3/(-4 - -1). Let d = 8 + -3. Solve 4*c - d*c = -k for c.
2
Let t be 0*-2*1/4. Suppose 3*w - 4*y = -w + 16, w - 4*y - 10 = t. Solve w*s + 0*s = -4 for s.
-2
Let m be (-12)/8 - (-7)/2. Let j be 1*m + 0/3. Solve -2*s = -4*s - j for s.
-1
Suppose -7*y = 12 - 47. Suppose -5*u + 25 = y. Let q = -10 + 14. Solve -u*t = -2*t - q for t.
2
Let f(a) be the third derivative of a**6/120 - a**4/12 - a**3/6 - a**2. Let j(m) = -m**2 + 2. Let u be j(0). Let p be f(u). Solve p*o = -2*o for o.
0
Let a = -3 + 5. Suppose -4*x - 18 = -a*t - 2*x, 0 = 3*t + x - 31. Solve -k = 4*k + t for k.
-2
Suppose 0 = 11*k - 12*k + 2. Solve 0 = k*u - 2 - 8 for u.
5
Let f be (0 - 0)/((-1)/(-1)). Let b be 1 + -1 + (-6)/6. Let l be (0 - -3)*b - -8. Solve l*y - 2*y + 3 = f for y.
-1
Suppose l = 8*l. Solve l*s + 6 = 3*s for s.
2
Let k(h) = h**3 - 4*h**2 + h. Let m be k(4). Let p = 2 - -3. Suppose -2*u - a = 3, m*u - p*a = -u + 30. Solve u = d - 4 for d.
5
Let j = 92 + -92. Solve -c + 2 + 3 = j for c.
5
Suppose -6*z = -3*z. Suppose 5*c - 15 - 10 = z. Suppose x + c*u + 6 = -x, 8 = -4*u. Solve h + x + 3 = 0 for h.
-5
Suppose -p + i + 2*i = -12, 0 = -3*p + i - 4. Let l be 7 + -2 + 3 + -1. Let t = p + l. Solve -t*g - 5 = 7 for g.
-3
Let n(c) = -c**2 + 6*c - 3. Suppose 2*o = 3*o - 5. Let z be n(o). Solve -6*j = -z*j - 12 for j.
3
Suppose -12 = -7*p + 4*p. Solve 2*g = -2*g - p for g.
-1
Let g = 10 - 6. Let x be 4/(-14) + 136/(-14). Let h be x*(-2 - -2 - 2). Solve -g*k = k - h for k.
4
Suppose -4*m - 4*w + 4 = -2*w, 2*m - 6 = -3*w. Solve -5*q - 5 - 10 = m for q.
-3
Suppose 5*m + 4 = 19. Suppose -7 = -5*h - l + 13, -m*h - 4*l = -29. Let w = -17 - -29. Solve 0 = -3*a - w - h for a.
-5
Suppose -12 = -4*l, -6*z - 3 = -2*z - l. Solve z = v + v - 8 for v.
4
Let d(i) = -3*i + 10. Let j be d(-6). Let k = j + -8. Let x be 1*3/(3/2). Solve 0 = 2*y + x*y + k for y.
-5
Suppose 4*d - 6 = 2*h, 7*h = 2*h + 2*d + 17. Solve 0 = 3*b - 1 - h for b.
2
Suppose 2 = -5*m - 3. Let r be 0/((-2 - -3)*m). Solve 2*i = -r - 2 for i.
-1
Let k(h) = h - 9. Suppose 13 = -5*a + 48. Let m be k(a). Let b = m + 6. Solve -2*s = -3*s - b for s.
-4
Let j(l) = 0*l - l + 2 + 2*l. Let h be j(6). Let i be (3 - -9)*6/h. Solve 0 = 2*b + i - 1 for b.
-4
Let h = 11 + -6. Suppose -2*r - 5*o + 15 = 0, r - 3*o + 15 = 2*o. Let t(c) = c**3 + c**2. Let q be t(r). Solve q*s = h*s - 15 for s.
3
Let u be ((-36)/(-54))/((-2)/(-75)). Solve z - u = 6*z for z.
-5
Suppose -8*j + 3*j + 4*u + 4 = 0, -u = 4*j + 1. Solve -4*p + 16 = -j for p.
4
Suppose -2 = -i + 4. Suppose 0 = -a - 2 + 17. Suppose -i*q + a = -q. Solve 16 = -g - q*g for g.
-4
Suppose 9 = -2*f + 3. Let u be (-8)/10*(f + -2). Solve 0 = z - u*z - 15 for z.
-5
Let y = -6 - -17. Let o = y + -10. Solve -1 - o = -2*u for u.
1
Let i be (15/(-12))/((-1)/4). Let l = 8 + -6. Let z = 0 + l. Solve 3*u - i = -z*u for u.
1
Let w = 10 + -5. Let t = -1 + w. Solve -f - t = -1 for f.
-3
Let h be 2*(0 + 9/(-2)). Suppose 13*m - 12*m = -12. Let u = h - m. Solve 2*s + u*s = -5 for s.
-1
Suppose 3*u = u. Let j be 0/(u - 0 - -3). Solve j = -4*k + 3*k - 4 for k.
-4
Let j = 22 - 17. Let w be 1/j - 1386/(-70). Solve w = 4*f + f for f.
4
Let l(s) be the third derivative of s**5/30 + s**3/6 + s**2. Let k be l(1). Solve 0*p = k*p for p.
0
Let d = -6 - 2. Let w = d - -8. Solve w = 6*g - 3*g for g.
0
Let g be (-2)/13 + (-212)/(-26). Solve -5*q = -q + g for q.
-2
Let o = -20 + 24. Solve -16 = -8*m + o*m for m.
4
Let m(r) = r**2 - 9*r + 6. Let v be m(9). Let q be (-7)/(-1)*(v - 5). Suppose -3 = d - q. Solve -d - 1 = -c for c.
5
Suppose -24 = -j - 2*j. Solve -4*t = -2*t + j for t.
-4
Let l(x) = x**2 + 2*x + 2. Let k be l(-3). Let s be (-2)/k + 4/10. Let b = -10 - -13. Solve s = -b*i - i - 8 for i.
-2
Let i be (-4)/(-28) + (-192)/21. Let g = i - -13. Solve -g*s = -7 - 9 for s.
4
Let t be 2/(-10) + (-8)/(-40). Let h = 5 + t. Solve -h = -3*o + 7 for o.
4
Let d(o) = o**3 - o - 2. Let q = -2 - -4. Let l be d(q). Solve -b = l*b - 20 for b.
4
Let h(y) = -y**3 + 11*y**2 - 11*y + 12. Let v be h(10). Suppose -5*b - 5*c + 10 = 0, 3*b - v*c - 22 = -6. Solve -b*a + 1 = -5*a for a.
-1
Suppose -2*c = 5*j + 3 + 12, -5*j = 25. Suppose -c*g + 5*w = 10, -12 + 2 = -3*g - w. Solve -b - 1 = g for b.
-3
Let h be 2*5/((-30)/(-21)). Let f(z) = -z**3 + 7*z**2 - 6*z - 1. Let s be f(6). Let j be -1 + s + (1 - -1). Solve j = 3*i + h - 19 for i.
4
Let v(g) = 2*g. Let i be v(-5). Let a = -10 - i. Suppose a = 4*h + c - 9, 3*c - 3 = -0. Solve 6 - 2 = -h*o for o.
-2
Let h(p) = -2*p + 2*p + p - 3. Let u be h(3). Solve u*n + 2 =