 + 2. Solve -3*v + s + 7 = 0 for v.
3
Suppose 0 = 3*l + 2*a + 13, l - 5*l - 5*a = 29. Let g be ((-6)/9)/((-6)/(-27)). Let m = l - g. Solve v = -1 - m for v.
-3
Let k(u) = -u - 8. Let f be k(-8). Let z be (6/2)/(2 - 1). Suppose 13 = z*g - 5*h + 4*h, -3*h = -4*g + 24. Solve -g*j - j + 16 = f for j.
4
Let w(x) = x + 3. Let i be w(9). Suppose d + 2*d = -i. Let u be 6/d*(-16)/3. Solve -u = r + r for r.
-4
Suppose 3*f + 4 = 3*g + 7, -4 = -4*f + g. Let l = -3 + 5. Let d be 3 + (-1)/((-2)/4). Solve -l*j + d = -f for j.
3
Let u(h) = 5*h - 66. Let m be u(15). Solve 12*t - 9 = m*t for t.
3
Suppose f = 3 - 1. Solve 0 = f*c + 2*c for c.
0
Let y(q) = q**2 + 8*q + 5. Let u be y(-7). Let m(b) = -b - 2. Let k be m(u). Solve -4*j - 8 + k = 0 for j.
-2
Suppose -6*l + 10*l = 8. Let k be 550/143 - l/(-13). Solve 0 = 2*a - 6*a + k for a.
1
Let l be -3*4/(-6) - 2. Solve l = f + 4*f for f.
0
Let o = 13 - 7. Solve -o*d = -3*d - 9 for d.
3
Let l = -6 - -10. Suppose l*k - y + 2 = 0, -3*k - y = -5*y + 8. Let z(d) = -d + 3. Let t be z(k). Solve -1 = v - t for v.
2
Suppose 7 = 5*t - 8. Suppose 5*m + t*j = 184, -m + 5*j + 15 = -5. Suppose 4*f + o = 8, 5*f - m = 3*o + 2*o. Solve f*i = i for i.
0
Let a(h) be the third derivative of h**5/60 - h**4/6 + h**3/3 + 4*h**2. Let m be a(4). Solve -m - 6 = 4*c for c.
-2
Let d = 10 + -6. Suppose 4*p + 8 = -4*h, d*h + 0*h - 3*p = 6. Solve 3*r = -h*r for r.
0
Let b = 2 + 7. Suppose 5*c = b*c. Solve -j - 1 = -c*j for j.
-1
Suppose 5*k - 2*f - 17 = 6, 3*k = -4*f - 7. Solve -k*y = -8*y for y.
0
Let s be (-1)/(-3) + (-1)/3. Let g(m) = -m**3 + 3*m**2 + m - 1. Let d be g(3). Suppose -4*w = -2*w. Solve -d*b + s*b + 6 = w for b.
3
Let x = -7 + 8. Let w be x/(0 + 1)*-1. Let a = 6 + w. Solve r - a*r = -8 for r.
2
Suppose -j - 41 = -5*a, 0*j = -3*a - 5*j + 19. Let r be ((-6)/8)/(54/(-144)). Let q = 8 + -6. Solve -a - q = -r*z for z.
5
Let j be 5*(-1)/(20/8). Let t be (j + 2)/1 - -9. Solve 3*u - t = 3 for u.
4
Suppose -11*m = -10*m - 10. Solve 3*z - z = m for z.
5
Let q(d) = -d**2 + 10*d + 3. Let c be q(10). Suppose c + 3 = t. Solve x = t*x + 20 for x.
-4
Suppose 0 = d - 5*o + 2, -4*o + 6 = 4*d - 10. Solve -5 - 10 = d*k for k.
-5
Let s(n) = -11*n**2 - 9*n + 10. Suppose -3*o = -0*o + 12. Let h(v) = 5*v**2 + 4*v - 5. Let m(a) = o*s(a) - 9*h(a). Let l be m(0). Solve l*b - b = -12 for b.
-3
Let t be (-10)/(-4)*16/20. Let n be 4/(-6)*2*-3. Let x = 0 + n. Solve t = -x*p - 14 for p.
-4
Suppose 4*l = -5*z, -z = -6*l + 5*l. Suppose h + 2 = 4. Suppose 5*a - 12 = h*v, -3*a + 0*v - v = -16. Solve -a*y + z*y = 0 for y.
0
Let r(d) = -1 - 15 - 5*d + 2*d + 2*d. Let o be r(-16). Solve 2*x + 2*x + 8 = o for x.
-2
Let q = 13 + -7. Let o be 8 + 2/(-4)*q. Solve -o*a + 10*a = -5 for a.
-1
Let a be (-4)/(0 + 2/4). Let c be (3 - 0) + -3 - a. Suppose 4 = 3*z - c. Solve m - 12 = z*m for m.
-4
Let i(s) = s**2 - 8*s - 10. Let d be i(9). Let b be ((-3)/(-2))/(d/(-2)). Solve -22 = -b*w - 7 for w.
5
Let k(a) = -a - 1. Let n be k(-4). Suppose -n*o - o = -12. Let h = o + 0. Solve -h*v + 10 = -5 for v.
5
Let f be 16/5*(-10)/(-4). Let b = f + -20. Let a be -7*(b/21)/2. Solve -a*m + 6 = -0*m for m.
3
Let c be (-10)/4*24/(-10). Solve 5*r = 7*r + c for r.
-3
Suppose 0 = -4*g + g + 9. Suppose 5*j - 3*b = b + 6, 8 = g*j + 2*b. Let s be (0 + 0)*(-1)/j. Solve s = -v - 2 + 7 for v.
5
Let i be 18/10*(-110)/(-33). Solve -3*l = -i*l - 12 for l.
-4
Let d = 5 + 0. Suppose 3*y = 5*t - 213, 0 = t + 2*y + 3*y - 37. Suppose 0 = 5*i + 7 - t. Solve -i = d*o + 13 for o.
-4
Suppose 0 = j - 2*j + 1. Let s = 0 - j. Let p(z) = -5*z**3. Let g be p(s). Solve -g = l - 1 for l.
-4
Let f be (-23)/3 - (-2)/(-6). Let c = f - -23. Solve 0 = -0*o - 3*o + c for o.
5
Suppose 2*d + 15 = 2*j + 5, -5*j - 5*d = 25. Let h be (-1)/(-2) - 4/8. Let r be j + (h + -3 - -5). Solve r*v = -0*v - 10 for v.
-5
Suppose 0*g + 63 = 3*g. Suppose 4*b + g = b. Let p be 4*1 - b/(-7). Solve -p*j + 2*j = 0 for j.
0
Let x(s) = -s - 2. Let o be x(5). Let v = o - -14. Solve -4 = -3*m + v*m for m.
-1
Suppose -3*t + 6*m - 3 = 3*m, 2*m + 4 = 4*t. Solve 2*a - 5 = -t*a for a.
1
Let d be (1 - 5)*5*-1. Suppose 0 = 3*s - 2*s - 1. Let v = 4 - s. Solve -f = v*f - d for f.
5
Suppose 0 = 49*o - 45*o - 16. Solve o*w + 4 = -0*w for w.
-1
Suppose -2*x + 1 = -3. Solve 5 = -x*n - 1 for n.
-3
Suppose -42 = -2*t - 2*x - 3*x, -4*t = -2*x - 60. Let i = t + -16. Let l be 3/2*(-4)/(-3). Solve l*n - 6 = -i for n.
3
Let d(n) = 2*n - 14. Let c be d(7). Suppose w - 1 = -c*w. Solve -4*r = -w - 3 for r.
1
Suppose -d - 13 = -2*c - 2*d, -c - 4 = 4*d. Solve -14 + c = -2*q for q.
3
Let h(d) = 5*d - 5. Let l(k) = -9*k + 11. Let x(q) = -7*h(q) - 4*l(q). Let y be x(9). Suppose y = -6*v + 2*v + 16. Solve 15 = u - v*u for u.
-5
Let n be (6/9)/((-2)/(-9)). Suppose -n*m + d + 14 = 0, 3*d - 13 = -3*m + m. Solve 1 = 2*w - m for w.
3
Let h(b) = -b + 3. Let y be h(3). Suppose -3*s + y*s = 0. Suppose s = -2*w + 12 + 6. Solve w + 6 = -5*t for t.
-3
Let p be 7 - (1 + 3) - 0. Suppose -3*l - 3*j = -30, l + 6 = -3*j + 20. Solve -l = 5*n - p for n.
-1
Suppose 4*i = -i + 20. Let r = i - 2. Suppose -2*z - 3*v = -13, -r*z + 6*v = v + 11. Solve m - z = -1 for m.
1
Let w be 4 + (-18)/(-117) + (-108)/26. Solve w*k = 2*k for k.
0
Let q = 3 + 1. Let a = -5 - -8. Suppose -m = a*m - 12. Solve m = q*v - 1 for v.
1
Let x(b) = b**3 - 2*b**2 - 2*b + 2. Let r = 0 - -3. Let w be x(r). Solve -2 + w = 3*j for j.
1
Let f(q) = -2*q - 2. Let z be f(-2). Suppose -3*u - 3*k = 6, 0*u + 5*u - 25 = z*k. Suppose 5*n - 5 = -5*m, 0 = n - u + 4. Solve -g - m = g for g.
-1
Suppose 5*r - 20 = 4*r. Suppose 5*m - m = r. Solve -i = -6*i - m for i.
-1
Let z = 30 + -19. Let m = 11 - z. Let f be m/(0 + -3 - -1). Solve f = k + 3*k - 12 for k.
3
Let o be (-1 + 7)*3/9. Suppose o*t = t + 9. Let r = 1 + 3. Solve l = r*l + t for l.
-3
Let d(i) = 2*i. Let j be d(1). Solve -5*w + j*w = 15 for w.
-5
Let j be (-7 - 2)*2/(-3). Suppose -2*c + j = f, 4 = 2*f - 0. Suppose p + c = 3. Solve 2*x = 1 + p for x.
1
Let k = -2 - 0. Let d be k/5 + (-312)/(-30). Suppose -3*t - m + 17 = 0, -5*t = -d*t - 4*m + 40. Solve -t*x + 2*x = 6 for x.
-3
Let o = 17 - 10. Let b = -21 + 38. Suppose -x + j - b = -6*x, j = x - o. Solve 1 + 19 = -x*z for z.
-5
Let s = 20 - 15. Solve -s*c + 17 = -8 for c.
5
Let z(b) = b**2 - 12*b - 13. Let u be z(13). Suppose -2*d - 12 = -2*g - 0*d, u = 5*g + 2*d - 16. Solve -g*x + 7 = -9 for x.
4
Suppose 6*w = 5*w + 10. Suppose 6*t + 12 = w*t. Solve t = -2*y + 9 for y.
3
Suppose -6*v = -8*v + 4. Let b(o) = -o + 4. Let k be b(4). Suppose 24 = 4*p - k. Solve v*x + 8 = p*x for x.
2
Let c = -20 - -29. Solve 2*h + c = -1 for h.
-5
Suppose 5*l - 2*p = -3*p + 62, -14 = -l - p. Let w = -12 + l. Solve -3*r + 7 + 8 = w for r.
5
Let b(w) be the first derivative of -w**4/4 + 2*w**3 + 7*w**2/2 - 3. Let n be b(7). Let r(v) = v**2 - v - 1. Let o be r(-2). Solve n = -o*d + 2 + 3 for d.
1
Suppose -9*w = -4*w - 75. Solve -5*j = 5 - w for j.
2
Let g(j) = -j**2 - 5*j + 3. Let n be g(-5). Solve n = -4*z + z for z.
-1
Let c be (10/(-4))/((-1)/6). Suppose -w + 17 = 4*y, 2*w - 8 - 8 = -2*y. Suppose -4*h - 4*o = -12, -w*o + 3*o + 12 = 5*h. Solve c = -h*i - i for i.
-5
Suppose 65 = 2*v + 3. Suppose -3*w - 5*g - v = -11, -w - g = 4. Suppose 0 = -4*o - w*o. Solve n + 1 + 4 = o for n.
-5
Suppose -30 = -4*v + 5*z, -4*v + 2*z + 11 = -13. Suppose 0 = 3*u - 12, -v*o + 5*u - 3 = 2. Solve 0 = -o*r + 2*r + 4 for r.
4
Let w(d) = -7*d**3 - 10*d**2 + 5*d - 4. Let q(t) = -t**3 - t**2 + t - 1. Let v(o) = 6*q(o) - w(o). Let s be v(-3). Suppose -1 = -f + 5. Solve -k - f = -s for k.
-2
Let d(c) = 3*c + 6. Let p be d(-2). Solve 3*i + 7 - 22 = p for i.
5
Suppose 4*z - 16 + 0 = 0. Let p(q) = -q**2 - q + 3. Let j be p(0). Suppose j*l + 9 = -4*w + 3*w, -z*w - 9 = 3*l. Solve 2*c + 8 = -w for c.
-4
Let s(o) = -o**3 + 4*o**2 + 6*o - 2. Suppose 2*c = 0, 3*p + p + 3*c = 20. Let h be s(p). Solve b - 1 = h for b.
4
Let g be 4/(-3) - (-8)/6. Solve g = -4*p + 4 for p.
1
Let s = -39 - -44. Suppose 3*f + 7 - 16 = 0. Suppose -f*l + 18 = -0*l. Solve 0 = -j + l*j - s for j.
1
Let c(m) = -2*m**3 - 2*m**2 + m + 1. Suppose -1 = 3*v + 5. Let y be c(v). Let h = 13 + 9. Solve y = 3*p + h for p.
-5
Let n = -3 - -7. Solve -11 - n = 5*x for x.
-3
Suppose -2*x + 0*u = -2*u - 20, -2*u - 30 = -4*x. Suppose 