ve -t*r - 28 = -36 for r.
1
Let p = 19 + -16. Solve 0 = j - 1 - p for j.
4
Suppose -5*h + h - 72 = 0. Let i = -9 - h. Let g be 80/(-24)*i/(-5). Solve 1 - g = s for s.
-5
Let h(v) = v**2 - 6*v + 10. Let k be h(5). Suppose k*z = -3*d - 25, 3*d = -z + 5*z + 20. Suppose -m = -y + 4, d*m + y = -m + 4. Solve -5*a = 10 - m for a.
-2
Suppose 0 = t - 0 - 5. Suppose 5*v + t = -4*c, c - 22 = v + 6*c. Solve -3*h = -v + 15 for h.
-4
Let c be -4 + 1*16/2. Let u = -4 + 6. Let p be (-8)/(-1*u) - 2. Solve -p*o = -4 - c for o.
4
Let w = -55 - -70. Solve -w = -3*m - 0*m for m.
5
Let d(z) = -1 + 2*z**2 - 10*z - 5*z**2 + 2*z**2. Let l be d(-8). Solve l = 2*x + x for x.
5
Let z be -5 - (-20)/5 - -4. Suppose 0 = -13*x + 14*x - z. Solve -f + x = 1 for f.
2
Let y = -28 - -17. Let f = 14 + y. Let o(q) = q**3 - 2*q**2 + q. Let g be o(1). Solve g*j = -f*j for j.
0
Let s be 10 - (0 + 1 + 0). Suppose -149*a = -153*a - 36. Let o = a + s. Solve 20 = 4*p - o*p for p.
5
Let h be (-4 - (1 - 5)) + 2. Solve h*o - 6*o = -16 for o.
4
Let a(n) = -n**2 - 14*n + 18. Let r be a(-15). Solve x + r*x = 8 for x.
2
Let q = 22 + -4. Let a = 22 - 17. Suppose 2*g - a*g = -q. Solve g - 2 = 4*h for h.
1
Let v be -4 + 0 + (4 - -2). Suppose t + x - v = 0, 10*t = 12*t - 2*x - 8. Solve 6*n - 6 = t*n for n.
2
Let h be -6 - ((-21 - -2) + 9). Solve 0 = h*k - 0 + 4 for k.
-1
Suppose 3*y + 2*c = 3, y + 3*y - 4 = -3*c. Suppose -5*t + 1 = -s, 3*t + s + 2 = y. Suppose -b = -t*b - 20. Solve k = -4*k - b for k.
-4
Let w(r) = -r**3 - 4*r**2 + 2*r + 4. Let t be w(-4). Let m = -12 - -16. Let z be t/6 - m/(-6). Solve -n + z*n = 0 for n.
0
Suppose 0 = b + 5*o - 29, 0 = -0*b + 5*b + 2*o - 53. Let d = b - 6. Suppose 31 = 5*w + 26. Solve -2*i + d = w for i.
1
Let d = 11 - 10. Let w be (-3 + -1)*((-3)/12 - d). Solve 6 = w*t - 4 for t.
2
Let a be (-2 + 4 - 0) + -17. Let s be 172/(-7) + (-172)/(-301). Let p = a - s. Solve 4*d - 20 = p*d for d.
-4
Suppose 0 = 10*o - 501 - 519. Suppose -g + o = 89. Solve 4*c - 5 = -g for c.
-2
Suppose 27*n - 2401 = -22*n. Solve -3*y + 64 = n for y.
5
Let x = 11 + -6. Let f(l) = l + 25. Let u be f(-16). Let o(c) = -3*c + 39. Let d be o(u). Solve -x*p + 8 = -d for p.
4
Let i(b) = -6*b + 5. Let q be i(2). Let s = q - -16. Suppose -3*f + s = -15. Solve -x = 3*x - f for x.
2
Let t(b) = 11*b - 57. Let z be t(9). Let i = z + -40. Solve 0 = -2*r - 0 + i for r.
1
Suppose -562*l = -563*l + 37. Solve -7*u = 16 - l for u.
3
Suppose -125 = -4*b - 89. Solve -b = o - 6 for o.
-3
Suppose 2420*h + 40 = 2425*h. Solve i = -h + 4 for i.
-4
Let l(w) = 3*w - 22. Suppose 6*k = 2*k + 32. Let r be l(k). Solve -r*n - 9 = n for n.
-3
Let t be (3 + 0)*20/15. Suppose 31 = -t*l - 57. Let a = l - -28. Solve -2*r + 0 = -a for r.
3
Suppose -6*l - 16 = -14*l. Let s be 8/(-20) + (-24)/(-10). Solve s*q = 6 - l for q.
2
Let p be (-24)/(-2) - (-35 + 34). Solve -8*g = -p*g - 15 for g.
-3
Let m(y) = 63*y - 287. Let s be m(5). Solve 26*n - 40*n = s for n.
-2
Suppose 2*v = -0*v + 4. Suppose -2*l = -2 - v. Let d(r) = -r**3 + 4*r**2 - 3*r. Let g be d(l). Solve 0 = -0*b + g*b for b.
0
Suppose 19*q - 125 = -6*q. Solve s - 8 = -q for s.
3
Suppose 3*l = y - 11, 2*l + 3 = -2*y + 17. Let b be -3*(3 - y - -4). Solve -3*h - b = 9 for h.
-4
Let i be 1*(-10 - -7) + 2 + 1. Let o(a) = -2*a**3 - 4*a**2 - 3*a - 2. Let r be o(-2). Solve i = r*c + c for c.
0
Let z(q) = -11*q + 324. Let c be z(28). Solve -236*j + c = -232*j for j.
4
Suppose 7*s - 126 + 98 = 0. Solve 14 = 2*w + s for w.
5
Let v(y) = 10*y + 26. Let w be v(3). Suppose -60*n + w*n + 28 = 0. Solve -n = -4*p + 5 for p.
3
Let q(z) = 9*z - 7. Let b(j) = -5*j + 4. Let s(m) = -7*b(m) - 4*q(m). Let l(x) = 4*x - 4. Let h(o) = l(o) + 5*s(o). Let f be h(-8). Solve 8 = 2*k - f*k for k.
-4
Let l(n) = -2*n + 28. Let v = 1 - 1. Let r be l(v). Suppose 0 = 5*c - 4*z - 5 - 33, -4*c + 2*z = -r. Solve c = -5*j + 26 for j.
4
Let c(n) = -3*n - 4. Suppose -3*d - 20 = 3*z - 2, -4*d + 4*z = -8. Let a be c(d). Solve 0 = -a*b - b - 15 for b.
-5
Let f(y) = -y**2 + 3*y - 5. Let b be f(4). Let n = 16 - b. Let m be 5/(-2)*(-180)/50. Solve m*l = 4*l + n for l.
5
Let x = -208 + 228. Solve -5*w = -w + x for w.
-5
Suppose -4*x - r = -151, 5*x - 3*r = -0*x + 193. Let d = -35 + x. Solve 4*b + 11 = d for b.
-2
Let z be (-4 + 6)*(-3)/(-2). Let y = -46 + 48. Solve y + 4 = -z*f for f.
-2
Suppose 0 = 5*l + 5*c - 95, 4*c = 2*l - 4*l + 28. Let j be (-95)/25 - -4 - l/(-5). Solve -m - 4 = -j*m for m.
1
Let d = -41 + 62. Let f = d - 19. Suppose -2*q - 5*s = 3*q - 25, 5*q + f*s - 10 = 0. Solve 2*p + 11 - 3 = q for p.
-4
Let i(f) be the third derivative of -f**6/120 - f**5/20 + f**4/8 + 2*f**3/3 + 9*f**2. Let m be i(-4). Suppose 2*w + 4 - m = 0. Solve -1 - w = -h for h.
3
Let c(h) = -h**3 + 12*h**2 - 15*h + 8. Let p be c(10). Let t = 60 - p. Suppose 0 = 2*a - 14 + 2. Solve a = -2*b + t for b.
-2
Let v be ((-5)/20 - (-3)/(-2))*68. Let t = v + 119. Solve -2*p - 2*p - 16 = t for p.
-4
Let b(n) = -n**3 + 5*n**2 + 2. Let r be b(5). Solve 10 + 0 = -r*j for j.
-5
Let f be (-33)/(52/(-16) + 4). Let q = f + 45. Solve q = -k - 1 for k.
-2
Suppose 66 = -n + 68. Solve -n*c = 2*c + 20 for c.
-5
Let q = -10 + 20. Let l = q + -10. Solve l = 2*c - 0*c for c.
0
Let v(r) = -4*r**3 + 0 - 2*r + 1 - 3*r**2 + 3*r**3. Let t(j) = j**3 + 5*j**2 + 8*j + 4. Let b be t(-3). Let h be v(b). Solve -2 = -l + h for l.
3
Let c be (-698)/(-28) + ((-5)/14)/(-5). Solve 2*a + 17 = c for a.
4
Suppose 10 = -3*j + j, -3*f = -3*j - 66. Suppose 2*m + 5*b = 1, -4*m + 4*b + f = 1. Solve -m*w = -2*w - 1 for w.
1
Let p = 31 + 102. Let s = -133 + p. Solve s = t + 3*t - 16 for t.
4
Let u(d) = d**2 - 2*d + 2. Let j be u(1). Let y be j - 6/(-3) - 3. Suppose y = -0*b + 5*b. Solve 12 = 3*h - b for h.
4
Let k be ((-228)/(-6) - 0)/(1/2). Solve -k*y + 73*y + 9 = 0 for y.
3
Let j be (-4)/26 + (-1)/(52/(-8)). Let s be -2 - ((3 - j) + 20/(-2)). Solve -1 - s = -3*b for b.
2
Let v(c) = c**2 + 3*c - 3. Let f be v(-6). Suppose -f + 3 = -3*a. Suppose 3*o = 9, 0 = a*s + 5*o - 0*o - 31. Solve -s*r - 6 = -2*r for r.
-3
Let o(k) = k**3 + 7*k**2 + 7*k + 6. Let p be o(-6). Let i = 3 + 0. Solve 6 = -p*u - i*u for u.
-2
Let o(k) = -k**2 + 5*k - 2. Let y be o(3). Let r be y/(-24) - (-52)/(-24)*-1. Solve -i + 0 = -r for i.
2
Let m(f) = f + 4. Let q be m(1). Let g be 6 + -2 + (-2 - -4). Let z be (-2)/6 - (-2)/g. Solve q*w - 3 - 17 = z for w.
4
Let v(z) = -2*z + 2. Let y be v(2). Let q = 10 + y. Let k be (-7)/((-7)/(-5)) + 8. Solve -o = -k*o - q for o.
-4
Let l = 2967 - 2966. Suppose 2*z = -4*n - 0*n + 18, 0 = -4*z + 5*n + 49. Solve -3*x + z = -l for x.
4
Suppose 0 = 3*r - 5 - 25. Suppose r*b + 4*j = 5*b, 0 = -5*j - 25. Solve 13 = b*f - 7 for f.
5
Suppose 3*j - 2*z = -4, -3*z + 12 = -j - 5*z. Let g(o) = -o - 2. Let a be g(j). Suppose 5*m - 17 = -a. Solve 0 = m*v - 5*v for v.
0
Let s(k) be the second derivative of -k**3/3 - k**2 - 6*k. Let l be s(-2). Suppose -l*z - 4 = -5*m, -3*z + 5*m + 4 = -0*z. Solve -j + z = -5*j for j.
-2
Let q(x) = -9*x + 45. Let m be q(5). Solve d = -m*d - 1 for d.
-1
Suppose -4*o - 3*a + 170 = -0*o, a = -o + 43. Let x = o - 28. Solve -4*y = -x - 7 for y.
5
Let v(u) = 3*u**3 + 5*u**2 + 2*u - 5. Let b be v(-3). Let t = b - -58. Solve -3*m - 2 = -t for m.
3
Let s = -162 + 175. Solve -10*j = -s*j for j.
0
Let k(s) = -s**2 + 4*s + 83. Let y be k(11). Solve 0 = 9*h - y*h + 6 for h.
-2
Let o(i) = -32*i + 447. Let q be o(13). Solve -q*f = -34*f + 3 for f.
1
Let b = 1614 + -1611. Let n be (-6)/5*(5 + 0). Let v = n - -8. Solve -b*o - v*o = 5 for o.
-1
Suppose 27 = -p + 3*p - d, 0 = 5*p - 5*d - 75. Solve -p = 61*i - 65*i for i.
3
Let l = 91 + -78. Solve 0 = -3*r + 28 - l for r.
5
Let d be (728/(-42))/((-14)/21). Let z be 4/(-10) - 112/(-5). Let p = d - z. Solve t - p = -t for t.
2
Let m(p) = 3*p**3 - 19*p**2 + 15*p + 11. Let z(j) = 4*j**3 - 20*j**2 + 15*j + 11. Let f(t) = -3*m(t) + 2*z(t). Let i be f(16). Solve -i*g - 8 = -3*g for g.
-4
Let b(c) = -c. Let u be b(-2). Let l(j) = -2*j + 6. Let f be l(u). Solve 3*g - 1 = f for g.
1
Let l(t) = -t**2 + 7*t + 4. Let f be l(7). Let i(o) = -o**2 + 6*o - 8. Let g be i(f). Solve 4*a + 5 - 1 = g for a.
-1
Suppose 77 = 17*o - 263. Solve -2*y = 2*y - o for y.
5
Suppose -3*h + 22 = -p, -3*h + p - 3*p + 19 = 0. Suppose 0 = -x - 3*b - 5, -h*b + 36 = -4*x