 n for t.
-4
Let v = 6 - -8. Suppose 6*d - 4*d = v. Suppose 4*t - 4 = 0, -2*k - 3*t - 2 = -d*k. Solve 0 = -m + 3 + k for m.
4
Let i be (-178)/(-15) - (-134)/1005. Solve 5*q - 3 = i for q.
3
Suppose -39*o + 7553 = 52*o. Solve o*n - 80*n = 6 for n.
2
Suppose 21 + 3 = 4*n. Suppose -n*g + 8*g - 8 = 0. Suppose 2*x - 3*s = 30, 52 = 5*x - s + 5*s. Solve x = -4*v - g for v.
-4
Suppose -3 = -5*x + 2. Solve -x = -2*m - 1 for m.
0
Let i(a) = a**3 + 10*a**2 - 11*a. Suppose -2*d - 2*c + 20 = 4, c = 3*d - 8. Suppose 6 - 3 = 3*u, d*n - 2*u = -46. Let x be i(n). Solve x*g + 12 = -4*g for g.
-3
Let u be 38/10 - 19/(-95). Let a be (-8)/((-6)/(-3)) + u. Solve a*t + 16 = 4*t for t.
4
Let n be (-12)/(-9) - (-40)/6. Solve 0 = 8*k - 4*k + n for k.
-2
Let j = 1 - 1. Let v = -26 - -28. Suppose -2*y = z - 14, -v = 2*y - 3*z - 0. Solve f - y*f - 16 = j for f.
-4
Let t be (-18)/(-8)*(-40)/(-30)*1. Solve 3*d = -t + 18 for d.
5
Let z be (-4)/1*(-3)/6. Let t(v) be the first derivative of v**2 - 2*v - 23. Let u be t(z). Solve 11 = -u*y + 1 for y.
-5
Let r(v) = -9*v**3 - v**2 + 4*v - 3. Let t(c) = -c**3. Let s(o) = -r(o) + 3*t(o). Let u be s(1). Solve -g - g = -u for g.
3
Let g be 8/(14/(-6) + 3). Let f = g - 25. Let v(s) = -s**3 - 12*s**2 + 13*s + 2. Let q be v(f). Solve -6 = -q*d - d for d.
2
Let l = -326 + 330. Solve 2*g + 6*g = l*g for g.
0
Let b(x) = x - 3. Let w(k) = -k + 1. Let h = -17 + 19. Let q(u) = h*b(u) + 6*w(u). Let y be q(-1). Solve g - y*g = 6 for g.
-2
Let l be (-2 - (-12 + 1))/((-10)/(-100)). Suppose i = -8*i + l. Solve -m = 4*m - i for m.
2
Let o = -839 - -845. Solve -4 = 4*x - o*x for x.
2
Let r = -391 + 394. Let q(y) = -y**3 - 7*y**2 + 9*y + 10. Let a be q(-8). Suppose -w - 6 = -a*f, -16 = -r*f + 2*w + 3*w. Solve f = 2*l - 6 for l.
4
Suppose 45*y + 24 = 49*y. Suppose -5*v = -4*i - 48, 5*i + y*v = 3*v - 23. Let m be i/((-35)/(-20))*-1. Solve m*c - 3*c - 3 = 0 for c.
3
Let z(l) = -l**2 - 6*l - 6. Let o be z(-6). Let w be 2*(-3)/18*o. Suppose -3*a + 41 = 4*m + 2*a, -3*m = -2*a - w. Solve -2*g = -m*g - 10 for g.
-5
Let x be 12 + (110/(-25) - 4/(-10)). Solve -x = -4*y - 16 for y.
-2
Suppose -3*u = -u - 8. Suppose 0 = -u*r - 3*z - 7, 3*r - 2*z = -6*z - 14. Solve -r*y - 2*y = 8 for y.
-2
Let y be 1 + (-5 - 8/(-2)). Let z be y/(1 + 2)*1. Solve 4*o + 20 = -z*o for o.
-5
Let z = 76 - 61. Solve 8*g - z = 5*g for g.
5
Let o = -1 + 6. Let w(f) = 2*f**2 + 2. Let n be w(-3). Suppose -5*y + o*r = -2 + 22, 5*r = 4*y + n. Solve g = -y*g - 4 for g.
-4
Let i = 5 - 3. Let l(d) = 2*d**2 - 5. Let q be l(i). Solve -q*f = -2 - 10 for f.
4
Suppose 2*l = 3*l - 2. Suppose l*x + 2*t - 2 = 6*t, 5*x - 27 = -t. Solve -5 - x = -2*z for z.
5
Suppose 2*u + 1 - 9 = 0. Suppose u*k - 33 = 3. Solve 2*i + k = 1 for i.
-4
Let z be (-116)/(-29) - ((1 - -3) + -64). Solve 14*h + 8 - z = 0 for h.
4
Suppose -4*g - 298 = -42. Let q = -59 - g. Solve -2 = q*p - 27 for p.
5
Let k = -1490 - -1493. Solve k*s + 23 - 8 = 0 for s.
-5
Let y be 2/(-6) + 31/3. Let l be y*((-6)/10)/(-1). Suppose -l*i - 4 = -7*i. Solve i = -j + 3 for j.
-1
Let q(o) = -o**3 + 4*o**2 + 2*o + 1. Let k be q(4). Suppose 5*c = v - 21, -2*v = -3*v + 2*c + k. Let x = -15 + 16. Solve s = -v - x for s.
-2
Let x = -3 - -8. Let y(o) = 2 - 5*o + 1 + 17*o**2 - 16*o**2. Let u be y(x). Solve 2*q - 4 = u*q for q.
-4
Let m(b) = 2*b - 8. Let u be m(5). Suppose -5*d + 21 = 4*x, -4*x + u*d = -d - 13. Solve 0*s - x*s = 4 for s.
-1
Let w be (-2)/(-6) + (-5)/(-3). Suppose -33 = 3*m + b, 0 = -3*m - 0*b - w*b - 33. Let v = 17 + m. Solve v = 4*d + 18 for d.
-3
Let b be 0/(7*10/35). Suppose b*r - 4*f - 4 = -r, -f + 16 = 4*r. Solve 0*q = -2*q - r for q.
-2
Suppose 0 = -4*o + 3*d + 122, -3*o - 2*d = -0 - 100. Solve -36*a = -o*a - 16 for a.
4
Suppose 24 = 2*p - 2*w, 0 = -5*p + 4*w - 8*w + 105. Solve -t - p = -15 for t.
-2
Let c(m) = 2*m**2 + 3*m + 1. Let w be c(-2). Suppose -1 = -3*o - s - 5, -w*o - 16 = 4*s. Suppose 4*k + f - 8 = o, -k + 5*f - 1 = -3. Solve v = k*v for v.
0
Suppose 5*w + 45 = 5*g, -4*w = 4*g + 1 + 3. Suppose 2*i - 6*i = 0. Suppose -4*f + 6*f - 6 = i. Solve -g*u - f = 17 for u.
-5
Let u(t) = -t - 1. Let v be -2 + -1 - -2 - -4. Let o be u(v). Let b = o + 4. Solve 4 = -b*g - g for g.
-4
Let w = -23 + 31. Let q be 30/w*(-64)/(-48). Solve n - q*n + 12 = 0 for n.
3
Suppose 0 = -0*y - 4*y. Suppose 4*j - 2*i = -3*i - 3, y = -2*j + i + 3. Solve -n - 3 = -j for n.
-3
Suppose o + 57 = 3*t, 2*o + 47 + 49 = 5*t. Solve 10 - t = -4*u for u.
2
Suppose 20*t = 24*t - 16. Suppose -3*a - t*o + 18 = -0*a, 4*o = -5*a + 22. Solve -2*u + 4 = -a for u.
3
Let k be 1 + -2 - (-1 + -1). Let z = 1123 + -1123. Solve z*b - b - k = 0 for b.
-1
Suppose -12 = -4*p + p. Suppose 4*k + u - 16 = -u, -2*k + 18 = -p*u. Solve -2 = k*d - 22 for d.
4
Let l(y) = y**2 - 23*y - 20. Let q be 4*(8 + 1 + -3). Let s be l(q). Solve 3*p = -p - s for p.
-1
Suppose -4*h - 3 - 4 = -3*t, 33 = 4*h + 5*t. Let v(m) = m**2 - 6*m + 6. Let g be v(5). Let a be (0 + h)/(g/2). Solve a*s + 6 = 2 for s.
-1
Suppose -3*x = -32 + 23. Suppose 3*h - x*b + 2 = -1, -2*h - 2*b = -14. Suppose 2*a - l = 23, 2*a + 2*l = -0*l + 14. Solve h*q - 1 + a = 0 for q.
-3
Suppose l + 3*l + 4 = 0. Let u = l + 0. Let f = u - -16. Solve -3*t + 0*t = -f for t.
5
Let c(n) = n**2 + 11*n - 1. Let d be c(-12). Let l = d + -7. Let r = 23 - 19. Solve -r*x + 0*x = l for x.
-1
Suppose 13*h - 16*h = -4*h. Solve h = 4*o + 8 - 0 for o.
-2
Suppose 156 + 228 = -8*z. Let r(q) = -3*q**3 - q**2 - q. Let b be r(-1). Let t be (z/(-4))/b - -5. Solve t = 4*l - 3 for l.
3
Let k(s) = -s + 3. Let h be k(2). Let r be (-4)/(-16) + 13/(-4) + 3. Solve a + 4 - h = r for a.
-3
Let i(m) = m**2 - 4*m + 2. Let a be i(4). Let o(d) be the first derivative of d**4/4 - 2*d**3 - 5*d**2/2 - 10*d - 97. Let v be o(7). Solve a*c + 0 = -v for c.
-2
Let j be 3/(-1*3) - -6. Let y = 10 - j. Let t(k) = -k**2 + 7*k - 7. Let u be t(2). Solve -4*f + u = -y for f.
2
Let o(y) = -y - 3*y**2 - 8*y**2 - y**3 + 2*y**2 + 1 + 6*y**2. Let f be o(-3). Solve f*l = -l - 5 for l.
-1
Let r(x) be the second derivative of -x**3/6 + x**2 - 6*x. Let m be r(-7). Suppose 4*d - 3*p + 1 + 8 = 0, -2*d - 3*p = -m. Solve 0 = -d*h - 4*h + 20 for h.
5
Let l = 325 + -321. Solve -2*u = -4 - l for u.
4
Let x = -7 + 12. Let f(s) = -2*s - x + 28 + 1. Let g be f(10). Solve -3*b = -b - g for b.
2
Let l(z) = -z**2 + 4*z + 2. Let d be l(4). Suppose 3 = -2*o - d*n + 1, o - 3*n = 19. Solve -o*p + 4 = 20 for p.
-4
Suppose 3*x + 12 = -3*i, -x + 2*i - 8 = 4*i. Solve -v = -x + 3 for v.
-3
Let s = 20 - 15. Suppose 2*v + 12 = s*v. Suppose -w - 18 = -v*w. Solve -c = -w*c for c.
0
Let o be 2*(-4)/16*2. Let p be ((-1)/o)/(-1 + 2). Solve 5 = -2*j - p for j.
-3
Suppose q = -2*g + 10, -3*g - 12 = -7*g. Suppose 0 = q*a - a - o + 5, 4*a - 2*o + 6 = 0. Let d be (11/a - -3)*-6. Solve 2*l - d = -l for l.
5
Suppose -988*o - 221 = -1005*o. Solve x + o*x = 0 for x.
0
Suppose -2*q - s = -15, -s + 4*s = -q + 5. Suppose q*f = 3*f. Solve c = -f*c for c.
0
Let m(s) = -s**2 + 16*s - 23. Let k be m(14). Suppose 3 = 4*q - k. Solve 10 = q*i + 3*i for i.
2
Let k(c) = -2*c**3 + c**2 - 2*c + 1. Let b be k(1). Let u(d) = 3*d**2 + 4*d - 2. Let p be u(b). Solve p*z + 4 = -0*z for z.
-2
Let p(b) = -2*b + 62. Let r be p(29). Solve -r*u = 10 - 22 for u.
3
Let i(q) = -25*q + 5. Let y be i(1). Let p(m) = -m - 20. Let b be p(y). Solve b = 2*n + n - 3 for n.
1
Let d(f) = f**3 + 8*f**2 + 22*f + 38. Let b be d(-5). Solve -b + 7 = h for h.
4
Let x = -105 - -111. Let r = 24 - 18. Solve 3*t + x = r*t for t.
2
Let y be 4/14 - (-38)/14. Let b(x) = -24*x**2 - 1. Let t be b(1). Let q = t - -30. Solve -y*v - q = -8*v for v.
1
Let t = -2 + 2. Suppose t*g = -4*g + 20. Suppose -6*d = -d - g. Solve -13 = -4*v - d for v.
3
Suppose 12*a + 780 = 64*a. Solve -5*w + 10 = -a for w.
5
Let o = 8 - -1. Let d = 13 - 10. Suppose -5 = d*h + 5*f - f, -5*f = -2*h + 12. Solve 0 = 2*t + h + o for t.
-5
Let z = 648 + -615. Solve -z = -7*l - 47 for l.
-2
Suppose -4*x = 5*c - 16, -5*x + 5*c - 45 = -110. Solve -2*v = -x*v - 14 for v.
-2
Let z(o) = 2*o + 39. Let r be z(-12). Solve 0*k - 3*k - r = 0 for k.
-5
Let f be (33/((-3465)/(-750)))/(2/14). Solve -f*q = -49*q + 5 for q.
-5
Let b be 4/(-16)*(-1 + -7). Solve b*n = -1 + 7 for n.
3
Suppose 0 = -3*n - 5*r + 190, -2*n + 4*r + 100 = -34. Let