v for v.
3
Suppose -u + 5*u + 5*s = 28, -2*s + 8 = 0. Solve u*j + 6 - 16 = 0 for j.
5
Suppose -2*c = c. Solve 0 = -3*s - c*s - 15 for s.
-5
Let i(v) = v**3 - 2*v**2 - 2*v - 3. Let y be i(3). Solve 2*d + 2*d = y for d.
0
Suppose 0 = -2*m + 3*m - 13. Let z = 1 + m. Solve 0 = 4*v + z + 2 for v.
-4
Suppose -16 = -4*j + 4*q, 3*q = -2*j + j + 4. Let b(c) = -c**3 + 5*c**2 - 2*c + 2. Let v be b(j). Solve -4*a + 6 = -v for a.
4
Let l(v) = v**2 + 5*v + 5. Let h be l(-5). Let b = -3 + h. Solve -2*f - 2 = b for f.
-2
Let a(h) = -5*h - 2. Let f be a(-2). Let p(c) = -c**3 + 7*c**2 + 10*c - 7. Let x be p(f). Solve -d - x = 2*d for d.
-3
Let p = 116 + -110. Solve -p*z = -10*z - 4 for z.
-1
Let q(c) = c**2 - c. Let f be q(1). Let m = f - -3. Suppose 0 = 2*l - m*l. Solve -z + 0*z - 2 = l for z.
-2
Suppose -4*f - 2 = -10. Suppose -3*l + 12 - 3 = 0. Solve -5 = l*s - f for s.
-1
Let r be (-6)/(-2)*40/30. Solve 11 = r*x - 5 for x.
4
Let c(t) = t**3 - 8*t**2 + 7*t + 4. Suppose 0 = -4*r + 3 + 25. Let i be c(r). Solve 4 = i*o - 0*o for o.
1
Let d(j) = -5*j + 1. Let g be d(-1). Suppose -4*v = -2*v - g. Suppose -21 = -c - c - 3*o, 5*c + v*o = 30. Solve 12 = c*r - 7*r for r.
-3
Suppose p - 3*c = -6*c + 9, -2*p - 4*c + 14 = 0. Suppose -5*l + 20 = -0*t - 4*t, 12 = 3*t + 3*l. Solve m + t = p for m.
3
Let j(c) = c - 3. Let q be j(3). Solve q - 2 = y for y.
-2
Suppose -5*r = 4*w + w - 25, 4*w - 3*r - 13 = 0. Solve 0 = -q + w*q - 6 for q.
2
Let p be 6/(-5)*(-5)/1. Suppose -13 = -5*c - w, 5*c - 3*w + 2 - 3 = 0. Solve -i = c*i + p for i.
-2
Suppose -3*z - 3*c + 7 + 2 = 0, -2*z = 5*c - 9. Solve n + z = -3 for n.
-5
Suppose -3*g = -0*g + 4*y + 19, -4*y + 33 = -g. Let v = g - -16. Solve -2*r - v = r for r.
-1
Suppose -5*j + 2 = -7*j. Let m = j - -3. Let g be 2/(m + (-6)/4). Solve -8*r = -g*r for r.
0
Suppose -3 - 3 = -3*i. Solve -3*a + 3 = -i*a for a.
3
Suppose -5*y = -0 - 45. Let c(k) = k**2 - k - 3. Let s be c(3). Solve 0*l = s*l + y for l.
-3
Suppose 0 = -2*u + 3 + 1. Let h(k) be the third derivative of k**4/24 + k**3/6 - 2*k**2. Let f be h(2). Solve -5 = f*j - u*j for j.
-5
Let x = -1 + 4. Suppose -g + 3*g = 4*q + 40, x*q = -4*g - 52. Let d be 1/(-4) - 63/q. Solve d*p = -4 - 16 for p.
-4
Let t(q) = q + 1. Let d be t(3). Suppose -2*x + 19 = -4*w - 1, -3*x = d*w + 20. Let m = 37 - 34. Solve -2*o - m - 1 = x for o.
-2
Let u be 2*-9*3/(-18). Solve 0 = -f - 0 - u for f.
-3
Let y(i) be the third derivative of -i**4/12 - 19*i**3/6 - 3*i**2. Let k be y(-13). Let v = k + -3. Solve 6*z = v*z for z.
0
Suppose 4*g = 5*z + g - 18, 5*z = -g + 14. Suppose -1 = -z*i + 5. Solve 3*c - 25 = -i*c for c.
5
Suppose -3*u - 4*n - 4 = 0, -2*u - 3*u + 36 = -4*n. Solve 7*a - u*a = 6 for a.
2
Let c be (-4 - -9) + 1*-1. Suppose c*t + 24 = 2*b - 0*b, 5*t + 32 = 3*b. Solve -b + 2 = z for z.
-2
Suppose -3 - 6 = -3*s. Let m = s - -2. Solve 3*z + m = -1 for z.
-2
Suppose 103*i = 106*i - 12. Solve -23*y + 27*y + i = 0 for y.
-1
Let a(d) = -d + 3. Let z be a(5). Let j = 2 + z. Solve j*x - 4*x = 4 for x.
-1
Suppose 0 = -4*i + 12, -19 = v - i - 0. Let z = -10 - v. Solve -k + 25 = -z*k for k.
-5
Let s = 8 - 6. Let g(t) = t**2 + 4*t + 6. Let r be g(-6). Solve -r = 4*a - s for a.
-4
Let r(v) = v**2 + 5*v + 4. Let o be r(-4). Solve -2 = -a - o for a.
2
Let b = -3 + 1. Let y be (-1 - b)/((-2)/(-14)). Solve -2*h + 25 = -y*h for h.
-5
Let z(q) = 3*q - 9. Let f be z(7). Solve 0 = 3*m - 0*m + f for m.
-4
Suppose 5*n - n = 0. Suppose n = l + 2 - 20. Let m = -10 + l. Solve -4*j = -m*j for j.
0
Let o(p) = -p**2 + 10*p + 13. Let v be o(11). Let j be v - 2*2/4. Solve -h + 1 = -j for h.
2
Let p be -1 - (-4 + (-6)/(-3)). Suppose 2*v = i, 4 - p = v. Let x(y) = -y**3 + 7*y**2 - 7*y + 9. Let f be x(i). Solve f*a + 5 = -2*a for a.
-1
Let q(a) = -a**2 + 11*a - 2. Let o be q(9). Solve -7*n + 3*n = -o for n.
4
Let o(m) = 2*m**3 - 4*m**2 - 2*m - 7. Let u be o(3). Solve -5 - u = 2*t for t.
-5
Let m = 2 + -18. Let d be -1*(m - 0)/4. Solve -d - 1 = r for r.
-5
Let w = 4 - -11. Solve -4*m - w = m for m.
-3
Let v be (-40)/15 + 2/3. Let p = v - -6. Solve p*u = u + 3 for u.
1
Let n be ((-3)/6)/(1/(-38)). Let z = n - 9. Suppose -5*s = -z - 10. Solve 2*j = -0*j - s for j.
-2
Suppose 8*a = 3*a - 40. Let k = -1 + -3. Let l = k - a. Solve -l = w + w for w.
-2
Let g(k) = -3*k + 9. Let b be g(2). Solve s - 4*s = -b for s.
1
Let v = -7 - -11. Let o be 3 + (v/2 - 2). Suppose -2*c + 15 = 5*a, o*c - 5*a = -c + 15. Solve 4*x = -x - c for x.
-1
Let q = -5 - -6. Solve q = 2*c + 3 for c.
-1
Suppose -8*l + 7*l = 0. Solve -u + 1 = -l for u.
1
Let o(x) be the first derivative of -x**4/4 - 2*x**3 + 3*x**2 - 5*x + 7. Let h be o(-7). Solve 0*v = -h*v for v.
0
Let t be (-26)/(-8) - 2/8. Suppose 5*v - 2 = 3*a + 12, -t*a - v = -10. Solve -2*o - a = -10 for o.
4
Suppose -33 = -5*f + q, f - 1 + 4 = 5*q. Suppose -4*d = -5*u - 2*d + 12, -d = -5*u + 11. Solve -u*p + f*p = -5 for p.
-1
Let a be 6/2 + 0/4. Suppose 5*k = 2*c + 20 + 10, 18 = a*k - 2*c. Let b = 6 - k. Solve b = g - 0*g for g.
0
Let k = 0 + 7. Let g = k - 0. Solve g = -m + 3 for m.
-4
Let z(u) = -u + 14. Let g be z(10). Solve -20 + 4 = g*t for t.
-4
Let p be (-2 + (-9)/(-3))*-25. Let y = 17 + p. Let b = 11 + y. Solve -15 + b = 3*u for u.
-4
Let d be (-22)/(-33) + 8/6. Solve 5 = -3*c + d for c.
-1
Let r = 1 - 0. Let j = r - -1. Suppose 0 = -3*s + 5*s - j. Solve -f - s = -6 for f.
5
Suppose 2*a = 3*a + 1, 4*a = v - 6. Suppose 14 = x + 4*o, -3*x + 0*o + 12 = -3*o. Let y = 8 - x. Solve -y*q = v*q for q.
0
Let f(o) be the first derivative of -1/3*o**3 - 1 + 7*o - 3*o**2. Let c be f(-7). Solve -3*q + 15 = -c*q for q.
5
Let r = 25 + -25. Solve r*l - 4*l = 0 for l.
0
Let o be 1/(-2) + 4/8. Let z = 9 + o. Suppose z - 5 = 2*d. Solve d*k + 3 = k for k.
-3
Suppose -u - 39 = -41. Solve u*v + 4 = -2*v for v.
-1
Suppose -16 = 3*m + 32. Let i = m - -28. Solve p - 5*p = i for p.
-3
Let s be 8/(-28) + 6/21. Solve s = v - 4 - 1 for v.
5
Let l = 9 + -5. Suppose 3*s = -2*q + 2*s + 80, 2*q - 56 = 5*s. Suppose j + q = 4*f + 6*j, 3*f - 27 = -3*j. Solve l*z + 9 = -f for z.
-4
Let d(t) = 6*t + 1. Let a be d(6). Suppose 0 = 2*z - c - 0*c - 29, 5*c + a = z. Solve 4*i - i = z for i.
4
Let p = -3 - -11. Let d = 1 + 1. Let s = 5 - d. Solve -g = -s + p for g.
-5
Let g(k) be the first derivative of k**2 + k - 1. Let w be g(2). Let i be (-16)/(-10)*w/2. Solve -i = 5*l + 1 for l.
-1
Let b(i) be the third derivative of i**5/60 + 3*i**4/8 - 7*i**3/6 - 4*i**2. Let z be b(-10). Suppose 3*l - 9 = 2*j, 2*l - 3*j - 7 = 4*l. Solve -d = l + z for d.
-4
Let x(u) = 2*u**2 + 2*u - 3. Let f be x(2). Solve 3*y - f = -0*y for y.
3
Let d(s) = -s - 5. Let m be d(-5). Let y be m + (3 + 3 - -3). Suppose l + 2*l = y. Solve 0 = l*n - 6*n for n.
0
Let r(q) = 3*q**2 - 9*q - 2. Let i(x) = 2*x**2 - 5*x - 1. Let l(o) = 10*i(o) - 6*r(o). Let h = 1 + -4. Let f be l(h). Solve s = 3*s + f for s.
-4
Suppose 0 = -q + 10 - 8. Suppose -t - q*t = 0. Suppose -3*p + t = -9. Solve -2*b - p*b = -15 for b.
3
Let r be (1 + -1)/(18/9). Solve -3*t = -r*t for t.
0
Let y be 4 - -2*(-3)/(-6). Let u(j) = j. Let m be u(1). Let t = y + m. Solve -t*c + 5 = -c for c.
1
Let g(z) = -14*z**2 - 30*z + 2. Let p(y) = -5*y**2 - 10*y + 1. Let t(x) = -6*g(x) + 17*p(x). Let n be t(10). Solve 10 + n = 3*v for v.
5
Let n(f) = -f**3 - f**2 + 3*f + 2. Let l be n(-2). Suppose -3*j + j + 4*c = l, -3*j = c. Let t(z) = 2*z - 15. Let w be t(12). Solve 3*h = -j*h - w for h.
-3
Let q = -30 + 34. Solve -q = -0*a + a for a.
-4
Let z = 2 - -1. Suppose z*i - 10 - 35 = 3*a, -4*a + 5 = i. Let t = i + -4. Solve -t = b + 2*b for b.
-3
Suppose 5*y + 5*a = 2*y + 28, 0 = y - 4*a + 2. Let n be y/(-2) + 0 + 4. Suppose -4*u = i - n, 0 = 3*u + 4*i + i - 5. Solve -g + 1 = -u*g for g.
1
Let q be (-4)/(2/(-2))*(-168)/(-96). Solve 10 = -2*s + q*s for s.
2
Suppose -3*w - 3*v = -w + 3, w = 4*v + 26. Solve -w = -3*c + 6*c for c.
-2
Let u(t) = t**2 - 10*t + 9. Suppose 5*l - 31 - 14 = 0. Let f be u(l). Suppose 0*a - 3*p = 5*a - 12, -2*a + 10 = -4*p. Solve f = a*d - 6*d - 12 for d.
-4
Let r = -21 + 24. Solve 0 = r*d - 4*d + 3 for d.
3
Let s(t) = -3*t - 12. Let r be s(-6). Solve -3*m + 0 = -r for m.
2
Let s(m) = -m**2 - 7*m + 12. Let n be s(-8). Solve i - 3 = n*i for i.
-1
Let a be (-2)/8 - 21/(-4). Let h(c) = -c**3 + 12*c**2 - 9*c - 16. 