 4*q = r, q = 2 for b.
1
Let k be (95/(-25) - -5)*10. Let g(z) = -z**3 + 14*z**2 - 16*z - 14. Let r be g(k). Suppose -78 = l - r. Solve 4*f - 4 = -4*o + l, 0 = -3*o for f.
2
Let q = 503 + -500. Let y be -1*(-104)/6 + (-4)/q. Solve y = -4*w, 0*w - 12 = -2*p + 3*w for p.
0
Let i(r) = 25*r - 222. Let n be i(9). Solve 3*j = 3*v + n, -v - 5 = 6*j - 8*j for j.
4
Suppose -12*c + 14*c - 4 = 0. Solve -3*x = 12, 7*x - 6*x + c = f for f.
-2
Suppose 0 = 227*i - 229*i + 3760. Let c be (1/(-5))/((-94)/i). Solve -x - 7 = 5*o - c*x, -3*o - 2*x = -11 for o.
1
Let l = 5586 - 5585. Solve -7*h - l = -x - 6*h, 4*h - 4 = -4*x for x.
1
Let t = 7 + -4. Let w(l) = -l**2 + 10*l - 9. Let z = -3 + 10. Let h be w(z). Solve -2*y = -t*b, 2*b = 4*y - 4 + h for y.
-3
Let w = -114 - -121. Let y(d) be the first derivative of -d**2 + 20*d - 22. Let n be y(w). Solve 2*r + n = r - 3*g, -3*r - g = 10 for r.
-3
Let s be 1/(-4) + (-304)/64. Let o be (5 + (6 - 12))*s. Solve -2*u - 30 = 5*c + u, o*c = -2*u - 25 for c.
-3
Suppose 0 = 7*g - 5*g - 24. Let m(w) = w**2 - 13*w + 16. Let t be m(g). Solve -8 = -c - 4*i, t*c + 2*i - 1 = 3 for c.
0
Suppose 21*b - 13*b = -976. Let k = -120 - b. Solve 3*y - 2*y + k*s = 0, 22 = -3*y + 5*s for y.
-4
Suppose 5*w = -4*l + 251, 59 - 378 = -5*l - w. Suppose l = 11*v - 24. Solve -k = -0*k - 3*u - v, -10 = 5*u for k.
2
Suppose 0 = -9*w + 1934 + 190. Let f = 236 - w. Solve f = 4*b - 5*d - 10, b - 8 = -4*d + 5 for b.
5
Suppose 0 = -n + 6*b + 47, 17*n + 4*b = 14*n - 13. Solve -16*t - n*y - 28 = -14*t, -t - 12 = 2*y for t.
-4
Suppose 62*k - 293 - 1319 = 0. Suppose 14 = 10*n - k. Solve 4*f + n = -3*v - v, -4*v = 2*f + 8 for v.
-3
Let t be (-62)/(-248)*(0 - -12). Solve t*c + 14 = -2*w, -50*w + 46*w + 4*c - 8 = 0 for w.
-4
Let i(k) = -40*k - 2. Suppose -11*u = -15*u - 4. Let s be i(u). Suppose 0 = 3*x - x, 2*g - 5*x = s. Solve p + g = 3*m, 3*p - 5*m = -41 + 4 for p.
-4
Suppose -3*p - p + 56 = -4*k, 0 = -2*p - 2*k + 40. Suppose -120 = -p*h - 35. Solve h*r - z + 12 = 0, 2*r + 8 = 4*z - 4 for r.
-2
Let c = -4259 - -4263. Solve -d - c*w + 4 = 0, -4*d - 6 = -2*d + w for d.
-4
Suppose -3*y - 13 = -5*w, -y + 5*w = 8 + 13. Solve y*h = r - 16, 4*r - 4*h = h + 20 for r.
0
Let b be (21 - (-2013)/(-99))/((-4)/(-6)). Solve -2*i + 3*i - 3*a = -b, i + 5*a = -9 for i.
-4
Let g(x) = -6*x + 63. Let a(v) = 5*v - 64. Let u(f) = -2*a(f) - 3*g(f). Let k be u(8). Solve -y = -2, -z - 2 = -k*y - 1 for z.
5
Let y be 3197/973 - ((-8)/(-28) + 0). Solve 2*c = -11*t + 9*t - 2, 0 = c - y*t + 1 for c.
-1
Suppose 22*w = 9*w - 39. Let r be -2*4*w/(-4). Let n be 2/(-3) - 148/r. Solve -f - 5*j = -n, 0 = -j + 4*j - 15 for f.
-1
Let p be 2/3 - 8/3. Let q be 22/4 + 3/p. Let g(z) = z**3 - 17*z**2 - 170*z + 51. Let u be g(24). Solve -3*l - 2*l = q*x - u, 0 = 5*x - 10 for l.
-1
Let s = 1105 + -1102. Solve 5*w - 16*v = -20*v - s, 0 = -4*w - 2*v for w.
1
Let o = -4107 + 4109. Solve -8*z - o*j = -5*z + 6, -z - 4*j = 2 for z.
-2
Suppose 4*n + 64*k - 61*k = 114, -5*n = -3*k - 129. Solve 5*p - 3*j = n, 3*p + 44*j + 3 = 41*j for p.
3
Suppose -4*t - 5*p = -p - 8, -4*p = -3*t + 6. Solve 6 = -3*c, -s - 2 + 3 = t*c for s.
5
Suppose -21*l - 5*n - 29 = -24*l, 0 = -2*l + 2*n + 14. Let p be (5/(-2))/((-2)/4). Solve -7*g = -2*g + z - p, -3*z = -l*g + 3 for g.
1
Let c = 91 - 87. Let k be (22/(-6))/(c/(-12) - 0). Solve 4*w - 4*j + k + 9 = 0, 0 = 2*w - 3*j + 15 for w.
0
Let g be (-1725)/(-150)*(4 - (0 - -2)). Solve 5*z + g = t - 0*t, -2*z = 2*t + 2 for z.
-4
Suppose 3*a + 10 = 190*g - 185*g, 3*g - 5 = 2*a. Solve -5*f - 3*d = 25, a = -f - 9*d + 4*d for f.
-5
Let y(p) = -p**3 - 4*p**2 - 3*p - 7. Let k be y(-4). Suppose 115*d - n - 1 = 118*d, -d + n = -1. Solve k*a + g + 20 = -2*g, 3*g = d for a.
-4
Let j be 418/38 - (3 + 3). Suppose -t - 5*r + 5 = 0, 1 = -2*t - 4*r + 11. Solve -3*c + 4*i + 1 = 2*i, 2*i - j = t*c for c.
-3
Suppose -6*f + 2*f = -28. Suppose 3*l - 176 = f*l. Let y = l - -48. Solve r = -i + 1, -24 = y*i - 4*r + r for i.
-3
Let n(i) = i**2 + 7*i - 155. Let g be n(-17). Solve -g = 5*q + 5*j, 9*q - 11*q - 3*j - 7 = 0 for q.
-2
Let g = 4903 + -4898. Suppose 6 = 3*d - 3, 4*o - 41 = 5*d. Let w = o + -11. Solve -4*y - g*z - 28 = 0, 0 = w*y - 2*z - z - 6 for y.
-2
Let p(m) = m**3 - 8*m**2 - 112*m + 397. Let l be p(14). Solve 0 = l*f - 5*y - 15, -18*f - 3*y = -15*f - 9 for f.
3
Let b = 164 - 161. Let v be ((-10)/b)/((-14)/21). Solve -2*a + v = 5*w - 5, -10 = -5*w - 3*a for w.
2
Suppose -84 - 21 = 11*u - 46*u. Solve 4*r + 18 = -n, -3*n - n + 4 = -u*r for n.
-2
Suppose 4*o + 0 = -2*n - 80, 90 = -4*o + 3*n. Let c = o - -26. Solve 0 = -3*k + s + 10, 2*s + 10 + 8 = c*k for k.
2
Let l be (2 - (-1127)/14) + (-1)/(-2). Suppose -2*v + t + l = 78, -35 = -5*v - 5*t. Solve 2*m - 3 = -2*j + j, -2 = -v*m + 2*j for m.
1
Suppose -4*k = 3 - 23, 643 = g + 4*k. Let p = 627 - g. Solve 0*z - p = -o - 2*z, -4*z + 8 = -5*o for o.
0
Let t be 12 - (33 - 38)*16/(-10). Solve 0 = 2*p - 5 + 3, -5*b = -t*p + 29 for b.
-5
Let v = -2651 - -2659. Suppose 23 = 4*q - 3*j, 4*q - 5*j + j - 24 = 0. Suppose q*c - 3*c = 0. Solve 22 = 4*f - 5*h, -4*h - v = -c*h for f.
3
Suppose -z = 37*z. Solve x + 4 = z, 3*x + 10 = -5*c - 2 for c.
0
Let c(d) = -d + 13. Let s be c(7). Let z = 22087 + -22083. Solve -z*u + 17 = 3*a, 4*a + 2*u = -0*u + s for a.
-1
Let f = -222 - -124. Let r = f - -102. Solve -2*u + r*g + 1 = -13, -17 = -3*u + 2*g for u.
5
Let o = 24 + -12. Let a be 1 + (-12)/10 - ((-702)/(-90) + -11). Solve 0*n = -2*n + 3*u + o, 9 = n - a*u for n.
3
Let s(b) = b**2 + 7*b - 4. Let r be s(-6). Let q be 9/3*2/(-12)*r. Let v = 12 - 10. Solve q*a + 10 = -5*f, 7*f + v*a = 2*f + 5 for f.
3
Let i = -466 - -470. Suppose 0 = 4*h - 16, 0 = 2*n + 2*n - 5*h - 60. Solve t + 3 - 13 = 2*k, i*k + n = -t for t.
0
Let k be 658/141*-16*3. Let n = k + 228. Solve 25 = 5*c - 5*g, -3*c = 2*g - 6 - n for c.
4
Suppose -2*i + 3*o - 9 + 16 = 0, 0 = -i - 4*o - 24. Let s be -2 + (3 - (3 + i)). Solve s*j - 18 = -j + 5*c, 3*j - 2*c = 9 for j.
1
Suppose -4*d = 3*d - 28. Let a = 1 + d. Solve 5*g + 1 + 14 = -a*u, -4*g - 24 = -2*u for g.
-5
Suppose 6*n = 10*n - 48. Let s be (-128)/n*(-9)/6. Solve -4*a = 5*z + 36, -3*a = z - 0 + s for z.
-4
Let t = -360 + 362. Suppose 11*y - 65 = -t*y. Solve 0 = -2*z - 2*s + 16, -10 = -y*z + s - 0*s for z.
3
Let m = 159 + -154. Solve 32 = 2*l + h + 40, -2*l = m*h for l.
-5
Let v be (4 - 70/15)*75/(-10). Suppose v*r = -68 + 93. Solve 3*p = j + 2*p, -p - 6 = r*j for j.
-1
Suppose 12*n + 158 - 2 = 0. Let o = -10 - n. Solve o*q + 2*y - y = -5, -3*y - 3 = 5*q for q.
-3
Let a(p) = -77*p**2 + 857*p - 75. Let l be a(11). Solve -3*s - l = 5*n, -6 + 14 = -2*n for s.
-5
Suppose 3*s + 4*x = 1511, 6*x - 1014 = -2*s + 2*x. Let k = 499 - s. Solve k*v + 2*h - 2 = 0, 0 = 6*v - v + 2*h - 2 for v.
0
Let f(c) = 6*c**3 + c**2 + c - 1. Let v be f(1). Suppose 3*y + 10*y = 104. Suppose -y = -v*z + 6. Solve -5*a = -3*q + 14, 2*q - z = 4*a + 10 for a.
-4
Suppose -35 = 65*h - 70*h, -2*h + 41 = 3*u. Solve 3*v = -5*f - u + 2, -2*f = 4*v for v.
1
Let i = 374 + -335. Suppose -102 = i*m - 45*m. Solve -w - m = -3*k - 3, -w - k = -2 for w.
-2
Suppose 2*f + 0*b - b - 21 = 0, 5*f - 2*b - 51 = 0. Solve -6*z - 21 = -f*z + 3*q, 2*z + 3*q = 4 for z.
5
Let x be (-114)/(-9)*6/12*3. Suppose 72 = x*l + 15. Solve 4*h = 2*y - 20, -l*h = 2*y - 3*y + 14 for h.
-4
Suppose 64*i = 61*i - 1530. Let u = i + 517. Let f be 1 + -1 + (-1 - -3). Solve 3*n - 3 = 0, f*v - u*v = -n + 11 for v.
-2
Let q be (-11)/(33/54) - 2. Suppose 2*r = 12*r - 230. Let f = q + r. Solve -5*z + 25 = 0, 0 = 8*b - f*b + 5*z - 20 for b.
-1
Suppose -13*w - 3 = -42. Solve 4*h - 26 = 2*n, w*h + n + 3*n = 3 for h.
5
Suppose -9 = -4*f + 3. Suppose -2*u = g + 3*u - 38, -f*g + 2*u + 29 = 0. Let w be -1 - 0 - (4 + -9). Solve 5*i = w*x + g + 4, -2*i - 3*x = -16 for i.
5
Let f = 2001 - 1997. Solve -f*i - 8*n + 13 = -3*n, -5*i + 5*n = -5 for i.
2
Let z be (-15)/50*27/(108/(-40)). Solve -4*m - 2*d = -15 - 15, z*m - 25 = d for m.
8
Let o = -7518 - -7520. Solve -u - 4*z = -21, -3*u + u + o = -2*z for u.
5
Let i be 4*-30*14/(-336). Solve -h - 3*h + 2 = -5*c, i*c = -5*h - 20 for c.
-2
Let k(a) = 2*a**2 - 62*a + 3. Let p be k(31). Suppose 892*c - 893*c = -p. Solve -5*t + 2*m - 19 = -2*m, -c*t - 2*m = 7 for t.
-3
Suppose 4*t - 2 + 1 = -5*u, 4*t - 4*u - 28 = 0