a for u.
-4
Let o(l) = -9*l + 1. Let k be o(-1). Suppose z = -z + k. Solve 20 = -3*a + 5*s, 0 = z*a - 0*s + 2*s + 23 for a.
-5
Let v be (-3)/4 - (-43)/4. Suppose -z + v = z. Suppose -q = -b + 10, -5*q = z + 20. Solve -s - b = -y + s, -2*y = 4*s + 14 for y.
-1
Let b(p) = 5*p**2 + 2. Let v be b(0). Solve i + i + 5 = 3*z, v*z = -2*i for z.
1
Let i(h) = h**2 - 3*h - 5. Let a be i(5). Suppose -a*v = -x + 25, -5*x - 2*v - 2*v = -9. Solve m = -4*r + 11, -4*m + 3*r + x = -1 for m.
3
Let w(i) = i**2 - 7*i - 4. Let a be w(8). Suppose 2*b - 20 = -b - a*v, 2*v = 4. Let k = 13 - 9. Solve h - 4*h + n + 2 = 0, 2*n + b = -k*h for h.
0
Let v(h) = 0 - h**2 + 0 + 10 - 9*h - 8. Let m be v(-9). Solve -w + 4 = m*u, -10 = -u - u + 2*w for u.
3
Let w = -11 + 12. Solve -5*j + 3*c = -8, -2*c - w = -0*j + j for j.
1
Let l(r) = -r**2 - 6*r - 3. Let n be l(-4). Let o = 82 - 58. Suppose 5*k = -4*y + 29, y = -k - 2*k + 16. Solve t = n*q + o, t = -k*q - 4*t for q.
-4
Let y = -29 - -42. Suppose 3*g - 2 = y. Suppose -g*n + 5 = -5. Solve 0 = -4*k - u + 2, n*u + 1 = 5*k + 4*u for k.
1
Let d(c) = -c**3 - 6*c**2 + 5*c + 4. Let m be ((-2)/(-4))/(2/(-16)). Let s be d(m). Let r be (-4)/14 - s/21. Solve h + 3 = g, r*h = -2*g - h - 4 for g.
1
Let n be (-2)/(2*-3) - 19/57. Solve 0 = -4*s - 3*m - 2, n*s - 13 = -5*s + 4*m for s.
1
Let g be (12/(-20) + 0)*-5. Solve 0 = g*u - y + 1, 0*u + 4*y - 4 = -u for u.
0
Let v be (-2)/9 - 2/(-9). Let z = v + 0. Suppose -q + z*q + 3 = 0. Solve 2*o - 7*o + 24 = -3*u, -4*o + 3 = q*u for o.
3
Suppose 5*c - 2*c - 12 = 0. Let w(g) = g**2 - 3*g + 3. Let x be w(c). Solve 7 = -3*y - 2*q, x = y - 5*q + q for y.
-1
Let o(z) = -z**2 + 8*z + 2. Let i be o(8). Let c be ((1 + -1)/(-3))/i. Suppose -3*f - 2*f + 25 = c. Solve 0 = 5*v + 4*s + 20, -3*v + f*s - 4 = -2*v for v.
-4
Let a(u) = -34*u + 9. Let i be a(6). Let x be ((-2)/3)/(10/i). Let l = 8 - 3. Solve w + l*s + 0*s = 11, -w - x = -3*s for w.
-4
Suppose -3*r + 6 = -3. Suppose 5*y - r = -13. Let h be 4 - -1 - (y + 4). Solve -h*l + 5*z = 10, -3*l - 2*l = -2*z - 15 for l.
5
Let x(h) = h**3 + 7*h**2 + 3*h + 4. Let a be x(-5). Solve 3*k = 3*y, -y - a + 15 = 5*k for k.
-4
Let d be ((-12)/15)/((-6)/(-195)). Let z = -19 - d. Solve -2*s + 1 = -p, 0*s = -2*s - 5*p + z for s.
1
Let c = 18 - 15. Suppose 5*q - 10 = c*q. Solve 5*g - o = -19, -6*g + 4*g - q*o = -14 for g.
-3
Suppose 17 = 5*t - 13. Suppose -t*h = -3*h - 3. Suppose 0 = -2*o - 3*j + 11, 2*j + h = 2*o - 5. Solve -2*d + 0*d - 6 = 4*a, 0 = -o*d + 2*a - 2 for d.
-1
Let u(t) = -2*t**2 - 2*t - 3. Let k be u(-4). Let f = 43 + k. Let x = 27 - f. Solve -2 = 5*i + 3*w - 14, 4*i - x = -w for i.
3
Let w = -10 - -15. Suppose g = u, -7*u + 2*u + 12 = -2*g. Let c be 54/10 - (-6)/(-15). Solve 5*y - 2*y + 21 = g*r, -w*y = c*r for y.
-3
Suppose 5*w = 6*w + 8. Let q = w + 13. Solve 0 = 4*b + r - 5 + 10, r + q = 5*b for b.
0
Suppose 4 = 2*x - 0. Let l = 34 + -30. Suppose 3*s - 10 = -2*s. Solve -4 = -4*k + l*i, -k - x*i - s*i = 24 for k.
-4
Suppose -9 = -5*n - 4. Let p be (4/5)/(n/10). Let u = -5 + p. Solve -y = -q + 2*y - 7, -u*q - 1 = -4*y for q.
5
Let a = 35 - 23. Solve 4*u - 2*l - a = -u, 3*u + 3*l - 3 = 0 for u.
2
Let s be -1 + (-3 - -2)*-3. Suppose 2*g - 3*v = 19 + 2, -s*v + 100 = 5*g. Let q be (-2)/4*(0 + 0). Solve 2*h - 2*t - 12 = 0, 4*h = t - q*t + g for h.
4
Suppose 7 + 1 = -2*l, 0 = -3*r + 4*l + 25. Let y be (6/(-9))/((-1)/15). Suppose -4*j + y = 2. Solve -r*f - j = 2*v - f, f + 9 = -5*v for v.
-2
Let d(o) = -o**3 - 9*o**2 + 5. Let b be d(-9). Solve 0 = -4*n - 12, 3*n = -b*a + 7*n + 7 for a.
-1
Let x be ((-34)/(-8) - 2) + (-4)/16. Solve -4*f = -x*p + 10 + 4, 3 = -p for f.
-5
Let r(l) = l**2 - 8*l + 9. Let s be r(7). Solve 8 = 5*a + s*n, 3*n - 12 = -4*a - 0*n for a.
0
Suppose -2*y + 5*y = 0. Solve f = y, -4*d - 16 = -0*f + 3*f for d.
-4
Let d = -14 - -8. Let v(o) = o**2 + 4*o + 4. Let p be v(-4). Let y be (-15)/d - 2/p. Solve -6 = -3*a - 6*g + 3*g, a + 7 = y*g for a.
-1
Let r(o) = -7*o - 6. Let s be r(-8). Let z be -20*(-5)/(s/4). Suppose i + 3*m = 6, -3*m = 3*i - z - 4. Solve -2*a - 20 = i*h + h, -a = -2*h - 2 for a.
-4
Let n be 37 + (-2)/(3/(-3)). Let w be n/15 + 6/15. Suppose -7*p = -w*p - 20. Solve 0 = -2*s + 3*c + 18, -p*s - 2*c + 5 = -2 for s.
3
Suppose 2 = h - 1. Suppose -2*n = -h*n + 4. Solve -3*i - n = d, -i + 0*i - 2*d - 3 = 0 for i.
-1
Suppose 0 = 5*q + 6 + 4. Let w be (-2 + 6)/(q/(-10)). Solve 0*h - 2*h - 4 = 3*k, -2*h = -5*k + w for k.
2
Let q = 19 - 15. Solve 3*a - 12 = -q*u, 0 = 2*u + u + 5*a - 20 for u.
0
Suppose -4*w + 5 = 2*f + 15, 0 = -2*w - 8. Suppose -3*k + 4 = -s, 12 = -k - 0*k + 3*s. Suppose -l = k*l - 24. Solve -5*y + 19 = -p, -f*p - y + l = -1 for p.
1
Suppose 4*c = -0*c + 12. Solve -3*n + 3*i = -27, -n + c*i + 5 + 12 = 0 for n.
5
Let x be (-2 - 1 - 0) + 5. Suppose 0 = -v + x. Suppose -v*j = -j. Solve 0 = -q + 2*a + 3, 2*q + 4*a = -j*q - 26 for q.
-5
Let i = -9 - -8. Let p be i - -5 - (-1)/1. Solve -3*q - 19 = -4*r - 0*r, -q - p = -r for r.
4
Suppose -145*h - 3 = -146*h. Solve -y + h*f = 7*f - 23, 2*y - 16 = -2*f for y.
3
Suppose 0 = -4*j + 3*u + 33, 0 = -3*j - 7*u + 3*u + 31. Let b = j - 5. Solve 4*h - 2*h - 2*x = -14, -b*x = -2*h - 22 for h.
-3
Let c = -10 - -5. Let g = -5 - c. Solve -5*s + y + 14 = g, -3*s + 15 = -5*y - 11 for s.
2
Let m = -6 + 13. Suppose -2*p + 68 = 2*p. Suppose -5*g = 3*q + p - 42, -3*g + 3*q = 9. Solve -g*o + u + 4 = -m, -4*o = 5*u + 13 for o.
3
Let o be (-48)/(-32) - 1/(-2). Solve -2*v = -8, -32 = -4*w - o*v - v for w.
5
Let f(u) = -u**3 + 7*u**2 - u + 1. Let s be f(6). Solve -12 = -2*m + 2*n, -5*m - 4 = -4*n - s for m.
3
Suppose 3*s - 1 = -4*q - 2, 2*q - 4*s = 16. Suppose 20 = 4*g + q*v, -4*v = 7*g - 2*g - 31. Solve g*l = 8 - 2, 3*x + l = -4 for x.
-2
Suppose 6*x - 2*x + 12 = 0. Let q = x - -5. Let m(k) = -k**3 - 4*k**2 + 3. Let f be m(-4). Solve 3*d - p - f = 0, -2*p + 0*p = q*d - 2 for d.
1
Let g(k) = -7*k + 6. Let a(w) = 8*w - 6. Let h(z) = -5*a(z) - 6*g(z). Let b be h(4). Solve 2*s + 1 + 7 = -5*u, b*s + 8 = -2*u for u.
0
Let x = -10 - -4. Let t be -3*2/x*0. Suppose -4*z = 2*m - 34, z = -2*m - t*z + 34. Solve s = 3*n - m, -5*n = -3*s + s - 29 for s.
-2
Let o(t) = t + 12. Let s(r) = -2*r + 7. Let z = -5 - -13. Let n be s(z). Let l be o(n). Solve -w + l*g + 2*g = -5, -2*g = 0 for w.
5
Let b be -6*3/6 + 31. Let n be (-3)/7 + 68/b. Solve 2*g - 13 = -4*c + 9*c, 4*g + 10 = -n*c for g.
-1
Let o be (5/15)/((-2)/(-12)). Suppose o*i = 2 + 6. Suppose -2*k = -3*j - 6, 2*k + i*j - 2 = -10. Solve k*s - 7 = -2*f + 3*s, 4*s - 24 = -4*f for f.
5
Let g = -26 + 51. Suppose 3*j + 2 = -0*c + 4*c, 8 = -c + 5*j. Let p be -6*(1/(-2) + 0). Solve -5*k + 0*l + l - g = 0, 0 = p*k - c*l + 15 for k.
-5
Let n be (-1 + 2)*3*-1. Let t be 8/n*9/(-4). Let d = t + -3. Solve d*x - x = -5*a + 28, -4*a = -x - 12 for x.
4
Let s(k) = 7*k - 5. Let l(d) = -6*d + 4. Let p(t) = 6*l(t) + 5*s(t). Let z be p(2). Let g be -6*1*z/9. Solve -h - 5*o - g = 5, -4*h - 5*o - 13 = 0 for h.
-2
Let b = 3 - 4. Let l(k) = 4*k**2 - 2*k - 1. Let z be l(b). Suppose 0 = -c - 2 + 27. Solve 0*p = 3*p + 2*h + 2, 0 = -z*h + c for p.
-4
Let h(g) = -2*g**3 + 16*g**2 - 12*g + 2. Let v be h(7). Solve 18 = -4*z - 5*y, -v = 5*z - y + 4*y for z.
-2
Let g(r) = -r + 4. Let d be g(4). Let x be 1 + -1 + (-2)/2. Let j(l) = -6*l**3 - 2*l**2 + 1. Let n be j(x). Solve b - 2*t - 6 = d, -39 = b + n*t - 10 for b.
-4
Suppose 0 = -5*w + 10, -5*r + r + 4*w + 8 = 0. Solve 2*z = r*z - 4*m + 16, 5*m - 35 = -5*z for z.
2
Let k be 6/(-6)*(-7 + 2). Solve j - b - k = 0, 3*j + 20 = -5*b + b for j.
0
Let b be 204/8 + (-2)/4. Let g be ((-9)/(-3))/((-15)/(-10)). Solve v - b = 5*l, -6*v + g*v - l + 16 = 0 for v.
5
Let t be 6 + -5 - 0/1. Solve -5*w = -x - t + 11, 3*x - 4*w = -3 for x.
-5
Suppose a - 3 = -0*a. Suppose -3*r + 19 - 7 = 0. Suppose -3*m = -4*w + 30, -w = r*w + 3*m - 24. Solve c - a*j = 6, w = -6*j + 3*j for c.
0
Suppose 5*k = -k. Solve -4*t - 5*a - 10 = 0, k = -t - 2*t - a - 2 for t.
0
Let x be (-2)/4 - 19/(-2). Let p = -17 - -31. Let k = p - 9. Solve -4*g - x - 9 = y, 15 = -k*y - 5*g for y.
2
Let d(r) = -r + 4. Let j be d(2). Solve -4*t + j*i = 8, 6 = -3*t - 7*i + 3*i for t.
-2
Suppose 3*r - 46 = -2*v, -2*r - v + 1 = -29. Solve n = m - 0*m + 4, -4*n + 2*m = -r for n.
3
Let g be (1/1)/(1/4). Let a = 53 + 