= 3, 0*r + 3*r = -3*n + u for n.
1
Let x = 1434 + -1431. Let s = -8 + 13. Suppose -c = -2*z + s, -x = -z + 2*c - 2. Solve z*q + 26 = -0*y + 4*y, 2*q + 19 = 3*y for q.
-2
Let g be (4 - (9 - -7))/((-3)/4). Let l be g/((-3)/9*-2). Solve t = -2*a - 11, -a + 5 = 5*t + l for a.
-4
Let q(y) = 3*y - 25 - y - y + 32. Let r be q(0). Suppose 0*a - 4*a = -12. Solve -h = a*z + 3, 2*z + h = 4*z + r for z.
-2
Let q be 30 + -25 - (-2)/3*-3. Suppose q*u - 42 = 9. Solve 2*m = -3*m - 25, 0 = x - 3*m - u for x.
2
Suppose 9*t - 58 - 5 = 0. Suppose -2*v - 2*v + 20 = 0. Solve -v*g + 3*p + 22 = 0, 5*g = -5*p - 3 - t for g.
2
Suppose -36*c = 18*c - 162. Solve 3*w = -0*w + 3*k + 15, -c*k + 10 = 2*w for w.
5
Let c(q) = q + 9. Let x be c(-2). Suppose -11*t = -x*t - 12. Solve s + 2 = -5*j + 6*j, 10 = t*j - 4*s for j.
-2
Suppose -38*b - 13 = -4*q - 35*b, -5*q - 5*b = 10. Solve -r - g = 4, 3*r - 2*g - q = -3 for r.
-2
Let m = -283 - -403. Let r be (1/2)/(2/m). Suppose -3*z - 5*u = -r, 0*z + 5*u + 40 = 4*z. Solve 5 = w + z, 25 = -5*y - 3*w for y.
-2
Let j = -562 - -565. Solve 2*x - 4*f = 24, j - 8 = -5*x - f for x.
2
Suppose -3*u = 3*v - 33, -4*v - 28 = -9*v + 4*u. Suppose 0*l = 3*l. Solve 0*g = 5*g - 2*o + 11, -4*o - v = l for g.
-3
Let j(w) = 2*w. Let m be j(2). Let d be (-6)/(-15) + m/(-10). Suppose -2*h = 8*y - 9*y + 7, 14 = 2*y - h. Solve d = b + 4*a - 3*a - y, 0 = 5*b - 2*a - 14 for b.
4
Let b(u) = 2*u**2 + 86*u + 166. Let i be b(-41). Solve 5*q - 6 = q + 2*p, 0 = i*q + 4*p + 12 for q.
0
Suppose 4 = 4*y + 2*h, 31*h = y + 34*h + 4. Solve -2*i - 4*k - 2 = 0, -3*k = y*i - 3*i + 4 for i.
1
Let g = -5 + 7. Let b = 2 + g. Let h be 0/2*(-93 + 94). Solve 28 = -u - u + b*o, u + 2*o - 6 = h for u.
-4
Let o(k) = -2*k**3 + 28*k**2 + 4. Let j be o(14). Solve -j*m - 29 = 4*n + 7, 0 = n - 4*m - 16 for n.
-4
Let s = -9 + 13. Let y be 0/(s/(-8)*-2). Suppose y = 4*h + g + 3*g + 4, 10 = 2*h - 2*g. Solve -2*b + 3*i - 2 = 0, 3*i - 4*i - 2 = h*b for b.
-1
Let s(b) = -4*b**2 + 43*b - 45*b - 1 + 5*b**2. Let w(a) = a**3 - 4*a**2 - 3*a - 6. Let y be w(5). Let t be s(y). Solve 2*d = -5*u - t, -1 = 4*u + 3 for d.
-1
Let y(o) = o**2 + 5 - 10*o + 1 - 6. Let a be y(10). Solve -3*q = 3*d + 6, -q + a*d = -d for q.
-1
Suppose k = 1 + 3. Let q be 4/(-8) - (-42)/k. Suppose -n + 5*u + q = -6*n, 6 = -n - 2*u. Solve 12 = t + 3*r + n*r, -2*r + 2 = -t for t.
2
Suppose -25*z - 7*z + 64 = 0. Solve -5*y + 0*y + 2*i + 12 = 0, -2*y + 16 = z*i for y.
4
Let d(y) = y**3 - 7*y**2 - 11*y + 34. Let u be d(8). Solve -u = 2*r + 3*r - 5*g, -4*r + 2*g = 12 for r.
-4
Let y be 48/(-40)*40/(-12). Solve -4*u = -0*r - r - 23, -2*r + y*u = 26 for r.
-3
Let o(f) = f. Let t be o(3). Let j be (20/(-25))/(t/(-15)). Let x = 21 - 21. Solve 5 = 5*b, q - j = b - x for q.
5
Let o be (-210)/(-50) + 4/(-20). Solve 0 = a + o*y + 9, -2*a - 12*y = -10*y for a.
3
Suppose 0 = 3*n - 4*q - 8, 5*n + 3*q - 11 = 3*n. Solve -n*p + a = -2, 0 = -a + 2 for p.
1
Let x = -77 + 77. Suppose 13*k - 3*k = x. Solve -4*w + 4*d = 0, -3*w + k*w + d = -2 for w.
1
Let z(q) = 2*q**2 + 6*q + 4. Suppose 2*y = -5*r - 0*y - 10, -3*y = -r - 19. Let f be z(r). Solve u + 3*x + 3 = 7*x, 0 = 4*u - 3*x + f for u.
-3
Suppose -24 = 2*x + 2*x. Let j = 9 + x. Suppose -j*b = -0 - 3. Solve -4*w = 4*t + 20, -3*t = -0*w - w - b for t.
-1
Let g(f) be the first derivative of -f**2/2 + 5*f - 2. Let v be g(5). Solve 3*m = -3*x - 3, v = 5*m + x - 0*x + 5 for m.
-1
Let q(f) = -f**2 + 7*f - 9. Let y be q(7). Let c = y + 11. Let b = -1 - -2. Solve l = -i - c, i + b = 3*i + l for i.
3
Suppose -4*a - 33 - 35 = 0. Let i = a - -22. Solve -2*v + 6*v + 26 = -3*u, 25 = -i*u - 3*v for u.
-2
Let g be ((-100)/14 + 14/98)/(-1). Let d = -3 + g. Solve x + x + d*r - 6 = 0, -9 = -4*x - 5*r for x.
1
Let o(v) = 4 - 3 + 3*v**2 - 3. Let u be o(-3). Let a be (-4)/(-1 + -3)*3. Solve -u = 2*w + a*b, -5*w - 6*b + 2*b - 45 = 0 for w.
-5
Suppose -2*b - 3*b = 5*w - 10, -11 = -4*b - 3*w. Solve -3*t - 20 + 5 = 0, 2*s + b*t + 17 = 0 for s.
4
Let v be (148/(-703))/((-2)/19). Solve -4*j + 3*l = 7, -3*j = -4*l + v*l + 5 for j.
-1
Let b(w) = -w**3 - 4*w**2 + 5*w + 3. Let q be b(-5). Let c = -54 - -59. Solve 0 = -4*y - q*t + c, -4*t + 0*t - 45 = -5*y for y.
5
Suppose -778 = -5*u - 763. Solve h - 12 = -4*a, -h - u*a = 3*h - 22 for h.
4
Let x = -4 + 18. Let h = -10 + x. Suppose 3*y = 4*y - 2*s - h, 0 = -5*y + 4*s + 8. Solve -c - k - 3 = 2*k, y = -3*c - k + 7 for c.
3
Let j(w) = -4*w. Let p(u) = 5*u. Let n(l) = 4*j(l) + 3*p(l). Let r be n(-3). Solve 13 = -r*y - 2*t + t, -11 = 2*y + 3*t for y.
-4
Let f be ((-12)/(-3))/(6/((-9)/(-3))). Suppose 16 = -2*c - 2*c, 5*y + f = -3*c. Solve -6 = -y*i, -4*o + i = o - 17 for o.
4
Let z be (5 + -6)/(2/18). Let g be z/(-5) - 9/(-45). Solve -3*n - 26 = -2*n + 5*k, 9 = n - g*k for n.
-1
Suppose 0 = 4*n - 0. Let v be 0 + (-2 - n - -5*1). Solve -5*r + t = -19, 0 = -v*r + 4*t + 10 + 15 for r.
3
Suppose -18 = -3*h + 9. Let y(z) = z**3 + 7*z + 4*z - z - 10*z**2 + 14 - 18. Let n be y(h). Solve -n = 2*u - 2*w - 9, 4*u = -2*w + 26 for u.
5
Let c be (305/183)/((-5)/(-6)). Solve -3*s + 2 = -g, -c*g - 10 = -5*s - 5 for g.
-5
Let m(a) = a**2 + 18*a + 15. Let y = -10 + -8. Let p be m(y). Solve -u - v + p = 3*v, 0 = 2*u + 2*v for u.
-5
Suppose 2*u + 4*o = -162, 5*u + 4*o = o - 412. Let m = 86 + u. Solve -f + m*d = -4*f, -5*f = -3*d + 24 for f.
-3
Suppose -3*k = k - 32. Let u be (16/8)/(4/22). Let r = -9 + u. Solve -2*w + k = 3*v, v + r = 2*v + w for v.
4
Suppose -k - 11 + 4 = -z, 0 = -2*k - 10. Suppose 2*q - 5*s = 8, 4*q = 6*q - z*s - 8. Solve 0 = -t + q*h + 13 + 1, -3*h - 9 = 0 for t.
2
Let m(q) = -2*q**2 + 13*q - 13. Let c be m(5). Solve -i + 8 = 2*y, -4*y - 3*i = -c - 18 for y.
2
Let b = 26189 - 26184. Let a = 5 - -25. Solve -b*x - 5*l = -a, -4*l + 10 = -x + 1 for x.
3
Let m be (16 - 12)*(-30)/8. Let g = -12 - m. Solve -a - g = -4*x, 0 = x - 0*x + 2*a - 3 for x.
1
Let r be (9/12)/(1/8). Suppose l = -2*l + r. Suppose 8*k - 14 = s + 13, -2*k + 3 = -s. Solve -3*n + 5*a = 2 + l, 0 = s*a - 10 for n.
2
Let o = -9 - -16. Let c be 106/5 - o/35. Let p = -5 + c. Solve 5*i - 3*f = p, i - f = 2*i for i.
2
Suppose -119 + 83 = -9*a. Solve 3*y = -5*i + 13, -3*i - 6 = -a*i - 4*y for i.
2
Let a(b) = -5 - 39*b**2 + 40*b**2 + 5*b - 3*b. Let c be a(-4). Solve u - 2*w = 8, 0 = -c*u + 5*w + 7 + 14 for u.
2
Let l(x) = x + 11. Let d be l(-7). Let h = 24 + -14. Let r be -2 - 24/(h/(-5)). Solve -4*v - r = 5*t, -d = -2*v + 3*t + 2 for v.
0
Let z be (1/2)/(4/24). Let i(x) = -34*x - 51. Let j be i(-2). Solve 5*c + 5 = 0, 4*m - z*c + j = -0*m for m.
-5
Let k be (-6)/4*(-48)/(-216)*-9. Solve 0*m + k*m - 11 = w, 0 = w + m + 3 for w.
-5
Suppose 4*n - 12 = 2*n. Suppose 0 = o + 5 + n. Let i = 20 + o. Solve -2*f - 20 = -4*v, 2*v - i = 2*f + 3 for v.
4
Let c(z) = -z**2 - 10*z - 14. Let v be c(-8). Suppose 20 = v*y - 36. Solve 6 = -2*g + 3*h, 4*g + 5*h - y = h for g.
3
Suppose -47*d + 120 = -21. Solve 0*q = 2*q + 5*k - 5, -d*k + 3 = 2*q for q.
0
Let o be (20 - 14)/(6/2). Solve y - 4*n = -n - 15, o*y - 2*n = -10 for y.
0
Let n = 38 - 64. Let o = n - -29. Solve 2*m + 0*m + 5*g = 6, -o*m + 3*g - 12 = 0 for m.
-2
Suppose i - 6 = -4*g, -5*g + 30 = 6*i - i. Let w be i/15*1*15. Suppose -2 = 2*h - w. Solve 5*a - t = h*t, -t = 0 for a.
0
Suppose -25 = -5*b, 3*l - 1 = 5*b - 4*b. Solve -4*h - 4 = -l*t + 4, 5*h - 2*t = -9 for h.
-1
Let r = 10 - 8. Solve -r*z + 5*g - 1 = 0, 9 = 4*z - 0*g + g for z.
2
Let i(o) = o**2 - 20*o + 46. Let j be i(18). Solve -3*f - 4*b = -j, -5*f + 14 = -6*f + 3*b for f.
-2
Let t be (0 + 2 + -2)/1. Let y(s) = -s. Let k be y(t). Solve -19 = 3*b - k*b + 4*i, b - 4*i - 15 = 0 for b.
-1
Suppose 2*j - 3*f - 3 = 3*j, 4*f = -4. Let i be j + 1*(1 + 1). Solve -4*u - 5*h - 4 = 0, 0 = h - i*h - 4 for u.
4
Let y = -314 + 314. Solve 5*i + 8 = 3*o, 2 = -o - 3*i - y for o.
1
Let y be 1 + 0 - 7*(-1)/(-7). Solve -5*i - 20 + 0 = y, 2*i + 4 = 2*b for b.
-2
Let y be 30/9 + (-4)/3. Suppose 2*r - c - 36 = -0*r, 36 = y*r - 4*c. Suppose 3*s - 35 = -2*s. Solve s*v - r = -4*h + 2*v, 0 = v - 2 for h.
2
Suppose -2*g = -4*c - 58, -3*g + 50 = -4*c - 29. Let k = -18 + g. Solve 2*x - k*j = -2, 2*x - 3*x = -2*j + 3 for x.
5
Let s(q) = q**2 - 2*q + 3. Let c be s(1). Suppose -5*u + v = 89, -u - c - 7 = 2*v. Let y be (-2)/(-1*(-2)/u). Solve 3*p + 2*k + 1 = 8, p