 be k(9). Solve 0 = -i + g*i - 5 for i.
1
Suppose -2*o + 18 = 12. Solve -w = -o*w for w.
0
Let n be 2*(-2 - (-1 - 3)). Let i = n - 2. Solve -i*z + 5 = 1 for z.
2
Let m(f) = -3*f - 12. Suppose 3*h + d + 39 = -2*d, 0 = -5*h - 4*d - 60. Let u be m(h). Solve 4*i = i + u for i.
4
Suppose 2*b = -0 + 10. Let c(x) = x + 2. Let q be c(b). Let h(v) = v + 3. Let u be h(q). Solve t + u = -t for t.
-5
Let p(i) be the first derivative of i**2/2 + 8*i - 1. Let m be p(-7). Solve 4*l = -m + 21 for l.
5
Suppose 4*y = 4*s + 8 + 24, 1 = 2*y + s. Solve y = -0*w - 3*w for w.
-1
Suppose 0*y + 15 = 3*y. Suppose -y*c = -c - 12. Solve c*n = 2*n + 2 for n.
2
Let i(v) = v**3 - v**2 - 3*v + 2. Let p be i(2). Let o be (150/9)/(3/9). Suppose -3*k + o = 2*k. Solve -2*t + p*t = -k for t.
5
Let j(b) = b**3 + b**2 - b + 3. Let k be j(0). Solve -k*q = -2 - 1 for q.
1
Let x = -47 + 51. Solve x*b - b + 3 = 0 for b.
-1
Let b(n) = -n + 9. Let u be b(6). Let k(d) = -d**2 + 3*d + 3. Let p be k(u). Suppose -p*g = 3*m + m - 1, 0 = -3*m + 3*g + 6. Solve 0 = -f - m + 4 for f.
3
Let k(l) = 2*l**2 - 57*l + 31. Let y be k(28). Solve -y*c = -8*c + 5 for c.
1
Let r be (-1)/((-1)/(2/2)). Let b = r + -1. Solve -5*i - 8 - 7 = b for i.
-3
Let p be 9 + (-2 - (0 + -1)). Let n(f) be the first derivative of f**3/3 - 9*f**2/2 + 8*f - 3. Let k be n(p). Solve k*h = -3*h - 6 for h.
-2
Suppose 3*n - 12 = 6. Solve 0*u = -2*u + n for u.
3
Let u = 1 - -1. Let a(q) = -2*q**3 + 4*q**2 - 3*q. Let g be a(u). Let s = -4 - g. Solve -s*t + t = 1 for t.
-1
Suppose 112 = 4*n + 32. Solve -3*s = s + n for s.
-5
Suppose 5*a + 12 = -4*i, 5*a - i - 12 = 3*i. Suppose 0 = 4*q - 8 - a. Let t = 0 + 2. Solve 4*j - q = t for j.
1
Let k be 4/18 + (-104)/(-18). Let f = 64 - 64. Solve -k = -f*o + 2*o for o.
-3
Suppose -3*t + 4*t + h = 1, -3*t - 1 = h. Let v be 2*(t/(-2))/1. Let k be (-3)/((-3)/(2 + v)). Solve 3*c + 0 = k for c.
1
Suppose 0 = -28*b + 29*b - 3. Solve 2*w = b*w - 1 for w.
1
Suppose d + 2 = 2*d. Solve -2*q - 4 = d for q.
-3
Let o be 3 + -2 + 0/(-2). Solve -3 = d - o for d.
-2
Let m(d) = -d - 4. Let b be m(-2). Let k = b + 6. Suppose 2*g - 54 = -0*g. Solve -k*n + g = 11 for n.
4
Let m be 1 + -3 - 0 - 19. Let r be m/(-7) + (0 - -1). Let t(k) = k**2 + 9*k + 10. Let a be t(-8). Solve r*s - a*s = 0 for s.
0
Let a = 51 + -49. Solve 0 = -s + a*s + 5 for s.
-5
Let b(c) = -2*c + 18. Let k be b(8). Solve 3 = j + k for j.
1
Let q be (-3 - (-4)/(-8)*-6) + 2. Suppose -5*t = 5*f - 45, -2*t + 2 = -6*f + 4*f. Solve t = -q*n - 3*n for n.
-1
Let y be 2 - (-10)/(4/4). Solve 0 = x + 3*x - y for x.
3
Suppose -2*o + 36 = o. Solve 5*a = 2*a + o for a.
4
Let x(b) = -b**2 - 9*b - 3. Let k be x(-4). Solve -5*q + 3 = -k for q.
4
Let s = -6 + 8. Solve -2*q = 6 - s for q.
-2
Let s(w) = -w**2 + 8*w - 4. Let h be s(6). Suppose 3*y - 9 = -3*i, 0*y + 7 = y + 5*i. Suppose y = z - 1. Solve h = -z*f - 1 for f.
-3
Let d = -45 + 49. Solve -d*s = -s + 9 for s.
-3
Let u be (5/(-2) - -2)*0. Let n(s) be the third derivative of s**5/60 + s**4/4 - 11*s**3/6 - s**2. Let k be n(-8). Solve a + u*a = k for a.
5
Let q = 10 - 6. Suppose -5*h = -4*h + 3. Let o be (-4*1)/(h/3). Solve 5*k = q*k + o for k.
4
Suppose 3*l - 14 = -2*q, -3*q = 2*l - 3 - 8. Solve l*g + 8 = 2*g for g.
-4
Suppose 0 = -i + 6*i. Solve n = -i - 1 for n.
-1
Let t be 3/(3/132*-3). Let c be t/(-12) + 2/(-3). Solve 8 = -c*w - w for w.
-2
Let v = 238 - 236. Let g be 0 + (-2*1 - -3). Let j be -1*g*(-3 + 2). Solve v*w = j - 7 for w.
-3
Let c be (1/1)/((-1)/(-4)). Let h = 10 + -5. Let x = -5 + h. Solve x*g + 4 = -c*g for g.
-1
Suppose -5*b + 21 = 4*p - 7, -5*p + 22 = 3*b. Solve p*n - 6*n - 12 = 0 for n.
-3
Suppose 3*z - 2*i - 23 = 3*i, i = -3*z + 17. Let n be (4/6)/(z/9). Let y be (-2)/n*6/(-4). Solve -3 = -y*l - 12 for l.
-3
Let i = 50 + -44. Solve i*c = c + 25 for c.
5
Let b(w) = -17*w**2 + 21 + 16*w + 0*w**3 - w + w**3. Let v be b(16). Solve 0 = -v*s + 9 + 11 for s.
4
Let c(l) be the third derivative of -l**6/120 + l**5/12 + l**3/3 - l**2. Let q be c(5). Solve 4*x - 6 + q = 0 for x.
1
Let s(z) = 2*z**3 - 3*z**2 + z - 2. Let h be s(2). Let a be 1/((-1)/h)*-1. Solve -a = 4*y - 3*y for y.
-4
Let j(a) = -a + 2. Let f be j(2). Suppose l = -4*w - 18, 3*l - 7 = 2*l + w. Suppose -5*r + 65 = 4*k, -25 = -2*k + k - 3*r. Solve f*d - l*d = k for d.
-5
Let n = 14 - 10. Let m be 66/n - 1/2. Solve 5*k - m = k for k.
4
Let g = -3 + 0. Let k be 0/(g - 1 - -3). Solve -5*w + 3*w = k for w.
0
Suppose -3*k - 20 = 5*h, 0 = 3*k - 2*k - 3*h - 12. Let r be (-3)/(k + 1 + -2). Solve -2 = o + r for o.
-5
Let w(b) = 4*b + 17. Let j be w(-4). Solve 4*l - 9 = -j for l.
2
Let f be 18/8 + (-1)/4. Suppose f*n = 4, 3*n - 4*n = 3*i - 17. Solve -w - 8 = -i*w for w.
2
Let c = -198 - -202. Suppose 3*i = -2*i + 75. Solve -5 = c*r + i for r.
-5
Let a(b) = -b**3 - 2*b**2 - 2*b + 1. Let c be a(-2). Suppose -w = 2*k - 3, -c - 1 = -2*w - 2*k. Solve -1 = 4*h + w for h.
-1
Let u(y) be the first derivative of 2 + 0*y + 5/2*y**2. Let j be u(1). Solve -j*h = -h for h.
0
Let w(o) = 2*o**2 - 3*o + 3. Let j(u) = u**2 - u + 2. Let b(g) = 5*j(g) - 3*w(g). Let y be b(4). Solve 0 = -5*r + 4 + y for r.
1
Let b(v) = -v**2 - 5*v - 2. Let y be b(-4). Let o = -1 + -2. Let c(q) = -q**2 - 4*q - 1. Let a be c(o). Solve a = -y*j - 0*j for j.
-1
Let k(t) = -t**2 - 6*t - 3. Let j be k(-4). Solve -5*h + j = -0 for h.
1
Let l(h) = 12*h**2 - h + 1. Let z be l(1). Let g be ((-8)/z)/(2/(-18)). Solve 2 = -4*m - g for m.
-2
Let q = 4 + 14. Suppose 5*v - p = -2 + q, 4*p + 4 = 0. Solve 2*h - v*h + 5 = 0 for h.
5
Let v be (18/(-7))/((-15)/70). Suppose 6*d - v = 3*d. Solve 0 = -h - d*h for h.
0
Let z(x) = -2*x**3 + 12*x**2 - 10*x + 3. Let c be z(5). Solve -c*u = -u for u.
0
Suppose 0*t + 4*y + 14 = -3*t, 21 = -2*t - 5*y. Solve 3*v - 2 = t*v for v.
2
Let r(n) = 2*n + 24. Let l be r(-10). Solve 4 = 2*c - l for c.
4
Let t(r) = -2*r + 1. Let y be t(1). Let k be (4/(-2) + y)/(-1). Let f(d) = -d + 1. Let u be f(-3). Solve -u = k*z - 1 for z.
-1
Let c(r) be the first derivative of -r**3/3 + 8*r**2 - 13*r + 3. Let u be c(9). Let m be u/4*6/5. Solve 2*n - m = 7*n for n.
-3
Let u(r) = -r**2 - 5*r - 5. Let t be u(-5). Let w = t + 8. Let z be (2/2*w)/1. Solve -z*g = -2*g for g.
0
Suppose 3*x - 5 = 10. Solve -s = -x*s for s.
0
Let w = 5 - -2. Suppose 3*k = w + 5. Solve -f + k = f for f.
2
Suppose 16*g = 11*g + 25. Solve -6 - 4 = g*p for p.
-2
Suppose 2*h + 4*w - 4 = 0, 3*h + 3*w - 8 = -h. Let g(q) be the first derivative of -q**3/3 + q + 1. Let x be g(-1). Solve -m - h*m + 3 = x for m.
1
Suppose 5*i + 46 = 6. Let u be (-294)/(-24) - (-2)/i. Solve 3*s = -s + u for s.
3
Let b be -4 - 16*6/(-12). Solve -3*y - 11 = b for y.
-5
Suppose 12*o - 16*o = -40. Let h be (24/20)/(4/o). Solve i = -h + 2 for i.
-1
Let u be 48/8 - (0 - -2). Solve u*j - 4 = 12 for j.
4
Suppose 3*d - 13 = -4. Suppose 143 = d*a + 35. Solve a = -5*u + 11 for u.
-5
Let l = 24 - 19. Solve -h - 16 = -l*h for h.
4
Let g(j) = j**2 + 5*j - 3. Let h be g(-6). Let b(k) = -k**2 + 5*k - 4. Let d be b(h). Solve x = -d*x for x.
0
Let p = 152 - 151. Solve 0 = -2*q + p + 5 for q.
3
Let d = 2 - 2. Solve d = -4*g + g for g.
0
Let o = -4 - -8. Solve 0 = 4*l - 3*l - o for l.
4
Let d(i) = -i**2 - 7*i + 3. Suppose -5*k = -3*k - 12. Suppose k*g - g = -35. Let l be d(g). Solve 2*y = l*y - 2 for y.
2
Suppose 8*v = 11*v - 9. Solve 9 + v = -4*k for k.
-3
Let k be 40/(-15)*12/(-4). Solve -4*z = -k - 4 for z.
3
Let s be ((-1 - -1)/(-3))/2. Let i be (-2 + s/1)*-2. Solve -i*q + 10 = q for q.
2
Let z = 14 + -12. Solve -4*t - z = -2*t for t.
-1
Let h be -1 + (-2)/((-6)/9). Suppose 0*g + 8 = h*g. Solve r - g = -r for r.
2
Let n(y) = -2*y**2 + 3*y - 6 + 7*y**2 + 0*y**2 - 4*y**2. Let j be n(-5). Suppose j*s + 4 = -0*q - 4*q, 5*s = -4*q - 7. Solve 1 = -i - q for i.
-3
Let x be 1/((-12)/(-8) + -1). Solve j = -0*j - x for j.
-2
Suppose -l = -5*l. Let s be (-45)/(-21) + 4/56*-2. Solve 2*u = -l*u - s for u.
-1
Let y be 2 + 1/2*2. Let h(p) = -11*p - 1. Let l(q) = 6*q + 1. Let v(i) = -4*h(i) - 7*l(i). Let t be v(y). Solve -t*o - o = 0 for o.
0
Suppose -2*o + 8 = 3*c + 2*c, 5*o = -3*c + 1. Suppose 5*d + 4*y - 25 = 0, -y - 3 = -d + c. Solve 0 = t + d for t.
-5
Suppose -3*a + 24 = -a. Let x(o) = -2*o**3 - 5*o**2 - 3*o + 4. Let s be x(-3). Let w = s - a. Solve -w = r + 