*f - 35, 4*f + 64 = 4*b. Let c be -1*9/b*-5. Solve c*a - 1 = 11 for a.
4
Let r be (-6)/(1*(1 - 2)). Suppose -3*x + 5*x + 26 = 5*i, 3*i + 5*x + 3 = 0. Suppose -2*n - 21 = -3*t, -i*t + 2*t + 24 = 2*n. Solve -r - t = 5*u for u.
-3
Let u be 7 + (-8 - (-18 - -8)). Solve u = -h + 14 for h.
5
Suppose 5*u - 8*u = -20*u. Solve u*d - 5 = d for d.
-5
Let p(t) = 4*t - 18. Let q be p(6). Let s = 8 - q. Solve -r + 1 - s = 0 for r.
-1
Suppose 0 = 4*l + i - 3, -2*l + 2*i - 6 = -4*l. Suppose 4*d + 41 - 41 = l. Solve -3*w + 9 = -d for w.
3
Suppose -23*y + 577 = -389. Solve 0 = 11*w + 10*w + y for w.
-2
Let z(g) = -g**3 + 2*g**2 + 22*g - 20. Let u be z(5). Solve 7*m = 4*m - u for m.
-5
Let z be (0 - (-8)/10)/(78/585). Suppose z*a = -24 + 84. Solve -4*x = x + a for x.
-2
Suppose 1 - 5 = -2*m. Suppose -4*t = 5*u - 3*t + 12, m*u + 8 = -2*t. Let d be 1/((-2)/(8*u)). Solve 4*z - d = 6*z for z.
-4
Let f = -66 - -69. Solve f*i - 5 = -2*i for i.
1
Suppose c + 16 = 5*r - 3*r, 0 = 2*r + c - 16. Solve 0 = -r*u - 44 + 20 for u.
-3
Let k(j) = j**3 + 22*j**2 - 2*j - 12. Let z be k(-22). Solve 0 = 7*q - 39 + z for q.
1
Let o = 271 - 266. Suppose 0 = -5*u + 15, -3*u = -h - 4*h + 26. Solve o*p = -22 + h for p.
-3
Let z = 0 + 0. Let d(o) = 4*o**3 - o**2 + 2*o - 4. Let w be d(2). Suppose -24 = 20*s - w*s. Solve 5*t - 8*t + s = z for t.
1
Let g = 5 - 13. Let s = g - -30. Suppose -2*w + s = w + y, -28 = -4*w - 2*y. Solve -h = h - w for h.
4
Let f(j) = -j**2 - 18*j - 36. Let r be f(-10). Let u be r/10 + -2 - 22/55. Solve z = -u*z for z.
0
Let z be 2 + -2 + (-4 - -4). Suppose z = -5*x + 2*x. Suppose x = 5*s + 4*t - 1, 2*s = 3*s - 2*t - 3. Solve 4*a = 5*a + s for a.
-1
Let y = 80 + -46. Let j = 40 - y. Solve l + 2 = j for l.
4
Let l = -23 - -29. Suppose -6 - l = -2*m. Solve m*u - u = -5 for u.
-1
Let l(k) = 15*k**2 + 0*k - k**3 + 11*k**2 - 7*k - 30*k**2. Let d be l(-3). Solve 5*c - d = 13 for c.
5
Let w(s) = -s**2 + 2*s - 2. Let y be w(0). Let i(g) be the second derivative of -2*g**3/3 - 5*g**2/2 - 12*g. Let m be i(y). Solve 0 = -m*a + 3 for a.
1
Let q = -34 - -40. Solve -4*y + q = -6 for y.
3
Let a = -448 - -462. Let k(x) = x**3 - 2*x**2 + 4*x - 2. Let y be k(2). Suppose -c - 4*g = a, 0*c - 5*c - g + y = 0. Solve 0 = -q - c*q + 3 for q.
1
Let y(f) = 7*f - 3. Suppose 10 = -t + 11. Let o be y(t). Solve o*m - 12 = -0 for m.
3
Suppose 0 = -5*s - 4*u + 17 + 68, 0 = 2*s + 4*u - 46. Let l(a) = -4*a + 5. Let b be l(-3). Let q = b - s. Solve n = q*n for n.
0
Let m be (-1)/(4/4*2/(-40)). Solve m = 2*p + 28 for p.
-4
Suppose -68*h = -81*h + 221. Solve 0 = -20*q + h*q - 3 for q.
-1
Let v be -4 - 1 - -3 - -6. Suppose -2*q = -4*d - 24, v*q - 32 = 5*d + 4. Suppose -6 = a - q*a. Solve -i = -a*i + 3 for i.
3
Suppose -4*g + 31*p = 28*p - 140, -5*p = -2*g + 56. Solve 10*v + 68 = g for v.
-3
Let f(v) = 2*v + 6. Suppose -2*m + 2 + 5 = u, 0 = -4*u + 5*m - 37. Let g be f(u). Solve g = -5*d + 15 for d.
3
Suppose -2*p + 7 = -3. Suppose -p*d = -10*d + 10. Solve -d = -5*b - 17 for b.
-3
Let y be ((-6)/(-5))/((-596)/200 - -3). Let h be (-12)/(-9) + y/9. Solve 4*s + h + 4 = 0 for s.
-3
Let i(t) = -t**3 + 11*t**2 + 12*t + 3. Let c be i(12). Suppose -c*b - 4 - 5 = 4*j, 0 = j + 2*b + 6. Suppose j*r + 2*r = 4. Solve 0*l - 4 = -r*l for l.
2
Let n be (-56)/(-6) + (209/33)/(-19). Solve 19*d = 16*d - n for d.
-3
Suppose m + 10 = 2*f + 1, 2*m = -2*f - 6. Suppose 5*p = 2*u - 29 + 3, -f*u + 2*p = -20. Solve 4*i + u = 20 for i.
3
Let f(v) = -v**3 + 7*v**2 + 8*v + 3. Let w be f(8). Let u = 7 + 1. Let i be u/(-6)*3/(-2). Solve i*m = -w*m + 15 for m.
3
Suppose 35*m - 58 - 47 = 0. Let l be (-86)/(-7) + 4/(-14). Let d = -4 + l. Solve m - d = -b for b.
5
Suppose 2*j = 5*z + 28, 4*j + 3*z - 3 - 1 = 0. Suppose -2*o + 32 = o + 5*u, -56 = -4*o - j*u. Let d = 20 - o. Solve 0 = -m + 3 - d for m.
2
Suppose 0 = -2*u - 2*k, 19*u - 4*k - 4 = 21*u. Suppose l - 4 + 1 = 0. Suppose -3*b + 6 = 0, -p = 5*b - 3*b - 24. Solve -l*z - u*z = p for z.
-4
Suppose 0 = 63*l - 55*l - 24. Solve -18*p = -17*p - l for p.
3
Suppose f = -r + 5, 0 = 4*f - r + 6*r - 20. Solve -20*i - 75 = -f*i for i.
-5
Let b = 1862 - 1839. Solve y + b = 28 for y.
5
Suppose 2*l = -5*z + 2, -24 = 5*l - 4. Suppose -24 = -4*u - z*u. Solve 1 = u*a - 3 for a.
1
Let l = -118 - -118. Solve -2*d + 15 - 5 = l for d.
5
Suppose -5*t + 87 = 27. Solve -t = 35*v - 31*v for v.
-3
Let t be 128/16*(-1)/(-2). Solve 4 = -t*x - 4 for x.
-2
Let f(i) = i - 1. Let x be f(-6). Let m(q) = -q**2 - 8*q. Let t be m(x). Let p be ((-1)/(-4))/((-7)/(-28)). Solve -3*l - t = -p for l.
-2
Suppose 17 = -4*t - 5*p, 2*t = 3*t - p - 7. Solve 0 = -t*u + 4 - 2 for u.
1
Suppose -10 = -5*q - 3*i, i + 5 = 3*q + 3*i. Suppose q*u = 3*u. Solve 2*w + 1 + 3 = u for w.
-2
Suppose 3*t - 3*q - 93 = 0, q + 122 = 4*t + 7. Let i = -16 + t. Suppose 3*r + r = 0. Solve -3*c = -r*c + i for c.
-4
Let m = 1 - -1. Let z be (-7)/(364/(-200)) - (-50)/325. Solve -m*q = -z*q for q.
0
Let v(x) = -x**2 + 14*x - 13. Let m be 15 + (1 - -1)*-2. Let b be v(m). Solve 5*d + b = 45 for d.
5
Suppose u - 138 = -2*b - 123, 3*u + 4*b - 35 = 0. Solve -1 - u = -3*y for y.
2
Let q be (3 - (-3 + 3))/1. Suppose -q = -2*w - w. Let y be 2/((3/3)/1). Solve -a - y = w for a.
-3
Suppose -9*j + 21 + 24 = 0. Solve c - j*c = 0 for c.
0
Let m(p) = -p**3 - 7*p**2 - 10*p - 2. Let a be m(-5). Let f(v) = -v**2 + 5*v - 6. Let n be f(4). Let d be (-1 + (-2)/a)/n. Solve r + d = -2 for r.
-2
Let i be (-231)/132*(-8)/2. Solve 0 = 15*c - i*c - 24 for c.
3
Let l(a) = 7*a + 64. Let z be l(0). Solve 3*c + 13*c = z for c.
4
Suppose -19 = -5*g - 4. Let m = g + -2. Solve -m = -3*o + 5 for o.
2
Let n = 1 + -12. Let o = -25 - -39. Let j = o + n. Solve -5 = 4*k + j for k.
-2
Suppose -553 = -11*k - 410. Solve 15 = -2*x + k for x.
-1
Let y(c) = c**3 - 19*c**2 + 20*c - 25. Let s be y(18). Suppose -s*a = -12*a + 6. Solve -4*f - a = 10 for f.
-4
Let a(l) = l**3 + 4*l**2 - 4*l - 1. Let z be a(3). Let d = z - 46. Solve 0*q = -q + d for q.
4
Let n(d) = 38*d**2 - d - 1. Let m be n(-1). Let z = m - 23. Let r be (z/6)/(-5)*-4. Solve i = -r*i + 6 for i.
2
Suppose 30 = 239*h - 234*h. Solve 0 = h*a - 14*a for a.
0
Let x(d) = 2*d. Let f be x(6). Suppose 9 + f = -3*k. Let c = -5 - k. Solve -20 = 2*q + c*q for q.
-5
Let f be 1/(-6) - 7906/(-708). Let z = -10 - -16. Suppose f*o = z*o. Solve -2*c + 10 = -o*c for c.
5
Suppose -2*m + 20 + 13 = p, -115 = -3*p - 10*m. Solve 6*a + 7 = p for a.
3
Let g be (4*1)/(1 - 0). Let v(k) = -4*k + 37. Let r = 46 + -38. Let l be v(r). Solve 21 = -l*n - g for n.
-5
Suppose 5*p + 49 = -2*x, 2*p + 0*x = 2*x - 14. Let s = 34 + p. Solve -5*r + 5 - s = 0 for r.
-4
Suppose -38*t + 49*t = 0. Let n be 6/(-24) + 9/4. Suppose -3*j + 8 = -2*j. Solve -n*r + t*r = -j for r.
4
Suppose -4*z - 1 + 3 = -3*g, 4*z = -4*g + 44. Solve -5*q + g*q - 2 = 0 for q.
2
Let x = -21 - 67. Let y = x + 90. Solve y = b + 3 for b.
-1
Suppose 4*p - w = 40, p + w + 11 = -4*w. Suppose -3 - p = -6*y. Solve -3*v - y*v = 0 for v.
0
Let p be (-75)/(-25) + -2 + 2/(-2). Solve 0 = 2*q - p - 2 for q.
1
Let c(u) = 7*u + 9. Let q be c(5). Suppose 7*v + 9 - q = 0. Solve v*n = -14 - 1 for n.
-3
Let a(w) = -13*w + 33. Let z be a(2). Solve -4*l = -z*l + 3 for l.
1
Let y = -4 + 22. Solve 11*f - y = 2*f for f.
2
Let i(m) = -2*m**2 - m + 3. Let z be i(0). Let b be 1 - ((-3)/z + -1). Solve 1 = y - b for y.
4
Let o(a) = -4*a + 23. Let g be o(0). Suppose g - 55 = -8*b. Solve b*v - 6 = v for v.
2
Let z be 0/(-4) - -80 - 1. Let o = z + -77. Solve -n = o - 0 for n.
-2
Let c = -14 + 12. Let x be c - ((-16)/(-2))/1. Let t = x - -10. Solve t*p = p + 3 for p.
-3
Suppose -20*n + 11*n = 27. Let f = 6 + n. Solve 2*y + 1 = f*y for y.
1
Let r = -747 - -751. Solve -r*d = -13 - 3 for d.
4
Let p = -5 + 8. Let g be (-4 - -4)/(7 - 11). Solve p = 3*t - g*t for t.
1
Let h be (-5)/1 + 72/9. Let w be 0/2 - (8 - (h + 7)). Solve -10*t = -9*t + w for t.
-2
Let r be 31/5 - (2 - (-18)/(-10)). Suppose r*c = 37 - 13. Solve -c*f + 4 = -5*f for f.
-4
Let y be 33*((-5)/(-15))/1. Solve y*q - 3 = -14 for q.
-1
Let x(y) = -y**2 - 7*y + 2. Suppose 0 = 5*g + t - 35 - 9, 0 = g - 5*t + 12. Let h be (-6 - -7) + g*-1. Let o be x(h). Solve o*v + 2 = -4 for v.
-3
Suppose -2*z - z + 51 = 0. Suppose z = 4*v + 5. Suppose 3*n - 15 = 5*o - 2*o, -15 = -v*n + o. Solve 0*t +