= z - h for z.
2
Let h = -39 + 43. Solve -h*k = k - 3*k for k.
0
Suppose -6*o = -14*o + 120. Solve 0 = 10*k - 7*k - o for k.
5
Suppose 0 = 4*u - 1281 + 273. Solve -u*j = -254*j + 10 for j.
5
Suppose -7 = 5*p - 57. Solve 0 = 24*t - 22*t + p for t.
-5
Suppose 0 = 5*y + 4*i - 17, -4*y = -5*y + 5*i + 15. Suppose -4*l + 4 = -8, -3 = 2*f - y*l. Solve -5 = -b - f for b.
-1
Suppose 5*w = -1365 + 1405. Solve -2*c = -7*c - w*c for c.
0
Let x(y) = y**3 - 4*y**2 + 3*y + 4. Let c be x(3). Let q be ((-6)/(-3))/(1/(-2)). Let g = c + q. Solve 5*r + 14 - 34 = g for r.
4
Let f(u) = -15*u + 8 + 8*u + 2*u**2 - u**2. Let i be f(6). Let l(b) = b**3 + 6*b**2 + 6*b + 9. Let t be l(-5). Solve v + t = i*v for v.
4
Suppose 5*o - 24 = -2*i, 3*i - 4*i - 3*o + 14 = 0. Suppose -11*s = -7*s. Solve 0*x - 2*x - i = s for x.
-1
Suppose 34*j + 247 = 53*j. Solve -j*v - 16 = -3 for v.
-1
Let s(p) = 52*p + 263. Let t be s(-4). Solve 47*i + t = 36*i for i.
-5
Suppose 0 = m - 13 + 5. Let f(r) = 3*r - 18. Let b be f(m). Suppose 5*y = -3*n + 16, -b*n = -3*y - 2*n + 27. Solve 0 = -y*v - 0*v for v.
0
Suppose u + 11 = 11. Suppose 10*r - 4*r - 24 = u. Solve 8*c = r*c for c.
0
Let y(l) = -4*l - 1. Let v be y(-1). Suppose -2*p + 2 = -t - v, t - 7 = -2*p. Solve 4*m - p*m = 1 for m.
1
Suppose -13 = -4*j + p, -4*j + 17 = 3*p - 8. Solve -2*t - j = -0*t for t.
-2
Suppose 4*p = 5*m + 14, -4*m + 0 = 3*p + 5. Solve 0 = d - 2 + p for d.
1
Let i(l) = -l + 62. Let t be i(-3). Solve -68*g + t*g = 0 for g.
0
Suppose -b + 0*b = -4. Suppose 7 = b*g - 73. Let h = g - 16. Solve -h*z = -1 - 3 for z.
1
Suppose -u = -4*l + 135, 3*l - 54 = -u + 56. Solve -l*v - 3 = -36*v for v.
3
Let d = -248 + 248. Solve -n + 5 + 0 = d for n.
5
Let i = 457 + -441. Solve i = 5*p - 4 for p.
4
Let j(v) = v**2 + 13*v + 39. Let t be j(-9). Let z(u) = 2*u - 5. Let i be z(5). Let h be -2 - 0 - (-2 + 0). Solve -i*s - t - 12 = h for s.
-3
Let z be 1 + 0 - (-19 - 14/(-7)). Let h be 3/(-7) + z/42. Solve -l + h*l = -1 for l.
1
Let r(n) = -n**2 + 37*n + 170. Let s be r(41). Let g = 4 - 0. Let q = g + 0. Solve -6 = -q*u + s*u for u.
-3
Let i(w) = -w**3 + 12*w**2 - 11*w - 3. Let u be i(11). Let o = 2 - u. Suppose o + 1 = 3*r, -z - 4*r = -10. Solve -5*j - 3 = -z*j for j.
-1
Let y(b) = -b - 1. Let s be y(-6). Let p = -1 - -1. Let u = -14 - -19. Solve 0*q - s*q - u = p for q.
-1
Suppose 48 = 29*c - 126. Solve c = -2*a + 4 for a.
-1
Let b(k) = -6*k. Let l be b(2). Let u = l - -16. Suppose 3*a + 16 = -5*r, u*a - r = -9 + 26. Solve -a*x = -5*x for x.
0
Let x be (-42)/(-12) - (-1)/(-2). Suppose -2*o + d + x = -7, -4*d - 16 = 0. Let k = 2 + -2. Solve -9 = -o*w - k*w for w.
3
Suppose 15*y - 154 = 13*y. Suppose -5*p + y = 6*p. Solve -p = -5*q + 18 for q.
5
Suppose -49*x + 111*x - 4216 = 0. Solve -17*y - x + 17 = 0 for y.
-3
Let b = 319 - 309. Solve -o + b = 5 for o.
5
Let q(k) = -k**2 - 79*k + 171. Let w be q(-81). Solve 0 = 3*x - w + 12 for x.
-1
Suppose 4*q - 1675 = -q - 5*t, 5*t = -3*q + 995. Let y be (q/50)/(2/5). Let n = -17 + y. Solve g + 0*g - 3 = n for g.
3
Let o(v) = 3*v + 3. Let f be 12/(-5)*(-2 - -7). Let d be (-1)/4*1*f. Let t be o(d). Solve -4*r + r = -t for r.
4
Let i = 79 + -139. Let o = -58 - i. Solve 0 = g + o*g - 3 for g.
1
Suppose -329 = -16*h + 759. Let m = h - 61. Solve -m*c - 2 = -9*c for c.
1
Let n(h) = h + 12. Let x be n(-5). Solve c + x = 10 for c.
3
Let k(m) = -10*m + 19*m - 10*m + 2. Let p be k(-1). Solve -p*n = 2*n for n.
0
Let x be ((-9)/12)/((-6)/104). Solve -6*y = -5 - x for y.
3
Let u = 20 - 23. Let m = u + 9. Solve -4*x - 6 = m for x.
-3
Suppose -10 = -4*n - j, -2*n - 2*j + 14 = 3*n. Let x = 6 + -3. Let l be x/(-9) + (-13)/(-3). Solve l*d + n = 14 for d.
3
Let i(b) = 54*b - 1. Let w be i(1). Solve 4*a - w + 33 = 0 for a.
5
Let b(x) = -x**3 + 6*x - 1. Let f be b(4). Let t = f - -41. Solve -r + t = 3 for r.
-3
Suppose 4*i - 2*w - 2 = 0, 6*i + 3*w = i - 14. Let x be 5 - (2 + i + 2). Suppose x + 2 = -g, 3*r + 2*g = 4. Solve -c = -r*c for c.
0
Suppose 81*l - 79*l = 8. Solve 0*n + l*n = -n for n.
0
Let w be (-3 + -6)/(14 + -15). Solve w*q - 9 = -0*q for q.
1
Suppose s + 5*g = 2*g - 7, -4*s - 2*g = -12. Solve k + s = -0 for k.
-5
Let q(b) = b**2 + 6*b - 2. Let o(f) = 3*f**2 + 18*f - 5. Let t(l) = 2*o(l) - 7*q(l). Let j be t(-6). Solve -1 = -i + j for i.
5
Suppose 3*y = 5*h - 19, -4*h + 4*y = 9 - 29. Suppose h = -2*s + 12. Solve s*a - 2*a - 3 = 0 for a.
1
Let p = 9 - -16. Let q(b) = b**3 + b. Let i be q(-1). Let c be i - 1/(2/(-12)). Solve -c*l - l + p = 0 for l.
5
Suppose -3*x = -2*x + 20. Let k be 5/x + (-75)/(-12). Let l be (6 - k)/(-2 - -3). Solve -5*j + l*j = 0 for j.
0
Let l = 2 - 2. Suppose -2*c - 3*w - 1 = -10, -4*c = w - 3. Suppose 3*n + 12 = u - c*n, -5*n - 20 = 0. Solve l = -3*y - u*y for y.
0
Let c(t) = 3*t + 2*t - 2*t - 20*t**2 - 4*t. Let b be c(1). Let v be (b/21)/(1 - 2). Solve -3 - v = o for o.
-4
Let l(d) = -6*d + 33. Let f be l(4). Suppose 5*z = 0, 6*i = f*i + z. Solve i = -19*c + 24*c - 25 for c.
5
Let p be (-15)/(-9)*3 + 26. Solve -p + 3 = 7*u for u.
-4
Let w = -286 - -542. Suppose -257*b + 2 = -w*b. Solve s = -b*s for s.
0
Let q(w) = w**2 + 37*w + 344. Let u be q(0). Solve u*g - 14 = 337*g for g.
2
Suppose 3*l - 9 = -3. Suppose g + l = 3*g. Solve -g + 3 = 2*u for u.
1
Suppose -3*w + 10*w = -931. Let z be ((-36)/14 - -2)/(38/w). Suppose -30 = -5*n + 30. Solve -z*f - n = 2*f for f.
-3
Let x be 0 - (4 - 2/2). Let n be 9*(24/(-9) - x). Solve -n = -0*s + s for s.
-3
Let n be 6/5*(2 - (-84)/8). Solve -80*h + n = -83*h for h.
-5
Let i = -798 - -814. Solve 31*j - 30 = i*j for j.
2
Let x = 30 + -34. Let k be (-3 - (x + 3))*2/(-4). Solve 5*h = 4 + k for h.
1
Suppose 40*z + 270 = 50*z. Solve -z = -7*j - 2*j for j.
3
Suppose -2*q + 5*f = -25, 4*q = 5*q + 4*f - 6. Solve -6*y = -4*y + q for y.
-5
Suppose 0 = -4*m + 7*m - 15. Solve 19 + 1 = -m*a for a.
-4
Suppose 173*g - 137*g = 72. Solve 7*y = 9 - g for y.
1
Let x be 12/21 + (-3)/((-63)/30). Suppose 0 = x*m - 8*m + 12. Solve m*h - 20 = -2*h for h.
5
Suppose -157*q - 15 = -162*q. Let f = q + 0. Solve f*t = -5 - 4 for t.
-3
Let d(a) = a**2 + a + 1. Let i be d(-1). Let u be ((-6)/(-12))/(i/6). Solve -4 + 1 = u*r for r.
-1
Let z be 3045/348 + 1/4. Solve z*h - 15 = 4*h for h.
3
Suppose -1 = 5*v - 6*v + 2*a, 35 = 5*v + 5*a. Suppose 12*u - 105 = v*u. Solve -u = -w + 4*w for w.
-5
Let x = 4 - 2. Suppose 0 = 2*l + 4*y - 4, x*y + 10 = 5*l + 6*y. Let t = -2748 - -2753. Solve 3 = -t*d - l for d.
-1
Let n = -10 + 26. Solve n = 4*i + 24 for i.
-2
Suppose 65*a - 84*a = -114. Solve 0 = -a*y - 13 - 17 for y.
-5
Let q be 3 + (-5 - (-2 + 0)). Suppose q = -4*u + 2 + 18. Suppose a + u*f + 9 = 0, f - 21 = -3*a + 2*f. Solve -4*k = -a*k - 2 for k.
-1
Let b(u) = 4*u**2 - 25*u + 57. Let w be b(4). Solve 0 = -4*v + w - 5 for v.
4
Let w(l) = l + 2. Let y be w(5). Let m be ((-10)/40)/(1/(-20)). Suppose 2*k + 2*k + 24 = 2*g, 0 = -g + m*k + 18. Solve -5*d + y = -g for d.
3
Let r be 1/15*6 - 2/5. Suppose 3*n - n - 4 = r. Solve 0*g - g + n = 0 for g.
2
Suppose -3*p + 2*v = 1 + 3, -3*p = -v - 1. Suppose 4*u - 2*u = -4*w - 16, -2*w = 10. Solve -u*r + 4 = p for r.
1
Let s = 658 - 652. Solve s = -y + 11 for y.
5
Let r be 200/3 + (-1)/(-3). Suppose 4*d = 73 + r. Let a = d - 21. Solve a - 2 = 3*n for n.
4
Let o be 5 + (-2 + 1)*5. Suppose 14*c - c = o. Solve 2*j + 4 = -c*j for j.
-2
Suppose 114 - 39 = 5*q. Let s = 15 - q. Solve s = 3*h - 4*h + 4 for h.
4
Suppose 5*z + 0*w = -4*w + 85, 4*z + 2*w - 62 = 0. Let t be -1 + 110/25 + 4/(-10). Suppose v - 3*x = -0*v + z, 3*x + 21 = t*v. Solve 5*y + v = 14 for y.
2
Suppose 83*l = 15*l + 612. Solve l - 7 = 2*n for n.
1
Let o be 40/70*(6 - -1). Solve -o + 16 = -3*y for y.
-4
Let g be (-22)/(-88) - ((-87)/4 - -2). Solve 3*l - g = -l for l.
5
Let w(n) = n**3 + 7 + 0*n**2 + n**2 + 4*n**2 + 3 + 2*n. Let a be w(-5). Solve a = l - 3 + 1 for l.
2
Suppose -7 = -30*p + 2513. Solve 8*t - 92 = -p for t.
1
Let m(l) = 2*l + 1. Let h be m(2). Suppose -3 - 1 = -4*i - 4*t, -3*i - t = 3. Let x = h + i. Solve -5 = x*g - 2*g for g.
-5
Let g(q) = q**3 - 5*q**2. Let p be g(5). Suppose -2*f + 5*s + 24 = p, 1 = -f + s + 10. Suppose -4*r - 4*k + 17 = -f, -k = -4*r + 9. Solve -10 = b - r*b for b.
5
Let c(u) = u**3 + 19*u**2 - 22*u - 36. Let m be c(-20). Suppose 0 = -2*n + 4 + m. Solve n*t +