
1
Let c = 4 - 5. Let p = c + 4. Suppose -l + 1 + p = 0. Solve -l = -f - 2 for f.
2
Let h = -8 + 14. Suppose 2*f - 18 = -0. Solve -3*w + h = -f for w.
5
Let m be 1 + -2 - (-5 - 3). Solve 3*h - m*h = -16 for h.
4
Suppose 4*z + 7 = -2*c + 21, -2*c - 18 = -4*z. Suppose -4*i + 2*x = 48 - 18, 0 = -5*i - 5*x - 30. Let l = -6 - i. Solve z*o - l = -13 for o.
-3
Let p be (4/5)/((-1)/(-5)). Let h be (7 + -4 - 3)*1/2. Solve -2*o + h*o = -p for o.
2
Let j(i) = -i**3 + 7*i**2 - 4*i - 5. Let f be j(6). Suppose 13 + f = 5*g. Suppose 0*k = -4*d - 5*k + 85, 3*d + 4*k - 64 = 0. Solve -g*b - b = -d for b.
4
Let v be 1/(2/(-18)) + -1. Let r = -5 - v. Suppose r*q - 8 - 12 = 0. Solve q*k = 5*k for k.
0
Suppose 0 = -3*u - 19 + 7. Let s(g) = g**2 + 4*g + 5. Let l be s(u). Let w be -1 - -2 - -1*l. Solve -w = p - 1 for p.
-5
Suppose 4*y - 52 = 4*u, 3*y - 15*u + 11*u = 35. Solve 3 = 5*g - y for g.
4
Let d be (-5 + (-52)/(-10))*0. Solve d = -5*p + 3*p + 4 for p.
2
Suppose 2*f + 4 = -5*b - 2*f, 5*b - 3*f - 3 = 0. Solve k = -b*k for k.
0
Let j(a) = 9*a**3 + 2*a - 2. Let w be j(2). Suppose -5*i = 3*k - 65, 3*i - k = w - 21. Let o(x) = 3*x - 3. Let q be o(2). Solve -z = q*z - i for z.
4
Let z be (-3)/1 + -1*2. Let k(o) = -o**2 - 4*o + 4. Let p be k(z). Let u(f) = -f - 1. Let q be u(p). Solve -5*h + 3 + 7 = q for h.
2
Suppose 2 = k - 2*y, 0 = 2*k - 5*y - 6 + 1. Let b be (12/(-10))/(2/(-10)). Solve -r + b - 3 = k for r.
3
Let j = -20 - -24. Solve 5 = j*a + 17 for a.
-3
Suppose i = 2, 2*s + 7*i - 14 = 2*i. Solve 3*v = s*v + 2 for v.
2
Suppose -m - 2 - 1 = -h, 0 = -3*m - 5*h + 15. Solve -n = -m*n + 3 for n.
-3
Let w(i) = 4*i + 2. Let d be w(-4). Let o be (d/4 + 3)*0. Solve o = 2*z + z - 6 for z.
2
Let a = 6 - -4. Suppose -2*p = -0*p - a. Suppose h + p = 2*u, -2 = 3*u - 14. Solve -2*y - h*y = -20 for y.
4
Suppose -3*n - m + 6*m = -9, -4*m = 3*n - 9. Suppose -n*a = -a. Suppose -x + 2 = a, 3*r + 2*x = -3*x + 25. Solve 0*v + 10 = r*v for v.
2
Let q(o) = o**2 + 4*o - 18. Let b be q(-7). Solve -b*m + 2*m = -4 for m.
4
Suppose -3*n = n + 60. Let s be 72/20 + 9/n. Solve -s*w = -w for w.
0
Let u be (-2)/(-8) + 38/8. Let h be (-12)/5*(-5)/2. Solve u*q + h = 3*q for q.
-3
Suppose 4*y - y = 120. Suppose -4*i - 104 + y = 0. Let o be (-4)/i - 30/(-8). Solve -o*a - 20 = a for a.
-4
Let f be 20/6*(5 + -2). Suppose l = s + 1, -s - s + f = l. Solve 4*i = 5*i + l for i.
-4
Let d(u) = -7*u + 3. Let j(a) = 4*a - 2. Let w(x) = -3*d(x) - 5*j(x). Let v be w(3). Suppose 2*k - 17 = -3*i, -4*k - 21 + 5 = -4*i. Solve -k = m - v for m.
3
Suppose 3*w + 0*w - 30 = 0. Suppose -7*t + w = -5*t. Solve 14 = -t*v - 11 for v.
-5
Let r(u) = u**3 - 6*u**2 - 1. Let t be r(6). Let k be ((-1)/2)/(t/10). Suppose 0*c = -k*c + 20. Solve 0 = -3*i - 2 - c for i.
-2
Suppose -1 = -x + 1. Let m(r) be the third derivative of -r**6/120 + 7*r**5/60 + 3*r**4/8 - r**3/3 + 3*r**2. Let h be m(8). Solve x*q + 12 = h*q for q.
3
Let o(h) = -2*h + 1. Let g be o(-1). Suppose -2*v + g*v = -12. Let j = -6 - v. Solve 2*b + 12 = j*b for b.
3
Suppose 0 = -4*g - 0*g. Solve 3*n = -g*n - 9 for n.
-3
Let h be 4/8 + (-3)/(-2). Let v = h + -3. Let b be ((-14)/(-4))/(v/(-2)). Solve b = g + 2 for g.
5
Suppose 0 = 2*f - 0 - 2. Let u = -2 + f. Let t(n) = -3*n**3 + n**2 + 2*n + 1. Let v be t(u). Solve -v*z = -z + 4 for z.
-2
Suppose 2*d + 3*g - 18 = -2*d, -3*d = -3*g - 3. Suppose 4*w - 8 = 4*s + 4, d*s = -2*w + 16. Solve 0 = 3*r + s*r for r.
0
Suppose 5*a + 5*i = -50, 2*a + 0*i + 3*i + 23 = 0. Let y(n) = 7*n - 5 - 5*n - 3*n. Let f be y(a). Solve 1 = -f*x - 3 for x.
-2
Let i(x) = -x + 2. Let o be i(-3). Suppose 0 = o*t - 68 + 13. Solve -3*l - t - 4 = 0 for l.
-5
Let n be (0*(-2)/(-2))/2. Let j(l) = -l**2 - 11*l + 4. Let g be j(0). Solve n = -6*t + 2*t - g for t.
-1
Let l(r) = r**3 + 7*r**2 + 5*r - 1. Let b be l(-6). Suppose 15 = -0*a + b*a. Suppose j + 3 = 2*k, 3*k = -2*j - a*j + 11. Solve k*i - 2 = -0 for i.
1
Suppose m + 1 = -3. Let q = 1 - 7. Let p be (q/m)/((-1)/(-2)). Solve o - p = -0*o for o.
3
Let k be (-19)/(-3) + 5/(-15). Suppose -k + 1 = -i. Solve -v = 1 - i for v.
4
Let b(a) = -a**2 - 9*a + 13. Let w be b(-10). Suppose 2 = w*t - r + 5*r, 0 = 2*r - 10. Let u = t + 9. Solve -u*x - 6 = -0*x for x.
-2
Suppose 0 = 2*c - 5*c + 9. Suppose -s + 3*a = 12, a = c*s - 2*a + 6. Let x be (-1 + 0)*(-1 + 1). Solve x = s*z + z + 8 for z.
-2
Let o = 23 + -23. Suppose -2*v + 21 - 17 = o. Solve 0 = v*u - 6*u + 4 for u.
1
Let r be -6*((-2)/9 - 10/36). Let w be 1/4*-2*-4. Solve 0 = r*b + w*b for b.
0
Suppose 0 = -f - 0*f + 62. Suppose -5*k = -f + 17. Solve -4*o + k = -o for o.
3
Suppose 7*f = 2*f. Solve 0*g + g - 4 = f for g.
4
Suppose 2*b = 2 + 4. Suppose -2*n + 2*c + 18 = 0, -5*n = -b*c - c - 46. Suppose 30 = -5*r + n*r - 2*i, r = 3*i + 19. Solve -r*k = -k for k.
0
Let h be ((-20)/(-12) - 1)/((-2)/(-3)). Solve -h - 2 = q for q.
-3
Suppose 3*h = o + 15, h + 25 = 2*o + 6*h. Solve 0*q + q - 3 = o for q.
3
Let x = 46 - 64. Let k = -14 - x. Solve -k*u + 3*u = -5 for u.
5
Let t be -3 + -10*(-5)/10. Solve t*f = -2*f - 12 for f.
-3
Let s = 2 - 1. Let p(w) = 9*w**2 - 2*w + 1. Let c be p(s). Solve 6*d - c = 2*d for d.
2
Let g = 8 - 5. Suppose -3*x + 37 = -3*r - r, r = -x + g. Solve 3*d = -x + 1 for d.
-2
Let d be (14/(-21))/(2/(-3)). Let v = 3 - d. Suppose -1 = 4*z + 3*l - v, -4*l - 40 = -5*z. Solve o = -3*o - z for o.
-1
Let b(w) = 3*w. Let f be b(1). Suppose 0*m = -f*m. Solve m = -3*s - 0*s + 6 for s.
2
Suppose -2*i = -3*i, 0 = 3*t + 3*i - 6. Let g be (15/12)/(t/8). Suppose q + 3 = 5*c - 12, 0 = -4*q + g*c - 15. Solve q = 5*l - 2 + 7 for l.
-1
Let p = -5 - -5. Suppose p = m - 3 - 3. Solve w + w = -m for w.
-3
Let x = 2 + 3. Suppose 0 = -5*m - 3*o + 30, -o = -0*o - x. Solve -m = -4*s + s for s.
1
Let t be 37/7 + 8/(-28). Suppose 0 = -s + 6*s. Solve -i = -s*i + t for i.
-5
Let g = 20 + -20. Suppose x - 3*k - 11 = g, -5*k + 8 = -4*x + 38. Solve -x*u + 3 = -22 for u.
5
Let j(v) = v**3 - 6*v**2 - 2*v + 3. Let o = -17 - -24. Let c be j(o). Let f = -26 + c. Solve -2*a - f = a for a.
-4
Let g(w) = w**2 + 3*w + 4. Let n be g(-3). Suppose -t = t - n. Solve -d = t*d for d.
0
Let h = -20 + 22. Solve -h = 2*q + 6 for q.
-4
Let b be (-7)/((-14)/10)*1. Solve -b*a + a + 20 = 0 for a.
5
Let z(v) = -3*v + 1. Let h be z(-5). Suppose 8 = 3*w - 2*l, -l - h = -5*w + l. Suppose 2*a = -4*c + 8, -5*c = -4*a - 3*c + 16. Solve -w = -a*x - 16 for x.
-3
Suppose 0 = -4*b - b - 10. Let f = 2 - b. Solve f*q = -q + 20 for q.
4
Let x(j) = -2*j - 9. Let u be x(-6). Let y = u + -3. Solve 4*q = -y*q - 4 for q.
-1
Let c be (-3)/(-18)*-2*-9. Let p be 2 + c/(6/4). Solve p*y - 13 = 7 for y.
5
Let s(d) = 2*d**2 + 3*d + 2. Let h be s(-2). Suppose a - 5*a + 3*t + 8 = 0, h*a - 8 = 5*t. Solve -a*w = 1 + 3 for w.
-2
Suppose q - 1 = 4*m, 4*q + 4*m - 18 = 6*m. Solve 0*l + 5 = -q*l for l.
-1
Let t(j) = -21*j**3 + 2*j + 1. Let z be t(-1). Suppose -5*a + 0*y + 4*y + 23 = 0, -5*a + 5*y = -z. Solve 0 = -3*b + a*b + 20 for b.
-5
Suppose 20 = 5*x, 2*x = 4*s - 0*s - 12. Suppose -j = s*h - 19, 5*j + 10 - 30 = 0. Suppose h*y + y - 12 = 0. Solve y = -f + 1 for f.
-2
Let o be 142/4 + 3/(-2). Suppose -c + 3*c = o. Suppose -2*i - 10 = -4*n, -4*n + c = 5*i - 0*i. Solve -n + 6 = h for h.
3
Let y be 4*1/2 + 1. Suppose 4*k - y*k - 2 = 0. Suppose -4*p - 2*j + 1 = -7, j - 4 = -5*p. Solve p = -k*f + 11 - 5 for f.
3
Suppose z = -3*q + 4, 5*z - 2*q + 14 = -0. Let j = z + 4. Solve -6 = -j*k + 2 for k.
4
Suppose -11*s = -12*s + 6. Suppose 2*w + 0*w = -5*p - 17, -w = -3*p - 19. Solve w*m = 2*m + s for m.
3
Let y(a) = -2*a - 9. Let q be y(-7). Let f(h) = 2*h - 7. Let x be f(5). Solve 0 = q*v - 2*v + x for v.
-1
Suppose 2 + 4 = 3*w. Solve -w*t - 2 = 4 for t.
-3
Let v = -18 + 18. Solve v = -8*r + 3*r + 20 for r.
4
Let w(o) = 9*o - 37. Let v be w(5). Suppose -5*f = -0*f - 100. Solve 4*r - v*r - f = 0 for r.
-5
Let o be (8 - 9) + (9 - 3)/2. Solve o*y + 1 = 3 for y.
1
Let g be (2*(-5)/20)/((-2)/16). Solve 0*y = -y + g for y.
4
Let m be -1 - -7 - (-4 - -6). Solve 8 = -0*v + m*v for v.
2
Suppose -5*r - 31 - 29 = 0. Let z = 17 + r. Let c(m) = -m**3 - 9*m**2 - m - 6. Let g be c(-9). Solve z = -2*a + g*a for a.
5
Let b(n) = -n**3 + 11*n**2 - 8*n - 17. Let c be b(10). Solve -11 = 2*j - c for j.
-4
Let c = 4 - 2. Let z be (-1)/(3/(-57)) - -1. Solve c*t - 