 d - 10 for h.
0
Let z(s) = s**2 + 3*s - 10. Let k = 47 + -52. Let j be z(k). Solve a = 4*a + 2*l + 6, j = -3*a + l - 6 for a.
-2
Let d = -1378 + 1384. Solve 3*w + 4*y + 31 = 0, -3*w + 2*y + 23 = -d*w for w.
-5
Let a be 0/(1 + 0)*1. Suppose a = -2*j + 8 + 6. Let s be 32/j - (-9)/21. Solve -5*o + s*t = -30, -o = 2*o + 4*t + 17 for o.
1
Suppose 145*d - 146*d = -1. Solve y = -0*y - 3*w + d, -y - 4*w + 3 = 0 for y.
-5
Suppose -37*u - 100 = -33*u. Let z = u - -28. Let b be (-10)/(-2 - 0) - 1. Solve o + b = 5*m, -z*m = o - 0 + 4 for o.
-4
Let h = -350 - -355. Solve -h*w = 3*m + 40, 2*m + 0*w = -2*w - 20 for m.
-5
Suppose -20 = -5*k + 2*x - 7*x, -12 = -4*k - 3*x. Solve 0 = 4*f - v - 15, -2*f + k*v + 15 = v for f.
5
Suppose -154 = -16*h - 122. Solve -4*c + 4 = 2*g + h, 4*c + 7 = -5*g for g.
-3
Suppose 0 = 3*f + 3*b - 21, 1 + 4 = b. Suppose -2*l = 6, 3*j - 8 = 2*j + f*l. Solve -3*a - 2 + 16 = i, -4*i = j*a - 6 for i.
-1
Let q(o) = -2*o + 3*o + o + 16 - o. Let z be q(-12). Suppose 2*j - 3*g = z*j - 16, 5*j + 5*g = 35. Solve -4*i = -y - 9 - 9, -j*y + i = -5 for y.
2
Let q(x) = -x**2 + x. Let u = 56 + -56. Let h be q(u). Solve -3*f + k + 1 = 3, h = 4*f - 2*k + 6 for f.
1
Suppose -v + 2*w - 2 = -9, -3*v + 5*w + 20 = 0. Suppose 7*u - 2*u + 655 = 0. Let g = -111 - u. Solve -v*h - g = 0, 2*c + 1 = c - h for c.
3
Let p be ((-3)/(-1) - 0)/1. Let q(w) = 5*w**2 - 12*w - 2. Let a be q(p). Solve 3*j - a*j - 4*m = 28, -j + 2*m + 5 = 0 for j.
-3
Suppose 4*h + 5*u - 80 + 10 = 0, 3*h + 2*u - 49 = 0. Let n = h - 25. Let t be (-24)/(-15) + (-4)/n. Solve 3*o + t*z - 3 = -z, -4*o + 2*z + 22 = 0 for o.
4
Let p(k) = -k**3 + 10*k**2 + 9*k + 27. Let v be p(11). Solve -6*i + i + v*x = 45, 3 = -2*i - x for i.
-4
Let a = -184 + 186. Solve -3*u - o + 14 = -0*u, -a*u = o - 10 for u.
4
Let z(r) = -r**2 + 3*r + 157. Let a be z(-11). Solve -a*j + 13 = -s, 5*j + 5*s + 1 = s for j.
3
Let t be 11 + -17 - 0 - -9. Solve 0*l = t*m + 2*l - 15, 0 = -4*l for m.
5
Let s(u) = u**3 - 7*u**2 + 4. Let g be s(7). Suppose 2*n = g*d + d - 6, 3*n + d - 25 = 0. Solve -4*h = 2*y, 4*h - 5*y + 7 = -n for h.
-1
Suppose -s + 13 = -4*g, -3*s - s + 4*g + 52 = 0. Solve j - 3*j + 12 = 5*n, -3*j = 5*n - s for n.
2
Let g be 1/(-5) - 336/20. Let y = 23 + g. Suppose -4*a = -18 + y. Solve -3 = 3*x, -3*s = -5*s - x + a for s.
2
Let l be (-9 + 13)/(2 + 0). Suppose 0*w + l*w + z - 9 = 0, w + 5*z = 0. Solve -2*o + w*o = k + 3, -3*k + o - 9 = 0 for k.
-3
Suppose -54*g - 66 = -76*g. Solve -j + m = 4*j - 20, 0 = g*m - 15 for j.
5
Let i be -5*-4*(-1)/(-5). Suppose -i*z + 11 = 3. Let m(b) = 9*b - 147. Let v be m(17). Solve 5*w + 4 = 3*y - v, -4*y = z*w - 22 for y.
5
Let a be 6/(-10) - 112/(-20). Solve -h + 3*n - 6 = -0*h, -4*h = -a*n + 3 for h.
3
Suppose -4*p = r - 21 + 2, 4*p - 2*r = 10. Solve -2*k + 7 = n, p*n - 13 = -2*k + 5*n for k.
5
Let q = -18 - -20. Suppose -u - q*u + 9 = 0. Solve 2 - 3 = u*a + x, -5*x = -a - 27 for a.
-2
Suppose 221*k + 410 = 303*k. Suppose 0*h + 4*h = 8. Solve -5*u - 4 + 19 = k*c, h*u = -5*c + 9 for u.
2
Suppose 590*i - 558*i - 96 = 0. Solve -4*y - 5*w - i = 4, 5*w = 5*y + 20 for y.
-3
Let h = -107 + 110. Suppose 3 - 8 = 5*q, -3*o + 6 = h*q. Solve 3*n + o*a - 15 = 0, -2*n + n + 4*a - 15 = 0 for n.
1
Let n be ((-2)/6*0)/(-1). Let o = 655 + -653. Let a be 183/21 - 2/(-7). Solve -o*q + 4 = v - 0, 3*q - a = n for v.
-2
Suppose 303*i = 304*i - 6. Solve -i = 2*s, w + 2*s + 9 - 5 = 0 for w.
2
Suppose 2*v - v - 4*c - 25 = 0, -4*c = 4*v. Solve 0 = -3*j + 4*t + 3, 0 = j + v*t - 0*t + 18 for j.
-3
Suppose 3*n - 2*n - 4 = 0. Let o(i) = -i**3 - i**2 + 7*i. Let c be o(-3). Let q(z) = z + 5. Let g be q(c). Solve -n*v + p = -0*p - 19, -g = -2*v - 2*p for v.
4
Suppose 0 = 3*p - 2*p - 5. Let f(s) = -4*s - 9. Let y be f(-3). Suppose 1 = h - 4*q - y, h - 5*q - 4 = 0. Solve -4*z - 3*i = z + 8, -h*i + 36 = -p*z for z.
-4
Suppose -3*k + 18 = 4*x - 0, -5*k + 4 = -2*x. Solve -4*j - 4*p + 12 = 0, k*j + 3*p - 7 = -3 for j.
5
Let p(i) be the first derivative of -i**4/2 - 2*i**3/3 - 3*i + 15. Let x be p(-2). Solve -5*b = -x*v + 30, -5*v = -4*b - 8 - 20 for v.
4
Suppose -6*v = 6*v - 5*v. Let r(f) = -f**2 - 4*f + 4. Let q be r(v). Solve -x - q*z - 6 = 0, -4*z = 4*x - 2*z + 10 for x.
-2
Let d(b) = b + 6. Let w be d(-6). Let q = -28 + -4. Let t = q - -35. Solve w = -3*j - t, 0 = -3*i + 2*j - 1 for i.
-1
Suppose -4*k + 9 = -3. Let y = 9 - 5. Let r(d) = -d - 8. Let x be r(-8). Solve 0*j + c = -j + k, -5*j - y*c + 13 = x for j.
1
Suppose -670 = 22*t - 736. Solve -3*u = -0*u + c - t, u + 5*c = -13 for u.
2
Suppose 0 = q + a - 13, 4*a = 5*q + 3*a - 71. Solve -q = -5*t + 4*o, -t + 13 = 4*t - 3*o for t.
2
Suppose x = -2*x + 36. Let t(o) = 2*o**2 + 2*o + 10. Let g be t(7). Let k = 123 - g. Solve -2*c = 4*h - x, 11 + k = 4*h + 3*c for h.
3
Suppose 2*m - 11 = -4*w + 7*w, -m - 5*w - 14 = 0. Suppose 0 = 7*d + 2 - 30. Let a = d + m. Solve 2*i + 3*b = -3*i + 3, -a*b = i - 5 for i.
0
Let h be (-16)/16 + 1 + 3. Suppose 18 - 6 = h*r. Solve 0 = -2*i - s - 7, 6*i - i - r*s - 15 = 0 for i.
-1
Suppose -20 = 3*t - 26. Solve m = n - 3*n + 4, n - t*m - 2 = 0 for n.
2
Suppose 5*u = 4*l + 41, 2*u - 4*l + 4 = 6*u. Suppose 1 = -w + u. Let m be w/(-6) - 14/(-21). Solve c + m*y + 5*y + 20 = 0, -5*c + 3*y + 40 = 0 for c.
5
Let f = -108 + 114. Let d(b) = -4*b + 28. Let g be d(f). Solve -18 = -g*s + h, -2*s + 7*s - 5*h = 30 for s.
4
Let c = 0 - -3. Let l(t) = -5*t**3 + 6*t**3 + 3*t**2 - 2*t**3. Let p be l(c). Solve p = v - a + 4, -4*v = -6*v - a + 7 for v.
1
Let d = 258 - 243. Suppose 3*l + 12 = 7*l. Suppose 2*s = -l*q - d, -4*q - 20 = 2*s - 6*s. Solve s*a - a = 4*t - 6, 2*t + 4 = -4*a for t.
2
Let u be 4 + (-10 - -16)/(-6). Solve 0 = -k + u, 4*m - 1 = -0*m - 3*k for m.
-2
Suppose 0 = -3*d + 5*h - 1, 2*d + 7 = -h + 15. Solve -d*q = -4*g + q - 8, 0 = -q for g.
-2
Suppose -10*r + 2 + 38 = 0. Solve -4*z - 2*t + 14 = 0, -4*z + t + 1 = -r for z.
2
Suppose 4*g - 16 = 3*n, -n - 7 = -3*g - 0. Solve 4*q - 4*z = -5*z - 4, -q = z + g for q.
-1
Let q = 76 + -66. Solve -m + 7 = k, 4 - q = 2*m - 2*k for m.
2
Suppose 2*l - 4 = -2*t, -4*l + 5 = 3*t + 1. Solve t*m = -4, -m - 2*m = 2*x + 13 for x.
-5
Suppose 0 = 3*u + 3*s - 30, 5*u - 4*s - 18 = -13. Solve w - 5*w - 5*f + 19 = 0, -w + 2*f - u = 0 for w.
1
Let s(d) = 2*d**3 - 139*d**2 - 71*d + 92. Let v be s(70). Solve -2*o + v = -4*i, 2*i + o + 3 + 2 = 0 for i.
-4
Let n(f) = f - 2. Let v be n(2). Solve 0 = 3*w - 4*r - 5, -w - 4*r - r - 11 = v for w.
-1
Let h be (12 - 0)/((-36)/(-17 + 5)). Solve -h*p - 4*q - 28 = 0, 3*p = 4*q - 2 - 5 for p.
-5
Let b be 28/98 + 582/21. Solve -b = -4*o - p - 3*p, 5 = -o + 3*p for o.
4
Suppose 4*l + 47 = 3*j - l, -2*j + l + 36 = 0. Solve -5*p - j = h - 4*h, 0 = -5*h + 2*p for h.
-2
Let p = 54 + -32. Let n be (-1)/4 - 42/(-8). Suppose 2*c + 3*m = 0, 5*c = -0*c - n*m. Solve -2*k - 4*h = -k + p, 5*k + h + 15 = c for k.
-2
Let c(w) = -w**2 - 8*w + 155. Let d be c(9). Suppose -25 = -4*u - u. Solve s = -d*y, -y = -2*y - 3*s + u for y.
-1
Suppose 2*j = 5*w - 3 - 18, 4*j = 2*w - 2. Solve 4*g + 12 = 0, h + w*g + 9 = -6 for h.
0
Suppose -x + 2 = -1. Suppose 3*z = x*f + 12, 0*z = -z - 3*f - 12. Let u be -4*(z - 4/4). Solve -3*d - u = a - 0, -3*d = 0 for a.
-4
Let q = 502 + -499. Solve -q*u - 5*x + 8 = -7*x, -5*u + 5*x + 20 = 0 for u.
0
Suppose 5*r + 44 = 4*o, 5*r + 9 = 3*o - 29. Suppose -3*u - 12 = -o*u. Let l(t) = -2*t. Let g be l(-1). Solve 3*q + 2 - 9 = -u*a, 5*a = -g*q + 7 for q.
1
Suppose 0 = -3*d + 2*n - 0*n + 12, -5*n + 4 = d. Suppose -a - d*w + 19 = 0, 2*w + w = a + 9. Solve -3*f + 15 = a*o, f = -4*o + 2*o + 9 for o.
4
Let j be 2 - ((-4)/(-4) + 2). Let d be (-4 - (0 - 4))/j. Let g be 3 - (d - (-32)/(-4)). Solve 4*c + 23 = -w, 0 = 5*w + 4 + g for c.
-5
Let d(n) = -n**3 + 9*n**2 + 8*n - 70. Let a be d(9). Solve 0 = -2*r + a*x - 8, x = -r + 1 - 5 for r.
-4
Let o = -33 - -38. Suppose 4 = 2*v - 2*y, 0*y + y + 26 = o*v. Solve 4*x - 8 = 3*w - v*w, -3*w = -x - 13 for w.
4
Suppose 20*u - 15*u - 10*u = 0. Solve 5*s + 3*j + 37 = 0, u = -2*s + 5*s + 2*j + 23 for s.
-5
Let s(u) = u**3 + 5*u**2 + 6*u + 4. Let c be s(-3). Solve 5*y - 3*y + 2*a = -c, 4*a = 3*y + 20 for y.
-4
Let x be (0 + (-2 - -1))/((-145)/435). Solve -5*v = -2*y - 0*y + 26, -4*v - x*y - 7 = 0 for v.
-4
Let a = -3785 + 3804. Let t = 10 - 5. Let g be