 + 8 = v for t.
2
Suppose -11*j + 9*j = 0. Solve j = 2*w + 11 - 13 for w.
1
Let z(p) = p + 6. Let x(u) = 1. Let t(w) = -6*x(w) - z(w). Let y be t(-13). Solve 9 + y = 2*g for g.
5
Suppose -4*f = -3*f - 4. Solve -4 = -8*c + f*c for c.
1
Suppose 24*g + 33 = 105. Solve -g*o = -o + 4 for o.
-2
Suppose 3*m - 62 - 7 = 0. Suppose 5*r = -4*p + 5*p + m, 2*r - 17 = 3*p. Solve -a = r*a for a.
0
Suppose 2 = 3*d + 5*t + 27, 5 = 5*d - t. Solve d = 8*w - 5*w - 12 for w.
4
Suppose h + 15 = 6*h. Suppose h*d = -5*l + 5, -2 = 2*d - 4*l + 2. Solve 5*g = -d - 20 for g.
-4
Let d be 14/(-2 - (0 - 1)). Let c(h) = 6*h**2 + 4*h - 2. Let l be c(-2). Let o = l + d. Solve -a - a = o for a.
0
Let d be 3/(-6) + 4/8. Let k be 3960/400 + 2/20. Solve -2*u = -k - d for u.
5
Let u(b) = -b**3 + 4*b**2 + 13*b - 2. Let y be u(6). Suppose 4*m = -5*r - 8, -y*m + 4 = -r - 12. Suppose -4 = -m*l + 2. Solve 5*n + 8 = -l for n.
-2
Suppose 2*k = 6*k + 5*c - 41, 2*c + 16 = 2*k. Solve k*x - 8 = 5*x for x.
2
Suppose -3*r - 2*r + 31 = l, -68 = -5*l + 4*r. Let q = l + -11. Suppose b - 2*b + q*x - 6 = 0, 0 = -5*b - 4*x + 28. Solve -v = 1 + b for v.
-5
Let s = -305 - -329. Solve s - 4 = -4*i for i.
-5
Suppose -52 = -2*c - 5*p, -4*p = 10*c - 5*c - 96. Solve -6*x + 2*x = -c for x.
4
Let j(i) = i**3 - 4*i**2 - 5*i + 6. Let l be j(5). Suppose l*o - o = 10. Solve y = o*y for y.
0
Let x(g) = -g + 1. Let k be x(-4). Let l = 144 - 127. Suppose -5*v = -3*o - l, 5*v + k*o - 6 = 19. Solve v*i - 4 = 4 for i.
2
Let n = -5 - -5. Suppose 3*j + 11 + 4 = 0. Let z(l) = -l + 1. Let t be z(j). Solve n*u - t = -2*u for u.
3
Suppose 0 = -2*a + a + 3*h, -4*a + 13 = h. Suppose 0 = -4*m - 4, r - 3*r - a*m + 1 = 0. Suppose -t + 5*t - 12 = 0. Solve -t*j = -r*j - 2 for j.
2
Let d(g) = -7*g**3 + 2*g**2 + 2*g + 1. Let w be 2/1 + -5 + 2. Let l be d(w). Suppose -3*f = 8*f + 115 - 148. Solve -l*z + f*z = 0 for z.
0
Let m(a) = -9*a**3 - 7*a**3 + 2 + 15*a**3 - 9*a**2 - 3*a**2. Let x be m(-12). Let t(s) = s**2 + 9*s + 12. Let k be t(-8). Solve k*g = x*g - 10 for g.
-5
Suppose -l = 4*q + 43, -4*q = 5*l - 7*q + 123. Let z = l + 29. Solve 10 - z = 2*h for h.
4
Let i be 2/(-7) + (-14)/(-49). Suppose 3*t = -5*g + 23, -2*t + i*t = 4*g - 16. Suppose -32 = -5*d - 5*h - 12, 0 = -3*h + 6. Solve d*w = t*w for w.
0
Let o(r) = -r**3 + 5*r**2 + 5*r + 18. Let l be o(6). Solve l = 3*v + 9 for v.
1
Let f be 0/(-1 + 1 + -2). Let s(t) = -t**2 - 13*t - 27. Suppose 0 = -b - 4, 2*o + 11 = -3*o + b. Let m be s(o). Solve f = m*d + 2*d - 5 for d.
1
Let k be (1164/(-485))/((-3)/(-10)*-1). Solve -6 = k*q - 2*q for q.
-1
Let q = -21 + 35. Let m = 1 - 0. Suppose 0 = 260*p - 377*p. Solve -3*v - m - q = p for v.
-5
Suppose 0 = l - 4*j + 1, -5*j + 4 - 5 = -2*l. Solve 8*g = -11 + l for g.
-1
Suppose 5*w + 2*r - 26 = -r, -3*w + 2*r + 8 = 0. Solve y = -w + 9 for y.
5
Let r = 851 + -847. Suppose -3*z - 3*s = -150, 5*z - 235 = -3*s + s. Suppose 4*n = -3*p + 28, -5*n - 4*p - 9 + z = 0. Solve r*c = -0*c + n for c.
1
Let t = -6 + 8. Solve 0 = u - t + 3 for u.
-1
Let s(p) = 3*p - 20. Let r be s(10). Solve q = -13 + r for q.
-3
Let u(f) = f**2 - 23*f + 137. Let n be u(11). Suppose -w + 2*w + 2 = 0. Let j be 4 - 2 - w - 2. Solve -j = -3*o - n for o.
-1
Let f(t) = t + 20. Let b be f(0). Let r be ((-16)/b)/(6/(-15)). Let g be r/9 + 490/63. Solve z - g = -3 for z.
5
Suppose 4*y - 14 = 2*n, 0 = -y - 0*n - 5*n - 2. Let m be 0*(y/(27/(-3)) - 0). Solve 4*f - f + 15 = m for f.
-5
Let o(r) = r - 5. Let q be (-1 - -4)*(-52)/(-12). Let w be o(q). Let c = -2 + w. Solve 3*k - 3 + c = 0 for k.
-1
Let g = 898 + -898. Solve -5*l - 3*l + 40 = g for l.
5
Suppose 3*r = -3119 + 3131. Solve -5*a = -r*a - 3 for a.
3
Suppose 0 = 2*g - 3 - 9. Suppose -8 = -c + 2*j, -2*c = -g*c - 3*j + 43. Let d = c + -8. Solve -3*v + d = -v for v.
1
Suppose -2*j - 1 = 15. Let d(m) = m**2 + 8*m + 6. Let y be d(-6). Let h = y - j. Solve 2*u - 2 = h for u.
2
Suppose 2*g = -g. Let p(z) = -2*z - z - 6 + 2 + 5*z. Let l be p(4). Solve g = -n + l*n + 6 for n.
-2
Suppose r = 243 - 239. Solve r = -57*f + 61*f for f.
1
Let n be (-6 + 1)*(1 - 0). Let h be 10*-1*1*(4 + n). Solve 6*q - h = 11*q for q.
-2
Let k be (-1670)/(-105) + 20/210. Solve k = 2*t + 24 for t.
-4
Let g(i) = i**2 - 4*i - 10. Suppose -u + 3*v + 22 = 7*v, -2*u - 4*v = -28. Let s be g(u). Solve -8 = s*x - 2 for x.
-3
Suppose -2*l + 48 = 2*n, l + 4*n = 21 - 12. Solve 0 = -5*v + l - 9 for v.
4
Let m = 369 - 369. Solve 3*t + 12 + 0 = m for t.
-4
Let d(x) = -6*x + 18. Let i(t) = 3*t - 6*t + 11 - 2. Let k(b) = 3*d(b) - 7*i(b). Let l be k(4). Solve 0 = -l*q + 3 + 9 for q.
4
Suppose 0*f = 4*f. Suppose 0 = 4*l + 2 - 2. Suppose l = -f*b + 2*b. Solve 0 = -b*w + 5*w for w.
0
Let k(y) = y**3 + 19*y**2 + 13*y + 15. Let j be k(-18). Let u be 14/(-2)*(-120)/j. Solve -u = l + l for l.
-4
Suppose 4*m = -0*m. Suppose m = -2*f - 3*f + 5*r + 10, -f + 2 = -5*r. Let b(k) = 247*k - 739. Let v be b(3). Solve 6 = -f*q - v for q.
-4
Suppose -4*k - 8 = -3*n - 130, 5*k = 3*n + 154. Solve 0 = -6*m + 32 - k for m.
0
Suppose -3*m + 5 + 1 = 0. Suppose -3*v - 2*v - 4 = 2*b, 3*v = 3*b + 6. Solve v = -0*l - 2*l - m for l.
-1
Let q be (-9)/(-2) - (-5)/10. Suppose q*j + j = 24. Suppose -6*m + 12 = -2*m + j*i, -4*m + 4*i + 20 = 0. Solve -3*z - m = -19 for z.
5
Let t(o) = 2*o**2 + o + 1. Let v(p) = -p**2 - p - 1. Let c(f) = t(f) - v(f). Let l = 20 - 21. Let a be c(l). Solve -a*b + 3 = 6 for b.
-1
Let m(v) = v**2 - 8*v + 7. Let z be -2 + 2 + -27 + -3. Let n be (28/10)/((-12)/z). Let w be m(n). Solve w*h - 6 = -3*h for h.
2
Let q(l) be the second derivative of l**3/6 - 6*l**2 - 3*l. Let m be q(17). Suppose 3*p = -2*p + m. Solve 0*y = -y - p for y.
-1
Suppose -2*u - 2 = -6. Suppose 3*s - 3*j - 27 = 0, -12 = -5*s - u*j + 26. Solve s = -p + 3*p for p.
4
Suppose s + 60 = 4*h, -4*s - 202 = 2*h + h. Let r = -49 - s. Solve r*q = q for q.
0
Let r be -2 - (-1 - 1)/(-1 - 1). Let t(z) = 5*z + 13. Let c(q) = -q - 1. Let b(p) = 4*c(p) + t(p). Let m be b(r). Solve -2*j + m*j = 4 for j.
1
Let i(l) = l**2 - 2*l - 1. Let r be i(-2). Let d(h) = -h**3 + 6*h**2 + 7*h + 10. Let t be d(r). Solve 0 = 2*o + t - 0 for o.
-5
Let c = 10 - 56. Let d be 32/(-112) + c/(-14). Solve 0 = 2*f + f + d for f.
-1
Suppose -t = 3 - 12. Suppose 8*q = t*q - 12. Solve 2*c + q = 6*c for c.
3
Let x(p) = -p - 13. Let q be x(-13). Let g(v) be the third derivative of v**6/120 - v**5/60 + 5*v**3/3 - 2*v**2. Let i be g(q). Solve a - i = -a for a.
5
Let x(v) = 5*v**2 - v - 1. Let u be x(1). Let h be ((-2)/u)/((-3)/9). Solve y - 3 - h = 0 for y.
5
Let j(b) = -b**3 - 5*b**2 + 7*b - 17. Let s be j(-7). Suppose -8*z + s = -4*z. Solve z*a + 20 = 3*a for a.
-4
Let r(a) = -a + 2. Let s be r(0). Let c = 2 - s. Suppose x - 5 = c, 2*h - x - 4 = -3. Solve -2*i - h*i + 5 = 0 for i.
1
Let u(a) = -a - 3. Let h be u(-5). Suppose f - 2 = h. Suppose -4*y + 48 = f*y. Solve 3*s - y - 6 = 0 for s.
4
Suppose -10*w = -6*w - 16. Solve 0 = l + w*l - 20 for l.
4
Let m = 82 - 68. Solve -9*k - m - 13 = 0 for k.
-3
Suppose 0 = 2*c - 4*l - 18, 4*c = 4*l + 27 - 3. Solve c = -8*z - 37 for z.
-5
Suppose -3*o + 4 = -4*j, 0 = 3*j - 0*j + 3. Solve o = -45*x + 46*x + 3 for x.
-3
Suppose -4*p = 23*p - 432. Solve -11*u = -19*u + p for u.
2
Suppose 4*h - 4 - 13 = -5*m, -5*h + m + 14 = 0. Suppose o = -z + h, 0 = -5*o + z + z + 29. Solve -5*s - o + 30 = 0 for s.
5
Let x = 1414 - 1383. Solve -5 = -18*u + x for u.
2
Let l = -5 + 2. Let t = -2 - l. Let u be (1 - -1 - 2)/t. Solve u*d + 9 = 3*d for d.
3
Suppose x = 2*x - 2*h - 12, 4*h = 4*x - 36. Let o(t) = t**2 + 2*t - 20. Let g = -150 + 143. Let n be o(g). Solve x*p - p = -n for p.
-3
Suppose 0 = 3*q - 12*q + 99. Solve 16 = 7*a - q*a for a.
-4
Let l(h) be the second derivative of -h**5/20 + 19*h**4/12 - 19*h**3/6 + 10*h**2 - 20*h. Let v be l(18). Solve v*i - 6 + 16 = 0 for i.
-5
Let m = 148 - 148. Solve m = -r + 6*r - 15 for r.
3
Let p be (-22)/(-33) + -1*4/6. Suppose -5 = -5*i - 0. Solve p = -5*j + 14 + i for j.
3
Let i be ((-5)/60*4)/(1/(-39)). Suppose -b - 2*l - 3 = -i, -8 = -2*l. Solve -b*a = -3*a + 5 for a.
5
Suppose -2*g + 5*x = -17, 5*x + 5 + 7 = -3*g. Let o(k) = 14*k - 6. Let q be o(g). Solve -t - 3*t + q = 0 for t.
2
Let b(f) be the first derivative of f**4/4 - 8*f**3/3 + 3*f + 9. Let p be b(8). Solve d = -p + 1 for d.
-2
Let u(g) 