 5 = -5*t + 22. Solve -4*i = -a*i + v for i.
3
Let n be (25/10)/(2/24). Solve -31*m = -n*m + 1 for m.
-1
Suppose 232 = 31*o - 2*o. Solve o*c = 15*c + 7 for c.
-1
Let y = 67 + -116. Let i be (-2)/(-7) + (-427)/y. Solve -4*f - i = -f for f.
-3
Let i(x) = 5*x**3 + 2*x**2 - 6. Let v(t) = 9*t**3 + 4*t**2 - 11. Let z(y) = 5*i(y) - 3*v(y). Let g be z(-2). Solve -5*n + g = 1 for n.
2
Let j(x) be the first derivative of x**4/4 - 4*x**3/3 + x**2/2 - 4*x - 9. Let q be j(4). Solve -4*i = -q*i for i.
0
Let h be 13/((-65)/60)*(-4)/16. Solve 0 = -h*x + 3 for x.
1
Suppose 0*b = -5*b - 70. Let h(m) = -m**2 - 13*m + 5. Let p be h(b). Let j = p + 9. Solve j = d + 8 - 3 for d.
-5
Let g be (14148/144)/((-9)/(-24)). Solve 7*d + g = 234 for d.
-4
Let b be ((-4)/14)/(3/(-21)). Let k(s) = -6*s + s**b + 4*s + 1 + 0*s**2 + 0*s**2. Let u be k(3). Solve -u*m - 11 = 1 for m.
-3
Let z be (2 - -2 - 18)/((-2)/1). Solve -19 + z = -6*r for r.
2
Let a = -15 - -17. Suppose a*o = 4*o - 4. Solve 5*v = o + 3 for v.
1
Suppose 3*b + 3*s - 42 = 0, 46*b - 53 = 42*b - 5*s. Solve -b*q = -13*q for q.
0
Let t(j) = 3*j + 44. Let m be t(-13). Suppose -5*s - 4*c + 36 = 0, 10*c = 2*s + m*c + 12. Suppose -5*l + 26 = 1. Solve -9 = l*n - s for n.
-1
Let j be 15/17 + (-42)/(-357). Let k be (1/3 - -2) + j/(-3). Suppose 2*w - 5 = 5*g - 3*w, -4*g + w = -8. Solve -t + k = -g*t for t.
-1
Let t be (4 + -7)/(-3) - 3. Let z be (-3)/(6*t)*12. Solve -p + 1 = z for p.
-2
Let b = 938 - 931. Solve 3 - 31 = -b*i for i.
4
Let g = -500 + 502. Solve 0 = 4*t - 3*t - g for t.
2
Let w = 414 - 430. Let g be ((-38)/6)/((-2)/6). Let h = g + w. Solve h = 3*z - 3 for z.
2
Suppose -p + 4 = -2*p. Let i be (54/p)/9*(-16)/12. Solve -i = 5*g - 4*g for g.
-2
Let i(y) = -11*y + 89. Let j be i(8). Solve -3*s + j - 7 = 0 for s.
-2
Let n(f) = -f**2 - 13*f + 6. Let l be n(-10). Suppose -3*i + l + 24 = 0. Let t(a) = a**3 - 9*a**2 + a - 6. Let d be t(9). Solve d*w = -2*w + i for w.
4
Suppose 4*c = -4*m, 19*m = 5*c + 23*m. Solve 4*d - 3*d + 4 = c for d.
-4
Let v = 923 + -913. Solve -7*m - v*m - 17 = 0 for m.
-1
Let h(t) = -3*t**2 - 3*t - 7. Let j(k) = -5*k**2 - 6*k - 14. Let d(v) = 7*h(v) - 4*j(v). Let r be d(5). Let l = 3 + r. Solve -3*b + b = l for b.
0
Let a = -877 + 889. Suppose -n = 3*n - 2*o, 3*n = 2*o - 2. Solve a = n*p + p for p.
4
Let r be 168/448 + (-250)/(-16). Solve 2*b = 10 - r for b.
-3
Suppose 4*h + 2*u - 23 - 9 = 0, 41 = 5*h + 3*u. Suppose 5*k - 22 = y, -4*k + h + 17 = -4*y. Let g be ((-6)/4)/(1/y). Solve 2*i - i = g for i.
3
Let z = -677 + 685. Solve z*f - 6 = 5*f for f.
2
Let j = -31490 - -31494. Let g be 3 + 0 + -1 + 1. Solve -7*k = -g*k - j for k.
1
Let v(s) be the first derivative of s**4/4 + 2*s**3 + 6*s + 4. Let j be v(-6). Suppose j*m = m. Solve -2*l + 2 = -m for l.
1
Suppose -5*u + 3*t - 5*t + 1 = 0, 10 = -5*t. Let r be (-1 - 1090/8) + 2/8. Let x = r + 137. Solve 5*s + 11 - u = x for s.
-2
Suppose -h - 12 = 3*h, 0 = 4*i + 2*h - 30. Solve -i*z + 3*z = 18 for z.
-3
Let s be (54/4)/((45/(-10))/(-9)). Suppose 0 = 32*a - s*a. Solve a*i = 4*i + 4 for i.
-1
Let h = 1117 - 1112. Solve -22*p - 3*p = -h*p for p.
0
Let r = -21 - -23. Suppose r*l = -3*g - 12, l + 20 = -8*g + 3*g. Suppose -4*j = 4*s - 28, l = 5*j - 5*s - 13 - 22. Solve 8 = 5*w - j for w.
3
Suppose -6*x + 3*x + 4*b = -143, 4*x - 170 = -5*b. Solve -5*j - 4*j = x for j.
-5
Let l(a) = a**2 + 68*a - 284. Let u be l(-72). Solve 0 = -0*o + u*o + 16 for o.
-4
Let s be -8*((-3)/6 - 0). Suppose -55 = -9*k + 53. Solve s*x + 0*x = -k for x.
-3
Let d = -3 - -3. Let u = d - -1. Let v be 3 + -2 - u - -2. Solve 4*i + v = 3*i for i.
-2
Suppose 9*a - 41 = 58. Solve 12*b - 4 = a*b for b.
4
Let q = 805 + -798. Solve q*m - 7 = -21 for m.
-2
Let j(c) = c**3 + 6*c**2 + 7*c + 11. Let t be j(-5). Let i be (3*t)/(4/(-24)). Let f = i - -34. Solve 3*r + r - f = 0 for r.
4
Let y be 7/((-35)/20) + 4. Suppose -p + 0*p = y. Let r be (1 - 0) + 1 + 1. Solve -k + p = r for k.
-3
Let q be 5/(20/8)*4/4. Solve -q + 7 = 5*p for p.
1
Let p(x) = x**3 - 11*x**2 + 7*x - 74. Let k be p(11). Solve -k*v + 6*v = 6 for v.
2
Suppose 21*f = 107*f - 4128. Solve -38*y - 30 = -f*y for y.
3
Suppose l + 3*l = 8. Let o(g) = g**2 + 8*g - 27. Let b be o(-11). Let k be 148/b + -3 + 10/3. Solve l*s = -3*s + k for s.
5
Suppose -3*g + 0 = -3*r + 9, -g + 17 = 4*r. Let u be 3/(-9)*g + 2/6. Solve -o - 2 + u = 0 for o.
-2
Let j(x) = -2*x - 4. Let y be j(-9). Let c = y - 14. Suppose c = -2*n + 2 - 0. Solve -g + 4 = n for g.
3
Suppose 0 = -11*f + 9*f + 2. Let m be 3*(1 + 0)*f. Solve -b + m - 2 = 0 for b.
1
Suppose 0 = p - 3*k - 32 + 14, 4*p - 58 = 5*k. Solve -15*l + 11*l + p = 0 for l.
3
Let v be (4/6)/(3/(-9)). Let i be v*(-15)/(-20)*-2. Solve -i*m = -1 + 10 for m.
-3
Let p = -4 + 7. Suppose -p*t + 9 = -3*b, t + 0 = 2*b + 3. Solve j - 8 = t*j for j.
-4
Suppose 11*l = 13*l - 12. Let q(t) = -t**2 + 5*t + 8. Let s be q(l). Suppose 3*p + 5 = 4*p - 3*z, 2*z - 10 = -s*p. Solve 10 = -0*d + p*d for d.
2
Suppose 0*w = -w. Suppose 7*t - t - 54 = w. Solve 0 = -5*f + 16 + t for f.
5
Let r be (-3)/((3/5)/((-140)/175)). Solve -6*k = -2 - r for k.
1
Suppose -6*q + 216 = -10*q. Let z = q - -61. Solve -2*d + 3 = -z for d.
5
Let z = 98 - 90. Solve 70*t - 68*t + z = 0 for t.
-4
Let n = 47 - 42. Let f be 8 + 0 + 1 + -2. Solve n*c + f - 22 = 0 for c.
3
Let n(f) = f**3 + 10*f**2 + 11*f + 28. Let u be n(-9). Solve p + 6 - u = 0 for p.
4
Suppose 6*z + 3*a + 66 = 3*z, -5*a = z + 6. Suppose q + 44 = -q - 4*p, 3*p + 41 = -2*q. Let i = q - z. Solve -3*m + m + i = 0 for m.
5
Let j be 32/20 - 2/(-5). Suppose 7*k + 52 = 24. Let t be -3 - (k + -4)/j. Solve -c = -t - 2 for c.
3
Suppose 3*y + 0 = 9. Suppose 2*s - 7 = -y*x, -3 - 2 = -5*x. Let m be 4 + -3 - (-1 - 1). Solve m*c = s*c for c.
0
Suppose 4*f - 6 = -l, 4*l + f - 5*f - 84 = 0. Let q = 34 - l. Let i be 4*(-10)/q*-2. Solve -y - i = -6*y for y.
1
Let w = -62 - -90. Let k = w - 25. Suppose k*h = 2*u - h - 28, 0 = u + 2*h + 6. Solve -3*s = s - u for s.
1
Let y = 12 + -5. Suppose -3*m - 2*m + y = 3*w, 5*w - 23 = 3*m. Solve w = 2*u - 2 for u.
3
Let r be -2 + 339/(-11) + (-8)/44. Let w be ((-30)/(-4))/(r/(-44)). Solve -3*p + w = 4 for p.
2
Suppose -2*l = 6, l - 12 = -f + 4*l. Let b be -1 + 4 - (f + -3). Solve b*g + 2 = -1 for g.
-1
Suppose -2*j - 3*i + 4 = -3, -2*j = 2*i - 8. Let q be (20/j - 6) + 4. Solve -q*u - 4 = 4 for u.
-4
Suppose 1 = 2*w + n, -5*n + 6 = 4*w + 1. Suppose w = 5*v - 4*v + 9. Let g be -1*(v + (-12)/(-4)). Solve -20 = -l + g*l for l.
-4
Suppose 7*t = 9*t - 6. Let u be (0 - -2)*t/3. Solve -2*p + u + 2 = 0 for p.
2
Let m be 14/6 - 1/3. Suppose m*r - 3 = -c, -9 = c - 2*c - 4*r. Let t(h) = -h**2 - 6*h - 6. Let w be t(c). Solve 0 = -2*k + w*k - 2 for k.
2
Let z = 67 - 63. Suppose -4*l + 0*y + 8 = 2*y, z*l - 4*y = 8. Solve 0 = f + l for f.
-2
Let d = 577 + -575. Solve -d*w - 71 = -73 for w.
1
Let j = 7 - 15. Let u(i) = 2*i**3 + 17*i**2 + 7*i. Let s be u(j). Solve s = -m - m for m.
-4
Let x(i) = -i**2 - i - 1. Let u(k) = -k**3 - 8*k**2 - 4*k - 8. Let h(w) = -u(w) + 4*x(w). Let p be h(-4). Solve p = -m - 0*m for m.
-4
Let y(d) = d**3 - 2*d**2 - d - 3. Let i be y(3). Let m = -1216 + 1218. Suppose -19 = -m*f - i. Solve a + a = -f for a.
-4
Let f be (-11 + 5)/((-12)/20) - 3. Solve 3*l + f = -8 for l.
-5
Suppose 74*m - 69*m + 50 = 0. Let z be m + 5 - (3 - 12). Solve n + z*n - 15 = 0 for n.
3
Suppose -2*h = -4*h + 3*t + 3, 3*h + 3*t + 3 = 0. Let x = -45 - -47. Suppose -w = 4*w + 2*c - 30, -6 = w - x*c. Solve -w*g = -h*g + 4 for g.
-1
Suppose 15*r = -9*r. Suppose 0 = 2*a - 3*c + 4, -4*c + 3 + 2 = -3*a. Solve 2*g + 3 + a = r for g.
-2
Let k be (0 - 3)/((-18)/(-24)). Let f be (k - -1)/(-6)*16. Solve 3*h + f = -h for h.
-2
Suppose 2 = 2*k - 6. Suppose -n + 3*n = -5*n. Suppose -3*t + 2*t = -5*f + 8, 4*f = 3*t + 13. Solve -l + k + f = n for l.
5
Suppose -4*r = -6*r - 2. Let p be (3 - (4 + r)) + 8. Let m be 2 + -5 - -1*p. Solve 0 = o + 2 - m for o.
3
Let t(d) be the third derivative of d**6/120 - d**5/12 - d**4/24 + 5*d**3/6 - 2*d**2. Let a be t(5). Solve a = 4*g + g for g.
0
Suppose -5*g + 20 = 0, 4*d + d + 5*g - 160 = 0. Let v = 32 - d. Solve -p - 12 = -v*p for p.
4
Let y = -5 - -11. Let r be y/(-9) - (-22)/6. Let p = -23 + 25. Solve 0 = -2*n + r*n - p for n.
2
Suppose -9*b - 2 = -20. Solve 0 = 6*j + 