-6 = -2*g. Solve -m - 1 = -w*m for m.
1
Let n = 11 + -11. Suppose n*u + 12 = u. Solve 0 = -4*y + u - 4 for y.
2
Let v(t) = -2*t. Let z be v(-1). Suppose 0 = 2*h - h + 2*o - 6, -z*o + 24 = 4*h. Solve -p = -4*p - h for p.
-2
Let b be (-2)/3 - (-4)/6. Solve b = 4*i - 6*i - 10 for i.
-5
Suppose -5*h + 55 = -10. Solve 4*r - 7 = h for r.
5
Let n(x) = x**3 - x**2 + x. Let w(q) = -5*q**3 + 6*q**2 - q - 3. Let d(i) = 4*n(i) + w(i). Let c be d(2). Solve c*g + g = -20 for g.
-5
Let r = -15 + 19. Solve 3*y = 5 + r for y.
3
Let m(q) = q**2 + 6*q + 4. Let y be m(-6). Solve 0 = g + y*g - 25 for g.
5
Let i(o) = 3*o**2 - o**2 + 4 - 7*o - o**2. Let m(j) = -j**2 + 5*j + 3. Let n be m(4). Let f be i(n). Solve 0 = -v + 2*v - f for v.
4
Let n = 152 - 148. Solve -k + 15 = n*k for k.
3
Let v = 16 - 4. Let n be (6/v)/(1/4). Solve g = n*g for g.
0
Suppose 2*u = -u + 9. Suppose -12 = -5*s + 2*y, -2*s - u*s - 2*y = -8. Solve w - 9 = -s*w for w.
3
Let v = 55 - 55. Suppose -q - 3*g = 12, 4*g + 11 = 4*q - 21. Solve v = 2*z - 5*z - q for z.
-1
Suppose -4*m - 3*r + 13 = 1, 3*m = 4*r - 16. Let p(k) = -k**3 + 4*k - 3. Let t be p(2). Let f be (m - 1)*9/t. Solve -f*l + 20 = l for l.
5
Suppose -3*o = -v - 2*o + 7, 5*v + 15 = -5*o. Let g(p) = 4*p + 9. Let b(t) = t + 1. Let q(c) = -5*b(c) + g(c). Let u be q(2). Solve v*a - u = -0 for a.
1
Suppose 0 = -2*h + 18 + 2. Suppose -3*q + 7*q - 20 = 5*g, -2*q + h = 3*g. Suppose 3*d = -4*s + 32, 5*s - q*d - 72 = 3. Solve 3*o = 4 + s for o.
5
Let v = 3 - 1. Suppose v*i = -3*i. Solve 3*k + 3 = -i*k for k.
-1
Suppose -b - 20 = -5*b. Suppose -b = -5*z, -5*q + q = z - 9. Solve 2 = -2*u - q for u.
-2
Let n(k) = 4*k**2 - k. Let i be n(1). Suppose 5*q + 14 = -1, 4*q = 5*a - 42. Suppose 0 = a*v - v. Solve i*s + 6 = -v*s for s.
-2
Let y(x) = 2*x**3 + 24*x**2 - 3*x - 26. Let l be y(-12). Solve l*o = 7*o for o.
0
Suppose -12*q + 8*q = -16. Solve -q*s - 10 = -2 for s.
-2
Suppose 0 = f + 4*o - 17, -4*f + 5*o + 85 = -f. Solve -r = 4*r + f for r.
-5
Let d(m) = -m**2 + 3*m + 2*m**2 - 3 + 0. Let u be d(-4). Let t be -2 - 12/(u - 4). Solve -t*k + 2 = -k for k.
2
Let z be 0*(1/(-2) - 0/5). Solve -3*y = -3 - z for y.
1
Let l(o) = -6*o**3 - o**2 - o - 1. Let c be l(-1). Solve 0*j - 5 = c*j for j.
-1
Suppose 9*l - 6*l + 4*g = -2, 0 = l + 4*g + 6. Suppose -c = -2*a - 1, 5*c = c - l*a - 16. Let t = 1 - c. Solve 0 = -t*b + 2 - 6 for b.
-1
Suppose -11*p = -5*p - 30. Solve a = p*a + 16 for a.
-4
Let i be 4/4*39/3. Let c(j) = -j**2 - 7*j + 3. Let o be c(-7). Solve o*z = 2 + i for z.
5
Suppose -4*u + 20 = 6*u. Solve u*c + c + 6 = 0 for c.
-2
Let v be (-1 - -2)/(5/(-65)). Let g = 23 + v. Solve g = -r - r for r.
-5
Let f(u) = u**2 + u + 1. Let p(q) = -4*q**2 - 13*q - 2. Let l(t) = 5*f(t) + p(t). Let r be l(8). Solve b = -r*b for b.
0
Let x be (-25)/(-35) - (-6)/21. Let z = 19 - x. Solve -z = 5*h + 7 for h.
-5
Let f(b) = -4*b + 2. Let c be 1*6/4*-2. Let m be f(c). Let g be 3/(-2) - m/(-4). Solve g = -s + 3*s for s.
1
Suppose -55 = -2*z + 2*k + 3*k, 2*z + 4*k = 46. Solve 7*c - 12*c = z for c.
-5
Suppose -x - 5 + 8 = 0. Solve x = -s - 1 for s.
-4
Let h(s) = 11*s - 7. Let c be h(2). Solve c = -4*x + x for x.
-5
Suppose 2*l - 7 = 5. Let a = l + -3. Solve -a*n - 2 - 4 = 0 for n.
-2
Let g(t) = t**3 - 6*t**2 + 2*t. Let p be g(6). Let n be (-7 + 12)*(-1 - (-14)/10). Solve -n*f + p = f for f.
4
Let g be (-16)/20*10/(-4). Suppose -2*k = g*f - 6*f + 16, 2*k = -2*f + 2. Let u(i) = i**2 + i - 2. Let c be u(k). Solve c = -6*p + 4*p for p.
0
Let t be 4/(-22) - ((-8)/44 - 3). Solve 0 - 9 = t*g for g.
-3
Suppose -5*t + 15 = -0. Solve 2 = -t*k + 4*k for k.
2
Let h = -33 - -34. Solve 3*z + h = -5 for z.
-2
Suppose -8 = 5*w + 7. Let i be (6/(-9))/((-2)/w). Let p = i + 2. Solve c + 0 - p = 0 for c.
1
Let p be ((-6)/(-2) - 2)/1. Let i be p + -2*(-3)/(-6). Suppose 5*t = 2*x - i*t + 17, t = 5. Solve -x*k = -k - 12 for k.
4
Suppose 2*x + 9*x = 22. Solve 2*i + x = 4*i for i.
1
Let o(k) = k**3 - k + 4. Let g be o(0). Suppose t - 1 = -a, -8 = g*a - 2*a. Let x(s) = s + 10. Let w be x(-8). Solve w = -t*y - 13 for y.
-3
Suppose 2*l = -2*l - 3*s - 16, -3*l + 1 = -s. Let n be 1/1 - (-1 - l). Let j = 1 - n. Solve -2*v + j = 4 for v.
-2
Let t be (1*(-3 + 2))/(4/(-20)). Solve 0 = n - t*n + 20 for n.
5
Suppose -4*y - 5*x + 33 = 0, 0 = -3*y + 2*x + 17 + 2. Let k = -4 + y. Solve 0 = -b + k for b.
3
Let l(p) = p**3 - 2*p**2 - 2*p - 3. Let u be l(4). Solve 3*k - u + 6 = 0 for k.
5
Let q be (-6 + 3 + 0)*3. Let s(i) = -i**2 - 10*i - 2. Let f be s(q). Let r = -3 + f. Solve -k - 2 = -r for k.
2
Let s(n) = n**2 + 6*n - 5. Let l be s(-7). Suppose 0 = -4*i - 4, 3*g - l*i - 3 = 50. Solve -g = 5*h + 8 for h.
-5
Let o be -8 + -2 - (-2 - 1). Let r = -2 - o. Solve s - 2*s + r = 0 for s.
5
Suppose -3*h + 0*l - 4 = -5*l, -2*h - 6 = -4*l. Solve -9 = 4*v - h*v for v.
3
Let o be ((-9)/(-12))/(2/24). Suppose 0 = -i - 2*p + o, 4*i - 12 = -0*i + 4*p. Solve -t + 6*t = -i for t.
-1
Let i = 41 + -21. Solve 3*y + y = i for y.
5
Let s(b) = b - 1. Let c be s(5). Suppose x = -q - 2*x - 4, 0 = -3*x - 6. Suppose o - q*i = -0*o, -i = o. Solve o = 6*p - c*p - 10 for p.
5
Let f = 135 + -125. Solve 0 = 4*x + f - 2 for x.
-2
Suppose q = -3*y + 3 + 6, -2*y = 5*q - 6. Suppose 0*k + 5*k = q. Solve k*z = -4*z - 12 for z.
-3
Let l be 4/((-2)/(-1 - 0)). Solve 3*c + l*c = -5 for c.
-1
Let y(d) = -12*d**3 - 2*d**2 + 1. Let i be y(1). Let f = i + 18. Solve 2*x + f = 7*x for x.
1
Let w be (0 + -3)/(3/(-6)). Let k = w + -2. Suppose 0 = -5*v + b - 2, 3*b - k = -3*v + b. Solve v = 3*j + 2*j + 10 for j.
-2
Suppose -3*x + 9 = j + 2*x, 4*x + 36 = 4*j. Suppose 0 = 2*z + 2, 0 = 3*q + 3*z - 6*z - j. Solve 4*l = 2 + q for l.
1
Let d(v) = v - 2. Let u(p) = 2*p - 3. Let t(b) = -11*d(b) + 6*u(b). Let g be t(-3). Let a = -5 - -7. Solve -w + a = g for w.
1
Suppose -2*j = 4*v + 10 - 0, -5 = 3*v + j. Solve -4*u + u - 6 = v for u.
-2
Suppose 42 = 5*u - 2*t, -2*t - 1 = u - 7. Solve -5*w + u = -17 for w.
5
Let k = -6 - -14. Let b = k + -4. Solve 3*y + b = -8 for y.
-4
Let s be 3/(-1*(-1)/1). Suppose -s*k + 25 = 2*k. Solve k*q = -18 - 2 for q.
-4
Let a be 76/16 - 12/16. Suppose a*k = -0*k + 8. Let d(r) = -3*r. Let l be d(-1). Solve l + 1 = k*o for o.
2
Let m(r) = -r + 5. Let b be m(3). Suppose -w = b*w - 9. Let j = 2 + 2. Solve -x + j*x = w for x.
1
Suppose -3*p = 6 - 0. Let g be 0 - (-2 + (-1 - p)). Suppose 3 = 3*u - 9. Solve -u = -5*x + g for x.
1
Let q = 6 + -6. Suppose -3*o - o + 44 = q. Solve 5*s - o = 4 for s.
3
Let m be (-10)/50 + (-52)/(-10). Suppose 0 = -2*n + m*p + 60, 3*p - 6 - 2 = -n. Solve -4*h = h - n for h.
4
Let i be (-18)/(-63) + (-634)/14. Let j be 2/(-3)*i/6. Solve 0*o + 10 = j*o for o.
2
Let f = -23 + 33. Suppose f*x = 5*x + 5. Solve -1 = s + x for s.
-2
Suppose -7*s + 2*s = -10. Let a(r) = 2*r**3 - r**2. Let k be a(s). Let h = k + -5. Solve -2*t - 5 = -h*t for t.
1
Let t be (-5 - (-1 - -1)) + -1. Let v be (t/12)/((-2)/72). Let u be 3/2 + v/4. Solve -2*m - u = 2 for m.
-4
Let c be 10/((4/(-3))/(-2)). Solve -5 - c = -4*h for h.
5
Let z(o) = 2*o**2 - o - 6. Let u(r) = -r + 1. Let x(v) = 4*u(v) + z(v). Let j be x(4). Suppose -5*b = 5*c - 25, 0 = -5*c + 4*c + 2. Solve -l + b*l = -j for l.
-5
Let o = -4 + 7. Solve -4*m - o = 1 for m.
-1
Let x(l) = l + 9. Let a be x(-5). Suppose 0*g + 10 = 5*g. Solve 3*d + a = g*d for d.
-4
Suppose -30 = -5*a - 3*f, 7*a - 9*a + 5*f - 19 = 0. Solve a*x = -x - 12 for x.
-3
Let w(q) = -14*q + 1. Let s be w(-2). Suppose -2*r + 3*c = 7, r + 6*c - s = c. Solve 4 = -r*t - 4 for t.
-2
Let p = -57 - -62. Solve 8 = p*o - 7 for o.
3
Let g(p) = -p**3 + p + 5*p**3 - 3*p**3. Let d be g(0). Suppose d*r = -r + 2. Solve i + r = -i for i.
-1
Let g = -6 - -8. Suppose t + a + 1 = 0, 0*t = -t - g*a. Let h be t - (-5 + 6/3). Solve 0 = -x - 3 - h for x.
-4
Suppose -p = -3*r + 25, p - 5 - 20 = -2*r. Let w(d) = d + 1. Let b be w(-1). Suppose k + k - r = b. Solve -k*v - 9 + 24 = 0 for v.
3
Let z be (2 - 25/15)*12. Solve z*v + 0*v - 20 = 0 for v.
5
Let d(r) = -r**2 + r + 14. Let g be d(4). Solve g*a - 3 = 3*a for a.
-3
Let t be (-1)/((-3)/15) + -2. Suppose 2*p - t = c + 7, 0 = 3*p + 2*c - 8. Solve w - 2*w - p = 0 for w.
-4
Let i(h) be the second derivative of -h**3/6 + 5*h**2/2 + 3*h. Let a be i(4). Solve 5 = 2*b + a for b.
2
Suppose 4*q - 3 = 3*q. Solv