2)/12). Let v(l) = 2*l**2 - l. Let u be v(b). Let s = -42 - -47. Solve 0 - u = -s*g for g.
3
Suppose 0 = 7*o - 2*o + 55. Let s = -7 - o. Solve 5 = -s*b - 3 for b.
-2
Let l(u) = u**2 + 18*u + 7. Let j be l(-18). Solve -j*o + 2*o + 5 = 0 for o.
1
Suppose 0*x + 5*x = 25, -2*w + x = -9. Suppose 4*m = 5*n - w, 4*n - 5*m + 2*m = 6. Let v(q) = q**2 - 2*q + 3. Let r be v(n). Solve -r = -5*z - 1 for z.
1
Suppose -2*y - 58 = -h, -4*y - 59 = -h - 3*y. Suppose 2*d = -2*d + h. Solve 5*q + 40 = d for q.
-5
Suppose -55*l = -50*l - 10. Solve s - 2 = l for s.
4
Let j = 2 - -2. Let l = j - 2. Solve l*m = -0*m + 2 for m.
1
Let n(m) = -m**3 - 4*m**2 + 11*m - 1. Let p be n(-6). Solve -3*i + p*i = 0 for i.
0
Suppose 0 = -0*v + 5*v + 25, 0 = z - 5*v - 31. Suppose 0*i - i = -z. Solve 20 = -s + i*s for s.
4
Let s = 8 + -6. Suppose -s*l - 25 = -3*m, 3*m - 4*m + 15 = -2*l. Let n = m - 0. Solve -d = -0*d + n for d.
-5
Suppose 0 = 2*q - 0 + 2, -3*q - 53 = -5*o. Solve 3*f + o = f for f.
-5
Let p(n) = -10*n**3. Let q be p(-1). Solve 2*x - 2 = -q for x.
-4
Let s be 6/(-9) + 8/12. Suppose s = t - 0*t. Solve -3*z = -t*z - 15 for z.
5
Let q be (-15)/(-4) - (-1)/4. Suppose d + 3 = 2*d. Solve -q*o + 3*o - d = 0 for o.
-3
Let p(h) = 2*h + 4. Let j be p(-1). Solve g + j*g = 0 for g.
0
Let g be 0*((-6)/(-2))/(-3). Solve -i = -g*i for i.
0
Suppose 1 = -4*v + 25. Let h = -3 + v. Solve h*i + 0 = 9 for i.
3
Suppose 0 = 5*q - 5 - 10. Suppose 3*a + 41 = 5*r + 17, 5*a = -2*r + 22. Solve q*h = r*h for h.
0
Let k be -16*(3 + (-27)/12). Let r(m) = -m**3 - 13*m**2 - 12*m + 2. Let h be r(k). Solve 0*j - h*j = 2 for j.
-1
Let r(v) = v**2 + 2*v + 1. Let d be r(-3). Let k(i) = i**3 + 2*i**2 - 2*i + 4. Let w be k(-3). Let j be (-1)/1*w*-7. Solve d*n = 5 + j for n.
3
Suppose 0 = -o + 1 + 4. Let i(j) = 5*j - 13. Let n be i(9). Suppose -4*y - n = -2*p, -3*p + 3*y + 37 = 4. Solve -p*b + o = -b for b.
1
Let l be 6/9*3*2. Suppose -2*b = -2, -19 = -l*c - 0*c - 3*b. Suppose c*t - p - 15 = 0, -t - 5 = -5*p - 23. Solve t*h = h for h.
0
Let o(y) be the first derivative of -y**3/3 + 5*y**2/2 - 2*y - 5. Let p be o(4). Solve b = -3 - p for b.
-5
Let t be ((-104)/(-65))/(6/(-10) + 1). Solve -4 - t = 4*n for n.
-2
Let h be -1 + 2 - -1 - 1. Let v = 6 - 4. Suppose -4*j + 2*r = -14, -2*r - v*r - 4 = 4*j. Solve -u - j = -h for u.
-1
Let o(w) = -2*w**3 - 7*w**2 + 3*w - 4. Let h be o(-4). Let l(n) = -n + 9 - 3*n + 3*n. Let g be l(6). Solve -2*j + g + 1 = h for j.
2
Suppose 17 = 5*c - 3. Solve 0*i - c*i = 0 for i.
0
Suppose 2*b - 3*n - 5 + 0 = 0, 0 = -5*b - n + 21. Suppose b*f = 12 + 8. Solve -4*z + 7 + f = 0 for z.
3
Let r(m) = -m**3 + 7*m**2 + 7*m + 12. Let h be r(8). Solve -11 = -h*d - 31 for d.
-5
Let s(q) = -q**3 + 5*q**2 + 9*q - 8. Suppose 4*h - 5 = -t + 3, h - 4*t - 19 = 0. Let j = 3 + h. Let r be s(j). Solve d + r = -4*d for d.
-2
Let l(c) = -c**3 - 2*c**2 - c - 2. Let i be l(-2). Solve -z - 4*z = i for z.
0
Suppose b + 9 = 5*m - 2*b, 5 = 3*m - 2*b. Solve -m - 1 = -x for x.
4
Let k = 46 - 43. Let y(z) = -z**3 - 3*z**2 + 5*z + 4. Let r be y(-4). Solve r*d = k*d for d.
0
Let f = 4 - 1. Let x = -1 + f. Solve x = -4*m + 18 for m.
4
Let t be 0/(-2)*(1 + 2 + -2). Solve 0 = 4*f - t*f + 4 for f.
-1
Let q = -5 - 2. Let h(j) = -j**3 - 11*j**2 + 7*j + 2. Let c(a) = -a**2 + 1. Let v(y) = 5*c(y) - h(y). Let p be v(q). Solve p*s + 1 = 2*s for s.
-1
Let d(b) = 2*b - 13. Let m(i) = -2*i - 12. Let t be m(-12). Let j be d(t). Solve -5*k + j = -14 for k.
5
Let v be 2 - (-2 - 2/(-2)). Suppose -2*j = v*j - 20. Solve -o - j*o + 25 = 0 for o.
5
Suppose 0*k + 5*k - 80 = 0. Let c = k - 10. Solve c*j = 3*j + 15 for j.
5
Suppose -i + 0 = -3, 4*j + 5*i = 15. Suppose 4*g - 3*d - 5 = j, -g + 5*g + 5 = 5*d. Solve 0 = l - 0*l - g for l.
5
Let a(k) = k**2 - 11*k + 8. Let r be a(12). Solve 0*s - 4*s = -r for s.
5
Suppose -4*n + 39 = 15. Solve 7*j - 2 = n*j for j.
2
Suppose 7*h = -11*h + 23*h. Solve -c + 5*c + 20 = h for c.
-5
Suppose 0 = 5*z + 3*g - 6*g - 62, 0 = -3*z - 3*g + 42. Suppose 3*h + 29 = 4*d, 5*d = 2*h - h + 28. Solve -12 - z = -d*a for a.
5
Suppose o = 3*o. Let a(z) = z**2 - 5*z + 1. Let h be a(4). Let f be (-2)/(-6) + (-2)/h. Solve q + 2 - f = o for q.
-1
Let t(v) = -3*v + 1. Let l be t(4). Let z = l + 4. Let a = z - -7. Solve a = 3*g - g + 8 for g.
-4
Suppose 0 - 6 = -2*i. Suppose 4*q + 15 = i*x, -3*q + 4*x - 3 = 3. Let l = q + 8. Solve 0 = -l*p - 0*p for p.
0
Let a(i) = -i**3 + 7*i**2 - 5*i - 4. Let c be a(6). Suppose 18 = c*d + d. Let v(x) = -x**3 - 5*x**2 + 8*x + 50. Let q be v(-4). Solve 0*w + q*w = d for w.
3
Suppose 0 = 5*d + 5 - 0, 2*r - 11 = 5*d. Suppose m = v, 0 = -5*v + r*m - 1 + 5. Suppose -10 = -4*b - v. Solve -b = g - 0 for g.
-2
Let d be 26/7 + ((-324)/42 - -8). Solve d*z - 5 = 3*z for z.
5
Let o = -14 - -8. Let z(h) = -h**2 - 6*h. Let x be z(o). Suppose 5*f - 4*s = 0, x + 10 = 2*s. Solve 0*d + d = f for d.
4
Suppose 4*c - 2*c = 0. Suppose 0*g - 2*g = 0. Let h = 2 - g. Solve c = h*r - r for r.
0
Suppose -3*n + 0*z + 4*z - 11 = 0, 5*n - 2*z - 5 = 0. Suppose -n*o - 3*o = 0. Solve -g = -4 - o for g.
4
Let f = -4 + 0. Let r = 7 + f. Suppose 0 = 4*x + 3*b - 6, -2*x + 5*b - 10 = -r*x. Solve 4*v + 16 = -x for v.
-4
Let h(b) = b + 2. Let o be h(8). Solve -2*n + 4*n = o for n.
5
Let x(f) = -f. Let w be 3/(-2) + (-1)/(-2). Let u be x(w). Solve v + 0*v + u = 0 for v.
-1
Suppose -16*h - 116 = -340. Solve -6 + h = -2*c for c.
-4
Let o be 6/1*12/8. Let d = o + -7. Solve -6 = -d*j - 2 for j.
2
Suppose 2*d - 6*d = -12. Solve -d*r + 16 = 1 for r.
5
Suppose -52 = -10*z - 3*z. Solve 1 + 11 = -z*c for c.
-3
Suppose -3*g = 3*o - 21, -2*o = -8 - 2. Let m be 6/15 - 78/(-5). Let p = m + -8. Solve -p = -g*t - 0*t for t.
4
Suppose 0 = 2*g - 6*g. Solve g*t = t + 2 for t.
-2
Let k = 2 - -3. Let p(x) = -3 - 4 + x + 3 + 2. Let l be p(k). Solve 0 = b - l for b.
3
Suppose -a = -3 + 2. Let r be a*3 + -2 + 3. Solve -2*s - r = -3*s for s.
4
Let k be 1*5/(1 + 0). Suppose -5*j = 5*i - 145, k*j - i - 118 = 3*i. Suppose -4*m + j = -22. Solve 5*t + m = t for t.
-3
Let t be 2/(-10) - (-77)/35. Suppose -t*c + 1 + 3 = 0. Suppose -5*y = 4*v - 10, 2*v = -c*y + 3*y - 2. Solve 3*k = k + y for k.
1
Suppose 3*u - u - 20 = 0. Suppose -u = -5*n - 0*n. Solve 0 = -b + n + 1 for b.
3
Let h be (44/(-11))/(1 + -3). Let i = 5 - h. Solve -i*m = m for m.
0
Suppose 2*v - 18 = -2*p, -2*p + v + 15 = 2*v. Solve -p = 4*g + 2 for g.
-2
Let v be (-1)/(-2 - (-5)/2). Let n = 15 + v. Solve -n = 5*g - 38 for g.
5
Let x = -70 - -80. Suppose 2*f - 30 = -4*s, -8*f + 5 = -3*f - 4*s. Solve 0 = 5*b + f + x for b.
-3
Suppose 4*g = g + 3. Let u be ((-54)/(-36))/((-6)/8). Let q be u/((-1)/(-2) - g). Solve -n = -q - 0 for n.
4
Let y be (-26)/(-3)*6/(-4). Let o = -8 - y. Solve -o*n + n - 16 = 0 for n.
-4
Let u(z) = -5*z - 21. Let d be u(-9). Solve 4*l + 8 = d for l.
4
Let p = 1 - -14. Suppose 3*j = -p, -5*j + 6 = 5*u + 11. Let b(f) = f**3 - f**2 - 1. Let s be b(2). Solve 0 = -u*a + 1 + s for a.
1
Suppose 5 - 13 = -4*z. Let d(b) = b**2 + 1. Let m be d(-1). Let g be m + -3 + z + -1. Solve 2*v - 7 + 1 = g for v.
3
Let c(d) = -2*d - 9. Let q be c(-9). Solve -3*n + 0 = q for n.
-3
Suppose 0 = 5*f - 3 - 7. Let k = -2 - -3. Solve 0 = -a - f + k for a.
-1
Suppose 0 = a - 4 - 5. Let r = a + -7. Solve 0 = -s - r*s for s.
0
Suppose -n + 69 = 4*m + 2*n, 0 = -3*n + 9. Let u be 3 + (1 - -1) - -1. Suppose 0 = 5*w - k - m, -5*k - 15 = -w + u*w. Solve -16 = -w*x - 2*x for x.
4
Let u be (-54)/15 + 4 - (-66)/10. Solve -u = -5*l + 13 for l.
4
Let h(l) = -l + 3. Let c be h(-6). Let m = c - -1. Solve 0 = -3*z - 2 - m for z.
-4
Suppose -5*p + 5*t = -10*p + 50, 0 = -2*p + t + 35. Solve -7*d + 2*d - p = 0 for d.
-3
Let s be ((-5)/(-2))/((-4)/8). Let m be (-2 - 13/s)*10. Suppose -20 = 5*n, -3*z + 14 = -m*n + 4*n. Solve 3 = -z*a - a for a.
-1
Suppose -21 = -5*w + 2*m, 3*m + 2*m = 10. Suppose -j + b + 1 = 0, -w*j - b + 32 = 3*b. Solve -z + 9 = -j*z for z.
-3
Let b(s) = -s**3 + 2*s. Let n = -5 - -2. Let g be 2/(2*n/6). Let t be b(g). Solve 0 = -0*j - t*j for j.
0
Let w(s) = -s - 5. Let p be w(-5). Let f(q) = q**3 + 3*q**2 - 4*q. Let g be f(-4). Suppose g = -3*k - 2*y - 6, 3*k + y + 5 = 2. Solve k*t + 4*t - 4 = p for t.
1
Let c(p) = p**2 + 8*p - 9. Let o be c(-9). Solve -5*h = -o*h - 25 for h.
5
Let z be (2/3)/((-2)/(-3)).