v be 1 + m + -2 + 23. Solve -v = -3*x - 0*w - 5*w, 11 = -5*x + 4*w for x.
1
Let g = -12 + 16. Solve 0 = -0*t + 5*t + 3*q + 8, -4*q = g for t.
-1
Let c be 4/(-3)*(-5 - -2). Suppose -c - 8 = -3*r. Suppose -4*p + 5*s + 69 = 0, p = -2*p + 3*s + 51. Solve -r = 2*n, z + p = 3*z - 3*n for z.
5
Let m be ((-4)/(-2))/(1/2*1). Solve -m = -4*r - 2*y, 0 = y - 0*y for r.
1
Let g = -6 + 26. Solve -12 = -2*m - 2*m + 3*l, 3*m + 5*l = -g for m.
0
Let o = -65 + 67. Solve 0 = -5*j - o*v + 13, -4*j - j = 5*v - 25 for j.
1
Let y be (-3 - -6)/(12/140). Let o be (-4)/(-10) + 546/y. Solve -5*w - o = 3*j, -6*j - 3*w - 16 = -j for j.
-2
Let k = 9 + -9. Let y = 5 + k. Solve y*h - 2*b - 9 = 0, -3*b = h - 16 + 4 for h.
3
Let p(h) = -8*h - 7*h - 4*h**2 + 22*h + 3*h**2. Let m be p(7). Solve o = 5*g - m*o - 20, 2*o = g - 4 for g.
4
Let o(q) = q**2 + 4. Let a be o(0). Solve a*i = 2*n + 10, 11 = 3*i + n + n for i.
3
Let u = 24 + -11. Solve 3*h = 4*c + u, -h + 2*c + 7 = -0 for h.
-1
Suppose -23*c = -3*c. Solve c = h - 3*h + 5*s + 25, -5*s - 25 = 4*h for h.
0
Let i(v) = -2*v**2 - 19*v - 8. Let o be i(-9). Solve 3 = 3*f, -r - o = -3*r - f for r.
0
Suppose -2*m - 4*b + 0 + 26 = 0, -m + 2*b - 3 = 0. Suppose 3*y - m - 10 = 0. Solve y*o + 2*z + 6 = -0*z, 3*o + 10 = 2*z for o.
-2
Let i(q) = -13*q - 75. Let b be i(-7). Solve -2*y - b = 4*u, 1 + 9 = -3*y + u for y.
-4
Let r be 1 - (2 - (2 - 1)). Suppose -q + r*q - 2 = 0. Let z be q/(-4)*30/5. Solve 0*s - 5 = z*d - 2*s, 4*d + 5*s + 45 = 0 for d.
-5
Suppose 4*c - 2 = -3*q + 5*q, -4*c = -q - 7. Solve q*z - 4*d = -45, -24 = 3*z - 5*d + 16 for z.
-5
Let v be (-2)/5 + (-22)/(-5). Let j(i) = i**3 + 6*i**2 + i + 8. Let t be j(-6). Let l be t/8 + 66/24. Solve r + v*f - 8 = 6*f, -l*r = -2*f - 8 for r.
0
Suppose 5*r + 3*t = 3, -r = -5*t + 6*t + 1. Let d = -4 + r. Let l be 5 + -1 + 1 + d. Solve 2*h = -2*q, -q - 2 = -l*q - h for q.
1
Let k(a) = a**3 + 6*a**2 - 12. Let g be k(-5). Solve 0 = -5*d + t - 14, d - 2*t + g = 3 for d.
-2
Let d(x) = -2*x - 4. Let z be 20/8*6/(-5). Let f be d(z). Solve -15 = 3*o + 4*g, 3 = f*o - 3*g + 13 for o.
-5
Suppose 4*k + h = 2*h + 8, -2*h = k + 7. Let r be (-6)/3*k - -7. Let o = -2 + r. Solve 3*c + o*f + 18 = 0, 10 + 12 = -3*c - 4*f for c.
-2
Suppose 0 = -6*c + 4 + 206. Solve 3*n = -r - 1 + 2, 5*n - c = 5*r for r.
-5
Suppose -33 = -4*j + c, 3*c + 33 = 5*j - 3. Let f = -4 + j. Solve 4*k + 1 = -5*v - f, 0 = -3*v - 5*k - 1 for v.
-2
Let l(k) = -k**3 + 5*k**2 - k + 3. Let h = -2 + 7. Let w be l(h). Let p = w + 11. Solve 4*y - 2*m = 22, m + 29 = 5*y + p for y.
3
Let u(v) = 1 - v + 7*v - 3*v. Let b be u(1). Solve -17 = -g - 2*r - 3*r, 4*r = 4*g + b for g.
2
Let i(b) = -10*b**2 - 4*b - 2. Let n(v) = 19*v**2 + 7*v + 3. Let j(o) = 5*i(o) + 3*n(o). Let m be j(1). Solve -5*s - 22 = 4*q, 0 = -s + m*q - 3*q + 10 for s.
-2
Suppose 4*r + 16 = -12. Let v = 11 + r. Suppose v*j - 15 - 9 = 0. Solve 30 = 4*o + 4*c + j, -5*o + 5*c = 0 for o.
3
Let g(u) = 5*u**2 + u - 1. Let k be g(1). Suppose d + d + 4 = -2*y, 10 = 2*d - k*y. Let a be 2 + d + 2/1. Solve -o - 11 = a*t, -t + 15 = -4*o + 5 for t.
-2
Let n(i) = i - 4. Let z be n(7). Solve -2*q - 5*u = 20, -5*q - 2*u = z*u + 20 for q.
0
Let m = 88 - 30. Suppose 22 = 2*v - 2*h, 3*v - 2*h - m = -4*h. Suppose -5*r = z - 0*z - 27, 2*r + 3*z - v = 0. Solve 3*s = -3*t - 21, -4*s - r = -2*t + 5 for t.
-3
Let v(w) = -w**2 - 7*w - 7. Let k be v(-5). Suppose 5*r = -2*y + 45, 6*r - 63 = -k*y + 3*r. Solve y = -5*m + 5*f, -4*m = -f + 8 + 11 for m.
-5
Suppose 0 = 4*p - p - q - 11, -p - 4*q = 18. Solve -t + 6 = -p*x + t, 2*t - 18 = -4*x for x.
2
Suppose -g + 30 - 5 = 0. Let t be (-13 - -7)*2/(-3). Solve 0*d = q + d, q - t*d = g for q.
5
Let c(w) = 3*w**2 + 10*w + 8. Let t be c(-3). Solve 0 = t*f + 3*o - 0*o - 22, -2*o + 23 = 5*f for f.
5
Let q(d) = d**2 + d - 4. Let f be q(-4). Let r = 0 + f. Let o = -45 - -48. Solve -o*b + 23 = -w + r, 0 = 4*w for b.
5
Let p(x) be the first derivative of x**2/2 - 6*x - 3. Let t be p(6). Solve 2 = -4*j + 3*w - w, -3*w - 3 = t for j.
-1
Suppose -2*u + 0*u + 4 = 0. Solve 2*r = -u*l + 3*r + 3, -4*r - 12 = -5*l for l.
0
Let x be 2/6*(-1 + (-10)/(-1)). Let o = 31 + -7. Solve -x = 5*g + 4*h, 4*g - 3*h = -g - o for g.
-3
Suppose 0 = -o + 5 - 3. Let v = -16 - -14. Let z(j) = -j. Let l be z(v). Solve 0 = 2*d + 2, -o*d = 3*g + l*d + 1 for g.
1
Let s = 4 + 1. Suppose -s = -2*t + 5. Suppose 2*g + u = t*g - 13, g + 2*u = -5. Solve 3*r - g*y = 0, -24 + 4 = -4*y for r.
5
Suppose 18 = w - 3*g + 3, 0 = -3*w - 2*g + 45. Let f = w + -5. Let s be ((-1)/1)/((-2)/f). Solve s*n + 0*n - c - 9 = 0, c + 2 = -2*n for n.
1
Let x = 253 - 93. Let t be ((-6)/5)/((-12)/x). Suppose 0*j = j - 32. Solve -2*i - 5*q - j = i, q = 5*i + t for i.
-4
Suppose 3*s + 2*u + 17 = 0, -2*u = s + 4*s + 27. Let r = s - 0. Let c = -1 - r. Solve -2*l = c*t + 18, -2*t - 2*t = 5*l + 27 for l.
-3
Let n be (6/5 - 1) + 152/40. Solve 2*a - 2*x + n = 0, -a - 4*x + 12 = -3*a for a.
2
Let u(f) = -f**2 + 6*f + 9. Let x be u(7). Suppose 8 = -y - 4*t - 0, 2*y + 4 = -2*t. Solve c - o = -3*o - 1, -x*o - 4 = y for c.
3
Suppose g + 4*o + 24 = 85, 3*g = o + 144. Suppose 4*w + 9 = g. Suppose -w + 0 = -5*d. Solve -r + 11 = -4*n, d*r - 15 = 5*n + 1 for r.
3
Let p(v) = 6*v + 18. Let c be p(1). Solve -4*y = 4*n - c, 3*n = -0*y + 3*y for y.
3
Let y be 6/(-33) + 13/11. Suppose 6*i - 2*i = 4. Let p be i/1*1*3. Solve p*t + 23 = 2*a, a + y = t + 10 for a.
4
Let l(b) = b**2 - b. Let q be l(1). Solve q = z + 2*z + 4*d + 5, 13 = -4*z + d for z.
-3
Let z be 3/9*-3*(-2 + 0). Solve -3*y - z*p = -1, 0 = -y + 5*y + 2*p + 2 for y.
-3
Let y = -5 - -7. Let j = 2 - 1. Solve j = -z + a - 5, -y*a + 22 = -4*z for z.
-5
Suppose 0 + 12 = 4*t. Suppose a + 3*p = -3*a + 31, 4*a + 2*p = 26. Suppose 4*h - 3*h = a. Solve 0 = z - t*k - 3, -6*k = 2*z - 2*k + h for z.
0
Let m be (1 - -1)/2 + 1. Suppose 0 = -0*t + 3*t + 12. Let k(i) = i**2 + 4*i. Let y be k(t). Solve m*v - n + y*n = -8, 4*v = -3*n - 6 for v.
-3
Let h = -6 + 8. Suppose 0 = -3*g - 4*r + 25, -2*g + 2*r - r + h = 0. Suppose l + 0*l = 0. Solve -s + 4*t - 17 = l, 4*s - g*t - 16 = -8*t for s.
-1
Suppose 4*s - 3*s = 4. Let o = -4 + s. Solve 3*n - 4*b + o*b = -21, n + 12 = 3*b for n.
-3
Let l = -72 + 72. Solve q - 7 = -2*i, -3*i = -q - 3 - l for i.
2
Suppose -2*x + s + 15 = 0, -2*x - s - s = 0. Solve 16 = 5*h + 3*g, h + x*g + 1 = 3*g for h.
5
Suppose 2*r + r - 21 = 0. Suppose 0*q - 2 = -5*d + q, 2*d = 3*q - r. Solve -2*b = 5*h - 17, 3*h + d = -5*b + b for b.
-4
Suppose -4*l - 6 + 2 = 0. Let m be (l - (-2 - -1)) + -1. Let z(r) = 3*r**2 - 1. Let a be z(m). Solve -q + a = 0, -2*u + 3*q + 2*q = 4 for u.
3
Suppose 3*o - 7*q + 2*q = -20, 16 = -3*o + 4*q. Suppose -3*g - 3*s - s + 15 = o, 5*g + 5*s = 25. Solve 12 = -2*f - g*b + 32, -3*b + 12 = -f for f.
0
Let f be (6 - -2)/8*(0 - -16). Solve 0 = 4*w - 4*c - f - 0, 0 = -3*c - 9 for w.
1
Let m(l) = -2*l - 3. Suppose -2*z - 17 = -b, 3*z - 5*b + 13 = -16. Let u be m(z). Let f = u - 8. Solve -f*o = -5*w - 20, -4*w - o + 8 = -w for w.
1
Suppose 0 = 4*n - 4*h + 4, -4*n - 2*h - 5 = -7*h. Suppose 3*d + 12 = 3*s - 2*d, d = n. Solve s*k + 2*b = -3*b + 27, 2*k = -4*b + 18 for k.
3
Suppose -4*l + 0 = -12. Solve -j + l*v = 1, 0*v - 2 = -2*v for j.
2
Suppose 5*y + b = 17, -b + 14 = 4*y + 1. Solve 0*i = 4*i, 0 = 5*t + y*i + 20 for t.
-4
Let o(c) = c**3 - 3*c**2 - 7*c + 4. Let f be o(5). Solve p + q + f = -4*q, 0 = 5*p + 4*q + 32 for p.
-4
Let t(s) = s**3 - 6*s**2 + 7*s + 2. Let g be t(5). Solve -4*p = y + 12, -2*y - p - g = -4*y for y.
4
Suppose -a - 8 = 5*y, 0*y + 10 = 2*a - 3*y. Let j be 1 + 3 + 21/(-3). Let p be j/6 + 3/6. Solve -5*h + a*h = k, -2*h - k = p for h.
0
Suppose 0 = 12*j - 19*j + 21. Solve 3*c + 3 - 6 = 5*f, 3*c - j = -5*f for c.
1
Suppose -2*v = 3 - 5. Let f = 9 - v. Solve -3*s - 13 = d, -2*d - 3 - f = s for s.
-3
Let i be (6/(-9))/((-2)/12). Let f be (14/(-2))/(-2*(-6)/(-48)). Solve -i*k + 3*k = 5*l - f, -4*k = -5*l + 13 for l.
5
Let f be -2 + 3 - (0 + -3). Suppose 4*i = -f*g + 20, i = g - 5*g + 20. Solve 0 = -p - 2*c - 8, 2*p + i*p + 12 = -3*c for p.
0
Let b be (-2)/((-6)/15) + -1. Suppose -i - 4 = -2*i - 2*j, b*j - 14 = -3*i. Let u be 22/8*1 + 2/8. Solve y - i = -4, 2*y + 5 = -u*n for n.
-3
Let a(l) = -l**2 - 20*l + 1. Let y(i) = -i + 1. Let r(k) = -a(k) + 4*y(k). Let j be