= 5*d, n*t + 2 - 4 = -5*d for t.
3
Let i(u) = -u**3 - u**2 + 2. Let r be i(0). Solve -2*w - 2*w + 3*x = 3, 4*w + r*x = 2 for w.
0
Let b(t) = -5 - t + 2 + 0*t. Suppose 0 = 3*n - 0*n + 18. Let h be b(n). Solve -4*p + 3 + 5 = 3*d, -2*d = -h*p - 11 for p.
-1
Let m be (-1)/(-2) + 115/10. Solve u - 4*r = -m, -r + 12 = 5*u + 3*r for u.
0
Suppose -1 = -5*k - 6, 2*k + 22 = 5*a. Suppose g - 4*o - 8 = 0, a*g = -3*o + 7 + 25. Solve -5*v - 3*h + 22 = -0*v, 4*v = 4*h - g for v.
2
Suppose 0 = 5*x + 5, 6*o - 2*o = x + 37. Let p be 2/(-1) + (14 - 0). Let h = p - o. Solve 5*m = -5*r - 10, -h*r = -m - 11 + 1 for r.
2
Let z be (-68)/(-16) + (-1)/((-4)/3). Solve 0 = -2*w + 2*g - 4 + 18, -z*g = 2*w for w.
5
Let f(y) = y**3 + 13*y**2 - 2*y - 15. Let m = -42 + 29. Let p be f(m). Solve -3*s + 5*l = p, -4*s - l = -0*s - 16 for s.
3
Suppose -4*x + 2*i + 62 = -0*i, i + 47 = 3*x. Solve 2*l + 19 = 5*a, 4*a - x = -l + 3*l for l.
-2
Let v be (-3)/(-15) + 184/5. Suppose -5*l - r = -30, 2*r = -5*l + v - 7. Solve 1 = c + 4*z, 3*c - l = -5*z + 4 for c.
5
Let q = 5 + 0. Let y be (-162)/(-90)*(-20)/(-6). Solve b - y*b + 5 = -z, -2*z - q*b - 10 = 0 for z.
-5
Let i be -4 - 1/((-2)/4). Let h = i - -7. Suppose 0 = 3*k + 15, 3*o + 13 + 3 = -5*k. Solve -12 = -2*g + h*u, 5*g - 4*u + 1 = -o for g.
-4
Let o(v) = v**2 + 7*v + 12. Let x be o(-7). Solve 0 = -4*k - q - 18, -5*k - x = -5*q + q for k.
-4
Let i(u) = 2*u + 57. Let d be i(-27). Solve -v - 2 = -0*m + m, -d*v + 2*m - 1 = 0 for v.
-1
Suppose y + 2*f - 1 = 0, -3*y - 2*f + 8 + 3 = 0. Solve 2*t - 2*z - 10 = 0, -y*t + 5 = 3*z + 20 for t.
0
Let q be (-12)/((-9)/3) + 0. Let v be (2/4)/(1/q). Solve -n = -4*n - m + 13, m + v = 2*n for n.
3
Let g = -5 + 5. Solve -3*m + v - 2 = g, -5*m + m = -3*v + 11 for m.
1
Let n be 2*(1 + 3) - 3. Let l be n/3 - (-1)/3. Solve -4*j - 8 = -2*z, 2*z + j = l*j - 4 for z.
-4
Let z be 70/4 - (-6)/(-12). Let v = 20 - z. Solve 0 = 2*h + h - 6, -2*m - v*h + 10 = 0 for m.
2
Suppose -7*p - 12 + 82 = 0. Solve 5*z + p = -5*x - 0*z, x + 3*z = 0 for x.
-3
Suppose 2*k - 8 = -2*k. Suppose 3*r - 6 - 2 = -k*n, 3*r - 2*n - 4 = 0. Solve -13 = -i - 4*o, 2 = -2*i + r*o - 2 for i.
1
Let n(g) = g**2 - 2*g - 8. Let h be n(4). Suppose -4*d - d = h. Solve 2*u + 2 = -5*c, c = -d*u - u + 2 for u.
4
Let o(y) be the first derivative of 2*y**3/3 + 5*y**2 - 3*y + 5. Let q be o(-7). Solve -k + 2*k + q = -5*p, -2*k - p - 14 = 0 for k.
-5
Let d be -151*(0 + (2 - 1)). Let n = -71 - d. Suppose -5*y + 44 = -0*y + 4*p, 5*y - 5*p = n. Solve 3*o + 1 = f, 5*f = 4*o + f + y for o.
1
Suppose -3*r + 6 = -0. Suppose w - 13 = -5*a, -2*a + a + 8 = r*w. Suppose -w*n + 16 = n. Solve n*l - 3*s - 7 = 0, s - 5 = 2*s for l.
-2
Suppose -290*g + 20 = -286*g. Solve -h - 4*w = g - 1, 3*w = -2*h - 8 for h.
-4
Let k = 7 + -5. Suppose -k*l = -4*a - 14, 11 = 3*l - 2*a - 14. Solve -2*d - 12 = 5*w, 8*w - 3*w = d - l for d.
-1
Let n(x) = -x - 1. Let a(j) = 8 - 3 - 6. Let c(h) = 2*a(h) - 3*n(h). Let y be c(1). Solve -5*r = -y*p - 7, 3*r = -4*p - 2*r - 17 for p.
-3
Let i be (1 + 0)/(12/108). Let t = 0 + 1. Let s be (t + -4)/(i/(-12)). Solve 2*f - 1 = 5*b + 2, -2*f = -4*b - s for b.
1
Let w(j) = -j**3 - 12*j**2 + 4. Let s be w(-12). Solve 32 = 4*b - 0*b + s*t, 0 = -b + 3*t - 8 for b.
4
Let b(j) = j**3 + 4*j**2 + j - 5. Let y be b(-4). Let p = -5 - y. Let u be 44/10 - p/10. Solve -5*r - 2*m - 15 = 0, 4*r + u*m + m = -12 for r.
-3
Let w(q) = q**3 - 4*q**2 - 5*q + 5. Let k be w(5). Solve -1 - 10 = -u - 3*z, -k*u + z = -7 for u.
2
Suppose -i = 3*i + 5*w - 10, 4*i - 24 = 2*w. Solve 3*m + 2*p = -11, -m + 5*p = -4*m - i for m.
-5
Let a be ((-20)/(-15))/((-4)/(-30)). Let p = a - 8. Solve 5*d + 40 = -5*i, -p*d = -3*d - 4*i - 20 for d.
-4
Suppose 3*f = 2*f + 3. Suppose -2*g - 3*g + 81 = 4*j, -f*j - 2*g = -59. Solve 5 = 4*k + 3*d + 28, -4*k + d - j = 0 for k.
-5
Suppose 40 = 3*v + 2*v + 5*r, 5*r - 30 = -3*v. Solve 0*u + 3*w + v = u, -4*w = 0 for u.
5
Suppose 0 = 4*h - 4 - 16. Suppose 3*d - 15 = -3*l, d + 3*d = -2*l + 18. Suppose 5*x + 10*t - h*t = 50, d*x = -5*t + 45. Solve 12 = 4*r, 2 + 6 = x*b - 4*r for b.
4
Let q(r) = 4*r**3 - 1 - 3*r**2 - 2*r**3 + 1 - 2*r. Let m be q(3). Solve -3 = -3*k - 3*p + m, -4*k - p + 20 = 0 for k.
4
Suppose -f + 4*r = 10, -4*f - 11 = -5*r - 4. Let p be 0*3*(8/9 - 1). Solve p = f*c + 3*n + 17, 4*c = -3*n - n - 28 for c.
-4
Let a = 109 - 109. Let v = 8 + -3. Solve a = 2*q - 0*f + 5*f + 19, 4*f = -v*q - 22 for q.
-2
Let i = 1 + 4. Let s = -3 + 3. Solve -5*a + 10*p - i*p + 25 = s, -a = 5*p + 1 for a.
4
Let o(i) = -i**2 - 18*i - 75. Let s be o(-7). Let a(y) = 3*y**2 + y + 1. Let m be a(-1). Solve p = -m*n - 5, -2*p - s*p - 5*n + 1 = 0 for p.
4
Let q = 9 - 6. Solve 2*f + j + 0 = -q, -4*f = -2*j + 18 for f.
-3
Let c = 70 - 70. Solve 2 = n, c = -0*s - 5*s + 4*n + 2 for s.
2
Let w(g) = -5*g**3 + g**3 + 2*g**3. Let d be w(-1). Solve -f + 11 = 3*f + 3*t, -5*t = -d*f - 27 for f.
-1
Suppose d - 14 = 2. Suppose -m + 18 = 4. Let z be (-2)/4 + m/4. Solve -d = z*p - y, 5*p = -y - y - 23 for p.
-5
Let z(p) = p + 8. Let d be z(0). Solve -3*v - 2*t - 13 = 0, 0*v = v - 3*t + d for v.
-5
Suppose -5*a + 57 = 17. Let s(z) = -z + 7. Let r be s(5). Solve -r*b - 3 = -a*x + 3*x, 5*b = x - 19 for x.
-1
Let p(b) = -3*b - b**2 + 9*b - 2 - 1. Let t be p(4). Solve 5*l + t*c + 10 = 0, -2*l + 3*c + 1 - 5 = 0 for l.
-2
Let g be (8/10)/((-1)/(-5)). Suppose -10 = -2*m - g*k, 0 = 2*m - 0*m - k. Let b be (m + (3 - 1))*1. Solve -3*x + 15 = i + b*i, -2*i = -2*x - 4 for i.
3
Let i = 996 - 526. Suppose -5*f = 170 - i. Suppose -12 = -4*n + f. Solve -z = -4*j + 4, j - n = -6*z + 2*z for z.
4
Let l = 13 - 13. Suppose -c + 5*c - 32 = l. Solve 0*d - 2*d - c = -4*p, -4*d - 2*p + 24 = 0 for d.
4
Let o(y) = -11*y + 3. Let j be o(2). Let s = j - -21. Solve 3 - 11 = d - h, -3*d - s*h = -1 for d.
-3
Suppose 2*a + 10*h + 4 = 6*h, 3*h = a - 18. Solve 26 = 5*d + 3*y, -4*d + a*d = -2*y + 12 for d.
4
Suppose -2*l - 15 = 3*l. Let d be 1 - (3/l + -1). Solve -o = -j, o - 3*o = d*j + 25 for o.
-5
Let d be (-4)/(-1)*3/4. Suppose 0 = -d*t + 2*t. Let l be 6/(-15)*(-59 - 1). Solve -2*h + 4*h - 3*j + 4 = t, 2*j + l = -4*h for h.
-5
Let o = 65 + -65. Solve 4*f - 7 = -5*u + 22, -u + 5 = o for f.
1
Let w(q) = -2*q - 10. Let x be w(-7). Solve -3*l + 5 + 1 = 0, -x*g + 4 = 4*l for g.
-1
Suppose 2 = k, 4*q - 2*q = -5*k + 40. Suppose -2*l + q = 3*l. Solve -l*y = -2*a + 11, -4*y = -0*y + a for y.
-1
Suppose 26 = 2*w - 4*a, -3*w - 3*a + 117 = 2*w. Suppose 2*p + p + 30 = 0. Let i = 4 - p. Solve 4*n = 2*x - 26, -5*n - w = -3*x + i for x.
5
Suppose 0*q + 8 = -4*q. Let f = 3 + -5. Let d = f - q. Solve d = 3*c + 6 + 9, 2*c + 2 = -4*m for m.
2
Suppose -4 = -3*u + q, 3*u + 0 + 8 = -2*q. Suppose u*y + 2*y = 8. Solve -3*b - 35 = 5*i + 2*b, y*i = 5*b - 1 for i.
-4
Let l(d) = d**3 - 11*d + 12*d**2 + 4 - 4 - 2*d**2. Let u be l(-11). Solve 2*k = -u*k + 10, g = k - 3 for g.
2
Let j be (-24)/(-15) - ((-8)/(-5) - 2). Solve 2*v + 4*h = 4, 0 = 2*v - 0*v - j*h - 4 for v.
2
Suppose j = -j + 6. Let g(d) = -d**2 + 7*d - 2. Let x be g(7). Let f = x + 32. Solve 5*w + 6*v - v = f, -4*w + j*v = 11 for w.
1
Let a be 6*(-4 - 27/(-6)). Solve -j - 5*c = -c + 16, -5*j - 12 = a*c for j.
0
Let t(l) = -5*l - 1. Let n be t(1). Let z = -6 - n. Suppose z = 3*k - 6 - 0. Solve -4*g + 8*g = k*x - 8, 5*x = 4*g + 20 for g.
0
Let j be (6 + (5 - 8))*4/6. Solve 5*z + 13 = 3*o, o - 7 = j*z - 2 for o.
1
Let v = -1 + 3. Solve 5 = 5*x + v*q + q, 17 = 3*x - q for x.
4
Suppose 5*r - 117 = 3. Let b = 10 + -9. Let w be 0/(-1*3/b). Solve w = -2*j + 4*p + 22, -2*j + r = 2*j - 3*p for j.
3
Suppose -4*q + t + 11 = 0, 3*q - t = -4*t - 3. Solve 6 = 2*c - b - 3*b, 12 = 4*c + q*b for c.
3
Let f(j) = 2*j**3 + 9*j**2 - 3*j + 11. Let v be f(-5). Solve a + 3*o - v = -4, a = 3*o + 3 for a.
0
Suppose 0 = -3*z + 5*l + 11, -z + l - 9 = -6*z. Solve 0 = a - 4*g - z, a - 2 = 3*g for a.
2
Suppose -5*v + 17 = 4*f, 3*v - 5 = -5*f - 0. Solve 4*t = -v*n - 1 - 10, n + 3*t = 0 for n.
-3
Let n be (-6)/4*(-24)/9. Solve -n*y - 4 = 4*l, 3*y - l + 6 + 1 = 0 for y.
-2
Suppose -4*b - 3*v + 16 = -1, 0 = 2*b - 4*v + 8. Solve -4*d - 2*o - 14 = -4, -15 = -b*d - 5*o for d.
-5
Let k(p) = p - 8. Let g be k(6). Let f be 1*(-6)/(1*g). Suppose f*t - 3 - 3 = 0. Solve 2*r - 5 = -o, 3*o - 17 + 2 = -t*r for r.
0
Let u be (-10 - -