3 = -3*o, 4*w - 3 = d*w + t*o for w.
0
Suppose -14*g + 33 + 9 = 0. Solve -5 = -t - 4*c - 0*c, -g*t = -c + 11 for t.
-3
Suppose 12*q + 5*q = 85. Solve -5*o - q*h + 7 = -h, -2*h - 1 = o for o.
3
Suppose 15 = -t + 5*i, 0 = -t - 2*t - 2*i + 6. Suppose -4*x = -3*z - 17, -3 = -t*z + z. Suppose 0*f = 4*f - 8. Solve -2*y - x = 0, -3*o + f*y = -0*y - 8 for o.
2
Suppose 0 = -17*b + 12*b + 4*x + 145, 3*b - 65 = -2*x. Solve -4*m = 5*c + b, -5*m + 4*c + 20 = -3*m for m.
0
Let f be ((-17)/(-2) - 1)*12/18. Solve f*q - 4 = 2*t + 9, q + 19 = -5*t for q.
1
Suppose 3*i = 4*i - 5. Suppose g = i*g - 16. Suppose 8 = 3*f - 1. Solve 2*x - 6 - 1 = -u, -f*x + 27 = -g*u for x.
5
Let p be 0/(-1) + 3 + -1. Let r(a) = -a**2 + 32*a - 19. Let b be r(28). Suppose -99*y + b*y = -30. Solve 12 = 4*j - y*k, -k = p*k + 12 for j.
-2
Let g = 47 - 35. Suppose -35 = -g*z - 11. Solve 0 = -4*a + j - z, 2*a = -0*a + 4*j + 6 for a.
-1
Let v be ((-16)/(-6))/((-4)/(-6)). Let x(b) = b**3 - 15*b**2 + 15*b - 10. Let s = 35 - 21. Let j be x(s). Solve -4 = -j*w, -3*w = v*o + 2*w - 21 for o.
4
Let w(m) = 4*m + 37. Let j be w(-8). Suppose -4*y + j = -p, 6*y + 15 = 2*y - 3*p. Solve -x - 2*z - 2 = 4, y = -3*x + z - 4 for x.
-2
Let o(g) = -21*g - 142. Let d be o(-7). Solve 2*n - 10 = z, -d*z + 5*n = n + 20 for z.
0
Let o = -455 + 464. Solve -5 = 2*d - 4*s - o, 2*d = 5*s + 5 for d.
0
Suppose -4*b - 2 = -34. Suppose -2*r + 9 = -5*w, r + 0*w = -w + 1. Solve r*d + b = -5*o, d + 2 = -o + 1 for o.
-2
Let x(w) = w**2 + 13*w - 11. Let u be x(-14). Suppose u*j - 1 = -t + j, 5*j = t - 15. Let p = -1 - -5. Solve -6*d + 31 = -3*d + p*g, -5*d + 5*g = -t for d.
5
Suppose 0 = -3*y + 7*y. Suppose -2*q + 5 + 3 = y. Solve -q*h = m - 13, -4*m - 14 = -2 for h.
4
Let m(r) = r**3 + 18*r**2 + 14*r - 41. Let a be m(-17). Let z(p) = -p**3 - 2*p**2 - 4. Let c be z(-3). Solve 5*i - c = 4*j, i + i - a = 0 for j.
5
Let q(i) = -3*i - 34. Let m be q(-12). Solve -x + 5*v - 11 - 7 = 0, v = x + m for x.
2
Suppose 67*z = 64*z + 12. Suppose 0 = -z*o - 7 + 19. Solve -2*b + 2*x = x, -b - x = o for b.
-1
Let l be (0 + -3)/((-30)/(-140)). Let s = l + 18. Suppose 8 = 3*k - s. Solve -k*w = 4*h, -3*w - 5*h - 36 = -7*w for w.
4
Suppose 3*z + 18 = 2*l, -2*l - 2*z = 3*z + 14. Let o be 1*-1 + (12 - 6). Solve -2*d - o*k = 4, 7 = 2*d - 2*k - l for d.
3
Let g be (-3 + 14/3)*-3 + 21. Solve 4*w - g = -4*t, -6*t + 3*t + w = -16 for t.
5
Let z(d) = -7*d - 25. Let b be z(-4). Solve -5*f - b = -2*p, -f - 2 = -p + 1 for f.
1
Suppose 3*b = -28*m + 23*m + 112, 5*m + 4*b = 116. Solve 4*x - 4*y + 4 = 0, 4*y - m = -y for x.
3
Let b be 242/15 - 10/75. Suppose 2*i = -2*u + b, 2*i - 21 = -2*u - i. Solve 0 = 4*p + l + 7, p - u*l + 21 = -p for p.
-3
Suppose 0 = 4*g - 5*m + 5, -g - 3*g = 3*m - 35. Let n be 8/20 + 18/g. Suppose 0 = d - 2*j, d - n*j + 1 = -1. Solve 2*z = -d*f + 6*f, -z - 3*f = -5 for z.
2
Let s(j) = 3*j**2 + 6*j + 5. Let o be s(-1). Suppose 5*p = 5*a + 45, -7*p + 3*a + 37 = -2*p. Solve -x - o*d - p = 10, -15 = -2*x + 5*d for x.
-5
Suppose -4*f + 7*f = 24. Suppose -i - f = -3*i. Let o be 14/i + (-3)/2. Solve 2*z + p = o*p - 13, -2*p - 4 = 2*z for z.
-5
Let r(w) = 5 - w + 6*w - 10*w**2 + 11*w**2 + 0*w. Let l be r(-5). Suppose 2*q = -1 + l. Solve 0 = 4*k + 2*b - q, 2*k - 2*b = k - 7 for k.
-1
Suppose -2*k = -i + 27, 3*k = -3*i - 0*k + 36. Suppose i*x - 21*x + 8 = 0. Solve -4*d + 10 = 5*o, -o = -2*o - 2*d + x for o.
2
Let a(k) = 2*k + 9. Let l(g) = -g - 4. Let u(i) = -6*a(i) - 11*l(i). Let p be u(-14). Solve -3*j = 5*d - j - 5, 0 = p*d + 3*j - 11 for d.
-1
Let s be ((-35)/(-30))/((-4)/(-24)). Suppose -6*f = -s*f + 5. Solve f*h + 2*b + 5 = -b, 5*b = -2*h - 2 for h.
-1
Suppose 41*f + 3*f - 176 = 0. Solve -q - 5*r + 24 = 0, -f*q - r = -14 - 6 for q.
4
Let i = -93 - -225. Let g be (-5)/(-15) + i/9. Solve -5*v + z = g, -v = z - 4*z - 11 for v.
-4
Suppose 195 = -21*z + 279. Solve -5*k + 4 = z*c - 2, 3*k - 4*c - 10 = 0 for k.
2
Let u be (5 - 3)*4/(-4)*-4. Solve u*g = 4*o + 4*g, -4*o + 2*g - 2 = 0 for o.
-1
Let n(u) = -2*u - 54. Let h be n(-29). Solve -4*v + 2*v = h*r + 10, 3*v + 15 = -2*r for v.
-5
Let y = 644 - 644. Solve -4*u - 12 = 2*n + n, y = 3*n + 5*u + 12 for n.
-4
Let y(m) = 33*m - 6. Let h be y(2). Suppose -j = -4*j + h. Solve 2*t + 0*t = 5*n - 27, 0 = 4*n - j for t.
-1
Let g be 9/2*12/18*1. Suppose g*y + 5*h = 7 + 3, -4*h + 8 = 3*y. Let o = 13 - 8. Solve y = k - d - 3, -4 = -2*k - o*d - 5 for k.
2
Suppose -51*a = -55*a + 4*x + 4, -5*a - 5*x = -25. Solve -3*z + 3*q - 27 = 0, -a + 11 = 3*z + 4*q for z.
-4
Suppose -3*b - 23 + 5 = -4*r, 2*b + 4 = 0. Let c(t) = t**2 + 9*t. Let i be c(-8). Let k = i - -11. Solve -r*x + x + k*j = 16, x + 3*j = 10 for x.
-2
Let t(i) = i**3 + 18*i**2 + 6*i + 110. Let k be t(-18). Solve -2*d - 4 = 0, -4*d + 6 = k*q - 5*d for q.
2
Let k = -2 - -6. Let v = 1317 + -1308. Suppose 11 = k*o - v. Solve -4*h - o*y = -25, 0 = -3*h + 2*y + 13 for h.
5
Suppose -t = -3*c + 4, -c + 3*c = -3*t + 10. Suppose -c*h = -0*h - 8. Solve 8*x + h = 3*x + 3*z, -8 = 4*z for x.
-2
Suppose 25*j - 82*j + 285 = 0. Solve -n + j*k = 0, -4*n + 4*k = -0*n + 16 for n.
-5
Suppose 0*v - 59 = -3*v - 5*x, -5 = -v + 2*x. Suppose -3*n - 28 = 2*q, 5*n + 5*q + 46 = 2*q. Let t = v + n. Solve 0 = 4*u - 2*k + 1 + t, -5*k + 15 = 4*u for u.
0
Suppose 24 + 8 = 8*f. Let c(x) = 2*x**2 + 1. Let m be c(-1). Suppose -3*h + 12 = 0, -3*h - m = -5*d - 0. Solve -5*z = 2*v + d*v + 15, -f*v - 8 = 2*z for z.
-2
Let m(y) = y - 1. Let w(r) = 5*r - 1. Let d(x) = -2*m(x) + w(x). Let f be d(1). Let p = -465 + 469. Solve p*s + 8 = 2*o - 10, 20 = f*o for s.
-2
Suppose -5*b + 124 = n + 2*n, -5*n = 2*b - 232. Let s be n*((-1)/(-6))/((-2)/(-4)). Solve -x = 3*k - 14, 5*x - s = -k + 12 for x.
5
Let c be (-2)/12 + 683/(-6). Let l be c/9 + 2/3. Let r be (-2)/l - 428/(-24). Solve 1 = -3*h - 5, 4*b - h = r for b.
4
Suppose -4*g - g = -2*x - 20, -3*x = -g + 17. Let p be 4/8*g*9. Let q = 12 - p. Solve 4*j - 7 = j - 2*y, 5*j - q*y - 37 = 0 for j.
5
Let p be 0 + -1 + 2 + 1. Suppose -p*w = -4 - 0. Suppose 7 - 39 = -w*l. Solve -2*f - l = 3*j, -4*j = -f - 5 + 19 for j.
-4
Suppose k = 5*k - 16. Suppose 2*g + 7*g = k*g. Solve -5*c - 15 - 4 = i, 2*i + c + 2 = g for i.
1
Let x(u) = -10*u + 305. Let z be x(30). Solve -2*h + 6 - 1 = -5*w, -z = 5*w + 2*h for w.
-1
Suppose -y - 2 + 8 = 0. Let j(q) = -q**2 + 7*q - 6. Let a be j(y). Solve a*r - 5*r + 16 = d, 0 = -5*r - 4*d + 19 for r.
3
Suppose 5*g + 33 = 16*g. Solve -5*t + 16 + 24 = -3*d, g*d = -3*t for t.
5
Let l(h) = h**2 - 11*h + 24. Let k be l(14). Let r = k + -44. Solve 6 = 3*a - 3*u, 2*a + 5*u - r = -a for a.
4
Let x = 13 - 10. Suppose x = -2*l + 7. Let z be (-1)/(-2)*l*4. Solve 2*c + 5 = 3*h - 8*h, -4*c - z*h - 16 = 0 for c.
-5
Suppose 110 + 14 = 31*s. Solve -s*l + g - 24 = 0, 4*l + 4*g + 7 = 3 for l.
-5
Let j = 1 + 1. Let p = j + -2. Suppose 6 = 4*l + 2*x, 5*x = -0*l - 4*l - 9. Solve -r - 4*g + 9 = 0, 2*r - l*g - 6 = -p*g for r.
5
Suppose 0*v - 33 = -3*v. Let p(b) = b**2 + 2*b. Let q be p(2). Let y = v - q. Solve -3*w + y = 0, -x - w + 6 = 2*w for x.
3
Let w be 1 + (-6)/(-4)*2. Suppose 0 = -3*t - 2*g - 10, -2*t + w*g = 2*g - 10. Solve t = 3*p + 2*d - 3, -5*p + 5*d = d - 5 for p.
1
Let f = -230 - -232. Solve -f = 4*d - x, -5*d - 2*x - 3 = -3*x for d.
-1
Suppose 2 = 3*g + 5. Let q be -1 - (11 - g)/(-4). Let c be (-12)/4 + 6 + q. Solve -c = 3*l + n, 0*l - 5*l + 2*n - 1 = 0 for l.
-1
Suppose 3*b + 0*s - 31 = -s, 5*b + 5*s - 35 = 0. Suppose -2*w - 3*w = 45. Let y = w + b. Solve p - 2*f + 7 = 0, -7 = 4*p + p - y*f for p.
1
Let h = 28 - 26. Solve 7*v - 3 = h*v + 2*y, v = 4*y + 15 for v.
-1
Suppose -4*k - 2*m + 26 = 0, -5*m + 33 = -0*k + 2*k. Solve -j - 8 = -o + 2*o, -k*o = -j + 17 for o.
-5
Suppose 37 = 5*v + 87. Let o = v + 13. Let z be 1/((-93)/(-30) - 3). Solve 2 = 4*x + 4*u - z, -o*u + 5 = x for x.
2
Let r = -43 - -57. Let k be (-1)/(-1)*(-1 - r)/(-5). Solve 5*b - 3 = -4*l, -5*l - b = -k*b + 21 for l.
-3
Suppose 10 = -6*m - 50. Let v be ((-14)/(-5))/((-1)/m). Solve k = 4*s + 21, -2*k + 2*s + v = 2*k for k.
5
Suppose 3 + 2 = z. Let k be 1/(6/(-24)*(-3 - -1)). Suppose 18 = 3*m - b - 1, -m + 2*b - k = 0. Solve 3*g - l = -0*g + m, -5*g - z*l - 20 = 0 for g.
1
Let j be 1 + -5 + 3 - -4. Let c(y) = 2*y - 4. Let r be c(j). Suppose r*o - 11 = -1. Solve 4*v + 10 = 2*a, 