 + p. Solve -2 = v*a + u, 17 = -3*u + 2 for a.
1
Let l = -7 - -9. Suppose -l*h + 0*h + 6 = 0. Suppose -h*v = -40 - 23. Solve -2*d + 2*k = -6*d + 28, 4*k - v = -d for d.
5
Let a(p) = 3*p**2 + 16*p - 9. Let b be a(-6). Solve -b*m + y = -4, m + y = 4*y - 4 for m.
2
Let m(c) = -c + 8. Let p be m(-7). Suppose 39 = 2*w + p. Suppose -2*z + z + 3 = a, 0 = 2*z - a - w. Solve 4*f + 15 = -5*n + 2*f, -z*f + 5 = 4*n for n.
-5
Let i = 47 + 9. Suppose 2*b = i - 4. Let j(q) = -q**2 - 6*q. Let n be j(-6). Solve 5*m + p - b = n, -2*m + 7 + 1 = -2*p for m.
5
Suppose 5 + 0 = m. Suppose 800*i - 805*i = -69 + 24. Solve 0 = 4*u + 5*s + 7, -u + m*u + i = -3*s for u.
-3
Let u = -8 - -11. Suppose -5*q + 32 = 3*l - 4, -l - 5*q = -12. Suppose 2*r - 7 = -1. Solve g - 2*g = u*w - l, r = w for g.
3
Let y be (-118)/(-5) + 10/25. Suppose y = 4*i + 12. Solve i*x + 19 = -4*l, l = 4*l + 5*x + 17 for l.
-4
Suppose -7*r = 5*q - 12*r - 45, q + 6 = -4*r. Suppose -25 = -2*k - 1. Solve -k = 2*z + 4*v, -5*z = -3*v + v + q for z.
-2
Suppose 0 = -2*y - 309 + 91. Let k = y + 109. Solve k = -i + 3, 5 = 2*m - 2*i + 3 for m.
4
Suppose 3*z = -m - 2, -2*z = m - 3 + 2. Let c = -93 + 107. Let n be 2 - (-4)/c - 8/28. Solve -4*r - m*p = -n*p + 2, r - 5*p = -13 for r.
-3
Let n(i) = 2*i. Let q be n(-6). Let m = q - -3. Let z be -2 + 13 + m/3. Solve 5*h + 6 = -3*t - z, 5*t + 2*h = 2 for t.
2
Let g = -27 - -31. Solve 12 = -6*c + 2*c, -4*p - g*c - 16 = 0 for p.
-1
Let p be (-2)/18 - ((-60)/135)/4. Solve -3*x + 2 = -5*b, x + 4*b - 15 + 20 = p for x.
-1
Suppose 0 = -3*n + 5 + 7. Let y = 2122 + -2120. Solve n*m - 8 = 2*p, -3 = -y*m - m + 3*p for m.
3
Suppose -3*l - 9 + 4 = 2*t, -4*l = t + 10. Suppose -138 + 34 = -4*s. Let y = 26 - s. Solve -t = 2*g + 2*m + m, 3*m - 6 = y for g.
-4
Suppose o = 4*w - 60, 4*o + o = 20. Suppose 9*d - 8*d = w. Solve 0 = 4*s - 0*l + 4*l - 16, -5*s - 4*l + d = 0 for s.
0
Let q be (10/6)/((-195)/(-234)). Suppose 2*x = -3*y + 5, 1 + 4 = -5*y. Suppose -a - 2*a + 38 = s, 4*s + 24 = x*a. Solve 5 = q*p - 3*p, -c + 2*p = -a for c.
1
Suppose -6 = y + 3*z, -6*y + 2 = -7*y - z. Let x(t) = t. Let j be x(2). Solve y = o + o + 8, -j*o - 2 = 2*w for w.
3
Let p = 1 - 7. Let u = 9 + p. Suppose -5*k + u*k = 0. Solve -3*n = -0*o - 2*o, k = -n - o + 5 for n.
2
Let t(p) = -17*p**2 + p**3 - 14 + 37*p**2 + 15*p - 3*p**2. Let o be t(-16). Solve 6 = o*x - 5*a - 24, 0 = -3*x + 4*a + 31 for x.
5
Suppose 6*p + 10 - 40 = 0. Solve 5*t - 7 = p*i - 2, t + 2*i = 7 for t.
3
Suppose 0 = 8*n - 6*n + 5*z - 61, -5*z = -3*n + 54. Solve 0 = -3*m - 2*r + n, -45 = -0*m - 5*m - 5*r for m.
5
Let n(a) = -a - 4. Let d be n(10). Let v be 8/d + (-2484)/(-84). Solve 8 - 23 = 3*o, -5*o - v = -2*s for s.
2
Let o = 106 - 91. Solve 3*l + c - 4 = -3, -5*l = 5*c - o for l.
-1
Let m(s) = 2*s - 5 + 2*s - 3*s. Let z be m(6). Solve k + o = 6, -4*k + o + z + 3 = 0 for k.
2
Let u be 5/4*(-4 + 8). Suppose -u*c + 63 = 4*o, c - 21 = -o - 2*c. Solve 9*f - 4*f = r + 12, 2*r + 2*f = o for r.
3
Suppose 8*i - 32 = 64. Solve -2*d + 3 - 9 = 3*o, 0 = 4*d - i for o.
-4
Let u(n) = n**2 + 26*n + 38. Let d be u(-20). Let r = d - -83. Solve q + 5*b + 1 = -r, -3*q - b = -8 for q.
3
Suppose 6*m = 5*m + 5*y + 15, -4*y = 8. Solve -z - 4 = -4*w - 0, -w - 20 = m*z for w.
0
Let z be (-32)/(-48) + (-65)/3. Let h = z - -26. Solve 0 = 3*b - 4*x - h, 4*x - x - 18 = -5*b for b.
3
Suppose -5*g + 31*k + 9 = 35*k, -5*k = 4*g. Solve 3*y - 3*b = 4*y + 6, 0 = -g*y + b - 14 for y.
-3
Suppose -198*m + 27 = 2*q - 201*m, 5*q - 59 = -m. Solve 3*y = 2*c - 0*c + q, 0 = -5*y - 3*c + 1 for y.
2
Let j be (5/2)/(1/(-6)). Let x(z) = -z**2 - 20*z - 39. Let m be x(-19). Let v = j - m. Solve 0 = -v*t + p - 4*p - 25, -15 = 5*t + p for t.
-2
Let u(a) = -a**3 + 7*a**2 - 2*a + 5. Let i be u(7). Let z(n) = n + 14. Let y be z(i). Suppose 19 = y*f - 1. Solve f*o = 2*l - 2, -l - 4 - 2 = 5*o for l.
-1
Let l be ((-2)/5)/((340/200)/(-17)). Solve -l*a = -2*t + 2, 0 = -a + 3*t - 1 - 2 for a.
0
Let n be ((-5)/(-15))/((-1)/(-54)). Suppose 4*y - 13*y = -n. Solve 4*k = -5*a + 19, 3*a + 3*k - 18 = -y*a for a.
3
Suppose 0 = -2*l - 2*m + 12, l + 3*l - 4*m = 0. Suppose l*x + 27 = -0*x. Let k be (-12)/(-54) - 25/x. Solve -4*t + 2*j + 0*j = -12, -5*t + 37 = k*j for t.
5
Let i be (8 - 14)*(-27)/6. Solve s + 4 - i = 4*v, -2*v = 3*s + 1 for v.
-5
Suppose -v + 7 = -15*n + 14*n, 32 = 5*v - 4*n. Solve -x = -v*i + i - 15, 4*x - 4 = -2*i for i.
-4
Let w = -2 + 20. Suppose -w = 5*v - 58. Solve 5*x = -2*h + 6, -v*x + 3*x = 0 for h.
3
Let w be 13/(-3)*12/(-4). Suppose 0 = 3*a - 0*a - b - 23, a - 3*b = w. Let x = 8 - a. Solve -d - g = -x, g + 4*g = -5 for d.
2
Let w(t) = 5*t + 49. Let o be w(-7). Solve 4*f = -3*s - 18, -2*f - o = -3*s + 7*s for s.
-2
Let l = 43 + -38. Suppose 5*s = -9*j + 4*j + 20, 20 = l*j + 3*s. Solve 0 = -a - 2*c - 4, j*c + 4 = -4*a - 4 for a.
0
Suppose -4*g - 1 + 41 = 0. Suppose -4*c = 4*n + 30 + 6, -5*n = 15. Let q = 8 + c. Solve 2*b + q = -4*l + g, 3*b = -3*l + 12 for l.
0
Suppose -8*d + 9*d - 5*l = -1, -l + 29 = 3*d. Let p = -9 + 13. Let f = d - p. Solve f*v - w = -25, 2*v - 2*w - 1 + 11 = 0 for v.
-5
Let h = 132 + -132. Solve h = g + 2*n - 1, 0*g + 3 = 3*g + 3*n for g.
1
Let c = -59 + 48. Let o = -7 - c. Solve 26 = 2*m + 4*q, q + 5 = m + o for m.
5
Let l(f) = -7*f - 411. Let o be l(-59). Solve -o*s + 0*w = w + 8, -s - 4 = -5*w for s.
-4
Let i be (3 - (-133)/(-35))/(2/(-5)). Suppose -2*q + 30 = -2*w, w = i*w - 5. Solve 0 = -k + 2*o + 3*o + q, 4*k = -2*o - 8 for k.
0
Let w be (6/4)/(81/108). Solve 4*s + 8 = -a, 5*a + 15 = w*s + 3*s for a.
-4
Let f be -2 - (-3)/(6/(-8)). Let w(k) = 3*k - 2*k - 5 + 4 + 9. Let p be w(f). Solve -5*d = p*c + 2*c - 9, 0 = 4*d - 5*c + 1 for d.
1
Suppose -5*o = 5*v + 35, 2*v - 5*o = -18 + 39. Let g be ((-1 - -3)/v)/(-1). Solve -3*t = -3*x - 2 - g, 0 = t + x - 3 for t.
2
Let o(h) = h**2 - 3*h. Let n be (-6)/1*(-6)/12. Let a be o(n). Let m be 3 + 18 + (0 - a). Solve v + 4 = 0, -5*b + v = -5 + m for b.
-4
Let c = 124 - 82. Let a = -30 + c. Let u = a - 11. Solve 0 = -5*l - 4*q, 0 = -q - u - 4 for l.
4
Let d be (-40)/15 + (188/12 - 6). Suppose 0 = f - 3. Let h = 6 - f. Solve -3*r - 5*x + d = -0, -2*r - 8 = -h*x for r.
-1
Suppose 54 - 150 = 4*r. Let p = r - -26. Suppose 4*q + 5 + 1 = i, -8 = -3*i + p*q. Solve -6*h + h = -3*n + 22, n - i*h - 8 = 0 for n.
4
Let g be 0 + 2 + -3 + 6. Solve g*x + 5*k + 22 = 2*k, -2*x = -k + 11 for x.
-5
Let d(t) = t**2 - 5*t - 2. Let i be 4 + 1/(3/6). Let y be d(i). Solve -y*l - u + 13 = 0, 5*l + u = -6 + 22 for l.
3
Let d(k) = k - 19. Let p be d(21). Solve 3*j = p*n + 12, 0 = -j - n + 2*n + 4 for j.
4
Let y(l) = -2*l**3 - 25*l**2 - 10*l + 24. Let n be y(-12). Solve -s + k = 5, -4*s + n*s = -5*k + 23 for s.
-2
Let b = -1948 - -1953. Solve 24 = 4*t - 0*k + 4*k, 0 = 3*t - b*k + 6 for t.
3
Let z be (-40)/(-50)*10/(-4). Let u be ((z - -4) + 6)*1. Let i(a) = a - 7. Let v be i(8). Solve p + 3*c = 3 + v, 4*p - u = -4*c for p.
1
Suppose 3*o + 23 = -u, -3*u - 5*o - 57 = -0*o. Let j = 17 + u. Solve -3*l - 12 = 3*d, -j*d - 19 = -0*d - 4*l for d.
-5
Let u(p) = -p**3 + 13*p**2 + 27*p + 49. Let b be u(15). Solve 13 = -b*z - 3*c, -3*c = 2*z - c + 8 for z.
-1
Let v be 3 + 0 + 2/(-2). Let x = 16 + -14. Solve -5*z = -x*u - 15, 5*z = -v*u + 6*u + 25 for z.
1
Suppose -3*l = -0*l - 6. Suppose 0 = -2*q + q + l, 5*a + 4*q - 88 = 0. Suppose -n - a = -5*n. Solve 5*f = 2*k + 25, -4*k = -f - n*f + 35 for k.
-5
Let h(b) = 41*b - 408. Let s be h(10). Let j be (-4 - -6) + 0 + 1. Suppose -6 + j = -g. Solve o = 2*n + s*o + 13, 3*o - 6 = g*n for n.
-5
Let c = 5 - 4. Suppose 0 = r - 5*j - 31, -r + 3*j + c = -20. Let u = r - 4. Solve 0 = -p + o + o - 9, u*p = -5*o + 18 for p.
-1
Suppose -5*u + 3*j - 46 = -0*u, -3*j = 5*u + 34. Let d be (8 + -5 + 0)*u/(-6). Solve 4*z = -d*t, t + 2*t - 7 = 4*z for t.
1
Let d(o) = 3*o - 1. Let g be d(2). Let j(h) = h + 6. Let s = 31 + -33. Let x be j(s). Solve x*p + g*w + 18 = 0, 4*p + w + 12 = -w for p.
-2
Suppose -t + 48 = 5*j, -2*j + 2*t + 26 = -t. Let s = j - -3. Solve -a = 5*g + s, -1 = -2*a + 3*a + g for a.
2
Suppose -5*j = -36*r + 40*r - 15, 0 = 2*j + 2. Solve 2*b + 14 = r*x + 4*b, -3*b + 12 = 3*x for x.
2
Suppose -3*v + 9 = 3*n, -4*n + 3*v = -5 - 0. Solve f + 3*r = -8, -f + 3*r = -n*r for f.
-5
Let p(o) = o**2 + 7*o + 3. Let y be p(-7). Sup