 Solve 0 = 7*z - m - 1 for z.
3
Let d = -91 + 85. Let s be (-27)/(-18)*(-40)/d. Solve 2*j = -3*j + s for j.
2
Let o be (4 + (-3 - 3))/(-1). Solve -o*k - 20 + 14 = 0 for k.
-3
Suppose -5*i = -5*a - 10, 2*i - 5*a + 2 = -0*i. Suppose -5 = i*s - l, -s - 10 = -0*s - 2*l. Let m = s - -7. Solve -19 = -3*r - m for r.
4
Let v = -32 + 32. Suppose v = 12*n - 4*n. Solve x + x = n for x.
0
Let i = -8 - 32. Let j = i - -56. Solve -w - j = -11 for w.
-5
Let d be 4 + 1 - (-3 + 4). Let f = d - -1. Solve 0 = -2*q - 1 - f for q.
-3
Let t be 0 + 2/12 - 435/(-90). Solve t*n - 14 = 11 for n.
5
Let y = -11 + 17. Let k be (-3)/(-9)*y - 2. Solve k*p = -2*p for p.
0
Let r(d) be the first derivative of d**3 + d**2/2 + 2*d + 15. Let x be r(-1). Solve -4*u - x = -0*u for u.
-1
Let l(v) = -64*v - 122. Let r be l(-2). Solve -2*w + r*w - 3*w = 0 for w.
0
Suppose -3*h + 3 = -d, -6 = -2*h + 2*d - 0. Let q = 20 - h. Suppose -18 + q = m. Solve m*g - 8 - 2 = 0 for g.
5
Let h = 12 - 2. Suppose h*t - 40 = 5*t. Solve t + 0 = 4*i for i.
2
Let g(l) = -l**2 - l + 3. Let t be g(3). Let p be ((-6)/t)/((-3)/(-36)). Suppose 0 = -3*f - f + p. Solve 0 = -4*y + f*y - 4 for y.
-2
Let y be -22 + (18/3)/(-3). Let x be (y/(-30))/(1/5). Suppose -x*k + 1 = -3*k. Solve -l = -k + 5 for l.
-4
Let l(n) = n**3 - 3*n**2 - 26*n - 4. Let m be l(8). Solve -113*z - 20 = -m*z for z.
-4
Let x be (3/1)/(-10 + (-69)/(-6)). Solve 2 = -2*h + x for h.
0
Let x = -365 + 369. Solve -x*t = -t - 3 for t.
1
Let l = -904 - -919. Solve -112*b - l = -115*b for b.
5
Suppose -3180*s + 3197*s - 391 = 0. Solve -m + 96 = s*m for m.
4
Let s be (-6)/12*(3 + -1 - 6). Solve 22 = -5*y + s for y.
-4
Suppose 33 = 2*o + 5*j, o - 3*o - 3*j + 23 = 0. Solve 0*v = o*v - 8 for v.
2
Let k(m) = -7*m**3 + 2*m + 1. Let o be k(-1). Let c be 1/1*9/(2 + -1). Let a = c - o. Solve 4 = -a*u + 5*u for u.
2
Suppose 0 = 2*w + 22*w. Suppose -i - 2 = -3. Solve w = 2*a - 1 - i for a.
1
Let o(q) = 17*q - 1153. Let k be o(68). Solve 14*g - k + 59 = 0 for g.
-4
Let y be 4 + 1 - 12/(9 - 3). Solve -6 = y*i - 0*i for i.
-2
Suppose 0 = 2*a - 25 + 17. Solve 3 = z + a for z.
-1
Let o = 44 + -24. Suppose 0 = -2*d + 6*d + 5*c - 80, -o = -d + 5*c. Suppose 0 = -4*a + 3*t - 9 + 40, -4*t = d. Solve a*x - 10 = 2*x for x.
5
Suppose 1 = w - 2*v, 3*v - 7*v + 43 = 3*w. Let i(m) = m**2 - 8*m + 3. Let s be i(w). Solve -3*q - q = -s for q.
3
Let w(q) = -3*q + 1. Let r(g) = -3*g. Let d(m) = -4*r(m) + 3*w(m). Let t be d(-1). Solve t = -k + 3 for k.
3
Suppose j - 6 = 2*m + 22, -3*j = -5*m - 84. Solve -37*y - 18 = -j*y for y.
-2
Suppose -8*z - 5 + 5 = 0. Solve x - 4*x = z for x.
0
Suppose -5*k + 6*k = 0. Solve -4*g + 2*g - 6 = k for g.
-3
Suppose 15 = -5*b + 85. Solve -g = -12 + b for g.
-2
Let r(h) = -3*h**2 - 4*h + 8. Let a be r(-4). Let x = 27 + a. Solve -x = q + 1 for q.
-4
Let w(y) = y**3 + 6*y**2 - 6*y + 15. Let v be w(-7). Suppose v*i = 6*i. Let t(b) = b**3. Let u be t(i). Solve u*z = 4*z - 4 for z.
1
Let b(z) = z**2 - 2*z + 1. Let d be b(1). Suppose -c - 8 = -3*c, 5*v - 92 = -3*c. Let p = v + -13. Solve 2*r + p*r - 20 = d for r.
4
Let w be ((-288)/84)/((-2)/14). Suppose -w*c - 5 = -25*c. Solve -4 = -x - c for x.
-1
Let i = -79 - -97. Solve -5 - 13 = -i*z for z.
1
Suppose 5*m + 5*y = 5 - 0, y - 16 = 4*m. Let k be m + 3 + 5/5. Solve 4*r - 7 = k for r.
2
Let s(p) = -p**3 + p**2 - p + 2. Let n = -10 + 10. Let d be s(n). Solve -17 = -3*k - d for k.
5
Suppose -4*w = -25 - 39. Solve 3*t - w = 11*t for t.
-2
Let m be (-6 - (-8 + 4)) + 11. Let d(s) = s**2 - 10*s + 9. Let q be d(m). Solve a = -q*a for a.
0
Suppose 3*t = 6, -t - 8 = s - 3*t. Let h be (-12)/64*s*4. Solve -8*r - h = -5*r for r.
-1
Let s be (-20)/(-30) - 1*(-14)/6. Solve -4*w = -s*w - 3 for w.
3
Suppose -2*h - 16 = -6. Let w be h/(3 - 4 - 0). Suppose 0 = -d + w*q - 5, 5*q - 8 - 2 = 0. Solve -d = 2*k + 3 for k.
-4
Suppose 0 = -9*w - 7*w + 48. Solve w = 10*c - 9*c for c.
3
Suppose -30*x - 9 = -33*x. Solve -x*q + 11 = 14 for q.
-1
Let i(f) = -f**2 + 9*f - 7. Let q be i(8). Let s be (-2 + q)/(2/100). Let v be (-80)/s - (-4)/10. Solve 0*c = -v*c + 10 for c.
5
Let t = 172 - 163. Solve -t*c = -4*c for c.
0
Suppose 3*j = 4*j. Suppose -2*x = -x - 35. Solve 5*a - x + 10 = j for a.
5
Let a be 2/(-4)*0 - 432/(-18). Let k = 24 - a. Solve -3*l + 1 - 4 = k for l.
-1
Let l(y) = 21*y - 1. Let d be l(1). Let a be 24/d*(-15)/(-6). Suppose a*u = -f - 2*u - 10, -5*f - u - 2 = 0. Solve f = -o - 3*o - 4 for o.
-1
Let m = 2079 - 2070. Solve 6 = m*u - 12 for u.
2
Let c = -292 - -292. Solve 3*s - s - 2 = c for s.
1
Let w(a) be the second derivative of -a**4/12 + 5*a**3/6 + 5*a**2/2 + a. Let m be -1 - (-11)/((-44)/(-24)). Let d be w(m). Solve 0*r = -r - d for r.
-5
Let l = 152 + -156. Let z be (9*(-2)/(-12))/((-2)/l). Solve 0 = z*s - 5 + 2 for s.
1
Suppose -10*h + 9*h = d - 11, 2*d - h = 28. Solve 18 = -5*l + d for l.
-1
Let l = -404 + 419. Solve -3*z + l = -0*z for z.
5
Suppose -1197 = 132*v - 139*v. Solve v*t = 172*t + 4 for t.
-4
Let l = 92 - 48. Let j = -12 - -15. Suppose -j*f + l = f. Solve 3*i + 1 = -f for i.
-4
Let k = 284 + -275. Solve 11*c + k = 14*c for c.
3
Let i(n) = -10*n - 8. Let r = 58 - 59. Let g be i(r). Solve 0 = g*o - 7*o + 25 for o.
5
Suppose 0 = 3*v - 5 - 34. Let m = v - 13. Let r = 0 + m. Solve 0 = t - r*t + 5 for t.
-5
Suppose -18 = -q - 5*z, -5*z - 1 = 3*q - 25. Let g be (q/(-14) - 2/7)*-2. Solve -t - 1 - g = 0 for t.
-2
Suppose -2*s + 4 = 2*s + 3*w, -3*s - 4*w - 4 = 0. Suppose 2*b + 21 = 5*q - 22, -s*q + 8 = 5*b. Suppose 6 = q*r - 8. Solve -r*x = -2 - 4 for x.
3
Let i(t) = 7*t**2 - t. Let p be i(-1). Let a be (p/2)/(1 - 0). Suppose 0*w + 12 = a*w. Solve 7*r = w*r for r.
0
Let z = -603 - -606. Solve 0 = -8*v + 11*v + z for v.
-1
Let m(j) = j**2 + j - 3. Let d(u) = u**2 + u - 6. Let l(g) = -4*d(g) + 7*m(g). Let a be l(-3). Let k = -9 + a. Solve -w - k = -4*w for w.
4
Suppose -15*l = -20*l + 25. Solve 0*y + l = y for y.
5
Let n be (0 - (2 + -1))/(2/(-30)). Suppose -16*w - n = -19*w. Solve 0*q - w*q = -20 for q.
4
Let o be (-8 + (-2 - -9))*-3*1. Let c(m) = -m - 5. Suppose -4*v - 4 - 28 = -u, -4*u - 16 = 0. Let j be c(v). Solve o*i = 7*i + j for i.
-1
Let r be (-14)/(-8) - 20/(-80). Let o be (0 + 10 - r)*1. Let m be -4*1*(-4)/o. Solve 9 - 3 = m*n for n.
3
Suppose v + 3 = 0, u - 4*v - 13 = -v. Solve 13*k - u = 12*k for k.
4
Let d be (-18)/5 - (-4)/(-10). Let w be ((2 - -1) + d)*9. Let j be 56/12 - (-6)/w. Solve j*b + 5 + 15 = 0 for b.
-5
Let g(r) = r**3 + 3*r**2 + r + 1. Let d be g(-2). Let j(q) = -2*q**2 + 11*q + 12. Let i be j(9). Let w be i/(-4) - (-60)/(-80). Solve d = 3*m + w for m.
-3
Let t(b) = b**2 - 10*b + 10. Let s be t(10). Let f be (6/(-12))/(1/s). Let p = 9 + f. Solve 0 = p*j + 1 + 7 for j.
-2
Suppose -4*d - 5*z + 56 = 0, -2*d - 2 = 5*z - 40. Solve 0 = d*c + 5 - 14 for c.
1
Let a be (-3)/(-2)*(-252)/(-27). Solve -16*u + 8 = -a*u for u.
4
Suppose 3*v - 3*b = -b - 10, -3*v - 15 = -3*b. Suppose -2 = -o, v*o = 3*g + 3*o - 6. Solve g*l + l = 0 for l.
0
Suppose -i + h + 10 = 3*h, 5*i - 23 = -h. Suppose 0 = i*f - 4*k + 84, -f = -4*k + 32 - 2. Let o be f/(-10) - (-1)/5. Solve n + o = 4 for n.
2
Let b(m) = -2*m**2 - 2*m. Let c be b(-1). Solve c = 5*h - 11 - 9 for h.
4
Let j(y) = -y**3 + 6*y**2 - 6*y - 5. Let z be j(5). Suppose -15*i - 17 + 197 = 0. Let o be (i/z)/(21/(-140)). Solve -3*s + o = -s for s.
4
Let a(q) = 5*q + 5. Let g(j) = -2*j - 2. Let f(b) = 4*a(b) + 11*g(b). Let l be f(-3). Suppose 7*w - l*w = -o + 2, -24 = -2*w + 5*o. Solve s - w = 3 for s.
5
Let f(u) = -3*u - 17. Let v be f(-8). Suppose 2*x + 3 - v = 0. Solve x = 2*d - 0 for d.
1
Let t be (-3 + 3/2)*2. Let c = t + 8. Suppose p + 25 = 6*p - n, 3*p - c*n - 15 = 0. Solve 5*j - p + 25 = 0 for j.
-4
Let y be 1/(6/36) - -1. Solve -153 = -y*i - 125 for i.
4
Let l(z) = z - 2. Let f be l(2). Suppose f = -7*g + 28 + 21. Solve -2*j + 20 = -g*j for j.
-4
Let u = -72 - -71. Let k be 2*((-2)/4 - u). Solve 14 = 3*w - k for w.
5
Suppose 15 = 3*f - 33. Let z = f - 10. Let u be z + (-1 - (-1 + 3)). Solve a = -4 + u for a.
-1
Let q be (11/121*0)/(-2). Solve 3*o - 58 + 70 = q for o.
-4
Suppose 2 = 3*h - 1. Let l = 7 - h. Let x = 8 - l. Solve -6 = -2*z + x for z.
4
Let h = 62 - 66. Let a be h - (-2)/(-6)*(-3 - 9). Let b = 26 - 16. Solve 2*r + a = -b for r.
-5
Let l(d) = d**3 