t i be v(0). Solve 3*x + 2*x - i = 0 for x.
2
Let f(p) = 2*p**3 - 9*p**2 + 7*p - 6. Let l be f(4). Solve 0 = -u + l*u for u.
0
Suppose 3*j - 4*j = 0. Suppose -2*g - 5*w + 14 = j, 4*g - 4 = 5*w - 3*w. Solve g = -4*t - 2 for t.
-1
Let r = 20 + -13. Solve -3*i + r = -8 for i.
5
Suppose 4*i + 4*i - 152 = 0. Solve -i = -6*x + 11 for x.
5
Let m = -14 + 12. Let v be (4 + m)/((-6)/(-27)). Solve 0 = -v*d + 4*d for d.
0
Let a be 114/10 - 8/20. Solve -4 - a = -3*v for v.
5
Suppose -4*x + 10 = -2. Suppose 0*t + x*t = 0. Let p = 2 - t. Solve -7*d = -p*d - 15 for d.
3
Let a be (9 + 3)/3 + 1. Let w be 28/a - 27/45. Solve w - 14 = -3*b for b.
3
Let y(v) = 7*v + 72. Let i be y(-10). Solve -i*o = -7*o for o.
0
Let a(c) = c**2 + 2*c + 2. Let p be a(-2). Solve p*b + 13 = 3 for b.
-5
Let n(b) = b**2 + b + 2. Let h be n(-3). Let q be (9 - 0)*h/6. Suppose 2*t - q = -t. Solve g + 0*g = -t for g.
-4
Let n(h) = 5*h - 2. Let r(x) = x - 1. Let b be r(3). Let u be n(b). Solve -3*a = u - 2 for a.
-2
Let k be (0 - 6) + 6/2. Let h be (-156)/(-24) + k/2. Solve h*s - 4 - 6 = 0 for s.
2
Let h(v) = v**3 + 5*v**2 + 5*v + 8. Let z be h(-4). Solve z*y + 8 = -4 for y.
-3
Let y = -4 + 8. Let b(c) = -c**2 + 7*c - y + 3 - 1. Let a be b(6). Solve p = -p + a for p.
2
Let r be (-1 - 4)*3*-2. Suppose 0 = -y - y + r. Solve -u = -6*u - y for u.
-3
Suppose -5*g - 2 + 18 = -p, 2*g - 5*p - 11 = 0. Let s be ((0 + g)*1)/1. Suppose -2*a = -7*a + 15. Solve 0 = a*v + s for v.
-1
Let x be 1 + 6/(-3) - -11. Let p = 24 - 9. Let u be (-4)/6 - (-10)/p. Solve 0 = -u*w - 5*w - x for w.
-2
Suppose 2*u + 6 = -u. Let q be 5 + (0 - (u + 2)). Suppose -q*m = 3*x - 6, 2*m - 8 - 4 = 2*x. Solve -b = -m*b for b.
0
Let q = 6 + -5. Let i be 2 + 12/(q + 2). Let b = 0 + i. Solve -b*k = -k for k.
0
Let s = -1 - -3. Let f be 1/((4/(-3))/(-4)). Suppose 0 = -5*g - f + 13. Solve 0*y = -s*y - g for y.
-1
Suppose 3*h = 12, -2*t + 27 = -4*h - 285. Let u be t/6*(-3)/(-2). Suppose c - 5*a - 15 = 0, -2*c = -4*c - a + u. Solve 5*w - c = -5 for w.
3
Let q(f) = f**3 + 15*f**2 + 19*f + 74. Let c be q(-14). Solve c*v - 9*v - 5 = 0 for v.
-1
Suppose 13 - 82 = -3*c. Suppose -c = k - 5*n, 2*k - 2*n = -1 - 5. Solve -4*x - 2 = k for x.
-1
Let u be (-516)/(-26) + (-24)/(-156). Suppose -2*f = 3*f - u. Solve -4 = -f*k - 20 for k.
-4
Suppose -4*r - 32 = -2*f, -4*f + 22 = -4*r - 30. Solve -7*d - f = -2*d for d.
-2
Suppose -4*i = 5*w - 3, -5*i - 3*w + w = -8. Suppose i*u - 25 = 19. Solve 7 - u = -5*a for a.
3
Let l(i) = -i**2 - 2*i - 2. Let f be l(-3). Let q(d) = -17*d - 17. Let u(p) = -11*p - 11. Let z(v) = f*q(v) + 8*u(v). Let s be z(-3). Solve y = -2*y + s for y.
2
Suppose 0 = k - 3*j - 12, 2*j - 3 = -3*k - 0. Let l(s) = 3*s. Let o be l(8). Let x be ((-36)/o)/(6/(-4)). Solve -2*d = k + x for d.
-2
Let j(q) = q - 3. Let p be j(9). Suppose -1 = -3*b + 4*b - 3*t, -t - 9 = 2*b. Let d = b + p. Solve d = 3*n - 4 for n.
2
Let x be 6 - (-10 + (12 - 6)). Solve j + j = x for j.
5
Suppose -x = -4*x + 15. Solve 5*f = -0 + x for f.
1
Let u(s) = 2*s - 26. Let r be u(13). Solve r = -2*t + 5 + 3 for t.
4
Suppose -4*u - 6 + 18 = 0. Suppose -3*k + 9 = u*q, 0*q + 15 = 5*q + 2*k. Solve -q*t + 25 = 2*t for t.
5
Let g(w) = -5*w + 4. Let c(l) = -14*l + 11. Let n(r) = 4*c(r) - 11*g(r). Let h be n(4). Let z = 7 + h. Solve -12 = -z*f + 3 for f.
5
Let z be (-7)/21 + 16/3. Solve 7*p = 2*p + z for p.
1
Let a be (-264)/(-168) + 3/7. Solve -2 = -a*i - 6 for i.
-2
Let b = -89 - -95. Solve -b*m + m = -20 for m.
4
Let n(o) = 0*o**2 + 2*o - o**3 + 5*o**2 + 5 - o. Suppose -9*h = -12*h + 15. Let y be n(h). Solve y = -t - t for t.
-5
Suppose 0*j = -3*j - 5*m + 19, 4*j = 3*m + 6. Suppose 0 = 2*o + 4 - 8. Solve -j*p + o*p + 5 = 0 for p.
5
Let n be (6 - 8)*(-2)/4. Let f be (1/3)/(n/33). Solve -4*o - f = 1 for o.
-3
Suppose -2*r - l = -8, -l = -5*r + 14 + 6. Solve -2*w = -r*w + 2 for w.
1
Suppose 0 = 3*s + s - 12. Solve 10 = s*y + 2*y for y.
2
Let d = -13 + 9. Let h = 0 - d. Solve 0 = h*m - 3*m for m.
0
Suppose 3*o = -o + 16. Solve -o*h + 25 = 13 for h.
3
Suppose -m - 1 + 5 = 0. Let p be m/1 + 0 + 0. Suppose -5*q + p*r + 60 = -q, 0 = -2*r. Solve 5*b + 0*b - q = 0 for b.
3
Suppose 0 = 3*i + i. Suppose -10*z = -9*z - 4. Suppose z*b = 136 - i. Solve 9 = -5*g + b for g.
5
Let u be (-6)/((-4 - -3) + -2). Solve u*j + 1 = j for j.
-1
Suppose -51 = -5*n - 11. Let q(v) = v**3 + 2*v**2 + v. Let m be q(-1). Solve m = -3*j + j - n for j.
-4
Let i(x) = -x**2 - 4*x + 4. Let b be 12/(-15)*(-1 - -6). Let w be i(b). Solve g - w = -0*g for g.
4
Let p(z) = -5*z - 1. Let g be p(-3). Suppose 4*u = a + g, 0 = -0*u + 5*u - 4*a - 23. Let l = 25 + -13. Solve -u*v + 3 = -l for v.
5
Let f(c) = -c**3 - 2*c**2 - c + 11. Let s be f(0). Solve 0 = -4*j + 3 - s for j.
-2
Let z = 211 - 105. Suppose z - 6 = 5*x. Solve -5*f + 0 = x for f.
-4
Let k be (-9 + 4)/5 - -2. Solve 0 = d + k + 1 for d.
-2
Suppose -b = -0*b - 2. Suppose -v = 4*t + 10, -2*v + b*t + 16 = -2*t. Solve -v*w - 3*w = -5 for w.
1
Let l(z) = z**3 + 4*z**2 - 2*z - 5. Let v be l(-4). Let s(o) = o**2 - o - 2. Let w be s(-2). Solve 11 + w = -v*c for c.
-5
Let y(z) be the second derivative of 5/6*z**3 + 9/2*z**2 + z + 0 + 1/12*z**4. Let b be y(-6). Solve u - 6*u = -b for u.
3
Let b be (1 + 0 + 1)*2. Solve -q - b*q = 0 for q.
0
Let k(u) = -2*u + 22. Let y be k(11). Solve y = -2*q - q for q.
0
Let v be -2 - (1 - (12 - 1)). Suppose v*g - 9*g = -3. Solve -5*z = -2 - g for z.
1
Let f be 4/((-16)/(-20))*1. Solve -4 = -f*z + 4*z for z.
4
Let a(v) = -v**3 + 4*v**2 - 3*v + 2. Let g be a(3). Let t = g - -6. Suppose -4*r = -2*x + t, 2*r + r = 4*x - 6. Solve 2 = b - x for b.
2
Let a = 5 + 2. Suppose 0 = a*j - 2*j + 30. Let f be 3/2 - 3/j. Solve -d - 2 = -f*d for d.
2
Let t be (-3)/(-6)*2 + -8. Let a = 22 + t. Solve 2*f + a = -f for f.
-5
Let r(s) be the third derivative of -s**5/60 - s**4/24 + 6*s**2. Let g be r(-1). Solve g = -4*f + 11 + 9 for f.
5
Let p = -2 + 12. Solve 8 + p = -6*a for a.
-3
Suppose 3*v - 8 = -v. Suppose v*h = -4*z - 8, 0 = -5*h + 2*h + 3*z + 24. Solve h*t + 8 = 2*t for t.
-4
Let i be 1 + (0 + 4)*8. Suppose 0 = 2*r - 5*g - i, -3*g - 19 = r - 2*r. Solve -r*a + 13 + 7 = 0 for a.
5
Suppose -t + 3*l - 6 = 0, 0 = 4*t + 4*l - 4 - 20. Let p be ((-5)/5)/(t/(-3)). Solve 4*v + p = 9 for v.
2
Suppose -40 = -2*c + 50. Suppose -5*f - 1 = 3*n - c, -13 = -4*f + 5*n. Let o = f - 7. Solve o = -4*k + k - 9 for k.
-3
Let o be 3/(-6)*-1*58. Suppose 5*g + o + 6 = 0. Let x = g - -10. Solve x*n = n for n.
0
Let d(n) = 2*n - 13. Let k be d(9). Solve k*w = 4*w + 3 for w.
3
Suppose 0 = 5*b - 4*b + 3*b. Solve b = 3*o + 6 + 6 for o.
-4
Let r = -11 + 8. Let p be 1*5 + 3/r. Suppose 0 = -3*d - n + 5, 4*d + 4*n = 5*n - 5. Solve -8 = p*l - d*l for l.
-2
Let l(g) = g**2 - 3*g - 1. Let f be l(4). Solve 0*n - f*n - 6 = 0 for n.
-2
Let t(x) = x**3 - 3*x**2 + x + 2. Let s be t(3). Let m(j) = -j**3 + 10*j**2 + 5. Let i be m(10). Solve 15 = s*z - i for z.
4
Let f = 72 + -60. Solve 3*w = -0*w - f for w.
-4
Suppose 0 = -3*w - p + 7 + 1, 14 = 4*w + 3*p. Solve 5 = -3*s + w*s for s.
-5
Let y be 2/(-2) - (-5 + -2). Solve -2*d = d + y for d.
-2
Suppose 0 = -4*n + t - 1, -3*n + t = 6*t - 5. Suppose 2*c - 2*w + 20 = 2*w, n = -5*c - 5*w + 25. Solve c = 2*q + 3*q + 5 for q.
-1
Let p(u) = 3*u - 5. Let c be p(4). Solve 4*t = -c - 9 for t.
-4
Suppose 0 = 2*t + t. Let v be (0 + t)/(3 - 2). Solve 0 = -2*b - v*b - 6 for b.
-3
Let m = -27 - -12. Let q be (m/1 + 0)*-1. Suppose 0 + 18 = 6*w. Solve w*j = -0*j + q for j.
5
Let f = -12 - -15. Solve -5*t = -f*t + 6 for t.
-3
Let h = 0 - -20. Solve h = r + 3*r for r.
5
Suppose -4*a - a = 165. Let s be (-233)/(-11) - (-6)/a. Let l be (-1)/(-2) - s/(-6). Solve 0 - 4 = -l*d for d.
1
Let w be (1/(-3))/(2/12). Let r = 3 + w. Suppose -19 - r = -4*g. Solve 5 = g*h - 10 for h.
3
Let o be 4*(4 + 1/(-4)). Solve -g - o = 2*g for g.
-5
Suppose 0 = -4*i + 2*m - 0*m - 2, 5 = 2*i - 3*m. Let z be (i/5)/((-1)/5). Suppose -z*o = -3*o + 3. Solve o = v + 4 for v.
-1
Suppose -4*s - 16 = -4*k, -k + 4 = 4*s - 5. Let j(m) = -m**3 + 10*m**2 + 3*m - 10. Let r be j(10). Suppose -5*o = -r - 0. Solve k*d + o = -11 for d.
-3
Let n(q) = -q**2 - 15*q - 8. Let t be n(-6). Let h = 28 - t. Let v be (h/3)/3*-1. Solve -v*f - 6 = -4*f for f.
3
Let g(w) = 3*w**2 - 3*w + 2. Let c be g(3). Suppose -s 