-2
Let y be (0 + 2 + -7)*-1. Suppose 22*m - 34*m = -5232. Let h = m + -433. Solve 4*x = -h*i - 19, 3*x - y*i + 10 - 3 = 0 for x.
-4
Let d(r) = -r - 4. Let z be d(-5). Suppose 2*x + z = 7. Suppose -724*v = -927*v. Solve -x*c + v*c = 5*k + 8, k = -4 for c.
4
Let k(c) = 2*c**2 - 50*c + 18. Let m be k(20). Let p = m - -184. Solve p*a + 19 = 4*h - h, 2*h = -3*a - 9 for h.
3
Let f be (396/264 + 1/(-2))*14. Solve 0 = -5*c - r - f, -5*r - 19 = 1 for c.
-2
Let i be (39 + -47)*(-1)/2. Solve 4*v + 19 = -3*t, i*t - 5*v - 62 = -15 for t.
3
Let x(s) = s**2 + s + 1. Let h be 0/(4/6 + (-16)/6). Let q be x(h). Let r(f) = -f + 3. Let c be r(q). Solve -5*b = l - 4, -4*l - 2 = 4*b - c*b for b.
1
Let w be (0 - 84/3)*26/(-91). Suppose w*v - 22 = 18. Let t be ((-2 + 1)*0)/(-2). Solve t = z - 3*a - 7, 3*a - v*a = 4*z - 14 for z.
4
Suppose 0 = 4*k + 2*k - 12. Let f(p) = p**3 + 2*p**2 - 3*p + 2. Let u be f(1). Solve -5*c - 13 = u*v + 7, 8 = 3*v - k*c for v.
0
Suppose -11*m - 3*n + 448 = -13*m, 5*m + 2*n = -1101. Let k be (1 - m)/6 - -4. Solve -2*b - 28 = 5*v, -5*b - k = 5*v - 1 for b.
-4
Suppose 0 = 3*c - 5*c + 110. Suppose -3*t + c + 137 = 0. Suppose -4*l - t = -176. Solve 3*h - 5*o + l = 0, -o = 3*h + o - 7 for h.
-1
Let p be (-13)/(-1) - (-8 + -20 - -18). Solve 4*r = -5*n - p, 2*r + 84 - 65 = -5*n for r.
-2
Let m be (1 + 103)*(13/91 + (-90)/(-105)). Solve -m*x - 21 = 3*g - 106*x, 3*g + 12 = -x for g.
-5
Suppose -5 = -i + 12. Suppose 5*c - 178 = -4*g, 3*g - i = c - 64. Suppose -2*f + c = 6*z - 4*z, 3*z = f + 53. Solve -3*o - 4*b = -z, -o - 2*b + 6*b = 10 for o.
2
Let g(k) = -2*k**2 + k. Let u(p) = 6*p**3 + 24*p**2 - 3*p + 2. Let b(h) = -6*g(h) - u(h). Let v be b(-2). Solve 3*i - 1 = v*a, 6*a - 5*i = a for a.
-1
Let x be (2/((-16)/(-4)))/((-4)/(-40)). Suppose 0 = 5*q + r - 17, -q + 5*r + 2 = 3*q. Solve -i + x*l + 24 = 5, i = l + q for i.
-1
Suppose a + 11 = 26. Suppose n - 4*y = -n + 18, 5*y = -a. Solve -5*x = n*d - 12, 0 = x + 4*x for d.
4
Let l = -37 + 39. Suppose -l*q = 4*q + 24. Let w be 4/(-1)*(q + 14/4). Solve -2*n + 5*k - 1 = 2*k, w*k + 26 = -4*n for n.
-5
Suppose -22*h + 11*h = -352. Suppose -8 - h = -5*z. Solve -3*p = 2*m + z, 4*p - 5 = 3*m + 5*p for m.
-1
Let b(u) = 45*u + 145. Let q be b(5). Suppose -379*r + 36 = -q*r. Solve r*w = 4*a - w - 11, 4*a + 4*w + 16 = 0 for a.
-1
Let i(f) = f**3 - 15*f**2 + 14*f + 2. Let n be i(14). Let p = 48 - 42. Let g be (-12)/p*((-27)/6 - -2). Solve -n*l + 4*c - 9 = c, g*l - 2*c = 5 for l.
3
Let c(d) = d**3 - 10*d**2 - 7*d + 1. Let v(a) = -a**3 - a**2 - 2*a + 2. Let l(w) = -c(w) + 2*v(w). Let x be l(3). Solve -4*f + 0*f + o - 6 = 0, -6 = x*o for f.
-2
Let l = 34 - 15. Let u(v) = -3*v + 59. Let w be u(l). Solve k + 2*p = 0, 3*p - 2 = -k + w*p for k.
4
Suppose 91*o - 87*o = 5*z - 12, z = -o - 3. Let b = -12 - -16. Let l(f) = -f**2 - 7*f + 10. Let d be l(-8). Solve -2*h + d + 4 = -w, b*h + 4*w = z for h.
2
Let q be 96/14 + 4 + (36/21)/(-2). Solve -3*f + q = h + 2*f, h = 4*f + 1 for h.
5
Let b = 5 + -13. Let q(k) = k**3 + 7*k**2 - 7*k + 10. Let t be q(b). Suppose 5*g = 3*y + 8, 16 = 3*g - y + t*y. Solve s = -0*s - 2*z - 4, 5*z = g*s + 3 for s.
-2
Let t(o) = 2*o**2 - 5*o + 2. Let q be t(2). Solve -2*l - 4 = q, l + 4 = -2*x - 8 for x.
-5
Let u = -288 - -297. Let b = u + -6. Solve -5*r - b*d + 19 = 0, 0*r + 3*r = -3*d + 9 for r.
5
Let w be (-2)/(-8) + (-1820)/(-80). Suppose -10 = -w*m + 18*m. Solve 0 = -i + m*x - 15, 15 = -0*x + 3*x for i.
-5
Let k = -5260 + 5264. Solve 4*q = -4*i - 8, -36 = k*q - 5*i - 10 for q.
-4
Suppose 0 = -3*n - 10175 + 10211. Solve -138*q + 4*h - 17 = -135*q, -2*q = -3*h + n for q.
-3
Suppose 3*r - 6 = 3*d, 0 = -4*d + 35*r - 37*r + 28. Solve 2*h - d*h + 5*k + 30 = 0, 0 = -5*h + 3*k + 37 for h.
5
Let q be (((1 - 1)/(13 + -11))/3)/1. Solve q = -6*s + 4*s + 4, 0 = 2*a - s + 4 for a.
-1
Let l(q) = -298*q + 3. Let m be l(0). Solve 2*y - 1 = -h - 0*y, y + 2 = -m*h for h.
-1
Suppose -5*t = -t - 20. Suppose -10*v = -t*v - 170. Suppose -24 = 5*g - v. Solve 0 = 2*i - 4*x + 4, 2*i + g*x + 0 = 2 for i.
0
Suppose 19*k - 22*k + 30 = 0. Let g be 24/k*(-8 - 21/(-2)). Solve -2*q - a + 7 = 0, 2*q - g - 5 = 3*a for q.
4
Let n(u) = -102*u + 617. Let s be n(6). Suppose 4*o - 140 = w, 3*w + 172 = 5*o + w. Solve c = s*y - 24, y = -4*y + 4*c + o for y.
4
Let q = -742 + 499. Let n = -238 - q. Solve r - 5*j = 7, -n*r - 1 = 3*j - 8 for r.
2
Let i be (4 - -1) + (0/(-34))/(-4). Solve -i*m = -25, 9*f - 5*m = 6*f - 31 for f.
-2
Suppose 1019 - 997 = 11*u. Let r be 1 + 57/(0 - 3). Let s be (-3)/6 - r/4. Solve -u*c = l - 7*c - 20, -16 = -s*l + 4*c for l.
0
Let l(v) = 11*v**3 + 2*v**2 + 6*v - 8. Let a(o) = -2*o**3 - o + 1. Let k(y) = 5*a(y) + l(y). Let r be k(2). Solve -4 = -4*d - 4*u, 2*u = 5*d - 3*u - r for d.
2
Let w(q) = 6*q - 36. Let h be w(6). Suppose 2*u = 4*c, -4*c - 12 = -5*u - h*u. Solve -i - i - 5*r = -9, -4*r + 18 = -c*i for i.
-3
Let c be ((-2)/(-1))/(-2) - (-28)/7. Suppose 0 = 4*i + 12, -c*p + 3*i = 5*i - 9. Solve 4*z = q + 20, -5*q - 3 - p = 3*z for z.
4
Let p(z) = -10*z**2 - 132*z - 13. Let o be p(-13). Solve 4*v + 3*f = 6*f - 11, 5*v = 4*f - o for v.
-5
Let t(a) = 2*a**2 + 38*a + 110. Let c be 72/32*(-12)/9. Let h be t(c). Let w = -2 - -6. Solve 4*u = -4*b - 4, w*u - 8*b + 3*b = h for u.
1
Let t be (8/3)/(24/144). Suppose -16*b - t = -80. Solve 13 = -7*v + 2*v - q, -b*v = 2*q + 14 for v.
-2
Let f = -193 - -188. Let i be (f/2)/(5/(-10)). Solve -2 = -i*h + 4*d - 3*d, 3*d = 3*h - 6 for h.
0
Let q(t) = t**2 - 3*t + 4. Let h = -76 + 78. Let o be q(h). Solve 0 = 4*k - 20, o*d + k = -0*k + 1 for d.
-2
Suppose -2 - 1 = -k. Suppose 3*t = -5*i + 224 + 15, -2*t = -5*i + 249. Suppose -69 = -4*w + k*c, 4*c = 3*w - c - i. Solve 5*l - w = -3*g, -3 = -2*l + 3 for g.
1
Suppose -p + g - 15 = 6*g, -18 = -p + 6*g. Solve -a - 4*v = -15 - p, -v - 9 = -4*a for a.
3
Suppose -d - 5 = 4*j, 3*j = d + j - 7. Let c = -1276 - -1276. Solve 8*r - d*r + 2*v - 19 = c, 2*r + 5 = -5*v for r.
5
Let y = -575 - -577. Solve -y*s - 3 = -3*m + 2, -s - 1 = 0 for m.
1
Let t = -27 + 14. Let a = -2 - t. Let m = a - 10. Solve 2*h = d + m, 5*d + h = -h - 5 for d.
-1
Suppose 187*f - 10 - 890 = 409. Solve f*d + 2 = 2*c + 5*d, -2*d + 3 = -c for c.
5
Suppose 2*z - r = 2948, 5*z - 440 - 6912 = -2*r. Suppose -3*x - 1460 = -z. Solve -x*g + 16 = -4*j, 0 = -2*j - g + 4*g - 7 for j.
-5
Let b(p) = 4*p**2 - 29*p + 10. Let y be b(7). Suppose -3*u - 15 = -3*o, -2*o = u - 4 - y. Solve -3*z - o*q = 4, -6*z = -7*z - 5*q + 6 for z.
-4
Let u(x) = -x**3 - 15*x**2 - 21*x - 312. Let y be u(-15). Solve -5*z - y*b = -11, 5*b - 3 + 18 = 0 for z.
4
Suppose 208*b - 1877 - 2204 = -1585. Solve 10*y - b*y - 3*h - 12 = 0, 3*h = 2*y for y.
-3
Let b be ((-56)/(-20))/(7/(-175)). Let i be 8/5 + (-28)/b. Solve -3*g = -4*s + 4, -g - i*s = -7*s - 6 for g.
-4
Let x = 19665 + -19576. Solve -5*o - 5 = -i, 2*o = -x*i + 88*i - 9 for o.
-2
Let n(k) = 55*k - 9112. Let q be n(166). Solve -6*p = -4*j + 16 - q, 4*p + 3*j = -10 for p.
-1
Suppose 0 = -12*d + 21*d - 27. Suppose 0 = j + 5*i, -5*j + 4*i + 26 = -d. Solve -3*k = j*c - 12, -4*k + 2*k = -c + 5 for k.
-1
Let k be -3*(-2 - 128/(-24)). Let t be 18 + k + ((-4)/(-1) - 0). Let a(i) = i**3 - 3*i**2 + 3*i. Let b be a(2). Solve -3*r + t = o - 0*o, 0 = -r - o + b for r.
5
Let q(i) = 29*i + 1372. Let u be q(-47). Solve 2 = 4*z - a, -3*a = -3 + u for z.
0
Let v(a) = -160*a - 3192. Let u be v(-20). Solve -u*g + 6 = -10*g + 2*o, 3*o - 9 = 2*g for g.
0
Let g = 19 + -22. Let z be (15/9 - 2)*g. Suppose -3*x - 3*q + 33 = -x, -q + z = 0. Solve 0*p + 5 = -2*p - o, -3*p + o - x = 0 for p.
-4
Suppose -r = -54 - 96. Suppose -r = -6*m - 90. Solve d - 2 = n, 4*d - m - 3 = -n for n.
1
Let d(n) = -73*n - 3281. Let q be d(-45). Let f(m) = -m**2 + 7*m + 2. Let t be f(7). Solve q*r - 2*w = 2*w + 36, -t*r - 4*w = 6 for r.
5
Let j(p) = p**3 - 31*p**2 + 5. Let o be j(31). Suppose -o*t = 0, t = 2*g - 3*t. Solve g = 5*n - 5*d, -5*n = -10*n + 4*d - 4 for n.
-4
Let w be -5 - 99/(-12) - (-2)/(-8). Suppose 96*p = 106*p - 40. Solve -3 = w*t + 5*h, 0 = p*t - 2*h - 8 - 14 for t.
4
Let l = 603 - 605. Let k be 14/(-49)*(-5 + l). Solve -k*f - 4 = 3*p, 0 = -6*p + 2*p - 2*f - 2 for p.
2
Let x(d) = -d - 1. Let f be x(-4). Let o be (-26)/91 - (-208)/91. Solve 0 = 5*a - u - 6, 2*u + o = -f*a + 3 for a.
1
Su