 1 for s.
1
Let c(g) = -g + 22. Let x be c(-11). Let w = 39 - x. Solve -w = -u - 3 for u.
3
Let a(j) = j**2 + 4*j - 6. Suppose 0*b = 5*b - 2*q + 53, 0 = -3*b - 5*q - 7. Let r(i) = 2*i + 12. Let h be r(b). Let u be a(h). Solve -2*n + u = n for n.
2
Let d(a) = -2*a + 22. Let w be d(10). Solve -w + 5 = q for q.
3
Let c(f) = 3*f**3 - 44*f**2 + 38*f + 40. Let y(h) = h**3 - 15*h**2 + 13*h + 13. Let d(j) = 2*c(j) - 7*y(j). Let g be d(16). Solve -b - g = 4*b for b.
-1
Suppose -2*f + 4*z + 16 = -18, 5*f = -4*z + 57. Solve 5*m + f = 18*m for m.
1
Let r = 743 + -727. Solve h = -7*h - r for h.
-2
Suppose 0 = 7*o - 4*o + 6, -5*o - 7 = 3*p. Solve -p = 3*x + 2 for x.
-1
Let y be ((-117)/6)/((-2)/4). Let p = y - 30. Solve p = 3*n - 0 for n.
3
Suppose 4*c - 25 = 3*v, -6*v = -c - 8*v + 20. Solve 4*p - c = 2 for p.
3
Suppose -39 - 19 = -29*i. Solve -7*d = -i*d + 25 for d.
-5
Let a(p) = p + 4. Let l(v) = -3*v - 15. Let j(i) = -22*a(i) - 6*l(i). Let z be j(-2). Suppose -h = -5*t - 13, z = 4*h - 3*t + 4*t. Solve -h*q - 20 = -7*q for q.
5
Let o = 136 + -134. Solve 8*b + 12 = o*b for b.
-2
Suppose 0*p - 2*p + 4 = 0. Suppose 4*g = -4*q + 20, p*g + q - 35 = 4*q. Let w be g/3*51/34. Solve w*j - 24 - 1 = 0 for j.
5
Let a be 7 - 9/3 - -4. Suppose z - a = -3. Let n be (z + -6)/((-3)/9). Solve 0 = 5*j - 22 - n for j.
5
Let u be ((-20)/(-5) - 2) + (-1)/(-1). Suppose 3*s = -g - 1, 2*s - u = -g - 1. Solve -4*r + g*r = -8 for r.
-2
Let o(x) = -x**2 - 12*x - 6. Let c be o(-11). Suppose -c*m + 5 = 0, 2*s + m - 6*m = -17. Let u = 18 + s. Solve k = -3*k - u for k.
-3
Let d be (2/(-2))/(((-56)/21)/8). Solve -d*g - 8 = -5*g for g.
4
Suppose 0 = -6*y + 2*y + 44. Solve -2*o + 3 - y = 0 for o.
-4
Suppose 0 = 2*j - 7*j + u + 13, -23 = -4*j + 5*u. Suppose 3*x - 30 = j*x. Suppose -15*w + x = -13*w. Solve -5*a + w = -2*a for a.
5
Suppose -4 = 2*k - 3*k. Suppose 45 = -5*o + 3*v, k*v - 24 - 8 = 2*o. Let u be 3/((-2)/o*3). Solve -2*r = -r - u for r.
3
Let i be (-3)/(-2)*24/9. Let r(t) = -8*t - 16. Let d be r(-2). Solve d = i*o + o - 5 for o.
1
Let o(a) = a**2 + 17*a + 2. Let k be o(-17). Suppose -3*b + 12 = -2*x - 6*b, -k*b - 8 = -x. Solve x = -5*s - 34 + 14 for s.
-4
Suppose -y + 3 = 1. Suppose -26 = -5*w - 3*g + 74, 3*w = y*g + 60. Solve 0 = 5*z - 5 + w for z.
-3
Let f(v) = -2*v + 14. Let n be f(6). Suppose n*b + 7 = b. Let r(p) = -p**2 - 11*p - 13. Let d be r(b). Solve d = 2*s + s for s.
5
Let l be ((-18)/15)/(8/(-140)). Let z = 21 - l. Suppose -3*r + 9 - 3 = z. Solve -p = -r*p for p.
0
Suppose 64 = -8*q - 152. Let x = q - -32. Solve -g + x - 1 = 0 for g.
4
Let l(n) = 2*n + 23. Let r be l(-8). Let s(y) = y**3 + 2 + 0 + 0 - 7*y - 6*y**2. Let z be s(r). Solve -b - z*b = 0 for b.
0
Let l(a) = a**2 + a + 6. Let q be l(-2). Solve -q*n = n + 36 for n.
-4
Let a(f) = -3*f - 11. Let t = 16 + -11. Let p(c) = -c**3 + 5*c**2 - 5. Let i be p(t). Let d be a(i). Solve -2 = d*r + 2 for r.
-1
Suppose -53 = 5*b + 5*y + 37, b - y = -22. Let p = b - -20. Solve 2*v + 3*v + 20 = p for v.
-4
Let y be -3 + (0 - -3) + -1. Let q = 3 + -8. Let b be 5/25 - y/q. Solve b = 3*s + s - 8 for s.
2
Let c be (-3)/(-12) + (-5)/4. Let b(r) = r**2 - r + 1. Let k(i) = 7*i**2 - 3*i + 2. Let h(o) = -3*b(o) + k(o). Let a be h(c). Solve a*n + 4 = -11 for n.
-5
Suppose 5*d = a + 29, -18*d = -21*d - a + 19. Solve 10*f = d*f + 4 for f.
1
Let q = -144 + 159. Let j be 20/6*(-6 + 117/q). Solve j*o = o + 15 for o.
3
Let s(m) = -m + 10. Let q be s(8). Let z(d) = 4*d - 5. Let g be z(q). Solve -3 + 0 = -g*u for u.
1
Let l(j) = j**3 - j**2 - 3*j. Suppose -614 = 5*f - 19. Let q be (6/(-14))/(17/f). Let w be l(q). Solve 2*k = -k - w for k.
-3
Suppose 16*y = 3*y + 208. Solve 4*s + 20 = y for s.
-1
Let m = -65 - -66. Let r be (-4)/(m + -3*1/2). Solve -r*x - 15 = -11*x for x.
5
Let q be -1 - 1 - (-101 + (-4)/(-2)). Solve 94*t = q*t for t.
0
Let l be ((-8)/6 + -1)/(1/(-3)). Suppose 0 = -l*g + 3*g + 12. Solve g*y - 2 - 10 = 0 for y.
4
Suppose -m = 5*o + 13, m + o = -3*m - 33. Suppose 25 = z + 1. Let k be m/z - 32/(-6). Solve -k*q + 16 = -q for q.
4
Let s(i) = -i**3 + 4*i**2 - 6. Let j be s(2). Suppose 2*m - 20 = -m - 5*g, -3*m - j*g = -8. Solve 2 = v - m for v.
2
Let b be (-8 - 204/(-27))*-45. Suppose 0 = -4*v + 5 + 7. Solve s - b = -v*s for s.
5
Suppose -3*i + 61 = 3*l + 43, -3*l + 3 = -2*i. Solve 0 = -40*n + 37*n + i for n.
1
Let w(a) = a**3 + 9*a**2 - 13*a - 4. Let z be w(-10). Let j be z/4 + (-3)/6. Solve -u = u + j for u.
-3
Suppose 2*x - l - 10 = 0, 0 = -0*x + 2*x - 5*l - 26. Let d = 6 - x. Let y = -423 + 424. Solve -a + y + d = 0 for a.
4
Let r(a) = a**2 - 20. Let p be r(0). Let z = p + 28. Let d(q) = q**2 - 8*q + 10. Let v be d(z). Solve -v = -b - b for b.
5
Let c(n) = 7*n**3 - 25*n**2 - n + 17. Let y(t) = -t**3 + t**2 - 1. Let m(w) = -c(w) - 6*y(w). Let d be m(19). Solve 5*r - d = 12 for r.
4
Let x(f) = f**3 - 8*f**2 + 3. Let i be x(8). Let d(o) = o**3 - 3*o**2 + o + 2. Let y be d(i). Solve y = t + 4 for t.
1
Let v = -240 - -240. Suppose -h - 2 + 6 = 0. Solve -h*i + v*i = 12 for i.
-3
Let p(k) = -k - 2. Let q be p(-12). Solve -1 - q = 11*a for a.
-1
Suppose 16*a - 24*a + 208 = 0. Solve -6*f - 4 = a for f.
-5
Let h(k) = k**3 - 17*k**2 + k - 5. Let j be h(17). Solve i - j = -9 for i.
3
Suppose 4*c = 2*d - 0 + 10, -3*c + 4*d = -10. Suppose 0 = j - 6 - c. Solve -o = 3*o + j for o.
-2
Suppose -18 = d + 5*u, -4*d + 16 = -10*u + 8*u. Solve 0*k = d*k - 5*k for k.
0
Let v(t) = -t**2 + 13*t + 179. Let d be v(20). Solve 11*j + d + 5 = 0 for j.
-4
Let l(s) = 13*s - 37. Let g be l(11). Let c = g - 90. Solve m = 5*m + c for m.
-4
Let i(q) = -q + 9. Let g be (2 + 2 + 9)/1. Let j be i(g). Let l(m) = -m**2 - 4*m. Let c be l(j). Solve c*u = -2*u for u.
0
Let s = 2 + -11. Let y be s + 10 - (-3 - 1). Solve -4*l + y = -9*l for l.
-1
Let x = 150 + -70. Let r = 86 - x. Solve r = -q + 2 for q.
-4
Suppose -4*z = -2*s - 4, -z + 3*z + s + 2 = 0. Suppose -1 = 5*h - 4*a - 3, z = -2*h - 5*a + 14. Solve 4*v + 8 = h*v for v.
-4
Let i(t) = t**3 + 13*t**2 - 13*t - 1. Let j be i(-14). Let c = j - -30. Solve -f - 4*f - c = 0 for f.
-3
Let k = -3 - -5. Let x(c) = 3*c**3 - c**k + 6*c**2 - 2*c**3 + c**2 + 2*c. Let y be x(-5). Solve i + y = -2*i for i.
-5
Let b = 130 - 116. Solve l - 11 = -b for l.
-3
Suppose g - 2*y + 5*y + 7 = 0, 2*y = g - 8. Suppose -g*r - 37 = -41. Solve -r*j + j = 4 for j.
-4
Let y = 83 - 88. Let b be (y + 207/27)*(-6)/(-4). Solve 6*r + b = 7*r for r.
4
Let o be (28/10)/(6/15). Solve 22*u + 60 = o*u for u.
-4
Suppose -17*q = -15*q - 3*m - 12, 4*m = -8. Solve -4 - 2 = -q*z for z.
2
Suppose -28 = 2*d - 0. Let w = d - -16. Solve w*f - 1 = -3 for f.
-1
Let u be -1*2/2 + 4. Let t be (27/6 - 3)*2. Suppose 2*j - u = g, -3*g = j - 8*g + t. Solve 2*h + j = -0 for h.
-1
Suppose -7*r + 2*r + 63 = 4*q, 54 = 2*q - 2*r. Solve -8*f - q = 2 for f.
-3
Suppose -2*p + 39 = 35. Solve 3*z = p + 10 for z.
4
Let t(a) = 8*a - 76. Let n(q) = 3*q - 25. Let b(u) = 11*n(u) - 4*t(u). Let j be b(-26). Solve -6 = j*l - l for l.
-3
Let o be (42/(-5))/(-14)*5. Let v = 10 + -5. Suppose c - v*c = -8. Solve -z - o = -c for z.
-1
Let b = -16 + 27. Suppose b + 29 = -4*a. Let s = a + 12. Solve -q + s*q - 4 = 0 for q.
4
Suppose -12*u + 160 = -2*u. Let k(a) = -a**2 + 7*a - 3. Let t be k(6). Solve z = -t*z + u for z.
4
Suppose -3*q + 39 = 33. Suppose -4*v + 12 = 2*n, -n - 4*v = -3*n - 4. Solve -n*a - 4 - q = 0 for a.
-3
Let m = -2 - -4. Let y(c) = 2*c**2 + 10*c + 22. Let j be y(-4). Solve -m = -4*z + j for z.
4
Let r(z) = 0 - 8 + 1 - z**2 + 2*z**2 - 3*z. Suppose x + 3*n = -4, 2*x - 6*x = -2*n - 26. Let a be r(x). Solve 0 = -2*q - a*q + 10 for q.
2
Let j = -35 - -71. Solve -7*p = 2*p + j for p.
-4
Let o(j) = 32*j - 32. Let x be o(1). Solve -4 = v - x for v.
-4
Let q(f) = f**3 - 5*f**2 - 3*f - 6. Let w be q(6). Let i be (-2)/(-4*2/w). Let z be (-4)/2 + 16/(-40)*-10. Solve -z*n = i*n for n.
0
Let j = 190 + -187. Solve 2*p = -p - j for p.
-1
Let u(j) = -12 - 24*j - 2 + 25*j - 7. Let x be u(22). Solve 3*r = x + 14 for r.
5
Suppose -3*l = 15 - 9, -4*l - 32 = -4*p. Solve -p*u = -7*u for u.
0
Let a(p) = -3*p**2 + 5*p + 32. Let l be a(0). Solve -27 = 5*y - l for y.
1
Let k(m) = -m**3 - 6*m**2 - 2*m - 6. Suppose 2*n - 2*b + 17 + 1 = 0, 0 = -n - 2*b. Let u be k(n). Let a be ((-3 - 1) + 4)/2. Solve a*y - u =