y = 2 + o for y.
-2
Suppose -3*x - 2*x = -3*q + 2, 3*q - 6 = 3*x. Suppose -x*y + 1 = 5*i - 5, -2*y - 4*i = -4. Let v = y + 5. Solve -v*a + 7 = -2 for a.
3
Let i = 13 + -11. Solve i*j = -1 - 3 for j.
-2
Let x = 3 + -5. Let u be x/6 - 26/(-6). Suppose -3*h + 4*m - u = 0, -m - 1 = -2*h - 2*m. Solve b = -h*b for b.
0
Let b(x) = x**2 - x - 3. Let g be b(3). Suppose 3*c + 2*c + 3 = 4*j, g*c + j = 5. Let q(k) = 5*k**3 + k**2 - k. Let s be q(c). Solve 0 = -s*w + w + 8 for w.
2
Let b(m) = -m**3 + 7*m**2 + 10. Let c be b(7). Suppose -2*i + 16 = 2*i. Suppose -i*h - h = -c. Solve -h*n = -n - 4 for n.
4
Let r be 1 + 0/(-2) - -4. Let c = -31 - -36. Solve 0 = -0*x - c*x + r for x.
1
Suppose 4 = -8*j + 12*j. Solve 0 = -p + 2*p + j for p.
-1
Suppose -k + 25 = -6*k. Let f be (-8)/(-10)*-1*k. Solve i - f*i = 3 for i.
-1
Suppose 4*q - 3*t + 8 = 0, 0*q + 3*q - 2*t + 5 = 0. Let c(m) = 0*m - m**3 - q - 4*m**2 + 0*m + m. Let l be c(-5). Solve 0 = 3*d - 7 + l for d.
-4
Let u(o) = -10*o**2 + o + 1. Let d(h) = 5*h**2 - h - 1. Let m(t) = -5*d(t) - 3*u(t). Let j be m(-1). Solve 2*y = j*y - 3 for y.
1
Suppose -5*d = -4 - 6. Solve -d*f + 0*f = -4 for f.
2
Suppose 1 = -4*q - t, 3*q + t - 2 = -3. Suppose q = -3*c + 4*a, 4*c = a + 3*a. Let j(n) = -n**2 + 5*n - 1. Let h be j(4). Solve h*i = -c*i + 9 for i.
3
Suppose s = -4*a - 0*s + 14, -3*a - 2*s + 8 = 0. Solve -2 - a = 2*f for f.
-3
Let s be 2/6 - 3/9. Let f = 62 + -58. Solve -x + f + s = 0 for x.
4
Suppose 0 = 3*r - 4*r - 3. Let l = r + 5. Suppose 3*f = 37 - 7. Solve -f - l = -4*q for q.
3
Suppose 10 = 2*u + 2*l, -2*u - 3*l + 11 = -u. Solve 1 = -u*r + 3 for r.
1
Let m = -174 + 178. Solve -m*b + 11 = -5 for b.
4
Let l(m) = 2*m + 19. Let z be l(-6). Suppose 0 = 5*q + j - 10, 0 = 3*q + 5*j - j + 11. Solve -z*b = -q*b + 20 for b.
-5
Let b(t) = -t**2 - 8*t + 4. Let f be b(-8). Suppose 13 = 3*u - 2*c, -5*u + 3 = f*c - 4. Solve 0 = -3*z + 2*z + u for z.
3
Let o be 2 - 4*(-4)/8. Solve o*z + 14 = -2 for z.
-4
Let u be 4/22 - (-4)/(-22). Suppose -f + 0*f = u. Solve f = 3*t - t for t.
0
Let r = 3 - 1. Solve -r = -0*u + u for u.
-2
Suppose 0 = -4*f + 4 + 12. Suppose -4*c - 1196 = 4*k, -801 - 419 = 4*c - f*k. Let a be c/(-18) - (-6)/27. Solve -1 + a = -4*o for o.
-4
Let c = -34 - -62. Let a be (-6)/(-21) - (-76)/c. Solve -a*n + 11 = -1 for n.
4
Let k = 312 + -297. Let b(c) be the first derivative of -c**2/2 + 7*c - 1. Let j be b(3). Solve -j*s = s - k for s.
3
Let t be (-9)/2*4/(-3). Let j(f) = -2*f + 21. Let n be j(0). Let a be 1/(t/n)*6. Solve 3*q - a = -6 for q.
5
Let d be 1 + (0 - -3 - 1). Suppose -5*x + 62 - 14 = 3*o, 2*x = d*o + 15. Let h(j) = -j**2 + 10*j - 9. Let m be h(x). Solve 0 = -2*i - m*i for i.
0
Let l(q) = -q + 6. Let o be l(6). Let s = -4 - o. Let p = s - -4. Solve p*g = g - 3 for g.
3
Let i = 3 + -6. Let h be 1 - i/(9/(-21)). Let g be (2/h)/(1/(-9)). Solve -2 + g = d for d.
1
Suppose 0 = -5*x - 2 - 23. Let c = x + 13. Solve -5*v + c = -2 for v.
2
Suppose 2*q + 16 = -2*q, -g + 19 = -4*q. Suppose -4*z + 6*w + 20 = g*w, 2*z - 5*w - 24 = 0. Solve -3*v = z*v for v.
0
Let p = 0 + 0. Let q be (-6)/(-9)*(26 + -2). Solve p = -5*k + q + 4 for k.
4
Let a(d) = -11*d - 44. Let m be a(-4). Solve m = -22*k + 17*k for k.
0
Suppose -3*p - 30 = -p. Let v be (64/20)/((-2)/p). Suppose -4*h - 52 = -4*z + v, 4*h = -4*z + 44. Solve 0 = -0*w - 5*w + z for w.
3
Let c be ((-6)/5)/(1/(-5)). Let m be 2*(-3 + (-21)/(-6)). Let d be 1/(m/(-1)) + 3. Solve 0 = p - d + c for p.
-4
Let t be (-10)/(-15) - (-86)/6. Let b = 7 + -4. Suppose p = 4 + b. Solve -p*o + 2*o - t = 0 for o.
-3
Let d be 16/6 + (-2)/3. Let a(k) = k**2 + k - 2. Let q be a(d). Solve j - 15 = -q*j for j.
3
Let o be (3/((-6)/(-2)))/(2/4). Suppose 2*s + 5*v = -2*s + 22, -4*s + 2 = -5*v. Suppose -s*l = -2*l. Solve 0*b + o*b + 6 = l for b.
-3
Let v(o) = -5*o**2 - 2. Let w(c) = -21*c**2 - 9. Let u(b) = -18*v(b) + 4*w(b). Let n be u(-1). Solve -4*f = -f - n for f.
2
Let d(h) = -h**3 - 4*h**2 - 6*h - 4. Let w(v) = -4*v**2. Let r be w(1). Let z be d(r). Suppose 6*u = 2*u + z. Solve 0*y + 15 = -u*y for y.
-3
Let i be 1/(-3)*(3/(-1) + -3). Solve -i*o + o = 5 for o.
-5
Let m be (-18)/(-495)*-5 + (-24)/(-11). Solve 0 = -m*r + r for r.
0
Suppose 0 = -m - 4*w + 11, -4 = m - 2*w - 9. Solve 1 = -2*o - m for o.
-4
Suppose s = -0*s - 17. Let n be (-2)/5*(s + -3). Solve -n - 8 = -4*f for f.
4
Let w be -1 + 2 + -1 + 1. Let k = 5 - w. Solve 4*m = -0 + k for m.
1
Suppose 5*r = 15 + 25. Solve -o - o = -r for o.
4
Let a(z) = 0*z + 12 + 0*z + 2*z. Let t be a(-5). Solve 0*m - m = -t for m.
2
Let n be 2/(-10) - (-1002)/10. Suppose 4*p - n = -p. Suppose 2*k + 10 = -v, -2*v - v + 4*k = -p. Solve 3*g + 2*g = v for g.
0
Let h(n) = -n**2 - 8*n - 4. Let q be h(-5). Let l be (-20)/12*3 - 0. Let i = q + l. Solve 0 = y - 5 + i for y.
-1
Let x(g) = -29*g**2 - 2*g - 1. Let v be x(-1). Let u = -26 - v. Solve 0 = -u*w - 10 for w.
-5
Suppose 5*s - 17 = -j + 5, 19 = 2*s - 3*j. Let t be 7 + (-3 - 0) - 0. Solve s*i = i - t for i.
-1
Suppose -7*d = -12 - 9. Solve -h + 0*h + d = 0 for h.
3
Suppose 5*u - 125 = 60. Let m = u - 22. Solve 0 = -4*x + x - m for x.
-5
Let v = -3 - -6. Let t(s) = -s**2 + 3*s + 2. Let n be t(v). Solve 3 = n*z - 5*z for z.
-1
Let n = -12 + 20. Suppose -2*x = -2*j + x + n, 4*j + 3*x = -20. Let f(z) = -z - 2. Let k be f(j). Solve k + 3 = v for v.
3
Suppose -8 = t - 3*u, 4 = 4*t + 3*u - 24. Solve -2*s - t = 6 for s.
-5
Suppose -k - 15 = -4*j, -2*k - 3*k = -4*j + 11. Let o = 3 + j. Suppose -5*q - o*y + 8 = -3*y, 3*q - 5*y + 10 = 0. Solve q*w = -4*w - 4 for w.
-1
Let s = 46 + -21. Solve 0 = 5*o - 0 + s for o.
-5
Let l(i) = i**2 - 5*i + 2. Let w be l(7). Let r = w + -8. Suppose 5*c = 2 + r. Solve 2*m = -6 + c for m.
-2
Let z(a) = 5*a**3 - 2*a**2 + 2*a - 1. Let s be z(1). Let g = -3 - -8. Suppose -4*h = -g*q + 126, 30 = q - 2*h - 0*h. Solve -6 = -s*i - q for i.
-4
Suppose 0 = -10*r - 3*r + 65. Solve r*c + 6 + 4 = 0 for c.
-2
Let r(i) = -i**2 + 13*i - 33. Let k be r(6). Solve 5*t + k = 2*t for t.
-3
Let n = -5 + 27. Suppose -a = -2*a + 1, 4*i = -2*a + n. Solve i*h = 4*h - 2 for h.
-2
Let g be 2/(-12) - 150/(-36). Let n be (-3*g/3)/(-2). Solve n*k + 0 + 2 = 0 for k.
-1
Let y = 6 + -4. Suppose y*m - 32 = -5*r, -3*r - m + 3*m = -16. Suppose 3*s - 2 - 13 = 0. Solve s*f - 9 = r for f.
3
Let y be -2 + -1 + 0 + 10. Solve y = z + 4 for z.
3
Let k(h) = -8 - h + 4 - h**2 + 5 + 5. Let q be k(0). Solve 3*v + 6 = -q for v.
-4
Let n = -10 - -23. Suppose 4 = d - p, 0 = -4*d + 3*p + n - 1. Let m be (d - 0) + -1 + 4. Solve 0 = w + m*w + 12 for w.
-3
Let g = 56 + -40. Suppose n + g = 49. Suppose -15 = -5*w - r + 20, -w + 5*r + n = 0. Solve 0*l = 2*l - w for l.
4
Let h = -83 - -87. Solve 0 = 4*d - 0 + h for d.
-1
Let u(p) = p**2 + 9*p - 4. Let h(t) = -3*t**2 - 28*t + 13. Let r(s) = -2*h(s) - 7*u(s). Let a be r(-6). Let l be (a - 9) + 1 + 0. Solve 6*k - k + 10 = l for k.
-2
Let n(t) = 2*t + 21. Let y(k) = -k - 10. Let a(o) = 2*n(o) + 5*y(o). Let z be a(-8). Solve z = -2*c - 4 for c.
-2
Suppose -6*w - w + 14 = 0. Solve y + 3 = w for y.
-1
Let r be (-21)/35 - (-13)/5. Solve -2*c - r = -0 for c.
-1
Let m(r) = 3*r**3 - 4*r - 3. Let w(p) = -p**3 - p**2 + p. Let o(j) = -m(j) - 4*w(j). Let f be o(-4). Suppose -f*v = -6 - 0. Solve v*t + 6 + 4 = 0 for t.
-5
Let c be (-3)/(-9)*(7 - 1). Suppose 2*r + 4*p = -4, 2*r - c*p = -r + 26. Solve 5*t - 16 = -r for t.
2
Let i = 7 - 4. Suppose -3 = 3*n - 4*g + g, i*n - 17 = -g. Suppose -3*f - n*p = -20, p + 3 = -1. Solve 3*w + w = -f for w.
-3
Let y(w) = -3*w. Let s be y(-1). Let q be s/2*12/9. Suppose q*d + 12 = 4*d. Solve d = c + c for c.
3
Let v = 95 + -93. Solve -v*r = -4*r for r.
0
Suppose -23 = -7*n + 2*n + o, -2*n + 4*o = -2. Solve 0 = -4*t + 3 + n for t.
2
Let a(i) = -i**2 - 4*i - 5*i**3 + 6*i**3 + 4 - 1. Let b be a(3). Solve -7*j = -4*j + b for j.
-3
Let k = -1 - -3. Solve 0*r = k*r + 6 for r.
-3
Suppose 4 = -15*r + 19*r. Solve -i - r = 1 for i.
-2
Let c = 5 - 1. Suppose 1 = -5*n - 0*q - q, 2*q = -c*n - 2. Solve 4*i - 3*i = n for i.
0
Let q = 6 + -3. Suppose -4*g = -q*v + 25, -4*g - g = 2*v + 14. Solve 5*s - 23 + v = 0 for s.
4
Let x(q) = -q - 8. Let c be x(7). Let w be ((-4)/(-10))/((-3)/c). Let l be w/(1*2/3). Solve 1 + 5 = l*i for i.
2
Let r = 40 + -38. Solve r*z = -0*z - 8 for z.
-4
Let v(s)