 + 2*v - 0*v - 39. Let n = 13 + -9. Let k be (n - -1) + -2 + 0. Solve k*s = -1 + r for s.
2
Let t(h) = -h**2 - 7*h + 18. Let c be t(-9). Solve -3*m - m - 12 = c for m.
-3
Let i(n) = -n**3 + 4*n**2 - n + 4. Let z be i(4). Solve 0*o - o + 5 = z for o.
5
Let v(b) = b**2 + 8*b - 14. Let y be -11 + (1 - -3 - 3). Let t be v(y). Solve -16 = 2*m - t for m.
-5
Let b(x) = -x**3 - 9*x**2 - x - 6. Let m be b(-9). Suppose -7 = -2*z + m. Solve 3*w - z*w = -10 for w.
5
Let g(t) = -5*t + 7 - t**2 - 8 - 2. Let c be g(-3). Suppose 6 = 5*u - c*u. Solve -u = -i - 2 for i.
1
Let w be (-2 - -7) + (1 - 1). Let c(m) = 11*m**2 - m + 2. Let n be c(2). Solve 19 - n = -w*x for x.
5
Suppose -1 = -4*c + 5*c. Let k be (c - -1)/(5 + -7). Solve 5*j = -k*j - 5 for j.
-1
Let q be ((-18)/(-15))/((-6)/(-40)). Suppose 3*g - q*g = 0. Solve g = -k - 3 - 0 for k.
-3
Let x = 22 - 12. Let o be (x/6 - 2)*-6. Solve -4 = -3*k + o*k for k.
4
Let g(i) = 3*i + 3. Let m be g(0). Solve m*r - 15 = 8*r for r.
-3
Let p be (3/(-6))/(3/(-18)). Let g be 6*(p + 0) + 2. Let o(w) = w**3 + 5*w**2 - 7*w - 1. Let j be o(-6). Solve -j*s + 5 + g = 0 for s.
5
Let v(l) = -l**2 + 7*l - 6. Let i be v(6). Solve -2*b - 4 = -i*b for b.
-2
Suppose -5*v + 5*i + 82 = -3*v, 0 = -3*i + 6. Let j be (-1)/(-2)*(-3 - -3). Suppose -59 = -5*d + s - j*s, 4*d = 2*s + v. Solve -d = 3*w - 0*w for w.
-4
Suppose 2*t - 6*t = 2*y - 16, -2*t + 4*y = -18. Solve t*v - 3*v - 4 = 0 for v.
2
Suppose -2*x - 2*x = -3*f - 18, -4*x + 4*f + 20 = 0. Solve 0 = 2*m - m - x for m.
3
Let p be (2 - 1)/((-9)/(-27)). Solve -u + p*u - 8 = 0 for u.
4
Let v(p) = p**3 - 2*p**2 + p. Let u be v(2). Let t(a) = a**3 + 7*a**2 + a + 7. Let w be t(-7). Suppose -u*j = -w*j. Solve j = -2*z - 3*z for z.
0
Suppose 0 = t - 0*t. Suppose -3*b + 6 = -t*b. Let v be ((-6)/(-8))/((-2)/(-8)). Solve v = r + b*r for r.
1
Suppose 4*x - 28 = -0*x + 4*h, -x + 3*h + 9 = 0. Solve f + 5 = x*f for f.
1
Suppose -5*w + y + 4 = -12, 0 = w + y - 8. Suppose -f = -5*a - 13, 1 = 2*f + f + w*a. Solve 0 = -f*t - 10 - 5 for t.
-5
Let z = 10 + -6. Suppose -4 = 3*p + 2*n, -2 + 0 = -z*p + n. Let k = p - -2. Solve 5 - 1 = k*x for x.
2
Let q(g) = -4*g. Let c be q(-1). Suppose -5*s + 296 = 256. Solve -4*y = -s - c for y.
3
Let i(b) = b**3 - 4*b**2 - 4*b - 7. Let r be i(5). Let g = 4 + r. Suppose -2*p + 14 = -p. Solve -g*h = 4 - p for h.
5
Let g(m) = -m - 2. Let d be g(-20). Let c be (-4)/3 + 60/d. Suppose 5*a - v = 6, a = 2*a + v - 6. Solve c - 6 = -a*x for x.
2
Suppose 5*k + 44 = 124. Let l = k - 16. Solve l = -i + 3 - 1 for i.
2
Let x(g) = g + 9. Let j be x(0). Let t be 2/6 - 222/(-9). Let l = 6 - 2. Solve j*f - t = l*f for f.
5
Let k(w) = w**2 - 4*w - 10. Let c be k(7). Let l = c + -7. Suppose 0 = -l*r + 5 + 7. Solve -2*g - r*g = 0 for g.
0
Suppose c = -4*r, -2*r = -5*c - 6 + 50. Suppose -5*l + c = -l, -5*g = -l - 8. Solve -2*s + 8 = g*s for s.
2
Let b = 8 + -4. Let u = b + 11. Solve 6*s - 3*s = u for s.
5
Let u = 57 + -50. Solve 2*t - u*t + 10 = 0 for t.
2
Suppose -4*l + 5*d = l + 15, -2*l - 5*d + 8 = 0. Let n be 2/4*(l - -13). Suppose -4*h + p + p + 42 = 0, -5*p = -h + n. Solve 1 + h = 4*r for r.
3
Let v(u) = u**3 - 9*u**2 + 16*u + 12. Let i be v(6). Suppose 0 = -s + 5*s - 4. Solve s = -b - i for b.
-1
Let d(u) = u + 5. Let x be d(0). Suppose 4*z = 5*m - 10, x*z - 7 + 1 = -3*m. Solve z = 2*n - 4*n for n.
0
Let y(a) = -66*a**3 - a**2 - a. Suppose -w = -3*w - 2. Let p be y(w). Let q = -35 + p. Solve -q = 4*f - 11 for f.
-5
Suppose -3*p + 20 = -2*m, 6*p + 5*m + 8 = 3*p. Solve -c + 0 = -p for c.
4
Let l be 3 + 3*16/6. Let a = -8 + l. Solve a*j - j + 8 = 0 for j.
-4
Let p be (-41 - -11)*(-4)/30*3. Solve 16*k - 12*k + p = 0 for k.
-3
Let g(s) = 2*s - 2. Let z be g(3). Let o(n) = n**3 - 5*n**2 + 5*n - 3. Let i be o(4). Suppose 0 = 5*w - z - i. Solve 3 = -m - w for m.
-4
Let r = 5 - 0. Let h be 0 - (-2 - (0 - 0)). Solve h*t - r = t for t.
5
Suppose 2*f = 11 - 3. Solve -3*q = 7 - f for q.
-1
Suppose -66*o - 22 = -77*o. Let t = -1 + 1. Solve 0 = -o*p - t*p - 4 for p.
-2
Let q = -10 + 22. Solve 0 = -3*v + 7*v - q for v.
3
Let f = 26 - 16. Solve 2*x + f = 4*x for x.
5
Suppose 4*v + 3*b + 8 = -3, -4*v = b + 1. Let l be v*4/((-12)/(-9)). Suppose 49 - 3 = l*r - 5*k, 0 = 5*r + 5*k - 10. Solve -5*t + 2 = r for t.
-1
Let p(g) = 6*g + 3. Let l be p(0). Solve 8 = -l*s + 2 for s.
-2
Suppose -6*j + j = -20. Suppose 103 = 3*a + d, a = 2*d - j*d + 31. Suppose h + o + 3 = 2*o, -5*o = 5*h - a. Solve h*y + 4 = 4*y for y.
2
Let s = 26 + -6. Solve x = -4*x - s for x.
-4
Let m be 4 - (-4 - -4)/5. Solve 2*a - m*a - 10 = 0 for a.
-5
Suppose 2*j - 5*w = -w + 2, 3*j = -4*w + 3. Suppose 2*q = -q - 3*y + 9, 4*y = -5*q + 14. Let s be (-2)/(-7) + (-150)/(-14). Solve -q*r - s = -j for r.
-5
Suppose 5*i - 124 + 24 = 0. Solve -4*j - i = -0*j for j.
-5
Let k be 6/(-4) + (-4)/(-8). Let u(a) = -7*a**2 + 2*a + 1. Let n be u(k). Let g = n - -15. Solve -5*x = -8 - g for x.
3
Let t(p) = 0*p + p - 2*p + 5. Let f be t(5). Solve 2*g - 4*g = f for g.
0
Suppose -5*a - 3*f = 22, -3 = 5*f + 17. Let v be -1*(a - -2)/(-1). Suppose 0 = -3*d - v*d. Solve d*y + 25 = -5*y for y.
-5
Let z = -1 + 3. Suppose -3*s - z*s + 25 = 0. Solve 0*p = s*p + 15 for p.
-3
Let j be (2 + 7/(-2))/(20/(-40)). Solve j*x - 2 - 4 = 0 for x.
2
Let w be 0/((-47)/9 + 26/117). Solve w*l = 4*l + 8 for l.
-2
Suppose -18*o - 224 = -16*o. Let k be (-50)/(-7) - (-16)/o. Solve 1 - k = 2*p for p.
-3
Let w(i) = -i**3 - i - 35. Let m be w(0). Let k be 21/m - (-3)/5. Solve j + j = k for j.
0
Suppose 6 = 2*x - 0. Suppose c + x = 15. Solve -2*o - 2*o = c for o.
-3
Suppose 4*l + 0*l = 16. Let n(w) = 0*w - 3*w + l*w + 4. Let v be n(-2). Solve 3*f + v*f = 0 for f.
0
Suppose 5*y = -2*g - 5, -g + 4*y = -0*g - 4. Suppose g*k + 4*k = 12. Solve 0 = 2*o - k - 5 for o.
4
Suppose 0 = 5*f + 3 - 13. Suppose 2*n - 1 = 3*n - 4*o, -f*n + 3*o + 3 = 0. Solve -10 = n*b + 2*b for b.
-2
Let j be (3 - 5)*(1/(-2) - 1). Suppose 1 = -3*o + 10. Solve -o*v = -0 - j for v.
1
Suppose 2*o - 2*b = 6, -o - b - 2*b + 3 = 0. Solve -3 = o*c + 3 for c.
-2
Let d(y) = -y**2 + y + 2. Let j be d(0). Suppose 3*q = -n + 15, 20 = 3*n + 5*q - q. Let h = 0 + n. Solve j*b + 6 = -h for b.
-3
Suppose 0 = 4*h - 0*h - 12. Suppose 0 = w - 5*w + 24. Suppose 3*f = -5*c + 19, c - w*c + 27 = -f. Solve 10 = -h*z + c*z for z.
5
Let x = 13 - 7. Suppose -3*w + 3 + x = 0. Suppose 0 = -w*c + 5*c - 6. Solve -2*z - c = -5*z for z.
1
Let i(l) = l - 2. Let c be i(6). Let g = 156 - 154. Solve -10 = g*b - c*b for b.
5
Let q = 8 + -4. Suppose -4*v - 9 = -3*k, -k = -6*k + 15. Solve 0 = -v*c + c + q for c.
-4
Let p(b) = 2*b**2 + 4*b - 1. Let l(v) = -v + 4. Let u be l(7). Let j be p(u). Suppose -5*z = 25, 2*z = -6*a + 3*a + 17. Solve -a = j*k - 2*k for k.
-3
Let j(g) = -g**3 - 2*g**2 + g - 4. Let o be j(-3). Solve q - o = 3 for q.
5
Suppose -w - 3*o + 19 = -4*o, -5*w - 5*o = -105. Let i(m) = m**3 + 6*m**2 - 9*m - 8. Let s be i(-7). Solve -s*v + 2*v = w for v.
-5
Let s be 3/(-4) + 86/8. Solve s + 10 = 5*p for p.
4
Suppose -1 - 9 = -5*c. Let b(q) = -q**2 + 13*q - 2. Let o be 14 - (0 + -2 + 4). Let l be b(o). Solve c*y = l - 4 for y.
3
Let i = 13 - 7. Let r = i - 1. Let g be -18*(2/(-4) + 0). Solve -r*l + g*l = -8 for l.
-2
Let r = -7 - -11. Suppose -20 = -3*w - 4*i + 4, -2*w = -4*i - 16. Suppose 0 = w*d - 3*d - 10. Solve -c + d*c + r = 0 for c.
-4
Let m = 7 - 0. Suppose 0 = 4*u - m - 1. Let t(n) = n**3 - 3*n**2 + 3*n. Let q be t(u). Solve -4*h + q = -2 for h.
1
Let p be 2 - 2 - 6 - 1. Let l(d) = -d**3 - 6*d**2 + 6*d - 5. Let j be l(p). Solve -y + j = 1 for y.
1
Let t be (-12)/42 - 46/(-14). Suppose -r = 2*r - t. Solve 4*w - 5 + r = 0 for w.
1
Let k(i) = -i**2 + 25*i - 79. Let l be k(21). Solve w - 16 = l*w for w.
-4
Let o(g) = g + 10. Suppose 4 = -2*h - 8. Let q be o(h). Suppose t + t = q. Solve 0 = 2*u + t*u - 12 for u.
3
Suppose 0 = q + 3*q - 8. Solve 0 = -q*f + 5 + 1 for f.
3
Let w(z) = -z**3 - 7*z**2 - 12*z - 33. Let h be w(-6). Solve h*c - 2 = 4*c for c.
-2
Suppose -6*w + 12 = -3*w. Let j be ((-45)/(-20))/((-1)/w). Let t be j/(-15) - 3/5. Solve t = 5*c - c for c.
0
Let c(i) = -i**3 + i**2 + 2*i - 3. Let u be c(2). Let t be (-21)/5 + (-2)/(-10). Let g = u - t. Solve 2 = -b + g for b.
-1
Let p be 164/(-7) - (-3)/7. Let s = p - -23. Solve 0 = -3*a - s*a + 