) = -j + 2. Let z be m(3). Let t = z + q. Solve -10 = -t*b - 2*b for b.
2
Let j = 133 - 37. Suppose 4*w + j = -32. Let i = 45 + w. Solve -3*v + 1 = i for v.
-4
Let s = 184 - 179. Solve 0*i = -s*i for i.
0
Let f = 10 - 9. Solve f = 5*h + 16 for h.
-3
Let n be ((-8)/(-10))/(2/10). Let o = 24 - n. Let z be (-1)/(-2) - (-3)/2. Solve -6*w + z*w = o for w.
-5
Let j be 2 - 0*(-3)/12. Solve j*i + 15 = -3*i for i.
-3
Let d be (-165)/(-35) + (-2)/(-7). Suppose d*f - 6*o + o - 25 = 0, -3*o = 3*f - 9. Let y be 1/((-1)/(1*-2)). Solve -f = -y*s - 8 for s.
-2
Let q = -5 + 2. Let n(m) = -2*m - 3. Let j be n(q). Solve -j = -3*p - 0 for p.
1
Let v(s) = -s**3 + s. Let y be v(1). Solve -3 + y = 3*m for m.
-1
Let w = 10 + -6. Let g(h) = h - 3. Let j be g(5). Let p(i) = -i**2 - 7*i - 2. Let d be p(-6). Solve w = j*q - d*q for q.
-2
Suppose 9*c + 10 = 11*c. Solve c = -4*p + 25 for p.
5
Suppose 8 = -7*a + 11*a. Let d be (8/(-24))/(a/(-30)). Let l = 8 - 5. Solve l*g - 4*g - d = 0 for g.
-5
Suppose -5*b = z - 7, -2*z + 1 - 5 = b. Let d be b/8 - (-210)/24. Solve 5*l = 2*l - d for l.
-3
Let r be 0 + 3 + 2 + 1. Suppose -3*j - 19 = 5. Let h be r/j + 9/12. Solve a = -h*a - 4 for a.
-4
Let m(q) = q**3 + 5*q**2 + q + 2. Let h be m(-5). Let w = h + 5. Solve 7 = -w*f + 3 for f.
-2
Let d be 12/(-18) - (-5)/3. Suppose -4 = -3*k + 11. Solve u + d = k for u.
4
Suppose 0 = -3*u + u + 4. Solve -3*b + 10 = u*b for b.
2
Suppose -1 - 3 = -4*a. Let n = -2 + a. Let g = n + 3. Solve -3*k = -g*k - 1 for k.
1
Let g = -19 + 26. Let h be ((-32)/112)/((-1)/g). Solve 0 = -n - h - 1 for n.
-3
Let j = 11 - 11. Solve j = -4*z + 6 + 10 for z.
4
Let k be (-2 - (-3)/2)*-16. Let b(x) = x**3 - 6*x**2 + 4*x - 1. Let o be b(5). Let r = -3 - o. Solve -r*g = -k*g for g.
0
Let w(h) = -h**2 - 4*h + 1. Let x be w(-3). Suppose -x*t + 14 - 2 = 0. Suppose 0 = -t*n + 9 + 3. Solve -n*m = -m + 9 for m.
-3
Let g be -9*2*(-2)/(-6). Let l(k) = -k + 2. Let p be l(g). Suppose 2*r + p - 38 = 0. Solve -2*o - 5 = -r for o.
5
Let x be ((77/14)/(-1))/((-2)/4). Solve x + 5 = -4*l for l.
-4
Suppose 0 = -3*g + l - 5, -2*l = -3*g + 4 - 14. Solve 0*r + r + 2 = g for r.
-2
Let r = 1 - -2. Suppose -5*g + 4 = -4*t, -t = -0*t - 3*g + 8. Suppose 0 = -4*y + 3*p + 13, 3*p - p = 5*y - 25. Solve -t*i + y*i = -r for i.
-1
Let h be (-87)/27 + 2/9. Let u(z) = -z**3 - 2*z**2 + 4*z + 3. Let t be u(h). Solve t = -f - f for f.
0
Suppose 0 = -8*c + 15 + 9. Solve -k = c*k - 12 for k.
3
Suppose -2*x - 28 = -4*y, -8*x + 8 = 4*y - 5*x. Solve -y*f = -0 + 5 for f.
-1
Let o(a) = -2*a**3 - 4*a**2 + 5*a - 1. Let n(h) = h**3 + 5*h**2 - 5*h + 1. Let m(b) = 3*n(b) + 2*o(b). Let g be m(6). Solve 0 = -g*u + 3*u - 4 for u.
-1
Let d(y) = -2*y - 4. Let b = -13 + 9. Let t be d(b). Solve t*o + o = -15 for o.
-3
Let k = -2 - -4. Let n = k + -2. Solve -t + 0 + 5 = n for t.
5
Let i(x) = -x + 1. Let h(v) = 3*v - 4. Let s(j) = h(j) + 4*i(j). Let m be (12/(-10))/((-6)/(-30)). Let u be s(m). Solve -u*f = -3*f - 6 for f.
2
Suppose -v + 20 = -3*i, 3*v - 30 = 3*i - 0. Solve 8 = v*y - 9*y for y.
-2
Let p = -11 + 11. Solve -2*i + p*i - 10 = 0 for i.
-5
Let c(v) = v**3 - v**2 - 2*v. Let p be c(2). Suppose h - 2*h + 2 = 0. Suppose h*m = 2*j - m - 31, j + 17 = -5*m. Solve p = -2*g + j for g.
4
Suppose 13 = 4*z - g, g = 4*z + 3*g - 22. Solve a - 1 = -z for a.
-3
Let j = -26 - -28. Solve j*s = 5 + 1 for s.
3
Suppose -c + 14 = 4*l, 5*l - 40 = 4*c - 9*c. Solve -m + c*m = -15 for m.
-3
Let g(o) = -o**3 + o. Let i be g(0). Suppose i = 7*h - 2*h. Solve 0 = -2*b + 4 - h for b.
2
Let r(d) = 2*d - 6. Let w be r(6). Let n(y) = y - 3. Let m be n(w). Let i(l) = -l**2. Let q be i(0). Solve q = m*t - 4*t for t.
0
Let k = 2 + -2. Let f be 24*3/(18/8). Suppose 3 = o + o + m, -3*o + f = -4*m. Solve k = -0*j + 2*j + o for j.
-2
Suppose -5*m = i - 65, -5*m + 0*m + 65 = -5*i. Solve -2 - m = -3*v for v.
5
Suppose 2*r = 5*r. Solve 0*u - 2*u = r for u.
0
Let g be 2 + -3 + 1 - 0. Solve g = -5*v + v - 16 for v.
-4
Suppose -4*t + 4 + 24 = 0. Suppose -23 = -2*q + 5*q + 5*l, -3*l = -5*q + t. Let d be (q - 1)/(1/(-2)). Solve 0 = -3*s + d - 1 for s.
1
Let m be -1*1*(3 - 8). Solve m = -5*v - 0 for v.
-1
Let m(i) = i**3 - 7. Let f(w) = -w**2 + w + 1. Let j(a) = 5*f(a) + m(a). Let n be j(4). Solve n*p = -2*p for p.
0
Let a(d) = -d**3 - 4*d**2 + 2*d + 2. Let i be a(-4). Let t = 6 + i. Solve t*c = -5*c for c.
0
Let y be (3/3)/2*-10. Let n be 13/y - (-2)/(-5). Let s = n - -8. Solve 4 = -s*t + t for t.
-1
Let i = -2 - 2. Let z = i - -4. Suppose -5*j = -z*j. Solve j = -2*b + b + 4 for b.
4
Suppose -8*x = -12*x + 8. Solve x*l + 0*l = -10 for l.
-5
Let a(w) = -w**2 - 5*w - 3. Let x be a(-4). Suppose 4*r + 4 = 0, -5*j - x = 4*r + 3. Suppose -8 = -y - t - 3*t, j = 4*t - 8. Solve 0 = -5*d - y*d - 15 for d.
-3
Let m(r) = -r**2 + 6*r - 1. Let q be m(5). Solve q*y - 3 = y for y.
1
Let b be 6/(-36)*(2 - -1)*0. Solve -3 = -b*y + y for y.
-3
Let i(z) = -z + 8. Let w be i(0). Solve -2*h - w = -0*h for h.
-4
Let h = -4 - 5. Let m = 9 + h. Solve m*s = s - 1 for s.
1
Let l(s) = -7*s - 3. Let x be l(-1). Solve -c = c - x for c.
2
Let f be (-10)/(-2) + (4 - 6). Let c(m) = -2*m + 3*m - 1 + 0*m + f. Let o be c(-2). Solve o = 5*p - p - 12 for p.
3
Suppose 0*t = 4*t. Suppose t = 4*l - 9 - 51. Solve 0 = -0*g + 3*g + l for g.
-5
Let k(z) = z + 1. Let q(c) = c**2 + 6*c + 2. Let j(x) = -3*k(x) + q(x). Let r be j(-5). Let s = r + -3. Solve 5*h + 4 + s = 0 for h.
-2
Suppose 3*i + 2*t = 0, 0 = -4*t - 9 - 3. Solve -3*v = 5 - i for v.
-1
Suppose 12 = 3*d - 21. Let l = d - 6. Solve 0*k = -k + l for k.
5
Let l be (-1)/(-3) - 141/(-9). Let q(d) = -d**2 - d + 1. Let u be q(1). Let b be 2 - 1 - 0 - u. Solve 6*z = b*z + l for z.
4
Let z(d) = d**2 - 3*d - 2. Let a = 0 - -4. Let j be z(a). Solve 0 = j*x + 6 for x.
-3
Suppose -a - s + 5*s + 14 = 0, -9 = 3*s. Let l be a/(1/(-2 - -1)). Let d = l - -2. Solve -7*t + 2*t + 15 = d for t.
3
Suppose 0 = -a + 1, l + 2*l = -a + 43. Solve -2*n = -6 + l for n.
-4
Let p(d) = d**3 + 6*d**2 + 3*d - 6. Let j be p(-5). Let a be (-2)/j + 4/8. Solve a = -3*l + 3 + 9 for l.
4
Let v = 6 - 5. Let n = 5 - -2. Solve -3*o = v - n for o.
2
Let w = -1 - -3. Solve 0 = w*f - 4*f + 6 for f.
3
Suppose -v - 6 = 2*m, 0 = -3*v + m + 21 - 4. Solve 16 = -4*w - v for w.
-5
Suppose -15 = -r - 6. Let i = 13 - r. Let t = 174 - 174. Solve t*y + y = -i for y.
-4
Let c = -21 + 14. Let l = 12 + c. Suppose 0 = -4*r + 5*y + 207 - 49, -2*r + l*y = -84. Solve 5*f = r - 12 for f.
5
Let h = 6 - 2. Let u = -3 + 6. Suppose 14 = h*g - o + u*o, 0 = g - 5*o - 9. Solve l = -0 + g for l.
4
Suppose -2*o + 22 = 14. Solve -h = o*h + 20 for h.
-4
Let u = 0 + -6. Let z = 29 - 40. Let w = u - z. Solve w = -8*i + 3*i for i.
-1
Suppose 4*s + 2*p + 12 = 0, -2*s + s = -p. Suppose -2*b = 2*c - 10, 5*c + 2*b - 33 + 2 = 0. Let r = s + c. Solve -n = r - 1 for n.
-4
Suppose 21*l = 29*l. Solve -b - 4*b - 25 = l for b.
-5
Let i(c) = -3*c - 7. Let s be i(6). Let j = s + 28. Solve -2*d = -j*d + 4 for d.
4
Suppose -4 = -0*g - g. Suppose -2*v = n + 5 - 9, 2*v + 4 = n. Solve -g*o + n = -4 for o.
2
Let q(w) = 3*w**3 - w**2 + 1. Let h be q(1). Let x be -4 + 3 + (0 - -1). Solve -z - h*z - 8 = x for z.
-2
Suppose 9*u + 9 = 12*u. Solve u - 11 = -4*a for a.
2
Let m(x) = x**2 - 7*x - 4. Let l be m(8). Solve -18 = -l*f - 6 for f.
3
Let b(r) = r - 1. Let t be b(-6). Let a = -6 - t. Solve a = i - 0*i for i.
1
Let s = -62 + 65. Solve s*w = w - 4 for w.
-2
Let m(p) be the first derivative of -p**2 + 10*p - 3. Let c be m(5). Solve c*b = 4*b for b.
0
Let a(l) = -l + 14. Let d be a(10). Suppose -3*o + j - d = 0, -5*o + 13 + 3 = 4*j. Solve o = 6*z - z for z.
0
Let z = -4 - -8. Let k be (-4)/8*2*-12. Solve n + k = z*n for n.
4
Suppose -3*l + 7*l = 8. Solve 7*r - l*r + 5 = 0 for r.
-1
Let d(w) = -8*w. Let s be d(-1). Suppose j - s = -0. Suppose 0 = -4*o - r + 3, -o + 4*r - 18 = j*r. Solve 0 = x + o + 2 for x.
-4
Let p be 3/(3/(-2))*-1. Suppose p = i, -z + 2*i + 4 = -1. Let j(q) = q**3 + 3*q**2 + q - 1. Let n be j(-2). Solve 0 = 2*x + z + n for x.
-5
Let t(f) = f**2 + 2*f - 1. Let j be t(1). Let m = 1 - 6. Let i(h) = -h - 1. Let g be i(m). Solve -3*v = -j*v - g for v.
4
Let g be ((-7)/(-4))/(2/8). Let r be 2 + 1 + g*1. Solve 4*j = 2*j - r for j.
-5
Let y be (-9)/(-6)*-2*-1. Suppose y*q = 3*p, 3*q +