 Solve -t*f - 76 = -66 for f.
-2
Let o be 20 - 18 - (14 - -1). Let m(f) = -f - 9. Let q be m(o). Let j(a) = -3*a + 1. Let v be j(-3). Solve v = -9*t + q*t for t.
-2
Suppose 2*p = -2*u - u - 93, -5*u - 5*p = 160. Let y = 73 - 44. Let l = u + y. Solve 5*z - 5 = -l for z.
1
Suppose -o = 3*o + 180. Let d be 2/(-5) + (-603)/o. Suppose g + d = 2*p, -3*p + 2*p + 11 = g. Solve 3*h = 7*h + p for h.
-2
Suppose -t + 21 = 4*q, q - 3 = 3*t - 1. Suppose 3*d + 10 = 3*g + d, 0 = -d - q. Suppose n + 26 = 5*v, 0*n + n = -5*v + 34. Solve v*m - 3*m + 15 = g for m.
-5
Let w(d) = 6 - 8 + d + 2. Let y be w(4). Solve 4*u = 16 - y for u.
3
Let l(m) = 3*m**2 - 4*m + 3. Let n be l(2). Suppose w = 3*j - 2 - n, w + 3*j - 15 = 0. Solve 4*z - w*z = -3 for z.
-3
Let u(z) = z**2 - z + 3. Let k be u(0). Let y = 5 + k. Suppose -7 = -5*a + 2*x - 5*x, a - 3*x = 5. Solve -a*o + y = -4*o for o.
-4
Let c be ((-28)/(-35))/((-2)/40). Let a(h) = h**3 + 15*h**2 - 14*h + 32. Let f be a(c). Solve -4*b + f = -8 for b.
2
Let k = 1535 + -1476. Solve -5*v = k - 79 for v.
4
Let g(x) = 2*x. Let m be g(2). Suppose 2*y + 114*b = 112*b + 8, 4*b - 16 = -2*y. Solve y = -m*q + 7 + 5 for q.
3
Suppose -2*k - 5*m - 14 + 40 = 0, m - 19 = -5*k. Solve a - k = -5 for a.
-2
Suppose 0 = -8*y + 11*y. Suppose -9*c + 2*c = y. Solve c*a - a = 3 for a.
-3
Let b be (1/(-1))/((-12)/24). Suppose 4*p = 2*p + b. Let u be 8 - 4 - (0 - p). Solve -4*l = l + u for l.
-1
Let d = 1157 + -1107. Solve -b - d + 54 = 0 for b.
4
Let i(z) = 3*z - 22. Suppose -3*f + 2*h - 6*h + 7 = 0, -2*f - 5*h - 7 = 0. Let x be i(f). Solve -4*u + x = u for u.
1
Let q = 74 + -71. Solve 4*m = q + 1 for m.
1
Suppose -78*v = -82*v + 580. Let s = -133 + v. Solve -2*x + s = 6 for x.
3
Let r be 9 - (-8 + (21 - 7)). Let v(d) = d**3 + 2*d**2 - 1. Let x be v(1). Solve -r - x = c for c.
-5
Suppose 0 = 9*z + 2*z - 22. Suppose -11*w + 14*w - 6 = 0. Solve w*c = -z*c - 8 for c.
-2
Let v(w) = -2*w - 3. Let l be v(-17). Let a = l - 26. Solve a*o - 12 = 13 for o.
5
Suppose 5*x - 10 = -5*t, 5*t - 16 = -x + 2. Solve -4*i + 40 = t*i for i.
5
Let z(c) = -4*c - 4. Let x be z(4). Suppose -24 = 5*k - 2*k. Let w be (k/x)/(1/5). Solve 4 - w = -q for q.
-2
Let k be (-4 + -117 - 0)/(-1). Let w = -106 + k. Solve x - w = -4*x for x.
3
Suppose 32 = -2*g + 6*g - 3*s, -4*g - 2*s = -32. Solve -7*c + g*c = 4 for c.
4
Let l(m) = -6*m - 29. Let j be l(-5). Suppose -38 = -3*t + g, 4*g + j + 7 = 0. Solve -4*o + t = -8 for o.
5
Suppose 0 = 8*s - 3*s. Suppose 0 = -5*q - p - 0 - 5, s = 4*p + 20. Suppose -v = o - 10, -5*o = -2*o - 3*v - 42. Solve q = 3*z - 0*z - o for z.
4
Let i(r) be the first derivative of -r**4/4 + 5*r**3/3 - 3. Let p be i(5). Suppose 2*d = x - 13, p*x - 4*x + 4*d = -32. Solve -4*u = -x - 5 for u.
2
Suppose 529*i - 515*i - 168 = 0. Solve -11 = x - i for x.
1
Let h(w) = -7*w**3 - w**2 + 1. Let z be h(-1). Solve -z*k + 4 = -11*k for k.
-1
Suppose -10 = -5*t - 4*g, 10*t - 11*t + 11 = -g. Solve -9*x = -3*x - t for x.
1
Let u = -411 - -411. Solve -6*b + 8*b - 10 = u for b.
5
Let f be (-9)/(-4) - (-1946)/1112. Solve -22 = f*x - 10 for x.
-3
Let g(l) = 2*l**2 + 17*l + 16. Let d be g(-8). Solve -4*s = -24 + d for s.
4
Suppose 0 = 3*a - 3, 5 = -4*v - a + 46. Solve -40 = -v*r + 10 for r.
5
Suppose -5*r = -3*p - 39, -r - 5*p = 3*r - 9. Suppose 0*b + 2*b - 18 = 0. Solve r*a = b*a + 9 for a.
-3
Let g be (-2)/(-12)*-1 + 12/72. Let d be g + 4 - (-6 - -5). Solve 0*p = -d*p - 15 for p.
-3
Suppose 34 = 2*w + 4. Suppose 17 = 3*a + 5. Suppose 0 = a*x + 3*k - 5, -5 = -5*x + 3*k - 7*k. Solve 0*o - x*o = w for o.
-3
Let t = 34 + -34. Let j be (t - 3 - -2)/(-1). Solve 0 = -v + j for v.
1
Suppose 4*u = -f, 4*f - 5*u - 3 = 18. Suppose k - 5*y = 14, k + 4*y = f - 8. Solve q - 25 = -k*q for q.
5
Suppose -23 = 4*h - 599. Solve -h = -4*y - 160 for y.
-4
Let m(j) = -2*j + 8. Let x be m(3). Let a be (-36)/(-9)*x/8. Solve f - 5 + a = 0 for f.
4
Let m = -276 + 288. Solve s + 5*s = m for s.
2
Let p(s) = -17*s**2 + 17*s. Let q be p(-1). Let a = 8 - 32. Let o = a - q. Solve g + g = o for g.
5
Suppose 23 = b + 19, g - 42 = -b. Solve -g = 10*f + 2 for f.
-4
Let w = 11 - 16. Let u = -3 - w. Let t(m) = m**3 + 28*m**2 - 33*m - 114. Let n be t(-29). Solve 0*l + n*l = u for l.
1
Let z(o) = o**2 + 19*o + 48. Let l be z(-16). Solve l = -0*c + c - 2 for c.
2
Suppose 0 = 63*z - 7*z - 2464. Solve -10*w + z*w = -136 for w.
-4
Let w = -84 - -60. Let g = w - -29. Solve g*p - 8 - 7 = 0 for p.
3
Let k(t) = -t**3 + 21*t**2 - 19*t - 5. Let o be k(20). Solve o*n - 19*n = 0 for n.
0
Let u(w) be the second derivative of 2*w**3/3 + 4*w**2 + 11*w. Let v be u(-2). Let z(b) = b + 1. Let p be z(0). Solve v = a - 2*a - p for a.
-1
Let a = 1361 + -1361. Solve 25 = -5*f - a for f.
-5
Let h = -23 + 14. Let x = h - -23. Let i be (8/x)/(6/42). Solve i = -4*d - 0 for d.
-1
Let a(j) = -j + 11. Let z be a(7). Suppose z*m - 8 = -0. Suppose 2*q = v + 4, 0 = 5*q - m*q + 2*v - 13. Solve f - q = -2*f for f.
1
Let m be 8/16*(10 - 0). Suppose -8*y + m*y - 9 = 0. Let n be -2 - -3 - (y - 0). Solve -10 = -2*v + n*v for v.
-5
Let n be 3*(8/3 - 1). Suppose 2*y - 5*z + 10 = 0, -5*y + n*z + 4 + 1 = 0. Suppose -22*r + 8*r + 28 = 0. Solve -y = -r*a + 1 for a.
3
Suppose -5*o + o + 5*b + 7 = 0, 0 = -3*o + 4*b + 5. Solve 19 = -11*h - o for h.
-2
Let m be (-2)/(-6)*(16 - 1). Solve 0 = m*h + 3*h + 40 for h.
-5
Suppose 2*r + 4 = 3*u, 0*u - 2*u = -5*r - 10. Let f = u + -3. Let b = f + 24. Solve b + 4 = 5*q for q.
5
Let w = -20 - -16. Let q = 2 - w. Suppose 0 = 4*g - q*g - a + 9, 10 = -5*g + 4*a. Solve -g*p = -5*p - 3 for p.
-1
Let o(k) = -k**3 + 4*k**2 + 7*k - 6. Let h = 6 - 1. Let u be o(h). Suppose n = u - 3. Solve 5*s - 26 = -n for s.
5
Suppose -4*u + 32 = -2*u + 5*s, -5*u + 4*s = -14. Let c be (u - 9)/(-3*2/4). Solve 0*o = -c*o - 2 for o.
-1
Suppose -q - 3 = -0. Let o be (4/6)/((-595)/(-42) - 14). Let s be 1 - o - (0 + q). Solve s = -2*z + 5*z for z.
0
Let t be ((-8)/60)/((-4)/(-48))*-5. Solve t*l = 2*l for l.
0
Let u(r) be the second derivative of -r**4/12 + 5*r**3/3 + r**2 + r. Let j be (-204)/(-21) - (-14)/49. Let h be u(j). Solve -6 = -f - h for f.
4
Let u = 77 + -97. Let v = u - -22. Let a(y) = -y**2 - y. Let w be a(-1). Solve w = -0*n + n - v for n.
2
Suppose 0 = 3*i, -4 = j - 2*j - 4*i. Solve -3 = j*w + 5 for w.
-2
Let t be 5/(-10)*(-5 - -3 - 0). Solve 0 = 2*j - t + 11 for j.
-5
Let t(r) = 5*r**2 + 3*r + 1. Let f be t(-1). Suppose 0 = f*d + 5*i + 3 - 8, 5*d + 4*i - 4 = 0. Solve d = -w + 5 for w.
5
Let i(a) = 4*a - 3. Let t be i(5). Let l = -14 + t. Suppose -4*r - l*w = -26, -r = 3*r - 5*w - 10. Solve 0 = -r*z + 20 for z.
4
Let a = -249 + 251. Solve a*l + 3*l + 20 = 0 for l.
-4
Let f be 3038/735 - (-2)/(-15). Solve -8*p + 44 = f for p.
5
Suppose -60*m = -160*m + 2600. Solve -9*q - m + 8 = 0 for q.
-2
Suppose -5*m + 17 = 2. Let h be (3 - m) + (1 - -2). Suppose -7*t + 2*t = 3*k - 1, 2*k - 2*t - 6 = 0. Solve k*q - 3*q = h for q.
-3
Suppose 5*v = 4*v + 71. Let w = v + -71. Solve w = 3*p - p + 10 for p.
-5
Suppose 6*o - 128 = -32. Solve -o = -5*k - 41 for k.
-5
Let z(i) = 3*i. Let r be z(5). Let a(l) = -l + 0*l + 2*l - 4 + 5. Let t be a(7). Solve 0 = -t*v + 5*v + r for v.
5
Let x be 248/88 + 2*(-4)/(-44). Solve 0 = x*t - 7*t + 20 for t.
5
Let d = 465 - 461. Solve -4 - 16 = d*z for z.
-5
Let v(y) = -4*y**2 - 33*y - 4. Let x be v(-8). Solve -3*w - 19 = -x for w.
-5
Let k(i) = -2*i**2 - 19*i + 11. Let y be k(-10). Solve 5*u + y + 4 = 0 for u.
-1
Let y(n) = -n**2 + 4. Let r be y(2). Let u be r*(1 - 1/2). Solve u*k = -k - 5 for k.
-5
Suppose 14 = -8*w + 46. Let t = w + -1. Solve -t*x + 8 - 2 = 0 for x.
2
Let y(h) = -4*h - 2*h**2 - h**3 - 4*h**2 - h**2. Let c be y(-6). Let z = c - -12. Solve 3 = -n - z for n.
-3
Let g(v) = -v + 4. Let q be g(2). Let y be 4/8*(2 + 32). Suppose -q*a - 1 + y = 0. Solve 0*t = -4*t + a for t.
2
Suppose 0*b + u - 39 = -4*b, 5*b + u = 50. Suppose b*s = 3*s + 48. Let l = 1 + 2. Solve 0 = -l*h + h + s for h.
3
Let r = -22 - -17. Let g be (4 + r)*(-5 - 0). Solve 16 = g*l - 4 for l.
4
Let a(o) be the first derivative of -o**3/3 + 4*o**2 - 7*o + 6. Let r be a(6). Solve -2*s = -7*s - r for s.
-1
Let b(o) be the second derivative of o**3/6 + 6*o**2 - 2*o. Let v(c) = -c - 3. Let w be v(6). Let g be b(w). Solve s = -g*s - 8 for s.
-2
Suppose 