 -z = o + o for o.
-2
Suppose 7*q - 18 = q. Solve q*t = 4*t for t.
0
Let t = 4 + -2. Suppose 4*j - t = 2. Let y = 4 - j. Solve -20 = -2*m - y*m for m.
4
Let t = -1 + 7. Let k(v) = -4*v**3 - 10 - 10*v + 5*v**3 + 1 + 8*v**2. Let w be k(-9). Solve w = -r + t*r + 15 for r.
-3
Let v(n) = -7*n - 50. Let p be v(-8). Solve -8*j + p*j + 4 = 0 for j.
2
Suppose -3*x = -5*b - 5, 0*x = -2*x + b + 8. Solve 7 = -x*p - 8 for p.
-3
Suppose 4*l - l - 9 = 0. Suppose 6 = 6*f - l*f. Let c be (2 + -2)*(-4)/(-8). Solve f*n = 6 - c for n.
3
Let p = 7 + -3. Suppose p*o - o = 0. Solve -2*n + o = 10 for n.
-5
Suppose 2*g = -3*g - 15. Let s be (2/g)/((-6)/9). Solve -2*n + n = -s for n.
1
Let b = 8 + -6. Solve 5 = -b*a - 3 for a.
-4
Suppose -3*a - 58 = -4*t, -3*a + 2*a = 2. Let c(d) be the second derivative of d**3/6 - 4*d**2 + 2*d. Let z be c(t). Solve -z*g = -40 + 15 for g.
5
Let h(z) = -z + 10. Let i(f) = -3. Let s(u) = 2*h(u) + 7*i(u). Let l be s(-2). Solve -2*v + 1 = l for v.
-1
Let c be (-1 - 1) + (-30)/(-5). Let i = 15 - 10. Suppose i*u + c = 24. Solve 0 = -u*g + g - 9 for g.
-3
Let s = 0 - -6. Let d be 62/s + 1/(-3). Let n = -4 + d. Solve 0*c = 2*c + n for c.
-3
Suppose 0 = -5*n + 45. Suppose a + 31 = 5*r, -3*a - 33 = 4*r - n*r. Let y be ((-5)/3)/((-2)/r). Solve -c + y = 4*c for c.
1
Suppose -b = 5 - 2. Let h = b + 8. Solve 0 = -h*k + 2*k for k.
0
Let k(u) = u**3 - 5*u**2 + 5*u + 4. Let i be k(4). Suppose 2*n - 5*v + 27 = 6*n, 3*v - 9 = 0. Solve -n*j = -i*j - 15 for j.
-3
Let l be -1 + 1 - (-7 - -3). Suppose 0*j - 28 = -3*k - j, -l*k = j - 36. Let v = k + -1. Solve -o + 2 = v for o.
-5
Let j(z) = -9 + 9 - 7 + 2*z. Let o be j(5). Solve 2*d + o*d = 25 for d.
5
Let j = -166 - -168. Solve j*y = y + 1 for y.
1
Suppose -2*a + 0 = -8. Suppose -a*u + 4 + 4 = 0. Solve -4*s + u*s = -4 for s.
2
Suppose 87*h - 20 = 83*h. Solve -h*z + 5 = -5 for z.
2
Suppose -5*h + 13 = 4*x - 9, 5*x = -2*h + 19. Solve 3*b + x + 12 = 0 for b.
-5
Suppose -25*f = -17*f - 40. Solve 25 = -0*r - f*r for r.
-5
Let a = 13 - -3. Suppose 6*o = 2*o + a. Let k(i) = -i**3 + 4*i**2 + 2*i - 4. Let w be k(o). Solve -7 - 1 = -w*x for x.
2
Let s be -1*-1*(-2 - 0). Let l be (-1 + 4)*s/6. Let w be (-2 + l - -3)/2. Solve w = -b - 3 - 1 for b.
-4
Suppose 0 = -6*v + 4*v - 4*r, 0 = -5*v - 2*r. Solve t + 0 - 1 = v for t.
1
Let r be 10 - (-1 + (2 - 3)). Suppose -c - 9 = -2*d, -3*c = -5*d + 4*d + r. Solve -h = d - 7 for h.
4
Suppose -5*f - 21 = -2*f. Let u be 2/f + 96/42. Suppose 3*n + 6 = u*m - m, m + 5*n = -10. Solve m = -3*l - 0*l for l.
0
Let g be (-2 - (2 - 8)) + -1. Suppose g*a = 12 + 6. Solve 2 = 5*r - a*r for r.
-2
Suppose -5*q = -8 - 12. Suppose 2*w + q - 8 = 0. Solve 3*n - n + w = 0 for n.
-1
Suppose -5 = -t, 5*l - 5 = 4*t + 10. Solve -l = 3*d - 4 for d.
-1
Suppose -2*h - 4 = -6*h. Solve -h = s - 0 for s.
-1
Suppose n - 15 = -5. Solve 2 = -4*r - n for r.
-3
Let y(g) = -g**3 + 6*g**2 + 11*g - 7. Let f be y(7). Suppose 0 = 5*m - f - 29. Solve l + m = -4*l for l.
-2
Suppose 3*x - g = -4*g + 60, 4*x + 5*g - 85 = 0. Suppose -2*c - x = -7*c, -5*a - c + 13 = 0. Solve -2*l = -a - 2 for l.
2
Suppose -1 = -2*f + 3. Suppose 0 = 3*h - 0*z + 3*z - 18, -4*h - f*z + 24 = 0. Solve 16 - h = 5*l for l.
2
Suppose 9 = -u + 4*u + 2*p, -4*u - 2*p + 14 = 0. Solve u*z = -8 - 7 for z.
-3
Suppose -5*t = 3*v + v - 9, 0 = 4*t - 4*v. Solve 0 = -2*f - t + 11 for f.
5
Let n be 12 - (1 + 1 + 2). Solve -n = -4*z - 0 for z.
2
Suppose 5*l - 3 - 6 = -d, 0 = 2*l - 2. Suppose 4*j + d = 8. Solve -5 - j = 2*g for g.
-3
Suppose 23*f - 6 = 20*f. Solve 0 = -4*l + f*l for l.
0
Suppose 1 + 7 = 2*q. Suppose -2*m + m + 33 = 2*n, q*n - 5*m - 73 = 0. Let k be n/4 + (-1)/4. Solve k = -0*a + 2*a for a.
2
Suppose 4*s - 16 = h + 12, -2*s - 5*h - 8 = 0. Let p(c) = c - 5. Let y be p(s). Solve -w - y = -0*w for w.
-1
Let k be 3 + (1 - 3) - -3. Let s be 1/(-3) + (-1)/(-3). Let p = 4 - -2. Solve s = 5*f - k - p for f.
2
Let i(w) = 2*w - 6*w**2 + 2*w + 7*w**2. Let x be i(-4). Solve 3*f + 2*f + 25 = x for f.
-5
Suppose 0 = -2*u + u + 12. Suppose -w - u = -f - 3*f, -2*w + 6 = 2*f. Solve 0 = -3*v - w*v - 3 for v.
-1
Let i(z) be the third derivative of z**4/24 + z**3/3 + 3*z**2. Let o be i(0). Let d be ((-1)/o)/((-2)/8). Solve 0*x + d*x = -4 for x.
-2
Let v(s) = -2*s**2 + 2. Let j be v(1). Solve 8 = 2*h - j*h for h.
4
Suppose -f = -3*t - 5, 0*f + 4*f - 2*t = 20. Let y(k) = k**3 - 5*k**2 + k - 2. Let m be y(f). Solve m - 4 = -x for x.
1
Let g = 17 - 9. Let l = 13 - g. Solve 3 = -l*y - 12 for y.
-3
Suppose 0 = -3*k + 13 - 1. Let b(c) = -c**3 - 3*c**2 - c + 1. Let h(v) = -v + 2. Let w be h(5). Let z be b(w). Solve k*g - 2*g = -z for g.
-2
Let d be (12 - 12)/(-2 + 1). Solve 4*y + 8 + 12 = d for y.
-5
Let c(g) = 9 - 9 - g. Let a be c(-2). Suppose 10 = a*q - 2. Solve 4*i + q = -2 for i.
-2
Suppose 5*o + l + 3 = 11, 0 = -o - l. Suppose o = i - 2. Suppose j + 3*f - i = -2*f, 2*f = -3*j + 12. Solve -b = j*b - 5 for b.
1
Suppose 0 = 3*h - 12. Suppose h*u = 9*u - 25. Solve -u*w = -2*w + 9 for w.
-3
Suppose -3*u + 9 = 3*s, 3*u + 2*s - 6*s + 26 = 0. Let j be (2 + -6)/u - -1. Solve 5*q - j = 2 for q.
1
Suppose -4*o - 130 = -14*o. Solve 0 = 2*a + 5 - o for a.
4
Let y be -7 + 11 + (1 - 1). Suppose -y - 4 = -a. Let u = 2 - -1. Solve -u*i - 5 = -a*i for i.
1
Suppose 3*j - 2*j = 5*c + 43, -21 = 3*c - 3*j. Let x be (-32)/(-12) - (-6)/c. Solve -s + 9 = x*s for s.
3
Let n be (5 + -8)*10/(-6). Solve 0*v = -n*v for v.
0
Suppose 5*m = 4*a + 10, 3*m - 8*m = -2*a - 10. Let d be -1 + (8 - 0 - m). Solve -d*w - 20 = -10*w for w.
4
Let f be (0*4/(-12))/(-2). Solve f = -4*w + 20 - 4 for w.
4
Suppose 3*i - 24 + 9 = -3*g, -15 = -3*i. Suppose -5*h - 2 = 13. Let o be 17 - (h + 2 - -3). Solve g = 5*t - 0*t - o for t.
3
Let w be ((-12)/4)/3 - -11. Solve w = 4*d - 9*d for d.
-2
Let o = 4 + 0. Suppose -3*g - 7 = -y - o*g, 5*y + 4*g = 31. Let t be 1/((2/y)/2). Solve t*l = 2*l for l.
0
Let u(o) = o + 7. Let x be u(-5). Solve -x*p = -p + 3 for p.
-3
Suppose 97*a + 36 = 101*a. Solve -u - a = -4 for u.
-5
Suppose 4*f + 4*x + 12 = 2*f, -2*f - 12 = -x. Let p = 10 - 5. Let r be 2/f*(-5 + p). Solve -4*i = -r*i + 16 for i.
-4
Suppose 6*r - 7*r = -15. Solve -5*w + 10*w - r = 0 for w.
3
Let c be 3/2*(-8 + 2). Let t(h) = 2*h**2 + 4*h + 3. Let k be t(-2). Let m be c/(-4)*8/k. Solve 4*u - m*u = 4 for u.
-2
Let h(s) = -s + 6. Let v be h(8). Let m be (-3)/((-1)/(v - -3)). Suppose 0 = -o + 4*u + 4 - 3, 0 = 5*o - 2*u - 23. Solve -m*q + o*q = -8 for q.
-4
Suppose r - 2*r - 1 = 0. Let z(s) = -2*s**2 - 6*s - 5. Let x be z(-3). Let o be (30/25)/(r/x). Solve -v + 4*v = o for v.
2
Suppose -b = -0 - 2. Let i be 801/18 - 2/(-4). Suppose 4*w - i = -5*v, w - b*w + 20 = 3*v. Solve 2*s = s - w for s.
-5
Let o be 8/4 + (2 - 0). Suppose w = 9 - o. Solve -1 = 2*a + w for a.
-3
Suppose -t = -0*t - 6. Let c(x) = -4*x + x - t - x**2 - 6*x. Let f be c(-7). Solve f = 5*y - 3*y for y.
4
Let b(y) = y**2 + 23*y - 46. Let q be b(-25). Solve -20 = q*o - 0*o for o.
-5
Suppose 3*m - 4 = 2*m. Let y(v) = v. Let x be y(m). Let a be 4/6 + (-2)/3. Solve a = -j - x*j for j.
0
Suppose t = -4*g + 32, 4*t - g = -0*g + 60. Solve x + 3*x = -t for x.
-4
Let o(x) = -x**3 - 2*x**2 - 2*x - 1. Let v(k) = -k - 1. Let d be v(0). Let a be o(d). Solve 4*q = -a*q - 8 for q.
-2
Let x(g) = -2*g - 12. Let q be x(-7). Suppose 2*s = -2*s + 20. Suppose q*t = s + 1. Solve -7 = 2*v - t for v.
-2
Let b = 36 + -32. Let v be 1 + 0/2 + -1. Suppose b*w + w = v. Solve w = -0*a - 2*a for a.
0
Suppose -4*d + 20 = 4*f, -4*d + 2*f = 7*f - 23. Solve d*x = 4 - 2 for x.
1
Suppose 4*l = 16, 0 = 6*o - 2*o + 5*l - 168. Suppose 4*q + 0*i - o = i, 2*q - 4*i - 22 = 0. Solve 1 = 5*y - q for y.
2
Let p be ((-2)/6)/((-2)/96). Solve 5*d = 1 - p for d.
-3
Suppose -8 = 4*x - 24. Solve -6*j + x*j = -6 for j.
3
Suppose -1 + 5 = v. Let c = -45 - -48. Solve -v*a - 1 - c = 0 for a.
-1
Suppose 9 = 2*z + 3. Let o = 10 - 7. Suppose 5*q + 3*w = 6, 2*w = o*w - 2. Solve q = -0*d - z*d - 6 for d.
-2
Let t(n) = n**3 + 5*n**2 - 6*n + 5. Let f be t(-6). Let g = 12 - f. Solve -20 = -2*z + g*z for z.
-4
Suppose 0 = 7*v + 8 - 120. Solve 5*l - v + 1 = 0 for l.
3
Suppose 0 = k - 1 - 2. Let j be k + 1 + -3 + 2. Solve j = 5*n - 2 for n.
1
Let c be (-3)/(-12) + 11/4. Solve 16 = -c*a - a for a.
-4
Suppose o + 22 = 3*l, 24 = l +