ve -f + 29 = w for w.
1
Let n = -48 + -28. Let h = 53 + n. Let u = -16 - h. Solve -13 = 4*s + u for s.
-5
Suppose 7*l - 190 = 2*l. Suppose -j - k = -7, -4*j + l = -3*k + 2*k. Let g be j/(2/4*6). Solve 1 + g = p for p.
4
Let w(l) = -6*l + 5 + 7 - 4*l**2 - 6 + l**3. Let c = 825 - 820. Let t be w(c). Solve -2*q + 3*q = t for q.
1
Let h be (-17)/(-4) - (4 - (-90)/(-24)). Solve -h*i = -0*i + 20 for i.
-5
Let p(k) = -k**2 - 9*k + 12. Let d be p(-10). Suppose -5*s - d = -2. Solve s*r - 2*r = -10 for r.
5
Let u be ((-510)/(-110) - 5)/(2/(-11)). Solve u = -16*m + 15*m for m.
-2
Let c(o) = -o + 3. Let j be c(-9). Suppose 0 = -7*x + j*x. Solve x = 5*t - 1 + 6 for t.
-1
Let b = -317 + 342. Solve 8*g - b = 13*g for g.
-5
Suppose -h = -4*r + 9, 0 = -4*r + 5*h + 2 + 11. Suppose 0*n = 4*n. Suppose 0*d + 2*d - r = n. Solve 0 = 2*g + 7 - d for g.
-3
Let t = 29 + -42. Let a(s) = -s**3 - 13*s**2 + s + 15. Let j be a(t). Solve 0 = -3*r + j*r + 4 for r.
4
Suppose -3*w + 11*d = 14*d - 27, 5*w - 27 = d. Solve 4*i - w*i = -4 for i.
2
Suppose k + 0*i + 8 = 2*i, -5*i = -2*k - 20. Let n be ((-10)/(-3) - k)*24/20. Solve -n*j + 15 = 3 for j.
3
Let f be ((-22)/(-56) + (-24)/168)*0. Let t(l) = -l**2 + 1. Let x be t(1). Solve -b + x*b = f for b.
0
Let b(z) = 3*z - 19. Let n be b(6). Let x = n - -4. Suppose 0 = -x*w - 3*w + 12. Solve -12 = -2*p - w*p for p.
3
Let o(y) = y**3 + 7*y**2 - y - 7. Let q be o(-7). Let r be q*(3/2 - 1). Solve 5*g - 10 + r = 0 for g.
2
Suppose 0 = -5*p + 1811 - 1676. Solve 12*f + 15 = p*f for f.
1
Let t be 4/(-6) + 38/3. Suppose 3*r = 4*j - 14, -2*j - 3 + 5 = -4*r. Suppose -7*h + 10*h - 10 = -5*n, -r*n + 8 = 2*h. Solve h*m - t = 13 for m.
5
Let g(d) = -d**3 + d**2 + 2*d + 2. Let z be g(-1). Let u(j) = -j - 4. Suppose -x = -3*x + 4*l - 10, l - 25 = 3*x. Let b be u(x). Solve -b = -z*v + 3 for v.
4
Let f(m) = -m**3 + 15*m**2 + 17*m + 17. Let t be f(16). Let y = t + -26. Solve 0 = -y*z + 2*z for z.
0
Suppose 2*x + 1 = 2*s + s, -5*s = -3*x. Let m = -1 - s. Suppose 0 = 4*j - m*j. Solve 2*o - 3 + 1 = j for o.
1
Suppose 3*g - 6*g + 12 = 0. Suppose 0 = -g*o + 3*y + 7, -o + 7 = -3*o + 5*y. Suppose 0 = -2*u + 4*w - 2*w + 4, o*u - 2*w = 8. Solve u*v + 16 = -2*v for v.
-4
Let x be 1*0*(-3)/9. Suppose n - d - 7 = 0, -5 + 31 = 4*n - 3*d. Solve x = 4*c + 3 + n for c.
-2
Let f(c) be the second derivative of c**5/20 - 7*c**4/12 - 7*c**3/6 - 3*c**2 + 8*c. Let q be f(8). Solve -q*m - 6 = -0*m for m.
-3
Let y(u) = u**3 - 7*u**2 - 6*u - 6. Let n be y(8). Let s(f) = f**3 + 7*f**2 - 5*f - 4. Let k be s(-7). Let q = 37 - k. Solve -q*t + t + n = 0 for t.
2
Suppose -3*z = 2*f - 12, 7*z - 12*z + 20 = -2*f. Solve -c = z*c - 15 for c.
3
Let b(g) = -g**3 + 8*g**2 - 4. Let a be b(8). Let i be -5 + 6 - (a + 2). Solve 2*l - i = 3 for l.
3
Suppose -5*q + 51 = 5*r - q, -4*r + 32 = q. Solve 30 = -y + r*y for y.
5
Let f = -31 - -19. Let v be (9/f)/(1/(-12)). Let a = 9 - v. Solve a = -4*j + 6*j for j.
0
Let m be -8*(8/(-36) - (-111)/(-108)). Solve -t = m*t - 44 for t.
4
Let t = 1199 - 1196. Solve 0 = -t*b + 18 - 21 for b.
-1
Let w be (-12)/3 + 3 + 55. Suppose 0 = 4*q + 14 - w. Suppose -q*g = -9*g. Solve g*l + 2 = -l for l.
-2
Suppose -2*p + 7*p - 75 = 0. Solve -4*d = d + p for d.
-3
Let y(v) = -35 - 34 - 32 + 2*v + 90. Let d be y(11). Solve 0 = 4*q + d - 7 for q.
-1
Suppose -4*t = -5*u - 110, -4*t - 21 = 2*u - t. Let x = u + 22. Suppose -2*f = x*g - 12, -3*g - g + 5*f = -26. Solve g*k = -1 - 19 for k.
-5
Let b = 35 + -46. Let u = 0 + b. Let z be -11 - u - (-29 + 1). Solve -3 = 5*s - z for s.
5
Let m = 15 - 9. Suppose -2*t + m*t + 40 = 0. Let y be 78/30 - 4/t. Solve -v + y*v = 4 for v.
2
Let f = -99 + 101. Solve -c + f = 4 for c.
-2
Let s = -79 + 75. Let v be 2 - (0 - s - 2). Solve 0 = -v*f - f - 1 for f.
-1
Let m(u) = -8*u - 11. Let c be m(-3). Suppose 36 = c*p - 9*p. Solve 8*f - 5*f = p for f.
3
Let f(x) = 8*x + 6. Let p be f(0). Solve -p = 2*u + 2 for u.
-4
Let u = 23 - 57. Let l = u - -41. Solve -2*x = -l*x - 10 for x.
-2
Let j = 41 + -38. Let h = j - 3. Solve 0 = -4*m - h*m - 4 for m.
-1
Suppose -n - 3*n + 5*r = 544, 5*n = r - 701. Let f = n - -143. Solve f*u - 6 = 4*u for u.
-3
Let z(j) = j**3 + 9*j**2 - j - 3. Let a = -29 + 20. Let l be z(a). Solve l*t + 25 = t for t.
-5
Suppose -4*a - 3*g + 17 = 0, 5*a = 17*g - 18*g + 24. Solve -a*v - 1 = 4 for v.
-1
Let y be (-1)/(0 - 2/(-2)). Let u be (-14)/28*(-29 + y). Solve -7*h + 4*h = -u for h.
5
Suppose -2*f - 14 = u + 2*f, 22 = u - 5*f. Let z be -3 + 1/5 + (-78)/(-10). Solve 0 = z*g - u*g - 3 for g.
1
Let d be (-6)/15*(-7)/(28/240). Suppose -18 = -27*v + d*v. Solve 5*l = v + 4 for l.
2
Let z be 28*(72/(-42) - -2). Solve z*d + 3 + 5 = 0 for d.
-1
Let l(k) = k**2 - 7*k - 8. Let p be l(8). Let m = p + 6. Let s be (m/(-5))/(18/(-60)). Solve s*r - 7 - 1 = 0 for r.
2
Let b = -1137 + 1145. Solve -11*x + b = 19 for x.
-1
Let n be 4 - (-5 + -2 + -3). Suppose -4*p - 2*k = -4 - 14, -11 = -3*p - 4*k. Suppose 4*d = 0, -3 = -3*o + p*d + 6. Solve -o*t + 5 - n = 0 for t.
-3
Suppose -7*w = 166 - 166. Solve w = -24*g + 6*g for g.
0
Let j(i) = 8*i**2 + 2*i + 1. Let n be j(-2). Let h = n + -26. Solve 2*x = h*x - 4 for x.
4
Let d be 35*(119/(-35) + 4). Solve 0 = d*v - 12*v + 45 for v.
-5
Suppose -4*r - 1 = -2*u - 3*r, -r + 14 = 3*u. Let o = 12 - 10. Suppose -4*y + 4 = -o*y. Solve -7 = -u*w + y for w.
3
Suppose 8*f = 3*f. Suppose f = 3*z - 2*i - 27, 10*i = 5*i. Let j be z*(-2 + (1 - -2)). Solve 2*v + j = 5*v for v.
3
Let l(o) = 51*o + 10. Let a be l(2). Solve 0 = -a*g + 115*g - 12 for g.
4
Let j = -52 - -52. Suppose -m = m + 3*y - 9, -m + 3*y = j. Solve p = -1 - m for p.
-4
Suppose 0 = 4*b + 14 + 2. Let j = b + 10. Solve -f + j*f = -5 for f.
-1
Let k be (-24)/9*(-1 + -17). Let m = -46 + k. Solve m*s = s + 3 for s.
3
Suppose 32*w - 26*w - 72 = 0. Suppose -3*l - 5*i + 10 = 0, -l = 2*l - 3*i - 18. Solve -l*d - w + 2 = 0 for d.
-2
Suppose 3*b - 56 + 44 = 0. Let a be (-4)/(b/(-3)) - (-6 + 5). Solve -a + 1 = l for l.
-3
Let f(y) = -y**2 + 17*y - 14. Let l be f(16). Suppose 0 = -2*p - l, j = p + 4 - 0. Let q be (90/(-12))/(j/(-4)). Solve 0*u = -5*u - q for u.
-2
Let v be (-18)/4*2/(-3). Suppose 2*q = -r + v*r, 3*r = -3*q. Let p = 4 - r. Solve 6 = -p*w + w for w.
-2
Suppose k + 4*i + 5 + 7 = 0, 0 = 4*k + 2*i - 8. Suppose -2*b + p = -2*p - 11, 11 = k*b + 5*p. Solve 3 = -b*m + m for m.
-1
Suppose -3*z + 18 = -q - 3*q, 2*z - 3*q = 13. Suppose -g = w - z*w + 5, -2*w + g = -11. Solve -w = -4*d + 2*d for d.
3
Let t(x) = 6*x + 4. Let m be t(6). Suppose -10 = 4*j + 5*l - m, 5*j - 15 = 5*l. Solve 5*n + j + 5 = 0 for n.
-2
Let n be 30/(-4)*4/(-6). Let m = 11 - n. Let d be 102/4 + m/(-12). Solve -5*p = -0*p + d for p.
-5
Suppose 0 = 4*p + p - 10. Suppose 2 = -p*y - 2. Let l = 5 - y. Solve 4*z = -5 - l for z.
-3
Let v(x) = x**3 - 9*x**2 + 9*x + 13. Let j = 8 - 0. Let g be v(j). Suppose -4*o + 25 = q, -4*o + 3*q = -0*q - g. Solve -2 = -4*n - o for n.
-1
Suppose -6*z + 48 = -3*z. Let a = 9729 + -9724. Solve -a*q - z = -41 for q.
5
Let n = -192 - -219. Solve -29 = 2*m - n for m.
-1
Let c(u) = 16*u - 144. Let p be c(9). Let m(q) = q - 1. Let n be m(6). Let t(h) = h**3 + 7*h**2 + 6*h. Let y be t(-5). Solve -y = -p*j - n*j for j.
4
Suppose -1 = -5*o - 21, 30 = 5*r - 5*o. Solve -3*k + 4 = -r for k.
2
Let p = -381 - -395. Solve 7*v + 7 = p*v for v.
1
Suppose -7*v + 65 + 33 = 0. Suppose -4*w + v = -3*w + 5*p, -3*p - 14 = -5*w. Suppose 0 = -5*j + w*j + 15. Solve 0 = -k - 4*k - j for k.
-3
Let m(g) = -g + 1. Let t(a) = 4*a - 4. Let k(c) = -9*m(c) - 2*t(c). Let o be k(2). Let n be -1 + -8*1/(-2). Solve -o = n*j - 7 for j.
2
Suppose 0 = 5*a - 8*a + 12. Suppose a*b - 25 = -b. Let x(f) = -f - 4. Let p be x(-4). Solve h - b*h - 16 = p for h.
-4
Let b(a) = -a + 9. Let j be b(9). Suppose j = -0*n - 8*n + 40. Let v(f) = 3*f**3 - 2*f**2 + 3*f - 2. Let z be v(2). Solve z = -n*c - 0 for c.
-4
Let m(q) = 19*q + 152. Let b be m(-8). Solve -5*x + 13*x = b for x.
0
Let z(h) = h**2 - 11*h + 20. Let m be z(9). Suppose 0 = m*b - 3*y - 16, 0 = -b - b - y + 8. Suppose 0 = r - 0*r - 6. Solve -r*w = -b*w for w.
0
Suppose -5*t + 0*t + 20 = 0. Suppose 0 = 5*s - h - 11, 2*h - t = 2*s - 2. Let w = s - -1. Solve n - w = -3 for n.
1
Let n(r) = r**3 + 5*r**2 - 6*r + 1. Let b be n(-6). Let v = b - -5. Let h(t) = t**2