 for x.
-4
Let l be (2/(-4))/(1 - (-14)/(-12)). Solve 5*m - l = 12 for m.
3
Suppose 26 - 24 = d. Solve -y = -d*y for y.
0
Let n be -1*(0 - 1) + 4. Let s(l) = l**3 - 6*l**2 + 7*l - 2. Let y be s(5). Suppose 28 = -4*x + y*x. Solve n*v + x - 32 = 0 for v.
5
Let n be 1*4 - (-4 + 2). Let a(i) = i + i - n + 2*i - 2*i. Let y be a(4). Solve x = -y*x for x.
0
Let f(h) = -h**3 - 5*h**2 - 3*h + 4. Let p be f(-4). Let q be (-6)/2 - (-2 + p). Let n be 0 - (-5 - q - 2). Solve m = 4*m + n for m.
-2
Suppose -4*n = -4*h + 7 - 23, 2*h = -n + 7. Suppose 10 = n*a - 0. Suppose 4*q = 5*x - 22 - 8, -5*x + 15 = -q. Solve -x*d = -a - 2 for d.
2
Suppose 0*b + 2 = -2*b. Let k(r) = -r - 1. Let g be k(b). Solve 0 = -g*d + d - 4 for d.
4
Let u = -9 + 23. Solve u - 34 = 4*r for r.
-5
Suppose 2*g + 2*v - 36 = 0, 4*g - 134 + 50 = -v. Let h be 4/g - (-128)/22. Solve 3*s = 6 + h for s.
4
Let t(m) = -m - 2. Let c be t(-6). Let d be (-6)/c*40/(-12). Let r = 2 - 0. Solve d*h = 3 + r for h.
1
Suppose 4*t = 8*t - 12. Suppose u = t*u - 6. Suppose 5*v = -0*v - 20, u*n - 5 = -v. Solve 4*g + n = -13 for g.
-4
Suppose -d - 14 = -16. Solve -d*o + o = 3 for o.
-3
Suppose 0 = h + 55 - 59. Solve 4*k - h = -0*k for k.
1
Let n(h) = h - 4. Let k be n(4). Solve -p + k*p = 1 for p.
-1
Let t = 1 + 2. Let i(d) = d. Let n be i(t). Let b be 4 - n*(-3)/(-9). Solve 5 + 10 = -b*j for j.
-5
Suppose 14 = -z + 28. Solve 0 = -z*x + 11*x + 9 for x.
3
Let m(b) = -2*b**2 + 4*b - 2. Let s be m(3). Let l = -26 + 32. Let x be l/s*20/(-1). Solve -c - 2*c = -x for c.
5
Let a = -79 - -85. Let t = 2 + 1. Let z be 1*0/(1 - 3). Solve a*o - t*o - 9 = z for o.
3
Let p be 0*(1/2 + 0). Solve -c - c - 2 = p for c.
-1
Let s(l) = -l**3 - 5*l**2 - 4*l + 4. Let t be s(-4). Suppose -5*y + 4 = h - 1, t*y - 25 = -5*h. Suppose 2*x + 16 = 6*x. Solve y*w = -x*w + 4 for w.
1
Suppose -p + 4*f = -0*p - 12, 4*f = 3*p - 20. Solve b - p = -0 for b.
4
Let p be (12/(2 - -2))/3. Solve -p - 2 = 3*j for j.
-1
Let j be 80/14 + (-2)/(-7). Suppose -5*r = 5 + 5. Let f = 2 + r. Solve f = x + x - j for x.
3
Let k(p) = p**2 - 2*p - 1. Let u(s) = -3*s**2 + 5*s + 3. Let h(q) = -11*k(q) - 4*u(q). Let g be h(1). Suppose 3*l = g*l. Solve -15 = 3*f - l*f for f.
-5
Suppose 4*g + 2*g = 0. Suppose -30 = -2*q - 3*b, -2*q + 5*b = -8 - 22. Solve -5*l + q + 10 = g for l.
5
Let k = 0 - 1. Let p = 1 + k. Solve p*c = -c + 5 for c.
5
Let y = 9 - 5. Suppose 0 = -v - 3*k + 16, -k - y = -2*v. Let u be (8/5 - 1)*10. Solve -v*q = -u + 26 for q.
-5
Let k(z) = -z**3 + 9*z**2 - 6*z - 16. Let d be k(8). Solve r + 0*r = d for r.
0
Let g(s) = -2*s**2 + 13*s - 2. Let q be g(6). Solve n + 0 = -q for n.
-4
Let n be (-3)/5 + (-24)/(-15). Solve n = -4*v - 3 for v.
-1
Let n be -5*((-16)/(-10))/2. Let c = 7 + n. Let b(o) = 3*o + 1. Let m be b(c). Solve -m = -p - p for p.
5
Suppose 0 = -s + 4 - 0. Suppose -9 - 7 = -s*y. Suppose k = 3*k - y. Solve -5*g + k*g = 3 for g.
-1
Suppose -4 = 2*u - 0, 3*s - 2*u = 49. Let v = -12 + s. Solve h + v = -2 for h.
-5
Let k be -2*(9/(-6) + 2). Let g be (k - (-4 - -2))*0. Solve 0 = -g*z + 2*z for z.
0
Suppose -h - 11 = 2*p, 2*p + 2*h - 2 = -16. Let o = p + 4. Solve o = -2*n - 4 + 12 for n.
4
Let r(n) = -7 + n**3 - 3*n**2 + n + 0*n**3 + 3. Let m be r(3). Let i be 66/(-3)*m + 0. Solve 0 = -4*t - i + 6 for t.
-4
Let y = -60 + 42. Let n be y/(-2) - (-12)/(-6). Solve -3*c + n*c = 12 for c.
3
Let d = 9 + -4. Suppose 15 = -d*h, -2*s - 27 = -5*s + 4*h. Solve -2*k - 13 = -s for k.
-4
Suppose -4 - 4 = -4*u. Solve 0 = u*o - 3 - 3 for o.
3
Let f = -16 - -21. Solve -20 = -0*d + f*d for d.
-4
Let o(k) = -2*k - 3*k + 6*k + 1 + 3. Let l be o(-4). Solve -3*r + 2*r - 5 = l for r.
-5
Let p = 11 - 9. Solve 2*k - 4 = -p*k for k.
1
Let n be 1*-2 - (-5)/1. Suppose 3 = 3*m - 27. Let i(z) = z - 6. Let t be i(m). Solve t*b = -5 - n for b.
-2
Suppose 7*m - 3*m - 183 = 3*s, 2*s = -4*m + 178. Suppose -y - 2*l - 3 = 0, 5*l = 5*y - 0*l - m. Solve y*x - 9 = 11 for x.
4
Let r(q) = -q**2 + 8*q - 5. Let u be r(7). Suppose -3 = -u*c + 17. Solve v = -4*v + c for v.
2
Let q = 13 + 0. Solve -5*i - 3 + q = 0 for i.
2
Let m(x) = 7*x - 4. Let b be m(6). Suppose -40 = -4*g - 4*u, 6*g - b = 3*g - 5*u. Let t = 15 + -9. Solve -4*w - g = t for w.
-3
Let z(l) = -l**3 - 6*l**2 - 6. Let c be z(-6). Let q be 0 + (-4)/c*3. Solve s + q*s + 9 = 0 for s.
-3
Let y(m) = -6 + m + 2*m + 0. Let j be y(4). Suppose 2*g = j - 0. Solve -2*o + g*o = -2 for o.
-2
Suppose 0 = -2*s - 2*w + 18, -4*w = 2*s + w - 33. Suppose -k + s*k - 30 = 0. Suppose k = 5*n + 4*x - x, -n - 5*x = -2. Solve 3*d = 5*d + n for d.
-1
Suppose 0 = -3*m, i + 5*m - 6 = -2*i. Solve -7*c + i*c = 25 for c.
-5
Let a be (-3)/(-18)*-3*0. Solve 0 = w - a*w + 3 for w.
-3
Let u be (-20)/(-25) + (-16)/(-5). Suppose u = -6*t + 8*t. Solve 0 = -4*z + t + 10 for z.
3
Let x(f) = -2*f + 4. Let z(m) = -m**2 - 3*m + 5. Let v(t) = 4*x(t) - 3*z(t). Let s be v(-3). Let j = -3 + 3. Solve 0 = -5*i - j*i - s for i.
-5
Suppose 2*i - 4 = -0*i. Solve -r = -i*r - 3 for r.
-3
Suppose 0 = 4*s - 35 + 19. Solve 0 = -s*p + 9 + 7 for p.
4
Let p = 15 + -7. Suppose -2*h + 0 + p = 0. Let u(s) = 3*s**2 + 23*s - 1. Let r be u(-8). Solve h*d - 19 = -r for d.
3
Let r = 14 - 2. Let u = -4 - -4. Suppose 3*c - 12 = -3*a, 6*a - a + 4*c - 16 = u. Solve a = -3*x + r for x.
4
Let z = 52 - 42. Solve 12 = z*r - 4*r for r.
2
Let g(f) = -2*f**2 + 8 - 2*f**2 - 2*f**2 - f**3. Let w be g(-6). Solve 2*r = -2*r + w for r.
2
Let z(n) = n**3 + 9*n**2 + 8*n. Let t be z(-8). Solve -2*x + 4*x + 4 = t for x.
-2
Let h(d) be the first derivative of -2*d**2 + 1 + 0*d + 5*d - 4*d. Let o be h(-1). Solve -1 = o*u + 24 for u.
-5
Let h(k) be the third derivative of -k**5/60 + k**4/6 + k**3/6 - 2*k**2. Suppose -4*g - 12 = 0, -5*u - 2*g + 3 = -6. Let m be h(u). Solve -m*l = -l + 6 for l.
-2
Let b be (3 - 0) + 0 + 21. Let g = b + -21. Solve -g*y = -y for y.
0
Let x(b) be the first derivative of b**3/3 - b**2/2 - 1. Let d be x(0). Solve -4*u = -12 - d for u.
3
Let r be 0 - (-7 + 0 + 4). Solve 0 = 2*b + 1 + r for b.
-2
Suppose 3*j - 3 = 9. Let q(g) = g**3 - 3*g**2 - 4*g. Let f be q(j). Suppose 0 = -2*l + 3*l - 3*a - 5, -3*a = 4*l - 20. Solve 4*w - l*w + 1 = f for w.
1
Suppose -7 = -4*y + 3*y. Let o = 9 - y. Solve -12 = -5*j - o for j.
2
Suppose 5*m - q + 41 = 0, -2*q + 32 = -4*m - 2. Let z = m + 12. Solve -3 = f - z for f.
1
Let n be 0/(3 + (-2 - 0)). Let s be -1 - (n + (0 - 3)). Let q be (3/(-6))/(1/(-4)). Solve 0 = -q*v - 0 - s for v.
-1
Let x = 3 - 2. Let v(n) = -n**3 + 33*n**2 - 61*n - 29. Let f be v(31). Solve -x = j - f for j.
1
Let a(n) = -n**3 - 6*n**2 - n - 4. Suppose 4*c + 8 = -16. Let i be a(c). Solve -i*j - 6 = j for j.
-2
Suppose 3*q = 9, -3*q = -4*m + 2*q - 19. Let b = m + 0. Let i = 5 + b. Solve -1 - 11 = i*f for f.
-3
Suppose 36 = 3*j + 3*j. Solve 0 = 2*d - j*d - 8 for d.
-2
Let m(f) = -11*f + 1. Let h(y) = 6*y - 1. Let g(c) = 7*h(c) + 4*m(c). Let s be g(-3). Solve -3*l - s - 6 = 0 for l.
-3
Let n be (3/2)/((-4)/(-8)). Let z be 4/n*(-12)/(-8). Suppose 3 = -z*p + 13. Solve -17 + 2 = -p*r for r.
3
Let f be ((-2)/(-8))/((-2)/(-12))*2. Solve -t - 2 = -f for t.
1
Let d be (-2 - (-8)/3) + 14/6. Solve d = -2*p - 1 for p.
-2
Let m be (-3 - -9) + 1 + -2. Solve -4*b - m = -1 for b.
-1
Let h(q) = q**3 - 4*q**2 - 10*q - 12. Let j be h(6). Solve j*v - 9 = 3*v for v.
-3
Let o(n) = -n**3 + 5*n**2 + 5*n - 9. Let k be o(5). Suppose -4*r - 2*q + 2 = 0, -4 = -r - 4*r - 4*q. Suppose 2*h - 8 = -r. Solve h*p = 8*p + k for p.
-4
Let f be -1 - -3 - (-15)/(-3) - -8. Solve -f*s + 2 = 7 for s.
-1
Let o = 89 - 86. Solve -4*u + o*u + 5 = 0 for u.
5
Let h be ((-33)/(-9))/((-1)/(-3)). Let l = 17 - h. Solve -4*n + l + 6 = 0 for n.
3
Let b = -5 - -5. Let l = 3 + b. Suppose 0 = -m - l*u - 8, 5*m = -u - 0*u + 16. Solve 0 = -0*h - m*h + 20 for h.
5
Let i(l) = -4*l**3 - l**2 + l - 1. Let p be i(1). Let x be 135/18 - (-6)/4. Let y = p + x. Solve 9 = y*m + 25 for m.
-4
Suppose k = -5*k + 18. Solve k*x + x = 0 for x.
0
Suppose 10 = -3*z + 8*z. Let q(x) = -x**2 + 9*x - 10. Let a be q(7). Solve -a*k + z = 18 for k.
-4
Let q(n) = n**3 + 5*n**2 - n + 1. Let l be q(-5). Suppose 4*x + 0*x - 24 = 0. Let b = l - x. Solve 2*o + 2 + b = 0 for o.
-1
Let y be 20/(-6)*(-9)/6. Suppose -g - 12 = -y*g. Solve g*p + 8 = p for p.
-4
Let a(w) = 4*w**2 - w. Let