*x for x.
3
Suppose -3*k - 72 = -5*y, -4*y + 2*k = -93 + 37. Let c = y + -6. Solve 5*g = 3*g + c for g.
3
Let t(r) = -3*r - 47. Let y be t(-18). Solve -y = g - 6 for g.
-1
Suppose 5*t = 11 + 4. Suppose -t*d + 13 - 7 = 0. Suppose -2*p + 6*p - d*f + 2 = 0, 0 = -3*f + 15. Solve p = 2*c + 12 for c.
-5
Let r = 5 + -1. Suppose 2*i + 4*y = 0, -2 = -4*i - r*y + 2. Solve 0 = 7*f - 5*f + i for f.
-1
Let u be (5/(-4) - -1) + (-2993)/(-164). Suppose u = 8*m + m. Solve -m*q = -0 + 10 for q.
-5
Suppose 0 = 3*y + 16 + 2. Let z(t) = -t**3 - 3*t - 4*t - 7*t**2 - 4*t**3 + 4*t**3 + 4. Let q be z(y). Solve -4*g = -2*g + q for g.
-5
Let k = -15 + 34. Suppose 0 = t + 2*t + 48. Let g = t + k. Solve g*i - 1 + 10 = 0 for i.
-3
Let f(o) = o**3 + 10*o**2 - 55*o + 15. Let d be f(-14). Solve 0*i + d = -i for i.
-1
Let h = -49 - -49. Suppose n - 8 - 5 = h. Solve n + 7 = 4*u for u.
5
Suppose 0 = 7*w - 141 - 181. Solve -41*l + w*l = -5 for l.
-1
Let m = -1 + 1. Let z be 6/(-14) - (-117)/273. Let i = 43 + -23. Solve 5*t + z*t - i = m for t.
4
Suppose 0*n - 45 = -5*n. Suppose 0 = -4*x + 43 - 11. Let i be (12/x)/(1/2). Solve i = 4*u - n for u.
3
Let q(r) = 16*r**3 - 4*r + 3. Let w be q(1). Let n = -11 + w. Suppose 2*y - j = j + 48, 5*y - 93 = -4*j. Solve y = 5*f - n for f.
5
Let f(j) = -14*j - 7 + 2 + 1 + 1. Let m be f(-1). Suppose 3*o = m + 10. Solve 0 = 5*d - o - 8 for d.
3
Suppose 8*d - 53 = 51. Let f be 21*(0 + (-1)/(-3)). Solve -d = 4*z + f for z.
-5
Suppose 2*n + 0*b = 3*b + 16, 5*b + 22 = n. Solve -n*q = 2 + 2 for q.
-2
Let x(q) = -4*q**3 + 4*q**2 + 5*q + 2. Let j be x(-1). Solve 6*k - j*k = 0 for k.
0
Let a(t) = -11*t - 91. Let o be a(-9). Solve -9*j + o = -7*j for j.
4
Suppose -g + 37 = -4*z, -7*g + 3*g + 43 = 5*z. Solve 29 = -6*v + g for v.
-2
Suppose -o = 4*z + 4, 2*o + 3*o = -2*z + 34. Suppose -4*c = -16, 28 = 4*q + 4*c + o. Suppose -p = -0 - q. Solve 16 - p = 5*g for g.
3
Let a(s) = 2*s**2 - s - 3. Let i(q) = 4*q - 2. Let x be i(1). Let z be a(x). Solve 0 = 3*u - 0 - z for u.
1
Suppose -10 = -4*u - u, 3*f - u - 10 = 0. Suppose -p + 3 - 1 = 0. Suppose p - 1 = k. Solve 0 = -f*a + 7 + k for a.
2
Let x = -181 - -214. Solve 32*r - x*r - 2 = 0 for r.
-2
Let u = 0 - 96. Let z be 72/u - (3/4)/(-1). Let g(l) = l**3 + 3*l**2 - 5*l - 1. Let h be g(-4). Solve z*p = -h*p + 12 for p.
4
Let j(m) = -2*m**3 - 3*m**2 - 2*m - 2. Let o be j(-2). Let l = o + -2. Suppose -l*w - 8 = -6*w. Solve 2*a + w = -4 for a.
-4
Let v = 15 + -5. Suppose 1 = -3*n + 2*n. Let p be ((-12)/(-4) - n) + -2. Solve -p*x + 2 = v for x.
-4
Let b = -148 - -149. Let y(o) = -3 + 1 + 3 - o. Let r be y(b). Solve -s - 4*s = r for s.
0
Suppose 0 = 2*l + 8, 2*l + 1 + 39 = 4*a. Let i be (-5)/(-20) - (-1)/(a/22). Solve c + 2 = -i for c.
-5
Let q(j) = -4*j**2 + 115*j + 32. Let b be q(29). Solve -13*v + b = 16 for v.
-1
Suppose 88 = 2*h - 2*t, -3*t = h + 2*t - 32. Let f = -38 + h. Solve 3*j = j + f for j.
2
Let n = 725 - 708. Solve -2*f - n + 19 = 0 for f.
1
Suppose 5*w = -2*c - 47 + 70, -27 = -5*w - 3*c. Solve 14*h = -w + 31 for h.
2
Suppose -2*g = -6*g + 3*x + 16, -5*g + 20 = 5*x. Suppose 4*h - 5*z = -29, -5*z = -5 - 0. Let s = h - -12. Solve -g*o + 2 = -s for o.
2
Suppose -3*j = -5*j + 14. Let o be (-662)/(-18) + 8/180*5. Suppose -4*h - o + 12 = -3*r, 0 = -5*r + 5*h + 35. Solve -j*b = -r*b for b.
0
Let d be (0/(-3))/(-1) - 4. Let h = d - -14. Let r(j) = 18*j + 94. Let c be r(-5). Solve c*y = -y - h for y.
-2
Let w(v) = 3*v**3 - 31*v**2 + 7*v + 11. Let j be w(10). Let b = j + 19. Solve -16 = 4*u - b for u.
-4
Let m be 96/(-30)*((-21)/6 - -1). Let l = -3 + m. Solve l*w = w - 4 for w.
-1
Suppose 3*s + 2*o - 2 = -0, 3*o = 3. Solve s*k = -5*k + 25 for k.
5
Let o be (-60)/(-6 - -4) - -3. Suppose 3*y - y - 2*f = 36, -2*y = f - o. Suppose 3*z - 5*h - 43 = -y, -z - 5*h = 18. Solve d + 9 = -z*d for d.
-3
Let k be (298*6/(-8))/(3/(-2)). Solve 4*j - 145 = -k for j.
-1
Let j(m) be the second derivative of m**5/20 - 7*m**4/12 + 4*m**3/3 - 6*m**2 - 29*m. Let x be j(6). Solve x*y = -5*y - 15 for y.
-3
Let r(i) = i**2 - 6*i + 10. Let k be r(5). Suppose -j - 4*f = -4 - 0, 5*j + 2*f + 34 = 0. Let g = 17 - j. Solve 0*u + k*u - g = 0 for u.
5
Let k = -478 + 499. Solve -k*m + 13*m - 8 = 0 for m.
-1
Suppose 4 = 2*n, -2*n + 13 = 2*p + p. Let r(l) = 70*l - 488. Let z be r(7). Solve -p*v = -z*v + 1 for v.
-1
Suppose -2*a = -12*a. Solve 13*n + n + 28 = a for n.
-2
Let c(b) be the second derivative of -b**3/6 + 3*b**2/2 - 3*b. Let t be c(-2). Suppose 2*z = t*z - s - 11, 0 = -z + 4*s. Solve 6*a = z*a for a.
0
Suppose 0 = -18*x + 16*x. Solve 15*d - 10*d - 5 = x for d.
1
Suppose -10*g + 56 + 4 = 0. Solve -g*l + 4 = -4*l for l.
2
Let g(k) = -2*k + 9. Let w be g(3). Let n be (11 - -7)*-1*(-2)/w. Solve 4*r = 8 + n for r.
5
Let y(q) be the second derivative of -q**3/6 - q**2 - 11*q. Let n be y(-6). Solve -n*a - 5 = -25 for a.
5
Let x be (-28 + 1)*((-45)/(-27) - 2). Solve 11 = -4*j - x for j.
-5
Let z be 0 - 6/(-15) - 1972/(-170). Solve 0 = w - 5*w + z for w.
3
Let x(q) = q - 14. Let t = 2 + 12. Let k be x(t). Solve k = 4*v - 0*v - 4 for v.
1
Suppose 0 = 39*c - 41*c + 22. Solve 0 = c*k - 13*k for k.
0
Let z = -11 - -8. Let w = -1193 + 1194. Let a be (-4 - z) + w + 2. Solve -a*k = 3*k + 5 for k.
-1
Let i(d) = d**3 + 8*d**2 - d - 6. Let p be i(-8). Let k(q) = -q**3 - 2*q**2 + q + 2. Let h = -4 + 1. Let v be k(h). Solve 4 = -p*x + v for x.
2
Suppose -3 + 0 = -3*p. Suppose -4 = 3*k - p. Let s(w) = -w**2 + 1. Let l be s(k). Solve l = -2*h + h - 5 for h.
-5
Let q(l) be the second derivative of -l**4/12 - 5*l**3/3 + l**2 - 15*l. Let b be q(-10). Solve -16 = b*v + 2*v for v.
-4
Let i = 10 - 20. Let k be (4 + -7)*(1 + i). Let y = -25 + k. Solve v + y = 2*v for v.
2
Suppose -n - 2*y = -18, -12*y - 8 = -2*n - 9*y. Solve n*s - 3 = 7*s for s.
1
Let p(k) = -4*k + 27. Let y be p(6). Suppose -d = 2*j - 6, -y*d - j + 4 = 1. Solve d = -5*u - 19 - 1 for u.
-4
Let q = 14 - 17. Let u = -12 + 15. Let w be (q + -1 + u)*0. Solve w*a = 2*a + 4 for a.
-2
Suppose -91 = -j - 80. Solve -2*t - 21 = -j for t.
-5
Let g = -19 + 27. Suppose -6*r + g*r = 16. Suppose -5*d + 6 = 4*t, -5*d + r = -t + 3*t. Solve 3*p = -1 - d for p.
-1
Let h be (-9 - -6)/((-2)/34). Suppose 3*w - 45 = -3*o + h, 72 = 3*o - 3*w. Solve -5*k - 3 = -o for k.
5
Let m(v) = 3*v - 3. Let d(s) = -2*s + 2. Let c(y) = -4*d(y) - 3*m(y). Let f be c(-2). Solve -a + f*a = 4 for a.
2
Let f = 36 + -33. Suppose -f*x = -5*r + 10, -x + 6 = 4*r - 19. Suppose -r = -2*s - 1. Solve s*g - 4 = 4 for g.
4
Suppose 0 = -v - 0*v + 4*s + 24, 5*v - 4*s - 40 = 0. Solve 6*q - v*q = 0 for q.
0
Suppose 0 = -3*s - 2*v - 10 + 14, 0 = 3*s - 5*v + 10. Solve s = -0*x + 2*x - 2 for x.
1
Let z(f) = -f + 5. Let x be z(-7). Solve j + 13 = x for j.
-1
Suppose d + p - 5*p - 15 = 0, 0 = -p - 3. Suppose 0 = 82*t - t - 162. Solve -3*b = -t*b - d for b.
3
Let p(j) = 31*j - 32. Let f be p(6). Let n = f - 153. Solve 0 = 6*g - 5*g - n for g.
1
Let p = 5 + -3. Let o be 1 - (32/(-14) - (-8)/28). Suppose 5*g - 4*q = 9, -o*q + 0*q + 22 = 2*g. Solve -9 = -p*b + g*b for b.
-3
Suppose 0 = 11*q - 19*q + 184. Solve -q*i - 6 = -25*i for i.
3
Let c = 1067 + -1067. Solve c = 8*t + 164 - 148 for t.
-2
Suppose 1 = -a - 4*w, 0*w = -5*a - 4*w - 5. Let o be a/3 + (-4)/(-12). Suppose o = y - 2 - 2. Solve 0 = -x - y + 7 for x.
3
Let g(t) = -2*t**2 - 8*t + 2. Let m be (-3)/1 + (-3 - -2). Let j be g(m). Solve -2*x - j*x = 20 for x.
-5
Suppose 4*q = 7*q + 4*a - 4, -39 = -3*q + 3*a. Solve 22*y - 26*y - q = 0 for y.
-2
Suppose -3*r - 24 = -5*r. Let p = 18 + -16. Solve 2*n - r = -p*n for n.
3
Let x = -479 - -479. Solve x = -3*p + 8 + 4 for p.
4
Suppose 2*j = -0 + 8. Suppose -3*f - 40 = -4*k - 8, -j*f = 2*k + 6. Solve 10 = k*g - 0*g for g.
2
Let v(t) = -t**3 + 3*t**2 + 6*t - 5. Let z be v(4). Suppose 2*w - 64 = 5*b, 0*b - z*w + 61 = -5*b. Let c = b + 15. Solve c + 0 = -g for g.
-1
Let p(h) = 2*h + 2. Let t be p(3). Let x = 8 - t. Suppose 4*i + 4 = f, 0 = -5*i - x*i - 5*f + 20. Solve o + 2*o = i for o.
0
Let n(v) = -v - 7. Let x be n(-7). Suppose -p - 6 + 1 = x, 5*m - 25 = p. Solve 0*z - m = -z for z.
4
Suppose -141 = -9*m + 273. Solve 12*i = m - 10 for i.
3
Suppose 213*b - 125 = 188*b. Let v be -4 + (2 - -1) - -6. Solve -b*a + v = -15 for a.
4
Let l be -44*3/(-60) + 2/(-10). Let a be (