olve -15 = 5*t - d for t.
-3
Let h = -5 - -5. Suppose -2*g + 8 = -0*g. Suppose -o + g*o = h. Solve l + l = o for l.
0
Let f(l) = l**2 + 8*l + 5. Let v be f(-7). Let d(u) = -u**3 - 5*u**2 - 5*u - 5. Let g be d(-4). Let o = g - v. Solve -5*r = o + 4 for r.
-1
Suppose -2*t + 5*r + 22 = 0, -75 = -3*t - r - 25. Solve 0*q + t = 4*q for q.
4
Let q(r) = 9*r**3 + r**2. Let c be q(-1). Let g = c + 12. Solve 6 = -g*d + 2 for d.
-1
Let w = -37 - -37. Let s be ((-3)/((-3)/5))/1. Solve w = -b - s for b.
-5
Let s be (-1)/4 + 65/4. Solve 2*w - s + 6 = 0 for w.
5
Let u = 15 + -11. Let d be (-8)/6*6/u. Let q be -2 - d - (-4 + 2). Solve 0 = -4*m + q*m - 10 for m.
-5
Suppose 2*h - 33 = -h + 3*n, -4*h - n = -19. Solve m - 3*m = h for m.
-3
Suppose -5*k - 20 = w, -4*w + 0*k - k = 4. Suppose -4*y + 9*y = w. Solve y*z - 3 = -3*z for z.
1
Let d be ((-5)/2)/((-2)/20). Solve 6*i = i + d for i.
5
Let t be (6 + 0)*(-3 + 5). Solve t = -4*h - 4 for h.
-4
Suppose 5*j = -4*u + 51, 3*j - 11 = -2*u + 18. Solve -8*t + 1 = -j*t for t.
1
Suppose -5*u + 2*o = 34, 0 = -3*u - o + 3*o - 18. Let t = u + 9. Let k = t - -2. Solve k*n - 6 - 9 = 0 for n.
5
Suppose -2*x + 5*x = -3*m + 3, -4*m + x = -4. Let v(b) = 14*b**2 + b. Let g be v(m). Suppose 0 = 2*p - 3*p + 5. Solve 0*w = -p*w - g for w.
-3
Let y(i) = 3*i + 2. Let u be y(0). Solve u*v = 3 - 1 for v.
1
Let j = 7 - 7. Suppose -4*m + 13 - 1 = j. Suppose 2 = -2*h + 4*x, m*h = -3*x - 2*x + 30. Solve -v + 16 = -h*v for v.
-4
Let q = 131 - 124. Solve -q + 27 = 4*i for i.
5
Let r(t) = -t + 18. Let m be r(12). Solve 5*i = 2*i - m for i.
-2
Suppose 3*y = 3*n + 6, -3*n + 2 = 5*y - 0*n. Solve 0 = -a + 2 - y for a.
1
Let k(i) = i**3 + 2*i**2 - 8*i + 4. Let x be k(2). Solve a = x*a - 15 for a.
5
Let a = -26 - -30. Solve a*z - 9 = 7 for z.
4
Suppose -t = t - 8. Let i be (-18)/(-7) + 32/(-56) + 1. Solve 11 = i*h - t for h.
5
Suppose z - 4*d + 2 = -d, 3*d - 22 = -4*z. Suppose 17*c - 19*c + 6 = -2*s, 0 = c + 4*s + 12. Solve c = -g + z*g for g.
0
Suppose -3*d = -d + 10. Let b(r) = -r. Let n(p) = 6*p + 4. Let m(t) = 8*b(t) + n(t). Let a be m(d). Solve 0 = -3*o - 1 - a for o.
-5
Let s(j) = j**3 + 5*j**2 + 2*j + 6. Let h be s(-5). Let b be h/(-16) - 33/(-12). Solve 2 - b = -m for m.
1
Suppose -9*l = -8*l - 4. Suppose -8 = 4*k + 3*u + u, -2*k = -2*u - 12. Let c be (1/k)/(3/18). Solve c*s = l*s for s.
0
Let c(l) = -l**3 + 5*l**2 + 1. Suppose 5*a + 4*m - 33 = 0, -a + m - 4*m + 11 = 0. Let k be c(a). Solve 0 = s - k for s.
1
Let r(h) = h**3 - 8*h**2 + 6*h + 10. Let t be r(7). Let q be 4/7 + t/7. Solve w - q = 2*w for w.
-1
Suppose 0 = -5*d - 49 - 21. Let w be d/(-3) + 2/(-3). Solve 14 + 2 = w*m for m.
4
Let v(z) = z**2 - z + 1. Let k be v(-2). Solve -4*g + k = -5 for g.
3
Let w = 7 - 16. Let m be w/(-6) - 1/(-2). Solve 6 = m*h - 4 for h.
5
Let m be 4/(-6)*(22/(-4) + 1). Let j(n) = n**2 + n + 12. Let q be j(0). Solve -m*s - s = q for s.
-3
Let p = 53 + -50. Solve 0 = -q - p*q for q.
0
Let m = -8 - -5. Let r = 4 + m. Solve -2 + r = -l for l.
1
Suppose -5*b = 15, -4*w + 0*b - 3*b = -3. Suppose -2 + 5 = d - w*s, 12 = 4*d - 3*s. Suppose d*m = -m. Solve m*x - 4*x - 4 = 0 for x.
-1
Let c = -131 - -134. Solve c + 5 = 2*y for y.
4
Let c = 2 - -1. Solve -v = -c*v for v.
0
Let c = 0 - 3. Let r be -1 + c/((-6)/10). Solve -r*b = -3*b for b.
0
Let k(z) = z**3 - 6*z**2. Let g be k(6). Solve -2*r + 3 - 7 = g for r.
-2
Let v = 0 + 1. Solve -x = 4 + v for x.
-5
Suppose 8*x = x + 70. Solve -5*g = x - 35 for g.
5
Suppose 4*p = -2*h - 0*p + 12, -3*h - 3*p = -27. Suppose -o = o + 4*z + h, 0 = 2*o + 5*z + 15. Solve 5*x + o*x = 15 for x.
3
Let a(i) = -7*i**3 - i**2 + 1. Let g be a(1). Let j = g - -11. Suppose 0*r = j*r. Solve -p + 0*p + 4 = r for p.
4
Let t(c) = c**2 - 7*c + 2. Let d be t(6). Let q be -2*(-2)/d*0. Solve q*m = -4*m + 8 for m.
2
Let a be (0/(-2))/(-2) + 5. Suppose -6 = -5*t + 9. Suppose 0 = a*x + t - 23. Solve -r - 20 = x*r for r.
-4
Let x be (130/(-91))/((-2)/14). Solve 5*d - x = 15 for d.
5
Let r = 14 - 6. Let g be r*-1*1/(-4). Solve -12 = -g*c - 2 for c.
5
Suppose 0 = -n + 4. Solve 3*p = -p - n for p.
-1
Let k(v) = -v**2 - 3*v + 4. Let d be k(-3). Let b = -6 + 10. Let h be (-16)/(-8)*22/b. Solve 1 = d*p - h for p.
3
Suppose -6*f + 6 = -24. Solve s - f = -7 for s.
-2
Let s = -1 + 5. Solve -j - s*j = -10 for j.
2
Let z(m) = -m**3 - 3*m**2 - 4*m - 2. Let i be z(-2). Solve 5 = -s + i for s.
-3
Let l be -5 + (-2 - -4)/2. Let r = 4 + l. Solve r = 2*b + 2 + 2 for b.
-2
Let c be (-96)/(-20) + (-2)/(-10). Let u be (-2)/8 - 3/(-12). Suppose u = -0*k - 2*k + 6. Solve -t = c - k for t.
-2
Suppose 3*w = 5*k + 21, 0 = 4*k - 0*w + 4*w + 36. Let y(c) be the second derivative of c**3/6 + 4*c**2 + 2*c. Let n be y(k). Solve n*l - 4 = -0*l for l.
2
Let b = -4 - -6. Let i be 5 - (2/2 + 2). Solve -b*j - i = -6 for j.
2
Let o be (-2)/(-4) + 9/2. Let i = 28 + -24. Solve -i*r = -o*r for r.
0
Let z(v) be the first derivative of v**2/2 + v - 2. Let n be z(1). Solve -o + n = -3*o for o.
-1
Let y = -4 - -4. Solve -u + y - 1 = 0 for u.
-1
Let t be (4 - 16)*18/(-4). Let b be 32/18 + 12/t. Solve 1 = -3*g - b for g.
-1
Suppose 4*d + 24 = 6*d. Let r be (-14)/(-6) + (-4)/d. Solve 4*j = 3*j + r for j.
2
Suppose 0 = -0*i + 8*i - i. Solve i = -4*o - 0 + 12 for o.
3
Let d(l) = 22*l - 2. Let b be d(1). Solve -5*m - b = -0*m for m.
-4
Let t(i) = -i**2 + 5*i - 4. Let r be t(3). Solve r*x - 3 = x for x.
3
Suppose 0 = 2*b - 0*b - q + 2, -15 = -3*b - 3*q. Let w = 0 + b. Let r = 1 - w. Solve -f - 4 = -r for f.
-4
Let f(x) = -x + 8. Let a be f(6). Suppose 2*p = -a*p + 36. Solve 4*o - p + 29 = 0 for o.
-5
Let p = -7 + 12. Let c(h) = h - 2. Let g be c(p). Suppose -3*s - 21 = -g*j, 4*j + s = 3*s + 20. Solve 0 = o - j*o - 2 for o.
-1
Suppose l = -5*j + 21, 0 = 2*j - j + 3*l - 7. Solve -j*o = -6*o for o.
0
Suppose 5*q + 5 = 4*g + 18, 5 = -q - 3*g. Suppose -3 = 3*x + 3*n, -3*x - q + 10 = -n. Solve -9 = -x*c - 1 for c.
4
Let p(j) = j**3 + 7*j**2 - j - 3. Let i be p(-7). Let x be 3*1*i/4. Solve x = -g - 1 for g.
-4
Suppose -4*m - 5*u + 42 = 0, -2*m = -5*u + 2*u - 10. Solve 2*w = -2*w - m for w.
-2
Suppose 0 = 3*m - 54 - 21. Suppose 5*x - m = 35. Solve -2*v + 5*v - x = 0 for v.
4
Suppose -5 = h - 2*i, -3*h + 3*i + 5 = h. Solve 11 + 4 = h*g for g.
3
Let t = 1 + 3. Solve t*i - i = 0 for i.
0
Suppose 0*d + 12 = -4*d. Let c be (-1)/d*(-2 + 11). Solve j - c*j = 0 for j.
0
Suppose -8 = -4*b, -f + 3*f - 3*b = -6. Suppose 0 = 5*q - f*q. Solve q = -3*x + 7*x - 4 for x.
1
Let o = 2 - -3. Solve o*l - 3 = 7 for l.
2
Let u = 10 - 8. Solve 0*n + 6 = -u*n for n.
-3
Let m(p) = -p + 152. Let w be m(0). Let y be (-2)/(-7) + w/7. Let t(d) = d**2 - 27*d + 5. Let v be t(27). Solve 2 = -v*h + y for h.
4
Let i be (3/9)/(6/108). Solve -i*v + 25 = -v for v.
5
Let l = -11 - -16. Suppose 4 = 4*k - 40. Let u = k - 10. Solve 4*q = u - l for q.
-1
Suppose -5 = -6*f - 41. Let w be ((-3)/f)/((-4)/(-96)). Solve 0 = -i + 4*i + w for i.
-4
Suppose 6*h - h + 100 = 0. Let l = -9 - h. Solve -l - 1 = 4*k for k.
-3
Let p(a) be the first derivative of -3*a**4/4 - 2*a**3/3 - a**2/2 - 2. Suppose -3*x - 3 = 2*x + 2*j, -j + 2 = -x. Let z be p(x). Solve 16 = z*k - 6*k for k.
-4
Let h(x) = x**2 + 2*x + 3. Let l(b) = b**2 - 6*b - 9. Let c be l(7). Let i be h(c). Suppose -i*q + 7*q = 0. Solve -f + 0 - 5 = q for f.
-5
Let i = -28 + 4. Let d = -19 - i. Solve 0 = q - d + 4 for q.
1
Let z be 6/(0/(-2) - -2). Suppose -a + h + 0 - z = 0, 4*a = -4*h - 4. Let u be (-1 - -3) + a + 1. Solve -u + 3 = -w for w.
-2
Let v(g) = -g**3 - 3*g**2 - 2*g + 1. Let y = 7 - 10. Let q be v(y). Let a(c) = c**2 - 2*c. Let o be a(2). Solve o = 4*j + 23 - q for j.
-4
Suppose 3*q - 3*c + 9 = 0, 2*c - 10 = q - 3. Suppose -4*m + 85 = 21. Suppose -6*p = -2*p - m. Solve 0 = a + p - q for a.
-3
Let a(v) = -v**2 - 6*v + 7. Let k be a(-7). Suppose 0 = -4*f - k*f. Solve -1 = -f*x - x for x.
1
Let a(z) = z**2 - 13*z + 12. Let k be a(13). Solve k + 0 = 4*d for d.
3
Let z = 11 - 8. Suppose -5*p + z*p + 10 = 0. Solve -p*c + 1 - 26 = 0 for c.
-5
Let s = -23 - -25. Let n(w) = w**2 - 7*w + 2. Let d be n(7). Solve -d*f + 6 = -s for f.
4
Suppose -2*d = 4*h - 2, 5*d - 5*h = 16 + 19. Solve y + d = 3 for y.
-2
Suppose 0*u - 2*u = -24. Suppose 0 = -2*y - 6 + u. Solve 4*b - y = 5 for b.
2
Let a(f) = 3*f + 4. Let n