ve g*u + 3 = -7 for u.
-5
Suppose 5*q = -1 + 11. Solve -q*u + 15 = u for u.
5
Suppose m - 19 = -3*s + 24, 10 = -2*m. Solve -2*a - s + 14 = 0 for a.
-1
Let c(u) = 9*u + 18. Let j(r) = 14*r + 27. Let n(h) = -8*c(h) + 5*j(h). Let f be n(-7). Let x = 20 + -18. Solve x*a - 6 = f*a for a.
-2
Suppose 5*q = -3 + 8. Solve -v + q = -0*v for v.
1
Let h(f) = -4*f - 22. Let a be h(-7). Solve -l - a = -1 for l.
-5
Let r be (9/6)/((-6)/(-8)). Solve 0 = -r*f - 3*f + 15 for f.
3
Let o = 29 - 25. Solve -o*v + 3*v + 2 = 0 for v.
2
Suppose 3*v = 3*l - 0 - 12, 5*l + 3*v = 20. Suppose 2*k = -l*h + 44, 0 = -h - 2*k - 3*k + 2. Solve -4*p + 4 + h = 0 for p.
4
Let r = 35 - 32. Solve 6 = k - r*k for k.
-3
Let h(i) = i**3 - i**2. Let j be h(2). Suppose 3*l = -2*q + 65 + 156, 0 = j*q + 4*l - 452. Suppose m = -c + 26, 2*m = -5*c + m + q. Solve c = -4*d + 3 for d.
-5
Suppose k - 2*k = -36. Let q = 52 - k. Solve 4*w = -0*w + q for w.
4
Let p = 55 - 51. Solve t + p*t = -15 for t.
-3
Let x = -29 + 30. Solve w + 4 = x for w.
-3
Suppose 15 = 5*r, -2*l - 2*r + 19 = 3*r. Suppose -2*d + 232 = l*d. Let o = -38 + d. Solve 2*x + o = -2*x for x.
-5
Suppose -3*a - 15 = -8*a. Suppose -h - 4*i - 7 = 0, h + i + 7 = 6*h. Let n(w) = 9*w**3 + w**2. Let k be n(h). Solve 8*p = a*p + k for p.
2
Suppose 6*b + 2*k = 2*b + 4, 2*b - 5*k = -10. Solve b = -3*w - 2*w + 5 for w.
1
Let q(g) = g**3 - 4*g**2 + g. Let h be q(4). Suppose 0 = h*u + 4, 5*u + 9 + 6 = 5*j. Let k = 25 - 13. Solve 0 = j*z + z + k for z.
-4
Let q = -93 - -177. Suppose -4*f + 69 = 5*b - 2*f, -3*f = -5*b + q. Let g(t) = t**2 + 7*t + 4. Let y be g(-7). Solve j + b = y*j for j.
5
Let k = 4 - 0. Suppose 0 = 2*u - 6*u + k. Let g be 5 + -2 + 0/u. Solve 3 = g*c - 0 for c.
1
Let l be (-160)/(-70) + (-2)/7. Solve 3*h + l = 8 for h.
2
Suppose -q - 4*q = 0. Let z be (q + 1 - 3)*-7. Let h be (-4)/16*-4 - 0. Solve 3*j - z = h for j.
5
Let s(t) be the second derivative of t**4/12 + 5*t**3/3 + 3*t**2 + 3*t. Let r be s(-10). Suppose 0*v = -v + r. Solve n - v*n = 15 for n.
-3
Let n be (18/(-12))/((-6)/16). Solve n = 4*m - 8 for m.
3
Let i be -2 + (-1 - -1)*1. Let a = 7 + i. Solve -3 - a = 2*y for y.
-4
Suppose -7*f - c + 81 = -2*f, c + 89 = 5*f. Let q be 2 + -1 - (13 - f). Solve q*k = -0*k - 10 for k.
-2
Suppose -5*c = -11 + 1. Suppose 0 = c*n - 0 + 4. Let s be n - (-4 + 5 + -3). Solve s = -0*i + 4*i + 4 for i.
-1
Let g(k) = -2*k. Let y be g(-2). Solve 2*p = -2*p + y for p.
1
Let o(x) = x**3 + x - 2. Let g be o(2). Solve -6*r = -2*r - g for r.
2
Let h be ((-65)/(-2))/(1/2). Let a be 10/4*52/h. Solve -a*n = 5 - 1 for n.
-2
Let h(y) = -y**3 - 2*y**2 - 2*y - 1. Let q be h(-2). Suppose -2 = -2*z - 3*f - 13, -z = -q*f - 17. Suppose -z*m + 0 = -2. Solve -3 = 2*s - m for s.
-1
Let v(k) = 0*k**2 - 4 + 2 + 3 - 6*k**2 + k**3 + 7*k. Let u be v(5). Solve -5*r + u = 1 for r.
2
Let n be 1*(1 + 4 + -4). Solve -n + 2 = t for t.
1
Let x(t) = t**2 - t - 2. Let w be x(3). Suppose 0*c - m + 29 = 4*c, -c - 4*m = w. Solve -c = -3*l - 2 for l.
2
Let y be (-18)/(-8)*((-168)/(-9))/7. Solve -2*i = y - 2 for i.
-2
Let q(h) = h**2 + 3*h + 1. Let r(v) = v**2 - 1. Let a be r(2). Suppose u = 5*p - 19, 2*p + 3*p = a*u + 27. Let y be q(u). Solve y*w - 10 = -5 for w.
1
Suppose 0*p = -3*p + 12. Let t = -14 - -16. Solve t*b + 0*b = p for b.
2
Let f(m) = -m + 3. Let b be f(4). Let i be (-3)/(-3) - (1 - -1). Let v = i - b. Solve v = -3*n - 11 - 1 for n.
-4
Suppose -3*g + 4 - 23 = -4*y, -2*g = -4*y + 18. Let k = -22 + 14. Let r = 13 - k. Solve y = 5*w - r for w.
5
Suppose -11*m = -13*m + 6. Solve m = -3*w + 6 for w.
1
Suppose 4*o - 8 = 8. Solve m - 2 + o = 0 for m.
-2
Let y = 16 - 10. Suppose 20 = -5*h, -4*h - 14 - y = -2*s. Solve -s*l = -4*l for l.
0
Let l(d) = -d**3 - 3*d**2 - 2*d + 2. Let i(n) = n**2 - 6*n + 3. Let u be i(5). Let g be l(u). Solve 0 = g*k + k + 15 for k.
-5
Let r be 82/(-3) + 4/(-6). Let n = -13 - r. Suppose -2*x - 3*p + 6 = -0*x, -2*p + 9 = 3*x. Solve 0 = -x*j - n for j.
-5
Suppose 12 = 4*k - 4*i, 17*k - 18*k = i - 1. Solve k + 1 = m for m.
3
Let t = -5 + 8. Let z = 7 - 3. Suppose z*i - 70 + 5 = -5*g, 51 = 4*g + t*i. Solve 0*x + 3*x + g = 0 for x.
-3
Suppose -2*p = -6 - 2. Suppose -5*w + 30 = -p*s, -6*s + s - 27 = -w. Suppose -2*j = -4*y + 4, w*y = 7 - 1. Solve 2*h - h = j for h.
4
Suppose 0 = 4*u + 16, 3*u + 8 = -4*w - 4. Solve -8*h + 4*h = w for h.
0
Let r be ((-15)/(-25))/((-1)/(-5)). Let b be (r/(-2))/((-3)/32). Solve -5*p - b = 4 for p.
-4
Suppose 1 = 5*j - 9. Suppose -p + 21 = -4*g, 3*p - 6*p + 23 = -j*g. Let l = -3 + p. Solve -5 = -l*w + 1 for w.
3
Let q = 19 + -11. Let r = q - 5. Solve r*a + 3 = -0 for a.
-1
Let m = 89 + -42. Suppose 4*d = 1 + m. Suppose 5*l - d = 3. Solve -l = -2*x + 7 for x.
5
Let k be 6/(-10)*(-20)/2. Let g be 9/k - 2/(-4). Solve -2*i + 4 = g*i for i.
1
Let x be 99/21 + (-2)/(-7). Suppose 4 = 6*j - x*j. Suppose 6*c - c - 25 = -3*o, j*c - 23 = -3*o. Solve c*b + 8 = -2*b for b.
-2
Let i = 6 + -4. Let s = i + -4. Let y be (s/5)/(3/(-60)). Solve 2*m - y = -0*m for m.
4
Let j = -4 + 6. Let u be -1 + -1 + 1 + 13. Suppose f - j*q = -f + 14, -2*f + u = -q. Solve 0 = -5*h - f - 20 for h.
-5
Suppose -2*p + 3*u = 32, 7*p - 2*p + u + 114 = 0. Let q be (-4)/6 - p/6. Let f(x) = x**3 + 10*x**2 + 2. Let n be f(-10). Solve n + q = -w for w.
-5
Let s = 1 + -9. Let c = -2 - s. Let q = c - 4. Solve 0*v = q*v + 2 for v.
-1
Suppose 3*q = -u + 9, q + u - 6 = -q. Suppose -5*k = -15, 1 = 3*c - 3*k - 2. Suppose -q*f + 2 = c*j - f, 3*j = -2*f. Solve -j*v = 3*v - 20 for v.
4
Suppose 6*n = 5*n + 5. Solve -4 = n*s + 1 for s.
-1
Suppose 4*w = -5*b + 33, b + w + w - 9 = 0. Let q(s) = s - 2. Let l be q(2). Solve c - b*c + 4 = l for c.
1
Let r = 18 + -18. Solve r = o + 5 for o.
-5
Let v be 16/((-46)/(-14) - 3). Let s = -39 + v. Suppose -3*o + 4*b + 4 = 0, 0*o = -4*o + 3*b + s. Solve p - 5*p + o = 0 for p.
2
Let f(h) = h**2 - 4*h - 1. Let y be f(4). Let i = 4 + y. Solve 0 = -8*z + i*z for z.
0
Let f = -2 - -3. Solve 2*b - 5 = -f for b.
2
Suppose -11*h + 8*h = -60. Solve 2*q + 2*q - h = 0 for q.
5
Suppose 2*g - 6*g = -12. Suppose -q - u - 4 = -2*q, g*u + 12 = 5*q. Solve -p = -q*p for p.
0
Let u be 0/((-1)/(-3)*3). Suppose -1 = b - u. Let t = b - -3. Solve i = -t*i - 3 for i.
-1
Suppose 13 = f - 16. Suppose 3*g = 18 - 6. Solve 0 = -g*t + f - 9 for t.
5
Let c(n) = -n**2 - 3*n. Let z be c(-3). Solve z = 4*t + 4 - 0 for t.
-1
Suppose 3*o - 4 - 5 = 0. Solve -3 = -o*i + 9 for i.
4
Let z be (-26)/(-3) - 4 - 4/6. Suppose v + 4 = 7. Let h(f) = -f**3 + 7*f**2 - 6*f + 2. Let j be h(6). Solve 0 = v*r - z*r + j for r.
2
Let z(y) = y**3 + 6*y**2 + 3. Let t be z(-6). Suppose -11 = k + t*i, -4*k - 2*i - 2 = -4*i. Let w be (-7)/(-14) + (-3)/k. Solve 0 = m + w for m.
-2
Suppose 4*c = 32 + 48. Solve -3*h - h = -c for h.
5
Suppose -30 = -0*m - 3*m. Let s be (m/6 + -2)*-114. Suppose s = 4*c + 14. Solve 0 = -3*j + c*j - 12 for j.
4
Let g = -10 - -19. Suppose 3 = -v + g. Solve -v*d + d = -25 for d.
5
Let k(r) = -10*r**3 + 2*r**2 - 2. Let v be k(-1). Solve 8*w - 3*w + v = 0 for w.
-2
Let w(c) = c + 7. Let x = 22 - 32. Let a be w(x). Let v be -2 - 1/(a/6). Solve v = -0*m - 5*m - 20 for m.
-4
Let f = -40 + 65. Solve w - 6*w + f = 0 for w.
5
Let p(v) = 3*v - 14. Let k be p(6). Let x = k + 0. Solve 2*i + 8 = x*i for i.
4
Suppose 0 = -3*q - q + 44. Let a be (-134)/(-11) + (-2)/q. Let x = a + -10. Solve -x*o = -o - 2 for o.
2
Let d be 34/(-4) + 5/(-10). Let o be 1 + -3*21/d. Solve o = -n + 5*n for n.
2
Let x = -15 - -20. Solve 13 = -2*i + x for i.
-4
Let d(o) = 5*o**2 - 21*o + 7. Let m be d(4). Solve -l + m*l + 4 = 0 for l.
-2
Suppose 5*x - 8 = -3. Let p be 2/(x*-2) + 1. Let b(z) = -z + 3. Let j be b(p). Solve j*i = -2 - 1 for i.
-1
Suppose -q = -a, 0 = -5*a + 2*a - 2*q + 25. Suppose -a = v - 9. Solve -v*s + 3*s + 5 = 0 for s.
5
Let t = 5 + 0. Let x be t/(-2)*(-8)/10. Suppose i = x*i. Solve m = -i*m + 5 for m.
5
Let u(y) = 4*y - 26. Let t be u(8). Solve -t = -3*s + 5*s for s.
-3
Let q be (-3)/(-6)*4 + 2. Let r be (-2)/6 + (-36)/(-27). Let i be ((-4)/(-14))/(r/7). Solve -2 = -q*o + i for o.
1
Suppose 0 = -3*p - c + 7, p + 1 + 0 = 3*c. Solve 5*v + p + 8 = 0 for v.
-2
Let x(m) = -3*m + 1. Let z be x(-1). Suppose 0 = -4*b + 24 - z. Solve 4*j + b + 15 = 0 for j.
-5
Let y = 147 - 138. Solve 5*u - 11 - y = 