
1
Suppose -o + 0*o = -1. Let g(p) = 2*p + 12. Let m be g(-6). Solve m = -x - o for x.
-1
Let n be 15/4 + (-1)/(-4). Suppose -6*g + 25 = -g. Let m = g - 3. Solve -m*w = -4 - n for w.
4
Suppose 0 = -4*b - 6 - 6. Let s = 5 + b. Solve -v = -3*v + s for v.
1
Suppose 0 = -r - 2*r + 18. Suppose -k - k + r = 0. Solve c = k*c for c.
0
Let c be (-2)/4 + (-15)/(-2). Suppose 27 = -4*w + c. Let d(q) = -q**2 - 6*q - 5. Let v be d(w). Solve -y - 2 = -v*y for y.
-2
Suppose -f - f = 0. Suppose 0 = -f*z + 4*z. Solve 2*k = -z*k + 2 for k.
1
Suppose -5*x = -10*x + 20. Solve 1 - x = -3*v for v.
1
Let h(y) = -2*y - 9. Suppose 4*p + 2 = 10, 4*p - 12 = -2*z. Suppose 0*w = z*q + w + 16, 5*q = w - 26. Let j be h(q). Solve -j*o + 2*o = -3 for o.
3
Let n(w) = -w + 3. Let g be 26*(2 - 15/6). Let z be n(g). Suppose 0 = -7*p + 2*p + 5. Solve -p = 5*d - z for d.
3
Let j = 47 + -15. Suppose 0 = -p + 7*h - 2*h + 34, -3*p = -h - j. Solve 2*m + m = -p for m.
-3
Let m = -11 - -15. Solve -m + 14 = 2*t for t.
5
Suppose b + 11 = 4*v, -5*v + 2*b + 3*b = -10. Solve 2*q - v*q = -5 for q.
5
Suppose -4*q - 4*g - 4 = 0, -q + 11 = -2*g - 0*g. Suppose y - q = -2*y. Suppose 3*w - 25 = -y. Solve 0*u + w = 2*u for u.
4
Let z = 13 + -9. Suppose 0 = -z*f - 8 + 4. Let n be f*(-1 + (4 - 3)). Solve 0*k + k = n for k.
0
Suppose -5*r = -4 - 1. Let a be 3*r/1 - -1. Suppose 4*i - 3 = -5*t - 4, 0 = 4*i + a*t. Solve i + 2 = -g for g.
-3
Let h(f) = -3*f**3 - 1 + 1 + 6*f + 5*f**2 + 2*f**3. Let l be h(6). Solve 3*y = -l*y for y.
0
Suppose 0 = 4*m + 4 - 12. Let x = 5 - 1. Let s be (-19 - -25)*1/3. Solve m + s = x*b for b.
1
Suppose 8*t - 11 - 5 = 0. Solve t*x + 5 = -3*x for x.
-1
Let p be -1 - (-2 - -2 - 1). Suppose -11 = -p*o - 4*o + b, 5*o = -5*b + 45. Solve o = w - 5*w for w.
-1
Suppose 0 = -2*v + 4*c - 10, -5*v + c + 0*c = -20. Suppose 2*x + a - 26 = 0, x + 13 = 2*x - v*a. Solve -2*o = -x + 3 for o.
5
Suppose 3*n - 5 = -2*n. Suppose r + n = t, -3*t - 4*r = -0*t - 10. Suppose 4*v = 5*o + 10, -2*o + 12 = 2*v - 2. Solve 0 = t*a + o - 10 for a.
4
Let d(o) = -o + 2. Let l be d(1). Suppose 0 = 3*z - 4 + l. Solve -v = -4 + z for v.
3
Let s = -90 - -90. Solve 2*l + s = 2 for l.
1
Let g(j) = -j**2 - j + 2. Let u be g(-2). Let n = u - -3. Solve n*l - 14 = 1 for l.
5
Let n = 119 - 115. Solve 2*g + n = g for g.
-4
Let m be 1/(-4) - 7/4. Let z be (0/2)/(-3 - m). Suppose z = -v + 5*v. Solve -4*b + v = -12 for b.
3
Suppose 2*d + 18 = 2*j + 4, 29 = 5*j + d. Solve s + 10 = j*s for s.
2
Suppose a - 6 = -a. Let o be a/((-1)/(-4)*4). Solve -p + 8 = o*p for p.
2
Suppose -6*f + 5*f = 0. Suppose -o + 10 = -f*o. Solve 0 = -3*j + j - o for j.
-5
Let u(y) = -y + 26. Let m be u(22). Suppose -1 + 5 = o. Solve m*c + o - 12 = 0 for c.
2
Let t = 31 + -25. Solve -t*c - 12 = -2*c for c.
-3
Let a(o) = 6*o**2 + 5*o + 2. Let g be a(-4). Let y be g/9 - (-6)/(-9). Let s(h) = -h**2 + 8*h. Let q be s(y). Solve 3 = u - q for u.
3
Let g = -5 - -3. Let k be g*(-2)/(-8)*2. Let i = k + 3. Solve i*p = 7*p for p.
0
Let h(d) = -d**3 - 5*d**2 - 3*d + 4. Let w be h(-3). Suppose -2*x + 52 = 2*x. Let t = w + x. Solve t = -i - 3*i for i.
-2
Let a(f) = -f**3 - 3*f**2 - 2. Let n be a(-3). Let v be (-1)/(-1) - (-3 - n). Suppose -5 = p - 2*p, v*p - 11 = -x. Solve h + x + 2 = 0 for h.
-3
Let k(c) = c - 4. Let d be k(6). Solve 0 = -2*s + d + 8 for s.
5
Let p(o) = o**3 + 2*o**2 - 2*o - 3. Let j be p(-2). Let s = j - 2. Let r be s/2 - 3/(-6). Solve -q + 0 - 5 = r for q.
-5
Suppose 0 = -2*w + 3*c - 8, 0*c - 3*c + 12 = 0. Suppose w*i = -0*a - 4*a + 26, 0 = 3*a - i - 7. Solve a*q + 20 = 8 for q.
-3
Let l(s) = s - 1. Let d be l(5). Solve -r + d = 1 for r.
3
Let q be (-57)/(-18) + 2/(-12). Solve -t + q = -0 for t.
3
Suppose -p + 3*b = -12, 0*p - 4*p + 2*b + 48 = 0. Solve 4 = 4*l - p for l.
4
Suppose -5*x + 10 = -15. Suppose -5*z = x*m - 26 + 1, -5*z + 21 = 3*m. Solve 0*f + f = z for f.
3
Let s = 10 - 7. Suppose -b + 2*b - j - 1 = 0, -5*j = -3*b - s. Solve -f = f - b for f.
2
Let r(t) = -t**2 + 13*t - 12. Let k be r(11). Solve 0 = -k*s + 5*s for s.
0
Suppose -10 = -4*p + 3*n - n, -p = -2*n + 2. Solve -3 = p*i - i for i.
-1
Suppose -5*i - 2*g + 25 = -0*g, 3*i - 4*g + 11 = 0. Suppose 2*f + 4 = -i*m + 18, 2*m = 2*f - 4. Solve f*o - 2 = 6 for o.
2
Suppose 8 = -o + 12. Solve 4*d = 16 - o for d.
3
Let m = -21 - -25. Solve 7*t = m*t for t.
0
Let n = -6 - -11. Solve -d = -0*d + n for d.
-5
Let c = 5 - 5. Let n(b) = -b**3 - b**2 + 3. Let d be n(c). Solve 2*s - 15 = -d*s for s.
3
Suppose -5*u = -q + 23, u - 4*u - 24 = -4*q. Suppose 0 = 5*r + g - 14, -4*r = -q*g - 0*g - 15. Suppose -2*b = -3 - r. Solve -b*l = 2*l + 20 for l.
-4
Suppose 2*z + 12 = 4. Let v(r) = -r**3 + 8*r - 2. Let d(l) = -2*l**3 - l**2 + 15*l - 3. Let g(a) = -3*d(a) + 5*v(a). Let s be g(z). Solve 2*q = s*q for q.
0
Let n be (1/(-1))/((-5)/10). Let t be 1 - 0 - (1 - n). Let l be 0 + 24 - (0 + -1). Solve l = -7*f + t*f for f.
-5
Let b be (-2)/(-6) + 94/6. Suppose 3*i + i - b = 0. Solve 0 = 3*c - c + i for c.
-2
Let c(o) = o**3 - o**2 - 11*o + 5. Let b be c(4). Solve 11 = -4*f - b for f.
-5
Suppose 4*c + f - 13 = 0, -3*f = 4*c - f - 18. Suppose -u + c*u = 1. Solve u = 2*p + 3 for p.
-1
Let w(h) = 7*h + 1. Let m be w(1). Let i be 23/5 - m/(-20). Suppose 36 = -v + i*v. Solve 2*d + v - 3 = 0 for d.
-3
Let j(v) = -v**3 - 25*v**2 + v + 25. Let i be j(-25). Solve i = 5*g - 29 + 9 for g.
4
Let o(d) = -d**3 + 8*d**2 - 6*d - 3. Let r be o(7). Suppose -4 = -4*v + r. Solve 0 = -v*s - 3*s for s.
0
Let w = -2 + 2. Suppose -c + 6*c - 25 = w. Suppose -2*n - 5*o = -c, 5*o + 4 = 4*n - 21. Solve -1 = -n*r + 4 for r.
1
Let n(x) = x**3 - 12*x**2 + 12*x - 6. Let u be n(11). Suppose -5*d - u*k = 8 + 2, -4 = -4*d - k. Solve -w - d = -0 for w.
-2
Suppose -63*b - 30 = -69*b. Solve -8 + 3 = b*h for h.
-1
Suppose 0*k + 12 = 4*k. Suppose k*o - 2*o - 4 = 0. Suppose -o*d = -8 - 4. Solve -4*r + d = -5 for r.
2
Let a(v) = v + 3. Let o be a(0). Solve g = -0 - o for g.
-3
Let a(f) = -f**3 + 4*f**2 + 5*f - 1. Let d be a(5). Let z(j) = -13*j + 1. Let n be z(d). Solve -4*c + 6 - n = 0 for c.
-2
Suppose -14*h + 18*h - 28 = 0. Solve -3*s = -h*s for s.
0
Suppose 5*i = 16 + 9. Suppose -3*j - 5*s - 18 = -0*j, 5*j + 3*s + 14 = 0. Let x(o) = -o. Let w be x(j). Solve 3*t - w = i for t.
2
Let d = -41 + 41. Suppose 0 = -2*s + 4. Solve d = -u - 5 + s for u.
-3
Suppose j - u - 4 = -1, -3*j + 5*u = -19. Let r = -62 + 41. Let d be r/j - (-2)/(-4). Solve a - 6*a - d = 0 for a.
-2
Suppose -n + 8 = -3. Suppose x + 11 = 4*a, 4*a + n = 5*x + 2. Solve 0 = -a*w + 3*w for w.
0
Suppose -2 = -2*n - 2*j, j - 2 = -4*n - 4*j. Suppose n*k + 0*k - 9 = 0. Solve -k*l = 2*l - 20 for l.
4
Suppose -4 = k + 2*r, 2*k - 5*r = 7 + 12. Let z(g) = -2*g + 1. Let n be z(-2). Solve n*h + 12 = k for h.
-2
Let a be 69/15 - 8/(-20). Solve 0 = a*z + 2 + 3 for z.
-1
Suppose -2*q + q = -3. Let v be 2/8 + 16/((-576)/(-243)). Solve -v = -q*k + 5 for k.
4
Let x(r) = -r**2 + 9*r + 13. Let y be x(10). Solve -y*v = -0*v for v.
0
Suppose 5 + 2 = 3*d - q, -d = -5*q - 7. Let p(w) = 8*w**2 - 4*w + 3. Let t be p(d). Solve -7 = -4*m - t for m.
-5
Suppose -2*u + 66 = -4*m, 5*m - m + 75 = 5*u. Let k be m/(-5) - (-3 + 2). Let b = k + -2. Solve 6*q = b*q - 20 for q.
-5
Suppose 3*l = w - 15, -3*l + 4 - 1 = 5*w. Suppose -2*x - w*x - 35 = -2*n, 103 = 4*n + x. Solve -4*c + n = c for c.
5
Let p(o) = -o**2 + 8*o + 1. Let k be p(7). Let c be 25/3 + (-2)/(-3). Let l = 13 - c. Solve -l*q = -2*q - k for q.
4
Let g(z) = z**2 - 7*z + 2. Let m be g(7). Solve -4*r - m = 6 for r.
-2
Let z(a) = 16*a - 9*a - 8*a + 4. Let o be z(-3). Let b be 2*13 + (-3 - -2). Solve 2*h + b = o*h for h.
5
Suppose -i + 16 = -3*l - 0*l, 0 = 4*i + l + 1. Let a = 7 + -3. Solve -i = r + a for r.
-5
Let u be 48/(-36)*3/(-2). Let t be (-6 - -6)/(u/(-1)). Solve t = -0*l + l + 3 for l.
-3
Suppose 5*m = -25, -m + 2*m - 23 = 2*y. Let a be 17/(-2) + 8/(-16). Let n = a - y. Solve 2*d + n + 5 = 0 for d.
-5
Suppose w = -5*m + 6, w - 3 - 1 = -4*m. Let r = w + 7. Suppose -r*g + 5*g = 0. Solve -2*z + 6*z - 20 = g for z.
5
Let x = -13 + 17. Solve -x - 5 = 3*n for n.
-3
Let w(x) = x + 4. Let r be w(-7). Let a be r/(-12) - (-14)/8. Solve 0 = -t - a - 0 for t.
-2
Let l(c) = -7*c + 18. Let q(f) = -11*f + 27. Let o(s) = -8*l(s) + 5*q(s). Let x = -15 + 27. Let v be o(x)