*x - 1. Let z be o(-1). Let s be (-1)/2*(-1 - 11). Solve -s - z = 2*q for q.
-4
Suppose 0 = -p - 4*p + 15. Solve -p*g = 5 + 10 for g.
-5
Suppose -2 = -d, -4*d + 0*d + 4 = -t. Solve t*m - 3 - 13 = 0 for m.
4
Suppose 2*d + 5*s = 5, 5*d = 3*s - 5*s + 23. Suppose 0 = -4*l - l + 25, d = v - 2*l. Solve -6*b + v = -b for b.
3
Suppose 3 = 4*p - 5*f, 1 = f - 0*f. Let d be (-1)/(9/6 - p). Let v be 2/8 + (-1)/4. Solve d*x + 4 = -v for x.
-2
Let x(w) = 2*w + 6. Let u be x(-3). Solve u = -0*y - 3*y + 15 for y.
5
Suppose 7*g = 3*g + 20. Suppose 5*z - 2*d - d - 25 = 0, -g*d - 33 = -4*z. Let q(s) = 5*s**2 - s + 1. Let k be q(1). Solve z - 7 = -k*r for r.
1
Let s = -8 - -8. Suppose s = -2*d - 0*d. Solve d = 5*i - 22 - 3 for i.
5
Suppose -m = -2*w + 4*m + 15, -5*w - m + 24 = 0. Solve -2*o + o = w for o.
-5
Suppose -5*y = -0*y - 15. Suppose 2 = 4*j - 18. Suppose 2*a + j = f - a, 2*f - 3*a - 10 = 0. Solve y*z = -1 - f for z.
-2
Let r = 0 - -3. Suppose 0 = r*m - 6, 2*y + 2*m + 2 = -2. Let d = y - -6. Solve 5*q - d*q + 9 = 0 for q.
-3
Let x(r) = -r**3 + 5*r**2. Let z be x(4). Let d(w) = -w + 12. Let m be d(7). Solve t = m*t - z for t.
4
Suppose 24 = 3*g + 3*h, -2*g - h + 6 = -8. Suppose 0*r = -2*d + r + g, 3*r - 6 = -2*d. Suppose 0 = -0*t + d*t - 9. Solve -s + t*s = 2 for s.
1
Let q be 33/12 - (-6)/(-8). Suppose -2*o + 0*s + s + 1 = 0, 0 = -q*s + 6. Solve o*l - l = -3 for l.
-3
Let h(b) = b**2 - 3*b - 3. Suppose 2*u - 8 = -0. Let m be h(u). Let n be (-2)/(-12) - 7/42. Solve 0 = -a - n*a - m for a.
-1
Let j(n) = n + 11. Let h be j(-5). Solve -2*m + 4 + h = 0 for m.
5
Let n be (-28 - -8)*2/(-8). Solve 2*t + 1 + n = 0 for t.
-3
Suppose -2*z + 2*b + 5 + 117 = 0, -4*b + 341 = 5*z. Suppose 3*v - 4 = z. Solve -2 - v = -5*q for q.
5
Let l = 7 + -5. Let u(v) = v**3 + 4*v**2 + 4*v. Let m be u(-3). Let t be (1 - 1)/(m - -2). Solve l*z = -t + 4 for z.
2
Let r be (-25)/10*(-12)/15. Solve -r*y + 8 = -0*y for y.
4
Let v(f) = f**3 - 11*f**2 + 11*f - 10. Let w be v(10). Suppose w = c + c - 4. Let n(u) = -u**3 + 5*u**2 + 5*u + 6. Let a be n(6). Solve c*h + h = a for h.
0
Let h be (1/(-1))/(6/(-12)). Suppose 8 = 5*t + 4*x + 20, -12 = -h*t + 4*x. Solve b + t*b = -5 for b.
-5
Suppose -28*o - 25 = -33*o. Solve o*u - 28 = -13 for u.
3
Let t(n) be the second derivative of -n - 1/4*n**4 - n**2 + 0 - 1/20*n**5 - 2/3*n**3. Let s be t(-2). Solve s*p = 4*p for p.
0
Suppose -2*f + 19 = -f. Solve 5*o + f = 4 for o.
-3
Suppose 3*w = -w. Solve 2*z + w*z = 8 for z.
4
Let b(j) = -3*j + 24. Let t be b(7). Solve -2*h - t = -h for h.
-3
Let f(b) = -b**2 + 15*b + 3. Let a be f(15). Suppose 4*y - 1 = 27. Let r = 2 - 0. Solve y - a = r*x for x.
2
Let o be (2 - 15/9)*18. Solve 0*b = 3*b - o for b.
2
Suppose -12*d = -9*d. Let i = 7 - -5. Solve 4*r + d*r = i for r.
3
Let k be ((2 - 1) + -1)/(-1). Let h = k + 7. Solve 17 = 2*b + h for b.
5
Let k be (195/20 - 6)/((-6)/(-32)). Solve 0*i + 5*i = -k for i.
-4
Suppose 0 = -4*n + 8. Solve -14 = -3*t - n for t.
4
Suppose 2*f + 6*y + 2 = 3*y, y = -f. Suppose -f*j + 4 = -j. Solve -j*q + 19 = -1 for q.
5
Let c(q) = -q**3 - 12*q**2 - 10*q + 13. Suppose 29 - 7 = -2*n. Let i be c(n). Solve -i*w - 10 = -4*w for w.
5
Suppose 2*s - 3*p - 3 = 0, -4*s - 5*p + 8 + 9 = 0. Suppose 4 = s*j - 5. Solve -o = j*o - 16 for o.
4
Let w = 15 - 7. Let a = w + -3. Suppose a*u + 7 = 17. Solve 0 = -g + 1 + u for g.
3
Let q = 2 + 1. Suppose -q*b + 4 = -b. Suppose 2*s + 4*k - 32 = 0, 60 = 5*s + 3*k + b*k. Solve -s*d + 4*d = 20 for d.
-5
Suppose -2*k - n - 2 = k, -4*n - 21 = -k. Let m(v) = 2*v + 1. Let g be m(k). Suppose -42*u + 129 = u. Solve -2*a - g = -u*a for a.
3
Let u = -7 + 12. Suppose -2*h - t = 1 - 0, -5*t - u = -4*h. Solve -r + 4 + 1 = h for r.
5
Let s = -5 - -8. Let j = 61 + -59. Solve 0 = s*q + j*q + 25 for q.
-5
Suppose -4*t = 2*u - 0*u + 12, -5*t = 2*u + 16. Let g = -1 + 5. Suppose 13 = g*p - 5*n, -2*p - u*n + n = -3. Solve -p*s + 8 = -0*s for s.
4
Suppose -h = -5*x - 5, 3*x + 3*h - 15 = -0*x. Let d = x - -2. Solve -d*i - 2*i = 8 for i.
-2
Suppose 295*s - 296*s = -2. Solve -s*p - 3*p = 0 for p.
0
Suppose 25 = 4*o + 3*w, -4*o + 2*w + 20 = 6*w. Solve 7*u = 2*u + o for u.
2
Suppose 5*x = x. Let c = 17 + -14. Solve x = c*u + u for u.
0
Let l(v) = v - 1. Let s be l(5). Solve -3 + s = -t for t.
-1
Let a be (42/10 - (-6)/(-30)) + -1. Solve 1 = -a*q + 4 for q.
1
Let w be (35/10)/(0 - (-3)/6). Solve -3*y - 5 = w for y.
-4
Let w be ((-176)/55)/(4/(-10)). Solve -4*a + w = 4 for a.
1
Suppose 0 = -3*b - 3*f - 3 - 3, -26 = 4*b - 5*f. Let d be 2*b/(-2 + -2). Solve -d*z = -5 + 11 for z.
-3
Let f(v) = -v**2 - 3*v. Let x be f(-4). Let g = 6 + x. Let j be -1*(4 + -5 + -3). Solve j*k = g*k for k.
0
Suppose 0 = 5*p - 0*p - 2*o - 19, -2*p + 4*o + 14 = 0. Let c = 0 + p. Suppose c*t = 3*q + 12, -2*q = -4*t - 4*q - 8. Solve t = -4*h + 3*h - 5 for h.
-5
Suppose -3*o + j + 12 = 4*j, -5*o - 4*j = -18. Solve 12 - o = 5*u for u.
2
Let w(u) = u**3 + 8*u**2 - u + 6. Suppose -3*g - 24 = -0*g. Let s be w(g). Solve -5*c - s = 6 for c.
-4
Suppose -i + 3 + 1 = -4*h, -3*i + 2*h = -12. Suppose f - i = -f. Suppose -o - 2 = -4. Solve -f*u + o = -3*u for u.
-2
Suppose 5*j = 463 - 163. Suppose -k - 6*y + 3*y = -35, -4*k + j = -4*y. Suppose -5*o + 10 + k = 0. Solve 0*x = 2*x - o for x.
3
Suppose 65 - 20 = 5*w. Suppose 2 = 4*j + 3*t - 7, -3*t + w = 3*j. Solve 0 = -n + 4 - j for n.
4
Suppose 0 = -h + 3*h + 26. Let v = -25 - h. Let g be (-2 + 3)/((-4)/v). Solve -4*d = g - 15 for d.
3
Let y = 38 + -26. Solve -s = -4*s - y for s.
-4
Suppose k + 4 = 5*k. Let z be -2 - -8 - (k + 2). Solve z*x - 7 - 2 = 0 for x.
3
Let q(s) = s**3 + 10*s**2 - s - 6. Let v be q(-10). Suppose -v*g + 16 = a, 3*a + g + 5 = 20. Let j = 12 + 3. Solve -a*o = o - j for o.
3
Let w = -12 + 20. Suppose 5*a + 3 = w. Solve 24 = 5*k - a for k.
5
Suppose 15 + 0 = -5*g. Let u(c) = -c - 3. Let h be u(g). Solve h*o - 10 = -5*o for o.
2
Let k(o) = o**2 - 4*o. Let l be k(4). Let w = -11 - -13. Solve 5*f + 18 + w = l for f.
-4
Suppose f - 4*t - 5 - 9 = 0, 20 = -5*t. Suppose 74 = 5*x - 196. Let n be x/12 - (-1)/f. Solve -n + 2 = y for y.
-2
Let u = -6 - -15. Solve 2*m = -m + u for m.
3
Let t = 19 + -7. Solve -2*s - s + t = 0 for s.
4
Let j = 40 + -37. Solve j + 2 = h for h.
5
Let a(y) = -y**3 + 19*y**2 - 18*y + 15. Let u be a(18). Suppose -8*l = -4*l - 8. Suppose -2*c = -2*f + c + u, l*c = -3*f + 3. Solve -4*x = -f*x for x.
0
Let k = -33 - -41. Solve 3*v + 20 = k*v for v.
4
Let h(t) = 2*t - 1. Let n be h(3). Let w(v) = -v**2 + 5*v + 2. Let r be w(n). Solve -1 = -3*i + r*i for i.
1
Let k(g) = -2*g - g + g + 1 + 7*g**2. Suppose 7 = 3*h + 4*h. Let n be k(h). Solve 3*w = 15 - n for w.
3
Let r = 9 - -11. Suppose 3*y = 3, j - 2*y = -4*j + 133. Let n = j - 21. Solve n*k - r = 2*k for k.
5
Suppose 0*z + 12 = 3*z. Solve -6 = 2*c - z*c for c.
3
Suppose -3*x - 5 + 14 = 0. Let b be (-6)/(-1)*2/x. Solve -2*v + v = -b for v.
4
Let o = -57 + 63. Solve -2*n - o - 2 = 0 for n.
-4
Let t be ((-4)/(-8))/((-2)/20). Let g(z) = -z**2 - 6*z - 3. Let k be g(t). Suppose k*p - 5 + 1 = 0. Solve 5 = w + p for w.
3
Let b(w) = -2*w**3 - 3*w**2 - w - 1. Let f be b(-2). Let z = -2 - -7. Let d be -1 + -2 + 1 + z. Solve 1 = -d*g - f for g.
-2
Let s = 24 + -24. Solve y + 1 = -s*y for y.
-1
Suppose -15 = -b - 4*b. Suppose b = -4*t + 11. Suppose -t = c - 4. Solve c*s = s for s.
0
Let l be 1313/117 + (-4)/18. Solve 0 = 2*o + l - 3 for o.
-4
Let f(g) = 2*g**2 - 2*g. Let q be f(3). Suppose -5*z + z + q = 0. Solve 2*t + z = 3*t for t.
3
Suppose 6*v - 2*v = 12. Suppose -3*g - 6 = 4*i, 3*g - 7*g = 5*i + 7. Solve 0 = 5*u + g + v for u.
-1
Let g = -15 - -19. Solve -g*a - a = -20 for a.
4
Suppose 0 = 4*y - 3*q - 20, q = -4*y + 3 + 1. Suppose -c - y + 3 = 0. Solve -5*j + 16 = c for j.
3
Let r = -5 + 5. Let c be (0 - (r + 0))/(-2). Let y be (0 + c)/((-4)/2). Solve 0 = -3*t - y*t + 6 for t.
2
Suppose -2*h = -5*j - 21, -3*h = -2*j - 20 - 6. Let u(i) = i**2 - 7*i - 2. Let f be u(h). Solve -s + f*s + 15 = 0 for s.
-3
Suppose 9*z = 7*z. Suppose 25 = 5*l - 35. Suppose -2*q + 2*t + l = z, -3*q + 11 = -t + 1. Solve 4*i - q = 2*i for i.
1
Suppose 7 = m - 9. Let f be ((-8)/(-16))/(2/m). Solve 9 = -f*l + l for l.
-3
Let n(j) = -j**2 - 8*j + 13. Let a be n(-9). Solve z = -a*z - 20 for z.
-4
Let m(g) = g**2 + g. Let s be m(-4).