 = 0. Solve 3 = 3*a + w for a.
-2
Suppose -2*g - 17 + 57 = 0. Solve -3*t = t + g for t.
-5
Let f = 5 - 8. Let o = f - -3. Solve w + w = o for w.
0
Let f(k) = k**3 - 6*k**2 + 6*k + 1. Let m be f(5). Solve q + q = -m for q.
-3
Suppose 0 = 5*o + 2*i + 45, 0 = -o + 6*o - 3*i + 70. Let b(s) = s**2 + 10*s - 7. Let a be b(o). Let l = 11 + 1. Solve 4*y + a = l for y.
2
Let z be 45/5*(-2)/(-6). Suppose -z*y = -2*h + 12, h = 6*h + y - 30. Solve h*k + 25 = k for k.
-5
Let q(f) = -3*f - 37. Let x be q(-17). Solve -x = 5*i + 1 for i.
-3
Let a(v) = -8 + 7 + 5*v**2 + 2*v + 2. Let q be a(-1). Solve -q + 0 = -b for b.
4
Suppose d + 37 = 39. Solve 3*s - d*s = 2 for s.
2
Let c be (6/15)/((-3)/(-30)). Let s be 4/1 - (c - 5). Solve -s - 3 = -4*b for b.
2
Let p(m) = -m**3 - 4*m**2 - m - 3. Let d be p(-4). Let q be 6/((-30)/(-13)) + (-2)/(-5). Let u = q - d. Solve -u + 10 = 2*x for x.
4
Let u be (2/(-3))/((-2)/3). Suppose 35*o = 37*o. Solve -u = -q - o for q.
1
Let z be (-2)/((-1)/(3/2)). Let l(p) = -p**3 + 5*p**2 - 2*p - 7. Let t be l(4). Suppose 2*x + 0*b - b = -t, -z = -3*b. Solve x = -4*h + 5*h + 3 for h.
-3
Let j = -1 + 9. Let w(d) = 5 - 2*d + d**3 + 4*d + 5*d - j*d**2. Let r be w(7). Solve -13 = 2*k - r for k.
-4
Let v(g) = g**3 + g**2 - g + 4. Suppose 3*j - s - 2 = -2*s, 4*s - 8 = 2*j. Let a be v(j). Let c be 2/(-8) + (-2)/(-8). Solve 2*i - a*i = c for i.
0
Suppose -4*h = -2*h - 6. Solve b + 2 = -h for b.
-5
Suppose -4*n + 33 = -43. Solve 4 = -5*l + n for l.
3
Suppose 6 = -3*o - 5*h, 0 = o - 5*h - 2 - 16. Let r be ((-18)/(-8))/(6/32). Suppose -v - 4*x - r = v, -4*v - x = 3. Solve v*f + o*f = 3 for f.
1
Suppose -g + 3*g = 22. Let y = g - 8. Suppose 3 = 3*c, 2*l = y*l - 2*c. Solve -l*u = -4*u - 2 for u.
-1
Let l(b) = -3*b**3 - 5*b**2 + 6. Let m(r) = 2*r**3 + 3*r**2 - 4. Let i(h) = -5*l(h) - 8*m(h). Let o be i(0). Solve o*g = -g + 9 for g.
3
Suppose -3*l + 5 = -22. Let s(b) = -b**2 + 26*b - 21. Let o be s(25). Solve -l = -7*v + o*v for v.
3
Let y be -1*(6*-1 + 0). Suppose -o + 0*o = -3. Solve y = -t + o*t for t.
3
Let g(w) = 6*w**2 + w - 1. Let v be g(2). Let f(n) = -n**3 + 6*n**2 - 2*n - 7. Let m be f(5). Solve -v = -3*i + m*i for i.
-5
Suppose 7*j = 3*j. Suppose -2*u - 5*r + 16 + 4 = 0, j = -3*u + 5*r + 5. Solve -z + 0*z - u = 0 for z.
-5
Suppose 4*g = 3*g - 4*x - 14, -5*g - x = -25. Let i = g + 10. Suppose -3*j + 4*j = -5*y + 24, 2*y - i = -2*j. Solve 2 + j = -2*s for s.
-3
Let d be (-4)/6 - (-6)/(-9)*-4. Solve t = -d*t for t.
0
Let s(k) = k**3 - 7*k**2 + 7*k - 1. Let m be s(6). Solve -3 = m*d + 2 for d.
-1
Let n(p) = 4*p + 1. Let z be n(1). Let u = z - 3. Solve -o + 2*o = u for o.
2
Suppose 2*m - 12 = -2*r, 3*m - 7 = -4*r + 12. Solve -m = c - 2*c for c.
5
Let h = -8 - -13. Let f(d) = d**3 - 7*d - 1 + h - 5*d**2 + 2. Let b be f(6). Solve -n + 1 + 0 = b for n.
1
Suppose 5*w - 2*v = 10, -2*v = w - 2 - 0. Solve -2 = -0*t + w*t for t.
-1
Let z(c) = -c**2 + 5*c + 14. Let p be z(-2). Suppose 9 = 5*j - 41. Solve p*h = -2*h + j for h.
5
Let n = 3 - 6. Let c be (-3)/(n*3/12). Suppose 0 = -3*v + 6 - 0, -2*g - c = -3*v. Solve -g = y - 2*y for y.
1
Suppose 0 = 3*y - 124 - 86. Suppose y = 4*i + i. Solve 3*a + 5 = i for a.
3
Let d = 24 + -23. Solve d + 3 = 2*y for y.
2
Let m be ((-6)/5)/(4/(-10)). Let t be (-1)/m*(-27 - 0). Let l be (3/(-2))/(t/(-12)). Solve -l*b + 4*b = 0 for b.
0
Let m(i) = i**3 + 19*i**2 + 19*i + 18. Let q be m(-18). Solve 0 = -q*r - 3*r - 12 for r.
-4
Let p(n) = -n**3 + 4. Let v be p(0). Suppose v*u + a - 14 = 0, 3*u = 7*u - 5*a - 26. Solve m = -u*m for m.
0
Let o(c) = -c + 8. Let h be o(8). Suppose -2*d = -2*k - 6*d + 34, -3*k - 2*d + 43 = h. Suppose -4*w = -k - 7. Solve 0 = -w*t + 3*t - 10 for t.
-5
Suppose 5*q = 2*i + 22, 6*i = -q + 3*i + 1. Solve 4*n - q = 4 for n.
2
Let y(a) = -4*a + 4*a + 5 - a. Let w be y(0). Suppose -o + 6*o - 125 = 0. Solve 0*k + o = w*k for k.
5
Let x(d) = 9*d**3 - d**2 - d. Let j be x(-1). Let g be (-1 - j)/((-4)/(-2)). Let h be g - (-1)/((-2)/(-4)). Solve -h*b + 5*b - 3 = 0 for b.
-3
Suppose 4*v = 2*o + 2*v - 10, 5*o + v = -5. Solve -3*j - 10 + 22 = o for j.
4
Let h be 1/((-14)/20)*(-5 - 2). Solve 4*l - 2*l = h for l.
5
Suppose 2*n = -3*g + 7, -2*n - 11 = -3*g - 3*n. Suppose 0 = -4*m + g + 3. Suppose -m*x = -3*x. Solve x = -u + 1 - 4 for u.
-3
Suppose 2*g - 29 = -y - g, -5*g = 4*y - 102. Let t be 18/(-24) + y/4. Solve 10 + t = -3*c for c.
-5
Suppose -1 = -8*t + 7*t. Solve t = 5*j - 4 for j.
1
Suppose -3*c + 8*c - 10 = 0. Let y = c - 2. Let v be 5/(-1*(-4)/8). Solve y = -2*b - 3*b + v for b.
2
Let w = -16 - -16. Solve -4*x + 9*x + 25 = w for x.
-5
Let z(w) = -w**2 + 8*w - 3. Let q be z(7). Let h = 0 + q. Solve -h*d + 6 = -d for d.
2
Let n = 3 - 3. Suppose n = 3*d - 52 - 11. Suppose -3*i = -12 - d. Solve 3*k + i + 4 = 0 for k.
-5
Suppose s = 4 - 2. Suppose 0*q - 7 = b + s*q, -3*b + 3*q + 15 = 0. Solve -2*z - b - 1 = 0 for z.
-1
Let w = 19 + -15. Suppose 4*h - w*s - 32 = 0, 2*h - 5*s = -2*h + 36. Solve -4*i + 0*i = h for i.
-1
Let u(r) = r**3 + r**2. Let p be u(0). Let i(f) = f**2 + f + 2. Let h be i(p). Suppose -4*o = h*j + j - 2, -j - 3*o = 6. Solve 3*m = j*m for m.
0
Suppose -2*q - 24 = -3*t + t, 4*t = -3*q + 20. Solve 5*g + t = -7 for g.
-3
Let h = 210 - 208. Let f(l) = -l**3 - 2*l**2 + l - 3. Let t be f(-3). Let i be (-1 - (-1 + 1))*0. Solve i = -h*z - t + 7 for z.
2
Suppose 13 = 5*o - 17. Suppose 4*c = -4*s + 16, 0*c = s - c - o. Solve 0 = x - s*x - 4 for x.
-1
Suppose 7*g - 2*g = 75. Suppose 3*u - 55 = -2*u. Let r = g - u. Solve 3*t + t = -r for t.
-1
Let f(y) = y**2 - 2*y. Let l be f(3). Suppose -18 = -2*n - 2*u, -5*n - l*u = -n - 36. Solve 0*i = -3*i + n for i.
3
Let r = 5 - 5. Suppose -h - 3 + 7 = r. Let x be 12/(3 - 7) + 5. Solve -h*g = -18 - x for g.
5
Let h(c) = 3*c**3 - 20*c**2 - 23*c - 4. Let w(z) = -5*z**3 + 30*z**2 + 35*z + 6. Let t(v) = -8*h(v) - 5*w(v). Let f be t(-9). Solve 0 = -f*y + 4*y - 10 for y.
5
Suppose 5 = -2*p + 5*m, 3*p + 5*m = 15 + 15. Suppose 0 = -v - 2*n + 4 + 5, p*n - 12 = -v. Solve 3*w + 2 + v = 0 for w.
-3
Let a be (3 - 0)/((-6)/(-10)). Solve -4*j = -a*j + 3 for j.
3
Suppose 45 = -0*m - m. Let k be 1/((-3)/m)*1. Solve 0*c + k = -3*c for c.
-5
Let z = -6 + -1. Let w = z + 9. Solve 0 = -a + 3 - w for a.
1
Let h = 1 + -1. Let m be (8/(-4) - -6)/(3 - 1). Solve -10 = -h*x - m*x for x.
5
Let f(a) = 4*a**2 + 1. Let v be (-4)/(-14) + (-36)/28. Let r be f(v). Suppose -l + r = 4. Solve 2*g = g - l for g.
-1
Suppose -2*d = -2*n, 2*d + n + 12 = 6*d. Let a = 13 + -9. Let z = a + -2. Solve -d*o + z*o - 8 = 0 for o.
-4
Let z be (-3)/9 + 2/6. Let n(i) = -i**3 - i + 1. Let v be n(z). Suppose -4*x + 6 = 3*h - x, 0 = 5*x + 15. Solve 2*a - h = v for a.
3
Suppose b + 5*i + 17 = 0, -3*b + i - 18 = -47. Let k = 14 - b. Let t be (-16)/k*(-9)/4. Solve -t*m = -2*m for m.
0
Let p be (2/(-4))/((-4)/40). Solve 0*c + p*c - 10 = 0 for c.
2
Let y(r) = 3*r**3 + 2*r**2 - 2. Let t be y(1). Solve s + 20 = -t*s for s.
-5
Let w(u) = -u + 7. Let i be w(7). Solve z = -i + 2 for z.
2
Suppose 0 = 3*k - 12 + 6. Suppose 12 = n + k*n. Solve -3 = 5*f - n*f for f.
-3
Let g(k) = k**2 - 2*k + 4. Let a be g(0). Solve -5*f = -3*f - a for f.
2
Suppose 2 = d - 4. Let c be 1 + d - (1 + -1). Suppose -3 - c = -5*z. Solve 0*r + 2 = -z*r for r.
-1
Suppose 4*m + 59 + 69 = 0. Let y = 53 + m. Suppose y + 7 = 4*d - 4*b, 3*d - 27 = -3*b. Solve 3 = -5*c + d for c.
1
Suppose 13*l = 59 - 20. Let n(z) = -z**2 - 3*z - 1. Let x = -7 + 5. Let s be n(x). Solve -s = 4*d - l*d for d.
-1
Suppose 0 = -20*c + 16*c. Solve c*o = -5*o for o.
0
Let n be (-36)/(-14) - 5/(-105)*-12. Solve -n*d = -4*d for d.
0
Let k = -2 - -5. Solve -x + 4 = -k*x for x.
-2
Let n be -4 + 2 + -2 + 18. Let p = n + -3. Solve 5*l + p = 31 for l.
4
Let p be (-4)/6 - (-188)/12. Suppose 28 = 3*q - 2*o, 5*q + 0*q + 3*o = p. Solve 14 = 4*j - q for j.
5
Suppose 2*c = 3*m - 3, 0*c + 3 = 4*c - 3*m. Solve -c*a = -2*a + 3 for a.
-3
Let o(j) = j**3 - 4*j**2 + 4*j. Let z be o(3). Suppose -2*r - 9 = 2*x + 3*x, z*x + 12 = r. Let c be (-14)/x + 4/(-6). Solve 3*s - 4*s = -c for s.
4
Let k(h) = -h + 15. Let x be k(10). Solve -x*y + 3*y = -2 for y.
1
Let w = -14 - -29. Let c(l) = l - 13. Let k be c(w). Solve -m + 2 = -k*m for m.
-2
Suppose -w + 1 + 3 = 0. Let v = 5 - w. Solve 7 = -4*r - v for r.
-2
Let h = 