5*n - 45 = -4*s for n.
5
Suppose 3*j - a - 14 = -84, -5*a - 41 = 2*j. Let r = -7 - j. Solve 4 = -s - 0*s, -4*d - 4*s - r = 0 for d.
0
Let y(j) = -j**2 + j - 7. Let m be y(5). Let h = -22 - m. Suppose -2*k + 3 - 9 = h*w, 0 = -3*k - 3*w. Solve -b = -3*p + 9, k*b - 3 + 13 = 4*p for b.
3
Let u(g) = g**3 + 9*g**2 - 9*g + 5. Let q be u(-10). Suppose 0 = 2*z + 2*z + 76. Let f = q - z. Solve -2*b = 3*c + 14, 0 = 4*b + c - 2*c + f for b.
-4
Let n be ((-16)/12 - -2)*3. Suppose 0 = 3*z + n*z + 30. Let o(x) = x**2 + x - 7. Let b be o(z). Solve 5*y - 9 - b = -3*l, 3*y - 3*l = 0 for y.
4
Let u = -160 - -165. Solve -3*y + j = y - 16, 20 = u*y - 4*j for y.
4
Let c be (-24)/(-8)*15/9. Let g be 4 + 0 + (3 - c). Solve -3*j = -4*q - 10, -4*q - 3*j + 0*j + g = 0 for q.
-1
Let b(a) = a. Let f be b(4). Let t(i) = i**2 - 4*i + 3. Let r be 32/20*5/2. Let d be t(r). Solve -4*c - f = 2*q, 4*q + d*c + 4 = 1 for q.
0
Let z(u) = u + 12. Let m be z(-5). Suppose 5*y + 6 = m*y. Suppose y*q = 2*q. Solve -2*v - 6 = 4*f, -f + q*f = -3*v - 2 for f.
-1
Suppose u + 2 = -3*h, 2*h + 24 = 5*u - 0*u. Solve 4*g = u*d + 28, 0*g = -4*d - g - 3 for d.
-2
Suppose -5*w + g - 55 = -138, -22 = -w + 2*g. Solve 0 = -4*k + t - w, -3*t = 1 + 11 for k.
-5
Suppose 0 = -o - 5*b + 47, 2*o + b - 35 = o. Solve 4*f - 4*a = -o, -2*f - a + 0 = 4 for f.
-4
Let o be (8/10)/(1/5). Suppose -o*y + 8*y = 20. Let u = 72 + -44. Solve -g + y*r = -6, -5*g - r - 3*r - u = 0 for g.
-4
Let m be -1 - (2 - 21) - (-78)/39. Solve -m = 5*w, -2*t - 4*w - 15 = -t for t.
1
Suppose 3*k = -x + 11, -5 = 4*x + 11. Solve -v + k*h = -2, 10 + 9 = -5*v - 4*h for v.
-3
Suppose -5*k = 2*v - 7*k - 36, -4*v + 78 = 2*k. Solve -7*p - 3*q + v = -2*p, 0 = -2*p - 4*q + 2 for p.
5
Suppose 1 = -o - 0. Let p = o - -21. Suppose -x = 2*r - p, 17 = r + 3*x + x. Solve 2*i + n = -r, 4*i - 3*i - n + 3 = 0 for i.
-4
Suppose -t = 28*w - 32*w - 15, 0 = -2*t + 3*w + 15. Solve 0 = l + 2*l - 3*s - 21, -t*s = 5*l - 19 for l.
5
Let t be (-22)/(-11)*-2 + 8. Solve t*p + 9 - 1 = 4*x, -x - 2 = 0 for p.
-4
Let b = 65 + -43. Let d(g) = g**2 - 8*g + 4. Let z be d(8). Let f be 3 + (4 + -7 - -2). Solve 3*k - f*k = -5*r - b, 3*k + 22 = -z*r for r.
-4
Let a(j) = 12*j - 7. Let p be a(4). Let k = -37 + p. Solve -3 = -k*h - l, -5*l + 2*l = 3 for h.
1
Suppose -109 = -5*l - 84. Solve -2*v - 8 = s - l*s, v - 2 = 0 for s.
3
Let m(k) = 3*k**2 + 85*k + 32. Let x be m(-28). Solve 4*c = x*h - 12, 0 = 5*h - 2*c - 2*c - 14 for h.
2
Let a = -31 - -18. Let f be (-24)/a - 4*2/(-52). Solve f*o - 3*c = 6, 0*o = -o + 4*c + 13 for o.
-3
Suppose -4 = 4*w, -4*q + 30 = -5*q - 2*w. Let j be 17424/(-616) + 18/14 + -1. Let o = q - j. Solve -4*a - 2*l - 8 = o, 7*a = 2*a - 3*l - 8 for a.
-4
Suppose 17 = 4*j - 39. Let c be (-12)/j*112/(-24). Solve t = -4*k - 16, 0*k = k - 4*t + c for k.
-4
Let n(y) = -y**2 + 6*y - 8. Let h be n(2). Solve 3*j = 2*u + 6 + 4, -j + 5*u + 12 = h for j.
2
Suppose -2*l - 4 = -14. Let v(a) = -a**2 + 9*a + 5. Let j(u) = -u. Let x(f) = -j(f) - v(f). Let s be x(9). Solve 3*b = 3*h - h, 7 = -s*b + l*h for b.
2
Let d be (-2)/(-8) - (1 + 9/(-12)). Solve 4*c + v - 10 = d, -c - v + 10 = 3*v for c.
2
Let u be (2/(-6))/(1/(-6)). Let a = -442 - -442. Let q = 12 - 9. Solve 5*c = -u*h - a - q, -c + 21 = -5*h for c.
1
Let w(b) = -b**2 - 5*b - 2. Suppose 1 - 13 = 4*g. Let z be w(g). Suppose 0 = -c + z. Solve -2*p = -f + 1 - c, 0 = -3*f - 5*p + 2 for f.
-1
Let v(u) = 2*u - 13. Let q be v(-9). Let t = -26 - q. Solve 5*o - 2*o = 5*k + 26, -t*k - 12 = 4*o for k.
-4
Suppose -11 + 3 = -2*r. Suppose -f - f = r*o - 18, 4*f + 3 = 5*o. Solve f*l = 3, l = 4*v - l - 2 for v.
1
Let w be 3 + 1 + (14 - 8). Suppose -w = 4*a - 30. Solve -a*l + 3*y + 8 = 0, -6*y + 4*y = 4*l - 2 for l.
1
Let v = -1704 + 1708. Solve -3*t - 2*p - 5 = 0, 1 - 2 = -v*t + 5*p for t.
-1
Let p(o) = -3*o + 29. Let y(j) = -2*j + 19. Let s(x) = 5*p(x) - 7*y(x). Let f be s(7). Solve 5*n = a + n - 19, 3*n = f*a - 10 for a.
-1
Let x be 3/(0 - 2/(-4)). Let j(f) = 28*f**3 - f**2 - 2*f + 1. Let a be j(1). Let g be 1*a*3/x. Solve -3*u - 6 = 3*p, g = 5*p - 3*u - 9 for p.
2
Let y(n) = n**2 - 6*n - 16. Suppose -35 + 107 = 9*o. Let c be y(o). Solve c = -2*x + 2*j - 16, -2*j = -3*x - 30 + 10 for x.
-4
Let b be -3*((-10)/(-75))/(2/(-10)). Solve 16 = -4*x - 4*l, -b*l = -0*l for x.
-4
Let a(w) = -w**3 + 7*w**2 - 12*w + 11. Let k be a(5). Let i be 5 + (2 - 4/2). Solve z + k = 2*p + i, 2*z - 3*p - 5 = 0 for z.
-2
Let u be 6/(-27) + (-220)/(-18). Suppose -u + 30 = 6*a. Solve -a*m + d - 20 = 0, -5*m - 2*d - 12 = 3 for m.
-5
Let r(o) = o**2 - 4*o - 247. Let f be r(-14). Solve 6*w - 5*w = h + f, -h = 4 for w.
1
Let t = 154 + -151. Let x(b) = -3*b - 12. Let j be x(-5). Solve 0*o - t*k = o + j, 0 = o - 3*k - 9 for o.
3
Suppose -2*v - 35 = -u - 6*v, 3*u = -3*v + 60. Let r be 24/u*(-10)/(-4). Solve -5*x - 4*d = -0*d - 31, 0 = r*x - 5*d + 8 for x.
3
Let r(v) = -6*v**2 - 18*v - 8. Let l be r(-2). Solve 5*w - 2*k + 20 = 0, -8 = l*w - 3*k + 15 for w.
-2
Let n be (-1 + 10/4)*(-32)/(-48). Let a be (-3 - 14/(-4))/(n/6). Solve -3*t = -0*d - a*d - 30, -3*t + 40 = -5*d for d.
-5
Let h = -27 + 16. Let z = 15 + h. Solve 4*y = 0, -p - z = 3*y - 8 for p.
4
Suppose 4*r = -117 - 151. Let n = 81 + r. Solve 3*u - 3*p = -2*u + n, -8 = u + 3*p for u.
1
Suppose -23*b + 2 + 90 = 0. Solve -b*n = -2*g + n + 3, -4*g + 3*n = -13 for g.
4
Let x(f) = f**2 + 4*f + 4. Let b be x(-4). Let p be (-152)/(-56) + 4/14. Let d be (-1 - -4 - p)/(-1). Solve -5*l = -b*c - 4 - d, 2*l = -2*c - 2 for l.
0
Suppose 64 = 2*o + 2*o. Suppose 17*x - 3 = o*x. Solve i = 2*i - 4*p + 2, -5 = -i - x*p for i.
2
Let l be (-8)/(16/(-30)) + 3. Suppose -5*q - 2*z = -l, -q - q = 5*z - 3. Solve -4*d = -b - 6, -q*d = -b - 2*b - 2 for d.
2
Let y be ((-2)/4)/((-2)/12). Let s be ((-4)/3)/((-2)/y). Solve i + 2*f - 16 = -s*i, 3*i + 3*f - 18 = 0 for i.
4
Let n be (-64)/12 - 2/3 - -4. Let q be (-12)/n*5/10. Solve 0 = -g - o + q*o + 1, g = 3*o + 2 for g.
-1
Let o be (-4)/6 - (-6)/9. Suppose 0 = 63*c - 72*c + 27. Solve q = x, -4*x + 21 = c*q - o*x for q.
3
Let n(h) be the third derivative of h**4/24 - h**3/3 - 2*h**2. Let a be n(6). Let p = 6 - a. Solve 0 = -5*y + 3*r + 4, 5*y = -2*r - p*r + 18 for y.
2
Suppose 542 = -15*g + 572. Let p(b) = 2*b - 9. Let d be p(6). Solve 2*q = 5*q + d, -g*x = 2*q + 12 for x.
-5
Let w = -208 - -199. Suppose -2*y + 44 = -4*h, h + y = -2*y + 3. Let l = w - h. Solve 3*k - 7*x = -2*x + 12, l = -4*k + x + 16 for k.
4
Let a be (-1 - -1)/(-2)*1. Suppose 0 = 7*v - 21 - 0. Solve 4*t + a*t = 2*l, 0 = v*t - l - 2 for t.
2
Suppose -5*l - 3*j - 2 = -42, -l = -j. Suppose -i = 3*p - 4, 3*p - p = 2*i + 8. Let w = p + -2. Solve 2*t = 3*r - 4, w*t - l*r = -2*t for t.
-5
Let j = 94 + -45. Suppose 5*c - 3*q = 40, -5*c - q + j = -c. Solve -c - 5 = -w - 3*d, -3*w = -2*d + 7 for w.
1
Let y be 4/6*(8 + -2). Suppose 4*d - 440 = -d. Suppose -2*n = -6*n + d. Solve -m - 3*t = 14, -3*m + m = y*t + n for m.
-5
Suppose -2*i = 2*i + 60. Let w be (35/i - -2)*-12. Solve t - w*n = 17, -6 = -4*t + 3*n + 10 for t.
1
Let l(m) = -3*m**2 - 55*m + 105. Let k(j) = j**2 + 18*j - 35. Let y(u) = -7*k(u) - 2*l(u). Let a be y(-16). Solve 5*t = 5*f - 40, -4*f + a = -5*t - 1 for f.
4
Suppose 2*c + 2*f = -3*c + 377, 4*f - 79 = -c. Let x = c + -72. Solve 5*k - x*t - 3 = -18, 4*t - 12 = 4*k for k.
-3
Let t be -2 - (3 + -1 - -61). Let y = 67 + t. Solve -3*p + 7 = w, 5*w + y*p + 2 = w for w.
-2
Suppose 31 + 5 = 4*b. Suppose 1 - b = -2*a. Suppose -2*k + a = -4. Solve -4*y + i = -i + 16, 3*y + 23 = -k*i for y.
-5
Let y = 33 + -33. Solve 4*f - g - 3 = -0, -4*f - 4*g + 28 = y for f.
2
Let m be (-5)/(-10)*(-48)/2. Let h be (-12)/(-9)*m/8. Let j be ((-3)/2)/(h/4). Solve -j*z - 5*x = -0 - 10, 0 = 2*z + 5*x - 10 for z.
0
Let r = 130 + -128. Solve 4*d + 3*z = -6, 5 = 5*d - r*z + 1 for d.
0
Let r be (0 + 2)*(3 - 1). Suppose 3*d + 4 = r*d. Solve d*f + 2 = -2*j, -2*f + 29 + 0 = -5*j for j.
-5
Let r(o) = -11*o**3 - 3*o**2 - 6*o**3 - 7 + 20*o**3 - 4*o**3 - 3*o. Let u be r(-3). Solve 0 = -2*p - 5*b + 18, -3*b + 7 = u*p - 3 for p.
-1
Let i be (9/6 - 3)*-2. Suppose i*h - 13 = 2*h. Suppose 2 = 3*s - h. Solve -13 - 11 = -5*j - f, s*j - 2*f = 27 for j.
5
Suppose -9*p = -22 - 77. Solve -2*m + 2 = -3*c + 8, m - p = -2*c for m.
3
Let r(w) = 4*w**2 + 48*w - 55. Let q(b)