 u.
-1
Let g(n) = -6*n - 232. Let u be g(-39). Solve 0 = 5*s - u*s + 3 for s.
-1
Suppose 5*d + 7 - 27 = 0. Suppose 3*k - 3*u - 21 = 3, -u = 4*k - 52. Suppose 2*r - k = -2*r. Solve -r + 15 = d*i for i.
3
Let m = 24 + -26. Let y(r) = -r - 2. Let d be y(m). Solve d = -b - 1 + 2 for b.
1
Let k = 566 + -566. Solve k = -6*j - 9*j for j.
0
Let x(i) = -28*i - 8 + 10 - 3. Let a be x(1). Let q = a + 38. Solve 3*k - 6 = q for k.
5
Let c(u) = 10*u + 4. Let h be c(4). Suppose 4*g + 5 = -11, -5*r + h = -g. Solve -4*z - 4 = r for z.
-3
Let s(z) = z**3 - 3*z**2. Let b be s(4). Suppose -3*r - 8*a = -3*a - 2, 3*a = 12. Let j be (-3)/2*b/r. Solve 2*d - 4*d = j for d.
-2
Let o(v) = v**3 + 14*v**2 + 6. Let u = 2 + 3. Suppose -n + 5*d = -0 - 1, -64 = u*n - 2*d. Let w be o(n). Solve 0 = -5*k + 2*k - w for k.
-2
Let p be 3*(-2 - (-3 + -1)). Suppose -p*r = -10*r. Solve 2*i - 4 - 2 = r for i.
3
Let f(v) = v**3 + v**2 - 15*v - 8. Suppose -z = 5*b + z + 26, -4*z = 4*b + 28. Let t be f(b). Solve 4*h + 0*h = t for h.
1
Let p(s) = -s**3 + 14*s**2 - 2*s + 32. Let l be p(14). Solve -3*q = -7*q + l for q.
1
Let w be -5*(6 - (-112)/(-20))*-4. Solve -3*g + w*g = 0 for g.
0
Let n(r) = 2*r**2 + 4*r + 4. Let t be n(-1). Solve -12*p + t = -10*p for p.
1
Let o be (20/9)/(6/54). Solve -23 = g - o for g.
-3
Let i(f) = -2*f - 5. Let o be i(-5). Suppose -5*m + c = -85, 4*m - o*c - 9 = 5*m. Let u = -12 + m. Solve -u = p - 3*p for p.
2
Let a be ((-10)/4)/((-2)/4). Suppose 0 = -207*v + 192*v. Solve t - a*t = v for t.
0
Suppose -3*o - 38 = -2*c, -2*c + 4*c - 5*o - 38 = 0. Solve c - 1 = 18*j for j.
1
Let x(l) = 2*l + 5. Let u be x(-4). Let w be (-2 - -2)/(-5 + (u - -7)). Solve w = 3*d - 7*d for d.
0
Let v = 432 + -286. Solve -148*x - 2 = -v*x for x.
-1
Let z be (-20)/(-14)*(-7)/(-2). Suppose -38*y = -37*y - z. Solve -y = -5*u - 25 for u.
-4
Suppose -14*c + c = -182. Solve -2*g + c*g = -48 for g.
-4
Suppose 0 = 3*x - q - 22, -31 = -4*x + 5*q - 2*q. Suppose -3*i - x = -4*i. Let b(p) = p**2 - 6*p + 1. Let o be b(7). Solve -3*u + i*u = o for u.
2
Let g be -1 - (-6 + 3) - -5. Suppose -2*k = 1 - 5. Solve k*j - 20 = g*j for j.
-4
Let l(g) = g**3 + 4 + 9*g + 14*g**2 - 24*g**2 + 1. Let t be l(9). Solve -9 = t*u + 6 for u.
-3
Let u = 191 - 190. Solve 2*x = -7 + u for x.
-3
Suppose 2*g + 4 = -x - 0*x, -4*g + 8 = -2*x. Let f = 2 - x. Solve 2*i - f + 2 = 0 for i.
2
Let o(m) = -m**2 - 14*m. Let f be o(-15). Let p = f + 28. Solve -8*d + p*d = 5 for d.
1
Suppose -3*x - 16 = 20. Let n be -1 - 1/(4/x). Let i be n + (2 - 0) + 1. Solve -i*q + 8 = 33 for q.
-5
Let i = -612 + 614. Solve i = 5*f - 8 for f.
2
Let n be 7/14*(-12)/(-2) - 1. Suppose -n*h = 7*h - 90. Solve -2*b + h = -0 for b.
5
Suppose 4*q + 12 = 4*p, -3*q + 47 = 4*p - 0*p. Suppose 2*s - s + p = -5*a, -s + 2*a + 20 = 0. Solve 0 = -2*v - v - s for v.
-4
Let a = 92 + -62. Suppose -5*w = y - 32, 4*w - a = -2*y - y. Solve o = w*o - 20 for o.
4
Suppose 2*a + m - 89 = -2*a, -5*a = 2*m - 115. Suppose a*k = 25*k - 80. Solve 4*g + g = -k for g.
-4
Suppose 7*l - 30 = 12. Suppose 0 = l*q + 2*q - 56. Solve 0 = q*p - 2*p - 5 for p.
1
Let y = -18 + 7. Let h = -6 - y. Suppose -3*g - 3*i = 12, 0 = 3*g + g - 2*i - 8. Solve g*x - 25 = h*x for x.
-5
Let z = 533 + -532. Solve -4*n - z - 3 = 0 for n.
-1
Let p = 0 - -5. Let i be 9/(-12)*2/3*0. Solve i = -2*n + n - p for n.
-5
Let c = 91 - 43. Let r = -44 + c. Solve 0 = 2*h + r - 10 for h.
3
Let f = 41 + -40. Suppose 31 = 6*s + f. Solve i = s*i - 12 for i.
3
Suppose 6 + 4 = 5*h. Suppose 0 = p - h*p. Solve p*i = 5*i + 5 for i.
-1
Let k be 2/(-3) - (-18)/27. Suppose k = t - 15 + 11. Solve -3 = t*w + 5 for w.
-2
Suppose -p = -4*p + 141. Suppose -5*w + r = -83, 2*w - 2*r = 3*r + p. Solve 3*f - w + 4 = 0 for f.
4
Let f = -2 - -2. Suppose x + 3*x = -3*t + 8, 4*t + 5*x - 10 = f. Suppose 2 = -5*q + 27. Solve -q*m + 4*m + 5 = t for m.
5
Let n(v) = -2*v + 18. Let b be n(-7). Let f = b - 30. Solve -f*z + 7 + 1 = 0 for z.
4
Let u(s) = -s**3 - 5*s**2 - 2*s + 1. Let x be u(-3). Let y = x - -6. Let g be 1/y*(-3 - 7). Solve -2 = -g*w + 8 for w.
5
Let t = 46 - 19. Let x = 27 - t. Suppose x = 5*d - 10 - 0. Solve 2*i - 2 - d = 0 for i.
2
Suppose 2*l - 4*l = -2. Suppose o - l = -0. Let a = o - -10. Solve -3 = 2*v - a for v.
4
Let f(h) = h + 1. Let n(g) = -2*g**2 - 5*g. Let p(k) = -2*f(k) - n(k). Let i = -9 - -6. Let r be p(i). Solve 2*d + 1 = -r for d.
-4
Let f(z) = -8*z - 2. Let u be f(-3). Suppose 2*s + 2*c = u, 0*s + 2*s - 3*c = 2. Let b be ((-12)/5)/((-7)/35). Solve 0 = 3*q - s*q + b for q.
3
Let j be 5/3*-14*33/(-154). Solve -9 - 6 = j*z for z.
-3
Suppose 15*q + 35 - 65 = 0. Solve -q*r - 2 = -8 for r.
3
Suppose -49*y = -26 - 72. Solve -y*i + 5 = 9 for i.
-2
Let s be 10/(-4)*(-1922)/155. Solve 4*m + s = 11 for m.
-5
Suppose 2*b + 63 = -3*b + 2*k, -2*b - 14 = 2*k. Let p = b + 25. Suppose 0 = 5*r - 3*f - 27, 2*r - f - 14 = -3*f. Solve 0 = -4*d - r - p for d.
-5
Let m(f) = f**3 + 10*f**2 - 14*f - 21. Let y be m(-11). Suppose -4*b - y = -10*b. Solve 3 - 1 = b*o for o.
1
Let k be 10/35 - 2/7 - -5. Suppose 5*v - k*d = 45, 2*v - 4 - 9 = d. Solve 0 = -v*n + 5*n - 2 for n.
2
Let z(n) = -6*n - 34. Let s be z(-6). Let c be (-1 + 1)/((-3)/(6/s)). Solve c = 3*x + x + 8 for x.
-2
Suppose g - 2 = -3*a + 13, 0 = 5*a + 25. Solve g = 3*n + 18 for n.
4
Let r(k) be the second derivative of -k**3/3 + k**2/2 + 17*k. Let q be r(0). Solve y + q = 2 for y.
1
Suppose -2*c + c - m + 447 = 0, 0 = -m - 1. Suppose 8*z - c = 4*z. Let a be (-3)/(-15) - z/(-40). Solve 0 = a*h + 1 - 4 for h.
1
Suppose 4*w + 5 = -w. Let x be (7 - 2) + -3 + w. Suppose 5*c + 9 = 2*j + 4*c, -j = 3*c - x. Solve 5*t - j*t - 2 = 0 for t.
2
Suppose -17*n + 22*n = 55. Let h = 14 - n. Solve i + 2 = h for i.
1
Let p(f) = -f - 1. Let y be p(-1). Suppose -3*v = -g + 11, 101*v = g + 96*v - 17. Solve g*u + 4 - 6 = y for u.
1
Let m be (6 - 2) + (-4 - -1). Solve w + m = 2 for w.
1
Let q(r) = 4*r - 18. Let a be q(5). Solve 0*b = a*b for b.
0
Let p(d) = 7*d**3 + 1. Let y(a) = a**2 - a. Let i be y(0). Suppose -5*o + 2 = 2*c, 3*c + c - 4*o - 4 = i. Let m be p(c). Solve -m + 3 = -5*g for g.
1
Suppose 4*u = -8, 2*j + 1 - 67 = -5*u. Solve -4*l - j = -26 for l.
-3
Suppose 2*s - 8 = -2. Suppose 0 = -4*j + s + 21. Solve 0 = c - 3 + j for c.
-3
Suppose 30*t + 36 = 34*t. Solve 13*j = t*j for j.
0
Let u(i) = i**3 + 4*i**2 - 5*i + 4. Let d be u(-5). Suppose 5*q + 19 = 3*t, t = 3*t + 5*q + d. Suppose x = -t*x. Solve -1 = -x*r + r for r.
-1
Suppose 0 = 5*v - 2*u, 0 = -v - 0*v + 3*u. Solve -r + 0*r - r = v for r.
0
Suppose 0 = -65*k + 71*k - 90. Let f = k + -10. Solve -8 = f*t - 28 for t.
4
Suppose -7*d = 7 - 7. Let a(w) = w**2 - 2*w + 4. Let y be a(3). Suppose y*k - 35 = 2*k. Solve d = -5*l + k + 13 for l.
4
Let a(b) = b**3 + 4*b**2 - 13*b - 6. Let m be a(-6). Suppose -z - 4*j + m*j = -6, -5*j + 45 = 5*z. Solve -4*v - v + z = 0 for v.
2
Let w(y) = -20*y + 622. Let c be w(31). Suppose -j + 4*j = 0. Solve j = c*m - 5*m - 9 for m.
-3
Let f be (-15)/6*104/(-10). Suppose -48 = -2*k + 4*q, -q + 6 = -k + f. Solve k - 6 = -2*s for s.
-5
Let u be (-14)/(-21) - 2/(-6) - -4. Solve -u*f - 47 = -52 for f.
1
Let r = -10 - -74. Suppose -3*m + 26 + r = 0. Suppose -2*i = -0*q - 5*q - m, 24 = i + 2*q. Solve -i = -0*x + 4*x for x.
-5
Suppose 30 = -2*y + 36. Solve -y*h + 0 - 6 = 0 for h.
-2
Let t(p) = -p**2 - 20*p - 15. Let i be t(-19). Suppose -3*u + 0*u + 39 = -i*j, -9 = 3*j. Solve -3*g + 0 = -u for g.
3
Suppose -4*u + 0*d = -3*d - 117, -4*u = 2*d - 122. Let t = u + -27. Solve 0 = -2*h + 13 - t for h.
5
Let z(v) be the first derivative of -v**2/2 - 2*v - 22. Let g be z(-3). Solve j + g = -0*j for j.
-1
Let q be 3 - -55 - 6*(-8)/(-12). Solve 2*w - q + 56 = 0 for w.
-1
Suppose 0 = -12*j + 16*j - 20. Suppose 5*a - 9 = -4*g, 3*a - 2*g = 6*a - j. Solve 2*x - 1 = a for x.
1
Let i(y) = 8*y**3 + y - 1. Let b be i(1). Let k = b + -4. Suppose -2*m + k*m - 16 = -2*x, -2*x = -2*m + 8. Solve 8*u - 5*u + m = 0 for u.
-2
Let p(i) = 32*i + 35. Let m be p(-1). Solve 11*j + m*j = 42 for j.
3
Let j(c) = 4*c**2 - 1. Let p be j(1). Let a = 14 - 12. Solve -a*n + 5 = -p*n for n.
-5
Let b be (2 - 0) + (1 - 0). Let z = -1 + b. Let p = 16 + -11. Solve z*g - p*g = 9 for g.
-3
Let q be (360/(-42))/(2/(-7)). Solve -d = -7*d + q for d.
5
Let h be (0 - -1)*(1 - (-6 