q - w = -2*r - r, 4*q = 5*r + 7 for r.
1
Let b be -3 - (0 - (-1 + 10)). Solve b*g = g + 10, 0 = 4*r - 4*g + 12 for r.
-1
Suppose -3 = -3*t, -4*d - 4*t + 0*t = 16. Let a = 8 + d. Solve 2*i - 2*b = -4, 0 = 3*i - a*b - b + 10 for i.
2
Suppose -2*u + 8 = -2*m, 4*m + 23 = 2*u + 3*u. Let x be (-2)/(-11) + (-20)/(-11). Let y be 3*x/(-6)*-5. Solve -5 = -a - 5*r, a - y = -u*r + 4*r for a.
5
Let d = -6 - -10. Solve d*q = 5*t - 3*t - 2, 5*t = q - 13 for q.
-2
Let q = 4 + -4. Solve q = -o - 1, -3*b - o + 9 = 2*b for b.
2
Suppose v - 6 + 0 = 0. Suppose -v*o = -2 - 46. Let w = -1 + 1. Solve 2*z - o = -4*m, -2*m = -w*m + 5*z - 4 for m.
2
Suppose 28 - 8 = 5*b. Suppose -b = 2*z - 4*z. Let q(y) = -y**2 - 6*y. Let p be q(-6). Solve 4*x + 5*r - 8 = p, -r = -3*x - z*r + 6 for x.
2
Let x be 12/(-30) + 36/15. Let u(p) = -p**2 + 7*p + 4. Let m be u(7). Solve m*h - r = 4*r + 2, -x*h = -r - 4 for h.
3
Let w = -4 - -7. Let b(n) = 2*n**2 + 3 - 2*n - w + 1 + 4*n**3. Let t be b(1). Solve -3*p = -s + 2, 0 = -5*s - t*p + 19 + 11 for s.
5
Suppose -8 = 4*y, 0 = -3*m + 2*m + 2*y + 4. Suppose -3*k + 45 = 2*k. Suppose -u + k - 4 = 0. Solve h + 22 = 3*p + 7, m = -3*h - p - u for h.
-3
Let i(z) = -2*z - 15. Let r be i(-10). Solve -s - s + 6 = 0, -19 = r*j + 2*s for j.
-5
Suppose r + 4 = -2. Let w be 0 - (r*1)/2. Solve 0 = -a - 4*p + 21, -5*a + 3*a - w = -p for a.
1
Let n(l) = -l**2 - 4*l - 2. Let y(s) = -s**2 - s + 4. Let j be y(-3). Let m be n(j). Solve 0 = -5*w - 3*a - 27, -3*w + m*a - 2 = -1 for w.
-3
Let z(n) = -2*n - 4. Let b be z(-10). Solve 3*g - b = -g, 3*m - 2*g = -2 for m.
2
Let r = -58 - -60. Solve -r*l - 6 = 4*f - 2, -l - 3 = 3*f for f.
-1
Suppose -4*i + 19 = -3*i. Let c = i - 31. Let l = 5 - c. Solve -5*n - d = 2*d + 27, -3*n = 2*d + l for n.
-3
Let n be (7 + -10)*(-4)/2. Solve 5*t = n - 1, 4*d + 3*t = 15 for d.
3
Let h be 1/(-3)*9/(-1). Suppose h*s + 0*v = -4*v, 5*s = -3*v + 11. Solve 0*d + 5*m = -2*d, m = -s*d for d.
0
Let i be (-1)/(-4) + 477/12. Suppose 3*v = 2*v + 64. Let g = v - i. Solve 3*o = -m + 7, 0*o - 4*o + g = 5*m for o.
1
Let s(y) = -4 + 13*y - 7*y - y**2 - 11*y. Let m be s(-4). Solve m = 4*j + 3*t - 14, -4 - 31 = -5*j + 5*t for j.
5
Suppose -r = 3*a - 0 - 9, 2*a - 3*r + 5 = 0. Let k be (1 - (-12)/(-4 + 2))*-1. Solve -3*j = 3*s, -3*s + k*j - 24 = -a*s for s.
-4
Let x(u) = u**2 - u - 2. Let c be x(2). Solve -3*t = 2*z - c - 17, 0 = z - 5*t + 24 for z.
1
Suppose 3*h - 8 = 5*h. Let a = 12 + h. Solve -2 = 4*o - 3*o, -p + a = -4*o for p.
0
Suppose u + 3*u = 16. Suppose -5*i - u*h + 38 = 0, 2*i = 3*i + 2*h - 4. Solve -3*y = -5*w + i, 33 = 4*w + 3*y - 2 for w.
5
Let m = 0 - -3. Let t(k) = 2*k + 8. Let q be t(-7). Let o = -1 - q. Solve 3*s - 2 = o*s + u, 3*u = -m*s for s.
-2
Suppose -4*j = -3*w + 9, w - 5*j + 3*j - 5 = 0. Let m be 2/(-8) + w/(-4). Solve m = -5*g + 3*s - 7, 3*g + s + 4 = 3*s for g.
-2
Suppose -6 = 2*o + o. Let g be o + 8 + (-1 - 1). Solve g*f + 0*q + 6 = 2*q, 0 = -5*q + 25 for f.
1
Suppose 84 = -g - 3*g. Let q = 12 + g. Let t be (-1 - q/(-6))*-2. Solve -t*w = -2*w - 4*f - 26, 3*w - f - 11 = 0 for w.
2
Suppose -2*n + 15 = -5*c, 5*n - 33 = c - 7. Let d be (2 + c)/((-2)/(-4)). Solve -5 = d*r + y, -3*r - 1 - 9 = 4*y for r.
-2
Let f = 9 + -7. Solve 5*c - 12 = -f*h, -5*h - 8 - 28 = -4*c for c.
4
Let p = 112 - 102. Solve 5*l = 2*c - 14 + 4, 4*l = -2*c + p for c.
5
Suppose 0 = -7*y + 6*y. Suppose y = 5*x - x - 12. Suppose 3*n - 6 = 9. Solve -x*s - 3 = 3*j - j, -s = 2*j + n for j.
-3
Let x = 144 + -141. Solve -2*o = -3*g + 4, -5*o = -4*g - 7 + x for g.
4
Suppose g + 4*b + 4 = 0, -2*g = -2*b - 4 - 8. Suppose -g*n - n = -75. Suppose -4*a + n = 3. Solve 3*i + z + 5 = -2*i, 3*i + a = z for i.
-1
Let f = -1 + 3. Let d = -15 + 25. Let c(v) = -v**2 - 4*v + 2. Let y be c(-4). Solve -f*t = 3*t + 5, -d = 4*m + y*t for m.
-2
Let k(i) = i**3 + 5*i**2 - 6*i + 3. Let o(m) = m**2 + 5*m - 6. Let w be o(-5). Let y be k(w). Solve -2*x - 11 = -4*q - x, 4*x - 8 = y*q for q.
4
Suppose 0 = a + 4*a - 30. Let f(g) = g**2 + 11*g + 11. Let y be f(-10). Let t = a - y. Solve -t*q + 5 = -15, -13 = 3*c - 4*q for c.
1
Suppose 0 = 5*y - y - 16. Let v = 69 - -17. Suppose v = 3*g + 2*f, 0 = 5*g + 3*f - y*f - 139. Solve -2*z - 2*z - 3*a + g = 0, -z - 3*a = -16 for z.
4
Let b = 0 + 3. Suppose -l = b*l. Suppose l = -5*q + 3*s, -4*s = -3*s. Solve q = -g + 2*g - 5, 5*w - g - 20 = 0 for w.
5
Suppose -u - 1 = -3. Let c(k) = -k - 5. Let r be c(-5). Suppose 0 = 2*w + 2*w - 5*f + 8, w - f + 1 = 0. Solve -u*t + w*j + 2*j + 7 = r, t = -j - 7 for t.
-4
Suppose 2*b + 50 + 12 = 3*x, 5*x - 98 = -2*b. Let y = x + -13. Solve -g - 12 = -4*d + 6, 3*d - y = 4*g for g.
2
Let i = -7 + 5. Let v be 0*(-3)/12*i. Solve -5*n - 4*l = v, l = -2*n - 3*l for n.
0
Let f = 0 - -3. Suppose -5*x = -5*z - 10*x + 30, 4*z + f*x - 21 = 0. Solve z*p + 3 - 25 = -2*d, 4*d = 20 for p.
4
Suppose 5*c - 4*z - 12 = 0, -4*c - 5*z + 21 = -5. Suppose -9 = -c*n + 7. Solve 0 = -q - n*j - 6, 3*q + 2*j - 4 = -2 for q.
2
Suppose 2*z = -1 + 11. Solve 5*g = -5*y - 17 - 8, -y - 17 = z*g for y.
-2
Let u = 5 - 9. Let v be u/(-6)*3 - 0. Let k be -2 - -2 - (-18)/v. Solve 4*b + b + 4*q = -27, 5*b - 2*q = -k for b.
-3
Suppose -v = w - 4, 4*v = 3*w - 0*w + 23. Let g be (-41)/(-8) - v/40. Let m = -1 - -3. Solve g*i = z + m - 1, -5*z - 3*i + 23 = 0 for z.
4
Suppose 0 = 5*p - 2*p + 90. Let y be (-22)/(-10) + 6/p. Let k = y - 0. Solve -2*d = c + 8, 2*d + 4 - k = -4*c for c.
2
Let w be (1/(-3))/(6/(-108)). Let b = 13 + -8. Let g = w - b. Solve -g = 2*v - x - 0*x, 4 = -5*v + 2*x for v.
-2
Let f be 4/7 - (-152)/28. Solve -5*y = -j - f, 2*y - 4*y + 12 = 2*j for y.
2
Suppose -m = -a - 6, -a - 2*m + 4 = -m. Suppose 0*k + 10 = 5*k + 5*i, 37 = 5*k - 4*i. Let w = a + k. Solve -3*x = 0, j + w*j + 5*x = 0 for j.
0
Let r be 104/(-18) + 4/(-18). Let c(d) = 2*d - 23. Let n be c(13). Let w be (n/(-1))/(r/8). Solve w*f + 18 = v, -11 = 5*v + 5*f - 1 for v.
2
Let j = 5 + -4. Suppose -p - 2*g + 5 = 0, 4*p + j = g + 21. Solve -5*i = -5, p*c - 3*i + i = 23 for c.
5
Suppose -4 = -4*p + 3*p. Suppose p*w + 30 = 4*m - 2, 5*w - 20 = -m. Solve 3*i + 2*i = -5*y + m, -3*i - 2*y = -3 for i.
-1
Let i = 0 - -4. Suppose 0 = 5*q - 4 - 26. Solve y - q*y - 3*a - 3 = 0, -2*y - i*a - 4 = 0 for y.
0
Suppose 32 = 9*v - 4. Solve 5*s - v*b - 2 = 5, -4*b = 2*s - 14 for s.
3
Let t be (-6)/(-4) + 1/2. Suppose -1 = -4*c + 11, 3*s + t*c = 27. Solve z - 5*f - 7 = 0, -s - 2 = -5*z - f for z.
2
Let b = 68 - 64. Solve -2*y - 3*y = -u + 10, 3*y + b*u = -29 for y.
-3
Suppose 9 = 3*d - 6. Solve -3*z - 4 = -2*a, -z = 3*z + d*a - 33 for z.
2
Suppose -183 = q + 2*q. Let u = -36 - q. Solve -5*h = -w + 6*w + u, -3*h + 25 = -5*w for w.
-5
Suppose 10 - 1 = -3*k. Let r(z) = -z - 3. Let s be r(k). Suppose s*h = -h. Solve -5*g + 4*c - 12 = h, -6 = g - c - 3 for g.
0
Let w(r) = -4*r**3 + r**2. Let t be w(-1). Solve t*c - 15 = 0, 0 = 2*n - 5*c + 9 + 8 for n.
-1
Suppose -4*k + 12 = 2*k. Solve 3*g + 15 = 3, 16 = -k*b - 4*g for b.
0
Suppose -5*u = -2*u + 87. Let c = 53 + u. Solve -5*x = 3*p - 30, -3*p - 3 + c = 2*x for p.
5
Let h be 0/(1/(-1 + 2)). Let t = h + 4. Solve 0 = j + 5*n + t + 2, -4*j = 5*n + 9 for j.
-1
Let y = 78 - 162. Let f be y/(-18) + (-4)/6. Let o be -5*((-12)/5 - 0). Solve -5*t - o = 3*c - 2*c, -4*c = f*t for c.
3
Let i = 3 - 1. Let g = -3 + 7. Suppose 4*n + 7 = 4*d + 3, 4*n - g = 0. Solve 0 = -3*z - i*l - 1, 0 = -z - 5*l + d*l - 12 for z.
3
Let k be 6*3/2 - 4. Solve k*u + 0*u + 4*m - 20 = 0, -3*u - 5*m + 12 = 0 for u.
4
Let n = 3 + -7. Let f = 7 + n. Solve -3*o + o + s - 1 = 0, 0 = -2*o - 3*s + f for o.
0
Let j = 0 + 17. Let n = -8 + j. Let x be 2 + -3*6/n. Solve 10 = -5*g - x*g + 4*u, 4*u = 4*g + 12 for g.
2
Let v(u) = u**2 + 3*u - 10. Suppose n + 7 = 1. Let s be v(n). Solve -p - s = -3*c, 0*p = -p - 2*c + 7 for p.
1
Let c(t) = 2*t - 9. Let z be c(6). Suppose z*l - 3*h = -2*l + 13, -4*h = -2*l - 6. Let m be 4/10 + 23/5. Solve 5*k - l*p = k + 36, -m*k + p + 24 = 0 for k.
4
Let c be 4/(-10) + (-37)/(-5). Suppose y + 0 = -c. Let f(j) = -j - 7. Let s be f(y). Solve -v - 5*z + 2*z + 3 = 0, s = z for v.
3
Suppose -3*v + 11*v = 16. Solve 5*c = -v*u + 14, -3 = 3*c - 5*u + 1 for c.
2
Suppose -18 = -3*r + o - 1, -13 = -2*r + o. Suppose -5*n - 3*f + 63 = 0, n - 5*f = r*n - 25. Solve 2*y + 7 = c - 0, c - 4*y - n 