= -3*d for i.
4
Suppose 0 = -2*v - 3 + 9. Let h be -1*4/4*-3. Suppose -5*c = -d - 3*d - h, -5*d + 21 = 2*c. Solve -v*u + 1 = c*n + 4, u - 5*n + 7 = 0 for u.
-2
Let t(x) be the second derivative of 3*x + 0 + 1/6*x**3 - 3/2*x**2. Let k be t(7). Solve k*g - 2*a + 6*a - 12 = 0, -g - 4*a + 3 = 0 for g.
3
Let g be -4*-2*(-1)/(-2). Suppose -4*b + 3*t = 2*t + g, 2*t - 8 = 5*b. Let n be (-3)/3*b/(-2). Solve 2*h - 5 = d, -3*d + 10 = -n*h - h for d.
5
Let k(a) be the third derivative of a**5/60 + a**4/24 - 2*a**3/3 - 3*a**2. Let i be k(-3). Solve -i*y - 13 = 5*v + 3, -4*v = -4*y - 4 for v.
-2
Let v(w) = w**3 + 21*w**2 + 21*w + 27. Let k be v(-20). Solve -3*i + 4 = b - k, i + 15 = -5*b for i.
5
Suppose 3*l = -5*d + 28, -7 = 3*l + 3*d - 5*d. Solve -2*k = w + l, -4*w - 3 = 5*k - 2 for k.
-1
Let c = 9 - -7. Suppose -3*s - 24 = -5*b, -b + 10 + 5 = -4*s. Solve -b*l - j + 8 = 0, -c = -l - 0*l - 3*j for l.
1
Suppose 5*v + 33 = 2*j, -5*v - 13 - 8 = j. Solve x - 4*w = -x + 12, w - 15 = -j*x for x.
4
Let n = 7 + -4. Suppose 4*b + 4*a - 8 = 0, 5*b - 2*b + 18 = n*a. Let i be b/(-5) - 387/(-45). Solve -5*r + 2*r = 3*m + i, -r = 4*m - 3 for m.
2
Suppose -1 = -2*a + 9. Suppose 0 = 3*f - a*t + 3*t - 23, -5*t = 5*f - 5. Solve r - 5*i - 11 = 0, 3*i + 1 = f*r - 10 for r.
1
Suppose u - 2*o + 2 = 17, -2*o - 25 = -3*u. Solve -b - 3*p + 4 = -0*p, -4*b = u*p - 9 for b.
1
Suppose -6 + 1 = -i. Solve 5*k + 1 = 2*r - 1, i*k = -r - 14 for r.
-4
Let o(h) = -h**3 + 13*h**2 - 22*h + 3. Let z be o(11). Solve -z = -w - b, 35 = -0*w - 5*w + 5*b for w.
-2
Suppose -2*k = -6*k + 16. Suppose 4*x = -16, -3*u + 0 + k = 2*x. Suppose u*c - 3*c = 0. Solve -3*m + 2*s - s - 2 = c, -3*s = -2*m - 6 for m.
0
Suppose 2*t - 4 = t. Suppose 2*q - b - 6 = -0*q, 0 = 2*q + t*b - 6. Let r = 2 - 1. Solve -o = 3*l - 2, r - q = 4*l - o for l.
0
Suppose w = 2*w + 28. Let q be w/(-10) - 5/(-25). Solve 5*p - 25 = q*f, -5*p + p + 20 = 4*f for f.
0
Suppose c - 1 = 4. Let u be (-4)/8*(-5)/((-15)/(-18)). Solve 5*j = -c*q - 20, -u*q - 2*j = -3*j - 4 for q.
0
Suppose 7*h + 4*b + 10 = 2*h, 0 = -h - 2*b - 2. Let a be 1 + (-4 - h) + 1. Suppose a*o = -4*o. Solve s - 10 = x, o*x - 3*s = -5*x - 40 for x.
-5
Suppose -3*v = -o - 13, -6*v = -2*v - 3*o - 9. Solve 0 = x + 4, 4*x + 21 = h - v*h for h.
-1
Suppose 4*a - 2*a - 6 = 0. Solve -k + 1 = -4*k - 4*g, a*k - 2*g - 23 = 0 for k.
5
Let u = -18 + 22. Solve 2 = -o - u*y - 5, 5*o + y - 3 = 0 for o.
1
Suppose 0 = u - 0*j + 5*j + 21, 2*u - 5*j - 33 = 0. Solve 7 + 8 = 3*t, u*t = 5*p + 20 for p.
0
Suppose 2*q = j - 4, -3*j + 0 + 4 = -4*q. Let r be 2/(-4)*(q - 8). Solve -2*x - 12 - r = 3*c, -c + 11 = -5*x for x.
-3
Let b(g) = -g**2 + 3*g + 3. Let j be b(3). Let v be (-69)/9 - 8/(-12). Let t(h) = -h - 2. Let r be t(v). Solve -4*k = r*c + 32, 0*k - 5*k - j = -3*c for k.
-3
Let t(k) = -k**2 + 13*k + 2. Let w be t(12). Let z = -3 + 0. Let d be 5*(-1)/3*z. Solve -w = -2*l + 2*y, -d*l + 16 = -l + 2*y for l.
5
Let j = 24 + -20. Suppose -j*y = 3*p - 29, -4 = -2*y - 2*p + 4*p. Solve y*n + 0*n = 2*f + 11, 5 = -5*f + 5*n for f.
2
Let d be (-3)/(-4)*4 + -3. Let t be 1*(1 - (-1 + d)). Solve -5*i = -4*h - 45, 0 = -3*i - t*i - 2*h + 15 for i.
5
Let y = 23 + -19. Solve -y*q + 4 + 11 = 3*k, -5*q = -k - 14 for q.
3
Let p(z) = -2*z - z**3 - 8 + 11*z**2 + z**2 - 18*z**2. Let k be p(-6). Solve 0 = -4*g + 2*s - 4, k*g - 2*s = 2*s - 8 for g.
0
Let g = -5 - -3. Let k be (-2 - -2)/g + 0. Solve u - 3*a + 6 = 0, 5*u + k*a + 5*a = 10 for u.
0
Let v = -8 - -5. Let d be -1*((2 - v) + -1). Let o = d + 8. Solve -2*a + 6*m + 15 = m, o*a = 2*m + 6 for a.
0
Let g = 0 + 2. Let u(r) = 3*r**3 - 4*r**2 - r. Let l be u(2). Suppose g = -m + l. Solve 5*d = -m*n - 26, -6*d + 6 = -d - 4*n for d.
-2
Let b = 163 + -142. Solve -3*y + 23 = 2*f, -3*f - y = f - b for f.
4
Let p(k) = -4*k + 2. Let s be p(0). Solve s*q + 3 = 2*c + 1, -c - 4*q - 14 = 0 for c.
-2
Suppose 0 = u - 5*q - 22, -3*u + 2*q + 6 = -8. Solve i + 4 + 4 = 4*t, t - u = 5*i for i.
0
Let l be 4/(-6) + 10/6. Let z(q) = 3 - 3 + 1 + 6*q + 12*q. Let i be z(l). Solve 3*t + 3*o - 1 + i = 0, 0 = 5*t - 4*o - 15 for t.
-1
Suppose 4*v = 3*i + 11, 0 = 6*i - i - 3*v. Suppose -135 = -5*u + i*r, 0*u + 2*r = -u + 14. Solve -5*b = 2*d + u + 1, 15 = d - 3*b for d.
0
Suppose -q = -3*q. Solve 5*m = -0*r + 4*r + 11, q = -r - 5*m + 16 for r.
1
Suppose 4*d + 36 = 4*u + u, 5*d + 8 = -3*u. Solve -3*h - 3*y + 9 = -y, 3*h = -u*y + 9 for h.
3
Let k(s) = s**2 + 2*s - 1. Let t be k(-5). Let c be (-100)/(-7) - 4/t. Solve -5*r = -3*q + 16, 4*r = 5*q + 2*r - c for q.
2
Let b(j) = 2*j - 6. Let m be b(4). Solve -4*x - x = -5, m*x = -3*t + 8 for t.
2
Let i be (-2)/(-7) - (-38)/14. Suppose -b = i*b. Suppose 0 = -b*j - j. Solve -4*g + 3*k + 17 + 0 = j, 4*g - k - 11 = 0 for g.
2
Let t = 5 + -2. Suppose 4*p - t = 13. Solve v = -5*u - 11, -7*u + p*u - 4*v = -7 for u.
-3
Let f = -13 + 17. Solve -f*i - 5*h = 9, 28 = 2*i - 0*h - 4*h for i.
4
Suppose -23 = -3*y - 2. Solve y = -4*l - 3*f, 3*f = 2*l + 4*f + 5 for l.
-4
Let y(c) = -c**2 - 5*c + 3. Let r be 424/(-88) - (-4)/(-22). Let t be y(r). Solve 11 = t*m - 5*l, 5*m + 0*m - 12 = 2*l for m.
2
Suppose -13 - 5 = 2*l. Let n = 20 - 6. Let c = n + l. Solve -5*v + 0*v + c*p + 5 = 0, -2*p - 4 = 0 for v.
-1
Suppose 4*j - 3*j = 0. Solve c + 3*c + 5*g + 1 = j, 0 = -4*c + 4*g - 28 for c.
-4
Let l = -9 - -6. Let q = 7 + l. Suppose -2*r + 14*p - 4 = 10*p, -5*p + 11 = -r. Solve -j + 3*w = -6 - q, r*j - 3*w - 4 = 0 for j.
-2
Let k be (-4)/(7/(84/(-8))). Let n be k + (-2)/4*6. Solve -2*g - 5 = u - 4*g, n*g - 15 = 3*u for u.
-5
Let v be (-1)/(-3) - 56/(-12). Suppose 5*u + 38 = d, 2*u - v = -13. Suppose d + 2 = 5*l. Solve 3*f - 12 = 0, 0 = o + f + 3 - l for o.
-3
Let i(u) = u**3 + 3*u**2 - u - 1. Let r be i(-3). Solve 4*h = -2*j + 28, -r*h = 2*j + 4 - 22 for j.
4
Let o = -31 - -58. Let h = -15 + o. Let c(m) = m**2 - 7*m + 8. Let u be c(6). Solve -3*k = u*l + 22, l = 5*k + h + 3 for l.
-5
Let v = 14 + -7. Suppose 0 = -4*l + v*l - 42. Solve -2*b + 4*c = l, 2*c + 3*c - 24 = -4*b for b.
1
Let a be 7 + 3/((-5)/5). Solve 2*j + 21 = -2*j - 5*h, 4*h + 16 = -a*j for j.
1
Let r = -53 - -91. Let l be 4/14 + r/14. Let y be (2/4)/((-17)/(-68)) - -1. Solve -x + 4*f - y*f = l, 4*x - 3*f = -9 for x.
0
Suppose -4*k + 11 = f - 3*k, -4*f - k + 38 = 0. Let o = 13 - f. Suppose 3*g = 2*s + 4, 4*g = -s + 6 + 3. Solve b - 6 = o*b + 3*a, 4*a + 26 = g*b for b.
3
Suppose 3*h - 4*z + 87 = 0, z = -h + 2*z - 29. Let o = h - -33. Solve -3 = 5*b - s, o*b + 8 = 4*s - 4 for b.
0
Let w be -7 - -8 - (1 - 3 - 0). Let o(c) = -1 - c**2 + c + 4*c**2 + 0*c**2. Let t be o(1). Solve -5*h + 2 = -t*m + 10, -w*h + 4*m = -4 for h.
-4
Let v(d) = -d**3 + 8*d**2 + 12*d - 5. Let r be v(9). Let a = r + -10. Solve -l + 9 = 3*c, 0*c + 4*c = -l + a for l.
0
Suppose 2*w = w + 4. Solve -2*p - 5 - 2 = a, -p = -a - w for p.
-1
Suppose 2*v + 12 = 5*v - 3*o, -5*v = 4*o - 2. Solve -3*k + v*m = 4*m + 14, 3*m + 14 = -k for k.
-2
Suppose -a + 0*a = -63. Let t be 58/(-18) - (-14)/a. Let k = t - -8. Solve k*o + 29 = -2*s, 4*s - 6*s - 14 = 2*o for o.
-5
Suppose v - 27 = 9. Let l be (-4)/(-10) - v/(-10). Solve -l*f + 13 = -3*i, -4*i = -5*f + 1 + 16 for i.
-3
Suppose 5*j = 2*m + 16 + 12, -3*j = 2*m - 4. Suppose -j*k = -25 + 9. Solve 0 = 3*q + 2*n + k, -q = 3*q - 4*n - 28 for q.
2
Let k = -38 + 45. Solve -3*n - k = f, -2*n - 14 = 3*n + 4*f for n.
-2
Suppose 11 = 3*z - 28. Let t = -4 - -7. Suppose -5*k = 0, 3*s - t = -k + 9. Solve 3*o = -5*q + s, -z + 2 = -2*o + 5*q for o.
3
Suppose -2 = 2*y - 6. Let s be 0/((y - -1) + -1). Suppose s*b + 12 = 3*b. Solve q = -5*p + p - b, 0 = -5*p + 4*q - 5 for p.
-1
Let n = 136 + -136. Solve o = 2*s, -4*o - 14 = -n*s - s for s.
-2
Let r(y) = y**2 + 2*y - 17. Let h be r(4). Solve -w - 3*c + 8 + h = 0, 0 = -3*w - 4*c + 20 for w.
0
Let c be (6/15)/((-1)/(-5)). Suppose 5*g + 20 = 4*o, o - 6*g - 12 = -3*g. Solve 4*i - c*f = 2*f, i + 2*f = o for i.
0
Let f(g) = -6 + g**2 - 3*g - 2*g**2 - 7*g. Let p be f(-9). Solve p*h - 13 = -2*v, 2*h + 0*v - 2 = 2*v for h.
3
Let q(y) = -y - 1. Let z be q(-1). Suppose -2*n - f = -2, -n = f - z*f - 2. Suppose g + 12 = 2*g. Solve 3*i = -2*w - g, w + n*w = -3*i - 9 for i.
-2
Let s be 52/20 - (-2)/5. Let n be (-4)/(-6) - (-10)/s. Solve 4 + 1 = 3*f + 2*o, -5*o = -n*f - 1 for f.
1
Suppose 2*q - 