-z + 4*d - x, -4*z + 16 = -3*z + 5*d. Solve 0 = -2*q + z*q - 4 for q.
1
Suppose 3*u + 8 = u, 0 = -b + 3*u + 22. Suppose 4*j = -5*r, j - 9 = 5*r - 4*r. Suppose -x + 12 = w - 5*x, 2*w + 15 = -j*x. Solve 0 = 5*o + b - w for o.
-2
Let j be (-12)/9*(-42)/(-4). Let u be 4/j - 176/(-28). Solve -h + u = 3 for h.
3
Let n be 20/(-2) - (3 - 6). Let t = -5 - n. Solve 3 = c - t for c.
5
Suppose 15*o - 20*o = 0. Solve -15 = -o*x + 5*x for x.
-3
Let l(k) be the first derivative of k**3/3 + 3. Let x be l(1). Let n be (x/2)/(1/4). Solve -t + n*t = 0 for t.
0
Let j(g) = 2*g - 2. Let y be j(3). Let r = y + -2. Solve -r = -3*a + a for a.
1
Let v be (-2)/(4/2) - -2. Let x(n) = -2 - v + n**2 - 1 + 2*n. Let z be x(-4). Solve -3*w + z*w = 0 for w.
0
Let y be (14/(-4))/(2/4). Let v = 9 + y. Solve -6 = v*o - 4*o for o.
3
Suppose 3 = 3*q - 9. Solve 0 = -q*l + 5*l + 1 for l.
-1
Suppose 0 = 4*n + 2*r + 2, 0 = -2*n + 5*n + 5*r + 5. Let u(l) = l + 6. Let b be u(n). Solve b = -4*j - 6 for j.
-3
Suppose 15 = 6*d + 3. Solve d*f + 11 = 9 for f.
-1
Let y = 105 + -102. Solve 6*f - 6 = y*f for f.
2
Suppose 5*q + 0 = -5*j + 85, -3*q - 63 = -3*j. Let c = 29 - j. Solve c = 4*s - 10 for s.
5
Suppose -35 + 12 = t. Let i = t - -33. Solve i = -h - h for h.
-5
Let i(d) = d**3 + 7*d**2 - 7*d + 9. Let o(r) = r - 14. Let y be o(6). Let n be i(y). Solve w + n = 3 for w.
2
Let u(b) = -b + 3. Let t be u(-7). Suppose 4*h = -h + t. Solve 0 = -d - 0*d - h for d.
-2
Let k(z) = z**2 - z. Let x be k(-1). Solve 2 = q - x for q.
4
Let l be ((-7)/4 + 2)*4. Let d be (-4)/3*(-10 + l). Solve 0 = 4*a + d for a.
-3
Let f be 9*11/((-66)/(-4)). Solve -f*g - 8 = -2*g for g.
-2
Let l be 45/(-6)*(-4)/6. Solve -l*x + 4*x = -5 for x.
5
Let l be 2/7 - 54/(-7). Solve 4*n - l = -0 for n.
2
Let g be 6/8 - 10/(-8). Suppose 0*s = -g*s + 14. Let l = s - 5. Solve l*d + 1 = 3 for d.
1
Let y(z) = 4*z + 20. Let u be y(-5). Solve u = 5*w - 10 - 10 for w.
4
Let u be ((-2 + 0)*5)/(-1). Suppose 4*v + u = 3*l + 37, 2*v = -5*l - 19. Let p(q) = -q + 3. Let w be p(v). Solve w*o = o for o.
0
Let o(p) = p**3 + p + 3. Let i be o(0). Suppose -3*g = r + g - 17, 0 = -i*g + 9. Let z = 11 - r. Solve -n - 15 = -z*n for n.
3
Suppose -10*d - 8 = -12*d. Solve 5*z - 14 + d = 0 for z.
2
Suppose 14*t - 11 - 17 = 0. Solve t + 0 = -g for g.
-2
Let r(v) = -v**3 - 3*v**2 + 3*v + 1. Let k be r(-4). Suppose 2*q + k = 3*q. Solve -q = 2*h - h for h.
-5
Suppose 5*k - 33 = -13. Solve 2 = -k*u - 10 for u.
-3
Suppose b = 1 + 14. Solve b = -2*f - f for f.
-5
Let g(s) = -s**3 + 10*s**2 + 12*s - 9. Let z be g(11). Let p(x) = x**3 - x**2 - 3*x + 4. Let i be p(0). Solve -i*u = -z*u + 4 for u.
-2
Suppose 5*m - 2*a - 2 = -0*m, 0 = -4*m + a + 1. Solve 2*v + 6 + 0 = m for v.
-3
Let d be (-13)/(-2) - (15/(-6) - -3). Solve d*u = 4*u - 4 for u.
-2
Let l(w) = 2*w**2 - 16. Let a be l(-4). Let k(x) be the first derivative of -x**3/3 - 2*x**2 + 5*x - 1. Let y be k(-5). Solve -4*v + a + 0 = y for v.
4
Suppose 0 = 4*l - 5*h + 2, 2*h - 2 = h. Suppose 0 = 3*d - 6. Suppose d*s + 13 = i - 0, -31 = -l*i - s. Solve 2*a + i = -3*a for a.
-3
Let w = 7 - -2. Suppose -3*d + 5*p + 5 = 0, -4*p + w = 3*d - 14. Solve -14 = d*a + 1 for a.
-3
Let v = -15 - -11. Let n = v - -9. Solve -2*l = n - 3 for l.
-1
Suppose 20 = 4*g - 2*f, -5*g - 3*f = -31 + 6. Let t be 12/g - 4/10. Solve t*l + 12 = -2*l for l.
-3
Let t = 14 + -5. Let z = t + -4. Solve 0 = -0*x + z*x for x.
0
Let h(c) be the first derivative of 9*c**2/2 - c + 2. Let u be h(1). Solve -2*z + 0*z = -u for z.
4
Let g be -1 - 1/(3/(-93)). Suppose 0*f = 3*f - g. Solve h = 6*h - f for h.
2
Let p = 10 - 8. Suppose p*x - 1 = 1. Let b(f) = 3*f**2 + f + 1. Let o be b(-1). Solve -o*s - x + 13 = 0 for s.
4
Let b be 10/(-4)*(-6)/15. Suppose -3*m - 4*i + 18 = 0, -m - i = -2*i + b. Solve -3*a + m*a - 3 = 0 for a.
-3
Let m be -3*(-1)/3 - 0. Let f(c) = 3*c - 2. Let h be f(4). Suppose -2 = 2*v - h. Solve r + v = m for r.
-3
Suppose -3*l = -4*x + 9, 2*l = 3*x - 3*l + 7. Solve -p = -x*p - 20 for p.
-4
Let u(y) = -6*y - 37. Let t be u(-7). Solve 0 = 3*z - t - 1 for z.
2
Let c(r) = 6*r + 38. Let y be c(-6). Suppose 0 = -3*b + 7*b - 128. Suppose 2*a - b = 4*v, v = 4*a + 2*v - 28. Solve y*g = a - 2 for g.
3
Suppose b - 40 = 2*l, 5*l + 0*b - b = -106. Let x = -5 - l. Suppose -o = -0*o + t - 6, -2*t + x = 3*o. Solve -o*y + 3 = 18 for y.
-3
Suppose 11 = n - 17. Suppose 2*h - k = 12, 3*h - k = -2*k + n. Suppose -12 = -3*i + 2*z, i + h = -i - 4*z. Solve 3*p - i = -5 for p.
-1
Suppose -3*d = -0*d - 9, 0 = 2*m + 4*d - 24. Let j = m + -10. Let g be (j + 0 - -2) + 2. Solve -2*q + 7*q + 5 = g for q.
-1
Let i be 6/(-8) + (-166)/(-8). Let t = -20 + i. Solve j = -t + 5 for j.
5
Suppose 2*o = g + 4*g + 50, -3*o = 5*g - 75. Solve 3*y + 2*y - o = 0 for y.
5
Let v = 16 + -16. Solve -c - 3 + v = 0 for c.
-3
Let d be 6/6*(-1 + 3). Suppose d*l = -3*s - 2*s, -3*s = 0. Suppose -g + 3 - 1 = l. Solve -r = g*r for r.
0
Let z(t) = -7*t**2 - 7*t - 1. Let m(r) = -6*r**2 - 7*r - 1. Let h(g) = -6*m(g) + 5*z(g). Let w be h(-7). Let a = 1 + w. Solve -2 = a*k + 8 for k.
-5
Let v = 7 + -4. Let i = 51 + -33. Let n = 18 - i. Solve m - v*m + 8 = n for m.
4
Let l = -3 - -6. Let n be 1*2 + 6/(-6). Let j be 2/l*n*3. Solve j + 8 = 5*w for w.
2
Suppose 3*y - 12 = 2*a, y - 3*a - 1 - 3 = 0. Solve -y*h + 2 = -6*h for h.
-1
Let d = 3 + 1. Suppose -c - 2*b = -8, 0 = -4*b + 2 + 10. Let r(h) = h**3 - 2*h**2 + 3*h - 1. Let p be r(c). Solve -p*f - 5 = -d*f for f.
-5
Let y be (1 - 2)/(9/(-36)). Let f be 6/(-4) - 2/y. Let q be (-3)/f - (-14)/4. Solve 0*o = q*o - 15 for o.
3
Let a = 5 - 2. Let m be (a - 2)/(-2)*0. Solve m = p - 4*p + 6 for p.
2
Let a be -3 - (1 - (1 + -2)). Let p = a + 5. Solve -d + p*d = 0 for d.
0
Let r(y) = 2*y**2 - 11*y - 4. Let h be r(8). Suppose h = -3*p + 6*p. Solve 0*m - p = 4*m for m.
-3
Suppose -4*n - 12 = -2*g, -2*n + 7*n = 4*g - 18. Let u be 0*(n - (0 - 3)). Solve -1 = -w - u for w.
1
Suppose -4*r = -9*r. Solve r*g = 5*g + 10 for g.
-2
Suppose 6*k = 2*k + 20. Solve k - 14 = -3*s for s.
3
Suppose 3 - 24 = -7*y. Solve -4*k + y*k = 0 for k.
0
Suppose -1 = 3*u - 16. Solve -u = 2*l - l for l.
-5
Suppose 7*r - 15 = 4*r. Solve 6*i = r*i + 3 for i.
3
Let j = 19 - 14. Let c(k) = -k**3 + 4*k**2 + 7*k - 4. Let v be c(j). Solve 2*f - 8 = v*f for f.
-2
Suppose -4*z + 2*d = -8 - 0, 3*z = 2*d + 6. Solve 11 = z*c + 3 for c.
4
Suppose -5*t = 3*d + 9, -d + 1 = 4*t + 11. Solve 0*m - d*m - 10 = 0 for m.
-5
Suppose 4*h - 2*h = 8. Let u = -9 - -13. Solve -h*v + u = -3*v for v.
4
Let l(x) = 6*x**2 - 3*x + 2. Let b be l(1). Let u(c) = -c**2 + 6. Let a be u(0). Solve b*n + 4 = -a for n.
-2
Suppose 0 = -3*b + 4*r - 6, 0 = b - 4*r + 6*r - 8. Suppose 3*z - 6 = 3*u, z + 3*u - b = -0*u. Let k = 102 + -90. Solve -z*t = t - k for t.
4
Let i be 0 + 5 + 3 + -5. Suppose -9 = -i*l - 0. Solve -9 = -l*h - 0*h for h.
3
Let h be 0*-1*(1 + 0). Solve h = 4*c - 0*c for c.
0
Let s = -16 - -41. Suppose 16*q = 4*q. Solve 0 = -5*f - q*f - s for f.
-5
Let d = -28 - -48. Solve d = 6*w + 8 for w.
2
Let g be 0/(2 + -1 + -3). Suppose 28 = 3*s - z, s - 2 = -3*z + 4. Suppose 5*t + 3*b - s = 11, -8 = -2*t - b. Solve t*u = -g*u for u.
0
Let x(u) = u + 2. Let v be x(3). Suppose 4*g = -16, -4*j - g + v + 3 = 0. Solve 0 = j*y - 6*y for y.
0
Suppose 3*f + 4 = -2*z - 4, 5*z - 14 = f. Let m = f + 4. Solve 3*r + m*r - 9 = 0 for r.
3
Suppose 0 = 2*v - 46 + 12. Let k = 1 + v. Suppose 2*g = -0*g + k. Solve -c = -4*c - g for c.
-3
Let x = 101 - 76. Solve -8*p + x = -3*p for p.
5
Suppose -5*w + z - 10 = 0, w - 4*w - 24 = 3*z. Let p be 0 + (w - -4) + -1. Solve p = m - 3 - 0 for m.
3
Let h = -5 + 21. Solve -4 + h = 3*s for s.
4
Let h(t) = 2*t - 10. Let d be h(8). Suppose p - d*p = -65. Let u be p/5 + (-4)/(-10). Solve 0 = u*g - 0*g - 12 for g.
4
Suppose -4*w - 1 = -9. Suppose w*b = -p + 8, -1 = -4*p + 5*p - b. Suppose -14 = 3*g + 4*y, p = -4*g + 5*y + 35. Solve -d = -g*d for d.
0
Suppose 6*n = 10*n - 4. Solve -2 = -3*i + n for i.
1
Suppose 4*h - 35 = -3*h. Solve -2*f = -f + h for f.
-5
Suppose -4*x + 3 = 11. Let a(v) = -v - 4. Let h be a(x). Let w be h/(-8) + 11/4. Solve u + w = -2*u for u.
-1
Suppose -2*g + 0*x + 14 = -2*x, -3*x = 4*g. Suppose 3*m + g = 2*f + f, -2*m = 2*f - 6. Solve f = -2*n - 0 for n.
-1
Let d = -4 - -2. Let c be 0/3 - (-2 - -2). 