Solve z = 5*y - 10*y - 25 for y.
-5
Let g = -85 + 89. Solve g*u + 8 = -0 for u.
-2
Let z = 0 - -2. Let i be 15/12*(-6 + 10). Solve -z + i = 3*d for d.
1
Let f be (-5)/2*(-6)/5. Solve d = -f*d for d.
0
Suppose -4*a + 12 = -r, 5*r + 5*a = 32 + 33. Let b be 6/r - 2/(-8). Solve 4*s - 11 - b = 0 for s.
3
Let v = 9 + -6. Suppose -7 = -n - 4*j, -v*j + 4*j = 0. Solve -n - 1 = 2*y for y.
-4
Let q(b) = 3*b + 4. Let d(k) = -7*k - 8. Let x(o) = -2*d(o) - 5*q(o). Let g be x(-6). Suppose -3*l + l = 0, -g*l = 5*m. Solve m = c + 3*c for c.
0
Suppose 0*z = 3*z. Suppose 3*w - 3 = z, 0 = 5*b + w + w - 12. Let c(t) = t + 6. Let f be c(-5). Solve -b*h = -3*h + f for h.
1
Let w = 14 + -7. Let r = 32 - w. Solve r = -a + 6*a for a.
5
Let i(h) = h**3 - 24*h**2 + h - 21. Let x be i(24). Solve 0 + x = m for m.
3
Suppose -4*p - 3*m + 5 = -2*m, -3*p = -m - 9. Let t(k) = 6*k - 2. Let h be t(p). Let y be ((-6)/(-4))/(3/h). Solve 24 = -y*q + 4 for q.
-4
Let b(l) = 3 - 2*l - l**2 + 6*l + 4*l. Let u be b(8). Solve -c + 2*c = u for c.
3
Suppose -2*j + 4*x + 8 = 2*j, -x + 1 = 0. Solve 0 = j*n - 0 + 12 for n.
-4
Suppose 3*z - 4*x + 26 = 0, z + 3*x = 2*z + 17. Let i(q) = -3*q - 2. Let b be i(z). Suppose b*f = 9*f - 15. Solve 0 = -f*s + 2 - 11 for s.
-3
Suppose -3*q + 2 + 1 = 3*y, 2*y = 3*q + 22. Solve -24 - 1 = -y*r for r.
5
Let q = -6 - -8. Solve -q*s = -s - 5 for s.
5
Let f be (-2)/(-1)*(-36)/(-8). Let q = f + -15. Let z = q + 8. Solve 4 = -2*o + z for o.
-1
Suppose -8 = -2*u + 2*t, -5*u - 3*t = -1 - 11. Suppose -2*j = 6, 3*c - j = -6*j - u. Suppose i - 16 = -c*z, -z + 2 = 5*i - 21. Solve 8 = a - z*a for a.
-4
Suppose -k - 5*u - 28 = -5*k, -4*u - 16 = 0. Solve -3*s + 2*s = k for s.
-2
Let x be 2 + (1 - 0) + 13. Suppose x = h + 3*h. Solve h - 9 = -5*a for a.
1
Suppose 2*l = 3*l - 4, 0 = -3*w + 3*l - 12. Solve -4*m + 16 = -w*m for m.
4
Let q = 58 - 57. Solve -16 = 3*y - q for y.
-5
Let h = 40 - 31. Solve 11 = -4*w - h for w.
-5
Let j be (-3 + 4)/(1/(-2)). Let a = j - -6. Solve -5*g = -1 - a for g.
1
Let i = -5 - -10. Suppose -i = -5*t + 20. Suppose 3*a + 4*w - 4 = 0, 2*a + 4*w - t = -1. Solve a = x + 3 for x.
-3
Let d = -5 - -6. Let x be 3 - d*(0 - -2). Solve 3*c + 2 + x = 0 for c.
-1
Let j = -42 + 45. Solve h = -j*h + 8 for h.
2
Let z(r) = r**2 - 3*r - 10. Let c be z(7). Solve -4*l = c + 2 for l.
-5
Let t = 17 - 16. Solve 5*w + t = 16 for w.
3
Suppose -3*q = 2*q - 70. Let x = q + -9. Suppose -5*u + 2*k - 6 = 0, 0*k - k = -x*u - 3. Solve 5*o = -u*o + 15 for o.
3
Suppose -5*w - 16 = -9*w. Solve -2*b = 2 - w for b.
1
Let p = 103 + -98. Solve 10 = -5*z - p for z.
-3
Let o = 9 - 7. Suppose -o*j + s = -48, 5*j + s = -4*s + 90. Solve -4*m = j - 6 for m.
-4
Let t(a) = -3*a**3 + 2*a**2 - a - 2. Let v be t(-1). Solve 5*h + v = -1 for h.
-1
Let x(l) = l**2 - 5*l + 4. Let p be x(5). Solve 5*v = p*v - 4 for v.
-4
Let i be (-1)/(-2) + (-2)/4. Suppose -o = -i*o. Solve -q - 3 - 2 = o for q.
-5
Suppose -f + 0*f = 0. Let q(t) = -11*t - t**2 + f*t**2 - 2 - 2. Let d be q(-8). Solve -d + 4 = 4*p for p.
-4
Suppose -148*x + 149*x - 4 = 0. Let z = 4 + -1. Solve 19 = -x*d + z for d.
-4
Let o be ((-4)/2 - -1)*7. Let h(g) = -4*g + 3. Let b be h(o). Solve -6 + b = -5*y for y.
-5
Let g be (-33)/(-9) - 1/(-3). Solve -18 + 2 = -g*j for j.
4
Let w be (-6)/18 + 19/3 + -2. Solve -w*v - 15 = v for v.
-3
Let y = 37 - 30. Let g(l) = -l + 9. Let z be g(6). Solve -w + y - z = 0 for w.
4
Let m be (7/1)/(-2 - -3). Let g = 17 - m. Let i = 15 + g. Solve -i = 3*y - 8*y for y.
5
Suppose 5*l = -3*b + 9, -3*b + l + 4*l = 21. Let c be (-8)/(-4) - b/2. Suppose -c*k = -0*k. Solve k*n = -3*n - 6 for n.
-2
Let a(p) be the third derivative of p**5/60 - p**4/4 - 11*p**3/6 + 2*p**2. Let t be a(8). Suppose -t*c + 5*w = 10, 7*c = 2*c + 3*w. Solve 3*y - 9 = -c for y.
2
Suppose 2*o - 2*y = 2, 4*o - 12 - 20 = -3*y. Solve -18 = o*v - 3 for v.
-3
Suppose 69*s - 5 = 68*s. Solve s*w + 13 = -12 for w.
-5
Let f = 26 - 8. Let o = -16 + f. Solve -6 = b - o for b.
-4
Let g = -11 - -17. Let y be (0/(-3))/(-1 + 0). Let c = y - -4. Solve 2*j + g = -c for j.
-5
Let h(x) = x**3 - 4*x**2 - 2*x + 8. Let m be h(4). Solve m = 5*g - 19 - 6 for g.
5
Let z(g) = -g**2 + 12*g - 6. Let s be z(10). Solve 0 = -3*k - s + 2 for k.
-4
Let o = -13 - -15. Solve 0 = -a + o*a for a.
0
Suppose 4*p = 3*p - 2. Let v = p - -2. Suppose 28 = 2*b - 5*s, v*b - 16 = -2*b + 2*s. Solve 3*z - b = 5 for z.
3
Let r(b) = -b**3 - 5*b**2 + 3*b - 1. Let v be r(-6). Suppose -4*j - 36 = 8. Let t = v + j. Solve -t = m - 2 for m.
-4
Let v(g) = -g**3 + g + 2. Suppose -10*a + 6*a = -16. Suppose -3*t = -a*t. Let s be v(t). Solve -q + 3*q + s = 0 for q.
-1
Let s = 18 - 14. Solve 0*w + 20 = -s*w for w.
-5
Let z(a) = 4*a - 1. Let g be z(5). Let v be -1 + (-1 - -1) + 33. Suppose -4*u - 3 = -g, -5*r + v = 3*u. Solve 0 = -r*j - 6 + 26 for j.
5
Let v = 49 - 47. Solve -v*x + 7*x = 5 for x.
1
Suppose -3*w = -8*w + 40. Let i(z) = -z**2 + 8*z. Let a be i(w). Solve a*l + 4*l - 12 = 0 for l.
3
Let v be 2*(1 - 18/4). Let o(k) = 7*k + 5 + 8*k**2 + 0*k**2 - k**3 + 2*k**3. Let g be o(v). Solve -b + g = -2*b for b.
-5
Suppose -4*x + 28 = 8. Suppose -5*y + 24 = 2*w, w + 5 = -2*y + 15. Solve -1 = -x*t + y for t.
1
Suppose -2*m - 12 = -3*m. Let b = -8 + m. Solve -b*f - 1 = -5 for f.
1
Let q(k) = -k**2 + 6*k + 5. Let o be q(6). Solve a = o*a - 16 for a.
4
Suppose 168 = 31*w - 17*w. Solve -2*d - d = -w for d.
4
Let r(f) = 3*f - 1. Let s be r(2). Let h(k) = 0*k + k**3 - 2*k - 1 - k + 4*k - 3*k**2. Let w be h(3). Solve 7 = -s*g + w for g.
-1
Let p = 11 + -19. Let u be 2/(-8) - 98/p. Let z be u/9*6/4. Solve 0 = -z*v + 2 + 6 for v.
4
Let i be (-2)/9 + (-75)/27. Let p(z) = -z**2 - 7*z - 3. Let g be p(i). Solve 0*s - 3*s = -g for s.
3
Suppose -l = 2*d + 5, -4*l + 5*d = -2*l - 26. Solve s - l*s = 0 for s.
0
Suppose 4 - 2 = a. Let c = 3 + -1. Suppose c*s = -s. Solve a*r + 2*r + 8 = s for r.
-2
Suppose 2*b + 3*d = -5 - 0, 2*b + d - 1 = 0. Let i = 0 + b. Solve -1 = l - i*l for l.
1
Suppose a + 1 = 2*a. Let z be (2 - a)/(10/20). Solve s + z = 6 for s.
4
Let q be 9/6*2 - 3. Suppose k + 0*w - 2 = 2*w, -w = k - 5. Solve y + q = k for y.
4
Let l = 0 - -4. Suppose -l*w - w + 25 = 0, 4*b - 2*w - 6 = 0. Solve 0 = b*n - n + 3 for n.
-1
Let k = 0 + -2. Let y be k/(-9) + (-129)/(-27). Suppose -r - 13 = -3*t - 3*r, -3*r = 3. Solve -5 - t = -y*i for i.
2
Let a = 12 + -5. Suppose -4*q = -a*q. Solve 6 + q = -2*u for u.
-3
Suppose 0 = -3*b + 8 - 8. Solve b = 3*j - 2*j + 1 for j.
-1
Suppose -3*q + 9 = 3. Suppose -q*w = -3*b + 2*w + 6, 5*w - 8 = -4*b. Solve -b*c = 3*c + 15 for c.
-3
Let k = -14 + 34. Let f(a) = a + 24. Let i be f(0). Let n be (i/k)/(6/20). Solve -6 = n*z + 2 for z.
-2
Let x(j) = j**3 + 5*j**2 + 2*j - 3. Let f be x(-4). Solve f*h - 6 = 3*h for h.
3
Let q = 62 + -42. Solve 0 = 2*w + 2*w + q for w.
-5
Let f be 2/2*(12 - 11). Let n = 7 - 5. Let u be -3*(8/(-3) + n). Solve -u*c = -c - f for c.
1
Let k be 0 + (-3)/(-1) + -2. Solve 5 = 2*q + k for q.
2
Let y be 3*-1*2/(-3). Suppose 0*x - 2*x - 23 = 5*z, y*x = 5*z + 27. Solve x = -i - 1 for i.
-2
Suppose 4 = -3*w + 2*c, 0*c = 4*w + 4*c - 8. Suppose -5*m - 6*k - 15 = -3*k, 5 = 2*m - k. Suppose -o = -m*o. Solve -p + o*p + 4 = w for p.
4
Suppose u + 2*p = 7*p + 8, 2*p = -2. Solve 2*c = u*c + 5 for c.
-5
Suppose 1 = 3*j - 2*y, -j - y = -3*y + 5. Let c be 2/13 - 618/(-39). Solve n = -j*n - c for n.
-4
Let i be 16/6 - 5/(-15). Let t(b) = b**2 - 5*b + 2. Let w be t(5). Suppose 100 = w*l + 3*l. Solve i*q - l = -2*q for q.
4
Suppose -13 = -3*u + 5. Suppose -5*h - y - 2 = -0, -3*y - u = 3*h. Solve -3*l + l = h for l.
0
Suppose 9 = -0*t + 3*t. Solve -t*b - b - 16 = 0 for b.
-4
Let r(v) = -2*v**2 + 8*v + 3. Let w be r(6). Let d be ((-1)/(-3))/((-1)/w). Suppose -8 = -i - 0*s - 2*s, -5*s = -4*i - d. Solve i*z - 3 = 1 for z.
2
Let f be -3*(0 + 3 + -5). Suppose 0 = -l + 3*l - f. Solve l*z = 7*z - 4 for z.
1
Let h = -2 - -2. Let f = -19 - -19. Suppose f = -h*q + 2*q. Solve q*w - 3*w = -3 for w.
1
Suppose 0 = -51*b + 52*b - 4. Solve b*r - 12 = -0*r for r.
3
Suppose -3*a - 1 = 2*c, -3*a - 2*a = 3*c + 3. Let t = a + 3. Suppose -20 = -2*p - 3*z, 0 = -3*z - t*z. Solve -p + 5 = -5*f for f.
1
Let u(k) = -k - 1. Let b(t) = t**2 + 10*t + 5. Let z(y) = b(y) + 6*u(y). Let s be z(-5). Solve 3*x = s - 1 for x.
