3*f - t + 1 = 0. Suppose 4 = -229*h + 230*h. Solve h = -f*a - 12 for a.
-4
Suppose -20*g + 10 = -18*g. Solve -2*r + 1 - g = 0 for r.
-2
Let x = -15 - -20. Solve x*q = -9 - 16 for q.
-5
Suppose 11 = 3*s - 5*k, 3 = s - 5*k - 4. Solve s*t + 2 = 12 for t.
5
Let y = -4 + 4. Suppose y = -3*f + 9 - 3. Let s = -3 + 5. Solve -v + s = -f for v.
4
Let k(q) = q**2 + 8*q + 9. Let a be (-27)/4 + 1/(-4). Let g be k(a). Solve -g*o + o = 3 for o.
-3
Suppose -4*k = -12, 2*m - 4*k + 87 = 5*m. Solve 0*u - m = -5*u for u.
5
Let m be 9 - ((-10)/12 - (-4)/(-24)). Solve -5*b + 0 + m = 0 for b.
2
Let y(r) = -r**2 + 6*r - 8. Let i(j) = 1. Let x(o) = 4*i(o) + y(o). Let l be x(4). Let t be -1 + -1 - (-16)/l. Solve -t*a - 12 = a for a.
-4
Let c = 17 - 17. Let q(b) = -b**2 - 5*b. Let u be q(-4). Let o(v) = v**3 - 3*v**2 - 3*v - 1. Let a be o(u). Solve -a*y + 7*y = c for y.
0
Let v be ((-9)/(-3) - 0)*(-8)/(-12). Solve -v*y + 0 = 6 for y.
-3
Suppose 4 = 3*s - s. Solve 10 + 0 = -s*y for y.
-5
Let i(y) be the third derivative of 0*y - 3/20*y**5 + 0 - 1/120*y**6 - 2*y**2 - y**3 - 3/8*y**4. Let z be i(-8). Solve -14 + z = -3*c for c.
4
Let x(q) be the third derivative of q**4/24 + q**3/3 - 2*q**2. Let t be x(0). Suppose 10 = 3*z - 4*g, -3*g - t = -g. Solve -j = z*j + 6 for j.
-2
Suppose 2*u - 1 = 7. Let m = 4 - u. Solve m = 2*l + 1 - 5 for l.
2
Let p = -83 - -88. Let a(f) = f**3 + 4*f**2 + 0*f - 2*f**3 + 6 + 4*f. Let l be a(5). Solve l = -p*i - 4 for i.
-1
Suppose 4*q = 4, 2*t - 5*q - 15 = -3*t. Solve -4*v - 4 = t for v.
-2
Let l = -5 - -15. Suppose -4*u = u - 25. Suppose u*y - 8 = 3*y. Solve l = -y*z - 6 for z.
-4
Let g be (3/(-2))/((-9)/24). Solve 4*z = 2*z - g for z.
-2
Let q be 1*17 - (-5 + 8). Let c be 35/q*(2 - 0). Solve -2*b = 1 - c for b.
2
Suppose -4*c - 4*d = 0, 3*c + 0*d = -2*d + 2. Suppose -5*i + 5*k = -c - 8, 2*k = i. Let n(m) = m**3 - 4*m**2 + m + 1. Let g be n(i). Solve -g - 11 = -4*w for w.
4
Let g be (-33)/(-18) + (-1)/(-6). Solve 1 - g = -z for z.
1
Let y be ((-2)/1 - 0) + 21. Let z = -32 + 36. Solve -3 + y = -z*i for i.
-4
Let t = -3 + 0. Let w = -1 - t. Solve w*c = 12 - 4 for c.
4
Suppose -4*d + 4*l = -l - 6, 3*d - 18 = -3*l. Suppose -3*o + 42 + 4 = 2*z, 4*o - z = 43. Suppose o = 5*s + q, 5*s + 3*q - 2 - 14 = 0. Solve 3*b - s = d for b.
2
Let k = 14 + -10. Solve k*c - 3 = 3*c for c.
3
Suppose 10 = 3*x - 14. Solve -2 + x = -2*y for y.
-3
Suppose -f - 18 = -5*n, n = -2*n + 5*f + 2. Suppose -k + n = -7. Solve k = 4*d + 3 for d.
2
Let r(a) = a**3 - a + 4. Let m be ((-3)/9)/(1/(-6)). Suppose -2*b = 3*l - 6, -4 = -5*l - 2*b + m. Let z be r(l). Solve n = -z*n + 25 for n.
5
Suppose -r = -2*j - 1 + 5, -2*r + 2 = -2*j. Let i be (1 - -9)/(r/3). Solve i*n + 9 = -11 for n.
-4
Let w(x) = x - 5. Let q be w(9). Suppose -z - 1 = -3*v, -2*v - 16 = -0*v - 4*z. Suppose 10 + q = v*n. Solve -2*f = -n*f for f.
0
Suppose 17 = 12*v - 55. Solve v*b - 12 = 3*b for b.
4
Suppose 2*h + i - 2 + 3 = 0, 0 = 3*h + 4*i + 4. Solve -9 = -3*p - h for p.
3
Let p = -6 - -10. Suppose 64 = p*b + 5*u, -32 = -2*b + 3*u - 0*u. Solve 2*v = 6 - b for v.
-5
Let k(d) = -d**3 + 11*d**2 - d + 15. Let a be k(11). Solve -a = -0*g + 2*g for g.
-2
Let j(l) = -l**2 + l + 1. Let c be j(0). Suppose c = 4*z + 5. Let y(m) = m**3 - 2*m - 1. Let n be y(z). Solve 3*o = -n + 3 for o.
1
Suppose 2*g + 4 = 12. Let d be g/10 + (-24)/(-15). Let l be 3/5 - (-2)/5. Solve 0 = i - l - d for i.
3
Let w(q) = q**3 + q**2 + q + 3. Suppose 2*d - 4 = f, 5*f + 4*d + 2 = 5*d. Let b be w(f). Solve -5 + 2 = -b*y for y.
1
Let b(q) = -q**3 + 10*q**2 + 11*q + 4. Let d be b(11). Let r be 12 - d/((-4)/(-3)). Solve r + 1 = -5*u for u.
-2
Let h = -13 + 6. Let d = -7 - h. Solve d = -4*u - 10 + 2 for u.
-2
Suppose 0 = 5*a - 12 - 28. Suppose -8 = 2*u + 4*f, -3*u = -f - a - 1. Suppose -4*x = -u*x - 32. Solve -d = 3*d - x for d.
4
Let l = -3 - -5. Suppose l*i + 12 = 5*i. Let o be (-6)/(2 - 14/i). Solve -o = -c + 3*c for c.
-2
Suppose 0 = 2*d - 15 - 15. Solve 0 = -3*h - 0*h + d for h.
5
Let o be (-24)/(-9)*(-9)/(-6). Solve 0*i = -i + o for i.
4
Suppose 3*z + 47 = 59. Solve -n = -5*n + z for n.
1
Let v be 1/(2/(-4))*-1. Suppose x = -v*x. Suppose -2*f + 4*y - 21 = -3*f, 0 = 2*f + 5*y - 30. Solve x = 3*m + 1 + f for m.
-2
Let l(h) = h**3 + 14*h**2 - 14*h + 15. Let c be l(-15). Solve 4*o - 2 + 6 = c for o.
-1
Let o be 1/(-2)*(9 - -3). Let a be -1 - o - 18/9. Solve h = -2*h - a for h.
-1
Let a(v) = 6*v**2 + v + 1. Let y be a(-1). Suppose p - 2*m + y = 0, -4*m + 6 = -p - 4*p. Let j(t) = t**2 + t - 2. Let z be j(p). Solve 0 = -z*i + i - 15 for i.
-5
Let w be (0/1)/(4/(4 + -8)). Solve w = 4*r - 6*r + 10 for r.
5
Let a = 12 + -22. Let u = a + 15. Solve 10 + u = 3*m for m.
5
Let i(g) = g + 4. Let w be i(0). Solve -w*q - q = 25 for q.
-5
Let m(c) = c**3 + 2*c**2 - 3*c + 3. Let y be m(-3). Suppose -4 = 4*g, -j = g + g - y. Solve 0*p - p = -j for p.
5
Suppose 31 = -s + 33. Solve s = 5*r + 17 for r.
-3
Let m be (3/(-2))/(33/(-88)). Solve -m + 8 = -2*f for f.
-2
Let s = 8 - 4. Suppose -s*n + 2*n = -10. Solve j - 2*j - n = 0 for j.
-5
Suppose -9*m - 5*m + 112 = 0. Solve 3*r + r = -m for r.
-2
Let a be (-16)/(-3) - (-9)/(-27). Suppose a*f = f. Solve 3*g - 12 = -f*g for g.
4
Let o be 0*3*2/(-12). Solve 3*x + 2*x + 5 = o for x.
-1
Let n be (16/(-44))/(10/(-55)). Solve -3*g - 5 = n*g for g.
-1
Suppose -a + 5*k = -1, -4*k = 3*a - 9*k + 17. Let s(z) be the first derivative of -3*z**2/2 + z - 6. Let l be s(a). Solve 5*j + 3 = l for j.
5
Suppose -3*a = -1 - 8. Let z = a + -1. Solve z*d = -1 + 3 for d.
1
Let g(x) = -x**3 - 7*x**2 + 8*x + 10. Let m be g(-8). Suppose 3*p = 2*t + m, -2*t - 13 = -2*p - 5. Solve p*n + 3 - 1 = 0 for n.
-1
Let r(q) = -q**3 + q**2 - q + 1. Let i be r(1). Solve i = -5*w + 20 - 5 for w.
3
Suppose -11 = -u + 3*i, 3*i + 3 = -6. Solve s = -u*s + 15 for s.
5
Let k = -54 + 58. Solve r - k = -0 for r.
4
Let j(r) = -10*r - 6. Let m be j(-7). Let u = -46 + m. Suppose -u = a - 2*a. Solve -3 = -3*s - a for s.
-5
Let c(a) = -2*a**2 + 20. Let u be c(0). Solve 5*q = -0*q + u for q.
4
Let n be ((-54)/12)/((-9)/(-12)). Let m be n/(-9) + (-30)/(-9). Solve m*o + 2 = 10 for o.
2
Let c(r) = r**3 + r**3 - 9*r**2 - 2 + 8*r + 4 - r**3. Let x be c(8). Suppose v = -b + 8, x*v - 3*b - 2*b + 19 = 0. Solve -z = -v*z for z.
0
Let s = 4 - -1. Suppose s*b = 2*g + 5, 0 = -g + 2*g + b - 1. Solve a + 1 - 5 = g for a.
4
Suppose -2*h + 4*m = -10, 13*h + 5*m = 8*h + 10. Solve 0 = -0*k + h*k - 12 for k.
4
Suppose w = 3*u - 1 - 3, -2*u + 4*w = 4. Let k = u - 5. Let a = k + 6. Solve a*z - 4*z = 0 for z.
0
Let m(c) = 2*c - 2. Let z be m(3). Suppose -4*a = -z - 4. Solve a*k + 10 = -0*k for k.
-5
Let y(z) = -z**2 - z + 24. Let u be y(-5). Solve 6 + u = -2*p for p.
-5
Suppose 3*n - n = 4. Let k be (12/15)/(4/70). Suppose 4*y = -2*h - k, h + 0*y = -5*y - 22. Solve n*d = -h*d + 5 for d.
1
Let k be (4/12)/(2/36). Solve -3*x = -x - k for x.
3
Suppose 2*y = 9 - 5. Suppose 4*w + 2*t + 2 = 0, w + 3*t + 9 = -4. Solve -w = y*i - 0 for i.
-1
Suppose 2 + 2 = x. Let k(v) = -v**3 - 3*v**2 + 2*v - 5. Let j be k(-5). Let f = j - 24. Solve -f - x = -5*m for m.
3
Suppose 88 = 3*o + 5*n - 65, -o + 31 = -5*n. Suppose -o = -3*y + p - 6*p, 5*p - 34 = -2*y. Solve -z - 3*z = -y for z.
3
Suppose 0 = -3*i + 6. Suppose -5*z + 37 = 4*p, -i*p - 2*z + 21 = 3. Solve q - p = -4 for q.
4
Let z(f) = f - 4. Let a be z(6). Let u be (-3)/(-3) + a + -6. Let d(l) = 2*l**2 + 3*l + 4. Let c be d(u). Solve -5 + c = 4*m for m.
2
Let q be 13/(-65) + (-36)/(-5). Let a(h) = -h**2 - 4*h + 12. Let z be a(-6). Solve z = -i - 2 + q for i.
5
Suppose -2*v + 0*v + 22 = 0. Let l(z) = -27*z. Let a be l(-1). Solve -4*j + a - v = 0 for j.
4
Let o be 12/(-8)*(-8)/3. Solve -o*v = -v + 3 for v.
-1
Let b(f) = -f**3 - 3*f**2 + 2*f + 1. Let o be b(2). Let j = -13 - o. Solve -10 = -4*w + j for w.
3
Suppose -2*y + 76 = 3*f + 21, 5*f - 70 = y. Suppose 2*u + 21 = -2*h + 7*u, 5*h + f = 5*u. Suppose 0 = 3*q + h*q - 70. Solve -5*z + q - 4 = 0 for z.
2
Let b(h) = -7 - 5 - h + 7*h + h**2. Let w be b(-9). Let g be 20/4 - (0 + 1). Solve g*q - w = q for q.
5
Suppose 4*k = 4, 3*m - 3*k + 2 - 5 = 0. Solve 2*h - 4 = -m*h for h.
1
Suppose -13 = -8*r + 7*r. Let u = -11 + r. Solve -1 + u = j for j.
1
Suppose 4*l = -0*d - 3*d + 111, -l = d - 29. Suppose -l = -r - 3*r. So