t be (0 - -2) + 1 + -1. Solve p = 3*v + 3, 5*p - t = 2*v + p for v.
-1
Let p(u) = 2*u**2 + 8*u - 2. Let o be p(-7). Suppose 4*m - 5*q = o, -3*m = -4*m + 4*q - 1. Let k = -10 + m. Solve 0 = 5*z + l + 5, 2*l - k - 5 = 0 for z.
-2
Let m(f) = f**3 - 7*f**2 - 6*f + 9. Let z be m(8). Suppose y + 5*h - z = 0, 16 = 3*y + 3*h + 1. Solve y = -5*a, -g - 3*a + 3 - 6 = 0 for g.
-3
Suppose 0 = 12*a - 9*a. Solve 5*z - z - 4*k = a, -4*z - 10 = -2*k for z.
-5
Let b = -59 - -112. Suppose 3*g = -20 + b. Let r = g - 7. Solve -r*j = -12, 4*u - 2*j + 22 = -0*u for u.
-4
Suppose 2 = -3*j + 8. Let q(c) = -6*c - 1. Let k(u) = u + 1. Let b(o) = -10*k(o) - 2*q(o). Let y be b(6). Solve -y*f + 6 = i, -j*i - 8 = -4*f + 4 for f.
2
Let x(k) = -8 + 13 + 7 + 2 - k. Let p be x(11). Solve -p*y - 3*z = -21, 4*y - z - 7 = 11 for y.
5
Suppose 0 = f - 2*f. Suppose -2*n = -f*n - 4. Let k = n + 0. Solve 5 = -5*d - 4*c, 5*d - k + 7 = -5*c for d.
-1
Let t(x) = x**2 - 5*x - 1. Let p be t(6). Solve u - 2 = -0*b + b, u + 4 = -p*b for u.
1
Suppose -3*w + z = -8 - 44, 0 = -3*w + 3*z + 42. Let i = -7 + w. Suppose 0*v - i = -3*v. Solve -3*o + 3*j - 15 = 0, v*o + 2*j + 3 = 1 for o.
-2
Let v be (-75)/60*(1 - 5). Let t be (-3)/(0 + (-1)/1). Suppose -5*j - t*u + 13 + 16 = 0, v*u = j + 11. Solve -11 = 3*h - j*i, -3*i = -5*h - i + 5 for h.
3
Let z = 1 + -6. Let n(v) = 7*v + 9. Let h(o) = o + 1. Let l(y) = 4*h(y) - n(y). Let q be l(z). Solve 0 = -2*j + 6, 3*j - 3 = 2*u + q for u.
-2
Let l(c) = 6*c**2 - 3*c**2 + 0 + 2*c + 1. Let f be l(-1). Let p(j) = j**2 - 8*j - 6. Let z be p(9). Solve -z*q = 6, f*i - i + 2*q = -7 for i.
-3
Let h be (-8)/2 + (5 - (-2 - -1)). Solve 0*y = 4*y - 2*o - 2, 0 = -h*o - 6 for y.
-1
Let n be 3 + (-12 - (-2 - 1)). Let z = -3 - n. Solve u + z = m - 0, -u + 2*m - 8 = 0 for u.
2
Let u(j) = j**3 - j**2 + 2*j - 3. Let q be u(2). Suppose -i - 9 = -4*i. Let x = i + 0. Solve 15 = 5*l, -q*c - 3 = l + x*l for c.
-3
Let t = 10 + -6. Solve t*n = u + 12, 7*u = 2*u - 2*n + 6 for u.
0
Let b(o) = 0*o + 0*o + o - 2*o. Let p be b(-2). Solve 2*m - 2*t = -6*t - 14, -p*t - 2 = 0 for m.
-5
Let a(c) = c**3 + 1. Let p be a(0). Let v be 2/(-8) + 54/24. Let i = v + p. Solve i*k + 9 = 6*k, 7 = 2*n - k for n.
5
Let w be -5 - -3 - -2*2. Solve -3*a = -2*q + 11, -a = 4*q + 1 - w for a.
-3
Let h be 4 - (22 - -1 - 0). Let u(n) = -n - 2. Let j be u(h). Solve 2*p - 3*m = 2, -5*p - j = -4*p + 3*m for p.
-5
Suppose 5*m - 2*j - 27 = 0, 20 - 1 = 3*m - 4*j. Let z be (0 - (m + -1))*-6. Let f(p) = 2*p. Let t be f(6). Solve -5*l - z = 4*r + 2, 4*l + r + t = 0 for l.
-2
Suppose 0 = -4*f + 12. Suppose -f*z + 64 = z. Solve -r - 4*i - z = 4*r, 16 = -r - 4*i for r.
0
Suppose 0*b = -4*b + 28. Solve -4*p - 18 = 3*x, 4*x - 2*p + 23 = -b*p for x.
-2
Suppose 0 = 2*f - 7*f + 2*q + 5, 4 = 4*f - 5*q. Let m = 5 + f. Solve 2*n = -4 - 2, 0 = 3*d + 3*n + m for d.
1
Let b be (-2)/13 + (-44)/52. Let l = 5 - b. Solve -2*r - l = -z - 3*r, 10 = 2*r for z.
1
Let l be (2 - -4)/(1 + 2). Solve 2 = 5*k - 2*i, -16 + l = 3*k - 5*i for k.
2
Let h = 0 + 1. Suppose -3*n - 16 = n. Let k be (n + 0)*(-2)/4. Solve t - 4*v = h - k, 1 = -t + v for t.
-1
Let m be 12/20 + (-156)/(-15). Solve -4*k = -5*w - 36 + 12, 5*k + m = -4*w for w.
-4
Let f(p) = p**3 - 11*p**2 - p + 10. Let t be f(11). Let d be 160/56 - t/7. Solve -6 = 3*y + 2*w - d, -2*y = -2*w + 12 for y.
-3
Let i be (-1 - 0)/1 + -3. Let t = 5 + i. Solve -q - a + 0 = -t, 4 = 4*q + a for q.
1
Suppose 5*g = -5*g. Solve -a = -k - 4, 3*k + k + 3*a - 12 = g for k.
0
Let w be 0 - -1 - 0 - 1. Let s be 5/10 + (-106)/(-4). Suppose 4*f - 3*a - 55 = -22, -4*f + s = -a. Solve -4*l - 4*n + n - f = 0, -2*l - 5*n - 10 = w for l.
0
Suppose 5*t = -4*q - 0*t - 8, q - t + 2 = 0. Let f be 5 - 3/((-6)/q). Suppose f = -4*s, 2*d + s - 2 = -d. Solve 5*m + 4*v = -6 + d, -5*v + 35 = -2*m for m.
-5
Let i(g) = -g**2 - 18*g + 36. Let o be i(-19). Solve -2*j = -5*s - 1 + o, -2*j - 14 = -4*s for s.
2
Let m be 2/16 + (-217)/(-56). Solve -5*y + 3*d = -6 - 10, 0 = -2*d - m for y.
2
Suppose -2*l = 2*m - 4, 3*l - 4 = -2*m + 5. Solve a + u - 17 = l*a, -8 = a - u for a.
-3
Let s(o) = -o**2 - 11*o - 2. Let x(g) = g**2 + 11*g + 1. Let q(u) = 5*s(u) + 4*x(u). Let d be q(-10). Solve 0*c - 2*c - 4*i = -18, -2*i + 6 = d*c for c.
-1
Let p be (-12)/(-30) - (-46)/10. Suppose -o + 7*h = 2*h - 15, 3*h = -p*o - 9. Suppose 5*s = -0 + 10. Solve o = -s*y + 3*b - 25, -3*y + 25 = -6*y + 2*b for y.
-5
Let a = -48 - -52. Solve 3*h + j + 16 = 6*h, a*h = j + 20 for h.
4
Suppose -5 = -h, p = 4*h - 24 + 7. Let t be ((-34)/(-4))/(p/6). Solve q - 6*c - t = -3*c, 3*c + 23 = 4*q for q.
2
Let s(j) = j**3 + 6*j**2 - j + 3*j + 0*j. Let y be s(-5). Suppose 3*q = y - 6. Solve l + 9 - 2 = u, 4*l + 24 = q*u for u.
4
Suppose 4*x = 3*n + 11, 3*x - x = 4*n - 2. Solve -3*c + 25 = -5*s, 5*c = -s + x*s + 33 for s.
-2
Let c = -10 + 13. Solve 0 = -y, 6 = -2*l + c*y - 6*y for l.
-3
Suppose -3*r + 24 = 3*r. Solve r*z - x + 3*x + 30 = 0, 50 = -5*z - 5*x for z.
-5
Let c = -64 + 66. Solve 2*x = -o - 10, 0 = -5*x + 5*o + c + 3 for x.
-3
Let y(a) = a**2 + 3*a - 2. Let u = -7 + 3. Let l be y(u). Suppose 6*b = 2*b + n + 11, -2 = l*b - 2*n. Solve b*h = -4*c + 4, -2*c + 37 = -5*c + 5*h for c.
-4
Suppose 4*c + 0*z - 27 = -z, -3*c + 5*z = -26. Solve -p - 4*p + b = -28, p + 4*b + c = 0 for p.
5
Suppose -5*k + 17 = 4*j, -2*k - 2*k = -j - 1. Suppose 0 = -2*z - 8, -x + 2*z = -19. Let h be x/9 - (-4)/(-18). Solve 2*s + 3*f - h = 1, -j = -3*s + f for s.
1
Let q be (10/(-4))/((-1)/2). Let s = q - 5. Solve 2*h = 5*k + 19, 0 = h - 4*k - s*k - 17 for h.
-3
Let z(y) = -y - 3. Let u be z(-7). Let h be (-4)/(3/(0 - 3)). Solve -h*r - 8 = 5*f - 21, 4*f + 4 = u*r for r.
2
Let l = 80 + -75. Suppose 0*y + 30 = 5*y + 5*j, 5*j - 2 = 2*y. Suppose z - 2*w - 3*w = -2, -61 = -4*z - 3*w. Solve -3 = -y*k + l*k, q + 3*k + z = 0 for q.
-4
Let w = 7 + -6. Let g be 6 + (-1 - w - 1). Solve -5*y + g*y = -5*v + 19, -3*y - 4*v + 29 = 0 for y.
3
Suppose 9 + 1 = 5*n. Solve -n*h + 11 = 2*h + m, -4*h + 21 = -m for h.
4
Suppose -4*g + 100 = -4*k, -k + 3 = 2*k. Solve j - 2*d = -d - 1, -g = -2*j - 5*d for j.
3
Let x = -37 - -40. Solve -2 = t - 5*m + 4, 0 = -4*t + x*m + 10 for t.
4
Suppose -q - 2 - 18 = 2*c, 0 = -2*q + 2*c - 10. Let i = -5 - q. Solve 2*w + 9 = -5*a, -5*a - w - i - 2 = 0 for a.
-1
Suppose 5*w - 25 = 45. Let q be (2/6)/(7/(-105)). Let m = q + w. Solve -5*k + 3*o - 13 = o, -o = -5*k - m for k.
-1
Let i be 12/3 - (-2)/(-4 - -5). Solve -12 = 4*z + 5*o, -5*z = -i*o + o - 30 for z.
2
Let v be 0 + 20/4 + (2 - 4). Solve -21 = 3*m + 4*z, 5*m - 3*z = 3*m + v for m.
-3
Let v(q) = -7*q**2 + 7 + q**3 + q**2 - 11*q + 3 + 3*q. Let m be v(7). Solve -m*n - 4 = 2*r, -4*n - r = -6*r - 10 for n.
0
Suppose -69*m + 16 = -65*m. Solve m*z + 2*n = 5*n, 0 = -z - 4*n for z.
0
Let p(m) = -2*m - 9. Let u(z) = z**2 - 6*z + 2. Let b be u(3). Let g be p(b). Suppose 4*r = 14 + 2. Solve -v - r*f - 22 = v, -v + 2*f = -g for v.
-3
Let n = 17 - 14. Let u be (4/5)/((-8)/(-20)). Solve 2*d - 28 = -4*x, -n*x + 18 = -x + u*d for x.
5
Let j = -3 + 7. Let f be (-2)/(-4) + (-2)/j. Suppose 3*m - 15 = -0*m - 3*u, -2*u + 4 = f. Solve y - m*x = 13, -4*x - 15 = -0*y + y for y.
1
Let j be (0/8)/(-1 + 2). Suppose 0 = 5*v - j*v. Solve -2*m + 5*m = 0, v = -i + m - 4 for i.
-4
Suppose -y - 4*y - 25 = 0. Let c = -5 - y. Solve 5*p + 5*s = -20, -3*p + 3*s - 2*s = c for p.
-1
Suppose -3*n + 36 = n. Let a be (-4)/(-16) - 25/4. Let j = a + n. Solve 7*d - k - 2 = j*d, 12 = 2*d + 5*k for d.
1
Suppose 3*r + 14 = 44. Suppose -r = -s - s. Suppose -s*y = -w + 28, 6 - 33 = -4*w + 3*y. Solve -6 = -3*l + 6, -w*k + l = 4 for k.
0
Suppose -q = -2*q. Let g be -1*(q - 0 - 2). Let w(f) = f**3 + 7*f**2 + 5*f - 3. Let n be w(-6). Solve -l = -g*u - u - 10, 5*l - 2 = n*u for u.
-4
Let z(d) = -d**3 + 4*d**2 - 4*d + 3. Let l be z(3). Solve -7 = v + 2*t - l, -4*v - 13 = 5*t for v.
3
Suppose -y - 3*y = 0. Suppose y = -5*h + 12 + 13. Let s(l) = l**3 - 4*l**2 + 2. Let j be s(4). Solve 0 = 5*u + h*v + 5, -3*u + j*v = -4 + 7 for u.
-1
Let d = 37 + -35. Solve 0 = -a - 3*k - 1, 0*a + 2*a + 10 = d*k for a.
-4
Suppose 0 = -128*d + 122*d + 30. Solve q + 2*k - d = 0, -2*q - 2*k - 25 = -5*k for q.
-5
Let w(j) = -11*j**2 - 4*j + 4. Let v(x) = -5*x**2 - 2*x + 2. Let r(g) = 9*v(g) - 4*w(g). Let u be r(0). So