 be (-80)/12 + g - (-2)/(-6). Solve w + 3*w - 4 = u for w.
1
Suppose -4*p = 2*z, 110*p - 105*p - 4*z = 0. Solve -11*i + 0 + 33 = p for i.
3
Suppose 54 = -27*s + 33*s. Solve 11*d = s*d - 8 for d.
-4
Let a = -44 + 46. Solve -17 + a = 5*g for g.
-3
Suppose -12 = -4*d - 5*z, -4*d + 2*z = 5*z - 12. Solve 6*r - d*r = -9 for r.
-3
Let j = 1133 + -1131. Solve j*o = 3*o + 3 for o.
-3
Let g be -14 + 16 + 3*2. Suppose 3*n - 10 = -2*n. Solve 2*b = -n*b + g for b.
2
Let q be 2*(-2)/((-16)/20). Suppose -g - 46 + 6 = 3*l, g + 64 = -q*l. Let z = l - -12. Solve -x - 2 - 2 = z for x.
-4
Let h be -14 - 0*(-1)/(-3). Let a = 19 + h. Suppose -v = -a*v + 16. Solve v*f = 2*f for f.
0
Let c(m) = -2*m + 44. Let r be c(20). Suppose -40 = -r*l - 16. Solve 3*x = 6 + l for x.
4
Suppose 5*x - 8 = x. Suppose d = x*d. Let p be (0/5)/(-1 - d). Solve -5*w + 5 = -p*w for w.
1
Let a = 11 + -11. Suppose -2*n + a*n = 5*t + 19, t + 17 = 4*n. Solve n = -c + 4*c for c.
1
Suppose -2*i - 2 = -8. Suppose 138 - 110 = 7*y. Let n(w) = 4*w - 16. Let r be n(y). Solve r = -i*c + 4*c for c.
0
Let i be 26/7 - 10/(-35). Let b be (i - 1) + (1 - -1). Solve 0 = -w + b*w for w.
0
Let n be 2/(-11) + 28*8/22. Suppose 6*p - n = p. Solve 25 = -7*c + p*c for c.
-5
Let q be 9*-4*(-2)/6. Suppose -10*t = -6*t - q. Suppose 2*k = 5*a + 43, -t*k + 3*a - 2*a + 45 = 0. Solve -5*h + k + 1 = 0 for h.
3
Suppose 0*y = 5*y - 2*v - 16, 0 = -y + 4*v - 4. Let i be 0*(2/2)/(-3). Suppose 36 = -i*w + y*w. Solve -4*d = -w*d for d.
0
Suppose 12*q - 16*q = 24. Let l(v) = 4*v. Let g be l(-3). Let o = q - g. Solve o = -3*h - 3 for h.
-3
Suppose 0 = 72*y - 71*y - 82. Let v = y - 78. Solve -v*x - x = 10 for x.
-2
Let f be (-70)/(-21) - 2/6. Suppose -3*i - 13 = c, -f*c - i - 3 = -4. Suppose -c = -t + 1. Solve t*j + 25 = -2*j for j.
-5
Let w be (-3)/4*(-2 - 14). Suppose k - 5 = h + 2*k, -4*k - 20 = 5*h. Solve h - w = -3*z for z.
4
Let q(d) = -d**2 - 9*d - 10. Let m be q(-3). Let x = 11 - m. Solve 0 = x*s - 0*s + 3 for s.
-1
Let x(y) = -3*y - 6. Let o be (-40)/5 + 2 + 4. Let i be x(o). Solve i = s - 6*s + 10 for s.
2
Let n = -21 + 25. Suppose 3*k + n*b = -2, 2*k + 2*b - 6 = 3*b. Let o(a) = a**3 - 2*a - 1. Let h be o(2). Solve -k*s + 5*s + h = 0 for s.
-1
Let d be 1/(-2)*(-2 + (4 - 2)). Solve d = 6*t - 3*t for t.
0
Suppose u - 10 = -3*p, 3*u = 5*p - p + 4. Let x = u + 1. Let y be (-74)/(-4) + 2/4. Solve y = -x*a - 6 for a.
-5
Let r = -28 + 20. Let v(y) = y + 20. Let c be v(r). Solve 5*f - c = f for f.
3
Let f = 1312 + -1306. Solve 24 + 0 = f*z for z.
4
Let s be (-6)/((-12)/(-2)) - 29*-1. Suppose 5*c + 4*m = s + 2, 5*m = -3*c + 31. Solve 6 = -5*o + c*o for o.
-2
Let f be (12 - 2)/2 - -2. Suppose 7*r = 18 + 31. Let o = r - f. Solve -2*p - p + 15 = o for p.
5
Suppose -11 - 22 = 11*y. Let g be 12*(32/y)/(-8). Solve -10*u - g = -6*u for u.
-4
Let k be 1 - 3 - 1 - (-53)/(-1). Let b = k - -65. Solve 4*t - 7*t = -b for t.
3
Let v(g) = 0*g**3 - g**3 + 1 + 20*g + 6 + 8*g**2 - 3. Let s be v(10). Solve -5*f + s + 1 = 0 for f.
1
Suppose -30 = -11*s + s. Suppose s*j + 2*x = -1, 8 = -4*x - 0*x. Solve -3 - j = -d for d.
4
Suppose 99 = -o + 4*o. Suppose o = 4*x + b + 4*b, -4*x = -5*b + 17. Solve -8 = -0*l + x*l for l.
-4
Suppose 66*s = 90*s - 120. Solve 2*i = s*i - 6 for i.
2
Suppose 27 = -2*z - z. Let t(b) = -b**2 - 9*b + 6. Let m be t(z). Solve 0 = -m*i + 3*i - 15 for i.
-5
Suppose -31*p = 18 - 2188. Solve 5*b = -p + 50 for b.
-4
Let o(a) = -4*a - 13. Let v(l) = l + 4. Let b(y) = -6*o(y) - 21*v(y). Let h be b(7). Solve -5 + h = -2*u for u.
-5
Let d(c) = c**2 + 11*c + 7. Let n(q) = -q**2 + 16*q + 25. Let o be n(18). Let s be d(o). Solve 11 = 2*k + s for k.
2
Suppose -22 = -2*s - 2*u - 0*u, 13 = s + 3*u. Solve -4*c + 10 + s = 0 for c.
5
Let w = -568 - -576. Solve -7*r - w = -43 for r.
5
Suppose -w = -6*w + 2*p + 17, 5*w - 19 = 4*p. Solve f - 16 = -w*f for f.
4
Let n = 132 - 127. Suppose -r + 8 = k, -8 = -5*k + 4*r + 5. Suppose -5*x = 4*y + 3 - 1, k*x + 10 = 0. Solve n*b + y = 7 for b.
1
Let n = -94 - -107. Suppose 5*c + 0*w = -3*w + 13, -3*c + 4*w + 2 = 0. Let b be 0/(c/(-4 + 2)). Solve b = -2*i + 3 - n for i.
-5
Let g = -39 - -38. Let a be (2 - 0) + g + 7 - 3. Solve -a*w = -w for w.
0
Let v be (-3 + -7)/(-4 + 3). Let w(p) = -p**3 + 11*p**2 - 9*p - 10. Let x be w(v). Suppose x = -0*o - o. Solve o = 3*b + 6 - 0 for b.
-2
Let p(q) = -9*q + 76. Let z be p(8). Solve 0*w = -z*w + 20 for w.
5
Suppose 7*g = -5*g + 168. Solve 4*t - g + 10 = 0 for t.
1
Suppose -5*u = 4*p - 3, 5*u - u = 3*p + 21. Solve -u*m - 1 - 14 = 0 for m.
-5
Let l(n) = 3*n + 12. Let q(k) = -k. Let a(d) = -l(d) - 2*q(d). Let h be a(-14). Solve t = -3 + h for t.
-1
Let w = 125 + -123. Suppose 4*b = 3*r, 0 = -5*b - w*r + 4*r. Solve 4*c - c - 12 = b for c.
4
Let a(p) = p**3 - 3*p + 1. Let s be a(4). Suppose 0 = s*g - 48*g - 50. Let m(b) = -6*b. Let c be m(-1). Solve -w + c*w = g for w.
2
Let i(l) = -3*l - 7. Let m be i(-6). Let g = 15 - m. Let p(b) = b**2 - 3*b + 2. Let d be p(3). Solve -d*u = 4 + g for u.
-4
Suppose -6*w + 113 = -103. Let d be (-2)/14 - w/(-7). Solve 4*c = 21 - d for c.
4
Suppose 0 = -4*z + 170 + 22. Suppose 4*j = -5*x + z, -5*x + 34 = -x + j. Let k(g) = -g + 8. Let m be k(x). Solve -c - c = m for c.
0
Let r be (0*(-2)/(-6))/(2 - 0). Solve 6*i - i - 10 = r for i.
2
Let k = 38 + 70. Let a = -88 + k. Solve t - 6*t = -a for t.
4
Let d be 4 - (5 - (5 - 1)). Suppose -9 + 6 = -d*z. Suppose -2 = -2*i - 4*a, -a - 4 = -4*i + 4*a. Solve i = -b - z for b.
-2
Let x = 377 + -377. Solve x = -7*y - 13 - 8 for y.
-3
Suppose -3*w - 2*w = 4*b, 2*b - 5*w = 0. Solve 0 = r - 1 - b for r.
1
Suppose 5*c - 5 = -2*g, 3*c - 5*g = 35 - 1. Suppose 0 = -13*o - 13*o + 104. Suppose 3*q - 5*q + 5*m = 23, c*q + 17 = o*m. Solve -4 = -3*l - q for l.
1
Let b be 508/14 + 4/(-14). Let j be 3/(-18) - (-258)/b. Solve 3*h - j*h = -8 for h.
2
Let l = 6 - 3. Suppose 0 = -2*m - 32 + 38. Let v be 2 + (-5 + m - -15). Solve -l*d = 2*d + v for d.
-3
Let r be ((-108)/189)/(2/(-14)). Solve w + r = -0 for w.
-4
Let r = 31 + -30. Let z(i) = i - 1. Let g be z(r). Solve g = -2*j + 7*j - 10 for j.
2
Let h be (-4 - -1)*1*2/(-6). Suppose -21 + h = -5*j. Solve -4 - 4 = -j*u for u.
2
Let h be 146/511 - (80/(-14) - -1). Solve h*l = 4 + 1 for l.
1
Let k be (-8 - 4)/((-12)/8). Solve 9*c = k*c - 2 for c.
-2
Suppose 0 = -29*m + 57 - 57. Solve -22*n + 23*n - 4 = m for n.
4
Suppose -2*f - 65 = -57. Let w = 7 - f. Solve 0 = -5*c + 1 - w for c.
-2
Suppose 8*m = -102 + 590. Let q = m - 53. Solve -2*a = q - 2 for a.
-3
Suppose i - 15 + 10 = 0. Solve 6 = -i*x + 2*x for x.
-2
Let p(z) = 6*z + 27. Let g be p(-5). Let q be ((-2)/4*g)/((-25)/(-50)). Solve -2*k + 2 = -q*k for k.
-2
Suppose 4*w = 3*p + 6, 4*p + 9 = -4*w + 1. Let x(c) = c**2 + 1. Let l be x(w). Solve 2*i - 3 = -l for i.
1
Let f be -48*-1*(2 - 0). Let l be (1/(-3))/(-2*4/f). Solve -l*r = -2*r for r.
0
Let t be (-1)/(-6 - 203/(-35)). Let j be -2 - ((-8)/1 + 1). Suppose -j*u = -0*u - 2*f - 15, -22 = 3*u + 5*f. Solve -2*y = u - t for y.
2
Let b be 70/8 - 2/(-8). Let g = b + -9. Suppose -m = -g*m - 2. Solve 2*t + m - 4 = 0 for t.
1
Let w = -25 - -29. Suppose -2 = -3*v - 5*u, -v - w*v + u + 22 = 0. Solve -v*d - 14 = -2 for d.
-3
Let x = 47 + -42. Suppose x*g = 3*y - 26, 20 = -g - 4*g. Solve -3*v = y*v - 15 for v.
3
Let n be (0*(-3)/9)/(-1). Let w = 86 + -63. Suppose h + w = -3*c + 8*c, -2*c + 3*h = -17. Solve n*k = k - c for k.
4
Let w(g) = 9*g**2 - g + 1. Let j be w(1). Suppose -3*r - 43 + 4 = 0. Let v = r - -16. Solve 0*n - v*n = j for n.
-3
Suppose -2 - 28 = -5*j. Suppose 0 = -7*a + 5 + 23. Let i be 0*a*(-4)/(-32). Solve 3*b - b + j = i for b.
-3
Let q be (-270)/(-108)*(-8)/(-10). Solve q*z = -3*z + 5 for z.
1
Let a be (-3 - (-6 - -3)) + 3 + -1. Solve -a = -0*w - 2*w for w.
1
Let m(n) = n**2 + n - 4. Suppose -2*a + 7 = -j, 3*j + 22 = 5*a - j. Let o be m(a). Let p be (o/(-4))/((-6)/12). Solve -p = -h - 4 for h.
-3
Let b(r) = r**2 - r + 1. Let s(x) = -x + 1. Let u be s(1). Let m be b(u). Let j be 10/2 - (m - -2). Solve 0 = -y - j - 2 for y.
-4
Let i = 132 + -128. Solve i*w + 16 = -0 for w.
-4
Suppose -3*f + 4*u + 68 - 9 = 0, f + 2 = -3*u. Suppose 0 = -f*x + 15*x - 30. Suppose 6*q = 5*q - l + 7, 4*l - 33 = -5*q. Solve -q*c - x = 5 for c.
-4
Let k(c) = 8*c + 11. Suppose 0 = -2*p + 33 - 3