 1 for d.
1
Let c = -5 + 10. Suppose -u = -c*p - 23, -4*u + p = -p - 20. Solve 4*j = -f - 13, -6 = u*j + 3*f - f for j.
-4
Suppose -3*n = -16 - 32. Let r be (-2)/n + 82/16. Solve -v + 14 = 5*a, -r + 27 = 4*v + 3*a for v.
4
Let r(w) = -w**2 + 10*w + 6. Let i be r(10). Suppose -i*j + j + 15 = 0. Solve l + 32 = -3*l - j*t, 5*t = -2*l - 30 for l.
-5
Suppose t - 4 = -2*h + 1, -t - 3*h = -6. Suppose 0 = -3*w + 6*w. Solve w = -2*i + 6*i + t*a + 31, 3*i + 4*a = -32 for i.
-4
Let y(l) = -l - 10. Let t be y(-12). Suppose -12 = -3*x - 3*j, -4*x + 3*j + 0 = -2. Let q = 17 - 12. Solve -q*a + 17 = 2*w, t = -w - x for a.
5
Let a be ((-6)/(-4))/(3/4). Suppose -5*m = -0*m + 3*d - 38, 4*d = -a*m + 18. Let b = m + -2. Solve -16 - 6 = b*u - 3*v, 4*u = 4*v - 24 for u.
-2
Let v = 3 + -10. Let g = 7 + v. Suppose h - 8 = -3*n, -3*n = -g*n - h - 16. Solve -b = -n*b + 15, c + 4*b - 21 = 0 for c.
1
Let d = -5 - 1. Let v(t) = t**3 + 5*t**2 - 6*t + 3. Let u be v(d). Solve -4*m + 14 = 4*o - u*m, -4*o + 3*m = -6 for o.
3
Let n = -19 - -22. Solve -5*d + 2*o + 1 = 9, 3*d = -n*o - 9 for d.
-2
Let x = 30 + -9. Let p be (-6)/24*(-1 + -19). Solve g = p*o - 5 - 0, -3*o = 3*g - x for g.
5
Let h(k) = 19*k - 2. Let z be h(2). Let t be (-4)/18 + 80/z. Suppose 4*a = 4*y + 4, -t*y - 3*y - 3*a = -27. Solve 2*v = y*r - 2*v - 2, -5*r - 2*v = -12 for r.
2
Let g be (-14)/(-3)*(-6)/(-7). Solve 2*m = g*c - 5 + 19, 5*c = -3*m - 1 for c.
-2
Suppose 8*x = 6*x + 6. Let r(g) = g**2 - 3*g + 1. Let c be r(x). Suppose k + c = 6. Solve s + k*z + 20 = 5, 5*s = -3*z - 31 for s.
-5
Suppose -2*j + 324 = -5*j. Let n be (-6)/15 - j/20. Solve 0 = -n*r - 3*b - 0 - 17, -3*r - 2*b = 10 for r.
-4
Let b(d) = d**3 + 6*d**2 + 3*d - 7. Let l = -5 - 0. Let f be b(l). Solve -3*i + 9 = 0, -f*o + 7 - 31 = -5*i for o.
-3
Let w be (4/(-10))/(8/(-40)). Solve i + 5*y = 5, 0 = -3*i + w*i + 3*y - 11 for i.
-5
Suppose f = 0, f + 16 = 3*a - a. Suppose -7*w + a = -3*w. Solve -h = 0, h + w*h - 4 = 2*u for u.
-2
Let k(u) = -2 + 2*u - 2*u**2 - 1 + 5 + 3*u**2. Let b be (1 - 5) + 4/2. Let s be k(b). Solve 3*l = -2*d, l = 2*l - s*d for l.
0
Let x = -14 + 10. Let a(s) = 2*s**2 + 6*s + 3. Let i be a(x). Solve -i = 4*l - c, -3*l + 4*l - 3*c = -11 for l.
-2
Let p(q) = -q**3 - 8*q**2 + q + 8. Let g be p(-8). Solve g = -2*j - 2*a - 6, -3*j + 0*j + 4*a = 16 for j.
-4
Suppose 0 = 3*y - 4*q - 81, -3*y + 0*q + 81 = -3*q. Solve d = -d + 10, 3*d - y = 3*w for w.
-4
Let o(p) = 2*p**2 - 7*p - 20. Let s be o(-2). Solve 6 = s*f, -16 = q + q - 4*f for q.
-2
Let v = 3 - -2. Suppose -26 = -v*t - 1. Solve 0 = 2*m + 3*m - 2*l - 31, 3*m - t*l - 30 = 0 for m.
5
Let o(w) = w**3 + 6*w**2 - 2*w - 8. Let k be o(-6). Suppose k*g - 3 = 73. Solve -i = 5*q - 3*i - 16, -5*i = -2*q + g for q.
2
Suppose 7*x - 21 = 56. Solve o = 2*g - 5, -g + o - x = -3*g for g.
4
Suppose 35 = -2*u + m - 7, 0 = 4*u + 2*m + 84. Let a be 2/7 - 78/u. Solve j = -s, -4*s + 10 = 3*j - a*j for j.
-2
Suppose 120 = 5*l - 0*l. Let y be (15/(-4))/((-6)/l). Solve y = -3*q, 2*g - 7*q = -4*q + 13 for g.
-1
Suppose 26 = 7*b - 9. Solve 2*y - 10 = d, 0 = 3*y - 3*d + b*d - 1 for y.
3
Let c = -2 - -7. Suppose -c*t + 1 = -14. Suppose t - 1 = j. Solve -2*n = -3*b - 19, -2*b + 22 = j*n - 6*b for n.
5
Suppose 5*c + 6*f - 3*f = 6, -4*f = -4*c - 8. Suppose -15 = -c*p - 3*p. Solve -5*d = 2*j - 10, 0 = -4*j + p*d - 28 - 12 for j.
-5
Let q = -4 + 5. Solve 2*u + 3*j + 0*j = q, j + 3 = 0 for u.
5
Let p(r) = -r**2 + 7*r - 6. Let t be p(5). Solve 4*z + t*l - 4 = 0, -z - l - 2*l + 1 = 0 for z.
1
Suppose -5*c + 22 = -18. Let d(k) = k + 2 - c - 2*k. Let x be d(-12). Solve 5*v - 4*o = 27, 4*o = 4*v - x - 18 for v.
3
Let m = 24 + -13. Suppose -4*f - 3 = -m. Solve 4*v + 5*y = -2 - 1, v = -f*y - 3 for v.
3
Let p = 0 - -1. Let l be 1*p/(-3)*-12. Suppose 0 = 2*y - y + 2*q - 9, -24 = -l*y - 4*q. Solve -h + y*z - 12 = -2*z, -3*h + 12 = z for h.
3
Let l(d) = 2*d + 37. Let t be l(-17). Solve 8 = -5*s - 2*q, 2*s = 4*s + t*q + 1 for s.
-2
Let r(h) = -h + 4. Let u be r(0). Suppose 0 = u*n - 0*n + 8. Let s = n - -2. Solve -5*v - 5*g = 5, -5*v - 13 = -3*g - s*g for v.
-2
Suppose -4*b + 22 = 6. Solve 0 = 4*w + b*i + 19 + 5, 11 = -2*w - i for w.
-5
Let n be (-7)/(14/(-6)) + 2. Solve 5*k + 8 = -o, -5*o + 15 = n for k.
-2
Suppose -5*d + 8 - 23 = 0. Let x be (-8)/d*(-30)/(-8). Solve c + 6 = -5*n - x, 5*c = -n - 8 for n.
-3
Let r = 2 + -1. Let k(s) = 2*s - 10. Let x be k(9). Let h be (-5)/20 + 26/x. Solve y = o - 7, -h + r = 2*y + o for y.
-3
Suppose 2*y + 2*y - 12 = 0. Solve -3*u + 5*u = y*c + 9, -u = -2*c - 6 for u.
0
Suppose -3*l + 7*l = 0. Suppose 3*c + 3 = w - 2*c, l = -2*w + 5*c + 6. Let p be 8/3 - (-1)/w. Solve -4 = -2*k + 2*y, k + 3 = -p*y - 15 for k.
-3
Let v(o) = o**2 + 10*o - 8. Let q be v(-11). Solve -4*y - q*k = -y, 3*y - k = -4 for y.
-1
Suppose -3*u - 20 = -2*j - u, -5*j - 4*u = -5. Solve -p + 2 = 2*r, -5*r + j*p - 29 = -4 for r.
-1
Let k be -5 + 3 + 7/1. Solve -1 = -k*q - 3*x, -2*q = -3*q - 2*x - 4 for q.
2
Suppose -4*f = -4*p - 0*f - 28, -2*p = -f + 17. Let a be (-1 + 2)/((-2)/p). Let r = 5 - a. Solve r = 3*n + 2*n - u + 25, 5*n = 2*u - 25 for n.
-5
Let o = -59 - -98. Suppose -2*c - c = -o. Solve 3*k - 16 = 4*s + c, 3*k - s = 14 for k.
3
Let i(h) = h - 3. Let p be i(6). Let j = -1 + p. Suppose 12 = 3*v, -4*r - j*v = -6*r - 2. Solve 4*m + 4*n - 4 = 0, 0 = r*m - 5*n + 2*n - 27 for m.
5
Let d = 5 - 3. Suppose 4*f - 2*i - 94 = 0, 2*f - f - 3*i = 21. Suppose -4 = 4*z - f. Solve 0 = -d*t - 10, -b + z*t = 2*b - 31 for b.
2
Suppose 23 = 2*t + 3*m, -4*m + 36 = 6*t - 2*t. Let a be (-6)/(7/((-14)/t)). Let f be a/15 + (-56)/(-20). Solve 16 = f*h - 2*i, -2 = -3*h - 4*i + 2 for h.
4
Let t be (18/(-12))/(6/(-8)). Solve -m = t*m - 5*a + 26, -3*m - 2 = a for m.
-2
Let i(t) = -t**2 - 4*t - 4. Let u be i(-3). Let b be (-3 - -2)*(u - 5). Solve 3*m - 20 = 2*s, s - b*s - 40 = -5*m for s.
-4
Let l = -17 - -27. Let f(m) = -m**2 + 9*m + 10. Let j be f(l). Solve 5*h - 5*t = -37 + 12, j = -t + 4 for h.
-1
Let t be (4/2)/2 - -1. Suppose 0 = 2*l - 8, -2*y + 16 = -0*y + 2*l. Suppose 2 = 2*b + 4, -15 = -y*x - 5*b. Solve 0 = 2*r - x*v + 3, 3*v - v = t*r for r.
1
Suppose 5*m - 12 = -2. Let x be (-27)/6*m/(-3). Solve 3*v = -2*r - 10, -x*r = -5*r + 2 for v.
-4
Suppose 0 = 2*t + 2*t. Solve -4*z + 0*s = -5*s - 24, t = -z + 2*s + 9 for z.
1
Let b(s) = -s**2 - 7*s + 3. Let v be b(-7). Let d = 62 - 60. Solve 4*g + 17 = -l - d, -5*g - 28 = -v*l for l.
1
Let o(k) = k - 1. Let u be o(4). Solve -3*p = -p + 4*d - 2, -u*p - 4*d = 3 for p.
-5
Let n = -6 - -13. Solve 5*l - 3*v = -n, -l - 2*v = -2*l for l.
-2
Suppose -3*q + p = -p - 22, 0 = 2*q + 2*p - 28. Solve 2*y + 6*x - 2*x - q = 0, -5*y - 2 = x for y.
-1
Suppose -4*h + 0*h = -0*h. Solve h = -4*b + 2*t, -3*b + 2*t + 0 = -2 for b.
-2
Let d = -33 - -47. Suppose -15 + 89 = 5*x - 3*j, 2*x = -4*j + d. Solve t + 3*y + x = 0, -2*t + 6*t + y = -19 for t.
-4
Let i be ((-12)/8)/((-9)/24). Solve -i*d - 3*h + 26 = 0, 3*h + 4 = -d + 15 for d.
5
Suppose 3*d + h + 4*h + 1 = 0, -2*d = 4*h + 2. Let w be 0/(-2) + 1 + 3. Solve -d*u + u = -2*z, -2*u + 10 = -w*z for u.
-5
Let n be ((-16)/10)/((-6)/15). Let j = n + -2. Solve -4*r = -3*x + 23, -j*r - 2*x + 22 = -6*r for r.
-5
Suppose 12 - 27 = o + 4*s, 0 = -4*s. Let c = o + 17. Solve -5*q - 4*l + 4 = -c, -5*q = l + 6 for q.
-2
Suppose m + 5 = -3*g, -g - 2 - 13 = -3*m. Solve -2*p - m*w = 3*p + 15, 0 = 5*p + 5*w + 15 for p.
-3
Let y be 7*5/((-20)/(-16)). Suppose -2*c - 2*u + 4*u = -22, 2*c + 4*u = y. Solve -5*m + n + 0*n = 3, -4*n + c = 0 for m.
0
Let s = -31 + 34. Solve s*d - 18 = -4*i, -d + 1 = -2*d + i for d.
2
Suppose 3*k + 0 + 3 = 0. Let g be (1/k)/(5/(-125)). Solve -4*y - y = g, -5*h - 3*y - 25 = 0 for h.
-2
Let z(l) = 2*l - 2. Let r be z(3). Suppose 0 = -5*u, 3*u = -r*g - u + 120. Let y be 36/g*(-20)/(-6). Solve 0 = s + x - 7, -y*s - 3*x - 2 = -5*x for s.
2
Suppose -8*l + 59 - 11 = 0. Solve 18 = 3*f + 3*h, 3*h = 3*f + 2*f - l for f.
3
Let k = -12 + 16. Let d(m) = -m - 1. Let s be (1 - 2/(-2)) + -7. Let g be d(s). Solve -k*x + 2*x = -g*o, -18 = o + 4*x for o.
-2
Suppose -2*l + 2 = g - 6, 5*g - 10 = 0. Solve w + 6 = 2*w - c, -c = l for w.
3
Suppose 0 = 4*y - 3*z, 3*z = -4*y - 2*z. Solve -c + 4 = -2*l, l = -y*c - c + 1 for l.
-1
Suppose v + 3*c + 18 = 4*v, 5*c = -3*v - 6. Solve -5*o +