-1
Let k(q) = q**3 + 6*q**2 + q + 6. Let o be k(-6). Solve -2*g + 2 = -2*x, o = 5*x - 3*g - 0 - 1 for x.
2
Let p(v) = v**3 - 9*v**2 + 8*v. Let n be p(8). Solve q = a + 4 - 1, -a = n for q.
3
Let w(r) = -5*r - 11. Let b be (-6)/21 - (-94)/(-14). Let x be w(b). Solve x = g - 5*h, 0*h = 5*g + 2*h + 15 for g.
-1
Let f(t) = t - 5. Let y be f(5). Let b be ((-9)/(17 + -8))/(1/(-3)). Solve 3*c - 5*i = -y*i - 21, -c = b*i - 7 for c.
-2
Let r(a) = a**3 - 2*a**2 - 8*a + 3. Let h be r(4). Let y = 6 + 4. Let v = -7 + y. Solve 4*t - 10 = h*o, v*t + t + 4*o = 24 for t.
4
Let r be (-2)/11 + 68/11. Let s be (4 - 3)*r - -3. Suppose 0 = 2*g - 4*o - 18, -7*o + s = 3*g - 4*o. Solve 0 = 3*x - 5*w - 1 + 4, 0 = 5*x - g*w - 5 for x.
4
Suppose 2*t + t - 6 = 0. Let f = t + 13. Solve -2*n = 3*l + f, 4*n + 5 + 0 = -l for n.
0
Let z = -18 - -33. Solve 0 = l + 5*a - 7, -3*a + z = -3*l - 0*a for l.
-3
Let v be -22 - (2 - 2 - 0). Let t = -2 - v. Suppose 0*l = -4*l + t. Solve -18 = -3*m + l*a, -3*m + a = 2*a for m.
1
Suppose -2*d - 3*d + 75 = 0. Suppose -u - 4*z = d, 0*z + z + 30 = 5*u. Solve u*p + 5 = -3*h + 4*h, -p - 12 = 2*h for h.
-5
Suppose -4*f = 5*w - 66, 5*w = 3*f - f + 72. Let s = w + -5. Let g(z) = 6*z**3 - 2*z + 1. Let m be g(1). Solve 6 = -4*x - m*a, -5*a - s = 1 for x.
1
Suppose 3*g = -d - 3*d - 2, 5 = -3*d - 4*g. Suppose 7 = 2*y - d. Suppose y*q = q. Solve -5*n - 2*x - 7 = -q, -4*n - 8 = x for n.
-3
Suppose -s - 6 = -2*t, t - 1 = s + 1. Let k = t + -4. Suppose 2*r + 2*z - 6 = k, r - 1 = z - 4. Solve q = -2*o - 2, 0*o - o - 5*q + 17 = r for o.
-3
Let i be -1 + (2 - 1) - 6. Let t be (8/i)/((-4)/6). Suppose 0 = -t*a + 6 - 2. Solve f + 10 = a*u - 3*f, 5*u = -f - 8 for u.
-1
Let f = 153 + -149. Solve 15 = i - 2*i - f*v, 0 = 5*i - v - 30 for i.
5
Suppose -23 = -3*z + 5*a + 63, 20 = -5*a. Let o = z - 5. Solve d - 11 = -3*v, -v - 2*v + o = -5*d for v.
4
Let m(c) = c**3 - c**2 - c + 1. Let u be m(1). Suppose u = -5*j + 8 + 7. Suppose 0 = j*o + o. Solve -2*n + q + 3 + 0 = o, -3*q = -3*n for n.
3
Let j(f) = -f**3 - 4*f**2 + 5*f + 2. Let m be j(-5). Let b(k) = 2*k**m + k + k + 2 - 5*k. Let l be b(2). Solve -5*s - 2 = -l*s + 5*t, -5*s - 3*t = -12 for s.
3
Let u = 13 + -8. Solve 13 = -5*h - 3*x - 6, 4*h - u*x - 7 = 0 for h.
-2
Suppose -4*l = -0*l - 2*c - 118, -17 = -l - 2*c. Solve 5*t + 3 = 5*w - l, -5*w = t - 18 for t.
-2
Let y be (3 - (3 - 2)) + 0. Let w be y + 2 + (-1)/1. Let z(f) = -f**2 + 5*f - 2. Let t be z(3). Solve w*c + v = t, -2*v - 2*v - 10 = -c for c.
2
Let i = 3 - 1. Let b be 6/(-2) + (-30)/(-6). Solve u - 4 = 2*h, -b*u + i*h + 5 = -h for u.
-2
Suppose -a + 2*a - 4 = 0. Suppose 10 = d + a*d. Solve 2*r - 6 = -4*f, -3*f - d*r + 6 = -r for f.
3
Let f be -3 + (-4 - -9) - -1. Solve 2*y = w + f, 5*y - 2*w + 5*w - 2 = 0 for y.
1
Let t = 18 + -26. Let j(x) = -3*x - 19. Let r be j(t). Solve -1 = -f - 2*w, 5*f = r*w + 27 - 67 for f.
-5
Suppose -w - 2*p - 3 = 0, 3*w = -p - 0*p + 6. Solve -w*k + 18 = -3*o, 4*k + 0*o = -o + 19 for k.
5
Let y(t) = t + 3. Let q be y(0). Solve 4*r - 5 = -p, 5*p + 6 = q*r + 31 for p.
5
Suppose -5*x = -4*a - 39, 0*a - 5*a - 5 = 0. Solve 3*z = -2*g + 3, -x*g - 24 = -4*z - 3*g for z.
3
Suppose 11*v - 18*v = 0. Solve 4 + 10 = f - 3*z, 5*f - 3*z - 10 = v for f.
-1
Let i be 24 - 3/(-3) - 2. Let o(d) = d**2 - 9*d + i + 9*d. Let c be o(0). Solve -3*u + 0*w + 5*w = 27, w = 5*u + c for u.
-4
Suppose -4*g - 5*k = -53, 3*g - 3*k - 18 - 15 = 0. Let u = g - 8. Solve -3*l - 24 = -3*h - 0*h, 2*h = -2*l + u for l.
-3
Suppose 0 = 5*g - 20, 2*g = -3*n + 5*n. Solve 0 = -3*y + 12, 2*m + 2*y - 2 = n*m for m.
3
Let j be ((-16)/(-20))/((-1)/(-5)). Solve 2*k + 3*k - 2 = -4*u, j*u + 18 = 5*k for u.
-2
Suppose -5*i + i = -16. Suppose 2*k - 32 = -0*k. Solve q - 5 = 2*c + 7, i*q - k = 0 for c.
-4
Suppose -10*g = -6*g - 12. Solve 4*o - 2*i - 8 = 0, -i + 1 = g*o - 0 for o.
1
Let a(l) = l**3 - 4*l**2 - 5*l + 3. Let y be a(5). Solve 0 = 2*s + 4*t - 10, -y*s + 0*s = -4*t - 5 for s.
3
Let o be (0 - -3) + (1 - 1). Solve -3*k + 0*k = -4*l - 32, 3*l + 3 = -o*k for l.
-5
Suppose 16 = 4*t - 0. Solve -4*h = -5*o, 0 = 5*o + t*h + h + 45 for o.
-4
Suppose -3*x = -4*x - 2*d + 10, -2*d - 30 = -3*x. Suppose 0*l - 4*l = 0. Let i be x + l + 1 + -2. Solve 0 = 3*j - i, 4 - 2 = -4*z + 2*j for z.
1
Suppose -5*k + 24 = 7*j - 3*j, 3*k - j = 11. Solve 3*v + 7 + 12 = -5*b, 0 = -3*b - k*v - 18 for b.
-2
Let c(u) = u**2 + 3*u. Suppose 0*b + b + 5 = 0. Let q be c(b). Let i be (8/6)/(q/105). Solve -k - 2 + 19 = 4*l, i = -2*k + 4*l for k.
1
Let x be ((-3)/(-3 - 0))/1. Solve -5*o + 1 = -4*a, -2*o - 1 - x = -a for o.
-3
Suppose 0*u - 4*u - x + 72 = 0, x + 13 = u. Let f = u - 7. Solve -v + 11 = 3*h, 0 = 2*h - 0*h + 5*v + f for h.
5
Let m(t) = -3*t - 3. Let o be m(-4). Let d be 20/11 - ((-8)/22)/2. Solve 3*g = -3*s - o, d*g - g - s = -1 for g.
-2
Let t = 12 - 8. Solve 2*i - 3*d = 19, -d - t - 14 = -3*i for i.
5
Let s = -52 - -52. Solve -4*y = d - 8 - 6, 4*d + 5*y - 12 = s for d.
-2
Let r be ((-2)/3)/((-8)/(-24)). Let j be (-3)/(-8)*r*-4. Solve -5*g - n = -j, -2*n + 5 + 1 = -g for g.
0
Suppose -5*p = -5, -4*p - 12 = -2*y - 2*y. Solve y*k = n - 5, 4*n + 6*k - k + 22 = 0 for n.
-3
Let y be 2*(0 + 2 + 0). Solve -y*a = -3*o + 8, -2*a + o = -5*a - 19 for a.
-5
Suppose 2*k = 8, 0*u = -2*u + k - 2. Let i be (8/12)/(u/3). Suppose 0 = i*h - 7 - 29. Solve 2*r - h = 4*y, -1 = 2*r + 2*y + 5 for r.
1
Suppose -2*t - 3 = -21. Solve -y - 24 = 4*n - t*n, 3*y + 24 = 3*n for y.
-4
Suppose -l + 47 = -2*i, 0 = 3*l - 2*i - 67 - 82. Suppose -l - 24 = 3*r. Let q = 43 + r. Solve 0 - 14 = 3*g - s, -3*s = -g - q for g.
-3
Suppose 2*w = 9 - 3. Suppose -w*l = -l - 8. Solve -l*g + 3*n - 2 = -18, 0 = -4*n for g.
4
Suppose -2*k = 3*g + 3*k - 104, 4*g + 5*k = 132. Solve -10 = -j + 5*h, -3*j + 5*h + g = 8 for j.
5
Let g be -2 - (0 + 10 + -2). Let x = 35 + g. Suppose 10 = -0*t - 2*t, -5*t = c + x. Solve c = -2*m - 0*y - y, 5*y + 16 = -2*m for m.
2
Let r(n) = n**2 - 3. Let m be r(3). Solve 10 = 2*f + 4*o, -5*o + 5 = f - m*f for f.
1
Suppose -5*i + 9*i = 16. Solve 0 = 4*z - 0*x - i*x + 24, -5*z = -2*x + 27 for z.
-5
Suppose -3*b = -1 - 5. Suppose 4*t = -n - b, 5*t + 2*n + 2 = n. Suppose 5*r - 25 = -t*r. Solve -2*y + 9 = 5*h, 0 = h - 3*h - r*y + 12 for h.
1
Suppose 0 = 6*i - i - 5, 3*m + 3*i = 54. Let v = m + -12. Suppose 10 = -5*p - 2*x + 41, -v*x = -3*p. Solve -p*u + 0*u - 15 = 2*q, 15 = u + 4*q for u.
-5
Let q(l) = -l**3 - 6*l**2 - 2*l - 8. Let r be q(-6). Let b be 27/12 - 1/r. Solve 4*w - t = -16, b*w + 2*t - 7*t + 8 = 0 for w.
-4
Let o = 103 - 100. Solve o*a - 5*g = -5, 3*g - 6*g + 17 = a for a.
5
Let l be -1 - 31/(-2) - 1/(-2). Solve 4*v - 20 = s + 2*s, 3*v - l = -5*s for v.
5
Let c(d) = d**3 - 4*d**2 + 2*d + 1. Let t be c(2). Let y be (-4)/t - (-12)/18. Let r be 2/5 - 16/(-10). Solve -o + r*m = y - 3, 1 = 2*o - 5*m for o.
3
Let x be (0 - -3) + (-3 - -3) - 1. Solve -2*u = -g + 10, 3*g - 10 = x*u - u for u.
-4
Let t be -3*3/(1 - 4). Solve 3*r - 3*h = 6, h + 16 = t*r + 3*h for r.
4
Suppose 4*x - 7 = 21. Let l = 5 + -12. Let r = l + 11. Solve b = 5*v - 8 - x, -2*v + 24 = -r*b for v.
2
Let q be (-45)/6*2/(-3). Let r be (q - 2)*(-30)/(-18). Solve -3*v + 0*v = -2*j - 2, -13 = -r*j + 3*v for j.
5
Suppose 0 = -3*f - 3 + 12. Suppose -6*i + 9 + f = 0. Solve 13 = i*h - h - 5*n, 0 = h + n - 1 for h.
3
Let u = -5 + 14. Suppose 0 = 2*x - 5*t + 5, 4*t + 2 = 3*x - 1. Suppose -q = -x*l + 18, -l + 0*q = 5*q - 14. Solve -r + 0 = -5*h - 14, l*h - 3*r + u = 0 for h.
-3
Suppose 2*q - 4 = -2*q. Suppose -3*s - 31 = -8*s - 3*g, -4*g = -s - 3. Suppose s*k = -0*k + 20. Solve -b - 5*l - 3 = -q, -3*b + 5 = k*l for b.
3
Suppose -3*a - 3*u + 54 = 0, 4*a = 5*u - 2*u + 51. Suppose -4*k + 10 = 2. Solve -5*n - 9 = -k*g + 6, 2*g + a = -n for n.
-5
Suppose 4*j - 6 = j. Solve 2*s + 3 = j*v + s, -4*s + 16 = -v for v.
4
Let g(t) = 3*t + 26. Let z be g(-8). Solve z*y - 7 = -c, 4*y = -4*c + 19 + 5 for y.
1
Let s(t) = -t - 5. Let i be s(-5). Suppose -3 = -k - i*k. Let v(z) = -z**2 + 4*z - 1. Let b be v(k). Solve f = -4*g - 9, -f - b*g - 9 = -2*f for f.
3
Let g = 2 + 8. Let w be 294/g + (-12)/30. Let c(x) = -x**2 - 9*x - 9. Let s be c(-7). Solve -s*y = -b + w, -y + 2*b - 13 = -0 for y.
-5
Let y = 25 + -23. Let x = -8 + 12. Solve 16 = x*a, -a + 6 = 5*k - y*a for k.
2
Let s(x) = -4*x