.
0
Let c(h) = h**3 + h**2 + h - 2. Let u be c(3). Solve 5*g - 12 = -u for g.
-5
Suppose 0 = -5*w - 0*w + 25. Let d = -1 + w. Solve -v - v = d for v.
-2
Suppose -2*m + m = -11. Let k be (2/4 - 1)*0. Suppose 5*v + 4*a = 23, 2*v - 16 = -k*a - 5*a. Solve -m - 4 = -v*z for z.
5
Let o be 6/(-4 + 5 + 0). Solve -v + 3 = o for v.
-3
Let v(h) = -h + 6. Let g be v(6). Let b = -4 + 6. Solve 5*u + 18 + b = g for u.
-4
Let i = 18 + -13. Solve -i*b + 9 = -16 for b.
5
Let s(j) = -j - 6. Let x be s(-10). Solve -x*w = -3*w for w.
0
Let a(v) = v - 7. Let i be a(9). Solve -i*n + 10 = -0 for n.
5
Suppose 0*v - 4*v = -12. Suppose w - v*w + 12 = 0. Solve w*p - 3*p - 15 = 0 for p.
5
Let t(d) = -d**2 - 7*d + 12. Let s be t(-8). Solve -4*v + s = -8 for v.
3
Suppose s + 12 = 2*q, 2*q + 5*s = -0*q. Suppose -6*h + 12 = -3*h. Solve h*i + q = -i for i.
-1
Let b = -35 - -35. Solve b = i + 2 - 0 for i.
-2
Let c(p) = p**3 + 12*p**2 - 14*p - 9. Let s be c(-13). Solve 0 = s*g + 9 + 3 for g.
-3
Suppose 14 = -5*d + 7*d. Solve d*t - 3*t - 12 = 0 for t.
3
Suppose 3*m - 4*m + 8 = 0. Let c = m + 8. Let d = c + -11. Solve d*a - 14 = 6 for a.
4
Suppose -5*a - 3*n = 5, -5*n = -a + 24 + 3. Suppose 0 = -a*m - 2*m. Solve -3*c - 3 + 0 = m for c.
-1
Let r(u) = u + 17. Let g(w) = -1. Let b(s) = 102*g(s) + 6*r(s). Let d be b(1). Solve 0 = -3*f + d*f + 12 for f.
-4
Suppose -19*f + 2 = -18*f. Solve -f = m - 5 for m.
3
Let k = 27 - 12. Let l be (-1 - 0)/((-3)/k). Solve -5*c = l + 20 for c.
-5
Let i(c) = -c**2 - 3*c - 2. Let m be i(-2). Let a = m - -2. Suppose a*p + 3*p - z - 20 = 0, -2*p + 8 = 3*z. Solve -2*t = -p*t + 10 for t.
5
Let a(b) = -4*b - 3. Let t be a(-2). Let f be -1*t/((-10)/6). Let d(g) = -g**2 - 8*g. Let s be d(-5). Solve 0*m = f*m + s for m.
-5
Let w(m) = m**2 + m - 5. Let x be w(-4). Suppose -2*v = -x*v + 15. Let l = 8 + -4. Solve l*k = k - v for k.
-1
Let u = -12 + 25. Suppose -u = -2*f + c, f + c = 4*f - 18. Solve 3 = f*d + 8 for d.
-1
Let f be (3/(-2))/(9/(-6)). Let c be (1/(-2))/(f/8). Let k be 0 + 2 + (-1 - c). Solve -k*u = -0*u + 25 for u.
-5
Let c(m) = m**3 - 5*m - 1. Let q be c(-2). Solve -g - q + 0 = 0 for g.
-1
Let q be (0 - (-1 + -1))*1. Solve b = 2*b + q for b.
-2
Suppose -2*q + 6*q = -5*x - 28, 4*x + 16 = 0. Let s be (q - 0)*(-9)/6. Solve -s*o + 6*o = 0 for o.
0
Let m(i) = i**2 - i - 1. Let c(r) = -6*r**2 + 8*r + 5. Let h(w) = -c(w) - 5*m(w). Let g be h(4). Solve -7 - 1 = g*b for b.
-2
Let h(f) = 2*f**2 - f - 8. Let q be h(4). Let b = -16 + q. Solve -b*d = -18 + 6 for d.
3
Suppose k - 1 = 4*j, 6*k - k + j - 5 = 0. Suppose -4*u = -5*q + 2 + 4, 0 = u - q + k. Let x be 0 - 0*4/(-12). Solve c + 0 - u = x for c.
1
Let r = -17 + 19. Solve 0 = -4*a + r - 10 for a.
-2
Let l = -6 + 6. Let x = 2 + l. Solve -x*q + 6*q - 20 = 0 for q.
5
Let z(s) = -4 - 4*s + 5*s + 6 + 11. Let d be z(-10). Solve d*c = 4*c for c.
0
Suppose -4*p - 5 = -5*d, -3*p + 5*p = -2*d + 2. Let a be (6 - 20/4) + 2 + 0. Solve -d + a = -h for h.
-2
Let r(g) = 4 + 0*g + 10 + 2*g + 0*g. Let f be r(-7). Solve f*o + 1 = -o for o.
-1
Suppose -3*c - w - w - 2 = 0, c + w + 1 = 0. Solve c = -o - 2 for o.
-2
Suppose -6*h + 6 = -4*h. Solve -7 = h*u + 8 for u.
-5
Let s be -22 + 4/(-2) + 3. Let i = -15 - s. Solve i*q - 4*q = 8 for q.
4
Let m be (-2 - -1)*(1 - 1). Suppose m*j = j + t, -t = 2*j - 5. Let o = 9 - j. Solve o*w - 18 + 2 = 0 for w.
4
Let i(g) = g - 6. Let f be i(8). Suppose 3*v + 2*s = 6, 4*v - 7 = -f*s - s. Solve 1 = c - v for c.
5
Let u = -7 + 11. Suppose -5*z - d + 45 = 0, -3*z = -8*z + 2*d + 60. Solve v + u*v = -z for v.
-2
Let w(c) = c**3 + 4*c**2 - 5*c + 3. Let d be w(-5). Solve -2 = d*a + 1 for a.
-1
Let j = 10 + -8. Suppose -t = 4*r - 2*t - 4, j*t = 4*r - 8. Solve r*y + 9 = -3*y for y.
-3
Suppose -4*z + 2*f = -z + 1, z = 4*f - 17. Let t be z - (-1 - (-2 - -2)). Solve -t*q + 5*q + 4 = 0 for q.
-4
Suppose 5*f + 5*u = 2*u + 58, 50 = 5*f - 5*u. Solve -5*p + 1 = f for p.
-2
Let z be -2*1 - (2 + 0). Let a(w) = -w**2 - 4*w. Let i be a(z). Suppose x - 6*x = i. Solve 0 = 2*t - x*t + 2 for t.
-1
Suppose -3 = -2*m + m. Suppose -7 = -i - m. Suppose 0*y - 16 = i*y, -v - y = 3. Solve -2*t + 9 + v = 0 for t.
5
Let n = 14 - 10. Suppose -5*p - 8 - 13 = -4*j, -n*p - 24 = -4*j. Suppose 0 = -2*c - 3*w - 1 + 13, -5*c = -4*w - 7. Solve 0*z + j = -c*z for z.
-3
Suppose 3*p = -2*u - 2*u + 16, -u = 4*p - 4. Let s be (132/(-30))/(u/(-10)). Solve 0 = -2*l - s + 1 for l.
-5
Let v(q) = -2*q + 0*q - 3*q + q + q**2. Let g be v(4). Solve g*n + 2*n + 2 = 0 for n.
-1
Suppose d + d - 68 = 0. Suppose -2*s - 2 = -d. Solve -6*h + 2*h + s = 0 for h.
4
Suppose 2*n = 3 + 3. Solve -1 = -n*r - 13 for r.
-4
Let v be (3/(-2))/(12/(-32)). Suppose -3*m + v*i + 24 = m, 0 = 4*m + 2*i. Solve t = -1 + m for t.
1
Let a = 1 + -2. Let s be a/(-5) + 12/(-10). Let c = s + 13. Solve -g + c = -4*g for g.
-4
Suppose -14 = 6*n - 32. Solve -n*l = 6 - 0 for l.
-2
Let w(c) = -4*c - 12. Let s be w(-3). Solve s*g - g = 2 for g.
-2
Let u = -4 - -7. Let d = 5 - u. Solve -d*o + 0 = 6 for o.
-3
Suppose 5*f + 2*n - 3 = 0, 0*f + 4*n = 2*f + 18. Let b(d) = 3*d**2. Let x be b(f). Suppose -y + 15 = -0*y. Solve 2*o = -x*o + y for o.
3
Let f(t) = -2*t**2 + 2*t - 1. Let z be f(1). Let u(g) = -g + 1. Let h be u(z). Suppose 0 = h*q + 5*l + 6, -3*l - 5 = 1. Solve 2 + 4 = -q*d for d.
-3
Let c(a) = -1 - a + 6 - 3 - 1. Let j = 0 - 1. Let w be c(j). Solve -w*q + q = 3 for q.
-3
Let i = 8 + -8. Suppose -o + i*o = 5, -4*w - 3*o - 3 = 0. Suppose d = -w*d. Solve d = -3*m - 2 - 10 for m.
-4
Let g = -6 + 8. Let x be (g/(-4))/(2/(-12)). Solve -o - 10 = -x*o for o.
5
Suppose 5*w = 5*r + 15, -r = w + 5 - 2. Suppose w = -d + 2*d + 6. Let b be 5*1 + (d - -3). Solve 10 + b = 3*z for z.
4
Let n = 0 - -1. Suppose j - n = -3*t - 9, 2*j + t - 4 = 0. Let g = 4 - 4. Solve j = -g*p + 2*p for p.
2
Let m be 6 + 0 + 2 + -3. Suppose -3*q + 0*t = -m*t + 25, t - 5 = 4*q. Solve q*v - v - 1 = 0 for v.
-1
Suppose -4*p - 28 = -4*n - 88, 36 = 2*p - 4*n. Solve -6*g + 2*g - p = 0 for g.
-3
Suppose 3*f + 2*p + 1 + 3 = 0, f - p = 2. Suppose f = -4*s + 20. Let w(d) = 31*d**3 - d**2 + 2*d - 1. Let n be w(1). Solve 11 = -s*u + n for u.
4
Suppose 0*v - 17 = -5*v - r, 22 = 4*v + 5*r. Suppose 0 = -3*s - 2*x + 4 + 2, 0 = 3*x - 9. Solve 0*u - v*u = s for u.
0
Let z = 23 - 18. Suppose -z*l + 5 + 5 = -5*h, 2*h = l - 2. Solve -4*u - 2 = -l*u for u.
-1
Suppose 0 = r + r. Suppose r*f - f = -a - 3, -4*f = 3*a - 12. Solve -f = -3*t + 9 for t.
4
Let g(f) = -2*f**2 - 35*f - 41. Let i be g(-16). Solve -4*w + 3 = -i*w for w.
-1
Suppose 2*w - 30 = 6*w - 5*p, -5*p = w - 5. Let b = 4 + w. Let g(j) = -19*j**3 + j**2 - j - 1. Let x be g(b). Solve 2*v + 2*v - x = 0 for v.
5
Let l = -34 - -50. Suppose -3*s - m - m = -l, 13 = -s + 3*m. Solve -y = -s*y + 2 for y.
2
Suppose 3*v = -0*v + 36. Let y = 16 - v. Solve -5*a - y = -a for a.
-1
Let s = -45 - -19. Let v = s - -38. Let u = v + -7. Solve u*i - 2*i = -6 for i.
-2
Let k(a) = a - 5. Let w be k(11). Let d = 9 - w. Solve 0 - d = -x for x.
3
Let c = -13 + 18. Suppose -2*n + 2 + 2 = 4*t, -t + n - 2 = 0. Solve t*d = c*d for d.
0
Suppose q + 26 = 4*z, -3*z + 2*z + 4*q = -14. Solve -z*h + 4*h = -2 for h.
1
Let l = 45 - 40. Solve -l*u + 0 = 20 for u.
-4
Let i(x) = -x**2 + x + 1. Let m be i(-1). Let g be m + (-15)/9*-3. Suppose 55 = g*o + o. Solve -o = 2*w - 1 for w.
-5
Let k = -3 - -3. Solve 0*o + 2*o = k for o.
0
Suppose 20 = -5*k, 0*d + 3*d - 4*k = 25. Solve -d = -w + 2 for w.
5
Let m = -20 + 31. Solve -m = -4*g + 1 for g.
3
Let f = -3 + 15. Let r be (2 - 0)/2 + 2. Suppose 0 = r*m - g - 12 - 2, -m - 4*g = 17. Solve -m*n - f = -0*n for n.
-4
Let k = -3 - -8. Suppose 0 = 4*d - k*o + 3*o, 2*d - 8 = -o. Let b(w) = 4*w - 3. Let f be b(d). Solve -2*a = -f*a + 6 for a.
2
Suppose f + 0*f = 0. Let c(o) = -o**3 + o**2 + 4. Let i be c(f). Solve -k = -i*k - 3 for k.
-1
Let w = 0 - 0. Let l be -4 - (-1 + 12/(-3)). Let y be (-2 - w) + 3 + l. Solve -i = -2 - y for i.
4
Suppose -4 = 4*g, 6*g - g + 5 = -a. Solve a = v - 4*v for v.
0
Let p = 13 - 13. Solve 3*l - 3 = -p*l for l.
1
Suppose -18*w = -14*w - 20. Solve w*j = -4 + 14 for j.
2
Let q be (-2)/(-11) - (-465)/165. Solve q*f + 8 = f for f.
-4
Let l = 20 - 9. Suppose f - l = -5. Solve -b - f = 2*b for b.
-2
Suppose 3*d = 5*d + x - 11, -15 = -5*x. Solve 0 = d*l - 9