 Solve -d - z = -6 for d.
3
Let f be 3 - (0 - (-6 + 5)). Solve 12 = -f*i + 5*i for i.
4
Suppose -4*r = 11 + 1. Let p = 13 + r. Let b be 32/10 - p/50. Solve 0 = 4*v - 11 + b for v.
2
Let k be ((-70)/(-21))/((-3)/(27/(-2))). Solve -6*r + 3*r = k for r.
-5
Suppose 74 = 3*d + 20. Solve -39*x + 57*x = d for x.
1
Suppose 4*m - 20 = -m. Suppose -m*a + 18 = -2*a. Suppose -5*f + a = 4. Solve 0 = -p + 2 - f for p.
1
Suppose -1246 + 154 = -39*v. Solve 10*r - v*r = -90 for r.
5
Let b = 44 + -40. Solve -b*o - 4 = 8 for o.
-3
Let c be (-8)/(-20) + 13/5. Suppose -4*h = -3*h. Suppose h = -0*a - a + 10. Solve 0 = c*u + 5 + a for u.
-5
Let d = 350 - 350. Let f be 511/105 + 2/15. Solve d*p - f = p for p.
-5
Let o = -236 + 260. Solve -22*j = -o*j for j.
0
Suppose -5*r - 4*q + 84 = 0, 0 = r + q - 0*q - 17. Solve -4*i = -12*i - r for i.
-2
Suppose -39*t = -27*t - 96. Solve 0*h + 2*h + t = 0 for h.
-4
Let s = 125 + -121. Suppose -2*r = 8, -s*r - 5 + 1 = 4*k. Solve -b + k = -1 for b.
4
Let a(k) = -k**3 + 4*k**2 - 3*k + 1. Suppose 0*r - 3*r = -9. Let f be a(r). Suppose 2*q = -5*y + f, 17 - 4 = 5*y - 4*q. Solve z + 0*z - y = 0 for z.
1
Suppose 7*k - 2 - 26 = 0. Solve k*n + 4 = 6*n for n.
2
Let k be 128/56 - (-2)/(-7). Suppose 0 = -0*l - l + 5*w + 9, 4*l + k*w - 14 = 0. Suppose 37 = l*s - 5*d, s + 14 = 4*s - d. Solve 0 = -s*a - a - 20 for a.
-5
Let v(g) = g**2 + 21*g + 109. Let k be v(-8). Solve 0 = -k*b - 16 + 16 for b.
0
Suppose 0*o = 2*h - 3*o - 25, h + o = 20. Suppose -4*l = -3 - h. Suppose -l*x = -2*a + 23, 3 = 4*a + 5*x - 28. Solve -2*d + 1 = -a for d.
5
Let m(x) = 4*x + x + 12 - 4*x. Let z be m(-8). Let j(w) = w + 5. Let h be j(z). Solve -h + 1 = -2*q for q.
4
Suppose 3*t + 26 = -0*t + 2*c, 5*t + 2*c + 22 = 0. Let r = t + 0. Let h = r - -6. Solve v + 5 = -h*v for v.
-5
Suppose -5*j - 2 = -32. Let s(f) = j*f + 2 - 4*f**2 + 0 + 3*f**2 + 2*f**2. Let p be s(-6). Solve -3*c - p = -5 for c.
1
Suppose 0 = -9*a - 4*a + 26. Suppose 0 = 3*w - 2*b - 10, -5 = -a*w - 0*b + b. Solve w = -2*r + 8 + 2 for r.
5
Let n(c) = 3*c**2 - 15*c + 4. Let y be n(5). Solve y = -b - 3*b for b.
-1
Let q be 3/(-2) + (-2475)/(-150). Solve 21*y + q = 16*y for y.
-3
Suppose 33 = 5*v - 2*z, z = -3*v - 4*z - 5. Let o be (-1)/4 + v/20. Suppose -4*r + 25 = r. Solve 5 = -o*k - r*k for k.
-1
Let m be 2/6 + (-415)/(-15). Let h = -24 + m. Solve -h*b = -5*b + 3 for b.
3
Let y be (3/(-1) - (-238)/56)*4. Solve -5*t = -0*t + y for t.
-1
Let u = 7 - -9. Suppose 0 = -2*h - 5*g - u, 0 - 24 = -2*h + 5*g. Solve h*s + 4 = 2 for s.
-1
Suppose 5*n = -2*u + 117, 2 = u - n - 67. Solve 2*z = -u + 72 for z.
3
Suppose 11 = 5*p - 0*b + 2*b, b - 1 = -p. Suppose 3*t = 3*l - 9, -3*l - 3*t = -0*t - p. Suppose 0 = 3*s - 4 - l. Solve 0 = -s*y + 4*y - 10 for y.
5
Let y(c) = -c**2 + 1 - 2 + 4 + 36*c - 38*c. Let b be y(1). Solve -i - 1 + 4 = b for i.
3
Suppose 29 = -2*o + 7*o + b, 3*o - 4*b = -1. Let v be -2 - (0 + 56/4). Let y = v + 25. Solve -2*h + o*h - y = 0 for h.
3
Let s = -1296 + 1306. Suppose 3*k + 4*n + 2 + 12 = 0, 0 = 5*k + 4*n + 10. Solve -k*d - s = -4*d for d.
5
Let w(q) = 12*q + 39. Let j be w(-3). Solve -4*r + 7 = j*r for r.
1
Let m(r) = -r**3 - 5*r**2 + 6*r + 2. Let h be m(-6). Let s(k) = -2*k**3 + 8*k**2 + 2*k + 6. Let a be s(4). Solve -4*l - h = -a for l.
3
Suppose 1 = -b - 5*g, 5*g = 5*b - b - 21. Solve 4*r = b + 8 for r.
3
Let g(h) = -h**3 + h**2 + 5. Let a be g(0). Suppose -a*v + 27 = l, 4*l + 7*v - 63 = 2*v. Let k be (18 - (-16 + 29)) + 2. Solve -4*z + k*z - l = 0 for z.
4
Suppose -s = -5*s. Suppose s*a - a = -2. Suppose -2*y = 4*g + 2, -3*y + y - g + 1 = 0. Solve -y = -a*h + 7 for h.
4
Let i = -13 + 59. Let k = -46 + i. Solve 0*p + 4*p = k for p.
0
Suppose -1 = 4*i + 11. Let u = 5 - i. Let k be ((-21)/14)/((-2)/4). Solve k*b = -b - u for b.
-2
Suppose -3*x + 4*n - 4 = -5*x, -3*x + 2*n = -6. Solve q + 1 - x = 0 for q.
1
Let z be -1 - (2 - (8 + -3)). Suppose b + 3 = z*b. Suppose 0 = b*p - 10 - 5. Solve -1 = 3*k + p for k.
-2
Let j be -24 - (-2)/(10/15). Let w = 24 + j. Solve h + 8 = -w*h for h.
-2
Let q(k) = k**2 - 38*k + 296. Let n be q(10). Solve n = -5*o + 9*o for o.
4
Let q = 36 + -29. Suppose -2*f = -17 - q. Solve a - f = 4*a for a.
-4
Let w = 829 - 735. Solve 2*k + 100 = w for k.
-3
Suppose -6*a + 190 = 136. Solve a*p + 15 = 6 for p.
-1
Suppose -2093 = 16*h - 2269. Solve 13 = h*p + 24 for p.
-1
Let l be -7 + 6 - (1 - 2). Solve -2*d - d + 5*d = l for d.
0
Suppose -14*y = 16*y - 600. Solve 0 = 4*a - 8*a - y for a.
-5
Let y be (-8)/32 + (-85)/(-4). Suppose 2*a - y = -5*a. Solve 0 = a*t - 0*t - 6 for t.
2
Let u(g) = -g**2 - 8*g - 1. Suppose 0 = -2*p + 5*s - 21, -2*p + 3*s = -p + 11. Let v be u(p). Let d be (2/v - -2)/(-1). Solve d*b + 4 = 2*b for b.
2
Let b(s) = 6*s**2 + 22*s - 9. Let i(l) = 7*l**2 + 23*l - 10. Let p(d) = 6*b(d) - 5*i(d). Let t be p(-18). Solve t - 39 = 5*y for y.
-5
Suppose 0 = 3*h - 0*n + n + 5, -n - 5 = -5*h. Suppose -4*j + 2*j = h. Suppose j = w - 5 + 1. Solve -d = -0*d - w for d.
4
Let u be -5 + (3*-2)/2 + 7. Let r be (6 + -6)/(0 - u). Solve -3*t + 2*t = r for t.
0
Suppose -23 = -5*u - 3. Let w be u + -3 + (4 - 5). Solve 0 = -w*q - q for q.
0
Let q(h) = -h + 21. Let z be (-4 - -3)*(1 - 0)*-19. Let o be q(z). Solve 7 = -o*t + 3 for t.
-2
Let w = -109 + 40. Let x = 72 + w. Solve 0 = -x*t - 4 + 1 for t.
-1
Suppose -44 = -3*o - p - 3*p, -5*o + 3*p = -25. Let m = o - 6. Suppose 4*c = m*z + 70, 5*c - 5*z - 73 = c. Solve c = 5*u + 2 for u.
3
Let q be 22/3*27/(-6). Let j = q - -33. Solve 0 = 4*u - j*u for u.
0
Let u(y) = -y**3 - 7*y**2 - 4*y + 12. Let o be u(-6). Suppose 2*l + 2*p = 22, o*l - 4*p = -4*l + 4. Suppose -l*x + 15 = -3*x. Solve 0 = -x*b - 6 - 4 for b.
-2
Let x = 141 - 263. Let r = 127 + x. Solve 0*m = -m - r for m.
-5
Let i(h) = 2*h**2 - 2*h + 3. Let y be i(3). Suppose 20*v - y*v = 0. Solve v = -2*f + 4 + 6 for f.
5
Let c be (-1 - 2)/(3/(-5)). Suppose 2*s = c*s - 9. Suppose 0 = -2*b + s*b - 4. Solve -b*y = -5 - 7 for y.
3
Suppose 0 = -3*d + s - 0*s + 13, 0 = -2*d + 5*s - 13. Solve -6*c - 6 = d for c.
-2
Let n = 11 - 16. Let l = n + 6. Solve -i = -l + 3 for i.
-2
Let q be 12/((42/8)/7). Suppose -9 = -q*f + 135. Solve 2*h + f = -h for h.
-3
Let x = 46 + -82. Let u = 38 + x. Solve u*o + 2 = 3*o for o.
2
Suppose -10*p = -6*p - 96. Let h = 27 - p. Suppose -5*k + h*d - d = -25, -d - 10 = -2*k. Solve -k*f + 1 = -24 for f.
5
Suppose -l = 2 - 0. Suppose 3*f - 4*k - 32 = 0, 2*f + 13 = -f - 5*k. Let c be l/f*(4 - 10). Solve 0 = -5*z - 2 - c for z.
-1
Suppose -34*p = -259 - 455. Solve -13 = 4*y - p for y.
2
Let y = 15 + -3. Let k be (-2 - -5)*(1 + 0). Suppose 7 = -2*c + k*c. Solve -c*q + 3*q - y = 0 for q.
-3
Let i = 12 + -8. Suppose -i*m = -31 - 253. Suppose -37 = -3*r + 2*r + 5*h, 5*h = 3*r - m. Solve 5*w - r = 3 for w.
4
Let g be (9 - (-35)/5)/2. Solve g*z = 5*z - 15 for z.
-5
Let c = 57 - 34. Let x = c - 20. Solve -a + x = -0*a for a.
3
Suppose 5*x - 52 = -3*p - 9, -x + 2*p = -6. Suppose 1 + 15 = x*y. Solve -6*d = -y*d - 16 for d.
4
Let h = 5 + -3. Let n(i) = i - 2. Let u be n(h). Suppose u = c - 3*c. Solve -2*m = -c*m for m.
0
Let i(h) = -h**2 - 3*h + 6. Let v = 33 + -36. Let j be i(v). Solve -j = -2*s - s for s.
2
Let c(h) = -3*h - 23. Let k be c(-9). Solve 0 = -5*w - k + 24 for w.
4
Let k(g) = g**3 + 9*g**2 + 4*g - 25. Let q be k(-8). Solve 5*l + 13 = -q for l.
-4
Suppose -2*z + 2*i + 174 = 0, 0*z + 3*z + 4*i = 296. Let j = z - 88. Solve b = -j*b for b.
0
Suppose 2*z + 3 = 3*n + 2*n, -n = z - 2. Let s be (-3)/(-21) - (76/(-16))/(49/112). Solve -s = 3*y + n for y.
-4
Let d(v) = 2*v**2 - 41*v - 51. Let c be d(22). Let a be 6/c + (-6)/(-10). Solve 0 = j - a - 0 for j.
1
Let x = -4 + 4. Suppose -4*i = 12 - 28. Suppose -4*b + 84 = 5*k, -b + 3*b = k - 28. Solve x*y - k = i*y for y.
-5
Let n(z) = -13*z**2 - 146*z - 12. Let j be n(-11). Solve 12*u - 9 + j = 0 for u.
-1
Let f be ((-12)/9 - 2)/(48/(-72)). Solve -f*l + 10 - 30 = 0 for l.
-4
Let v be (-48)/18*(-3)/2. Suppose -4*b - v*n = 12, 5*b - 3*b - 6 = n. Let h be 1 - (-15)/b - -1. Solve -5*f - h = -2 for f.
-3
Let n be ((-5)/5)/(2/8) - 35. Let d be 6/(-39) - 201/n. Solve d*v - 20 = -0*v for v.
4
Suppose 7*s + 0*s = -11*s. Solve s = -6*m - 2*m - 24 for m.
-3
Suppose 10*a - 80 = 10. Suppose -8*p + 33 - a = 0. Solve -1 + p = t for t.
2
Suppose