 6*m = -m - 20. Solve -4*w + 16 - 4 = j for w.
3
Let u = 32 + -21. Let d(n) = -n**2 + 13*n - 11. Let t be d(u). Solve 1 = 2*y + t for y.
-5
Suppose -52 + 19 = -5*d - 2*q, q = d - 1. Solve -2*r = 15 - d for r.
-5
Let y(h) = -h. Let q(d) = -4*d + 4. Let x(o) = q(o) - 5*y(o). Let m be x(-2). Solve m*w = -0*w + 10 for w.
5
Suppose 2*w - 4*y + 3*y - 5 = 0, -3*w + 20 = -4*y. Solve w = 4*c + 12 for c.
-3
Suppose -55 - 35 = -5*f. Let v(m) = -m - 1. Let l be v(-3). Solve -l = -4*t + f for t.
5
Let f(t) = 4*t**3. Let y be f(1). Solve y*q = 6*q + 8 for q.
-4
Let g(x) = 7 - 6 - 11 + 11*x - x**2. Let k be g(10). Solve k = 5*d + 13 + 12 for d.
-5
Let x = -9 + 5. Let z = x + 8. Solve -z - 4 = -4*h for h.
2
Suppose 16 = -4*o, -3*w - o - 3 = -29. Solve -4*q + w = -2 for q.
3
Suppose -66 + 26 = -2*q. Let b = -13 - -18. Solve u - b*u = -q for u.
5
Let p(g) be the first derivative of g**3/6 - g**2 + g + 2. Let s(q) be the first derivative of p(q). Let r be s(2). Solve r = -o - 2*o - 6 for o.
-2
Suppose m = 2 + 3. Let w(k) = -4*k + 1. Suppose -4*g - 4 = -0*g. Let d be w(g). Solve -5 = -d*r + m for r.
2
Let z be (-3 + (-28)/(-8))*0. Solve z = -x + 2 - 1 for x.
1
Let r(b) = 2*b + 7. Let j be r(-5). Suppose 0 = -t + 5*l + 5, -2*t + 1 = t - l. Let z be 0*(t + j/(-6)). Solve -2*o + 2 + z = 0 for o.
1
Let h be (-12)/(-7) - (-8)/28. Suppose 4*f + 4 = h*f - s, -f - 4*s = 16. Suppose -12 + f = -4*p. Solve 0 = -p*i + i - 2 for i.
-1
Suppose 0 = 3*p + 5*c - 17, -p - c - c + 6 = 0. Let i = p - 1. Solve 0 = -0*z + z - i for z.
3
Let j(b) = -2*b**3 - 3*b**2. Suppose 3 = -5*m - 7. Let z be j(m). Solve -2*x + 8 = -z*x for x.
-4
Let x(m) = m**2 + 2*m - 8. Let s be x(-5). Solve -5 = -3*q + s for q.
4
Suppose 3*s + 8 = -1, -2*b = -2*s + 40. Let o = -18 - b. Solve 2*k + 1 = o for k.
2
Let u(l) = l**2 - 7*l - 2. Let h be u(7). Let o be (-6 + 2)*h/4. Solve 0 = -w + 3*w + o for w.
-1
Suppose 3 = 5*t - 4*t. Solve 0*c - c = t for c.
-3
Suppose -6 = -2*o - 2. Suppose -4*z = -o*z - 8. Solve w = -z*w + 20 for w.
4
Let y(x) = 6*x**2 + x. Let c be y(-1). Solve 3 - c = 2*u for u.
-1
Let b be -1 - (-5 + 1) - 0. Suppose b*f = -4*s - 0*f + 19, -f - 15 = -4*s. Solve 0*w - s = w for w.
-4
Let u(x) = x**2 + 7*x - 10. Let f be u(-8). Let p be (-4)/(-14) + (-164)/(-14). Let v be p/8 + (-1)/f. Solve -4*t = -v*t for t.
0
Let z = -21 - -31. Suppose -l + 1 = -3. Solve -2 + z = -l*b for b.
-2
Let t be (-1)/6*-3*30. Solve -y = 2*y + t for y.
-5
Let r be 2/(-3 - 28/(-8)). Solve 0 = -9*p + r*p - 25 for p.
-5
Suppose 3*r = 4*h + 2 + 1, -5*h = 5*r + 30. Let i be ((-1)/r)/(5/(-15)). Let x be 24 - (i + 2) - 1. Solve 5*y - x = -2 for y.
4
Suppose 3*y - 4 = 2. Suppose 0*w + 5*d = w + 23, d - 9 = -y*w. Suppose -4*q = 4*z - 96, 3*q - 5*z = -z + 44. Solve w*a - q = 6*a for a.
-5
Let u be 8/28 - 162/(-21). Solve 3*x - u = 1 for x.
3
Let w = -12 + 15. Suppose 0 = -0*p - 5*p + 10. Solve 0 = p*f + w*f - 15 for f.
3
Suppose -3*k = -0 - 18. Let b = -269 + 273. Solve b = -k*a + 2*a for a.
-1
Let g(l) = -2*l**3 - 31*l**2 + 22*l - 23. Let n(i) = i**3 + 15*i**2 - 11*i + 11. Let r(d) = -4*g(d) - 9*n(d). Let m be r(-12). Solve 0 = -z + 3 - m for z.
-2
Let v be 3 + 0/1*-1. Suppose -59 = -v*x - 14. Solve -i = 4*i + x for i.
-3
Suppose -4*z = -3*o + 12, -o = z - 2*o + 4. Let h = -10 + 12. Solve 8 = h*i - z*i for i.
4
Let j(k) = 5*k - 58. Let l be j(12). Solve 0 = -3*q + q + l for q.
1
Let x(o) = -o**2 + 8*o + 12. Let f be x(9). Suppose -5*m - 2*l = l - 64, -f*m + 48 = 5*l. Let r = -8 + m. Solve -c - r = -8 for c.
5
Let u(i) = i**3 - 7*i**2 + i - 6. Let z be u(7). Let j be 1 + (z*-6)/(-3). Suppose 0 = -5*f + t + j, f - 2*f + 9 = 4*t. Solve -5*x + f = -4*x for x.
1
Suppose -5*f - 2*r + 6 = -4*r, 12 = 5*f + r. Solve -6*m - 4 = -f*m for m.
-1
Suppose 7 = -v - 2*d, -5 = 3*d + 10. Let g be -2 - (-1 - v)/2. Solve 0 = -2*r - g*r for r.
0
Let u be 5 - 2/(-1 + 2). Suppose -2*k + 4*n = 2, 0 = u*k + 4*n - 25 - 2. Solve 1 - 6 = k*g for g.
-1
Let g(q) = q**3 - 2*q**2 - 2*q - 1. Let f be g(3). Suppose -3*n - 5*y = 9, 3*n + 4*y + 4 + f = 0. Solve u + u = -n for u.
-1
Let a = 0 + 3. Let v = 4 - 3. Let q = v - -2. Solve 2*l - a = q for l.
3
Let l(s) = -s**2 - 10*s - 9. Let f be l(-6). Solve 4*o - o = f for o.
5
Suppose 18 = k + 5*v, 4*k + 4*v - 3*v - 53 = 0. Let i = 25 - k. Solve q + 3*q = -i for q.
-3
Suppose -28 = -5*y + 3*b - 7*b, -3*b = 2*y - 14. Solve 4*l - 12 = y for l.
4
Suppose 3*a + 5*i = 1 + 14, 2*a = -5*i + 10. Solve 4*d = a*d + 4 for d.
-4
Suppose -31*f = -29*f. Solve -z + 2 - 7 = f for z.
-5
Let g = 11 - 10. Suppose 2*w + g = 7. Let z(b) = -5*b + 1. Let n be z(-1). Solve -w*h + h - n = 0 for h.
-3
Let d = 6 - 2. Let h(r) = r**2 - 4*r + 3. Let w be h(d). Solve w = 3*b - 3 for b.
2
Let b be 0/((-1 + -2)/3). Suppose 2 = -2*x - 2*q - 0*q, -x - 3*q - 9 = b. Solve c = 2 + x for c.
5
Suppose 0 = 3*a - 5 - 1. Let j(q) = -q**2 + q + 3. Let k(f) = f**2 - f - 4. Let u(d) = 2*j(d) + 3*k(d). Let n be u(-3). Solve n*b = a*b for b.
0
Suppose 2 = 3*i - i. Suppose 3*o + 2 = 5. Let d = o - i. Solve 2*f - 4 = -d for f.
2
Suppose 0*p = 5*p. Suppose 0*w + 2*w = p. Let h be 1/(-4) - (-82)/8. Solve 5*a - h + w = 0 for a.
2
Suppose 0 = -3*l - 3, -2*x + l = -x - 5. Solve x*q + 1 = 3*q for q.
-1
Let r(l) = 2*l**2 - 2. Let s be r(-3). Suppose p - s = -p. Solve 0 = -5*c - p - 2 for c.
-2
Let t be 1/2*0/8. Solve -3*i + t*i + 6 = 0 for i.
2
Suppose -4*j + 72 = 4*m - 0, 0 = 4*j - m - 87. Suppose 4*f = -q + j, 0 = -4*q + 4*f - 3*f + 16. Solve 4*s - q = -17 for s.
-3
Let c(f) = -f + 1. Let v be c(-5). Solve -2*i = -4*i - v for i.
-3
Suppose 0 = 5*b + 5*u + 10, -2*u = -4*b + 4 + 12. Solve -j + 5 = -b*j for j.
-5
Let f(b) = -b**2 + 6*b - 2. Let r be f(5). Suppose 2*d + 3*d - 30 = 0. Suppose 5*k + w - 8 = 0, 2*w + d = -w. Solve -k = -p - r for p.
-1
Let h be (-142)/(-7) - (-6)/(-21). Let g = -12 + h. Suppose -2*x = 5*o - g, -5*x = -3*o + 5*o + 1. Solve o*j = -j for j.
0
Suppose -3*k + 5 = -w, -k = k + w - 5. Suppose -k*z + 5*o + 31 = 0, -z + 4*o + 32 = 12. Solve 7*r - 3*r + z = 0 for r.
-2
Let u be ((-4)/12)/((-4)/60). Let c(a) = -a**2 - a + 2. Let h be c(-2). Suppose -n + 2*n + 5*x - 30 = h, -u*n + 15 = -2*x. Solve 3*b = n*b - 2 for b.
1
Let t be (-3 - -8)*16/(-10). Let r = t + 8. Suppose 3*x - 6 = m - 1, -3*x - 5*m = -11. Solve -x*p + 5 - 1 = r for p.
2
Let j be (-2)/(-3)*9/6. Solve -3*g = -2*g - j for g.
1
Let l(x) = x**3 - x + 11. Let w be l(0). Let g = -18 - -21. Solve -g*d = 1 + w for d.
-4
Suppose -2*o + 8 = 2*j, o + 2*o - j + 4 = 0. Solve -m + 1 = -o*m for m.
1
Let h(j) = j - 5. Let f be h(6). Suppose -5*g + 55 = -b, f + 31 = g + 4*b. Solve 4*v + 0*v - g = 0 for v.
3
Let o = -30 - -58. Suppose -3*n + 4*m + 28 = 0, -2*n - m + o = -6*m. Solve 0 = v + v + n for v.
-2
Suppose 0 = 4*x - 8*x + 12. Let p = 7 - x. Solve -p = 5*n + 1 for n.
-1
Suppose 14*r = 3 + 11. Solve 0 = 5*m + r - 16 for m.
3
Suppose 9 = 2*l + l. Suppose l*x - w = 6 - 0, -6 = 3*x + 3*w. Let h be x*-1*(-3 - -1). Solve h = 5*f + 12 for f.
-2
Let i = 1 - -3. Let s(r) = -r - 8. Let c be s(-11). Suppose 0 = q - 2*q - 2, -3*v - c*q = 0. Solve -i*x = -v*x + 10 for x.
-5
Let a(k) = 1 - 4*k + 5*k - 2. Let n be a(6). Let c = 9 - n. Solve 3*m - m - c = 0 for m.
2
Suppose 4*w - 48 = 120. Suppose -5*h - 85 = -10*h. Solve -w = -5*s - h for s.
5
Let o(c) = 3*c**2 + 2. Let x be o(2). Suppose 4 = -0*u + u, x = -2*p + 5*u. Suppose p*d - 7 = -d + y, -2*d + 2*y - 4 = 0. Solve 5*h + 12 = -d for h.
-3
Let o be (-1 - -4) + (2 - 0). Let g be (-10)/7*-1*7. Solve o*c = -0 - g for c.
-2
Let r(x) = -x - 5. Let p be r(-6). Let n be -4 + 7 - 2*p. Solve 0*c = c + n for c.
-1
Suppose 2*t - 2 = 2. Suppose 22 = 3*o + 5*u, 0 = 3*o - o - 3*u - t. Solve j + o = 2 for j.
-2
Let y be (-50)/(-8) + 5/(-20). Suppose 0 = -2*o - 0*o + y. Let r be (8/(-6))/(2/(-3)). Solve -2*k = -o*k + r for k.
2
Let j be 3/((-4)/6 + 1). Solve 13 = 2*s + j for s.
2
Let t = -88 + 92. Solve 4 = -t*g - 16 for g.
-5
Let q(l) = l**3 + l**2 - l + 2. Let n be q(0). Solve 0*k = k - n for k.
2
Let b be (-1280)/(-50) - (-6)/(-10). Solve 2*h = 7*h - b for h.
5
Let w be -1 + -1 + (6 - 0). Let h(p) = 2*p**2 - 11*p - 10. Let s(x) = x**2 - 10*x - 9. Let q(n) = -2*h(n) + 3*s(n). Let c be q(-6). Solve -w + 29 = -c*g for g.
-5
Let w be (-26)/(-7) + 6/21. Let l = -8 - -12. Let 