 - x = q for q.
-1
Let l = 7 + -7. Let j be (-1 + l)/(-1)*0. Solve j = -4*u + u for u.
0
Let m(q) = -q**3 - 2*q**2 - 2. Let b be m(-2). Let h = b + 9. Solve 0 = h*o - 2*o - 20 for o.
4
Let c be (-38)/(-8) + (-3)/4. Suppose 5*j - c*t - 4 = 0, -5*j + 1 + 0 = -t. Let d be (-4)/2 - (-7 - j). Solve -d*b + 0 = 20 for b.
-4
Let o be 1/(3/9 - 0). Solve -3*l = -0*l - o for l.
1
Let v(t) = t - 3. Let o be v(9). Suppose o - 4 = j. Solve -12 = 5*k - j*k for k.
-4
Let p = 10 - 14. Let r be (-6)/p*(3 - 1). Suppose -2*w = -5*l - 21, 0 = 2*l - 3*l - r. Solve -w*k = -2*k - 3 for k.
3
Let r(s) = 4*s - s**2 - 4 + 3*s**2 - 2*s - s. Let c be r(-2). Solve -x + c = x for x.
1
Suppose -5*l = 2*v + 2*v - 14, 2*l = -3*v + 7. Solve 5 = -l*q + q for q.
-5
Let n be 1 + 10 + (-3 - -2). Let i = -3 + 5. Solve 0 = -i*y - 3*y + n for y.
2
Let w = -8 + 8. Solve -4*s - s = w for s.
0
Let a = 3 + 0. Solve b = -a*b + 16 for b.
4
Suppose 0 = 3*m - 5 - 4. Suppose -16 = -m*t - 4. Solve 4 = 2*x - t for x.
4
Suppose -3*r + 2*r = 0. Suppose -3*v + 6*v - 15 = r. Let m = 2 - 2. Solve -v = -q - m for q.
5
Suppose l - 2 = -l. Solve -l = -a - 4 for a.
-3
Suppose 5*o - 2*o = 9. Suppose -101 = -o*w - 3*l - 11, w - 5*l = 0. Solve -2*g = 3*g - w for g.
5
Let x(n) = n**2 - 6*n - 4. Let i be x(7). Suppose 42 = 4*g - i*g. Suppose 5*a = g - 7. Solve 0 = 4*z + a + 1 for z.
-2
Suppose 4*x + 5 = 5*x. Solve 0 = a - 2*a - x for a.
-5
Let p be ((-15)/(-6))/5*8. Let d be 1/p - 3/12. Solve 2*t - 4*t - 6 = d for t.
-3
Let u(n) = -4*n**2 + 8*n - 5. Let g(f) = f**2 - 1. Let c(t) = -3*g(t) - u(t). Let z be c(7). Let k = z + -1. Solve k = 3*p + 5 + 1 for p.
-2
Let t = -14 - -10. Let x be (-105)/(-20) - (-1)/t. Solve 7 + x = 3*u for u.
4
Let r(j) = j**2 + 5*j + 7. Let l be r(-5). Solve l = -5*t - 8 for t.
-3
Let f = 25 - 19. Let v(j) = j**2 - 6*j + 4. Let g be v(f). Solve 13 = -g*n + 1 for n.
-3
Let y = -34 - -37. Solve 5*v = -28 + y for v.
-5
Let h be (-15)/(-6)*4/5. Let u(k) = 48*k**3 + k**2 - 1. Let d be u(1). Suppose -h*m - m + d = 0. Solve 3*v = -m + 1 for v.
-5
Let k be 4/14 - 24/(-14). Solve 0 = -z + k*z - 5 for z.
5
Let o = -6 - -11. Suppose 0 = 5*a + o*u + 10, 0*u + 16 = 2*a - 3*u. Solve -a*g + 0 = -4 for g.
2
Let p = -12 - -31. Suppose 4*n = p - 3. Solve -n*y + 9*y = 0 for y.
0
Let d be (-275)/(-22) - 1/2. Solve 2*p = 5*p - d for p.
4
Suppose -2*a + 4*r = -0*r - 22, -4*a = -5*r - 32. Solve a*b + b - 20 = 0 for b.
5
Let v = -32 - -32. Solve -2 = 2*m - v for m.
-1
Suppose -38*l + 40*l = 4. Solve l*c = 4*c for c.
0
Let l(m) = m - 10. Let i be l(7). Let t be ((-4)/6)/(i/9). Solve -12 = 5*q - t*q for q.
-4
Let u(r) = r**3 + 14*r**2 + 13*r + 1. Let d be u(-13). Solve 0 = -4*m - d - 7 for m.
-2
Suppose 5*q - 25 = 4*g, -g - 17 = -2*q + 2*g. Suppose 15 = 5*d - 0. Solve 0 = 2*w + q - d for w.
1
Let n = -58 + 58. Solve -s + n*s - 5 = 0 for s.
-5
Let i be (1 + -1)/(12/(-12)). Solve i = 2*j + 2*j + 20 for j.
-5
Suppose -2*d + 3*d = 16. Let c = -7 - -13. Let n = d - c. Solve 6*o = o + n for o.
2
Let l = -140 + 142. Solve -l - 3 = -k for k.
5
Let g = 13 - 11. Let o = 5 + -5. Solve 6*p - g*p - 8 = o for p.
2
Let o = -2 + 4. Suppose -2*q - 3*s + 3 = 0, 4*s = -5 + 1. Solve q*g - 10 = -o*g for g.
2
Let n be (-4)/(-16*1)*4. Solve -p = -n - 1 for p.
2
Let f(q) = 5*q**3 - q**2 + 2*q - 1. Let k be f(1). Solve -z + 2*z + k = 0 for z.
-5
Let q(z) = z**2 - 8*z - 6. Let h be q(8). Let k be 0/((-3)/(9/h)). Solve u + u - 6 = k for u.
3
Suppose 0 = -4*l + a - 51, -3*a + 7 - 78 = 4*l. Let o be (2 - l/(-1))/(-2). Solve 8 = -4*f + o*f for f.
4
Let k(u) = -18*u - 2. Let a be k(-1). Let o be 2/a - (-155)/40. Solve -o*b - 14 = -2 for b.
-3
Let c = 39 - 21. Solve 0 = 5*k - 3 + c for k.
-3
Let s(q) = -q - 4. Let i be (-6)/(-21) + 132/(-21). Let r be s(i). Solve x + 5 = r*x for x.
5
Let w(j) = 2*j**2 + 3*j - 4. Let l be w(-3). Solve -l*s + 5 + 10 = 0 for s.
3
Let n = -59 - -65. Solve -s + n*s = -25 for s.
-5
Let w be 26/(-65) - (-44)/10. Suppose 2*q - 4*u = -20, -30 = -w*u - 10. Solve 0 = -q*r - 2*r - 6 for r.
-3
Let i(o) = -o**2 - 10*o - 12. Let z be i(-11). Let k = z + 29. Solve 4*j = 2 - k for j.
-1
Suppose 0 = -i - 3*i - 8. Let p(l) = 1. Let q(k) = k + 6. Let d(m) = -4*p(m) + q(m). Let b be d(i). Solve 0 = -b*t + 3*t for t.
0
Let f(c) = -c**3 + 4*c**2 - 2*c + 3. Suppose 2*k = -4*q + 8, 4*k - q + 1 = -1. Suppose k = -3*i + 6. Let s be f(i). Solve -10 = 2*x - s*x for x.
2
Let h(t) = t + 3. Let n be h(0). Let k(u) = u - 1. Let s be k(n). Suppose -s*x + 6*x - 8 = 0. Solve 0*y + 10 = x*y for y.
5
Suppose 6 + 3 = 3*v. Let h be 9 + 1 + -3 - 3. Suppose v*g - 6*o = -2*o + 18, 14 = g - h*o. Solve 0 = -g*y - 2 for y.
-1
Suppose h - 7 = -2*a + 2*h, -5*a = 3*h - 23. Let o = -5 + -2. Let d = o + 16. Solve f - d = -a for f.
5
Suppose 0 = -3*v + 2*r + 9 + 25, -5*r = -2*v + 30. Let w(p) = -2*p - 23. Let i be w(-13). Solve -l = -i*l + v for l.
5
Suppose 1 = -x - 3*o - 2, o = -1. Solve x - 8 = 4*f for f.
-2
Let k(z) = -z**3 + 6*z**2 + 7*z - 2. Let n be k(7). Let u be 0/((-2)/n*-2). Suppose u = -3*f + 5*c + 24, 2*c = f - 0*c - 9. Solve -3*o = -4*o + f for o.
3
Suppose -5*o = -2*f - 4*o + 9, 21 = 5*f - 3*o. Solve -f = -h - h for h.
3
Suppose 2*y + 5 = b, -2*y = 3*y + 5. Solve -6*m + 9 = b for m.
1
Suppose -13*p + 16*p - 6 = 0. Solve p*l + 2 = 4 for l.
1
Let y = 1 - -2. Suppose -j + 0*z = y*z - 25, -3*j = 4*z - 100. Suppose 10*w - 5*w = j. Solve w*m - 3*m = 0 for m.
0
Let k be 7 - (1 - -2) - 1. Solve l + 2*l + k = 0 for l.
-1
Let j(q) = -q - 1. Let i be j(-1). Let m(w) = w**2 + 5. Let b be m(i). Solve -2*x = -b*x - 15 for x.
-5
Suppose -5*q + 4*c - 8 = 0, -5*c + 8 = q - c. Solve q*l + 2*l + 4 = 0 for l.
-2
Let n = 159 + -156. Let r be ((-26)/4)/((-1)/2). Suppose n - r = -5*y. Solve 0 = -3*g - 7 - y for g.
-3
Let h = 6 + -3. Let p(c) = c**3 + 6*c**2 - c - 1. Let m be p(-6). Suppose -2*s = -7*s. Solve s = -h*y + 2 - m for y.
-1
Let j = -29 + 29. Solve 4*l - 4 = -j for l.
1
Let g(j) be the first derivative of -2/3*j**3 + 5 + j - 1/2*j**2 - 1/2*j**4. Let n be g(-2). Solve -n = -4*t - 3 for t.
2
Let t be 2 + 4 + (-6)/2. Solve -2 = -g + t for g.
5
Let f = 5 - -1. Suppose j - f*j = 0. Solve 2*h - 7*h + 5 = j for h.
1
Let c be (-3)/9 - 20/3. Let i = 23 + c. Suppose 0 = 4*d - 1 - 7. Solve 2*x + d*x - i = 0 for x.
4
Suppose 0 = 2*h + 7*h. Solve 2*j + 0*j = h for j.
0
Suppose -1 = 2*b + 7, 2*m - 36 = 5*b. Let c(q) = q**2 + 13*q + 14. Let o be c(-12). Suppose -m = -3*g - o. Solve 2*a - g = a for a.
2
Suppose 3*o = -3*s - 18, 5*s - 2*o + 16 = 3*s. Let i(p) = -p**2 - 7*p + 8. Let q be i(s). Suppose -9 = -2*g + 7. Solve 0 = -4*u - q - g for u.
-4
Suppose 37 + 3 = 5*b. Solve -3*q + b*q = -20 for q.
-4
Suppose 10 = 3*d + 2*d. Suppose -d*x + 2*h - 5*h = 0, -4*h = -5*x + 23. Solve -2*f + x = -5 for f.
4
Let o be (-54)/10 + 6/15. Let d = -3 - o. Suppose i + 0*i - 1 = 4*s, -1 = -i - d*s. Solve -2*l - 3 = i for l.
-2
Suppose -i + 5*i - 5*c + 4 = 0, 0 = -3*i - 5*c - 3. Let g be (1/3*0)/i. Solve g = b + b - 8 for b.
4
Suppose -5*s - m = -21, 4*m - 20 = -4*s - 0*m. Suppose s*n - 14 - 10 = 0. Let i = -2 + n. Solve -i*t = -t + 15 for t.
-5
Suppose -26 = -2*c + 4*b, -4*c + 4*b + b + 55 = 0. Suppose 2*t = 3*n - 3, -4*n = -n + c. Let l = t - -12. Solve 3*y = l + 3 for y.
2
Let q = 7 + -7. Solve q = -w - 3 + 7 for w.
4
Suppose -5*v = n - 2 - 3, 5*v - 4*n - 30 = 0. Solve 0 = -2*x + 4 - v for x.
1
Suppose 7*u - 95 = 2*u. Let g = -20 + 55. Suppose 5*o - g = 5*a, -49 = -4*o + 3*a - u. Solve 1 = 5*y - o for y.
2
Suppose -22*g = -17*g - 45. Solve g*a - 6*a + 3 = 0 for a.
-1
Suppose -2 = -5*m + 18. Solve 9 = m*d + 1 for d.
2
Suppose -2*a - 8 = 0, -5*a + 4 - 8 = 4*q. Solve 0 = -5*d - 1 - q for d.
-1
Let b(g) = -5*g**3 + 7*g**2 - 5. Let o(k) = -14*k**3 + 20*k**2 - 14. Let f = -9 + 13. Let c(u) = f*o(u) - 11*b(u). Let r be c(2). Solve -r*x + 12 = x for x.
3
Let a be (1/2)/(5/60). Solve a = -4*z + 6*z for z.
3
Let m be 6/(9/((-54)/(-4))). Solve 0 = a - 4*a + m for a.
3
Suppose 0 = 7*r - 3*r. Solve r*w = -w for w.
0
Let y(f) = 2*f**2 + 4*f - 1. Let x be y(-3). Solve 15 = x*m - 10 for m.
5
Let h be ((-12)/27)/((-4)/36). Suppose j + 46 = 5*l - 6, 2*j = 5*l - 49. Let w = -7 + l. Solve -h - w = -4*t for t.
2
Suppose -6 = -5*j + 4. Suppose -d - 5*w - 1 = j, -1 = w. Suppose -4*h - 2*t + 68 = 0, -t = 5*