= 0, 4*o - d*i + 12 = 0. Solve o = 2*q + q + 3 for q.
-1
Let u = -7 - -12. Suppose 3*y - 17 = -u*a, -y + 15 = -2*a + 6*a. Let k be (-2)/4 + 10/a. Solve 0 = 3*j - k*j for j.
0
Let w(k) = 8*k**3 - 2*k**2 + 1. Let r be 9/7 - 2/7. Let a be w(r). Let l = a + -3. Solve -l = -0*h + h for h.
-4
Let s be 3*(-1)/(-9)*39. Let b = s - 8. Solve 7 = -b*z + 2 for z.
-1
Suppose -4*m + 0*m = -5*r - 8, 0 = -m + 4*r + 2. Suppose -m*n + 0*n + 14 = 0. Let y(t) = t + 6. Let k be y(-6). Solve k = -4*c - 9 - n for c.
-4
Suppose -m + 3*m - 4 = 0. Solve 0 = 5*c - 8 - m for c.
2
Let b = -16 + 21. Solve b*l + 9 = -1 for l.
-2
Let k be -1 - (-5 + -1*(-2 + 3)). Solve 5*h - k = 4*h for h.
5
Suppose 0 = -i - 5*k + 27, -5*i + 3*k = -0*k - 23. Solve i*o = 2*o + 10 for o.
2
Let n(w) = -w**2 + 5*w - 2. Let j(a) = -a**3 + 4*a**2 + 5*a + 4. Let d be j(5). Let y be n(d). Suppose -3*f + y = -7. Solve -2 - 4 = -f*h for h.
2
Suppose -3*a = 2*g - 32, 5*a + 3*g + 2*g - 60 = 0. Suppose 0 = -3*i - i + s + 53, -5*s = -2*i + 49. Let x = i - a. Solve 0 = -x*o + 8 + 4 for o.
3
Let v(a) = a**3 + 5*a**2 + 2*a - 5. Let h be v(-4). Suppose -h*k + 10 = 2*k. Let d be (3 - (-4)/1) + (-1 - 2). Solve k*r = -2*r + d for r.
1
Let j = 0 - -3. Let s(g) = -3 - 8 + g**2 - 7*g + j. Let z be s(8). Solve z = -9*c + 4*c + 15 for c.
3
Let c = 84 + -72. Solve 2*a - 6 = -c for a.
-3
Let k be 2/(-1) + 6*1. Suppose -5*c + 31 = 4*s, 5*s + 2*c - 10 = 16. Let f be s/(32/50)*k. Solve f - 9 = -4*m for m.
-4
Suppose -9 = -4*s + 2*s + 3*n, -2*s + 10 = -4*n. Suppose -4*c = c. Suppose -3*p + c*p + 6 = 0. Solve 0 = s*a - p*a + 1 for a.
-1
Let z(h) = 3*h**2 - 3*h + 2. Let b be z(1). Solve -b*j = j + 15 for j.
-5
Let c be (-30)/9*(-6 - -3). Suppose -3*w + 85 = c. Suppose 2*r - 5*p = w, -3*p - 2 - 2 = r. Solve 0 = -t + r - 1 for t.
4
Let l(g) = g + 11 - 2*g - g**3 - 3*g**2 + 14*g**2. Let w be l(11). Solve -2 = -w*j - 2*j for j.
1
Let q = -21 + 41. Let g(r) = -2*r + 2. Let c be g(-2). Suppose c*t - q = t. Solve 0 = -t*m + 6 + 14 for m.
5
Let x be (-8)/48 - (310/(-12))/5. Solve 0 = 4*a + x + 11 for a.
-4
Let p(j) = -j**2 + 9*j - 10. Let l be p(7). Let r(f) = f**3 - 5*f**2 + 4*f + 7. Let w be r(3). Solve -l*s + 3*s - w = 0 for s.
-1
Let b be 2 + 1/2*2. Suppose -2*n + 4*y = -7*n + 49, -2*y = b*n - 29. Solve -g + n = -4*g for g.
-3
Let z be ((-8)/6)/(14/21). Let t = z - -2. Solve 3*q - 17 + 2 = t for q.
5
Let a(f) = -f**2 + 4*f + 9. Let w be a(5). Let y be 2*(1 - (-7)/2). Solve y = -w*t + t for t.
-3
Let p(q) = -q**2 - 12*q - 14. Let r be 7 + (3 - 3 - 3). Suppose -r*b - 28 = 4*f, -4*f - 39 = -f - 3*b. Let i be p(f). Solve u + i = 3*u for u.
3
Let r(p) = p - 1. Let u be r(3). Let q be 6/5*(-25)/(-2). Suppose 0 = -2*v + 3*l + q, -2*v - 8 + 26 = -4*l. Solve u*g - g = v for g.
3
Suppose 3*h + 0*h = 0. Suppose -5*g + 4*g + 1 = h. Solve -4*n + g = 9 for n.
-2
Let s be (0 + 0)/(-7 - -6). Solve s = -2*k - 1 - 1 for k.
-1
Suppose 4*t + 3*b - 28 = 0, -5*b - 7 + 37 = 5*t. Solve 0*z = 2*z + t for z.
-5
Let s be 1 + 1 + 3 - 1. Let o = 6 - s. Solve 0 = o*y - 4*y for y.
0
Suppose 8*s - 5*s = 69. Let b = s + -18. Solve -b*t + 2*t = -6 for t.
2
Suppose -4*i + 34 = -3*w + 5, 2*i + 5 = -5*w. Suppose -2*x - 13 = -3*r + 16, 17 = 3*r + x. Solve -3*t = i + r for t.
-4
Suppose -2*w = -3*i - 3*w + 1, 2*w + 10 = 0. Suppose -3*g = i*g - 15. Solve g*d = -2*d + 5 for d.
1
Let u be (-2)/8 + (-34)/(-8). Let t be 6*(66/12)/11. Solve -19 = -u*x - t for x.
4
Suppose 0 = c - 0*c. Suppose 3*g - 3*i - 56 = -2*g, c = -i - 2. Solve 0 = -4*p - g - 6 for p.
-4
Suppose -10 = -2*m - 6. Solve d = -m*d - 15 for d.
-5
Let p(w) = -w**3 - 4*w**2 - w + 3. Let b be p(-4). Let o be (b/(-2))/((-3)/6). Solve -12 = -o*q + 4*q for q.
4
Let y(b) = -b**3 - 14*b**2 - 9*b - 16. Let n(x) = x**2 + 1. Let i(p) = -5*n(p) - y(p). Let f be i(-8). Let q = 3 - f. Solve s = -q + 4 for s.
4
Let c = 3 + -4. Let b = 5 - c. Solve -3*o + b - 18 = 0 for o.
-4
Suppose 0 = -0*h - h - 3, -3*h = 2*i + 5. Let v be 13 + -3 - i/1. Solve 3*l + 1 = -v for l.
-3
Let t = -3 - -3. Solve 4*n = -t - 12 for n.
-3
Suppose -n + 3 = 1. Suppose -5*r + 3*s + 0*s = -17, 0 = 2*s - n. Suppose -r*l = 2*t + 10, -4*t = -3*l + 2*l - 25. Solve 3 = t*v - 12 for v.
3
Let h(v) = -v + 22. Let y be h(-3). Solve 0*m - 5*m - y = 0 for m.
-5
Let y = 56 + -38. Solve 0 = 4*q + 2 - y for q.
4
Let q be 2 + 0/(-1) - 0. Let r = -1 - 0. Let l = q - r. Solve 4*i - 5 - l = 0 for i.
2
Let t be (-8)/((-16)/6) - 0. Solve -2*s + 3 = -t*s for s.
-3
Let f be 90/(-9)*(-6)/(-4). Let t be (f/(-4))/((-6)/(-16)). Solve -a - 4*a = -t for a.
2
Let b be 5/(-2 - 6/(-2)). Let u(a) = a**2 - 7*a + 14. Let i be u(5). Suppose b*m = -h + 41, h = -i*h - 2*m + 113. Solve -9 = 3*k - h for k.
4
Let c be (4/(-7))/((-2)/14). Solve 0 = c*i + i for i.
0
Let d(f) = -f - 10. Let b be d(-4). Let a(m) = 6*m**2 + 7*m - 3*m - 6 + m**3 + m**2. Let y be a(b). Solve -t - 5 = -y*t for t.
1
Suppose 5*i = 2*i. Suppose g - 2*x + 4 = -i*g, 1 = 5*g - 3*x. Solve g*j = -7 - 3 for j.
-5
Let q(s) = -s - 2. Let k = 8 - 14. Let d be q(k). Let r = -9 - -15. Solve -d*c - 10 = -r*c for c.
5
Suppose 8 = 5*o - 4*o. Suppose -4*c - 1 = s, -o = -2*s - 3*c + 5*c. Suppose -2*l = -s - 11. Solve 5*g = -3 - l for g.
-2
Suppose 4*s + 4*i = 8 + 20, 0 = -2*s + 4*i + 8. Solve 0 = z + s - 2 for z.
-4
Suppose 11 + 4 = 5*l. Suppose -4*q + 7*q = -l*v - 9, -5*v = -3*q - 9. Let u be (v - -12) + -3 + 3. Solve 5*p - 27 = -u for p.
3
Suppose -4*y + y = -72. Suppose t = -t + y. Solve 0*o + t = 3*o for o.
4
Suppose 3*j + 1 + 2 = 0, -3*g + 2 = 4*j. Solve -2*n = g*n + 8 for n.
-2
Let d be (0 + -2)/(2/7). Let g(n) = -5*n**2 + 13*n + 1. Let y(m) = 6*m**2 - 14*m - 1. Let u(r) = d*g(r) - 6*y(r). Let x be u(-6). Solve -t = 4*t - x for t.
1
Let u be -4 + (-4 + 1 - -10). Solve -2*j = u*j - 20 for j.
4
Let t be -3 - (-4 + 3)*3. Suppose 3*s + 15 = t, 7*p - 2*p + 40 = -4*s. Let f be (p/3)/((-9)/27). Solve 0*g - f = 2*g for g.
-2
Let l(k) = 2 + k**2 - 3*k + 3 - 1. Let p be l(3). Solve 0*z + 4 = -p*z for z.
-1
Let v be 1 + (1 - -1)*1. Let w(a) = a**2 - 2*a + 1. Let t be w(v). Solve -r - t = -7 for r.
3
Let q(k) = -2*k + 12. Let r be q(3). Solve 0 = f - 3 + r for f.
-3
Let j be 1/((-6)/8)*-3. Solve 0*y - 4 = j*y for y.
-1
Let h(u) = u - 1. Let l be h(4). Suppose 0 = q + l*s, 7 = 3*q - 0*s + 2*s. Let g be ((-2)/(-4))/(q/12). Solve 1 - 5 = g*z for z.
-2
Let i(q) = 2*q**2 - 5*q. Let x be i(3). Solve x*a = 4*a for a.
0
Suppose 4 = -4*r + 6*r. Solve 5*a - 3 = r for a.
1
Suppose 5*c + o = -0*o + 54, -5*o = c - 30. Solve 5*x - c = 3*x for x.
5
Let s(n) = n**3 - n**2 - 3*n + 4. Let h be s(2). Solve 3 + 3 = -h*j for j.
-3
Let z(t) = -t**3 - 7*t**2 + 8*t + 5. Let a be z(-8). Suppose 14 + 1 = a*v. Solve -g + v*g = -6 for g.
-3
Let r = 33 + -33. Solve 3*a + r = 9 for a.
3
Let c be 4/(-10)*(2 - -3). Let h = 6 + c. Let u(n) = 4*n**2 - n. Let i be u(1). Solve -5 - h = i*a for a.
-3
Let r = 0 - -5. Suppose 0 = 3*w + 2*w - r. Let f be (-3)/(10/8 - 2). Solve -w - f = 5*m for m.
-1
Suppose 0 = -5*c - 3*o - 83, 0*c - 3*o + 13 = -c. Let m = c + 20. Solve 5*d + m = d for d.
-1
Let l(b) = b**3 - 10*b**2 - 11*b. Suppose -6 = -w + 5. Let r be l(w). Solve -3*i + i + 2 = r for i.
1
Let r = -23 + 8. Let y = -90 + 69. Let m = r - y. Solve -3*k + m = -5*k for k.
-3
Suppose -5*t + 8 = 23, 4*z = 4*t + 20. Suppose 6 = b + l, -z*b + 23 = b + 4*l. Solve d - 5 + b = 0 for d.
4
Suppose -3*r + 5*j - 29 = -7*r, 0 = -5*r + 3*j - 10. Solve 0 = -w - r - 0 for w.
-1
Let w(z) = z**3 + 6*z**2 - 8*z - 5. Let o be w(-7). Suppose 4*v = 3*x + 9, -4*v - o*x + 10 + 24 = 0. Suppose -2*u = 2 - v. Solve u*t = 7*t + 10 for t.
-2
Let v(i) = 2 + 2 + 6*i - 7*i**2 - 2 - i**3 - 4. Let x be v(-8). Solve -5*n - 6 = x for n.
-4
Let z(m) = -m + 7. Let n be z(7). Solve y = -n*y for y.
0
Suppose -24 = -0*f - 2*f. Suppose 2*v - f = -0. Solve -3*a + 6*a + v = 0 for a.
-2
Let p = -5 + 8. Let w(g) = g - 1. Let m be w(5). Solve p*u + m = -u for u.
-1
Let d = -21 + 27. Solve d*x = x + 25 for x.
5
Let j be 6/33 + 4/(-22). Suppose s = -j*s + 34. Let t = s + -19. Solve -4*k = k - t for k.
3
Let m(o) = -o**3 + o**2 + 6*o + 4. Let z be m(3). Suppose -4*h + 3*v - 7 = 0, -14 = -3*h + 6*h - z*v. Solve -2 = h*p - 4*p for p.
1
Suppose -29 = -7*n - 8. Solve -2*o = -n*o for o.
0
Let c be 3/(-6)*(0 - -2). Let x = 1 - c.