-4 = 4*y. Solve i = -r - r for r.
0
Let j(d) = -3*d + 3 - 1 + 2*d + 0*d. Suppose -5*z + 4*v + 8 = -z, v - 2 = 3*z. Let x be j(z). Solve 1 = x*m + 9 for m.
-2
Let x(b) = -b**2 - 3*b. Let f be (2 + -2 + -3)*1. Let z be x(f). Suppose 2*s - 6 + 4 = z. Solve 5*u + s = 21 for u.
4
Let o be (3 - 7) + 2 + 4. Solve -o*z = -4*z - 10 for z.
-5
Let s be 0 + 3 + 1 + 1. Suppose -d - 110 = -s*w - 6*d, d - 2 = 0. Solve -3*u - u + w = 0 for u.
5
Suppose -2*o - o = -321. Suppose 5*x - 2*w - o = 0, -x + 5*w + 5 + 21 = 0. Let r be (-15)/(x/(-12) - -1). Solve 2*z + 2*z = r for z.
5
Suppose 0*r + 4*r = 20. Solve -4*s + 7 = -r for s.
3
Suppose -4*p = -j - 7 - 14, -2*j + 2 = 3*p. Solve -3*u + p*u = -2 for u.
-2
Let v be -4*1/(-4 + 3). Suppose j - 25 = -v*j. Solve 0*y - 20 = -j*y for y.
4
Let a(n) = -n**3 + 21*n**2 + 3. Let u be a(21). Solve 0 = -u*d - 7 + 1 for d.
-2
Let w(a) = a**2 + 2*a - 3. Let s be w(5). Let j be 3/2*s/6. Solve -4*r + 4 = -j for r.
3
Let i = 28 + -25. Solve 0*y - 9 = i*y for y.
-3
Let f be 2*(-2 + (-27)/(-6)). Let o(r) = r**3 - 4*r**2 - 5*r + 2. Let q be o(f). Solve q*u + u = 12 for u.
4
Let f(n) = 8*n + 10. Let s(p) = -7*p - 11. Let b(l) = -6*f(l) - 7*s(l). Let x be b(-7). Solve -x = 2*t + 3*t for t.
-2
Let p = 13 - 13. Suppose p = 5*b + 5*r - 15, 27 = 5*b - 5*r + 2. Solve -c = -0*c - b for c.
4
Let u be (3/(-4) + 15/20)*1. Solve 5*a - 10 + 25 = u for a.
-3
Let m(y) = y**3 + 7*y**2 - 10*y - 10. Let o be m(-8). Suppose -12 = -5*x - 2. Solve -2*u = -o - x for u.
4
Let v(a) = a + 17. Let c be v(-14). Solve 3*j + c = -9 for j.
-4
Let k = 4 - -1. Solve -4*p + k*p = -2 for p.
-2
Let z be (-1 - -1) + (-24)/(-3). Let x(n) = -n**3 + 8*n**2 - n + 8. Let b be x(z). Solve b = s + s for s.
0
Let b = -28 - -44. Solve 5*h = 1 - b for h.
-3
Let r be 30/(-20)*(-10)/3. Let h = r - 5. Solve -3*d + 15 = -h*d for d.
5
Suppose -3*h + 9 = -12. Suppose -3*a + 8 = -h. Solve y = a*y + 4 for y.
-1
Suppose 4*l = 5*p + 20, -2*p = p + l - 5. Suppose y + 2*k + k + 1 = p, -5*k - 13 = -4*y. Solve -5*t + 3 = -y for t.
1
Let i(s) = 10*s + 4. Let j be i(-3). Let c = j + 54. Let k be c/12 - (-3)/(-9). Solve -2*m + k = -0 for m.
1
Let y(x) be the first derivative of x**4/4 - 5*x**3/3 - 5*x**2/2 - 6*x - 3. Let a be y(6). Let l = a - -3. Solve -o + l = -0 for o.
3
Let r(t) = -t**2 + 12*t + 2. Let g be r(12). Let y(i) = 3*i + g - 5*i**2 + 3*i**2 + 3*i**2. Let l be y(-3). Solve -l*v + 9 + 1 = 0 for v.
5
Suppose -o + g + 5 = 0, 3*o = o + g + 5. Solve -3*m - 4 - 5 = o for m.
-3
Let r(i) = -i + 2. Let t be r(-6). Let v = t - 5. Let z(g) = -g + 12. Let w be z(0). Solve -v*j + 0*j = w for j.
-4
Let b = -1 + 5. Suppose 0*f - 2*g = -2*f + b, 0 = -f - 4*g - 8. Solve q - 1 = -f*q for q.
1
Let a(h) = h**2 + 5*h - 7. Let y be a(-8). Solve y + 3 = 5*m for m.
4
Let y be (22/55)/((-2)/(-20)). Let g = -10 - -14. Solve -3*s - g = -y*s for s.
4
Suppose -3*x - 9 + 3 = 0. Let u(p) be the second derivative of -5*p**3/6 - p**2/2 + p. Let h be u(x). Solve 5*f = 2*f + h for f.
3
Suppose -2*t = t - 36. Let j be 10/2*(-1 + 0). Let h(c) = c**3 + 6*c**2 + 5*c + 7. Let s be h(j). Solve -4*r = -s*r + t for r.
4
Let o be (1 - 2)*-26 + -1. Suppose 2*j - 3*j + 8 = 0. Suppose 0 = p - 3*p + j. Solve o = v + p*v for v.
5
Let v = -9 + 9. Solve v = 5*r + 9 - 34 for r.
5
Let s = 34 - 20. Let u be -2*4/44 - (-204)/33. Solve u = -4*p - s for p.
-5
Suppose -3*d = 5*s + 1, 2*d + 3 = -d - 3*s. Let o(u) = -5*u - 2. Let t be o(d). Let p be -1*5/(-1) - 2. Solve 5*y + p = t for y.
1
Suppose -11 = -3*i + 2*v, -2*i = -4*i + 2*v + 4. Suppose 16 = i*u - 3*u. Solve 0 = -u*l - 0*l - 12 for l.
-3
Let x(c) = c - 1. Let o = -13 + 8. Let a be x(o). Let b(n) = -n**3 - 5*n**2 + 6*n + 4. Let y be b(a). Solve y = 2*v - 0 for v.
2
Suppose 0 = j + 4*j - 30. Suppose 0 = -2*h - 0*h + j. Suppose -h = 2*g - 15. Solve g*z - z + 15 = 0 for z.
-3
Let w(c) = -c**3 + 8*c**2 - 8*c - 4. Let j(r) = 3*r - 3. Let g be j(3). Let z be w(g). Solve -z = -0*l + 4*l for l.
-5
Suppose 3*r = 7*r + 5*x - 33, -r + 5*x - 23 = 0. Let c = 2 - 0. Solve -c = z + r for z.
-4
Let f(z) = -2*z + z**3 - z - 4*z**2 + 4*z - 3. Let i be f(4). Solve q + 5 = i for q.
-4
Let c = 16 - 9. Suppose -c*n = -2*n. Solve n = -2*o + o for o.
0
Suppose -z + 2*a = 6, 0 = -3*z + 5*z - 2*a + 4. Suppose 3*x = -z*x. Solve -9 = -x*t + 3*t for t.
-3
Suppose -4*i + 15 = -i. Suppose i*n = n - 32. Let g = 12 + n. Solve 0*t = g*t + 4 for t.
-1
Let q(p) = p - 10. Let f = 1 - -9. Let d be q(f). Solve 3*g + d*g = -12 for g.
-4
Let w(x) = 4*x - x - 2*x. Let d be w(3). Suppose -2*q - n + 27 = 0, -2*n - 90 = -5*q + 3*n. Solve 0 = -d*y - 0*y + q for y.
5
Suppose -3*m = -4*n - 4*m + 80, 4*n - 104 = 5*m. Solve 3*a - n = -6 for a.
5
Let v(d) = -d**2 - 27*d - 24. Let n be v(-26). Solve n*m = m for m.
0
Let q = -74 + 77. Solve 16 = q*o - 7*o for o.
-4
Let n(f) = -4*f - 25. Let j be n(-7). Solve -w + j = 1 for w.
2
Suppose 3*l - 6 - 9 = 0. Solve -10 = 3*j - l*j for j.
5
Suppose 2*u = -2*u - 2*t + 18, -4*u = -3*t - 13. Suppose 3*w = -3 - 6. Let k(n) = n**3 + 5*n**2 + 3*n - 1. Let g be k(w). Solve -u*i = -8 - g for i.
4
Let o(v) = -v**3 + 13*v**2 + 31*v - 3. Let r be o(15). Solve -r = 2*p + p for p.
-4
Suppose 2*q + 3*x + 2 = 48, 4*x = 3*q - 52. Solve u = 6*u - q for u.
4
Let m(o) = o**3 + o. Let i be m(1). Suppose -3*u = i*u. Solve u - 4 = -4*k for k.
1
Let f(h) be the second derivative of h**4/4 - h**3/6 - h**2/2 + h. Let v be f(-1). Suppose v*i + 5*d = 5, 4*i - 22 = 2*d - d. Solve -2*a - i = -a for a.
-5
Let z = -7 + 9. Suppose c + 4*c - 15 = 0. Suppose c*m = -m. Solve z*i + i - 9 = m for i.
3
Let t(l) = -2*l - 3. Let h be t(-3). Suppose -h*d + 3*r + 20 = -r, 4*d - 25 = 5*r. Solve 2*w + 2 - 6 = d for w.
2
Let l(v) be the first derivative of -v**4/4 - 7*v**3/3 - v**2/2 - 7*v + 1. Let y be l(-7). Let a be (y - 0 - 2) + 2. Solve a*b = -b - 3 for b.
-3
Let o(n) = -n**2 + 3*n - 3. Let r be o(2). Let f be 10 - (r - (3 + -2)). Solve 7*a - 4*a = f for a.
4
Let m be ((-4)/(-12))/((-1)/(-15)). Suppose -o = -n + 5 + 1, m*n + 3*o = 6. Solve 2*g = -n*g + 10 for g.
2
Let m(s) = -s - 9. Suppose 4*h = -4*c - 40, -8 = 5*h + 4*c + 43. Let i be m(h). Solve -d - 1 = -i*d for d.
1
Let y(h) = 14*h - 65. Let k be y(5). Solve -5*m + 0 - k = 0 for m.
-1
Let l(m) = m**3 + 6*m**2 + 5*m + 3. Let i be l(-5). Solve -i*j + 0 = -6 for j.
2
Let k(u) = u**2 - 6*u + 2. Suppose -o + 0*o + 6 = 0. Let v be k(o). Let r = 2 - -1. Solve -r*w = v*w for w.
0
Let o be 0/2*(-2)/(-4). Let d(u) = u**3 + 7*u**2 + 4*u - 8. Let x be d(-6). Solve -x*y + o + 12 = 0 for y.
3
Let b be 7/2 + 1/2. Let m be -3 - 18/(-15)*20/6. Solve -s + b = -m for s.
5
Suppose 1 = o, o - 2*o = 3*a - 1. Let k be ((0 - 0)/1)/(-1). Suppose 5 = f - k*f. Solve -f*v + v + 4 = a for v.
1
Let r(z) = -6*z - 10. Let l be r(-3). Solve -l = 3*j + j for j.
-2
Suppose -v = 3*v. Solve -3*u - 7 - 5 = v for u.
-4
Suppose 2*i - q = -7, -5 = -2*q + 5. Let y be 3 + -1 + 5*i. Let x be (-3)/(-1)*(-1)/y. Solve -7 + x = 2*g for g.
-3
Suppose -27 = -s + 5*w, -2*s = -4*s + 3*w + 19. Solve s = u - 2 for u.
4
Let z(v) = -7*v + 35. Let k(t) = 2*t - 9. Let y(q) = 22*k(q) + 6*z(q). Let u be y(-6). Solve 4*a - 20 = -u*a for a.
5
Suppose 1 = 3*x - 11. Suppose 0 = -x*o + 10 - 2. Solve -6*f = -4*f + o for f.
-1
Let i = 36 + -20. Let y be ((-6)/5)/(3/(-10)). Suppose 5 = 3*n + t, y*t + 0*t + i = 0. Solve -n*v + 5 = -4*v for v.
-5
Let i be -13 + 15 + -1 + 2. Solve -2 = n + i for n.
-5
Suppose -7*l = -2*l - 5. Let o(v) = v**3 + 7*v**2 - 7*v + 10. Let m be o(-8). Suppose -l - 3 = -m*a. Solve -2*t - 8 = a*t for t.
-2
Suppose -3*s + 5*i + 48 = 1, -i = s - 13. Suppose -4 = q - s. Solve -5*f + 10 = -q for f.
4
Let y(v) = 3*v. Let s be y(3). Let u = -38 - -57. Suppose -5*d - 11 = -2*q - 2*q, -4*q - 3*d = -u. Solve l = q*l + s for l.
-3
Let a = -4 - -9. Let p(v) = -4*v**2 + 10*v - 9. Let q(k) = -k**2. Let u(r) = p(r) - 3*q(r). Let d be u(9). Solve d = a*i - 3 - 7 for i.
2
Let o be 4/(-2) + 5 + 0. Let j be (-8)/(-4) - (1 - -1). Suppose 0 = 4*f - 3*q - j*q - 42, 5*f - 47 = q. Solve -3*z + o = -f for z.
4
Let j = -5 + 7. Suppose u + 4 = j*u. Solve 1 = 5*b - u*b for b.
1
Let z = 48 + -26. Solve -4*b - z = -6 for b.
-4
Suppose 2*g + 6 = 18. Let b(r) = -r + 6. Let z be b(4). Suppose 6 = z*q + 2. Solve -2 = -q*t + g for t.
4
Let v(x) = -x