c = 10, -4*t + 15 + 23 = -5*c. Solve 8*x = 5*x + t for x.
4
Let i be -2 + 14/8 + (-7)/(-28). Suppose -2*t + 9 = 5*p - i*p, 3*p - 1 = t. Solve 0 = -x - t*x for x.
0
Let z = -72 - -108. Let q be ((-1)/(-3))/(4/z). Suppose 0 = -5*g + 2*c + q*c, g = 5*c. Solve -3*w + 7*w - 12 = g for w.
3
Suppose 19*t = 26*t - 42. Solve -18 = -t*o + 6 for o.
4
Let u = 2 - -1. Suppose -2*x - u*x + w + 43 = 0, 22 = 2*x - 2*w. Suppose s + r + 4 = 0, 2*s + 3*s = 2*r + x. Solve s = -z - 4 - 1 for z.
-5
Suppose 0 = -4*s + 3 + 37. Let n be (s/15)/(4/114). Let z = -16 + n. Solve z*y = -11 + 2 for y.
-3
Let j(r) = 4*r - 44. Let k be j(14). Suppose -4*s - 5*q + 4 = -71, 4*q = k. Solve 3*p - s = -2*p for p.
3
Let z be (-8 + 8)*2/4. Suppose -4*l + 0*m = 4*m - 40, z = -l + 3*m - 6. Solve l*u = u for u.
0
Let y(o) = -o**2 + 2. Let h be y(0). Suppose 0 = -t - 16*t + 34. Solve 4*s = h*s + t for s.
1
Let i(x) = -6 + 5*x - 5*x**2 - 4 - x**3 + 3 + 4. Let s be i(-6). Suppose -b = -4, s*z = 5*z + 2*b - 12. Solve -z - 18 = -4*f for f.
5
Suppose -105*b + 6 = -108*b. Let g = 19 + b. Solve 3*a = g - 2 for a.
5
Let l be -4 + 0 + 87/3. Suppose -l*x - 12 = -29*x. Solve 0 = x*y + 2*y for y.
0
Let m be ((-15)/(-9))/((-25)/(-60)). Suppose m*r - r = 15. Solve 0 = r*j + 21 - 1 for j.
-4
Let j be (154 - (-3 + 1)) + 25/5. Solve j*x = 157*x for x.
0
Let w(u) = -8*u - 1. Let z be w(-1). Suppose -5*f - x = -22, -z - 3 = -2*f - x. Let i = -6 - -8. Solve -i = f*t + 6 for t.
-2
Let s be ((-9)/(-6))/(4/8). Let f be (s + 0/3)*1/3. Solve c + f = -0 for c.
-1
Let p(m) = -m**2 + 1. Let o(c) = 5*c**2 - 7*c + 2. Let h(y) = o(y) + 6*p(y). Let i be h(-8). Let k be i + -2 + 16 - 3. Solve -k = -3*x + 4 for x.
5
Let m(a) = a**2 - 5*a + 3. Let u be m(5). Let o = -131 + 131. Let j be -1*o*(-6)/12. Solve j = -x + u - 4 for x.
-1
Let b be (-99)/11 + 0 + 0. Let y = -5 - b. Solve -l - 10 = y*l for l.
-2
Let o = -2 - -5. Suppose 3*w - 12 = 0, -5*a + 2*w + 25 = 33. Solve o*c + 4 + 11 = a for c.
-5
Let i(r) = r**2 - 11*r + 3. Let q = -2 + 13. Let b be i(q). Solve 0 = b*o - 5*o for o.
0
Let t = -36 - -28. Let y be (t/(-4))/(8/20). Let a be (0 + 1)/((-2)/(-16)). Solve 0 = -3*m + a*m + y for m.
-1
Let z(g) = 8*g**2 - 3*g - 1. Let n be z(-1). Solve 2*c = 20 - n for c.
5
Let n be (-7 + (2 - 0))/(-1). Suppose l = n*l + 3*h - 14, 3*l - 2 = 2*h. Suppose 0 = -p - p + l. Solve -3 = i - p for i.
-2
Let a be (1 + -3)/((-4)/6). Let w(c) = c - 17. Suppose -13*u + 121 = -126. Let t be w(u). Solve a = -o + t for o.
-1
Let v(s) = -5*s**3 - s. Let n be v(1). Let z be 9*(n/(-2))/9. Suppose 4 = 2*r + b, 2*b - 5 = 4*r + z. Solve r = -4*p - 16 + 4 for p.
-3
Let u = 10 + -10. Let p be (-1)/(u + (-1)/22). Suppose p = 5*w - 5*h + 7, -3*w + h = -15. Solve g - 20 = w*g for g.
-4
Let r(v) be the first derivative of v**4/6 + v**3/3 + v**2/2 - 4*v - 4. Let q(f) be the first derivative of r(f). Let z be q(3). Solve -6*t + t - z = 0 for t.
-5
Let o = 666 - 644. Solve o*x - 21*x = -4 for x.
-4
Suppose 6*x - 3*x = 0. Suppose x = -0*p + 2*p - 4*f + 6, f + 1 = 0. Let q be (-31)/p - (-1)/(-5). Solve -1 + q = -5*h for h.
-1
Suppose 26 = 2*w - 4*t + t, 4*w = 3*t + 46. Suppose u = 2*l - 10, -u - w = -0*u - 4*l. Let x = -5 - u. Solve -1 = x*p + 19 for p.
-4
Let y(z) = -z**3 - 4*z**2 + 13*z + 8. Let c be y(-6). Suppose -b - c*u = 4, -3*b - u + 3 = -0*b. Solve 4 = -2*i - b for i.
-3
Suppose 0*i = 2*i. Suppose i = 3*p - 0*p. Let w = 20 - 4. Solve p = -5*v + v + w for v.
4
Let b be (-4 + -28)/(-4) + 0 + -3. Suppose 2*x - 21 = -3*n, b*n + 2 = -x + 30. Solve x*l - 2 + 5 = 0 for l.
-1
Suppose 2*s + 0*s - 5*i + 15 = 0, 0 = -5*s + 5*i - 15. Suppose -n = -6*n. Suppose -5 - 19 = -8*u. Solve n = -s*q + u*q for q.
0
Let w(h) = -2*h**3 + 5*h**2 - 2*h + 2. Let y be w(2). Suppose -o + 5 + y = 0. Solve 0 = 4*c - o*c - 15 for c.
-5
Suppose 28 + 4 = -4*j. Let b(g) = g + 3. Let q be b(-7). Let x = q - j. Solve 0*a - x = -4*a for a.
1
Let x = 1 - 1. Let t = 5 - 3. Let v = t + x. Solve -n - 15 = v*n for n.
-5
Suppose -2*i - n - 11 = 0, -n = 3*i + 9 + 5. Let u = i - -6. Suppose 16 = u*d - 2. Solve -d = -y - 1 for y.
5
Suppose -3*i + 2*a + 2*a = -80, 0 = 5*i + 3*a - 85. Suppose -12 = -8*m + i. Solve -2*d - 10 = -m*d for d.
5
Suppose 0 = -c + 2*g, -2*g - g = -2*c. Solve -3*w - 4 - 11 = c for w.
-5
Let f be (5/2)/(6/12). Let d(g) = -g**3 + 6*g**2 - 7*g + 12. Let q be d(f). Let o be 130/14 + 4/(-14). Solve -o = q*x + x for x.
-3
Let a(h) = 14*h - 32. Let m be a(4). Solve -5*c + 4 = m for c.
-4
Let u be 4 - -3*(-328)/(-6). Suppose u = -2*f + 168. Solve 5*s - 4*s = f for s.
0
Suppose y = -y - 34. Let x = -11 - y. Let l = -1 - -1. Solve l = -x*c + 2*c + 16 for c.
4
Let k be ((-135)/54)/((-1)/4). Solve 3*a - a = k for a.
5
Suppose 2*i + 4*s + 0*s = -16, 0 = 4*i - 2*s - 18. Suppose -3*z - 3*o + 16 = i*o, 0 = -5*z + 2*o + 6. Solve 2 - 4 = -z*w for w.
1
Let s = -14 + 18. Suppose -y - s*y = -y. Solve 0 = -5*o - y*o - 10 for o.
-2
Let i(q) = -q + 10. Let y(n) = 2*n**2 - 4*n + 4. Let x be y(3). Let z be i(x). Let o be 3/((-9)/(-48)) - z. Solve 2*h = -2*h + o for h.
4
Suppose 14*c - 1249 = -1221. Let p(u) = u**3 + 2*u**2 + u + 2. Let v be p(-2). Let j = 9 + -3. Solve -t - c + j = v for t.
4
Suppose -2*g - a = -11, 0*g - 4*a = g - 23. Solve 2 + g = -5*q for q.
-1
Let j(n) = -3*n - 28. Suppose -5*c - 5*z - 55 = 0, c = -3*c + z - 39. Let o be j(c). Suppose 3*u - 16 = 8. Solve 0 = -o*g + u - 0 for g.
4
Let l(k) = k**3 - 12*k**2 - 11*k - 25. Suppose 3 - 55 = -4*t. Let h be l(t). Solve 0*f - h = -f for f.
1
Suppose -8*u = -5*j - 3*u + 140, j + 5*u - 10 = 0. Let n = j + -10. Let a(q) = q**2 - 9*q - 8. Let i be a(10). Solve -i*c - 3*c = n for c.
-3
Let d = -65 + 67. Suppose 0 = 7*g - d*g - 60. Solve 0 = 4*l + 4 - g for l.
2
Let p(v) = 2*v - 15. Let y be p(9). Solve -y*o = -5 - 1 for o.
2
Let x be 9/(-3) + 0 - -13. Let l be (6/4)/(6/40). Let i = l - 6. Solve 30 = -i*f + x for f.
-5
Suppose -19 = 5*k - 8*k - 5*a, 3*k = 4*a + 28. Solve k*n - 5*n = 0 for n.
0
Suppose 5*l + 4 - 64 = 0. Solve -5*m = l + 8 for m.
-4
Suppose 5*r - 4 = m + 49, 49 = 4*r - 3*m. Solve r*s - 4 = -14 for s.
-1
Let j be 4/8*10 - -35. Solve -2*u + j = 40 for u.
0
Let s = 218 - 214. Solve -s = -3*n + 2*n for n.
4
Let m = -195 - -226. Solve 5*l - m = -6 for l.
5
Let h(u) = -20*u**3 + u + 1. Let z be h(-1). Suppose 0 = r + 4*r - z. Solve -r + 0 = 4*l for l.
-1
Suppose 0 = -9*o + 27 + 54. Let r be (27/(-6))/(o/(-30)). Solve -u = -6*u + r for u.
3
Let h be (-2 - -2)*((-21)/(-6))/(-7). Solve 4*v - 3 + 15 = h for v.
-3
Suppose 4*c - 27 - 29 = -2*o, 0 = -5*c + 25. Solve -5 = -o*s + 19*s for s.
-5
Let o(q) = -4*q. Let n be o(-4). Let g be (2/4)/(4/n). Suppose -6*b = -g*b. Solve b*p - 2*p + 10 = 0 for p.
5
Suppose 5*h - 25 = -5*w, -2*h + 32*w + 20 = 36*w. Solve -2 = -k - h for k.
2
Suppose -82*g + 1786 - 474 = 0. Solve -g*z + 5 = -17*z for z.
-5
Let w(f) = f**3 + 21*f**2 - f - 20. Suppose -7*v + 5*v - 42 = 0. Let z be w(v). Solve 3*d - z = 11 for d.
4
Let r(s) = -2*s**2 + s + 3. Suppose 0 = -3*z - 4*p + 4, -2*z + 3*p - 3 = -7*z. Let i be r(z). Solve 18 - i = 5*n for n.
3
Suppose -o = 4*i - 4, -4*o = 2*i + o - 2. Suppose -k + 1 - i = 0. Solve k = 4*z + 25 - 5 for z.
-5
Let t be ((-4)/(-3))/((-224)/(-24) - 8). Let v(h) = -2*h**3 + 2*h**2 + h + 1. Let j be v(2). Let d(b) = -b - 4. Let n be d(j). Solve -t - n = -s for s.
2
Let m = -91 - -96. Suppose 0 = 8*d - m*d - 15. Solve d*f + 8 = -2 for f.
-2
Suppose 664 = 35*k + 209. Solve 7*m = k*m + 24 for m.
-4
Suppose -f - 8 = 4*y, -4*f + 59 + 4 = -3*y. Solve 0 = -f*w + 22 - 10 for w.
1
Let z(j) = -11*j + 12. Let r(i) = 5*i - 6. Let y(d) = 13*r(d) + 6*z(d). Let c be y(-8). Suppose -2*s + 3 = -3. Solve c*n = s*n - 2 for n.
2
Suppose -5*k + 21 = 3*x, 1 + 2 = -k + 3*x. Suppose 0 = k*a - 27 + 3. Solve -a = -g + 5*g for g.
-2
Suppose -2*m + j = -9, 3*m - j = 7*m - 27. Let v be -2*1*-3*3/m. Solve 0 = 5*t + v + 2 for t.
-1
Let i(w) = 3*w**3 + 69*w**2 + 19. Let l be i(-23). Solve l = 2*v + 21 for v.
-1
Let o = -2 + 6. Let w be 253/(-77) + o/14. Let z be 2*((-15)/2)/w. Solve 4 = -m + z for m.
1
Let o = -2278 + 2282. Solve 46 - 42 = -o*v for v.
-1
Suppose -25 = -3*h - 2*b, -4*h - 4*b - 9 + 49 = 0. Suppose -s - h = -g - 0*g, -4*g = s. Let r be (-28)/7*g/(-2). Solve -r*c + 3 = -c for c.
3
Let d be -30*8/(-192)*4. Solve 