
Let r = -15 - -23. Solve -5*x - r - 2 = 0 for x.
-2
Suppose 3*t = t. Suppose -o - 3 = -t*o. Let b(j) = 2*j**2 + 4*j - 1. Let f be b(o). Solve -f*g - 30 = -5 for g.
-5
Let n = -15 - -7. Let d = n - -11. Let o be (-6)/4*4/(-3). Solve -d*u - o*u = -20 for u.
4
Let n(a) = -a**3 - 15*a**2 - 17*a - 17. Let s be n(-14). Solve 7*t - 2*t + s = 0 for t.
-5
Let s = -38 - -38. Solve s = -5*i + 12 - 2 for i.
2
Suppose -15 = -15*d + 14*d. Solve -d = -v + 6*v for v.
-3
Let a(o) = -o**2 + 7*o. Let s be a(5). Suppose -3*w + 5 = -2*w. Let c be ((-5)/(-2))/(w/s). Solve 0 = -3*k - c - 7 for k.
-4
Let a be 0/(-3)*(0 + 1). Solve a = -5*h - 19 + 4 for h.
-3
Suppose 0 = 4*p + 3*y + 29, 2*p = 3*y + 2 - 3. Let m(d) = d**3 + 3*d**2 - 9*d + 5. Let u be m(p). Solve u = -r - r - 6 for r.
-3
Let a(i) = -3 - 5*i + 3*i + 4 + 10. Let k be a(5). Solve -4*s + k = -7 for s.
2
Suppose 0 = -5*q - 2*d + 16, 1 = 5*q + 2*d - 5*d. Solve y = q*y + 2 for y.
-2
Let s be (3 + 12)/(3/(-10)). Let n = -34 - s. Suppose n = b - 0*b - 4*i, 3*i + 12 = -b. Solve -2*x + 3*x = b for x.
0
Let z(n) = -2*n - 16. Let f be z(-8). Let v(d) = -2*d - 2. Suppose 0 = -5*r - q - 15, 0 = -2*r + 3*r + q + 3. Let w be v(r). Solve w*u + u + 10 = f for u.
-2
Let s = 1 + 1. Let r be 2 + (s + -3)*-2. Let f be (-1)/((0 + 2)/(-2)). Solve 5*u + r = -f for u.
-1
Suppose 3 = -3*o - 3*g, 3*o + 0*g + 11 = 5*g. Let f be 1/o*(4 + -8). Suppose -4*w - q + 0*q = -34, 4*w - 5*q = 22. Solve f*a + 2*a = -w for a.
-2
Let p = 6 + -4. Suppose -4*d + 18 = -3*x + 5, -p*x = -2*d + 6. Let v be x/1 - (-3 - 0). Solve -v*a = -a for a.
0
Let z be 1/3 - (-22)/6. Let w(n) = 1 + z*n - 3 + 2*n**2 - 6*n. Let j be w(2). Solve -j*y = -y for y.
0
Let j(z) = -z**3 + 5*z**2 + 5*z + 3. Let a be j(6). Let h be (1*-2)/((-4)/(-6)). Let x = a - h. Solve x = -4*d + d - 3 for d.
-1
Let k(i) = -i + 12. Let p be k(6). Solve -3*j = -5*j + p for j.
3
Let w = 83 + -67. Solve 0 = 3*l - w + 1 for l.
5
Let k = 24 + -11. Solve -5*l - 2 = k for l.
-3
Let j(c) = c**2 + 2*c - 1. Let d be j(-3). Let r = d - 2. Solve r*k + k = -1 for k.
-1
Let p be (-40)/(-28)*(9 - 2). Solve p = -4*f - f for f.
-2
Suppose 4*u - 1 = 5*c + 4, 0 = 2*u + 3*c - 19. Suppose -4*h + 2*b = b - 83, -u*h + 5*b = -100. Let j be (-28)/(-6) - 14/h. Solve -j*i = 7 + 5 for i.
-3
Let h = 53 - 52. Solve 5*q + h + 14 = 0 for q.
-3
Let o be 0*(-3)/(-9)*1. Suppose 4*x = -3*j + 13 - 1, -x = o. Solve -5*d - j = 6 for d.
-2
Suppose m - 10 = -9*j + 11*j, 0 = -3*m + 3*j + 18. Solve 2 = -m*s + 3*s for s.
2
Let s be 0 - -5 - (-3 - -5). Solve -2*k - 2 = -s*k for k.
2
Let d be (-1)/(4/20*-1). Suppose -26 = -p - p + 4*o, -p - d*o - 22 = 0. Let h = 0 + 0. Solve 3*v + 0*v + p = h for v.
-1
Let d be (-4)/(-10) + 46/10. Suppose d*g + 18 = 7*g. Solve 4 = -h + g for h.
5
Suppose 0 = -4*k - 5*j + 38, 3*j + 12 = -5*k + 53. Solve -3*z - 1 + k = 0 for z.
2
Let c be (-3)/(-1) - 13/13. Solve -n = c*n - 9 for n.
3
Let m = 13 + -12. Solve 0 = -f - 5 + m for f.
-4
Let x(c) = c - 10. Let s be -1 + (1 - 0) - -11. Let w be x(s). Suppose -5*p + 5*d - 5 = 0, w = 4*d - 11. Solve p*j = j for j.
0
Let s be (-2)/(-3) - 8/(-6). Let g = 2 - s. Solve -2*j + 7*j - 20 = g for j.
4
Suppose 5*d + 20 = -t, d - 3*d - 8 = 5*t. Solve 6 = 2*z - t for z.
3
Suppose 2*p + u = -7, p - 4*u = 3*p + 16. Let m(q) = q + 5. Let g be m(p). Solve -g = -4*r + 1 for r.
1
Let p = 22 + -9. Solve -7 = -4*j + p for j.
5
Let c = 4 + 1. Let v be -1 - (2 - (c - 1)). Let a = 2 + v. Solve t = a*t + 2 for t.
-1
Let f = -78 + 127. Let g be 112/f + (-2)/7. Solve -3 = -a - g for a.
1
Let q(t) = -t**3 + 9*t**2 + 2*t - 13. Let h be q(9). Solve -w + 2*w = -h for w.
-5
Suppose -3*f + 3*u + 21 = 0, -f - 4*u = 1 + 2. Suppose 3*b = f*o - 0*o + 45, -b - 3*o + 29 = 0. Solve -g - b = 4*g for g.
-4
Let h(s) = -6*s + 9. Let u be h(0). Solve -5*z = -8*z + u for z.
3
Let z = 15 - 11. Solve 0 = -3*r + z - 1 for r.
1
Let t(x) = x**3 + 2*x**2 - 3*x + 4. Let n be t(-3). Let q be 4/n + 0 + 0. Let d be 10/2 + (q - 4). Solve -d*z = z for z.
0
Suppose -6*g - 62 = -2*c - g, 0 = -3*c + 5*g + 93. Let f = c + -12. Suppose 0 = 3*i - h - f, i + 5*h - 6 = -21. Solve -j - i = -0 for j.
-5
Let p(z) = z - 12. Let h(s) = s**2 - 4*s - 7. Let r be h(7). Let q be p(r). Solve -u + 1 = q for u.
-1
Let f = 2 + -5. Let q = -2 + f. Let b be ((-3)/q)/((-5)/(-75)). Solve -w + b = 2*w for w.
3
Let p(o) = o**2 + 2*o - 3. Let g be p(-3). Suppose 0 = 3*n + 2*n. Suppose -4*d = 3*h + 9, n = d - h - 5 + 2. Solve m + 3 + d = g for m.
-3
Let h = -57 - -94. Suppose 5*y + 4*n - h = -0*n, 5*n = -y + 20. Suppose 2*c + 3*i - 4 - y = 0, -5*c + 16 = i. Solve -c = f - 0 for f.
-3
Let r be ((-4)/(-6))/(20/1170). Let y = r - 19. Solve -q = 3*q + y for q.
-5
Suppose 0 = -2*x - 0*x. Solve -3*k + x*k = -15 for k.
5
Let w be 6/2*(3 - 20/12). Let r(c) = -7*c. Let q be r(-1). Suppose -w*g = -q*g + 24. Solve -2*f + g = -2 for f.
5
Suppose -q + 9 = 2*h, q - 3*q = 5*h - 22. Solve -4*k = -2*k - h for k.
2
Let s = -41 - 58. Let o be s/(-6)*(-4)/(-6). Solve -4*l - o = 1 for l.
-3
Let w(d) = -4 + 0 + 8*d - 7*d - 7*d**2 + d**3. Let c be w(7). Solve 0 = -c*j + 2*j - 3 for j.
-3
Suppose -7*x + 2*x + 150 = 0. Let p = -21 + x. Let n(t) = -t**2 + 5*t + 8. Let u be n(6). Solve y + p = -u*y for y.
-3
Let o(m) = m + 7. Let c be o(-5). Let d be -12*-1*(-1)/(-3). Solve -c*i = -d*i for i.
0
Let u = -17 + 19. Solve 0 = b + 3 - u for b.
-1
Suppose -5*g - 4*w + 0*w + 137 = 0, -g + 34 = 3*w. Solve 4*s - 13 + g = 0 for s.
-3
Suppose 3*b + 12 = 5*p, 2*p - 3*b - 10 = -7*b. Solve -p*t + 8*t = 10 for t.
2
Suppose 2*z = 3*p - z - 12, 3*p + 4*z - 12 = 0. Suppose p*q - 5 = -1. Solve 3 = -2*c - q for c.
-2
Let j(x) = 3*x**2 - x + 1. Let l be j(1). Suppose -5*q + 6*q - 3 = 0. Solve -q*s + l = -2*s for s.
3
Let t = 40 - 28. Solve -4*q - t = -0*q for q.
-3
Suppose 7 = -j + 2*j + 3*d, -5 = -j - d. Suppose -5*m - j*l - 8 = -3, 4*m - 37 = 5*l. Let k = 6 - 2. Solve -m*t = -t + k for t.
-2
Let t(m) = -m**2 - 6*m + 4. Let w be t(-6). Solve -w*q = q - 25 for q.
5
Suppose 10 = -4*x - 6. Let j = -6 - x. Let f be -2 + j/1*-1. Solve f*b + 4*b = 16 for b.
4
Let b(h) be the first derivative of h**3 - h**2 + h - 3. Let x be b(1). Solve m + x = 3 for m.
1
Let k(p) = p**3 - 7*p**2 + p - 7. Let h be k(7). Suppose 2*y = -0*y - 4*j, 4*y - 2*j = h. Solve y = -3*t - t - 4 for t.
-1
Let w(r) = r + 12. Let q be w(-4). Solve 5*z + q + 7 = 0 for z.
-3
Let m(a) = a + 8. Let u be m(-5). Suppose 4*k - u*k = 0. Suppose k = -b - 2*j - 3, -b = -j - 0 - 3. Solve -i - 3 = -b for i.
-2
Let z = 2 + -1. Let f be ((3 + -3)/(-1))/z. Solve -4*x + 11 + 1 = f for x.
3
Suppose -k + 16 = -5*k. Let u = 6 + k. Solve u*w - 4 = -12 for w.
-4
Let a = 51 + -51. Solve a*s - 2 = -s for s.
2
Let i be 12/(-6) + 0/(-1). Let p be (-4)/(8/3 + i). Let m = 11 + p. Solve 0 = -0*w + m*w - 20 for w.
4
Let o(n) = -2*n**2 - 3*n. Let m be o(-3). Let b(h) = h + 9. Let j be b(m). Solve -3 = u - j for u.
-3
Let f = -105 - -109. Solve -f*o = -o - 9 for o.
3
Let f = -2 - 7. Let w = 13 + f. Suppose t - 10 = -w*t. Solve -10 = -t*o + 7*o for o.
-2
Suppose 0 = -4*l - z + 29, 0 = 4*z - 12 - 8. Solve -4 = -5*v + l for v.
2
Suppose u - v = 2*v + 6, 5*u = -4*v - 65. Let c be (3/u)/((-2)/48). Let f = -4 - -7. Solve -f*n - c = -5*n for n.
4
Let g(d) = -d**3 - 24*d**2 + 3. Let q be g(-24). Solve -q*m - 2 = 1 for m.
-1
Suppose 5*s + 2*p + 4 = 0, -3*p - 8 = -5*s - 2. Solve s = -4*x + 4 + 8 for x.
3
Let g be (1 + 0)*(-1 + 7). Let u(l) = l - 5. Let n be u(g). Let b be (-3 + 2 - (-2 + 1))/(-1). Solve a = n - b for a.
1
Let c(j) = -j**2 + 11*j + 1. Let w be c(10). Solve 1 = -5*d + w for d.
2
Let w be (20/2)/2 - -1. Solve w*o = o for o.
0
Let u(x) = -6*x - 3. Let r be u(-3). Let w be 2*((-45)/6)/3. Let n be 2/w + 6/r. Solve -8 = -2*s - n*s for s.
4
Let n = 29 + -24. Solve n*o - o = -16 for o.
-4
Suppose 4*d - 4 + 0 = 0. Solve -t = -0 - d for t.
1
Let m = -44 + 52. Solve m = -c + 4 for c.
-4
Suppose 4*y - 6 = 7*y. Let c be -2 + (-9)/6*y. Solve 0 = -v + 2 - c for v.
1
Let k be (3 + -2)/(2/4). Suppose k*y - 4*y + 4*m + 18 = 0, 11 = 4*y - 3*m. Let g be y - -2*9/6. Solve -x + g = x for x.
1
Suppose -2*v - v + 9 = 0. Suppose 5*p - v*p = 0. Solve 6*q - 4*q - 4 = p for q.
2
Let m = -15 - -16. Solve m = -p - 3 for p.
-4
Suppose -n - n = 12. Let q(o) = o + 6. Let c be q(n