y be b(7). Let r = 15 + -12. Solve -r = -j - y for j.
1
Let y = 545 + -543. Solve 0 = -0*l + y*l for l.
0
Let i = -15 - -29. Suppose -37*h - 177 - 45 = 0. Let x = h + i. Solve 2*g + x = 6*g for g.
2
Let f(w) = -2*w + 20. Suppose 0 = -l + 26 + 12. Suppose 4*r = -2*v + l, r + 13 = -0*v + 2*v. Let m be f(v). Solve m*d = -d for d.
0
Suppose -q + 4*y = 2*y - 32, 4*q + y - 101 = 0. Solve -2*o = -15*o + q for o.
2
Let y(m) = -m**3 - 12*m**2 - 12*m + 15. Let t be y(-11). Suppose 5*r + t = -64. Let q be (12/10)/(r/(-120)). Solve q = 4*c + 24 for c.
-4
Suppose -64 = 31*t - 39*t. Solve -t*n + 11 - 51 = 0 for n.
-5
Let k be (2/1 - -4) + 6 + -10. Suppose 4*r = 3*n + 8, -3*r + 2*r + k = -2*n. Solve -r = 4*y - 18 for y.
4
Let k = 18 + -20. Let d be 290/25 + k/(-5). Suppose 20 = g + 4*g. Solve 0 = i - g*i + d for i.
4
Suppose -30*s = -199 - 191. Solve 5*p - s*p - 16 = 0 for p.
-2
Let i be (-10)/(-15) + 140/42. Solve -2*n + i*n = -2 for n.
-1
Suppose -v + 2*u = 6, 3*v + u = 2*u + 2. Let c(p) = p**2 - 4. Let t be c(v). Solve -4*h - 4 = -t for h.
-1
Let g(c) = c**2 - c - 10. Let u be g(4). Suppose -10 = -2*f, -2*h = u*h - 2*f - 18. Solve -13 + h = 2*l for l.
-3
Let k be 3 + (-1)/((-1)/(-2 + -3)). Let s be (-3 - -1)/k*(2 - 0). Solve -s*u + 5*u = 9 for u.
3
Suppose 5*w + 3*u = 10*w - 17, 5*u - 25 = -5*w. Solve -22 = -15*v + w*v for v.
2
Suppose 8 + 52 = 2*r - 5*i, -5*i - 20 = 0. Solve -2*n = 2*n - r for n.
5
Let o(p) = 6 + 5*p**2 - 6*p + 6*p + 2*p - p**3 + 3*p. Let n be o(6). Solve n*l = -l - 1 for l.
-1
Suppose 0 = 7*n + n - 72. Suppose 0 = -3*w + w - 4*x + 4, -3*w = 3*x - n. Suppose -17 = -5*g - o, 3*g - w*o + o = 21. Solve 5 = g*s - 3*s for s.
5
Let t = 2091 - 2004. Solve 0 = -2*j + t - 89 for j.
-1
Let k(q) = -q**2 + 15*q - 47. Let x be k(5). Solve 3*v + x*v + 6 = 0 for v.
-1
Let d = -19 - -39. Suppose -3*x - 13 + 4 = 0, -2*a = -4*x - d. Solve a*k - 9 = -21 for k.
-3
Suppose 18*t - 59 + 23 = 0. Solve -5 = t*a + 3 for a.
-4
Suppose -51*h + 54*h = 2*o - 205, -h - 415 = -4*o. Solve o*g = 108*g for g.
0
Let n = -11 - -13. Suppose -36 = -n*c - 2*c. Suppose 3 = -3*t + c. Solve -t*v = -3*v - 2 for v.
-2
Suppose f + 4*n - 2 = 5, 10 = 5*f - 5*n. Suppose 0 = p - 8 + 6. Solve 0 = -f*h - p*h + 5 for h.
1
Let o(z) = 2*z - 1. Suppose 0 = 3*a - 30 - 6. Let k = a + -9. Let d be o(k). Solve d*r = r for r.
0
Let l = 16 + -12. Let f be (l/(-5))/((-10)/75). Suppose 0*o = 2*o - f. Solve o + 2 = 5*r for r.
1
Let h = -9 - -28. Let z = 24 - h. Suppose z*b - b + r = 10, 0 = -5*b - 4*r + 7. Solve i = -b*i + 12 for i.
3
Suppose -11*l - 25 + 91 = 0. Solve -l*s = 54 - 30 for s.
-4
Suppose -4*h + 0*d + 5*d + 39 = 0, d = 4*h - 27. Solve -2*s + 4 + h = 0 for s.
5
Let l be (2/24*-6)/(2/(-12)). Solve l = -2*s + 9 for s.
3
Let l(a) be the third derivative of 1/120*a**6 + 0*a - 1/3*a**4 - 7/6*a**3 - 2/15*a**5 + 0 - a**2. Let w be l(9). Solve 4*p - w = -6 for p.
-1
Let b = -302 + 314. Solve b = -32*v + 28*v for v.
-3
Let n(h) = h**2 + 3*h + 6. Let d be n(-4). Let j = d - 8. Suppose -4*a + 0*q + 26 = j*q, 5*a - 4*q - 13 = 0. Solve -a*m + 0*m = 25 for m.
-5
Let q(g) = -2*g**3 - 6*g**2 - 4*g + 3. Let a be q(-3). Solve 24*x = 19*x - a for x.
-3
Suppose -2*c - h = -6, 16*h - 18*h = -2*c + 18. Solve c*z = 11 + 4 for z.
3
Suppose 3*m = 2*y + 3*y - 40, -3*y - 4*m - 5 = 0. Solve -y*p + 9*p = 16 for p.
4
Let i(s) be the first derivative of -s**2 + 30*s + 17. Let x be i(15). Solve 0 = -x*k - 2*k - 10 for k.
-5
Let x be (3 + 88/6*-3)*-1. Solve x*i + 12 = 53*i for i.
1
Let r = -263 - -266. Solve 7 = -r*l - 2 for l.
-3
Let c be ((-8)/(-6))/((1/(-21))/(-1)). Suppose -2*f + 3*o = 13, 2*f = 5*f + 5*o - c. Solve 3*h - 10 + f = 0 for h.
3
Let n(y) = -y. Let d be n(-2). Solve 3 = -f - d*f for f.
-1
Let m(u) = -u**3 - 9*u**2 - 10*u + 4. Let q be 5*((-7)/(-5) - 3). Let n be m(q). Suppose 5*b = 2*h - 32, -2*b + b = 2*h - n. Solve -36 = -5*t - h for t.
5
Let z be 3*1 - (8 + -8). Solve z*x = 4*x for x.
0
Suppose 4*l - 606 = -594. Let d be 4 + 1 - 40/(-10). Solve 3 - d = l*q for q.
-2
Suppose 4*c - 85 = -c. Suppose 0 = 2*h - 4*n - 48, -h = h + n - 23. Let u = c - h. Solve u*l + 6 = 15 for l.
3
Let n(q) = -q**3 - 2*q**2 + q - 2. Let x be n(-2). Let d be ((-6)/x)/((-5)/(-30)). Let v = 6 + d. Solve 0 = 3*i - 0 - v for i.
5
Suppose 0 = 25*b - 15*b. Solve -3*k + b*k - 9 = 0 for k.
-3
Suppose 0 = -3*u - 5*c - 13, 2*u + 5*c + 8 = -9. Suppose 5*m - 101 = u*z, z + 4 + 0 = 0. Let d be (-3 + m/5)*10. Solve o - 20 = -d*o for o.
4
Suppose -4*l + 20 = l. Let n be 272/80 + (-4)/10. Let j be -1 + 4/(l/n). Solve 3*i = j*i for i.
0
Let q be (29 - -1)*(-2)/5. Let a be (-6 + 2)*q/16. Suppose -a*u + 2 = -10. Solve -u*s = -17 + 1 for s.
4
Let b be (-4)/(-3)*(-9)/(-6). Suppose -2*h + 110 = 3*j - h, -b*j - 2*h = -68. Suppose 13 = -5*i + j. Solve m - i = 2*m for m.
-5
Suppose -2*j = -0 - 6. Suppose j = 4*t - 5. Solve o = -t*o + 6 for o.
2
Suppose l = -4*q + 8, 3*l + 4 = 3*q - 2. Solve 15 = -q*c + 7*c for c.
3
Let u be -5 + (-359)/5 - 1/5. Let i(s) = -s**3 + 6*s**2 - 4*s + 2. Let p be i(6). Let n be (-106)/p + (-14)/u. Solve n = -d + 2 for d.
-3
Let z = -14 + 19. Suppose -5*u + 9 = -3*x - 2*u, -z*x = -4*u + 14. Let k = 2 + x. Solve k = m - 0*m for m.
0
Let n = -16 - -33. Suppose 0 = 2*y + 2 + 4, y = -4*s + n. Suppose 4*h - k - k - 14 = 0, s*h - 17 = 3*k. Solve h = -0*z - z for z.
-4
Let p be (63/(-12))/(-7)*28. Suppose c = -p + 6. Let z be 4/(-3) + (-95)/c. Solve -7 - z = -3*g for g.
4
Suppose 0*p = 10*p - 10. Let q be (1 + p - 2)/(12 + -10). Solve s - 6*s = q for s.
0
Let a(t) = t**3 + 2*t**2 - 27*t. Let n be a(-6). Solve -27*f = n + 90 for f.
-4
Let d(l) = l**3 + 6*l**2 - 5*l + 4. Let x be d(-6). Let j be 357/x + 1/2. Suppose -5*v = -4*v - 3. Solve -1 - j = v*f for f.
-4
Suppose 0*j - 7 = -3*n + 2*j, j = -4*n + 13. Solve 15 = -4*w + n for w.
-3
Let m = -332 + 342. Let h(u) = u**3 + 3*u**2 - 5*u - 1. Let q be h(-4). Solve m = 2*w + q*w for w.
2
Let m = 0 + 5. Let a(v) = -v + 7. Let c be a(m). Suppose 4*o - 24 = c*o. Solve 4 = 4*y - o for y.
4
Let f = 46 - 42. Suppose -4*w + 0*c + 40 = -f*c, -3*w + 14 = 5*c. Solve w = -d - 3*d for d.
-2
Let q(s) = s**3 + 9*s**2 + 13*s + 10. Let j be q(-5). Suppose -j = -4*b - 5*x, 5*b + 0*x - 5*x = 0. Solve 7*z - 2*z = b for z.
1
Suppose 5*a + 26 = 3*x, 3*a = -2 - 1. Solve x*s - 2*s + 10 = 0 for s.
-2
Suppose 6*n + 4 = 8*n. Let j be (-3 + (2 - 0) - -3)*n. Solve j*c - 3*c + 5 = 0 for c.
-5
Suppose 0 = -58*u - 3*u + 1037. Solve q + u*q = 0 for q.
0
Let d(k) = -k**2 + k + 3. Let c be d(0). Let x(a) = -126*a + 2020. Let v be x(16). Solve -q - v = c*q for q.
-1
Suppose 57*l = 11*l. Solve -3*f - 17 + 14 = l for f.
-1
Let p be (-4)/14 + (-90)/(-21). Suppose -p*d = -7*d. Solve 6 = -d*b - 3*b for b.
-2
Let t = 6 - -1. Let r(i) = 2*i**2 - 13*i - 5. Let z be r(t). Suppose -z*f + 5*f = 9. Solve -f*d = d for d.
0
Suppose 2*j - 2*c = 8, -12*c = -2*j - 11*c + 13. Solve g - 7 + j = 0 for g.
-2
Let a(p) = -p**2 - 2*p. Let r be a(-2). Let f(m) = -m**3 - 9*m**2 + 8*m - 13. Let z be f(-10). Solve r = 4*k - 13 - z for k.
5
Let c(u) = u**2 + 2*u - 4. Let h be c(2). Solve -20 = h*l - 0*l for l.
-5
Suppose 5*m - 68 = 3*y, 2*m - 22*y + 23*y - 36 = 0. Suppose -4 = -6*u + 4*u. Suppose -u*h = 2*h - m. Solve -h*o = 7 + 1 for o.
-2
Let r be (8/(-14))/((-130)/(-70) + -2). Solve -2 = r*d + 10 for d.
-3
Let q be ((-88)/6)/(72/(-54)). Solve -j - 14 = -q for j.
-3
Let j(r) = 2*r**2 - 10*r + 7. Let p be j(4). Let q be -3 - (-2 + 0 + p). Solve q*b - 2*b - 2 = 0 for b.
-1
Let q be -1 + (-6)/((-30)/25). Solve -3*s - q = -2*s for s.
-4
Let c = 25 + -23. Suppose c*d + 8 = 0, 4*u + 2*d = 5*u + 10. Let m = 22 + u. Solve m*b = 2*b + 2 for b.
1
Let u = 35 - 26. Let v(z) = -z**3 + 10*z**2 - 9*z + 4. Let t be v(u). Solve w - t = -1 for w.
3
Let p = 245 - 245. Solve 2*k = -p*k + 8 for k.
4
Let x(b) = b + 2. Let v be x(6). Suppose v*w = 3*w - 0*w. Let l(r) = 3*r - 1. Let q be l(2). Solve -2*z - 15 + q = w for z.
-5
Let q(k) = -k**3 - 8*k**2 + 10*k + 11. Let n be q(-9). Suppose -3*s + 10 = -z - 6, 2*z = -n*s. Solve -c = -2*c - s for c.
-4
Let n be 2/((-5)/270*4). Let p = 30 + n. Solve 0 = p*y + 2 + 4 for y.
-2
Let r(k) = -k**2 - 7*k + 11. Let x be r(-8). Suppose 19 - 7 = 3*t. Let i be (t/8)/((-2)/(-44)). Solve x*u - i = -5 for u.
2
Let h(p) = p + 1. Let q be