2
Let v(q) = -3*q + 26. Let r be v(7). Solve 0 = r*u - 8 + 18 for u.
-2
Let t = 7 + -3. Let y(m) = m**2 + 3*m - 6. Suppose 4*d - 2 = d + 4*a, -d + 4*a + 14 = 0. Let g be y(d). Solve t*k - k = -g for k.
-4
Suppose 3*f - 12 = 3*h, h - 9 = -3*f + 3*h. Solve 0 = -2*p + 1 + f for p.
1
Let s be ((-24)/28)/(60/21 - 3). Solve -s*u = -3*u - 6 for u.
2
Let c(k) = -3*k - 14. Let b be c(-6). Solve 0 = -b*g + 6*g - 4 for g.
2
Let l(n) be the second derivative of n**3/6 - n**2/2 - 2*n. Let f be l(3). Suppose -f*u + 12 = 2*u. Solve -u*i + 20 = i for i.
5
Suppose 72 - 27 = 15*r. Solve r = -2*n + 1 for n.
-1
Let o = 99 + -99. Suppose 3*l - 2*v - 3*v + 17 = 0, 0 = 5*l - 5*v + 15. Solve -l = -o*q - q for q.
1
Suppose 5 = -5*q - 15. Let d = 6 + q. Solve 5*r + d = -3 for r.
-1
Suppose 6*g - 5*d = 4*g + 36, -4*g + 2*d = -40. Suppose 2*a + 5*y = 6, 2*a - 4*y + 2*y = 6. Solve -7*q = -a*q + g for q.
-2
Let d be 118/(-6) + 28/42. Let i = -17 - d. Solve 0 = 2*b + i*b + 20 for b.
-5
Suppose 5*y + 0*y - 15 = 0. Let n(q) = -q + 6. Let t(p) = -4*p + 19. Let w(g) = 7*n(g) - 2*t(g). Let i be w(-4). Solve -x + y + i = 0 for x.
3
Let t = 21 + -14. Let l(s) = -19*s**3 + 2*s**2 + s. Let q be 10/(-8) + 3/12. Let g be l(q). Solve t*y + g = 2*y for y.
-4
Suppose 88 = -3*j + 7. Let i be (-75)/j + 2/9. Suppose 2 = -5*d + 7. Solve -d = a + i for a.
-4
Let f(x) = x**3 - 16*x**2 - 28*x + 21. Let b be f(18). Let c be (8/10)/(11/b). Solve 4*d = 4 - c for d.
-2
Let v = -8 + 10. Suppose -v = z - 4. Solve 0 = g + z*g - 12 for g.
4
Let h = 3 + -1. Let r be 0/(((-6)/(-1))/(-3)). Suppose r = m - h. Solve -4*z = -m*z + 2 for z.
-1
Suppose 2*r - 2 = -3*g, -5*r + 4 = g + 12. Suppose 2*t = 7*t - 5*m - 20, g*t - 2 = 5*m. Solve 2*j = 5*j + t for j.
-2
Suppose 2*a - 12 = -2*a. Suppose 0*s + 16 = s. Suppose -5*p + 4*z = -0*p - s, -2*p + 3*z + 12 = 0. Solve p*f = -a*f for f.
0
Suppose -3*c + 6*c = 0. Suppose 3*d = 4*i + 32, 4*d + 5*i + 4 + 5 = 0. Solve c = -4*l + d for l.
1
Let a(n) = n. Let k(q) = 5*q + 1. Let j(w) = -4*a(w) + k(w). Let d = 64 - 64. Let o be j(d). Solve -o = c - 3 for c.
2
Let y be 1*2*(-6)/(-4). Suppose -1 - y = -2*b. Suppose 245 = 5*c + 44*c. Solve c = -b*v + 3*v for v.
5
Let a(g) = -2*g**3 - g**2 - g. Let f be (6/9)/(4/(-6)). Let n be a(f). Solve 0 = -j - 0 + n for j.
2
Suppose -4*h - 4*p + 37 = 1, -2*h = -p - 9. Solve -4 = -2*o + h for o.
5
Suppose -2*c - 3*c = l, 4*l + c = 19. Suppose l*r - 2*r = 3*y - 12, -5*y + r + 36 = 0. Suppose -j + y - 4 = 0. Solve j*p - 9 = p for p.
3
Suppose 8 - 17 = -3*o. Solve 4*w - 7 = -o for w.
1
Let m = 14 + -6. Suppose 4 = b + 4*u, m = 4*b - 2*b - 5*u. Solve b*q - 5 = 3 for q.
2
Let o(j) = 9*j**3 - j**2. Let a be o(1). Let d = a + -6. Solve -d = -m + 2 for m.
4
Let q(t) = 12*t**2 - 2*t. Let m be q(1). Solve m = -y - y for y.
-5
Suppose 4*q = -3*k - 6 + 37, -k = 5*q - 36. Let l be q/(-2)*(-16)/28. Solve l*r + 1 + 3 = 0 for r.
-2
Suppose 5*s = 2*i + 110, -5*i - 64 - 7 = -4*s. Solve 5*u = 1 + s for u.
5
Let m = 0 + -2. Let j(i) = 2*i**2 + i - 1. Let n be j(m). Solve -n*v + 3*v - 8 = 0 for v.
-4
Suppose -5*c = 6*c - 22. Solve -3*k = c*k - 5 for k.
1
Let v be (2/10)/(1/5). Solve 0 = -d - v for d.
-1
Suppose -4*y + 6 + 10 = 0. Suppose 8 = -3*n + 5*x, -x + 2*x = -5*n + 24. Suppose -4*i - n = -y*b, -3 = -4*b + 2*i + 7. Solve 0 = b*z + 7 + 5 for z.
-3
Let b be 130/(-4)*((-39)/(-65) + -1). Let m = -2 + 5. Solve -4*p - b - m = 0 for p.
-4
Let h = 30 + -27. Solve h*i + 16 = 7*i for i.
4
Let b = -6 - -9. Let x be 78/14 - b/(-7). Solve x - 2 = -2*w for w.
-2
Let s be (144/(-10))/(-2) - 16/(-20). Solve 3*j - s*j = 10 for j.
-2
Suppose 54 = 4*w + 4*c + 22, 3*c = 15. Suppose -3*p = -5*p + 8. Suppose -b - y - 4 = -3*y, 4 = -p*b + 4*y. Solve -d - b = -w*d for d.
1
Let n(x) = x**3 - 7*x**2 + 6*x. Let m = 19 + -13. Let y be n(m). Solve -4*f - 2 - 14 = y for f.
-4
Let u(y) = 2*y - 2. Let x be u(-7). Let k = x + 16. Solve l = -k*l - 5 for l.
-5
Let z be 1 - (11 + -8 + (-1 - 1)). Solve y + z*y = 3 for y.
3
Let j be (0 + 2)/(-1 - 0). Let r be j/(-1 - (-1)/3). Suppose -4*s + 0*s = 5*l, -5*l + r*s = 0. Solve l = -5*g - 13 + 38 for g.
5
Let a = 1 + 1. Let u = 8 - a. Suppose -2*c + u = c. Solve -c = 3*h - 5*h for h.
1
Let b(w) = w**3 - w**2 + 2*w + 1. Let o be b(2). Solve -5*r = -o - 16 for r.
5
Let b be (-14)/(-21) - 7/(-3). Let i(p) = -p + 7 + 2*p - 7 - b. Let w be i(7). Solve -a - w = -1 for a.
-3
Let u(s) = s**2 - 2. Let r be u(2). Let v be r/(8/2)*6. Suppose -v*x + 15 = 2*x. Solve -11 = -x*l + 4 for l.
5
Let h be (-15)/(-12) + (-1)/4. Let u be (-9)/(-6)*6/h. Solve u + 6 = -5*v for v.
-3
Suppose 4*b - 11*b + 35 = 0. Solve 0 = 3*p - b - 4 for p.
3
Let a(n) = -n - 10. Let m be a(-9). Let f(i) = -i**2 - 2*i - 1. Let x be f(m). Let v be (-1 + 1)/(-1 - x). Solve u = 1 - v for u.
1
Let x(r) = -r**3 + 3*r**2. Let q be x(3). Solve q*m = -m for m.
0
Let o = -17 - -17. Solve 0*y - y + 1 = o for y.
1
Let y = 56 + -40. Suppose -16 = 5*g + 4*w, 0 = -2*g - 3*w - w - y. Solve 2*i + 0 + 2 = g for i.
-1
Suppose -2*q + 3*p = -12, 0*p - 5*p = -5*q + 25. Suppose 28 - 10 = q*t. Let m = -1 - -1. Solve -4*b + 6 + t = m for b.
3
Let f(q) = q**2 - 11 + 3 - 8*q + 3. Let u be f(9). Solve 3*s = u*s for s.
0
Let l = -4 + 11. Let h be -7*((-6)/l + 0). Suppose -p + h + 3 = 5*r, 3*p + 5*r = 27. Solve -5*y + 2*y + p = 0 for y.
3
Let d(g) be the third derivative of -g**6/120 + 3*g**5/20 + 3*g**4/8 + 7*g**3/3 - 2*g**2. Let c be d(10). Solve c*s - 15 = s for s.
5
Suppose 5*l + 1 = 4*l. Let t be 6 - (l - -1 - -2). Solve -t*j - 4 = 12 for j.
-4
Let w(d) = d**3 + 7*d**2 + 5*d - 6. Let x be w(-6). Let q(s) = s**3 - 5*s**2 + 5. Let h be q(5). Solve 5*k = h - x for k.
1
Suppose -5*i = -i + 28. Let q be 8 + -10 + i/(-1). Solve 3*k = -2*k + q for k.
1
Let c be (2/(-4))/(99/(-24) + 4). Solve -c*h = -5*h for h.
0
Suppose -2*h + 2*c + 10 + 2 = 0, -c = -3*h + 10. Solve -2*b + 0*b = h for b.
-1
Let l be ((-5)/3)/((-2)/6). Let q(x) = -x**3 + 5*x**2 - x + 5. Let r be q(l). Solve r = 4*m + 1 - 5 for m.
1
Let k = 57 + -52. Solve -k = 3*s + 2*s for s.
-1
Let d(g) = 4*g**2 - 11*g**2 + 4*g**2 + 5 + 2*g**2 - 11*g. Let s be d(-9). Solve -4*h + s - 3 = 0 for h.
5
Suppose n + 2*n = 93. Suppose l = -0*b + 2*b - 29, 2*b + l = n. Solve 0 = -4*z - b + 3 for z.
-3
Let z be 32/(-6) + (-1)/(-3). Let n = z - -7. Suppose -n*y = 5*r + 2, 10*r - 5*r = 3*y - 22. Solve -5*p + 3*p - y = 0 for p.
-2
Suppose k - 1 = -5, 0 = -4*n + k + 4. Solve 3*z - 2 - 4 = n for z.
2
Suppose 5*o + 4 = -6. Let t be ((-1)/3)/(o/(-12)). Let h = 9 + t. Solve -4*w + 1 = -h for w.
2
Suppose 4*i = -2 + 6. Suppose -z - 6 = -2*q, 3*z + 0*z - 14 = -2*q. Suppose 4*j - 44 + 32 = 0. Solve q*o - i = j for o.
1
Let v(l) be the third derivative of l**6/120 - l**5/10 - 7*l**4/24 + l**3/3 - l**2. Suppose -2*s = s - 21. Let t be v(s). Solve f = -0 - t for f.
-2
Let u(x) = -x**3 + 5*x**2 + 6*x + 4. Let z be u(6). Solve 4*g + 4 = -z for g.
-2
Suppose -c + 0*c = -22. Suppose c = 3*o - 5*g, 0*o = -o + 2*g + 9. Let j be 2*o/2*-2. Solve -3*x = -4*x - j for x.
-2
Let r be (14/(-4))/(-7) + (-39)/(-2). Solve -3*o = o + r for o.
-5
Suppose 5*w = z + 1 + 10, 2*w + z - 3 = 0. Solve 0 = -d - w*d - 12 for d.
-4
Suppose 2*o = -2*o. Solve -3*x + 2 - 17 = o for x.
-5
Let n = 16 - 8. Let j(m) = 20*m**3 + m**2 - 2*m + 1. Let t be -1 - -1 - (-3 - -2). Let k be j(t). Solve k = -3*o + n*o for o.
4
Let y(l) = -3*l + 8. Let k(s) = -7*s + 15. Let m(d) = 2*k(d) - 5*y(d). Let a be m(12). Solve -n = a + 3 for n.
-5
Let z(a) = -2*a**2 + 6. Let c be z(5). Let d be (-136)/(-22) + 8/c. Solve -d*r + 15 = -r for r.
3
Let l = 156 + -148. Solve -7*a + 3 = -l*a for a.
-3
Let v = 34 - 31. Solve -v*z + 2*z - 5 = 0 for z.
-5
Suppose 0 = -5*d + 1 - 6. Let s be 2 - (1 - d/1). Solve s = 7*j - 4*j for j.
0
Suppose -4*n - r = -29, -2*n + 5*r + 30 = 3*n. Suppose 2*y + 2 = 10. Solve -3 = -y*g - n for g.
-1
Let c(s) = s**2 + 0 - 3 + 2 - 1 + 2*s. Let d be c(-5). Solve -d = 3*u - 1 for u.
-4
Suppose 3*c = -3*h - 2*c + 19, 0 = -4*c + 8. Solve 0 = -0*n + h*n + 3 for n.
-1
Let p(k) = k**2 - k - 1. Let l be p(3). Solve 4*y - 3*y + l = 0 for y.
-5
Let a(f) be the third derivative of -f**6/120 + f**5/20 - f**3/3 + 5*f**2. Let l be a(2). Solve 17 - l = 3*w for w.
5
Suppose 13 = 3*o + 1. Solve 2*u + o = -0*u for u.
-2
Let m(s) = -s**2 +