for d.
1
Let c = -38 + 18. Let i = -18 - c. Solve -4*r = -a - a - 18, -i*r + 10 = -2*a for a.
-1
Suppose 0 = -2*i - i - 3. Let b be 1*(i + 3 + -2). Solve 4*x = -3*z, x - 5*z - 31 + 8 = b for x.
3
Let k(o) = o**2 + 11*o + 14. Let w be k(-10). Solve w*f + 15 = -x, 3*x + 2*f = -0*f - 15 for x.
-3
Suppose -6*i + 2*i + 5*n + 11 = 0, 0 = i - 4*n. Let w = -45 - -3. Let q = 70 + w. Solve 3*p + q = 5*h - 4, -i = -3*h - 2*p for h.
4
Let n be 4/14 + (-16)/56. Solve n = -3*i + 4*c - 9*c - 4, 3*i = c - 10 for i.
-3
Suppose 5*u + 1 + 4 = l, -3*u + 25 = 5*l. Let h = 7 - l. Let c = 53 + -21. Solve -g + 9 = b, -g = 4*b + h*g - c for b.
5
Let y = -2 - -13. Let a = 0 + y. Let q be (-6)/33 + 2/a. Solve 3*t + 19 = -u, 3*u + 5*t + 37 = -q*t for u.
-4
Let q(b) = -b**2 + 12*b + 31. Let y be q(14). Solve -5*i - 19 = -3*n, -i + y = -3*n + 14 for n.
3
Let s(x) = x**3 - 11*x**2 - 13*x + 15. Let l be s(12). Suppose y = l*y. Solve 0 = d + 2*c + 12 + 2, y = -5*c - 25 for d.
-4
Let a be (3/(-2))/((-7)/14). Suppose -a*l + 10 = -l. Solve l*u - 31 = 4*c, -2*u - 6 = 4*c - c for u.
3
Suppose -b + 5 + 0 = 0. Suppose -4*x + b*x = 5. Solve -x*s + 4*i - 3 = 37, 25 = 5*i for s.
-4
Let i be -2*(3 + (-3 - 2)). Solve -5*z = -i*d - 33, -4*z - d + 16 = d for z.
5
Let j(b) = b**3 - 3*b + 2. Let a be j(2). Let q = 3 - 2. Solve 0 = -5*g - f - q, -3*g + a*f - 2 = 17 for g.
-1
Let r be -3 + (-21)/(-3) + 3. Let l = -3 + r. Solve -5*b = -8*m + 4*m - 10, 2*b - l = 0 for m.
0
Let k = 99 - 96. Solve 0 = 3*m - k*p - 0*p, -5*m - 8 = 3*p for m.
-1
Let r = -5 - -10. Suppose -r*z + 18 = 2*t - 4*t, 0 = 2*z - 4*t - 20. Suppose -m + 0*m = -u + 6, -u + z*m = -8. Solve 5*a - 2 + 7 = 3*l, -a = -u*l - 16 for l.
-5
Let c = -21 + 22. Solve 5*m = -2 + 22, -4*m + c = -5*j for j.
3
Let z = 196 + -188. Solve 4 = -k + y, -k - 2*k = -y + z for k.
-2
Let n be -1*(1 + -3)*-1. Let t(m) = -3*m + 3. Let j be t(n). Solve 4*p - j = 3*c + 6, p - c = 4 for p.
3
Let j be 7/((-175)/10)*-5. Solve -3*i - 3*y + 12 = 0, -4 = -i + y + j for i.
5
Let v(g) = 2*g - 8. Let j be v(5). Solve -w + 3*w - 10 = -2*z, -5*w + 11 = -j*z for w.
3
Suppose 2*t + 2*f - 205 = -87, 2*t - 115 = -f. Suppose 0 = -0*n - 4*n + t. Solve -2*c + 8 = 3*l, -4*c + n = 9*l - 4*l for l.
2
Let a = 98 - 97. Solve x - a = 2*u, -3*x = 2*u - 5*x + 6 for u.
2
Let h = -9 + 15. Solve -3*t - 5*c - h = 0, c = -0*t - t for t.
3
Let j(c) = 0*c - 2*c + 3*c - 4. Let o be j(6). Solve k - 6*k + 15 = 5*h, -4*k - o*h + 6 = 0 for k.
0
Let d be (1 - 0) + 7 + -6. Let v be -1 + (-1 - -5 - d). Suppose 0 = i - 4 - v. Solve i*j + 5*t = 15, 0*t - 1 = -2*j - t for j.
-2
Let a(g) = 6*g + 16. Let b be a(7). Suppose -22 = 3*x - b. Let j(i) = 4*i**2 + i + 1. Let l be j(-1). Solve 3*v + 12 = l*m, 0 = 5*m - 0*v + 3*v + x for m.
0
Suppose 3 = 8*i - 29. Solve -4*f - y = i*y + 17, 0 = 4*f - 5*y + 7 for f.
-3
Suppose l + 4*u + 15 = 0, -2*u = -0*u + 10. Let n(m) = -m - 4. Let g be n(-3). Let a = g + l. Solve 2*i = i + 4*h, 0 = a*i + h for i.
0
Suppose 2*k - 23 = -5. Let w be (-2)/9 - (-11)/k. Suppose -2 - 8 = -2*o. Solve q - w - 3 = 3*b, o*b + 3 = -2*q for b.
-1
Let c = 0 + 22. Let a be 69/12 - 2/(-8). Suppose -2*n = a - c. Solve -2*k - n = -2*i, 28 = 4*i + 3*k + 5 for i.
5
Let o be -37 + 3 + 4/2. Let x be ((-16)/6 + 2)*18. Let l = x - o. Solve -3*p = -5*m + 17, -p + l = -5*p + 4*m for p.
-4
Suppose -3*q - 5 = -5*r + 10, -9 = -3*r + 5*q. Solve 2*z + 16 = 3*a, -3*a + r*z + z = -20 for a.
4
Suppose j = -50 + 55. Solve 5*c = 4*y + 15, -6*c + 22 = -j*y - 3*c for y.
-5
Let a(i) = i**2 + i + 2. Let c be a(0). Suppose 2*j - c = 8. Solve r = -5*y + y + 20, r = j*y - 16 for r.
4
Let t(o) = 3*o**2 + 5*o - 4. Let s(f) = -6*f**2 - 10*f + 8. Let i(v) = 3*s(v) + 7*t(v). Let k be i(-4). Solve 3*y - 5*a + 29 = 0, -4*y = -4*a + a + k for y.
-3
Suppose 0 = 4*v + 2*j - 26, 0 = 2*v - 2*j - 1 - 3. Solve 12 = -4*q, 3*m = q - v - 1 for m.
-3
Suppose 0 = -2*h + 5*g - 21, 4*h + 0*h = g + 3. Solve -h*n + 17 = 2*n + f, f - 5 = 0 for n.
3
Let p(o) = -o**3 - 3*o**2 + 4*o + 1. Let h be p(-4). Let n be (0 - 0)*h/(-2). Suppose -4*l + 8 = -n. Solve -4*k - 4*f - 4 = 0, -f = 5*k - l*f - 1 for k.
0
Let z be 8/(-3)*6/(-4). Let s = z - 1. Solve s*b + 4*j - 9 = 5, 0 = -5*b + 3*j + 4 for b.
2
Let g be (-15)/10*(-4)/3. Suppose -i - 2*i = d - 17, -i + 1 = -g*d. Solve -v + 2*s = 5, -5*v - 2*s + i*s = 25 for v.
-5
Let m = -1 + 1. Let j = 2 + m. Solve 4*b = -a - 13, -j = -b - 6 for a.
3
Suppose -q + 2*q - 14 = 5*b, b = -3*q - 6. Let t = 5 + b. Solve -h + t*k = 0, 2*h - 5*k = -0*k for h.
0
Let d be 40/18 - (-2)/(-9). Suppose 2*f = -d*f - 68. Let q = -11 - f. Solve 0 = -2*o + 4*k + q - 2, -3*o + k - 4 = 0 for o.
-2
Suppose 21 = 5*g - 19. Let i = 13 - g. Solve 0 = 5*c + 5*d + 25, i*d = -4*c + 2*d - 16 for c.
-1
Let f be 0/2 + (-1 - -1). Suppose -4*k + 4*o = f, -5*o + 2*o = -2*k - 2. Suppose 13 = k*r - 3. Solve 2*u - 5*u + x - r = 0, 4*u + 2*x + 24 = 0 for u.
-4
Let a(t) = 7*t - 42. Let j be a(6). Solve -3*y + 2*d = 4, j = -3*y - y - 4*d - 32 for y.
-4
Let x(v) = v**2 - 16*v + 56. Let o be x(5). Solve -3*f = -4*q - 27, -2*q - 2 = f - o for q.
-3
Suppose -2*b + 0 = -6. Suppose 0*k = -5*s - 2*k + 45, 1 = b*s - 4*k. Suppose 3*t + 1 = s. Solve 10 = -5*r + 4*o - t*o, -2*r + 4*o = 4 for r.
-2
Let g be (6/(-9))/((-4)/108). Let t be 9/(-15) + g/5. Solve 0 = t*h - 12, 2*h - 10 = 2*o + h for o.
-3
Let h be 24/9 + (-6)/(-18). Solve 6 = -k - 3*w - 9, h*k - 4*w = 20 for k.
0
Let p(g) = -g - 9. Let d be p(-10). Solve 12 = -3*y, -3*v + 2 = -4*y + d for v.
-5
Suppose 0 = 5*k - 20. Solve 0*i = d + 2*i - k, i = 3 for d.
-2
Suppose -3*m = 14*m - 153. Solve 0*s - s - 5*p = 15, 4*p - m = -5*s for s.
5
Suppose 0 = -8*n + 9*n - 2. Let j be (7 - 5)/(n/3). Solve -5*h = -3*s - 3, -h - 3 = -j*s - 6 for h.
0
Suppose -5*n = -5 - 20. Suppose 5*g = -5*p + 20, 8 + 3 = 2*g + 5*p. Solve n*v - 4 - g = -2*r, 2*r - 2 = 0 for v.
1
Let f be 80/14 + (-6)/(-21). Solve -2*k = j - f, 0 = -4*j - 4*k + 20 for j.
4
Let r(t) = -t. Let u be r(-4). Suppose -u*q + 4*i = 0, q - 3*i = -q - 4. Let w = 64 + -39. Solve 5*s = -q*j + 2*s - 15, 5*s = 5*j - w for j.
0
Let v(r) = 1 + r**2 + 0 + 1 - 3*r. Let k be v(6). Suppose -k = -3*n - 2*x + 2, -5*x + 17 = -2*n. Solve -2*l + 4*d = d + n, -d = -2 for l.
1
Let q(t) = t**2 + t + 4. Let j be q(0). Suppose j*x = -x + 15. Suppose -a - 3*v - 2 = 4, 24 = x*a - 5*v. Solve 0 = -5*n + 4*f - 2*f + 2, 0 = n + 3*f + a for n.
0
Suppose -d = 2*d - 6, -5*d = -3*s + 2. Suppose s*y - 3 = 5. Solve y*p - n = -0*p + 2, 0 = 3*p + 3*n + 15 for p.
-1
Let n be 63/12 - (-1)/(-4). Solve 4*s - n = l, -4*s + 15 - 1 = 2*l for s.
2
Let a(r) = -r - 3. Let m be a(-5). Let o = 4 - -1. Solve -o*u - 3*p - 6 = -4*p, m = u + 3*p for u.
-1
Let m = -56 + 58. Solve -2*r + 7 = -3*f, 3*f = 5*r + m*f + 15 for r.
-4
Let j(b) = -2*b - 6. Let g(u) = u**2 - 4. Let k be g(0). Let w be j(k). Solve 0 = -4*n + w*r - 16, 0 = 3*n + 2*r + 2*r + 1 for n.
-3
Suppose 4*j - 2*v + 7 = 27, 0 = 4*j - v - 20. Solve -9 = -4*g - 5*c + 32, -9 = 4*g - j*c for g.
4
Let d be (1 - -9)/(6 + -4). Let o be 60/25 - (-3)/d. Solve -4*k = 4*c - 16, 4*c - o*k + 4*k - 1 = 0 for c.
-1
Suppose -167 = -4*j + 1. Suppose j = 4*v - v. Solve 0 = -2*c - 5*b - 6, b + 2*b = 4*c - v for c.
2
Let t = -3 + 23. Suppose -3*g = -8*g - t. Let m = g - -8. Solve 8 = -c - 3*c, m*k = c + 10 for k.
2
Suppose -2*j + 4 = -4*q, 0 = 4*j - 22 + 6. Let y be -3 - (q/(-1) - 54). Solve 20 = -5*l + 3*t + y, -l + 2*t = -12 for l.
4
Let m be (60/6)/(5/2). Solve 2*a + a + 17 = 2*x, -4*x = -m*a - 28 for a.
-3
Suppose 0 = -5*y - 4*k + 5, 15 = 2*y - 3*y - 4*k. Solve 0 = 4*o + y*c + 20, -4*o + 2*c = -5 + 25 for o.
-5
Let r(d) = -2*d**2 - 19*d - 19. Let i be r(-8). Solve 2*h - 5*m - 2 = 12, i*h - 3*m + 3 = 0 for h.
-3
Suppose -11 = 3*p + 5*t, -2*t + 36 = -3*p - 10. Suppose -8 = 3*i - 2*q, 15 = 2*q - 5*q. Let v be (-74)/i + 4/p. Solve 5*x = 4*a - 11, -v = -3*a + 6*x - x for a.
-1
Let k(j) = -j - 6. Let t be k(-9). Solve -x + 1 = -5*f, t*f + 3*x = 4*x + 1 for f.
-1
Suppose -4*o + 5*o = 25. Suppose -5*n - o = 5*q, q + 0*n - 2*n + 8 = 0. Let f be 4/(-6)*27/q. Solve 2*a + f*x = 1, -4*a - 2 = -3*a + 4*x for a.
2
Let y = -7 + 7. Suppose -i + 4 - 2 = y. Solve -2*p = i*j, -3*p + 4*j - 21 = -0*j for p.
-3
Let g(v) = -2*v**2 + 5*v - 4. Let c be g(2). Let t be c/(-1*2/5). Solve 0 = 