or w.
4
Let g(a) = -a**2 + 6*a - 1. Let o be g(5). Solve 0 = 3*l - 2*l - o for l.
4
Suppose 19 = -2*d - 5*t, 2*d - 3*t - 13 = 8. Let g = d - 1. Solve 0 = 5*b - 4*b - g for b.
2
Suppose 10 = 2*b, 2*b = -3*v + 2*v + 13. Suppose 3*g - 9 = v. Solve 16 = -4*f + g for f.
-3
Suppose 0 = 2*a - 0*a - 2. Let d = -3 + a. Let o be 0*(0 - 1 - d). Solve 12 = -o*s + 3*s for s.
4
Let m(p) = 2*p + 3. Let j be m(5). Let v be 15*-1*9/15. Let a = j + v. Solve -t = -a - 0 for t.
4
Suppose 0 = 4*h - 6*u + 7*u - 25, 45 = 5*h + 4*u. Solve 0 = h*y + 7 + 18 for y.
-5
Let t = -3 + 7. Let f be (1 - -1 - 2) + -2. Let l = t + f. Solve s + l = -0 for s.
-2
Suppose -3*d + 11 = -13. Solve d + 0 = -4*i for i.
-2
Let k(n) = -n**2 - 5*n. Let d be k(-5). Let b(t) = t**2 + 6*t - 4. Let q be b(-7). Solve d = -g - q - 2 for g.
-5
Let v be 2*(-2)/(-4) - -3. Solve v - 1 = -3*u for u.
-1
Let q(i) = 2*i - 9. Let o be q(6). Suppose 2*s - 3 + 1 = 2*g, -25 = -o*g - 4*s. Solve -4 - 5 = g*z for z.
-3
Let u(h) = 10*h + 43. Let n be u(-4). Solve 0 = n*o - 7 - 2 for o.
3
Let q(t) = -t**2 + 8*t + 35. Let n be q(11). Solve 3 = -n*g - 5 for g.
-4
Let f(y) = -y**3 + 18. Let d(t) = t**2 + 4*t - 5. Let l be d(-5). Let o be f(l). Solve -5*s - o = 2 for s.
-4
Let x(h) = -h**2 - 4*h + 2. Let r be x(-4). Solve r*c + 0*c = 8 for c.
4
Let d(k) = -k**2 + 3*k + 4. Suppose 0*h = h - 2. Suppose h*q = 6 - 0. Let u be d(q). Solve -t = -0*t - u for t.
4
Let o be -2 - (-3 - 1)/2. Let f = o + 2. Solve l = -f*l for l.
0
Let g(p) = p**2 - 6*p - 7. Let v be g(7). Suppose -z + v = -3. Solve z = 2*j - 5 for j.
4
Let t = 11 - 5. Suppose -2*g + t = 4*c - 2, 4*g - 2*c = -34. Let k be ((-10)/15)/(1/g). Solve k*w = 2*w for w.
0
Suppose 3*z + 4*j = 15 + 2, 3*j - 3 = z. Let w = z + -1. Let i be 8/10*5/w. Solve 5 - i = s for s.
3
Let v = -36 + 41. Solve -x + 2 = v for x.
-3
Suppose -7*b + 6*b + 5 = 0. Solve f + b = 1 for f.
-4
Let j(u) = u**3 + 8*u**2 + 16*u + 6. Let q be j(-5). Solve 0 = -3*z - 13 + q for z.
-4
Let v(a) = 3*a**3 - 2*a**2 - 2. Let s be v(2). Let c = -11 + s. Suppose 0 = -3*t - 2*w - 6, c*w = 4*t + 8*w + 15. Solve t - 8 = -4*z for z.
2
Suppose 3 = -0*d + d. Solve 25 = 2*z + d*z for z.
5
Suppose -t - 20 = -2*t. Suppose -11*l + t = -6*l. Solve 0 = 4*a + l + 8 for a.
-3
Let t(j) = -4 - 1 + j**2 + 6*j - 3*j. Let b be t(-5). Suppose b = 4*q - 19. Solve 0 = -3*c + q - 0 for c.
2
Suppose 6*j = 7*j. Suppose j = 3*a + 2*a - 10. Solve -o - o = a for o.
-1
Let b be (-12)/(-7)*(-21)/(-6). Suppose 4*z - p - 87 + b = 0, 0 = -5*z - 5*p + 95. Solve 3*i + z = 8*i for i.
4
Let z = 5 + -11. Let t = -2 - z. Let y(k) = -k + 1. Let b be y(1). Solve -2*r + b - t = 0 for r.
-2
Suppose -4*i + 5 = -0*i - n, 3*n = 9. Solve -3*u = i*u - 5 for u.
1
Let i be (3 - 30/9) + (-7)/(-3). Solve -20 = i*c + 2*c for c.
-5
Let a(n) = n**2 - 9*n + 8. Let b be a(8). Let q(v) = -v**3 + 8*v**2 - 9*v + 10. Let g be q(7). Let u be 0*(1 + 2/g). Solve -2*f + 2 + u = b for f.
1
Let u(s) = s - 5. Let l be u(5). Solve -z + l*z = 0 for z.
0
Let u(b) = -b - 2. Let a be u(-5). Solve -15 = 6*f - a*f for f.
-5
Let n(v) = v**2 - 4*v. Let u be (0 - 2)*(-5)/2. Let y be n(u). Suppose y*m - 40 = -4*b, -3*b + 2*b = -4*m + 11. Solve -d = -m*d - 3 for d.
-1
Suppose 0 = i - 5 + 3. Solve 0*f + i*f = 10 for f.
5
Let f(b) = 7*b**3 + 17*b**2 + 3*b - 9. Let p(c) = 10*c**3 + 25*c**2 + 4*c - 14. Let d(q) = 7*f(q) - 5*p(q). Let z be d(-6). Solve 3 = -a - z for a.
-4
Let x be (-2)/(-2 + -2)*32/4. Solve x*b = 2*b - 4 for b.
-2
Let j(p) = 3*p - 2*p - 2 + 14 - 2*p. Let y be j(9). Suppose -2*u - 3*c = 2*u - 1, 0 = 3*u + y*c. Solve 2 = -b + u for b.
-1
Suppose 0 = 2*z - 0*z - 24. Solve -3*a + 0*a = z for a.
-4
Let r(g) = g**2 - 8*g - 23. Let k be r(11). Solve 0 = -0*c - 2*c - k for c.
-5
Let m(j) = -2*j - 9. Let q be m(-5). Suppose l + 3 = 5. Solve l = -c - q for c.
-3
Let l(q) = q**2 - 7*q + 4. Let o be l(7). Suppose -h = -2, -o*h + 0 = 3*p - 8. Let b be ((-8)/4 - -3) + -2 + 3. Solve b*m + m = p for m.
0
Suppose 5*h = -q + 24, 2*q + 8 = -h + 5*q. Suppose 2*x - 2*c = -x + 21, c + 23 = h*x. Let d be x/((-5)/(-2)) - -4. Solve 2*a = d*a for a.
0
Let m(c) = c**3 + c**2 + c + 5. Suppose -w = -2*w. Let q be m(w). Solve -q = -p - 0 for p.
5
Let l(o) = o - 13. Let m be l(6). Let b = -7 - m. Solve 5*i = -5 - b for i.
-1
Let b = 33 + -31. Solve -6*p + b*p = 0 for p.
0
Let d be (-2)/4*(-15 - -3). Solve 2 = -s + d for s.
4
Suppose 5 = 2*j - 3. Solve j = -3*g + 2*g for g.
-4
Let g be 2/3 + 276/18. Solve g = -0*c - 4*c for c.
-4
Suppose 0 = -3*f + 1 - 4. Let r be 3*((-16)/(-6) + f). Solve -4*a + 2 = -r*a for a.
-2
Suppose a = -3*a + 16. Suppose -4*v + 11 = 3*q, -3*v + 0*v + a*q + 27 = 0. Solve -2 = v*o - 22 for o.
4
Suppose 5*k + 86 = -14. Let v be 8/(-6)*30/k. Solve -v*b - 3 = 7 for b.
-5
Let u = 34 + -30. Solve -5 + 1 = u*f for f.
-1
Let g = 3 - -1. Let j(a) = g*a - 3 - 2*a - a. Let z be j(3). Solve 0 = -z*x - 5*x + 25 for x.
5
Let r be (140/(-6))/((-2)/12). Suppose 10*q + r = 5*q. Let i be 8/q - (-228)/14. Solve -5*j = -j - i for j.
4
Suppose 3*r + 8 = 2*c + 2*r, 3*c - 12 = 4*r. Solve 4 - 8 = c*o for o.
-1
Let c be (6/(-4))/(1/(-2)). Suppose 0 = 6*l - c*l - 6. Let d(t) = -2*t**2 - 8*t + 12. Let f be d(-5). Solve 0*a = -l*a + f for a.
1
Let u be -1 + 0 + (-2 - -7). Suppose -3*b - u = -i + 4, 37 = 3*i + 4*b. Suppose 1 = 4*g - i. Solve g*j = 17 - 5 for j.
4
Suppose t = y + 6, -3*t + 2*y = -7 - 7. Solve -s - t*s + 12 = 0 for s.
4
Suppose -10 - 5 = -5*f. Solve -2*q + 3 + f = 0 for q.
3
Let h = -11 + 19. Solve -4 + h = 4*q for q.
1
Let h be (-2)/(-16) + 8/(-64). Solve b - 1 - 1 = h for b.
2
Suppose 0 + 6 = -m - 2*r, -m + 4*r = -18. Suppose -2*o + 4*n + 52 = m*o, -n + 32 = 2*o. Let p = 0 + o. Solve 0 = -6*w + w + p for w.
3
Suppose v - 3*w - 5 = w, 4*v = -3*w + 20. Let q be (v/2)/(-1)*-2. Solve 32 = -q*h + 7 for h.
-5
Let t be 5 + (1 - (-1 - -4)). Let p be -1*54 - (2 - 2). Let u be (6/(-9))/(t/p). Solve -2*m = m + u for m.
-4
Let o(a) = -a - 7. Let i be o(-13). Let w be 147/12 + (-1)/4. Solve i*k = 3*k - w for k.
-4
Let k(w) = -w**3 - 16*w**2 + 37*w + 21. Let a be k(-18). Solve -9 - a = 3*v for v.
-4
Let q(z) = -z**2 - 2*z - 1. Let k be q(-1). Solve k = -2*h + h - 3 for h.
-3
Suppose 0 + 8 = 4*h. Let b = -3 - h. Let c be (2/b)/(1/(-10)). Solve 0 = -q + c for q.
4
Let c(r) = -r + 1. Let y be c(-4). Let h be (1 + 1)*(1 + 1). Solve h*a + y = -a for a.
-1
Suppose -2*x - 2 = i, -3*i - 6 = -0*i - 5*x. Let u be i + 8 + -3 + 2. Suppose -f = -u - 6. Solve -4*o - 1 - f = 0 for o.
-3
Suppose -o - 2*o + 4*d + 29 = 0, 2*d = -10. Solve -4*l + o*l + 2 = 0 for l.
2
Let s be (-4)/12*3 - -5. Solve s*p - 20 = -0*p for p.
5
Let w(d) be the second derivative of d**4/3 - d**3/6 + 2*d. Let n be (4 + -3)/((-1)/(-1)). Let p be w(n). Solve 0 = -4*r + p*r + 2 for r.
2
Let q = -4 + 3. Let m be (3 + q)/(3 - 1). Suppose -m - 5 = -2*i. Solve 0 = -3*g - i for g.
-1
Let i(w) = w**2 + 11*w + 8. Let x be i(-11). Solve -r = -5*r + x for r.
2
Suppose -o + p + 8 = 2, 0 = -3*o + 2*p + 17. Let l be (-1 + 0 + 1)/(-2). Let n = 13 - 11. Solve z - n*z + o = l for z.
5
Let r(o) = -o**3 - 3*o**2 + 4. Let g be r(-2). Solve g = -s - 3 + 5 for s.
2
Suppose 0*m = m. Solve m = h - 4*h for h.
0
Let i = 27 - 11. Let v be i/12*(-18)/(-4). Let u = v - 0. Solve 0*z - u = -3*z for z.
2
Suppose -5*m = 3*g - 9, 0*g - 5*m + 6 = 2*g. Solve -2*k + g = 5 for k.
-1
Suppose 40 = 3*n - n. Solve 0 = 2*s + 3*s - n for s.
4
Suppose -4*k - 5 = -5*k. Suppose k*v - 5 = -j, 5*j + 12 + 3 = -5*v. Solve v*b + 10 = -0*b for b.
-5
Suppose 2*r + 3*r + 2*t = 18, -r - 1 = 5*t. Solve -r*q + 0 = -8 for q.
2
Suppose -3*i + 24 = -12. Suppose t - 32 = -3*t. Suppose -5*s + t = -12. Solve j - s*j = -i for j.
4
Suppose 4 + 6 = 2*f. Let j = 16 - 14. Solve -j*v + 3 = -f for v.
4
Let m be 0 - (-1 - -2) - -2. Let g be 1/(-2)*-1*0. Suppose 4*i = -g*i - 5*y + 8, -y - 6 = -3*i. Solve -i*l + 3 = m for l.
1
Suppose 30 = 2*u + 3*u - 3*t, 0 = -4*t - 20. Solve u*k = -20 + 8 for k.
-4
Suppose -6*u + 2*u - 8 = -5*o, -5*o = -3*u - 11. Let n = o - 2. Solve 5*c - 27 = -n for c.
5
Suppose 3*v + p = 11, -9 = 2*v - 3*v - 3*p. Solve 0 = v*x - 7 - 8 for x.
5
Suppose -12 = 3*z, 0 = 3*m - 3*z + z - 14. Solve -5*b = -m*b for b.
0
Suppose w + 2*w = 0. Solve -5*b = -w*b for b.
0
Let f(d) = 8*d + 8 + d**2 + 0*d**2 + 