1. Let m be 3 - (-1 + 0 - -3). Solve m - 2 = -3*w + 4*z, 2*w + v*z = 12 for w.
3
Let p be (7 - -1) + -8 + 3. Suppose -5*m + p + 37 = 3*k, 40 = 5*k + 3*m. Solve -u - 1 = q, -3*q + 3*u - 1 = k*u for q.
1
Suppose 0 = -f + 3*t - 9 + 24, -4*f + 2*t = -20. Let x be 1*(-10)/(-3)*6. Suppose d = -f*d + x. Solve 2*l - 3*l = 5, -3*l - 35 = -d*a for a.
4
Suppose -6*b = -3*b - 33. Solve 0 = -g + 1 - 3, -5*k = 3*g + b for k.
-1
Suppose -a - a + 24 = 0. Let m be (-3)/5 + 82*a/15. Let p = m - 63. Solve 15 = -5*o, -6*o = v - p*o + 11 for v.
1
Let q(z) = -z**3 + 6*z**2 + 6*z + 10. Let y be q(7). Suppose y*a = 3 + 15. Suppose 5*i - a*i = 0. Solve -5*l + 5*x = 0, 8 = 4*l - 2*x - i for l.
4
Let b(f) = -f**3 + 7*f**2 - 7*f - 11. Let k be b(5). Suppose 4*g = -8, -v - g = -k*v + 14. Solve 3*j = v*t + 7, 4*t = 3*t + j - 3 for t.
2
Let w = 25163 - 25155. Solve -3*c - w*p - 13 = -3*p, -c + 4*p = -24 for c.
4
Let q = 9 - 4. Let o be (-8 + 350/42)*(5 + -5). Solve -4*z = 2*d - o*z - 2, -q*d + 17 = -2*z for d.
3
Let o = -224 - -239. Suppose -5*q + 0*q = -o. Suppose -4*s = -4*b + b + 37, 3*b = -3*s + 9. Solve q*t - t - b = v, 5*t = 3*v + 18 for v.
-1
Let h(l) = l**3 + 43*l**2 - 88*l + 95. Let k be h(-45). Solve 0 = 2*m - 4*y + 20, 4*m = 6*m - y + k for m.
0
Let w(r) = -148*r - 2662. Let q be w(-18). Solve 3*x + 3 - 4 = 2*j, -14 = 4*j - q*x for j.
-5
Let r = -517 + 522. Let b(j) = -13*j + 84. Let n be b(6). Solve 4*a = -r*s - 0*a - n, a - 2 = -3*s for s.
2
Let n = -32 + -12. Let s = 48 + n. Suppose -27 = -5*v + k, -v - 3*k = -3 + s. Solve 3*i - 2 + 22 = v*q, -2*q - 5*i + 8 = 0 for q.
4
Let f be 7 + 0 - (-1 + 2)/(102/(-204)). Solve 0 = -5*u - 25, 5*y + 28 = f*y - 4*u for y.
2
Suppose 0 = 163*m - 311 - 1156. Solve v - 4*z = 15, -70*v + 66*v - z + m = 0 for v.
3
Let t(r) = -r + 12. Let b be t(7). Let y(p) = -2053*p + 65698. Let u be y(32). Solve -3*i + i = -b*l + 11, u*l = 5*i - 4 for l.
3
Suppose 2814 = -32*w - 1026. Let c be (-12)/w + 49/10. Solve 0 = 2*i + 2*m + 12, 3*i + 38 - 10 = -c*m for i.
-1
Suppose -2*n + 41 + 209 = 0. Suppose -5*g + 5*v = -0*g - n, -4*v = 5*g - 125. Let r = 1 - -4. Solve 5*w - g = 0, 0 = -2*p - 3*p + w - r for p.
0
Let v(z) = z**3 + 22*z**2 + 40*z. Let f = 251 + -271. Let l be v(f). Solve -2*o - 2*w - 14 = l, -4*o + 7 = -2*w - w for o.
-2
Let n(a) = 257*a**3 + 7*a**2 + 263*a**3 - 519*a**3 + 4. Let y be n(-7). Solve -3*c - c = -4*r - y, -3 = -3*r for c.
2
Let x(o) = -2*o - 2. Let q be x(-3). Suppose -106394*b - 342 = -106451*b. Solve -3*n + 3*a + b = 0, 5*n - 1 = q*a + 7 for n.
0
Let s(b) = -b**3 + 6*b**2 - 2*b - 8. Let o = 15 + -11. Let h be s(o). Let c be 2/(-9) - (-47)/9. Solve 2*n + 3*y = -13, -c*y - 14 - h = -5*n for n.
1
Suppose -423 - 105 = 16*d. Let o = 36 + d. Solve -14 = -5*x - o*l, 5*x + 2*l + 3 - 14 = 0 for x.
1
Let r(s) = -10*s - 65. Let c be r(-7). Suppose c*x + 3*g + 10 - 25 = 0, 3*x = -3*g + 9. Solve -x*b + 8*b - 10 = -3*w, -4*w - 4*b = 0 for w.
-5
Let x be ((-9)/6 + (-4 - -4))*3*-10. Solve -2*g + 6*m + x = -7*g, 5*m = -5*g - 40 for g.
-3
Let q(j) = 2*j - 6. Let g be q(3). Let o = -11 - -10. Let r be 13/3 + o/3. Solve -u + r*x + 0 = -2, 4*x = g for u.
2
Suppose -o = 4*c + 4, -31*o + 33*o = -4*c + 4. Solve -4*m + o*y = 7*y + 3, 0 = -3*y - 15 for m.
-2
Suppose -4*v - 148 = -18*r + 16*r, 5*r + 4*v = 412. Suppose -36*d + r = -20*d. Solve -5*z - 2*q - 14 = 0, -z = 2*z - d*q + 27 for z.
-4
Suppose -m - 3*m = 0. Suppose m = -4*s + 40. Suppose 3*d - u + 9 = 0, 59 = -3*d - 5*u + 104. Solve d = 2*z + s, n + 0*z = z for n.
-5
Let c = -32 + 32. Suppose -11*a + 130 + 2 = c. Suppose -3*o + 7*o = a. Solve l + 4*n = -23, l + 7 = -o*n - 11 for l.
-3
Suppose -33 + 198 = 33*f. Solve -2*m + 19 = 3*y, -4*m = -0*y - 5*y - f for m.
5
Let d = -46 - -42. Let h be 6/(-10) - -13*d/(-20). Suppose -q = -h*q. Solve 3*k - 13 - 4 = -5*f, -3*k + 4*f + 8 = q for k.
4
Let h = 282 - 509. Let w = -225 - h. Solve w*b - p + 4 = 0, -4*b - 12 = -2*p - p for b.
0
Suppose 44*g = -136*g + 3420. Solve 5 = -x, 12*t - 3*x - g = 13*t for t.
-4
Suppose 0 = 28*x - 40*x + 600. Suppose 5*p + x = 15*p. Solve -p*g = -2*m - 9, 4*m - 4*g + 12 = -0*m for m.
-2
Suppose 5*s - 2*s - 45 = 0. Suppose -s*v - 2 + 2 = 0. Solve v = 3*h + 2*j - 10, j = h + 2*j - 4 for h.
2
Let f be (-135)/(-20) + 87/(-116). Solve -4*a - f = -a, -3*l = 4*a + 5 for l.
1
Let u = 3951 - 3936. Solve u = -4*d + s + 5, 3*d = -3*s + 15 for d.
-1
Let z be (-2)/4*(-36 + 12 + 2). Suppose z*v + 8*v = 0. Let c = 3 - -2. Solve -3*u + 3 = -3*a, a + 5 + v = c*u for a.
0
Suppose -3*u - 57*z + 27 = -58*z, u - 5*z + 5 = 0. Suppose 6*h - 4*h = 0. Solve -2*v - 5*p - 30 = h, 4*v - 3*p = -u + 2 for v.
-5
Let y(v) = -10*v - 14*v - 7*v + 23*v. Let r be y(-1). Let p be (4/r)/(3/(-12)) + 6. Solve k = -5*u - p*k + 10, 5*k - 28 = 4*u for u.
-2
Suppose 6*z - 121 + 67 = 0. Solve 5 = 5*u, -8*o + 2*u - 6 = -z*o for o.
4
Suppose -4*u + 36 = 4*c - 0, -3*c + 29 = 2*u. Let t be 3 + -2 - (-64 + 0). Suppose c*g = t - 10. Solve -4*i + 4 = 4*x, 2*x - 15 = 4*i + g for i.
-3
Suppose -112*n = -108*n + 880. Let k = n - -223. Solve 12 = -k*i + i - 4*w, 0 = -3*i + 3*w for i.
-2
Let i be 14/(-3)*7200/(-840). Solve -o + 44*u = i*u - 12, 0 = -3*o + u - 8 for o.
-4
Let w(x) = 2*x**3 - 7*x**2 - 5*x + 25. Let l be w(5). Suppose 6*m - 21 = l. Solve -1 = -3*n + 4*r, 2*n + 0*r + 5*r - m = 0 for n.
3
Suppose -46*h = -38*h - 600. Let a be -4 + (-38)/(-9) - h/(-27). Solve 4*u + 0*r - a = -3*r, -3*u + 2*r = -15 for u.
3
Let z = -219 - -89. Let x = -128 - z. Solve 4*i + 2*h - x = 2, 4*h = 0 for i.
1
Suppose -150 - 100 - 40 = -58*s. Solve 1 = 5*p + 4*z, -s*p - 10 = -z - 16 for p.
1
Let i = 2 - -1. Suppose -3*u + 27 = 3*c, 11*u - 9*u - 8 = 0. Solve -3*b = 6, -i*g - 2*b + c = -6*g for g.
-3
Let h(i) = 12*i**2 - 1067*i - 75. Let u be h(89). Suppose 8 = 3*n + n. Suppose 30 - n = u*t. Solve -t*x + 20 = -2*l + x, 0 = -4*l + 5*x - 36 for l.
-4
Let n be (-18)/8*16/(-6). Let h(r) = 4*r**2 - 43*r + 1. Let j be h(11). Let f be (2 + -2)*n/j. Solve q + 2*z - 4 = f, 9*q - z = 4*q - 13 for q.
-2
Let r = -14 + 14. Suppose r*p + b + 6 = p, -5*b = -2*p + 21. Let q be (3/(-6))/(-1*4/192). Solve 3*c + q = -p*f, -4*c - 5 = 4*f - 9*c for f.
-5
Let g(i) = -6*i - 79. Let x(f) = f. Let b(p) = -g(p) - 3*x(p). Let l be (((-10)/4)/1)/(1/10). Let q be b(l). Solve -m - q*m - 1 = 3*t, 2*m - 11 = -5*t for t.
3
Let g = -548 - -1064. Let q = g + -295. Let d be 1/(-3) + q/51. Solve -n = -t + 3, d*n + t - 11 = n for n.
2
Suppose 0*h + 2*h - 26 = -3*n, 4*n - 37 = -3*h. Suppose 12*u - h*u = 20. Suppose u*g - 2 = 6. Solve 2*o + 2 + 2 = g*a, -2*a = 2*o for a.
1
Let i(s) = -42*s + 592. Let q be i(14). Let v = -6 + 8. Suppose 4*y + 2*k + 2 = 0, 4*k + v + 2 = 0. Solve 0 = 5*t - y*t - 2*g + 12, 0 = -3*t + q*g + 4 for t.
-4
Suppose -34*j + 31*j + 246 = 0. Let h = -79 + j. Solve 14 = -2*a - 3*i, -h*i - 5 = 3*a + 10 for a.
-1
Suppose -7*q + 8*q = -4. Let u be 36/198 + (-48)/22 - q. Solve -21 = -0*g - 4*g - 3*o, 5*g = -u*o + 21 for g.
3
Let n(x) = 2*x**3 - 15*x**2 - 2*x - 43. Let s be n(8). Solve 2*j + 5*w + 8 = 0, j = -12*w + 9*w - s for j.
1
Let w be 6/4 + (-5)/(-10). Suppose -2*d + w*r + 10 = -2, 4*d + r = 19. Suppose t - 29 = -d. Solve 0 = b + 4*q + 3 - 0, t = 4*b - 2*q for b.
5
Suppose 10*a - 15*a = -3*y - 1041, -5*a = -2*y - 1039. Let l = 210 - a. Solve 16 = -3*d + 5*k, -d - l*k - 2*k + 28 = 0 for d.
3
Suppose 3*o - 17*o = -28. Solve -3*v + 4*v = 3*k, -v - o = -k for v.
-3
Let r(l) = -67*l + 472. Let q be r(7). Let g = 5 - 5. Suppose g = 8*y - 6*y - 32. Solve -o - z = 4, -y = 2*o + q*o + z for o.
-3
Let d be -4 - (-13)/((-78)/(-48)). Suppose 4*b + 15 = -3*n + 6*n, 0 = d*b + n - 5. Solve 4*x = -b*a - 2*a + 8, -5*a - 4*x + 20 = 0 for a.
4
Let j be (17 + 1308/(-84))/(1/(14/4)). Solve -4*s = k - 4 + 19, 0 = k - j for s.
-5
Let j(y) = y**2 - 4*y. Suppose -g - 4*g + 60 = 0. Let f be 13/3 - (-8)/g. Let l be j(f). Solve 2*t = 4*c + c + 4, 0 = l*c for t.
2
Suppose -103*l + 441 = -38 - 36. Solve l*w - 5 = 2*o, -4*o + 2 = -w - 15 for o.
5
Suppose 47*l = 50*l - 462. Suppose 10*y + 396 = -l. Let d = 69 + y. Solve -9 = -3*v, -4*v = 2*w - 0*v - d for w.
1
Let n be (16/(-12)*6/(-4))/1. Let g(z) = -4*z**2 + 8*z**2 - 16 + 9*z - 5*z**n. Let y be g(4). Solve -y*c + 5 - 1 = f, -3*f = 5*c + 2 for f.
-4
Suppose 21*m - 24*m + 37*m + 60*m = 