4 = 5*z - 22, 0 = -n + r*z - 19 for n.
-3
Let f(r) = r**3 + 4*r**2 + 4*r + 2. Let g(d) = -2*d - 16. Let c be g(-7). Let w be f(c). Solve 3*y + 3*t + t = -1, 2*y = w*t + 18 for y.
5
Let j(x) = 2*x**2 - 3*x - 3. Let m be j(4). Solve 0 = 5*k + 4*y + m + 14, -y = 4 for k.
-3
Let w be 2/(-2)*1*-1. Suppose -6 = -2*k - 3*o, -o = -5*k - 1 - w. Suppose 0 = -5*n - k*n + 100. Solve 0 = 3*h - 3*x + 9, 5 = 3*h + 3*x + n for h.
-4
Suppose 64 = 6*t - 56. Solve 5*w + 14 = -2*h, 5*h = -9*w + 4*w - t for w.
-2
Suppose 3*l = 3*r - l - 29, r + 3*l - 14 = 0. Let j = r - 4. Suppose 2*t + 10 = j*t. Solve 0 = t*a - 4, -m = m - 2*a - 6 for m.
5
Let k(g) = -g**3 - 3*g**2 - 2*g - 1. Let x be k(-3). Solve -p - 26 = -2*z + 3*p, 0 = 2*z + x*p + 10 for z.
5
Suppose -6 = f + 2*f. Let q be (-40)/15*3/f. Solve -3*d + 2 + 2 = k, -2*d = q*k - 6 for k.
1
Let t be (3 + 4)/(1/2). Suppose -3*x + 1 = -t. Suppose f + x*z + 6 = -17, -4*f + 3*z = -23. Solve h + 4*i + 9 = 0, 4*i - f*i = -2 for h.
-5
Let i(q) = q**3 + 11*q**2 + 10*q + 2. Let u be i(-10). Suppose 14 = 3*j + 4*a, -5*j - u*a = -2*j - 16. Solve -g = -j*g + 4*k - 6, 8 = 2*k for g.
2
Let h(o) = o**2 - 8*o - 3. Let v be h(9). Let q be (4/(-6))/(v/(-63)). Solve -4*f - d = 9, -3*d + q = -3*f - 4*d for f.
-2
Let y(h) = -h**3 + 11*h**2 - h + 10. Let c be y(11). Let x = -1 - c. Suppose o + 3*o = x, -3*g + o + 15 = 0. Solve -g = 3*z - v, -5*v + 22 = -3 for z.
0
Suppose h + 2*k = -5, 4*h + 7 - 2 = -5*k. Suppose -b = -h + 2. Suppose -2*v - 3*r = -17, -b*v + r = 2*v - 17. Solve 4 = -2*l - l - 5*g, -v*l = -5*g - 18 for l.
2
Let n = -8 - -28. Suppose -z - n = -5*z. Solve 0 = -a - 4*d + 13, -z*a = -a + 2*d - 10 for a.
1
Suppose 2*h = 3*h - 3. Let s = 3 - h. Suppose 3*g + 5*w - 1 = s, -3*w - 2 = 4*g - 7. Solve -3*y + 22 = 5*n, g*n + 2*n - 23 = 3*y for y.
-1
Let u be (-1 + 6)*(-1)/(-5). Let a = 4 - u. Suppose y + 2*g = 6*y - 10, 5*g + 25 = 0. Solve 0 = -a*r - y*d - d + 17, -2*r + 18 = 2*d for r.
4
Let y = 12 + 16. Let o = -9 - -13. Let h be ((-12)/(-7))/(o/y). Solve 4*q = p + 1, 0 = 3*q - 7*p + 2*p + h for q.
1
Let k(v) = v - 3. Let x be k(3). Suppose 3*q + h = 12, -4*q - 5*h + 5 = -x*q. Solve t - 3*i = -q*i + 5, -2*t - 2 = -2*i for t.
1
Let x be (-3)/(-3)*-3*4/(-3). Solve -3*w + 0*r + 3*r - 12 = 0, x*w + 4*r - 8 = 0 for w.
-1
Let q(l) = -7*l - 16. Let k be q(-3). Solve -p + 0*p + 4 = 0, -k*m + 28 = 2*p for m.
4
Let o = 10 - 7. Suppose -o*h + 23 = -2*w - 31, -5*h + 4*w + 88 = 0. Solve 0 = 2*y + b + 5, 2*b = 5*y + 6 + h for y.
-4
Let t be (-3 + 2)*1*3. Let q be (1/t)/(3/(-36)). Solve n - 16 = -q*l, 0 = -3*n - n + 4*l - 16 for n.
0
Let p be (10/15)/((-2)/(-15)). Let x = p - -1. Solve 0 = -5*v - 3*n + 10, 5*v - 34 = 3*n + x for v.
5
Let a = -22 - -28. Solve 2*t - 1 = 5*q, -2*q - 4 - a = -4*t for q.
1
Suppose 0 = -4*z + l + 2 - 23, 4*z - 4*l = -12. Let c be (-1 + 2)/(2/z). Let b(r) = -r**2 - 5*r - 3. Let y be b(c). Solve 0*k = -k - y, 2*a - 4*k = 4 for a.
-4
Let x be 2/4*(2 - -2). Suppose x*y - 6*y + 32 = 0. Solve d - 10 = -3*r, d - 6*d = r - y for r.
3
Let a be 52/14 + 26/91. Solve -a*x - 3 = -5*b, -4*x + 9 = -4*b + 3*b for b.
3
Let l be (-1)/1*(-18)/6. Let x = 3 + 0. Suppose 3*g + c = x*c + 5, 3*c + 4 = g. Solve l*v + 4*f + 2 = 0, 2*v + 6 = 3*f - g for v.
-2
Suppose 4*v = 0, -5*q - 3*v = -4*v - 25. Solve 34 = -q*k - i + 10, -8 = 2*i for k.
-4
Suppose 3 = i - 2. Let b be (-2 - (2 - 6)) + 0. Suppose 2*q = 4*o - 10, -b*o = -3*o - 3*q - 1. Solve -2*m + 4 = -0*t - o*t, -5*t = i*m for m.
1
Let g(x) = 50*x**2 - 3*x + 1. Let j be g(2). Let s be (-8)/10*j/(-6). Solve 0*o = 5*v + 3*o + 34, -4*v - 2*o = s for v.
-5
Suppose 0 = -4*b - 3*l + 9, 3 = -2*b + l - 0. Suppose 2*u - 1 = 1. Solve 0 = -2*y + s - 11, 4*y + 5*s + 0 + u = b for y.
-4
Let x be 0/(-2) + (-3 - -6). Suppose -x*d + 4*d - 18 = 3*r, -35 = -2*d + 5*r. Suppose l = -2*l + d. Solve 35 = -l*c + 3*n, 8*c - 3*c = -2*n - 10 for c.
-4
Let g be ((-32)/12 + 3)*15. Solve -3 = 2*o + s, -2*o - 9 = -4*o - g*s for o.
-3
Let u(t) = -t**2 - 4*t + 1. Let m be (-1 + -2)*(2 + -1). Let r be u(m). Solve -r*i = 5*n - 29, n - 3*i + 8 = 2*n for n.
5
Let n = -25 + 42. Let y = -1 + 10. Solve 3*v + y*q = 4*q - n, 5*v - 9 = q for v.
1
Let z be ((-15)/(-10))/((-6)/(-16)). Solve 4*j - z*v - 16 = 0, 3*v = -4*j - 22 + 3 for j.
-1
Let l(u) = 2*u**2 + 2*u + 1. Let s be l(-2). Let c(n) = -n + 6. Let o be c(s). Solve -2*m = -2*w + 11 + o, 15 = -5*w - 4*m for w.
1
Suppose a + 0*a + g = 5, 3*a - 7 = g. Let i be (22/(-4))/(2/4). Let u = -10 - i. Solve -c - d - 1 = -3*c, -u = -4*c + a*d for c.
1
Let o = 1 - -1. Let a be 16/(-12)*(-6)/o. Let b = -1 - -3. Solve -2*c - a = -b*r, r = -r - 6 for c.
-5
Let b(h) = -h**2 - 4*h + 7. Let i be 3*-5*(-1)/(-3). Let y be b(i). Suppose -y*a = -c - 10, 0*a + 3*c = -4*a. Solve 2*t - 2*j = 8 - 0, a*t = -3*j - 6 for t.
1
Suppose 5*n - 10 = 10. Let q(l) = -l + 2. Let y be q(3). Let c(r) = -r**2 - r. Let u be c(y). Solve u = p - 5*k, -n*p + k = 20 - 1 for p.
-5
Suppose d = 5*r - d - 104, -4*r + 76 = -4*d. Suppose -5 - 15 = -5*f. Solve -2*v - 3 = 3*p + 3*v, f*p - 2*v - r = 0 for p.
4
Let i = 10 - -56. Suppose -5*f = q - 10*f + 3, -2*f = 5*q - i. Solve 0 = x - 5*x + 2*s - 8, 3*s = -q for x.
-4
Suppose 4*n + 8 = 6*n. Solve 4*g = p - 19, 5 = -n*g - 5*p + 4 for g.
-4
Let i be 5 + 1 + (-2 - 2). Suppose 4 = -5*q - 1. Let n be 5 - (i - (-1 - q)). Solve n*b = 2*v + 2*b - 1, 2*b = -5*v + 25 for v.
3
Suppose 36*u + 24 = 40*u. Solve -2*h = 3*s + 9, u*s - s = 5*h - 15 for h.
0
Suppose 2 = -2*s + c + 8, 4*s - 12 = 5*c. Solve 3*m = -2*i + 13, -5*i - s = -m - 10 for i.
2
Let f(x) = x**3 - 23*x**2 + 23*x - 10. Let h be f(22). Solve -d + 4*n = -h, -d - n = d + 3 for d.
0
Let c(w) = 2*w**3 - 13*w**2 - 9*w + 17. Let k be c(7). Solve 0 = -2*y + 2*g + 4, k*g + 4 = -y - 2 for y.
0
Let y(d) = -d**2 - 3*d - 2. Let w be y(-1). Solve -g - 4*r - 11 = w, -1 = 5*g + 4*r - 2*r for g.
1
Let o(k) = k**3 + 3*k**2 + 3*k - 3. Let m be o(-3). Let n be 18/(-45) - m/5. Solve 0*r - 2*d = 3*r + 23, -3 = -r + n*d for r.
-5
Suppose 5*m - 126 + 111 = 0. Solve r = m*h - 16, -4*h - 3*r = -h for h.
4
Suppose 3*i = 3*t + 9, 4*t = -i + 2*i. Solve -4*b - 2 = -2*y - b, 2*b + i = 4*y for y.
1
Let u be 15*(1/15 + 9/15). Solve -3*i + 2*y = 10, -i + 0*y - u = -2*y for i.
0
Let q = 6 + -4. Let c be (2 + 0)*4/q. Solve 0 = -c*s + 4*a + 8, -s + 0*s - 4 = a for s.
-1
Suppose -18 = 5*t - 43. Solve -4*a = t*q - 45, -35 = -3*a - 2*q - 10 for a.
5
Suppose 0 = 4*j - 11 - 5, 18 = x + 4*j. Solve -5*y - 16 = -x*y + s, s + 6 = -y for y.
-5
Let x be 6 + 5/(10/(-4)). Solve 2*q + m = 1, -m = -q - 0*q - x for q.
-1
Let n(i) = i**3 + 7*i**2 - 7*i + 6. Let g be n(-8). Let d be ((-3)/9)/(g/12). Let z = -50 + 70. Solve 2*k - 5*r - z = 15, -r - 15 = -d*k for k.
5
Suppose j - 6 = -2*j. Let g = j + 2. Solve -n - 15 = 5*o, -n - 1 = g*o + 11 for o.
-3
Suppose 5*o + 1 = 11. Solve -5*f - t + 10 = 4*t, -o*t = -8 for f.
-2
Let o(y) = y**3 - 6*y**2 - 9*y + 4. Let l be o(7). Let k = -6 - l. Solve -5*p = -10, 26 = -0*r + k*r + 5*p for r.
4
Let c be (-66)/(-15) + (-2)/5. Let k(b) = b - 2. Let g be k(c). Solve 4*l - 3*r = g + 8, 0 = -2*l - 3*r - 4 for l.
1
Let s(a) = -a + 5. Let l be s(5). Suppose l = -17*o + 14*o + 15. Solve -3*k = 2*r + 10, -r = -o*k - 12 - 9 for r.
1
Suppose 0 - 9 = -3*m. Solve m = 5*y - n + 11, 4*y + 5*n - 11 = 0 for y.
-1
Let g(p) = p**2 - 2*p - 4. Let o be g(-2). Suppose -5*h = -2*h. Solve o = 2*l - u - 10, 2*l + 2*u - 2 = h for l.
5
Let w = 42 - 20. Let g be (-4)/w + 136/22. Solve -m = m + 3*p + g, -p - 2 = -3*m for m.
0
Let c be ((-297)/(-6))/3*-2. Let j = -18 - c. Solve 0 = -5*v + 3*i + j, 10 = 4*v - 2*i for v.
0
Let d(f) = f - 5. Let n be d(7). Suppose -2*p - 2*k - 3 = 5, 0 = 5*p + n*k + 23. Let g = -3 - p. Solve -g*c - j + 2 = -3*j, 2*j + 2 = 4*c for c.
0
Let n(g) = -1 + 0*g - 1 + g - 1. Let v be n(3). Solve v*h = -4*h - 5*q, 4*q - 16 = 0 for h.
-5
Suppose -5*j + 8 = -j. Let w be (-1)/j*4 + 2. Solve -2*h = v - 3, -v + w*v = h - 3 for h.
0
Suppose -1 = -0*u + u. Let z be (1/u)/(2/(-14)). Solve 5*c - g + 20 = 0, 5*c - 4*g = -z*g for c.
-3
Suppose -4*c = -11 + 11. Let j(n) = -n**2 + 4*n + 5. Let a be j(4). Let t = a - c. Solve -t*o - l - 2 = -27, -3*l + 15 = 3*o for o.
5
Let o = -44 + 46. Solve -o*v + m - 6 = 0, 2*v - 5*m = 3*v - 19 for v.
-1
Let c(b) = -2*b + 4. 