r s.
0
Suppose 4*x = 53 - 29. Suppose 0 = i - x*i + 10, -i = 2*s - 8. Suppose 0 = -4*r + 5*r - s. Solve 2*b - 3*b + 7 = 4*t, 3*t + 6 = -r*b for t.
3
Let f(c) = 33*c - 1449. Let n be f(44). Solve 4*m + 2*a = -4, n*m = a + 4*a - 16 for m.
-2
Let n be (-2)/15 + 3157/615. Solve u = n*z - 5, 2*u = 7*u - 4*z + 4 for u.
0
Let k = -10 - -124. Suppose -157*l - k = -163*l. Solve 2*a = 3*x - l, 2*a - 2 - 19 = -5*x for a.
-2
Let d(c) = 132*c**3 - c - 4 - 6 - 133*c**3 + c**2. Let t be d(-2). Solve 2*h + 2*k - t = 0, 4*h + k + 1 = -0*k for h.
-1
Let r be 0/((-332)/(-249)*18/8). Solve 4*c + r*c + 16 = 0, 0 = t + c + 4 for t.
0
Let x(s) = -32*s - 30. Let m be x(-1). Solve 16 = m*n + 4*y, -2*n + 2*y - 8 = 2*n for n.
0
Suppose 31*n - 25*n = 30. Suppose 2*k = -4, -n*k = 5*d - 3*k - 11. Solve 4*s = -4*p + 12, -4*p + 0*p = -d*s + 16 for p.
-1
Let x = -27352 + 27363. Solve 61*s + 5*j = 63*s + 10, x = -s + 4*j for s.
5
Let l(o) = o**3 + 11*o**2 + 14*o - 6. Let z be l(-7). Let j = -53 + z. Let u = j - 36. Solve -2*d - x + 3*x - 10 = 0, -u*x = -15 for d.
0
Let i be 5/(-3)*33*24/(-660). Solve 2*t + 2*v = i, -4*t - v = v + 6 for t.
-4
Let a be (4 - (-2)/3)*15. Let x = a - 50. Suppose z + 6*u = u + x, -z - 1 = -2*u. Solve -4*i + 6*i + 5*g = -21, -z*g = i + 18 for i.
-3
Suppose u = -l + 7 - 4, -4*l = 2*u - 12. Solve -4*k = -a - 4 + 6, u = -2*a + 2*k + 4 for a.
2
Let u = 8873 - 8870. Solve -j + u = -4*n, 6 = 3*n - 5*j - 13 for n.
-2
Let w be 2 + 6 + 3*(-4)/12. Suppose 0 = w*m - 0*m - 112. Let v = 61 + -56. Solve v*d + 2 - 21 = -3*h, -4*h - 2*d = -m for h.
3
Let b = -434 - -252. Let x = -182 - b. Solve 2*o = 3*o + 1, x = -3*t + 5*o + 8 for t.
1
Let a = 430 - 420. Suppose -95 = -21*n + a. Solve -n*x + 35 = 2*r - 0*r, 5 = r for x.
5
Let a(w) = -19*w + 147. Let q be a(7). Suppose -q*c = -53 + 11. Solve 9 = -k - c*k - y, -5*k - 10 = y for k.
-1
Let s be (-1072)/(-36) + 16/72. Suppose -s = -5*p - i, -20 = -8*i + 4*i. Solve 5*f - p*k = -5, 2*f + 5 = 6*f + 5*k for f.
0
Let f = -923 + 928. Solve 2*h - 17 = f*r, 3*h - 20 = 5*r - 2 for h.
1
Let l = 22961 + -22952. Solve -33*o + 34*o + 13 = -3*p, -3*o + l = -3*p for o.
-1
Suppose -7*n + 4*n = 2*d - 8, -5*n + 12 = 3*d. Suppose 4*t - 4*s = -d, 5*t - 11 = -3*s - 0. Solve -5*i = 5*o - 6*i + t, -3*o = -5*i + 5 for o.
0
Let o(z) = -z**3 - 18*z**2 - 32*z + 2. Suppose 0 = -2*d + d + 3*l - 7, -5*l = 5*d + 95. Let g be o(d). Solve -g = -2*b + x, 5*b - x = -4*x - 17 for b.
-1
Let f(o) = 2*o**3 - 10*o - 12043*o**2 - 17 - o**3 + 12049*o**2. Let w be f(-7). Solve 2*q + 4 = -4*g, -5*q + w*g - 5*g + 17 = 0 for q.
4
Suppose 58 = 5*r + j, 5*j + 6 = 5*r - 4. Solve 4*y + 3*a + 27 = 0, r*y + 30 = 5*y - 3*a for y.
-3
Let q(n) = 15*n**2 - 439*n + 534. Let o be q(28). Solve 22 = -2*b - 3*g + 33, -o*g = b - 6 for b.
4
Suppose -146*i + 36 = -147*i. Let k be (i/(-60))/(2/10). Solve 3*h - 10 = 2*x + h, k*h = -4*x - 13 for x.
-4
Suppose -4*l - o + 17 = 2*o, -l + 2*o + 7 = 0. Let k be (-2 - (l + -4))/(-1). Solve -k*a - 2*m + 19 = 0, -2*a = 5*m - 44 + 13 for a.
3
Let a be 30/5 + 0 - (0 + 1). Suppose -19*n = -4*j - 21*n + 4, -j - 1 = n. Solve -a = 4*k - 3*d - 19, j*k - 2*d = 11 for k.
5
Let y(t) = t**3 + 3*t**2 - 29*t + 9. Let s be y(0). Solve 0 = -5*w + 3*w - 3*j + s, -2*w - 5*j = -11 for w.
3
Suppose 0 = 9*r + 26 - 44. Solve -3*d - 11 = -4*w, 4*d - 7*w + 10*w = r for d.
-1
Let o(t) = -t**3 - 18*t**2 - 30*t + 35. Let z be o(-16). Let b be 180/7 - 2/(-7). Let v = -13 + b. Solve -5*p + z*j = 3, -j = -p + 4*p + v for p.
-3
Let o(t) = -2*t**3 + 2*t**2 + 2*t - 1. Let x be o(3). Let w = x + 5. Let r = w - -28. Solve 0 = 3*c + r*v + 2, 2*c + 0*c + 5*v + 5 = 0 for c.
0
Suppose -674*q = -1348*q + 682*q - 192. Solve w + 19 = -2*g + 5, 0 = -3*g - 2*w - q for g.
-4
Let v(r) = -4*r - 120. Let h be v(-30). Suppose h = 5*l - 52 - 18. Solve -4*m = w + w + l, 13 = -3*w + 2*m for w.
-5
Let v be 12/(-3 + 9) - -4. Suppose z - 20 = 3*u, 4*z = -2*u + v*u + 56. Solve -3*n + 9 = -4*f + 20, 5*f - z = n for f.
2
Suppose 3*v + 1 = 4*v. Suppose v = 6*q - 5. Suppose -f - 16 = -4*b, f + q + 3 = b. Solve f = 5*i - 4*x + 1, 7 = i - x + 2*x for i.
3
Let q = 6087 - 6081. Solve -2 = -3*r - 4*a + 6, -r + 2*a = -q for r.
4
Let o = 107 - 104. Suppose 3*s + s + 4*h = 24, 0 = -3*h + o. Suppose -3*a = s*a. Solve -2*x - 5*r - 16 = 0, 0 = -5*x - a*r - 2*r - 19 for x.
-3
Let l = -1095 - -1098. Solve -5*t + l*t - 5*z + 2 = 0, 0 = 5*z for t.
1
Let l(j) = 5*j**2 + 5*j - 6. Let f(r) = -3*r**2 - 3*r + 4. Let q(p) = 8*f(p) + 5*l(p). Let n be q(-2). Solve -3*c = -3*h + 6 + 3, 6 = n*c + 2*h for c.
0
Let s(p) = p**2 + 6 - 4 + 7*p + 6. Suppose 0 = -22*b + 21*b - 8. Let q be s(b). Solve 3*l - 3 = -3*c, 3*l = -l + 2*c + q for l.
3
Let n be (-21)/(((-4)/(-2))/(-6)). Let x be n/13 + (-8)/(-52). Let s(i) = -i**3 + 2*i**2 + i - 2. Let t be s(1). Solve -c + t = -2*o - 2, 10 = 5*c + x*o for c.
2
Suppose -14*t = -27*t - 13. Let j be (-5 - 3/t)*-2. Solve 0 = j*s + u - 20, s - 2*u - 5 = -4*u for s.
5
Let g be ((-2)/6)/((-7)/(-42)). Let o(u) = -3*u - 4. Let w be o(g). Suppose -m = 2*j - 9, w*j = 5*m - m - 16. Solve 6*h - 11 = h + j*l, 0 = -h - l - 2 for h.
1
Let i(s) = s**3 - 10*s**2 - 6*s - 37. Let g be i(11). Let p(n) = n**3 - 17*n**2 - 15*n - 52. Let d be p(g). Solve 2*o = -2*h + 8, -2*o - h - d*h = -13 for o.
-1
Let c = 111 - 198. Let r = -82 - c. Solve -5*p + 3 = -a + 3*a, -r*a - 10 = -5*p for p.
1
Let y(f) = -f**2 - 13*f - 18. Let u be y(-11). Solve -4*n + 32 = u*h, -4*h = 5*n - 2*n - 28 for h.
4
Let i(c) = -48*c - 1379. Let m be i(-29). Solve f = -2*r + 15, -r - m*f = -9*f - 25 for r.
5
Let z = 62 - 9. Suppose 0 = -3*j - 2*o + 667, 0 = -j - 5*o + z + 152. Suppose -9*c - j = -18*c. Solve -3*k - y = 15, 5*k - 4*y = -2*y - c for k.
-5
Let v(p) = 7*p + 9. Let d = 277 + -138. Let f = d + -140. Let h be v(f). Solve -4*r - 2*c - 28 = 0, -r - 6 - 7 = h*c for r.
-5
Let f(w) = w + 11. Let t be f(-11). Let l be t/((-1)/2*(9 + -5)). Solve g - 4*i - 1 = -l, -3*g - i = -16 for g.
5
Let b(c) = 6*c + 2. Let v be b(1). Let i = -325 - -199. Let u = i - -128. Solve 2*k + 3*k = 3*z - 7, -3*k - v = u*z for k.
-2
Let o be ((-840)/70)/(1 - -1). Let g be (2*(-5)/o)/(5/6). Solve -g*x + w - 2 = 0, 2*x - 8*w - 22 = -13*w for x.
1
Let q be 4 + ((-4)/10)/((-2)/5). Let l(h) = 2*h**3 - h**2 + 31*h - 30. Let z be l(1). Solve 5*f = -n + q, -2*f + 5*f + z*n = -4 for f.
2
Let w(x) = x**3 + 3*x**2 - 2*x. Let l be w(-2). Let g be ((-1)/3)/(627/495 - (-12)/(-9)). Solve -7 = -3*b - g*c, -3*b - 3*c = -l*b + 23 for b.
4
Suppose 41*v = 45*v + 5*a - 3, -a + 9 = 5*v. Solve 10 = -5*b + v*q, -b = 3*b - q + 5 for b.
0
Let t(i) = 121*i + 2. Let h be t(0). Solve 2 = -j + 3*f - 5, -8 = -j - h*f for j.
2
Let x = 35255 + -35255. Let z(w) = 6*w - 1. Let y(l) = l**3 - 4*l**2 - 6*l + 7. Let q be y(5). Let j be z(q). Solve -7 = -a + 3*f, x*a - 5*f - j = -2*a for a.
-2
Suppose 10*f - 19*f = 810. Let h be (3/18*-1)/(3/f). Solve -t + 3*t = x + 3, -t = -h*x + 12 for t.
3
Let b = -1208 - -1213. Solve -5*o - 5 = -0*x - b*x, -5*x = -2*o - 17 for x.
5
Let h = 4002 - 3994. Solve -3*v + 15 = -3*b, 24 = 2*v - 4*b + h for v.
2
Suppose -27*t + 20*t = -1008. Suppose 137*r = t*r - 21. Solve -g = -2*v - 2, -5*v + 19 - 2 = r*g for v.
1
Let n(r) = -r**3 + 3*r**2 + 5*r - 13. Let j be n(4). Suppose -3*f - 18 = -4*d - 6, -3*d = 4*f + 16. Let m = f - j. Solve -l = 0, -m*v = -0*l + l + 5 for v.
-1
Suppose 3*k + 25 - 7 = 0. Let c(y) = 7*y - 14. Let p be c(k). Let b = 56 + p. Solve b = -3*i - 5*u + 10, u + 2*u + 3 = 0 for i.
5
Let g(j) = -j**2 - 2*j + 31. Let i be g(-7). Let t be (i/(-16))/((-8)/(-416)). Let l(m) = 3*m - 37. Let r be l(t). Solve -3*k - 2 = 1, r*f + 3*k + 11 = 0 for f.
-4
Let g(y) = y**3 + 44*y. Let t be g(0). Let k = 21 + 3. Solve 5*x + 5*r - k = 16, t = -3*x - 5*r + 32 for x.
4
Let j(g) = -g**3 - 7*g**2 - 7*g + 2. Let w be j(-6). Suppose -w = -3*z + 4. Let h(l) = 2*l + 4. Let s be h(0). Solve -p + r = -z*r - 20, -r - s = 4*p for p.
0
Suppose 9*a - 23 - 472 = 0. Let i = -40 + a. Solve l = d + 4*l - 4, 5*l = i for d.
-5
Suppose 4*o - 22 = 2*g, 0 = 3*g + 13 - 10. Solve -37*s + 40*s = o*x + 15, -20 = -x - 4*s for x.
0
Suppose -3*i + 3*u = -60, 3*i + 3*u = 1229 - 1169. Solve -20*g + 4*f = -24*g, 0 = 5*g + f + i for g.
-5
Let n(t) = t + 2. Let q(c) = c - 4 + 0 - 1 + 9. Let d(r) = -4*n(