 Let z = -5 - -3. Let h be (-2)/(-3) + z/(-6). Solve 5*i - a = -h for i.
2
Suppose -2 = -3*z + 2*z. Suppose z*w - 3 = w. Solve 0 = 4*m - m + w for m.
-1
Let h = -4 + -1. Let g(i) = -i - 3. Let t be g(h). Let c = 13 + -8. Solve c = -3*d + t for d.
-1
Let n = -10 + 33. Suppose -3*l = -v + 4 + 7, -3*v = l - n. Suppose 5*j + 3 = v. Solve -c - 4 + j = 0 for c.
-3
Let o be -9*(3 - 2) - -3. Let q = -2 - o. Solve 0 = -2*r + q - 0 for r.
2
Let n(w) = -w**3 - 7*w**2 + 7*w - 4. Let k be n(-8). Suppose k*z - 49 - 3 = 0. Solve -5*a + 12 = -z for a.
5
Suppose 6*a = a + 30. Solve 2*w + 2 = -a for w.
-4
Let w = -40 - -57. Solve 5*h + w = -8 for h.
-5
Suppose 0 = -t + 4 - 2. Let w(i) = 2*i**3 - 2*i**2 + i + 1. Let z be w(t). Let m = 15 - z. Solve -p - 9 = -m*p for p.
3
Suppose 0*m + 18 = 3*m. Let f(a) = 2*a - 9. Let s be f(m). Suppose -12 = 2*h - 4*d, 21 = s*h - 4*h + 5*d. Solve -h*l = l - 20 for l.
4
Let z(t) = t**3 - 7*t**2 + t - 3. Let f be z(6). Let n be 6/f - (-8)/44. Solve -y = -n*y for y.
0
Let d be ((3 + -8)/5)/(1/(-12)). Solve -4*g = -g - d for g.
4
Suppose -3*y = 6*y - 3*y. Let x = -4 + 8. Solve -i + y*i - x = 0 for i.
-4
Let v(s) = -5 + 2*s + 1 - 3. Let g be v(5). Solve -1 = g*j + 2 for j.
-1
Let k(p) = 3*p**2 - 20*p - 7. Let w be k(7). Solve b - 2*b + 1 = w for b.
1
Suppose 0 = x - 0 - 3. Suppose x*y = 6*y - 9. Solve 7 + 5 = y*h for h.
4
Let u = 2 + 1. Suppose -2*c - 68 = -6*c. Suppose 2*n = -l + 10, 0*n = -2*l - 3*n + c. Solve f = -u*f - l for f.
-1
Let m(k) = k**3 + 14*k**2 + 2*k + 30. Let z be m(-14). Solve z = -3*h - 4 for h.
-2
Let a be 2/(-3) + (-152)/(-12). Let k be (8/a)/((-1)/(-3)). Suppose h + k*u + 3*u = 5, 15 = 3*h - 4*u. Solve h*x = -0 - 15 for x.
-3
Suppose g = -3*g + 12. Solve -g*v + 0*v + 6 = 0 for v.
2
Let n be 1 - -1 - 3/(-3). Let q = -7 + n. Let f = -2 - q. Solve 0 = -f*m - 5 - 3 for m.
-4
Let f be (-4)/(6/(-3)) - -3. Let w = 9 - f. Solve w*a + 5 = -3 for a.
-2
Suppose -6*c = -c - 35. Suppose 2*g = 2 + 2. Suppose 3 = g*k - 1. Solve k*p + c = -3 for p.
-5
Let j(b) = 4*b**3 + b**2 + 3*b - 1. Let z be j(2). Suppose -3*p + 78 = 3*v, 3*p + 28 = 4*v - z. Suppose 1 = -5*a + v. Solve -a*q = -9 - 7 for q.
4
Suppose 6 = 2*o - 3*w - 10, 5*w + 18 = -o. Let x(a) = -a**2 + 3*a + 2. Let k be x(o). Solve -k*n - n = 5 for n.
-1
Let r be 30/4 + ((-9)/6 - -1). Solve 0 = -4*t + 9 + r for t.
4
Suppose -w = 2*w - 3. Let o be (-1 - 3)/(-2 + w). Suppose 3 + 17 = o*r. Solve r*d - 3*d + 2 = 0 for d.
-1
Let k be -2 - -1 - (-5 + 5). Suppose 5*q - 57 = -7. Let l = q + k. Solve -l + 29 = 4*t for t.
5
Let a(b) = -b**2 - 7*b + 11. Suppose -2*d - 5*i + 0*i + 37 = 0, -2*d + 4*i + 82 = 0. Suppose -3*r - d = -7. Let v be a(r). Solve v*x = -2*x for x.
0
Let o = 7 + -6. Suppose 0*p - 2*p - o = l, p = -2. Solve l*n - 5*n + 2 = 0 for n.
1
Let r = 194 - 190. Solve -15 = f + r*f for f.
-3
Let u(a) = -a**2 - 5*a - 2. Let y be u(-4). Suppose -2 = 2*i + 4*b, 3*b + 1 = -4*i - y*b. Let c be (-3 - -3) + i + -1. Solve -2 + c = m for m.
-2
Let k = -8 + 10. Solve 12 = -k*p - 2*p for p.
-3
Suppose -4*o - 4*v = -0*v - 12, 5*v = -3*o + 7. Solve -o*u + 0 - 16 = 0 for u.
-4
Let i = 2 + 1. Solve -i*w - 8 = 4 for w.
-4
Let q(x) = -x**2 + 5*x - 3. Let d be q(3). Suppose 1 - 22 = -d*f. Solve -4*m - 27 = -f for m.
-5
Suppose -3 - 5 = 4*h. Let j be h/4*4*4. Let r = j - -11. Solve r*g = 3 - 18 for g.
-5
Let g(y) = -2*y - 8. Suppose 4*j = 4 - 28. Let w be g(j). Let r = w + -4. Solve 2*a + 2 = -r for a.
-1
Let r(g) = 6*g**2 - 1. Let s be r(1). Suppose b + y + 1 + 1 = 0, 4*b - s*y - 28 = 0. Solve -m - b = -0 for m.
-2
Let u = -31 + 53. Suppose -3*f - 7 = -u. Suppose -3*k = -2*t + 12, f*t - k - 30 = -2*k. Solve -25 = s - t*s for s.
5
Suppose -7*v = -3*v - 36. Solve -2*f = f - v for f.
3
Let s = -3 - -3. Solve 0 = 4*q - s*q + 12 for q.
-3
Suppose 3*b = -h + 11, -h = -b - 1 + 2. Solve h*g + 2 = 8 for g.
3
Let j be 6 - 7/(28/8). Solve 0 - j = 2*z for z.
-2
Let n = -2 + 2. Suppose -5*d = -v, n*v = -v - d. Solve v = -3*o - 7 - 2 for o.
-3
Suppose 0 = -g - 2*g. Suppose g = 4*f - 3*f. Suppose f = -3*n + 16 - 4. Solve -2*j + 0*j = -n for j.
2
Suppose -a + 1 + 3 = 0. Suppose -50 = -a*c - 2. Let b = 7 - 3. Solve -c = b*o - o for o.
-4
Suppose 13 = 7*a - 1. Solve a*z = -0*z + 4 for z.
2
Let h be 3/4 + 3/(-4). Solve 2*c = -h*c - 4 for c.
-2
Let r = 30 - 19. Let s = r + 1. Solve 4*g - g - s = 0 for g.
4
Let d(t) = t**3 - 5*t**2 - 6*t + 1. Let n be d(6). Let h be 4 + 2/((-2)/1). Suppose 0 = -v + h*i + 3, -5*v + 43 = -i. Solve v - n = 2*m for m.
4
Let i(n) = 2*n**3 - 23*n**2 - 11*n - 8. Let g be i(12). Solve -2*r = 2*r - g for r.
1
Let r = 40 + -25. Suppose 2*k = 7*k - 4*x - 12, 0 = 5*x + 15. Solve 2*o - 7*o + r = k for o.
3
Suppose -6 - 8 = -3*b + m, -5*m = 3*b - 2. Solve -b*w = w + 5 for w.
-1
Let m(t) = -t + 6. Let j be m(3). Solve 0 = 4*b - j*b + 5 for b.
-5
Let k be (-1)/1 - (-5 + -3 + 1). Solve 0 = k*p - 2*p - 8 for p.
2
Let z(x) = -x. Let w be z(-2). Suppose 0 = n - w*n + 8. Let h be 2 + (1 - 3) + n. Solve -h = -3*t - 2 for t.
2
Suppose 0 = -2*t - 3*b + 16, -2 = t + b - 2*b. Let g be 0 + 1 - (-1 + t). Solve g = 3*w - 5*w + 8 for w.
4
Suppose 5*c - 5 = 0, -c = 2*s + 3 - 10. Let m be (s/(-1))/((-33)/110). Solve 4*l + l + m = 0 for l.
-2
Let w(z) = 3*z - 3. Let t be w(4). Suppose 0 = -4*o + o + t. Solve 3*r - 2*r + o = 0 for r.
-3
Let u(o) = o**3 + 6*o**2 + 5*o + 6. Let l be u(-5). Suppose f - l*f = 0. Solve -b = -f*b for b.
0
Suppose 3*y - 3*w - 18 = 0, -y - 3*w - 2 = -0. Suppose 2*r = y*r. Let p = r + 3. Solve 3*b = -p - 3 for b.
-2
Let z(d) = 3*d - 41. Let k be z(14). Let v(g) = -g - 3. Let a(c) = -c**3 + 5*c**2 - 4*c - 5. Let w be a(4). Let j be v(w). Solve j*o - k = 3*o for o.
-1
Let q = 2 - -3. Solve -i = -q*i for i.
0
Suppose 5*r = -7*z + 3*z + 77, 69 = 4*z - 3*r. Let d = 22 - z. Solve -j = d*j for j.
0
Let a = 103 + -99. Solve k = 2*k - a for k.
4
Suppose -4*p = -9 + 1. Suppose p*z + z - 6 = 0. Let l = 7 - z. Solve -l*t + 9 + 6 = 0 for t.
3
Let b = -18 + 11. Let v = 9 + b. Solve -2*d + 0*d = -v for d.
1
Let k(x) = -x**2 + 10*x - 12. Let l be k(8). Solve l*d + 1 = -11 for d.
-3
Let r = -4 + 2. Let x = r - -5. Let u(k) = k - 1. Let t be u(3). Solve x - 1 = -t*z for z.
-1
Suppose v - 3 + 1 = 0. Solve -8 = v*c - 0*c for c.
-4
Suppose 5*b = -8 + 28. Suppose -4*y = -2*o - 56, -2*y + 35 = -b*o + 7. Suppose 4*g - y = 5*l, -g = -6*g - 2*l + 34. Solve 0 = -h + 4*h - g for h.
2
Suppose -5*x + 3*d + 4 = 0, -3*d + 4 = x - 2*d. Solve -q = 5 - x for q.
-3
Let q = 1 + 3. Let j be 1/q - (-39)/4. Solve j = y + y for y.
5
Let h(m) = 24*m + 4. Let q be h(4). Suppose -6*o + o + q = 0. Let p = o + -13. Solve -2*l = -p*l for l.
0
Let t(i) = -i**3 - 12*i**2 - 19*i + 13. Let q be t(-10). Solve q*z + 3 = -0 for z.
-1
Suppose v - 4*r + 279 = 6*v, 130 = 2*v - 3*r. Suppose -5*w - 9 = -v. Solve 0*z = -2*z - w for z.
-5
Let i(o) = -o**3 + 7*o**2 + o - 3. Let a be i(7). Solve -3*t + a = t for t.
1
Let g be ((-10)/50)/(4/10)*0. Solve -r - 2*r = g for r.
0
Suppose 3*p = -4*d - 3, 3*p = -0*p + 2*d + 15. Let b be ((-8)/(-6))/((-3)/(-9)). Suppose -3*w + b = -w. Solve -z - p - w = 0 for z.
-5
Suppose 18 = 3*p - 4*z + 5, 4*z = -4. Let f(d) = 2*d**2 - 3*d + 1. Let m be f(p). Let c be (-6)/4*(-40)/12. Solve -m + c = y for y.
-5
Suppose -5*q + 2 = 17. Let l be 1*((-18)/q + -1). Solve -1 - l = -3*v for v.
2
Suppose 0 = -5*u + 3*u - 222. Let c be 4/(-14) - u/21. Solve c*g + 2 + 3 = 0 for g.
-1
Let d = -3 - -10. Let z = -3 + d. Let q be (-8)/(-4) - (5 + 0 + -3). Solve q = 4*f - 5*f - z for f.
-4
Suppose 2*p - 4*h = 66, -2*p - h = -2*h - 54. Suppose -54 = -4*x + 2*t, 4*x + 4*t = p + 23. Let k be x/6 - 2/12. Solve -r + k*r = 2 for r.
2
Let u be (-1)/(-6) - (-1)/(-6). Suppose d - o = -u + 5, 10 = 3*d - 2*o. Solve -z + d = 4 for z.
-4
Let q(d) = -d + 4. Let i be q(4). Solve -3*t + 0*t + 6 = i for t.
2
Suppose x - 5 = -0. Let d be (-4)/(-10) - 4/10. Solve -2*v + x*v + 3 = d for v.
-1
Let y(z) = z**2 - 7*z - 13. Let h be y(9). Suppose -5*l - 5 = h. Let d(m) = -3*m - 2. Let u be d(l). Solve -p = u*p for p.
0
Suppose 0*y + 2*y = s - 7, -y - 26 = -5*s. Solve s*x - 28 + 8 = 0 for x.
4
Let p(t) = t + 5. Let i be p(-5). Let s(j) = -j - j**2 - 2 + 3 - 5*j**3 - 2. Let k be s(-1). Solve -k*u + i*u - 20 = 0 for u.
-5
Suppose 12 = 4*d - 0*d. Let j(v) = -