 s*a = 1 + 11 for a.
3
Suppose 2*z - 4 = 2*x, 16 = 2*x + 3*z - 0. Let b = 5 + -2. Suppose -t + b*t = 18. Solve x*u + 3 = t for u.
3
Let k(f) = f**2 + 12*f + 9. Let x be k(-12). Solve 5*m - x = -4 for m.
1
Let q be 3/1 + -1 + -4. Let a = q - -6. Let w = 0 + 0. Solve -8 = a*n - w for n.
-2
Suppose 8*k - 18 = c + 3*k, -2 = 5*c - 3*k. Suppose -i - 1 = -c. Solve 1 = b - i for b.
2
Let o(m) = m**2 - 6*m + 6 - 3*m + 2*m. Let f be o(6). Suppose f = -3*k, 6*r + 4*k - 6 = 4*r. Solve -r*s + 4*s = -1 for s.
-1
Suppose 4*t - 7*t = 9. Let n = -1 - t. Solve f = -n*f - 6 for f.
-2
Let n be 2/(1/(10/4)). Let s(c) = -c**2 + 4*c + 6. Let w be s(n). Let j be (w + 2)/((-4)/(-8)). Solve j*a - a = -20 for a.
-4
Let w be 14 + -3 + (1 - 1). Solve -2*v + 1 = w for v.
-5
Let j = 0 + 3. Suppose -j = h + 1. Let x be (6/h)/(6/(-88)). Solve 2 = 4*r + x for r.
-5
Let q(g) = g**2 - 3. Suppose -2 = m - 2*m. Let a be q(m). Solve b + a - 3 = 0 for b.
2
Let v = -5 + 7. Suppose 0 = 5*j + 4*q - 40, 2*j - v*q - 13 = -3*q. Solve 3 = -j*l - 5 for l.
-2
Let w(b) = b**3 + 6*b**2 - b - 6. Let i be w(-7). Let n be i/(-28) - 4/(-14). Solve 0 + 2 = -n*f for f.
-1
Let l(p) be the first derivative of -p**2 - 6*p - 3. Let s be l(-4). Let u = 2 - -8. Solve 7*n = s*n + u for n.
2
Suppose p - q - 4*q - 9 = 0, 5*p + q = -7. Let c be (1*p)/((-2)/6). Let x be (-1 + c)*(0 - -2). Solve -x*j - 1 - 19 = 0 for j.
-5
Let g = 23 + -20. Suppose 0 = 5*l - g*l - 8. Solve z = -0*z + l for z.
4
Let f = -14 - -17. Solve 0 = -s + f*s - 10 for s.
5
Let u = -42 - -44. Solve 0 = u*k + 8 for k.
-4
Let f = 6 - 3. Let x = -1 + f. Solve 2*y - 4*y - x = 0 for y.
-1
Suppose -9*m + 221 - 86 = 0. Solve l = -4*l - m for l.
-3
Suppose -3*d + y = -56, 4 - 3 = y. Let h be 3*(-3 + d/3). Solve 0 = -4*a - 2 + h for a.
2
Let z be 72/45 + (-4)/(-10). Let h(r) = -r**3 - 5*r**2 - 5*r - 3. Let f be h(-4). Solve z*u + 1 = -f for u.
-1
Suppose 3*x - 2 = 28. Let l = x + -5. Let h(w) = -w**2 + 3*w - 2. Let q be h(2). Solve -l*s + 5 = -q for s.
1
Suppose -6 = 2*w - 0*w. Let o be w/6*(-3 - 37). Solve 0 = -4*n + o - 0 for n.
5
Let p(j) = -2*j + 7. Let x be p(-6). Suppose 0 = -5*r + i + 2*i + 22, x = 4*r - i. Suppose 0 = -2*g + t - 1 + 6, 20 = 5*g + r*t. Solve -v + 1 = g for v.
-2
Let i = -1 - -1. Suppose i = -a + 5*v, 2*v = -v. Suppose 20 = 2*k - 0*k. Solve n + n + k = a for n.
-5
Let n(b) = b + 10. Let p be n(-5). Suppose 0 = 5*t + 5*w + 165, 0 = -t + 4*w - 52 - 1. Let d = -20 - t. Solve p*g - d + 2 = 0 for g.
3
Let i = -73 - -73. Let y be 2/(0 - 2) + -6. Let z be y/(-2 + (-2 - -3)). Solve 2*c - z*c - 15 = i for c.
-3
Let s be 6/8 - (-6)/(-8). Suppose -60 = -3*t - s*t. Suppose -3*v + v + t = 0. Solve -h + v = -3*h for h.
-5
Let q(a) = 4*a - 4*a + a - 5. Let c be q(8). Suppose 4*y - 13 = c. Solve i + 0 + y = 0 for i.
-4
Suppose 0*t + 4*t - 12 = 0. Let m = 22 + -19. Let k = t - m. Solve k = -0*h - h + 2 for h.
2
Let d be ((-12)/5)/((-1)/5). Suppose -2*w + d = -4. Suppose 0 = -5*c + 21 - 1, 41 = 3*k + 5*c. Solve w = 3*y - k for y.
5
Suppose 0 = 4*y - 2*c + 8, -4*y = -2*c + c + 4. Suppose -3*j + 8 - 2 = y. Let k be j*(15/6)/1. Solve 5*q = -10 - k for q.
-3
Let m = -32 + 49. Solve -m - 8 = -5*b for b.
5
Suppose 4*r + 7*f - 40 = 2*f, r - f - 10 = 0. Solve 0 = 3*g + 2*g + r for g.
-2
Let j(t) be the third derivative of t**4/24 + t**3/2 + 3*t**2. Let h be j(7). Solve -u - h = -3*u for u.
5
Let q = -4 + 13. Let p(y) = -1 + 0*y + 2 - 2*y. Let c be p(-5). Solve c = 5*u - q for u.
4
Suppose 4*b + 36 = 5*u - u, -4*b = -u + 24. Solve -u*q + 11 - 27 = 0 for q.
-4
Let c(r) = r**2 - 6*r + 3. Let o be c(5). Let q = 7 + o. Suppose 0 = m + 2 - 5. Solve m*p = -q + 17 for p.
4
Let d be 3/(1/(-2)*-3). Let s be 2/((-30)/(-9))*5. Let z be (-39)/(-9) - 1/s. Solve -2*t = -z*t - d for t.
-1
Let g be -1 + (1 - 0) - -2. Suppose 4 = -2*h + 4*b, 4*b - 2 = 4*h + g*b. Let w = 16 + h. Solve 3*f + f = -w for f.
-4
Suppose 23*k = 21*k + 4. Let f be 0 + (1 - k) + 2. Solve 0 = c + 2 + f for c.
-3
Suppose 3*f = -3*u + 33, -2*u + 32 = 2*f + f. Suppose -j = 5*y - 12, 0 = -4*j + 5*y - 2. Let r be j/(-12) - (-183)/18. Solve -5*b - f = r for b.
-4
Let i = -8 + 13. Suppose -5*y + i*b + 20 = 0, -4 = b + 3*b. Suppose 0 = 5*s + w - 56, s - 2*w = -2*s + 44. Solve -y*k - k + s = 0 for k.
3
Let x = -24 + 13. Let j = 7 - x. Solve -j = 4*u - 2 for u.
-4
Suppose 12*d = 3*d + 2*d. Solve -6 + d = 3*g for g.
-2
Let j be ((-8)/4 + 3)*0. Solve 3*g - 6 - 6 = j for g.
4
Suppose 6*f - 2*f = 16. Suppose -4*a + 10 + 22 = 0. Let j be (-436)/(-18) - 2/9. Solve -f*u = -a + j for u.
-4
Let u be 1*1/((-1)/(-2)). Let s(d) = -d**3 + 3*d**2 - d - 2. Let t be s(u). Solve -2*p - 2 - 8 = t for p.
-5
Suppose -17 = 3*l - 4*i, 0 = -3*l - 4*i + 13 + 10. Solve n = -l - 1 for n.
-2
Suppose 2*j - j + 1 = 0. Let f(i) = -3*i**3 + i**2 + 2*i + 1. Let o be f(j). Solve -o = -y - 2 for y.
1
Let c(l) = l**2 + 22*l + 4. Let d be c(-22). Solve 5*g = d*g for g.
0
Let w(y) = 2*y + 14. Let g(h) = -5*h - 29. Let k(a) = 3*g(a) + 7*w(a). Let i be k(6). Let c = 5 - i. Solve 0 = -4*j - c*j for j.
0
Let p(s) = -s**3 + 2*s**2 + 13*s + 2. Let u(g) = -g**3 + g**2 + 7*g + 1. Let j(k) = -6*p(k) + 11*u(k). Let n be j(-1). Solve 0 = m - n - 0 for m.
4
Let l be (-1 + 5)/(-13 - -14). Suppose -2*p = a + 1 + l, 4*a = 2*p + 20. Solve -2*s + a*s = 0 for s.
0
Let b = 0 + -4. Let j = b + 6. Solve j*q - 1 - 1 = 0 for q.
1
Suppose 0 = -f - 16 + 23. Solve -5*q + 3 = -f for q.
2
Let s = 14 - 12. Solve s*p + 5 = 1 for p.
-2
Let w be -1*(1 + 2/2). Let d be -2 - 4*3/w. Suppose l + 2*r = 11, -5*r - 2 = l - 28. Solve -3 - l = d*f for f.
-1
Let k = -2 - -4. Suppose 5*l + 10 = 5*n, 4*n + k*l = -n + 24. Suppose 0*f + n*f - 24 = 0. Solve -3*a + 6 = -f for a.
4
Let c be -2*(0 + (-12)/8). Let a = c - 0. Solve -5*x = a - 13 for x.
2
Let p(f) = f**3 + 2*f**2 - 2*f + 3. Let n be (1 + 0)/(1/3). Suppose -4*v - 2 = -5*o, 0*o - n*o = -4*v - 6. Let q be p(v). Solve q*u + 5*u + 25 = 0 for u.
-5
Suppose -11 - 1 = -6*i. Solve 0 = i*k - 0*k + 10 for k.
-5
Suppose -2*l + 5*p = 16, -2*l - 4*p + 9 = -11. Let m be l + 0 + (0 - -3). Solve 4*u - m = 3 for u.
2
Suppose 13*k - 9*k = 28. Suppose 8*w - 3*w = -5*v + 25, 4*v - 4*w = 4. Let d = k - v. Solve -f + 1 = -d for f.
5
Let v(n) = 2*n**3 + n**2 + 3*n + 2. Let a be v(-3). Let h be 2/7 + a/(-14). Let r(q) = q - 2. Let u be r(h). Solve u*c - 6 = -c for c.
2
Suppose -7*g + 20 = -4*u - 2*g, 0 = -5*u + 5*g - 20. Let j be (-8)/3*6/(-4). Suppose j*c = -0*c. Solve -2*a + u*a + 6 = c for a.
3
Let u = 10 + -5. Let j(t) = -t**3 - t + 1. Let g(p) = -3*p**3 - 5*p**2 - 5*p + 6. Let v(w) = -g(w) + 4*j(w). Let b be v(u). Solve b = l + 8 for l.
-5
Let t = -15 - -21. Suppose -t*z + 1 = -35. Solve c = -2*c + z for c.
2
Suppose 2*u + u + 3*p = -9, -3*u = 5*p + 15. Let s = 250 + -246. Solve -3*i + i - s = u for i.
-2
Suppose -2*j = -15 - 27. Let c = 23 - j. Solve -c*a + 5 = -a for a.
5
Let r(c) = -3*c - 26. Let a be r(-9). Solve -l + a = 2 for l.
-1
Suppose 3*s + 4*v + 20 = -0*s, -5*v = -3*s + 25. Solve s = -4*n - 20 + 8 for n.
-3
Let w = 5 + -6. Let o = 1 + w. Solve 4*g - 4 - 4 = o for g.
2
Suppose 0 = -v - 7 + 32. Let c(l) = -l**2 + 0*l - l**3 - 4 + 2*l**2 + l + 5. Let q be c(-1). Solve 3*i - v = -q*i for i.
5
Let q be (-2)/(-2*(-1)/(-19)). Suppose 2*s + i - q = 0, -3*i - 1 = 2. Solve -2*z + 0*z = -s for z.
5
Let t = -19 + 22. Solve -t*p + 2*p = -3 for p.
3
Let h(p) = -p**3 - 3*p**2 - 3*p - 1. Let f be h(-2). Suppose -f = 2*j - 7. Solve 2 + j = 5*l for l.
1
Suppose 0 = -l + 5*f + 10, -4*f - 5 - 3 = 0. Suppose z + 0*z = 0. Let w = l + z. Solve w = 5*d + 1 - 6 for d.
1
Let b(y) = y**2 + 9*y - 18. Let z be b(-11). Solve -r + z*r - 12 = 0 for r.
4
Let o(z) = -8*z**2 + 0*z**3 + z - z**3 + 11*z**2. Let v be o(3). Suppose -x + 0*x + 3 = 0. Solve v*b + x = 15 for b.
4
Let z be (-2 - -3) + (-57 - -1). Let f be (-26)/(-10) - 22/z. Solve -f + 9 = 3*g for g.
2
Let u(z) = -3*z + 14. Let a be u(0). Solve 5*b - a = 1 for b.
3
Let m be (-90)/12*4/(-5). Suppose -v + m - 1 = 0. Solve 0 = v*r + 10 - 30 for r.
4
Let a(i) = 2*i**2 + i + 4. Let w be a(0). Solve -w*m - 10 = m for m.
-2
Let o = 13 - 3. Let r be 200/32 - 2/8. Solve d = r*d - o for d.
2
Let u be (-2)/((3 + -1)/2). Let v be (-2)/(-10) - u/(-10). Solve -2*z - 10 = -v for z.
-5
Let o be (2 - 22/7)/(2/(-7)). Solve