t a be (-102)/(-24) - (-3)/4. Suppose -5*r = 5*m - 30, -47 + 19 = -a*m - 3*r. Solve -4*d = 5*y + 15, 3*y - m*y = 2*d + 8 for y.
1
Let y(g) = g**2 - 14*g + 28. Let u be y(13). Solve -5*q = 5*w - 0*w - u, -6 = 2*q - w for q.
-1
Let s = 44 + -41. Solve -4*h + s*z - 12 = -3*h, z = -5*h + 20 for h.
3
Let g(q) = -q. Let c be g(-2). Suppose 4*s - 14 = -c. Solve s*z - 5 = h + 6, h + 14 = 4*z for h.
-2
Let g = 116 - 112. Solve -2*j = 4*x, 3*x + 1 = -g*j + 6 for j.
2
Let k(u) = -8*u - 1. Let t be k(1). Let f(c) = -c + 3. Let b be f(t). Let p be (4/b)/((-1)/(-33)). Solve 4*s = 5*g - 17, 3*g - 2 = -4*s - p for g.
1
Let c(x) = x**2 - 7*x + 2. Let d be c(7). Solve 3*f = 2*j + 15, d*f + 6 = -3*j + 3 for f.
3
Let m = 64 + -59. Solve 5*t + 5 = -2*u + 6*u, -m*t + 5*u = 0 for t.
-5
Suppose 2*w = 7*w - 10. Solve w*l + 9 = l + 4*n, 2*n - 4 = 0 for l.
-1
Let l(z) = -11*z + 1. Let d be l(1). Suppose f - 2*q - 16 = 5*f, -5*q + 30 = -4*f. Let x be (2/4)/(f/d). Solve 0 = -s, -7 - x = -4*u - 4*s for u.
2
Suppose 4*f + 17 = 45. Suppose -u - 26 = -3*c + 4*u, -3*u = -4*c + 20. Solve 9 = -f*g + 2*g - 3*r, -c*g - 4*r = -2 for g.
-3
Suppose -10 = 3*u + 23. Let j be 4/16 + u/(-4). Let c(t) = -3*t + 3. Let d be c(-2). Solve -n - j*r - d = 4*n, -4*r + 20 = -4*n for n.
-3
Suppose -c + 4 = -0*c. Let h be (-2)/14 - (-344)/56. Solve 5*o = -c*b - 8, -o - 3*b + 6*b = -h for o.
0
Let d(s) = s + 2. Let o be d(-2). Let r be (o - -1)*(-3)/(-1). Suppose -2*h + 0*c + 58 = -c, 0 = r*h - 5*c - 80. Solve -5*y = -u + h, 5*u - 19 = 3*y + 21 for y.
-5
Let t be (2 - -1) + (-111)/(-3). Solve -2*w - 6 = 0, -3*d - 2*d - t = 5*w for d.
-5
Let w(k) = -k**3 + 2*k**2 + k. Let i be w(-1). Suppose i*s - 4*s + 2 = 0. Let f be (s + -2 - -4) + 0. Solve -5*d = 4*c - 2*d - 7, -2*d = -f*c + 18 for c.
4
Let b(d) = -2*d - 1. Let i be b(3). Let y be i/((-7)/(-2)) - -2. Suppose -4*f = 5*r + 12, 2 = 3*f - y*f + r. Solve -f*g = -2, -m = 3*m - 5*g - 11 for m.
4
Let c be (-1)/(-2) - (-1)/(-2). Suppose 3*s + c*s = 15. Suppose 15 = 25*j - 20*j. Solve -4*o + s*b + 24 = b, -b = j*o - 14 for o.
5
Let p be 13/5 + 2/5. Suppose 2*y - 13 = -p*b, -3*b + 3*y + 6 = b. Suppose 0 = b*f - 27. Solve -4*l = 2*c + 10, -3*l + 3*c - f = 21 for l.
-5
Let w = 116 - 114. Solve w*b - 2*y + 8 = -0*b, -22 = 3*b - 5*y for b.
1
Let l(k) = -2*k**2 + 12*k - 7. Let t be l(5). Solve 3*z - 5*y = 19, y + 20 = -t*y for z.
-2
Let o = -9 + 11. Solve -3*m + 3*v - 15 = 0, o*m - 15 = -m - 3*v for m.
0
Let c be (-1)/(-6) + -1 + 175/30. Solve -3*j - 2*j + c*q = 10, 5*j = -q - 4 for j.
-1
Suppose -3*m + 6 + 3 = 0. Solve -o - 2*w = o - 10, -m*o + 4*w - 20 = 0 for o.
0
Suppose 0 = -2*w - 2*w + 24. Suppose -w - 4 = -s. Solve 2*k = -0*c - 2*c - s, -5*k - 4*c = 21 for k.
-1
Let z = -3 - -2. Let u be 2 + z - 45/(-3). Let b = 22 - u. Solve n - 19 = -4*h, 0 = -0*n + n - h + b for n.
-1
Let d = -209 - -210. Solve -12 = 4*v, -5*v - d = 3*r + 14 for r.
0
Let d(f) = 2*f**2 + f. Let p be d(1). Suppose -p*v + 16 = v. Let c = 2 + 1. Solve -v*j + 13 = n, c*n + 35 = -2*n + 5*j for n.
-3
Suppose 3*z = -4*i + 8, -4*z - 12 = -z. Solve i*k = -j - 11, 4 = -2*k - 0 for j.
-1
Let h be (-56)/(-6)*(-54)/(-36). Solve 2*i = 2*a - 4, -a - 3*i - h = -4 for a.
-1
Suppose 3*p - 4*d - 8 = 12, -5*p + 15 = -3*d. Let b be (-6)/4*(1 - 3). Solve -4*h = h + z - 3, p = -z + b for h.
0
Suppose -h + 0*h = 0. Let c be (-4)/(-16)*h + 2. Solve -3*l - 12 = 0, 6 + c = 4*n - 3*l for n.
-1
Let o(x) be the first derivative of x**4 + 4. Let l be o(1). Solve 0 = c + 4*m - 15, l*m = 3*c + c + 20 for c.
-1
Suppose -4*o - 45 = -9. Let g be 4/(-6) - 6/o. Let z be (-2 + g)/(-2) + 7. Solve 4*f = -9*m + 4*m + 15, 2*f = -2*m + z for f.
5
Let x be 4/(-10) - 4/(-10). Let b(q) = -6*q. Let z be b(-8). Let v be z/(-18)*15/(-2). Solve 0 = 4*a + 5*f + 45, 5*a + x*f + v = f for a.
-5
Let j(o) = -7*o - 5. Let h be j(-1). Solve 3*d + 1 = -h*n, d = n - 1 - 6 for n.
4
Let c be (1*-3)/(15/(-50)). Let y = c - 8. Solve -2*v + y*q = -2, 3*v = -0*v - 4*q + 10 for v.
2
Suppose -n - 3*c + 19 = 0, -2*n - 2*n = 4*c - 36. Solve 4 = -n*s - 4*j, 4 = -3*j - 5 for s.
2
Suppose 0 = -5*z + 69 + 11. Let x be 4 - 3*z/(-12). Solve 2*v - 5*j = x + 12, 0 = 2*v - 3*j - 16 for v.
5
Let i = -9 + 10. Suppose 1 = j - i. Solve -25 = 3*m + 2*m - 4*c, 4*c = -j*m + 18 for m.
-1
Suppose -h + 5*h - 12 = 0. Suppose 0 = 2*k - h - 7. Solve -k*l + 0*o - 5*o = 40, -2*o - 10 = 0 for l.
-3
Let w = 60 + -25. Solve -4*y - w = 3*s, -3*s = 2*y + s + 30 for y.
-5
Suppose o - 5*o + 8 = 0. Solve 5*u - 2*n = 13, n - o + 1 = -5*u for u.
1
Let s(w) = -w**3 - 6*w**2 - 4*w + 6. Let x be s(-5). Suppose 2*f = -x + 9. Solve 5*n = q + 12, -f*n - 1 - 1 = 5*q for n.
2
Let j(r) = 51*r. Let k(i) = -10*i. Let x(b) = -6*j(b) - 33*k(b). Let o be x(1). Let g = 51 + -35. Solve 4*f + 4*y = -0*y - o, -4*f + 4*y = -g for f.
-1
Suppose -4*w + w + 5*k + 34 = 0, 4*k + 17 = -w. Solve z - w = -4*p + 6*p, 0 = 5*z + 2*p + 21 for z.
-3
Let r be (1 - 0)/(2/6). Solve 3*g = 2*j - 0*g - 5, -r*j - 30 = 3*g for j.
-5
Let o(l) = 2*l**2 + 4*l. Let g be o(-4). Suppose -5*s + g = -4. Let t(d) = -d**3 - d**2 - 2*d - 3. Let x be t(-2). Solve x*b + s*j = -j - 15, -j = -b + 7 for b.
2
Suppose -10*g + 7*g + 3 = 0. Let z = -5 + 8. Suppose 1 = z*s - 11. Solve -5*q + 2 = s*p - 2, p = -4*q + g for p.
1
Let g(y) = y**2 + 6*y + 10. Let w be g(-4). Solve 0 = -3*f + 3*l - 2 + 26, -l = w*f - 1 for f.
3
Let n(p) = -2*p - 8. Let s = -21 + 14. Let m be n(s). Suppose -2*g = 5*c - m, -3*g - g = -2*c + 12. Solve 2*a = -w + c - 3, 2*w = a + 8 for a.
-2
Let h(a) = 26*a**2 + a + 1. Let b be h(-1). Solve -2*x + c = -3*c + b, 2*c = -4*x - 2 for x.
-3
Suppose -3*i - 4*q = -0*i - 10, -q = 2. Let k = 4 - 1. Let p be (1 - 0) + k + -2. Solve 5*r - 3*g = -p*g + 18, 3*r + g - i = 0 for r.
3
Let t = 126 + -123. Solve -2*f = -2*r - 10, 0*r - r = -t*f + 13 for f.
4
Suppose 4*d - 7*u + 2*u = 30, 4*u = 5*d - 42. Solve -3*z - z - t + 12 = 0, -d = z - 3*t for z.
2
Let t be ((-4)/(-6))/(6/144). Solve 4*l - 5*d + 20 = 0, 3*l = 5*d - t - 4 for l.
0
Let l(k) = k**2 + k - 3. Let i be l(-3). Suppose -2*a + 3*a - 3 = 0. Let o = -2 + a. Solve -r - o = -i*y, -y = 4*y - 10 for r.
5
Let q(c) = -c**3 + 5*c**2 + 6*c. Let t be q(6). Suppose 4*u - 16 = -2*i, 0 = -0*u - 2*u + 3*i + 16. Solve t = -4*s - 5*b - 25, -2*s - s = u*b + 20 for s.
-5
Let d = 80 + -53. Solve 0 = -2*s + 4*h + 24, s = -4*h - d + 9 for s.
2
Let k be (-1 - -6)/(5/(-5)). Let b = k - -11. Let q be 0 + 0 - 1 - -3. Solve 7 = -p + 2*m, q*p = -2*p - 3*m - b for p.
-3
Let o = 11 + -9. Suppose -o*n = 10, 0 = 3*l + 5*n - 32. Solve 5*z + 5*w = l - 4, 3*z + 5*w = 17 for z.
-1
Suppose 0 = 23*c - 19*c - 56. Solve -8 = -2*x, -2*s - x = -5*x + c for s.
1
Let l be 0/(2 + 0 + -3). Suppose s + 5*w - 5 = 23, l = 3*s + w - 14. Solve -b = -s*z, -3*b + 3 = -3*z - 3 for b.
3
Let v(q) = -4*q - 3. Let i be (-8)/(-10)*10/(-4). Let g be v(i). Solve -3*d = -g*p - 22, 4*d - 1 - 13 = -p for p.
-2
Let i = 18 + -12. Let t = 6 - i. Let k be t - ((-4)/2 - -1). Solve 2*b + 5 = -3*p, p + 0 = k for b.
-4
Let u(q) = -q**3 - 10*q**2 - 10*q - 6. Let w be u(-9). Solve w*v + 2*k = 2, k = -4*v + 5*v - 4 for v.
2
Let o = 8 - 8. Let v(l) = -l**3 - 5*l**2 - 5*l - 2. Let k be -4 + 1*0/2. Let m be v(k). Solve 2*a - 4*a - 20 = -m*t, o = t + 5*a + 20 for t.
5
Suppose 3 = -o - 2*o. Let l be 7 + (-6)/(3 + o). Solve -l = k - 3*y - 0, 12 = -3*k - y for k.
-4
Suppose 3*i + 4*i - 35 = 0. Solve 2*n + 0*n = -4*h + 24, -i*h + 33 = 4*n for h.
5
Suppose 0 = -z - 5*n - 9, -4*z + 8*z - 27 = n. Solve -z*u + u = -2*q - 5, 2*u = -2*q + 16 for q.
5
Let v be -2 + (-15)/(-9) + 1/3. Solve -5*y - n + 15 + 6 = v, -3*y + 8 = -4*n for y.
4
Let r(c) = c**2 + 2. Let u be r(0). Let y(h) = h**2 + 3*h + 2. Suppose 0 = i + 4*i + 15. Let z be y(i). Solve 0 = -5*p - 0*s + 4*s + u, z*s = 2*p for p.
2
Let q = 2 - -1. Suppose 0 = -t + q. Solve c - t*j = -9, 3*c = 5*j - 6 - 5 for c.
3
Suppose 2*w + 5*k = 16, 0 = -3*w - 3*k - k + 17. Solve -4*r - h = -2*h + 13, r + h - w = 0 for r.
-2
Let g(n) = n**2 - 18*n + 37. Let l be g(16). Solve l*t = -z + 9, 4*z - 2*z + 4*t = 6 for z.
-1
Suppose -u = -3 - 1. Suppose q + 6 = 5*j, j + u*q - 11 = 7. Let n = -4 + 6. Solve -4*w = -j*r + 14, -2*w + n*r - 7*r = -23 for w.
-1
Let j be (25 - 10) + (-6)/2. Let u = 12 - j. Solve u = -0*v - v + b + 8, 