= 3*x for x.
-4
Suppose 2*j - 4*v = 24, 0 = 2*j + 3*v + 2*v + 12. Solve -o = -j*o - 15 for o.
-5
Let t(a) = 20*a - 50. Let p(f) = 7*f - 17. Let x(z) = 17*p(z) - 6*t(z). Let q be x(9). Solve -c = q*c - 12 for c.
4
Suppose 4*z = 3*z. Suppose -2*u + 2 = -t - 4*u, -5*t + 4*u + 18 = z. Solve -o - 3 = -t for o.
-1
Let d be (0 - -12)*(4/8 - 0). Solve -j = j - d for j.
3
Let v be (-2 - -5) + 12/3. Suppose 5*b = 2*g - 7, -3*b - 2*g + 6*g - v = 0. Let w be b/2 - 10/(-4). Solve -w*j + 9 = -5*j for j.
-3
Let r = 5 - 1. Suppose 0 = r*i - 3*i - 2. Suppose 5*x - 26 = -i*c, 0*x - 18 = -2*c - 3*x. Solve -y - c = -5 for y.
2
Let r = 36 + -32. Solve -r*x + 10 = x for x.
2
Let w = -3 - -5. Suppose 0 = -2*f - w*o + 6, f - o - o - 6 = 0. Suppose -11*x = -8*x. Solve f*n + 0 - 4 = x for n.
1
Let b be (1/4)/((26/(-2))/(-208)). Let s = 22 + -13. Solve -u + b - s = 0 for u.
-5
Let c = 28 - 20. Let f = c + -4. Let n be (-6)/f*30/(-9). Solve 0*l - n = 5*l for l.
-1
Suppose -2 = -d + s - 0, 3*d - 8 = 4*s. Solve d = 4*q - 0*q - 16 for q.
4
Let k be 8/(-72) + (-138)/(-27). Solve -k*i + 16 = 1 for i.
3
Let t(m) = -m**2 - 9*m - 9. Let x be t(-6). Suppose 0 = -4*l - 5*d + 3, x = 3*l + l - d. Let b be (-2)/(-6)*(l - -4). Solve -b = -a + 2 for a.
4
Suppose -5*u - 2*p + 24 = 0, -2*u - p = -0*u - 10. Let m = u + 6. Suppose -t = -3*k + m, -t + 3 + 7 = 2*k. Solve c = -c + k for c.
2
Let f(z) = -7*z**3 + 9*z**2 - 3. Let t(x) = 11*x**3 - 13*x**2 + 4. Let i(g) = -8*f(g) - 5*t(g). Let d be i(7). Suppose -d*b + 37 = -27. Solve b = 3*u + u for u.
4
Let x(f) = 2*f - 10. Let q be x(6). Solve q*i + 2 = 4*i for i.
1
Let n be (-84)/(-8)*8*1/6. Solve 1 = 3*w - n for w.
5
Let u(j) = -6 + j**3 - j - j**2 + 4*j**2 + 3*j**2. Let g be u(-6). Solve 0 = 3*b - g*b + 9 for b.
-3
Let o(q) = q**3 + 10*q**2 + 9*q - 10. Let d be o(-9). Let y(g) = -g**2 - 9*g + 7. Let r be y(d). Let w be 0 + r - (5 + -8). Solve -n + w = -4 for n.
4
Let j be (-2)/6 + 14/6. Suppose -w = -j*w. Solve w = -n - 0*n for n.
0
Let f = 6 + -6. Solve -20 = 4*g - f for g.
-5
Let n be 5/(5/(-2)) + 242. Let r be (2/(-3))/((-8)/n). Suppose 4*b = -r, b = -0*c + 3*c - 23. Solve -5*u - c = 9 for u.
-3
Let p be 18/(-4)*66/(-9). Let m = p - 22. Suppose -c - c - m = -3*z, 4*z - 10 = -2*c. Solve y = z*y for y.
0
Let c = 91 + -82. Solve 2*o - c = 5*o for o.
-3
Let n(i) = -i**2 + 20*i - 16. Let v be n(19). Solve 0 = -2*a + v + 7 for a.
5
Let q(f) = 7*f + 3. Let i be q(5). Let a = i - 18. Suppose -5*n = -a + 5. Solve -n*j = j - 4 for j.
1
Let i be (-6 - -4) + 14/2. Let x be 1 + 2 - (-2 + 3). Suppose 12 = x*u + u. Solve i*j + 21 = -u for j.
-5
Let a(f) = -f**3 + 9*f**2 + 11*f - 1. Let u be a(10). Let l be u/6*(-12)/(-6). Solve -20 = -l*g - 5 for g.
5
Suppose -2*u - 7*p + 37 = -2*p, 3*p = -5*u + 45. Suppose -k = -u*k. Let x be -6 - (-3 + k) - -6. Solve c - 4 = -x for c.
1
Suppose -3*r - 40 = 2*r. Let y = 11 + r. Solve 4*v - y*v = 5 for v.
5
Let g(r) = -2*r**3 + 4*r**2 - 2*r + 2. Let b(i) = -3*i**3 + 5*i**2 - 3*i + 2. Let q(d) = 3*b(d) - 4*g(d). Let w be q(-2). Solve -w*c + 2 = 10 for c.
-2
Suppose -3*f = -8 - 19. Let b = 61 + -59. Solve l + b*l = f for l.
3
Let d(c) = -c - 1. Let f(m) = 6*m + 2. Let r(g) = -5*d(g) - f(g). Let k be r(0). Let b be (-6)/(-9)*k - -1. Solve -4*z + 5 = -b for z.
2
Let n(o) = -o**2 + 8*o - 6. Let g be n(6). Suppose -5*c = -53 + 43. Solve -g = c*a - 0*a for a.
-3
Let c be (14 - -2)/(3/6). Let o be c/14 - (-2)/(-7). Solve 3*f + o + 7 = 0 for f.
-3
Let p = 4 - 0. Let w(l) = -l + 5 + 0 + 1 + 3. Let z be w(p). Solve 3*d - 4*d = -z for d.
5
Let p be -1*((4 - 3) + -1). Suppose p = -0*o - o. Solve 0 = -j - o*j for j.
0
Let n(b) = b**2 - 4*b - 4. Let r be n(6). Solve -2*k - 2*k = -r for k.
2
Suppose 45 = -8*h + 197. Solve -h = 5*i + 6 for i.
-5
Suppose -4*q + 4 = -36. Let k = q - 10. Solve k = t + 4 for t.
-4
Suppose 45 = q + 4*q. Suppose 0*c + 5*p = 2*c - 5, -5*p - 5 = 2*c. Let w = q - c. Solve -3 - w = 3*l for l.
-4
Suppose -h - 1 = -3*o, o - 43 = 3*h - 8*h. Solve y + h = 3*y for y.
4
Suppose -5*m + 20 = -7*m. Let v = 20 + m. Solve w + w = -v for w.
-5
Let n = -62 - -67. Solve n*y + 2 = -3 for y.
-1
Let b be 187/33 - (-2)/6. Solve -5*w = -b*w for w.
0
Let s = 1 - 1. Let v = 1 - 0. Solve s = f + v for f.
-1
Let o = -18 - -22. Let c = 10 - o. Solve 3*p - c*p - 12 = 0 for p.
-4
Suppose -h + 14 = 3*i + 4, 3*h - 2*i + 3 = 0. Let r be 1/(-2)*2/(-1). Let y be 0 - (-6)/2*r. Solve -y - h = 2*j for j.
-2
Suppose 12*w - 12 = 8*w. Solve -w - 2 = -5*t for t.
1
Suppose 2 = -6*r + 10*r + 2*j, -4*j - 17 = r. Solve r*m - 16 = -m for m.
4
Let t(h) = -4*h + 2*h - 8 + 3*h. Suppose -2*o - 2 = -b, 0 = 2*o - 3*o + 3. Let f be t(b). Solve p + 1 = -f for p.
-1
Let d be (3*10/(-15))/(1/(-2)). Solve 2*q + 0 - d = 0 for q.
2
Let o(d) = d**3 + 4*d**2 - 2*d - 4. Let b be o(-4). Solve -b*q = -14 + 2 for q.
3
Suppose -2*t + 8 = 2*s, -2*t - 2*t = 0. Suppose -s*d + 6 = -6. Solve -3*v - d = -2*v for v.
-3
Let k = 17 + -5. Suppose 5*n - k = 2*n. Solve -1 = -n*t + 3 for t.
1
Suppose -14 + 4 = -y + 2*b, -4*b = -4*y + 24. Let f = 0 + y. Solve f + 1 = -3*x for x.
-1
Suppose -5*x + 5*c - 13 = -x, -12 = 3*x - 3*c. Let g = 12 + x. Solve g*o - 25 = -0*o for o.
5
Suppose -8*q + 37 = 13. Solve -q*f - 9 = -0*f for f.
-3
Let c(a) = a**3 + 8*a**2 - a - 5. Let o be c(-8). Suppose 27 = o*g + 9. Solve -g = k + k for k.
-3
Suppose -2*w + 2*r - 2 = -0*r, 0 = -r + 5. Solve 2*o = w*o + 6 for o.
-3
Let h be (0/(2/(-2)))/(-2). Suppose -3*r + h*r + 18 = 0. Solve -2 = 2*y - r for y.
2
Let k = 4 - 5. Let x(b) = 5*b**2 + 1. Let c be x(k). Solve -c - 3 = 3*o for o.
-3
Let b(m) = -m**2 - 7*m + 3. Let z be b(-7). Suppose z*h - 4*i = 9, -h - 4*i - 1 = 12. Let u = h - -9. Solve g + u = 3*g for g.
4
Suppose -4*p + 3 + 9 = 0, -4*p = 5*g - 27. Let b be -3 - (g + -2 + -6). Solve -d - 3 = -b*d for d.
3
Let f(y) = 0*y - 2*y + 6 + 4*y - y. Let t be ((-4)/(-6))/((-2)/18). Let m be f(t). Solve -n - 3*n - 4 = m for n.
-1
Suppose 4*w - 7*w = -6. Suppose -5*s = -w*s. Solve s = -d - 2*d + 15 for d.
5
Suppose -5*g - j - 3*j + 16 = 0, 0 = 4*g + 2*j - 14. Suppose -18 = -s + 3*i, -g*i - 6 - 20 = -2*s. Solve 4*k + 4 = s*k for k.
-4
Let f(b) = b - 11. Let p be f(14). Let o = 7 - 0. Let r(u) = -u + 1. Let s be r(1). Solve s = t + p - o for t.
4
Let t(u) = u**3 + 4*u**2 + 3*u + 4. Let n be t(-3). Let a = 0 - -3. Suppose 3*s + 4*o = 11, -4*s + o = a*o - 8. Solve n*d = s + 3 for d.
1
Suppose -2*d - 5*x = 0, -4*d + 3*d - 2*x = -2. Suppose -2*o = 3*o - d. Suppose 5*h - 3*h + 2 = -f, -4*h = 8. Solve o*l + 20 = -f*l for l.
-5
Let b = 34 - 30. Solve 0 = -0*h - b*h - 8 for h.
-2
Let k(p) be the second derivative of 0 + 0*p**2 - 3*p - 1/6*p**3 - 1/12*p**4. Let d be k(-1). Solve 8 + d = -4*g for g.
-2
Let h(g) = g**3 + 4*g**2 - 3. Let n be h(-3). Let x(t) = -t + 4. Let f be x(13). Let i = f - -12. Solve 6 = -n*k + i*k for k.
-2
Let x be 50/13 + -1 + 6/39. Solve 5*r - x*r - 6 = 0 for r.
3
Let j be -5*(1 - 7/5). Let b(i) be the second derivative of i**4/6 - i**3/2 + i**2/2 - 2*i. Let u be b(j). Solve -t - u = -4*t for t.
1
Suppose -5*n + 24 = -n. Suppose -u + n = w + u, -u = 1. Let h(i) = -i + 12. Let j be h(w). Solve j = -3*z - z for z.
-1
Let c = -7 + 11. Solve -u + 3 = -c*u for u.
-1
Let l = 4 - 2. Let o(j) = 2 + 24*j**2 - j - 51*j**2 + 26*j**2. Let i be o(-2). Solve i = -l*r + 6*r + 20 for r.
-5
Let g(h) = -h + 3. Let l be g(0). Let t be (l/(-4))/((-1)/4). Solve 2*k - t - 1 = 0 for k.
2
Let r(t) = 2*t**3 + 7*t + 6. Let j(o) = -o**3 + o**2 - o - 1. Let y(b) = 3*j(b) + r(b). Let f = -4 - -8. Let u be y(f). Solve 0*c - c = u for c.
-3
Let q be (-5)/15 + 2/6. Solve k = -q + 5 for k.
5
Let j = -57 - -59. Solve v + 3 = -j for v.
-5
Let t be (-12)/(-10) - 2/10. Suppose -5*l + 24 = 4. Solve -l + t = -i for i.
3
Suppose 4*b = w + 3*b + 6, 0 = -4*w - 3*b - 3. Let v(d) = -2*d - 4. Let s be v(w). Solve 13 = -3*m - s for m.
-5
Let s(z) be the third derivative of -z**6/120 - z**5/60 + z**4/24 + z**3/6 - 4*z**2. Let n be s(0). Solve 2*j = -n - 9 for j.
-5
Let t = 9 + -1. Suppose 4*s + s + 25 = 0. Let b = -3 - s. Solve t + b = 5*h for h.
2
Let b be 0 + (3 + -2 - -2). Solve z + b = 7 for z.
4
Let l = -8 - -4. Let t be (20/8)/((-2)/l). Solve 0 = -5*k - 5 - t for k.
-2
Let v(b) = 3*b**2 - 4*b - 1. Let y be v(3). Suppose 0 = 2*a - y. Solve 2