w = 2*w + q for w.
2
Let w be (-1)/(8/(-42) - (-31)/(-217)). Solve -1 = -x + w for x.
4
Let v be (-306)/(-24) - ((-3)/(-4) - 1). Solve 0 = -4*u - v + 9 for u.
-1
Let j(d) = d**3 - 5*d**2 - 6*d - 14. Let z be j(7). Suppose -2*o - q + 20 = 0, -4*o - 4*q = -q - z. Solve 0 = -3*k - 3 - o for k.
-4
Let b be 82 - (-33)/(1 - -10). Solve -20*j - b = -3*j for j.
-5
Let y(b) = b**3 + 6*b**2 + 3*b - 8. Let x be y(-3). Solve -h - 14 = -x for h.
-4
Let n be ((-2)/5)/((9 + -6)/(-15)). Suppose 0 = n*h - 5*h. Solve 3*o + 15 + h = 0 for o.
-5
Let a = 32 - 109. Let s be (12/(-14))/(22/a). Suppose -3*r + s + 0 = 0. Solve -3*h + 11 = -r for h.
4
Suppose -r + 2*r = 3*z, z + r = 0. Suppose -7*k + 3*k = z. Solve k = -0*i - 2*i + 6 for i.
3
Let i(o) = o**3 - o**2 + o. Let x(c) = 4*c**3 + 3*c**2 - 3*c + 5. Let h(f) = 3*i(f) - x(f). Let q be h(-7). Solve j + 2 + q = 0 for j.
-4
Let h = 1 - -3. Suppose -42*w + 53*w = 0. Solve -h = -o - w for o.
4
Let f be (-3)/(-2) - 132/(-24). Suppose -c = j - 3 - f, -c = -5. Solve j*o - 1 = 19 for o.
4
Suppose 0 = 12*a + 82 - 214. Solve -v + a = -12*v for v.
-1
Let f = 1 - -11. Suppose -5*v = -v - 4*q, 5*q = -2*v. Suppose v*n = -4*n + f. Solve 6 = 3*z + n for z.
1
Let x(a) = -a - 2. Let b be x(-5). Suppose 4*t - 2*j + 4 = 0, -t - 191*j = -188*j - 20. Solve t*c + 1 - b = 0 for c.
1
Suppose 0 = -86*x + 82*x + 40. Solve 0 = -2*t - 0*t - x for t.
-5
Let o be (-5 + -1 + 2)*-5. Suppose 2*d = -f - 2*f + o, 5*f - 26 = 4*d. Suppose -4*u + f = -2*u. Solve u*p - 15 = 8*p for p.
-3
Let v = -14870 - -14895. Let x(o) = 5*o**2 - 1. Let j be x(-1). Suppose j*k - 2 = 3*q + 1, 5*k - 4*q = 4. Solve k*s - v = 5*s for s.
-5
Suppose 0 = 8*p - 43*p + 210. Solve 0 = 4*o - 2*o - p for o.
3
Suppose 7 = -2*c + 31. Suppose -3*d = 2*q + 3, q + 3*d = -2*d - c. Suppose 6*a = 4*a - q*l, -l = 3*a - 14. Solve 3*p = -6 - a for p.
-4
Let d = -7 + 13. Suppose 6*z - 10 = z. Let f(i) = -i**2 + 7*i - 12. Let m be f(3). Solve -d + m = z*c for c.
-3
Suppose 0 = s - 4*s + 144. Let b be s/7 - (-6)/42. Solve -4*z - b = 13 for z.
-5
Let s be ((-32)/(-80) - 24/(-15)) + 9. Solve 21*r - s*r + 50 = 0 for r.
-5
Suppose r = -3*r - 2*b + 64, -2*b = -5*r + 71. Suppose 0 = 5*f + r, 2*q - 5*f + 0 - 5 = 0. Let i = 5 + q. Solve i*k = -2*k for k.
0
Suppose 5*b + 2*w - 12 = 0, 3*w + 28 = -2*b + 6*b. Solve -b*m - 16 = -0*m for m.
-4
Suppose 2*s = 5*g - 5, -5*s - 3*g + 8*g - 5 = 0. Suppose -5*f + 24 + 6 = s. Solve f*z - z = 25 for z.
5
Let x = 61 + -58. Suppose x*a + 1 = -3*k + 2*a, 4*a + 4 = 0. Solve k*c = 5*c - 10 for c.
2
Suppose 0 = -4*s - u + 16, -3*u + 4*u = 4. Let x be s/12 + (-395)/(-20). Suppose 4*j - 2*a - 3*a - x = 0, -j = a + 4. Solve -5 + j = q for q.
-5
Suppose 4*g - 9 = -13. Let a be 15 + (g - (0 - -3)). Solve -3 = -4*w - a for w.
-2
Let p(j) = 41*j - 16. Let g be p(1). Solve 3*b = -2*b + g for b.
5
Let p = 1 - 1. Suppose -u - 4*q = -29, 4*q + 25 = 4*u + u. Suppose p = i - 3*h - 15, u = -0*h - 3*h. Solve -5*r - i = -16 for r.
2
Let i be -1 - 12/4*(-4 + 3). Solve i = -p + 4 for p.
2
Let t = 133 - 30. Let h = t + -95. Solve -2 = 2*s + h for s.
-5
Let b = -527 + 542. Solve 3*s - 9 = -b for s.
-2
Let m = -319 - -326. Solve m*a = 6*a + 3 for a.
3
Let w be 1/(-3)*12/1 - -3. Let g be w*(-4 + 2 + (-5 - -4)). Solve -16 = -g*p + 7*p for p.
-4
Let d(y) = y**2 + y - 7. Let g be d(3). Suppose -v - 8 = v, 2*a - g*v - 64 = 0. Solve -5*k + 2 = a for k.
-4
Let i(m) = m**3 + m**2 + 4. Suppose -3 - 1 = 2*j. Let s be i(j). Solve 3*w - 5 - 7 = s for w.
4
Let h be (-3)/(-3*(-3)/(-15)). Suppose -h*c = -0*c. Solve 2 = w - c for w.
2
Suppose 6 = 860*q - 857*q. Solve 7*f + 15 = q*f for f.
-3
Let q(o) = -o + 1. Let k(t) = 2*t**2 + 19*t + 6. Let w be k(-9). Let x be q(w). Solve -4 = x*n - 3*n for n.
-4
Let n(u) = -u**2 - 7*u + 1. Let m be n(-7). Suppose -m = -x - 2*l, 3*l + 2 = 4*x - 13. Suppose -5*c = -2*i - x, 4*i = c - 0*c + 3. Solve 0 = -0*w + w - i for w.
1
Let k(b) = -2*b**3 + 45*b**2 + 26*b - 29. Let g be k(23). Solve 0*z + g = 8*z for z.
5
Let a be (18/12)/(3/(-20)). Let p be (-34)/a - 6/15. Let n = 118 - 102. Solve -s - n = p*s for s.
-4
Let n be 5 + 4/6*(-30)/20. Solve 6 = -n*y + 2*y for y.
-3
Let z(w) = w**2 - 24*w + 66. Let g be z(21). Let s(q) = 17*q - 4 + 13 - 16*q. Let x be s(-9). Solve x = f - g*f for f.
0
Suppose -30*w + 34 = -13*w. Solve w + 3 = -p for p.
-5
Suppose -4*m + 650 = 590. Solve -m*j = -6 - 24 for j.
2
Let y(x) = -x**3 + 7*x**2 + 11*x - 15. Let u be y(8). Solve -u*p - 23 = 4 for p.
-3
Suppose 5*v = 2*y - 5 + 24, 2*v - 16 = 5*y. Let o = -334 + 336. Solve -v*f - 4 = o for f.
-2
Let m = 855 + -855. Let a(l) = l**2 - 20. Let g(s) = 5*s**2 - s - 80. Let d(y) = -9*a(y) + 2*g(y). Let v be d(m). Solve -8*b + 3*b + v = 0 for b.
4
Suppose 6 = u + u. Let g = 22 + -14. Let a = g - 6. Solve 0 = 5*c - u - a for c.
1
Let i be (2 - (0 - -2))/1. Let n(d) = d + 12. Let o be n(-1). Let j = o + -6. Solve 25 + i = -j*q for q.
-5
Let m(u) = 1. Let n(q) = -2*q**2 + 6. Let f(o) = 2*m(o) - n(o). Let i be f(-2). Solve -5*x + i*x = 0 for x.
0
Let t be (-22)/(-6) - (-24)/(-36). Let a be 3 - (-1*10 + t). Solve -a = -g - g for g.
5
Let f(t) = 5*t + 26. Let c(u) = 4*u + 25. Let p(y) = -7*c(y) + 6*f(y). Let i be p(11). Solve 0*k - i*k = 9 for k.
-3
Suppose 10*v - 42 = -5*q + 7*v, -2*q + 3*v = -21. Solve q*s - 31 = -4 for s.
3
Suppose 15 + 49 = -2*v - 4*o, -2*v - 3*o - 63 = 0. Let k be 6/(-10) - 108/v. Let g = 6 - k. Solve -g*n = -1 + 7 for n.
-2
Suppose 0 = -3*p + 6*p + 2*v - 67, v = p - 14. Suppose 5*y - p - 6 = 0. Solve -y*b - 6 = 19 for b.
-5
Let i(d) be the second derivative of -2*d**2 + 1/3*d**3 - 8*d + 0. Let g be i(9). Solve -5*r - 1 = g for r.
-3
Let y be ((-10)/5 - 1) + 9. Let m = y - 1. Solve -m = 2*t - 3*t for t.
5
Suppose 2*b - 2*x = 5 + 9, x + 19 = 5*b. Suppose f = -4, -3*l + 5*f - b*f = -14. Solve v = -1 + l for v.
1
Suppose -88*f - 2*p = -86*f - 114, 2*f - 3*p - 104 = 0. Solve 0 = -52*j + f*j + 12 for j.
-4
Suppose -11*g + 3*p - 4 = -10*g, -2*p = -3*g + 2. Solve -g = -6*r + 4 for r.
1
Let y(o) = -44*o + 11. Let k be y(0). Solve -6*z = -k*z - 25 for z.
-5
Let r be 0/((2 - 1) + -3). Suppose 5*z - 2*z - 60 = r. Let l(g) = g - 6. Let h be l(9). Solve h*u + z = 8*u for u.
4
Let b = 108 + -108. Suppose h - 25 = -4*h, b = g + 3*h - 21. Solve -3*j = -j + g for j.
-3
Let f(x) = x**3 - 9*x**2 + 7*x + 49. Let t be f(7). Solve t = -64*g + 59*g + 20 for g.
4
Let z(r) = -2*r**2 - 3*r. Suppose 0 = m + 2*a - 4, 7*m - 2*m + 5*a - 5 = 0. Let s be z(m). Let b be (-4 - -8) + s + 2. Solve -20 = b*u - 8 for u.
-3
Suppose 11 = 3*d - 25. Suppose -d = -4*n + 84. Suppose 3*o = -5*o + n. Solve -o*y + 3 = -0*y for y.
1
Let j(a) = a**3 + 10*a**2 + 3. Let n be j(-10). Suppose 0 = -5*l + 2*o + n*o + 50, -5*l + 74 = 3*o. Let q = l + -10. Solve 0*m = q*m for m.
0
Suppose 2*y - 10 = -3*y. Let i be (y/4)/((-1)/(-4 - -2)). Solve i = 5*k - 4 for k.
1
Let o(c) = -4*c - 4. Let h(a) = 11*a + 11. Let y(p) = 3*h(p) + 8*o(p). Let g be y(7). Solve g = 2*f - 0 for f.
4
Let p = -205 - -210. Solve -p*i = -i - 12 for i.
3
Suppose 4 = -r + 2*r. Let m be 1/(3 + 38/(-13)). Let v = -11 + m. Solve -v*d + r = -3*d for d.
-4
Let p be (4*(-2)/(-24))/((-5)/(-405)). Solve p - 9 = -6*g for g.
-3
Let k be 1*37 + (-24)/12. Suppose 2*v - 7 = -k. Let l be 1/((-2)/v) - 0. Solve -l + 3 = n for n.
-4
Let u = -119 + 127. Solve 2*f = -0*f + u for f.
4
Suppose 0 = 2*f - 10 - 0. Let z be (-3 + (-15)/(-2))*(-128)/(-96). Solve -z = 2*r - f*r for r.
2
Suppose -13*g + 20 = -8*g. Suppose 0 = -g*n + 1 - 9. Let b be (10 + -15)*(n + 1). Solve -b*f = -3*f for f.
0
Let d(j) = 2*j + 19. Let c(w) = 2*w + 18. Let i(r) = -6*c(r) + 5*d(r). Let b be i(-7). Solve -3*t - 2 - b = 0 for t.
-1
Let d = -211 - -361. Suppose -7*l - d = -4*l. Let g = -35 - l. Solve -4*c + c = -g for c.
5
Let c be 0*((-120)/(-32))/(-15). Solve -3*n + c*n + 3 = 0 for n.
1
Suppose 30*z + 18 = 33*z. Solve -129*t + 132*t = z for t.
2
Let j(m) = -m**3 + 2*m - 2. Let n(g) = g. Let z be n(-2). Let d be j(z). Solve 2*v = -4 + d for v.
-1
Suppose -53*t - 136 = -70*t. Solve -24 + t = 4*f for f.
-4
Let u = -440 - -443. Solve 4*m = -u*m - 7 for m.
-1
Let c(a) = -a**2 - 6*a - 3. Let s be c(-5). Let r = -710 + 720. Solve 3*n + r = -s*n for n.
-2
Let n be -4 + (84/(-15))/(5/(-25)). Solve 0 = -4*l - n + 8 for l.
-4
Le