= 3*t. Let q = 0 + t. Solve q = 2*z + z for z.
3
Suppose 5*a + 28 = -4*v + 3*v, -a + 4 = -3*v. Let t = a - -5. Solve -5*j + t*j = -5 for j.
1
Let o = -14 - -19. Solve 4 = o*x - x for x.
1
Let u(i) = -i. Let s be u(-2). Suppose 6*r = s*r - 4. Let f be (0 + r/2)*0. Solve f = d - 4*d - 9 for d.
-3
Let b(p) = p + 5. Let z be b(-5). Let r be -4*(2/4 - 1). Solve 8 = -r*t - z*t for t.
-4
Let j = -36 - -37. Solve 1 = r - j for r.
2
Let b(t) = 3 - t**2 + 5 - 6*t - 6*t + 0*t. Let l be b(-8). Suppose 7*o - 2*o - l = 0. Solve m - o = -m for m.
4
Let r be 8/(-24) + (-70)/6. Let o(b) = b**3 + 12*b**2 + b + 14. Let l be o(r). Solve m = -l*m + 15 for m.
5
Suppose 0 = 3*a - 2*r - 15, 9 = 6*a - a + 2*r. Solve 0 = q - 4*q + a for q.
1
Suppose 2*y + 18 = 3*i, 2*y = -5*i + 4*y + 26. Suppose -i*b = b. Let m = 9 + -4. Solve m*r = -b*r - 20 for r.
-4
Let p be (-2)/(-5) + 69/15. Suppose -10 = p*t - 30. Suppose t*q + 5*b - 15 = 0, 0 = -5*b - 2 - 3. Solve -q*z = -0*z for z.
0
Let t(f) = f**2 + f - 6. Let g(s) = 4*s**3 + 2*s**2 - 1. Let b be g(-1). Let z be t(b). Solve z = 2*j - 2 - 2 for j.
2
Let b be ((-3)/((-6)/(-8)))/2. Let t = b + 3. Solve -3*f + t = 4 for f.
-1
Let h(u) = -2*u**2 + 2*u + 3. Let l be h(3). Let v be (0 + 6/l)*-3. Solve -v*p + 8 = 2*p for p.
2
Suppose -6*u - 45 = 39. Let r = u + 16. Solve 7 = -r*h + 1 for h.
-3
Suppose -2*d = -8*d - 42. Let p(y) = 7*y + 1. Let z(g) = -15*g - 1. Let s(i) = 13*p(i) + 6*z(i). Let h be s(d). Solve -4*m + h*m - 16 = 0 for m.
-4
Let m(c) = -2*c**2 + 59*c - 26. Let f be m(29). Solve -f = 3*j - 0 for j.
-1
Let h(b) = -b**3 + 8*b**2 + 9*b. Let n be h(9). Suppose 0 = -4*t - 2 + 10. Solve n = r - t for r.
2
Suppose -q + n + 3 = -2*n, 0 = q - 2*n + 1. Let c = q - -13. Solve -2*r = -c - 0 for r.
2
Let n = -62 - -64. Solve -n*o + 5 + 3 = 0 for o.
4
Let x(w) = 2*w**2 - 2*w - 7. Let f(v) = -v**2 + 6*v + 10. Let b be f(7). Let l be x(b). Solve y + 4*y = l for y.
1
Let a = -163 - -166. Solve i - 4 = -a for i.
1
Let x = -19 + 21. Solve -x*r = -r + 5 for r.
-5
Suppose -3*n - 2*n = -50. Let k(l) = l**2 - 9*l - 7. Let a be k(n). Solve 5*m + 13 = a for m.
-2
Let o = 3 + 1. Let z(d) = -d**3 - 12*d**2 - 11*d. Let w be z(-11). Solve -o = -w*b + b for b.
-4
Let f = 47 - 28. Let b = -14 + f. Suppose 0 = -d - m - 1 + 16, -d - 10 = -4*m. Solve -b = 5*v + d for v.
-3
Let p = -130 + 133. Solve 7 = -p*s - 5 for s.
-4
Let o be 1*3 + 4/4. Solve 0 + 8 = o*j for j.
2
Let c(m) = m**2 + 15*m - 16. Let s be c(-16). Solve s*u - 4*u - 8 = 0 for u.
-2
Let a be (-130)/(-50) + 4/10. Let n = -20 + 11. Let w = n - -20. Solve -w = -a*v + 1 for v.
4
Suppose -u - 8 = -3*s, -5*s + 0*s + 19 = 4*u. Solve 0*q - s*q + 15 = 0 for q.
5
Let l(h) = 4*h**2 + 7*h - 5. Let z be l(2). Let b be (0 - 2)*9/2. Let s = z + b. Solve x - s = 5*x for x.
-4
Suppose -4*s - 76 = -5*k + 4*k, 0 = k + 5*s - 85. Let l be k/25 - (-1)/(-5). Suppose m + l*n - 2 = -n, -n = 0. Solve -a + m*a = -3 for a.
-3
Let n(d) = 3*d - 3. Let s be n(3). Let g be ((-4)/s)/(12/(-18)). Solve j = -4 + g for j.
-3
Let c be (2 + 4)/(6/4). Suppose 0 = -c*m + 9 + 3. Let h be (-10)/(-1 + (-3)/m). Solve 3*a + 4 + h = 0 for a.
-3
Suppose 6 + 2 = -y. Let a(u) = -1 - 2*u**3 + 8*u**2 + 3*u**3 + 4. Let g be a(y). Solve -g*r + 0*r + 12 = 0 for r.
4
Let s = -15 - -11. Let u = s + 7. Let i = -1 - -3. Solve -m + u = -i*m for m.
-3
Let m(l) = 2*l**3 - 2*l**2 - 2. Let v be m(2). Let g be 3/v*-11*-4. Solve g = 5*h + 7 for h.
3
Suppose q - 15 = -4*q, 0 = -4*h + 2*q + 2. Suppose -h + 27 = 5*c + 5*s, 11 = c + 3*s. Suppose -2*r - 4 = 4*j - 5*r, c*r = -5*j + 18. Solve -j = 3*k - 8 for k.
2
Let w be 58/(-145)*10/(-4). Solve -9 + w = -2*t for t.
4
Suppose 0*t - 4*t = -2*b - 20, -4*t = -5*b - 8. Suppose c - 3 = -3*y - 5, 40 = 4*c - 4*y. Let x = t - c. Solve -3*z = -x*z for z.
0
Suppose -21 = -5*k - 6. Solve 3 = -6*g + k*g for g.
-1
Suppose 20 + 25 = 5*k. Let m be ((-3)/4)/((-7)/140). Suppose -2*b + 5 = 2*q - b, q - 10 = -2*b. Solve q = -k*z + 4*z - m for z.
-3
Let s(j) = j**2 - j - 7. Let d be s(-4). Solve -d = 4*n + 7 for n.
-5
Suppose -3*q + 19 = 2*d, 2*q - q + 12 = 3*d. Solve -q = 5*z - 2*z for z.
-1
Let a(d) = -d**2 - d + 3. Let o be a(0). Suppose z - 2*z + 4 = 0. Solve 0 = z*r - o*r for r.
0
Let x(v) = -8*v. Suppose -2*s - 2 = -s. Let d be x(s). Suppose -18 = -i - 2*i. Solve 2*j + d = i*j for j.
4
Let k(q) = 5*q + 5*q - 7 - 2*q + q**2 - 2*q. Let y(b) = -4*b + 1. Let r be y(2). Let h be k(r). Solve -5*o + 3*o - 6 = h for o.
-3
Let a(j) = -2*j + 15. Let q be a(7). Solve q = -w - 2 for w.
-3
Suppose -8 = -2*v - 2*y, 3*y - 4 = -3*v + 4*y. Solve -o = -0*o - v for o.
2
Let x(p) be the first derivative of -5*p**2/2 - 3*p + 2. Let i be x(-3). Let m be 27/3*(8/(-12))/(-2). Solve i = -k - m*k for k.
-3
Suppose 0*f + f = 7. Let d be ((-4)/f)/((-12)/42). Solve 0 = -2*w - d*w for w.
0
Let p be (12 - 11)/(2/8). Solve 0*z - 12 = p*z for z.
-3
Suppose -24 = -2*c - 4. Solve n = -n - c for n.
-5
Let m be (-4)/14 - (-46)/14. Let d(y) = 6*y**2 - y - 1. Let c be d(-1). Let p = -1 + c. Solve -m = -p*a - 23 for a.
-4
Suppose 0*x - 10 = -5*x. Solve -2*y + x = -0 for y.
1
Let v be (-10)/(-5) - (0 + 0). Solve -y = -v*y for y.
0
Let g(l) be the first derivative of -l**2/2 + 2*l - 2. Let d be g(-2). Let b(s) = -4*s - 4. Let j be b(-3). Solve -2*n = -d*n + j for n.
4
Suppose 0 = -b - 5*a + 17, 5*b - 25 = 4*a + a. Solve -2*j = -b*j + 10 for j.
2
Let t be (-117)/9 + 3 + 0. Let x = -5 - t. Let b(l) = l**2 - 3*l. Let r be b(5). Solve -x*z = -0*z - r for z.
2
Let w(n) = 3*n - 1. Let p be w(1). Suppose -t - p*v - 15 = -6*t, 0 = -3*t - 3*v + 9. Solve -t*o + 0 - 6 = 0 for o.
-2
Let z = 123 - 105. Solve 0 = -3*g - z + 6 for g.
-4
Let n(p) = p**2 + p + 3. Let s be 8/(-28) + (-2)/(-7). Let l be n(s). Suppose 3*f + 3*d = 0, -l*f = 4*d + 5 - 2. Solve 8 = -f*q - 4 for q.
-4
Suppose -4*w + 15 = 3*v, -2*w - 3*v + 15 = -0*v. Solve w = -5*g + 15 for g.
3
Let r(b) = b**2 + 21*b + 27. Let w be r(-20). Solve 3*f + 5 = -w for f.
-4
Suppose 0*y - 5*y = -25. Let q(r) = r - 3. Let x be q(y). Suppose 8*v - 3*v - 20 = 0. Solve 6 + v = -x*l for l.
-5
Suppose 0 = 3*y + 2*b - 5, -2*b = -2. Let f(x) = -x**2 + 2*x + 4. Let v be f(5). Let g = -7 - v. Solve g*r - y = 7 for r.
2
Suppose -2*k + 28 = 4*x, -3*x + k + 11 = -0*k. Let z(y) be the second derivative of -y**4/12 + 5*y**3/6 + 3*y**2 - y. Let p be z(x). Solve 3*h - 3 = p for h.
3
Let r(n) = -n**3 + 5*n**2 - 4. Let f = 16 - 11. Let y be r(f). Let z be (-34)/(-8) + 1/y. Solve q - 15 = z*q for q.
-5
Suppose -4*i + 24 = -i. Let a be (2 + i/(-6))*18. Solve 5*l - l = a for l.
3
Let o(d) = d**2 - 6*d + 3. Let h = 6 - 2. Let y be o(h). Let k(m) = -m**2 - 7*m - 6. Let l be k(y). Solve w = -l*w - 15 for w.
-3
Let d be 3 - (-8)/(-2) - -10. Let k be (-15)/(-9)*d/3. Solve 0 = k*c - 3 - 2 for c.
1
Suppose a = 13 - 8. Solve p = 2*p + a for p.
-5
Suppose 3*o - 80 = -13*o. Solve 6 = o*a - 2*a for a.
2
Let s(r) be the third derivative of -r**4/24 + 3*r**3/2 + r**2. Let t be s(6). Solve -5*l = 8 - t for l.
-1
Suppose -4*m = 44 - 52. Solve -m*u + 2 = -8 for u.
5
Let a(h) = h**3 + 6*h**2 - 2*h - 8. Let f be a(-6). Solve f*y - y = 15 for y.
5
Let n(l) = -1 - l**2 - 5*l + 4 - 2*l. Let j be n(-6). Suppose 0 = 3*w - j, -5*t = 3*w - 0*w - 19. Solve -i + 2*i + t = 0 for i.
-2
Let g(r) = -r**3 + r**2 + r - 4. Let y be g(0). Let s be 0*(10/y - -2). Let n(h) = h - 1. Let d be n(1). Solve d*a - 4*a - 4 = s for a.
-1
Suppose -1 = a - 7. Let c be (-2 + 0)/(a/(-12)). Solve d = c*d - 3 for d.
1
Let k(i) = i**3 - 4*i**2 + 2*i - 4. Let x be k(4). Let t be x*(-2)/8*-2. Solve 3*s = s + t for s.
1
Suppose -3*u + 9 = -3*n, u - 2 = -3*n - 3. Solve -5*k = -u*k - 15 for k.
5
Let l = -36 - -18. Let x be (-87)/(-27) - (-4)/l. Let g be (-4)/(-14) + 160/28. Solve -9 = -g*z + x*z for z.
3
Let n be 1/(3/(-78)) + 0. Let i = n - -41. Solve -4*f = i - 3 for f.
-3
Let a(z) = 2*z**2 - 1. Let x be -1*1 + -4 + 6. Let f be a(x). Solve -4*h = 5 - f for h.
-1
Suppose -20*l = -22*l. Solve -5*o - 20 + 0 = l for o.
-4
Let d be (-1)/(-1) - (-4 + -1). Solve -2*m - m + d = 0 for m.
2
Let q(v) = 3*v - 15. Let a(p) = 16*p - 75. Let w(z) = 2*a(z) - 11*q(z). Let r be w(12). Solve 12 + r = 5*y for y.
3
Let k(g) = 4*g + 1. Let q be k(1). Let c be q/(10/4) + 0. Suppose 0 = 4*z + 5*o - 60, 30 = c*z + o + 3*o. S