 -v*x + 6 for x.
2
Let k(u) = -3*u**2 - 15*u - 14. Let w be k(-4). Let t be (w - -1)*(18 - 22). Let o = 6 + -4. Solve -o*p = -6*p + t for p.
1
Suppose -22*t - 17*t = 0. Solve t*o = -2*o + 6 for o.
3
Let b be (4/24*-4)/((-7)/(-21)). Let k be (-6)/21*(-14)/b - -18. Solve -4*w + k + 4 = 0 for w.
5
Let o(g) = -g**3 - 5*g**2 - 3*g - 1. Let f be o(-4). Let p = f - -7. Let s = 7 - p. Solve -s*i - 9 - 1 = 0 for i.
-2
Suppose -5*q + 126 - 26 = 4*c, 5*q - 60 = 4*c. Let k be (-1)/1*(1 - 1). Suppose -3*p = d - 2*d - 14, -2*p + 2*d + q = k. Solve -8*o = -p*o - 15 for o.
3
Let p = -264 - -267. Solve 0 = -p*h + 6*h + 12 for h.
-4
Suppose 0 = o + f + 5 - 8, o - 5*f + 3 = 0. Solve -2*l - o - 4 = 0 for l.
-3
Let g(i) = i**3 + 15*i**2 - 34*i + 2. Let v be (-32)/2 + -1*(1 + 0). Let r be g(v). Solve 3 - r = t for t.
1
Let x = 63 - 63. Solve x = 3*a - 11 - 1 for a.
4
Let l = -6 - -11. Suppose -2*m = -l - 1. Suppose 2*u - 5*h = -21, -2*u - 2*h = 1 - 15. Solve -m*o = -17 + u for o.
5
Let w(k) = k. Let t be w(2). Suppose -10*n = -62 + 52. Solve -n = -t*m - 5 for m.
-2
Let b = 298 - 292. Solve g + b = 2 for g.
-4
Let i = -78 + 84. Solve -n + 7*n = -i for n.
-1
Suppose 0 = -b - 3*b + 12. Let r(o) = -o + 7. Let s be r(b). Suppose -s*d - 10 = 5*f, -5*f = -f + d - 3. Solve 0*i = f*i - 2 for i.
1
Let p be (-165)/66*(2 - (-54)/(-5)). Solve 23*s = p*s for s.
0
Suppose 0 = -3*i - 0*g + 5*g + 60, -5*i + 2*g = -100. Solve -i + 14 = -3*t for t.
2
Let b(m) = m**2 - 6*m + 2. Let g be b(6). Solve 5 = g*x - 1 for x.
3
Let z = -63 - -65. Suppose z*c = 5*n - 5 - 25, n = -c - 1. Solve 0 = f - n*f for f.
0
Let w(o) = 11*o**2 + 27*o + 2. Let m(v) = -5*v**2 - 13*v - 1. Let y(k) = 9*m(k) + 4*w(k). Let s be y(-8). Solve 12 = -s*u + 11*u for u.
3
Let m = 16 - 14. Suppose 8 - 6 = m*q. Solve 5 = 3*x - q for x.
2
Let k = 0 - 0. Suppose 3 = 4*r - 13. Suppose -8 = -k*m - r*m. Solve -m*v - v = -3 for v.
1
Let r(i) = i**3 + 5*i**2 + 50. Let t be r(0). Solve 0 = t*o - 55*o - 10 for o.
-2
Let k(c) = -6*c**2 + c - 2. Let m be k(1). Let j = m - -8. Suppose -j - 5 = -4*p + u, 3*p - 5*u + 4 = 0. Solve -p*h + 3*h - 3 = 0 for h.
3
Let d(a) = -a**2 + 7*a + 18. Let n be d(8). Suppose 0 = -6*u + n*u - 80. Solve -o + u = 3*o for o.
5
Suppose -4486*x + 4487*x = 5. Solve -x*g - 2*g = -7 for g.
1
Let z be 16/24*192/(-2). Let m = 28 + z. Let k be m/(-45)*1*5. Solve w + 1 = -k for w.
-5
Let u be -1 - 3/((-12)/8). Suppose -3*p - u = -4*p. Let y be 0/(-3) - (-3 + 1). Solve 5 = -y*k - p for k.
-3
Let i be ((-6)/10)/((-1)/5). Suppose 2*d + i*d - 10 = 0. Solve 2 + d = f for f.
4
Let p be ((-11)/(-7) - 2) + (-15)/(-35). Solve -9*x + 12*x + 15 = p for x.
-5
Let v = 115 - 112. Solve 1 = -2*y + v for y.
1
Let k be (-22)/(-4) - 15/30. Let b be (54/(-45))/((-2)/k*1). Solve 0 = -b*a - a for a.
0
Let q be 3 - (-1)/(-2 - -1). Let v be (-351)/(-54) - 2/(-4). Solve 5 = -q*r + v*r for r.
1
Let d = -15 + 19. Let n(w) = 5*w - 6. Let g be n(d). Suppose 4*j = -0*f - f - g, -6 = -f + j. Solve f = -c - 0 for c.
-2
Let d(z) = 23*z - 69. Let b be d(3). Solve b = -10*l + 15*l for l.
0
Let i(c) = 3*c**2. Let b be i(-2). Let n be (-1)/(-2) + 366/b. Let l be 10/20 + n/2. Solve v - l = 5*v for v.
-4
Suppose -x + 38 = x. Let q = 21 - x. Solve -3*k - q*k - 20 = 0 for k.
-4
Let s be (-4)/(-26) + 1540/130. Let f(j) = -j**2 - 7*j - 8. Let x be f(-4). Solve -4*k = -x + s for k.
-2
Let n be 0 - (0 + 0 - 3). Suppose 0*i = -4*i - 5*g - 78, n*g = 5*i + 116. Let q = -18 - i. Solve 1 = -z - q for z.
-5
Suppose 3*l - 2*b + 3*b = 23, 2*l - 2*b - 2 = 0. Let x(i) = -i**2 + 8*i - 8. Let h be x(l). Let s = 7 - h. Solve 3 + 9 = s*p for p.
4
Let y(o) = -o**3 + 3*o**2 - o - 2. Let x be y(2). Suppose x = -2*m + 4*m. Let q = 3 - m. Solve 2*d - 3*d = q for d.
-3
Suppose -3*m + 15 = 3*i, -3*m - 3*i = -2*m - 15. Solve 6*v - 2*v + 4 = m for v.
-1
Suppose 3*z = 6*z - 144. Let p = z + -46. Solve d = 2*d + p for d.
-2
Let a be 6/9 - (-1)/3. Suppose -37 = -3*n - a. Solve 4*p = -0*p + n for p.
3
Suppose 0 = -v - 3 + 12. Suppose -119*d = -122*d + v. Solve -2*j - 5 = d*j for j.
-1
Let n(y) = 9*y - 519. Let t be n(58). Solve -4*x - 5 = t for x.
-2
Suppose -154 = -10*n - 64. Suppose 2*c - 3*k + 27 = 2*k, -5*c - k = 0. Let x be 0 + 0*(c - 0). Solve x = u + 2*u + n for u.
-3
Let u(h) = -h**2 - 9*h. Let n be u(-5). Let r be n/9 + (-24)/108. Suppose -d - 5*f + 31 = 2*d, -r*f + 8 = -d. Solve -d*p = -5*p + 3 for p.
1
Suppose -21 = 6*q + 15. Let y be (28/(-6))/((-1)/6). Let c be 21/y - q/(-8). Solve -3*v + v + 2 = c for v.
1
Suppose 0 = -4*c + 53 + 19. Suppose -3*w + c = -g, 7 + 3 = -w - 5*g. Solve 0 = -3*d + 4*d - w for d.
5
Let b be (70/10 - 8)/(1/(-4)). Solve b*t + 3 = -1 for t.
-1
Let f(h) = -4*h**3 - 4*h**2 - 18*h + 4. Let g(n) = n**3 + n**2 + 2*n. Let s(k) = f(k) + 5*g(k). Let m be s(0). Solve 0 = -u + 1 + m for u.
5
Suppose -12*p - 17*p + 72 = 14. Suppose 2 + 3 = l. Solve -f + l = -p*f for f.
-5
Suppose 4*b - 29 = -k, 5*k = 5*b - 3*b - 31. Suppose -j = 3*c - 4, 2*j + 0 = 2*c - b. Let o be (-6)/(-12)*(c + 10). Solve 0 = 5*t - o + 31 for t.
-5
Let p(y) = -2*y - 21. Let j be p(-13). Suppose j*d + 4*c = -20, d + 3*d + 4*c + 20 = 0. Solve d*k = -3*k - 12 for k.
-4
Suppose l - 53 = o - 0*l, l - 104 = 2*o. Let j = o + 57. Solve 5*d = j*d for d.
0
Let k = -189 + 201. Suppose 2 = -3*r + 11. Solve -r*p = p - k for p.
3
Suppose 3*u - 10 - 29 = 0. Let b = -8 + u. Let w(k) = k**3 - 6*k**2 + 5*k + 1. Let m be w(b). Solve m = v - 3 for v.
4
Let q be ((-2)/(-4))/((-2)/(-12)). Suppose -q*k - 89 = -2*t - 3*t, t = -3*k + 7. Solve y = 5*y + t for y.
-4
Suppose -4*n + 2*n = -4. Suppose 5 = j, -n*j + j = 2*t - 15. Solve t*c + 15 = -0*c for c.
-3
Suppose 12 = 2*c + 4. Solve d = -c*d + 10 for d.
2
Let t be (16/24)/((-1)/(-18)). Let j = -117 - -192. Suppose 7*x = t*x - j. Solve -2*d - d = -x for d.
5
Let r = 45 + -42. Suppose -4*n = w - 2, -5 = -2*n + r*w + 3. Solve 0 = -2*f - 1 - n for f.
-1
Let r = 48 + -54. Let v be (r/(-9))/(4/54). Solve 0*q + v = 3*q for q.
3
Let w be -6 + (0 - -4) + 4. Suppose -4*t - t = 2*k + 8, 2*t = -w*k - 8. Solve 0 = 3*z - t - 9 for z.
3
Let z = 20 + -22. Let i be (0/z)/((-4)/1). Solve i*d = -d for d.
0
Let c be ((-2)/6)/(31/(-1116)). Solve -c = 5*a - 22 for a.
2
Let g = -481 + 485. Solve -g*i - 5*i = 18 for i.
-2
Let k(o) = 6*o - 24. Suppose 0 = 4*r + 13 - 33. Let l be k(r). Solve -2*w + 0*w + l = 0 for w.
3
Suppose 4*k - 14 = -3*m + 20, -5*k = 5*m - 65. Solve 4*g + 26 = m for g.
-2
Let v be 2*3/18*9. Suppose 0 = -v*f + 2*j + 31, 3*j + 3 + 19 = f. Solve 20 = f*o - 2*o for o.
4
Let t be (-4 - (3 - 7))*2/(-2). Solve 2*z - 6*z + 16 = t for z.
4
Suppose 4*a - 3*p = 17, p = 3*a + 2*p - 3. Suppose -g = a*g. Solve l + 3 = -g for l.
-3
Suppose 2*b = -5*r + 5, -3*r - 6*b = -4*b - 3. Let v(m) = m**2 + m. Let a be v(-1). Solve -r + a = k for k.
-1
Let r = -115 + 117. Suppose -r*h = 8*h - 80. Solve 0 = 4*i + 12 + h for i.
-5
Suppose k = -2*k - 5*u, 3*k = -u - 12. Let l be (9 + k)/(4 - (1 + 2)). Let d(n) = -n. Let x be d(0). Solve x = l*f + f + 25 for f.
-5
Let f(m) = m**3 - 7*m**2 + 7*m - 5. Let b be f(6). Suppose -3*z + 6*j + 6 = 3*j, j - 4 = -2*z. Let i be z/5 - 6/(-10). Solve o - b = i for o.
2
Let g be -3 - (-14 + 4) - -6. Solve -2*b = -g + 3 for b.
5
Let x = 61 + -54. Let n be 2/((-3)/(-9) + -1). Let v = x + n. Solve -5*f - 21 = v for f.
-5
Let i(b) = -b. Let s be i(1). Let a = s + 7. Let y be ((-16)/(-12))/(4/a). Solve 4*l - y = 2 for l.
1
Suppose -2*c = -37 - 23. Let k be c/12*(-6)/(-5). Solve -k*m - 20 = -8*m for m.
4
Suppose -388 - 20 = -4*z. Let p be (-48)/(-64) - z/8. Let x = p - -16. Solve x = -5*s - 1 for s.
-1
Suppose -4*k - r + 4 = 0, -5*r + 20 = -0*r. Suppose -3*b + 0*t + 2*t + 32 = 0, -5*b - 5*t + 20 = k. Suppose 3*x + 2 = b. Solve -1 = -x*s + 3*s for s.
-1
Let d(v) = -16*v. Let q be 0/(2/(-1)*-1). Suppose 0 = -4*x - y - 4*y - 24, 2*y + 8 = q. Let a be d(x). Solve 0 = t + 3*t + a for t.
-4
Let t(l) = l**2 - 9*l - 2. Let z be t(10). Suppose -9 - 1 = -5*y. Suppose y*f - z = -2*f. Solve f*g + 2 = -4 for g.
-3
Suppose -b - 8 = -2*b. Let z(s) = s**2 - 10*s + 11. Let a be z(b). Let p = a + 9. Solve -6 = 2*d + p for d.
-5
Let m(a) = -33*a - 135. Let f be m(-5). Solve -80 - f = -22*p for p.
5
Suppose -4*s + s = 0. Let r be (-208)/(34 + -18) + 15. Solve -r*n + 7*n + 5 = s for