f.
-4
Suppose 593*m - 596*m = -6. Solve 3*u - 2*u + m = 0 for u.
-2
Let a = -43 - -46. Suppose a*b + 3*x = 12, b + 0*x = 3*x. Let l(i) = -i - 2. Let k be l(-4). Solve 0 = k*q + b*q - 15 for q.
3
Suppose 1 + 5 = -l - 4*u, -l = 5*u + 10. Let r = -214 - -215. Solve 3*h + r - l = 0 for h.
3
Suppose 0 = -2*d + o + 20, -2*d + 16 + 12 = o. Solve -2*h + d = -6*h for h.
-3
Suppose 7*i - 37 + 2 = 0. Solve -2*l + 15 = -i*l for l.
-5
Let g be 3*4/108 + 1120/126. Solve -14*a = -17*a - g for a.
-3
Let k(i) = i. Let h be k(9). Solve 0 = -5*x + 4 - h for x.
-1
Suppose 0 = -s - 4*t + 19, -20*s - 3*t - 72 = -25*s. Solve 18*p - s = 21*p for p.
-5
Suppose -m - 2*p = -60, 1 + 139 = 3*m - 2*p. Solve 2*f + m = 56 for f.
3
Let g(i) = 6*i. Let y be g(-1). Let p be (-51)/(-6) - y/(-4). Suppose -p*u = -10*u + 24. Solve -2*s = -4*s + u for s.
4
Suppose 0 = 3*k - 2*k + 31. Let s(l) = 25*l - 14. Let w be s(2). Let m = w + k. Solve -15 - 10 = -m*y for y.
5
Let l = -87 - -77. Let v be 1*10 - (l - -11). Suppose 5*k - 67 = 4*z, -5*k = -7*z + 2*z - 70. Solve 4*f - k - v = 0 for f.
5
Let b = -2 + 6. Suppose 0 = 4*c - 0*c - 80. Suppose 0 = 3*l - 3*r - 3 + 6, 0 = 2*l + r - 1. Solve b*y = c - l for y.
5
Let z(y) = -y**2 + 4*y + 5. Let c be z(4). Let w be 10/c - (2 + -3). Solve 0 = w*k + 5 - 2 for k.
-1
Let l be 5/(-6) - ((-69)/18 + 4). Let p be ((-2)/5 - l)/((-4)/(-20)). Solve -4 = -p*d + 2 for d.
2
Let p = -97 - -102. Let o be 7 - 0*(-1)/p. Solve -5*n - o = 3 for n.
-2
Suppose -6*c = -c - 5*w - 20, -w = -4*c + 4. Let d be (-2)/5*(-1 - 14). Let z be 18/3*2/d. Solve z*r - 8 + 0 = c for r.
4
Let j(l) = -7*l - 56. Let h be j(-10). Suppose 15 = h*z - 27. Solve -z = 3*w - 0 for w.
-1
Let s(w) = -5*w**2 - w - 3. Let g be s(-3). Let h = -43 - g. Solve 0 = -h*j - 0*j - 10 for j.
-5
Let n(i) = 4*i - 10. Let c be n(-5). Let m = c + 55. Let h(s) = s**3 + 35*s**2 - 37*s - 31. Let j be h(-36). Solve 0*g = -j*g - m for g.
-5
Suppose l - 3*l + 26 = 5*o, -3*o = -3*l - 3. Let k be 0/((-4)/o + 0). Suppose k = -2*g - g. Solve -4*b + 9*b + 10 = g for b.
-2
Let p(a) = -7*a - 2. Suppose 5*f = -7 + 2. Let j be p(f). Suppose 3*x = j*x. Solve 5*y + 31 - 6 = x for y.
-5
Let h be 8*-1*(38/(-8) - 0). Suppose -3*l = 2*q - 13, -4*q + 9*q - h = -2*l. Solve q - 2 = -3*t for t.
-2
Let p(d) = -4*d**3 + 2*d**2 + d + 2. Let t be p(2). Let i be 30/t*(-8)/6. Let v be -1*i/2*0. Solve v = 2*m - 6 for m.
3
Let h = -26 + 51. Let v = -20 + h. Suppose v*p - 14 = 3*u, u + 6 = 3*p - 4. Solve -u*s + 2 + 0 = 0 for s.
1
Let d = 19 + -16. Suppose -9 = -3*b - 0. Suppose -b*u = -4*u + 16. Solve -z - d*z = u for z.
-4
Let j be 4/20 + 303/(-15). Let b = 20 + j. Solve b*u - 3*u = 0 for u.
0
Let g be (-46)/(-10) + 6/15. Suppose 2*b - 50 = 4*l + 28, 0 = b + 1. Let c = 20 + l. Solve y - g*y - 12 = c for y.
-3
Let s = 57 - 57. Let i = 15 + -15. Solve g - 1 + s = i for g.
1
Let d(w) = w**3 + 17*w**2 - 2*w - 30. Let p be d(-17). Suppose 2*v - 4 = -4*c, 3*c + 6 = c + v. Let z be (0 - (4 + -1))*c. Solve -z*j + p = j for j.
1
Let y be 2/(((-3)/5)/(-3)). Suppose 8*n - 42 = -y. Solve -3*u = u + n for u.
-1
Suppose -i - d = -0*d - 47, 5*i - 250 = -2*d. Solve -3*k + i = 61 for k.
-3
Suppose 3*s = -2*b + 40 + 15, -5*s + 90 = 5*b. Let r = s + -11. Solve 3*j - 1 = r for j.
3
Let m be (4 + -2)/(-8 - -6). Let f(n) = -13*n**2 + 2*n + 1. Let s be f(m). Let z = 14 + s. Solve z = -3*a + 21 - 6 for a.
5
Suppose 7*a = 84 - 42. Solve -6*k = -6 - a for k.
2
Suppose 6 = 2*j + 2. Let t be 3 - (0 + -1) - 0. Suppose j*q = 3*q - 2*n - t, 3*q + 4 = -2*n. Solve 2*k = -q*k - 10 for k.
-5
Let s be 5/(-35) - 1/(-7). Let k be (2 + (-1 - 1))/(-1). Solve -f + k + 1 = s for f.
1
Suppose -2*i = -11 + 3. Suppose -3*r - 20 = -8*r + t, 5*r - i*t - 35 = 0. Solve -r + 6 = -d for d.
-3
Let m be 10/(-6)*(-735)/175 + -7. Let q = 22 - 12. Solve m*z - 5*z - q = 0 for z.
-2
Let y = -6 - -8. Suppose 3*i + y = 4*i. Solve -i*d - 2*d = 0 for d.
0
Suppose -143*b + 146*b - 15 = 0. Solve 0 = 3*d + 2*d + b for d.
-1
Let b be (-3 - -3)/((-3)/(-3)). Suppose l + 3*j - 15 = b, -2*j + 23 = l + 3*j. Suppose u - o - o = 0, 3*u + l*o = 36. Solve -p - p = u for p.
-4
Let u = -30 + 63. Suppose -5*v - u = -8*v. Solve 5*l = 9 + v for l.
4
Let x = -23 - -28. Suppose 0 = -x*v + 9 + 16. Suppose 0 = v*t - 2*z - 1, -t + 6*t + 3*z = 11. Solve 5*j - 6 = -t for j.
1
Let u(p) = -4*p**2 + 2*p + 13. Let o(w) = w**2 - w - 1. Let q(h) = -3*o(h) - u(h). Let i be q(-6). Solve -2*d - 3*d + i = 0 for d.
4
Let g be (30/(-18))/((3/(-18))/1). Let m = 16 - 32. Let j be m/(-5) - 3/15. Solve -j*d + g = -5 for d.
5
Let m be 0 + 4 + 85/5. Let p = -19 + m. Solve p*g - 8 = -2*g for g.
2
Suppose 2*i - 79 = -10*x + 9*x, i - 5*x - 45 = 0. Solve 5*j + i = -5*j for j.
-4
Let x = 625 - 610. Solve -5*p - x = 5 for p.
-4
Suppose d + 4 = -17. Let s = d - -26. Solve -4*j = 1 - s for j.
1
Let q(y) = 2*y + 13. Let f = 2 - -9. Let o be q(f). Let i = -24 + o. Solve 0 = 5*z + 1 - i for z.
2
Suppose 3*o + 9 = 5*q - 44, -o = 1. Solve 1 = -3*b + q for b.
3
Suppose -9*y - 123 = -12*y. Let u = y + -30. Solve -2*k - u = -1 for k.
-5
Let s be (-18)/21 + (-205)/(-35) - 3. Suppose 5*d = 3 + 17. Suppose -4*p = -v + 11, s*v = -0*p - p + d. Solve v*g - 2 = 2*g for g.
2
Let u be 19500/1140 - (-6)/(-57). Solve u + 7 = -6*x for x.
-4
Let o be ((-4)/(-16))/(3 - (-94)/(-32)). Solve 0 = o*s - 8*s - 20 for s.
-5
Suppose -5*m - 7 = -m - 3*g, 16 = -2*m + 4*g. Suppose -m*w - 3*w = -10. Suppose -u = a + w*u - 3, 2*a = 2*u - 2. Solve a = n + n for n.
0
Suppose -b = -5*v + 130, 3*b - v + 65 = -269. Let f = 110 + b. Solve -5*a + a + 12 = f for a.
3
Let v(k) = -k**2 + 25*k - 88. Let r be v(10). Solve -4*l + 42 = r for l.
-5
Let w be (18 - -6)*(-1)/(-2). Solve -w = -12*m + 24 for m.
3
Suppose 0 = -z - 96 - 29. Let n be z/(-30) - 1/6. Solve n*q - 8 - 4 = 0 for q.
3
Suppose 0 = -3*j - n + 5, j = -18*n + 13*n - 17. Solve -82 = -j*g - 70 for g.
4
Let m(u) be the second derivative of -u**5/20 - u**4/6 + 7*u**3/6 + u**2 - 3*u - 7. Let p = -4 + 0. Let n be m(p). Solve 2*q + q = n for q.
2
Let i(o) = -41*o + 4. Let p be i(1). Let x = 57 + p. Solve -2*y = -6*y + x for y.
5
Let f = 4 - 1. Suppose 2*m - f*c = 41, 3*m = -2*m + 3*c + 98. Solve -9 = -2*w - m for w.
-5
Let v = 2395 + -2382. Solve -v*b + 37 = -15 for b.
4
Let d be 320/48*(-42)/(-5). Solve d = 3*l + 62 for l.
-2
Let t = 119 - 64. Let a be 230/t + 4/(-22). Suppose a*g + 6 = 14. Solve o - 2 = g*o for o.
-2
Let i be (-4 - -3)*2 - -1. Let t be 1*-4 + (-2 - 0). Let y = i - t. Solve v = y*v for v.
0
Let z(h) = -h**3 - 6*h**2 - 4. Let q be z(-6). Let m = 15 - q. Suppose 5*t = 1 + m. Solve -o = -5*o - t for o.
-1
Suppose 3*p - 8*p = -15. Suppose p*y = 1 + 8. Solve -j + 16 = y*j for j.
4
Let w(s) be the third derivative of s**4/8 - 2*s**3 + 27*s**2. Let l be w(4). Solve -4*f = -8 - l for f.
2
Let t(g) be the second derivative of -g**3/3 - 10*g**2 - 18*g. Let v be t(-12). Solve 0 = -v*p - 3 + 11 for p.
2
Let p = 3237 - 3204. Solve 28*x = p*x + 15 for x.
-3
Suppose p - 14 = j - 3, 0 = -p - 2*j + 17. Suppose 0 = -7*v + p*v - 18. Solve 0 = 5*y + v + 12 for y.
-3
Let t be (-55)/(-11) - 0/1. Let w(g) = -g + 6. Let s be w(t). Suppose -5*k + 1 + s = -4*l, 0 = 4*l - 3*k - 2. Solve -3 + 5 = -l*v for v.
-1
Suppose -7*r + 0*r = -14. Solve -l + r = -0*l for l.
2
Suppose 5*u - 431 = 2*o, u = 2*u + 3*o - 93. Let t be ((-24)/18)/(1/3). Let i be u/6 - 6/t. Solve -5*c - 9 - i = 0 for c.
-5
Let f be 118/12 - (-7 + (-287)/(-42)). Solve -5*y - f = -0*y for y.
-2
Let s(w) = -w**3 + 5*w**2 - 2*w + 14. Suppose 16*n - 58 = 22. Let l be s(n). Solve 0 = 6*y - l*y for y.
0
Let d be (-1 + 2)/((-2)/4). Let u = 10 + d. Suppose -5*k = -7 - u. Solve 0*q = k*q for q.
0
Let v = 8 - 4. Suppose -3*b - v = -25. Solve n - b = -10 for n.
-3
Let u be 54/144 - (-6)/(-16). Let y(o) = o**2 - 9*o + 3. Let i be y(9). Suppose -n - 3 = -i*s, -3*n + 4 = -2*s - 1. Solve -9 = -n*v - u for v.
3
Let u be 0/6 + 2*1. Suppose 0 = 5*b + u + 3. Let g = 10 + b. Solve -v + g = -4*v for v.
-3
Let p = 37 - 34. Suppose -1 + 10 = p*g. Solve -4 = g*m + 8 for m.
-4
Suppose x + 23 = -5*w, 9*w + 5 = -5*x + 6*w. Suppose 3*h - 2*h = -4*a - x, 0 = -2*h + 3*a + 7. Solve 4 = -h*v - 2*v for v.
-1
Let p(u) = u**3 + 4*u**2 + u. Let k be p(-5). Let d = 30 + k. Suppose d = -2*t + 4*t. Solve t = i - 3*i + 