. Let x be -1 - (l/(-1) - 6). Solve -s = 2*v + x, 3 = -s - 1 for v.
-2
Let y = 1540 + -1535. Solve -3*l - 3 = y*f, 4*l - 22 = -f + 3*f for l.
4
Suppose -46*g + 33 = -13. Solve k + 1 = 4*x, 3*k + 4 - g = -x for k.
-1
Let q(a) = a**3 + 6*a**2 + 6*a + 6. Let i be q(-4). Suppose 13*s - i*s = -2. Let r = 8 - 6. Solve 0 = s*z + l - 5, -z + r*l = 3*z - 30 for z.
5
Let z(b) = 0 - 4 - 7*b + 3. Let y be z(-1). Suppose y = 2*t - 0*t. Solve -3*i - 2*s + 17 = 0, -3*i = t*s - 5 - 16 for i.
3
Suppose r + 5 = 6*r. Let s be (-2)/10 - (-45)/(-25). Let q = r - s. Solve q*t - 7 = l - t, l + t - 8 = 0 for l.
5
Let l be (-117)/99 - 2/(-11). Let u be -9*1/(0 + l). Solve 5*v - u = 2*a, 5*a - 12 = v - 0 for a.
3
Let j be 27/12 + (-119)/(-68). Solve q - 3*l = -q + 3, j*q + 6 = 2*l for q.
-3
Let n(h) = h**2 + 30*h + 194. Let r be n(-21). Solve 0 = -d - 5*a + 9, 4*d = r*a + 12 - 1 for d.
4
Let f(d) = -d**3 + 9*d**2 + 20*d + 25. Let u be f(11). Solve -2*p + 9 = -0*n + 3*n, 2*n - 19 = u*p for n.
5
Suppose -2*x = 3*j + 1 - 0, 3*j = -9. Solve f + 4*f - o + 11 = 0, x*f + 5 = -3*o for f.
-2
Suppose 13 = -l - 5*n, 0 = -3*l - 3*n - n - 6. Solve -a + l*r = 8, 4*r - 4 = -3*a + 2*a for a.
-4
Let h = -1 - -1. Let f = -614 - -615. Let c(s) = s**2 - 3*s. Let w be c(4). Solve -w*p + 0*p + 5*b + 9 = h, 0 = 3*p + 4*b + f for p.
1
Let a = 16 - 16. Suppose a = y + 5 - 7. Solve 0 = f - 4*h + 14, -9 - 7 = -4*f - y*h for f.
2
Let o be 1 + 2 - (0 + 1). Suppose -w + 2 = -o*t + t, -3*w + 5*t - 2 = 0. Suppose -3*j = -w*j + 9. Solve -5*i - d = -20, -2*i - 1 = -j*d + 8 for i.
3
Let l = -136 + 145. Solve 0 = -5*k + 2*y + l, -2*k + 11 = -k - 5*y for k.
1
Suppose h - 24 + 10 = 0. Let y be 5 + -7 + h/2. Suppose -15 = p - 2*p + 2*g, -5*p = -4*g - 63. Solve 5 + p = -5*k + 3*q, k + 12 = y*q for k.
-2
Let d(y) = y**2 - 14*y + 13. Let r be d(1). Solve 2*l - 2*w = -2, r*l - l + 19 = 4*w for l.
3
Let m(i) = i - 7 - 5 + 2. Let b be m(10). Solve b = 3*v - 2*v - 4*k - 1, 4*v = -k - 13 for v.
-3
Suppose -300 = 28*d - 38*d. Let s be -1 + 3 - (-3 - 0). Solve -u + s*j = d, u = 4*j - 2*j - 15 for u.
-5
Suppose 11*h + 40 = 16*h. Solve -k - h = -4*x + 16, 29 = -k + 5*x for k.
-4
Let b = 8 - 5. Suppose 3*g = 4*g - v - 22, 26 = g - b*v. Let l = -8 + g. Solve -3*z - z = 0, z + l = -3*x for x.
-4
Let w = 660 + -641. Solve -q + 3 = c - 4, 3*c - w = -2*q for q.
2
Let o(n) = 2*n + 53. Let t be o(-25). Solve 2*u + z = -t, 0 = -5*z - 34 + 9 for u.
1
Let u be 5 + 8 + -2 + -11. Solve 3*x = -2*p - 20 - u, 0 = -3*p + 3*x for p.
-4
Suppose 12 = 3*k - 3*u, -u - 5 = -4. Solve 3*a + 3 = 2*a, k*f + 4*a + 27 = 0 for f.
-5
Suppose -6*u + 38 = 8. Solve -36 + 11 = u*m + 5*p, 0 = 3*m - 4*p - 20 for m.
0
Let j = 147 - 133. Suppose -6*k + j = -10. Solve -4*i - 5 = -9*i, -k*a - 3*i = -3 for a.
0
Suppose 14*d - 26 = 16. Solve 0 = 3*i + 2*k - d*k - 5, -4*i + k + 5 = 0 for i.
0
Suppose 0 = -4*b - 493 + 513. Let y(u) = -u**2 + 4*u + 2. Let l be y(4). Solve -b*w - c = -l*c - 22, -w - 5*c = 6 for w.
4
Let c(i) = i**3 + 4*i**2 - 17*i - 38. Let x be c(-2). Solve x*s = 4*w - 4, -2*w + 3*s + 7 = -0*w for w.
-4
Let i be -5*(-1)/1*1. Suppose 5*j + 12 = r, -r + j = 4*j + 4. Solve i*q - 1 = -t - 8, -r*q - 19 = -5*t for t.
3
Let k = 12 + -9. Suppose -4*d + 2*w + 9 + 11 = 0, -w = k*d - 10. Solve d*a + 2*l - 5*l - 10 = 0, 5*a - 2*l = 16 for a.
4
Let r be (-5)/(40/18)*-56. Let f = r + -34. Suppose 7*d + 25 = t + 5*d, -5*t - d + f = 0. Solve 2*n + 5 = 3*n, t = 2*g + 3*n for g.
2
Let m(l) = l**2 - l + 2. Let z be m(0). Let a(u) = 25 - 13 - 4*u + 4*u - 4*u. Let c be a(2). Solve y - 4*j + 2*j + 4 = 0, c*y - z*j - 2 = 0 for y.
2
Let g(b) = -3*b - 13. Suppose -4*q + 9 = -q. Suppose 0 = -q*n - 0*n - 18. Let z be g(n). Solve 3*t = z*x + 27, 8 = 4*x - 0*x + 5*t for x.
-3
Let v be 184/44 + 6/(-33). Suppose 3*k = 22 + 2. Let n = 13 - k. Solve 0 = v*a - 5*t + 24, 0 = -n*a - 3*t + 3 + 4 for a.
-1
Let w be (105/7)/(-5) - -1*9. Solve 2*g = 2*v + 8, -w*g + 3*g - 4*v = 23 for g.
-1
Let k be (1*-1)/(13/(-65)). Solve -4*s + o = -14, -2*o = 2*s + s - k for s.
3
Let h(t) = -t**3 - 4*t**2 + 3*t + 13. Let x be h(-4). Solve 2*f = 4*w + 8, -5*f + 5*w + 4 = -x for f.
-2
Suppose 0*s - 4 = -4*s. Let t be 1 - 2 - 1*-2. Suppose 0 = 2*d - 5*p - 3, -2*p + s = -t. Solve d*b + 10 = 2*o, -4*o + 14 - 42 = 4*b for o.
-3
Let n(o) = o**2 + o - 1. Let b be ((-6)/4)/((-9)/(-24)). Let v be n(b). Suppose 3*k - 9 = 0, 0 = y - 6*y - 5*k + 40. Solve p = -5*d + v, p + y = -d + 4 for p.
-4
Let o(j) = -j**3 + 4*j**2 + 7*j - 7. Let y = -32 + 37. Let q be o(y). Solve 15 = -q*k, 2*f - 3*k - 4 = -k for f.
-3
Suppose 48 = 3*c - 0*c. Suppose -8*x + 4*x = -c. Suppose -4*i + 6*m - m = 0, -3*i - 3*m = -27. Solve i*z = 5*f, 0*z - x*f = -z for z.
0
Let o = -418 - -422. Solve 0*q + 2*a = 5*q - 12, -24 = -2*q - o*a for q.
4
Let z(i) = -8*i - 5. Let b be z(8). Let a = b - -102. Let s = a + -29. Solve -s*m - 1 + 5 = -4*v, -m + 3*v = -3 for m.
0
Suppose 4*w + 2*s = -2*s + 28, -2*w + 19 = 3*s. Let c be (2 - w) + 0/(-3). Suppose 0 = -c*o - 3*o. Solve 0 = -2*m + 4*f - 3*f - 6, 3*m - 3*f + 6 = o for m.
-4
Suppose 36 = 3*k - 3*y, 3*k + 4*y - 9 = 13. Let x(f) = f. Let b be x(k). Solve -5*z + 11 = -4*s, z = 4*z + s - b for z.
3
Let t(u) = 3*u**3 + u**2 - u. Let s(j) = -7*j**3 - 2*j**2 + 3*j + 1. Let n(i) = -2*s(i) - 5*t(i). Let q be n(-2). Solve c - 10 = -f - 2, 5*f = -q*c + 35 for c.
5
Let g = 40 - 46. Let b = g + 11. Solve -2*a - b = n - 4*a, a + 20 = 5*n for n.
5
Let p(s) = s + 12. Let u be (-16)/6*3/(-2). Suppose -u*w = -0*w + 36. Let z be p(w). Solve -2*i - 4*r - z = 5, 2*i = -r - 5 for i.
-2
Suppose 12*b + 29 = 13*b + 5*n, -2*n - 1 = -b. Solve -19 = 4*k - 3*r, b*k - r = 4*k - 21 for k.
-4
Let a be (1 - -1)/((-8)/12). Let k(c) = 3*c**2 + 4*c + 1. Let i be k(a). Let g be i + -7 + 4 + -1. Solve 12 = -3*y - 3*l, -6*l = -3*y - 2*l - g for y.
-4
Suppose 0 = -11*a + 12*a - 9. Suppose 0*l + l + 3*z - 5 = 0, 3*z = -3*l + a. Solve l*w - 27 = 5*v - 10*v, 4*v + w - 21 = 0 for v.
5
Let c(m) = -m**2 - 11*m + 6. Let a be c(-10). Let q be (-4)/a + (-13)/(-4). Solve -5*y = -q*n - 17, n - 9 = 2*n - 5*y for n.
-4
Suppose -16*m + 42 = -2*m. Solve l - 22 = -5*o, 0 = 4*l + m*o - 2 - 1 for l.
-3
Suppose 5*p - 15 = -l + 9, -3*l + 3*p = 0. Suppose 21 = 3*q - 3*n, -3*q + 5*n - 4 = -31. Suppose -5*g + 6*g = q. Solve -8 = 4*v + d - 0*d, 2*d = g*v - l for v.
-1
Let z(k) be the first derivative of k**3/3 - 5*k**2/2 + 12*k + 28. Let s be z(4). Solve s*g = 4*g + 5*t + 30, -4*g = -3*t - 26 for g.
5
Suppose -2*j + 3 = j, 2*n - 2*j - 2 = 0. Solve 0 = -4*q + 3*r - 15, 5*q + 2*r = -n*r - 11 for q.
-3
Let m(k) = -k - 2. Let r be m(-4). Let t be ((-1)/(-1))/((1 + -7)/(-324)). Let n = -40 + t. Solve 0*u + 5*j = u - 8, 5*u + r*j = -n for u.
-2
Let n = 313 - 311. Solve -3*j + 2*x + 19 = 0, -n*j = 3*j - x - 20 for j.
3
Suppose -4*w - 3*o = -4*o - 16, -24 = -4*w - o. Solve -3*y = y + w*u - 13, -10 = -5*y - 5*u for y.
-3
Let i be (4/7)/((-4)/(-14)). Let k be -4 - (-7)/7 - 10/(-2). Solve 0*r - 7 = g - i*r, 0 = -k*g + 5*r - 17 for g.
-1
Suppose 5*t + 85 = 5*n, -61 = -3*n - 0*t + 5*t. Let p = n + -7. Solve o + p*b - 25 = 3*o, -25 = -o - 5*b for o.
0
Suppose -15*z = -18*z + 3. Solve -3*j = -2*j + z, 0 = -w - 4*j - 7 for w.
-3
Let h be 1 + ((-12)/4 - 0). Let q be 1 - (0 + 3 - h). Let r be (-8 - -6)/(2/q). Solve m - 4*z - 21 = 0, r*m - 2*z = -4*z + 12 for m.
5
Let m be 4/18 + (-8)/36. Let p be 7 - ((-1)/(-1) + -2). Solve m = 5*j - 3*y - 20, j + 3*y + p = 3*j for j.
4
Let r be (-1 - -1) + -4 - -32. Suppose -k = r - 34. Solve 0 = -t - 3*p + k, -2*p = -5*t - 10 + 23 for t.
3
Let q(u) = 57 + 5 - 4*u - 6*u. Let y be q(6). Solve y*w + 9 = -k - 1, 0 = 3*k - 2*w - 2 for k.
-2
Let a be (-10)/(-35) + (-51)/7. Let x be (-2)/a + 25/35. Let f = x + 2. Solve -6*q = -2*q - 2*j + 6, -7 = 2*q + f*j for q.
-2
Suppose -2*r + 7*r = 0. Let g be (-2)/(-2)*-1 + 15. Suppose -6*k + g + 4 = 0. Solve 0 = -5*j - k*u + 6*u + 9, 5*j - 2*u - 11 = r for j.
3
Suppose 12 = 4*q - 3*f + 3, 4*q + 6 = -2*f. Solve 5*k + 5 = -w, q = 4*w - 0*k + k - 18 for w.
5
Let q(b) = -b - 6. Let p be q(-8). Let l = 0 - -6. Suppose 3*a - 2*a - l = 0. Solve 2*n - p*f + a = 3*f, 2*f = 0 for n.
-3
Let r(y) = -5*y - 16. Let z be r(-5). Let l = z - 4. Solve 0 = -3*i + 3*x + 15, -l*i + 22 - 5 = 3*x for i.
4
Let d = -2022 - -2030. 