 t.
-4
Let w = -294 + 309. Suppose -5*i + 10*i - 10 = 0. Solve i*b = -b + w for b.
5
Let t = 2234 - 2234. Solve t = -6*m - 31 + 7 for m.
-4
Suppose s + 3 = 0, 2*x + s - 2*s - 47 = 0. Solve -2 + x = -4*n for n.
-5
Suppose 0 = -5*k - 0*k - 4*k. Solve k*g + 2*g = 8 for g.
4
Let w be (-2 + -13)/3 - -5. Solve 6 = -6*a - w for a.
-1
Let b = 655 + -634. Solve 3 = 6*p - b for p.
4
Suppose -62*b - 18 = -68*b. Solve -b*z = -2*z + 1 for z.
-1
Let n(t) = -4*t**2 - 170*t - 54. Let u be n(-42). Solve 14*k - 100 = -u for k.
5
Let x be 6*((-15)/(-6) + 2). Let a = 46 - x. Let k = a + -16. Solve -2*p = p - k for p.
1
Let y = 60 + -32. Let x = -26 + y. Solve 0 = j + x for j.
-2
Suppose -3*p = p - 12. Solve -3*f + p = -6 for f.
3
Suppose 330 = 23*i + 10*i. Solve -13*l + 3*l - i = 0 for l.
-1
Let d be (1 + (-18)/8)/((-26)/104). Solve -4*q = q - d for q.
1
Let c(z) = -z**3 + 7*z**2 + 42*z + 63. Let j be c(11). Solve j = 20*k + 1 for k.
2
Let d(k) = 4*k**3 + 2*k**2 + 7. Let w(p) = 3*p**3 + p**2 + 6. Let o(m) = -4*d(m) + 5*w(m). Let x be o(-1). Solve x*a = -a - 2 for a.
-2
Let r(s) = 6*s - 25. Suppose -5*l + 28 = 3. Let g be r(l). Solve -7 - 3 = g*y for y.
-2
Suppose -w = 2*w - 42. Let k = 6 - w. Let x(g) = g**2 + 6*g - 4. Let q be x(k). Solve q = 5*f + 37 for f.
-5
Let b(v) = v + 3. Let f be b(4). Let l(z) = 3*z - 2. Let g be l(f). Let p = 22 - g. Solve -p*i + 6 = -6 for i.
4
Suppose -v - 3*s - 32 = -0*s, 2*s = -2*v - 56. Let o be (-6)/(-4) - 39/v. Solve -5*j - o = 7 for j.
-2
Let h(g) = -8*g**3 + 19*g**2 + 9*g + 39. Let n(r) = 7*r**3 - 18*r**2 - 9*r - 38. Let q(z) = 6*h(z) + 7*n(z). Let f be q(13). Solve -f = -2*x + 6*x for x.
-5
Let t(x) = -x**3 + 10*x**2 - 9*x + 3. Suppose 46 = 5*y + 2*u - 3*u, -5*y - u + 44 = 0. Let r be t(y). Solve 0 + 3 = r*n for n.
1
Suppose 0 = q - 31 + 5. Let s be 4/q - 50/(-13). Solve -s*f = -0*f for f.
0
Suppose 0 = -k + 2 + 3. Suppose 15 = 5*h + k. Solve c - 2 = h*c for c.
-2
Suppose -5*h - 3*l + 7 = 0, -2*h + l + 14 = 5*l. Let v be 2*-1*(h - 1). Solve 3*n = 11 + v for n.
5
Suppose 7*d - 24 = -10. Let c be ((3 - 6) + d)*(-3 + -1). Solve -b + c*b = -9 for b.
-3
Suppose 0 = -i - 2*c, 0 = 39*i - 37*i - 3*c - 14. Solve -12 = -i*w - 4 for w.
2
Let u = 4 + -12. Let q be (-14)/(-28) + 75/(-6). Let n = u - q. Solve 2*c + n = c for c.
-4
Let a(r) = -3*r + 27. Let h be a(8). Solve -h*u + 7 = 4 for u.
1
Suppose 448 = 4*g + 3*c, 2*c + 538 - 202 = 3*g. Solve g = 2*d + 120 for d.
-4
Suppose -s - 5*t = -14, 3*s = 2*s + 3*t - 26. Let b = s - -12. Let v be ((-2)/4)/((-1)/2). Solve -l + b = -v for l.
2
Suppose -2*m - 1 - 9 = 0. Let r be ((-15)/m)/((-3)/(-4)). Suppose 5*y + 4*g + 4 = 3*g, 5*g + 20 = -5*y. Solve 2*a = -r - y for a.
-2
Suppose 3*b - 3*u = 0, 7*b - 4*u - 1 = 8. Suppose -w + 5*w - 8 = 0. Solve 9 = -w*f + b for f.
-3
Let s be ((-3)/5)/((-213)/3905). Solve -6*a + s*a - 20 = 0 for a.
4
Let s = 2967 - 2947. Solve -s*w + 2*w - 36 = 0 for w.
-2
Let q(r) = 6*r - 4. Let l be q(7). Suppose 4*a - l = -2*i, 2*a - 2*i - 52 = -3*a. Solve k = -k + a for k.
5
Let y be (-4*2/4)/(-1) + 4. Solve 5*v - 14 = y for v.
4
Let t = 18 - 29. Let h = -8 - t. Solve -12 = 6*l - h*l for l.
-4
Let u be -7*12/(-21) - -7. Solve 0 = u*t - 32 - 1 for t.
3
Let l = 1446 - 1413. Solve 20*t - l = 7 for t.
2
Suppose -6*t + 39 = 3. Let a be 1 - (4 + (3 - t)). Solve 8 = -a*r + 2*r for r.
4
Let r = 274 + -272. Solve -r*t = -1 - 5 for t.
3
Let q be (9/(-2))/(27/(-36)). Solve -q*z = -8*z + 10 for z.
5
Let k be 2*(-1)/(-8) + 7/(-28). Solve 25*j + 0*j = k for j.
0
Let m = -7 + -2. Let s be 6 - (-2)/6*m. Solve -2*j = -7 - s for j.
5
Let r be -1*((-910)/(-15))/(4/6). Let j = 93 + r. Solve j*d - 9 = -1 for d.
4
Let j be (6/(-5))/((-32)/80). Suppose -j*g - 2*g - 5*t = -25, -4*g - 2*t + 18 = 0. Solve g*m = 1 + 3 for m.
1
Let h be (5 - (-319)/(-44))/((-2)/96). Solve -h*k + 112*k = 8 for k.
2
Let r = 1372 + -1368. Solve 2 = -2*z + r for z.
1
Let z be 125/5 + 4 - -3. Let x be (48/z)/(1/2). Solve 0 = x*v - 0*v + 6 for v.
-2
Let w(x) = -6*x - 3. Let b be w(-1). Suppose o - 18 = -3*l - 2*o, 0 = -o + b. Solve -l*z - z = 12 for z.
-3
Suppose -2*f + 4 = 0, 14*i + f - 17 = 9*i. Solve 0 = -8*w + 7*w - i for w.
-3
Let r = 78 + -76. Solve -4*f = r*f + 30 for f.
-5
Let x(z) = -z**3 - 7*z**2 - 8*z + 5. Let i be x(-6). Suppose a = -5*v - 7 + i, -3*v - 2*a - 1 = 0. Let b be 5 + 4 + v + -5. Solve 2 = 5*m + b for m.
-1
Let u(k) = 6*k - 7. Let f be u(3). Let x be 0 + -1 - (8 + -15). Let p be (x/(-7))/(9/(-42)). Solve f = p*n - 5 for n.
4
Suppose a = 5, -4*l + 26 - 3 = 3*a. Let v(k) = 0*k**2 - 13*k - 13 - k**2 + l*k + 4. Let y be v(-10). Solve 0 = j - y - 1 for j.
2
Suppose -13*j + 45 - 19 = 0. Solve -3*a + 2*a = j for a.
-2
Let m = 6 + -12. Let r = -707 + 717. Let v = r + m. Solve v*h + 7 + 1 = 0 for h.
-2
Suppose 3*p - 4*y + 2 = 28, -3*y - 23 = -4*p. Solve p*z + 4*z = 0 for z.
0
Suppose -4*g = -3*y - 14, 2*g + 2 = 2*y + 10. Let d be y*(25/(-10) + 0). Solve 0*f - f = d for f.
-5
Let j = -30 + 30. Suppose d - 2*d = j. Solve d = -u - 3*u for u.
0
Let y = 103 - 81. Suppose -5*s + 2*g - 17 = 11, -3 = 3*g. Let q be (33/y)/(s/(-8)). Solve i = -q*i for i.
0
Let m(k) = -6*k + 2. Let p be m(-1). Suppose -p = -v - 13. Let u be 40/12*(-6)/v. Solve i = u*i for i.
0
Let d = -5 - -7. Let n = -1076 + 1080. Solve p - n = -d for p.
2
Let m(w) = -12*w - 7*w + 26*w - w**2 + 32. Let g be m(10). Solve -4*i = -2*i + g for i.
-1
Let h(w) be the second derivative of 3*w**5/5 - w**3/6 - 3*w. Let y be h(1). Let m = y - 8. Solve -2*z + z - m = 0 for z.
-3
Suppose 22 + 16 = 2*m - 2*b, b = -5*m + 119. Suppose -3*s = -3*q + m + 1, -4*q + 3*s = -27. Suppose 0 = -q*o - o - 4*j, 3*o - 3*j = 6. Solve o = -3*k - 2 for k.
-1
Let i = -758 + 763. Solve -159 = i*q - 164 for q.
1
Suppose 0 = -5*h - 18 + 68. Solve -h = 6*o - 4*o for o.
-5
Let y(x) = -x**3 + 10*x**2 + 11*x - 3. Let z = -6 + 17. Let g be y(z). Let o be 0*(-1)/9*g. Solve o = 3*i - i - 4 for i.
2
Suppose 5*a = 3*s + 149, -43 = -3*a - s + 52. Solve -29*t = -a*t + 6 for t.
3
Suppose 20 = -50*z + 55*z. Solve 5*l + z = 4 for l.
0
Let m(r) = r**3 - 5*r**2 - 11*r + 4. Let o be m(7). Suppose -o*c + 15 = -20*c. Solve v - c = 1 for v.
4
Suppose 350 = 17*j + 8*j. Solve 0 = j*k - 10*k for k.
0
Let f(s) = 3*s - 9. Let b be f(3). Let g(x) = 2*x + 1. Let l be g(b). Solve 11 = 4*j - l for j.
3
Let x(g) = -3*g**3 - 12*g**2 - 3*g - 9. Let o be x(-4). Let w(b) = -b - 5. Let q be w(-5). Solve 5*h - 7 - o = q for h.
2
Let o(r) = r**3 + 17*r**2 + 17*r + 17. Let m = 6 + -4. Suppose -t = 2*b + 33, 4*t - 9 - 19 = m*b. Let a be o(b). Solve 4*u + a + 3 = 0 for u.
-1
Suppose -27*w + 44 = -10. Solve 75 = w*o + 13*o for o.
5
Suppose 5*a - 48 = 12. Let z = 325 + -323. Solve 5*w - a + z = 0 for w.
2
Let m be (275/385)/(1/7). Solve -m*c + 8*c = 6 for c.
2
Suppose 4*z - 4 = 3*z. Suppose -48 = 4*h + 4*y, 2*h + 5*y + 28 = -h. Let t = -12 - h. Solve z*q + t = -0 for q.
-1
Let v = -34 + 44. Let m(t) = t**2 - 10*t + 6. Let h be m(v). Solve -h*b + 2*b + 12 = 0 for b.
3
Suppose -428*d + 438*d = 200. Solve s + d = 24 for s.
4
Suppose 14*g - 4*k = 12*g - 4, -2*k = -2*g + 2. Solve 0*x = -4*x + g for x.
1
Let f(v) = 11*v - 14. Let n(w) = 3*w - 1. Let y(i) = -f(i) + 4*n(i). Let c be 1 - (1 + 0)*9. Let x be y(c). Solve j - x*j = -5 for j.
5
Let s be 6 + -11 + 19 - (-16)/4. Solve -s = -4*l - 2*l for l.
3
Suppose 0 = 5*m + m. Suppose m = -i + 3 + 3. Let q = 5 + -1. Solve i = -q*h - 14 for h.
-5
Let f(y) = -28*y + 3. Let b be f(0). Solve -b*z = z + 16 for z.
-4
Suppose 5*q + n - 30 - 121 = 0, 2*q - 4*n - 56 = 0. Let s = -30 + q. Solve s = -r - 2 - 1 for r.
-3
Let k(j) = j**2 + 11*j - 20. Let v be k(-14). Suppose 7*t - v = 13. Solve -t*r - 1 = -4*r for r.
-1
Suppose 2*m + 4*l + 0*l = 0, -4*l + 2 = 3*m. Let q be 7/((-28)/(-32)) - m. Suppose q = -2*v, 0*c - v + 21 = 3*c. Solve -5*g - 2 - c = 0 for g.
-2
Suppose -19*u + 14*u + 40 = -3*q, 0 = 4*u + 4*q. Solve -u*h = 3*h for h.
0
Suppose 0 = 2*c - a - 75, 2*c = 2*a + 119 - 39. Let l be (c/(-20) + 1)/(6/(-16)). Solve 0*o + l = -o for o.
-2
Suppose -5*i + 20 = 3*u + 2*u, -5*u + i = -32. Suppose z + u - 11 = 0. Solve 17 = -z*w - 8 for w.
-5
Suppose -4*o = o - 30. Solve -10 - o = 4*b for b.
-4
Suppose 0 = 33*v - 27*v - 42. Suppose -3*z - 11 = 2*r + 3*r, r + 16 = 4*z. Solve z*k + 16 = v*k for k.