
1
Let v be 4/(-1 + -1) + 5. Suppose 0 = 5*q - 327 + 77. Let w = -30 + q. Solve l - w = -v*l for l.
5
Suppose 0 = -3*m + 2*c + 38, -4*m + 0*m = -5*c - 53. Suppose -4*p + 8*p = 2*x + m, -5*x = p + 8. Solve 5*a + 12 = p*a for a.
-4
Let m be ((-1)/2)/((-2)/(-20)). Let j = -1 - m. Solve 5*i + 16 + j = 0 for i.
-4
Suppose -13*z + 11*z = -18. Solve -4*v - z = 7 for v.
-4
Let y(h) = -h**2 + 8*h + 6. Let r be (2/(-5))/((-4)/80). Let z be y(r). Suppose 2*n - 16 = -2*n. Solve n*d = -10 - z for d.
-4
Suppose -t - 2*b + 17 = 0, t + 9 - 1 = 3*b. Suppose 16 = -3*o + t*o. Solve 3*u = -u - o for u.
-1
Suppose -2*q = -a + 15, 7*q + 17 = 4*q - 4*a. Let y(k) = k**2 + 5*k - 3. Let h be y(q). Suppose 0*j + 2 = 2*j. Solve j - h = -2*v for v.
5
Let r(b) = 6*b - 12. Let d be r(4). Solve d = -0*g + 3*g for g.
4
Suppose 0 = -f + 2 + 2. Suppose f*l - 10 = 6. Let s be (-15)/(-10)*l/3. Solve -q + 3 = -s for q.
5
Suppose -7 - 5 = -2*m - 2*a, 2*m - 14 = -4*a. Suppose -3*u + 10 = -2*u. Let f be 0/(7/((-49)/14)). Solve 0*i - m*i - u = f for i.
-2
Let m be (-1 + (-6)/(-10))*-5. Let a(r) = -2 + 2 + m*r. Let z be a(1). Solve 5*h - z*h = 0 for h.
0
Let r(z) = z**3 - 5*z**2 - 6*z. Let t be r(6). Let j be 0 + 2*(t + 6). Suppose -v - j = -4*v. Solve -b = -3*b - v for b.
-2
Let n(j) = -3*j**2 + 4*j. Let a(o) = o**2. Let s(d) = 5*a(d) + n(d). Let c be s(-3). Suppose -m = 0, 4*r - c*r + 4*m + 4 = 0. Solve h - r = -0 for h.
2
Let s(o) = 8*o**2 - o + 1. Let g be s(1). Let i be (-2)/6 + 2/(4 + 2). Solve -g = -i*f - 4*f for f.
2
Let d = 20 + -31. Let m = 2 - d. Solve 3 = -5*f + m for f.
2
Let u(r) be the third derivative of r**6/120 + 3*r**5/20 + 5*r**3/6 - 2*r**2. Let s be u(-9). Let a = -3 + s. Solve -a = g + 1 for g.
-3
Suppose 0*z = 4*z - 4, -z + 1 = -2*t. Solve t*y = -4*y for y.
0
Let n(r) = 4*r**2 + r + 1. Let p be n(-1). Let y be (3/3)/(2/14). Let x be p/12*y*3. Solve x - 1 = 2*b for b.
3
Let h = 7 + -7. Solve -2*n + h*n = 0 for n.
0
Suppose 3*b - 5 = -2*b. Suppose 4*k + 11 - 31 = 0. Solve -d - b + k = 0 for d.
4
Let a = 6 - 13. Let w(o) = -o**3 - 7*o**2 - o - 10. Let s be w(a). Let n(z) = z**3 + 3*z**2 - z - 1. Let v be n(s). Solve -4 = 3*p - v*p for p.
-4
Suppose -5*x = -0*x - 2*y - 18, 0 = -2*x - y. Solve -x*f + f = -4 for f.
4
Let m(u) = 2*u + 1 - 2*u + 0*u - u. Let c be m(-3). Solve c*r - 2*r = 10 for r.
5
Let v be 10/2 + (-1 - -5). Solve 2*n - v = 5*n for n.
-3
Let w(z) = -z**2 + 11*z - 10. Let n be w(10). Let t be 1/(3/2 + -1). Let q be 1 + (-3)/((-3)/t). Solve -q*o - 5 + 20 = n for o.
5
Suppose -15 = 2*c - 19. Solve c*a = 3 + 5 for a.
4
Let j(k) = -3*k + 3. Let a be j(3). Let o = 1 + -3. Let w be (-21)/a + o/(-4). Solve 2*q - 4*q = w for q.
-2
Suppose 5*g - 24 = 2*g. Solve -4 + g = -p for p.
-4
Let r(c) = -44*c + 2 - 2. Let q be r(-1). Suppose 3*x + 4*v = q, 0 = 2*x + 3*v - 6 - 23. Solve 0 = -5*z - x - 4 for z.
-4
Let y(i) be the third derivative of 11*i**4/12 - i**3/6 + i**2. Let n be y(-1). Let j = 41 + n. Solve 0 = -4*w + j - 6 for w.
3
Suppose -3 = -5*d + 12. Suppose 17 = d*f + 2. Solve -5*q = -25 + f for q.
4
Let q(j) = -j**2 - 10*j - 9. Let x be q(-10). Let d be x - -6 - (-8 + 1). Suppose -3*o + d + 2 = 0. Solve o*l - 4 - 4 = 0 for l.
4
Suppose 4*z + 0*c + c = -17, 0 = 2*z + 3*c + 1. Let o be (0 + -2)*(z + 3). Solve o*s + 8 = -8 for s.
-4
Suppose 5*t - 16 + 1 = 0. Suppose -t*x + 9 = 3*u - 6*x, -5*u + 14 = -4*x. Solve -u*k = -7*k for k.
0
Suppose 5 + 7 = 3*h. Let x be 16/(-12)*(-6)/4. Suppose u = -3*u - 3*j + 10, x*j = -2*u + h. Solve -u*m = m + 5 for m.
-1
Let f(k) = -k**3 + 11*k**2 - 8*k - 11. Let b be f(10). Solve -5*l = b - 4 for l.
-1
Suppose 0 = -d - 1 + 3. Solve 0 + d = b for b.
2
Let x be (-2)/(-3) + 39/9. Suppose 11 = 2*q - 0*q - u, -5*q - x*u = -35. Suppose -3*z + 6*z - 2*t = -4, 0 = -5*z + 2*t - 4. Solve -5*g + 3*g + q = z for g.
3
Let j = 146 + -126. Solve -4*m + j = -8*m for m.
-5
Let w be 38*((-6)/3 + 3). Suppose 3*i = 7 + w. Solve -i = 3*u - 0*u for u.
-5
Let x(c) = -c**2 + 2*c + 3. Let i(l) = l**3 + 3*l**2 - 1. Let n be i(-2). Let t be x(n). Let y = -10 - -16. Solve t = -r - y + 1 for r.
-5
Let w be 3*(-1 + -3 + 5). Solve w*j = -2*j for j.
0
Let d be 0 + 2 + -8 + 3 + 7. Suppose -4*g + 16 - 4 = 0. Suppose p = 3*x, p + 2 + g = 4*x. Solve -d*s = s - p for s.
3
Let u = -7 + 5. Let i be (u + 1)*(-8 + 1). Solve -3*f - i = 5 for f.
-4
Suppose -2*a - 13 - 7 = -4*d, 0 = -a + 4*d - 20. Solve 0*c - c + 4 = a for c.
4
Let w(q) = q**2 + 2*q - 1. Let u be w(-2). Suppose 1 = 2*y - 3*y. Let g be -1 - u - (y + 0). Solve 0 = -2*v - g + 3 for v.
1
Let x(g) = -5*g - 1. Let w be x(1). Let q = -1 - w. Solve -3*a = 4 + q for a.
-3
Suppose 4 = k - 0. Suppose 5*h = -i + 13, k*h - 3 = i + 2. Suppose -2*a + 2*j = -28, 12 = 2*a + 3*j - j. Solve -4*x = -a - h for x.
3
Let y = 7 + -3. Suppose 3*k + 2*v - 27 = 0, 0 = -3*k + y*v + 23 + 4. Suppose -5*g = -4*g - 2*n - 12, 5*g = -n + 82. Solve k + g = 5*l for l.
5
Let o be 6/(-8) - 210/(-56). Solve o + 2 = y for y.
5
Let n(h) = -h**3 + 14*h**2 - 13*h + 2. Suppose 5*m - 69 = -s + 5*s, 1 = -s. Let o be n(m). Solve o - 14 = -3*p for p.
4
Suppose -5 = 5*z + 5*t, -2*z + 2*t = -0*z - 2. Solve 3 = -z*c + c for c.
3
Let n be 4/18 + 2/(-9). Let o be (-340)/34*4/(-10). Solve m + 3*m - o = n for m.
1
Let k(p) be the third derivative of p**5/15 + p**4/12 + p**3/6 + 3*p**2. Let n be k(2). Let c = 4 + n. Solve -3*i + c = 2*i for i.
5
Let m(b) = b**2 + 4*b - 8. Let f be m(-6). Solve 0 = -f*i + 4 + 12 for i.
4
Let d(p) = -p**2 + 4. Let l be d(4). Let k be 2/l*10*-3. Solve k*j + 13 - 3 = 0 for j.
-2
Suppose -15 = 3*h, 1 = 3*w - 2*h - 12. Solve -3*r - w = -4 for r.
1
Let n(j) = -j - 13. Let t be n(-16). Solve t*u + 8 = u for u.
-4
Let r be 3 + -5 + (2 - 0). Solve 4*x = -8 - r for x.
-2
Let y(m) = -m - 2. Let r be y(-4). Let c = 6 - 2. Let a = c - 2. Solve -r = -a*t - 12 for t.
-5
Suppose -29 = -2*h - 5*x, -x + 6*x - 33 = -4*h. Solve -6*t - h = -8*t for t.
1
Suppose -m + 5*u + 26 = 2*m, -2*m = 2*u + 4. Solve -m = 2*o - o for o.
-2
Let l(s) = -s**2 + 7*s - 3. Let d be l(3). Let b = -5 + d. Solve -3*p - 8 - b = 0 for p.
-4
Let y(w) = -w. Let z be y(-1). Let j be (-1 + -7)/(5 - 7). Solve j = -t - z for t.
-5
Let z(x) = -x + 1. Let c be z(1). Let i(u) = u**2 - 2*u + 2. Let b be i(0). Solve c*p = p - b for p.
2
Suppose -4*n + 16 = h, -3*n - 2*h + 0*h = -17. Suppose -12 = -f - n*f. Solve -f*y + 6 = -y for y.
3
Let t = 6 + -1. Let s(v) = 2*v - 5. Let m be s(t). Let h be (m/15)/((-1)/(-6)). Solve l = h*l + 2 for l.
-2
Let b be (-4)/(32/(-10))*4. Solve 2*l - b*l = 6 for l.
-2
Suppose 3*g = 11 - 5. Solve g = 4*d - 3*d for d.
2
Suppose -4*s + 2 = -2*g - 4, 4*g = 2*s + 12. Suppose -3*c - 8 = c, 2*c = -g*m - 4. Let o(p) = -3*p - 1. Let t be o(-1). Solve m = -t*f + 5*f + 15 for f.
-5
Let d be ((-4)/(-10))/((-3)/30). Let q = 1 - d. Let x = 11 + -8. Solve -q + x = -p for p.
2
Let i be (-46)/(-14) - (1 + (-10)/14). Solve -4 = i*y - 4*y for y.
4
Suppose 3*g = 4*n + 12, -3 = -0*n + n. Solve g*z = -4*z for z.
0
Let o(z) = -z**2 - 7*z - 7. Let b be o(-6). Let h = b - -3. Solve -2*f - h*f = 16 for f.
-4
Let x = -7 + 7. Suppose -f = -x*f - 10. Suppose 3*u = -f + 25. Solve 1 = u*l - 4 for l.
1
Let u be -2 + (17 - (0 - 1)). Suppose 5*z = -1 + u. Let g(p) = 2*p**2 - 5*p + 2. Let n be g(z). Solve 4*c + 3 = -n for c.
-2
Let q be 5 - (-3 + (3 - 1)). Let u(n) = -n**3 + 7*n**2 - 7*n + 7. Let t be u(q). Let j(r) = 2*r + 1. Let o be j(t). Solve -h = o - 6 for h.
3
Suppose -8*j = -6*j - 18. Solve 5*p = -4 + j for p.
1
Suppose -c + 4 = -4*u, 2 = 4*c + 2*u - 14. Solve -c - 11 = -3*x for x.
5
Let q be 6/1 - (-7 - 99/(-9)). Solve -u - q*u = -3 for u.
1
Suppose 3*n = 3*b + 6*n - 18, -b = 4*n - 12. Let r(u) = u**3 + 3*u**2. Let k be r(-3). Solve b = -k*x - x for x.
-4
Let i be -1*(3 + 1 + -4). Solve -5*j + 15 = -i*j for j.
3
Let a(g) = -2*g**2 - 2*g + 20. Let l be a(0). Solve -l = 5*c - 0*c for c.
-4
Suppose 3*u = 4*u - 5. Let l(o) = o - 1. Let k be l(5). Suppose 0 = -w - 4*w. Solve -u*a + 1 + k = w for a.
1
Let r be 39/12 + 3/4. Let l = 12 + r. Solve 0 = 3*o - 7*o - l for o.
-4
Suppose 3 = -4*q + z - 0*z, z = -3*q + 3. Solve q = x - 0*x - 2 for x.
2
Let i(t) = 2*t**3 - 4*t**2 - 2*t + 3. Let y be i(3). Let j = -10 + y. Solve 0*n - j*n = 10 for n.
-2
Let i = -24 - -28. Suppose 0 = -0*z - 5*z 