= 3 for u.
1
Let v(u) be the first derivative of u**4/2 + 8*u**3 - 15*u**2 - 27*u - 113. Let s be v(-13). Solve -3*y = 2*y - s for y.
5
Let g(o) = -81*o**3 - 131*o - 131. Let n be g(-1). Solve -38*h - n - 33 = 0 for h.
-3
Let u = 5 + 1. Suppose 3*w - u*w = -39. Suppose 12 = 3*n, t + 15 = 2*n + 3*n. Solve t*j - w = 2 for j.
3
Let c be (-3)/5 + (-9)/(-15). Suppose -5*l + l + 20 = c. Suppose f + 2*r + 4 = -1, -30 = -f + l*r. Solve -2*o - f = 3*o for o.
-1
Let l be (-60)/1300*-13 + (-14)/(-10). Suppose 0 = u - 3*n + 3, -2*u + 4*n - 4 = 0. Suppose v + 4*v = u. Solve -2*o - l*o = v for o.
0
Let c(u) = -3*u + 12. Let a be c(5). Let g be (-1 - -3) + 96 + a + 4. Let n = g - 97. Solve -4 - 2 = -n*m for m.
3
Let f be (1 + 102/42)*21/1. Solve -5*d - 57 = -f for d.
3
Let w be 9/(693/(-14)) + 2/11. Suppose w = -7*n - 1 + 29. Solve -n*g = 3*g - 21 for g.
3
Suppose -79*a + 66 + 15 = -52*a. Solve 0 = a*y + 9*y - 48 for y.
4
Let b = -18669 - -18687. Solve 0 = -b*f + 840 - 768 for f.
4
Let y = -23 - -29. Suppose 0 = -7*z + 21 - 0. Solve -z - 9 = y*m for m.
-2
Let j = -3936 + 3952. Solve 18 = -j*u + 19*u for u.
6
Suppose -254*l - 23405 = -134911. Solve 0 = l*r - 436*r for r.
0
Suppose 722*r - 721*r + 3*x - 106 = 0, 5 = x. Solve -5*v - 8*v = r for v.
-7
Let p(w) = w + 141. Let q be p(-41). Solve -119*r + 76 = -q*r for r.
4
Suppose -2*z + 0*z + 95 = 5*b, 3*b = 5*z - 284. Solve z*s - 12 = 51*s for s.
3
Let q(r) = -3*r**2 - 24*r. Let i be (520/(-4) + 2)*3/(-4). Suppose 0 = 10*k + 2*k + i. Let b be q(k). Solve b*v + 3*v = 12 for v.
4
Let p be 95/399*-6*(-14)/4. Solve -p*d + 69 = 54 for d.
3
Suppose 5 + 0 = g. Let j(m) = -3*m**3 + 24*m**2 + 8*m - 57. Let b be j(8). Solve -b - 8 = -g*r for r.
3
Let x = -5753 - -5753. Solve x = 3*s - 55 + 46 for s.
3
Let v = -8203 - -5655. Let z be v/(-182)*(1/(-2) + 1). Solve -z*m + 0 = -7 for m.
1
Suppose 74*f + 133*f = -53*f + 17940. Solve 18*b + f = 213 for b.
8
Let z(d) = -18*d + 294. Let x be z(16). Solve -x*q - 9 = 15 for q.
-4
Let n(i) = -i**3 + 2*i**2 + 8*i. Let l(t) = -3*t**2 - 11*t + 2. Let d be l(-4). Let r be n(d). Solve -7*a - 6 - 1 = r for a.
-1
Suppose 11*v + 2145 = 8*v. Let t = v + 719. Solve 19 = 5*d + t for d.
3
Let f(v) = -2*v - 14. Suppose -10 + 140 = -13*q. Let m be f(q). Solve -12 = -m*c + 3*c for c.
4
Let x(r) = -2*r**3 - 22*r**2 + 54*r + 42. Let o be x(-13). Solve -6*p + 40 - o = 0 for p.
4
Let o(l) = l**3 + 5*l**2 + l - 7. Let j be o(-3). Let b be (-2)/8 - (-58)/j. Solve b*u = 6*u + 3 for u.
3
Let x(g) = 16 + 5*g**2 - 34*g**2 + 14*g**2 + 27*g + 5*g**2 + 12*g**2. Let r be x(-13). Solve -r*o + 3 + 9 = 0 for o.
4
Suppose -60*c + 166 = -314. Solve -g + c*g = 21 for g.
3
Let z be ((-1108)/(-2770))/(2/60). Suppose 3*r - 48 = r. Solve -z*a + r = -12 for a.
3
Suppose 0*g - 5 = -g. Suppose -a = -3, -1 + g = 5*l - 2*a. Suppose -3*h + 3*k + k - 16 = 0, 4*h = -k + 4. Solve -w + l - 7 = h for w.
-5
Let d(n) = -n**3 - 5*n**2 + 6*n + 7. Let v be (-402)/66 - 2/(-22). Let p be d(v). Solve 5*g = p*g - 8 for g.
4
Suppose -2*u + 8 = 0, -3*d - 2*u = -7*d - 4. Suppose 17*t - 50 = d. Solve -t*h + 15 = -6*h for h.
-5
Suppose -1934 = 22*w - 26*w - 2*b, b + 7 = 0. Solve x + 488 = w for x.
-1
Let f be 4/(-6)*(-11)/(154/63). Suppose -f*m = 3*c - 6, -m = c - 5*m - 2. Solve 0*y = c*y for y.
0
Let m = 4747 - 4425. Solve -8*k - 274 = -m for k.
6
Let v(t) = t**2 + 15*t + 17. Let g be v(-14). Let i = 4 - g. Let l be (0 + i)*7 + (6 - 9). Solve 0 = -l*k - 4 for k.
-1
Let y = 0 + -3. Let k be (23 - (-15)/(-5)) + y. Suppose 0 = -21*u + k*u. Solve u = -2*c + 10 for c.
5
Suppose -4*x = -5*p + 369, 5*x + 5*p + 240 = -165. Let u = 97 + x. Solve u*f - 14*f = -3 for f.
1
Suppose q = 7*w + 7 + 33, 4*w = 4*q - 64. Solve 20*l = 16*l + q for l.
3
Let y(m) be the first derivative of m**2/2 - 4*m - 296. Let l be y(8). Solve -3*r = -2*r - l*r for r.
0
Let z(m) = -m**2 - 7*m - 2. Let o be z(-6). Suppose -2*w + o*n + 31 - 3 = 0, 0 = -w - n - 1. Suppose -5*i + 1 = -w. Solve 0 = -3*k + 2*k + i for k.
1
Suppose 7 = -2*p + p. Let l = 0 - p. Let n = 73701 - 73692. Solve -l*y + n*y - 10 = 0 for y.
5
Let o(m) = -2*m**2 - 7*m + 7. Let a be o(-4). Suppose a*z - 9 - 6 = 0. Suppose -z*q + 5 = -4*q. Solve q*t - 20 = t for t.
5
Let d(x) = 3*x**2 - 6*x - 62. Let h be d(-5). Solve h*p + 95 = 138*p for p.
1
Let n(h) = -h**3 - 11*h**2 + 16*h + 17. Let p be n(-13). Let l = -145 + p. Solve 0 = -3*i + l*i for i.
0
Let c be 7 + (-11)/(-3 - 8). Solve -2*q = 6 - c for q.
1
Let m be (7 - 8)*((-3924)/48 - 9/(-12)). Solve m*i + 14 = 88*i for i.
2
Let x = -60 - -81. Suppose w = 2*v - 3, 19*v - 3*w = x*v - 15. Solve 10 = v*g + 1 for g.
3
Let w(b) = b**2 - 21*b + 92. Let l be w(9). Let y(s) = -8*s - 119. Let g be y(l). Solve g = 2*u + 1 for u.
4
Suppose -18*p - 7*p + 288 = -7*p. Solve -p*n = 49 + 31 for n.
-5
Let n(m) = -m**2 + 5*m + 5. Let t be (15/9)/(4/12). Let g be n(t). Suppose 5*o + 2*s - 4 = 0, g*o = -5*s + 2 - 7. Solve o*w + 2 = -0*w for w.
-1
Let x be (-5 + 0)*(17 + -40)*1. Solve 31*s + x = 22 for s.
-3
Let s = 152 + -133. Suppose -s*t = -27*t. Solve t = 2*k - 0*k - 3*k for k.
0
Let b = 405 + -389. Suppose -y = -4*y + b*y. Let d(s) = -s + 10. Let x be d(7). Solve 12 = x*u - y for u.
4
Let c be (-5 - -1) + (107/(-321) - (-112)/3). Solve -c*a = -22*a - 55 for a.
5
Let h(n) = n + 5. Let m be h(3). Suppose 4*c + 2*p + 3 = -1, 0 = 4*p - m. Let s be (c - 63/(-12)) + 5/(-20). Solve 0 = -s*j - 0*j for j.
0
Let m(f) = 3*f - 36. Let b be m(13). Suppose 59 = -2*h + 4*h - b*n, -5*h - n + 139 = 0. Suppose h = 3*j + 19. Solve -5*r = -j*r - 8 for r.
4
Let r(g) = g**2 + 11*g + 13. Let y be r(-9). Let i be ((-25)/y)/10*28. Suppose 0 = -4*m - 2*b + i, -b - 21 = -4*m - m. Solve 25 = m*n - 9*n for n.
-5
Suppose -13*n = -15*n + 4. Let c be n + (-3)/(-3) + 1 + 2. Suppose i - i = c*i. Solve -4*m + 5*m = i for m.
0
Suppose -c - 6 + 36 = 2*p, -c - 68 = -5*p. Solve -68*v - p = -61*v for v.
-2
Let a(g) = g**3 + 19*g**2 + 16*g - 36. Let x be a(-18). Suppose x = -5*l + 2*v + 17, 5*l - v - 16 = 0. Solve -20 + 11 = l*i for i.
-3
Suppose -4*z = -p - 103 + 414, 72 = -9*z. Solve 31*i + 62*i = -p for i.
-3
Let v = 144 + -35. Let y = -109 + v. Solve -4*g + y*g = 0 for g.
0
Suppose -3*r = -14*r + 165. Suppose 8 = -j + 3*p, 3*j + 3*p - 11 = 5*p. Solve -2*n - r = -j*n for n.
3
Let w be (-4 - -1)*(-182)/(-21). Let r = 32 - 5. Let k = r + w. Solve m - 2 = k for m.
3
Let j = 93 + -86. Let p(a) = -4 + j - 5 - 8 - a. Let s be p(-12). Solve -25 = s*z + 3*z for z.
-5
Suppose 5*w = f - 1315, f = -0 + 5. Let g = 272 + w. Solve 3*h = -2*h + g for h.
2
Suppose -50348 - 68755 = -559*p + 8908. Solve 19*z + p = 77 for z.
-8
Suppose -4*i - 4 = 4*r - 7*r, 5*r - 5*i - 10 = 0. Suppose -t + 3*t - 6 = -r*j, -j + 9 = -t. Let p(d) = 37*d - 1547. Let h be p(42). Solve -j*q = -h - 9 for q.
4
Suppose 14 = 7*j - 406. Suppose -66*z = -j*z. Solve z = -d + 9 - 4 for d.
5
Suppose -2*h + 19 + 19 = 5*x, 2*h = -3*x + 22. Solve -55*l + x*l = -47 for l.
1
Suppose 6328 = -24*h + 6712. Solve -h*b + 144 - 16 = 0 for b.
8
Let y(l) = 5*l**2 + 7*l - 8. Let p be y(1). Suppose -64 = -5*a + p*x, -4*a - 47*x + 76 = -44*x. Solve -3*r = a - 4 for r.
-4
Suppose -2*x + k - 4*k = 265, -5*k = 5*x + 655. Let o be (-2)/7 + x/(-56). Suppose -3*f = -4*c - f, 0 = -o*f. Solve c = -2*v - 0*v + 10 for v.
5
Suppose -3*l = -4*k - 2038, -3392 = -5*l + 3*k - k. Suppose -l = 4*g + 2*g. Let v = g - -121. Solve 4 - v = i for i.
-4
Let h be (7 + 1)*(-6)/(-4). Let d be (-48930)/(-6930) + 6/(-99). Solve d*u = u + h for u.
2
Suppose -5*j - 1233 + 53 = 5*t, 5*t - 4*j = -1189. Let w = -231 - t. Solve 4*x = w*x for x.
0
Suppose 0*x = 4*x. Suppose -7*l + x*l = -l. Solve 3*n + l = 15 for n.
5
Let j(l) = l**3 - 48*l + 127. Let y be j(3). Solve -8*g - 2 = -y for g.
1
Let c(h) = 12*h + 1303 - 676 + h**2 - 661. Let k be c(-15). Solve -7*p + 3 = -k for p.
2
Let i be (-25)/(-15) + (3 - (-212)/6). Let s = -28 + i. Solve a = 4*a + s for a.
-4
Let w = 23 - 29. Let i be (w/(-6))/2*8. Solve -i*p - 9 = -5 for p.
-1
Suppose 25 = 3*y - 5*i, y - 2*i - 10 = -0*i. Suppose 3*w = 2*s + s + 45, 2*w - 9 = -5*s. Let z = w - 9. Solve y = -z*b + b - 2 for b.
-1
Let q be (3 - 45/12)*(-4 - 0). Suppose 3*k + 2*j - 28 = 0, -q*k - 10*j + 33 = -7*j. Solve -6*r + 3*r = k for r.
-2
Let v(x) = x**2 - 20*x - 184. Let h be v