*h - w + 21 for h.
-5
Let n(q) = q**3 - 6*q**2 + 6*q + 7. Let g be n(5). Let t = 27 - 19. Let b = g - t. Solve 0*l = l - b for l.
4
Let i(k) = -2*k**2 + 15*k - 19. Let d be i(5). Solve -d*t = -27 + 3 for t.
4
Suppose -n + c = -5, -10*n - 2*c = -9*n - 11. Solve 2*j - 18 = -n*j for j.
2
Suppose -26 = 5*h - 7*h. Suppose -5*z - 2*q = -20, 4*q = 2*z - 1 - 7. Solve 3 = -z*i - h for i.
-4
Let r = 469 + -441. Solve 5*i + r = 12*i for i.
4
Let u(b) = -b**2 + 3*b - 2. Let f be u(2). Let x = -56 + 34. Let s = x + 26. Solve f = s*a - 0*a - 4 for a.
1
Let d(j) = 17*j**2 - 53*j + 6. Let o be d(3). Solve 8*f - 4*f = o for f.
0
Let r be -1 + 9 + (-4)/1. Suppose 4*b + 2*g = r*g + 22, -4*b + g + 19 = 0. Solve 2 = -2*v + b for v.
1
Suppose 2 = 2*x + 2*p, 2*x + 5*p + 0*p = -4. Solve x*o = -36 + 30 for o.
-2
Suppose 24 = 2*f + f + 4*o, 2*o - 40 = -5*f. Suppose 0 = -13*k + 11*k + f. Suppose 0 = -2*t - 2*c - 3*c - 17, k*c = 2*t - 28. Solve -3*g + t = -11 for g.
5
Let s(o) = -o**2 - 1. Let v be s(-2). Let f be 264/60 + 2/v. Solve -f = 3*x + 2 for x.
-2
Suppose 0 = f + 4*m + 5, f - 10 = 2*m - m. Let u(h) = -7876 + 3947 - 2*h + 3946. Let c be u(f). Solve -3*r = -4*r - c for r.
-3
Suppose 2*w = -2*o + 18 + 2, -3*o + 22 = -w. Solve 4*m = 12 - o for m.
1
Let b be 14/77 - (-2 - 788/22). Let o = 41 - b. Solve -3*i - o - 3 = 0 for i.
-2
Suppose 40 = 4*i - 3*l + 11, -3*l - 19 = -2*i. Suppose -2*p + t = -4*p - 12, 0 = 4*t - 16. Let x be (-34)/p - (9/4 + -2). Solve x*o + i = -11 for o.
-4
Suppose -6*a = -11*a + 15. Suppose -4*b + c + 1 = -a, 3*c = 12. Suppose 32 = 5*n - 18. Solve b = 3*f - n for f.
4
Let n(p) = -p + 11. Let r be n(7). Suppose 2*d + d + 244 = o, r*d - 2*o + 326 = 0. Let f be (-15)/20 - d/12. Solve s - 10 = f*s for s.
-2
Let o be -2*-2*1/2. Let n(r) = r**3 + 21*r**2 + 2*r + 50. Let g be n(-21). Suppose 2 = -o*l + g. Solve -j - 2 = l for j.
-5
Suppose 20*c - 19*c + 50 = 0. Let w = 51 + c. Solve -7 + w = -3*b for b.
2
Let k(c) be the second derivative of c**4/12 + c**3/3 + c**2/2 - 10*c + 3. Let f(u) = -2*u + 1. Let d be f(2). Let n be k(d). Solve -21 = -5*i + n for i.
5
Let o = 140 + -138. Let d be 6/(o - 5) - -5. Solve 1 = -s - d for s.
-4
Let r be (-12)/(-9)*6/1. Suppose -5*d + 9 = -21. Let g be ((-4)/(-1 + 2))/(12/(-6)). Solve d*x - g*x = r for x.
2
Let k be 7 - -1 - (4 - -2). Solve k*t - 4 + 10 = 0 for t.
-3
Let i(z) = -z**2 + z. Let g be i(5). Let b = g - -21. Let n(h) = h**2 + h. Let v be n(b). Solve -r = -v*r for r.
0
Suppose 16 = i - 0*i. Let h be (-35)/(-4) + (-77)/(-308). Solve 5*f - i = h*f for f.
-4
Let i(f) = -7*f + 12. Let n be i(3). Let t be (-43)/n + 224/36 + -6. Solve -u + t = -0*u for u.
5
Let r(b) = -b**3 + 6*b**2 + b - 3. Let m be r(6). Suppose 2*v - 98 = -m*i, -i + 26 = 2*v - 3*v. Suppose -3 = 3*w - i. Solve -4*p = -p + w for p.
-3
Suppose -10 = -2*s + 4*t, 0 = 5*s - s + 5*t - 7. Suppose -s*f = -q - 3, 3*f - 7*q + 2*q = -9. Solve 2 = -g + f*g for g.
2
Let w(m) = -m**2 - 9*m - 17. Let j be w(-5). Suppose -f - j*f = -y - 14, f - 17 = -2*y. Solve 30 = y*a - 0*a for a.
5
Let h = 6 - -14. Suppose 7*x + h = 8*x. Solve y + x = -4*y for y.
-4
Let u be -1 - ((-1)/4 + 18/8). Let n(d) = -6*d - 13. Let p be n(u). Solve a = p*a + 16 for a.
-4
Let a = 2 - -1. Let o be -1 + (-25)/(-6) - (-1)/(-6). Solve a*w + o = 2*w for w.
-3
Let w(p) = -p**3 - 58*p**2 + 118*p - 118. Let a be w(-60). Let l = 0 + 7. Solve -a*u + l - 1 = 0 for u.
3
Let t(a) = 45*a - 6. Let k be t(-2). Let r be 4/10 + k/(-10). Solve f - r = -f for f.
5
Suppose 3*q + 21*m - 20*m - 36 = 0, 21 = 3*q - 4*m. Solve 7*h - q*h = -4 for h.
1
Suppose 27*n + 328 = 109*n. Solve 3*b + 1 = n*b for b.
1
Suppose 4*a = -c + 16, 8*a - 5*a + 3*c - 12 = 0. Let q be 5/1*(-4)/(-10). Suppose 40 = q*o + 3*o. Solve -o*n = -a*n - 8 for n.
2
Let h(l) = 198*l - 127. Let t be h(1). Solve -69*x = -t*x + 6 for x.
3
Let m = -194 - -200. Solve 2 = 4*f - m for f.
2
Let r be (-64)/(-24)*18/8. Let h be 34/r - (-2)/6. Suppose -3*b - 3 - h = -4*p, -p + 2 = -b. Solve 3*z + 2 = -b for z.
-1
Let k be (-6)/(-2) - 1 - 15/(-3). Solve k*n = -10*n - 85 for n.
-5
Let l = 366 + -366. Solve l = -4*s + 2*s + 10 for s.
5
Let d(k) = -2*k**2 + 5. Let q(x) = x**3 + x - 2. Let s be q(1). Let a be d(s). Solve -4*u + 1 = a for u.
-1
Suppose 24 = -t + 4*f, t - f = f - 16. Let q = -14 - -6. Let y = t - q. Solve y*z = z for z.
0
Suppose 4*q + 23 = 3*c, -127*c - 3*q + 14 = -123*c. Solve 5 = c*f + 5 for f.
0
Let h be -3*17 + (2 - 0). Suppose 30*c + 14 = 37*c. Let r be ((-28)/h)/(c/7). Solve r = -4*u - 6 for u.
-2
Let a be 24 - (-2)/(-2)*-1. Let p = -15 + a. Suppose 5*o - 85 = -p. Solve 4*i + 3 - o = 0 for i.
3
Let u be ((-18)/5)/(24/(-60)). Solve u - 5 = -i for i.
-4
Suppose 0 = t + 5*u - 100, 0 = 5*u - u. Solve -118 + t = -6*p for p.
3
Suppose 3*n - 3*k = 2*k + 5, -3*n + 7 = -4*k. Solve 0 = n*u + 36 - 16 for u.
-4
Suppose -9 = t + 4*m, -36 = -3*t + 4*m + 1. Solve 3*i = -4 + t for i.
1
Let u be 0*10/(-20) - -6. Solve h = -h + u for h.
3
Let i(l) = -5*l - 40. Let v be i(-8). Solve v = 3*j - 14 + 2 for j.
4
Let h = 1538 + -1536. Let c(y) = y - 1. Let i be c(4). Solve -z - i = h for z.
-5
Let p be (70/56)/(1/((-16)/(-2))). Solve -p + 0 = -5*w for w.
2
Suppose 275*k = 236*k + 4446. Solve -5*g + 109 = k for g.
-1
Let v = -764 + 766. Solve 0 = v*k - 8*k + 6 for k.
1
Let f(g) = -g**3 - 3*g**2 + 4*g + 4. Let r be f(-4). Let k = 16 + -16. Suppose 4*l = -8*u + 4*u + 40, k = l - 2*u - 16. Solve 0*x + l = r*x for x.
3
Let x(w) = -5*w**2 - 34*w - 20. Let b be x(-6). Solve -3*a - 5 = -b*a for a.
5
Let k be (-6)/(-7)*(19 - 5). Suppose 2*v - 30 - k = -4*d, -d = 0. Solve 4*b + 1 = v for b.
5
Let t(v) = -4 - 9*v**3 - 16*v + 10*v**3 + 6 + 6*v**2. Let s be t(-8). Let i = -2 + 2. Solve -s*r - 4 = -i*r for r.
-2
Let o be (50/(-60))/(2/(-12)). Let f = o + -4. Let a = 4 - f. Solve a = -2*h - 3 for h.
-3
Suppose 25*f - 9*f = 0. Solve f = 4*q + 3*q + 35 for q.
-5
Let w = 51 + -47. Suppose 0 = -5*t + 5*y + 35, 2*y + y + 7 = -4*t. Let l be (-6)/(-21) + t/(-7). Solve l - w = u for u.
-4
Let v(h) = -h**2 + 5*h + 4. Let w = 2 + 1. Let c be v(w). Let s be 43/9 - (-8)/36. Solve -c = 3*k + s for k.
-5
Suppose -73*w = -66*w - 21. Solve w*l = 24 - 12 for l.
4
Suppose -z + 20 = 3*z. Suppose -z*k + 3*k + 6 = -4*u, -4*k - 2*u = -12. Solve 2*i - k = 5*i for i.
-1
Suppose -2*y + 31 = -y - i, -i = 3. Solve r + y = 25 for r.
-3
Suppose 0 = -8*u + 3*u + 2*x + 29, 0 = -u + 4*x - 5. Suppose 5*f + 26 = 3*s - 29, s = -2*f + 11. Solve -s = u*k - 4*k for k.
-5
Let z be (-10)/((-4)/6*3). Let i(u) = -u**2 + 3*u + 4. Let j be i(z). Let x = 7 + j. Solve 3 = v - x for v.
4
Let k(y) = y**2 - 7*y + 5. Let h be k(4). Let o = 11 + h. Let v be 3/2 + 2/o. Solve s = -v*s for s.
0
Suppose 11*c - 153 = -40*c. Solve 0 = -c*k + 2 - 14 for k.
-4
Suppose -d = d - 16. Let v(z) = z**3 - 8*z**2 + 8. Let i be v(d). Let m(y) = y**3 + 11*y**2 + 7*y + 232. Let p be m(-12). Solve -4 - i = -p*w for w.
3
Suppose 44 - 32 = 3*o. Solve -25*b = -27*b + o for b.
2
Let y(j) = -j**3 - j**2 + 13*j + 4. Let n be y(-4). Solve 0 = -n*a + 4*a + 8 for a.
-2
Suppose 0 = -5*t + 7 + 78. Solve m + 15 = t for m.
2
Let y(h) = 4*h**2 + 29*h + 9. Let i be y(-7). Solve i*x - 9 = -3 for x.
3
Let i(x) be the second derivative of x**4/6 - 3*x**3/2 - 5*x**2/2 + 5*x. Let l be i(5). Solve -q = -l*q for q.
0
Let u = -5 - -9. Let z be 0 - 1*6/(-3). Suppose 4*i - n = -3*n + 16, -5*i + z = -2*n. Solve -i*d = -u*d + 4 for d.
2
Let z = 182 + -173. Solve 2*l + 3 = z for l.
3
Let p(c) = c**3 - 3*c + 2. Let s = -13 + 15. Let f be p(s). Solve -5*l = -f*l for l.
0
Let d be (2 - 10/4)/(-25 + (-2682)/(-108)). Let t be 0/(-3) + 2 + -1. Let z = t + 1. Solve -d = m + z*m for m.
-1
Let r(i) = 10*i + 67. Let v be r(-6). Solve 0*g + 7 = v*g for g.
1
Suppose -z - 2*q = 5, 3*z = 3*q + 5 - 20. Let t be (-4 + z/(-2))*(-2 - 0). Solve -t*x = -0*x for x.
0
Let l = 46 + -43. Let m be -3 + 4 + (1 - -4). Solve l*r = -m - 0 for r.
-2
Let d be (1/4 + 0)/((-108)/(-1296)). Solve 0 = d*s + 8 - 5 for s.
-1
Suppose f = h, 3*f - 2*h + 25 = 6*f. Let u(t) = 3*t**2 - 4*t + 2. Let d be u(2). Solve -f*y = -4 - d for y.
2
Let b(a) = 4*a + 6. Let r(z) = 7*z + 12. Let q(l) = 5*b(l) - 3*r(l). Let f be q(-5). Let n be (-9)/(-3) + 4 + f. Solve 2*w - n*w = -20 for w.
5
Let s = 27 + -27. Let j(d) = 2*d