or v.
5
Let x = 88 + -88. Solve x = -w + 6*w + 5 for w.
-1
Let l(x) = x**2 - x. Let z be l(0). Let u = 2 + z. Solve f - u = 1 for f.
3
Let l = -17 - -56. Suppose l = t - 1. Suppose 0 = s + 5*b - 26, 3*s + 5*b + 2 = t. Solve 0 = -0*n - 2*n - s for n.
-3
Suppose 0 = -5*n - 5, 3*l + 2*n = 6 - 2. Solve l*x = -x for x.
0
Let w(k) = k**2 + 10*k + 5. Let z be w(-8). Let g = -11 - z. Solve g = -3*t - 5 - 7 for t.
-4
Let d(j) = j**3 - 5*j**2 + j + 2. Let t be d(5). Suppose t + 25 = 4*o. Suppose -4*f = -3*f - 23. Solve 3*s + o = f for s.
5
Let g be 7/1 - 9/3. Let n(z) = -z**3 - 8*z**2 - 9*z + 1. Let q be n(-7). Solve -g*t = -t + q for t.
-5
Suppose 2 = -b - 6. Let j be -1*(-5)/((-20)/b). Solve j*t + 1 = 3*t for t.
1
Let q = 7 + -14. Let d be (-4)/(-2) - (q + 7). Solve 0 = -d*v - v + 15 for v.
5
Suppose 0*t - t = 0. Suppose f = -t*f. Let l = f + 2. Solve 2*s - l = 8 for s.
5
Let c = 4 - -1. Suppose -c*o - 37 = -2. Let d be (-10)/35 + (-44)/o. Solve -d*t + t - 20 = 0 for t.
-4
Let r(k) = 2*k**3 + 0 - k**3 - 1 - 4*k**2 - 5*k**2 + 8*k. Let o be r(8). Let s be (-6 + 3)*(o + 0). Solve -1 - s = -q for q.
4
Let h(w) be the second derivative of -2*w**3/3 - w**2/2 - 3*w. Let m be h(-1). Suppose 4*p = -m*d + 20, -d - 3*p + 2*p + 5 = 0. Solve d*o = 4*o + 12 for o.
-3
Suppose -20 = -4*q + 5*q - 4*y, -5*q + 2*y = 10. Suppose q = -3*j - 0 + 33. Let w = 2 - -1. Solve w*i + 1 = -j for i.
-4
Suppose 0*j = 5*j. Let u = 16 - 16. Solve u = 2*h - j + 4 for h.
-2
Let h = 3 - 1. Suppose 16 = 4*v, 0*l - 5*v + 32 = l. Suppose l = 2*z + z. Solve h*m = m - z for m.
-4
Let x = -17 - -21. Solve -x*a = a - 25 for a.
5
Let o be 4 - (2/6)/(3/9). Solve x = -8 + o for x.
-5
Let f be 1/2 + (-4)/(1 + 7). Solve 5*n + 0*n + 15 = f for n.
-3
Suppose 3*w = 172 - 160. Solve -w*f = -3*f for f.
0
Let n be (35/30)/((-1)/(-6)). Solve n - 1 = -3*m for m.
-2
Suppose 5*m = 2*s + 23, -8 + 30 = -3*s + 5*m. Suppose -2 = -y + 3*y. Let j = y + s. Solve j*p = 2*p + 8 for p.
-4
Let k = 11 - 7. Suppose 3*a + 123 - 150 = 0. Solve -a = -k*p + 3 for p.
3
Let r(b) = 2*b + 3 - 3 - 3. Let l be r(2). Let p be (-2)/(l + -3) - -3. Solve 0 = -p*s - 3 + 15 for s.
3
Let l be ((-8)/14)/(34/(-119)). Solve o - 4 = -l for o.
2
Suppose t = -13 + 17. Solve -6 = -t*h - 2 for h.
1
Let n be 1*4/6*9. Suppose 4*f = -n + 22. Solve -f*z = 5 - 17 for z.
3
Let b be ((-1)/(-3))/(3*(-4)/(-720)). Solve -3*l + b = 2*l for l.
4
Let u(j) = j - 3. Let q(f) = 2*f**2 + 5*f + 2. Let l be q(-3). Let x be u(l). Solve b + x*b = -9 for b.
-3
Let c = 51 + -48. Solve c*j - 5*j - 8 = 0 for j.
-4
Let w(j) = j - 8. Let y be ((-1)/(1/13))/(-1). Let k be w(y). Let l be 58/8 + (-1)/4. Solve -k = -2*f + l*f for f.
-1
Suppose 0 = -0*j + 2*j. Let p be -5*(j + (-12)/15). Suppose 0 = -p*z - 0*z. Solve z*q - 25 = -5*q for q.
5
Let u = -42 + 42. Solve -g + 1 - 5 = u for g.
-4
Let r be (14 + -6)*(2 + 0 + -1). Solve -3*a + 20 = -r*a for a.
-4
Let m be (-3)/15 - (-41)/5. Let h be 34/m + 3/(-12). Solve 3*k + h = -2 for k.
-2
Suppose 0 = 2*i, 0 = -4*k - 0*i + 3*i + 8. Solve 0 = 3*t - k + 11 for t.
-3
Suppose 2*g = -2*j + 2, -j + 3*g = -5*j + 7. Let c = 3 - 1. Suppose c*z - 8 = 10. Solve 7 + z = j*x for x.
4
Let k(a) = 2*a - 1. Let p be k(-2). Let b = 4 - p. Solve 5*c + b = -1 for c.
-2
Let x be 45/6*20/25. Solve 0 = -3*t + x*t for t.
0
Let u be 23/4 + (-2)/(-8). Let a(z) = 1 + 3 + 7*z - u - z**2. Let w be a(3). Solve 0 = 3*o + 2*o + w for o.
-2
Let n be (-12)/(-9) + 15/9. Let t = -3 - -1. Let q be (t/(-2))/((-1)/(-2)). Solve -n*r = q*r for r.
0
Let k = -20 + 26. Suppose -3*d = 4*i + k, -i + 2*d + 4 = 2*i. Solve i = -g - 2 + 3 for g.
1
Let w(l) = l + 2. Let h be w(10). Let j(n) be the second derivative of -n**4/12 + n**3 - 2*n**2 + n. Let a be j(4). Solve -h = a*y - 0 for y.
-3
Let k = 4 - 14. Let z be k/(-1) + (-1 - 1). Let n be 2/3 - z/(-6). Solve n*p = -3*p for p.
0
Let j = -11 - -6. Let r(d) = -2*d**2 - 15*d - 8. Let i(p) = p**2 + 7*p + 4. Let s(t) = j*i(t) - 2*r(t). Let m be s(-4). Solve m*z + z = 2 for z.
2
Suppose 5*b = 3*u + 25, 5*b + u - 20 = 5*u. Solve -4*o + b*o = -12 for o.
-3
Let c be (-24)/36 + (-20)/(-3). Let x = 13 - 11. Solve -c + x = m for m.
-4
Let i(s) = s**3 - 8*s**2 - 2*s + 9. Let u be i(8). Let o be (-2)/u + 12/7. Solve -o*k + 5 = -1 for k.
3
Suppose 1 = 2*l - 7. Suppose 2*u + 0*v + 6 = -l*v, -5*u = v + 33. Let q = 9 + u. Solve 3*d - 10 = -q*d for d.
2
Let s be ((-10)/(-3))/(2/3). Let j = s + -3. Suppose -2*b - 86 = -4*o, -2*b = j*o - 5*b - 45. Solve -3*c = -6 + o for c.
-5
Let u be (-2)/2*(-2 - 0). Let y(g) = -3 + 0*g - 2*g + 5*g. Let j be y(2). Solve -k - u*k = j for k.
-1
Suppose -3*c + 62 = 2*n, -5*c - 53 + 173 = 4*n. Suppose 4*m = -m + n. Let g(a) = a**2 - 5*a + 3. Let w be g(m). Solve -5*y = -w*y for y.
0
Suppose 22 = 5*y - 23. Let u be 1 - 2*3/(-2). Solve -u*x + x - y = 0 for x.
-3
Let q(c) = 3*c - 17. Let k be q(7). Solve -8 - 8 = k*u for u.
-4
Suppose -3*o - 30 = -8*o. Let v = o + -4. Suppose 0 = q - v*q. Solve -c + 0 - 3 = q for c.
-3
Suppose w + 4*w + 3*x = -97, 2*w = 2*x - 42. Let d be 4/w + 273/15. Solve 8 = 5*s + d for s.
-2
Suppose 5*p + 60 = 5*n, -2*p - 3*p + 20 = 5*n. Solve -o = 3*o + n for o.
-2
Let r be (0 + 5)*8/10. Suppose -3*o = 2*o + 4*x - 26, x = -r*o + 12. Solve o*t = -2 + 8 for t.
3
Let c be (-4)/(-26) - 12/78. Solve c*m = 2*m - 2 for m.
1
Suppose -3*x + 15 = -3*r, x - 6*r + 2*r = 5. Solve 0 = -x*t + t for t.
0
Let z(s) be the third derivative of s**6/120 - s**5/60 + s**4/24 + 5*s**3/6 - 2*s**2. Let t be z(0). Suppose t*i - 9 = 11. Solve -20 = -i*q - 0*q for q.
5
Suppose -18*s + 14*s = 0. Solve d = 2 - s for d.
2
Suppose -3*q - 2*q = 0. Solve q = d - 2 for d.
2
Suppose 3*u = 4*h - 23, 1 + 7 = -h - 2*u. Let w = -4 - -17. Suppose f + 0*j = h*j + 7, 3*j = 2*f - w. Solve 2*d - d - f = 0 for d.
5
Suppose 2*v = -4*o - 22, 0*o + 4*v - 11 = 3*o. Let l be (-2)/o + 8/5. Solve 10 = 3*j - l for j.
4
Suppose -u = 0, -2*u + 0*u - 75 = -5*y. Let k = y - 12. Solve -6 + 18 = k*b for b.
4
Suppose -6*h + 2 = -8*h. Let v be 2*((-5)/(-2) - 1). Let y = h + v. Solve y*l - 2 = 4*l for l.
-1
Let t = 4 + -3. Let c = -1 + t. Suppose j = -2, 2*p + 0 = -5*j - 2. Solve p*k = -c - 4 for k.
-1
Suppose 0*y - 10 = -5*y. Solve 17 = 5*j + y for j.
3
Suppose -10 = -p + 5*b, -3*p = 2*p - 4*b - 29. Solve c - 12 = p*c for c.
-3
Let d be ((-2)/4)/((-1)/12) + -2. Solve -3*c + 5*c = d for c.
2
Suppose 5*y - 7 - 23 = 0. Suppose 0 = 2*c + c - y. Suppose -2*h = c*h - 12. Solve h = -2*t + 13 for t.
5
Suppose 4*b - 2*t = 3 + 5, t - 8 = -2*b. Solve -w + b = -0 for w.
3
Let x = 5 + -3. Suppose -2*g = x*g. Solve g = -3*c - 0 + 9 for c.
3
Let t(z) = z - 8. Let k be t(-6). Let y be k/(-10) - (-4)/(-10). Let v be y + (0 - 1) + 2. Solve 0 = -v*a - 0*a - 2 for a.
-1
Let a = -11 - -15. Suppose -3*n + 14 = s, -a*s + 0*s = 2*n - 16. Let d(l) = l**2 - 4. Let h be d(-3). Solve s*p + 6 = h*p for p.
2
Let i be (-3)/(-18) + (-94)/(-12). Solve 7*a - 5*a = i for a.
4
Let t = -2 - -8. Suppose 0*l - l = 3*i - 9, l + 2*i = 11. Solve l = t*w - w for w.
3
Let o be (4/5)/(4/10). Solve 0 = o*l + l for l.
0
Suppose 0 = p + 3*p - 12. Suppose 26 - 8 = p*f. Solve c = f - 2 for c.
4
Suppose -2*i + 3*r - 14 + 5 = 0, i - 6 = -2*r. Solve -4*b + 2*b = i for b.
0
Suppose 6*y - 2*y = 0. Solve -2*n + 0*n = y for n.
0
Suppose 4*f + f + 60 = 0. Let b be 1*f*1/(-2). Suppose -5*x + d = -3*d + b, 4*x + 8 = 4*d. Solve 0 = u + x + 2 for u.
-4
Let l(d) = d**3 + 9*d**2 + 2*d + 12. Let i be l(-9). Let c be 64/6 + 4/i. Suppose 0 = -3*o - 2*o + c. Solve 3 = 5*s - o for s.
1
Let n = -427 - -793. Let z be n/15 + 4/(-10). Let v be (z/20)/((-2)/(-10)). Solve w + v = -w for w.
-3
Suppose -n + 3*h + 6 = -1, -h + 6 = -2*n. Let v(u) = u**3 + 5*u**2 - 6*u - 5. Let z be v(n). Solve k + z = 6*k for k.
5
Suppose g - 3*l = 6*g - 50, -3*l = -4*g + 13. Solve -11 + g = -f for f.
4
Suppose 4*x - a - 47 = 0, -3*x + 40 = 6*a - 2*a. Solve -x = -5*n + 2*n for n.
4
Let k(n) = 2*n**2 + 4*n + 6. Let m be k(-4). Suppose -2*t + 4 = -m. Let r be (t/3 + -2)*3. Solve 0 = -r*o + 4*o for o.
0
Let q(d) = -d - 6. Let l be q(-6). Solve i + i - 8 = l for i.
4
Let a be ((-78)/4)/((-3)/4). Let u(m) = -3*m + 7. Let k be u(1). Let w(h) = -3*h. Let v be w(-2). Solve -k*g - v = -a for g.
5
Suppose -2*w + 3*y = 6*y - 11, -7 = -w - 3*y. Solve -w*h + 15 =