t). Solve -f*v = -4*v for v.
0
Suppose 4 = 3*t - 2*f, 2*t + 2*f = 2 - 6. Let h be (2*2)/(t + 2). Suppose -u + 21 = 4*p, 4*u - 2*p = 7*u - 23. Solve -3*a - u = h*a for a.
-1
Suppose 0 = -2*p - 5*k + 21, 3*p - 28 = -3*k - 10. Suppose -5*d + 15 = t, -p*d = -5*d - t + 9. Solve -5*f = -d - 8 for f.
2
Let c = -2 + 2. Suppose a + 20 = 5*n, -21 = -3*n - 4*a + 14. Solve 0 = -c*u - u + n for u.
5
Let d = 43 - 39. Solve u + d*u = -10 for u.
-2
Let l(y) = -2*y - 2. Let k be l(-5). Let r be k/12*3*2. Suppose 14 = 3*a + 2*g + 1, 0 = r*a + g - 19. Solve -12 = -a*w + w for w.
3
Suppose 2*h = 16*h. Solve h = 3*o - 4 + 7 for o.
-1
Let m(h) = -h. Let d be m(6). Let l = -16 + 10. Let p = l - d. Solve p*j - 20 = 5*j for j.
-4
Let d be 6/4*(-4)/(-3). Suppose 2*g + 5 = d*j - 5, -15 = -5*g. Let t = j - -4. Solve -4*v + 0 = t for v.
-3
Suppose 4*y - 28 = -4*j, 2*y + 4*j - 27 + 5 = 0. Suppose 0 = -3*u + 3. Let m be u + (-1 - -2 - 0). Solve -d + y = m for d.
1
Let a(k) = -2*k**2 - 4*k - 2. Let v be a(-2). Let c = 2 - v. Solve -9*d - 20 = -c*d for d.
-4
Let j be (-4)/(-18) - (-56)/(-9). Let q be j/(-21) + 225/21. Solve -5*r + 14 = -q for r.
5
Suppose -10 = -2*q - 0*q. Solve q + 1 = -2*k for k.
-3
Suppose -2*n = 2*n - 4. Let j be (7/(-28))/(n/(-8)). Solve -c = j*c for c.
0
Let y(z) = -z - 1 + 12 + 2*z. Let o be y(-8). Let d be 6 + 0 - (o - 5). Solve 0 = 2*n - 4*n - d for n.
-4
Let c be ((-27)/6)/((-21)/28) - 0. Solve -c*s + 3*s - 12 = 0 for s.
-4
Suppose 4*c - 5*c = -1. Solve -8 - c = 3*f for f.
-3
Suppose 4*t - 5*t - 3*n - 7 = 0, -3*n - 12 = 0. Suppose 14 = 4*f - 3*w, -4*w - t - 7 = -2*f. Solve a + f = 3*a for a.
1
Let g(r) = r**3 + 14*r**2 + 12*r - 2. Let n be g(-13). Solve -n = 2*i - 1 for i.
-5
Let n be 0 - -2 - 3 - -2. Let m be -21 - (2 - (n - -1)). Let v be 1*-1 - m/3. Solve v - 26 = -4*a for a.
5
Suppose 88 = 4*d - 24. Let z be 92/d + (-2)/7. Solve 0 = t - z for t.
3
Let a be -2 + ((-6)/2)/3. Let n = a - -5. Solve -15 = v + n*v for v.
-5
Suppose -2*c + 9 = 5. Solve -c - 2 = -u for u.
4
Suppose 4*n + b - 6 - 17 = 0, -3*n - b + 18 = 0. Solve -n*x = -x + 12 for x.
-3
Let o(u) = u**3 - 7*u**2 + 7*u - 5. Let f be o(6). Suppose -q = -5*q + 8. Suppose -r = q*r. Solve r*g + f = -g for g.
-1
Let p be (-1)/(-2)*4 - 2. Solve 2*o + 2 = -p for o.
-1
Let f(s) = -s**2 - 8*s - 4. Let p be f(-7). Solve -p*w + 2*w = 0 for w.
0
Let o = -33 + 46. Let u = 18 - o. Suppose -3*r = 2*r - u. Solve -g + 0*g = r for g.
-1
Let p(w) = w - 3. Let b be p(6). Let u = b - -2. Solve u*j - j = -20 for j.
-5
Let l be (-4)/10 + 30/75. Solve 2*x + 0*x = l for x.
0
Let j = 291 + -150. Let z be j/27 + 6/(-27). Solve z = 5*s - 5 for s.
2
Let q(c) be the first derivative of c**2 - c - 2. Let p be q(5). Solve 0 = 3*s + p + 3 for s.
-4
Suppose -n + 4*n = 0. Let w be (1 + 2)/(n - -1). Solve -2*q = w*q - 5 for q.
1
Let o = -6 + 4. Let j be ((-25)/o)/(2/4). Let d be (6/(-15))/((-1)/j). Solve -6*z + d = -z for z.
2
Let j(i) = -i**3 + 8*i**2 + 8*i + 11. Let t be j(9). Suppose t*f + 3*g + 9 = 0, -g - 17 = f + 3*g. Let x = 0 + f. Solve 25 - 10 = x*w for w.
5
Suppose -16 = -3*m + 17. Let l = -6 - -10. Solve -9 - m = -l*u for u.
5
Let j be 0/(6/(2/1)). Suppose 2*z + z - 9 = j. Solve -5 = l - z for l.
-2
Let d = 26 + -23. Solve -2*b = b - d for b.
1
Let m(o) = -o - 1. Let k be m(-6). Suppose 3*h + 35 = k*w, 0*w + 4*h + 28 = 2*w. Let r = w - 4. Solve r = -y + 6*y - 10 for y.
2
Let d(a) = -6*a**2 - a. Let p be d(-1). Suppose 4*r - 4*s + 16 + 12 = 0, 25 = 5*s. Let h = r - p. Solve h*n = -6 - 3 for n.
-3
Let o = 32 + -27. Solve 0 = -o*l + 5 - 30 for l.
-5
Let c(y) = -5*y + 11 + 6*y - 2. Let d be c(-8). Solve 1 = -g - d for g.
-2
Suppose 5*b = -r + 48, 2*b + 5*r + 6 = 16. Suppose -4*f = -2*c + 30, 0 = -2*f - 3*f - b. Solve -4*j - c - 5 = 0 for j.
-4
Let a(h) = -h**3 - 6*h**2 - h - 3. Let s(l) = l**2 - 12*l + 14. Let g be s(10). Let v be a(g). Solve -3*o = -2*o + v for o.
-3
Let v(i) = -i**3 - 5*i**2 - 5*i - 1. Let b be v(-1). Solve b*p = -p + 5 for p.
5
Let z = -2 + 5. Let d(x) = x**2 - 5. Let f be d(z). Solve -4 - 12 = f*t for t.
-4
Let t(p) = -p**3 - p**2 + 3. Let f be t(0). Solve -f*r - r - 16 = 0 for r.
-4
Let g = 1 + -16. Let m = -12 - g. Let w(p) = 2*p**2 - 4*p - 1. Let o be w(3). Solve 0 = 2*n - m*n - o for n.
-5
Let w(j) = -2*j - 7. Let x = -11 + 6. Let f be w(x). Let m = 1 + f. Solve m*g - g + 6 = 0 for g.
-2
Let i(o) = -o**3 - 7*o**2 + 9*o + 8. Suppose -3*y = -g - 2*g - 30, -4*g - y - 30 = 0. Let c be i(g). Solve 6*j - 3*j - 9 = c for j.
3
Let o(c) = -4*c + 9. Let t be o(2). Solve 2*f - f - t = 0 for f.
1
Suppose 5*y - 3*y = 4. Solve y*b = 4*b + 8 for b.
-4
Let c(j) = -j + 7. Let q(i) = -7*i**3 + 2*i**2 - 1. Let v be q(-1). Let h be c(v). Let y = -1 - h. Solve y*z - z + 1 = 0 for z.
1
Let i(o) = -o**3 - 6*o**2 + 6*o + 5. Let j be i(-7). Let s(c) = c**3 - 11*c**2 - 11*c - 10. Let u be s(j). Suppose p = 4 - u. Solve -4*z = -p*z - 4 for z.
2
Let m be 6/(-5)*20/(-8). Solve 0*x = -x - m for x.
-3
Let k = -66 - -66. Solve k = -3*n + 3 for n.
1
Let v be (-3 - -9) + -2 + -1. Let o be (-2)/8*2*-2. Let z = o + 2. Solve z - 18 = -v*d for d.
5
Suppose 5*b - b = -72. Let f = b - -38. Solve f + 0 = -4*a for a.
-5
Let r(u) = u**3 + 9*u**2 + 5*u - 8. Let a be r(-8). Let j = a - 11. Solve -x = -0*x - j for x.
5
Let o be ((-2)/3)/(2/(-9)). Solve -o = p + 1 for p.
-4
Let r = -2 + 10. Let o = r + -6. Suppose 0 = 4*t + 5*s + 5, o*t + 5*s + 2 = -3. Solve m = -t*m for m.
0
Suppose -4*t - 12 = 2*k, -5*k + 2 = -10*k - 3*t. Solve -k = -j + 1 for j.
3
Let u(y) = -y**2 - 10*y - 7. Let j be (-8)/(-36) - (-249)/(-27). Let n be u(j). Let m be (-4)/(-6) - n/(-6). Solve q + m = 5 for q.
4
Let b = 5 + -4. Let t(z) = -4*z - 7. Let q(x) = -2*x - 4. Let y(c) = 7*q(c) - 4*t(c). Let d be y(b). Solve -o + 0 - d = 0 for o.
-2
Suppose -i + 3 - 1 = 0. Solve -i*q - 7 + 5 = 0 for q.
-1
Let u be 6/(-4*2/(-20)). Let n = -14 + u. Solve 2*r - 1 - n = 0 for r.
1
Let z(d) = -d**3 - 4*d**2 - 4*d. Let k be z(-2). Suppose k = -2*a + 3*a. Solve 7*h - 3*h - 8 = a for h.
2
Suppose 2*m = j + 3, -3*m = -j - j - 2. Suppose c - 1 = m. Suppose 32 = c*x + 2*u, 4*x = -0*x - 2*u + 26. Solve -6 = 3*k + x for k.
-4
Let j(v) = -v**2 + 4*v + 2*v + 2 - 4 - v. Let o be j(4). Solve o + 13 = 5*d for d.
3
Suppose -27 = -5*d + 2*r + 23, -28 = -d + 4*r. Solve -3*l = 1 + d for l.
-3
Suppose 0 = 3*c + 3*f - 6, 5*c - 20 = -2*f - 4. Suppose -c*h = -h. Suppose b - 14 = -0*a + 3*a, h = -3*b + 5*a + 38. Solve 5*m + 4 + b = 0 for m.
-3
Let f be (-2 + -2)*(-10)/4. Let j be (-12)/(-3) - 2 - -3. Suppose 2*l = 2*d - 8, j*l = -7*d + 2*d + f. Solve 2*x + 5 = d*x for x.
5
Let r(k) = k + 65. Let s be r(0). Suppose -3*p + s = -8*p. Let y = -9 - p. Solve 0*g - y = -g for g.
4
Let n = 13 + -9. Suppose u - 6*u - 40 = 0. Let b = -6 - u. Solve -b*a + 2 = -n for a.
3
Let o(g) = -g**3 + 4*g**2 - 2*g + 3. Let h be o(3). Solve -3*d = -h*d - 3 for d.
-1
Let j(t) = -3*t + 9. Let i be j(4). Let w(u) = -2*u - 3 - 3*u + 1 - 4*u**2 - u**3. Let f be w(i). Solve 1 = l - f for l.
5
Let s(b) = b**2 - 4*b + 6. Let c = -1 + 7. Let h be s(c). Solve -4*f + 2 = -h for f.
5
Suppose -2*m = -m + 3, 99 = 5*i + 2*m. Solve -1 = -5*f - i for f.
-4
Let u(i) = i**2 + 2 - 34*i + 2 + 21*i + 18*i. Let g be u(-5). Solve g*d = 18 - 2 for d.
4
Let q(w) = w**3 - 7*w**2 + 7*w - 4. Let u be q(6). Suppose 5*b = 3*x + 23, 2*b = x + u + 7. Solve -8 = -m - b for m.
4
Let i be (-2)/6 - 26/3. Let y = i + 16. Solve -4*t + 9 + y = 0 for t.
4
Let c = 15 - 10. Solve -c + 1 = -4*b for b.
1
Suppose -5*z + 2 + 3 = 0. Solve 3*y - z = 14 for y.
5
Let n(d) = 3*d - d - 3*d + 1. Suppose 4*k = -2*j - 18, -3*k + j = -4*k - 7. Let b be n(k). Solve -4*t + 1 = -b for t.
1
Let u(q) = -q + 13. Let b = 31 + -20. Let j be u(b). Solve 2 = 2*f - j for f.
2
Suppose -6*x - 3*l = -3*x - 15, -5 = -x - 5*l. Suppose 3*o + y = 2*y + 73, -5*o + 123 = -2*y. Suppose x*a = -o + 98. Solve q + a = 4*q for q.
5
Suppose -2*d + 20 - 2 = 0. Suppose d*l = 5*l. Solve l*w = -w - 5 for w.
-5
Let n be 24*(2 + 1/(-1)). Solve 8 = -4*o + n for o.
4
Let m be (-4)/(-1)*(-24)/(-32). Suppose -q - 5*z = 12, -2 = m*q - 3*z - 20. Solve 0 = v - q + 6 for v.
-3
Let m(h) = -h**2 - 2*h + 25. Let w be m(4). Solve 0 + w = -q for q.
-1
Let j(k) = 2*k**2 - 4*k - 4. Suppose -4 = -2*o - 2*c - 2, -3*o = -c - 15.