
Suppose 2*u - 25 = -3*u. Let a(l) = -l**2 + 7*l - 2. Let k be a(u). Suppose -4*s = -4 - k. Solve 6 = -0*b + s*b for b.
2
Suppose -2*m - 6 = 2. Let a(g) = -g - 4. Let h be a(m). Let x be (-1)/((10/4)/(-5)). Solve -3*u + x*u - 2 = h for u.
-2
Let g(q) = -q**2 + q. Let n(d) = d**2 - 3*d + 2. Let y(v) = -2*g(v) - n(v). Let z be y(-3). Solve -2*o = -z*o + 10 for o.
5
Let m be (5/10)/(1/(-6)). Let p = 3 + m. Solve 0*v - v = p for v.
0
Suppose -3*a + 2*j + 38 = 0, -6*j - 70 = -5*a - 4*j. Suppose -4 = -3*c + 4*t, -3*t - a = -5*c - t. Solve c + 0 = -4*u for u.
-1
Let p(i) = i + 9. Let v(c) = -c**3 - 3*c**2 - 3*c + 1. Let h be v(-3). Let a be p(h). Solve 5*k + 4 = a for k.
3
Let z = -43 - -63. Solve -z = k + 3*k for k.
-5
Let x(p) = p**3 + 6*p**2 - 2*p - 3. Suppose -6*j = -8*j - 12. Let d be x(j). Solve -1 = -2*h - d for h.
-4
Let x be (-4)/14 + (-80)/14. Let d = x - -3. Let h(g) = -g. Let m be h(d). Solve -4*q = -7*q + m for q.
1
Let q be ((-6)/5)/(9/(-30)). Suppose -q = -2*a - 2. Let g be ((-5)/10)/(a/(-14)). Solve 10 = 2*n - g*n for n.
-2
Let z = 3 - 10. Let o = z - -15. Solve o = -u + 5*u for u.
2
Let y = 7 - 3. Suppose 0 = s - 0*s - y. Solve -2 = 2*z - s for z.
1
Let h be 36/(-4)*(-4)/(-6). Let n(u) = -5*u - 1. Let v be n(-1). Let a be (h/(-9))/(v/6). Solve 0 = 4*g + 11 + a for g.
-3
Let n(s) = -s**2 - 6*s + 4. Let d be n(-5). Let q be ((-6)/d)/(1/(-3)). Solve -q*k = 3*k + 10 for k.
-2
Suppose 2*r - 4*h - 21 = -3, 0 = -2*r - 3*h - 3. Solve 6*i - r*i = 0 for i.
0
Suppose g = 4*g, 0 = -4*i - 5*g + 24. Solve 3*q + i = -9 for q.
-5
Let c be 6/15 - (-22)/(-5). Let g be 2/3*(-90)/c. Solve -2*i = i - g for i.
5
Suppose -4*l + 2*h + 68 = 0, 5*h - 59 = -4*l + 23. Let y = l + -11. Suppose a + 2 - 3 = 0. Solve -y = 4*s + a for s.
-2
Suppose 3*t - 24 = -66. Let a be (-10)/t - 4/(-14). Solve 3*x = -a - 8 for x.
-3
Suppose f + 4*t = 5*f, -18 = -5*f - t. Let s(p) = p**2 - 10*p - 6. Let o be s(11). Let y = 5 - o. Solve y*v = v - f for v.
3
Suppose 0 = 4*p - 191 + 175. Solve 0 = -5*d - p + 9 for d.
1
Let m(w) = w**3 - 11*w**2 - w + 20. Let f be m(11). Solve -f = -z - 4 for z.
5
Suppose 7*v = 2*v + 5*j + 20, -4 = -2*v - 2*j. Solve 2 - 17 = -v*l for l.
5
Let v(z) = z**3 - 2*z**2 + z. Let d be v(1). Let c(m) = -m**2 + 7*m - 3. Let s = -13 + 19. Let p be c(s). Solve 2*g - p*g + 5 = d for g.
5
Let m(k) = -k - 2. Let r be m(-7). Suppose 5*h + 6 = -2*y, -4*y + 2*y + 14 = -r*h. Solve -7 = -y*g + 1 for g.
4
Let f(i) = i**3 + 3*i**2 - 3*i - 2. Let t be f(-3). Let b(o) = o + 9. Let w be b(-7). Let z(p) = p**2 + 2*p + 1. Let j be z(-2). Solve j = -w*a + t for a.
3
Let a(x) = -3*x**3 - x**2 - x - 1. Let l be a(-1). Suppose -k + 16 = -4*b, 5*k - 5*b - 20 = -0*k. Solve -3*u + l*u - 1 = k for u.
-1
Let o = -14 - -34. Suppose -o = -8*c + 4*c. Solve c*k - 4*k - 1 = 0 for k.
1
Suppose 0 = -5*p + 4*n + 43, -4*p + 2*n + 32 = -0*n. Solve 0 = -3*f + p*f - 4 for f.
1
Let l(v) = -v**2 + 7*v - 6. Let c be l(7). Let s = c + 10. Solve -17 = s*k - 5 for k.
-3
Suppose -3 = -3*f - 3*o, -f = -3*f + 2*o - 6. Let k(l) = -l**2 - 4*l + 4. Let p be k(-5). Let g = p - f. Solve 0*t - 5*t - 10 = g for t.
-2
Let q be -1*(-1 - -3 - 25). Let m = -1 + 5. Solve -m*c + q = 7 for c.
4
Suppose -5*r = -5 - 15. Suppose 2*h - r*h = -8. Solve s - 1 = h for s.
5
Suppose -2*a = -5*h + 2*h + 6, 0 = 3*h + a + 3. Solve v - 1 + 0 = h for v.
1
Let t be 2/12 - (-6)/(-36). Solve 2*f + 0 + 10 = t for f.
-5
Let g(n) = -n**3 + 9*n**2 + n - 9. Let h be g(9). Let w(a) = -a**3 + 7*a**2 + 5. Let l be w(7). Suppose h = -3*x + 9, 4*k - l*x = -x. Solve -8 = k*u - 2 for u.
-2
Let a = 100 + -100. Solve 12 = 4*z - a*z for z.
3
Let k be (4/(-16))/(2/(-40)). Suppose -w + 15 + 15 = k*y, 5*w = y + 20. Solve g - y*g - 16 = 0 for g.
-4
Suppose -18*g + 22*g = 4. Solve -2*m = -3 - g for m.
2
Let m(r) = -r**2 + 6*r. Let w = 8 + -3. Let g be m(w). Solve -5 = g*c + 5 for c.
-2
Suppose -20 = -3*i - 2. Solve 0 = -i*m + 3*m for m.
0
Let d(z) = -z - 2. Let b be d(-6). Suppose 3*k - b = k. Let i be 147/15 + 3/15. Solve 0*j + i = -k*j for j.
-5
Let c be (0 - -12)*4/12. Suppose 5*z - c = z. Let g = 1 + z. Solve 5 = f - g*f for f.
-5
Suppose 0 = 3*o - 5*a + 20, 3*o - 2*a + 16 = 2*a. Suppose 2*t = o, -2*i - i + 24 = t. Solve 3*x - 4 = i for x.
4
Let k be -2*((-1)/(-2) + 2). Let a(g) = -g - 2. Let y be a(k). Let i = -8 + 8. Solve y*o + i*o = -9 for o.
-3
Let q = -21 - -38. Solve -3*z + 2 = q for z.
-5
Let m = 10 + -10. Solve 6 = -3*w - m for w.
-2
Let n = -58 - -66. Solve -n*l + 10 = -3*l for l.
2
Suppose 0 = -2*d - 10, 12 = 5*g - d - 8. Suppose g*o - 3 - 6 = 0. Solve o*m = 1 + 11 for m.
4
Suppose 0 = -31*s + 32*s - 3. Let m = 5 + -2. Suppose n + w + m*w - 2 = 0, 3*n - 6 = -w. Solve n*r = r + s for r.
3
Suppose 0 = -4*b - 19 - 17. Let m = 9 + b. Solve m*d - 6 = -2*d for d.
3
Suppose -s - 3*z = -4*s, 4*s - 3*z - 3 = 0. Suppose -s*a = 4*d - 17, -5*d - 3*a + 16 = -a. Solve -2 = -d*i + 2 for i.
2
Suppose -4*p + 5*z + 34 = 0, 2*p + 3*z = 4*p - 18. Suppose 3*m = p*m. Suppose -13 = -5*h + 7. Solve -h*d - d = m for d.
0
Let x = 171 + -138. Solve 5*w + x = 8 for w.
-5
Suppose 4*l + 6 = -2*u - 28, -5*l + u = 53. Let q be (-3)/(-9) + l/(-6). Suppose -3*n + 4*t + 16 = 0, -n + t = -3 - q. Solve 0*c = -n*c + 4 for c.
1
Suppose 0 = -3*h + 4*h + 1. Suppose -3 = -y - 0. Let k = h + y. Solve 3*w - k = -5 for w.
-1
Let a = -186 - -202. Solve -9*f = -5*f - a for f.
4
Let g be ((-4)/(-10))/(2/20). Suppose g*p = 20, 2*p - 44 - 6 = -2*s. Solve 0*c + 4*c = -s for c.
-5
Let n(g) = -g - 1. Let t be n(-5). Suppose 5*b + t*w - 71 - 8 = 0, 5*b - 2*w = 73. Suppose -5*r + b = -0*r. Solve v + r - 4 = 0 for v.
1
Let i(t) = 8*t**3 + t**2 + t - 1. Let l be i(1). Let z = l + 1. Let y = -10 + z. Solve d = -y*d - 3 for d.
-3
Let a be -3*(-33)/9 + -2. Suppose 0 = 4*k - 3 - a. Let r be k - 2 - 10/(-1). Solve 3*p + r - 2 = 0 for p.
-3
Suppose 2*g = 3*j - 3, -4*g + 2*j + 1 = 3*j. Suppose 4*x + 0*x - 40 = -2*y, -2*y = x - 28. Solve g = -b + 5*b + y for b.
-3
Let g = 24 - -6. Let f be (-38)/(-3) - (-10)/g. Let b = f - 9. Solve -b*x - 16 = -0*x for x.
-4
Suppose -5*z = 132 - 137. Suppose -5 = -3*h + 1. Solve h = -u + z for u.
-1
Let g(f) = -f**3 - 6*f**2 - 4*f + 9. Let k be g(-5). Solve -4*y - k = -12 for y.
2
Let r(m) = m**3 - 10*m**2 + 2. Let v be r(10). Suppose -4*h + 1 - 9 = -5*g, 2*h - v*g + 2 = 0. Solve -h = p - 7 for p.
4
Let m(r) be the second derivative of -7/20*r**5 + 0 - 1/3*r**3 + 0*r**4 - 2*r - 1/2*r**2. Let t be m(-1). Solve h = -h + t for h.
4
Suppose 3*u = u. Suppose 0*c + c - 3*s - 9 = 0, 4*c - 2*s - 6 = u. Solve c = 2*q - 3*q + 5 for q.
5
Let a(n) = 4*n**2 - 13*n - 2. Let i be a(4). Solve -5*j = -i*j - 25 for j.
-5
Suppose 18*i = 22*i. Suppose i = 11*z - 6*z. Let h = -5 - -9. Solve h*l + 2 + 6 = z for l.
-2
Let v(y) = y**2 + 8*y. Let p be v(-8). Solve 0 = -p*j + 5*j + 5 for j.
-1
Suppose l + 7 = k, -2*k - 2*l - 4 = k. Let i = 24 - 52. Let t = i - -31. Solve -t*m + 15 = k*m for m.
3
Let x(u) = 5*u + 8. Let y(r) = r + 2. Let f(t) = -2*x(t) + 9*y(t). Let k be f(2). Suppose 5*j - 20 = 2*a - k, 4*a = 2*j - 8. Solve j*q = 13 - 5 for q.
2
Let k be (8/(-3))/((8/(-12))/1). Solve 2*d + 2*d + k = 0 for d.
-1
Suppose 2*u = u + 23. Let x(m) = 38*m - 182. Let o be x(5). Solve o = 5*j + u for j.
-3
Let n be (-32)/(-14) + 62/(-217). Solve 0 = -p - p + n for p.
1
Let f = 4 + 1. Let a be (-1)/(-1 - (-13)/12). Let y be (f/(-3))/(2/a). Solve -6*r + r = -y for r.
2
Let p(h) = 2*h + 10. Let f be p(-5). Suppose f*d = -d + 4. Solve -d = u - 2*u for u.
4
Let w = 44 - 24. Suppose 5*v = 3*v, 4*p - 2*v - w = 0. Solve -4*l + p = -9*l for l.
-1
Suppose 0 + 14 = 2*s + 3*y, -3*y = 3*s - 18. Suppose 24 = -4*r + 4*q, 4*r - q = q - 18. Let w = r + 3. Solve 0 = c - w*c - s for c.
4
Let y be (8 + -3 - 0) + 1 + -2. Solve 3*u + u = y for u.
1
Let y be (0 - 2)*(-35)/14. Suppose y*m = 5*f - 20, f + 20 = 2*f - 5*m. Solve -v = -1 - f for v.
1
Let j = -18 + 27. Solve -h - j = 2*h for h.
-3
Let l(m) = -m**3 + 5*m**2 + 2. Suppose y + 5*z = -2 + 6, 3*y + 3*z - 12 = 0. Let b be l(y). Solve 0 = -3*p - b + 6 for p.
-4
Suppose -n - n = -60. Suppose -3*h + n = -h. Solve q + h = -4*q for q.
-3
Let g(n) = -17*n - 1. Let u be g(1). Let q = 10 + u. Let b = q - -13. Solve 0 + b = -k for k.
-5
Let x(d) = -2 - 3*d + 3 - 5 - d. Let o be 