 + t = -7 for d.
2
Let u = -5 + 8. Suppose -4*m + 2*t - 4 = -3*m, 2*t = -4*m + 24. Suppose 3*y - 5 = m. Solve -u = -0*f - y*f for f.
1
Let s be ((-10)/10)/((-1)/3). Solve w + 12 = -s*w for w.
-3
Suppose 2*v + 7*v - 4*v = 0. Solve -4*a - a - 15 = v for a.
-3
Let q(j) = 2*j**2 + j - 3. Let r be q(-6). Suppose 4*i - r + 3 = 0. Solve -3*n - i = -6*n for n.
5
Let n(p) = -p**2 - 6*p + 5. Let c be n(-7). Let y be c/2 - (-2)/2. Solve y*v = 3*v + 15 for v.
-5
Suppose -v - v = -4*z + 22, -3*z = -5*v - 13. Solve -2*n - z = -4*n for n.
3
Let m = -11 - -18. Suppose -m*y + 2*y = 0. Let k = y - -4. Solve 3*h + 4 = k*h for h.
4
Let m = -6 - -6. Solve 5 = j - m for j.
5
Suppose -3*c + 4*u + 10 = -4, 28 = 2*c + 2*u. Suppose -c = 5*n, r = -3*n - 4 - 0. Let z be (r/6)/(2/6). Solve 3 = 4*d - z for d.
1
Suppose 0 = 2*y + 3*m + 19, 12 = -5*y + 5*m + 2. Let z be (-6)/y*80/12. Solve 0*r = -4*r + z for r.
2
Let i(v) = -v**3 + 7*v**2 + 3*v - 9. Let o be i(7). Let p(r) = 14*r + 4. Let c(m) = -m - 1. Let j(u) = o*c(u) + p(u). Let b be j(7). Solve f = b*f for f.
0
Suppose -3*v = 2*i - 4, -v - 3*v = 4*i - 8. Let x(y) = y**3 - 3*y**2 - 3*y + 4. Let z be x(4). Solve -i*o + z = -0*o for o.
4
Let q be (-14 + -2)/(-1) - -3. Let r = q + -8. Solve -r = -4*a + 9 for a.
5
Suppose 5*p + 21 = -2*c, 4*p + 3 = 2*c - 3. Let a = 0 - p. Solve a*g - 4*g = -1 for g.
1
Suppose -5*w + 112 = -18. Let z = -14 + w. Let t = -100 - -100. Solve -4*j + j - z = t for j.
-4
Let a be (-3)/(-2)*(-24)/(-18). Solve a - 27 = 5*v for v.
-5
Let o = 33 + -24. Let t be (-2)/(-4 + 2) + 2. Solve 6*q + o = t*q for q.
-3
Let m = -27 - -29. Suppose 2*q = 4*k + 20, 0 = -3*q - m*k + 15 + 15. Solve -g + q = 4*g for g.
2
Let l(j) = j**3 - 9*j**2 - j + 13. Let s be l(9). Suppose -5*x + s*k = -0*k - 20, -5*x + 15 = -3*k. Solve 2*g + x*g = 10 for g.
5
Let p = 8 + -6. Let w be (-2 - -3) + 2 + -1. Solve w*f + 0 + p = 0 for f.
-1
Let a(i) = i**2 + 8*i - 33. Let k be a(-11). Solve k = -2*f - 0*f + 10 for f.
5
Let f = -13 - -33. Suppose 3*k = -5*m - 17, 9 = k - 2*m - 0*m. Let n = k - -2. Solve -2*z = n*z - f for z.
4
Let s = -7 - -11. Let v(m) = -3*m**3 - 11 - 9*m**2 + 4*m + 6*m + s*m**3. Let o be v(8). Solve -5 = -5*d + o for d.
2
Let b be 26 + (-6)/2 - -2. Let d be (-20)/b*10/(-4). Solve -f - 3 + d = 0 for f.
-1
Suppose 0 = 2*w + 2*w + 32. Let n(x) = x**3 + 9*x**2 + 8*x + 5. Let d be n(w). Suppose d*i + 35 = 5*z, i - 3 = -3*z + 2. Solve 2*j = 1 - z for j.
-1
Let g be 4/10 - 4/10. Suppose g = -2*f + 8, -14 + 6 = -5*z - 2*f. Solve -2*t + z = 10 for t.
-5
Let z(c) = -4*c - 84. Let q be z(-21). Let t be (-1)/(((-6)/(-16))/(-3)). Solve -4*d + q*d = t for d.
-2
Suppose 85*k - 83*k = 4. Solve k*y - 1 = -5 for y.
-2
Let o = 0 - 1. Let r be ((-1 - -4) + o)*2. Suppose -3*q + 3 = 4*g, -4*g + r*q + 6 = -18. Solve -2*s - 3 = g for s.
-3
Let t = 94 - 94. Let c = -2 - 3. Let m(g) = -g - 5. Let y be m(c). Solve -j + y*j = t for j.
0
Suppose 0 = -n + 3*n + 3*v - 24, -5*v + 32 = 2*n. Solve -6*s = -4*s - n for s.
3
Let y(x) = -31*x**2 + 15*x - 2. Let c(m) = -15*m**2 + 8*m - 1. Let z(q) = 11*c(q) - 6*y(q). Let j be z(1). Solve -5 = -5*t + j for t.
5
Suppose -5*w + 6 = -2*w. Suppose -w*z = -4*j + 2, 3 + 1 = 2*j. Suppose z*p = 2*p. Solve p = -4*r + 2*r - 8 for r.
-4
Let y = 0 + 0. Solve y*d = -5*d - 15 for d.
-3
Let d = -8 + -44. Let z = -27 - d. Suppose -3*o - 50 = -5*q - o, -5*q + 4*o + 60 = 0. Solve -q*a - z = -3*a for a.
-5
Suppose -5*h + 18 = 3. Suppose h*r = 4*r. Solve -4 = -2*y - r*y for y.
2
Suppose 0*q - 22 = -q + 5*j, -3*q = 2*j - 15. Solve 4 = -q*s + 11*s for s.
1
Suppose -7*n = -9*n + 98. Suppose 5*u - 2*t + 77 = 0, -4*t + n = -6*u + 3*u. Let i be (2/(-3))/(5/u). Solve -3 = 5*l + i for l.
-1
Let p(t) = -t**2 - 6*t - 5. Let l be p(-4). Suppose 2*b + 4 = l*x - 5, 3 = x + 4*b. Solve -r = -x*r + 4 for r.
2
Let r(w) = w**3 - 6*w**2 - 6*w + 1. Let i be (-4)/(-18) + 305/45. Let k be r(i). Let p(u) = u**2 + 6*u + 5. Let v be p(-7). Solve 5*j + k = -v for j.
-4
Let o = 32 + -13. Let b = o - 13. Solve b*l = 4*l + 4 for l.
2
Suppose 4*r + 8 = -0*q + q, 2*q - 9 = r. Let w be (2 - (3 - 1))/3. Let x = q + w. Solve 5 = -x*h - 3 for h.
-2
Let f be 1*1/(-3)*-3. Let y be f/4 - (-115)/20. Solve y*p - 15 = p for p.
3
Let l be (-4)/(-22) - (-106)/22. Let z(q) = 2*q - 7. Let i be z(l). Solve i = 4*d - d for d.
1
Suppose -c - 4*g + 20 = 0, 2*c + 0*c - 3*g + 4 = 0. Solve c*v + 3 = -5 for v.
-2
Let u be 13/(4 + (-6)/2). Suppose 0 = -3*m - 4*f + u, -2*m + 4*m - 4*f - 22 = 0. Let a be 8/12 + m/3. Solve -a*b = -b for b.
0
Suppose -3*y - 6 = -4*u, 4*y - 5*u = -y - 5. Let f be (0 + -13)/(y/2). Let m = 18 + f. Solve -v - m = -6*v for v.
1
Let d be (-3)/9 + 13/3. Let p be 4/(-14) - 66/14. Let u(m) = -m - 2. Let l be u(p). Solve -d = l*h + 5 for h.
-3
Let p(h) = -h + 2. Let y be p(12). Let z = y + 19. Solve 2*c + z = 1 for c.
-4
Let a(s) be the third derivative of -s**6/120 - s**5/20 + s**4/8 + s**3/6 + 2*s**2. Let u be a(-4). Suppose -2 - 1 = -3*f. Solve 0 = 3*x + f + u for x.
-2
Let x = 37 - 32. Solve -x*h - 19 = 6 for h.
-5
Let y = -133 + 134. Solve y = -4*s - 7 for s.
-2
Suppose 0 = -6*u + 7*u - 3. Solve -u*a + 10 = -5*a for a.
-5
Suppose 6*q - 58 = 32. Solve -7*i = -4*i - q for i.
5
Let r = 144 - 140. Solve 0 = r*b - 5*b + 3 for b.
3
Let g be (70/15)/(4/6). Solve -g - 8 = 5*l for l.
-3
Let v = -112 + 112. Solve v = -4*l - 15 + 3 for l.
-3
Suppose 2*n + 2*q = 16, -74 + 2 = -5*n + 3*q. Solve -3 - n = -3*l for l.
5
Let j be 2 - -4*2/(-4). Let z(d) = -d**2 - 7*d + 1. Let w be z(-6). Solve -2*t + w*t = j for t.
0
Let d(b) = b**2 + 3. Let q be d(0). Suppose 5*j - 4 = q*r + 7*j, -3*r - 10 = 5*j. Solve r = -0*n - 5*n for n.
0
Let u be (-4 + -6 + 13)*(-8)/(-6). Solve u*g - 4 = 2*g for g.
2
Let d be (12 - 9)*10/6. Suppose 2*v = -3*v - k + 23, 4*v - 31 = -5*k. Solve d*p = v*p - 2 for p.
-2
Let v be (0 + 0)/(-3 + 2). Suppose -2*a - 1 + 3 = v. Solve 0 = t - a - 3 for t.
4
Suppose -g - 2*g = -15. Solve -2*a - 1 = -g for a.
2
Let t(d) = -d**3 - 7*d**2 - d - 2. Suppose -f = 4*f. Suppose f = -4*k - 3*g - 37, 8*k - 5*g = 4*k - 13. Let u be t(k). Solve -u*i - 3 + 23 = 0 for i.
4
Let x(b) = -b**3 + b**2. Let i be x(0). Solve i*u + 4*u = 20 for u.
5
Suppose 0 = o - 2 - 0, 2*k - 3*o + 32 = 0. Let r = -8 - k. Suppose u + 24 = r*u. Solve -9 = -5*p + u for p.
3
Let j(f) = -f**3 + 3*f + 3. Let z be j(-2). Let i be ((-6)/(-8))/((-3)/(-36)). Let b = i - z. Solve -2*n + b = -2 for n.
3
Let a(y) be the third derivative of -y**5/60 - y**4/24 + y**2. Let t be a(0). Solve d = -t + 3 for d.
3
Suppose -3*x - 4*x = -14. Solve -u - 15 = x*u for u.
-5
Let b(o) be the second derivative of 3*o + 1/12*o**4 - 7/6*o**3 + 0 - 1/2*o**2. Let n be b(8). Solve 3*s = -n - 5 for s.
-4
Let d = 9 + -13. Let n be ((-3)/d)/(1/8). Solve n*j - 3*j = 15 for j.
5
Let w = 2 - -13. Suppose 5*x - 25 = 0, 2*y - x = -3*y + 15. Solve l = y*l + w for l.
-5
Suppose -17 = -2*k - 5. Suppose 0 = -4*m + 14 + k. Solve -2*b + 1 = m for b.
-2
Suppose -21*i - 15 = -24*i. Solve i*s + 3 + 12 = 0 for s.
-3
Let c = -14 + 20. Solve -l + 1 = c for l.
-5
Let c(f) = 1. Let k(g) = g**3 - 5*g**2 + 3*g - 1. Let s(o) = -5*c(o) - k(o). Let x be s(4). Solve x*t = -4*t - 20 for t.
-5
Suppose -l = -4*l + 666. Let b be 2/(-10) + l/10. Suppose -18 = -t + 3*h, 0 = 4*t + 4*h - b - 2. Solve 0 = 2*x + x - t for x.
3
Let g(l) be the second derivative of 5/3*l**3 + 3*l - 1/12*l**4 - 2*l**2 + 0. Let i be g(9). Solve -r = 3 - i for r.
2
Let m = 5 + -8. Let g be ((-2)/m)/(1/6). Suppose 0 = -8*n + 106 - 26. Solve -g*c - n = c for c.
-2
Suppose -m = 4*m + 5. Let p = 1 - m. Solve -p*x = 7 + 3 for x.
-5
Let c(n) = -n**3 - 14*n**2 - 15*n - 19. Let z be c(-13). Suppose -z*b = -4*b - 6. Solve 0 = b*a + 2 for a.
-1
Let h = 36 - 34. Solve q = -0*q - h for q.
-2
Suppose -5*u + 2 = -58. Suppose 8 = 4*v + 2*d - u, 4*v - 5*d = 34. Suppose v*o = -2*f + 2*o - 4, -5*o = 3*f + 4. Solve -f*r = 3 + 1 for r.
-2
Let y = -109 - -111. Solve -o - 1 = y for o.
-3
Let j(l) = l**3 + 4*l**2 - l + 5. Let k be j(-4). Let v = k + -4. Suppose -v = -5*m + 5. Solve -15 = x + m*x for x.
-5
Let y = -1 + 6. Let c(k) = k**3 - 5*k**2 - k + 7. Let p be c(y). Suppose p*g - 7*g = 2*n - 3, 18 = n - 3*g. Solve 3*o - 6*o = n for o.
-3
Suppose -s = s - 10. Solve 9 - 34 = -s*v for v.
5
Let d(m) be the f