= 3*b - 0*b - j for b.
5
Let d(x) = 5*x**3 + 2*x - 1. Let s be d(1). Solve -5*c + s = 5*n - c, 1 = -c for n.
2
Suppose -2*r + 40 = i, 0*i = -3*r - 3*i + 54. Let g = r + -17. Solve g*a - 7 = -3*q, -5*q + 4*a - 12 + 36 = 0 for q.
4
Suppose 3*z - 5*z + 2*g = -20, 5*z + 5*g = 0. Solve 8 = -t + r, 5*t + z - 1 = -4*r for t.
-4
Let n(y) = -13 + 11*y + 10 - y**2 - 15. Let k be n(7). Solve -5*g = -o + 4*o + 15, 0 = 4*g - 2*o - k for g.
0
Let h(t) = 3*t**3 - 9*t**2. Let v be h(3). Solve i + 22 = -5*d + 2, v = 2*d + 2*i for d.
-5
Suppose -175 = 7*t - 371. Solve -1 = -l + g, -4*l + 4 = 3*g + t for l.
-3
Suppose 8*j - 25 = 15. Let z(g) = g**2 + 7*g + 9. Let n be z(-6). Suppose -n*r + 2 + 4 = 0. Solve -j*h - r*l + 6*l + 33 = 0, h + 3*l = -1 for h.
5
Let d(l) = 21*l - 2. Let v be d(1). Let w = -19 + 19. Let c = v - w. Solve 2*q - 7 = 3*q - z, 4*z - c = q for q.
-3
Let a be (6/4)/(3/16). Let w(g) = -3*g - 4. Let u be w(-3). Suppose 0 = -4*l - 2*o + 10, -2*l + 0*o = u*o - 9. Solve 3*q + a = b, -l*q + 5*q = -3*b for q.
-2
Suppose 3*h = -3*c - 45, 2 = -3*h - 1. Let w = c - -14. Suppose m - 3*m = w. Solve -5*g = d + 4*d + 30, m = 5*g + 5 for d.
-5
Let f = 2413 - 2391. Solve -z + 9 = -4*d, -f = -5*z - 4*d + d for z.
5
Let d be (8/10)/((-5)/(-25)). Suppose -11*t + 8*t = -45. Let a = 19 - t. Solve 4*b = 4*j + 24, -d*b + 16 - a = -j for b.
2
Suppose 5 + 4 = 3*a. Let u = -8 - -13. Let i be 6/8 + (-1800)/(-160). Solve -5*w - i = -2*m, 0*m - a*w = u*m + 32 for m.
-4
Suppose 0 = -9*b - 4 + 4. Let v = 49 - 19. Let x = v + b. Solve -f - 5*g + x = 0, -2*f = -0*f + 2*g - 20 for f.
5
Let s be (0 - 50)/(-5)*3. Let i = s - 23. Let a be i/(-28) + (-9)/(-4). Solve 17 = -4*q + 5*g + a, 3*q = -g + 3 for q.
0
Let q(h) = h**2 + 12*h + 2. Let c be q(-12). Let b(i) = 1 + 28*i**2 - 6 + 3*i - 27*i**c. Let a be b(-5). Solve 4*r + 16 = a*j - 24, -5*r - 2*j - 17 = 0 for r.
-5
Suppose 2*h + 22 = 2*q, 3*h = -3*q - 0*q - 51. Let w be 4/(-14) - 32/h. Solve 1 = z - 4*l + l, 4*l + 2 = w*z for z.
1
Let m(y) = y - 4. Let a be m(5). Let l = -8 + a. Let j(n) = n**3 + 7*n**2 - 2*n + 1. Let f be j(l). Solve 2*g + f = -5*c, -5*c = -2*g - c - 6 for g.
-5
Let i(n) = n**3 - 8*n**2 - 81*n - 38. Let u be i(14). Solve -2*k = -4*z - 3*k - 20, u*z - 4*k + 20 = 0 for z.
-5
Suppose -4*u + 2 = 2*o - 10, -2*u = 4*o. Let s(h) = -h - 10. Let t be s(8). Let r = t - -20. Solve u*x - r*z + 16 = 0, -2*x - 3*z - 9 = 3*x for x.
-3
Suppose -2*d + d = w - 2, 0 = -3*d + w + 14. Suppose 6*z + d*z - 50 = 0. Solve -4*b - 25 = -5*x - b, 3*x = z*b + 31 for x.
2
Suppose -5 = -m - 0. Let y(i) be the second derivative of i**4/12 - i**3/6 + 3*i**2 - 3*i. Let b be y(5). Solve c - 6 = m*d, d + 2*d = -5*c - b for c.
-4
Let p(l) = l**3 - l**2 + 2*l - 2. Let g be p(1). Suppose 5*m - 5*s - 30 = g, -m - 3*s - 3 = m. Solve 0 = -m*v + 4*q - 2, 2*v + 5*q = -0*v - 9 for v.
-2
Suppose -5*j + 2 = -8. Let v be (-2)/(-8) - 213/(-12). Suppose -175 = 341*m - 376*m. Solve -s = 0, 4*i + m*s + v = -j for i.
-5
Let i = -98 - -47. Let s = -46 - i. Solve -4*b = -l + 19, 3*b + s*l + 17 = 3*l for b.
-5
Let c(w) = 13 - 228*w + 3 + 230*w. Let f be c(-7). Solve a - 9 = -3*z, 2*z + f*a - 6 = -0 for z.
3
Suppose -3*y = 3*a - 6, y - 5*y = -5*a + 37. Solve 0*g = -2*z - a*g - 3, -4*g - 5 = -z for z.
1
Suppose -7*z + 5*z + 3*c + 22 = 0, -4*z + 40 = -4*c. Suppose -3*u = -2*u - 2. Solve 3*a - 5*q + 3 + 5 = 0, 4*q - z = u*a for a.
4
Suppose -q + 13 = -5*u - 13, 5*u = -10. Let m be (2 - 0) + (0 - 1). Suppose k - m - q = 0. Solve 0 = 4*s + j - k, -s + 5*s = -4*j + 32 for s.
3
Suppose 11 + 5 = c - 3*j, -2*c - 12 = 5*j. Let w be 6/c*(-4)/(-2). Let p = -3 - -3. Solve -4*x = w*d - p*d, -3*d - 3*x = 3 for d.
-4
Suppose 4*o - 4*z = 12, -4*o + 3*z + 24 = 11. Solve -1 = -2*p - d, -d - 1 = -o for p.
-1
Let y(c) be the first derivative of c**3/3 - 2*c**2 + 3*c - 11. Let b be y(3). Solve 12 = 3*j, -2*t + b - 4 = -3*j for t.
4
Let l be -6*(-2)/(-16)*-8. Suppose l*m - 9*m + 15 = 0. Solve 5*s - 3*s + t = -6, m*t = s - 19 for s.
-1
Let w(b) = -b - 2. Let s be w(2). Let q = s - -6. Let m = 3738 - 3733. Solve m*j + z - 6*z = 0, -2*z - q = 0 for j.
-1
Suppose 4*m = -3*c + 11, 0 = -5*c - 3*m - m + 21. Suppose 3*l + c*l = 3*l. Solve 0 = -2*u - 4*x + 20, u + x - 7 = -l*x for u.
4
Let v = -20 + 22. Suppose 1 = 3*d + 4*k - 10, -v*k = -2*d + 12. Let i be (1 - 1)/(-1 - -3). Solve 3*b = -d*j, i = 3*j - 4*b + 7 + 22 for j.
-3
Let b(r) = r**2 - 62*r - 261. Let j be b(66). Suppose 8 = o + o. Suppose o + 2 = 2*y. Solve -2*k + 3 = y*q, 0 = -j*k - 0*q - 5*q + 4 for k.
3
Let w = -348 + 363. Let d(a) = -15*a - 9. Let p(m) = m**2 + m - 1. Let i(z) = d(z) + p(z). Let f be i(w). Solve f*r - 2*t - 7 = t, r - t = 1 for r.
2
Let f = 55 - 63. Let b be -4 - (54/f + 1/(-4)). Solve -5*k + 5*a = -2 - 18, -10 = -b*k + 2*a for k.
2
Let y(s) = s**2 - 2*s - 8. Let b be y(-2). Suppose 5*a - 3*j + b*j = 19, 0 = 2*a - 3*j - 4. Solve 0 = -r + 2*k + a, -14 = -4*r - 0*k + 5*k for r.
1
Let q(c) = 0 + c**2 - 5 + 1 - 5*c + 0. Let a be q(-3). Let m = 36 - a. Solve 0 = 3*d - 5*b + m, -2*b + 19 = -2*d + 3*b for d.
3
Let l(a) = -2*a**2 + 12*a - 8. Let p be l(5). Solve -6 = -3*r, 0 = -p*s - 3*r - 3 + 7 for s.
-1
Let u(i) = -i - 2. Let y be u(-5). Let w be ((-2)/(-4))/((-2)/(-12)). Let r = 31928 + -31923. Solve -7 = 2*m - w*j, -y*m + j - 19 = r*j for m.
-5
Suppose 0 = -5*l - 11 - 14. Let z be (-114)/15 - (-2)/l. Let s(g) = -g - 5. Let h be s(z). Solve -h*j - x = 3*x - 14, 2*j - 5*x + 29 = 0 for j.
-2
Suppose -g = -3*h + 220, 345 = 5*h + g - 11. Suppose 0 = 8*l - 4*l - h. Solve -j = 4*z - l, 3*z + j = -3*j + 20 for z.
4
Suppose 7*z + 54 + 254 = 0. Let p = z - -44. Solve 0*u + 4*n + 12 = -2*u, p = n + 5 for u.
4
Let p(i) = 2*i**2 + 4*i - 6. Let z be p(1). Solve z = 2*a + 2*f - 5*f + 4, -3*a = 5*f + 25 for a.
-5
Let o = -76 - -113. Suppose -33*j - 16 = -o*j. Solve 0 = 4*y + w + j - 14, 2 = w for y.
2
Let s be 5050/450 - (-4)/(-18). Solve v = 2*l - 3*l + 7, 2*v - s = -l for v.
4
Let q be (1*-1)/((-3)/(-6)). Let z be 0/(q + -2 - -8). Suppose 2*c - c - 3 = z. Solve 4*h + 1 = 3*y, c*y = 2*y + 4*h + 3 for y.
-1
Let i be (0 + (-15)/(-1))*7. Suppose -4*h = -i - 7. Solve 5*a + 4*w + 13 = -0*w, -w = -5*a - h for a.
-5
Let c(u) = -1. Let p(d) = d - 20. Let r(k) = 6*c(k) - p(k). Suppose a - 5*a = -40. Let l be r(a). Solve 0 = -3*n, -l*s - 34 + 14 = -2*n for s.
-5
Let p(o) = 5*o + 44. Let d be p(-6). Solve -3*v - 3*n + 3 = -0*n, 0 = -2*v + 2*n + d for v.
4
Let w(t) = t**2 + 5*t + 3. Let z be w(0). Solve 5*n = z*k - 10, -14*n - 2*k + 15 = -9*n for n.
1
Let q(d) = -d**3 - 8*d**2 + 2*d + 4. Let l be q(0). Solve 0 = -2*k - 2*k - 8, w = 2*k + l for w.
0
Let u = -17 + 22. Solve -2*d - 4*w + w + 1 = 0, -14 = u*d + 2*w for d.
-4
Suppose -278*h - 25 = -283*h. Solve -h*l - 21 = 4*b, l - b + 4 = -2*b for l.
-5
Let j(n) = 3*n + 83. Let h be j(-27). Suppose -x + h*f + 16 = 5*f, 10 = 2*f. Solve 4*g + y = 11, -x = 4*g - 4*y + 3 for g.
2
Let h(l) be the second derivative of -l**4/12 + l**3/3 - 3*l**2/2 + 6*l. Let y be h(2). Let t = 0 - y. Solve 3*s = t*p - 5 + 20, -3*p = -s + 7 for p.
-1
Let k be -4*(-1)/(-2)*-2. Suppose 5*m - 75 = -4*n, 2*n - 4*m = k*n - 42. Let g be 39/n + (-2)/(-5). Solve g*i - 1 = -2*z, 0 = -2*z + 5*i + 8 + 1 for z.
2
Suppose 0 = -12*w - 69 + 405. Suppose -3*u - 28 = -5*c - u, -5*u - w = -2*c. Solve g + c*v - 20 = 0, 0*v + 20 = 4*v for g.
0
Let f be 546/50 - (11460/500 - 23). Solve -4*o + p + 17 = 0, -p + f = 3*o - 0*p for o.
4
Let z(k) be the second derivative of k**3/2 - 17*k**2/2 - 6*k. Let d be ((-10)/25)/(3/(-90)). Let i be z(d). Solve 2*f + 3*f - i = g, -f - g - 1 = 0 for f.
3
Let y(v) = -7*v - 27. Let s be y(-7). Let x(k) = -2*k + 49. Let l be x(s). Solve -5*i = f + 6 + l, -5*f - 5*i = -5 for f.
4
Suppose -10*s + 26*s - 48 = 0. Solve -4*c + 5*c = t - 1, 4*c - s*t = 0 for c.
3
Let a(x) = -3*x**3 - x**2 - 4*x - 4. Let d be a(-2). Let m = d + -5. Solve 4 = 3*b - 3*w + 2*w, 0 = -2*b + 5*w - m for b.
3
Let t(y) = 5*y**3 + y**2 + 4*y + 10. Let f be t(0). Suppose 0 = -2*a - 2*a + 8, -p - 2*a = -19. Let z = p - f. Solve z*i + 24 = l, -5*l + 0*l - 5*i = 0 for l.
4
Let l(f) = -4*f - 41 + 0*f - 5*f - 2*f. Let n be l(-4). Solve 0 = -0*r - 2*r - 2*s - 2, -5*r - 3 = n*s for r.
0
Suppose -4*m + 88 = 4*b, 5*m + 15 = 35. Solve 4*h + 5*q = b, -3*h - 5