1. Let p be f(1). Suppose 2*v = -7 + 19. Solve -x - p = -v*x for x.
3
Let a(u) = u**2 - 9*u + 5. Let c be a(5). Let w = c - -19. Solve -w*r - 6 = -r for r.
-2
Suppose 9 = 3*q, -3*q + 1 = -4*d + 20. Let n = -4 + d. Solve n = 2*i - i for i.
3
Let q(l) = -l**3 + 4*l**2 + 6*l - 3. Let p be 304/72 + 4/(-18). Let c be p/(-6)*75/(-10). Let s be q(c). Solve 0 = s*d - d for d.
0
Let t(f) be the second derivative of 0*f**4 - 1/6*f**3 + 1/2*f**2 + 0 + 1/5*f**5 + 3*f. Let n be t(1). Solve 2*j = n + 2 for j.
3
Let t = -27 - -30. Solve b = -t*b for b.
0
Let r(t) = -t**2 + 12*t. Let g be r(12). Suppose g = -k + 5*k - 40. Solve 0*o + k = 2*o for o.
5
Let n = -79 + 83. Solve -n*q = -0*q - 4 for q.
1
Let y = 8 + -6. Suppose c = -y*z - 8, 0 + 12 = -4*c - 3*z. Solve u + 7 - 2 = c for u.
-5
Suppose 3 = 5*p - 27. Let r = 4 + p. Suppose 0*g - 5*j = 2*g, 2*g - 2*j = 0. Solve -2*i = -r - g for i.
5
Suppose 5*r = n, -5*r + 5*n = -r. Solve z + r = -3 for z.
-3
Let c(x) = -x**3 - 5*x**2 - 5*x + 4. Let o be c(-4). Suppose -i + o + 25 = 0. Solve 5*b = i - 8 for b.
5
Let c = -45 - -46. Solve -3 = -o - c for o.
2
Let g = 12 - 6. Let q be g/4*-2 + 5. Suppose 3*u + 12 = 3*l, -q*u - 3*u - 4 = -l. Solve -3*z + 2*z = u for z.
0
Let m be 6/9*-3 + 3. Let n be (1 - 1) + (4 - m). Let i be (2/n)/(4/6). Solve i + 7 = 4*r for r.
2
Let z(l) = -3*l + 1. Let o be z(2). Let b(g) = g**3 + 4*g**2 - 7*g - 6. Let m be b(o). Suppose m*v - 2 - 2 = 0. Solve 0 + v = -c for c.
-1
Let m(z) = 10*z**2 - 2*z + 1. Let a be m(1). Let g = -8 - -14. Solve -g = 5*x + a for x.
-3
Suppose 3*z + 1 - 13 = 0. Suppose -3*p + 52 = 2*s, -4*p + z*s - 3*s = -84. Solve 0 = -3*a - a - p for a.
-5
Suppose -20 = 3*b + 5*w, 0 - 4 = -3*b + w. Solve 5*a - 12 - 13 = b for a.
5
Suppose -5*n = 3*i - 57, 0*i - i = -4*n + 49. Solve -d = 2*d - n for d.
4
Let q(x) be the third derivative of -x**4/12 - x**3/6 + x**2. Let y be q(-3). Solve -5*n - y - 5 = 0 for n.
-2
Let z(r) = -r**2 - 12*r + 4. Suppose 3*d + l + 24 = -3*l, -l + 51 = -4*d. Let x be z(d). Solve -w = x*w for w.
0
Let s(y) = y**2 + 2*y + 4. Let b be s(-3). Suppose u - 2*n = -b*n, 5*n + 30 = 5*u. Suppose 0 = -u*z + 16 - 1. Solve -z*i = -2*i for i.
0
Let m = -1 + 1. Suppose 6 = i - 9. Solve m = w + 2*w - i for w.
5
Suppose 2*a + a = 0. Suppose a = q - 6*q. Let n = 3 - 1. Solve -10 = -n*d - q*d for d.
5
Let d be (-12)/30 - (-36)/15. Solve -r - d*r = 0 for r.
0
Let k be 5/40 - (-62)/16. Suppose 1 = -k*l + 13. Solve 0 = -l*u + u for u.
0
Let b(u) = -3*u - 1. Let x be 2 + -4 + (2 - 1). Let p be b(x). Solve -9 + 3 = p*s for s.
-3
Let g = -10 - -15. Solve r = -4*r + g for r.
1
Let t(a) = 2*a + 6. Let i be t(-10). Let o = 11 + -18. Let s = o - i. Solve s*r - 3*r = 12 for r.
3
Suppose -5*j + 5 + 15 = 0. Suppose -8 = -o - j*n, o - 3*o - 6 = -3*n. Let k be (10/6)/((-2)/(-6)). Solve 20 = -k*q - o*q for q.
-4
Let h(f) = -f**3 - 5*f**2 - 3*f + 1. Let g be h(-3). Let q be ((-90)/12)/(6/g). Let o = q - 7. Solve o*y = 2*y for y.
0
Let m(w) = 2*w - 4 + 0*w - 12. Let h be m(10). Let a(b) = -b**3 - 4*b**2. Let s be a(-5). Solve -h*i = i + s for i.
-5
Suppose -4*u + 803 = -5*d, 3*u + 405 = 5*u + d. Let s = u - 130. Suppose -5*v + s = -v. Solve v - 3 = 3*f for f.
5
Let a(q) = q + 6. Let u be a(-2). Suppose -5*p + 4*d = -36, 2*p + 3*d = -0*p - u. Solve -1 + p = -f for f.
-3
Let v(i) = -i + 1. Let h be v(-4). Let f(a) = -3*a + 6. Let z be f(-7). Solve -h*u = z - 2 for u.
-5
Let r(d) = d**3 + 2*d**2 - 5*d - 2. Let u be r(-3). Suppose -41 = -32*s + 23. Solve -4 = s*b + u for b.
-4
Let z(a) = 4*a**2 + 2*a - 1. Let u(f) = -f**2 + 4*f - 2. Let n be u(3). Let p be z(n). Solve -3 = -p*b + 2 for b.
1
Let c = 11 + -10. Let w(u) = 3*u**3 - u**2 + 2*u - 1. Let g be w(c). Solve g*j - j = 0 for j.
0
Let u(a) = a + 0 - 1 - 3. Let z be u(4). Let o = 0 + z. Solve 2*n + 7 + 1 = o for n.
-4
Let n = -1 + 4. Suppose 0*u = n*u. Solve u = -3*o - 0*o + 15 for o.
5
Let p = -1 - -1. Let k be 3 + (-5 + 4 - -1). Solve p*f + 15 = -k*f for f.
-5
Suppose -7*c + 3*c = 0. Suppose 0 = -2*j - y + 15, -3*j + 2*y + 27 = 5*y. Let k be j*(2 + (-6)/4). Solve c = -2*n + 5 - k for n.
1
Let p(o) = 3*o - 11. Let i be p(6). Solve 3*x - i = -1 for x.
2
Let f be (-13)/(-5) + 8/20. Suppose 0*u - 8 = -2*u + 5*d, -8 = -2*u + 2*d. Suppose 3*q - 3*o = 0, u*o - 15 = o. Solve q*j - f = 2 for j.
1
Suppose -32 = -10*x - 2. Solve 0 = -2*q - x*q + 15 for q.
3
Suppose 0 = -7*d + 8*d - 4. Solve -d - 1 = -q for q.
5
Let m be (-5)/20 + 243/12. Solve -5*v - m = -10*v for v.
4
Suppose 0 = 4*m - 9*m + 15. Solve 0*c = -m*c for c.
0
Suppose -3*x + 10 = 1. Suppose 5*a + w - 20 = 0, a - 6 + 26 = -5*w. Solve 0 = x*r + 14 - a for r.
-3
Suppose 38*h - 12*h = 338. Solve 0 = 5*w + 3 - h for w.
2
Suppose -7*l = -4*l. Solve 0 = -2*i - l*i for i.
0
Suppose 4 = 2*t + 2*c, -5*t + 2*c = -t - 14. Solve j + t = 1 for j.
-2
Suppose -1 = 5*z - 6. Let o be z/4 - (-35)/20. Let t = 5 + -3. Solve t*w = 4*w + o for w.
-1
Let q(a) = -a**3 - 5*a**2 - 1. Let h be q(-5). Let f be h*5/((-5)/4). Suppose 0 = -f*x + 4*j, 2*x + 2*j + 12 = 7*j. Solve 0 = x*n + 4 for n.
-1
Let t = 4 - 4. Suppose -30 + t = -5*s. Solve 14 - s = -4*m for m.
-2
Let s(c) be the first derivative of 0*c + 1/2*c**2 + 2. Let t be s(5). Solve u - 1 = -t for u.
-4
Let j(x) = -x**2 + 10*x - 6. Let n(i) = -i + 1. Let a(f) = j(f) + 3*n(f). Let h be a(5). Suppose -12 = -2*r - 2*k, -2*r - h + 25 = 5*k. Solve 1 - r = 3*u for u.
-1
Let q(y) = -y**3 + y + 4. Let t be q(0). Suppose 0 = -p + 20 - 5. Suppose 0*i = -5*i + 4*k + 12, -p = 5*i + 5*k. Solve -3*d + t + 2 = i for d.
2
Suppose -z - 11 + 19 = 0. Solve -h + z - 3 = 0 for h.
5
Let d be -1*1 + 36/3 + 5. Solve -2*k - d = -6*k for k.
4
Let y(b) = b**3 - 10*b**2 + 11. Let j be y(10). Let d = 11 + -6. Suppose -d - j = -a. Solve 9 = -5*r - a for r.
-5
Let c = 38 - 34. Solve c*r + 9 = 5 for r.
-1
Let y = -13 - -15. Suppose -y*n - 4*d + 27 = d, d - 34 = -3*n. Solve -5*m + n = -4 for m.
3
Let v be (54/(-24))/((-1)/(-4)). Let j = v + 13. Solve j*f = 3 + 1 for f.
1
Let i(q) = 10*q + 2 + 19*q - 11*q. Let o be i(1). Solve -3*a - a - o = 0 for a.
-5
Let i(u) = u**2 - 8*u - 6. Let d be i(9). Let j = 2 + d. Suppose 0 = -b + j - 1. Solve -3 = b*k - 5*k for k.
3
Let r = -33 - -35. Solve -13 + 3 = r*y for y.
-5
Let r = -68 + 70. Solve -r*x - 12 + 4 = 0 for x.
-4
Let a(k) = 2*k**3 - 4*k**2 + 4*k - 3. Let p be a(2). Let u(v) = v**3 - 4*v**2 - 2*v - 3. Let w be u(p). Solve w = 3*r - 0*r for r.
4
Let z be ((-66)/(-55))/(2/10). Suppose -l + 20 = 3*l. Solve 2*w = l*w - z for w.
2
Suppose -2*l + 15 = l. Let o(s) = s + 1. Let q be o(l). Solve q = b + 2 for b.
4
Let u be 2/8 + (-3)/12. Solve -4*o - 2 - 2 = u for o.
-1
Suppose 0 = -g + 3*n + 12, g - 2*n - 2 - 6 = 0. Solve g*a - 5*a = -5 for a.
1
Let o be (-45)/(-5) + 2*-2. Solve 3 = o*b + 13 for b.
-2
Let p(a) = a**2 - 6*a + 4. Let m be p(6). Solve -m*z + 7*z = -6 for z.
-2
Let l be (2/(-4))/((-2)/4). Solve -l - 3 = v for v.
-4
Suppose -6*m = 4*m. Solve m = -0*n - n + 3 for n.
3
Suppose 0 = -2*z - 3*o + 20, -4*o + 1 = -z - 11. Solve 0*u = -z*u - 8 for u.
-2
Let k = 27 + -23. Suppose 2*w - 22 = 2*n, 2*w - 2*n + 6*n = -8. Suppose 0*l - l - 4*z + 21 = 0, 0 = -2*l + z + w. Solve 0 = l*v - k + 29 for v.
-5
Suppose p + p = 12. Solve -a + 3*a = -p for a.
-3
Let f = 12 - 8. Suppose -4*h + 24 = 2*j, -j - f = -h - h. Solve h*r = -r + 20 for r.
4
Suppose -3*y + 2 + 13 = 0. Solve 0 = -2*s + y*s - 9 for s.
3
Suppose -2*r - 5*s - 16 = 0, -3*r - 6 = 3*s - 0. Solve r*g + g = 0 for g.
0
Suppose 3*p - 70 = -16. Suppose -4*o = -5*w + 25, -4*w - 3*o + 7 = p. Solve -11 = 3*k + w for k.
-4
Suppose -28 = -3*a - 22. Solve -a*b + 6 = b for b.
2
Let s(l) = -l**3 + 5*l**2 - 2*l. Let u(w) = -w**3 + 6*w**2 - 2*w. Let m(j) = -3*s(j) + 2*u(j). Let i be m(2). Solve i = c + c - 4 for c.
2
Suppose 36 + 16 = 2*g. Let y = 80 - g. Let h = y + -38. Solve -t - 3*t = h for t.
-4
Let q(k) = -k**3 - k**2 - 2*k - 1. Let w be q(-2). Let g be (-14)/w + (-4)/(-1). Suppose 0 = r - 1 - g. Solve -2*p - 1 = -r for p.
1
Let y be (-19)/(-1) + 1 + 0. Let i = y + -18. Solve i*r + 25 = 7*r for r.
5
Let y(d) = -d**3 - 8*d**2 + 10*d + 2. Let m be y(-9). Let r = m - -12. Solve 0 = r*w - 15 for w.
3
Let x(t) = -2 - 5*t - 4 + 3*t + 4*t. Let k be x(5). Solve 0 - k = -2*w for w.
2
Suppose 5*n + 0 = 20. Suppos