14 - t, a - 2*m - 8 = 0. Solve y - 3*y = a for y.
0
Let p = 79 - 77. Solve p*h - 7*h = 10 for h.
-2
Let r = 0 - 2. Let x be ((-6)/4 - -1)*r. Let m(g) = g - 1. Let p be m(1). Solve p*w = -w - x for w.
-1
Let o be -2*(2 + -1)*2/(-4). Solve -n - 5 = -o for n.
-4
Suppose 3*q - 2*v - 13 = 3, 3*v = q - 10. Solve -s - q*s = 10 for s.
-2
Let t(v) = -10*v - 2. Let x be t(-3). Let l = -22 + x. Solve 0 = -3*k - 0 - l for k.
-2
Let p be ((-15)/(-6) + -1)*4. Let d = -3 + p. Solve 6 - 21 = -d*u for u.
5
Let g be (2 - (-2 + 4))*-1. Suppose 22 = 3*f + 3*o + 2*o, g = 3*f + 3*o - 18. Solve y = f*y for y.
0
Let f be (-2)/7 - (-46)/14. Suppose 0 = 3*s + 3*a - 15, a + 4 - f = 5*s. Solve b - s = 2*b for b.
-1
Let j(d) = d + 11. Suppose -11 = -2*o - 29. Let u be j(o). Solve 0 = -u*s - s for s.
0
Let a(r) = 9*r**3 + r**2 - 4*r + 4. Let y be a(1). Suppose 5*x + 4 = 4*x. Let b = x + 6. Solve 4*o = -b + y for o.
2
Let i be (-25)/75 + (-62)/(-6). Solve -7*r + i = -2*r for r.
2
Suppose -7*d - 28 = -3*d + 3*r, 5*d = -5*r - 40. Let l be (d - -10)*(-14)/4. Let m = l + 30. Solve 0 = 3*g - m for g.
3
Let x(g) = g**2 + 17*g + 36. Let z be x(-16). Solve 3*u - 7*u = -z for u.
5
Let w(k) = 2*k - 7. Let p be w(5). Let m be p/3 + 4/(-2). Let a be 4/8*(-1 - m). Solve a*v = -3*v + 9 for v.
3
Suppose g = 5*v - 2*v - 15, -24 = -5*v + 2*g. Solve -v*m = -4*m for m.
0
Suppose 9 = 2*x - 1. Solve 0 = -2*c + 3 + x for c.
4
Let t(n) = n - 1. Let l(k) = 5*k - 8. Let u(m) = l(m) - 6*t(m). Let r be (2/(-1))/(2/5). Let j be u(r). Solve -5 = -j*s + 1 for s.
2
Suppose -5*k + 46 = -4*j + 2*j, k - 4*j - 20 = 0. Solve -3*b + 7*b - k = 0 for b.
2
Suppose -4 = -4*d + 8. Solve -d = 3*x - 0*x for x.
-1
Let r be 1/(-4) - 1/(-4). Let a be (-2)/(-6) - 42/(-9). Suppose -b = 3*b. Solve b = 5*d - r*d + a for d.
-1
Suppose 2*b + 0*b - 26 = m, 22 = b + 4*m. Let q = -11 + b. Solve 0*h - q*h = 9 for h.
-3
Let d = 7 - 5. Let i = 5 + -7. Let b be (i/4)/((-1)/2). Solve d*f + 9 = b for f.
-4
Suppose 25 - 1 = 8*b. Solve b = 2*t + t for t.
1
Let w = 31 + -16. Solve -3*l - 2*l - w = 0 for l.
-3
Let u be (-4)/26 + 22/143. Let v(h) = 11*h**2 + 2*h + 1. Let g be v(-1). Let t be (g/(-3))/(6/(-9)). Solve u - t = f for f.
-5
Let y(j) = j**2 + 7*j - 10. Let f be y(-8). Let t be -30*-2*f/(-4). Suppose 14 + t = 4*n. Solve 4*v + 1 + n = 0 for v.
-3
Let t be 1 - (1 - (-1 - -1)). Suppose -3*f + 2*k + 5 = 0, 4*f - 4*k - k - 2 = 0. Let h be (-7)/((-21)/2)*f. Solve t = 4*d - h*d - 8 for d.
4
Let u(y) = -y**2 + 10*y - 12. Let b be u(8). Solve d = b*d for d.
0
Suppose 5*m - 45 = -5*f, 4*f = 8*m - 4*m - 4. Solve m*i = -0*i - 25 for i.
-5
Let z be 1 + 4 + -2 + 0. Let h(s) = 2*s - 4. Let r be h(z). Suppose 15 = -3*u, r*u + 0 = -x - 8. Solve x*l = 7*l + 10 for l.
-2
Let r be (-3)/9 + 44/6. Let v = r - 3. Suppose -v*b = 2*k - 14, 2*b + 2*k + 2 = -2*k. Solve b = 2*f - 1 for f.
3
Let x be ((-2)/3)/((-2)/(-48)). Let b be (-1)/((-28)/x - 2). Solve -h = -b*h for h.
0
Let c be (0/1)/(3/3). Suppose -4 = -5*f + 6. Suppose f*n - 15 = -n. Solve c = -n*h - 2 - 3 for h.
-1
Suppose -2*q + 6 = q. Suppose 5*t - 18 = -q*z, 4*z - 15 = 1. Solve t*j + 0 = 2 for j.
1
Suppose -4*z = 3*o - 2, -5*z - 2 = 3. Solve s + 2 = o*s for s.
2
Let v(t) be the second derivative of -t**5/20 - 7*t**4/12 - 4*t**3/3 - 9*t**2/2 + 2*t. Let i be v(-6). Let h = i + -1. Solve 0 - 8 = -h*g for g.
4
Let j(p) = -p**3 + 3*p**2 + 4*p + 2. Let o be j(4). Suppose 0 = -2*g - 0*a - a + 11, 17 = 2*g - a. Solve -3 - g = o*x for x.
-5
Let g(v) = -v**2 - 7*v + 18. Let t be g(-8). Solve -j = j - t for j.
5
Suppose 2*r - 7*t + 3*t = 12, -4*r + 2*t = -24. Solve 0 = -9*x + 7*x - r for x.
-3
Suppose -i - 2 = 0, -q - 3*i = -2*q + 22. Solve -q = -5*j + j for j.
4
Let j be (-1 + 0 + 2)*6. Suppose -j*z = -7*z + 7. Solve -3*u = -z - 5 for u.
4
Let s(q) = 5*q - 1. Let v be s(-3). Let d = v - -26. Suppose d = 4*n + 3*y, 7 = -2*n + 4*y + 23. Solve -r = -n*r for r.
0
Let a(m) = m**3 - 9*m**2 + 2. Let v be a(9). Suppose -1 = -4*f - 2*d + 5, 0 = 3*f + v*d - 6. Solve -3*p - 2 - 1 = f for p.
-1
Let x(f) = f - 10. Let h be x(8). Let i be (2 - 2)*(h + 1). Suppose -5*p = -i*p. Solve 4*o = -p*o + 4 for o.
1
Let w(b) = -b**3 + 3*b**2 + 6*b - 3. Let o be w(4). Let z(q) = 3*q - 6. Let c be z(o). Suppose 0 = r - c. Solve x = -2*x - r for x.
-3
Let c(w) = -3*w - 2. Let j be c(-2). Let y be -6*(-2)/(7 - 1). Let z be y + 1/(-2)*j. Solve z = -2*b + 3 - 5 for b.
-1
Suppose 0 = 3*a - a - 2. Suppose -a = -2*n + 11. Suppose 0 = 8*p - 0 - 40. Solve -n = p*z + 19 for z.
-5
Let g = 15 + -13. Suppose 4*p - 9 - 23 = -g*y, -4*p = -2*y + 40. Let a = 4 + -1. Solve y = -5*z + a for z.
-3
Let a be (-52)/(-9) - (-4)/18. Suppose 0 = a*l - 2*l - 8. Let r be l/4 + (-145)/(-10). Solve 3*p = -0*p + r for p.
5
Suppose 0*i = -3*i. Suppose i = -6*t + t + 30. Solve 0 = h - t + 4 for h.
2
Suppose 3*j + 3 = 12. Suppose -2*w + j*w = -4, 0 = u + 3*w + 7. Let x be 9/6 + (-2)/8*2. Solve -u*c - 9 = x for c.
-2
Let k = -8 - -10. Solve -7 = -k*q + 3 for q.
5
Suppose 2*y + 2*h + 5 = -3, 0 = 4*y - 3*h + 30. Let f = 0 - y. Solve 16 = 2*r - f*r for r.
-4
Let m = -49 + 49. Solve -5*x + 0*x - 20 = m for x.
-4
Let c(x) = x**3 - 8*x**2 + x - 4. Let n be c(8). Solve -2*v = -n*v for v.
0
Suppose 5*k - 1 = 3*x, 4*k = 5*k + 3*x - 11. Suppose -5*u = 3*o, k*u = -3*o + u. Solve -r = -o + 4 for r.
-4
Suppose -g = 5*k - 34, 3*k - 5*g = -k + 4. Let l(h) = -h**3 - 4*h - 5. Let d be l(-1). Solve -5*j + 4 + k = d for j.
2
Let u(f) = f + 11. Let p be u(-8). Suppose -p*k + 5 = -2*k. Suppose -27 = -k*o - v, -6 = 3*o - v - 19. Solve o*w - w = -16 for w.
-4
Let p(h) = 2*h**2 + 2*h. Let b be p(-1). Solve -5*z - 17 + 2 = b for z.
-3
Let m = 22 + -13. Let d = 10 - m. Solve 3*l = -d + 7 for l.
2
Let u(w) = 11*w - 1. Let l be u(-1). Let f = l - -16. Solve -f = t - 2 for t.
-2
Let h(o) = -2*o - 3. Let m be h(-2). Let t = m - -4. Solve 31 = -t*p + 6 for p.
-5
Suppose 18 = 4*p + 4*k - 10, 0 = -2*p + 2*k + 2. Solve -4*g + 8 + p = 0 for g.
3
Let f(c) = -c + 2. Let a be f(2). Let x = 16 + -9. Suppose -3*w + x*w = 16. Solve a = w*z - 4 for z.
1
Let t be (-3 - -2)*2*-2. Let g = t - 2. Solve -x = x - g for x.
1
Suppose 9 = 4*p + 3*t, -5*p + 35 = -0*t - t. Solve -z - p = -3*z for z.
3
Let s(p) = -p - 2. Let z be s(-2). Suppose z = -g - g. Let l be (-4)/(-3)*(-27)/(-18). Solve x + 1 - l = g for x.
1
Suppose 4*r = r + 15. Let m(z) = -z**2 + z + 4. Let j be m(0). Suppose 0 = j*c + 4*t + 6 - 38, t + 22 = r*c. Solve p - 16 = c*p for p.
-4
Let b be 14/4*8/14. Suppose -1 = b*s - 3*s, -x = -5*s + 3. Solve x*m = -m + 3 for m.
1
Let i = -2 + 2. Suppose i = g - 3*x + 5, g = -2*g - 2*x + 18. Solve u = -g*u for u.
0
Let i = 13 + -8. Solve i*o + 5 = 25 for o.
4
Let u be ((1 - 4)/3 + 6)*1. Let f be 9/2 + 3/(-6). Solve m - u*m + f = 0 for m.
1
Let d be 2 + 14 + 4/(-2). Let o be ((-10)/4)/(6/12)*-1. Solve -11 = -o*w + d for w.
5
Let p(k) = 3*k - 6. Let s be p(4). Let o = 20 + -19. Solve a + s = o for a.
-5
Let w(s) = -s + s**2 + 2*s**2 - 1 - 2*s**2. Let n be w(3). Solve n*b - 14 = -4 for b.
2
Let r be ((-8)/(-2) + -4)/(-2). Solve 0 = -i - r*i + 1 for i.
1
Let j be (-5)/5 - 4/(-4). Let a = j + 1. Solve a = 3*u - 2 for u.
1
Let d(n) = -2*n - 10. Let u be d(-7). Suppose -5*c + 6 = -u. Solve c*m + 0 + 4 = 0 for m.
-2
Let z(r) = r**3 - r**2 + r + 3. Let b be z(0). Solve -i + 6 = -b*i for i.
-3
Let s be (-32)/(-5) - (-12)/(-30). Solve 0 = 3*n - s - 3 for n.
3
Let i(n) = 5*n + 4. Let h(s) = 2*s + 1. Let z(g) = 8*h(g) - 3*i(g). Let x be z(9). Let a = x - 5. Solve -q + 4*q = a for q.
0
Let a = -1 + 1. Suppose a*h = 2*h. Let g = 0 - h. Solve g = 2*z - 3*z for z.
0
Let d be -1 + 1 + 4 + 0. Let j(a) = a**2 + 5*a. Let u be j(-5). Suppose 2*v + 1 = 17. Solve u*f = d*f - v for f.
2
Let p = -14 - -14. Suppose 0 = -2*t - t - y - 72, 4*t - 2*y = -86. Let a = 38 + t. Solve -3*v + a = -p*v for v.
5
Suppose 2*d = -5*d + 21. Solve 0 = d*l - 4*l + 5 for l.
5
Let n(f) = -f**2 + 8*f + 20. Let o be n(-2). Solve 2*t - t + 5 = o for t.
-5
Let s be (-1 + -2)*4/(-6). Suppose -5*u - 10 = -30. Let g be (9/(-6))/((-2)/u). Solve 1 = -s*j + g for j.
1
Let j be (-30)/4*(-24)/(-18). Let k = 15 + j. Solve 0*n - 10 = -k*n for n.
2
Suppose -25 = 5*x - 10. Let f be 1 - (0/x + -2). Solve f*l = l for l.
0
Let n(y) = 3*y**2 - y - 2. Let b be n(-1). Solve b