-y = y + a for y.
-2
Let p = 7 - 3. Let n be (p + 0)/2 - 2. Solve -c + 1 + 2 = n for c.
3
Let m = -109 + 121. Solve 5*s = -37 + m for s.
-5
Suppose 4*b - 23 = -3*o - b, 2*o + 6 = 2*b. Let x be o/(-2)*(-3 - -1). Solve x = -z - 1 for z.
-2
Suppose 3*b - 12 = -x, 4*x + 4 = -b + 2*b. Solve 18 + 2 = b*u for u.
5
Suppose 0 = 4*a - 3*s, 7*s - 2*s - 35 = -5*a. Solve a*i = i + 4 for i.
2
Suppose -2*l = 4*a - 0*a - 30, 2*l = 10. Let g(i) = -6*i + 8. Let y(m) = m - 1. Let w(k) = -g(k) - 4*y(k). Let s be w(a). Solve -s*v = -2*v + 4 for v.
-1
Let n = 5 - 4. Let v = n - -5. Let w(f) = f**3 - 7*f**2 + 8*f - 4. Let u be w(v). Solve -2*p - 4 = -u for p.
2
Let l(y) = -y**2 + 4*y. Let h be l(3). Suppose 0*o + h*o = 15. Solve -o*n = -n - 16 for n.
4
Let t(q) = q**2 + 5*q + 3. Let c be t(-5). Solve -j - 16 = c*j for j.
-4
Suppose 0 = 2*i - 4*l - 66, -3*i = -8*i - l + 121. Solve 4*m - i = -5 for m.
5
Let i be (9/(-6))/(6/8). Let d = 4 + i. Solve d*y = y for y.
0
Suppose -3*g + 27 = 2*r, 0 = 3*g + 4 - 13. Solve 0 = -2*a - 1 - r for a.
-5
Suppose -2*q = 3*q - 100. Solve q = -0*m + 4*m for m.
5
Let z(d) = -3*d - 21. Let l be z(-7). Solve -5*j - 10 = -l*j for j.
-2
Let z(m) = m**2 - 10*m + 13. Let i be z(9). Let u = 7 + 9. Let f = u - 8. Solve -8 = i*l + f for l.
-4
Let c = 33 - 23. Let b = -8 + c. Let f(s) = s**2 - 5*s - 3. Let h be f(6). Solve -b = r + h for r.
-5
Suppose 446 - 101 = 15*j. Solve 7 = -4*q + j for q.
4
Let d be (-36)/(-27) + (-4)/(-6). Suppose d*y = 4*a - 10, -a + 2*y - 10 = -2*a. Solve -a*k + 15 = k for k.
3
Suppose 0*b = 2*k + 2*b - 8, -4 = 2*k - 4*b. Suppose -3 + 5 = -3*t - k*w, 2*t + 12 = -4*w. Solve 0 = -g - t for g.
-2
Let y be (-340)/55 - 2/(-11). Let n = y - -10. Solve n*l + 12 = l for l.
-4
Suppose 0*w + 2*a - 2 = 2*w, 19 = -w - 5*a. Suppose 4*r - 5 = -1. Let n = r - w. Solve 0 = -3*g - 4 - n for g.
-3
Let y = -13 + 16. Solve y*o - 4 = 7*o for o.
-1
Let d = -8 - -12. Let g be (-1)/3*(d + -19). Solve 1 = -a + g for a.
4
Let y be -1 - ((-2)/4)/((-8)/(-64)). Solve -x - 4 = -y*x for x.
2
Let h = -23 - -27. Solve -h*g - g = -25 for g.
5
Let n = 7 + -4. Suppose 12*f - 12 = 9*f. Suppose 7 = f*g - n*g. Solve -4*i = 1 + g for i.
-2
Let a(m) = -m**3 + 11*m**2 + 10. Let x be a(11). Solve -x = -3*v + 5*v for v.
-5
Suppose 2*d + 1 = 4*q - 19, -d = -q + 5. Solve d = -6*b + 2*b + 8 for b.
2
Let l = 17 + -2. Let f be 4/(-10) + 51/l. Solve -f*x - 7 = -4 for x.
-1
Let q(y) = -6*y + 1. Let l(z) = -3*z. Let w(o) = 5*l(o) - 3*q(o). Let j be w(2). Solve -v = -j*v for v.
0
Let k(u) = 2*u**2 - 12*u + 23. Let b be k(3). Solve -3*p = -b*p - 6 for p.
-3
Let d = -5 - -5. Solve d = -l + 4 for l.
4
Let i = -47 + 72. Solve 0*o + i = -5*o for o.
-5
Suppose -5*l + 4 = -2*i, 5*l - 2 = i - 0. Suppose -b + l = -2. Solve 0 = -0*p + b*p - 10 for p.
5
Suppose 5*g + f = -12 - 28, 0 = 3*f. Let l = g - -23. Solve l = -3*a - 0*a for a.
-5
Suppose 3*o = 5*g - 55, o + 0*o + 5 = 0. Solve 0 = 2*v + g - 18 for v.
5
Suppose -j + 3 - 6 = 0. Let m be (0 + 4 + j)*6. Let y = 3 - 1. Solve -v + m = y*v for v.
2
Let l(b) = -b. Let i be l(-5). Suppose i*f + 0*f = -10. Let p be (-3 - -1)/(f/2). Solve p*z = z for z.
0
Suppose 2*k + 8 = -5*g, 0*g - 1 = 3*k + 2*g. Suppose k = -2*o + 7. Solve 0 = -4*s + o*s for s.
0
Let q be (-2)/(-4) - 4/8. Let z = -5 - q. Let a(n) = n**3 + 6*n**2 + 6*n + 5. Let x be a(z). Solve -2*g - g - 15 = x for g.
-5
Let x(u) = u**2 + 6*u + 1. Let w be x(-5). Let h = 4 + w. Solve -4*j + 8*j = h for j.
0
Suppose -11 - 9 = -5*j, p = 3*j - 16. Let r(m) = -m**3 - 5*m**2 - 4*m + 3. Let l be r(p). Solve -1 = l*t - 2*t for t.
-1
Suppose 4*w - 37 + 21 = 0. Solve -5*m = -6*m - w for m.
-4
Suppose 2*c = -2*x - x - 127, -3*c - 54 = x. Let b = x - -55. Solve -b = -5*i - 1 for i.
3
Let h(f) = 3*f**2 - 3*f - 4. Let b be h(-2). Solve 4*w + 2 + b = 0 for w.
-4
Let d(k) = -k + 14. Let n be d(-6). Solve n = -t - 3*t for t.
-5
Suppose 13 = -5*q - 3*c, -3*q + 8*c - 35 = 3*c. Let n(f) = 3*f**2 + 13*f + 4. Let r be n(q). Solve 3*s + 1 = -r for s.
-5
Suppose 3*b + b - 16 = 0. Suppose 13 = b*p - 7. Solve 6*j + p = j for j.
-1
Let r = -5 + 8. Suppose v - 5 = -2*o + 3, 0 = r*v + 4*o - 20. Let w be 13/v + 3/4. Solve 0 = z + w for z.
-4
Let r(j) = j. Let f be r(3). Let z = f - -3. Suppose -t - 21 = -25. Solve t*k = 2*k + z for k.
3
Let g(l) = 7 + l**2 - 5*l + 0 - l. Let h be g(5). Suppose r - r + 4*r = 0. Solve r = 3*v + h*v - 15 for v.
3
Let c(t) be the first derivative of t**3/3 - 7*t**2 + 12*t - 1. Let n be c(10). Let d = 43 + n. Solve -2*k = k + d for k.
-5
Suppose -4*a - 2 = r, -a + 0*r - 2 = r. Let k = a - -1. Suppose 5*z - 4 = 4*g - 6*g, g + 4*z = 2. Solve -b + g = k for b.
1
Let k be (-4)/(-16) - (-3)/(-12). Solve 3*y - 4*y - 4 = k for y.
-4
Let c(r) = -r + 1. Let d be c(6). Let s = 16 + d. Solve -4*l = -s - 5 for l.
4
Let d be (-56)/3 - 2/(-3). Let f be ((-3)/(-2))/(d/(-60)). Solve -4*t = f + 3 for t.
-2
Suppose -11*d + 6*d = 0. Suppose -5*p + f = -2 - 5, 0 = 2*p + 5*f - 19. Solve p*r - 4 + 12 = d for r.
-4
Let k(n) = -2*n - 5. Let c be k(-4). Suppose -c*s - z = -9, -5 = -0*s + 2*s - 3*z. Let d = -38 - -53. Solve s*m = -m - d for m.
-5
Let i be (-3)/(15/(-80)) + -10. Suppose -3*z = -z - 20. Suppose -5*s = -3*r + 98, -2*r - 4*s = -r - z. Solve -r = 4*x - i for x.
-5
Suppose 6 - 6 = -2*i. Suppose 5 = -4*l + 5*l. Solve -k + l*k = i for k.
0
Let t be (-3)/12*6*-2. Solve -t*q + 9 = -0*q for q.
3
Suppose u = -3*u + 16. Suppose 3*o - o = -4*x - 20, 4*x + 20 = 5*o. Suppose o*r = -2*r. Solve r*z - u*z = 16 for z.
-4
Suppose -p - 2*p - 73 = -z, 110 = -4*p - 5*z. Let h = -7 - p. Solve -h = 4*w - 2 for w.
-4
Let g = 3 - -1. Suppose 0 = -k - c - 2*c + 9, -k = -g*c + 5. Suppose 20 = 2*s + k*s. Solve s = -5*a - 6 for a.
-2
Suppose -5*r + 31 = -2*q, 0*r - 35 = -4*r + 5*q. Suppose 2*p = -2*p + 8. Suppose -2*s = -4*x + 3*s + 27, -4*s = -p*x + 18. Solve -x*l + 4 = -r for l.
3
Let m be 2/3*3 - 0. Solve 0 = -m*o + 7*o + 10 for o.
-2
Let h(p) = p**3 - 16*p**2 + 2*p - 30. Let g be h(16). Suppose 0 = 4*f + q + 2*q + 9, -2*q - 6 = 4*f. Solve g*r = -f*r for r.
0
Let c(d) = d**2 + 6*d - 10. Let x be c(-7). Let k be (-2)/(-8) - x/(-12). Suppose -3*g + 15 = -k*g. Solve 0 = -3*a - g - 1 for a.
-2
Let j(u) = u**2 - 5*u - 1. Let q = 12 - 6. Let g be j(q). Solve g - 1 = -m for m.
-4
Suppose s + 5 = 2, -5*y + s + 13 = 0. Suppose 0 = 4*w + y*g - 12, -3*w + 0*w + g + 19 = 0. Solve 0 = 3*x + 2*x - w for x.
1
Let o(z) = z - 20. Let r be o(22). Solve -3*y - 5 = -r*y for y.
-5
Suppose 29 + 27 = 8*d. Solve -3*a = d + 8 for a.
-5
Suppose -5*w + 4*q - 15 = 0, 2*w - 12 = -3*q + 5. Solve -2*i = -3 + w for i.
1
Suppose -2*o + 11 + 3 = 4*p, o = -4*p + 11. Suppose w - 5*w = -k, o*w = 3*k - 9. Solve -2*b = 7 + w for b.
-4
Suppose 21 + 9 = 5*o. Let q(d) = -5*d + d**2 + 4*d + 5*d + o*d - 8. Let a be q(-11). Solve -20 = a*h + h for h.
-5
Let s(r) = r - 1. Let u be s(6). Suppose -5*f + 25 = -3*c, -f + u = -c - 3*c. Suppose 2*k - 16 = -2*k. Solve c*w + k = w for w.
4
Let b be (-3)/(-3*2/6). Solve -1 = -b*f - 16 for f.
-5
Let k(y) = -y**2 + 6*y. Let r be k(6). Solve r = -4*h - 0*h - 12 for h.
-3
Let l = 11 - 9. Suppose 0*i + 5*i + 4*d = 123, -3*d + 52 = l*i. Solve 4*r = i - 3 for r.
5
Let l be (-32)/64 - (18/4)/(-1). Solve -2*x + 14 = l for x.
5
Suppose 0 = -2*i - d + 28, -6*d - 44 = -4*i - 2*d. Suppose 3*o - i = -1. Solve j - o*j = -15 for j.
5
Let v = 6 - 6. Suppose v*n + 3*n = 48. Solve -m - n = 3*m for m.
-4
Suppose -24 + 1 = -2*i - z, 5*z = -4*i + 61. Let d be 244/36 + (-2)/(-9). Let h = i - d. Solve -w = -h*w for w.
0
Suppose 0 = -4*x + 6*x - 10. Suppose x*r + 0*r = 0. Solve r*p + 15 = 3*p for p.
5
Suppose 0 = -2*b - 2 + 2. Solve b = -r + 3 - 5 for r.
-2
Let x = 12 - 11. Let m be x/4 + 46/8. Solve -5*c - m = -1 for c.
-1
Suppose w - 4*i + 10 = -2*w, -2*w - 4*i = 0. Let f be 1*10*w/4. Let s be 4/f*20/(-8). Solve -2*q = s*q - 8 for q.
2
Let g = -76 - -164. Suppose 3*f - 6*a - 54 = -3*a, 0 = -5*f + 4*a + g. Suppose 3*y = -2*y - 4*x + 116, f = 4*x. Solve -2*b - 3*b - y = 0 for b.
-4
Suppose 2*y + 2*y = 0. Let i be (y - 12)*(-2)/4. Solve 0 = 2*u + i for u.
-3
Let l be 0/((-1)/((-2)/(-4))). Let k be 3 + (-2 - (0 - l)). Let a be 28/4 + 1 + -5. Solve 2*r - a = k for r.
2
Let k(p) = -3*p**3 + 1. Let m be k(-1). Suppose 0 = m*d - d - 15. Suppose 37 = d