/(4/30). Solve 0 = 4*m - o*m - 2 for m.
-1
Let b(f) = 2*f + 6. Let w be b(0). Solve 4 = -2*x + w for x.
1
Let y be (-4 - 2)*8/(-12). Suppose -o = o - y. Suppose -3*h + 10 = 2*k, 4 = o*k + 4*h - 6. Solve -1 + k = -p for p.
-4
Let t = 45 - 37. Solve 0*b - 2*b = t for b.
-4
Let i = -1 + 3. Suppose -3*u - 9 = -0*u. Let h be (-3)/u + (i - 0). Solve h = -w - 2 for w.
-5
Let v(k) = k + 6. Let y be v(-4). Solve -y*r + 13 = 5 for r.
4
Let w = 23 - 21. Solve 0 = k + w + 3 for k.
-5
Let w(p) = -p**3 - 3*p**2 + 4*p + 4. Let l be w(-4). Solve 3*s = -l + 10 for s.
2
Suppose -3*w + 2*w - 2 = 0, 3*w - 14 = -4*d. Solve -d*f + 3*f = 6 for f.
-3
Let m be (8/(-12))/(3/9). Let f be 6*1 - m/(-1). Solve 2*s = -2*s - f for s.
-1
Suppose 0 = -f + 4*f - 9. Suppose 0 = f*q - 2*q - 10. Suppose q = 4*d + d. Solve d*t + 6 = 5*t for t.
2
Suppose 2*o + 34 = 3*k, 0 = -5*k - 4*o + 17 + 25. Let a(q) = -q + 2. Let d be a(-3). Suppose 10*v - 14*v + 35 = -5*g, 13 = 2*v - g. Solve k*u = v*u - d for u.
-1
Let j = 25 + -12. Let l = 33 - j. Solve 5*d - l + 0 = 0 for d.
4
Suppose 0 = 6*q - 19 + 1. Suppose t = -t. Let u = 33 - 13. Solve t = -q*c - u + 5 for c.
-5
Let y(c) = -c**3 + c**2 + 2*c + 2. Let z be y(-2). Suppose 0 = -3*n + 3*t, 3*t - z = -1. Solve n + 9 = 4*g for g.
3
Suppose 0 = 2*z + 1 + 11. Let g = 7 + z. Let l be 16 - 0/(-1 - 1). Solve -g = 5*q - l for q.
3
Suppose -2*n - m + 37 = 0, -2*n - 4*m + 46 = -0*m. Solve 0 = -5*a + 8 + n for a.
5
Let c(g) = -g**2 - 7*g - 4. Let p = 2 + -8. Let f be c(p). Let i = 1 + -1. Solve i = 3*n - f*n for n.
0
Suppose n - 45 = -3*n + 5*l, -4*n = -2*l - 54. Let p = 28 - n. Solve 5 = 4*f + p for f.
-2
Suppose 4*c - 16 = 4. Let o(g) = g + 7. Let p be 2/(-3) + (-48)/9. Let u be o(p). Solve 4*m - c + u = 0 for m.
1
Suppose 6*j - 42 = -6. Solve -j*s + 3*s = 0 for s.
0
Let l(k) = k + 11. Let t be l(-11). Solve 4*o - 13 + 5 = t for o.
2
Suppose 0 = 14*v + 14 - 42. Solve -3*j - 10 = v for j.
-4
Let s be 58*(6/(-4) + 2). Let a = s + -23. Solve -2*q - 2 = -a for q.
2
Suppose 1 + 2 = h. Let i be 1/(-2) + (-22)/(-4). Let s = -3 + i. Solve x - h = s*x for x.
-3
Suppose -5*x = -5*n - 20, -6*n = 4*x - 9*n - 16. Solve 6 = 2*d - x*d for d.
-3
Suppose -2 = x - 2*x. Let o(b) = b**3 + 7*b**2 + 5*b - 4. Let q be o(-6). Suppose -2*y + x = -q. Solve -3*d = y*d for d.
0
Suppose -2 = 5*q - 4*q. Let r be (2*-3 - q)/(-2). Solve -r = n - 0*n for n.
-2
Let k be 6*(15/9 + -1). Let l(v) = -v**3 + 4*v**2 + v + 1. Let h be l(k). Solve h*t + 9 = 34 for t.
5
Let g(x) = -3*x**2 + 1 + x**3 - 5*x**3 + x - 5*x**3 + 4*x**2. Let z be g(-1). Solve d + d - z = 0 for d.
5
Let z(d) = -d**2 + 7*d + 3. Let m be z(7). Suppose -3 = -2*t + m. Solve -t - 2 = v for v.
-5
Suppose -2*l + 5*p = -22, -l + 0*l - p - 3 = 0. Let o = 4 - l. Solve 0 = 6*i - o*i + 12 for i.
-4
Let c be (-2)/(-11) + 8/(-44). Suppose -s - b = c, 3*s - 5*b - 5 = 27. Solve 9 = s*x - x for x.
3
Let d(b) = b**2 - 2*b + 1. Let g be d(2). Solve -2*w - g = -w for w.
-1
Let s = -9 + 6. Let q be 2/((3/s)/1). Let r = 6 + q. Solve r*d + 1 = -3 for d.
-1
Let v be -4 - (-3 - 13)*1. Solve 4*x + v = x for x.
-4
Let x(j) = j**2 + 3*j. Let i(z) = -3*z**2 - 6*z + 1. Let t(a) = 2*i(a) + 5*x(a). Let v be t(3). Solve -v*b = -10 - 0 for b.
5
Suppose 10*w = 6*w + 8. Solve -w*m - 3 = 3 for m.
-3
Suppose 4*s + 13 = -3, -2*s = 2*t - 4. Let h be (24/t)/((-2)/(-4)). Solve 0 = -4*x - h - 8 for x.
-4
Let h = -13 - -22. Solve -5*s - h = -2*s for s.
-3
Suppose -5*s - 12 = -4*s + 3*r, -2*s - 3*r = 9. Let j be (-2)/((-6 - -3)/s). Solve -5*b - j = 8 for b.
-2
Suppose -20 = -7*d + 8. Solve 0 = 2*h - d - 6 for h.
5
Let a be (-5 - -13)*1/2. Solve -a*i = i + 20 for i.
-4
Let m be (-49)/(-14)*2/14*6. Solve -m*r + 25 = -8*r for r.
-5
Let n(m) = 3*m + 2. Let b be n(1). Suppose c = b*c - 36. Solve 4*t + c = -3 for t.
-3
Let p = 7 + -3. Suppose -68 = -p*o - 3*s, -32 = -2*o + o + 3*s. Let f = -14 + o. Solve k = -k - f for k.
-3
Let w(y) = -y**3 - 4*y**2 - 3. Let t be w(-3). Let d = -4 + t. Let i be ((-18)/(-12))/((-1)/d). Solve -5*j - 9 = -i for j.
3
Let q(g) = 2*g**2 - 2*g - 3. Let k be q(3). Let j = 18 - k. Suppose -2*c = -5*a - 6, -5*a = -0*c + 3*c - j. Solve a = f - 5*f - 12 for f.
-3
Let v = 9 + -9. Let x be v + 5 - (2 - 0). Suppose j - x = -q, -2*j - 7 - 5 = -4*q. Solve 0*p = -q*p + 6 for p.
2
Let w be (-1)/(-3)*(-1 - -7). Solve w = -n - 0 for n.
-2
Suppose 4*n - 52 = -2*j - 2*j, -5*n + 83 = -j. Let i be 1/(((-12)/n)/(-3)). Solve 0 = -2*r + i*r + 4 for r.
-2
Suppose -3*y + y + 8 = 0. Suppose -3*o = 5*t, y*t = -o - o. Solve -k + 2*k - 5 = o for k.
5
Let h(s) = -s**2 - 14*s + 12. Let u be h(-12). Suppose u = 4*q + 2*q. Solve q*p = p + 5 for p.
1
Let h(b) = -b**3 - 5*b**2 + 4*b - 8. Let u be h(-6). Solve -j + 3 = u for j.
-1
Let w = -9 + 13. Solve -3*b - 2 = w for b.
-2
Let c be (-8)/(-20) - (-17)/(-5). Let z(r) = -r - 5*r - 4 + 3*r. Let t be z(c). Solve 0 = 5*f - 10*f + t for f.
1
Suppose 2*l = -5*g - 24, 10 = -2*l - 4*g - 10. Let d be (27/(-6))/3*l. Solve -4*s + d = 15 for s.
-3
Let f(x) = x + 8. Let o be f(-4). Solve 0 = -0*v + v + o for v.
-4
Let b = -2 - -4. Suppose 0*o + 12 = 4*o. Solve -b = -a - o for a.
-1
Let s = 81 + -78. Solve -s*b + 8*b = -5 for b.
-1
Let s = -62 + 41. Let j = -16 - s. Solve 3*q + 10 = -j for q.
-5
Let x(m) = m**3 - 8*m**2 - 8*m - 10. Let y be x(9). Let i = 1 - -2. Let u = i + y. Solve u*s + 2 + 4 = 0 for s.
-3
Suppose 2*n + 10 = 0, -3*n + 13 = 4*z - 0*n. Suppose -4*c + 5*h - 9 = z, 0 = 5*c + 4*h - 21. Let r be (-3 - -3) + (3 - c). Solve r = -2*t + 4*t for t.
1
Let j be 13/11 - 8/44. Solve 3*t + 2 = -j for t.
-1
Let q be (14/4)/(4/16). Solve 0 = -4*t - q - 6 for t.
-5
Let d = 37 + -37. Solve z - 1 + 0 = d for z.
1
Suppose 3*l - 1 = 5. Let k = l + -2. Suppose -3*b + b = k. Solve b = n + n + 4 for n.
-2
Suppose 0 = -4*d - 1 - 7. Let c be d/8 - 2/(-8). Solve c = 4*w - 0*w - 12 for w.
3
Let t be (10/4)/((-2)/(-12)). Suppose -3*k = -8*k. Suppose k = 11*u - 9*u - 4. Solve u*m - t = -3*m for m.
3
Suppose -5*n - 3*l = -13, 6 = -3*n + n - 4*l. Solve -s - n = -2 for s.
-3
Let i(o) = -o**2 + 10*o + 12. Let f be i(9). Let g = f - 6. Let r be 2 - -1 - (-3 - -3). Solve 8*z + g = r*z for z.
-3
Let x(t) = -1. Let w(q) = -q - 1. Let a(l) = w(l) + 6*x(l). Let o be a(-10). Solve 4*u = o + 1 for u.
1
Suppose 24*q + 40 = 28*q. Solve c = -c - q for c.
-5
Let b = -4 - -4. Solve b*t + 1 = -t for t.
-1
Suppose -m - 5 = 4. Let c = m + 12. Solve -c = -3*o - 6 for o.
-1
Let y be (3 + -2)/(1/1). Solve 4 = -v - y for v.
-5
Let w(d) = d**2 - 11*d + 13. Let s be 11 + 0 + 2/(-2). Let q be w(s). Suppose q*x + 3*u = 15, 3*u = 4*x - 3*x + 15. Solve 4*b - b - 9 = x for b.
3
Suppose b = -0*b - 5*f + 28, 4*b = 4*f - 8. Solve 4 - b = -q for q.
-1
Let u(c) = 6*c**3 - 2*c**2 + 2*c - 1. Suppose 3*a + 1 = -3*m + 4*m, a = -4*m + 4. Let s be u(m). Solve s*i + 15 = 2*i for i.
-5
Let j = -8 - -10. Let h be (56/4 - j) + 0. Solve -6*f + 3*f = -h for f.
4
Let k be 296/12 - 2/(-6). Let s be k/(-20) + (-1)/(-4). Let r be 2 + 0 + (s - -3). Solve 8*x = 4*x - r for x.
-1
Let f be 0*2/4*-1. Suppose -4*n + 0*n - 2*h = -32, 3*n + 5*h - 38 = 0. Let a be (4/n)/(4/12). Solve 0 = j - f*j - a for j.
2
Let l = -147 + 149. Solve 0 = l*d + d + 15 for d.
-5
Let k(g) = 5*g**2 - 2*g + 2. Let s be k(1). Solve 0 = -0*r - r + s for r.
5
Let i = -5 + 8. Suppose 3*m + 4 - 4 = 0. Solve -i*n + m*n = 0 for n.
0
Let l be (8/12)/(6/9) + 2. Solve l*y - 1 = -7 for y.
-2
Let q be (0 - 0)/((-2)/(-1)). Solve -k = 1 - q for k.
-1
Let h(q) = -q**2. Let i(t) = 7*t**2 + 7*t + 6 - t - t + 3*t. Let r(y) = 6*h(y) + i(y). Let w be r(-8). Solve 3*l - w - 6 = 0 for l.
4
Suppose -5*a + 2*f + 20 = 0, -3*a - f = -3*f - 16. Let w be ((-1)/(-1))/(a/38). Suppose -h - h + 8 = 0, 4*h - w = -3*y. Solve -c - 2 = -y for c.
-1
Let f be 3 - (-2 + 4)/(-2). Solve -1 - 15 = -f*s for s.
4
Let m = 5 + 20. Solve -9*i + m = -4*i for i.
5
Let k be (-1*1)/(6/(-18)). Solve 0 = x + k + 1 for x.
-4
Let q = 13 - 7. Suppose -u = -q*u + 10. Solve o = -u + 3 for o.
1
Suppose 0 = -m + 4*m - 33. Suppose 3*k - k = 4. Solve m = -k*l + 1 for l.
-5
Let l be (-2)/(-5) + 56/10. Let o = 4 + -7. Let w = l + o. Solve -w*s + 10 = -s for s.
5
Let g be (-9)/(-27) + (-16)/(-6) + 0. Let a be 11 + (-1 + 0 - -2). Suppose a = 3*w + w. Solve 12 = -g*s - w for s.
-5
Let n =