 r - 6 = -l for r.
5
Let d be (-1)/2*(-10 - 6). Suppose d*b = 3*b + 25. Solve 2*o - 1 = -b for o.
-2
Let q(w) = w**3 + 4*w**2 - 4*w + 7. Let b be ((-1)/(-2))/((-3)/30). Let h be q(b). Solve -h*a = -2 - 4 for a.
3
Let i be (-6)/(0 + 2) + -1. Let z(n) = -n**2 - 6*n - 4. Let g be z(i). Solve g*y + 15 = -1 for y.
-4
Let a(p) = -p + 10. Let g be a(5). Suppose g*x + 0*x + 5*m - 20 = 0, -3*m + 6 = 0. Suppose 7 = x*l + 1. Solve l = -2*c + 5 for c.
1
Let v = -13 + 7. Let f be v/(-21) - (-52)/14. Solve 3 = f*h - 13 for h.
4
Let k = -90 + 97. Solve -5*g + k*g = 2 for g.
1
Let y(z) = z**2 + 9*z - 1. Let b be y(-9). Let a = 1 + b. Let i be 1*(-1 + a) - -11. Solve -3*r + i + 5 = 0 for r.
5
Suppose 5 - 1 = k. Solve -c = -k*c + 12 for c.
4
Let b(k) = -k - 1. Let j be b(7). Let w = 1 + j. Let c(x) = x**3 + 6*x**2 - 9*x - 10. Let s be c(w). Solve 0*m = -s*m for m.
0
Let w be -6*(-4)/(-8) + 5. Solve q + 0*q = w for q.
2
Suppose -1 + 31 = 3*n. Let h(s) = s**3 - 3*s**2 + 3*s - 3. Let g be h(3). Suppose 0 = -5*j + 4 + g. Solve 0*q = j*q - n for q.
5
Let b(p) = -p**2 - 4*p - 3. Let c be b(-2). Let m = 12 + -20. Let u(x) = -2*x - 11. Let a be u(m). Solve 0 = 3*q - c - a for q.
2
Let k be 2/6 - (-295)/15. Solve 0 = 4*a - 0*a - k for a.
5
Suppose -5*y = -y - 4*w - 24, w = 4*y - 21. Solve y*n + 2 = -18 for n.
-4
Let d(o) = -o**2 - 12*o - 7. Suppose -4*m - 9 = 2*k + 33, -31 = 3*m + 2*k. Let q be d(m). Solve q*u = 5*u for u.
0
Let s(d) = d**3 - 4*d**2 + 4*d - 1. Suppose -2*k + x = -10, -3*k + x + 7 = -2*k. Let w be s(k). Let j = 0 + w. Solve -j*q = -5 + 15 for q.
-5
Let m(s) = s + 9. Let t be m(-6). Let b be (0/t - 0)/(-1). Solve i + 4*i - 15 = b for i.
3
Suppose -3*n + 25 = 4*o + 1, 3*n = -o + 15. Let j = -17 + 13. Let h = j + n. Solve -2*f + 6*f + 16 = h for f.
-4
Suppose 0 = 2*u + 2*u + 24. Suppose -5*j + 55 = -2*h, -5*j + 2*h + 50 = h. Let l = u + j. Solve -2*a = l*a for a.
0
Suppose 4*w - 2*w - 6 = a, w + 5*a + 8 = 0. Suppose 3*b - 1 = -3*x - 10, w*x - 2*b - 6 = 0. Suppose -2*h - h + 6 = x. Solve -10 = -h*m - 3*m for m.
2
Let f be (12/27)/(-2) + 16/72. Solve f = -3*w + 6 - 3 for w.
1
Let t = 4 - 6. Let a be (-1)/(-1) - (t - 17). Solve o - a = -4*o for o.
4
Suppose 0 = -3*v + 3 - 0. Let y(n) = n - 2. Let c be y(2). Solve c = -a + v + 3 for a.
4
Suppose -d = -8*d + 28. Solve -d + 8 = -w for w.
-4
Let a be -1 - 1 - 0 - -8. Suppose -3 = -4*j + 13. Solve j*b - a + 2 = 0 for b.
1
Let x(q) = q**3 - 6*q**2 + 6*q. Let f be x(4). Let u be -3 - (3 + -3 + f). Solve 3*v - u*v - 6 = 0 for v.
-3
Let a(b) = b + 14. Suppose -4*n + 8 = 60. Let x be a(n). Solve q = 3 - x for q.
2
Let w = 1 + 7. Let x(m) = 0*m**2 + m**2 + 4 - 4*m - 4*m. Let l be x(w). Solve q = -q + l for q.
2
Let a(k) = -k - 2. Let z = 10 + -17. Let x be a(z). Let n be (7 - x) + -2*1. Solve n = -2*y + 2 + 2 for y.
2
Let y(k) = -3 + 6 + 5 - k - 3. Let b be y(4). Suppose -v + b - 13 = -3*c, -31 = -2*v - 5*c. Solve -2*p = p - v for p.
1
Let u(l) = 2*l - 11. Let r be u(13). Solve 0*t + r = -5*t for t.
-3
Let q be (0 - 1 - -1)/2. Suppose 0 = 5*k - q*k - 50. Suppose -2*h - x = 0, 2*h = -h - 4*x - k. Solve h*u = 3 + 1 for u.
2
Let w(n) = -n**2 - 6*n. Let o be w(-5). Let l be 234/15 - 6/(-15). Solve -9 = -o*p + l for p.
5
Let k(f) = -f - 2. Let v be k(-6). Suppose -4*q = 2*y - 20, v*q = 2*y - 15 + 35. Suppose y = 2*m + 2*m - 20. Solve 0 = -m*p - 12 + 37 for p.
5
Suppose -3*o - o = 0. Suppose o = -0*z + 3*z. Solve d + 2 - 7 = z for d.
5
Let q = 54 + -52. Solve d + d = -q for d.
-1
Let g(i) = -i**3 - 9*i**2 - 7*i + 10. Let f be g(-8). Suppose 3*j = f*v + v - 6, -4*j - 2*v = -10. Let r be (-1 - 13)*(-1)/2 - 1. Solve j = -h + r for h.
5
Let b = -1 - -4. Let n = -13 - 8. Let f = n + 41. Solve b*t = 8*t - f for t.
4
Let r = -4 - -4. Solve -2*s = -r*s for s.
0
Let q = 1 - -2. Suppose -2*h + t + 12 = 3*t, -q*h + 3*t + 6 = 0. Solve 0*g = h*g for g.
0
Let k = -5 - -11. Solve k*s = s for s.
0
Let y = 88 - 52. Let l be y/(-126) - (-4)/14. Solve 2*c + 3*c = l for c.
0
Suppose -24*v + 27 = 3. Let c be 2/3 + 8/6. Solve -c*y + v = -1 for y.
1
Let j(p) = 20*p**2 + 1. Suppose 5*k + 15 = -0*k. Let i = 4 + k. Let w be j(i). Solve -5*s - w + 6 = 0 for s.
-3
Let j(l) = 3*l + 56. Let n be j(-17). Solve -10 - n = -3*c for c.
5
Let q = 6 - 4. Let g be (1 - -1) + (-4)/(-2). Solve 0 - g = q*i for i.
-2
Let u(y) = -y**3 - y**2 + 3*y + 3. Let f be u(-2). Solve 2*b + 3 = -f for b.
-2
Let a(n) = n - 3. Let g be a(6). Let m(y) = 3*y + 1. Let f be m(g). Let k(j) = j + 4. Let l be k(0). Solve f = l*u - 2*u for u.
5
Let d(y) = -y**3 - 9*y**2 + 10*y + 6. Let o be d(-10). Let w be (22/4)/(o/12). Let u be (-2)/5*(-55)/w. Solve -3*z = u*z + 20 for z.
-4
Let o(n) = n + 5. Let g(a) = -a**3 + 7*a**2 + 6*a + 11. Let y be g(8). Let u = y - 0. Let w be o(u). Solve w = 3*q + 3 - 6 for q.
1
Suppose 0 = -2*s + 2 + 2. Solve -5 = s*o + 3 for o.
-4
Let q be (2 - 5) + (0 - -6). Suppose q*w - 1 = 5. Solve -w*k = -k + 3 for k.
-3
Let d(w) = -w**2 + 6*w - 5. Let r be d(4). Let u(p) = -4*p**3 - 1 + 7*p**2 + 4 + 8*p + r*p**3. Let b be u(8). Solve -b*x - 10 = -x for x.
-5
Suppose -3*i + 1 = -2. Solve b = -5 + i for b.
-4
Let g(t) = -t - 2. Suppose -n + 4*v - 2 = 0, 7*n + 2*v = 2*n - 10. Let o be g(n). Solve 0 = -o*s + 4*s + 4 for s.
-1
Let d be (-4 + 1)/(4/(-4)). Let h be 1*(1 + 0 + d). Suppose 10 = h*q - q - u, -4*q - 3*u + 22 = 0. Solve -r + q + 1 = 0 for r.
5
Suppose -x = 2*x - 15. Suppose w - 2*s - 3*s = 24, -x*w = 5*s. Suppose 3*z - 5 = 40. Solve -z = o + w*o for o.
-3
Suppose 2*v + 6 = 5*m - 2, -3*v - 12 = 2*m. Solve 3*s = -m + 6 for s.
2
Suppose 3*x = -0*x + 18. Solve -x*c + 3*c = 0 for c.
0
Let c(n) = n - 1. Let d be c(3). Suppose 5*h = -2*p - 2, -18 = -d*p + h - 8. Let m be 18/p - 1/2. Solve -m*j + 1 = -19 for j.
5
Let j(k) = 11*k + 44. Let t be j(-4). Let m be 15*(12/10)/3. Solve t = 4*v - v + m for v.
-2
Let v = 13 + -22. Let x = -5 - v. Suppose -g - 2*g - 2*n + 34 = 0, 3*g - 2*n - 38 = 0. Solve 0 = x*y + g for y.
-3
Let m(i) be the first derivative of 5*i - 1/3*i**3 + 0*i**2 + 1/4*i**4 - 1. Let d be m(0). Solve d + 5 = -5*a for a.
-2
Suppose 0 = 3*d - 3 - 9. Solve 0*a = -d*a + 4 for a.
1
Let m(q) = -q**2 - 14*q. Let x be m(-14). Let p be (16/(-10) + 1)*-5. Let c = 14 + -8. Solve p*z + c = -x*z for z.
-2
Suppose n + 3*n - 31 = 5*o, 5*n = o + 23. Let l(t) = 2*t - 9. Suppose 0 = -4*q + 15 + 9. Let j be l(q). Solve -c = -j + n for c.
-1
Let r be 2*-1 + (0 - -8). Let k(j) = 5*j - 36. Let l be k(9). Suppose -4*b - l - r = -3*t, -4*t = -b - 20. Solve 4*z = 1 - t for z.
-1
Suppose 3 = 3*f - d - 2*d, f - 4*d = 4. Let b be (2 - 9) + f/(-3). Let x(z) = -z - 7. Let t be x(b). Solve 0 = 5*v - t*v for v.
0
Suppose 0 = -2*c - 3*c. Let w be (0 - -1) + 4 + -1. Solve -w*v - v = c for v.
0
Suppose 6 = 2*y - 6. Solve y*z - z = -25 for z.
-5
Let b(i) = i**2 + 5*i + 9. Let k be b(-2). Suppose -2*u - 5 = n, -n + 3*n - 3*u + 10 = 0. Let v = 9 + n. Solve v = k*d - d for d.
2
Let v(l) = l + 9. Let h be v(-5). Let g = 6 - -2. Suppose h*s - 8 = g. Solve s*c - 15 = c for c.
5
Suppose 15*f = 17*f - 4. Let l be (-18)/(-8) - 2/8. Suppose -j = 2*r - l*j - 31, -j + 29 = f*r. Solve o - 4*o = -r for o.
5
Let c = -10 + 14. Suppose c*i + 13 = -x, x = 2*x + 5. Let r = 6 + i. Solve r*d + d = 5 for d.
1
Let j be (11 + 1)/3 - 0. Solve j = 3*h + 1 for h.
1
Suppose -2*n = -12 + 6. Solve n*j - 3 = 12 for j.
5
Let l be 6/(-4)*16/(-12). Let j = l + -2. Solve -p - 3*p = j for p.
0
Suppose 127 - 47 = 8*a. Solve a = 2*i + 2 for i.
4
Suppose 2*x + 3*x - 25 = 0. Suppose -x*g = -0*g. Solve g*q = -4*q - 8 for q.
-2
Let b(x) = -5*x - 4. Let m(n) = -4*n - 3. Let c(o) = -2*b(o) + 3*m(o). Let p be c(-2). Solve 2*q = q + p for q.
3
Let h(a) = -a**3 - 6*a**2 - 6*a - 5. Let m = 6 - 11. Let j be h(m). Solve j = -6*s + s + 10 for s.
2
Let u(m) be the first derivative of -6*m**2 + 2. Let d be u(-1). Let a be 2*3/d*14. Solve z - a = -3 for z.
4
Let q be 36/(-15) - 12/20. Let v = 14 + q. Solve v = -5*s + 1 for s.
-2
Let u = 23 - 34. Let n(m) = -m**3 - 11*m**2 + m + 14. Let b be n(u). Solve x - 12 = -b*x for x.
3
Let w = -12 + 14. Solve -w*x - 6 = x for x.
-2
Let c be (-16)/(-7) + 2/(-7). Suppose -2*p = p - 12. Solve c*t + p = -4 for t.
-4
Let w = -51 - -54. Solve -w*c + 2 = -c for c.
1
Suppose 5*z - 15 = -0*z + 5*b, 5 = z + b. Solv