 -2*x - 0*a + 4*a - 12, 3*x + 2*a = 22 for x.
4
Suppose -1 = 2*m - 37. Solve -3*a + 0*q + 3 = -2*q, -3*a - m = 5*q for a.
-1
Suppose 0 = -5*h - 0*t + 3*t + 14, 16 = 3*h + 2*t. Solve -4*q = -5*c - 33, -2*c - h*q + 3 = -c for c.
-5
Suppose -59*u + 36 = -57*u - 3*r, 0 = -5*u + 2*r + 79. Suppose 0*s - s = -6. Solve 5*w + s = 1, 2*o - u = 5*w for o.
5
Suppose 0 = -4*t - 2*p, -p = 4 - 0. Suppose -4 = -2*v + t. Solve 0 = -v*m - 3, 0 = -f - 2*m - 3 for f.
-1
Suppose 5*u = 5*p - 15, -5*u = -0*p + p + 33. Let g = 9 + u. Solve -a = -0*n + 2*n + 9, -n = -2*a - g for n.
-3
Suppose -3*h = -13 + 1. Suppose -4*y + 8 = 3*v, 0 = -0*v + 4*v + 16. Suppose -3*t + 6*t = 12. Solve y*x = h*i - 6, 3*i + t*x = 18 + 2 for i.
4
Let p be (8/6)/((-20)/30). Let j be p/2*30/(-6). Suppose -k = -6*k. Solve m + 5*g - 16 = k, -2*g + 3*g - j = -2*m for m.
1
Let i = 3 + 13. Let q = -10 + i. Let c be (3/q)/((-1)/(-2)). Solve -3*w - c = 5*z - 19, 3*z - 5 = 4*w for w.
1
Suppose 4*y + 23 + 4 = 3*i, 5*i - 37 = 4*y. Let v = 0 + i. Suppose -2*t - 2*o = 0, 2*t + 0*t - 3*o = 10. Solve -p - d + 2 = 0, -v*p - 4*d = -15 + t for p.
5
Let v be 1*2/(-4)*0. Suppose 5*j + 4*p + 6 + 4 = v, -2*j - 5*p = 21. Solve 6 = 3*t + 2*q, j*t + 4 = -2*q + 8 for t.
2
Let p = 1 - -1. Suppose -2*n = 4*f - 4 - p, -2*n = 2. Suppose 0 = 2*d - d - f. Solve -5*r + 35 = -3*i, d*r = 3*r - 4 for i.
-5
Let q(x) = x**3 - 7*x**2 + 5*x + 8. Let i be q(6). Solve -u = -w - 2, i*u - 2 = -w + 2 for w.
0
Let r be -3*(-1)/3*-1. Let p(w) = -11 - 3*w - 5 + 15. Let m be p(r). Solve y = -0*s + s + 1, -19 = -m*s - 5*y for s.
2
Let m(w) = -w**3 - 10*w**2 - 11*w - 10. Let j be m(-9). Suppose -5*r + 3 = -7. Suppose r*b - j = -0*b. Solve -5*l - b*a + 1 = -0*l, -15 = l - 3*a for l.
-3
Suppose -3*g + 16 = g. Solve 3*b + 1 = g*i - 2, -3*i = 0 for b.
-1
Suppose -y + 5*z = -24, -z + 3 = 4*y + 12. Let o be ((-2)/(-6))/(y/(-21)). Let a = o + -4. Solve -2*l - a = 4*c + 1, 2*c - 2 = -3*l for c.
-2
Let w = -19 - -21. Solve -2*g = 2*s + 4, 3*g + w*s + 0 = -3 for g.
1
Suppose 0 = -3*g + 2*z - 2, 4*g - 5*z + z + 8 = 0. Solve -2*n = 2*j + 2, 0 = 4*n + 4*j - j + g for n.
1
Suppose 14*o - 25 = 9*o. Solve y + 8 = -o*p, -y + 3*p = 3*y + 9 for y.
-3
Let w = 7 - 4. Suppose 0 = -4*i - 4*f + 136, w*i - 3*f - 157 = -31. Let v be (i/(-4))/((-8)/16). Solve -t - v + 3 = -3*n, -24 = 2*t - 4*n for t.
-4
Let k(b) = -14*b**3 + b**2 + b. Let g be k(-1). Solve q - g = 4*j, -2*q - 3*q - 14 = j for q.
-2
Suppose -4*u - 94 - 4 = -3*n, -4*n - 4*u = -112. Solve 0 = 5*x - 5*v - n, 2*x + 3*x = -v + 24 for x.
5
Let o = 17 - 13. Solve -2*l = -o*u + 4, -2*u = l + 5 + 1 for l.
-4
Suppose -5*q = -3*q + 14. Let x = 10 + q. Solve o + 5 = 5*o - x*t, -2*o + 9 = 5*t for o.
2
Suppose f - 5*u + 7 = -3, -u + 28 = 5*f. Let k be (-9 - -1) + (4 - f). Let n be (-2)/k + (-34)/(-9). Solve -12 = -n*w, 4*w + 2 - 14 = -4*i for i.
0
Suppose 34 = 2*z + 5*y - 9, 3*z = -y + 45. Let m = 11 - -4. Suppose 8*x + 4 = 10*x. Solve 0 = -b - 5*h - m - z, -2*h - x = -2*b for b.
-4
Suppose 0 = -4*g + x + 17, 0*x = -2*g - x + 7. Solve -5*p + 19 = q, -g*p = 2*q + 3*q - 32 for q.
4
Let a = 10 + -9. Let t = -2 - -1. Let h = t + a. Solve v - s + 9 = 0, -5*s + s + 20 = h for v.
-4
Let k = 26 - 22. Suppose -3*z - 87 = -k*h + h, 4*h = -z + 96. Solve -3*j - 2*f + 10 = 0, 6*j - 3*j - h = -5*f for j.
0
Suppose -2*m + 7*m = 5. Let z(k) = 20*k**2 - k + 1. Let a be z(m). Let h(q) = q**3 - 4*q**2 + 2*q - 6. Let u be h(4). Solve 5*o = -u*v + a, -v + 3*v = 0 for o.
4
Let r(h) = -h**2 + 17*h + 3. Let z be r(17). Solve -i + 4*g = -14, -z*i = -5*i + g for i.
-2
Suppose -4*p = 3 - 31. Let a = p + -5. Solve 3*s = 2*u + 7*s + 16, a*u - 4*s - 8 = 0 for u.
-2
Let q be (4/5)/((-2)/(-5)). Let k = 9 + -4. Suppose k*n - 2*n = 30. Solve s + q*x - 10 = 3*s, 2*s = -5*x - n for s.
-5
Let f(w) = -w**2 - 12*w - 12. Let j be f(-9). Let c = 20 - j. Solve -4*z - 5*i - c = 0, 2*i = 2*z + 5*i + 5 for z.
5
Suppose 4*n - 4*i - 14 + 2 = 0, 3*i = 0. Solve 3 = -o - m, 0 = -o + n*o + 4*m + 16 for o.
2
Let d(s) = s**3 - 6*s**2 + 4. Let k be d(6). Suppose 0 = k*o - 8 - 12. Solve 2*j + 5*h = -3*j + 35, -3*j = o*h - 31 for j.
2
Let c(r) = 7*r**2 - r**3 + r**3 + r**3 + 5*r. Let q be c(-6). Solve -2*g = 2*p + q, 3*p = -g - 0*p - 13 for g.
2
Let y be 4 - 0/((-2)/1). Solve 5*p = 5*v + 10, 0*v + 35 = 5*v + y*p for v.
3
Let v(c) = -c**3 - 12*c**2 + c + 15. Let j be (-2)/(-6) - 37/3. Let a be v(j). Solve m - 11 = -2*n, -3*n + a = -12 for m.
1
Let h be (0/2 + 5)*1. Suppose -174 - 11 = -h*p. Solve 4*l - 16 = 3*l + 4*m, -3*l - 5*m - p = 0 for l.
-4
Let c(m) = -m**3 + m + 3. Let y be c(0). Solve -3*n = 2*o + 4, o - 1 = -4*n - y for o.
-2
Let a(r) = r**2 - 2*r - 3. Let q be a(4). Let x = -2 + -5. Let k be (-1)/2*42/x. Solve f + q*z - 20 = k*f, 5*f = 4*z - 33 for f.
-5
Let u be (-114)/(-10) + (-2)/5. Let s(k) = -k + 17. Let g be s(u). Solve w = 3*h + g, 5*h = -0 - 5 for w.
3
Let h(m) = m**2 + 2*m + 2. Let f be 1 + (-4 - (-2 - -2)). Let t be h(f). Solve 3*n = t*c + 7, -5 = 2*c - 1 for n.
-1
Let w = 2 + 8. Let f(n) = -n - 2. Let x be f(-6). Suppose 6*c - 3*c - 18 = 0. Solve -t - o = x*o - w, -c = -3*o for t.
0
Let v = 93 - 54. Let n be (0 - 0) + 38/2. Let u = v - n. Solve 6 = 2*z + 5*c, -3*z + 8*z = 5*c - u for z.
-2
Let q = -11 + 6. Let z = 7 + q. Solve -3 = 3*j - 4*i, 0*j + z*j - 3*i + 3 = 0 for j.
3
Suppose 0 = -2*t - t + 4*w + 11, 15 = 4*t - 5*w. Solve -18 = 3*s - 2*x, -3*x - 8 = t*s + 3 for s.
-4
Let u(t) = t - 2. Let p be u(5). Suppose p*z = -6 + 51. Solve r + 3 = 3*c - 6, -5*r = z for c.
2
Let n be (-20 + -6)/(2/(-1)). Solve 5*y + 3*t = -12, 0 = 5*y + t + t + n for y.
-3
Let v be -3 - -1*(3 - 0). Solve v = 2*t - 3*d + 5, 0*d - 6 = 4*t - 2*d for t.
-1
Let k be (2 + -1)/(10/100). Solve 4*x - 18 = -4*t + 2, -3*t + 2*x - k = 0 for t.
0
Suppose 4*x + 15 - 35 = 0. Suppose -x*v = -1 - 4. Let c(g) = -g**3 - 6*g**2 - 5*g + 5. Let d be c(-5). Solve 0 = -5*n + d*q + 45, -q = n - 0*q - v for n.
5
Let t = -65 + 77. Solve 3*g + 0*g = -5*w + 15, -t = -4*w + 4*g for w.
3
Let s = 2 - 2. Suppose s*j = j. Solve j = 2*w - 2 + 6, w + 5 = 3*o for o.
1
Suppose 0 = 4*a + 1 - 17. Let g(o) = -o - 6. Let b be g(-6). Solve b*p = -p + a*m - 5, -8 = 3*p - 5*m for p.
-1
Let i(h) = -5*h**3 - h. Let n = -1 + 0. Let r be i(n). Solve -r = -5*d + j + 6, -5*j = 10 for d.
2
Let q(m) = -2*m - 2. Let r be q(-3). Suppose 2*y = 12 - r. Let h be (-18)/y*4/(-6). Solve -5*u + 2*n = 13, 8*n = -3*u + h*n - 14 for u.
-3
Let x = 1 + 3. Let b(l) = l**2 - 5*l + 2. Let s be b(x). Let y be (s - -2)/(1 + -3). Solve -c - 4*c + 23 = -v, y = c + 5*v + 11 for c.
4
Let c(n) = 2*n - 2. Let l be c(4). Suppose 0 = 5*a - 4*a + 4. Let o be (a - -3)/((-1)/5). Solve 4*f + l = 2*d, -7 + 22 = -4*f + o*d for f.
0
Suppose 6 + 12 = 9*a. Solve -2*s - 5*i - a = 0, -3*s - 2 = -5*i + 1 for s.
-1
Let v = 32 + -18. Let s(a) = a**2 + 7*a - 7. Let b be s(-9). Let i = 16 + b. Solve -3*p - p + i = 3*u, 0 = -3*p - u + v for p.
3
Let i(o) = o**2 + o - 1. Let h be i(-3). Let x = -3 + h. Suppose -x*m - 4 = -3*m. Solve 0 = -3*a - m*y - 29, -4*a - 7*y = -2*y + 37 for a.
-3
Let z = -1 + -1. Let d = z + 13. Solve -d = 2*m + k, -m + 13 = -5*m + k for m.
-4
Suppose 5*y = 3 + 2. Let o(a) = a**2 + 7*a + 6. Let q be o(-8). Let m = q - y. Solve 4*g = 3*h - m, -5*h - 2 = -7*h - 4*g for h.
3
Suppose 5*o - 18 = 2*o + 3*l, -2*o - l + 6 = 0. Solve 0 = o*w + 4*j + 8, 0 = -5*j - 2 - 18 for w.
2
Let z = -34 - -48. Solve -4*f + 2*f + z = 4*w, 0 = 4*f - 2*w - 8 for f.
3
Suppose -2*u - 4*u = -5*u. Solve -5*y - 2*q - 3*q - 40 = u, 4*q + 17 = -y for y.
-5
Let f be ((-18)/(-12))/(-2 + (-22)/(-8)). Solve -f*u + u = 3*i - 6, -2*u + 7 = i for i.
1
Let u(k) = 4*k - 3 + 0*k + 2 + 0. Suppose -i + 0 = -1. Let p be u(i). Solve 3*j = 2*r - 23, 0 = -p*j + j - 2*r - 2 for j.
-5
Let k = 14 - 12. Solve -c = -2 + 1, -k*d = 4*c - 8 for d.
2
Suppose 11 = -h - 3. Let s be (-2)/7 + (-88)/h. Solve -y = o - s, 0*y = -5*o - y + 26 for o.
5
Suppose -2*p = -p. Let x = 13 - 6. Let h = -3 + x. Solve v = 4*n - 5, -n + p*v + 5 = -h*v for n.
1
Let s(r) = -r**2 - 10*r + 1. Let b be s(-9). Let n = 3 + 1. Solve -2 = p - 0*a + n*a, 5*p + 5*a + b = 0 for p.
-2
Let c be 0 - (2 - (0 - -2)). Suppose c = 4*y + y. Suppose -10 = -5*i, 2 + 2 = 2*q - i. Solve 4*b - 3*z = 8, y = -q*b + b - z - 6 for b.
-1
Let s be