w = 0 for l.
4
Let l(s) = 7*s - 1. Let n = 13 + -12. Let k be l(n). Solve o + k = 5*g - 1, -2*g + o = -1 for g.
2
Suppose f + 68 - 20 = 4*p, -5*f + 20 = 0. Let s = 15 - p. Solve -3*x = 5*z - 1, -2*x + 6 = s*x + 2*z for x.
2
Let f be 10*3*(-6)/(-45). Let h(c) = 2*c**2 + 4*c + 1. Let l be h(-3). Solve 4*m = -4*t, -3*t + l*t - 32 = f*m for t.
4
Let o(w) = 2*w + 4. Let a be o(0). Solve 0 = a*u - 16, 4*v + 3*u - u = 20 for v.
3
Suppose -2*f = 2*i - 10, 10 = -3*i + 8*i. Let b(t) = -7*t. Let k be b(-4). Solve c - k = 5*q - 3*c, -f*q = 2*c + 8 for q.
-4
Let f be 2/11 + 279/99. Solve -h - 7 = 4*t - f*t, -3 = h - t for h.
-5
Let u be ((-2)/5)/(30/(-375)). Solve -m - 2*m + u*t + 29 = 0, -3*t = 12 for m.
3
Suppose 100 = s + 4*s. Let w be 1/(-3) + 23/(-3). Let v = w - -13. Solve 5*h + 0*n = -v*n + s, 4*h + 4 = n for h.
0
Let i be (0/3)/(0 - 2). Suppose b = 2*b - 5. Solve 3*t - u = -i*u, b*u - 15 = 0 for t.
1
Suppose -3*o + 44 = 32. Solve -4 = 2*u, -b - o*u + 2 = 14 for b.
-4
Suppose 9*o - 7 = 11. Solve 0 = -5*n - 5, 2*n + o = k - n for k.
-1
Let o(f) = f**2 + 4*f + 3. Let p be o(-2). Let b be (-2 + p)/(-3) - -12. Solve 6*v - 5*t = v - 35, -v = -3*t + b for v.
-4
Let v(b) = 7 - 2*b**2 - b**3 - 5*b + 7*b - 4*b**2. Let r be v(-6). Let j(y) = -y + 2. Let g be j(r). Solve -2*l - 5*m = -5, 3*m = -l - m + g for l.
-5
Let l = -79 + 81. Solve -g + 6*x + 7 = l*x, 2*g + 8 = -3*x for g.
-1
Let j(s) = s + 12. Let x be j(-7). Let t = x + 43. Let r = -28 + t. Solve 5*d = 2*p - 7*p, -3*d = -p - r for p.
-5
Let c be -2 + 2 + 0 + -9. Let t be 3 - -3*(-6)/c. Solve -4*g + 0 + 21 = -5*a, 0 = -3*a - 2*g + t for a.
-1
Let t be 1 + ((-8)/3)/((-20)/30). Solve 4*r - t*k - 40 = 0, -2*r + 24 + 2 = -4*k for r.
5
Suppose 4*g = 3*r + 12, 0*r - 5*r = 3*g - 9. Solve 0 = -3*x - 2*m - 14, r = 4*x - 3*x - 4*m for x.
-4
Let h be 2*2/(2 - -2). Suppose 5 = 2*f + h. Solve -16 = -4*n - 4*g, -n - 4*g = -4*n - f for n.
2
Let l be (5/(-2))/(7/(-14)). Solve -5*p = -2*p + 3*m + 18, -l*p + 6 = -4*m for p.
-2
Let p = 23 + -6. Let i = -2 - 0. Let y be 0*(-1)/i*-1. Solve -2*v + p = 3*r - y*v, 3*v - 3 = 0 for r.
5
Suppose -2*v - 10 = -5*v - 4*m, -5*v - m = -11. Solve -4*s + 22 = -5*w, v*s + 1 = w + 3*s for w.
-2
Let c = -1 + 3. Let a = 1 + -8. Let y = -4 - a. Solve 5*d = 5*s, -c*s - y*s + d = 8 for s.
-2
Suppose -5*m + 4*h + 34 = 0, -5*m + 45 = -5*h + 10. Suppose y = -5*n + 14, 0 = -2*y + m*y - 16. Solve c + 6 = x + n*c, 4*x = -5*c + 27 for x.
3
Let l(y) = -y**3 - 3*y**2 + 4. Let r be l(-3). Solve 0 = 5*g - 5, -13 = r*s - 3*g - 2*g for s.
-2
Let q be -2 - (0 - 4/1). Suppose -u - q*c - 7 = -6*c, -4*c + 12 = 0. Suppose 6 + 14 = u*t. Solve d + t*v - 8 = 2*d, -6 = -2*d - 3*v for d.
0
Suppose -11*n + 14*n - 15 = 0. Solve 0 = -4*w + 4*o + o + 30, 35 = 5*w - n*o for w.
5
Let m be 6/1*(-6)/(-4). Let r(a) = -a**3 + 10*a**2 - 10*a + 13. Let v be r(m). Suppose v*z = 6 + 6. Solve z*o = 2*o - 4*i - 12, 12 = -5*o + 4*i for o.
-4
Let k(r) = 2*r - 4. Let l be k(4). Suppose -n - 5 = -2*n + z, 0 = l*n + 5*z + 25. Solve 3*s = 3*a + 9, -2*a = -5*s + 6 - n for s.
0
Let b = 16 - 12. Solve -4*m + b*u + 20 = 0, -5*m + 4*m = -2*u - 9 for m.
1
Suppose 62 = 2*x + 54. Let u be (-1)/(-3)*(17 + -2). Solve -2*y - u*r + x = 0, -4*y + y - 5*r + 6 = 0 for y.
2
Let u be 963/81 + 1/9. Solve 2*k + u = -5*d, -5*d + 4*k - k = 7 for d.
-2
Let p(z) = -2*z**2 + z**3 + 3 + 13*z**2 + z**2 + 3*z**2. Let u be p(-15). Solve i + 3*i + 1 = -3*n, -u*i - 5*n = 9 for i.
2
Suppose -8*k = -6*k - 24. Solve 4 = 2*s + 2*o + 6, 3*s - k = 2*o for s.
2
Let h be (9/12)/((-15)/(-40)). Solve h = 2*v - 4*g - 2, 3*v + 4*g = -24 for v.
-4
Let s be ((-10)/4)/((-2)/4). Let o(d) = -d**3 + 6*d**2 + 1. Let h be o(6). Solve -s*g = 4*x - 6, 0 + h = g + x for g.
2
Suppose -19 = -2*c + 13. Let p = c - 11. Solve 4*l = p*k - 0*l + 20, 0 = -3*k + 3*l - 12 for k.
-4
Let d(g) = g**3 + 7*g**2 - 6*g - 9. Let n(i) = 2*i**3 + 7*i**2 - 7*i - 10. Let b(v) = 3*d(v) - 2*n(v). Let p be b(6). Solve -l - 2 = -4, -p*j + 5*l = 0 for j.
2
Let s(p) = -p**3 + 3*p**2 - p - 2. Suppose 0 = -0*j - 3*j - 5*m + 16, 0 = 2*j + 3*m - 10. Let k be s(j). Solve -l - 10 = 5*d, -d - 2*l = 11 - k for d.
-1
Suppose h = -d - 2 - 16, 33 = -h - 4*d. Let v = -13 - h. Solve 5*c - 7 = -2*f, v = 4*c - c - 2*f - 17 for c.
3
Suppose -2*i - 2*i + 116 = 0. Suppose 0 = -0*f - 4*f + 20. Solve 3*k - 5 = -5*n - 0*n, -2*n = -f*k + i for n.
-2
Suppose 5*s - 2*c = -0*s + 23, 5*s = 4*c + 21. Solve 5*b = -s*m - 5, 0 = b + 4*b - 10 for m.
-3
Suppose 6*w + 20 = -3*b + 4*w, 4*w = 5*b + 26. Let j(o) = o**2 + 7*o + 8. Let s be j(b). Solve -a - a - s*q + 2 = 0, a + 4*q - 1 = 0 for a.
1
Let m(s) = s - 12. Let i be m(16). Let t be i/12*0 + 5. Solve 2*a = t*b, -a - 4*a + b + 23 = 0 for a.
5
Let t be -15 + 3*(-3)/(-9). Let d = 6 - t. Solve -4*g + z = d, -3*z = g + 2*g for g.
-4
Let h be (-2)/((-3)/(-12)*-2). Suppose 2*d = 253 - 57. Suppose 0*l - s = -h*l + d, 2*s = -4. Solve 0*c - k = 4*c + 9, -5*c + 3*k = l for c.
-3
Suppose -g + 5*f = -2*g + 2, -g = 2*f - 2. Let r be 3 - g*(-3)/(-6). Solve -21 - 3 = -x - 4*d, x + r*d - 14 = 0 for x.
4
Suppose 2*g - 4 + 0 = 0. Solve g*w + 6 = -y, -10 = 3*y + 3*w + 2 for y.
-2
Suppose 28 = -3*k - 8. Let t = 14 + k. Solve -2*c - t*c + 4*u - 24 = 0, 4 = u for c.
-2
Let l = -23 + 25. Solve 3*g = 3*q + 12, g + l*g - 12 = -3*q for q.
0
Let n(p) = p**3 - 12*p**2 + 13*p - 18. Let b be n(11). Solve 0 = 4*o + 4*s - b, -2*o - 3*s = -4*o + 22 for o.
5
Let n = 3 - -1. Let c be (1/(-2))/((-3)/24). Suppose -2*g + 14 = -2*w, -g - 4*w - 10 = c*g. Solve n*d - 5*d = g*j + 5, -4*d = -4 for j.
-3
Let z be (1/(-2))/((-4)/8). Suppose z = o - 2. Suppose o*q = -2*q + 15. Solve n = 3*n - 2*h + 16, q*n - 5*h = -32 for n.
-4
Suppose -4 = 3*d + 2*c - 0, d + 2*c = -8. Solve d*q + 2*f - 6 = 0, 0 = q + 3*f - 5 for q.
2
Let f = -8 + 13. Suppose -f*p = -5, 5*w + 3*p = 7*p + 11. Solve 0 = w*k - u - 8, -2*k = 2*k - 4*u - 24 for k.
1
Suppose 0 = -z - 0*z. Suppose z*q - 42 = -3*q. Let m be (q/21)/((-1)/(-3)). Solve -2*r - 2 = -m*k, 20 = -5*k + k - 2*r for k.
-3
Let g(k) = 11*k**2 + k - 1. Let q(v) = -v**3 - 8*v**2 - 8*v - 6. Let m be q(-7). Let i be g(m). Solve u + j + 3 = 2*j, -3*u - i = -4*j for u.
-1
Let u(m) = -2*m**2 - 4*m + 1. Let l be u(-2). Solve p = 5*p - 3*x + l, x = 5*p + 15 for p.
-4
Let h = 4 - 7. Let i be ((-1)/h*0)/(-1). Solve 2*g = -5*w + 4 + 7, -2*w + 2*g + 10 = i for w.
3
Let i = 1 + 2. Solve i*d + 18 = -3*s, d + 5 = 5*s + 17 for d.
-3
Let p be (5 - 0)*14/5. Solve -5*b - 5*u - 6 = p, 0 = b + 5*u + 24 for b.
1
Let l = -7 + 10. Suppose 0*v = -4*v + l*s + 16, -s = 0. Suppose -1 = -r + 3. Solve -3*z - 16 = r*h, -z = -0*h - h - v for h.
-4
Let i be 2 - -1 - 4 - -3. Solve 5*z + 9 = -6*h + 2*h, 0 = 2*h + i for z.
-1
Suppose -2*x + 48 + 8 = 0. Solve 4*s = 2*g - 0*g - x, 5*s = -25 for g.
4
Let y(w) = w**3 - 11*w**2 - 12*w. Let b be y(12). Solve 11 = i - 4*r, b*i = -3*i + 5*r + 12 for i.
-1
Let j = 12 + -8. Suppose -2*v + 24 = j*y, 2*v + y - 20 = -2*y. Solve 2 + 0 = -4*x - 2*a, 5 = 5*x + v*a for x.
-3
Suppose 2*i + 6 = 4*i. Let m be 62/14 + 27/(-63). Suppose -2 = s - m. Solve i*n = z, -2*n = 2*z + s*n for z.
0
Let b = -1 - -1. Let t(w) = w**2 - 10*w + 6. Let u be t(10). Solve -2*k - r = b, -k - r = -u*k + 7 for k.
1
Let o(i) = -2*i**3 - i**2. Let c be o(1). Let s be (-15)/10*8/c. Solve 4*n = s*d + 12, d + 3 = 2*n - 4 for n.
4
Let l(g) = g**3 + 6*g**2 + 3*g + 7. Let r = -7 + 2. Let k be l(r). Solve 0 = n + 3*x + k, -4*n = -n - 5*x - 5 for n.
-5
Let v(k) = k**3 + 2*k**2 - 5*k - 3. Let o be v(-3). Let p(g) = 2*g - 2. Let h be p(2). Let q = -2 + h. Solve -o*m + 4*z - 23 = q, -2*m = 2*m - 5*z + 29 for m.
-1
Let n = -1 + 5. Let g = 0 - 2. Let k = g + n. Solve 5*y - 3 = 3*q + 8, 0 = q - k*y + 4 for q.
-2
Let f = -113 - -116. Solve -6 = 2*j, -4*r = 4*j - f*j - 17 for r.
5
Suppose -5*r = -20 - 10. Let g = r - 4. Solve 5*h + 4*m - 7*m - 19 = 0, -g*h = -5*m for h.
5
Suppose -7 = -2*s - 1. Suppose 3*n - 48 = -0*n. Let i be (-40)/(-12) + (-4)/(-6). Solve s*f + n = m - 5*m, i = -f for m.
-1
Let n(g) = -g - 2. Let m be n(-8). Let v = m + -6. Solve -5*c - 3*i - 21 = 0, -1 + v = -3*c + 5*i for c.
-3
Let t be (9/(1 + 2))/1. Suppose -2*l = -4*l + j + 13, l + t*j = 3. Solve l = -3*x - 3*p - 9, -x + 2*p = -1 for x.
-3
Suppose -4*p + 15 - 7 = 0. Solve 2*i +