t.
1
Let o = -20 - -21. Suppose 0 = 2*v + o - 5. Solve -2 = -3*g + v*g for g.
2
Let u = -4 - -8. Solve 5*i = -1 - u for i.
-1
Let k = 39 - 19. Solve 0 = -6*x + x - k for x.
-4
Let g = 3 - 1. Suppose -2*l + 4 = g. Let t be (-3)/l + (0 - -3). Solve t = -4*n - 0*n for n.
0
Suppose 0 = 5*k - 25, 5*k - 20 = 4*d + k. Let b = -4 + 12. Solve d = 5*f + b - 3 for f.
-1
Let v(n) = 2*n + 10. Let r be v(-5). Solve r*k - 2*k = 0 for k.
0
Suppose -j + 12 = -k, 0 = -2*j - k - 2*k + 24. Solve -17*r = -j*r for r.
0
Let i be (-22)/6*1*-3. Let c = -2 + i. Suppose -x + c = -6. Solve z + x = -4*z for z.
-3
Let n(d) = -d**3 - 2*d**2 + 2*d - 1. Let j be n(-3). Suppose 21 = j*s - 4*u - 25, 115 = 5*s + 3*u. Solve -s + 8 = -5*k for k.
3
Let w(f) = 2*f**3 - f**2 + f. Let c be w(2). Let z be (-4)/c - 6/(-21). Solve u = -2 - z for u.
-2
Let z(h) = 4*h**2 + h - 2. Let j = 4 + -6. Let i be z(j). Solve 0*a + 3*a - i = 0 for a.
4
Let q be ((-3)/6 + 1)*4. Suppose 0 = -0*f + q*f - 24. Solve -2*k + f = k for k.
4
Let n(i) = 18*i**2 + i**3 - 18*i**2 - i + 2. Let c be n(0). Let v(r) = r**2 - 5*r + 6. Let s be v(4). Solve -x - s - c = 0 for x.
-4
Let m be 12/8*(-14)/(-3). Let s(q) = q**2 - 9*q + 16. Let t be s(7). Let u be (-2 + t)/(1/(-1)). Solve -3*r + m + 5 = u for r.
4
Let n be (-1 + 5 + -7)*(-8)/6. Solve 0 = -5*b - 1 - n for b.
-1
Let t be -3 + 3/((-3)/(-8)). Suppose -t*h + 5 = -10. Suppose 2*a - 5 + h = 0. Solve -3*x = 2 + a for x.
-1
Suppose r - 4*g - 7 = 0, -4*g + 7 = 3*r + 2. Solve -r*y = -10 - 2 for y.
4
Let v be 6/(-9) - 68/(-3). Suppose -7 = 5*o - v. Solve q + o = 1 for q.
-2
Suppose -56 = -3*s - 5. Let o(t) = t - 2 + s - 2. Let d be o(-8). Solve -d*y - 2 = 8 for y.
-2
Suppose 0 = 5*h - 10, w + 0*w = 4*h - 5. Solve 12 = 6*k - w*k for k.
4
Suppose -2*b = -2*y + 4, 3*b - 5*y + 4*y + 2 = 0. Solve 0 = -b*z + 2*z - 8 for z.
4
Suppose -a - a = 2*v, 2*a + 9 = -5*v. Suppose 0 = 5*h - a - 2. Solve 3*g = 2 + h for g.
1
Suppose -3 = -10*z + 9*z. Solve -5 = z*j + 7 for j.
-4
Suppose 4*b = -5*p - 10, 2*b - 4 = -3*b + 2*p. Solve 5*i + b*i = 5 for i.
1
Suppose 0*y = -y + 4. Suppose y*q = 3 + 5. Solve -4*w - q = -6 for w.
1
Let o(z) be the third derivative of z**6/120 + z**5/30 - z**4/12 + z**3/6 + z**2. Let c be o(-3). Let i be 9*-2*c/12. Solve i*v + 8 = -v for v.
-2
Suppose 0 = -i - 3*d - 14, -3*i = -d - 0*d + 2. Let f = i - -2. Suppose -2*a + f*q + 6 = -q, -4*q = 4*a. Solve 2*w - 6 = -a for w.
2
Let w = -2 - -2. Suppose 0 = -l - w + 6. Solve 5*g = l - 21 for g.
-3
Let c(a) = -a - 7. Let t = 20 + -30. Let q be c(t). Suppose -j - 4*s - 3 = 0, 2*j - s - 8 = -2*s. Solve -q*r = -4 - j for r.
3
Let v be ((-2)/3)/((-16)/24). Solve -i + v = -0*i for i.
1
Let j be (-150)/4*2/(-3). Solve 6*c - c - j = 0 for c.
5
Suppose 5*t = j - 33, -4*t - 4 = 2*j + 14. Let g(r) be the second derivative of -2*r**3/3 - 9*r**2/2 - r. Let i be g(t). Solve -i = 6*a - 3*a for a.
-5
Let y(p) = -p**3 + 3*p**2 + 3*p + 5. Let m be y(4). Suppose 5*o + 28 = l, -2*o + m - 2 = 3*l. Let v be (14/4)/(1/2). Solve 2*d - l = v for d.
5
Let r(q) = q**3 - q. Let w be r(-1). Suppose w = -3*v + t - 2 + 7, -4*t - 5 = 3*v. Let j be v/3 - (-5)/3. Solve -j*l = 3*l for l.
0
Suppose -2*u - 1 = 2*h - 3, h - 1 = 0. Solve u*n + 6 = -2*n for n.
-3
Let c be 1*16 + (-11 - -8). Suppose 9*j - c*j = -32. Solve j = f + f for f.
4
Let a(x) = -x + 7. Let s be a(6). Let j = s - -2. Suppose c = 2*c - j. Solve -c*o + 5 = 2*o for o.
1
Suppose 4*y + 2 = -18. Let t = -3 - y. Solve 3*d = d + t for d.
1
Suppose 0 = 5*i + 3*z - 51, -5*i + 5*z = -18 - 57. Let y(k) = -k**3 - 5*k**2 + 7*k + 7. Let n be y(-6). Suppose s - 2 - n = 0. Solve 3*d = -s - i for d.
-5
Let k(s) = 2*s + 14. Let j be k(-5). Suppose 72 = 4*n - n. Suppose -9 + n = 3*a. Solve -3 - a = j*b for b.
-2
Let s(d) = -2*d. Let o be s(2). Let l = o + 4. Let m = l - -5. Solve 3*w - m*w - 4 = 0 for w.
-2
Let z(p) = p**2 - 3*p - 4. Let w be z(4). Let l = w + 14. Solve 0 = 5*t + l + 6 for t.
-4
Let s = -23 + 38. Suppose -l - s = -6*l. Solve -l = -2*n + n for n.
3
Let w be (-150)/22 + 10/(-55). Let x = w + 7. Solve 3 + x = 3*u for u.
1
Suppose -3*m + 3*s + 6 = 0, 3*m - 2*s = 6 - 0. Let a(h) = 4*h**2 - 3*h. Let g be a(m). Let y = 20 - g. Solve 0*d = -5*d - y for d.
-2
Let t(l) = -l**2 + l + 1. Let s(g) = 6*g**2 - 9*g - 5. Let u(d) = s(d) + 4*t(d). Let a be u(3). Solve -a*v + 2 - 8 = 0 for v.
-3
Suppose 5*t + 5*p = 3*t + 6, 0 = 2*p. Solve t*l = 2*l + 4 for l.
4
Suppose 2*v - 14*v = -60. Let h(c) = -4 + 3 + 2*c - c. Let z be h(v). Solve z*y = -1 - 11 for y.
-3
Let h(k) = -k + 33. Let s be h(9). Solve 0 = 4*w + 4 - s for w.
5
Suppose -w + 15 = 2*w. Solve 8 - 3 = w*h for h.
1
Let y = -9 + 12. Solve 0 = -y*f + 13 - 1 for f.
4
Let b(l) = l**2 + 6*l - 4. Let c be b(-7). Let y(v) = v - 6 - c - 9*v + v**3 + 5*v**2. Let p be y(-6). Solve -p*x + 3 = -0 for x.
1
Let x(b) = -b**2 + 5*b - 1. Let g be x(4). Suppose 3*l = -g*s + 9 + 6, -2*s + 30 = 4*l. Solve -6*h + h = l for h.
-2
Let f be 106/(-13) + (-4)/(-26). Let i be 222/24 + (-6)/f. Solve i = -3*g - 2*g for g.
-2
Let t(w) = -w**3 - 2*w**2 - 2*w + 2. Let q be t(-2). Suppose 4*b = 5*b - q. Solve 4 = -b*n + 2*n for n.
-1
Let c(l) = l**3 - 10*l**2 - 11*l + 6. Let i be c(11). Let g be 27 + 3/(i/(-4)). Solve 5*d = -0*d + g for d.
5
Suppose -2*i - 2 = -6. Suppose -3*o - 3*x = 2*o - 11, 5*o - 9 = -i*x. Solve 0 = 5*c + o + 14 for c.
-3
Let m(q) = -7*q**3 - 2*q**2 + 5*q - 12. Let h(g) = -20*g**3 - 7*g**2 + 14*g - 35. Let v(j) = 6*h(j) - 17*m(j). Let d be v(-8). Solve 0 = -0*k - d*k + 6 for k.
3
Let q be (6/7)/((-33)/(-154)). Solve -q*x + 12 = -4 for x.
4
Let z = 72 + -67. Solve -z*m - 4 - 16 = 0 for m.
-4
Let q = -12 + 6. Let i be (-33)/q + (-3)/2. Solve i*a - 2*a + 6 = 0 for a.
-3
Let c be 2*(-2)/(-2) + 0. Suppose 3 = c*h - 3. Solve 5 = 8*x - h*x for x.
1
Let v(w) = -w**2 - 10*w + 8. Let d(a) = a**2 + 11*a - 8. Let c(k) = 4*d(k) + 5*v(k). Suppose 3*j = -j - 28. Let n be c(j). Solve -n = h + 1 for h.
-2
Let u(d) = -d - 3*d**3 + 3*d**2 - 4 + 3*d**3 - d**3. Let b be u(3). Let j(p) = -2*p - 10. Let c be j(b). Solve -1 = 3*o - c for o.
1
Suppose -n + 2*z = -10, 0*z + z = -3*n + 2. Let a be ((-114)/(-24) - 4)*4. Solve -n*f - f + a = 0 for f.
1
Let h be (1/2)/(2/4). Solve -2*j = -3*j + h for j.
1
Suppose -13 = -3*t - 5*v, -35 = -9*t + 4*t + 5*v. Suppose -3*s + 9 = -4*k, -k + t*s - s = 15. Solve k = 2*a - 1 - 1 for a.
1
Suppose 4*s = -k - 5, 3*k - s = -5*s + 9. Solve 5*n - k = 8 for n.
3
Let y(q) = -8*q + 1. Let s be y(1). Let l = s - -14. Solve 4*n - 3 = l*n for n.
-1
Let i(j) = -j**3 + 4*j**2 + 5*j + 5. Let g be i(5). Let m be 12/2 - (-1 + 1). Suppose -25 = 5*b, -z - m = -5*z - 2*b. Solve g*t = z + 1 for t.
1
Let d be (-1 - (-3)/(-6))*(-12)/9. Solve -d*y + 15 = y for y.
5
Let v(l) = -l**3 + l**2 - l. Let x be v(0). Solve 0*a - 2*a = x for a.
0
Suppose -b - 2 + 4 = -f, 14 = b + 2*f. Let z be 2/b - (-33)/9. Solve z*m - 1 = -21 for m.
-5
Suppose 0*v = -2*v + 14. Suppose -5*o = -2*i - 22, 3*o = v*o - 2*i - 18. Solve 0 = 2*j + o for j.
-2
Let n = 6 + -8. Let y be (3 - (n + 0)) + -3. Let l be 40/y*5/4. Solve 0*f = -5*f - l for f.
-5
Suppose 7*k = 3*k. Solve -u - 4 = -k for u.
-4
Let r(c) = -c**3 + 6*c**2 - 7*c + 12. Let i = -19 - -24. Let o be r(i). Solve 4 = -o*f - 2*f for f.
-1
Suppose 14 = 4*y - 3*d - 5, 0 = -3*y - 5*d + 7. Solve -2*z = -z - y for z.
4
Suppose -5 = a - 9. Solve a*p = 10 + 2 for p.
3
Suppose 21 = 5*m + 1. Suppose -3*t = -2*t. Solve t*a + m = a for a.
4
Suppose 0 = -3*n, -4*q - n = q - 60. Solve -q*d = -7*d + 25 for d.
-5
Let v = -18 + 19. Solve 2*s - 1 = v for s.
1
Suppose 5 = w - 5*q, q = w - 2*w - 1. Solve 3*x - 3 = -w for x.
1
Let j be -3*1 - (2 + -5). Let k be j + (-3 + 13 - 1). Solve 0 = 2*p - 5*p + k for p.
3
Let a(u) = -13*u - 5. Let w(l) = -56 - 28*l - 22*l - 94*l. Let t(i) = 56*a(i) - 5*w(i). Let f be t(-2). Solve 3*o + f = -o for o.
-4
Suppose 4*g + 5*m + 20 = 0, -4*m + 2*m = 0. Let l be (-12)/15*g/2. Solve 3*z = l*z + 5 for z.
5
Let x be (2/5)/((-3)/(-60)). Solve y - x = -y for y.
4
Let m(u) = u**3 - 7*u**2 + 8*u - 4. Let y be m(6). Suppose -4*d = y, -2*d = -w - d + 6. Suppose -2*f + 24 - w = 0. Solve -g - 4*g + f = 0 for g.
2
Suppose 66 = f - 12*f. Let x(n) be the first derivative of n**3/3 + 3*n**2 - 1. Let o be x(f). Solve -2*m - 4 + 0 = o for m.
-