lve 0 = -4*z + b*z + 1 for z.
-1
Suppose 2 = -4*t + 10. Suppose 0 = -5*p + 5*x, t*p + x - 8 = 4. Let s(j) = -j**3 - 3*j**2 - 2*j - 3. Let f be s(-3). Solve 2 = f*g - p*g for g.
-2
Let w be (-10)/(-35) - (-79)/(-7). Let l = -7 - w. Solve -l = a - 3*a for a.
2
Let g = -4 - -4. Let x = -14 + 23. Let d be 60/x - (-4)/(-6). Solve g = -2*v + 4*v + d for v.
-3
Suppose 0 = 4*l - 4*s + 8, -3*l + 0*l - 2*s + 14 = 0. Solve -5*b = -l*b for b.
0
Let t(i) be the third derivative of -i**5/60 + i**4/4 + i**3/3 + 6*i**2. Let f be t(6). Solve -25 = -f*d + 7*d for d.
-5
Let i = -78 - -80. Solve i*x = x for x.
0
Let q = 29 - 17. Solve q = 3*l + l for l.
3
Let k(r) = r**3 + 2. Let d be k(0). Solve -d*w + 8 = -0*w for w.
4
Let z be (-1 + 1 - 2) + 8. Suppose -2 = -5*g + 4*o, 2*g - z = o - 2*o. Suppose -37 + 97 = 5*v + 3*f, -2*v + 4*f - g = 0. Solve -4*q + v*q = 0 for q.
0
Let a(u) = u. Let v be a(0). Let m(f) = -f. Let n be (0/(-2))/(-4 - -2). Let g be m(n). Solve q - 3 + g = v for q.
3
Let q be ((-39)/(-12) - 3/12) + -2. Solve q + 1 = -2*x for x.
-1
Suppose -2*t + 0*t + 6 = 0, 2*t + 2 = 4*k. Solve k*n = -3*n + 5 for n.
1
Let p = -5 + 16. Suppose -5*d = -14 - p. Solve -i = -d + 7 for i.
-2
Let w be 0 + 0 + 1 + 1. Suppose d + 0*f = 4*f - 3, -w*d - f = -12. Solve 2*v = 3*v + d for v.
-5
Let n = -3 - -6. Suppose -11 + 114 = 4*u - 5*d, -n*d = 9. Suppose 0*s - 20 = -s - 5*m, -5*s = -m - u. Solve -3*c + s = 2*c for c.
1
Suppose -4*i + 132 = 5*k, -2*k + 53 = 4*i - 7. Suppose k = 2*b - 0*b. Solve -4*m - b = -m for m.
-4
Suppose 10 = -6*v + 7*v. Solve 0*r - v = 2*r for r.
-5
Let f be 0*(4 - (0 - -3)). Solve f = -y + 4 - 0 for y.
4
Let t = 16 + -1. Suppose o - 13 + 5 = 0. Let s be t/(-2*(-6)/o). Solve -4*b + s = -2 for b.
3
Let s(f) = 2*f + 11. Let x be s(-3). Solve -m + 7 = x for m.
2
Suppose 3*q - 2*f - 85 = 3*f, 3*f + 27 = q. Suppose q = j + 2*j. Solve b = -b - j for b.
-5
Let o(z) = 7*z - 4. Let n be o(2). Let y = -10 + n. Solve -m + y = -1 for m.
1
Let d = 7 - 2. Suppose -3*c = d*u, 5*u - 4*c - 26 = 3*u. Solve -2*a - 10 = u*a for a.
-2
Suppose -3 = -4*c + 9. Let j be (2 + -6 + c)*-1. Solve -j = -2*q + 7 for q.
4
Suppose -2*x + 39 = x. Let c = -8 + x. Suppose -4*q = -c*h - 10, 2*h + 2*h + 2*q = 18. Solve 0 = h*a - a + 4 for a.
-4
Let r(k) = 29*k + 2. Let y be r(2). Suppose 12*v - 17*v = -10. Suppose 0 = -l - v*l + y. Solve 4*w + w - l = 0 for w.
4
Suppose 2*j + 2*o = 34, -3*j + 5*o + 23 = -2*j. Suppose 3*k = -2*k + 4*s + 30, -4*s - 24 = -2*k. Solve -k = -5*n + j for n.
4
Let s(t) = -t**3 - 6*t**2 - 6*t - 3. Let h be s(-5). Solve c - 9 = -h*c for c.
3
Suppose -4*z - 3*k = 10, 7*k - 3*k = -2*z. Let v be (-2)/z - 4/8. Solve v = 3*g + 7 + 5 for g.
-4
Suppose 28 = 2*f - 0*m - 5*m, 2*m - 12 = -5*f. Let o = 17 - 11. Let k be (9/o)/(3/f). Solve 0 = k*u + 2*u for u.
0
Suppose -a + 3*o - o = 0, -2*o = -6. Let m = a - 1. Solve 0*h + m = -h for h.
-5
Suppose -2 + 11 = d. Suppose 0*k + d = 3*k. Solve -k*j = -j - 2 for j.
1
Let p(j) = j**3 + 8*j**2 - 8*j + 11. Let l be p(-9). Solve l*i = -0*i + 4 for i.
2
Suppose -6*g + 64 = 2*g. Solve v = -v + g for v.
4
Let b(j) be the second derivative of j**5/20 - 5*j**4/12 - 7*j**3/6 + 4*j**2 + 2*j. Let t be b(6). Solve 2*r + 8 + t = 0 for r.
-5
Suppose 4 - 2 = 5*x + n, n = 2*x - 5. Let o(g) = -2*g**2 - 15*g - 5. Let m be o(-7). Let h be 4 - ((1 - x) + m). Solve -h*l - 2 = 2 for l.
-2
Suppose -19 = -u + 2*b + b, u + 11 = -3*b. Solve 0 = -0*a + u*a + 20 for a.
-5
Suppose -18 = -2*d + 4*k, 2*k = 3*d + 7*k - 5. Let r(l) = 0*l**2 - 2*l**2 + 6 + 13*l + l**2. Let i be r(13). Solve 0 = -2*w + d*w + i for w.
-2
Let w = 61 + -40. Let c be 14/w*(-3)/(-1). Solve 3*o = c*o + 5 for o.
5
Let j(a) = a**3 + 5*a**2 + 2*a - 4. Let m be j(-4). Let z = m - 2. Let y be (-10)/z*-1*2. Solve 0 = u - 3*u + y for u.
5
Let d(q) = q**3 - q**2 + 3*q - 6. Let w be d(2). Solve 0 = -4*b - w + 8 for b.
1
Let y be 1/(4*(-5)/(-120)). Solve 4*f - y = 2*f for f.
3
Let d(s) = -s**2 - 11*s + 12. Let g be d(-12). Solve -18 = -g*p - 6*p for p.
3
Let j(m) = 3*m**3 - 2*m**2 + 5*m + 1. Let l(p) = -5*p**3 + 3*p**2 - 8*p - 1. Let t(a) = 8*j(a) + 5*l(a). Let v be t(0). Solve -6*k + v*k = 0 for k.
0
Let f(n) = n**3 - 5*n**2 + 4*n + 1. Let j be f(4). Solve 0 = -i - 0*i - j for i.
-1
Let r = 7 - 7. Solve -i + r + 2 = 0 for i.
2
Let j = -75 + 81. Solve j = -3*k + 5*k for k.
3
Suppose 2*i - 4*a = 4, i - 6 = -2*a - 0. Suppose -i = -d + 1. Suppose 4*x - 19 = -0*s - s, 2*x + d*s = -13. Solve -x = -3*m - 18 for m.
-4
Let g be ((-20)/25)/(4/(-10)). Solve -5*p + g*p = -9 for p.
3
Let z be 78/14 - 3/(-7). Solve 4*a - z = 2*a for a.
3
Suppose -2*r + 2*d = 0, r + d = -3 + 11. Suppose -2*z + 4*z - r = 0. Solve 3*h - 5*h - z = 0 for h.
-1
Let c be (6/(-15))/((-2)/10). Let m = 3 + c. Let d be m/(-2)*16/(-10). Solve -d*b - 6 = -b for b.
-2
Suppose -3*h - 13 = -2*b, -2*h = 5*b - 0*b - 4. Suppose v + b*v - 9 = 0. Solve -2*a = v*a for a.
0
Let z = 37 - 37. Suppose 4*y = j - 0*y - 6, 5*j + 33 = -y. Let p = j - -8. Solve z = -5*s + p*s - 9 for s.
-3
Suppose 0 = 7*s - 12*s + 35. Let z = s + -4. Solve 12 = z*m - 0*m for m.
4
Let h = -1 + 4. Suppose -2*b + 121 = 4*t - 3*b, 0 = -2*t + 5*b + 65. Suppose -5*y = -2*s + t - 10, -s + 2*y + 8 = 0. Solve c - 5 + h = s for c.
2
Let u be (2/(-2))/(0 - -1). Suppose c = -2, -3*w - c - 2*c + 12 = 0. Let m = u + w. Solve 0 = m*q + 10 for q.
-2
Let h be (-225)/(-18)*4/5. Suppose 7*f - h = 2*f. Solve -1 = b + f for b.
-3
Let a = -8 - -10. Solve -3*b - a = -11 for b.
3
Suppose 0 = -t + 3*h + 17 - 4, 3*h + 9 = 0. Suppose t*y = -3 - 1. Let r be (-7 + y)/(-5 - -3). Solve -r = -5*u + 6 for u.
2
Let t = -15 - -19. Suppose 0*b - 3 = -b. Let y be ((-2)/b)/((-4)/72). Solve t*s - y = s for s.
4
Suppose w + 3*p = 4, 5*p + 16 + 10 = 3*w. Solve 4*q - w - 13 = 0 for q.
5
Let w(z) = z + 2. Let r be w(-2). Suppose r*g - 3*g + 9 = 0. Suppose -47*h + 40 = -43*h. Solve -2*a - g*a = h for a.
-2
Let v be 12/(-15)*(-10)/4. Suppose 10 = 5*d + 3*h, 2*d + h = 8 - 3. Suppose d*n = -c - 2*c - 9, -v*n = -c + 8. Solve -c*y - 3 = 7 for y.
-5
Suppose -3*o + o = -2*v + 10, -5*v = -4*o - 22. Suppose v*l - 12 = -l. Solve -h + l - 2 = 0 for h.
2
Let l(n) = -n**3 + 14*n**2 + 16*n - 7. Let z be l(15). Solve -2*u + z*u + 24 = 0 for u.
-4
Let d(w) = -w**2 + 6*w + 1. Let z be d(7). Let h(i) = -i**3 - 5*i**2 + 4*i - 7. Let r be h(z). Solve 2*x = x + r for x.
5
Let p(q) = -q**3 + 5*q**2 - 5*q + 6. Let f be p(4). Let b(v) = 10 + 9*v**2 - 15*v**f + 8*v + 7*v**2. Let x be b(-7). Solve -3*m - x + 0 = 0 for m.
-1
Suppose -18 = 2*h + h. Let d(r) = r + 10. Let b be d(h). Solve -3*o + 2*o - b = 0 for o.
-4
Let l = -65 + 92. Let h be l + (-3 - (1 + -2)). Solve h = -0*b + 5*b for b.
5
Let u(t) = -7*t**3 + t**2. Let c be u(1). Let h = c + 10. Solve -h*v + 3 = -17 for v.
5
Let a(v) be the second derivative of v**5/20 - v**4/6 - 2*v**3/3 + 3*v**2/2 + 6*v. Let n be a(3). Solve n = 4*m - 5 - 3 for m.
2
Suppose -2*d + 14 = -0. Solve 2*j + 25 = d*j for j.
5
Let y be -4*2/(-16)*0. Solve -u + 1 = -y for u.
1
Let d = 32 + -31. Let y = -1 + 3. Solve -l + y = -d for l.
3
Let w = 69 + -35. Suppose 0 = -4*r + k + w, -3*k + k = r - 4. Solve r*b - 4*b - 12 = 0 for b.
3
Let g be (13 + -11)/((-2)/(-4)). Solve 0 - 4 = g*j for j.
-1
Suppose -2*f = -3*a + 9, 2*f - 6*a + 12 = -2*a. Suppose 0 = -2*z + l + 6, 0*z + 2*l - 3 = -z. Suppose 3*o = 6*o - z. Solve o = r - f*r for r.
1
Suppose -2*d = 3*p + 13, p - 10 + 1 = 2*d. Let v be (-1 - 1)*(-7 + p). Suppose o - 12 = -3*c, -v = -5*o - 0*o - 4*c. Solve o = 4*s - 2*s for s.
0
Suppose -4 = -0*y - 2*y. Suppose -3*b = -4*i + 33, 7*i = y*i + 3*b + 39. Suppose -2*h = -0*h - i. Solve -h*f = -0*f for f.
0
Let b = 5 - -10. Solve -b + 5 = 2*i for i.
-5
Suppose 2*u + 23 = 2*l - 3*u, l - 2*u = 10. Suppose -2 - l = -3*k. Solve -k = -4*q + 2 for q.
1
Let s(j) = 4*j - 56. Let v be s(17). Solve h = -3*h + v for h.
3
Let b(z) = z**3 + z**2 - z + 7. Let m be (-1)/(-1 - (-12)/10). Let y be (m/(-3) + -2)*0. Let p be b(y). Solve 9 = -4*g + p*g for g.
3
Let o be (-1 - -3)*6 + -2. Solve s - 3*s + o = 0 for s.
5
Let c be (20/6 - -3)*3. Solve 5*s + 6 = -c for s.
-5
Let y = -2 - -5. Solve m + y = -1 for m.
-4
Let f be (8/24)/(2/(-6)). Let x be f/((1 + 3)/(-8)). Solve 0 = 4*c - x*c for c.
0
Let x(i) = -i**2 + 10*i - 2. Let p be x(12).