-w = -v*d + d for d.
-2
Suppose 3*m + g - 6 = 0, 0 = -2*m - 4*g - 2 - 4. Suppose 4*d - m = 9. Solve -d*o = -5*o for o.
0
Let m = -1267 - -1270. Solve m*h + 14 = 10*h for h.
2
Let l = 34 - -78. Let c = l - 106. Solve -t + c*t - 20 = 0 for t.
4
Let u be (1/2)/(1/8). Let t be (-235)/(-15) - (-2)/(-3). Suppose 5 = -3*f - b + 20, -2*f + t = -b. Solve -2*q - f = u for q.
-5
Let p(s) = -s**3 + 4*s**2 + 14*s - 12. Let f be p(6). Let m be (f - -1)/(4 - 3). Solve -4 = -3*d - m for d.
1
Let d be (-3 - -2) + 2 + -1. Suppose 0 = -d*q - 3*q - j - 57, 4*q - j = -83. Let s be (-64)/q + 1/(-5). Solve -s = 3*z - 2*z for z.
-3
Suppose -393 + 1037 = 46*p. Solve 29 = -3*k + p for k.
-5
Suppose 4*c + 2*t - 40 = -12, -10 = -2*c - 3*t. Let k(z) = 2*z**2 - 15*z + 17. Let g be k(c). Solve -6*w + g = -w for w.
5
Let q(i) = -20*i + 280. Let b be q(12). Solve -11*f - b = -3*f for f.
-5
Suppose -5*p + 25 = m, p + 0 = -5*m + 29. Suppose -p*f + 2*f = 0. Solve f = a - 4 + 3 for a.
1
Suppose 10 = 2*s - s - f, -5*f = -2*s + 35. Solve -1 = 2*h + s for h.
-3
Suppose 13 - 20 = z. Let p(c) = 1 - 7*c + 2 - c**2 - 1. Let y be p(z). Solve -y*o - 3 = -o for o.
-3
Let w = -87 - -76. Let p = -5 - w. Let l = 5 - 3. Solve x = -l*x + p for x.
2
Let w(t) = 2*t**2 + 4*t - 1. Let q be w(-3). Let y(j) = 2*j**2 - 46*j + 58. Let a be y(22). Solve -q*o = a + 6 for o.
-4
Suppose -20 = 3*p - q, 2*p + 3*q + 6 + 0 = 0. Let a be p/(-5) - 10/50. Let w be (a - 2)*1 - -2. Solve y - w = 4 for y.
5
Suppose 24*d = -9*d + 825. Let u be (1 - 0)/(3/12). Solve 9*j = u*j - d for j.
-5
Let w(q) = -6*q + 5. Let x be w(6). Suppose 56 = 5*r - 119. Let h = r + x. Solve -g + 3*g + h = 0 for g.
-2
Let x(d) = -3*d + 11. Let z be x(-6). Let g = -19 + z. Suppose o - 4*o = 0. Solve o = q + 4*q - g for q.
2
Let g be (-42)/(-8) + (-2)/8. Let u be (-4)/14 + ((-37)/(-7) - 1). Suppose 5*q = 2*l + 10, -7*q + 10 = -2*q - u*l. Solve g*w - q*w + 15 = 0 for w.
-5
Let i be (-318)/(-22) + 222/407. Solve 20 = -20*m + i*m for m.
-4
Suppose -3*i = -66 - 126. Suppose -h + 29 = 2*r, 0*r + 4*r + 4*h - i = 0. Solve -3*g - 2 = r for g.
-5
Let c = 1311 + -1267. Solve 5*t - c = -6*t for t.
4
Let q = -3 + 5. Suppose q*l = -l. Suppose a = 5 - l. Solve 0 = a*m + 14 + 11 for m.
-5
Suppose -4*n = 3 + 1, 5*w + 3*n = 62. Solve 0 = -k - w*k - 42 for k.
-3
Suppose -6*h + 10*h = 0. Let p(z) = z**3 - 2*z**2 - 2*z. Let b be p(h). Solve b = 2*c + 6 - 0 for c.
-3
Let l be (-6)/(-14) - 1392/112. Let y be l/(-8)*((-53)/(-3) + -1). Solve y = 7*u - 2*u for u.
5
Suppose -6*z - 20 = -2*z - 4*a, -20 = 4*z + 5*a. Let p be z/(1 + 8/(-4)). Solve p*v = v for v.
0
Let c(x) = -73 + 70 + 4*x - 5*x - 3*x. Let b be c(-1). Solve 0*w = w + b for w.
-1
Let j(r) = r**3 - 6*r**2 + 7*r - 5. Let y be j(5). Suppose 0 = -y*f - c + 2, 5*f - 1 = -3*c + 5. Suppose 3*t - 5 + 2 = f. Solve 2 + t = -3*o for o.
-1
Let j(u) be the first derivative of -1/3*u**3 + 6 - u**4 - u**2 - u. Let c be j(-1). Solve k + c*k - 25 = 0 for k.
5
Suppose 182 - 54 = 8*c. Suppose -17 - 19 = -2*f. Solve c*j = f*j for j.
0
Let y be 6 + 22 + -1*2. Suppose -4*u - 112 = -5*b, b - u = -2*u + y. Let n = b - 17. Solve 10 = -2*a + n*a for a.
2
Let a = -53 - -61. Suppose b - w = 5*b - 9, 2*w - a = -3*b. Solve r = b*r + 5 for r.
-5
Suppose -3*s + 18 - 15 = 0, -t = -2*s + 2. Let c(a) = -a**2 + 5*a - 4. Let r be c(4). Suppose 20 = w - r*w. Solve -2*i - 3*i - w = t for i.
-4
Let t = 1100 - 1072. Solve -45 = 13*g - t*g for g.
3
Suppose 0 = -j + 4*m + 9, -m = -2*m. Let q = -1858 - -1863. Solve q*n - j*n - 12 = 0 for n.
-3
Suppose -8 = 5*v - v. Suppose -3*t - 3*g = 18, 4*g + 9 = 1. Let d = v - t. Solve d*k = -3*k - 15 for k.
-3
Let j(l) = -3*l**3 - 1. Let a be j(1). Let r be -6*a/30*30. Let p = r - 12. Solve -p = 2*o + o for o.
-4
Let r(f) = 3*f + 52. Let n be r(-15). Solve -3*y = -n*y for y.
0
Suppose -3*g = -2*y + 9, -g + 5 = 2*y - 0*g. Suppose -29 = -4*o + 7. Let b(h) = -h**3 + 8*h**2 + 10*h - 2. Let q be b(o). Solve y*r - 8 = q*r for r.
-2
Let w(n) = -2*n**2 - 88*n - 128. Let i be w(-42). Solve -5*f - 5*f - i = 0 for f.
-4
Suppose 5*r - 4*v - 70 = 0, 3*r - 4 - 16 = -2*v. Let z be (-8)/(-10)*(r - 5). Let t(l) = l**2 - 3*l - 3. Let j be t(z). Solve u + 0 = j for u.
1
Let s(o) = 30*o**2 - 20*o**2 + 8 - 3*o - 11*o**2. Let z be s(-4). Solve -h + z*h = -3 for h.
-1
Let a be 9*((-4)/(-3) + -1). Let t = -1 - -2. Let n be t*-2*(-3 - 1). Solve a = m + n for m.
-5
Let z be (-3 + 3)/(-4 - -1). Suppose 0 = 4*p - 5*p + 16. Solve 4*c + z - p = 0 for c.
4
Suppose -20 = -m - 4*p, -2*p = 4*m - 6*m + 50. Solve -1 - m = -5*o for o.
5
Suppose 15*d - 22*d + 56 = 0. Solve -13*s + d*s = -25 for s.
5
Let w be 0/(-1)*(-7)/(-14). Suppose 3*h = 5*p + 193, 5*h - 2*p - 194 = 96. Let a be (3*h/(-12))/(-2). Solve w = 5*o + 2 - a for o.
1
Let s be (6/(-16)*22)/(6/16). Let c = -29 - -7. Let w be (-260)/s - 4/c. Solve 3*t + t = w for t.
3
Suppose 0 = 3*p - 509 + 503. Solve p*r + 20 = -18*r for r.
-1
Let b be (1 + 2)/3*0. Suppose 9*h - 16 = 74. Solve -2*j + b*j - h = 0 for j.
-5
Suppose -5*c - 5 = -10*c. Suppose c + 20 = 7*q. Solve 1 + q = 4*x for x.
1
Let q = 232 + -220. Let b(w) = 5*w - 7. Let d be b(2). Solve -d*m + q = -3 for m.
5
Let z = 198 - 48. Suppose -7*q = -10*q + z. Let m be q/(-5)*(-2)/4. Solve k + 0 = m for k.
5
Suppose -2*d = 4*x - 0*x - 44, 2*x - 3*d = 30. Solve -5 = x*m - 41 for m.
3
Let l(o) = -o + 10. Let i be l(8). Suppose -i*c + c = -6*c. Solve 3*g + g = c for g.
0
Suppose -20*m = -47 - 33. Solve -4*q + 0 + m = 0 for q.
1
Suppose 3*r - 55 + 1 = 0. Let t(j) = -j**3 - 7*j**2 - 13*j. Let k be t(-3). Solve k*y = -r + 3 for y.
-5
Let m = -128 + 143. Let f be m/(-90) - 25/(-6). Solve f = 5*x - 3*x for x.
2
Let n = 27 - 16. Suppose -5*a + n + 14 = 0. Suppose 3 + a = t. Solve -3*h + t*h = 0 for h.
0
Suppose 0 = 2*a - 4*a - j - 43, 3*a + 5*j + 82 = 0. Let m = 27 + a. Solve 3*p + 4 = -m for p.
-4
Suppose -5*p = -p - 16*p. Let u be 1/2*(-3 + 11) + p. Suppose 8*j - 5*j = 12. Solve -2*y - j = -u*y for y.
2
Suppose 0 = 4*o - 1810 + 1626. Solve 11*a = -12*a - o for a.
-2
Let y = 21 + -50. Let z = 32 + y. Solve 2*p + 9 = z for p.
-3
Let m(a) = 5*a - 5. Let b be m(5). Suppose 10*k - 15 = 5*k. Let x be (6/4)/k*b. Solve -n = n + x for n.
-5
Let u = -21 - -21. Let f(i) = -i**2 + i + 2. Let k be f(u). Solve k*v = -8 + 2 for v.
-3
Let h(t) = -1. Let v(x) = -x - 4. Let y(a) = -2*h(a) - v(a). Suppose -4 = 2*g - 5*l + 13, -3*g - 20 = -2*l. Let z be y(g). Solve -f = -z - 2 for f.
2
Let g = -281 - -297. Solve -3*l = l - g for l.
4
Let o = 1395 - 1395. Solve 0 = 11*c - o + 44 for c.
-4
Let l(k) = k**3 - 5*k**2 + 4*k + 3. Let s be (-9)/3*(-4)/3. Let r be l(s). Suppose -3*g - 3*n = 3, -4*g - 3*n + 11 = -4*n. Solve -g = 5*t + r for t.
-1
Let m be 6 + -3 - (2 - -1) - -14. Let t be (-48)/(-7) - (40/m + -3). Solve -t*f + 2*f = 5 for f.
-1
Let l be (4 - -1)*10/25. Let r be (-28)/(-8)*2 - (l + 1). Solve -2*h + 6 = -r*h for h.
-3
Suppose -161*o = -152*o - 189. Let h be (-2 + 3)/((-2)/34). Let u = o + h. Solve u + 4 = 2*z for z.
4
Let i(c) = 5*c + 4. Let n(g) = -g + 1. Let v(r) = -i(r) + 3*n(r). Let o be v(-1). Let k be 3 - 3/((-6)/4). Solve o = -4*m - k for m.
-3
Let t be -2 - (1 - (1 + 3)). Suppose -22*r = 12*r. Solve 0 = z + t - r for z.
-1
Suppose -62*s + 59*s = 0. Suppose x - 38 + s = 0. Suppose -5*g + v + x = 2*v, -v + 3 = 0. Solve -g = -h - 2 for h.
5
Let z be (-3)/(-1) - (-2 + 3). Suppose z*i + 36 = 5*i. Let q = i + -12. Solve -4*n + 6 + 10 = q for n.
4
Suppose -3*a - 29 - 127 = -p, 4*p = -4*a - 192. Let g = 59 + a. Solve -3*b + 5*b = g for b.
4
Suppose -4*j + 23 = 4*h - 17, -5*h = 4*j - 45. Solve j*b = -10 - 5 for b.
-3
Let y(o) = -o**2 + 14*o + 6. Let d be y(15). Let g(h) = h + 2. Let q be g(d). Let z(p) = -p - 6. Let r be z(q). Solve t + r = 6 for t.
5
Suppose 862 = 7*n + 764. Solve 2*s - 22 = -n for s.
4
Suppose -30*g + 28*g = -4. Let q(p) = -p**2 + 8*p - 1. Let h be q(7). Let w be 14/(-21) + 4/h. Solve 3*b - g + 8 = w for b.
-2
Suppose -2*d = 5*a - 14, 4*d - 40 = 84*a - 88*a. Solve d*m - 42 = 18 for m.
5
Suppose 2*b - 36 = u, -3*u - 26 = -5*b + 79. Let h be (-12)/u*(-2 - (0 + -7)). Let f be (5 - 1)*(-2)/(-2). Solve f*w + h = -2 for w.
-1
Let o be (-4)/10 + 14/10. Let q(d) = -7*d - 26. Let u = 82 - 86. Let m be q(u). Solve -7 = m*r + o for r.
-4
Let a = 21 + 