2*q - 1. Let l be g(3). Let t be o(l). Solve 4 = 4*p - t for p.
1
Suppose 24 = h + 15. Suppose -3*s + 3 = -h. Solve -s*z - 16 = -0*z for z.
-4
Suppose 0 = -3*n - 3*u + 57, -21 = 4*n - 4*u - 145. Let l = -1 - -1. Solve l*t + n = 5*t for t.
5
Let p(o) = -o**3 - o**2 + o. Let a be p(0). Let l(y) = 9*y + 13. Let s be l(-4). Let m = 23 + s. Solve m = -4*x + 8 - a for x.
2
Suppose -2*q - o - 8 = -9, 0 = q - o - 8. Solve 0*u = 3*u + q for u.
-1
Suppose 2*i + 0*y - 3*y - 7 = 0, -4*i + 69 = 5*y. Solve 13 + i = 6*o for o.
4
Let u be 200/(-24) + 9 + (-2)/3. Solve u*x - 6 = 3*x for x.
-2
Suppose -3*p = -4*n - 44, 3*n + 2*n + 58 = 4*p. Let g be 4 + -2 + (p - 4). Let l(z) = -z**3 + 9*z**2 + 10*z + 5. Let r be l(g). Solve r*d - d - 8 = 0 for d.
2
Let g(s) = 18*s + 9. Let i be g(0). Solve 9*j - 12*j + i = 0 for j.
3
Let j = 25 - 28. Let y be (3 + j)*3/(-6). Solve 3*m + y*m = -15 for m.
-5
Let m(y) = 3*y - 67. Let c be m(25). Suppose 0 = -5*w + 2*w - 3*t - 6, c = 4*w - 4*t. Solve w = 5*z - 4*z for z.
0
Suppose 4*u + 4*x = x + 75, 0 = -5*u + x + 89. Suppose 0 = -3*o + o - u. Let d(q) = -q**2 - 9*q + 3. Let c be d(o). Solve -c = t - 5 for t.
2
Let o = -8 + 22. Let g(c) be the first derivative of c**4/4 - 5*c**3 + 13*c**2/2 + 17*c - 124. Let j be g(o). Solve 2*q - 15 = -j*q for q.
3
Suppose v = 2*l - 1, 0 = -2*v - 4*l + 24 + 6. Suppose 22*z - z + 4*z - 200 = 0. Solve -v*r + z*r = -4 for r.
-4
Let s = 15 + -12. Suppose -12 = 3*v + 4*u, s*v = 2*u - 8 - 4. Let p = 3 - v. Solve 2*z + 1 = p for z.
3
Let b be (-1 - -1)/(5 + (-27)/9). Solve -7*d + 14 + b = 0 for d.
2
Let b = 11 - 9. Suppose 4*l - 30 + b = 0. Let k be (-2)/l - 4/(-14). Solve 0 = -u - k - 1 for u.
-1
Suppose -5*s = -0*s. Let r(h) be the first derivative of 4*h**2 + 4*h + 11. Let p be r(2). Solve -5*l + l + p = s for l.
5
Let b = -23 - -23. Suppose b*y = y. Let n = y + 3. Solve 3*r + n = -9 for r.
-4
Let k = -5 - -9. Suppose -2*y + y - 16 = -4*j, k = y. Suppose 2*u - 4 = 2*d + 14, 5*d = 0. Solve -j*c - u = 16 for c.
-5
Let l = 0 + 4. Suppose -l*p + p = -30. Suppose v + p = 5*j, j + 2*v - 2 = -0*v. Solve -8 = j*k + 2*k for k.
-2
Suppose 5*a - 11 - 31 = -4*p, 3*a = 3*p + 36. Solve 6*r = a*r + 8 for r.
-2
Let v(a) = -a + 3 - 3 - 1. Let c be v(-3). Suppose -3 + 15 = 4*u. Solve -p = -u*p - c for p.
-1
Let i(n) = -35*n - 94. Let t be i(-3). Solve -7 = -6*y + t for y.
3
Suppose -25 = 3*o - 7. Let y(x) = 2*x**2 + 9*x - 14. Let d be y(o). Solve 0*h - 4*h = d for h.
-1
Suppose 0 = -2*v + 5*v + 15, -4*v - 66 = -2*a. Let f = a - 20. Suppose -k = -f*k + 6. Solve -i = -k + 2 for i.
1
Let b(d) = d**3 + 16*d**2 + 7*d - 116. Let z be b(-15). Solve z*k = -1 - 15 for k.
-4
Let o be (-4)/6 + 70/(-252)*-6. Solve 2*l - 9 = o for l.
5
Let u(a) = a - 3. Suppose -3*r + 1 = -4*z, 4*r = 2*z - 0*z + 8. Suppose -4*v + 21 = -t + 1, z*t - 2 = v. Let k be u(v). Solve k*h - 2 = -5 for h.
-1
Suppose -4*g + y + 27 = -131, -2*g = 4*y - 88. Let a be (2 + -5)*g/6. Let w be (-51)/(-15) - (-8)/a. Solve w*l = l for l.
0
Let v(k) = -k**2 - 26*k - 43. Let z be v(-24). Solve z + 15 = -5*s for s.
-4
Let m be (-159)/(-15) + 6/(-10). Let r = 16 - 10. Let x = m - r. Solve -3 = x*q - q for q.
-1
Suppose -30 = 3*n + 4*g, -4*g + 13 = 1. Let r(h) = -h**2 - 14*h + 7. Let b be r(n). Suppose -z - 1 = y, 2*z - 5*z = 2*y + b. Solve -2*x + y = -x for x.
4
Suppose o - 109 = 5*l, 3*l = -4*o - 0*l + 367. Suppose -5*h + 2*a - 253 = 3*a, 2*a = 2*h + o. Let w = 70 + h. Solve w = -j - 4*j for j.
-4
Let a be 16/6*(-9)/(-4). Suppose a*s = 10*s. Solve 0*x - 5*x + 10 = s for x.
2
Suppose -2*z + 12 = z. Suppose 2*k = z*k - h - 8, -3*h = -2*k + 8. Solve -k*l + l + 12 = 0 for l.
4
Let c = -5 + 8. Let q be (36/14)/((-339)/(-791)). Solve q + 6 = c*v for v.
4
Suppose 0 = -a - 6 - 0. Let d = a - -12. Suppose 0 = -4*z + d*z. Solve y = -z*y for y.
0
Let r = -281 - -285. Solve 0 = -r*z - 22 + 34 for z.
3
Let m be (155/(-10) + 3)*-10. Let t be m/10 + -2*(-2)/(-8). Solve -4*y = -y + t for y.
-4
Let s = -11 + 13. Suppose 4 - 1 = -2*z - 3*m, 5*m = -z - 12. Solve -z*q + 10 = s*q for q.
2
Let i(r) = -r**2 + 6*r - 1. Let n be i(5). Suppose n*x - 30 = -10. Solve 0 = -o - x for o.
-5
Suppose -10*m = -19 - 31. Solve -2*i = 1 + m for i.
-3
Let y be (3/4)/(1/8). Let m(w) = 0*w + 9 + w + 0. Let u be m(-9). Solve -y*a + 2*a = u for a.
0
Suppose -16 = -4*t, -3*j - 5*t + t = -13. Let g be j/3 + 19/3. Suppose -3*z = -c + 6*c + 9, 2*z + 6 = 0. Solve o - g*o + 20 = c for o.
4
Let z = -278 - -278. Solve z = 20*o - 11 - 89 for o.
5
Suppose 2*b = 10*b. Solve 2*q - 15 + 7 = b for q.
4
Let w = -144 - -221. Suppose 32 = 5*y + w. Let u(m) = m**3 + 8*m**2 - 11*m - 9. Let l be u(y). Solve 5*t + l = -1 for t.
-2
Let y = 18 - 16. Suppose -y*a = -4*t - 14, 2*t + 13 = 4*a - a. Suppose 5*r - 6 - 9 = 0. Solve -6*p + r = -a*p for p.
1
Let f be -4 + 0 + 12 + -6. Solve 2*m - f = -8 for m.
-3
Let n be (8/10)/(-4)*-25. Solve 0 = -5*r + 10*r + n for r.
-1
Suppose z = 2*h + 1 + 2, 0 = -5*z - 2*h + 3. Let b(s) = -z - 7*s + 5*s + 3*s. Let g be b(3). Solve c + 4 = g for c.
-2
Suppose -2*u - 3 = -5*d, -2*u + d + 4 = 3. Suppose 0 = 3*w - 4*g + u, -3*g - 7 = -3*w - g. Solve -3 = 2*o - w*o for o.
1
Suppose h = -8*h + 18. Solve -y = -2*y + h for y.
2
Suppose 0 = -4*z - 5*q + 14, -z + 11 = -4*q - 3. Let o be (z/(-15))/((-1)/5). Suppose -d + o*d = 0. Solve d*b + b - 4 = 0 for b.
4
Suppose -7*o + 64 = -3*o. Solve -r - o = 3*r for r.
-4
Suppose 4*t + 5 - 25 = 0. Let v = 867 + -868. Let p be v/t - (-7)/35. Solve -x + p = 3 for x.
-3
Suppose -f = 2*v - 4*v + 29, -3*v - 3*f = -66. Solve -v*u + 12*u = 0 for u.
0
Let a(w) = w - 1. Suppose 2 = -5*c + 32. Let t be a(c). Solve 0*m = t*m for m.
0
Suppose 2*q = 11 - 7. Suppose -2*t - 2*v = 6, -4*t - q*v = 9 - 3. Suppose -5*a - 4*o - 4 = 1, -a - 7 = 2*o. Solve 0 = 3*p - a - t for p.
1
Suppose -4*c + u + 10 = 2*u, 0 = -5*c - 3*u + 16. Suppose -c*n = -2*w - 4*n - 20, 0 = -w - 3*n. Let b be w/10*8/(-3). Solve 2 + 14 = b*g for g.
4
Let t be ((-945)/(-20))/((-1)/8). Let z be -2 + 16/7 - t/49. Solve -3*r = 1 + z for r.
-3
Suppose -2*l = 2*l - 16. Suppose 12 = -l*s + u + 3*u, -4*s - 4*u + 28 = 0. Suppose s*h - 3 = h. Solve -h*q + 5*q - 6 = 0 for q.
3
Let n be (4/(-4) - 1) + 3. Suppose 2*v + 7 = n, 7 = d + 3*v. Suppose s = 5*s - d. Solve 10 = c + s*c for c.
2
Let k(r) = 10*r**2 + 5 + 2 - 9*r**2 - 4 - 9*r. Let l(q) = 10*q**2 - 2*q + 1. Let f be l(1). Let b be k(f). Solve -b*y - 1 + 13 = 0 for y.
4
Let y = -6 + -13. Let u = y + 21. Solve -u*g - 12 = g for g.
-4
Let r be 14/4*(-130)/(-65). Solve -8*z = -z - r for z.
1
Let v be -2*20/(-8)*6. Suppose 4*t - v = -2*s, -s + 10 = s. Suppose -2*w - 5*h + 1 = 0, h - 4 = -t. Solve w - 18 = 5*z for z.
-3
Suppose z + 4*d - 24 = -0*z, z + d - 12 = 0. Let w = z + -5. Solve 3*o = 6 + w for o.
3
Suppose -2*k - 3*k + 15 = 0. Suppose -k*d + 4*u + 5 = -0*d, 0 = 5*d + 5*u - 20. Suppose -s = 4*s - 60. Solve -5*b - s = d for b.
-3
Let a be 22*(-5)/(-10) - 6. Solve a*u - 6 = -1 for u.
1
Let b be (-2)/(((-42)/8 - -5)*1). Solve -5 = b*m + 11 for m.
-2
Suppose -16*s + 60 = 14*s. Let f = -17 + 24. Solve -15 = s*x - f*x for x.
3
Suppose -4*k + 69 = -6*k - 3*f, 3*f = -3*k - 108. Suppose 2*p + 2*p = 160. Let b = k + p. Solve -11 = -2*w - b for w.
5
Suppose 4*l = 28 - 12. Let j be ((-11)/(-2))/(12/24). Suppose -5*k = 6 - j. Solve u + l = k for u.
-3
Let a = -33 + 55. Suppose 0 = 5*z - q - 4 - 17, -5*z = -2*q - a. Suppose -5*w = -7*w + z. Solve 8 + w = 2*o for o.
5
Let w(v) = -9*v - 113. Let q be w(-13). Solve -8*j = q*j for j.
0
Let p(t) = -t**2 + 30*t + 7. Let o be p(30). Solve -17 + o = 2*s for s.
-5
Let h(u) = -5*u + 3*u**2 + 1 + 11*u**2 + 3*u. Let g be h(1). Let f be 0 + 3 - 13/g. Solve -f*y + 6 = -0*y for y.
3
Let r(n) = n**2 - 15*n + 6. Let g be r(15). Let x be 24/(-16) - (-3 + (-3)/g). Solve -2 = 4*j + x for j.
-1
Let t = -853 - -878. Solve 4 - 104 = t*w for w.
-4
Let b(k) = 2*k - 6. Let s be b(5). Let j(l) be the first derivative of l**2 - 6*l + 5. Let g be j(s). Solve 2 + g = -v for v.
-4
Let h be 2 + -8 + 36/6. Solve -5*o + 8 + 12 = h for o.
4
Let c(v) = -v**2 + v + 7. Let i be c(0). Suppose 0 = -5*o + 4*f + 32, -28*o + 31*o + f + 8 = 0. Solve o = -5*k + 8 + i for k.
3
Let i(z) = z**3 - 4*z**2 - 7*z - 7. Let r be i(6). Solve -19*f = -r*f for f.
0
Suppose 2*i - 7 = 3*t, 6*