 for v.
1
Let w be (72/20 - 6)/((-1)/10). Solve 0 = -8*k + w - 16 for k.
1
Let v(o) = 2*o - 43. Let f be v(23). Let d be f - (12/(-6) + 2). Solve 2 = d*t - 1 for t.
1
Suppose -5*d - 41 + 12 = 2*c, -5 = d. Let i be (c/(-4))/(2/(-104)). Let k = -26 - i. Solve y + k = -3 for y.
-3
Suppose 7*u + 0*u - 161 = 0. Suppose 4*j - 10 = -t, -5 + u = 5*t + 4*j. Solve 2*n = -t - 4 for n.
-3
Let t be 2 + -3*(6 - 0). Let r = -6 - 4. Let s = r - t. Solve -3*f - s = -0*f for f.
-2
Let v(o) = -2*o**3 + 129*o**2 - 64*o + 1. Let b be v(64). Solve 29 + b = -6*q for q.
-5
Suppose -r - 2*r + 9 = 0. Let g be r/4*(-48)/(-18). Suppose -22 = -4*x + g*w, 0*w - w + 7 = x. Solve 3*n - x*n - 12 = 0 for n.
-4
Let y be (6 + 2)/(-56) - 22/(-7). Solve w + 2 = y for w.
1
Let n(y) = -y**3 + 9*y**2 - 6*y - 15. Let q be n(8). Suppose -2*c - 2 + q = 5*x, 2*x = c - 4. Solve -5 = c*m + 3*m for m.
-1
Let m(s) = s**3 - 6*s**2 - 6 + 24*s**2 - 5*s**2 - 9*s**2 - 3*s. Let t be m(-4). Let x be 14/t + 28/42. Solve x*l = l - 8 for l.
-4
Suppose -5*z + 2 = -4*z. Let a(g) = -g**3 + 3*g**2 - 2*g. Let k be a(z). Suppose -5*m + 4 + 1 = k. Solve -3*v + m + 5 = 0 for v.
2
Suppose -3*h + 27 = 4*x, -h + 6*h - 19 = 2*x. Suppose 0 = -j + x*k - 14 + 40, -4*j - 5*k = -70. Let o be 5/((2/2)/1). Solve -o*z - j = -z for z.
-5
Suppose 3*h = 2 + 4. Suppose -2*c = -5*n - 26, -n + h = 2*c - 0. Suppose -c*x - 3*w = -13 - 5, 5*w - 14 = 3*x. Solve -x*q + 9 = q for q.
3
Suppose -294*u = -295*u + 6. Solve o = u - 2 for o.
4
Let z = -76 - -141. Let o be 3/((-115)/z + 2). Solve 0 = -3*f - o - 2 for f.
-5
Suppose 4*k + 5*z = 30, -2*k + 12 = -67*z + 71*z. Solve -k*g + 12*g = 8 for g.
4
Let u(v) = 2*v**2 + 3. Let k be u(2). Suppose -6*o + 47 = k. Solve -l = l + o for l.
-3
Let b(f) = -f**3 - 2*f**2 + 17*f + 13. Let x be b(-5). Let s(i) = i**2 + 3*i - 3. Let c be s(-6). Suppose -6*t = -t - c. Solve x*k + t = -6 for k.
-3
Let f be ((-3)/(-4))/((-25)/(-800)). Solve -7*v - f = -v for v.
-4
Suppose -2*p - 4 = -4*p. Suppose -p*z - 16 = -3*z. Suppose -4*n + 5*v = v - z, 4*v = -2*n + 8. Solve -n*b = b for b.
0
Let t be (-2 + 1)*15*(-410)/25. Solve -243*u - 15 = -t*u for u.
5
Let s be ((-2 - -1) + 2)*1. Let h = 8 + s. Suppose -h = -3*n + 3. Solve -3*y = -n + 1 for y.
1
Suppose -4*s - 37 = -3*t, 4*t + 0*t - 41 = -3*s. Let z = t - 6. Suppose 4*h = 2*d, 2*h + 3*h - z*d + 5 = 0. Solve h = -f - 4 for f.
-5
Suppose -32*y + 95 + 129 = 0. Solve -15*c - 16 = -y*c for c.
-2
Let m(s) = -s - 2. Let w be m(-5). Let a(g) = 11*g - 31. Let u be a(7). Let h = -44 + u. Solve h = i + w for i.
-1
Suppose 21*r + 88 = 17*r. Let l = 25 + r. Solve -w = l*w - 8 for w.
2
Let m = -2 + 2. Suppose m = h - 6*h + 70. Solve 5*x = h + 1 for x.
3
Let b(m) = 5*m**2 - 2*m + 2. Let k be b(0). Solve -3*d - k = -d for d.
-1
Suppose -f - 2*h = -6*f + 115, 0 = -5*h. Let c = 42 + -22. Let s = f - c. Solve 4*j - s = 1 for j.
1
Suppose -22 = -w - 4*k, -3 = w - 0*w - k. Suppose c - w*c = -3*l - 3, 3 = -3*l - 5*c. Let r be (-1)/(l + 0/(-3)). Solve -r - 2 = 3*n for n.
-1
Let n = -16 + -18. Let s = 36 + n. Solve -s = -4*b - 10 for b.
-2
Suppose 4*l - l = 12. Let t(v) = -v - 1. Suppose -5*r + i - 3*i = 48, -26 = 3*r + 4*i. Let x be t(r). Solve x = l*h - 11 for h.
5
Let h(p) = -1 - 62*p + 64*p + 1. Let f(z) = z**2 + 7*z + 7. Let m be f(-6). Let g be h(m). Solve -10 = -4*r + g*r for r.
5
Let f(d) = -d**2 + 10*d - 11. Let v be f(8). Let u(y) = y**3 - 3*y**2 - 8*y - 6. Let a be u(v). Solve 0 = -a*m + 29 - 9 for m.
5
Suppose 0 = x + 4*x + 5. Let j be (-3)/x*6/9. Let y be 7/2 + (-10)/20. Solve -j*p = -y*p for p.
0
Let t be -4*5/(-4) - 3. Let z be (t/(-4))/((-22)/220). Solve -z = -3*y + 8*y for y.
-1
Let q(h) = 2*h**3 + 22*h**2 + 16*h - 36. Let n be q(-10). Solve -n*z + 6 + 6 = 0 for z.
3
Suppose 2*c + 64 = 70. Solve 0 = -c*m + 6*m for m.
0
Let q be 825/22*(-20)/(-25). Solve 18 = -3*r + q for r.
4
Let i = 131 - 122. Solve 0 = i*g - g - 8 for g.
1
Let d = -404 - -408. Solve -d*c - 4 = -0*c for c.
-1
Suppose -f = 5 - 6. Suppose -3*c - f + 16 = 0. Solve -3*g + 2*g = c for g.
-5
Suppose 5*f = -0*f + 25. Let u be -2 - -2 - (f - 7). Let w be ((-8)/u)/((-14)/35). Solve -8*g - w = -3*g for g.
-2
Suppose 6*u - 9*u = -5*h + 25, -3*u - 7 = 4*h. Solve 105 = -h*p + 103 for p.
-1
Let i(p) = 2*p + 8. Let b be i(-7). Let y = 9 + b. Solve 0 = -3*r + y - 6 for r.
-1
Let g be ((-10)/10)/((-2)/6). Suppose -3*i + 6 = 0, 4*t = g*t + 2*i - 2. Solve -k - t*k - 12 = 0 for k.
-4
Suppose 0 = 46*r - 17*r - 29. Let b(c) = c**2 - 9*c + 9. Let q be b(8). Solve h = -r - q for h.
-2
Let b be ((-20)/(-24))/((-2)/(-12)). Suppose -o + 2*o - 33 = b*w, 2*o + 9 = -5*w. Solve 3*q = -2 + o for q.
2
Suppose 0*z = -2*z + 2. Let u(p) = p**3 - 9*p**2 + 12*p + 5. Let f be u(6). Let l(c) = -c**3 - 31*c**2 - c - 23. Let h be l(f). Solve 3*s = h + z for s.
3
Suppose -2*c - z - 27 = 0, -2*z = 4*c + 3*z + 69. Let v = -10 - c. Let d be 26 + -10 - (2 + v). Solve -2*h + d = 3 for h.
5
Suppose 4*b = -16, 0 = -3*i - 20*b + 16*b - 16. Let t(a) = -a**3 - a**2 + a + 4. Let f be t(0). Suppose 0 = 4*q - 2*q - f. Solve -q*n - 3*n + 5 = i for n.
1
Let w be (-5)/(-3) + (-3)/(-9). Let j(t) = -20*t + 30. Let h be j(5). Let p = h + 71. Solve u + w = p for u.
-1
Suppose 5*f = -0*f + 10. Let x be (2 + 21/(-6))/(10/(-120)). Suppose 5*k - x = -0*k - 4*h, -3*h + 10 = 2*k. Solve -b + f*b = k for b.
2
Let c = -20 - -16. Let y be (-38)/(-209) + c/22. Solve y = 4*x - 0*x for x.
0
Let a = 0 + 3. Let t(o) = 10*o. Let r be t(1). Let j = r - 6. Solve a*w = j*w - 5 for w.
5
Let a(u) = -7*u + 81. Let h be a(8). Solve -s - 4*s + h = 0 for s.
5
Let x(o) = -o**2 - 3*o + 5. Let f be x(-4). Suppose 5*d - 5*k - 6 - 69 = 0, -2*k + 3 = d. Solve -3*i - f - d = 0 for i.
-4
Let n(h) = 5*h**2 - 2. Let b be n(2). Suppose -b = 10*t - 16*t. Solve f = 4*f - t for f.
1
Suppose 18*f - 24 = 6*f. Let h = 4 - -8. Solve h = -f*a + 5*a for a.
4
Suppose 5 = m - 0*m, -2*y - m = 13. Let z be 2/y + (-2951)/(-117). Solve -3*l = 2*l + z for l.
-5
Suppose -4*h = -51*t + 47*t - 220, 2*t - 165 = -3*h. Solve -53*w = -h*w + 4 for w.
2
Suppose -66*y + 61*y + c + 52 = 0, 0 = -2*y - 4*c + 34. Solve -16*p = -y - 5 for p.
1
Let u = 5 + -5. Suppose u = 2*d + x - 16, 3*x + 2*x + 37 = 3*d. Solve 0 = 3*m - 3 - d for m.
4
Let s(m) = m + 7. Suppose 2*j + 15 = 7*j. Let p(o) = o**2 - 5*o + 2. Let t be p(j). Let w be s(t). Solve 0 = -3*v - 0 - w for v.
-1
Let n = -1227 + 1293. Solve -65*q + 3 = -n*q for q.
-3
Let s(m) = m**3 - 8*m**2 - 2*m + 12. Let j be s(8). Let r be (3 + 26/(-8))*j. Suppose -x + 0 = -r. Solve 4*v - 5 + x = 0 for v.
1
Let a(k) = k - 1. Let c be a(0). Let b(z) = -z**3 - 42*z**2 - 43*z - 77. Let p be b(-41). Let r = p + c. Solve -r = 2*u - u for u.
-4
Suppose -2*q = -3*v - 0*v + 12, -16 = -q - 4*v. Let i = 553 - 550. Solve 0*j + 3*j + i = q for j.
-1
Suppose 10*z - 70 - 50 = 0. Solve -10*q + 38 = -z for q.
5
Let b be 11 - 3 - 4/1. Suppose -b*n + 5*n = 17. Suppose 0 = 3*m + 12, -t - n = -m + 6*m. Solve 6 - t = a for a.
3
Let r(i) = -i**2 - 9*i - 10. Let g be r(-4). Solve -4*h - g = -2*h for h.
-5
Suppose 6*z - 4*z = 0. Suppose z = 3*h - 6 + 3. Let j(f) = 16*f**2 - f. Let r be j(h). Solve -3*l = -0*l - r for l.
5
Suppose -515*a + 517*a - 16 = 0. Solve 0 = -a*k + 5*k for k.
0
Let i(o) = o + 3. Let q be i(2). Suppose 6*f - f = q. Let y be -1*(f - 24/4). Solve y*v = 4*v + 4 for v.
4
Suppose -w + 0 = 3*i + 14, -5*i = -5*w + 30. Let s be 1*(0 + -1 + w). Solve s = -3*g - 5 + 2 for g.
-1
Suppose 27 = 3*h + 6*h. Suppose 7*y = h*y. Solve -n + 4*n = y for n.
0
Let h = 8 + -6. Suppose -3 = -h*q + 5. Let p be q/(-3)*3/(-2). Solve 0 = -p*j + j + 4 for j.
4
Let s = -1 + 3. Suppose -1 = x + 2*t + s, 4*t = x - 15. Solve -p = -x*p for p.
0
Let l be (54/(-36))/(1*(-3)/6). Let o(t) = t - 2. Let i be o(6). Let u(d) = d**2. Let p be u(i). Solve p = -l*k + 4 for k.
-4
Let b be 42/147 + 19/7. Let x be b/((-3)/16*-4). Solve -4 = x*s + 12 for s.
-4
Let h(w) = w**2 - 14*w + 6. Let x be h(13). Let k be 57/21 - 2/x. Solve -2*a = -k*a - 2 for a.
-2
Let z(u) be the third derivative of 5*u**4/24 - u**3/6 + u**2. Let j be z(1). Let o(l) = l**3 - 19*l**2 + 26*l - 139. Let d be o(18). Solve 3*b + d = j*b for b.
5
Let s(c) = -5*c**3 - c**2 + c - 4. Let g(n) = -2*n**3 - 1. Let q(m) = 8*g(m) - 3*s(m). Let a be q(2). Solve 2*z + a =