r s.
2
Suppose -2*b = b - 6. Suppose -b*t - 5 = j, -3*t = -4*j + 18 - 5. Let d be 1 + (0 - (-1 - j)). Solve d + 1 = -4*k for k.
-1
Suppose -2*r + x - 3 = 4*x, 0 = -2*x - 10. Solve -5*z = r + 14 for z.
-4
Let h = 20 - 33. Let g = 15 + h. Solve 0 = -g*w + 6 for w.
3
Suppose 3*j - 4*m - m = 135, 2*m - 90 = -2*j. Let s be 8/(-10)*j/(-6). Solve o + s = -o for o.
-3
Suppose 0 = 5*s - 7 + 22, -2*c + 5*s + 19 = 0. Suppose -5*j - a + 10 = 0, a + c*a + 21 = 2*j. Suppose -6*x + 10 = -4*x. Solve x*m - j - 7 = 0 for m.
2
Let j(q) = -q**3 + 12*q**2 + q - 8. Let s be j(12). Solve 0 = -0*a - s*a + 16 for a.
4
Let p = 31 + -27. Solve p*t - 10 = -2 for t.
2
Suppose -2*j - 3*j - 6 = o, -4*o + 20 = -2*j. Suppose d = -4*f - 11, 0*f - f + 6 = 2*d. Let c = d - j. Solve -c = -5*w - 17 for w.
-2
Suppose -2*w = 5*o - 12, 0*w = 3*w - 5*o + 7. Let g be 0*w/1*-1. Suppose -5*c + 100 = -g*c. Solve -6*a = -2*a - c for a.
5
Let m be 4 + (4 - 2)/(-2). Solve -m*n + n + 8 = 0 for n.
4
Suppose 0 = 3*u - y + 4 + 3, 4*y = -5*u - 6. Let k be 2 + u + (-8)/(-4). Suppose j = -j. Solve j = i + k*i for i.
0
Let x(g) = -g**3 - 5*g**2 + 5*g - 1. Let q be x(-6). Let u = q - 6. Let y = 0 - u. Solve 11 = 4*s - y for s.
3
Let o be (2/(-3))/(16/(-12))*36. Solve 6*s = -0*s + o for s.
3
Suppose -3*p + 3*t + 25 = -t, 0 = p + 5*t + 17. Let i = -3 - -5. Solve -m = -p*m + i for m.
1
Let z(h) = h. Let r be z(2). Let s be 4/8*(0 + 0). Solve s = -5*k + r*k + 9 for k.
3
Suppose 3*t + 15 = 4*k, -6*t - 1 = -5*t. Solve 2*r - r + k = 0 for r.
-3
Let q be (-1 + 0 - 14)/(-32 - -29). Suppose 5*r = -4*j + 206 - 12, 0 = -3*j - 5*r + 148. Solve 21 = q*b + j for b.
-5
Suppose -3*x + x = -x. Solve -2 = -x*h + h for h.
-2
Let t = -15 + 21. Solve 10 = t*d - d for d.
2
Let f(d) = -d**2 + 14*d + 2. Let m be f(14). Solve m*x = -x for x.
0
Suppose 0 = -s + 7*s - 78. Let z = 13 - s. Solve z*j - 5 = -j for j.
5
Let h(y) = -y**2 + 7*y - 2. Let m(a) = a**2 - 6*a + 1. Let j(g) = 2*h(g) + 3*m(g). Let r be j(5). Solve -3*l + r = 1 for l.
1
Let d = -19 + 22. Let g(y) = y**3 + 7*y**2 - y - 5. Let h be g(-7). Suppose -3*v = h*v. Solve o + d + 1 = v for o.
-4
Suppose -o - 9 = 2*o + 4*k, -3*o - 3 = 2*k. Suppose 3*t - 10 = -o. Solve -t*w + 5*w + 4 = 0 for w.
-2
Suppose 2*q + q - 6 = 0. Let i = -18 - -38. Solve 0 = 6*v - q*v - i for v.
5
Let b be 0/(-2) + 1 + 6 + -4. Solve b*v - 16 = -4 for v.
4
Let k(n) = n**2 + 3*n - 1. Let p be k(-4). Suppose -p*f - 4*o + 4 = 3, 2*f = 3*o + 12. Let u be 1 - 3*(-2)/2. Solve -l = -f*l + u for l.
2
Let h(b) = b**2 - 2*b - 7. Let o be h(-6). Suppose 4*z + 4 = 0, 0*z = 5*v - z - o. Solve -5*x = -3*x + v for x.
-4
Let z be (-2 - -5)*(-4 + 3). Let f be -4 + 2 - (-2 + z). Solve f*i - 14 = -5 for i.
3
Let i be (3 - 5) + (-56)/(-4). Suppose -2*p = 4*u - i, 0*p - p + 3 = -u. Solve -3*y = -2*y + u for y.
-1
Suppose 0*p + 4*p - 16 = 0. Solve 2*s = 3*s + p for s.
-4
Suppose 0 = -3*b + 2 + 13. Suppose -5*u = -11 - 9. Suppose -y = b*x, y = u*y + x. Solve y = -n + 5 for n.
5
Suppose j + 6 = 9. Suppose -2*l + 1 = 5*i - 1, 4*l = j*i + 30. Solve l*d - d + 20 = 0 for d.
-4
Let k = -33 + 37. Solve 0 = k*f - 2 - 14 for f.
4
Let q = -1 - 3. Let k be (-2 - -3)/(q/(-24)). Solve 2*d - 4*d + k = 0 for d.
3
Let a = -4 + 4. Let b = a - -2. Solve b*n = -n for n.
0
Let f(d) = -2*d - 5. Let u be f(-5). Solve u*o = 4*o + 5 for o.
5
Suppose -q - 4 = -0. Let v = 7 + q. Solve 0 = -v*s - 0*s - 12 for s.
-4
Let i(h) = h**3 + 7*h**2 - h + 4. Let t be i(-7). Let m = -8 + t. Let l be (2*m)/(4 + -2). Solve -l*x + 10 = 4 for x.
2
Suppose 3*r = -2*v + 3*v + 21, 2*v = -4*r + 38. Let k = 10 + r. Let q = k - 12. Solve 2*t = q*t + 8 for t.
-2
Suppose -2*l - 21 + 5 = 0. Suppose 2*w - 2*k = -24, -2*w = 4*k - 2*k + 8. Let p = l - w. Solve -j - 3*j - 16 = p for j.
-4
Suppose -3*a + 7*y = 2*y + 1, -5 = -a - y. Solve a = -3*z - 0*z for z.
-1
Let w = 34 + -29. Solve -w*u = -9 - 11 for u.
4
Suppose o - 4 = -o + 3*x, -5*o = x - 10. Let i = 11 - 6. Solve o*u = u - i for u.
-5
Suppose 3*v = v. Suppose v = 2*a - 1 - 3. Solve 4*c + 2 = a*c for c.
-1
Let g(v) = -v**2 + 5*v + 2. Let j be g(4). Suppose j*q + 4*r = q + 40, 44 = 2*q - 4*r. Suppose -8 - 12 = -5*p. Solve q + p = 4*z for z.
4
Let f = -95 + 119. Solve f = 4*a + 4 for a.
5
Let l be (-78)/((-5)/(20/8)). Solve -5*b + 14 = l for b.
-5
Suppose 5 = j, 7 = 4*i - j - 0*j. Solve t - i*t + 8 = 0 for t.
4
Let w = -8 - -3. Let c be 21/35 - (-3)/w. Solve d + c*d = 0 for d.
0
Suppose 0 = -2*p + 5 + 1. Suppose -5*g = -2*j - 4, -p*j - j + 5*g + 2 = 0. Suppose -j*v = -2*v - 2. Solve 2*f - 4 = -v*f for f.
1
Let k be 2/8 + 14/8. Suppose 5*r = -0*o - k*o, -2*r + 3*o = 0. Let h(f) = 7*f**2 - f - 1. Let s be h(2). Solve r*d + s = 5*d for d.
5
Let h be (18/12)/(0 - 1/(-18)). Solve -2 = 5*k - h for k.
5
Suppose -3*v - 29 = -4*t - 0*v, 3*t - 30 = 5*v. Suppose -f - 4*f - 3*p + 40 = 0, 0 = -2*f - 2*p + 20. Solve -t = -f*i - 30 for i.
-5
Let m(k) = -k**2 - 8*k + 2. Let a be m(-6). Let q(f) = -6*f**3 - f**2. Let h be q(-1). Suppose -7 = -h*x + 3, -3*x = 2*s - a. Solve -5 = s*b - 1 for b.
-1
Let j be -15 + 1 + 0/(-1). Let i be (-1)/2 - 119/j. Solve -2*w = 2*w - i for w.
2
Let f = 0 - -4. Suppose -5 = -2*t + t - 3*u, -5*u + 9 = 2*t. Solve f*g = t*g + 4 for g.
2
Suppose 2*w - 4 = -0*w. Suppose -w*t = -2*a - 0*t + 4, -3*a + 4*t + 7 = 0. Solve -7 = -2*c + a for c.
4
Let c be (8/(-5))/((-2)/5). Solve 0 = -c*r + 1 + 3 for r.
1
Let k be (-3)/(-2)*((-2)/3 + 2). Solve k*z = 5*z + 9 for z.
-3
Let t be 2*(7 - 0 - (-24)/(-8)). Solve 5*j = 7 + t for j.
3
Suppose 0 = -3*x + 4 + 8. Suppose -n = -x*n + 36. Solve n + 8 = -5*f for f.
-4
Let i = 3 - -1. Solve 16 = i*d - 0 for d.
4
Let p be (-2)/(-7) - (-138)/7. Suppose -n + p = 5*k, k - 9*n - 30 = -4*n. Suppose -4*r = -0 - 80. Solve 3*x + k - r = 0 for x.
5
Suppose 5*w + 21 - 6 = 0, 0 = z - w - 3. Let h(q) = q**2 - 7*q - 5. Let s be h(8). Solve -s*t + 3 = -z*t for t.
1
Let t = 134 - 124. Solve -3*z = t - 19 for z.
3
Let n = 3 + 0. Let p be n + 4 + 2/(-1). Solve p = -0*d + d for d.
5
Let p(v) be the third derivative of -7/6*v**3 - 3*v**2 + 1/10*v**5 + 0 + 0*v - 1/8*v**4 - 1/120*v**6. Let m be p(5). Solve -m = 3*d - 6 for d.
1
Let o(u) = -u + 9. Let s be o(-8). Let z = s + 1. Solve 0 = 4*y - z + 2 for y.
4
Suppose 5*y - 73 = -23. Solve 0 = 7*d - y*d + 9 for d.
3
Let i = 3 - -2. Let a(c) = c**3 + 9*c**2 + 8*c + 12. Let u be a(-8). Suppose -g - b = 3*b - u, -5*b + 2 = -2*g. Solve -g*m + 3*m = -i for m.
5
Let k = 101 + -99. Solve -4 = -k*t + 6 for t.
5
Suppose 2*c + 3*i + 3 = 0, -2*i + 0*i - 2 = 5*c. Suppose c = -2*u + 2 + 10. Solve -3*k - u = -15 for k.
3
Let s be 64/10 + (-2)/5. Let m(p) = p**2 + 4*p + 6. Let i be m(-2). Solve -i*x = -s*x for x.
0
Let t be ((-130)/20 + 6)*0/2. Solve 2*z + 2*z - 4 = t for z.
1
Suppose 4*z + u - 112 = 0, 6*u + 84 = 3*z + 3*u. Suppose -3*m - m = -z. Solve 5*c - m = -2 for c.
1
Let d(j) = j + 5. Let w(p) = -1. Let t(h) = d(h) + 3*w(h). Let k be t(0). Let z = k - -1. Solve 2*b - z = -b for b.
1
Let p(s) = s**3 + 6*s**2 + 4*s + 2. Let g be p(-2). Let l be (-4)/g + 2/5. Suppose l*a = 5*a. Solve a = k - 3*k for k.
0
Suppose 0 = -2*p, -p + 4*p = -3*b + 9. Solve b*g + 5 - 2 = 0 for g.
-1
Let r(y) = 5*y**2 + 1. Let m be r(1). Solve m*x - 10 = x for x.
2
Let l be (16/14)/(20/70). Solve -l = -g + 1 for g.
5
Suppose b = -8*b + 81. Solve 3*s = -b + 6 for s.
-1
Let x = -28 - -7. Let c = 36 + x. Solve -w = 4*w + c for w.
-3
Let u be (-6)/15*5/4*0. Solve u*t = 4*t for t.
0
Suppose -q - 2*u = 0, -4*q + q + u = 0. Solve q*z + 2*z - 2 = 0 for z.
1
Let n(u) = -2*u**2 - 21*u + 12. Let k be n(-11). Suppose 3*y - 4*y = -4*f + 11, 3*y = 3. Suppose 0 = 2*l - l - 11. Solve -f*w - k = l for w.
-4
Let c be (-3*1)/(1 + -2). Suppose 0 = -3*p - c, p - 4 = -2*g + 1. Let y be (g - 4)/(1/(-3)). Solve 0 - y = -t for t.
3
Let b(q) = 4*q**2 + 2*q - 2. Suppose 0 = -5*h - 2 - 8. Let u be b(h). Suppose u - 1 = 3*y. Solve y*n = 4*n - 1 for n.
1
Let z be (-2)/8 - 122/(-8). Suppose 5*q = 3 + 7. Suppose 5*n - 37 = -3*d, 5*d = -q*n + 3*n + z. Solve 12 + 0 = d*t for t.
3
Let z be (-164)/(-14) + 4/14. Suppose z = 7*c - 3*c. Suppose 3*b + 0*b - 5*v - 5 = 0, c*v = -b - 3. Solve b = p + 2 for p.
-2
Let j(u) = -u + 4. Let l be j(4). Let z = -152 + 154. Solve -q + z*q = l for q.
0
Let v(p) = -2*p**3 + 30*p**2 + 5. Let