 for d.
0
Let w = 43 - 38. Solve 5*s - 8 = -4*b, -4*b - 28 = -w*s + s for s.
4
Let a(y) = y - 2. Let u(l) = 8*l**2 - 1. Let v be u(-1). Let w be a(v). Solve -2*j + 5 = -z - 2, -w*z + 4*j = 5 for z.
3
Suppose 190 = -9*j + 19*j. Solve -3*a - 5*h - j = 0, 2*a + 1 = 5*a - 5*h for a.
-3
Let t = 67 - 64. Solve -2*u + n = -0*n - 12, -t*u - 2*n + 11 = 0 for u.
5
Suppose -2*l + 14 = -0*l. Let p = l + -3. Solve -10 = -5*u + n, -p*u = -n - 10 + 1 for u.
1
Let u(k) = 4*k - 2. Let z be u(2). Suppose -z*d = -3*d - 6. Solve -3*f - 17 = d*y, -4*f + y - 5*y = 28 for f.
-3
Let r be (-2)/6 - 39/(-9). Let m be 3 + (r + -1)/(-1). Solve -4*z + 3*l - 7 + 0 = m, 4*z - 5*l + 1 = 0 for z.
-4
Suppose -3*v + 272 = 4*j + v, -j + 64 = 2*v. Suppose f - 4*f = j. Let u be (7 + -12)*f/10. Solve n + n - 2*r - u = 0, -4*r = 20 for n.
1
Suppose -2*c - o + 11 = 0, 0 = -c + o + 4. Suppose -c*f = -0*f. Solve x = -5*i + 17, f*x + x + 2*i - 5 = 0 for x.
-3
Let z = -7 - -7. Suppose -2*s + 0*s = 5*v - 30, -5*s - 4*v = -41. Suppose s*t = -z*t. Solve -24 = -2*u + 4*b, -5*u + b + 15 = -t for u.
2
Suppose -r + 7 = -5*x + 27, x = 2*r + 4. Let t(o) = -o**3 + 3*o**2 + 5*o. Let d be t(x). Solve -d*v = 4*p - 16, -v - p = -2*v + 6 for v.
5
Suppose 0 = 2*x - 7 - 1. Suppose -20 = -6*u + u. Let l(y) = -y**3 + 11*y**2 + 3. Let k be l(11). Solve 0 = u*w + f - 7, -x = -k*w - w - 4*f for w.
2
Suppose -2*q - 2*t = -8, 3*t - 14 = 4*q + t. Let f be ((-4)/2)/q + 14. Let n be 0/1 + 4*1. Solve -4*c + 5*p - 2 = 0, -4*c - n*p + f + 0 = 0 for c.
2
Let n(c) be the third derivative of -5*c**4/12 - c**3/6 - 2*c**2. Let i be n(-1). Let q be (1*-3)/(i/(-12)). Solve 2*y + q*m = 3*y, 3*y + m = 0 for y.
0
Let t = 1 + -1. Let c(l) = l**3 - 4*l**2 + 2*l + 5. Let o be c(0). Solve -2*j + 5 = -o*d, t = -3*d - j + 8 for d.
1
Let p be (4 + -2 - 3)/((-4)/8). Solve x = i, -p*x - x = -5*i + 10 for i.
5
Let r be 44/77 + (-30)/(-21). Solve j + r*t - 8 = -2*t, -3*j + 7 = -5*t for j.
4
Let v = 3 - -3. Let j = v - 2. Let s be (27/2)/(3/j). Solve 2*f + 3*a + a = -s, -6 = f + a for f.
-3
Suppose 4*h = h + d + 4, 4*d = 4*h - 8. Let q = -14 - h. Let f be (-51)/q - 4/10. Solve -7 = f*w + v, 3*v + v = -5*w for w.
-4
Suppose 6*j = 2*j + 2*j. Solve -2*o + j + 7 = q, -5*q = -o + 20 for o.
5
Let v = -13 + 8. Let z = 0 - v. Suppose 38 = 3*j - 2*c - 9, 4*j - 4*c - 56 = 0. Solve 3*k - j = z*t - 50, 2*k = 5*t - 29 for t.
5
Let y(a) = a**3 - 8*a**2 + 6*a + 10. Let j be y(7). Suppose 8 = j*u - 1. Solve 3*n + 7 = -u*f - 5, 0 = -f + 2*n - 7 for f.
-5
Let g(p) = -3 + 9 + 11*p - 12*p. Let a be g(5). Solve -5*q + 20 = -5*j, -2*j + 5*q = 10 + a for j.
-3
Let p = -128 + 130. Solve -p*v - 5*q = v + 27, 5*q - 5 = 5*v for v.
-4
Suppose 2*t + 21 = -4*m - m, 3*m = 5*t - 25. Suppose t*o - 5*j = -5, -j - 4*j = -4*o + 5. Solve 10 = l - 2*g, l = o*l - 2*g - 10 for l.
0
Let m be (2 - 3/3) + 0. Let k = 3 - m. Let n = -4 + 6. Solve -5 = i - q - k, i + n*q - 3 = 0 for i.
-1
Let w = 43 - 35. Let p(a) be the second derivative of a**3/3 - 7*a**2/2 - a. Let k be p(w). Solve 3*r = -3*z + k, 4 = -3*r - 2*z + 11 for r.
1
Let t(b) = -b**2 - 3*b + 20. Let g be t(-6). Solve 0 = -3*j + 3*u, -1 = -g*j + 3*u - 2 for j.
1
Let l = -5 + 4. Let a be ((-9)/l)/3 + -1. Solve a*v - 5 = -d + 6, -d = 5*v - 23 for d.
3
Let i(w) = 2*w - 2. Suppose h + 9 = 4*t, 3*t - 2*t + 3 = 2*h. Let q be i(t). Solve j = q*y + 4*j - 11, -2*j + 19 = 5*y for y.
5
Let l = 46 + -13. Suppose -l = -5*v + 12. Let c = 3 + v. Solve -f = -4*y + 20, -4*y = -y - c for f.
-4
Suppose -5*f + 4 = -3*i - 7, i - 4*f = 1. Let p = i + 14. Suppose -2*h = 2*h - 140. Solve -5*x + 5*l = -h, -1 = p*x - 2*x + 4*l for x.
3
Let u(s) be the first derivative of s**4/4 - s**3 + 3*s**2/2 + s + 2. Let k be u(3). Solve -c = 2*c + p - k, 0 = c + 5*p - 8 for c.
3
Suppose -2*n + 4*z - 1 = -5, n - 5*z = 2. Solve 4*d + n*v + 8 = 0, -d - 7*v - 2 = -2*v for d.
-2
Let n = 3 + 0. Solve 0*h + 5*h = n*j - 10, 0 = -h - 5 for j.
-5
Let w be 14/(-63) - 40/(-18). Suppose -w*f + f = -3*m + 48, 2*m - 36 = 2*f. Solve -5*o + m = 0, 0 = -2*c + c + o - 3 for c.
0
Let y be 57/(-6)*-2 - -1. Suppose -3*j = -y - 10. Solve 2*g - 3*n - 20 = -7*n, 3*g - 4*n + j = 0 for g.
2
Suppose -4*a = -3*u + 8, -2*u + 0*a + 4*a + 8 = 0. Suppose -4*q + 12 = -u*q. Solve -8 = -q*t + p, 2*p + 2 = -t - 0*p for t.
2
Let n be (39/(-2))/(2/(-4)). Let m = n + -21. Let k be 3/(-1 - -4) - -3. Solve -k*j + m = 2*q, j - 8 = -0*j + 3*q for j.
5
Suppose 1 = 5*t + r, -6*t = -2*t + r - 1. Suppose -2*v + 10 = 3*v. Solve t = 5*y - g - 10 - 2, 4 = -v*g for y.
2
Let y be -2 + -1 + 1 - -11. Suppose -y = l - 4*l. Solve 4*f - 23 = 3*f - 5*n, -f = -l*n + 9 for f.
3
Suppose y - 8 = -4. Let z = -4 + y. Let f = 0 + z. Solve 2*c + 2*n = -f*c + 2, c = 3*n - 11 for c.
-2
Let l = -19 + 30. Let t = l - 9. Solve t*f - 4 - 2 = -4*p, 4*p = -4*f + 12 for f.
3
Let a be 3 - (-3 - 3/(-1)). Suppose -56 = -4*c - 4*k, -a*c + 3*k + 21 = -27. Solve -3*l - j = -c, l = 2*l - 4*j - 5 for l.
5
Let r be 5/(-4 + 5) + 0. Solve 0 = r*a - 8*p + 3*p - 10, -4*a - p = 17 for a.
-3
Suppose -t - 5 = 18. Let x = 26 + t. Solve -j + 1 = x*h - 6, -5*h = 3*j - 5 for h.
4
Suppose 0 = 5*l - 3*n - 25, -2*n + 14 = 5*l - 11. Let z = -4 + 3. Let p = z + l. Solve 0 = 5*y + p*k + 11, -5*k + 1 + 4 = 0 for y.
-3
Suppose 4*w + 1 - 8 = g, 5*g - 7 = -w. Solve -3*h = 3*r, -h = r + h - w for r.
-2
Let r = 11 - 3. Let n(s) = 3*s**2 - 3*s. Let i be n(2). Suppose 6 + 0 = 3*v. Solve 3*a - d = i, 4*a + v*d = 7*d + r for a.
2
Suppose 3*g = -10 + 64. Let r be (g/(-4))/(21/(-56)). Suppose 0 = -3*j - 3*c, 4*c = -0*c - r. Solve -j*v = -3*p + 3, p - 21 = -v + 6*v for v.
-5
Let b = 0 + -3. Let y be 7/2 - (-2)/4. Let c = b + y. Solve -3*u - 4*a = -c, -3*a + 5*a = 2*u + 4 for u.
-1
Let u be 5*1/3*(-22 + 28). Solve -c - 4 = 5*l - 3*c, -5*l = 5*c - u for l.
0
Let z(r) = -r - 3. Let s be z(-7). Suppose 4*a - 18 = 10. Solve 2*x - g = 5, g - 2 = s*x - a for x.
0
Let j(p) be the first derivative of -p**3/3 - 7*p**2 + 2*p - 3. Let c be j(-11). Suppose -8 = -4*d + 16. Solve -a + d*w - 10 = w, -5*w = 4*a - c for a.
5
Suppose -6 = -2*w + 4*w. Let h be 0/(w - -4)*1. Solve 2*m + 2*n + 10 = h, 2*m - 11 = -0*n + 5*n for m.
-2
Suppose -14 = -2*x - 0*x - 4*w, 3*w + 57 = 3*x. Let m = x - 7. Solve 0 = 2*q + 5*j + 20, 3*q - 3*j - m = -j for q.
0
Let m(q) = -q**2 - 7*q - 5. Let h be m(-5). Solve -h*s + 5 = 5*c, -7*c + 3*c + 4 = 2*s for c.
1
Let x = 1 - -4. Solve 45 = -x*l + 5*g, 17 = -3*l + g - 0*g for l.
-4
Suppose -3 = -3*r + 6. Suppose 2*x - 25 = -c - 2*x, 3*x = -5*c + 40. Suppose -d = -c*d + 4. Solve -r*i + 6 = -2*n, -n - 4 + d = 4*i for i.
0
Let h(r) = -r**2 + 9*r - 1. Let o be h(9). Let j(g) = 3*g. Let l be j(-4). Let t be (-3)/o*(-8)/l. Solve -2*m = -t*q - 4*m - 10, -q + 4*m = -15 for q.
-1
Let j be ((-7)/(-14))/(2/12) - -2. Solve -y - 9 = -3*i + 2, j = -i - 4*y for i.
3
Let d be (-8)/(-6) - (-6)/9. Let q(o) = 10*o + 23. Let g be q(-2). Solve -d*n - b = -13, 2*b = -g*n + 3*b + 7 for n.
4
Suppose 3*t - 2*a = 14 + 20, 2*a + 24 = 2*t. Suppose -3*y = -t - 5. Suppose 0 = -3*h + 11 - y. Solve -2*p + 8 = h*r, 0 = -0*p - 3*p + 5*r - 28 for p.
-1
Let j be 95/(-15) - (-1)/3. Let u = 10 + j. Solve -2*m + 3*s = -u - 1, -5 = -3*m + 4*s for m.
-5
Let r = -21 - -21. Solve 0 = -r*q - 4*q - 5*n - 35, 0 = -5*q - 4*n - 37 for q.
-5
Let z = -7 - -10. Let d(s) = -7*s + 3. Let n be d(0). Let h be -1 - -4 - (-3 - -3). Solve 3*b = -h*a - z, 0 = n*b - 2*a + a - 1 for b.
0
Suppose -5*f + 11 + 4 = 0. Solve -15 = f*k - 3*t, 0*t = k + 4*t - 15 for k.
-1
Let i be 6/(-9)*(-30)/(-4). Let k(c) = -7*c + 1. Let b be k(i). Suppose 5*r = 5*u - 5, -2*u = 3*r + 14 - b. Solve 0 = -u*o - h + 29, -2*h + 3 + 5 = 0 for o.
5
Let g(h) = -h**2 - 9*h + 2. Let b(v) = v**2 + 1. Let a be b(0). Let c be (-2 + a)*(-35)/(-5). Let y be g(c). Solve -s - 5*u = 7, 5*u + y = 4*s + 3*u for s.
3
Let y be (-6)/5*(2 + 3). Suppose -5*u - 23 = -63. Let w be (-2)/y + u/3. Solve -v - 13 = -3*a + 4*v, w*a - 3*v = 3 for a.
-4
Suppose -5*x = -3*a - 5, 0 = -a - 3*a - 5*x + 40. Solve c + 4*h = -h - 13, -4*c - 22 = a*h for c.
-3
Suppose 2*a + 12 = -0. Let i be 6/(-4*3/a). Solve -18 = -3*y + 3*k, -2*y = -4*y - k - i for y.
1
Let d = 2 + 3. Suppose -d*l + 197 = -8. Suppose -5*n = -t - l, -n = -2*n - 3*t + 21. Solve -3*m = q + 9, -3*m - 4*q + 2*q = n for m.