
Let q(x) = 11*x - 64. Let g be q(6). Let d(v) = v + 5. Let f be d(-5). Solve s - g = -f*s for s.
2
Suppose 4*j = 3*u + 60, 5*j = j - 3*u + 36. Let s be 1*2/1 + -7 + j. Solve 5*i - s = -2 for i.
1
Let m = 363 - 357. Solve -3*k + 9*k = -m for k.
-1
Let o(y) = y**2 - y + 8. Let w be o(0). Let g = w - 6. Solve -j = g + 2 for j.
-4
Let d(h) be the first derivative of -h**4/4 + 3*h**3 - 7*h**2/2 - 3*h + 6. Let w be d(8). Solve -4*a = -w*a for a.
0
Let g be (-64)/(-6) + -2 - (-10)/(-15). Suppose 0 = 2*p - 12 + g. Solve 0 = -p*f + 4 - 6 for f.
-1
Let s(q) = 10*q + 266. Let n be s(-24). Solve -n*p + 28*p = -8 for p.
-4
Let n = -247 + 247. Solve 0 = -n*k + k for k.
0
Let m(x) = x**3 - 5*x**2 + x - 1. Let r be m(5). Let o be 182/6 - (7 + 138/(-18)). Suppose j - 5*i - o = 0, -2*j - 6*i + 20 = -2*i. Solve 0 = 4*v - j - r for v.
5
Let v(p) be the first derivative of p**4/6 - p**3/6 - p**2/2 - 3*p - 1. Let u(a) be the first derivative of v(a). Let d be u(-1). Solve -g = -d*g + 2 for g.
2
Let p = 81 - 30. Let t = 51 - p. Let r = -20 - -34. Solve 5*y + r + 6 = t for y.
-4
Suppose 5*x = 3*o + 307, -4*x - o - o = -228. Let u = 63 - x. Solve u*f + 2 = -10 for f.
-3
Let g = -632 + 633. Solve -6*u + 11 = -g for u.
2
Suppose -v + 10 = -6. Let u be (-18)/4 - (-8)/v. Let f be -3*1/(4/u). Solve -5*w + 2*w - f = 0 for w.
-1
Let f be (-9 + 22 + -10)*(-3)/(-9). Solve 10*m - f = -31 for m.
-3
Let o be 81/(-6)*(-2)/3. Suppose o + 3 = 4*t. Let d be 3 + (-1 - -2) + t. Solve 2*v - d = -1 for v.
3
Let n be 4/20 - (-741)/95. Solve -3*z + n*z = 10 for z.
2
Let d = 2187 + -2180. Solve 14*m = -d*m - 105 for m.
-5
Let q = -777 - -790. Solve 0 = 9*a - q + 4 for a.
1
Let m be (-24)/(-10)*15/6. Suppose -12 = -5*p + 28. Let c(q) = -3*q**3 - q**2 + q + 1. Let d be c(-1). Solve p = m*g - d*g for g.
2
Let m be 220/99 - (-4)/(-18) - -3. Solve -7*v + m*v - 2 = 0 for v.
-1
Let b = -164 - -170. Solve b*g - 8*g = 6 for g.
-3
Suppose 40 = 5*d - m, 56*d - 3*m - 22 = 55*d. Solve 8 + d = -5*h for h.
-3
Suppose 0 = -12*u + 63 + 213. Solve -u*x - 8 = -25*x for x.
4
Let x(p) = -2*p - 31. Let t(s) = 3*s + 46. Let f(h) = 5*t(h) + 7*x(h). Suppose 0 = -3*o - 16 + 1. Let m be f(o). Solve -z - 3*z = m for z.
-2
Let f(n) = -n**2 - 15*n - 39. Let t be f(-6). Solve t - 13 = 2*u for u.
1
Suppose -4*h + 23 + 117 = 0. Let q = 36 - h. Solve -q = m + 4 for m.
-5
Suppose -1270*l + 1279*l = 36. Solve -28 = -l*m - 24 for m.
1
Let q be 3/(-9) + 40/(-6). Let t be 7 + q - (-3 + 0). Suppose t*w = w + 6. Solve g - 2 + w = 0 for g.
-1
Let p(r) = -3*r**2 - 59*r - 32. Let x be p(-19). Let f = -4 + 7. Let v = 0 - -3. Solve -v*s - x - f = 0 for s.
-3
Suppose -4*m = m. Suppose 5*h + 4*r = 5*r + 18, -5*h + 3*r = -24. Solve m = -2*g - h*g + 25 for g.
5
Let k(g) = g + 27. Let s be k(-20). Let y(j) = -j**3 + 7*j**2. Let z be y(s). Solve -l - 3 + z = 0 for l.
-3
Let d = 1192 + -1172. Solve -86*u + d = -82*u for u.
5
Let z = 715 - 710. Solve 0 = t - 6*t - z for t.
-1
Let y(d) = 2*d**2 + 3*d**2 - 16*d + 2*d**2 - 5*d**2. Let a be y(8). Suppose 0*z - z = a. Solve z = -p - p for p.
0
Let p be 2/4 - 3/(-6). Let x be 2/(-9) - (-22)/99. Let w = x - -3. Solve s - w = -p for s.
2
Let r(y) = y**3 + 10*y**2 + 8*y - 4. Let c(t) = 6*t + 3. Let d be c(-2). Let x be r(d). Suppose -8 = -4*o - 4*w, -o + 6 = -x*w - 8. Solve 2 = o*s - 10 for s.
3
Let j(t) = -4*t - 4. Let c = -10 - -34. Suppose -7*k + 3*k = c. Let s be j(k). Solve -5*y + s = -5 for y.
5
Let n = 72 + -68. Let z(u) = -u**3 + 4*u**2 + u - 2. Let s be z(4). Suppose 4*t - j - 2*j = s, -4*j + 6 = -t. Solve -m + t - n = 0 for m.
-2
Let f(w) = 12*w**3 + 9*w**2 - 9*w - 11. Let c(o) = 18*o**3 + 14*o**2 - 14*o - 17. Let b(z) = 5*c(z) - 8*f(z). Let t be b(-1). Solve 2*y = -t - 3 for y.
-4
Suppose 176*f - 1040 = 156*f. Solve 49*z - f*z = -15 for z.
5
Let w be (0 + (-1 - -1))/1. Suppose 14*r - 80 = 4*r. Suppose 3*s - 7 = r. Solve p - s*p = w for p.
0
Let m(n) = -n + 3. Let o be m(0). Let q be -1*(-141)/(-6)*2. Let g = 72 + q. Solve 0 = -o*x - 2*x + g for x.
5
Let s be (-56)/(-84) - (-52)/(-6). Let x(o) = -12*o - 96. Let l be x(s). Solve -3*j + 15 - 3 = l for j.
4
Let z(v) = -v**2 - 6*v - 5. Let w be z(-4). Let m = -66 + 66. Solve m = -0*c - w*c - 6 for c.
-2
Suppose 5*v + 4*b + 997 = 0, -4*v - b = -3*b + 808. Let k = -176 - v. Suppose m + 3 - 1 = j, 4*m = 3*j - 8. Solve 2*l - 7*l + k = j for l.
5
Let g(j) = j**3 + 5*j**2 - 16*j + 9. Let v be g(-7). Solve 5*w = -13 + v for w.
2
Suppose -r = -4*r - 7*r. Solve -2*y + r*y = -4*y for y.
0
Let u be 1*(4 - 35/5). Let y be 0*u/(3 + -6). Solve y = -3*j - j for j.
0
Let c be 4*(1 + 3/(-2)). Let d be 0/((c + 0)*1). Suppose h + 3*h = d. Solve 4 + h = t for t.
4
Let a = 22 + -22. Suppose a*u + 2 = u. Solve -7 = t - u for t.
-5
Let w = -233 - -246. Let h = 0 + 10. Suppose 0 = h*s - w*s + 27. Solve -4*x + s = 1 for x.
2
Suppose -8*v = 2*v - 60. Suppose -4*p = -v - 10. Solve -6*x = -4*x + p for x.
-2
Let k(o) = o**2 - 8*o + 4. Let w be k(6). Let i(v) = 0*v**2 + 5 - 50*v - v**2 - 13 + 39*v. Let p be i(w). Solve p + 9 = 5*t for t.
5
Let t = 1201 + -1186. Solve -2*n = n + t for n.
-5
Suppose 1708*n = 1728*n - 360. Solve -n*c + 25*c = -7 for c.
-1
Let i = -4 - -6. Let y = -62 + 101. Suppose 5*p + 14 = y. Solve -p*j + i*j = -6 for j.
2
Let h be (-3)/(-1 - (5 + -6 - -1)). Solve h*v - 4*v = -3 for v.
3
Suppose -4*y + 3*i = -100, -4*i = 2*y + 3*y - 94. Suppose 0 = 2*n - 4*n + 4, -2*g + n = -y. Suppose 4*w + 5*l + 5 = 2, g = -4*l. Solve 4 = f + w for f.
1
Let i(q) = q**3 + 5*q**2 + 5*q - 1. Suppose -w + 4*y + 2 = -3*w, -w - 2 = y. Let k be i(w). Solve 0 = -2*t - k*t for t.
0
Let b = 92 + -56. Let i = b - 31. Suppose 4*v = -j + 41, -3*v + 22 = -j - 0. Solve -i*d - 34 = -v for d.
-5
Let s be (1 - 1)*1 - -1. Let x = s - 1. Suppose 0 = -11*t + 22 - 0. Solve n = -x*n + t for n.
2
Suppose 0*l = -4*l + 8. Suppose 6*k = 6 + 6. Suppose k*h = -5*b + 21, h - b + 6 = 2*b. Solve -c + l + h = 0 for c.
5
Let f = 7 - 1. Let w be 1 - (198/(-27) - (-8)/(-12)). Solve 5*x - w - f = 0 for x.
3
Suppose 171 = -53*f + 542. Solve 3 = 8*x - f*x for x.
3
Let s be (-72)/(-10 - -4) - 1*5. Solve 0 = 3*m - s*m + 20 for m.
5
Let p(k) = 4*k**2 - k - 3*k**2 + 0*k**2 + 5*k - 8. Let g be p(-6). Let i = g + -4. Solve -u - 5 = -i*u for u.
-5
Let x(z) = -z**3 - 13*z**2 - 22*z + 4. Let q be x(-11). Suppose -30 = -k - q*k. Let y be 4/k*(-9)/(-2). Solve -v = 2*v + y for v.
-1
Let j(y) = -y**2 + 3*y - 2. Let t be j(2). Let d = -11 - -10. Let i be (1 + -5)/(d + -1). Solve t = i*f - 3*f for f.
0
Suppose 2*q - 4 = 32. Suppose -3*c - q + 69 = 0. Solve 0 = -4*h - 5 + c for h.
3
Suppose -12*j + 5 = -17*j. Let z be (-4 - j - -3) + 5. Solve 3*h = -z - 10 for h.
-5
Suppose 4*k - 34 = 5*b + 75, -5*k - 4*b = -167. Solve 28*y = k*y for y.
0
Suppose -5*s - 5*h + 0*h = 0, -2*s + 20 = -2*h. Let k be (1 - 1)/(1*2). Solve s*r + k = 5 for r.
1
Let j be 40/(-100)*((-1 - -2) + -91). Let l be (0 + -1)*4*-4. Suppose -4*w + 26 = 2*t, 5*t - 3*w - l - j = 0. Solve t = 5*v + 31 for v.
-4
Let q(r) = -2*r**3. Suppose 2*o - 42 = -5*d - 6, -12 = -3*d. Let l = -9 + o. Let s be q(l). Solve -s*g + 2 = -g for g.
2
Suppose 0 = x + 2*z - 18 + 5, 0 = x - 3*z - 23. Solve -x*l = -16*l - 5 for l.
5
Let t(p) = p**3 - 10*p**2 + p - 8. Let u = -15 - -15. Suppose u = 4*d - 12, 34 + 1 = 5*k - 5*d. Let w be t(k). Solve -1 + 3 = w*v for v.
1
Suppose -4*x - 6 = -2*w, 7 + 8 = 3*w - 4*x. Suppose -w*b = -70 + 16. Solve 4*i = b*i for i.
0
Suppose -7*d + 92 = 50. Let y(v) = v**2 + 12*v + 16. Let k be y(-11). Solve d = k*w - 4 for w.
2
Suppose 0 = 8*s + 51 - 3. Let f be (s/(-4))/(3/4). Solve -f*t = -t for t.
0
Let q be 4/(-18) + 58/18. Let m(c) = 2*c - 14. Let t be m(8). Suppose -5*v - 5*f = -20, 0 = -f + t*f - 2. Solve -v*d + q*d = 5 for d.
5
Suppose -3*x - 127 = -5*j, 2*j + 9*x - 4*x = 26. Solve 0 = 4*p - 3 + j for p.
-5
Suppose p - 30 = 5*i, p - 4*i = -6*i - 5. Solve -3*k + p*k = -8 for k.
-4
Suppose -3*g - 3*r + 21 = 0, -2*r + 1 = -5*g + 8. Solve -12 = -3*z - g*z for z.
2
Let h(j) = -j**3 + 8*j**2 - 3*j - 8. Let d be h(7). Suppose 7*n - 12*n + d = 0. Solve -3*a + n = a for a.
1
Let m = 15 + -52. Let k = -37 - m. Solve k + 4 = -2*i for i.
-2
Let i be 726/18 + 8/(-6). Solve -i*q + 4 = -41*q for q.
-2
Let l be (-14)/(-4)*(-12)/(-21) + 1. Suppose 4*g - l*w - 37 = 0