o**2 + o - 1. Let x be i(8). Solve -11*k = -x*k for k.
0
Let t be ((-14)/(-2) - 2) + 3. Suppose -b = -t + 6. Solve r - b*r = 0 for r.
0
Let c be 0/(2 - (-1 - -1)). Suppose -4*r - 23 + 107 = c. Solve 5 - r = 4*g for g.
-4
Let q(p) = 20*p**2 + 1. Let d be q(-1). Let i(s) = -s**2 + s + 3. Let h be i(-3). Let f be (3 - -3)/((-6)/h). Solve -d + f = 3*y for y.
-4
Let t(c) = -c**2 - 8*c + 11. Let u be t(-9). Solve u = 2*f - 2 for f.
2
Let o(k) = k**2 - 6*k + 5. Let q be o(5). Let r = 1 + -2. Let v(z) = -3*z**3 + z**2. Let d be v(r). Solve -d*g + 0*g = q for g.
0
Suppose 0 = 4*t - 32 + 4. Let x(p) = -2*p - 18. Let b be x(-13). Suppose 2*l + 4 = b*u - 4*u, 4*u = -3*l + 24. Solve -l*m = -t*m + 12 for m.
4
Let b = 12 + -15. Let z = b + 8. Solve 4*r = z*r for r.
0
Suppose -5*g + 3 + 0 = 4*u, 3*g + 5*u = -6. Suppose g*f + 1 = 7. Let w = f + 0. Solve -w*h - 2*h = 20 for h.
-5
Let c = 2 + 0. Solve c*p + 5 = 3*p for p.
5
Suppose 0*g = -7*g. Solve 3*i + 0*i + 9 = g for i.
-3
Let t(o) = -4*o - 54. Let y be t(-14). Solve y*n + 3 = n for n.
-3
Let q = -8 + 8. Let b(x) = -x - 1 + x**2 + x**3 - 2*x**2 + q*x**2 + 4*x**2. Let h be b(-3). Solve h*m - 1 = -7 for m.
-3
Suppose -40 = -53*f + 48*f. Solve 8*d - 4*d - f = 0 for d.
2
Suppose -5*g + 0*g + 20 = 0. Solve 0 = 4*n + g for n.
-1
Let g be (0/(-1) + 0)/(-1). Suppose a - 4 = -3. Suppose -1 = -y + t, 0 = -4*y - 0*y + 5*t + a. Solve -5*f - y - 6 = g for f.
-2
Suppose -5*v = -5*u + 25, 6*u - 2*v - 17 = 3*u. Suppose -10 = s + d, -2*s + s = -d + 14. Let o be (-4)/s*3*19. Solve -3*f + o = u for f.
4
Let v be (1/2)/((-2)/(-40)). Suppose 0*j + v = 5*j. Solve 2*q = -j*q - 12 for q.
-3
Let t = -30 - -32. Solve -t*z = -z for z.
0
Suppose k - 2*k + 7 = 4*q, 4*q - 9 = k. Solve q*g + 1 - 5 = 0 for g.
2
Let k(b) = b**2 + 2*b + 4. Let c be 4/5*5/(-1). Let z be k(c). Suppose -5*h + 35 = 5*s, -5*s + s = -3*h - 7. Solve -s*q + z = -8 for q.
5
Let v = 20 + 0. Suppose -5*f + 2 = -2*k - 13, 4*f = v. Let q = 13 - k. Solve b + b = -q for b.
-4
Suppose 3*v + 0*v = -9, -3*m - v = 3. Solve m = 3*a - 0*a - 12 for a.
4
Let o be 2 + -1 + -2 + 6. Suppose -3*k - 2*d - 14 = -7*k, 4*k - 4*d - 20 = 0. Solve 7*h = k*h - o for h.
-1
Let m = -2 - -3. Suppose -4 + m = -3*j. Suppose j = -o - 0, -3*o + 9 = 4*y. Solve 0 = -y*d + 6*d + 12 for d.
-4
Let s = 17 - 20. Let p be 1 - 0*s/(-6). Suppose -5*u = -5*q + 15, -2*u + 4*q = 11 + 3. Solve f = -p - u for f.
-2
Let m be 3*-1*(-1 - 0). Solve 3*k + m = 6 for k.
1
Suppose 2*g = 5*l - 2*g - 42, -2*g + 4 = 0. Solve -3*p = -l + 4 for p.
2
Let d(l) = l**3 - 6*l**2 - 7*l + 6. Let x be 9/(9/3) - 3. Suppose x = -p - 4*p + 35. Let a be d(p). Solve a*r - r = 10 for r.
2
Let x(q) = q**2 + q. Let o be x(-1). Solve o = y + y + 2 for y.
-1
Let f(d) be the first derivative of d**3/3 - 7*d**2/2 + 7*d - 2. Let o be f(7). Let y(x) = x**3 - 7*x**2 + x - 7. Let l be y(o). Solve -4*g - 8 - 4 = l for g.
-3
Let p be (12/14)/(310/140 + -2). Solve -p*x + 6 = 2 for x.
1
Let l = 8 + -5. Suppose -v - 2*z = -2*v + 44, -3*z = -l*v + 144. Suppose 3*j - v = -16. Solve k = -3*k + j for k.
3
Let t be 15 - (0 - (1 - 1)). Suppose t = -h - 5*f, -3*h + 0*f + 2*f = -23. Suppose -a = -h*a. Solve -4*o - 12 = -a*o for o.
-3
Suppose 46 = -5*t + 3*u, 0*t = -5*t - 5*u - 70. Let y = 7 + t. Let n = 1 - y. Solve -4*q - 11 = n for q.
-4
Let r = -53 + 55. Solve -r*j = j - 6 for j.
2
Let b be (-1 + 1)/(1 - 0). Solve z = -b + 5 for z.
5
Let u(h) = 7*h**2 - 2*h + 1. Let o be u(1). Suppose -2*c - 3*a = -13, -2*c - 5*a = -9 - o. Solve -4*w = -9*w + c for w.
1
Let j(h) = h**3 + 3*h**2 - 3*h - 7. Let o be j(-3). Solve o*g = 4*g + 10 for g.
-5
Let c be 46/8 - 3/4. Solve 0 = -c*v + 7 + 8 for v.
3
Let o = 25 - 20. Solve 0 = -b - o for b.
-5
Let l be 3 - (0 + 3 + -5). Suppose -l*o = -o - 16. Solve o*t - 25 = -t for t.
5
Let k = -22 + 37. Let q(a) = -a**3 + 7*a**2 + 8*a + 3. Let w be q(8). Suppose w*d + 0 = 6. Solve o - k = -d*o for o.
5
Suppose -5*w - 11 = 3*b + 29, -2*b + 2*w = 0. Let l be b/2*10/(-25). Solve 2*d = l + 3 for d.
2
Let a = -5 + 7. Solve a - 1 = -c for c.
-1
Suppose -5*w - 2 = -12. Let o = 7 + -5. Let l be ((-3)/o)/((-9)/12). Solve -w*b = l*b - 20 for b.
5
Suppose x + 4*u + 16 = 0, 2*x - 3*u + 4*u + 18 = 0. Let m = -5 - x. Solve m = r + 4 for r.
-1
Suppose 2*v = 1 - 11. Let h be 2 + v + 3 + 2. Let o(q) = 6*q - 5. Let k be o(5). Solve -7*u + k = -h*u for u.
5
Let g = -1 - -6. Solve -2*q = -g*q for q.
0
Let m = 14 - 8. Suppose -4*k + 22 = i, 2*i + 7*k - 24 = 4*k. Solve i*u - m = 3*u for u.
2
Let f(r) = 5*r - 7*r - 4 + 0*r**2 + 2*r**2. Let l be f(3). Suppose 0 = -l*m + 3*m + 60. Solve -2*d - 2*d - m = 0 for d.
-3
Let p(t) = 5*t - 10. Let m be p(5). Solve -z = 4*z + m for z.
-3
Let o be ((-15)/20)/(2/(-16)). Suppose -7*i + 7 = -o*i + 3*v, 54 = 4*i - v. Suppose -3*r + 15 = 0, t + r = -3*t + i. Solve -a - t = 3 for a.
-5
Let u = 2 + -2. Suppose 3*v - 2*g + 3*g = -2, 2*v - g - 2 = u. Suppose -4*r + v*m - 5*m + 6 = 0, 2*r - 12 = 2*m. Solve r*z + 2 = -6 for z.
-2
Let r be (-78)/(-15) - (-1)/(-5). Suppose -2*a = -2*v - a - 1, 0 = 5*v + 5*a - r. Suppose v = -4*g + 23 + 5. Solve 0 = -5*x + 2 - g for x.
-1
Suppose -7 = -3*q + s, 3*q + 1 = 5*s - 0. Solve -2*o = q*o for o.
0
Let j be (-4)/(-6) - (-16)/(-24). Let x = j - -3. Solve -x*t = -5*t + 10 for t.
5
Suppose 0 = -9*m + 20 + 25. Solve -1 + m = v for v.
4
Let j = 1 - -1. Suppose 2*i + 5*g = 43, -4*g = -8 - 12. Suppose -3*s = -3 - 0. Solve -j*x - i = -s for x.
-4
Suppose -5*o = -2*o - 36. Let l = -10 + o. Solve 3*x = -l*x for x.
0
Let h be ((-3)/1 - 0) + -5. Let j(r) = -r**3 - 9*r**2 - 9*r - 5. Let c be j(h). Solve -3 + 9 = c*o for o.
2
Let r(q) = q**2 - 2*q + 1. Let x be r(3). Suppose -2*i - 2 = 4*c, 4*i + 5 = x*c - i. Let t be -1 + c + 1 + 0. Solve 4*u = -t*u + 12 for u.
3
Let m(l) = -l**2 + 5*l + 4. Let h(u) = u**3 - 4*u**2 - 4*u. Let o be h(5). Let y be m(o). Solve 0 = -y*a - a + 20 for a.
4
Let b(c) = -c**3 + 0*c**3 - 1 - 10*c**2 + 0*c**3 - 10*c. Let y be b(-9). Solve k + k - y = 0 for k.
4
Let n(y) = -y - 1. Let i be n(-4). Let v = 3 - i. Solve -4*c + c = v for c.
0
Suppose -2*n - 2*p = -5*n + 12, 0 = 2*p. Solve 0*x = -n*x - 16 for x.
-4
Suppose g - 68 = -4*n, 0 = -3*n + 5*g + 21 + 7. Suppose -w - w = -n. Solve -a - a - w = 0 for a.
-4
Suppose 19 = -4*h + p, h - 3 = 3*p - 5. Let j(u) = -u - 3. Let b be j(h). Let a(k) = k**3 - 2*k**2 + 2. Let i be a(b). Solve o = -o + i for o.
1
Let u(z) = -z**3 - 5*z**2 - 4*z + 5. Let h be u(-4). Suppose 0*f = f - h. Solve -f = -3*n + 10 for n.
5
Let g be (1 - (0 - 0))*5. Suppose -21 = -2*i - 3*o, -i - 5*o + 3 = -25. Suppose -i*f + 4*p = -28, -3*p + 0*p = 3*f. Solve -g = f*c + 3 for c.
-2
Let l(r) = 4*r**2 - r - 1. Let q be l(-1). Solve q*b - 3*b = 2 for b.
2
Let z be (1 - 4)/((-3)/2). Let b(j) = j**2 + 6*j - 14. Let a be b(-8). Solve a*q + 8 = -z for q.
-5
Let m(i) = 4*i + 5. Let l be m(-2). Let d be (0 + l)*4/(-6). Solve d*g - 7*g = 0 for g.
0
Let s = 35 - 35. Solve s*u = 4*u - 12 for u.
3
Suppose 1 + 20 = -3*k. Let b = 9 + k. Solve f - 1 = b*f for f.
-1
Let f = 3 - -3. Let g(a) = a**2 - 7*a + 9. Let m be g(f). Solve -m + 6 = -3*d for d.
-1
Let s be (3/6)/(2/8). Suppose 16 = s*g + 3*m + m, 0 = 4*g - 3*m + 12. Solve g = 2*v + 1 - 11 for v.
5
Let t(g) be the third derivative of 0*g + 1/60*g**5 + 2*g**2 + 1/120*g**6 + 0 + 1/24*g**4 + 1/2*g**3. Let x be t(0). Solve -3 = x*u - 6 for u.
1
Let k(w) = -w**2 - 9*w - 9. Let g be k(-7). Let f = g - 1. Suppose -16 - 14 = -5*q - 4*m, -f*q - 3*m = -24. Solve 4*r = 14 - q for r.
2
Let v = 8 + -8. Suppose f = -v*f. Suppose -3*y - 6*o = -o - 27, f = -2*y + 5*o - 7. Solve 12 = 2*c + y for c.
4
Let c(g) = g**3 + 6*g**2 - 15*g + 11. Let y be c(-8). Solve 3*r + y - 18 = 0 for r.
5
Let t = 8 - -9. Suppose 3*c - t = 7. Solve 5*n - c = 17 for n.
5
Let u(l) be the second derivative of -l**4/12 + l**3/6 - 3*l. Let q be u(0). Solve q*c + 1 = c for c.
1
Let c(w) be the second derivative of -w**3/3 + w**2 - 9*w. Let j = 3 - 6. Let m be c(j). Solve 0*h = -2*h + m for h.
4
Let p(k) = -k**2 - 8*k. Let x be p(-8). Suppose 3*j + 5*y = -x*j - 4, 4*j + y = 6. Let g = 44 + -26. Solve g = -4*s - j for s.
-5
Suppose -a - 5*j + 4 = -5, -3*a + j + 11 = 0. Solve a = -k + 1 for k.
-3
Suppose 1 - 5 = -g. Suppose -5*z = g*n + 4 + 2, 2*z + 5*n = -16. Solve -z*r = -6*r 