 1 - i = 0 for y.
4
Let b be 129/9 - (-8)/12. Solve b = -5*v - 5 for v.
-4
Let v be 7 - 9/((-18)/(-4)). Solve 20 = 5*t - v for t.
5
Let l(k) = -2*k - 3. Let a be l(-4). Solve -4*g + 3*g = -a for g.
5
Let a(i) = i + 6. Suppose -2*t + 4 + 4 = -4*x, -5*t + x = 7. Let r be t*(1 + 0) + 2. Let z be a(r). Solve -2 - z = 4*p for p.
-2
Suppose 4*a = q - a - 20, q + 4*a = -16. Solve q*r = -r - 5 for r.
-5
Suppose -7*u = -3*u - 60. Suppose 4*b = 2*m + 20, 2*m - u = -3*b + m. Suppose -b*t = -t. Solve 3*v = -t*v - 3 for v.
-1
Let w be 498/4 + (-4)/(-8). Let k = -74 + w. Suppose 2*u = -u + k. Solve 5*h = -2 + u for h.
3
Let u = 5 + -7. Let h be (1 + -1)*u/4. Let l be (4/(-3))/((-2)/6). Solve l*c + h*c = 0 for c.
0
Let w = -9 - -11. Let b be (-10 + 10)*w/(-4). Solve 2 = -2*r - b for r.
-1
Let c = 2 - 3. Let u be (1 - 0) + (-5)/c. Suppose -4*d - 4*k = -4, -4*k = -3*d + u + 4. Solve d*y = -8 - 2 for y.
-5
Suppose -5*b + i - 2*i = -15, 0 = -2*b + 2*i + 6. Suppose 7*d - 1 = -2*q + 2*d, 0 = -q + 5*d - 7. Let j be 1/((4 + q)/4). Solve b = -m + j for m.
-1
Let a = 2 + 4. Solve 0 = 2*f - a*f for f.
0
Suppose -2*o + o + 4 = 0. Let h(j) = j. Let k be h(o). Solve 8 + k = 4*l for l.
3
Let p be 120/(-18)*(-3)/2. Solve -2 = -4*w + p for w.
3
Let m = -12 + -30. Let n be (-6)/4*m/9. Solve -3*c + 1 = n for c.
-2
Suppose -14*x = -17*x + 66. Let h = x + -19. Solve 0 = -3*f - 6 - h for f.
-3
Let f be (-74)/(-26) - (-4)/26. Let w be (-2 + f)/((-3)/(-6)). Suppose -w*b = 2*b - 24. Solve 0 = 2*j + j - b for j.
2
Let z be 6/4 + (-3)/(-6). Solve -z*o + 6 = -4*o for o.
-3
Let p(m) = m**3 - 5*m**2 - 5*m - 3. Let q be (9 + -6)*(-2)/6. Let d(g) = -6*g. Let h be d(q). Let k be p(h). Solve k*l = -2*l for l.
0
Let k(b) = -3*b**2 + b + 1. Let h be k(-1). Let n = h - -3. Suppose -2*c - 6 = -3*j, n = 2*c + 2*c + 4*j - 28. Solve m + 2 + c = 0 for m.
-5
Let v be 3 + 2 + (2 - 2) + 0. Solve 2*x = 1 + v for x.
3
Let q(a) = -a**2 + 7*a + 10. Let t be (2 - 1) + 2 + 1. Suppose -4*v = 3*j - 26, 2*v = t*j - 5*j + 14. Let k be q(v). Solve 2*p + k = -0 for p.
-1
Let i(g) = g**2 + 10*g - 4. Let u be i(-10). Let r be 207/45 + u/(-10). Solve 0 = r*m - m + 4 for m.
-1
Suppose -10 = -5*a, 2 = -l - 2*a + 7. Let f(h) be the third derivative of -h**5/60 + h**3/6 + h**2. Let g be f(l). Solve g*p + 10 = 5*p for p.
2
Let x(l) be the third derivative of -l**4/24 + 11*l**3/6 + 5*l**2. Let j be x(10). Solve -a = 3 + j for a.
-4
Suppose -g = g. Solve g*i = -i + 3 for i.
3
Suppose 8*c + 15 = 11*c. Solve -3*w = -c*w for w.
0
Let m = -68 + 68. Solve m*n - 2*n - 2 = 0 for n.
-1
Let t(p) = 5*p**2 + 5*p - 12. Let m be t(-4). Let d be (-2)/(-4)*-11*-6. Let r = m - d. Solve 0*w = -3*w - r for w.
-5
Let l = -73 + 76. Solve -l*x + 8*x = -25 for x.
-5
Let k = 0 + 21. Let s = k + -7. Solve -6 - s = 5*o for o.
-4
Let k(j) = j**2 + 11*j + 20. Let g be k(-9). Solve 4*o - 5*o + g = 0 for o.
2
Suppose -4*x - 2 = -26. Let i(c) = c**3 - 7*c**2 + 6*c + 5. Let k be i(x). Solve -k*q = -q - 4 for q.
1
Suppose 5*n = -3*t, -2*n = 3*n + t. Solve n*x - 3 = 3*x for x.
-1
Suppose 5*g = 25, -5*w - 18 - 42 = g. Let f(v) = v**2 + 14*v + 18. Let b be f(w). Solve 19 = -b*q + 4 for q.
-3
Let k(p) = 3*p - 3. Let v be k(3). Let i = 0 - -3. Suppose i*x - 2 - 4 = 0. Solve -x*l = -v*l - 12 for l.
-3
Let s(j) = -j**2 - 7*j + 7*j + 2. Let r be s(0). Let m = -2 + r. Solve m*a + 12 = 4*a for a.
3
Let l = 31 + 4. Solve -5*v = 10 - l for v.
5
Suppose -5*c = -0*c. Suppose c*a - a = -2. Solve -a = -4*k + 2 for k.
1
Suppose -3*h + 0*h = 0. Let z(f) = f**2 - 8*f + 1. Let j be z(8). Let v be 0/(-2*(0 + j)). Solve h = -5*q - v*q for q.
0
Suppose 0 = 10*i - 4*i - 6. Solve -5 = 2*x - i for x.
-2
Let w be (4/(-8))/((-2)/(-4)). Let j(g) = g**2 - g - 1. Let x be j(w). Solve -2 + x = -r for r.
1
Let u be 3*((-4)/(-2) - 1). Let r = -1 + u. Let l be ((-15)/6 + 2)*-2. Solve -g - r = -l for g.
-1
Let a = -6 + 12. Let d be (40/a)/((-2)/(-6)). Let r = 75 + -71. Solve 9*b = r*b + d for b.
4
Suppose u = -0 + 1, 0 = 4*l + u + 7. Let f = l - -4. Solve z - 4 + f = 0 for z.
2
Suppose 6 = 2*s - 0. Let p be 2/(-6) + 1/s. Suppose g = -p*g + 5. Solve 0 = -g*a - 15 - 0 for a.
-3
Let o be -1 + 3/(3 - 0). Suppose 21 = 2*g - o*y + y, 2*g + 4*y = 30. Solve 4*r - 7 = g for r.
4
Suppose 6 = x + x - h, -5*x + 17 = -2*h. Suppose -b + 2*s = s + 4, s = x*b. Solve -9 - b = -2*f for f.
5
Let c(z) = 3*z - 18. Let v be c(6). Solve q + 3 + 2 = v for q.
-5
Suppose 10 + 5 = a. Let h = -21 + a. Let z = -3 - h. Solve z*k = 7*k + 16 for k.
-4
Let u be 3/(((-9)/6 + 1)*-2). Solve -8*x = -u*x for x.
0
Let n = 0 - -2. Let r = 70 + -68. Solve o + n = -r for o.
-4
Suppose 5*j - 2*v = 5, v - 6*v = 0. Let q be (20/8)/(j/2). Solve 0 = q*n - 0 + 5 for n.
-1
Let z(o) = o**2 - 2. Let b(p) = p**3 + 13*p**2 + 13*p + 10. Let f be b(-12). Let y be z(f). Solve y*j + 0*j = 0 for j.
0
Suppose 0 = j - 3*g - 21, -5*j + 6*j + 3*g + 9 = 0. Solve -o + j = 10 for o.
-4
Let y be 1*((15 - 2) + 2). Let a = -12 + y. Solve a*r - 4 = -r for r.
1
Let m(o) = o**2 + 6*o - 3. Let x be m(-6). Let z(d) = -d**2 - 4*d - 3. Let c be z(x). Suppose 5*b + 0*b = 80. Solve 0 = -c*a - 4*a + b for a.
4
Let d(z) = z**3 + 6*z**2 - 4*z + 3. Let n be -8 - ((-3)/1 - -1). Let j be d(n). Let t = j + -17. Solve -5*b = -3*b - t for b.
5
Let h(q) = q**2 - 7*q + 6. Let k be h(6). Suppose -4 = -k*t - t. Suppose 3*z - 2*v + 6 = 0, -5*v + 16 = -t*z + 1. Solve z = -2*d - 0*d + 10 for d.
5
Suppose -3*m + 4*h + 26 = 0, 3*m + 2*h - 5*h = 24. Suppose -p - 5*w - m = -0*w, -4*p = 3*w - 10. Suppose -r - 9 = -p*r. Solve 4*d - 5*d - r = 0 for d.
-3
Suppose -12 = -s + 3*h, -3*h - 16 = h. Solve 4*x + 0*x + 16 = s for x.
-4
Suppose s = -s. Suppose -7*u + 0 = -35. Solve -5*v + 5 + u = s for v.
2
Suppose m = s, 0*s - 5*s + m = 12. Let f = 7 + s. Suppose 0 = 5*w + f - 14. Solve 15 = w*u + 5 for u.
5
Let t = 2 - -2. Let z = t + -2. Suppose 2*n = z*j + 6, 3*j = -0*j - 3. Solve n*m + 0 = 6 for m.
3
Let n be (0 - -28)*(-25)/(-100). Solve -n = w - 2 for w.
-5
Suppose -2*k - 15 = -m, 0 = -2*k + k - 3. Suppose 3*y = 4*y - 2. Solve 0 = y*c - m - 1 for c.
5
Let p be (2/3)/(2/69). Solve -3 = -4*j - p for j.
-5
Suppose 0 = -3*r - 3*j + 45, r + j = -2*j + 5. Let y be (2/(-5))/((-4)/r). Let u = 3 + -3. Solve u*d = y*d for d.
0
Let i be (-24)/(-84) - 12/(-7). Solve -4*a = -i*a + 2 for a.
-1
Let y(c) = -5*c**3 + c**2 + c. Let h be y(-1). Suppose 5 + 7 = -n - 3*b, 2*n - h*b = 20. Solve n*k = -4*k + 20 for k.
5
Let q(x) = x - 1. Let m be q(-6). Let d = 11 - 21. Let g = m - d. Solve p = 2 - g for p.
-1
Let w = 13 + -13. Solve w*y + 6 = 3*y for y.
2
Suppose -6*y + 2*y = 0. Let l be y/(-3)*(-2)/(-4). Suppose -21 = 3*f + 5*z - 8, -18 = -2*f + 2*z. Solve t + f - 3 = l for t.
-1
Let l(s) = -11 + 13 + s**2 - s - 2*s. Let q be l(2). Solve 3 = -q*x - 3*x for x.
-1
Suppose 0 = -4*q + 20, -4*j = -3*j - 3*q + 13. Let k = 1 - -6. Let s = k + -4. Solve 10 = -s*h - j*h for h.
-2
Let g = 96 + -78. Solve -20 = -14*l + g*l for l.
-5
Let u = -90 - -121. Solve -u = -5*i - 6 for i.
5
Suppose -4*x + 6 = -x. Let z(v) = -v**2 + 4 - x*v - 5 + 2*v**2. Let p be z(-1). Solve p*u - 4 = -2*u for u.
1
Let s = 6 + -2. Suppose s*o + 6 = 14. Suppose o*l + 5 = 7*l. Solve d + 0 = l for d.
1
Suppose -y + 16 = 3*y. Solve 0 = 3*l + l + y for l.
-1
Let b be (-2)/4*0/(-1). Let z = b - -2. Solve 9 = z*w + 3 for w.
3
Let t be (4/(-2) - 3)/(-1). Suppose -6*u + 4 = -t*u. Solve -b + 0*b = u for b.
-4
Suppose 5*o - 7 = 2*g - 23, 0 = -5*g + 3*o + 21. Suppose 0*n - 12 = -g*n. Suppose -r + 16 = -9*k + 4*k, 3*r - 62 = k. Solve r = 5*j - n for j.
5
Let h be -2*(-1 + 9/(-6)). Suppose 7 = 4*s + 2*c - h*c, 3*s - 6 = 2*c. Solve -s*o = -2*o for o.
0
Let k(y) be the first derivative of 0*y + 1/4*y**4 + 0*y**2 - 1/3*y**3 + 4. Let o be k(1). Solve -i - 4 = -o for i.
-4
Suppose -13 = -3*b + 2*f, 6*b + 4*f - 1 = 3*b. Let h be (1/1)/((-1)/(-2)). Let q(x) = -x**3 + 3*x**2 - 2. Let c be q(h). Solve c*n + b*n = -25 for n.
-5
Let h = -4 + 7. Let f(x) = h*x**2 - 4*x**2 + 10 + 4*x + 2*x. Let w be f(7). Solve w*a - 8 = a for a.
4
Let o = -14 - -9. Let u = 8 + o. Let s(r) = -r**3 - 11*r**2 - r - 4. Let q be s(-11). Solve -u*b + 12 = -q*b for b.
-3
Let i(q) = -q - 3. Let d be i(0). Let g = d - 3. Let v be 3*(-1)/g*10. Solve l + 0*l - v = 0 for l.
5
Suppose -6 = -3*t + 9.