 Solve t - 2*t + g = u for t.
5
Let k = 833 + -814. Solve k*i - 18 = 25*i for i.
-3
Let j(b) = b**3 + 4*b**2 - 15*b + 4. Let t be j(-6). Solve -34 = 3*l - t for l.
-4
Suppose 70*z - 69*z - 27 = l, -l + 108 = 4*z. Solve -10*t - z = -7 for t.
-2
Let j(z) = -61*z + 815. Let x be j(13). Solve -x*b + 26*b = -12 for b.
-3
Let r(n) = 2*n**2 + 11*n + 1. Let c be r(-5). Suppose 0*k = k - 8. Let t be (-3)/c - (-10)/k. Solve -t*v - 3*v = 0 for v.
0
Suppose 1 - 29 = 4*p. Let h be 1 - 2 - p - 3. Let l(k) = k**3 - 3*k**2 + 4*k - 3. Let m be l(2). Solve h*c = -2 - m for c.
-1
Let p(n) be the first derivative of n**4/2 - n**3 + n**2/2 - 2*n + 3. Let g be p(2). Suppose -2*s = -7*s. Solve 2*f = -g - s for f.
-2
Let y be (-30)/(-16)*(-280)/(-105). Solve -122 = -y*u - 97 for u.
5
Let t = 28 + -35. Let w = t + 9. Solve 0 = -2*r + 3*r + w for r.
-2
Let v(y) be the first derivative of -y**4/4 + 10*y**3/3 + 4*y + 13. Let g be v(10). Solve -s + g + 1 = 0 for s.
5
Suppose 2*t - 4*r - 96 = -0, -153 = -3*t + 3*r. Solve -5*k + t = 49 for k.
1
Suppose 4*p + n - 14 = 0, 16*n - 11*n = 4*p - 2. Solve h + 4 = -p*h for h.
-1
Suppose 0*p = p - 27. Let w(j) = -j**2 - 10*j - 19. Let s be w(-3). Let m be (7 + -4 + p)/s. Solve m = 2*b - 5*b for b.
-5
Let d = 10 - 11. Let w be d/((-40)/12 - -3). Solve -8*r - 25 = -w*r for r.
-5
Suppose 0 = -6*f + 3*f - 6. Let o be 2/(-5) - f/5. Let s(i) = i + 1. Let w be s(o). Solve c = -4 - w for c.
-5
Let q(d) = 2*d - 1. Suppose -2*g = 3*b - 9, 11 = -0*b - 4*b + 5*g. Let o be q(b). Let c be (o + -3)*(-2)/1. Solve 4 = c*h - 5*h for h.
-4
Let w(c) = -c**2 + 2*c + 4. Let a be w(0). Suppose 0 = -b - r + 2, 3*r = 2*b - 2*r - a. Solve -b - 8 = 2*z for z.
-5
Let g be (-8)/28 - 6*(-17)/14. Solve -2*l - 25 = -g*l for l.
5
Let u be (3/(-6))/(3/30) - -5. Solve u = -5*i - 21 + 6 for i.
-3
Let z be -5 - (0 + -4 + -2) - -4. Solve -z*t - 17 + 32 = 0 for t.
3
Let k be (-2)/((-2)/2 + 0). Let x = -149 - -149. Suppose x = -103*m + 106*m - 12. Solve -k*b + m - 14 = 0 for b.
-5
Suppose -182 = 674*s - 681*s. Solve -11 = 5*n - s for n.
3
Suppose -14*d = -13*d + 6. Let q be (4 - (-8)/d) + (-4)/6. Solve 0 = -q*v + 4*v + 8 for v.
-4
Suppose f = 6*f - 10. Let m be (40/(-15))/(6/(-9)). Let i be 12/(-90) - m/(-30). Solve i*k = f*k - 2 for k.
1
Let b(t) = t**3 - t**2 - t + 1. Let l be b(0). Suppose -24 = -w + 30. Let i = 54 - w. Solve i = 2*f - l - 3 for f.
2
Let h(j) = j**3 + 5*j**2 + 3*j + 1. Let z be h(-3). Let v be (-10 - -11)*(-13)/(-1). Let r = v - z. Solve 0*o = -r*o - 3 for o.
-1
Let i = 170 + -164. Solve x - 7*x = i for x.
-1
Let q be 9/(-15) - 188/20. Let z = 10 - q. Let v = -8 + z. Solve -d = 2*d + v for d.
-4
Let a(h) = h**2 + 47*h - 91. Let p be a(-49). Solve -5 = 4*r + p for r.
-3
Suppose 6 = -7*f + 34. Solve 3*u + f = 5*u for u.
2
Suppose 5*b = 10*b - 5. Let q be (b - 21/(-15))*(-30)/(-12). Solve -p - q = -3*p for p.
3
Let d(q) = -q + 4. Let g(l) = -2*l + 8. Let s(o) = -7*d(o) + 4*g(o). Let r = -8 + 11. Let k be s(r). Solve -4*f = k + 15 for f.
-4
Let a = -31 - -37. Let o(q) = 3*q**2 - 18*q + 4. Let r be o(a). Solve -3*u = r + 8 for u.
-4
Suppose 72 = 8*q - 88. Solve -10*b = -5*b + q for b.
-4
Let b be (-3)/2*(-8 - (-90)/27). Solve 4*d - 27 = -b for d.
5
Suppose -z = -6*z + 10. Let w(s) = -32*s - 219. Let j be w(-7). Solve 3 = -j*g - z for g.
-1
Suppose -a + 3*a = -24. Let f(s) = s**2 + 13*s + 14. Let t be f(a). Suppose 5*z - 4 = -4*r + 11, -t*r = 2*z - 8. Solve -r*g - 1 = -11 for g.
2
Let r(w) = -14*w - 28. Let v be r(-2). Solve -c - 2 + 3 = v for c.
1
Let j = -623 + 635. Solve j = 9*v - 24 for v.
4
Let w(i) = i + 30. Let b be w(2). Solve -28*m = -b*m for m.
0
Suppose -4*n - 9*n = -104. Solve -21 = -n*m + 19 for m.
5
Let s be (-16)/(-1)*(-37)/(-74). Solve 0 = s*z - 0*z for z.
0
Suppose -232 + 52 = -10*s. Solve -5*b + s + 2 = 0 for b.
4
Let c be 0/(1 + (3 - 5)). Let o be (c - (-4)/5)/(4/20). Solve 0 = -2*y + o*y for y.
0
Suppose -217*r - 53*r + 476 = -32*r. Suppose 0 = 2*t - 0*t - 5*o - 6, -4*t = -3*o + 2. Let x be (t/(-1))/(-2)*-7. Solve -r*q + x*q = 0 for q.
0
Suppose 4 = -2*w + 4*u, 5*u + 11 - 16 = 0. Solve w = -n - 2*n - 6 for n.
-2
Let c be (1*-1)/(-2 + 1). Let h(w) = w**3 - 6*w**2 + 9*w - 1. Let r be h(4). Suppose -g + 8 = -u - c, 27 = r*g - u. Solve f - 4*f = -g for f.
3
Suppose -18*n = -12*n. Solve -2*q - 2 - 8 = n for q.
-5
Suppose -5*m = 4*y - 24, -4*m - 2 = 2*y - 5*m. Suppose -3*p = -3*s - 3, -5*p + 0*s + y = -s. Suppose p = 2*a - 3*a. Solve 3*h = -a*h for h.
0
Let q be (-10)/30 - 2/(-6). Suppose v + v = q. Suppose v*j = 5*j. Solve j = 2*u + 7 + 3 for u.
-5
Let s = -22 + 12. Let c(t) = t**3 + 10*t**2 + 1. Let d be c(s). Let y be 1/d - (-1 + -14). Solve 0 = 4*v + 4 + y for v.
-5
Let f = -7 + 11. Suppose t - 7 = -3*l, t = f*l - 0*t. Let s be 3/1*l + -3. Solve 5*n + s - 5 = 0 for n.
1
Let v(l) = -4*l**3 + 2*l**2 - l + 2. Let c be v(2). Let s = c + 39. Suppose -5*n + s = -10. Solve -p - 4*p = n for p.
-1
Let b(j) be the second derivative of -j**5/20 + j**4/3 + 11*j**3/6 + 4*j**2 - 13*j. Let c be b(6). Solve -c*y = -7*y - 15 for y.
-3
Let k(y) = y - 5. Let s be 4/(-22) - (-738)/66. Let o be k(s). Suppose -4*g + o*g - 4 = 0. Solve 4*w - g = 6 for w.
2
Let m(k) = -2*k + 15. Let x be m(6). Suppose -3*g = -6*g + 9. Let w = x + g. Solve w = -t - t for t.
-3
Let q be (-94 - (-12)/(-4)) + 3. Let o = q - -97. Solve 4 = o*n - 5 for n.
3
Let w(f) = -11*f - 55. Let k be w(-5). Suppose 5*g + 33 - 78 = k. Solve 0 = -12*s + g*s for s.
0
Let j(v) = -3*v + 57. Let z(x) = -5*x + 85. Let w(q) = -7*j(q) + 5*z(q). Let d be w(5). Solve f - d*f = 10 for f.
-2
Let d(p) = -4*p + 50. Let u be d(11). Solve 5*x + 1 = u*x for x.
1
Let x be (-6)/(-4) + 12/24. Suppose y + 5*z = -x*y + 14, -2*y = -z - 18. Solve 0 = -2*n - y + 2 for n.
-3
Let a(y) = 2*y**3 - 8 + 1 + 14*y - y**3 + 16*y**2 - 4. Let p be a(-15). Suppose 4*s = p*l + 16, 3*s + 6*l = 3*l. Solve 15 - 5 = -s*w for w.
-5
Let a be 2 + (-50)/((-70)/7). Solve a*b + 11 = -24 for b.
-5
Suppose 0 = 5*u - 65 - 10. Solve 7*c = 2*c - u for c.
-3
Suppose c - 8 - 3 = 0. Suppose -c - 4 = -5*s. Suppose q - s + 24 = 4*y, -2*q = 10. Solve -20 = -0*n + y*n for n.
-5
Let o = -14 - -20. Let q(u) = u**2 - 4*u - 6. Let l be q(o). Suppose l*d - d - 30 = 0. Solve w + d - 1 = 0 for w.
-5
Let i(q) = 0*q - 187 + 182 + 2*q. Let h be i(-5). Let t = h + 18. Solve l - 4*l = t for l.
-1
Let a(t) = t**3 + 2*t**2 - 4*t + 1. Let i be a(-3). Suppose 38*p - 33 = 43. Solve i*l = -p - 10 for l.
-3
Let u = 571 + -564. Solve -5*f + 4 = -u*f for f.
-2
Let y = -30 + 24. Let k(g) = -2*g - 8. Let z be k(y). Solve 11 = z*i - 9 for i.
5
Suppose 4*j - 6 = j. Suppose 5*r - c = 204, -4*c + 2 = -2*c. Let n = -32 + r. Solve -j*w = w + n for w.
-3
Let q be 51/18 + 4/24. Let r(x) = -7 - 4 + 15*x**2 + 13*x + 0*x**3 + x**q. Let j be r(-14). Solve -m = -j*m for m.
0
Suppose 0 = -33*u + 31*u. Suppose u = 3*j - 2*j - 9. Solve 4*w = 7 + j for w.
4
Let y = 506 - 502. Solve b + 0 = y for b.
4
Let j be 1/(-6) - (-11)/(462/5971). Solve -5*b - 132 = -j for b.
2
Let v = -163 + 169. Solve i - 3 = -v for i.
-3
Let f = 6 - 6. Let k be (1 - f)*1 + 7. Let y = -2 + k. Solve y*t = t for t.
0
Let r(l) = l**2 + 3*l - 4. Let q be r(-4). Suppose -3*g = f - 4, -3*f + 5*g + q = 2. Let v = 2 + f. Solve -4*z - v = 1 for z.
-1
Let c be (28/10)/(24/240). Suppose 0 = -32*n + c*n + 100. Solve -9*s = -4*s + n for s.
-5
Suppose -7*j = -12*j + 45. Solve -2*k - 3 + j = 0 for k.
3
Let a = -55 + 51. Let d be (-18)/a + (5/10 - 1). Solve -2*y = -0*y + d for y.
-2
Let n(r) = 3*r - 12. Let b be n(5). Let w be -1*(-6)/9*9. Suppose -2*o + o + w = 3*t, -4 = -5*o - 2*t. Solve o = -2*k - b*k + 5 for k.
1
Let a be ((4 - 3) + -1)/(-1 - -2). Suppose 3*g + 5 = -2*g - q, a = 4*q + 20. Solve -r + g*r + 2 = 0 for r.
2
Suppose -3*b = 15, -2*t - 3*b - 7 = -0*t. Suppose -12 = -8*d + t*d. Solve -1 + 4 = -d*i for i.
-1
Let m = 56 + -31. Suppose u - 3*d + 10 = -0*d, -m = -4*u - d. Solve 4*y - u + 1 = 0 for y.
1
Suppose -5*k + 3*q - 54 - 8 = 0, 0 = k - 4*q + 9. Let m be k/(-5) - 3/5. Suppose 3 = r - m. Solve -r*g - 3 = 7 for g.
-2
Let l(u) = 3 + 7*u + 16*u**2 - 4*u - 3*u + 4*u. Let x be l(-1). Solve -4*o - o = x for o.
-3
Let w(j) = -j**3 + 3*j**2 + j - 3. Let v be w(3). Suppose 0 = -v*m + m, -2*s + 4*m = -6. Solve -r = s*r - 4 for r.
