+ 12)*(-4)/5*25. Solve a = c - 82 for a.
-2
Let l be 2*1/1*1. Suppose 5*o - l - 13 = 0. Suppose -3*r = 4 - 10. Solve r = -d + o*d for d.
1
Suppose 5*j = -3*o + 24, -4*o + 20 = 2*j + 2. Let s be (-80)/(-12)*o/(-2). Let g = s - -11. Solve -2*i + g = 3 for i.
-1
Let n be (29/(-2) + 1)*4/(-6). Solve 4*p + n = 5 for p.
-1
Suppose -37 - 13 = -5*n. Suppose 2 = 3*b - n, -3*o = 2*b - 17. Suppose d = -o*d + 20. Solve -t + d = -0*t for t.
5
Let n(f) = -f**2 - 3*f + 0*f**2 + 5 - 3. Let c = -7 + 5. Let z be n(c). Solve z*l = l for l.
0
Suppose 6*w - 2*u + 1 = 9*w, 4 = w - 3*u. Let g be (-1)/1*(-3 - (w - -4)). Solve 5*y = -12 - g for y.
-4
Let m be (-1)/((-4)/10 + 85/150). Let d be 2 + 0 + (-5)/(5 + m). Solve d = 4*l - 1 for l.
2
Suppose 2*o - 5*i - 35 = 0, 5*i + 63 = 5*o - 32. Let l be 45/o + 1*3/(-12). Solve 0 = l*n - 1 - 7 for n.
4
Let r(u) = -8*u - 1. Let t be r(-2). Suppose -5 + t = 2*z. Let p(o) = o**2 + 18*o - 7. Let g be p(-19). Solve 2*i - z*i - g = 0 for i.
-4
Let p(d) = 2*d - 4. Let o be p(0). Let q be (o/5)/(5 - 78/15). Solve q*n = 7 - 3 for n.
1
Suppose 72*l - 67*l = 20. Solve s = -l + 3 for s.
-1
Let p(z) = z**3 - 7*z**2 - 17*z + 13. Let w be p(9). Suppose w = 4*i + 2*d, i + i - 6 = -2*d. Solve i = -4*x - 0 for x.
-2
Let k = -41 - -65. Suppose 2*u - 3*g + 14 = 3*u, 5*g = -2*u + k. Solve 4*j = 5*j - u for j.
2
Let h = -6 - -11. Suppose -4*f + 16 = -h*f. Let w = f + 16. Solve -2*n = -w*n - 2 for n.
1
Suppose 3*x - 3*f = -21, 5*x = -0*f - f - 11. Let z(l) = l**2 + 6*l + 14. Let i be z(x). Solve 0 = i*o - 2*o - 15 for o.
5
Let o(h) = h**3 + 4*h**2 - 4*h + 7. Let z be o(-5). Suppose -18 = -r + 4*b, z*b + 3 = -3*r + 15. Solve r = -k - k for k.
-3
Suppose 12*v - 92 = -92. Solve q + 33 - 36 = v for q.
3
Suppose 5*v + 42 = -3. Let y = 13 + v. Solve -2 = -2*s - y for s.
-1
Let p(c) = -c**2 + 13*c - 15. Suppose -2*y + 4*y - 4 = 0. Suppose y*l - 24 = -2. Let w be p(l). Solve -4*j = -w*j for j.
0
Let q(x) = -x + 1. Let c(k) = k - 21. Let z(b) = -c(b) - 4*q(b). Let j be z(-5). Solve -p + 6 = j*p for p.
2
Let u be 2/(-3) + ((-204)/9)/(-4). Suppose -2*o + 5*k = -20, -u*o = 2*k - 7*k - 20. Solve 0 = -h - o*h for h.
0
Let l(a) = 38*a + 141. Let q be l(-3). Solve -23*j + q*j = 4 for j.
1
Let f be 32 + (-4 - -3) + -6. Solve -11*i + 6*i = f for i.
-5
Suppose 23*p = 26*p - 48. Suppose z - 1 = 0, z - 2*z = 3*b - p. Let c(t) = -t. Let y be c(-2). Solve 3 = b*r - y*r for r.
1
Let j(a) = -2*a. Let p be j(0). Suppose -30 = -4*s - h + 58, 0 = -s + 5*h + 1. Suppose u + 3*q + s = 3*u, 0 = u + q + 2. Solve 3*g = u - p for g.
1
Suppose -4*m - 2 = -18. Suppose 2*a - m*a + 10 = 0. Let z be 17/5 - 8/20. Solve 2*k - z = a for k.
4
Suppose i - 41 = -4*i + 2*w, -2*i + w + 16 = 0. Solve -i*d - 4 - 14 = 0 for d.
-2
Let w be (10 + -11)*-19 + 7. Solve -10*k + w = 3*k for k.
2
Suppose -5*q + 3*q - q = 0. Suppose 3*z - 15 = -3*i, q = -0*z - 4*z + 5*i + 2. Solve -3*l + z = -6*l for l.
-1
Suppose 5*l - 7 = f, -3 = -3*l + f + 2. Let o(u) = 5*u**2 - 4*u + 8. Let y be o(4). Let q = y + -69. Solve -l = q*m - 10 for m.
3
Let d be ((-6)/8)/(3/(-12)). Let r = 3 + 2. Let x be (-33)/(-5) - (-2)/r. Solve x = -d*a - 5 for a.
-4
Let a be ((-2)/(-4))/(8 - (-1045)/(-132)). Suppose -2*h + 236 = 2*h. Let c = h + -40. Solve 5*r = -c - a for r.
-5
Let a be (2/(-3))/((-2)/18). Suppose 2*k - 2*v = -6, k = a*k + 5*v - 15. Solve -4*w - 14 - 2 = k for w.
-4
Suppose 3*i - 2*n = 4, -3*i + 7*i - 2*n - 6 = 0. Suppose -i*w = 5*u, -3*u = -2*w + 7*w. Let r be 0 - (1 + (u - 1)). Solve -2*c + 0*c = r for c.
0
Suppose 0 = 6*o - 476 + 194. Solve 49*r - o*r + 10 = 0 for r.
-5
Suppose 0 = -19*k + 61*k - 546. Solve -10*a + k*a = -15 for a.
-5
Suppose -5*g - 3*c - 2*c + 70 = 0, -4*g + 5*c = -20. Let v be 4/5*25/g. Suppose -u = v*u - 6. Solve 5*m + 8 + u = 0 for m.
-2
Suppose -4*v = -3*h + 32, 5*v + 4*h = 3*h - 21. Let j(g) = -g**2 - 4*g + 9. Let o be j(v). Solve o*u = u - 12 for u.
-4
Let m(t) = -t**2 + 6*t - 3. Suppose 4*l - 36 = -4*c, -8 = -2*l - 0*l. Let z be m(c). Suppose -d - 4 = -3*f - 0*f, 8 = -3*f - z*d. Solve -k - 4*k + 25 = f for k.
5
Let c = -45 + 46. Solve -7 = 2*i - c for i.
-3
Suppose 0 = -7*w + w + 24. Solve -w*o - 10 = 6 for o.
-4
Let j(o) = -o**2 + 6*o - 3. Let i be j(5). Let v = 10 + -6. Suppose -3*x - 2*p + 3 = 0, -i*x + v*p = -5*x - 3. Solve -6 - 3 = x*h for h.
-3
Let p(b) = b**3 - 7*b**2 + b - 4. Suppose -8*s - 2*k + 45 = -3*s, s = 2*k - 3. Let a be p(s). Solve a - 7 = f for f.
-4
Let s be (0 + -5)*4/(-10)*1. Solve 5*p + 35 = -s*p for p.
-5
Let c = 3 + -1. Let r be (0 - (2 + -1)) + (-5304)/(-1326). Solve y + r = c*y for y.
3
Suppose w - 1 - 6 = 0. Let z(q) = -q**3 + 8*q**2 - 8*q + 1. Let s be z(w). Let c be (s/2)/((-6)/8). Solve c*v = v - 15 for v.
-5
Let b = -23 - -51. Suppose -5*c + 38 = -4*j, 6*j = 4*c + 2*j - b. Let x(y) = -y**3 - 7*y**2 + 7*y - 2. Let f be x(-8). Solve -4*p + c = -f*p for p.
-5
Suppose 4*s = 7*s + 2*b - 26, 3*s - 3*b = 36. Solve s - 12 = i for i.
-2
Suppose 1 - 21 = 5*i. Let v be (6 + -6)*(-2)/i. Suppose 3*k = h - 2*k - 28, -3*h - 1 = 2*k. Solve -3*a = -v*a + h for a.
-1
Let v(z) = z**2 - 6*z - 3. Let k be v(7). Let m be (-1*4)/((-3)/6). Suppose 4*x = -m + 24. Solve -x*d + 4 = -k for d.
2
Suppose -5*x + 4*l - 62 = 0, -5*x - 8 = -3*l + 51. Let s(q) = q**2 + 8*q - 20. Let f be s(x). Solve -4 + f = -4*b for b.
1
Let p be (-4)/(36/(-21) - -2). Suppose -4*h + 5*h = -3*l - 7, 4*h - 5*l = -62. Let x = h - p. Solve x = 5*k - 4 for k.
1
Let r be 2/(-6) + 13/3. Let u be (-22)/((-1)/(r/(-8))). Let g = -11 - u. Solve g = -8*v + 3*v for v.
0
Let m(v) = -2*v**3 - 2*v**2 + 3*v + 2. Let s be m(-2). Suppose 0 = -3*i + x - 2, -i + s*x = -3*i + 22. Let w be 14 - (1 + -1 - i). Solve -5*h = w - 0 for h.
-3
Suppose y = 2*h - 3, -40 = -y - 5*h - 8. Suppose -82 = -5*j - y. Solve d - j = -2*d for d.
5
Let h be (-11)/(-3) - 10/(-30). Let g(a) = -a + 6. Let k be g(h). Suppose -4*d = 2*q - 6, 0 = -2*d - 0*q + 4*q - 12. Solve c - 2 - k = d for c.
4
Let s = 278 + -275. Solve 3*t + s = 6*t for t.
1
Suppose 6*f - 9*f - 12 = -3*u, -u + 24 = 4*f. Solve 14*s + u = 16*s for s.
4
Let r = -2 + 2. Suppose -c + 5*l = l + 12, -3*l = 2*c - 20. Solve -4*f + c = -r for f.
1
Let p(g) = 8 + 8 + g - 11. Let d be p(3). Solve 3*t - d = t for t.
4
Let i be 1 + -1 - 18/(-2). Let r = i - 7. Suppose -6 = -r*g + 8. Solve -g - 3 = 2*s for s.
-5
Let k(n) = -4*n - 4. Let r be k(-6). Suppose 5*v - r = 5*c, -v = -9*c + 4*c - 12. Let l be c/12 + 17/102. Solve 3*j + 1 + 2 = l for j.
-1
Let r be (-204)/(-36) - 2/3. Suppose 5 = r*l - 15. Solve -l*s + 25 = s for s.
5
Suppose 2*d = -4*p - 2*d + 28, -5*p - 2*d = -32. Suppose -o - p = -3*v - 3*o, o - 4 = -2*v. Solve 3*b = v + 1 for b.
1
Suppose 2*i - 6 = 0, 2*q + 44 = -i + 109. Let r = q - 31. Suppose -4 + 1 = -t. Solve -t*b + 3 - 9 = r for b.
-2
Suppose -7*c - 15 = -2*c. Let o be c/(((-4)/3)/4). Solve o = -4*j - 11 for j.
-5
Let z(b) = -b**3 - 2*b**2 - b + 38. Let g be z(0). Let u = g - 27. Let i = u - 11. Solve 0 = 4*n - i*n + 4 for n.
-1
Let h = 240 - 232. Solve -h = y - 3 for y.
-5
Let d be 9 + -5 - 9/(-1). Let l = d + -8. Solve l = -5*z + 15 for z.
2
Let l(w) = -w**3 - w**2 + 3*w + 3. Let m be l(-2). Suppose -v + 5 = m. Suppose -v*r = -13 - 7. Solve 0 = 4*j + r + 11 for j.
-4
Suppose 14*k = -379 + 421. Solve 4*x + k = -17 for x.
-5
Let s be 50/15 - (-2)/3. Let t be 20/s - (4 - 0). Solve 7 + t = -2*d for d.
-4
Let z = 81 - 47. Solve 4*y = 14 - z for y.
-5
Let s be 1/6*3*12. Let m(f) = -f**2 + 7*f + 218. Let r be m(18). Solve 2*k - s*k = r for k.
-5
Let q = -296 - -297. Solve -f = -q - 1 for f.
2
Suppose 3*t = -3*h + 3, 12*h - 15*h + 9 = 5*t. Solve j + 4 = t for j.
-1
Let c(k) = 3*k**3 - 3*k**2 + 3*k + 13. Let x be c(3). Solve 78*m - x*m - 4 = 0 for m.
2
Let y(z) = -z + 1. Let b be y(2). Let n be ((-2)/(-4) + (-2)/(-12))*-6. Let l = b - n. Solve l*x = -x + 20 for x.
5
Suppose 5*v = 2*w - 13, -3*v + 17 = 5*w - 0*v. Suppose -199 = w*a - 211. Solve 2 = -a*j + 5 for j.
1
Let u be 6 + -6 - 0/(-2). Suppose 0 = g - 5, -g + 0*g = -4*k + 155. Let z be (-4)/18 - k/(-18). Solve u*c - 2 = -z*c for c.
1
Suppose 2*y = 4, -y = -4*a + y + 8. Suppose 2*o - 6 = a*b, -3*b - 2*o = o - 9. Solve 2*q = -b*q - 4 for q.
-2
Suppose -2*a + 5*a = 9. Solve a*l = 6 - 3 for l.
1
Suppose -6*d = -3*d - 6. Let z(b) = -b + 7.