 - 4*b, 9 = -r*b for a.
5
Suppose -2*g + l + 6 = 0, 4*g + l - 14 = 2*l. Suppose 0 = -v - g*v + 10. Solve 5 = 4*h - 5*p, v*h - p - 3 = 2*p for h.
0
Let v be (8/4)/(0 + 2). Let u(k) = 8*k - 3. Let m be u(v). Solve 3*r - 3*x = -0*r - 9, -m*x + 1 = 2*r for r.
-2
Let y be (-1)/(-8)*4*6. Solve -5*o - y*r + 7*r + 11 = 0, -o + 4*r = 1 for o.
3
Suppose -6 = -w - 2. Solve -w*i - 4*c = i + 13, 3*c = -4*i - 11 for i.
-5
Let n(v) = -3*v - 26. Let y be n(-10). Solve 0 = -j - 2*i - y, 0*j - i - 16 = -3*j for j.
4
Let v be (15/(-9))/(3/(-9)). Solve 4*b + 2*s - 18 = 0, 0*b - 4*b = v*s - 27 for b.
3
Let u(x) = -3*x - 51. Let q be u(-17). Let s(m) = m**2 + 6*m + 8. Let g be s(-7). Solve q = -a + 2*c - 3 + 13, 3*a = -3*c - g for a.
0
Let p(v) = v**2 - 2*v + 2. Let f be p(0). Solve 11 = 3*s + 2*i, 2*i - 1 = -f*s + s for s.
5
Suppose 2*s + 0*s + 4*r = 10, -s - 5*r = -5. Solve -4*b = -n + 4, 5 = -s*b - 3*n + n for b.
-1
Suppose 2*d = -d + 6. Suppose -1 - 55 = -d*a. Solve 0*r = -4*r - 4*w - a, -1 = -r + 3*w for r.
-5
Suppose 5*l = 4*l. Solve 3*w + 5*p = 11, 5*p - 7 = -l*w - w for w.
2
Suppose 3*m = -5*q + 85, 4*q - 3 = 2*q + 5*m. Solve 3*f + 28 = -4*d + 7*f, 0 = -5*d - 2*f - q for d.
-4
Let s = 56 - 31. Solve 3*n = -3*w - n + 17, -5*w - 5*n + s = 0 for w.
3
Let q = -60 + 62. Solve q*w = 3*u + 30 - 7, 33 = 2*w - 5*u for w.
4
Let l be 51/15 - (-6)/(-15). Let q be 2/((4/l)/2). Solve -15 = 3*j + 2*i - q*i, j - 4*i = -16 for j.
-4
Suppose -5*a - 6*d + 55 = -3*d, 0 = -a - 3*d + 11. Solve 4*r - 2*r - 3*k + a = 0, -k + 7 = r for r.
2
Let o(j) = -5*j + 3. Let f be 1*4/6*-6. Let b be o(f). Suppose 5*x - 3*h + 5*h = b, -3*h = 2*x - 7. Solve 5*n + 10 = x*i, -i - 3*n - 18 = -0*i for i.
-3
Let w(o) = 2*o - 1. Let u be w(2). Let p(r) = r + 14. Let l be p(-8). Solve 3*s - u*d = -8*d - 2, -4*s - 5*d = l for s.
-4
Let w(t) = -5*t**2 - 24*t - 29. Let x(i) = -2*i**2 - 8*i - 10. Let u(f) = 3*w(f) - 8*x(f). Let h be u(9). Solve 3*c + 4*v = 0, h*v - 4 = -3*c + 2 for c.
4
Let p(m) = -m**2 + 10*m - 10. Let s(w) = -w + 3. Let u be s(-5). Let j be p(u). Solve 3 = k, -3*v = -v - 4*k + j for v.
3
Let a be 12 + (0 - 0)/(12/(-12)). Solve -2*j + 35 = -5*n, -2*j + 3*n + 13 + a = 0 for j.
5
Let u(p) = -p**2 - 19*p + 73. Let f be u(-22). Solve 5*m = -5*l - 30, l + 0*l + f = -2*m for l.
-5
Suppose -5*a + a + 16 = 0. Suppose 10 = a*w - 2*w. Solve -2*t + 0 = -3*z - 5, -4*z = -w*t - 5 for z.
-5
Suppose -1 = -7*i - 1. Solve 3*b = -i*b - 3*z, 3*b + z + 8 = 0 for b.
-4
Let p(u) = u + 5. Suppose 3*q = -2*q + 20. Let s be p(q). Solve 4*a - 3*y + 17 = 2*y, -s = 3*a - 3*y for a.
2
Suppose 2*f - 13 = -3*y, 1 = y - 0*f - f. Let u(s) = -s**3 + 4*s**2 + 6*s - 1. Let b be u(5). Solve -p + i = -4, 23 - 7 = y*p - b*i for p.
0
Let j = -7 - -10. Suppose -2*b = j*b. Let r be (-10)/(-4 - (-6 + 4)). Solve -2*a + r*k - 7 = 0, b*a + k = a - 1 for a.
4
Suppose 5*u = w + 12, -5*u + 8 = w - 0*w. Solve -o + 2*i + 6 = 0, 0*o - u*i = -4*o + 18 for o.
4
Let o(k) = -2*k - 2. Let i be o(-2). Let z = -4 + 5. Solve 3*a + i*v = -z, -a + 4*v - 2 = -3*a for a.
-1
Suppose -3*s = -2*h - 9, -s + 2 = 5*h - 18. Suppose -4 = -2*w - 2*w, -k + 11 = -w. Suppose s*l - k = 13. Solve d - 1 = -5*t + 4, -l*t = -3*d + 15 for t.
0
Suppose 2*n = 2*y - 2, 0 = 3*n - 6*n - 5*y + 37. Suppose -2*l = i + l - 18, -4*i + 8 = -4*l. Let t = 10 - i. Solve -2*j = -n*m, 2 = -t*j + 3*m + 7 for j.
2
Let n(q) = q**2 - 3*q - 4. Let j be n(4). Suppose -4*a + 10 = -2. Suppose -a*b + 9 = -j*b. Solve 3*w - 4*w = 5*m - 20, -3*w + b = -4*m for w.
5
Let h(a) = -a**3 + a**2 + a + 2. Let m be h(0). Suppose 2*j - 2 = -4*d, -3*j + m*j = 3*d - 3. Solve 0*g + 1 = -f + d*g, f - g + 2 = 0 for f.
-3
Let y be (-4)/(-8)*4 + 10. Solve 3*x - y = 4*p, 6 = -2*p - 0*x - 5*x for p.
-3
Let q be (-2)/(-3) + 2/(-3). Suppose 17 = a + 3*j - 8, q = j - 5. Let t be 1 + 1 + -1 - (-1 + -1). Solve f - 4 = -2*w, -t*f = 5*w - 2*f - a for w.
2
Let g(b) = 19*b**3 - 4*b**2 + 3*b - 2. Let i be g(2). Suppose i = 4*k - v, -k + 9 = -4*v - 26. Solve -k = 3*s - 5*a, -5*s - a + 5*a - 41 = 0 for s.
-5
Suppose -5*d = 5*z, -z = 5*d - 3 - 13. Let m = z + 6. Let w be ((2 - 2)/m)/1. Solve -2*s - 6*k + 2*k = w, 4*s + k + 7 = 0 for s.
-2
Let w = 13 - 12. Solve -3*x = 3*l - 7*l - w, 3*x = 5*l - 1 for l.
2
Suppose 3*x + 3*o - 6 = 0, -2*o = 4 + 6. Suppose x*a = 2*a + 25. Solve 10 = 2*z - c, 0*z + 2*z - a*c = 18 for z.
4
Let m be 0 + -2 - (-2 + 1 - 4). Solve -3*d + 4*r = -19, m*r = -0*r - 3 for d.
5
Let j(n) = 3*n**2 - 34*n - 19. Let t be j(12). Solve 5*z - 5*b + 40 = 0, t*b - 34 = -0*z + 3*z for z.
-3
Let r(x) = x**2 + 2*x - 4. Let c be r(3). Let n be 5*3*(-1 + 2). Let f = n - c. Solve 5*y + 4*d = -22, 1 = f*y + 3*d - 6*d for y.
-2
Let m be (-2)/7 - 90/(-21). Let s be m*-1*2/(-4). Solve 0 = -i + 2*p - s + 1, 1 = -3*i + 5*p for i.
3
Let h(z) = z**3 - 4*z**2 + z + 4. Let t be h(4). Suppose m = -m + t. Solve -c - m*c = -5*f, -5*c + 50 = 5*f for c.
5
Suppose 4*f = 3*j + 26, 4*j - 5 - 7 = -4*f. Solve -6*h + 5*v = -h + f, -4*v - 14 = 2*h for h.
-3
Let t be 5/3 - 3/(-9). Solve t*q - 3*q = -u - 4, -3*u - 13 = -4*q for q.
1
Let r(x) = -2*x - 2. Let s be r(-3). Suppose -3 - 5 = -s*h. Suppose i + 3 = h*i. Solve -a + i*w = -6*a - 10, -2*w = 4*a + 8 for a.
-2
Suppose -5*h + 0 = -3*a - 5, -5*a + 3*h = 3. Solve 4*t - 5*k - 16 = a, 4 = t + 4*k - 0*k for t.
4
Suppose 2*q = -2*q + 80. Suppose -5*r = -0 - q. Solve 4*c - g + 18 = 0, -r*g - 2 = -c - 14 for c.
-4
Let t(c) = c**2 - 10*c - 6. Let f be t(11). Solve 3 + 2 = 5*i - b, 0 = -f*i + 3*b + 5 for i.
1
Suppose 0 = -b + 4*b - 60. Let u be ((-68)/6)/((-4)/6). Suppose -n = 4*a + n - b, -5*n + u = -a. Solve -h + a*k - 4 = 0, 0*h + 3*k + 11 = 4*h for h.
5
Let y(f) = -f**3 + 4*f**2 + 7*f + 2. Let m be y(5). Solve -m = k - 4*b, 3*k + k = -5*b + 36 for k.
4
Let v(t) = t**2 - t + 20. Let o be v(0). Let i = 20 - o. Solve 0 = -5*n - c - 3 + 24, i = -5*n + 5*c + 45 for n.
5
Let b(a) = a + 8. Suppose 0 = 6*o - 3*o + 24. Let j be b(o). Suppose j*d - 10 = -2*d. Solve -20 = 5*k - 0*k - d*q, -11 = 5*k - 2*q for k.
-1
Let i = 9 - 6. Suppose d + i = 6, 10 = 4*z - 2*d. Solve 4 = -4*h - y - 0*y, 0 = -2*h - z*y - 16 for h.
0
Let b(z) = -z + 31. Let o be b(0). Suppose o - 11 = 5*w. Solve -w*d + 2*d - 8 = 0, 3*j + 19 = -4*d for j.
-1
Let y(p) = -p**2 + p - 1. Let o be y(0). Let r = 3 + o. Solve 0 = 4*n + 3 - 15, 0 = -4*j - r*n + 2 for j.
-1
Let i = -14 - -11. Let q = 2 - i. Solve -v - 2 = -r, -q*v = -3 - 2 for r.
3
Let k(m) = -m**2 - 3*m + 2. Let h be k(0). Solve -5*g - 8 = h*u - 1, 3*g + 1 = -2*u for g.
-3
Let m be (87/6 + 2)*2. Suppose -17 = 2*d - 23. Let y be (0 + (-2)/(-3))*3. Solve -y*f = 4*t + t - m, -4*t = d*f - 32 for f.
4
Let c(l) = -l**2 + 8*l + 11. Let m be c(9). Solve v + 4 + 6 = m*p, -5*p - 5*v + 25 = 0 for p.
5
Let d(l) = -2*l + 34. Let g be d(16). Solve -22 = -3*p - 4*w, g*p = 6*p - 4*w + 8 for p.
2
Let p be ((-195)/(-6)*16/20)/2. Solve r - 21 = -z + 6*r, -5*r - p = -3*z for z.
-4
Suppose -4*v - 32 = -3*w - 0, 4*v + 40 = 4*w. Let y = 17 + w. Solve p + 4*p + 5*t = y, 0 = 5*t - 15 for p.
2
Suppose -3*x + 9 + 9 = n, 2*x = 3*n - 10. Solve 2*m = n, -5*f - 13 - 3 = 3*m for f.
-5
Suppose -3*w - d = -46, 3 = 2*d + 1. Suppose 3*f - 6 = -3*n + 9, w = 3*f - 5*n. Solve f*g - 11 = -4*r, -3*g = r - 7 - 1 for g.
3
Let l(r) = -r + 6*r + 0*r. Suppose 5*y - 7 = -2. Let k be l(y). Solve -2*d - 14 = 3*w, 2*d = -k*w - 7 - 11 for d.
-4
Suppose 4*b = 2*b. Suppose b = 5*d + 20, d + 11 = 4*f - 5. Solve 3*t = -2*v + 9, f*t - 12 = -t for v.
0
Let d(h) = 2*h**2 + 10*h - 8. Let s be 6/(-8)*(-16)/(-2). Let x be d(s). Solve w - 2*p + x = -w, 0 = 2*p - 10 for w.
3
Let l be (-18)/(-4) + (-3)/6. Suppose -l = -3*s + 8. Solve -3*q + s = -y, -4*q + 1 = 4*y - y for y.
-1
Let a(d) = -d**2 + 7*d + 11. Let i be a(8). Let k = i + -1. Let y be (0*1/k)/2. Solve y = 2*p + j + 9, 4*j = -5*p + 5*j - 12 for p.
-3
Let m be (8/(-6))/((-2)/3). Suppose m*d - 10 = -0*d. Solve 3*s + 1 = -2*y, -d*y - 2 = -7 for s.
-1
Let q(d) = d**2 + 6*d + 6. Let c be q(-5). Solve -3*t + 1 = u, 2*u + 1 = -2*t - c for t.
1
Let x be (-2)/(-4) - 26/(-4). Let n(q) = 8 + 2*q - 3*q + 4*q. Let c be n(x). Solve -3*m - 5*p = -14 - 5, -5*p + c = -2*m for m.
-2
Let u(l) = -l**3 - 3. Let d be u(-3). Solve -3*t + 7*t - 28 = 3*w, 0 = 2*w - 4*t + d for w.
-4
Let b(u) = 0*u - 2*u - 1 +