 -3*y - m + 0*m = 15, 0 = -3*y + g*m - 3 for y.
-4
Let o(a) = 5*a**2. Let p be o(1). Let r = -18 - -22. Suppose 0 = -0*x + 4*x, -r*k - p*x + 8 = 0. Solve -5*j + k*d = 16, -1 = -3*j - 3*d + 2 for j.
-2
Let r be 1/1*-2 + 14. Let l = 22 + r. Solve q - 9 + l = 4*a, -5*a = q - 20 for q.
-5
Suppose 3*q - 30 = -0*q. Suppose 5*r - q*r = 0. Solve -2*o - 5 = -r*o + t, 5*t - 2 = -o for o.
-3
Let g(m) = -3*m + 0*m**2 - m + m**3 - 5*m**2 + 2*m**2 + 2. Let v be g(4). Solve u - 2*y - 9 = 0, -4*u + v - 21 = 3*y for u.
-1
Let a(r) = r**3 + 5*r**2 + 4*r + 3. Let z be a(-4). Let c be ((-40)/50)/((-4)/(-110)). Let j be (-8)/(z + c/6). Solve 4*f + j = 2*o, 4*f = -2*o - 2 - 2 for o.
2
Let t be 0*(-1)/(-8)*4. Solve -2 = -5*j + f, t = -3*j + 4*f - 11 + 2 for j.
1
Let g = 23 + -23. Solve -4*i = -g*i + 5*x - 5, 0 = 4*i + 2*x - 14 for i.
5
Let z(t) = 2*t**3 + 2*t**2 - 3*t + 2. Let s be z(1). Suppose -5*m = -10, -s*m = 2*b - 2*m - 12. Solve -2*i = 2*q - 4*q, -6 = i + b*q for i.
-1
Let v be (-81)/(-15) + 3/5. Solve 10 = -3*y - a, -5*y = -a + v*a + 30 for y.
-2
Let y be (0 - -3) + 19 - 1. Let v = y + -6. Solve -4*u = 5*f + 11, -f = 4*f + v for u.
1
Let z be (3/(-6))/(1/(-4)). Let b be (z/(-5))/(8/(-80)). Let v be 129/27 + (-4)/(-18). Solve 0*p = -2*p - b, -q = -p - v for q.
3
Suppose 0*p - 15 = -p. Let t be p*1/(15/9). Solve 3*m - 5*g = -2*g - 24, 2*g + t = -3*m for m.
-5
Suppose -2*t + 6 = -2*b + 2, -6 = -3*b. Solve -t*s + 3 = 5*w, 4*s = -5*w + 2*s + 9 for w.
3
Suppose -s = 3*s - 16. Let l be -1 + 3 + (1 - -4). Let d = l - 3. Solve 4*n - 5*c = n + 29, s*n = d*c + 28 for n.
3
Suppose -2 = 18*i - 20*i. Let d = -1 + 1. Solve -3*s = -y - 12, d = -3*s - 5*y - 7 + i for s.
3
Let l be 5/15 - (-28)/6. Suppose -l*a = -17 + 7. Solve 0 = 3*y - 15, -7 = 3*f - a*y + 15 for f.
-4
Suppose -2*s - 7 = 1. Let p(o) = -o - 4. Let i be p(s). Let k be 2 + 0/3 - i. Solve l - 1 = v, l + 2*v + k = -0*l for l.
0
Let r = -63 - -69. Suppose -4*t + 7*t = 6. Solve 3*q - 11 = -l, t*l + q = r*l - 18 for l.
5
Suppose q + 3 = 2*w - 0, 3*w + 3*q = 18. Solve p = -2, 2*h = -0*p - w*p - 14 for h.
-4
Let l be 4/(-1) + (-2)/(-2). Let y be ((-5)/(-15))/(1/l). Let m be y + (2 + -4 - -3). Solve 0 = 3*p + 3*g + 6, -5*p + m + 2 = g for p.
1
Let l(r) = -r**3 - 2*r**2 + 2. Let f be l(-2). Let b(k) = -k - 2. Let y be b(-7). Suppose 4 = h + 3. Solve 0*t - t - f*i - h = 0, -4*t = y*i + 4 for t.
-1
Let r = 53 - 51. Solve -r*l - 3*l - 18 = j, -3*l + 2*j = 16 for l.
-4
Let h be (-87)/(-15) + (-3)/(-15). Let r(i) = -i**3 + 7*i**2 - 6*i - 6. Let v be r(h). Let x = v - -10. Solve 5*p + 29 - 5 = 2*a, -4*a = p - x for a.
2
Let w(r) = r + 1. Let t be w(0). Suppose t = 5*n - 6*n. Let z = n + 3. Solve -5*y + h = -4, -y - 2*y + z*h = -1 for y.
1
Suppose 2*d = -4*x + 6, 0 = d - 4*x - 3 - 0. Solve n = -2*o - 5 - 5, -d*n + 5 = -o for o.
-5
Let p = -22 + 24. Solve 0 = b - 4*y - 3 + 6, 0 = p*b + y - 3 for b.
1
Suppose 3*i = 4*i - 4*b - 8, 2*i = -b + 43. Solve 3*t + 12 = 5*s, -5*t = -4*s - 0*t + i for s.
0
Let p = 15 - -11. Solve 3*w + 17 = 2*m, 4*m - 5*m + p = -5*w for w.
-5
Let u(j) = -j**2 + j + 1. Suppose -2*z = -5*z + 5*t - 15, -z = 4*t - 12. Let d be u(z). Let h be d + 1 + 1 - -2. Solve k + 2*f = 3, -4*k - k = h*f - 5 for k.
-1
Suppose 0*i + i = 5. Solve 1 = c - 5*f, i*f - f = 5*c + 16 for c.
-4
Suppose 0 = -7*i + 8*i - 4. Let n(z) = -z**3 + 5*z**2 + 6*z + 6. Let o be n(6). Solve 0 = o*a - i*a - 5*y - 20, -4*y = -2*a + 16 for a.
0
Suppose -2*r + y = 3*y - 10, 3*y - 15 = r. Let p be 3/(0 + r + 1). Let n be 0/(-2) - -12 - p. Solve 2*o - 7*o = -2*a + 25, 3*a + 2*o - n = 0 for a.
5
Let w(t) = t**3 - 4*t**2 - 10*t - 11. Let k be w(6). Solve y = -6*d + d + k, -7 = -3*d + y for d.
1
Let w be (22/(-110))/((-2)/10). Suppose -1 = 2*c - 7. Suppose -c*s - 10 = -5*x - 2*s, -2*s + 8 = 4*x. Solve 3*h + u = h + w, 0 = x*u - 6 for h.
-1
Suppose c - 4*n = 8, -2*c - 10 = -2*n - 2. Let d be (c/(-12))/((-2)/(-39)). Let u be 7/2 + (-1)/(-2). Solve -r + 4*z = d, 0 = u*r + z + z - 20 for r.
3
Let b(a) = a**2 + 5*a - 1. Let f be b(-5). Let x be (-4 + f)*(-10 - -3). Solve -5*p + 2*c + x = -0*c, -3*c = 15 for p.
5
Let j be ((-50)/(-15) + -4)*(-6)/1. Solve -5*b = 2*k - 7*k - 20, j*b = 3*k + 14 for k.
-2
Let q = -7 + 10. Solve 0 = -2*i - 3*j - 15, q*i + 3*j = 4*i - 6 for i.
-3
Let p be 1*(7 + (-2 - 1)). Let y be (-3 + 2)/((-3)/6). Solve y*i + 15 = q - 2*i, -3*q - p*i = 35 for q.
-5
Let n be (0 - 0)/(6 - 5). Suppose 4 = 2*h - 0*h. Solve -6*d + d + 3*m - 7 = n, 4*m = h*d for d.
-2
Let u(k) = -3*k - 2. Let o(h) = 2*h + 1. Let r(x) = -4*o(x) - 3*u(x). Let p be r(0). Solve -6 = -p*c + 2*s, c - 4*s = -1 + 4 for c.
3
Let b be (-2)/((-15)/6 + 2). Solve k - 6 = -3*v, -b*k + v - 2 = -k for k.
0
Let z(u) = u**3 - 6*u**2 - 7*u + 1. Let m be z(7). Let f(j) = 6*j - 1. Let h be f(m). Solve 5*w = h*s + 15, -3*w + 5*s - 3*s + 10 = 0 for w.
4
Let t = -1 - 4. Let h(n) = -n**3 - 6*n**2 - 7*n - 1. Let w be h(t). Let i = w + -1. Solve 3*z + 12 = -3*c, -6*z + z = c + i for z.
-1
Let p(t) = 2*t**3 - 4*t**2 - 5*t - 3. Let i be p(4). Let u = i - 26. Solve 0*v = -4*n + v - 5, 5*n - 3*v = -u for n.
0
Let c = 5 - 1. Suppose 19 = 5*s + c. Solve 2 + 14 = 4*i, -s*v = -4*i + 1 for v.
5
Suppose -19 + 22 = f. Solve -2*k + f*a - 7 = 0, -a - 9 = k + 3*a for k.
-5
Suppose 9*i = 25 + 20. Solve -i*u + 14 = 3*v, 3*u - 4*v = 6*u - 15 for u.
1
Let h(c) = c**3 + 5*c**2 + c + 5. Let a be h(-5). Let n be a + (-2 - -2) - -2. Solve 2*s - 4*s - 4*x = 18, 12 = -2*s - n*x for s.
-3
Let o(k) = -k**3 - 12*k**2 - 10*k + 16. Let x be o(-11). Solve 2*g - x*r + 23 = 0, 0 = 5*g - r + 4*r + 11 for g.
-4
Suppose 0 + 4 = 2*t. Let d(q) = q + 3. Let b be d(-3). Suppose b = 4*h - 25 - 15. Solve -4*l + 31 = -5*j, l = -t*j + 4*j + h for l.
4
Let s = -18 - -26. Let v = 9 + -17. Let o(z) = -z**3 - 7*z**2 + 7*z - 2. Let x be o(v). Solve d + 3*w = 8, -4*d + 2*w = x*w - s for d.
-1
Let h(p) = -p + 17. Let n(v) = v**2 + 7*v + 4. Let m be n(-8). Let k be h(m). Solve l = 4, 2*l = k*b + 2 + 1 for b.
1
Let x = 81 - 78. Solve -d - 3*o - 21 = -x*d, 5*o + 25 = 0 for d.
3
Let t be (5 - 32/6)*(1 + -1). Solve m - 4 = 0, t*r + m = -r for r.
-4
Let l(u) = -u**3 + 6*u**2 + 7*u + 2. Let g be l(7). Suppose -g*v = 7 - 23. Let d be 0 + 6 + 7 + -7. Solve -d*p + p + 5*b = -45, 3*p + 4*b = -v for p.
4
Suppose 0*d + 6 = -2*l - 4*d, 4 = -d. Solve 3*k - 6*w = -w - 4, k = l*w - 8 for k.
2
Let v = 4 + -1. Solve -v*g - 15 = 2*h, 0 = 2*h - 6*h - 12 for g.
-3
Suppose 4*s - 3*h + 4 = 20, -20 = -5*s + h. Let c(l) = -l**2 + 4*l + 5. Let m be c(s). Solve 4*r = -m*f - 29, 2*r + 3*f + 16 = r for r.
-1
Suppose 3*s - 8*s + 20 = 0. Solve s*l = 5*o - 30, l = 3*o - 5 - 6 for o.
2
Let z(i) = -i**3 + 12*i**2 + 12*i + 15. Let x be z(13). Solve -1 = 4*l + x*f - 5, 3*l - f = -2 for l.
0
Let y = -16 + 20. Solve -4*r + 5*r + 15 = 5*p, -y*r + 3 = p for r.
0
Suppose -p = -2*p. Suppose p*h - 9 = -3*h. Solve -h*t + 11 = 4*j - 4*t, -5*j + t = -13 for j.
2
Suppose -4*t - f - 3*f + 40 = 0, 15 = -2*t + 5*f. Let k be (-2)/7 + 4/14. Let y = 3 + k. Solve t*d + y*c = -1, -3 = 2*d + 5*c + 5 for d.
1
Suppose -4*n - u = -2, -u + 10 = -n + 4*u. Suppose 5 + n = i. Solve i*q = -3*z - 17, 3*q = -5*z + 4*q - 19 for z.
-4
Let f = 9 - 5. Let v be f*2*(-3)/(-3). Suppose -4*m = -2*o - 6, 0*m - 5*m + o = -12. Solve 1 = -3*i - m*u - v, 0 = 3*i - 2*u - 1 for i.
-1
Let n = -7 + 9. Suppose 2*z - 4*s + n*s - 12 = 0, 0 = -2*z + 3*s + 15. Solve -5*b + z*l = 2 + 8, b + 4*l + 2 = 0 for b.
-2
Suppose -2*h - 2*x = 6, -h = -x - 2*x - 17. Suppose -g = 3, g + 0*g + 39 = 2*z. Solve 4*o + 2*i = -z, 3*i - 13 = h*o + 8*i for o.
-4
Let f = -84 + 42. Let x be (f/(-30))/((-2)/(-10)). Solve -2*m = -2*b - 4, -x*b + m = -3*b + 5 for b.
-1
Suppose -3 + 6 = 3*x + 3*t, -t = 4*x - 13. Solve -3*j = 2*p - 6, p - 8 = -p - x*j for p.
0
Let t = -1 + 31. Solve -i - t = 2*i - 5*k, 2*i - 5*k = -25 for i.
-5
Let c(k) = k. Let d be c(-1). Let q be (-1 - -1)/((-1)/d). Suppose q = -5*a + 30. Solve -f - 1 = -3*b, a*b - 14 = -5*f + 2*b for f.
2
Let w = 0 + 1. Let m be (-2 + w)/(-2)*10. Suppose d = 4*b - 61, -25 + 3 = -b - 2*d. Solve 5*c = 4*u + 3*c - b, m*u - 23 = c for u.
5
Suppose -4*t - 5*f - 123 = -15, f = -4. Let z = t + 26. Solve 0*v + 4*n + 28 = -z*v, 2*v - 7 = 5*n for v.
-4
Let x be 4/10 + (-698)/(-5). Let d(u) = -u + 10. Let k b