 Solve 1 - 3 = -d*v for v.
1
Let w be (11 + -429)/(-11) + -6 + 1. Solve 0 = 5*v + 38 - w for v.
-1
Suppose 0 = 2*x - 3*l - 57 - 13, 2*x + 5*l - 70 = 0. Solve 30*t = x*t + 5 for t.
-1
Let w = 46 + -42. Suppose -w*c = m - 13, 4*m = 2*c - m + 21. Solve c = 2*u - u for u.
2
Let v(z) = -5*z + 49. Let m be v(18). Let s = 43 + m. Solve s*x - 5*x = 15 for x.
-5
Let r be -7 + (1 - 0)/1. Let v be (-1 - 1)/(4/r). Suppose 4*p - 10 = 2*n - 0*n, v*p - 35 = -4*n. Solve 7*x = 2*x + n for x.
1
Let t(l) = -l**3 - 6*l + 7 - 3*l**2 - l**2 - 4*l**2. Suppose -29*k + 28*k - 7 = 0. Let w be t(k). Solve w = -n - n + 10 for n.
5
Suppose 0 = 3*v - 2*v + 4*f - 24, f + 14 = v. Solve d + v = 12 for d.
-4
Suppose 31*m - 438 = -128. Solve 3*b - m = -2*b for b.
2
Let a(u) = -u**2 - 11*u - 15. Let t be a(-11). Let h = -11 - t. Solve -s + 15 = -h*s for s.
-5
Let d = -332 - -346. Solve 11 - d = -3*t for t.
1
Let h be (-7)/(((-1)/(-2))/((-1)/2)). Suppose 34 = 4*p - d + h, 4*p - 36 = 4*d. Solve p*r = r for r.
0
Let j(l) = l**2 - 3*l + 4. Let c be j(3). Let x = 8 - c. Suppose -8 - x = -4*n. Solve 1 = -2*u + n*u for u.
1
Let o = -1182 - -1182. Solve -9*s - 3 - 6 = o for s.
-1
Let n = 2080 - 2074. Solve 0 = -10*p + n + 4 for p.
1
Suppose 20*b - 35 = 15*b. Suppose -5*g = -b*g + 4. Solve 2*c + 8 = g for c.
-3
Let j(o) = -2*o + 6. Let s be j(4). Let x be 2 + 1 + (s - (-21 + -2)). Solve -3*c + x = 9 for c.
5
Let s be 0/(-1 + -3)*1. Let x(a) = -a**3 + a**2 - 2*a + 7. Let z be x(s). Let j(k) = 2*k - 1. Let n be j(z). Solve 5*f - n - 2 = 0 for f.
3
Suppose 8 = 34*s - 30*s. Suppose 5*b + 3 = 2*x, x + s*x = 3*b + 9. Solve 3*n + 8 + b = 0 for n.
-3
Suppose -844*k + 28 = -840*k. Solve k*y + 3 = -11 for y.
-2
Suppose -5*p + 6 = 3*f + 25, 0 = -f - 5*p - 23. Solve 5*d = 3 + f for d.
1
Suppose 0 = 2*o + 6*k - 7*k - 29, 0 = k - 5. Solve 61 + 7 = o*b for b.
4
Let q = 25 + -27. Let u be (q/(-4))/(4/32). Solve 22 - 6 = -u*n for n.
-4
Let i be ((-6)/36 + (-26)/(-12))*465/62. Let g(b) = -3*b**2 - b**3 + 0 + 2*b**3 + 4. Let k be g(3). Solve u + i = k*u for u.
5
Let u = 9 + -9. Let z = -275 - -281. Solve u = z*c - 3*c for c.
0
Suppose 0 = 5*g + 3*t, -5 + 27 = 4*g - 2*t. Let s(z) = -14*z - 125. Let r be s(-9). Solve 4*w = g*w + r for w.
1
Let g = 502 - 481. Solve -g*z + 3 = -24*z for z.
-1
Let x be 5 + 1 + 2 + -6. Suppose 0 = -x*q - 29 + 37. Solve -q*a + 22 = 6 for a.
4
Let s be 1*(-20 - (-1 + -2 + 4)). Let a be 2/4 - s/6. Solve 0 = -0*d - 2*d - a for d.
-2
Suppose 6*j = j - 3*z + 32, -3*z = -12. Suppose 2*n + 24 = j*s, 16 = 3*s - n - 0. Solve l + s = 5*l for l.
1
Let y be 0/(40/8) + 3*1. Suppose 2*q - 4 = y*u - 5*u, -5*u = 3*q - 4. Solve 0 = q*h - 5*h + 4 for h.
2
Let q be 97/4 + (-11)/(-44)*-1. Solve 102*g - q = 108*g for g.
-4
Suppose -7*x = -4 - 52. Let u be (-3)/9 + (-12)/(-9). Suppose -7 - u = -4*t. Solve 2 = t*h + x for h.
-3
Suppose 3*h - 2*o - 19 = 0, 0*h - 3*o = -h + 18. Let b = 10 - h. Suppose 3*f = b*f - 32. Solve 4*s - 20 + f = 0 for s.
3
Suppose 0 = 2*q - 3*x - 389 + 374, 2*q - 8 = -4*x. Solve -23 + 23 = q*u for u.
0
Let n = 12 + -7. Suppose -15 = -2*f - n. Suppose -f*y + 46 = 4*o, -4*y + 4*o = -o - 4. Solve -y*t = -t for t.
0
Let b(f) = f**3 + 16*f**2 + 32*f + 62. Let u be b(-14). Solve -u - 9 = -3*j for j.
5
Suppose -4*v + 6 = -5*j + 27, 0 = -2*j - 5*v - 18. Suppose 0 = -2*o - o + 3*r + 3, 5*o - 5 = -4*r. Solve -a + o = -j for a.
2
Let v(d) = 4*d**3 - 3*d**2 + 9*d + 8. Let t be v(2). Solve t = 5*q + 71 for q.
-5
Let b(h) = 2*h**2 + h - 5. Let u be b(2). Solve u*r + 20 = 5 for r.
-3
Let k(p) = p**3 - 8*p**2 + 8*p - 3. Let m be k(7). Solve 37 = -m*r + 45 for r.
2
Let m = 2858 + -2838. Solve -y - 4*y + m = 0 for y.
4
Let m(y) = y**3 - 10*y**2 + 2*y - 11. Let t be m(10). Let c = -5 + t. Suppose 3*j - c*p = 9, 0*j + 4*j - 12 = -p. Solve -j*k - 2 = 13 for k.
-5
Let b(g) = -4*g - 6. Let q(z) = z. Let p(i) = -b(i) - 3*q(i). Let m be p(-6). Solve m = -f - f for f.
0
Let o = 184 + -179. Suppose 0 = 3*z + 2*z + 10, 4*z + 16 = k. Solve c - k = o*c for c.
-2
Let k be 3 + (-3)/(3/(-5)). Suppose k*q + 230 = 18*q. Solve -3*p = 8 - q for p.
5
Let u be 1 + ((-1)/(-2))/(6/(-12)). Suppose u = 11*x - 16*x. Solve x = 7*f - 3*f + 12 for f.
-3
Let n = -10 + 13. Suppose -c + 16 = n*c. Solve c*k + 10 = -6 for k.
-4
Let f(u) = -u**3 + 51*u**2 - 186*u + 105. Let m be f(47). Solve 214 - m = 3*d for d.
5
Suppose -2*s = -4*w + 8, -5*w + 9 + 3 = -3*s. Solve -3*z + 11 + 1 = w for z.
4
Let j be (4/((-32)/(-30)))/((-15)/(-40)). Let n be 1 + (1 - 2) + 0. Solve n = 2*y + 4 - j for y.
3
Let h(b) = -33*b**2 - 4*b + 17*b**2 + 5 + 15*b**2. Let k be h(-4). Let y(l) = -l - 3. Let j be y(-6). Solve k*c - j = 2 for c.
1
Let t(r) = -r**3 + 5*r**2 - r - 3. Let n be t(4). Suppose 3*p - n*p - 18 = 0. Let u be 130/30 - 2/p. Solve -15 + u = 5*q for q.
-2
Suppose 0 = 8*i - 329 - 535. Let n = i + -101. Solve 4*f + n + 1 = 0 for f.
-2
Suppose -116 = -5*t + 4*o, 39*t - 3*o - 112 = 34*t. Solve 0 = 7*x + 8 + t for x.
-4
Let c = 58 - 55. Suppose 3 = -5*t - 4*z - c, -3*z - 4 = 4*t. Solve -2*k - t + 4 = 0 for k.
1
Let i = -4657 + 4665. Let o(d) = 2*d - 5. Let z be o(4). Solve i = -c - z*c for c.
-2
Let k be (5/4 - 1)/((-6)/(-288)). Solve -4*t - k*t + 32 = 0 for t.
2
Let o(f) be the second derivative of f**3/2 - 5*f**2/2 + 2*f. Let x be o(5). Let z be 2/x + (-38)/(-10). Solve z*s + 5 = -s for s.
-1
Suppose -48*z + 310 = 14*z. Solve y = -0 - z for y.
-5
Let m(p) = p**2 - 5*p - 13. Let u be m(7). Let g be (-1)/(((-18)/15)/u + 1). Solve 0*o - 20 = -g*o for o.
4
Suppose 8*u - 10*u = f + 3, 5*f + 2*u - 9 = 0. Solve 13*z + 62 + f = 0 for z.
-5
Let i(a) = 3*a**2 - 6*a - 2. Let d be i(5). Let j = -10 + d. Let c = j + -30. Solve n - 4 = -c*n for n.
1
Suppose t - 19 = -5*o, -o + 15*t - 14*t = -5. Solve -w = -o*w + 9 for w.
3
Suppose -5*k + 9 + 11 = 0. Let p = -172 + 175. Suppose p*x = -k*f + 6*x, -5*f = -5*x. Solve 0 = -f*c + 2*c - 4 for c.
2
Let c = -2 - -8. Suppose -c*r + 12 = -3*r. Solve -8*v + r*v = -16 for v.
4
Suppose -2*w - 7 = -3*w. Let h = w - 3. Suppose 4*v = 3*a - 2*a - 38, -a + 3*v + 36 = 0. Solve h*d + a = 10 for d.
-5
Let b be 9 + 8 + -1 + -7. Solve 136*v - 139*v - b = 0 for v.
-3
Suppose -f = -10*f - 675. Let r = f - -80. Solve -6 = -7*t + r*t for t.
3
Suppose -23*a = 19*a - 168. Solve 36 = -8*j - a for j.
-5
Suppose -36 = -4*q + 4*l, q + 2*l + 9 = -3*l. Let w be (15 - q)*(-2)/(-3). Let u(c) = c**2 - 6*c + 2. Let g be u(w). Solve 2*v = 2 + g for v.
2
Let z(i) = i**3 + i**2 + 79. Let y be z(0). Suppose 2 - y = -7*a. Solve 5 = -4*s - a for s.
-4
Let m be 16/6 + 8/(-12). Let n(w) = w**3 + 4*w**2 - 43*w - 7. Let y be n(5). Solve 5*g - m*g - y = 0 for g.
1
Suppose 0*x = x. Let k be (1 - (-270)/63) + 4/(-14). Solve k*t + 3 + 2 = x for t.
-1
Let l be ((-128)/(-12) - 11)/(2/(-36)). Solve 10 = l*w - w for w.
2
Suppose -8 + 18 = 3*s + 4*c, -2 = c. Solve -s*x = 29 - 11 for x.
-3
Suppose 0 = 2*h - 2 - 0. Let m be 0 - (h + 1 - 2)/(-2). Solve 2*l + m = 4 for l.
2
Suppose c + 123 = -3*j, -3*c - 2*j - 369 = -7*j. Let g = c + 86. Let o = g + 42. Solve 2*s + o - 3 = 0 for s.
-1
Let l be (93 + -107)/(1/(-3)). Solve 6*d + l = 20*d for d.
3
Let a be 1/(-8) + (-2988)/(-96) - -6. Solve 10*t = a*t - 27 for t.
1
Suppose a - 9*a = 32. Let h be (-4 - -15) + a - 3. Suppose 0 = -0*f - 3*f - 2*g + 4, -7 = -h*f - g. Solve -f*d - 3 = d for d.
-1
Suppose u = -2*u - w + 6, 2*u - w + 1 = 0. Let k be u - (4 - 2 - 3/1). Solve k*c - 6 = -c for c.
2
Let d = 79 + -74. Suppose -15 = -5*v - 0*n + d*n, 0 = 2*v - n - 10. Suppose -3*x + 36 = -3*p, 0*x + 4*x - 5*p - 48 = 0. Solve v*c - 3*c = -x for c.
-3
Let u be (-1120)/(-28) + (2 - 12). Solve u = 11*x - 3 for x.
3
Suppose -s - 256 + 265 = 0. Solve s = -4*m - 11 for m.
-5
Suppose 0 = c - 16 + 15, 2*c = 2*h - 164. Solve 0 = -h*g + 87*g + 8 for g.
-2
Let x be (51/(-6))/(1/2). Let s(u) = -u**3 + 7*u**2 + 3*u + 8. Let y be s(7). Let t = x + y. Solve -m + t = 2*m for m.
4
Let i be (8/28)/((-6)/(-63)). Solve -53 + i = -10*k for k.
5
Let h(q) = -q**2 - 22*q - 22. Suppose -g = -5*g + 8, -y - 4*g - 12 = 0. Let d be h(y). Solve 0 = -3*x + d - 3 for x.
5
Let k(x) = 17*x + 2. Let v be k(-1). Let q = v - -17. Solve 0 = -q*p + 6 + 2 for p.
4
Let x be (-4 - -6)/(2 - (-120)/(-63)). Solve 14 = -x*s - 28 for s.
-2
Let z be (4 - (-3 - (-7 + 4))) + -1. Le