3*b, p = 5*o + b - 1. Suppose -16 = -4*c, -30 = -7*t + o*t - 5*c. Solve 3*v + t = -7 for v.
-3
Let v be (-2)/(-3) - (7/(-3) - 2). Solve 2*t + v - 3 = 0 for t.
-1
Let s(a) = -7*a**3 - a**2 + a + 1. Let h be s(-1). Let r = 8 - h. Solve 5*i + r = 4*i for i.
-2
Suppose 3*x + 21 - 1 = -5*m, 3*x + 8 = -2*m. Suppose 0 = -3*n + 53 + 40. Suppose j - 17 = -f, j - 1 = -4*f + n. Solve x = k - 4*k + j for k.
4
Let t = 0 + 2. Suppose 2*k - 2*g = 4, -g + 13 = 2*k + t*k. Suppose 0 = k*z - 2 - 16. Solve -3*x + 0 + z = 0 for x.
2
Let g = 1 + 1. Let j(v) = -v**2 + 4*v + 8. Let x be j(5). Solve -5 = x*c + g*c for c.
-1
Suppose 5*v = 9 - 24, 5*y = v + 23. Suppose y*g - 27 - 1 = 0. Solve 20 = -g*a + 2*a for a.
-4
Let d be 11/22*(0 - 0). Solve 2*h = -d*h for h.
0
Suppose 0 = 3*l - 2*l. Suppose 4*z = 3*t - l + 2, -5*t + 50 = 4*z. Suppose m - 13 = -n - 0*m, -3*n + 74 = -4*m. Solve 3*u - t = -n for u.
-4
Suppose x + 4 - 12 = 0. Suppose -3*k + i = 4*i - 15, 2*i - x = -k. Suppose k*p - 2 = -0*p. Solve 4*n - 15 - p = 0 for n.
4
Let g be (8 + (1 - 0))*1. Let r be (-8)/(-6) - 46/(-6). Let d = g - r. Solve d = -5*z - 11 - 4 for z.
-3
Let g(k) = 9*k - 2. Let b be g(2). Solve 2*h = -2*h - b for h.
-4
Suppose 16 = 2*x - 3*s, -17 = 2*x - 7*x - 4*s. Solve y = 2*y + x for y.
-5
Let l = -10 - -4. Let n = l - -6. Let h be n + (-3 - (-5 - -2)). Solve -4*r = -h*r + 12 for r.
-3
Let z(b) = -13*b**2 + 21*b + 1. Let w(a) = 3*a**2 - 5*a. Let y(f) = -9*w(f) - 2*z(f). Let v be y(7). Let n be 6*(v/4)/(-3). Solve -n = 6*s - 3*s for s.
-5
Let a = 34 + -12. Let o = -16 + a. Solve o*i - 25 = i for i.
5
Let i(y) = y**3 + 4*y**2 - 4*y + 7. Let j be i(-5). Solve -j*m + 3 = -3 for m.
3
Suppose 2*r = 0, -2*u = -2*r + 6*r. Solve -3*x + u*x - 3 = 0 for x.
-1
Suppose -3*k = -4*f + 57, 3*f + 3*k + 2*k - 79 = 0. Suppose 3*p - 2*d + 0 = 4, 8 = 2*d. Suppose 5*s + p*t - 28 = 0, t = -s - 3*s + f. Solve c = -s*c + 10 for c.
2
Suppose -3*p - 5*i - 12 = -0*i, -p - 11 = 4*i. Let n be (6 + -6)/(2/p). Solve n = -0*l - 2*l + 6 for l.
3
Let r(l) = -l**3 - 10*l**2 + 24*l + 8. Let a be r(-12). Solve 5*u - a*u = -15 for u.
5
Let m = -19 - -24. Solve -m*p + 5 = -5 for p.
2
Let x(j) = -5 - j + 1 - 3 + 6. Let w be x(-4). Solve -h + 0 = w for h.
-3
Let x be (-2)/(2*(-3)/(-12)). Let z be x/(-8) + (-22)/(-4). Solve u - z = -u for u.
3
Suppose t + 4*t - 15 = 0. Suppose 3*z + 0*d = 4*d - 8, 3*z + 10 = 5*d. Solve z = -n - 0 - t for n.
-3
Let q(d) = d**2 + 7*d - 1. Let t be q(-8). Let h = -5 + t. Suppose 5*f - 17 = -h. Solve f*c + c = 20 for c.
5
Let p be 2/(-12) + 4/24. Suppose -5*k + b - 4*b - 6 = 0, p = -4*k - 5*b - 10. Suppose -4*m + 12 = -k*m. Solve 0 = -m*s + 5 - 20 for s.
-5
Let k be ((-27)/(-6))/(9/24). Suppose -k = -c - 2. Solve s = -s + c for s.
5
Suppose -19 = -4*p + 3*u, 2*u = -5*p + 3*u + 21. Solve p*d = d + 15 for d.
5
Let h be 432/42 + (-1)/(-14)*-4. Solve 4*f + h = 2 for f.
-2
Suppose -2*k + 0*h = -3*h, -5*h = 5*k. Solve k = w + 2 - 6 for w.
4
Suppose 0 = -9*p + 7*p + 8. Suppose 4*t - 1 = 3. Solve p = 5*i - t for i.
1
Let h(s) = -2 + 3 - 2*s**2 - 2 + 3*s**3 + 2*s. Let r be h(1). Solve -1 = r*f + 7 for f.
-4
Suppose 48 = -0*t + 3*t. Suppose -3*h - t = 5*y, 3*h - 7*h = -3*y + 2. Let p be (-2)/y*-2 + 10. Solve d + p = -3*d for d.
-2
Let s = -10 + 6. Let u be s/10 + (-27)/(-5). Suppose 0 = u*g - 33 - 7. Solve d = -d - g for d.
-4
Suppose 0 = -4*b + 20, -27 = -0*i - 4*i - 3*b. Suppose 0 = -3*j + 4*j. Let w be -4 - (4/(-1) - j). Solve w*m - i*m = 0 for m.
0
Suppose 2*h + 6 = 4*h. Solve 2*u - 1 = h*u for u.
-1
Let g = 10 + -18. Let h be (-1)/4 - 26/g. Let r(a) = -6*a - 4. Let q be r(-2). Solve 0 = h*x - x + q for x.
-4
Let t = 10 + -3. Suppose -t*x + 3*x + 16 = 0. Solve -5*g - 9 = -x for g.
-1
Let x(h) = -h**3 - 8*h**2 - 6*h + 8. Let a be x(-7). Let j be -2 + -1 - (-6)/a. Solve -8 - 7 = -j*i for i.
5
Let b(d) = d**3 + 6*d**2 + 3*d - 6. Let h be b(-5). Let c be h/14 - 12/(-7). Suppose 2 + 2 = c*v. Solve -2*g = v*g - 12 for g.
3
Suppose -3*p + 8 = -p. Suppose 4*k + k = -p*a + 65, -3*k + 2*a = -17. Solve -v - k = -4 for v.
-5
Suppose 15 = 5*w, 4*w + 0*w = -3*a + 12. Solve -5*r - 8 - 7 = a for r.
-3
Let x(t) = 5*t**3 + 1. Let g be x(-1). Let p = -3 - g. Solve p = 2*f - 3*f for f.
-1
Suppose 4*v - 23 = -3*i, i - 4*v + 3 = -0*i. Let o(a) = a + 7. Let x be o(5). Solve -i*y = x + 3 for y.
-3
Suppose -27 = a + 5*y - 6, 4*a + 36 = -4*y. Let l be (-6)/(-5)*(-20)/a. Let q be (-6)/(-4)*l/6. Solve q = s - 0*s for s.
1
Let v(g) = -g**2 - g + 6. Let p(m) = -m**3 + 4*m**2 - 4*m + 3. Let q be p(3). Let o be v(q). Solve -o*r + 5*r = -3 for r.
3
Suppose -8*g = -3*g. Let a(u) = u**3 - 4*u**2 + 2*u - 5. Let c be a(4). Solve -c*j = -g*j + 15 for j.
-5
Let k be (-2)/(-7) - 72/(-42). Let r be k + 0 - 1*-4. Solve -r = -i - 2 for i.
4
Suppose 3*l = 31 + 14. Let s = l + -8. Let j = s + -2. Solve -j*o + 2 = -4*o for o.
2
Let s(t) = 2*t - 2*t + t - 5. Let l be s(9). Solve l = -5*h - 16 for h.
-4
Suppose 2*k + 4 = 2. Let b be -7 - -4 - (-3 + k). Let a be b*-1 + (11 - 6). Solve a*v + 2 = 6 for v.
1
Let h(d) = -d + 1. Let c be h(-2). Solve 16 = -c*f + 1 for f.
-5
Suppose 0 = -2*o - 16 + 4. Let s = -6 - o. Solve -3*w + 5*w = s for w.
0
Let x(m) = m - 3. Let u be x(4). Let r = u - -2. Solve r*k = k + 6 for k.
3
Let p be 80/12 - 2/3. Let t(u) = -u**2 + 7*u + 7. Let l be t(p). Let j = l + -4. Solve 2*z + j = -z for z.
-3
Let g be (3 - (3 - -1)) + 7. Let k = g - 10. Let u = k - -8. Solve u*l - 8 = -0 for l.
2
Suppose 0 = 4*n - 2*n. Let h(q) = 14*q + 1. Let c be h(1). Solve -5*f = -c - n for f.
3
Suppose 2*g - 5 - 5 = 0. Let k be (-24)/((-21)/6 - -2). Solve k = -g*m + m for m.
-4
Let k = -72 - -77. Solve -s - k = -0*s for s.
-5
Let j = -13 + 33. Suppose -7 = v + 2. Let g = v - -13. Solve -j = -g*w - w for w.
4
Let s be 3/(-3)*-1 + -1. Suppose -5*g + 13 = 2*o, s = g + 4 - 5. Solve o*p - 2*p = 0 for p.
0
Let n(u) = u**3 - 26*u**2 + 16*u - 1. Let c(f) = 5*f**2 - 3*f. Let x(t) = -11*c(t) - 2*n(t). Let i be x(-2). Suppose 36 = i*p - 0*p. Solve -2*h = h - p for h.
3
Suppose 7 = -5*f + 17. Let z = 19 - 31. Let q be 6*(-2)/(z/15). Solve f*i - q = -i for i.
5
Suppose 2 = 2*m - 14. Let r = m - 5. Solve 0 = -f - r for f.
-3
Suppose -7 = -18*q + 11*q. Solve 0 = -2*h - 5 - q for h.
-3
Let r(o) = -o**3 - 4*o**2 - 3*o + 3. Let m be r(-3). Suppose 2*g = -0*g + 2. Let n be (-6)/(g/((-2)/m)). Solve 3*v = 5*v - n for v.
2
Suppose -c + 40 = c. Suppose 0*z + 4*z - c = 5*h, 0 = 5*z - 5*h - 20. Solve -a - 3*a = z for a.
0
Suppose -q - 8 = 2*n - 17, 1 = n - 3*q. Solve -n*d = -3*d + 2 for d.
-2
Let b be 1/((2/4)/1). Solve g = b*g for g.
0
Suppose -32 = -5*l + 3*l. Suppose 0 = 2*w - 6*w - l. Let m be (-2)/8 - 1/w. Solve 3*j = 6 - m for j.
2
Let x = -1 - 3. Suppose -5*q - 20 = 20. Let m = x - q. Solve -m*w + 22 = 6 for w.
4
Let m(w) = 5*w - 3. Let p be m(1). Suppose -3*z = -p*z. Solve -3*o = -z*o - 3 for o.
1
Let h be (6 + -2)*(-2)/(-2). Solve h*a + 7 = 15 for a.
2
Let a = 4 - 1. Solve 1 - a = -j for j.
2
Let g = 21 - 9. Solve 13 = 5*s - g for s.
5
Let f(a) = -a - 3 + 2 - 3 + 0 - a**3 - 3*a**2. Let b be f(-3). Let v(q) = -9*q - 1. Let o be v(b). Solve -5*w + 3*w + o = 0 for w.
4
Let n = 6 - 2. Let l = n - 2. Solve 2*r - 8 = -l*r for r.
2
Let p(q) = q**3 + 2*q**2 - q. Let h be p(1). Let u be 4 + h/(-4)*2. Solve 0 = -u*v - 17 + 5 for v.
-4
Suppose -4*a - 24 = -4. Let x be a - -2 - (-1 + 0). Let q be (2 - (x + 3))/1. Solve -q = -r - 2 for r.
-1
Suppose 4*x - 14 = -2*o, -5*o + 16 = -x + 3. Solve x*y - 3 = 5 for y.
4
Suppose 1009 = -3*v - 329. Let o be (-6)/(-27) - v/18. Solve 4*t - 5 = -o for t.
-5
Let o = 182 + -181. Solve c = o - 0 for c.
1
Let q be (-2)/10 + 182/35. Solve 2 = 7*m - q*m for m.
1
Suppose 0 = -2*k + 6 + 18. Suppose 2*f - 4*u = f - k, 0 = -2*u + 6. Solve -4*a = -4 - f for a.
1
Suppose 28 = 3*u + 10. Suppose 0 = 4*i - u*i. Solve i*n - n = 3 for n.
-3
Suppose 2*g = h + 20, 0 = 4*h - h + g + 60. Let a be (0 - -2)*3*-1. Let z be (h/a)/((-8)/(-12)). Solve z*q = q for q.
0
Suppose -2*y + 5 + 15 = 0. Solve -8*x + y = -6*x for x.
5
Let i(p) = 10*p + 12. Let r be i(-1). Solve -r*a - 6 = -0 for a.
-3
Let b = 1 - -1. Let w = 20 - 20. Solve b*s - 4*s = w for s.
0
Let c be (-12)/(-30) - (-38)/5. Let d = 13 - c. Solve -11 = d*m - 1 for m.
-2
Let r be ((-2)/(-3))/(2/6). Solve o - r*o