or i.
3
Let l = 8 - 7. Suppose -l = 12*b - 13*b. Solve q - b = -4 for q.
-3
Suppose 8 = 4*m + 4. Solve -5*u - 4 = m for u.
-1
Suppose -6*y = -y - 5. Let v be y/(-4) - 39/(-12). Solve 0 = v*a - 3 + 12 for a.
-3
Suppose 2*j - 13 = 5*k - 2, 4*j + 5*k = 7. Solve -j*n + 2 = -n for n.
1
Let v be ((-2)/(-6))/(3/27). Let w = v - 0. Solve 0 = 3*k - 0 - w for k.
1
Suppose -6*p + 3*p - 4*a + 10 = 0, 0 = 2*p + a. Let d be (p + 1 + 1)/(-2). Solve -2*z - 2*z + 12 = d for z.
3
Let c(g) = -g**3 - 5*g**2 - 3*g - 5. Let a be c(-5). Solve 8*d - 3*d = -a for d.
-2
Suppose 7*a = 6*a + 12. Solve 3*f = 6*f + a for f.
-4
Let k = 1 + 3. Suppose -3*m + k*m = -2*a + 11, 3*a = -m + 17. Let q = a + -4. Solve 4*d - q*d = 10 for d.
5
Let o be 1/((-3)/(-9 - 0)). Let c = 0 - o. Let b be (2/c)/(4/(-72)). Solve 0*k - b = 3*k for k.
-4
Let h = 7 + -3. Solve 0 = -0*x + x - h for x.
4
Suppose m - 7 = -a - 0*a, -3*a = -5*m + 3. Suppose -a*y + 5 = -3*y. Solve -t + 12 = -y*t for t.
-3
Let l(t) = -t**3 - 10*t**2 + 7*t - 5. Let a(r) = 4*r**3 + 30*r**2 - 20*r + 16. Let b(z) = -2*a(z) - 7*l(z). Let w be b(9). Solve -w*m - 2 = -m for m.
-1
Suppose -5*b + 1 - 21 = 0. Let m be (-10)/b*36/30. Solve m*g - g + 6 = 0 for g.
-3
Let c be ((-4)/(-5))/(4/(-10)). Let q be 6 - (c/2 - -2). Solve -2*f + q*f = 0 for f.
0
Let q be 0/(1 - (-8)/(-4)). Solve 20 = 4*y - q for y.
5
Let a = -8 + -37. Let i be ((-12)/(-30))/((-3)/a). Solve 2*y + i = 5*y for y.
2
Let w(q) = -q - 4. Let j be 2 + -4 + 0/2. Let z = -2 + j. Let g be w(z). Solve g = 4*n + 8 for n.
-2
Suppose 2*q = q - 8. Let r(l) = -l**3 - 7*l**2 + 9*l + 12. Let c be r(q). Suppose -s - c*s + 12 = n, -5*n = s - 60. Solve -2*p - n + 2 = 0 for p.
-5
Let p(o) = o**2 - 4*o - 3. Let v be p(-2). Let b be (9/6)/(v/12). Suppose 0 = -b*k - k + 9. Solve -k*m = m for m.
0
Let g(y) = -y**3 - 10*y**2 - 7*y + 21. Let v be g(-9). Solve v*m + 20 = -m for m.
-5
Suppose 0 = i + 4 - 16. Let c(o) = o**3 - 6*o**2 - 5*o - 10. Let t(v) = -v**2 + 8*v + 7. Let z be t(8). Let k be c(z). Solve -k*n = i - 0 for n.
-3
Let n(x) be the third derivative of x**5/30 - x**4/3 + 5*x**3/6 + 3*x**2. Let g be n(5). Solve -g = 5*o - 2*o for o.
-5
Suppose 2*v = -v + 21. Let u = -4 + v. Let r(k) = k**3 - 2*k**2 - 2*k + 3. Let q be r(3). Solve 6*g + q = u*g for g.
-2
Suppose -b - 16 = -x, 2*x + x - 9 = 0. Let y = 18 + b. Solve -14 = -y*f + 11 for f.
5
Let r(i) = 28*i. Let n be r(1). Suppose -y + 4*b = 35, -5*y - 22 - n = 5*b. Let u be ((-6)/y)/((-2)/(-20)). Solve 0 = -u*v + 2*v + 10 for v.
5
Suppose -5*v = -5*w + 15, v = 2*v + w - 7. Solve -4 = -3*p + v for p.
2
Let k be (-22)/4 - (-9)/(-6). Let q = k - -11. Solve -q*a = a + 25 for a.
-5
Let j = 3 - 1. Solve -z + j = -0*z for z.
2
Let a(g) = -g**3 + 10*g**2 - 6*g - 20. Let h be a(9). Solve 2*v + h = 1 for v.
-3
Let y(h) = -11*h - 9. Let r be y(-1). Solve 2 = -0*t + r*t for t.
1
Suppose 3*w - 6*w = 0. Let b be w/(-2*1/2). Let v = b - -12. Solve v = 2*r + r for r.
4
Suppose 3 = -2*d + 7. Suppose -3*b + 10 + 5 = 4*o, -d*o + 1 = -5*b. Solve g - 5 + b = 0 for g.
4
Suppose 0 = d + 3*y - 9, 0 = 3*d - 0*d - 5*y + 1. Let s = d - 3. Suppose s = -f - 3*p + 5, 0 = -3*f + 3*p - p + 37. Solve -f = 3*i - 2 for i.
-3
Let u(q) = 0*q**3 - 4 + 7*q**2 - q**3 + 2*q**2 - 6*q. Let g be u(8). Let b be (-4)/g*3*-2. Solve 3*z - b*z = -2 for z.
-2
Suppose 1 = c + 5. Let g(n) = -n**2 - 5*n. Let m be g(c). Solve 0 = -m*r - 0*r - 16 for r.
-4
Suppose 0 = b - 0 + 2. Let w be 2 + b/(2/(-3)). Suppose w*g - 4*x = 19, -2*g + 2*x + 7 = x. Solve -g*k - 12 = k for k.
-3
Let q(l) = l + 13. Let v be q(-11). Let r(z) = z**3 + z**2 - 2*z + 1. Let t be r(-2). Solve 0 = v*c - 1 - t for c.
1
Let s = 8 - 15. Let x(z) be the second derivative of z**4/12 + z**3 - 3*z**2/2 + z. Let l be x(s). Solve -l = -2*k - 0*k for k.
2
Let g = 18 + -13. Solve -g = a - 2 for a.
-3
Suppose -3*w - 1 = -2*w - 3*h, -4 = -2*h. Suppose 2*t - 3 = w. Solve -s = t*s for s.
0
Let m be (-70)/(-21) + 4/6. Suppose -r = -1 - m. Solve -5 = 5*k + r for k.
-2
Suppose 0*x - a - 15 = -4*x, -2*x = -2*a. Let v(r) = r**3 + 5*r**2 + 3*r - 1. Let d be v(-3). Suppose -x*f = -d*f. Solve -g + 4 - 1 = f for g.
3
Let f = 3 - 3. Solve 5*k - 5 = -f for k.
1
Suppose 0 = o - 3*f - 18, 4*o + 2*f - 4 + 2 = 0. Solve -2*l = o*l for l.
0
Suppose 2 + 8 = 5*z. Suppose u + x - 2 = 0, -2*u - u = 5*x. Solve u*p + z = -3 for p.
-1
Let q = -34 + 67. Suppose o = 5*d - 72, -2*d + 0*o = o - q. Solve -3*t - d = -0*t for t.
-5
Suppose 2*f + 2*y = -3*y - 15, 0 = -5*f + y + 30. Suppose -35 = -2*q - f. Let v(p) = p**3 - 5*p**2 + 5. Let r be v(5). Solve q = -r*l - 0 for l.
-3
Let d(f) be the third derivative of -f**4/24 + 5*f**3/6 - 3*f**2. Let k be d(5). Suppose k = 3*t + 5*h - 58, -4*t - 17 = -6*t + h. Solve t - 31 = 5*m for m.
-4
Suppose 2*l = -5*g + 1, 0 = -l - 0*g - 2*g + 1. Let x be (-2)/(-7) - (-99)/21. Solve 0 = l*h - x*h + 8 for h.
4
Let d be 2/(-4)*(-4 - 2). Solve 0 = -5*v - d - 2 for v.
-1
Suppose -4 = s, 6 = -3*r + 2*s - 4. Let c be r/2 - -3 - -3. Solve -c = g + 1 for g.
-4
Suppose -12 = -5*y - 2. Suppose 0 = -2*p + y*u - 4, 2*p + 3 = -p + 2*u. Solve -5 = 2*f + p for f.
-3
Suppose 17 = 2*x + n + 5, -x = -5*n - 6. Suppose 3*k - 4*h - x - 31 = 0, -k + 34 = 3*h. Solve 4*s - k = -3 for s.
4
Suppose 0 = -0*u - 5*u - 2*w - 10, 5*w - 37 = 3*u. Let g = u + 5. Let m(v) = -4*v. Let j be m(-1). Solve a = g - j for a.
-3
Suppose -f + 0 - 3 = 0. Let c be f + 1 + 12/2. Solve i - c = -0*i for i.
4
Let s(v) = -v + 5. Let w be s(5). Let t = -24 + 27. Solve u - t*u + 2 = w for u.
1
Suppose 1 = -4*s + 13. Suppose q = s*q. Solve -4*x - x - 25 = q for x.
-5
Let s(g) = g + 7. Let o be s(-5). Suppose 2*f - 4 = 2*w + 4, -f = -5*w - 16. Solve o*a - 7 = -f for a.
3
Let n = -10 + 5. Let x(h) = h**2 + 6*h + 7. Let g be x(n). Solve 0*y - 8 = -g*y for y.
4
Suppose 0 = 5*l, -2*v + 2*l + 4 = -0*l. Let b be (-1 - 3/(-21))*-7. Solve -v*a + 2 = -b for a.
4
Suppose 13 + 3 = 2*j. Solve j = 2*d + 2*d for d.
2
Suppose -4*b - 75 = -5*x, 2*x + 2*b - 37 = -7. Solve -x = -3*d + 6*d for d.
-5
Let j(d) = 16 - 3*d**3 - 2 + d + 10*d**2 + 4*d**3. Let r be j(-10). Suppose 2*s + 0*s + 8 = -r*g, 5*s = -5*g - 5. Solve p - 4 = s*p for p.
-4
Let w(q) = 15*q**2. Let d be w(1). Let p = d + -15. Solve -3*g - 1 - 2 = p for g.
-1
Let j be (-10)/(-3)*(-30)/(-20). Suppose -a + 2*z + 14 = 0, -4*a + z = -13 - 8. Solve h + a*h = -j for h.
-1
Suppose -y + 6 = -4*r, 5*y - 14 = -0*y + 4*r. Let m(t) = -t**3 + 7*t**2 + 1. Let n be m(7). Let k be n + -3 - -9 - y. Solve 0*z - 5 = -k*z for z.
1
Suppose 3*x + 4*x = 168. Let k = x + -20. Solve -g = -3*g - k for g.
-2
Suppose -2*j - 5*a + 19 = 0, 0*j + 5*a - 9 = 3*j. Let k be (-105)/(-6) - 1/j. Suppose -4*p + 12 = -g, -k = -5*p - 2. Solve -m - m = g for m.
0
Let d = 1 - 1. Suppose d*k - 2*k + 3*j - 5 = 0, 0 = -4*j + 12. Solve -k*v = -5*v + 9 for v.
3
Let s = 1 + -5. Let i = s + 7. Suppose -r = a + 2, -2*a - 5*r + 1 - 11 = 0. Solve -i*c + c + 10 = a for c.
5
Let m = -4 - -6. Let j be (-2)/(-5) + 2/(-5). Solve j*u - m*u - 8 = 0 for u.
-4
Let x(b) = 3*b - 24. Let i be x(9). Solve i*c = -0*c for c.
0
Let i be (-2)/5 - (-8)/(-5). Let u be 18/i*(-2)/3. Solve -d = -u*d + 10 for d.
2
Let t(q) = 3*q + 11*q - 7*q - 9. Let l be t(6). Solve 0 = 5*x - l + 13 for x.
4
Let x = 1 - -2. Suppose -x*z + 59 = -88. Suppose -5*j + 5*f = -15, -3*j + 2*f - 7*f = -z. Solve 0 = -2*r - 0*r + j for r.
4
Let a(b) = b**2 + 5*b - 19. Let i be a(-8). Solve -i*n = -3*n - 8 for n.
4
Let b = 7 - -1. Suppose 0 = 4*u + s + 4, u - s - 20 = 4*s. Solve 4*y + u = b for y.
2
Suppose -5*i = 2*i - 35. Let j(h) = -h**3 + 5*h**2 + 2*h - 5. Let m be j(i). Suppose 2*y - 2 = 4. Solve 2*r = y*r - m for r.
5
Suppose 5*b - 30 + 10 = 0. Let n(r) be the first derivative of -r**3/3 + 3*r**2 - 6*r + 2. Let l be n(b). Solve l = -3*p + 4*p for p.
2
Suppose 2*k - 14 = 6. Suppose -3*y + 77 = 2*p, 3*y + 5*p - 39 = 41. Let r(g) = -g**3 - 2*g**2 - 3*g - 3. Let t be r(-2). Solve -t*o = -k + y for o.
-5
Suppose -14*l - 6 = -16*l. Solve -l*s - 25 = 2*s for s.
-5
Let m(g) = 2*g + 12. Let y be m(-5). Solve 0 = -y*j + 5*j for j.
0
Let f(n) = 2*n**2 + 26*n + 52. Let y be f(-11). Let i(z) = 2*z - 4. Let x be i(5). Solve -2*j = -x*j - y for j.
-2
Let d(q) = 7*q**2 + 17*q + 5. Let o(v) = 3*v**2 + 8*v + 3. Let t(k) = 2*d(k) - 5*o(k). Let