for v.
-1
Let f(t) = t + 10. Let m be f(-6). Solve 6 = m*z - 2 for z.
2
Suppose -4*q + 56 = 5*i, q + 4*i - 20 = 5. Suppose 3*p = -0*p - q. Let l be (p/((-9)/12))/2. Solve 4 = -0*a - l*a for a.
-2
Suppose 4*n - 3*f - 23 = 0, 3 + 0 = -3*f. Solve -a - 4 = -n for a.
1
Let a(s) = -s + 15. Let q be a(11). Solve 0*g = 2*g + q for g.
-2
Let m = -118 - -121. Solve 0 = m*v + v - 16 for v.
4
Let n = -92 + 94. Solve -n*t = 2*t + 12 for t.
-3
Suppose -3*a - 27 = -4*m, -5*a - 17 = 4*m - 6*m. Solve 6 = -4*g - m for g.
-3
Suppose -b = b + 10. Let y be 17 + (-5)/(b/(-2)). Let o = y - 4. Solve -5*a = 1 - o for a.
2
Suppose -33 = -l - 3*l + 5*z, -5*l = z - 5. Solve l*f - 8 + 0 = 0 for f.
4
Let j = 16 - 10. Suppose 0*s + 5*n = s - 13, -2*n = 5*s - 11. Let x = j - s. Solve -x*d + 10 = 1 for d.
3
Let y = -39 - -64. Let u = y + -7. Suppose 3*p - 5*f = -2*f + u, 4*p + 1 = -f. Solve -3*i - 2 = p for i.
-1
Let y(u) = -4*u. Let x(v) = 5*v - 1. Let l(k) = -5*x(k) - 6*y(k). Let p be l(5). Solve -5*s + 1 - 26 = p for s.
-5
Suppose 0 = 3*d - 2*p + 228 + 124, 4*d - 5*p = -481. Let g be d/(-9) + (-4)/6. Solve -g = u + 3*u for u.
-3
Let r be 6/9*-1*-24. Let n = r + -10. Let p be n/4 - (-3)/(-6). Solve 2*w - 1 = p for w.
1
Let j = -13 + 20. Let y = j - 5. Solve o = 2*o - y for o.
2
Let u(a) = -a**2 + 6*a - 6. Let f be u(6). Let b be 1*7*f/(-7). Suppose -2*y = -4*y + b. Solve j + y*j = 0 for j.
0
Suppose -3*k = -5*k + 10. Let o(q) = -q + 9. Let y be o(k). Solve 8 - y = -4*n for n.
-1
Let j = -3 + 6. Suppose 0 = 4*i - j - 9. Suppose 0 = v - 1 - 1. Solve -v*g = i*g + 15 for g.
-3
Suppose -4*h = h - 20. Let p(a) = a**3 + 2*a**2 + a + 1. Let n be p(-2). Let t be (-2 + 2)*(-1)/n. Solve t = h*g + 7 + 9 for g.
-4
Let y(i) = i**3 + 5*i**2 + 4*i + 3. Let c be y(-4). Solve c*l + 4 = 10 for l.
2
Let t(s) = s**2 + 2*s - 1. Let p be t(-4). Solve -3*h = -22 + p for h.
5
Let u(g) = g**3 + 5*g**2 + 5*g + 6. Let k be u(-4). Let a be -3 - (-6)/3 - -2. Solve -k*r - 3 - a = 0 for r.
-2
Let y be (-4)/(-24) + 31/(-6). Let j(d) = d - 1. Let a be j(y). Let z be a/(-27) + 50/18. Solve -z = p - 1 for p.
-2
Let v = -4 + 22. Suppose 4*p = v + 14. Solve -4 = -3*i + p for i.
4
Let m(a) = 4 - 3*a**2 - a + 0*a**2 + 2*a**2 + 5*a. Let d be m(4). Solve 0 = -3*z + z - d for z.
-2
Let d(n) = -n**2 - 6*n - 7. Let p be d(-5). Let s be p/4 + 219/(-6). Let f = -21 - s. Solve -5*u = -u + f for u.
-4
Suppose 0*i + 3*i - 34 = -4*b, -4*b = -i - 10. Let k be (0 + (-15)/i)*-2. Suppose 0 = 5*h - 3*u - 20, -2*h - k*u - 4 - 19 = 0. Solve -7 = 2*s - h for s.
-3
Let j be (1/3)/((-2)/(-24)). Suppose -4*q + z - 10 - 8 = 0, -4*q = -4*z + 24. Let o = q + 7. Solve -j = t - o for t.
-1
Suppose 2*k = -3*k + 10. Let b be ((-1)/2)/(k/(-8)). Solve -b*w - 3 = w for w.
-1
Let d be (3 + (-3 - -2))*-2. Let n be (-4 - d)*(-1)/2. Suppose -3*h + n*h = 0. Solve 0 = 3*b - h*b + 3 for b.
-1
Suppose 4*a = -8 + 40. Solve -4*f = -8*f - a for f.
-2
Let l be -2*2/6 + (-385)/(-105). Solve 2*j - 5 = l for j.
4
Let m(t) = -t + 10. Let n be m(7). Solve c = n*c + 6 for c.
-3
Let r = 36 - 36. Let l be 0/(-2) - (2 + -1). Let i(a) = -a**3 + 2*a**2 + 2*a + 1. Let b be i(l). Solve r = -b*w + 10 for w.
5
Let c(n) = n**3 - 5*n**2 - 4*n - 7. Let f be c(6). Let s = f + -5. Solve s*i = -5*i for i.
0
Let g = 12 - 7. Let b be 26/7 - 4/(-14). Suppose -4 = -b*r, r + g - 1 = 5*n. Solve -2*k + 3 - n = 0 for k.
1
Suppose -2*z + 13 = w, 0 = 4*z - 15 + 3. Solve -3 = -j - w for j.
-4
Suppose 2*w + 3*n + n - 66 = 0, -3*w + 4*n + 89 = 0. Suppose 5*a = 4*o + w, 5*a + 0*o = -o + 11. Solve -a*y = -7 + 1 for y.
2
Let k(f) = f. Let h = -10 + 18. Suppose -h = -2*y - 3*y - 3*s, -s = y - 2. Let b be k(y). Solve b - 9 = -4*q for q.
2
Suppose -5*a = -3*a. Solve a*w + 8 = 2*w for w.
4
Let r = 3 - 1. Solve a - r*a + 4 = 0 for a.
4
Let p = -6 - -10. Let u(o) = o + 10. Let j be u(-9). Let s = p - j. Solve 2*d - s = d for d.
3
Let z(b) = 4*b - 11. Let h be z(6). Let q = h - 10. Solve -5*t = -q + 13 for t.
-2
Let m = -2 + 5. Solve m*c - 7*c = 0 for c.
0
Suppose -3*g + 27 - 21 = 0. Solve g*j = -8 - 0 for j.
-4
Let s(v) = -v**3 + 3*v**2 - v + 1. Let r(d) = d**2 + 3*d + 2. Let z be r(-3). Let k be s(z). Solve -m + 4*m = k for m.
1
Let l be (-1 + -3 - -16) + -5. Solve -l = 3*h - 22 for h.
5
Suppose -5 = 7*x - 8*x. Solve u = -4*u + x for u.
1
Let k be 1/5 - 20/(-25). Solve -4 + k = 3*j for j.
-1
Suppose 0 = 2*o + 2*o. Solve 0*k - k + 5 = o for k.
5
Let c = 165 - 149. Solve 18*f - 2 = c*f for f.
1
Let b(z) = -z - 11. Let h be b(-12). Solve -n + 0 = -h for n.
1
Suppose 3*k - 25 = -i, -3*k + 2*k + 4*i + 4 = 0. Suppose 0 = w + 4*m + 13, 4*w = m - 6*m - k. Suppose -6 - w = -3*x. Solve 0 = -x*a + 7*a + 20 for a.
-5
Let l = -4 - -4. Let w = l - -6. Let d = 3 + 0. Solve w = d*c - 0*c for c.
2
Suppose f = 6 - 2. Let z = f + -2. Let h be (2 - 2) + 4 - z. Solve -p = -h*p for p.
0
Suppose 4*m - 6 = -2*o + 16, 20 = 5*m. Suppose u - 14 = -u + 2*k, 0 = -4*u + o*k + 32. Let j be 2/u - 248/(-88). Solve 0 = w + 2 - j for w.
1
Let s = 2 + -1. Let x = -8 - -1. Let y be (x/(-21))/((-2)/(-18)). Solve y*n = 11 + s for n.
4
Suppose 4*d + 591 = 603. Solve 8 = d*b + 2 for b.
2
Let d = -11 + 11. Solve 20 = -d*s + 4*s for s.
5
Suppose f = 2*n - 1, 0 = -2*f - 0*f + 2*n. Suppose -5 = -h + f. Solve 0 = h*p - 2*p - 4 for p.
1
Suppose 5*g = g. Solve 0*t + t = g for t.
0
Suppose 5*q = 5*i, -28 + 10 = -i - 5*q. Suppose n + 2*m = 2, 0 = -4*n - 5*m + i*m + 26. Let x(s) = -5*s**3 + 2*s + 1. Let f be x(-1). Solve -n = -3*b + f for b.
4
Let l be (-2)/(2 - 36/16). Solve y + 3*y = l for y.
2
Let a be (-8)/20 - 34/(-10). Let y = 90 - 86. Solve -a*w + 2*w + y = 0 for w.
4
Suppose -6*r + 2*r = 0. Suppose r*p - 60 = -4*p. Solve 0 = 3*n + p - 3 for n.
-4
Suppose 0 = -3*b - 2*t - 2*t + 16, b - 4*t = 0. Solve s - 1 = -b for s.
-3
Let g(i) = 2*i + 3 - 2*i - 3*i + 2*i**2 + i**3. Let d be g(-3). Let z = 6 - d. Solve -z*u - 3 = -4*u for u.
3
Let k = -10 - -15. Suppose 4*d = -k*j + 22, -5*d = 2*j - 8 - 11. Solve -j*n + 20 = 3*n for n.
4
Let v(w) = -w**3 + 5*w**2 - 4. Let k be v(4). Solve 0 + k = -4*r for r.
-3
Let r be (-1)/((0 + 4)/(-16)). Let i be (r - 1)*15/9. Solve -3*h + 7 + i = 0 for h.
4
Let i be (-3 + 2)*1 + -2. Let o be ((-2)/i)/((-2)/(-6)). Suppose -3*b + 4*u = 16, 3*b - o*u + u = -4. Solve b = -5*t - 20 - 0 for t.
-4
Suppose a = -5*c + 30, -2*a + 0*a = 5*c - 35. Let n = -2 + a. Suppose 3*s + 29 = 5*y, 3*y + 3*s - 15 = 4*s. Solve y = r + n*r for r.
1
Suppose -4*g - 28 + 10 = l, 3*l - 31 = 5*g. Solve 17 - l = 3*d for d.
5
Suppose 0 = 5*h - 2*h - 9. Suppose -4*g + 4 = -m - 2*m, -h*m + 2 = 2*g. Suppose 0 = -2*v + 9 + 7. Solve m = -0*z + 2*z + v for z.
-4
Let m(f) = f**2 - 12*f + 14. Let s be m(11). Suppose 0 = -2*d + s*d - 3. Solve t = -1 - d for t.
-4
Suppose 0 = -c - 0*c + 5*j + 15, 0 = 4*c - 3*j - 9. Let z(i) = -i**3 - i**2 + 5. Let s be z(c). Suppose 0 = -s*t + 4*t + 3. Solve p + t*p - 4 = 0 for p.
1
Let g(x) be the first derivative of x**6/120 - x**4/24 + x**3/3 - x**2/2 + 3. Let t(s) be the second derivative of g(s). Let l be t(0). Solve l*d = 4*d for d.
0
Suppose 3*t + 10 + 5 = s, 3*s = -2*t + 1. Let p = 0 - -2. Let y be p - (2*-1 + 3). Solve y = s*h + 13 for h.
-4
Let y = 3 - 0. Suppose -l + 7 = -h - 4, y*h + 25 = 2*l. Suppose -2*s = -0*s - l. Solve s*b + b = 20 for b.
4
Let k be (-40)/(-6) + (-10)/15. Suppose -k*g - 84 = -3*g. Let i be g/(-6) - (-4)/(-6). Solve -i + 5 = y for y.
1
Let k(u) = -2*u - 15. Let l be k(-11). Solve b + 3 = l for b.
4
Let n be 2*((-9)/(-2) - -1). Solve 5*q = -n - 9 for q.
-4
Let x = 46 + -31. Let g = x - 11. Solve 4*p - 8 + g = 0 for p.
1
Let l be (-4 - -5) + 1 + 0. Suppose 0 = -z + l*z. Solve -2 = -v - z*v for v.
2
Let j = -7 + 8. Let b = j + -1. Suppose b = -5*z - 5*y + 5, 3*y + 2 = -z - z. Solve 1 = z*s - 19 for s.
4
Let r(l) = 2*l**2 + 2*l - 2. Suppose -1 = -p - 3. Let m be r(p). Solve -9 = -m*z + 5*z for z.
-3
Let v = 4 - 1. Let g be (2/(-3) - 0)*v. Let p = g + 7. Solve -2 = p*m + 23 for m.
-5
Suppose -5*y + 12 = -y. Suppose 8*b = y*b + 35. Solve -5*p + b + 13 = 0 for p.
4
Let a(z) be the first derivative of -z**3/3 + z**2/2 - 1. Let x be (-2)/(-5) - (-12)/20. Let y be a(x). Solve 0 = -y*b - 3*b - 3 for b.
-1
Suppose 5*v = -x + 101, 2*v - 3*v = 2*x - 22. Solve 5*z = z - v for z.
-5
Suppose -3*p + 12 = l