 u, t*r = -5*y + 1 - n for r.
2
Let b be 7 - 1 - (-1 - -4). Suppose -6 = -b*q - 0. Solve 1 = 3*t - 3*g - 14, 4 = -q*g for t.
3
Suppose 0 = -4*a - 0*a. Solve 3*y = 5*x - 31, a = 5*y - 3*x + 8 + 17 for y.
-2
Let z = 0 + 1. Let i = z + -1. Suppose -7*r + 100 = -2*r. Solve v - b - 4 = -i, -5*b = -2*v + r for v.
0
Let t = 1 + 3. Let h(u) = -u**2 - 2*u + 2. Let s be h(-3). Let m(f) = -2*f + 1. Let r be m(s). Solve -7*d - 23 = -r*d + c, t*d = 4*c - 8 for d.
-5
Let a be ((-4)/10)/((-4)/(-60)). Let g = a + 4. Let o be 0/(-2) + (g - -6). Solve -6*q = -2*q - 5*m + 3, o*q - 3*m = -5 for q.
-2
Let g be (-11)/33 + (-52)/(-3). Solve 3*y - 2*n = -g, 3*y + 3*n - 3 = -0*n for y.
-3
Suppose -x - 3 = -2*p, 3*p = 2*p + 5*x + 15. Solve p = y + n, -2*y = 3*y + 3*n - 8 for y.
4
Let o(x) = x**3 - 10*x**2 - x + 14. Let l be o(10). Suppose m = l*m - 12. Solve f + 3*v + 17 = 3*f, -3*f = m*v for f.
4
Suppose -y - 3*y = 0. Let x(c) = c**2 + 3*c + 3. Let u be x(-3). Suppose -3*p - 8 - 7 = -g, -5*g + 3 = u*p. Solve 0 = -2*b - y*b + 6, 0 = -g*k + 4*b for k.
4
Suppose -d = -v - 10, -v + 54 = 5*d - 4*v. Let b be ((-8)/d)/(4/(-18)). Solve -l - 5*i + 8 = 0, b*l + 4*i - 16 = 7*l for l.
-2
Let l(y) = -y**2 - 4. Let p be l(0). Let b be (8 - 6)/(p/(-6)). Solve -5 = -u + 7*x - b*x, 5*u = 4*x - 7 for u.
-3
Suppose -8 = -3*g + 10. Let f be (-38)/3*(-9)/g. Suppose -1 = -5*h + 14. Solve -3*p - 3*i - h = 0, 2*p - i - 4*i = f for p.
2
Suppose 0 = -a + 5 - 0. Suppose a*i = -4 - 1. Let f(j) = -11*j + 1. Let v be f(i). Solve 5*r = -d + v, -5*r + 4*d - 3*d + 8 = 0 for r.
2
Let y(x) = x**3 - 4 - 3*x**2 + 5 + 10*x**2 + 5. Let w be y(-7). Suppose 2*t = f + 9, -2*t + 5*f = -w + 1. Solve t*j - c + 15 = 0, 3*c + 3 = 3*j - 0 for j.
-4
Let z be (-2)/(-9) - 1696/(-144). Solve 4*s = 2*k - z, s + 3*k + 2*k - 8 = 0 for s.
-2
Suppose 3*x = 14 - 2. Solve -7*d = -x*q - 3*d + 8, 4*q = -5*d + 8 for q.
2
Let m be -3 + (-2 + 4 - -2). Let i be (26 + m + 3)/1. Solve 0 = -w - 5*t + 30, -i = -5*w - 2*t + 5 for w.
5
Let v be 0 + -2 + 4 + -8. Let l(s) = s**2 + 7*s + 9. Let u be l(v). Suppose 0*j + u = j. Solve 2*i + 3*r - 4 = r, j*i - 2*r - 16 = 0 for i.
4
Suppose -2*j - 4*f + 22 = 0, -5*j + 9 + 28 = 4*f. Suppose 0 = 6*i + 5 - 17. Solve m - j*m = -i*l + 6, 5*l - 3 = -2*m for m.
-1
Let y(i) = -i**2 + 3*i. Let o be y(2). Suppose -g = -0*p + 3*p - 9, o*g + 2*p - 6 = 0. Let r = 11 + -2. Solve -w - 14 = -3*w - 4*b, -3*w + 4*b - r = g for w.
1
Let b(m) = -m**3 + 4*m**2 - 3*m + 2. Let h be b(3). Solve 0 = -r - 3*z - z - 7, -3*r + h*z - 7 = 0 for r.
-3
Suppose 0 = 3*x - 5*n - 16, 2*x = -0*x - 3*n - 2. Solve 4*s - 4*j = -3*j + 8, -x = -s - 5*j for s.
2
Let d(l) = l**2 - l. Let g be d(2). Solve -g = -2*o, -u - 4 = -4*o - o for u.
1
Let a(k) = k + 14. Let i be a(-10). Solve i*y = -t - 2, -5*y = t + t + 4 for y.
0
Let o(s) = -s**2 - 8*s - 14. Let x be o(-4). Let b = 54 + -30. Solve -2*d = 3*t - 4, -x*t + 5*d + b = d for t.
4
Suppose 4*q - 8 = 2*q. Suppose -2*w + 0 = 4. Let x be (1 - -13)/2 + w. Solve 4*b = x*z - 17, 2*z - q*b + 0 = 2 for z.
5
Suppose 5*n + 3*u - 2*u = -2, 2*n - 5*u - 10 = 0. Suppose q + n = 4. Solve x = f + q, -4*x + 8 = f - 3 for f.
-1
Let k(z) = 2*z**2 + z. Let w be k(1). Suppose -b - w = -4*b. Let a = 3 + b. Solve -4*j + 2*y = -18, -a*j + y = -3*y - 20 for j.
4
Let q be (-108)/48 - (-1)/4. Let z be q/4*0/1. Solve 2*f = 2*r - 4, 4*f - r + 14 = -z*f for f.
-4
Suppose -4*y = -13 - 39. Let r = -4 + y. Suppose r = 3*f - 0*f. Solve -t = f*d, -4*d - 2 = 2*t - 0 for t.
-3
Let t = -11 + 15. Let d be -4*(t + -1 + -4). Solve 0 = -4*g - 2*h + d, -h = -0*g - 5*g + 5 for g.
1
Let a be (1/1)/(2 - 1) + -1. Solve a = -2*h - 3*k + 4*k, 0 = 3*h + 3*k for h.
0
Suppose -5*c - 3*i = -8*i, c + 4*i + 5 = 0. Let k be (-53)/(-3) + 2/6. Let s be (4/(-12))/(c/k). Solve 4*u - 4*h = 0, -h = 3*u - 7*u + s for u.
2
Let t(w) = -w**3 + 12*w**2 - 10*w - 6. Let g be t(11). Solve 0 = h - 0*o + 2*o - 3, -g*h + 3*o + 15 = 0 for h.
3
Let l = 16 - 31. Let f(a) = -a**2 - 2*a - 3. Let x be f(-3). Let h be (-55)/l + (-2)/x. Solve 3*c = 5*s - 32, -5*c + h*s + 2 = 38 for c.
-4
Let v = -6 + 3. Let a = -3 - v. Let c be 50/18 - (0 + (-2)/9). Solve 5*j + 20 = 0, -2*t - c*t - j + 16 = a for t.
4
Let n be 0*-1*(-4)/(-8). Let p be n*-2*(-3)/(-6). Suppose m - 2 = 3. Solve s + 9 = 3*t - s, p = -m*s for t.
3
Suppose 3*f = 2*f - 4. Let r be 4/(4 + 12/f). Solve -w + 18 = -5*u - 3*w, -u = r*w for u.
-4
Suppose 3*m + n - 43 = 0, -n + 70 = 5*m + n. Suppose 3*d + 5 = -b - 0*d, 3*d + m = -2*b. Let z = b + 16. Solve 0*s - 5 = -w + s, z*w + 2*s - 25 = 0 for w.
5
Let f = 0 + 4. Let g be 8 - ((-52)/65)/(6/(-45)). Solve -f*k + 3*k + 4*m = -24, -k + 14 = -g*m for k.
4
Suppose -4*z + 3*z = -5. Suppose -z*n = -4*n. Solve n = -4*h - l + 9, -2*h + 3*l - 17 = -4*h for h.
1
Suppose -9 + 0 = -3*w. Solve -n = -3*d + 18, 3*d + 4*n - w*n - 12 = 0 for d.
5
Let q(g) = -g**3 - 9*g**2 + 2. Let m be q(-9). Solve w - 2 - 3 = 2*b, 2*b + 2 = m*w for w.
-3
Let j = -32 + 34. Solve z + 4 + 4 = 5*d, 0 = -j*d + 5*z + 17 for d.
1
Suppose 0 = -3*n + 6*n - 9. Suppose 3*c - x - 18 = 3, c - n = -x. Let s(t) = 2*t - 9. Let l be s(c). Solve h - 11 = -3*p, 3*h + 4*p = l*p - 7 for h.
-4
Let z = -62 + 65. Solve z*h = 5*b + 8, 2 = -5*b + h - 14 for b.
-4
Suppose 13 = 4*p - 2*h - 1, 0 = -5*p + 5*h + 15. Let z(x) = -15*x - 1. Let t be 0 - 0 - (2 - 1). Let g be z(t). Solve -5*d = p*i + 5 + g, 5*i + 2*d = -11 for i.
-1
Let t(v) = -v**3 + 9*v**2 + 11*v - 8. Let c be t(10). Suppose 0 = -4*n + 5*y - 5, n + 17 = 5*y - 3. Solve 0*r = -c*r - x - n, 5*r + 17 = -x for r.
-4
Let o(t) = t**2 - 10. Let x be o(-6). Suppose -w - f - 4 = 0, 0*w + 3*w = 2*f - 7. Let l be (x/(-3))/(w/9). Solve -g = 4*u - 18, -4*u + 2*g + l = -g for u.
5
Suppose 159*a + 6 = 161*a. Solve -k = -2*k + a*o - 7, 4*k + 8 = 2*o for k.
-1
Let b(f) = f**3 + 5*f**2 + 3*f + 6. Let u be b(-4). Solve c = -4*c + v + 5, -5*c - 2*v = u for c.
0
Let n = 7 + -23. Let s = n - -34. Let r = 2 + s. Solve 3*l + d + r = 2*d, -30 = 3*l - 3*d for l.
-5
Let u = -3 - -3. Suppose -j + 5*y - 11 = 2*j, -3*j + 5 = -y. Let k(m) = 3*m - 4. Let b be k(j). Solve -v - b*z = -z - 9, -2*v + z = u for v.
1
Let s = -37 + 37. Solve s = -4*g + 5*d + 27, -5*g + 3*d = d - 21 for g.
3
Suppose 3*i + i - 20 = 0. Solve -i*q + 3*p + 12 + 12 = 0, 2*p + 18 = 4*q for q.
3
Let a be 6*(-3)/(12/10). Let p be (-39)/a + (-4)/(-10). Solve 0 = -5*m - 10, p*c - 4 = c + 3*m for c.
-1
Let o be (-32)/24 - 61/(-3). Solve -2*k - o = 5*j - k, 3*j = -3*k - 21 for j.
-3
Suppose 16 = -2*u + p, -2*p - 3 + 5 = u. Let r = 10 + u. Solve 0 = r*i - s + 7 + 4, 3*i + 4*s + 32 = 0 for i.
-4
Let u be (-33)/(-18) + 3/18 - -1. Solve -1 = -4*v + j, 2*v - u*v = 5*j - 16 for v.
1
Suppose c + 28 = 8*c. Solve 4*x + c*i + 3 + 1 = 0, 24 = -4*x + i for x.
-5
Let m be 2/(0 - -2) + 0. Suppose 5*o - 77 = -2*o. Solve -m = -u - k + 2*k, -u - 2*k = o for u.
-3
Let k be 6*((-32)/(-3))/4. Let i = k + -8. Solve -q = 2*q + 3, -i = n + 4*q for n.
-4
Suppose 0 = c - 0*c - 5*g - 6, 0 = -2*c - 5*g - 3. Suppose -2*l + c = -19. Suppose 2*d + 0*d - l = 0. Solve 0 = -5*u + 4*n + 11, 2*n + 3*n = d*u - 15 for u.
-1
Suppose 7*a - 28*a = -105. Solve -25 = 4*g - a*k, -3*g + 5*g - 5*k = -25 for g.
0
Let m(g) = -4*g**2 + 34*g - 12. Let h be m(8). Suppose l - d = 22, 0 = -l - 3*d + 6*d + 22. Solve -3*b + 16 = -h*q, 3*q + 4*b + 9 = l for q.
-1
Suppose -17 = 3*a - 2*a. Let i = a - -36. Solve -j + z + 1 = 0, 4*j + 3*z = -j - i for j.
-2
Let a = -8 - -10. Let v = -3 + 4. Solve f + 3*g + v = a*f, 0 = g for f.
1
Let u be -1 + (3 - 3/(-3)). Suppose n - 5*r - 8 = 0, -n + u*r = r - 2. Let l be -1 - -6*(-2)/n. Solve 4*f = l*g, 0 = g + f - 2*f for g.
0
Suppose -5*a = -10*a - 10. Let x(t) = t**3 + 4*t**2 + t + 1. Let u be x(a). Solve -2*c + 3*j - u = 0, -13 = 3*c + 2*j - 4*j for c.
-5
Suppose -5*m = -1 - 29. Let f be m/30 - (-48)/10. Suppose 0 = -p + 1 + f. Solve -i + p*i + 20 = 5*y, 3*y - i = 10 for y.
3
Let w(l) = -l - 26. Let a(o) = -o - 26. Let z(r) = 5*a(r) - 6*w(r). Let t be z(-12). Solve 0*f = -f + 4*h - t, 3*h - 2 = 5*f for f.
2
Let v(l) be the second derivative of l**5/20 - 5*l**4/6 - l**3/6 + 13*l**2/2 - 2*l. Let x be v(10). Solve 20 = -a - 5*s, a = x*s + 2*s + 30 for a.
5
Let d be (7 - -1)*(0 - 1). Let k be (d/12)/(4/(-18)). Solve 7*x + 32 = 2*x + k*f, -f = -