4*t = u*v - 31 - 11. Let d = -7 + t. Solve -i + 5 = d*i for i.
1
Let n be -2 + 2 + 0 + 3. Let t = n - 1. Let s be t/9 - (-6)/(-27). Solve 6*b - 2*b = s for b.
0
Let m(u) = u**2 - 14*u - 4. Let r be m(10). Let n be (1 - r/(-6))*-3. Solve 3*v - 4 = -n for v.
-5
Let g(c) = -5*c + 14. Let h(r) = -3*r + 7. Let v(x) = -4*g(x) + 7*h(x). Let a be v(-11). Suppose -4*n = -t + n + 27, -a*n = 20. Solve -2*o + t - 8 = 0 for o.
-3
Let d = 5 - 3. Let v = 289 - 289. Solve v = -d*j + j + 5 for j.
5
Let f be ((-10)/(-6))/(10/36). Solve 0 = -f*l + 2*l for l.
0
Let l(j) = 3*j - 3. Let s be l(8). Suppose 81 = 4*g + s. Suppose -b = -0 - g. Solve -3*r = -0*r - b for r.
5
Let z(g) = -g + 3. Let u(l) = 2*l - 5. Let h(a) = 3*u(a) + 5*z(a). Let s be h(2). Solve s*c = c - 3 for c.
-3
Let m = 6 + 4. Solve 8*t = 3*t - m for t.
-2
Suppose 5 = 4*j - 11. Suppose 0 = -3*z - q - j - 0, 3*q = z - 12. Solve -4*m = -z*m for m.
0
Suppose -4*i + 57 = i + 4*t, -10 = 5*t. Let y(r) = -r + 13. Let x be y(i). Solve -2*z + z = x for z.
0
Let k be 13 + -10 - 38/2. Let s be ((-15)/6)/(4/k). Solve -s = 3*d - 1 for d.
-3
Let p(x) = -x - 1. Let q be p(-1). Let u = 7 + -4. Let t be (-2)/(2 + -3) - 0. Solve q = t*g + 7 + u for g.
-5
Suppose d + 12 = 2*d. Let f = -51 - -72. Let i be -3*f/(-9) + -2. Solve i*w - w - d = 0 for w.
3
Suppose 0 = -3*n + n + 204. Suppose p + 2*p - n = 0. Solve 5*w + 9 = p for w.
5
Let l be 2/(-2)*16/(-4). Let j = l - 0. Solve -q = j*q - 10 for q.
2
Let d = -38 + 42. Solve -1 + 13 = -d*f for f.
-3
Let i(u) = 15*u**2 - u + 1. Let c be i(1). Solve -2*g - c = g for g.
-5
Let r be (-6 - -3)/(6/(-8)). Suppose -r*n = -2*n - 8. Solve -f = n*f + 20 for f.
-4
Let p = 31 - 25. Solve -18 = -4*g - p for g.
3
Let z be -1 + 0 + (-1)/(-1). Suppose -j + 0*j = 0. Suppose z*x + 4*x = j. Solve x*r - 4*r = -12 for r.
3
Suppose -24 = -2*h + 16. Suppose a - 4*a - 4*c = -24, -2*a - 4*c = -h. Solve 2*v = -2*v - a for v.
-1
Suppose q = 3*q. Solve -a - 4*a - 15 = q for a.
-3
Suppose 0 = 5*v - 15, -3*v - 4 = 3*x + 2. Let z = x + 10. Solve 2 = z*a + 7 for a.
-1
Let m(t) = 19*t**3 - t. Let j be m(1). Let h = j + -13. Solve 0 = h*u - 16 - 9 for u.
5
Let k(c) be the second derivative of -c**5/20 + c**4/3 + c**3/3 - 3*c**2/2 - 3*c. Let n be k(4). Solve 0*o - n*o = 0 for o.
0
Let y(s) = -s**3 + 4*s**2 + 2*s + 3. Let b = -7 + 11. Let v be y(b). Solve 4*h = v + 1 for h.
3
Suppose 5*n = -3*k + 9, 2*n - 9 = -0*n - 3*k. Solve n = -4*m - 5 + 9 for m.
1
Suppose 0 = 2*i + 2*d - 30, i + 5*d = 2*d + 25. Suppose 3*a - 4 = 2. Solve 4*j - a*j - i = 0 for j.
5
Suppose -31 = -3*y - 4*d, -7*d + 12 = -4*d. Let k(q) = q**2 - 3 - y*q + 4*q + 6*q. Let x be k(-6). Solve -u + 10 = -x*u for u.
-5
Suppose -4*k = -9*k. Let d be (k + -4)/(-2) + 1. Let s be 2 - (-3 + 1)/(-1). Solve d*m = -s*m for m.
0
Let l be 1/(8/(-3) - -3). Solve l*q - 7*q = -4 for q.
1
Let i be ((4 + -4)/(-2))/((-3)/(-1)). Solve i*s = -s - 1 for s.
-1
Let n be (11 - 20)/(0 - -1). Let j = 17 + n. Solve 0 = 4*z + j for z.
-2
Let k(z) = z**3 + 4*z**2 + 4. Let l be k(-4). Suppose -5*c + 10 = -5*q, -q - 3*c + 0 = -14. Solve -q - 2 = -l*y for y.
1
Let j = -36 - -12. Let u = 13 + -23. Let i be j/(-10) - (-4)/u. Solve i*f - 2 = 3*f for f.
-2
Let s be (6 - 3) + 10 + -5. Solve 3 - s = -l for l.
5
Suppose -4*h - w = w - 2, -4*h + 5*w + 23 = 0. Let r = -34 - -34. Solve h*l - 3 + 1 = r for l.
1
Let s(w) = w**3 - 3*w**2 + w. Let m be s(3). Let o(i) = i**3 - 5*i**2 - 7*i + 6. Let z be o(6). Let y be (z - (-2 + 0)) + 0. Solve m*q + 15 = -y*q for q.
-3
Let m be -3 - (15/1)/(1/(-1)). Solve 0*j - m = 3*j for j.
-4
Suppose 2*v = 3*v - 3, 0 = -4*a + 4*v + 4. Solve u = -3*u + a for u.
1
Let q be (1 - 13)/(3 - (-2 - -7)). Solve 3*p - 5*p + q = 0 for p.
3
Suppose 5*p + 5*u = 50, 4*p - 28 = -u + 27. Suppose 0*q + 12 = 3*q, -4*o + 2*q = 0. Solve p = i + o*i for i.
5
Suppose -5*v = 11 - 181. Let f be (-6)/(-9) - v/(-3). Solve u + 2*u - f = 0 for u.
4
Let p(f) = f**3 - 6*f**2 + f + 2. Let u be p(6). Let j = 8 - u. Solve 0 = 4*q - j - 20 for q.
5
Let t = -84 + 88. Solve -t*j - 11 + 3 = 0 for j.
-2
Let p(v) = v**3 - v - 2. Let a be p(2). Let s(x) = 16*x**2 + x. Let c(h) = h**3 - 3*h**2 - 3*h - 5. Let z be c(4). Let u be s(z). Solve j + u = -a*j for j.
-3
Suppose -4*s = -8*s + 12. Solve 5 = -s*y + 2*y for y.
-5
Suppose -5*a - 2*c = -1, 2*a + 3*a - c - 7 = 0. Let p = 4 - a. Solve p*d - 2*d + 4 = 0 for d.
-4
Let l(v) = v**2 - 3*v - 1. Let c be l(4). Let g = 157 + -150. Solve -c*w = -g*w for w.
0
Let n be (6/10)/((-1)/(-10)). Solve -g - g = -n for g.
3
Let p(n) = 2*n - 3. Let b be p(3). Solve -1 - b = 4*k for k.
-1
Let v(j) = -j**2 + 11*j - 10. Let w be v(10). Solve w = -m - 0 - 2 for m.
-2
Let a = 157 - 157. Let u(b) = b**3 - b**2 - 3*b + 2. Let f be u(2). Solve a*d + 3*d + 9 = f for d.
-3
Suppose 7 + 5 = -3*s. Let p(w) = w**3 + 3*w**2 - 5*w + 2. Let h be p(s). Solve 0 = -0*y - 2*y + h for y.
3
Let m be (-288)/21 - 4/14. Let i = -8 - m. Suppose i*r + 10 = -5*v + 2*r, -5*v = 2*r. Solve v*w - 8 = 6*w for w.
-2
Suppose 0 = a + 2*k + 3*k + 5, -2*k - 2 = -2*a. Let f = -1 + 3. Let q = f + 0. Solve -j - j - q = a for j.
-1
Suppose 4*g + 0*g = 5*o - 35, 2*o + 32 = -3*g. Let l = -5 - g. Solve 0*z - z = -l for z.
5
Let w be 2*1 - (5 - 6). Suppose 25 = 3*y + 22. Solve -w*a + y = -8 for a.
3
Let n(s) = 3*s**2. Let c be n(1). Suppose 0 = c*k - 2*k. Solve 3*h - 5 - 1 = k for h.
2
Let o(p) = 4*p - 2. Let i be o(-3). Let t be ((-1)/(-2))/((-1)/i). Solve 2*w = t*w + 25 for w.
-5
Suppose 4*p - 3*p = 2. Suppose 0*m + 14 = 4*x + 3*m, 0 = p*x + m - 8. Suppose f + 0*l = 5*l + 24, l = -3. Solve f = x*c - 6 for c.
3
Let t(o) = -o**2 + 13*o - 2. Let z(a) = -a**2 + 12*a - 3. Let c(p) = 4*t(p) - 5*z(p). Let s be c(7). Suppose -20 = -4*r - s. Solve 0 = 6*k - k + r for k.
-1
Let u(r) = r + 8. Let j be u(-4). Suppose -101 = -5*h - 0*h - q, -3*h + j*q + 56 = 0. Suppose -3*d = 2*d. Solve d = -z - 3*z - h for z.
-5
Let p(k) = -k + 3. Let v be p(6). Let a be 0 + (-4)/(6/v). Let f(r) = -r + 2. Let s be f(a). Solve s = 2*y - 0*y for y.
0
Let i(a) = -a**3 + 5*a**2 + 6. Let u be i(5). Let o = -8 + u. Let t be 0 + 1 - (0 + o). Solve t*k = 1 + 2 for k.
1
Let q = -32 - -19. Let m = -7 - q. Solve m*x - 2*x = 20 for x.
5
Suppose 6*q = 7*q. Suppose q = x - 2. Suppose x*a + 0*s + 2*s = 8, -2*a + 5 = -s. Solve 0 = -0*y + a*y - 3 for y.
1
Let x(c) = 2*c - 12. Let p be 2 - -3*30/(-9). Let h(m) = m**3 + 9*m**2 + 7*m. Let o be h(p). Let t be x(o). Solve -10 = t*w + w for w.
-2
Suppose 0 = 4*m - 6 - 2. Let n(d) = 4*d - 2. Let z be n(m). Solve 3*w = w - z for w.
-3
Let u(z) be the third derivative of z**5/60 - 5*z**4/24 + 3*z**3/2 - z**2. Suppose 4*g - 10 - 14 = 0. Let y be u(g). Solve -7*j - y = -2*j for j.
-3
Let g = 14 + -8. Suppose -2*w + 0*w + 2*c + 8 = 0, 4*w = c + 13. Solve w*k - g = 3 for k.
3
Suppose 0*a = 4*a. Let p be 2 - a*(-1)/(-3). Solve 0 = p*c - 3*c for c.
0
Suppose 0 = -3*l - 3*b, 4*l + 4 = 3*l - 3*b. Suppose -4*q = -l*q. Solve y + q = 4 for y.
4
Let s(q) = -2*q**3 + 10*q**2 + q - 5. Let f be s(5). Solve -4*b + 14 + 6 = f for b.
5
Let c be 12/2*(1 - 0). Let t(d) = -d**2 + 6. Let a be t(0). Suppose -j - 4 = -a. Solve -c + 16 = -j*y for y.
-5
Suppose 3*d = x + 7, -3*d + 0*d - x = -11. Let c be 6/(-10) - 28/(-5). Suppose -c*m = -4*m. Solve d*f + m - 3 = 0 for f.
1
Suppose q - 84 = -4*v, 6*v - v - 3*q = 88. Suppose -5*u + 30 = -v. Let i(d) = -d**2 + 12*d + 2. Let w be i(12). Solve w*b + 0*b = u for b.
5
Let t(y) = -y**2 - 5*y - 6. Let s be t(-4). Let l be s/3*(-36)/8. Solve -l = -3*z + 3 for z.
2
Suppose -4*n - 3 = -7*n. Let m(f) = f**2 - f**3 - f**3 + 0*f**3 + 4*f**3 - f. Let t be m(n). Solve 0 = -4*y + t + 2 for y.
1
Let d = -50 - -51. Solve d + 14 = -3*r for r.
-5
Let c be (-24)/(-14) - 6/(-21). Let f be 4/(-6) + 33/9. Solve f*o - 3 = c*o for o.
3
Suppose 0 = -w - 5*b + 31, -b - 3 = w - 14. Solve 0 = w*r - 3*r + 15 for r.
-5
Suppose -5*v - 4*c = -19, -1 = 3*v - 2*c - 8. Let x = v + 2. Solve x*r = 6*r + 5 for r.
-5
Let v be 5 - (-1 + (0 + -2 - -4)). Solve v = 3*j + j for j.
1
Let o(x) = x**3 - 3*x**2 - x + 4. Let n be o(4). Suppose -z - y = 8, -7 + 1 = -2*y. Let a = z + n. Solve 0 = -3*r + a + 7 for r.
4
Let h(m) = -4*m - 1. Let x be h(-5). Suppose 5*o - 1 = x. Solve -g + o = -0*g for g.
4
Suppose v = -0*v + 2. Solve -u - 