z, 0 = -3*x - 4*z + 12. Solve x = 3*g + 2*g - 10 for g.
2
Let r(l) = -2*l**2 - 16*l + 3. Let h be r(-8). Solve 0 = 4*b - h*b for b.
0
Let y(z) = -z**2 + 7*z. Let l be y(7). Suppose l = 4*b - 8, 1 - 3 = -4*p + 3*b. Let u = 29 - 17. Solve -p*t = -5*t + u for t.
4
Suppose 5*n - 12 = -3*g, 0 = 4*n + g + 3*g - 16. Solve 1 = -n*f + f for f.
1
Suppose -f + 5 = -0. Solve f*k = -35 + 10 for k.
-5
Let a(y) = y + 20. Let x be a(-23). Suppose -2*s + 5 = 11. Let b = s - x. Solve -2*u + 7*u = b for u.
0
Suppose 2*p - 9 + 3 = 0. Solve -a + p*a = 0 for a.
0
Suppose -5*l = n + 3*n - 61, -3*n - l + 32 = 0. Let m(c) = c**2 - c. Let r be m(-2). Solve 3*i + r = -n for i.
-5
Let o be (-52)/(-6) - 2/3. Let u(k) = k. Let j be u(5). Suppose 3*l = -2*q + 19, j*l = -5*q - 25 + 65. Solve l*i = -1 - o for i.
-3
Suppose 0*g + 5*g = 0. Suppose 4*d = g, 5*t - 4*t - 2 = d. Let u be t/5 - (-16)/10. Solve -z + 0*z = u for z.
-2
Let o(c) = 2*c**2 - 4. Let t be o(-3). Solve 11 + t = 5*y for y.
5
Suppose 4*a - 12 + 116 = 0. Let l be a/(-5) + 6/(-30). Solve 0 = -0*f - l*f - 25 for f.
-5
Let h(g) = -4*g**3 - 2*g**2 - 4*g - 2. Let d be h(-1). Solve -7*x = -d*x - 3 for x.
1
Suppose 2*m + 4*o + 24 = 0, 2*o + 0*o = -8. Let x be (18/8)/(m/(-16)). Solve -2*p = p - x for p.
3
Suppose -3*h = z - h, 3*h = 3*z. Solve z*k + 3 = -3*k for k.
-1
Let w be 0 + 0 + 0/(-5). Let q(n) = n**2 + 4 + n**2 - n**2. Let u be q(w). Solve u*k = -k + 15 for k.
3
Suppose 0 = -5*m + 5 + 10. Solve -3*w + 6 = -m for w.
3
Let y(j) = -j**3 - 12*j**2 - 22*j - 8. Let w be y(-10). Solve -l - w = 3*l for l.
-3
Suppose -4*q = 64 - 88. Solve 7*l + 4 = q*l for l.
-4
Let i = -1 + 3. Suppose -s + 0*s = i. Let u be (s/(-4))/((-1)/(-2)). Solve -2 - u = -n for n.
3
Suppose -9*m = -13*m + 48. Suppose -10*h + 6*h = -m. Solve 2*p + h*p = 25 for p.
5
Let u be -1 + 47 + 1 + -1. Let j be 10/(-35) - u/(-14). Solve -2*y - j - 3 = 0 for y.
-3
Suppose -b - 4 = -2*i, 2 = -i + 2*b + 1. Suppose d + i*d = 0. Solve d*c = -3*c for c.
0
Let y be 10 + -9 + (1 - -1). Suppose 2*n - s = y*s - 12, -n - s = -6. Solve -5 + 3 = n*d for d.
-1
Suppose -5*k + 19 = 49. Let x(g) = -g - 3. Let d be x(k). Solve -2*h = d*h for h.
0
Let l(w) = -w**2 + 4*w - 1. Let y = 16 + -13. Let r be l(y). Solve 10 = r*x - 0*x for x.
5
Suppose 4*g = 2*s - 46, g - 11 = -0*g + 5*s. Suppose 2*m + 0*m + 4 = 0. Let z = m - g. Solve 2*n + z = -n for n.
-4
Let j be (-4)/(-18) + (-86)/(-18). Let t be 26/(-4) + 3/(-6). Let o = -7 - t. Solve -v + j = -o for v.
5
Let o = 2 - -4. Suppose -4*c + 6 = -o. Solve c*y = 5*y - 10 for y.
5
Let o(k) = k**2 - 17*k + 34. Let g be o(15). Solve 2*x - 8 = -g for x.
2
Let f = 139 - 137. Solve f*u - 2 = -6 for u.
-2
Let o = 2 - -4. Suppose -o*q = -q. Solve q*i = 2*i for i.
0
Let r(x) = 2*x**2 - 6*x - 3. Let h = -1 + 6. Let q be r(h). Suppose 5*z + 5 = 5*v - 0*v, -q = 2*z - 5*v. Solve z*o + 5 = -3 for o.
-2
Let u be ((-2)/(-4))/((-1)/(-6)). Suppose 0 = u*j - 8 - 4. Suppose -2*r - 3*v + 14 = -v, -10 = -j*r + 5*v. Solve -3*o - 10 - r = 0 for o.
-5
Let k be (-1)/((-1)/2 - 0). Let n = 7 - 2. Let x = -3 + n. Solve -x*t + 0 + k = 0 for t.
1
Suppose -2*f - 15 = -5*r, f + 6 = 2*f + 2*r. Solve 9 = 3*z - f for z.
3
Let y(h) = 4*h**3 - h + 1. Let d be y(1). Suppose 0*c = d*c - 12. Let f = 1 - -6. Solve f = -c*r - 8 for r.
-5
Suppose -9 = 4*l - 5*c, -22 = -3*l + 2*c - 4*c. Solve l*f + 15 = -f for f.
-3
Suppose 0 = 3*i - 8*i. Solve i = -5*l + 3 - 8 for l.
-1
Let u(w) = w - 2. Let k be u(4). Suppose -4*i = -k*i - 2. Let l = 7 + -5. Solve -q - l - i = 0 for q.
-3
Let k = 3 - 1. Solve n + k - 3 = 0 for n.
1
Suppose 8*c - 18 = 3*c + 3*j, -5*c = 4*j - 46. Let o = 7 - c. Solve d = -o - 2 for d.
-3
Let v be (6 + -5)/(2/(-2) + 2). Solve 3*o + 7 = v for o.
-2
Let f(v) = -v**2 - v + 5. Let d be f(-4). Let j be 1/((-1)/d)*1. Let q be 46/14 + (-2)/j. Solve 0 = 2*w + q*w for w.
0
Suppose -23 = -2*w + 1. Let o(f) = -f**3 - 3*f**2 + 5*f + 4. Let u be o(-4). Suppose 0 = -2*z - 0 + 8. Solve u*d = z*d + w for d.
-3
Let k be 600/42 + 2/(-7). Let q be ((-3)/3)/(-2)*k. Solve -q = 5*n + 18 for n.
-5
Let x(b) = 2*b - 10. Let p be x(5). Let n(c) = -c**2 + c. Let l be n(p). Solve -w + 2*w + 5 = l for w.
-5
Let i be (18/10)/(228/(-40) - -6). Solve -4 = -i*k + 2*k for k.
1
Let n(l) = -l**2 - 12*l + 3. Let m = 16 - 23. Let j be n(m). Solve -5*r = j - 13 for r.
-5
Suppose -4*s = 5*r - 3*s - 22, 0 = -5*r - 3*s + 26. Solve -11 - r = 3*f for f.
-5
Let z be (-2)/(-3)*12/8. Solve r - z = -5 for r.
-4
Let z = 26 - -4. Let u be (7/14)/(1/z). Solve -w = -4*w + u for w.
5
Let n be 1 - 3 - (-3 - -1). Solve 0 = -2*m - n - 10 for m.
-5
Let m(x) = x + 9. Let n be m(-7). Suppose -n*v - 3*t = -16, 4*v - 2*t + 4 = t. Solve v*i = 3 + 3 for i.
3
Let g be (-8)/20*-20*2. Suppose 0 = 3*u - 2 - g. Solve 2*j + u = 4*j for j.
3
Let c(w) be the third derivative of -w**4/8 + w**3/2 + 10*w**2. Let g be c(0). Solve -g*a + 6*a = 12 for a.
4
Let p(g) = -g**3 - 20*g**2 - 18*g + 23. Let m be p(-19). Solve 0 = j + m*j for j.
0
Let v = -1 + 3. Let m(s) = -s + 5. Let n be m(-14). Suppose -19 = -4*f + 7*i - v*i, 3*f + i = n. Solve f = -5*d - 14 for d.
-4
Let q be (7 - 4)*2*1. Let f = q - 6. Solve f = -d + 4*d - 12 for d.
4
Suppose 0 = -5*h + 5*f + 15, -2*h - 5*f = -2*f - 1. Let o = 4 - h. Solve -6 = o*d + 4 for d.
-5
Let j = 47 + -42. Solve -d = -2*d + j for d.
5
Let g(m) = m**3 + 2*m. Let r be g(2). Suppose -r = y + y. Let d be 8/y*3*-1. Solve 15 = d*t - t for t.
5
Suppose a - 12 = -a. Let k be ((-9)/a)/((-6)/16). Solve 0 = k*c + 5 - 1 for c.
-1
Let q(a) be the third derivative of -a**4/24 - a**3/2 + 3*a**2. Let b be q(-6). Let w = -14 + 29. Solve -w = -b*m - 3 for m.
4
Suppose 0 = 4*n + 3*w - 2, 4*n - 3*w = -4 + 18. Solve 0 = k + n*k for k.
0
Let j(u) = -2*u - 12. Let h be j(-8). Let s = 7 - 3. Suppose i - 5*b - s = 0, b = 4*i + h*b - 16. Solve 7 + 1 = -i*n for n.
-2
Let z(y) = -y**2 + 5*y + 7. Let f be z(5). Suppose -f + 5 = -l. Solve l = 2*b - 0 for b.
1
Suppose 0 = -2*s + 4*s + 2. Let n be s - (2 - 1) - -3. Suppose 3 = o + n. Solve o = -2*i + 4 for i.
1
Let t = 0 - 2. Let b be 4 - 3 - 6/t. Solve -2*s = -s + b for s.
-4
Suppose v = -5*p + 3, 2*v - 9 = -v - 2*p. Solve -7 = -5*q + v for q.
2
Let o(d) = -d**2 - 6*d + 9. Let h be o(-7). Suppose 5*q - h*f = -10, 0*q - q + f = 2. Let t = 0 - q. Solve a + 12 = -t*a for a.
-4
Suppose 3*h + 2*v = 20, -3*h + 15 = -v - 2*v. Let q = h + -3. Solve -t = -0*t + q for t.
-3
Let w be ((-4)/7)/(5/(-35)). Solve -w*l - 3 = -11 for l.
2
Let a be ((-9)/3)/((-2)/(-10)). Let q = a - -25. Let b = 14 - q. Solve 5*p = p + b for p.
1
Suppose 21 - 1 = 4*v - 4*l, -v - 3*l - 15 = 0. Solve 3*r - 4*r = v for r.
0
Suppose -6 = -3*k - 0. Let m(u) = 2*u - 2. Let x be m(k). Solve 0 = -x*q - 2*q - 4 for q.
-1
Suppose 2*b - 41 = -3*b + 3*a, 2*a = 5*b - 39. Solve -4*o + 23 = b for o.
4
Suppose 7 + 1 = 2*l. Suppose -2*s = -s - l. Solve 0*v - 8 = -s*v for v.
2
Let d(r) = 3*r + 3. Let y be d(3). Suppose -9 = 3*h + k, -5*k = -4*h - k - y. Let u = h + 3. Solve -4*i + u*i + 12 = 0 for i.
3
Let j(b) = -b**3 - b + 10. Let y be j(0). Solve y = 4*i + 2 for i.
2
Let j(c) = c**2 - 9*c + 1. Let q be j(9). Suppose 7 = z + q. Solve 0 = -0*g + 2*g + z for g.
-3
Let i = 14 + -14. Solve 2*w = -i*w + 2 for w.
1
Let o be (-1)/(2*(-1)/6). Suppose 2*l = l + 4*a - 13, l - 5*a + 16 = 0. Let u be l*(0/3 - 0). Solve u = -0*x - o*x for x.
0
Let l(b) = -3*b**2 - 61*b**3 + b**2 + 62*b**3 + 2. Let o be l(2). Suppose -4*y + 45 = m, 2*y - 23 = -2*m + 37. Solve -o*z = 3*z + m for z.
-5
Let p(j) = -14*j + 2. Let b be p(1). Let l be b/42 + 37/7. Solve l + 5 = 2*z for z.
5
Suppose -4*m + j - 36 = -0*m, -m + 10 = -5*j. Let a be ((-4)/m)/((-4)/(-20)). Suppose 3*r = -a*o - 1, 3*r + 9 = 2*r - 5*o. Solve -2*n = r + 7 for n.
-4
Suppose 5*f = n + 8, 0 = 2*f - 2*n - 2*n - 14. Let a(j) = 3*j**2. Let v be a(f). Let u be (-6)/3 + 0 + v. Solve s + 0 = -u for s.
-1
Let t be ((-175)/(-20))/((-2)/(-8)). Let o = t - 21. Suppose -86 = -4*a + 4*l - o, 4 = -l. Solve -5*q + 1 = -a for q.
3
Suppose 2*y - 9 = y - 4*t, 0 = -3*y + 4*t - 21. Let w be (-2 - -5) + (0 - y). Solve -p = p - w for p.
3
Let o = -5 + 2. Let a be (-3)/(18/8)*o. Solve 28 = a*b + 8 for b.
5
Suppose -3*n + 34 = 4. Solve 0 = -3*c - 2*c + n for c.
2
Let i = 19 - 16. Solve 5*v = i*v - 2 for v.
-1
Let u