 = -t*r for r.
0
Let u = 1 + 3. Let z be 7 + 3 - 3*1. Solve -z*h = -u*h for h.
0
Suppose 0 = -8*r + 2*r + r. Solve -2*t + 0*t = r for t.
0
Let d = 4 - 2. Let i = 53 - 50. Solve -d*t + i*t = -1 for t.
-1
Let j be -5*(-1 + -2 + 2). Let f = -2 + j. Solve 7*r = f*r for r.
0
Suppose o - 32 = -2*x, 6*x - 8*x = 5*o - 40. Solve -5*r + x = -2*r for r.
5
Let c be 1/5 + 2/(-10). Solve 4*r + 20 = -c for r.
-5
Let m(l) be the second derivative of -l**3/3 - 2*l**2 + 3*l. Let n be m(-7). Let j be (-1)/(-4) + 3/(-12). Solve 5*h - n + j = 0 for h.
2
Let c(d) = 3*d - 14. Let i = -23 - -33. Let f be c(i). Solve -9 = 5*v + f for v.
-5
Suppose -2*p - 6 + 8 = 0. Solve -4*b - p + 5 = 0 for b.
1
Suppose 3*l = -2*l - 5. Let c = 1 + l. Suppose -2 = -r - c. Solve 0 = -2*q + r - 0 for q.
1
Let y = 12 + -2. Suppose 0*j + 5*j + y = 5*x, -5*j + 17 = 4*x. Suppose 2*t + 26 = 4*w, -3*t - j - 2 = 3*w. Solve -c - w*c = -25 for c.
5
Let f be ((-45)/6)/(-5)*2. Let o(d) = d**3 - 4*d**2 + 3*d. Let w be o(3). Solve -t = -w*t - f for t.
3
Let x(k) = -k**2 - 2*k + 3. Let c be x(-4). Let j(b) = b**2 + 5*b + 5. Let l be j(c). Let i(a) = -a**2 + a. Let y be i(1). Solve y = -2*u + 1 + l for u.
3
Let q = 5 + -1. Suppose 74*n = 78*n - 16. Solve q*w - 8 - n = 0 for w.
3
Let p = 19 + -14. Solve -p*n + n - 16 = 0 for n.
-4
Let n be (-2 - -6)*(-4)/8. Let l be (-15)/n + 21/(-14). Solve -l*v = -3*v for v.
0
Let d(u) = 5*u + 12. Let w be d(-2). Solve -w - 1 = 3*x for x.
-1
Let l(h) = -2*h**2 + 16*h + 19. Let j be l(9). Solve 0 = -3*s + 4*s - j for s.
1
Let i(o) = o**2 + 9*o - 10. Let r be i(-10). Solve -2 = -2*n - r for n.
1
Suppose 0 = q + r, -4*r - 11 - 3 = -3*q. Solve -w = -q - 3 for w.
5
Let c = 7 - 2. Let m be 1*-1 + -20 + 3. Let j be 14/(-3)*m/7. Solve q - j = c*q for q.
-3
Let k(c) = -c**3 + 3*c**2 + c - 4. Let d be k(2). Solve 15 = -d*p - p for p.
-5
Let v be 8/10 - (-7)/35. Let s(h) = h + h + v + 0*h. Let g be s(1). Solve -g*y + 10 + 5 = 0 for y.
5
Suppose 5*j + 6 = 31. Let a be (8/(-6))/((-2)/12). Solve -j*u - 7 - a = 0 for u.
-3
Suppose -3*f - 27 = -0*f. Let d = 14 + f. Suppose -2*o - h - h - 6 = 0, o - 15 = d*h. Solve -4*v + o*v = -20 for v.
5
Let a(p) = 2*p - 2. Let w(b) = 2 + 4 - 4*b - 3*b - b**2 + 0. Let m be w(-7). Let c be a(m). Solve 0 = 5*x + c + 15 for x.
-5
Let w = 40 - 40. Solve w = h - 4 + 3 for h.
1
Let s be (-1)/3 - 14/(-6). Suppose 2*n = -s*n + 12. Solve n*x - 25 = -10 for x.
5
Suppose a = -a + 2. Suppose -14 = -h + a. Suppose -5*i + 45 - h = 0. Solve 25 = -p + i*p for p.
5
Suppose 8*u - 4*u = 0. Solve -3*w - w - 12 = u for w.
-3
Suppose -3*i + 2*i = 5. Let s = i + 9. Solve 0 = -s*y + 2 - 18 for y.
-4
Suppose -5*t = 5*l + 45, 5*t + 53 = -3*l + 8. Let k = t + 12. Solve -w = -0*w + k for w.
-3
Let l = -12 + 20. Let u = 9 - l. Solve -3*v = -2*v - u for v.
1
Suppose 2 - 11 = -9*h. Solve r + h + 2 = 0 for r.
-3
Let s = 6 - 3. Let l be 6/(-9)*s + 7. Suppose -4*r + 3*z + 25 = 0, 4*r + l*z - 5 = -r. Solve -q - 5 = r*q for q.
-1
Let a be ((-12)/8)/((-6)/4). Solve 3 - a = -g for g.
-2
Let b = 14 - 12. Solve -2*a - b = -4*a for a.
1
Let r be (-9)/(-6)*(-2 + 4). Solve j + 0 = -r for j.
-3
Let z = -109 + 111. Solve z*y = 5*y for y.
0
Let q(z) be the first derivative of 59*z**2/2 + 2*z + 1. Let k be q(2). Suppose -3*c = 12, 0*a = 4*a - 2*c - k. Solve 3 = 5*h + a for h.
-5
Suppose v = -2*q - 4, 0 - 12 = -4*q + 3*v. Solve q = x - 1 - 1 for x.
2
Let m(g) = 5*g**2 - 2*g - 1. Let l be m(-1). Suppose 2*t + 12 = l*t. Solve t*b = -b + 20 for b.
5
Let p = -140 - -140. Let d be 1/2*(4 - 0). Solve p = -3*n - 13 - d for n.
-5
Let v = 23 - 19. Solve 2 = 3*h - v for h.
2
Suppose 0 = 2*r + 2, r + 0*r - 24 = -5*s. Solve s*z - 4*z = 1 for z.
1
Let h(l) be the second derivative of l**5/20 - 7*l**4/12 + l**3/6 - l**2 - 2*l. Let i be h(7). Solve -p = -i*p for p.
0
Let a = 17 + -13. Let g(i) be the second derivative of i**4/4 - 5*i**3/6 + 3*i**2/2 + i. Let h be g(3). Solve -a*q = q - h for q.
3
Suppose -12*k - 20 = -17*k. Solve -2*z - 10 = -k*z for z.
5
Let d(r) = r**2 - 8. Let i be d(0). Let l = -5 - i. Solve -l*p = -6*p - 9 for p.
-3
Suppose -g + 0*g - 5 = 0, -4*s = g - 3. Let o = 3 + s. Solve 4*r = o*r + 2 for r.
-2
Let j(a) = a + 18. Let c be j(-10). Suppose -2*m + c = 2*v + 2, v = -4*m. Solve 24 - 8 = -v*f for f.
-4
Let k(l) = l**2 - l + 4. Let y(v) = -v - 1. Let a(u) = -6*u. Let m(t) = -a(t) + 5*y(t). Let d be m(5). Let p be k(d). Solve p*i = 3*i + 1 for i.
1
Let r(q) = q**2 - 2*q + 1. Let j(v) = -v - 4. Let m be j(5). Let h = 12 + m. Let s be r(h). Solve -s*i = -i + 9 for i.
-3
Let f(o) = o**3 + 5*o**2 + o - 5. Let l be f(-4). Suppose 0 = -y + l - 3. Let s(b) = b - 2. Let v be s(4). Solve -6*i + v = -y*i for i.
1
Let w be 198/45 - 2/5. Let r be 168/36 + w/(-6). Solve -2*a + r = -6*a for a.
-1
Let b = -18 - -66. Suppose -b = -0*h - 4*h. Solve 0 = 3*w + w + h for w.
-3
Let n be 24 - ((-6)/18)/(2/(-18)). Solve 13 = 2*c + n for c.
-4
Let q be (3 - 36/8)*-2. Let y be 3 - (2 - q - -2). Solve -y*g - 12 = 2*g for g.
-3
Suppose 0 = 3*l - 2*l - 8. Let y(a) = -a - 1. Let w be y(-1). Let o be 4 + -2 - w/(-3). Solve -2 = o*n - l for n.
3
Let z = -19 - -13. Let x = -1 - z. Solve x*n + 2 + 3 = 0 for n.
-1
Let a be (52/5)/((-2)/(-5)). Solve -a = -5*n - 6 for n.
4
Let m = 4 - 2. Suppose 3*b - 18 = -0*b. Suppose -b*y = -y - 5*d, -8 = -4*d. Solve y*j + m*j = 16 for j.
4
Let u be ((-6)/(-9))/((-6)/(-153)). Let m = -5 - -10. Solve 3*k + u - m = 0 for k.
-4
Suppose 5*i = 0, 3*a = -2*a - 5*i + 15. Solve 3 = -3*o - a for o.
-2
Suppose 5*r - 15 = 0, d + 5 = 5*d - r. Solve d*j = j for j.
0
Let s be (-1 - 0)*(2 + 0). Let j be ((0 - 1) + s)*-1. Suppose i = j*i. Solve i*a = 3*a for a.
0
Let b(r) = 2*r**3 - 4*r**2 + r - 1. Let p be b(2). Solve -4*x + p = -3 for x.
1
Let n be 62/6 - (-6 - 38/(-6)). Solve 4 - n = 3*j for j.
-2
Let n(m) be the first derivative of -m**3/6 + 4*m**2 + 2*m - 2. Let g(c) be the first derivative of n(c). Let s be g(6). Solve -r = -s*r - 3 for r.
-3
Let b(s) be the second derivative of s**4/12 + 3*s**3/2 + 11*s**2/2 - 2*s. Let q = -14 + 6. Let c be b(q). Solve -p = 2*p + c for p.
-1
Let o(m) = m**2 - 3*m + 2. Let r(v) = -3*v**2 + 10*v - 5. Let p(z) = 17*o(z) + 6*r(z). Let w be p(9). Solve -w*a = -6 - 2 for a.
2
Let y be (-20)/(-30) + 16/(-6). Let g(c) = -5*c + 2. Let f(v) = -11*v + 4. Let o(q) = 6*f(q) - 13*g(q). Let u be o(y). Solve u*h = 2*h - 2 for h.
1
Let x(y) = y**3 + y + 4. Suppose -d - 2*r + 0*r + 12 = 0, -4*d + 5*r - 4 = 0. Let v = -4 + d. Let j be x(v). Solve 0 = 2*f + j for f.
-2
Let k(f) = f**3 - 3*f**2 - 3*f + 5. Let b be 14*-1*(-14)/49. Let v be k(b). Solve 0 = 2*j + 3 - v for j.
3
Let a(p) be the third derivative of 0*p - 1/4*p**4 + 5/6*p**3 - 1/60*p**5 + 0 - p**2. Let z be a(-5). Solve c = -c + z for c.
5
Let k = 1 + -1. Let p(b) = 11*b + 179. Let c be p(-16). Solve k = -c*r - 0 + 12 for r.
4
Let q(x) = -x - 11. Let h be q(-14). Solve -h*k + 2 = -10 for k.
4
Suppose 5*n + 2 + 0 = 3*i, -i = 5*n - 14. Solve 2*s = -6 + i for s.
-1
Let g be ((-12)/3)/(-4 + 2). Let n = 6 + -2. Solve -g*d = -n*d - 4 for d.
-2
Let t(v) = v**2 - 4*v. Let x be t(5). Suppose 0*a + 4*a - 12 = -2*c, x*c - 5*a = 15. Suppose 2*n + n = -3*r + 21, 4*r = -2*n + 22. Solve -c*s + 9 + n = 0 for s.
3
Let u(l) = -l - 12. Suppose 0 = -5*p - 0*p - 60. Let q be u(p). Suppose q = -4*w + 7 + 5. Solve -k = w*k + 20 for k.
-5
Suppose 2*i + c - 5 = 0, -4*i + 3*c + 16 = -c. Solve -i*x + x = 0 for x.
0
Suppose -4*n + 14 = -2*n + t, -5*n - t + 29 = 0. Suppose n*k - 21 = 2*j, -3*j + 1 + 5 = 5*k. Solve 0*p + k = -3*p for p.
-1
Suppose o - 3 = 2*y + y, 0 = -2*o. Let g be -23 - (-2 - y - -2). Let d be g/(-4) - (-4)/2. Solve 0 = 2*f + 2*f - d for f.
2
Suppose 2*c - 7*c = 3*y - 145, y - 3*c - 25 = 0. Let r(w) = 3*w + 4. Let a be r(2). Suppose -a + y = 5*d. Solve t = -2 + d for t.
4
Let v be -7*9/42*-2*3. Solve 4*j + v = 1 for j.
-2
Let m(l) be the second derivative of -l**5/20 + l**4/12 - l**3/6 + 5*l**2/2 - 2*l. Let w be m(0). Solve 0 = -2*a + w*a - 6 for a.
2
Suppose -2*w + 8 = s + 1, 3*w - 3*s + 12 = 0. Let g = -3 + 5. Solve t + w = g for t.
1
Suppose 0 = -4*m - 8, -2*v + 6*v - 14 = -m. Solve -v*z + 12 = -z for z.
4
Let d(w) = -w**3 - w + 4. Let k(q) = q**2 + 3*q. Let t be k(-3). Let h be d(t). Solve -1 = h*o - 13 for o.
3
Suppose 4*s - 