18, 3*s - 6 = -5*o for s.
-3
Let c be 47/5 - 6/15. Suppose 0 = b - 0*l - l - c, 5*b - l = 25. Solve -10 = -4*y + 5*t + 3, -5*y + b*t = -5 for y.
-3
Suppose 0 = 5*q + 3*u - 201, -5*q + 2*u + 191 = -0*q. Suppose c - 5*c = 0. Suppose c = -f - 4*f + 20. Solve i = -5*h + 21, -8 + q = 3*h - f*i for h.
5
Let q(b) = -b**2 - 6*b - 6. Suppose 4*j + o - 2*o = -20, -2*j + 5*o = 28. Let r be q(j). Solve -12 = s - 4*w, r*w + 3*w - 32 = -3*s for s.
4
Suppose -2*s + 3 + 7 = 0. Let f(g) = g**3 - 5*g**2 + 5. Let k be f(s). Solve -a - 15 = 4*a + 5*z, k*a = -z - 11 for a.
-2
Let z(y) = -y - y + 5 + y + 0*y. Let j be z(-3). Solve -g + n = j, -3*g - 2*g + 3*n = 32 for g.
-4
Let y(t) = 33*t + 236. Let r be y(-7). Let i = 50 + -22. Solve -3*j + 5*g + 5 = -7*j, r*j + i = g for j.
-5
Let f(u) = -u**2 - 5*u + 1. Let w(y) = y**2 + 5*y - 2. Let a(l) = 3*f(l) + 2*w(l). Let c be a(-4). Solve m + 1 = 2*t - 7, 0 = c*t + 2*m - 12 for t.
4
Let q be (-130)/(-14) + (-2)/7. Solve 4*a - 4*g + q = -3, -g + 7 = -2*a for a.
-4
Suppose -5*l - 2*g + 12 = -3*l, l - 2 = -2*g. Let v be (-12)/20 - (-106)/l. Solve -3*p - 3*w - 6 = 0, -4*p + 0 - v = 5*w for p.
0
Let x be 4 + 0 + -1 + 2. Solve 0*s - 5*s - 15 = 0, x*t + 10 = -5*s for t.
1
Suppose 12*k - 28 = 5*k. Solve -k*u + n + 31 = -4*n, 5*u = -n + 17 for u.
4
Suppose 2*b - 4*d + 20 = -0*b, 4 = 2*d. Let n = 15 + b. Let v = -4 + n. Solve -4*g + 12 = -4*w, -v*w + 4*g - 2*g - 12 = 0 for w.
-2
Let b(w) = -2*w**3 - 2*w**2 + 5*w + 4. Let c be 4*-1 + -1 + 2. Let o be b(c). Solve 5*l - o = 5*n, 5*n + 5*l = 3*l - 18 for n.
-4
Let v = 54 - 42. Solve c = -3*h - v, 4*c - h = -5*h - 16 for c.
0
Let c be (9/(-15))/((-2)/10). Suppose 0 = -2*s + 4*s - 4. Solve c*i + 4*y = 0, -y + 8 = -s*i - 3 for i.
-4
Suppose -4*z + 32 = 4*o, 20 = o + 2*z + 3*z. Let c be (2 + 23)*3/o. Solve c = -5*h - 5*y, y = 2*h - y + 14 for h.
-5
Suppose -5*r - 5 = h, -15 = 6*r - 3*r + 3*h. Solve 3*c = x - 1, r*x = 2*x - 2*c - 2 for x.
1
Let f(l) = -2*l - 5. Let n be f(-4). Solve 19 = c + 5*t, -3*c + 3*t - 18 = -n for c.
-1
Let k(x) = x + 9. Let i be k(-6). Suppose i - 5 = -s. Let h(y) = 2*y**2 - y + 1. Let j be h(3). Solve -j = 2*b + s*b - 3*z, 0 = -5*z for b.
-4
Let m be 3/2*40/12. Suppose -5*k + q + 0 + 3 = 0, 4*k - 3 = q. Solve h + 2*d - 7 = k, -h + m*h - 4*d + 32 = 0 for h.
-3
Let m be (4 - 0)/(1 - -1). Let d = -7 + 7. Suppose 0*l + 3*l = -j + 12, d = -4*j - 3*l + 30. Solve j*v - m*v = -h + 24, -3*v = h - 19 for v.
5
Let j be 10/3*3/2. Suppose 0 = 2*n - 0*n - 10. Suppose -3*v + 2*h - 2 = 0, n*h = -j*v + 4*h + 1. Solve -g - y = -v*g, -5*g + y = -6 for g.
1
Suppose 0 = 2*s - 2*i, 4*s + 0*i = -5*i - 45. Let d be 6/4 - s/2. Suppose -18 = 2*p - d*p. Solve 5*t + p = 4*w, -5*w = 3*t - 1 - 1 for w.
1
Let o(z) = -z**3 + 12*z**2 + 12*z + 16. Let n be o(13). Suppose -t + 36 = 4*t + 4*p, -t - 8 = -n*p. Solve 5*v - 4*i = 5, i = t*v - 7 - 8 for v.
5
Suppose -3*y + s + 20 - 6 = 0, 3*y = -3*s + 6. Solve -2*f = -5*q - f + 10, 4*q - y*f + 8 = 0 for q.
3
Let y = 0 + 6. Let g(b) = b**3 - 5*b**2 + 5*b. Let k be g(4). Solve 2*v - y = -2*z, -k*v = -2*z + z + 3 for v.
0
Let y(d) = 6*d. Let l be y(1). Suppose 6*x - l = 3*x. Solve 10 = -u + 5*u - k, x*u - k - 6 = 0 for u.
2
Suppose 17 = s + 3*s + 3*i, -4*s - 5*i = -15. Solve 2*u - 4*j = -2*j + 4, s = u - 2*j for u.
-1
Let o be (-18)/(-6)*(-10)/3. Let r be o/(-25)*5*1. Solve -a + r*a + 13 = -2*h, -4*h = 20 for a.
-3
Suppose 128 = 6*j - 40. Solve 0 = -4*u + 4*g + j, -5*u - g + 3 = -20 for u.
5
Let d = -5 - -21. Solve -l = 2*l + 5*m - d, 3*l = 2*m + 2 for l.
2
Let j = -16 - -42. Suppose 3*i = 4*y + 6*i - 11, 5*i + 40 = 5*y. Let z be (10/(-6))/(y/(-15)). Solve z*a - s + 21 = 0, -3*a + 5*a + j = -4*s for a.
-5
Suppose 0 = -3*c + 4*a - 14, 3*a - 20 = 5*c - 2*a. Suppose 308 = s - 3*s. Let q be s/(-35) - c/(-5). Solve 15 = 3*u - 4*z, -u - q*z = -4 - 1 for u.
5
Suppose -16 = -0*g - 5*g - y, 12 = g - 2*y. Let s = g - 0. Solve -s*o - 12 = 2*w, -3*o - 2*w - 4 = 3 for o.
-5
Suppose -5*k + d = 6*d - 30, -2*k = -3*d - 2. Solve 3*n = -2*v, 7*n = 3*n - k*v + 4 for n.
-2
Let j be (-13)/(78/9)*(-3 + 1). Solve 18 = j*u + 2*q, 4*q = 3*u - 0*q for u.
4
Let z(p) = p**2 + 4*p - 9. Let l be z(-7). Solve 0 = -c + 4, c = -4*s - 0*c + l for s.
2
Suppose -3*g - 16 = g, -s - 3*g = 10. Solve -5*i = -6*i, -u = s*i for u.
0
Let d(l) = 10*l - l**2 + 3*l + 15 - 4 - 6*l. Let x be (-6)/4*(-48)/9. Let p be d(x). Solve 4*h - 9 = 2*u - p*u, 0 = h - 3 for u.
-3
Let m(x) = x**2 - 4*x - 2. Let y be m(4). Let g = 4 + y. Solve -5*j + 5 = -g*v + 7*v, 0 = -v - 2*j + 4 for v.
-2
Let b be (-246)/20*-2 - 4/(-10). Solve -5*s - 5 = u, b = -5*u - 0*s - 2*s for u.
-5
Let l = -3 + 5. Let g(t) = 19*t + 2. Let z be g(l). Suppose -v - 23 = -0*y - 4*y, -5*y = -5*v - z. Solve 3*w = y*w, 4*j - 20 = -4*w for j.
5
Let k = 1 - -8. Suppose -2*b = -b + b. Solve -g + 2*h - 4*h + k = b, 2*g = -2*h + 12 for g.
3
Suppose 3*a = 5*n - 21, 2*n - 9 - 1 = 2*a. Let m be (0 + 0/(-3))/a. Solve -2*g - 2*d - 6 - 4 = 0, -3*g + 4*d - 8 = m for g.
-4
Let v = 9 - 5. Solve v*y = -4*k - 20, 6*y - 5*k - 11 = 4*y for y.
-2
Suppose -2*n = -7*n + 25. Let h(t) = t**2 - 5*t + 3. Let o be h(n). Solve -o*y = 2*p + 1, 19 = 4*p - 0*p - y for p.
4
Let j be 0 + 1 + (16 - 12). Solve 2 = 3*h - n, 0*h + 2*n = -j*h - 15 for h.
-1
Suppose 2 = t - 0. Solve t*n = -2 - 2, n + 18 = -4*j for j.
-4
Let p = -12 + 14. Let d = 27 + -22. Solve 4*c + 5 = 5*g, -c + d*g = -p*c + 5 for c.
0
Suppose 1 = -3*i + 19. Let q(v) be the first derivative of -v**2/2 - 2. Let l be q(0). Solve -g - 2*w = -1, l = 3*g + w + 2*w + i for g.
-5
Let r = -58 + 85. Let p be 48/r + (-4)/(-18). Solve -f - 4*f + 40 = 5*s, 3*f + p*s = 21 for f.
5
Suppose -9*m = 4*m - 65. Solve 0 = -m*c, -5 = -4*p - 5*c + 15 for p.
5
Let v = 5 + -12. Let u = v + 10. Solve m - u*g = 2*m + 4, -5*m = 5*g + 10 for m.
-1
Let p = 40 + -38. Solve 3 = -4*y + p*b - 1, -2*b = -5*y - 4 for y.
0
Let u be (1 + 2 + -2)/((-1)/(-3)). Suppose -i + 3*i = 16. Suppose -1 - i = -3*d, -2*v - u*d = -11. Solve -3*f + 4*f - v = k, 5*f = k + 9 for k.
1
Let f be 46/(-1)*(-4)/(-8)*-1. Solve 17 = 3*i - 5*d, 2*d - f = 3*i + 7*d for i.
-1
Let t(b) = b**2 + 8*b + 2. Let o be t(-8). Suppose 14 + 2 = o*s. Solve -5*x - u + 23 = 3, 5*u = 2*x - s for x.
4
Suppose 4*r + r = -4*m - 24, -4*r = 3*m + 17. Let u = m + 18. Let h = u + -7. Solve 0 = i - 4*w + 2*w - 4, -5*w = h for i.
4
Let x be (2 + 1 - 2)*3. Let v be -1*10/(-6)*x. Solve r - 3*r - 10 = 4*w, v*r = -3*w - 11 for w.
-2
Let m be 1 + (0 + -1 - -4). Solve 3*s + 23 = 4*p, -2*p - p - 14 = m*s for s.
-5
Let l(g) = -g**3 - 10*g**2 - 8*g + 14. Let a be l(-9). Solve o = a*o + 4*f + 8, -o + 2*f = 2 for o.
-2
Let y be (45/18)/((-2)/(-4)). Let x be 15/(-2)*(-4)/y. Solve 0*v - x = -3*v - 3*u, -2*u = 3*v - 2 for v.
-2
Let b(r) = -r + 4. Let v be b(4). Solve 10 = -5*w - 5*j, w + 4*w - 5*j - 40 = v for w.
3
Suppose 36 = 4*t - 0*t. Solve -2*s - 6*k + 17 = -k, -t = -3*s - 2*k for s.
1
Let a(w) = w**2 - 6*w + 7. Let t be a(3). Let z(f) = f**3 + 4*f**2 + 4*f + 2. Let x be z(t). Solve g = -3*h - g + 9, x*h - 5*g = 6 for h.
3
Suppose -14 = -3*q + 4. Solve 2*x - 13 = -q*b + 3*b, 5*x + 2 = 4*b for x.
2
Suppose -t + 1 - 2 = 0. Let h be -23*(-2 - (-2 - t)). Solve -2*a = -3*d - h, 4*a = 2*d - 4*d + 6 for a.
4
Let o = 32 + -29. Solve -4*l - 28 = 3*j, 7 = o*l - 4*j + 3 for l.
-4
Let g = -3 + 9. Let m be 3*(-4)/g*-2. Solve -m*d - d + 2 = -z, -z + 8 = 5*d for d.
1
Let i(z) = 2*z - 18. Let o be i(9). Solve o = 5*b + 2*f + 7, 3*b - f + 29 = 4*f for b.
-3
Suppose -p + 4*g - 16 - 4 = 0, -15 = -4*p - 3*g. Suppose 0*w + 4 = -4*w. Let o be w*0/(p + -2). Solve 2*i = -5*x - 2*i + 3, o = -4*x - 5*i - 3 for x.
3
Suppose -4*a = -5*q + 23, -6*q + 4*a = -2*q - 20. Let o(g) = 3*g - 7. Let l be o(q). Solve -7*s + 5*v - 5 = -l*s, s = -5*v - 13 for s.
-3
Let i be 27/(-6) - 3/6. Let p = i + 7. Solve 1 = -p*z - 5*v, -3*z + 0*z + 3*v - 12 = 0 for z.
-3
Let g(a) = -4*a + 0*a**2 - a**2 + 3*a**3 + 2 + 1. Let c be g(2). Solve -4*n + c = -2*m + 5, 5*m + 11 = -4*n for m.
-3
Let w(y) = -y + 1. Let l be w(-1). Let f be (-9)/24 + 301/56. Solve -5 = -f*s, 2*j - l*s = 3*s - 7 for j.
-1
Let u be (-510)/(-21) + (-2)/7. Solve -4*c + u = -3*b - c, 17 = b + 4*c for b.
-3
Suppose 10 = -2*h, -5*l = -10*l - h + 220. Let y = l + -20. Let z(k) = -k - 2. Let n 