 + 7. Let z be k/(-4) + (-1)/4. Solve -2*m = z - 5 for m.
2
Let i = 16 - 8. Suppose -7 = -5*l + 3*h - 0*h, 0 = -h + 1. Suppose 5*q = -c - c + i, 2*q - l*c = -8. Solve 10 = -q*n - 5*n for n.
-2
Let q be -5*(0 - (-3)/(-3)). Let y(f) = -2*f + 8. Let d(l) = -l + 3. Let t(j) = 8*d(j) - 3*y(j). Let a be t(-2). Solve a*h = 5*h - q for h.
5
Suppose -11 - 24 = -7*t. Solve t = -0*a - a for a.
-5
Suppose 0 = -4*v + 4*y + 7 + 29, 0 = 5*v + 2*y - 17. Suppose 0*q + 4*q + 4*j = 20, -v*q + 34 = -4*j. Suppose -5*g + q*g = 6. Solve 0 = 2*a - 0 - g for a.
3
Suppose 3*n = -n + 112. Suppose -21 = -7*x + n. Solve -4*v - 15 = -x*v for v.
5
Let t(k) = -2*k**2 - 2*k + 7*k**2 + 5 + 0*k**2 - 4. Let g be t(1). Suppose f = -2 + g. Solve -6 = -4*w + f for w.
2
Suppose -8*h - 8 = -10*h. Suppose h*v = -2*d + 2, 3*v + 4*d - 2 = -13. Solve 0 = v*l + 2 + 7 for l.
-3
Let z = -8 - -8. Solve 0*y - y - 2 = z for y.
-2
Suppose 134*q - 147*q + 39 = 0. Suppose -2*o - 1 = -5*g, 4*g + o = -g - 8. Let x be (-3 - -4) + (-8)/g. Solve -x - q = 3*j for j.
-4
Let r(l) = l - 2. Let x(j) = j - 2. Let g(u) = 2*r(u) - 3*x(u). Let z be g(-4). Solve -4*p + z = -p for p.
2
Let z be ((-12)/(-9))/(4/(-6)) - -52. Let p = -34 + z. Solve 0 = -5*m + m + p for m.
4
Let v = 43 + -80. Let u = -33 - v. Solve 5*j - j = u for j.
1
Suppose -2*t = -k, 4*t = 2*t + 8. Solve k*b = 6*b for b.
0
Suppose 0 = 5*h - 20, 62 = 4*g + 2*h - 62. Suppose 0 = c + 2 - 0. Let v be ((-7)/(21/54))/c. Solve 0 = 5*n - g + v for n.
4
Suppose -5*b + 2*b + 3 = 0. Let m = 26 - 25. Solve b = y - m for y.
2
Suppose 4 = -o - 0*o. Let r be 2 + 0 - (-5 - o). Solve -r = -3*u + 2*u for u.
3
Suppose -5*r + p = 4*p, -4*p = 2*r. Let x = 10 + -6. Solve r = -5*u + x*u for u.
0
Let h(r) = 3*r**2 - 5*r + 2. Let q be h(-3). Let v = q + -42. Solve v - 4 = -c for c.
2
Let z = -57 - -87. Suppose s = 5, -b - 3*s = 4*b - z. Solve -2*x + b*x - 4 = 0 for x.
4
Let f(s) = s**2 - 11*s - 3. Let g be f(12). Suppose -g*q + 4*q = -20. Solve 0*l = l - q for l.
4
Let h be 4 - (1 + 0) - 15. Let c be (-1)/(-4) - 69/h. Solve -o = 1 - c for o.
5
Suppose 3 = -3*o + 4*t + 14, -5*o + 2*t = -37. Solve 25 = o*b + 16 for b.
1
Let u be 5/1 + 6/2. Suppose -15 = -5*n, 2*n - n - u = -5*i. Suppose z - 4 = -i. Solve 1 + z = d for d.
4
Let g(t) = -t**3 - 5*t**2 + 6*t + 3. Suppose 4*f - 22 = 3*y, -3*y - 20 = -3*f + 1. Let l be g(y). Suppose -5*p + 60 = -p. Solve l*c = -2*c - p for c.
-3
Let n(t) = -12*t - 95. Let u be n(-8). Solve 4*q + 3 = -u for q.
-1
Let c be ((-15)/(-10))/(3/2) + 0. Suppose -r + 4*u - c = 10, -5*r + 5*u - 10 = 0. Solve 3 - r = -x for x.
-2
Let c(u) = u**3 + 4*u**2 - 16*u - 20. Let b be c(-6). Solve 9*a = b*a for a.
0
Suppose -32 - 4 = -3*y. Suppose 3*z + t = -0*t + y, 20 = 5*z - 4*t. Solve z*c = c - 15 for c.
-5
Suppose 12*g - 127 = -79. Suppose 0 = 8*h - 3*h. Suppose 5*w = -h*w + 35. Solve -15 = -w*p + g*p for p.
5
Let z be (4 + -3 - 0)*5. Solve z*w = -33 + 28 for w.
-1
Suppose -3*v + 3*t - 8*t - 19 = 0, 5*t = 5*v - 35. Let c be (119/17 - 10) + 0 + 13. Solve v*d - c = -2 for d.
4
Suppose -k - 104 = -14*k. Suppose 2*d + 4*a = k, -2 = -d + 5*d - a. Solve d = -2*c - 0 - 8 for c.
-4
Suppose 0 = 2*h + 2*c - 10, -2*c + 7 = -4*h + 3. Solve -2*i + h = 5 for i.
-2
Suppose 4*d - 4*x = 20 + 40, x = 2*d - 33. Let k = 20 - 11. Let g = k + -7. Solve -4*u - g + d = 0 for u.
4
Let v(z) = z**2 + 60*z + 616. Let q be v(-47). Solve 70*y - 69*y = -q for y.
-5
Let g = 10 + -29. Let s = 49 + g. Let i = -27 + s. Solve -5*y + i - 8 = 0 for y.
-1
Suppose 2*d = 2*h - 46, 4*h - 11 = -3*d - 94. Suppose 0 = -w - g - 25, 3*w - g + 55 = g. Let z = w - d. Solve z*p = p - 9 for p.
-3
Let t(b) = 14*b + 7. Let i be t(-2). Let r be (-49)/i - 8/6. Solve r + 4 = a for a.
5
Let y(x) = -x**2 + 7*x - 7. Let r be y(3). Let h = 21 + -15. Let d = 12 - h. Solve d + 19 = -r*i for i.
-5
Let r be (-33)/(-55) - -3*(-27)/(-15). Solve 0 + r = 2*w for w.
3
Let s be 2/9 + (-210)/(-27). Suppose -4*m + 38 = 2*r + s, -4*m + 5*r = -37. Let f = 12 - m. Solve f = -n - 0*n for n.
-4
Suppose -x + 0 = -4. Suppose 4*h - x = 8. Suppose 4*b - h*s - 9 = -6*s, 15 = -4*b + 5*s. Solve b = 3*w - 5 + 2 for w.
1
Suppose -y = -52 + 44. Let v be ((-3 - -3)/(-4))/(-2). Let f(x) = x**2 + x + 2. Let h be f(v). Solve -h*m = -2 - y for m.
5
Let y be 0 + (-3 - -4) - -1. Suppose y*k + 4*d - 4 = -0*k, 4*k = 5*d + 8. Solve j - k = -4 for j.
-2
Let b be -6*(4/(-6) - 2). Let l(p) = p**3 + 12*p**2 + 25*p - 2. Let q be l(-3). Solve 0*z - q*z - b = 0 for z.
-4
Let j(x) = x + 14. Let m be j(-11). Suppose m*f + 9 = 5*p, 0*f = p - f - 1. Suppose p*a - 4 = 8. Solve 0 = a*b + 20 - 0 for b.
-5
Let v(o) be the second derivative of -o**3/3 + o**2 - o. Let l = 183 + -190. Let y be v(l). Solve t = 5*t - y for t.
4
Let l be (-3)/(-2) + -2 + 884/136. Let y be (12/4)/((-2)/8). Let c be 3/y - (-9)/4. Solve -l + 2 = c*h for h.
-2
Let a be 24/(-15)*10/(-4). Let w(s) = 7*s + 1. Let l be w(1). Suppose 2*t - 12 = -l. Solve -t*f + a = 2 for f.
1
Suppose 3*k + 18 = w, -51 = -43*w + 38*w + 2*k. Solve 9*c + 0 = w for c.
1
Let n = 1197 + -1190. Solve 7*u + n = -28 for u.
-5
Suppose 2*u + 2*u = -s + 26, 8 = 3*u - 5*s. Let p be -10 + (-2 - -3 - 2). Let r be 15/(2/5 + p/(-10)). Solve -u*y - r = -y for y.
-2
Let v = -7 - -11. Suppose -a + v = a. Suppose -4*n = a*n. Solve n = g - 2 - 1 for g.
3
Let o(a) = a**3 + 19*a**2 - 18*a + 42. Let s be o(-20). Let w(q) = -q**3 + 3*q**2 + 2*q - 3. Let l be w(s). Solve 0 = -l*n - 11 - 4 for n.
-3
Let p be -5*((-33)/(-231) - (-446)/(-35)). Solve -p*k = -64*k for k.
0
Let j(v) = 5*v**2 - 2*v - 1. Let y(c) = c**2 - 4*c - 3. Let m be y(5). Let n be j(m). Solve -4*g + 7*g = n for g.
5
Suppose 4 + 4 = 4*t. Suppose 0 = -w, 3*w - 2 = -o + t. Solve o*x = -x - 5 for x.
-1
Suppose 0 = -81*c + 75*c + 12. Solve c = -4*w - 6 for w.
-2
Let w = 57 - 54. Solve 0 = w*x - 7 + 16 for x.
-3
Suppose -3*i = -6*i - 42. Let b = -11 - i. Suppose -14 = 2*o - 3*u + 7*u, 27 = 4*o - b*u. Solve 2*m = -m + o for m.
1
Let u(i) be the second derivative of -i**5/20 - 7*i**4/12 + 3*i**2/2 - 2*i. Let f be u(-7). Solve f*z + 0 = -6 for z.
-2
Let n(d) = -d**2 - 10*d - 5. Let q be n(-7). Let k be (-2)/q + (-1)/(-8). Suppose 2*t + 2*t - 8 = 0. Solve t*p + k*p = 2 for p.
1
Let h(o) = o**3 + 14*o**2 + 13*o + 19. Let f be h(-13). Let s = f + -19. Let j be -2*(-1 - 0/(-1)). Solve -j*g + s*g = -10 for g.
5
Let g = 524 + -520. Solve 6*q = g*q + 6 for q.
3
Suppose 12*i - 77 = i. Solve 4 = -i*v - 3 for v.
-1
Let s = 80 + -76. Suppose 12 = w + 4*m, 0 = -5*w + 5*m - 0*m - 15. Solve -s*k - k - 10 = w for k.
-2
Let h(g) = -5*g - 11*g**2 - g**3 + 16*g**2 + 5*g + 2. Let v be h(5). Suppose 3*b - 9 = 2*s - s, -v*s - 2*b + 14 = 0. Solve -4*f - 3 = -s*f for f.
-3
Let v(h) be the second derivative of -h**4/12 - 23*h**3/6 - 17*h**2/2 - 10*h. Let r be v(-22). Solve -15 = -r*f - 0 for f.
3
Let m = -690 - -693. Solve 3*s + m*s = -24 for s.
-4
Suppose -2 = 2*b - 3*p, 18 = 5*b + 6*p - 2*p. Solve 3 = v - b for v.
5
Let k(u) = -16*u + 4*u**2 + 2 - 4*u**2 + 3 - u**2. Let p be k(-16). Solve -5*g + 0 = -p for g.
1
Let v be 36/(-30)*160/(-6). Suppose v + 58 = -5*d. Let o = -15 - d. Solve -o*j + 2 = -1 for j.
1
Let v = -3 + 6. Suppose -h = -3*w - 2*h + 20, v*w + 3*h = 12. Suppose -3*m + 4*q + 36 - 48 = 0, 12 = -5*m + 4*q. Solve 3*a + a - w = m for a.
2
Suppose 2*y - 28 = -18. Suppose 8 = -3*b + y*b. Solve -b*w + 15 = -7*w for w.
-5
Suppose 9 = 3*d, -i - 3*d + 5 = -3*i. Let o(l) = 4*l**2 - 2*l - 1. Let t(x) = 4*x - 25. Let z be t(6). Let h be o(z). Solve 3 = -i*v - h for v.
-4
Let h be -1 + 6/15*5/2. Suppose 4*r = -h*r + 32. Solve p + p = r for p.
4
Let u(j) = 2*j - 23. Let o be u(15). Let w = -12 + 14. Suppose 12 = 5*z - 2*z - w*n, 12 = -4*n. Solve -z*f + o = 17 for f.
-5
Suppose k + 3*k - 80 = 0. Let w be k/(-6)*(-72)/60. Suppose w = m + 3*m. Solve q - m - 3 = 0 for q.
4
Let l = 184 + -181. Let r = 13 + -3. Solve l*z = z + r for z.
5
Suppose 4*t + 32 = -0*c - 2*c, 2*t - 4*c + 26 = 0. Let n be t/(-5) - ((-144)/(-30) + -5). Solve 0*p = n*p for p.
0
Let t(q) = -q**3 + 2*q**2 + 3*q - 6. Let s be t(2). Let v = 11 - 8. Solve v*m - m + 6 = s for m.
-3
Let g(q) = -q**3 - 13*q**2 - 30*q - 213. Let z be g(-12). Solve z*v + 2 = 5 for v.
1
Let r(g) = g**3 - 13*g**2. Let o be r(13). Solve 2*j - 8 - 2 = o for j.
5
Let k 