ve -1 - r = -m for m.
3
Let h = 14 - 12. Suppose 4*y + 4*f = 16, -2*y - 3*f = -3 - 6. Solve y = b + h*b for b.
1
Suppose -7 - 5 = -4*d. Solve -2*y + d = -1 for y.
2
Suppose 3*z - z - 14 = 0. Let u(f) = -f**2 + 6*f - 2*f**2 + 2*f**2 + 10. Let r be u(z). Solve -2*x - 20 = r*x for x.
-4
Let k(g) = -4*g - 16. Let c be k(-4). Solve c = -s - 0 - 3 for s.
-3
Let i = 13 - 9. Solve -i*g + 4 = -0*g for g.
1
Suppose -27 = -j + 4*u, 2*j - 26 = u - 7. Suppose 0*n - j = 4*b + 3*n, -2*b = -3*n + 17. Let m be 6/(-9)*(b + 1). Solve -3*k - m = 7 for k.
-3
Let x(y) = -y**2 - 6*y + 2. Let p be (-2)/(-2 - (-7)/3). Let d be x(p). Solve z + 15 = -d*z for z.
-5
Let f(a) = a**2 + 5*a + 1. Let j be f(-5). Let k be ((-10*j)/1)/(-2). Solve 0 - 10 = k*s for s.
-2
Let w be 5 - 2/(4 - 2). Solve -w*y + 16 + 4 = 0 for y.
5
Let b be 3/(-5) - 84/(-15). Solve 0 = -b*j + 13 + 2 for j.
3
Let u = 2 - -1. Let z be -5 + 4 + (0 - -4). Solve 0 = -z*y - 3 - u for y.
-2
Suppose -2*r - 5*a = -r + 19, 3*a + 21 = r. Suppose r + 4 = 5*w. Solve -2 = -0*g - w*g for g.
1
Let v(b) = -b**3 - 4*b**2 - b + 2. Let z be v(-4). Solve -p + 1 - z = 0 for p.
-5
Let d = 61 + -32. Suppose 5*g - d = -4. Suppose -4*p = -2*p - 2. Solve 0 = -g*x - 24 - p for x.
-5
Suppose 5*i = -t + 28, 2*i + 0*i + 4*t = 22. Solve -i*u = -0*u for u.
0
Suppose 3*b = 8*b + 990. Let k be b/(-55) + 3/(-5). Solve -k*p + 8 = p for p.
2
Let v = -111 - -113. Solve -i - 6 = -v for i.
-4
Let w(l) = -l + 7. Let q be w(4). Suppose n = -q*n + 12. Suppose n*b + 15 = 39. Solve b*v = 3*v + 20 for v.
4
Let k(r) = r**3 + 15*r**2 - r - 11. Let p be k(-15). Solve -2*q - p = 2*q for q.
-1
Suppose 4*d = 2*d + 6. Solve 0*z = d*z for z.
0
Suppose 5*g - a = -3*a - 45, g - 8 = 3*a. Let s = g - -12. Suppose s*n = 2*c + 3, -c + 5*c - 3*n - 1 = 0. Solve 0 = -2*b - 1 - c for b.
-1
Suppose 2*w = 5*v + 108, 2*v - 5*v = -3*w + 72. Let h be 1/4 + (-55)/v. Let u(f) = f**2 + 5*f - 4. Let p be u(-6). Solve -h*s - 3 = -p*s for s.
-3
Let c = 9 + -5. Let p be 3*-2*1/3. Let y = -2 - p. Solve y = t + c*t - 15 for t.
3
Let z be (16/3)/(14/21). Let a = 11 - z. Solve -a*h + 2*h - 5 = 0 for h.
-5
Suppose 2*x + 0 = 4. Let j = x - -4. Let z = 9 - j. Solve 0 = z*t + 3 for t.
-1
Let j be (-88)/(-3) + 3/(-9). Suppose 5 - j = -3*w - 3*h, 5*w + 3*h = 30. Solve 1 - 7 = -w*s for s.
2
Let b = -9 + 19. Suppose 10*c = 8*c + b. Solve -c + 0 = -5*n for n.
1
Let j be (-3 - 90/(-3))*-1. Let q be 30/4*(-18)/j. Solve -q = 2*t + 3 for t.
-4
Let p = -11 + 14. Solve h = -2*h - p for h.
-1
Suppose 11 = 5*w - p, -2*w - 3*p + 26 = 2*p. Solve -w*t = -2*t - 5 for t.
5
Suppose -i - 3 = -11. Let g(a) = 5*a - 1. Let j(o) = 2*o. Let l(q) = 3*g(q) - 7*j(q). Let f be l(i). Solve 2*d + f = 15 for d.
5
Suppose 4*l - l = 9. Solve 4*s - s + l = 0 for s.
-1
Let d(k) = -9*k + 56. Let z be d(6). Solve -z*y - y = 0 for y.
0
Let p be ((-6)/(-3))/(-1 - -2). Solve -5 = -q + p*q for q.
-5
Suppose 0 = -0*j - 2*j + 32. Suppose 4*q - j = 2*q. Solve -5*v = q - 3 for v.
-1
Let t = 7 - 4. Suppose 3*f = 3*v + 33, v = -f - 0*v + 1. Solve f = -z + t*z for z.
3
Let q be (-16)/(-10) - 4/(-10). Let i be 2/(q*3/6). Solve -i - 3 = u for u.
-5
Let n be 8/20 + 24/15. Let w(r) = 3 + 2 - n + r - 6. Let m be w(7). Solve 5*i + 11 + m = 0 for i.
-3
Suppose 0 = z - 0*z + 4*j, j + 9 = 2*z. Solve -z*n = 13 + 7 for n.
-5
Suppose c - 2*c + 14 = -2*s, -2*c + 2*s = -22. Solve 2*y = -0*y - c for y.
-4
Suppose -5*p + 4 = 3*j, 2*p = 4*p + 3*j + 2. Solve -p*l = -0*l - 6 for l.
3
Let n(t) = -t**3 + 2*t**2 + t - 2. Suppose b = 3*c - 10, 4 = -5*c + 2*b + 22. Let a be n(c). Solve -10 = 5*l - a for l.
-2
Suppose 0 = 6*m - 7*m + 3. Solve -m*u = -u + 4 for u.
-2
Let k(d) = -d**3 + 4*d**2 - 4*d + 2. Let q be k(2). Solve -3*n = -q*n for n.
0
Let z = 16 + 4. Solve 6*r - z = r for r.
4
Let k = -18 - -23. Solve k*a - 8*a = -3 for a.
1
Let z = -5 - -1. Let x = z - -9. Solve 3 = -x*g + 2*g for g.
-1
Let u = -56 + 61. Solve x = u*x for x.
0
Suppose -5*a - 6 = -3*r + 23, -2*r + 2*a = -14. Let v be 3/(-21) - 15/(-7). Solve y = r*y + v for y.
-1
Let s be 0/(2/(-1 - 1)). Let k = 29 + -25. Solve p + k = -s*p for p.
-4
Let i(r) = r + 8. Let m be (-4)/(4/5)*1. Let x be i(m). Let g(l) = l**2 + 1. Let c be g(1). Solve -c*v = v - x for v.
1
Suppose -3*g - 3*h + 30 = 0, -4*g - h + 13 = -15. Let q(k) = -k**3 - 4*k**2 + 5*k. Let l be q(-5). Solve l = -g*x + x + 10 for x.
2
Let c be (33/(-6))/((-1)/(-2)*-1). Let t(p) = -p. Let y be t(-4). Suppose 16 = y*n + 2*r, -r - 2*r - 31 = -5*n. Solve c = -n*g - 4 for g.
-3
Let r = 19 + -4. Let y = -7 + r. Solve 2*m + y + 0 = 0 for m.
-4
Let k = 1 - 1. Let m be (-21)/(-3) - 2 - 0. Let p = k + m. Solve p*v - 20 = 5 for v.
5
Let z = -2 - 13. Let y be 36/z*5/(-2). Solve -4*s + s = -y for s.
2
Suppose 0 = 2*l - 3*v - 10, -8 = -3*l - 0*l + v. Suppose -l*u + j - 12 = -2*j, 2*u + j + 20 = 0. Let f be 2/(((-30)/u)/5). Solve 2*d + 20 = -f*d for d.
-4
Let p(n) = -n**2 + 2*n + 3. Let k be p(0). Suppose -2*j = -4*j + 4*u, -2*u = j - 16. Solve -a + k*a = -j for a.
-4
Let s(t) = -11*t - 6. Let d be s(-2). Suppose -a - d = -5*a. Solve -2 = l - a for l.
2
Let t(n) = 6*n + 91. Let v(b) = -b - 18. Let y(p) = -2*t(p) - 11*v(p). Let a be y(16). Solve a*z + 4 = -z for z.
-4
Suppose 5*c = -17 - 3. Let w(t) = -2*t - 3. Let y be w(c). Let l be (-102)/(-27) + 8/36. Solve -d - l*d = -y for d.
1
Let q be 2/2*0/(1 - 2). Solve 2*d + 2*d - 8 = q for d.
2
Suppose 0 = -d + 2*q + 2 - 7, -3*q + 18 = 2*d. Solve -5*k + d*k = 0 for k.
0
Let y = -18 - -28. Let l be y*(5 - 3 - 0). Solve 2*g - l = -2*g for g.
5
Let p be 60/12 + 6/(-2). Let y = 4 + p. Solve 2*k = -k + y for k.
2
Let t(k) = -k**3 + 6*k**2 - 5*k - 2. Let v be t(6). Let p = -23 - v. Solve 3*w = -0*w + p for w.
3
Suppose -v + p - 1 = -4*v, 0 = 4*p + 20. Suppose -v*f = -10 - 10. Suppose 3*o + 4*t + 4 = 19, f = 2*o - 3*t. Solve o = -0*k - k for k.
-5
Let a(r) = r**2 + 6*r + 5. Suppose -2*t - p = 23 - 7, -3*p = 12. Let f be a(t). Suppose -3*j - 3*o + 9 = -3, 3*j + 12 = f*o. Solve -j = -2*u + 9 for u.
5
Let f(k) = -k**3 + 14*k**2 - 12*k - 7. Let i be f(13). Solve r = -r - i for r.
-3
Let p = 6 + -2. Let s be 2*(10/p - 0). Solve -20 = -3*x - s for x.
5
Let c = 54 + -52. Solve c*m + 10 = -3*m for m.
-2
Let g = -5 + 8. Suppose -g*q = -0*q - v + 2, -5*q + 5*v = 10. Solve -4*l + 6*l + 4 = q for l.
-2
Let b = 0 - 0. Let q be (25 + -21)*(-50)/(-8). Suppose -2*l + 6*l - 23 = -p, -16 = -2*l - 2*p. Solve l*o - q = -b*o for o.
5
Let k = 52 - 49. Solve -c - 2*c = k for c.
-1
Suppose 5*d + 4 = 4*f - 8, 9 = -2*d + 3*f. Let a be d - 2*6/(-3). Solve a*v - 2 = 2 for v.
1
Let g be (-5)/15 + 2/6. Suppose 0 = 4*v - 2*r + 26, 2*v + 11 = -g*v - r. Let t be v/15 + (-14)/(-10). Solve -t = k - 5 for k.
4
Let t(s) = 2*s - 8. Let u be t(4). Solve u = -6*d + d - 25 for d.
-5
Let h = -83 - -85. Solve -4*u = -h*u for u.
0
Suppose 9*a - 5*a - 8 = 0. Solve a*p = 6*p + 12 for p.
-3
Let y = 4 + -6. Let z be (4/14)/(y/(-14)). Suppose -q + 3*n + 21 = 0, n - 2*n = z*q - 14. Solve 4*b - q = b for b.
3
Let u(s) = 2*s**2 + 2*s + 1. Let h be u(-2). Let m(j) = -j**3 - 8*j**2 - 7*j. Let t be m(-7). Let z = h + t. Solve -z*l + 7 - 22 = 0 for l.
-3
Let w(o) = 6*o**2 + o + 1. Suppose 5*y - 19 = a, -4*y - 2*a + 3 = -1. Let i be (-1)/(3/9*y). Let n be w(i). Solve 14 = -5*r - n for r.
-4
Let o(y) = y**3 - 9*y**2 - 9*y - 7. Let v be o(10). Suppose v*m - 43 = -1. Solve -4*j - m = 6 for j.
-5
Let r = 60 - 58. Solve -6*n = -r*n for n.
0
Suppose -4*h + o = -20, 0*h + 5*o - 10 = -2*h. Solve h*j = 22 + 3 for j.
5
Let k be 0 - 1 - 22/2. Let t be k/66 - (-92)/22. Solve -x = t*x - 10 for x.
2
Suppose -9*l + 5*l + 4 = p, 0 = -3*l + 3. Solve 2*z + 2*z - 4 = p for z.
1
Suppose -o + 20 = 4*o. Solve -3*l + o = l for l.
1
Let n = -29 + 32. Solve -i - 4 = -n*i for i.
2
Let s(w) = -w**2 - 11*w - 7. Let a be s(-9). Suppose -16 = -3*m + a. Suppose 4*y - y - m = 0. Solve -y*g + 10 = 2*g for g.
2
Let y(k) = k + 13. Let b = -15 - -5. Let o be y(b). Solve v + o - 1 = 0 for v.
-2
Let z(h) = -2*h - 10. Let d be z(-5). Solve -v - 2*v - 3 = d for v.
-1
Suppose -4*k + 5*k - 4 = 0. Suppose -3*s + k = s. Solve f - 2 = -s for f.
1
Let c = -2 + 3. Let p be (c - 2)*(3 + -5). Solve f = -p*f for f.
0
Suppose c - 4*r + 0 = 8, -5*r = c + 1. Suppose 0 = -c*h + 6*h. Solve h = -2*q + q for q.
0
Let a 