ppose 34 = 3*t - 11. Solve 2*n - 5*n = -t for n.
5
Let b(j) = j - 1. Let u be b(6). Let f(g) = g - 9. Let v be f(9). Suppose 0 = -v*d - 3*d. Solve d = -0*x - x + u for x.
5
Let i = 1 - 0. Let q be 4 - (i*-2 + 0). Solve -q*z + 4*z = 0 for z.
0
Let y be -4 + 16/(1 + 1). Solve 0 = -y*q - 15 - 1 for q.
-4
Let x(a) be the third derivative of a**6/120 + a**5/60 - a**4/24 + a**3/3 + 6*a**2. Let u be x(0). Solve -u*r = 14 - 4 for r.
-5
Let n(m) = 6*m - 3*m + m**2 - 7 + 8*m. Let o be n(-12). Solve 4*j = -j - o for j.
-1
Let o(g) be the third derivative of -g**4/24 - g**3/2 - 5*g**2. Let a be o(-5). Solve 4*p + 10 = a*p for p.
-5
Suppose 2*p = 3*p - 15. Suppose 0*x + 3*x = p. Solve 0 = x*g - g + 8 for g.
-2
Let p = -14 + 14. Solve p = m + 4 for m.
-4
Suppose 2*l + 3*o - 10 = -3*l, 8 = 4*l + o. Solve 5*x = l*x for x.
0
Let w(c) = 5*c. Let q be w(4). Suppose -3*v = 2*v - q. Solve 2*r - v = -2*r for r.
1
Let t be ((-3)/3 - -1)/(-2). Suppose t = -4*h + h + 12. Solve h*k - 13 = 7 for k.
5
Let y be -5 + 37/4 + 3/4. Suppose 4*z = 0, 2*x = -x + 5*z + 9. Solve x*d = y*d + 2 for d.
-1
Let s = 2 - 0. Suppose s*x + 8 = -3*f, -5*f = -0*f - 10. Let k be (-4)/x*21/6. Solve 0 = -c - k - 1 for c.
-3
Let h = -47 + 56. Solve 3*t + 0*t = -h for t.
-3
Let n(k) = 3*k - 9. Suppose 4*v - 21 + 5 = 0. Let b be n(v). Solve x = b*x + 8 for x.
-4
Suppose 0*f = 3*f. Solve -n - 4 + 2 = f for n.
-2
Suppose 646 = 3*o - 5*h, -3*o + 0*o + 2*h = -658. Let y be (-6)/33 + o/11. Solve 4*s + y = 4 for s.
-4
Suppose -3*y = -2*y - 25. Suppose -3*q = 5*m - 25, -2*m = -4*q + m + 14. Suppose q*z - y = 5. Solve -4*p + p = z for p.
-2
Suppose -5*j = -3*s + 115, 3*s = 2*s - 3*j + 43. Suppose 0 = 4*k - 3*i - s, -k = -0*k + 5*i - 10. Let v be (-1)/(-3) + 28/6. Solve -v*f = -0*f + k for f.
-2
Let a be (-12)/((-2)/1) + -1. Let f = 6 - 4. Suppose 0 = f*k - 6, 5*j + 2*k = 29 - 3. Solve a*t = j*t + 5 for t.
5
Let h(m) be the second derivative of m**5/20 - m**4/3 + m**3/6 + 3*m. Let y be h(4). Solve i = -3 + y for i.
1
Suppose 7*i - 3 - 4 = 0. Solve 2 + i = v for v.
3
Let x = -90 - -90. Solve x*d = -d - 3 for d.
-3
Suppose 12 = 3*g + r, 3*g - 3*r = -0*g. Solve 0*y = -g*y for y.
0
Suppose -21 + 81 = 4*v. Suppose -5*q + 3*o + 35 = 0, -3*o - 3 + 31 = 4*q. Let a(x) = -x - 5. Let u be a(-7). Solve -u*k - v = -q for k.
-4
Let y = -1 + 5. Suppose y*w + 32 = -0*w. Let x be 16/(-10)*20/w. Solve 0*v - 4*v = x for v.
-1
Let l = -3 - -6. Let y be (-45)/6*(-2)/l. Suppose 0*z = -y*z + 50. Solve -4*g = z + 6 for g.
-4
Let i be 4 - (0 - 1 - -3). Suppose 4*s + s = 10. Suppose s = i*m - 2. Solve -m*c - 3 = -5*c for c.
1
Let d be -1 + (-2 + -1 - 12). Let m = d - -8. Let g be m/(-4*3/6). Solve -2*r + 8 = -g*r for r.
-4
Suppose -36 = -4*g - 4*k, 0*g + 4*g - 33 = -3*k. Solve 4 = 2*d - g*d for d.
-1
Suppose -3*u + 16 = u. Suppose 0 = -3*c + 16 - u. Solve -c*y = y - 15 for y.
3
Suppose -2*u - 1 = -25. Suppose -2*a + z + 2 = -3, -5*z = -a + 7. Solve -2*t - a*t = u for t.
-3
Let j(x) = -x**3 - 10*x**2 - 9*x + 3. Let r be j(-9). Let v(a) = -a**3 + 0 + 6*a + 3*a + 5*a**2 - 9. Let k be v(6). Solve 3*t = r + k for t.
4
Let w be 4/2 - (2 + -3). Let x = w + -1. Let b be -12*x/(-4) + -3. Solve b*v + 9 - 3 = 0 for v.
-2
Suppose 1 + 2 = h. Suppose h*z + 3*p = 9, 2*z + p + 2*p - 5 = 0. Suppose t + 4 = 0, z*f - 3*t = -5 + 37. Solve -2*u - f = -u for u.
-5
Let q(f) = 2*f**3 + f**2 - f. Let y be q(1). Suppose -y*p = -3 - 3. Solve 12 = -0*m - p*m for m.
-4
Let n(p) = -p + 7. Let l be n(7). Suppose -2*v + 6*v - 28 = l. Let h be 2*((-30)/4)/(-5). Solve -v*d = -h*d - 12 for d.
3
Suppose d - 4*o - 4 = 30, 2*o + 142 = 3*d. Let s = d - 30. Solve 2*r - 7*r = -s for r.
4
Suppose -2*i = 3*i - 5*m + 10, -5*i + 22 = 3*m. Solve 7*h - i*h = -25 for h.
-5
Let b(o) = o**2 + 8*o + 6. Let x be b(-4). Let t(k) = -k**3 - 10*k**2 - 2*k - 11. Let a be t(x). Solve -3*r - a = -6*r for r.
3
Let q(c) = -c**2 - 8*c + 2. Suppose -2*g - 5 = 11. Let p be q(g). Solve p = -t - 1 for t.
-3
Let n(w) = -w**3 - 7*w**2 + 2*w + 14. Let y be n(-7). Solve y = -v - 5 for v.
-5
Let o be -1 - (-5 + 1) - -26. Suppose -3*f = -2*g - o, g - 3 - 2 = 0. Solve 3*x + 4 = f for x.
3
Let m be (6/4)/((-1)/(-2)). Let p(r) = 4*r**2 - 4*r**3 + 4*r**m + 4*r**3 - 5*r**3 - 2*r + 2. Let d be p(3). Solve 0*k - 10 = d*k for k.
-2
Let g(u) = -2*u**2 + u - 2. Let r be g(2). Let j be (-2)/r + 94/8. Solve -5*s + j = -2*s for s.
4
Let j = 11 - 4. Suppose -j = -0*k - k. Let r = k + -7. Solve -2*l - 4 + 2 = r for l.
-1
Let n(f) = f - 12. Let s be n(13). Solve 3*h = s + 8 for h.
3
Suppose -j = -0 - 8. Let r(z) = z**2 - 7*z - 8. Let u be r(j). Solve u = 5*n + 11 - 1 for n.
-2
Suppose 0 = 2*h + n - 17, 0 = -2*h - 4*n + 13 + 7. Solve 2*f = -0*f + h for f.
4
Let y be (0 - -9)/((-6)/(-4)). Suppose -24 = -2*o - 3*u, 2*o - 5*u + 2 = -y. Let v be (-3)/o*(-1 + 1). Solve 3 = -p - v*p for p.
-3
Suppose y = b + 1, -3*b - 1 = -3*y + 2*b. Suppose -y*t - 3*t + 15 = 0. Let a = t - 3. Solve -q + 6 - 1 = a for q.
5
Let o be -3 + 9 + 4/(-2). Let v = o + -4. Suppose t - 5 + 0 = v. Solve 0 = t*q - 0 + 10 for q.
-2
Suppose -3*m = -0*m. Let q be (2/(-7))/(3/(-21)). Suppose s + 4*g - 31 = -g, -q*s + 62 = 2*g. Solve 5*b - 11 + s = m for b.
-4
Let q = -19 - -31. Suppose 5*u = 6*u - q. Suppose -5*s = -32 + u. Solve s*k = 10 - 26 for k.
-4
Let s be 13 - (1 + 3/3). Let r be (7 + -8)/(1/(-2)). Solve s = -3*a + r for a.
-3
Let h be ((-24)/20)/(4/10). Let u be 0/1*h/(-6). Solve 3*p - p = u for p.
0
Suppose 5*b + 3*p = -10, b + 3*p = -5 - 9. Let y = b + -11. Let a = y + 19. Solve 5*f + a - 24 = 0 for f.
3
Suppose 2*r - 14 = -r + 2*g, 0 = -3*r - 3*g - 6. Solve m + r = 7 for m.
5
Let a = -76 - -77. Solve -6 + a = -c for c.
5
Let l = 62 - 58. Solve 0 + l = 4*w for w.
1
Suppose 0 = x - 5*c + 5, -2*c + 3 = 3*x + c. Suppose x = 3*v - v. Solve v = -4*m - 5 - 7 for m.
-3
Suppose 5*r - 2*w = -w + 8, 4 = 2*w. Let f be (42/35)/((-4)/(-10)). Solve -25 = r*a + f*a for a.
-5
Let o(t) = -t**3 + 9*t**2 + 11*t - 10. Let c be o(10). Suppose c = d + 4 - 9. Solve 20 = -d*z + z for z.
-5
Let o = 31 + -22. Let u be (-1)/((o/(-12))/3). Solve -7 = u*h - 3 for h.
-1
Let x be (-2)/3 + 4/(-12). Let t = 0 - x. Suppose -2*k = t - 5. Solve 0 = -0*p + k*p - 10 for p.
5
Suppose 2*d - 4*d - 10 = 0, 0 = j - 2*d - 13. Suppose 0 = -j*r + i + 8, r - 4*i - 26 = i. Solve v - 2*v = -r for v.
1
Suppose -a + 3*a = -12. Let u be (a - -7)*(1 + -1). Solve r + 0 - 4 = u for r.
4
Let c(v) be the first derivative of 13*v - 4 + 1/2*v**2. Let s be c(-9). Solve -s*a - a = 0 for a.
0
Suppose -24 = -3*n + n + 4*a, -4*n + a = -13. Solve n*b = b for b.
0
Suppose 16 = -3*s + 7*s. Solve 3*r + 1 = s for r.
1
Let g be (-10 - 1)*2/(-2). Suppose k - 5 = 0, 4*w + 2*k + 5 = 31. Solve 0 = -5*b + w + g for b.
3
Let h(n) = 3*n**2 - n - 2. Let k be h(2). Let g = k - 6. Solve 0 = a - g*a + 5 for a.
5
Let o(j) = -j**3 - 9*j**2 - 14*j - 7. Let c be o(-7). Let t = 3 + 4. Let v = c + t. Solve v = 5*x - 4 - 11 for x.
3
Let q be (-4)/(4 - 6) + (-12)/6. Solve q = -2*d + 7*d for d.
0
Let u be (-7)/(-28) - 1/4. Solve -2*v + u*v = -4 for v.
2
Let v be -5*(0 + 72/(-20)). Let a = -15 + v. Solve a*i - i - 10 = 0 for i.
5
Let p be 1 - (2 - (1 + -1)). Let n be 10*(2/p)/(-4). Suppose 0 = 5*h + n*s, -h + 11 = -2*s - 4. Solve i + 8 = h*i for i.
2
Suppose 6 = 3*r - 0. Suppose -3*v + r*f - 3*f = -1, -2*v + 4*f + 24 = 0. Solve v*y = -y + 12 for y.
4
Suppose 0 = -2*p - 8 + 2, 2*p = 5*t - 26. Solve -16 + 4 = -t*i for i.
3
Let b = 23 + -20. Solve 0 = b*p - 3 for p.
1
Suppose 0 = -5*i + 2*i. Let f be 0/(-2) + (-2)/(-1). Suppose -2*t + 0 + 6 = 0. Solve i = a - t - f for a.
5
Let k(u) = 15*u - 4. Let w(s) = -7*s + 2. Let x(t) = -6*k(t) - 13*w(t). Suppose -28 = -2*c - 4*p - 0, -2*c = -5*p + 17. Let v be x(c). Solve -g + 3 = v*g for g.
1
Suppose z = 3*z - 4. Solve z*a + 4 = -4 for a.
-4
Let h = 7 + -1. Let p = 7 - h. Solve k = -2 + p for k.
-1
Suppose -7 = -u - 2. Suppose -i - 2*c - 3 = 0, 0*c - u*c - 12 = i. Solve 6 = 3*d - i for d.
3
Let d = -7 + -5. Let o = -7 - d. Solve 0 = 5*s - 5 - o for s.
2
Let i(t) = -t**2 - 8*t - 9. Suppose -3*o - 3*y - 33 = 0, 0 = 2*o - 3*y - y - 8. Let m be i(o). Solve 0 = -h + 1 + m for h.
4
Let a be -5*(-4)/10 - 1. Suppose -5*x + 3*v = v - 26, v - 13 = -4*x. Let p(r) = r**3 + 5*r**2 - 6*r + 3. Let c be p(-6)