s, f = -4*w - 0*w + 2*s + 10 for w.
1
Let g(x) = -x**3 - 2*x**2 + 8*x + 9. Let p be g(-4). Suppose 21 = -8*a + p*a. Solve 4*u + 0*u - 20 = -4*n, -3*n - 5*u = -a for n.
2
Let h(u) = 13*u**2 - 352*u + 31. Let a be h(27). Solve -3*z + a = -g + 5, 0 = -2*g + 5*z + 2 for g.
1
Let g(j) = -7*j - 8. Suppose u + 3*h - 8 = 0, -2*u - h + 3 = -3. Suppose 4*m - 3*m = -u. Let d be g(m). Solve 3*t - d = -2*l, 5*t = -8*l + 3*l + 5 for t.
4
Suppose 5*b + 236 = -i, -28 = 3*b - 2*b + 5*i. Let h be (14/(-4))/(b/288). Solve h = 4*g + q, -3*q + 13 + 2 = 0 for g.
4
Suppose 7*d = 3*d + 88. Suppose 0 = 5*g - 5*s - 75, -35 = -4*g + 3*s + d. Suppose -15 = 5*i, c = -4*c - i + g. Solve c*o - a = -15, o - 5*a = -0*a - 5 for o.
-5
Let z = 107 + -96. Let f be (-1 + 3/5)/(z/(-110)). Suppose -3*a = -10*a + 140. Solve -2*y - f*i = 10, -4*y - i - a + 0 = 0 for y.
-5
Let k(g) = -g**3 - g**2 - 6*g - 2. Let a be k(-2). Solve j - 10 = -s, 18*s - a*s - 3*j = 5 for s.
5
Let v(g) = 135*g - 1750. Let q be v(13). Solve 0 = 2*h - 5*m - 20, h - q*m = 117 - 97 for h.
0
Let n be (157 - 175)/(2/(-4)). Solve 4*x + 3*f = 8*f - n, 3*x + 20 = 2*f for x.
-4
Suppose 0*y + 1305 = 29*y. Solve 8*c - y = 3*c - 4*s, 2*s = 10 for c.
5
Suppose 10 = 8*q - 22. Let k be 80/(-12)*(-1)/q*3. Solve 4*y = -3*t - 15 - k, t - 5 = y for y.
-5
Suppose 4*g + 762 = 770. Solve 3*f = 3*m - 6*m + 3, 2*m - g = 5*f for m.
1
Let n be (-43)/(-9) + 462/2079. Solve -4*u + 5*u = w - n, -3*u = 9 for w.
2
Let r(h) = -4*h**3 - 11*h**2 + 33*h - 48. Let f(m) = -m**3 + m - 1. Let v(u) = 5*f(u) - r(u). Let n be v(8). Solve -3*x - 2 = -5*x, 3*t + x + n = 0 for t.
-4
Suppose 2*j + 2*j = 40. Suppose 19*n - 31*n = -84. Suppose 0 = -4*x - 5*r + j + n, -2*x + 4*r + 2 = 0. Solve x*i + 29 = -3*b - b, 5*b + i = -28 for b.
-5
Suppose 0 = -29*y + 36*y - 14. Suppose -25*c + 22*c + 5*r = -12, -8 = -y*c - 5*r. Solve -4*a = g - 1, c*g + 6 = 5*a - 11 for a.
1
Suppose -2*v + 46 - 237 = -3*u, -2*u - 4*v = -138. Suppose -15 = 3*q, 45*n = 50*n + 2*q - u. Solve 19 = -2*d - 4*l - 11, -n = 2*d + l for d.
-5
Let i = 1 + -1. Let h(a) = a**2 - 11*a + 35. Let j = 145 + -140. Let v be h(j). Solve -w - 8 = -2*y, i = v*w - 2*y + 7 + 9 for w.
-2
Let a = 323 - 321. Solve 0 = 5*s - 4*r + a*r, s - 2*r = -8 for s.
2
Let a = 95 - 89. Suppose -a*x + 8 = -4. Let b be 16/x*(1 - (-1)/(-2)). Solve 0 = b*r + 6*j - 5*j - 12, 0 = 3*j for r.
3
Suppose 4*y - 24 = -j, 4*y + 2*j - 5*j = 8. Let v = -28 + 35. Let p = v + y. Solve 3*l = 2*n - l - p, -n - 5*l - 8 = 0 for n.
2
Let s be ((-2)/(-4) - 4/8)/2. Suppose -4*d = -4*b - 8*d + 12, -3*b - 2*d + 10 = s. Solve -3*l + 10 = -l + 2*u, -20 = -4*l + b*u for l.
5
Let s(a) = 8*a - 34. Let q be s(6). Suppose w + 6 = -5*k, -w + 6*k = k - q. Solve 27 = w*b + b - r, 0 = -r - 2 for b.
5
Let i be (35/21 - 17)*(-7 + 1). Solve -q = -5*g + 14, -3*q = -88*g + i*g - 15 for q.
1
Suppose 12*j - 8 = 8*j. Let x = -454 + 461. Solve 2*m = -j*i + x*i + 29, 2*i + 5*m = 0 for i.
-5
Suppose 5*l = 3*b + 75, -2*b + 64 - 139 = -5*l. Solve -5*g - d = 4*d - l, 3*d = 6 for g.
1
Let h(k) = k**2 - 10*k - 14. Suppose -7 = o - 14. Let b be h(o). Let t be 56/20 - (-28)/b. Solve -3*g - 15 = -2*m, -3*m - 2*m = t*g - 9 for g.
-3
Suppose -98*r - 92 = -288. Solve -i + 3*i - r*b = -6, b = 5 for i.
2
Suppose -l + 296 = 4*c, 0 = -3*c - 3*l + 231 - 0. Suppose -23*z - 4 + c = 0. Solve -2*g = i - 10, -2*i + z + 9 = 2*g for g.
4
Let f(o) = 2*o**2 - 39*o + 175. Let m be f(7). Solve m = 2*l + 4*h + 2, 4*l - 34*h + 31*h - 7 = 0 for l.
1
Suppose -6 = -4*m - 3*g, -13*m + 2 = -12*m + g. Solve -22 = -2*a - 4*o, m = -3*a - o + 7 + 6 for a.
3
Let o be 88/(-10)*(-85)/(-34). Let l = 24 + o. Suppose 0 = c - 18 - 4. Solve l*j + c = -4*s - 3*j, -2*s = j + 8 for s.
-3
Suppose -172*h - 3*w - 15 = -169*h, -5*w - 25 = 3*h. Solve -5*d - 3*z - 16 = h, 2*d - 9*z + 5*z = -22 for d.
-5
Let w be 10/((-30)/(-81)) + (-4)/(-1). Solve 0 = t - 4*o + 23, w = -2*t - 0*t + 5*o for t.
-3
Suppose 0 = 10*a + 28*a + 10*a. Solve a*n - v = -2*n - 3, -4*v = -12 for n.
0
Let b(q) = -q**3 - 36*q**2 - 63*q + 175. Let w be b(-34). Solve 5*n = 2*y - 160 + 156, -2*n + 3*y + w = 0 for n.
-2
Let m be (16/8)/((-1)/(-3) - (-22)/(-102)). Solve 16 = -2*k - 3*z, k - 5*z = m + 1 for k.
-2
Let y(w) = w**3 - 12*w**2 - 47*w + 39. Let c be y(15). Suppose -5*v = 4*n - 19, 3*n + c = 3*v + v. Solve 0 = s + z, 4*s + z - 2 = n for s.
1
Suppose 2*x = -2*i, 11*i = -x + 16*i + 30. Solve -3*s = 4*r + 17, -s - 3 + 10 = -x*r for s.
-3
Let n = 11 + -20. Let c(y) = -2*y**2 - 13*y - 31. Let f be c(n). Let q = -72 - f. Solve 2 = -5*m + 5*g - 13, -q*g = -2*m - 2 for m.
-5
Let u(v) = -9*v + 18. Let z be u(-5). Let w = z - 53. Let h(j) = j - 7. Let m be h(w). Solve 0 = -x - l - l - 2, -2*l = -m*x + 10 for x.
2
Let h(r) = r**2 - 10*r + 14. Let x = 80 - 68. Let l be h(x). Let o = 42 - l. Solve 2*w - 4*p - 2 = 0, -5*p + 3*p - 26 = o*w for w.
-5
Let y = 70 - 73. Let u be (-9*1)/y + -1 + 3. Let l(j) = j**3 + 3*j**2 - 6*j - 5. Let k be l(-4). Solve -2*c - k*r = 16, -2*r - 3 - 15 = u*c for c.
-2
Suppose 4*b - 2 = -y + 4, -2*b = -5*y - 14. Let f(k) = -4*k - 3. Let h be f(y). Suppose 0 = -15*m - 124 + 199. Solve p - 6 = -2*p, h*p = -m*d + 5 for d.
-1
Let t be (8/10)/(-4) - 532/(-35). Let z be -3 - (12/t)/((-6)/45). Solve -2*l + 7*l = -4*g - z, 3 = -l for g.
3
Let g be (-590)/354*(0 - (-12)/(-10)). Solve -g*o - 3*r - 14 = 0, -3*o = -o + 5*r + 22 for o.
-1
Let d be 1 - 1*(2 - 8). Let x = 10 - d. Solve 5*c = 2*w, x*c + 0*c = 0 for w.
0
Suppose 5*y - 35 = -5*d + 2*y, -3*y + 28 = 4*d. Let v(o) = 17 - 31 + 7*o + d + 21. Let i be v(-2). Solve 3 - 13 = 2*k + 4*h, h = i for k.
-5
Suppose -524 = -4*f - 4*m, 3*m = 2*f + 4*m - 262. Suppose -42*z + 163 + f = 0. Solve -z = 4*k + s - 6, -s - 3 = 2*k for k.
1
Let g = -23079 + 23091. Solve 0 = t - 2*f - 7, -3*t - 2*f - g = -5*t for t.
5
Let w(c) = -c**3 - 10*c**2 - c - 10. Let l be w(-10). Suppose -8*g - 52 + 92 = l. Solve -5*f + 14 = 3*b, -f = g*b + 3 + 3 for f.
4
Let v be 115/(-1610) + 2/28. Solve -5*x + v = -4*h - 12, -5*h - 15 = -2*x for x.
0
Suppose -6*h + 7*h = 18*h + 27*h. Solve -2*x = -y + 4, 0 = -2*x + 4*y + 2 - h for x.
-3
Let k(n) = -51*n - 1629. Let i be k(-32). Solve -2*b - 66*p - 6 = -70*p, -i*p = -6 for b.
1
Let q be (-1)/(-3)*-49 + 15/45. Let b be (-12)/q*(-16)/(-12)*6. Suppose 8 = b*y - 16. Solve 0*u - u = -4*o + 4, y*o + 5*u + 20 = 0 for o.
0
Suppose -4*l = -19 - 17. Let x be 4/((l/(-18))/(1/2)). Let b be 2/(x*(-5)/40). Solve b*i - 13 = d - 3, 7 = -d + 3*i for d.
2
Let b = -9530 + 9533. Solve -j = -4*n - 1, 0 = b*j + 2*j + n - 26 for j.
5
Let w be (-6 + (-216)/(-42))/(3 + (-168)/49). Solve 0 = -2*t + 5*x - 18, -24*x - 2 = w*t - 21*x for t.
-4
Suppose 2*c = -2*o + 4, 5*o + 5 = -2*c - 0*c. Suppose 2*h - 28 = 9*s - s, 40 = 5*h - 5*s. Solve c*j - 4*j + 6 = -2*z, -2*j - h = z for z.
-2
Let q = 112 + 37. Let j = -132 + q. Solve 2*o = -5*x + 4*o - j, 0 = -3*x - 3*o - 6 for x.
-3
Let t(q) = 8*q**2 - 60*q + 34. Let p be t(7). Solve 4*d = -2*b + p*b + 20, d = 4*b + 11 for d.
3
Let n(l) = -31*l - 711. Let v be n(-23). Solve -2*s = -v*m + 7 - 1, -4*m = -5*s - 16 for m.
-1
Let j(q) = q**3 - 48*q**2 + 49*q - 90. Let x be j(47). Solve -3*s + 0*t - 1 = 2*t, 0 = 5*s - x*t + 9 for s.
-1
Let w be (-22 + 12 + 10)*-1. Solve w = 4*a - 2*o - 16, 3*o + 7 = -a + 4 for a.
3
Suppose 0 = 5*z + 15 + 55. Let v = -9 - z. Suppose 0 = v*o - f - 26, 3*o - 2*f = -f + 16. Solve -5*k = -5*u - 5, -5*k - o*u = -3*u + 23 for k.
-3
Suppose 3*b + 4*b - 9*b + 10 = 0. Let r be 4/10 - 72/(-45). Solve 4*d + 4*q = 0, 3*d - 15 = r*q - b for d.
2
Let u(z) = 182 + 60 - 43 + 2*z + 41 - z**2 - 5*z. Let f be u(-17). Solve -4*b = f*a + 18, -7 = 3*b + 5 for a.
-1
Suppose 3*t - 7 = -2*l, -3*l + 4*t = 3 - 5. Suppose l*o + 4 = -110. Let i = o - -61. Solve -i*y + 5*q = -14 - 1, -3*y + 17 = 2*q for y.
5
Suppose 5*u + 5*s = -5, 4*s = -5*u + 7*u - 10. Let o be u/(3/(0 + 9)). Suppose -o*l - 3 = -4*l. Solve 3*i + 4 - 1 = -3*n, -3 = l*i for n.
0
Let d = -7851 + 7854. Suppose -7 = -2*v + l, -4*v - 5*l = -0*v - 7. Solve d*z - v*c = 6, z - 6*z = 5*c + 10 for z.
0
Suppose 0*q = 17*q - 49*q + 480. Solve -3*y - q = 0, 4*m + 154 = y + 151 for m.
-2
Let y(r) = -r**2 + 25*r - 112. Suppose -3*b = 11*i - 6*i - 36, 14 = 4*i - 5*b. Let n be y(i). Solve 3*o + 2*o = v, -v + n*o - 3 = 0 fo