Solve 4*i = -o - 7 for i.
-5
Let g(v) = -12*v - 82. Let n be g(-7). Let u = 87 - 82. Solve -u = n*s - 1 for s.
-2
Let d(h) = h**2 - 14*h - 15. Let l be d(15). Suppose -6*n + 4 + 2 = l. Let t(j) = -2*j - 8. Let y be t(-6). Solve y*p + 11 + n = 0 for p.
-3
Let r(v) = 4*v - 16. Let i(q) = q - 5. Let h(a) = -7*i(a) + 2*r(a). Let w be h(10). Solve -4*d - 3 = w for d.
-4
Suppose -4*k = -k - 12. Suppose -4*p = k*l - 44, -l - 3 = -4*l + 3*p. Solve h + h = l for h.
3
Let m(h) = -11*h - 3. Let v be -5 + (-3 - -7) - 2. Let x be m(v). Let d be 3/(-8) - x/(-80). Solve d = 4*j + 2 + 18 for j.
-5
Let b(l) = -4*l**3 + l**2 - 8*l + 8. Let t be b(3). Let s = t - -135. Solve -4*u - s = -0 for u.
-5
Suppose 0 = -4*a - 3*k + 33 - 13, -2*k = 0. Solve 4*f - a = -1 for f.
1
Suppose 5*b - 26 + 1 = 0. Suppose -7*i + 57 - 36 = 0. Suppose 2*h - b*h = -i. Solve 15 + h = 4*f for f.
4
Let a be 40*(1 - 10/5). Let b = 41 + a. Solve 4*m = b + 19 for m.
5
Suppose -5*w + 30 = -5*k, -3*w = -5*k - 16 + 4. Let l(q) = -q**3 + 10*q**2 - 9*q + 2. Let y be l(w). Suppose 0*p = -2*p. Solve p*b + 8 = y*b for b.
4
Let h = -815 + 821. Let q be (4/6)/((-2)/(-3)). Let x be (3 - (-1)/q) + -2. Solve x*j = -0*j + h for j.
3
Suppose 61 + 71 = 33*p. Solve p*u = -4*u + 8 for u.
1
Let f(d) = -1 - 5 + 7 + d**2. Let p be 21/14 + (-2 - 10/(-4)). Let h be f(p). Solve 5 = h*y - 5 for y.
2
Let n be 1 + (7 - 3 - 2/1). Suppose 0 = i - 6*i + n*r + 15, -12 = -4*i + r. Solve 0 = -5*g + i*g - 6 for g.
-3
Let v(g) = -2*g**2 + 5*g - 2. Let h be v(2). Suppose 15*k - 22*k + 21 = h. Solve -6*t + k*t = 6 for t.
-2
Suppose 0 = -3*q + 213 - 171. Suppose -7*v + 3*v - 4*g = -32, 2*v = -g + q. Solve -y = -v*y for y.
0
Suppose 3*n + n - 4 = 0. Let d(u) = -5*u - 17. Let c be d(-7). Suppose 4*q + c = 94. Solve 5*f = -n - q for f.
-4
Let n = 11 + -1. Suppose n = -k + 3*k. Solve -4*q - k - 3 = 0 for q.
-2
Let r(b) = -8*b**3. Let i be r(-1). Suppose -2*y + y = -1. Suppose -2*q + y = c, 0*q - 3*c + 3 = 2*q. Solve 3*m + m - i = q for m.
2
Let c = -129 + 129. Suppose 3*o = -0*o. Solve o = -c*l - 2*l - 8 for l.
-4
Suppose 28 = 5*s - 32. Let i = -8 + s. Suppose 16 = b - i. Solve 2*k - 6*k = b for k.
-5
Suppose -2*m = -w + 19, -4*w + 5*m + 50 = -29. Solve -17*a + w = -10*a for a.
3
Suppose -2*l + 79 - 33 = 0. Suppose 4*t = l + 29. Solve 5*n - 3 = -t for n.
-2
Let b = -11 - -11. Suppose 6*n - n - 3*d = 25, b = 3*d. Suppose -u + 4 = 1, -5*u = -n*z - 5. Solve f + z - 7 = 0 for f.
5
Let z be 1/2*-4*6/(-6). Solve z = 7*q - 12 for q.
2
Let d(k) = 2*k + 2. Let m be d(0). Suppose 35 = 5*v + m*v. Suppose -4*g + v*h + 11 = 0, -4*g - h + 2*h = -15. Solve -g*i - i = -25 for i.
5
Let s(y) = y - 2. Let c be s(3). Let v = 2 - -1. Suppose -v*t + 0 = -9. Solve t*a - c = -10 for a.
-3
Let i(f) = f - 7. Let k be 2/((-4)/(-5))*2. Suppose 2*l + 24 = 4*y, -16 + 72 = k*y + 4*l. Let o be i(y). Solve 0 = -4*j + 3 + o for j.
1
Suppose 3*g + 43 = m, -52*g = m - 54*g - 43. Solve m - 33 = -5*t for t.
-2
Suppose 0 = 3*u + 72 - 360. Suppose 2*b = 10*b - u. Solve -5*a = -a + b for a.
-3
Let x = -691 + 699. Solve -5*q - 3 = -x*q for q.
1
Let m = -223 + 344. Let c = m - 119. Solve 0*y - c*y = 2 for y.
-1
Let s(z) = 13*z**2 + 4*z - 5. Let d be s(1). Suppose 0 = 3*o + o - d. Solve 2*j = o*j + 2 for j.
-2
Let x(u) = -u**2 + 12*u + 8. Let y(r) = -5*r**2 + 59*r + 39. Let o(i) = -11*x(i) + 2*y(i). Let c be o(16). Solve -4*p = -2 + c for p.
-5
Let n(f) = -f + 0 - 2 + 16*f - 6. Let d(o) = -23*o + 12. Let x(y) = 5*d(y) + 8*n(y). Let p be x(4). Solve -1 + p = -3*i for i.
-5
Let x be (3/(-9))/(19/(-9) + 2). Let c be x + (-3)/(-9)*3. Solve -3*r = -c*r for r.
0
Let t be 3 + 2 + 2 + -3. Suppose 2 = 5*j - 3. Suppose -j = t*n - 5*n. Solve 0 = -4*l - 3 - n for l.
-1
Let o(y) be the second derivative of -y**5/20 + y**4/4 + 5*y**3/6 - 4*y. Let f be o(4). Let x be 50/15*6/f. Solve 10*n - x*n = 0 for n.
0
Let j = 138 - 73. Let q = 80 - j. Solve q = -3*y - 0*y for y.
-5
Let o = -6840 + 6842. Suppose -v = 5*i - 20, 3*v - 10 = i + 2. Solve 0 = -o*x + 5 + v for x.
5
Let r be 309/21 - (-6)/21. Solve -8*w = -3*w - r for w.
3
Let p = -912 + 915. Solve p*i - 4 = 5 for i.
3
Let s = -43 - -49. Suppose 20*i - 17*i - s = 0. Solve 2*w + 4 = -i for w.
-3
Let b = -66 - -61. Let l be (-4)/b*20/8. Solve -7 = -l*i - 3 for i.
2
Let u = -1 - -2. Let o(c) = 19*c - 262. Let m be o(14). Solve m*s + 3 = -u for s.
-1
Let y be (5/10)/((-1)/32). Let j = y + 27. Suppose -3*a - 2 = -j. Solve -a*l = -l for l.
0
Suppose -59*x - 150 = -65*x. Solve 3*i - x = -2*i for i.
5
Let w(x) = -3*x + 45. Let n be w(17). Let z be ((-16)/n - 2) + (-2)/3. Let a = -1 + 2. Solve q + z = a for q.
1
Suppose 50*j + 40*j = 92*j. Solve 12*d - 14*d + 4 = j for d.
2
Suppose -3*n = 4*m - 103, 0*n + 30 = m + 5*n. Suppose 4*z - 15 = m. Let u be (4/6)/(2/6). Solve -u*w + z = -0*w for w.
5
Let w be 1 - (2 + 1)*-1. Let q be (-15)/2*(-32)/5. Suppose q = -42*r + 44*r. Solve -5*b + w = r for b.
-4
Let l(o) = 4*o + 65. Let p be l(-15). Suppose 0*r - 5*r = -3*r. Solve r = v - p + 4 for v.
1
Let h = 2 - 0. Suppose w + t = -4*t + 25, 0 = -h*t + 10. Suppose 0 = -5*k - w*k + 15. Solve 7*u = k*u for u.
0
Let i be 32*((-68)/442 + 21/52). Solve 0 = i*p - 47 + 7 for p.
5
Let f(h) = -3*h - 12. Let l = -22 - -18. Let r be f(l). Solve r = -3*p - p - 16 for p.
-4
Let p(k) = 3*k + 2. Let w be p(1). Solve -w*n = 1 + 4 for n.
-1
Let o(d) = 17*d - 1 + 0*d - 3*d + 2. Let q be o(1). Solve -q + 0 = 3*a for a.
-5
Let d = 5 - 2. Suppose 4*s - 14 = 2*a, -3*s + 6*s - 15 = d*a. Suppose -38*j - 31*j = 13*j. Solve s*p - 4 = -j for p.
2
Suppose 4*l + 1384 - 1484 = 0. Solve 0 = 4*n - 9*n + l for n.
5
Let v be 87/18*1 + (-2)/(-12). Let m be v/15 + 46/6. Let q be 5*-1*(-4)/5. Solve m = 3*d - q for d.
4
Let z(a) = a**3 + 4*a**2 - 5*a + 1. Let k be z(2). Solve k = 8*l - 5*l for l.
5
Suppose -3*f + 76 = w, 0 = -4*f + w - 71 + 170. Let a be (-8)/(-5)*f/10. Solve a*x - 5 = -1 for x.
1
Suppose 216 = 16*h - 7*h. Let g = -19 - -27. Solve 0 = -4*t - g + h for t.
4
Let z(n) = -7*n**2 - n. Let t be z(2). Let r be ((-45)/t)/(2/4). Let u = -7 - -9. Solve -r*p - 5 + u = 0 for p.
-1
Let d = -667 + 676. Solve 4 = -13*g - d for g.
-1
Let w(h) = -50*h + 371. Let n be w(7). Solve t + 18 = n for t.
3
Suppose 3*o - 3*d = 6, -3*d - 5 - 4 = -2*o. Let t(q) = -q**2 - 6*q - 7. Let z be t(o). Solve 0 = -0*l + 2*l - z for l.
1
Suppose -70 = -5*s - 5*u, -s + 17 = -u + 3. Let y = -18 + s. Let i be (2 - 3)/(2/y). Solve -i*m = 2*m for m.
0
Let b(t) be the second derivative of -t**3/6 - 5*t**2/2 + 4*t. Let p be b(-7). Solve 5*y - p + 7 = 0 for y.
-1
Suppose -3 = 3*x - 51. Solve 0 = -21*s + x*s - 5 for s.
-1
Let i be (1/(-2))/((-4)/8). Solve y - 4 = -i for y.
3
Suppose 2 + 10 = -3*c. Let f be 0/((-4)/(c + 2)). Solve 3*t = -f*t for t.
0
Suppose 0 = 2*b + 3*l - 40, 0 = -2*b + 6*l - 2*l + 12. Suppose -o = -4*f + 3*f + b, -16 = -2*f + 5*o. Let z = f - 14. Solve z*w - 2 + 14 = 0 for w.
-3
Let n(m) = -6*m - 1. Let s be n(-1). Let f = -230 + 231. Solve -s*l + 4 = -f for l.
1
Let x = 436 - 428. Let o be (5 - 1)*(-3)/(-6). Let n be (o - 1)/((-1)/(-3)). Solve 0 = -v - n*v + x for v.
2
Let w be 54/2*8/3. Solve 9*v + 9*v + w = 0 for v.
-4
Suppose -2*y + 8 = -2. Suppose -89 = -y*o + 2*c + 6, 4*c + 85 = 5*o. Suppose 5*q - 6*u + u = 0, -3*q + o = 4*u. Solve -q*n = -n for n.
0
Suppose 5*k = 16 - 1. Suppose -v - 12 = k*f - 3, 0 = 4*v - 2*f - 20. Solve 0 = 3*a + 9 + v for a.
-4
Let x(b) = -6*b + 6. Let h be x(5). Let c = 28 + h. Solve -c*m = 13 + 3 for m.
-4
Suppose 1013 = 20*n + 453. Solve -n = -15*f + 17 for f.
3
Let o(l) = -2*l - 43. Let u be o(-26). Solve 2*q + 1 = u for q.
4
Let f = -139 + 159. Solve -v + f = -5*v for v.
-5
Suppose 13*t + 15 = 18*t. Solve 6*b - t = 3*b for b.
1
Suppose -8*c + 80 = -3*c. Suppose -q = c + 2. Let k = 23 + q. Solve 0 = -o - 0*o + k for o.
5
Suppose 16*c + 2 = 2*l + 11*c, -3*c = -l - 1. Solve -1 - l = 4*s for s.
-3
Suppose -6*l = -8 - 10. Let d be 0 + (2 - -2) + 2. Solve -m = -l*m - d for m.
-3
Suppose -5*y = -2*o - 9, -3*y - 2*o + 14 + 1 = 0. Suppose -11 = v + 3*k, 3*v + y*k + 3 = -0*k. Solve -2*s = -4*s - v for s.
-2
Let n be ((-11)/(-4))/(-8 - 165/(-20)). Solve n*a - 10*a = 5 for a.
5
Suppose 2*p + 27 = -2*y - 3*y, -y + 5*p = 27. Let b(d) = -2*d**3 + 0*d**2 - 2*d + 7*d**2 + 3*d**3 - 8 + 0*d**