
-4
Let s = 19 + -17. Solve g - 2*g + s = 0 for g.
2
Suppose 0 = 8*p + 2*p + 840. Let u = 88 + p. Solve -u*n = -0*n - 8 for n.
2
Let c = 37 + -31. Solve -c = -p - 1 for p.
5
Let i = 152 - 147. Solve 87 - 107 = -i*s for s.
4
Let i(x) be the first derivative of -x**2/2 + 14*x - 4. Let u be i(0). Solve -4*l + 2 = -u for l.
4
Let b be (-3 - -1) + (-22)/11. Let u = 7 + b. Suppose 5*r = 12 + u. Solve r*l - 5*l = 0 for l.
0
Suppose -5*b - 13 = a, 0 = -b - 3*a - 0*a - 11. Let v be 3*(-4)/8*b. Solve -v*r - 13 = 2 for r.
-5
Let k = -18 - -30. Suppose -4*l = 2*l - 30. Solve -c - k = -l*c for c.
3
Let m be 3*(-1)/(-7)*(-2 + 9). Let o be (27/33 - 4/(-22)) + m. Solve o*v + 0 = -8 for v.
-2
Let p = -36 - -36. Solve p = 6*z + z - 14 for z.
2
Suppose -5*i - 140 = -5*p, -5*p + 0*i + 140 = 4*i. Suppose 6*o = 46 - p. Solve -o*y + 3 = -9 for y.
4
Let m be -24*-3*(-6)/(-36). Solve m*a = 7*a + 10 for a.
2
Let o(b) = -12*b**2 - 3*b + 30. Let w be o(0). Solve -25*m = -19*m - w for m.
5
Suppose 2*a - 2*h + 3 = 13, 4*a = -3*h - 1. Solve 4*t = a*t - 8 for t.
-4
Let d = -8 - -10. Let l be 5*d*(-2)/(-4). Suppose 2*x - l*j = -0*x + 30, -3*x = -2*j - 23. Solve -5 = -x*b + 10 for b.
3
Let h be (126/98)/((-5)/(-35)). Solve -2 + 20 = h*m for m.
2
Let t(r) = r. Let k be t(7). Let a = -109 + 127. Suppose d + a = 10*d. Solve 0 = k*n - d*n + 15 for n.
-3
Let m(g) = -56*g + 51*g + 34 - g**2 + 0. Let w be m(-7). Solve z + w = -3*z for z.
-5
Let f = -667 + 675. Solve -f*p + 0*p = -16 for p.
2
Let i = 10 - -33. Suppose 9*v = 11 + i. Solve d = v*d - 5 for d.
1
Suppose -d + 6*d = 0. Suppose 3*f - 35 + 8 = -4*h, f = 4*h - 7. Solve -3*k - h = -d for k.
-1
Suppose -72 = 6*x - 120. Solve 6*u + 4 + x = 0 for u.
-2
Let y(i) = i**2 + 8*i - 17. Let v(k) = k**3 - 6*k**2 + 4*k + 6. Let z be v(4). Let u be y(z). Solve u + 5 = 2*m for m.
4
Let c(h) = 7*h**2 + 5*h + 27. Let g be c(-2). Solve 46*p - g*p = 1 for p.
1
Let u(f) = -2*f - 6. Suppose -y = -3*y - 12. Let x be u(y). Suppose 21*n - 1869 + 1884 = 22*n. Solve -j + x*j = n for j.
3
Let b(m) = -2*m - 4 + m**3 + 4*m**2 - 6*m**2 + 6*m**2. Let h be b(-4). Solve u - h = -1 for u.
3
Let j(i) = i**3 - 7*i**2 + 6*i - 7. Let m be j(6). Let o = 12 + m. Suppose o*h = h + 24. Solve c = h*c - 25 for c.
5
Let f(w) = -9*w - 15. Let b be f(-7). Solve -44 = 4*m - b for m.
1
Suppose 0 = -10*v + 37*v - 216. Solve 12 = v*m - 4*m for m.
3
Let u(t) be the first derivative of -t**3/3 + t**2/2 + 2*t + 3. Let c be u(2). Suppose 0*m - 5*m + 55 = c. Solve 5*i + m - 1 = 0 for i.
-2
Let x = 148 - 126. Suppose 100 = 2*r + 3*r. Let m = x - r. Solve -5*n = -m - 3 for n.
1
Let b = -177 - -177. Solve 5*n + 20 = -b*n for n.
-4
Let n be 1 + 3312/42 - (-12)/(-14). Solve 23*a - n - 36 = 0 for a.
5
Let u(g) = g**2 + 50*g + 61. Let m be u(-49). Solve 9*r + m = 3*r for r.
-2
Suppose 821 = 13*c - 1311. Let j = -162 + c. Solve -2*f - j - 6 = 0 for f.
-4
Let l be (-6)/(-1 - (-24)/42). Solve -2*j + l = 22 for j.
-4
Suppose -53 - 43 = 4*s. Let k(i) = -i**2 - 23*i + 28. Let d be k(s). Solve 1 = d*v - 7 for v.
2
Suppose 4*q + a = 149, -6*q - 3*a + 195 = -q. Suppose 5*o + q = -54. Let d be ((-3)/(-2))/(o/(-48)). Solve 3*v - 4*v - d = 0 for v.
-4
Let w(u) = u**2 + 12*u + 21. Let y be w(-12). Let q = y - 15. Solve q*k = k + 10 for k.
2
Suppose 64 = l + 7*l. Suppose -2*x - 2*x + l = 0. Solve -3 = x*k - 1 for k.
-1
Suppose 4*f = 13 + 11. Let i be (-2 + 11)*(-4)/f. Let w be ((-4)/i)/((-2)/(-9)). Solve w*r + 1 = 4 for r.
1
Let x = -99 + 106. Let b = 11 - 9. Solve x - b = d for d.
5
Suppose 11*y - y = 60. Solve -y*v + 10 = -v for v.
2
Let r(g) = 6*g - 9. Let z be r(-4). Let x = 33 + z. Solve -3 = l - x for l.
-3
Suppose 5*t - 2*t = 12. Suppose 3*r - 2*o - o = 12, 3*o = t*r - 20. Solve r + 7 = 5*g for g.
3
Let o = 2 + 1. Let t be 80/36 + 2/(-9). Suppose 15 = o*h + t*h. Solve -2*w - h = 5 for w.
-4
Let s(i) be the first derivative of -5*i**4/4 - i**3/3 - i**2/2 - 28. Suppose -2*g + 3 = 5*b, 7 + 6 = -5*b + 2*g. Let d be s(b). Solve 0*k - d*k = -25 for k.
5
Let c be (-6)/((-36)/(-42)) - -17. Solve 3*t + c = 16 for t.
2
Let h = 1 + 3. Suppose t = -h*r + 28, -5*r - 5*t + 30 + 5 = 0. Let z(v) = v**2 - 8*v + 11. Let u be z(r). Solve u*g - g - 6 = 0 for g.
2
Suppose z - 2*z + 5 = g, 0 = -3*g + 15. Suppose -2*q = -8, z = d + 4*d + q + 26. Let w be 16/7 + d/21. Solve w*y = y for y.
0
Suppose 0 = 4*o + 4886 - 4902. Suppose 28 = -3*g + d + 105, 0 = 5*d + 10. Solve -g = -o*n - n for n.
5
Let b be -9*(-4)/48*8. Solve -4*f - 26 = -b for f.
-5
Let y = -119 - -113. Let f = 10 + y. Solve -f*h + 0*h = 0 for h.
0
Let b(g) = -2*g - 14. Let s be b(-9). Suppose -s*h = 4*l - 1 - 7, 3*h - 14 = -5*l. Solve -6 = -2*o + l*o for o.
-3
Let w(o) = o**3 + 2*o**2 - 2*o + 1. Let x(i) = i**3 - i + 1. Let j be x(0). Let y be w(j). Suppose y - 6 = -2*s. Solve -6 + s = v for v.
-4
Let f be 2/((54/(-60))/(-9)). Solve f = -0*m - 4*m for m.
-5
Let l = 69 - 88. Let j(h) = 22*h**2 + 1. Let k be j(1). Let v = l + k. Solve v*s - 4 = -16 for s.
-3
Let f be ((-12)/(-2) - 3)/(-1). Let s = f + 7. Suppose -s*m = -5*m + 4. Solve -10 = m*u + u for u.
-2
Let t = -1447 + 1457. Let w be (-2)/3*(-15)/2. Solve t*u = 5*u - w for u.
-1
Suppose 0 = -74*m + 508 + 676. Solve -3*x - 1 = -m for x.
5
Suppose 62*u - 78*u = -80. Solve 0 = -0*a + 5*a - u for a.
1
Suppose -3*x = 5*d - 129, 0 = -3*x + 3*d - 2*d + 111. Let g = x - 33. Solve g = -2*p + 7*p for p.
1
Let u be -1*((-100 - -1) + -2). Suppose -u = -a - 96. Solve r + a - 6 = 0 for r.
1
Let y = 203 - 134. Suppose -5*i + y - 9 = 0. Solve 3 = -5*p - i for p.
-3
Let d(p) = -p**2 - 8*p - 2. Suppose -2*z - 6 = 4*q, -q = 4*z + 11 + 1. Let c be d(z). Solve 7 = -5*j - c for j.
-4
Let r(t) = t**2 + 9*t - 4. Let b(k) = -2. Let u(m) = -5*b(m) - r(m). Let o be (-2 + 27)*(-4)/10. Let v be u(o). Solve s - 2*s = -v for s.
4
Suppose -48*u + 44*u + 48 = 0. Solve 19*g - 22*g = u for g.
-4
Let s = -210 + 222. Solve 3*d - s = -3*d for d.
2
Let n be 40/(-24)*3/(-15)*3. Solve -11 = -2*i - n for i.
5
Let v be (-9 - -3)*6*(-1)/4. Let c be ((-125)/(-5))/(-5)*v/(-15). Solve -c*d = -5*d + 2 for d.
1
Let g = 60 + -68. Let j be (-19 - -20)/((-18)/g - 2). Solve k - 3 = -j for k.
-1
Suppose -22 = 25*m - 247. Solve 23 = -m*q - 13 for q.
-4
Suppose 0 = -25*z + 28*z, -2*z = u - 3. Solve 13 + u = 4*w for w.
4
Let n be 7/(-14)*10 + 7. Solve -4 - n = -6*z for z.
1
Let g = 228 + -219. Solve -7*q - g*q = -80 for q.
5
Let q(h) = 16. Let d(l) = -l - 17. Let c(y) = -3*d(y) - 4*q(y). Let s be c(5). Solve -s*i + 3 - 9 = 0 for i.
-3
Let w(x) = x**3 + 6*x**2 + 3*x - 7. Let q be w(-5). Suppose 4*s - s + 3*j + 63 = 0, j = -q. Let k = 20 + s. Solve -k*u = -3*u for u.
0
Suppose -159 = -2*x - g, -x + 10*g - 12*g + 81 = 0. Solve 19 = -20*k + x for k.
3
Suppose 32*m - 48*m = -160. Solve -s = -3*s - m for s.
-5
Let h(p) = 2*p**3 + 14*p**2 - 2*p - 14. Let f be h(-7). Solve f = 6*q - 1 - 5 for q.
1
Suppose 3*y + 5*u = -0*y + 30, 6 = -2*u. Let c be (5 + -1 + y/(-5))*25. Solve t + 4*t = -c for t.
-5
Let s(r) = r**2 - 8*r - 18. Let h be s(10). Suppose n + n - 4 = 3*q, -5*q = -h*n. Solve -n = f - 0 for f.
-5
Let v = 1426 - 1420. Solve v*i + 12*i = 36 for i.
2
Let g = -357 + 364. Solve 18 + g = 5*v for v.
5
Suppose 0 = -2*j + 3*j - 27. Let z = -25 + j. Solve -z*u = u - 6 for u.
2
Let z(i) = -i**3 - 6*i**2 - i - 2. Let w(t) = t**2 + 7*t - 2. Let o be w(-4). Let f = o - -8. Let g be z(f). Solve 0 = g*q + 5 + 3 for q.
-2
Let s(c) = c**2 - 6. Let m be s(-4). Suppose u = 4*l - 16, -5*u - 8 = -2*l - m*u. Solve l - 2 = 2*q for q.
1
Let x = 59 + -107. Let p = -43 - x. Solve -p = -j + 2*j for j.
-5
Let b(f) = -f**3 - 11*f**2 + 1. Suppose 0 = y + 4*x + 7, -2*y - 3*y + 5*x = 60. Let l be b(y). Suppose -3*v + 66 = 3*v. Solve -4*q = -v - l for q.
3
Suppose 0 = 4*a, -80 = -5*o + o + 3*a. Solve o*i - 16*i = 0 for i.
0
Suppose 13 = l + 4*k + 33, -3*l = -5*k - 25. Solve -11*f + 12*f + 3 = l for f.
-3
Let n = -21 + 26. Let k(m) = -m**2 + 4*m + 7. Let o be k(n). Suppose -5*q + 70 = -5*x, -30 = -o*q + q + 5*x. Solve -5*p - 5 = -q*p for p.
1
Suppose -18 = 3*j - 6, -5*x = -5*j - 165. Let n = -27 + x. Solve -20 = -3*m - n*m for m.
4
Let q be -5 + (-1)/((-6)/132). Solve -b + 14 = q for b.
-3
Let i be (-2)/(1/(-10*1)). Suppose -2*g - 3*g + i = 0. Let f(s) = s**2 - 9*s - 5. Let k be f(10). Sol