0 for u.
2
Let p(w) = -w - 1. Let x be p(-6). Suppose -x*q + 3 = -22. Let y be ((-4)/q)/((-2)/5). Solve -2*m = -0*m - y for m.
1
Let p be (-9)/2*(-6)/9. Solve 8*u = 5*u + p for u.
1
Suppose -4*w = -0*z + 5*z - 46, -5*z - 5*w + 50 = 0. Solve -m - m = -z for m.
3
Suppose -4*d - k + 7 = -0, 13 = 5*d - 3*k. Solve -4*l + d + 2 = 0 for l.
1
Let h(g) = g**2 + 5*g - 14. Let m be h(-7). Let a(v) = 3*v**2 + v + v**3 - 4*v**2 - 2*v**3. Let s be a(m). Solve -w + 2*w + 5 = s for w.
-5
Let j(c) = -c**3 - 3. Let s be j(0). Let h be (-35)/(-4) - s/12. Solve 0 = 3*o + 6 + h for o.
-5
Let d(w) = w**3 + 14*w**2 + w + 17. Let n be d(-14). Solve m + n + 0 = 0 for m.
-3
Let m be 4/22 - (-1920)/330. Let b(c) = 2*c - 3. Let q be b(3). Solve q*a - 9 = m*a for a.
-3
Suppose -4*x - t - 4 = 0, -2*x - 3*x - 2*t - 8 = 0. Let j(g) = 5*g**3 - g**2 + g - 1. Let v be j(1). Solve x + 12 = v*m for m.
3
Suppose -2*b + 135 = 39. Let v be b/21 + 2/(-7). Suppose -v = -2*n + 30. Solve -4 = 5*j + n for j.
-4
Let q be 1/(-4) + 39/12. Solve q*d = -0*d for d.
0
Suppose 2*u + 6*s - 26 = s, -u + s = 1. Solve -t + 4 = u*t for t.
1
Suppose 6*x = 5*x + 6. Suppose 4*v - 2 = x. Solve 0 = -w + v + 2 for w.
4
Let g(y) = y**2 - 2*y**2 + 12*y - 12 - 3*y. Let z be g(8). Let v(w) = -w + 1. Let t be v(z). Solve 8 + 12 = -t*m for m.
-4
Let q(l) = -5*l - 18. Let s be q(-4). Solve -1 - 3 = -s*t for t.
2
Let o(i) = i**2 - 6*i. Let k be o(6). Solve 8*n - 4*n - 12 = k for n.
3
Suppose -2*c = -3*c + 4*i + 8, i + 9 = 2*c. Let k be (-2)/12 + (-225)/(-54). Suppose -k*o + 5*o - 3 = 0. Solve -z + o*z = c for z.
2
Let d(c) be the second derivative of c**4/12 + c**3/3 + c**2/2 + 3*c. Let l be d(-4). Solve 7 + l = -4*g for g.
-4
Let s(q) = q + 8. Let z be s(-5). Solve -z*n - 4 = -n for n.
-2
Let k be (-22)/(-77) + (-52)/(-14). Suppose 3*b + b - 29 = -3*h, 0 = 3*h - b - k. Solve 4*p + 3 = h*p for p.
-3
Suppose -2*z + 28 = 5*w - 4*w, -3*w - 24 = -3*z. Solve -5*i + z = 2 for i.
2
Let n(d) = 2*d**2 - 9*d - 18. Let y be n(6). Solve y = o - 3*o for o.
0
Suppose -k = -3*w - 17, -2*w = 2*w + 20. Solve i - k + 1 = 0 for i.
1
Suppose 4*n = -5*v - 61, -2*v + 7*v = -25. Let a = n + 14. Solve -6*f + 1 = -a*f for f.
1
Let t(w) = -w**3 - 9*w**2 - 10*w + 4. Let x be t(-8). Suppose x = -j - 3*l, 3 = -5*j + 4*l - 2. Let n = j + 7. Solve 4*d + n = 2*d for d.
-1
Let s(u) = -u**2 - 9*u - 8. Suppose 3 = 4*i + 15. Let c be i*2/(-3)*-4. Let o be s(c). Solve l - 3 = -o*l for l.
3
Let b be (-1)/(-1)*10/1. Let o = -1 + b. Solve 3*l = 3 - o for l.
-2
Let g(j) = -4*j - 1. Let o be g(-5). Suppose 0*i + 2*x = -5*i + o, -x = -3*i + 7. Solve 4*z - i = 5 for z.
2
Let b be (6/5)/(6/105). Suppose -3*d = 3 - b. Solve d = 2*w + w for w.
2
Let p = -29 - -31. Solve p*a = 3 + 5 for a.
4
Let j be (-6)/8*(96/(-9))/4. Solve 0 = 4*u - 3*u - j for u.
2
Let w(i) = i**3 - 6*i**2 - 7*i + 10. Let n be w(7). Let v(y) = -y + 14. Let k be v(n). Solve k*m + 0*m = 8 for m.
2
Let j = 7 + -3. Let l be (-1)/(j/(-3) + 1). Solve 0 = a + 2 - l for a.
1
Let v(a) be the second derivative of -a**5/20 + a**4/2 + 7*a**3/6 + 4*a**2 - 2*a. Let t be v(7). Solve -3*x = -x - t for x.
4
Let o(j) = 7*j + 0 + 0 - 6 + j**2 + 0. Let m be o(-7). Let t be (2/m)/((-1)/6). Solve b - t*b = 0 for b.
0
Let t be -3 + -2 - (-7 + 7). Let h be 2 - 0/(t + 2). Solve -5*i + h*i = -9 for i.
3
Let h be 4 + (4 - 2) - 1. Solve -h = -5*b + 6*b for b.
-5
Let x(w) = w**2 + 10*w - 1. Let f be x(-8). Let g = -14 - f. Solve g*k = -0*k for k.
0
Suppose 0 = -y - 9. Let s = -5 - y. Solve -8 + 4 = -s*o for o.
1
Let d be (13 - 2/2)*7/7. Solve 0 = -l - 2*l + d for l.
4
Let m = 3 + 2. Let o be (-6 + 5)/((-2)/4). Solve m*b = o*b - 12 for b.
-4
Let o(h) be the second derivative of h**4/3 + h**3/2 - h**2 + 6*h. Let v be o(2). Solve 4*n + 4 = v for n.
4
Let i be (-3)/(-12)*-2*-4. Let q be ((-4)/(-3))/(i/3). Suppose 4*j - q*j = 6, -21 = -5*d - 2*j. Solve -d*h = -6*h + 12 for h.
4
Let b(z) = z**3 + 3*z**2 - 6*z - 4. Suppose -5*w - 2*v = 4, 0 = -2*w - 0*v + 2*v - 10. Let r be (w - -1) + 9/(-3). Let d be b(r). Solve -d*t = -3*t for t.
0
Let r(y) = -y**2 + 8*y - 8. Let j be r(7). Let q be (-3 + 2/(-1))/j. Solve w - q = -4*w for w.
1
Suppose -31 = -4*h + 5*t, -2*h + 21 - 1 = -4*t. Solve 4 = -3*g + h*g for g.
4
Let k be 0*2/6 - -5. Let g = -6 + k. Let d be 1 - 4/(g - 0). Solve -5 = d*u + 20 for u.
-5
Suppose -3*i - 10 = -i, -y + 3*i + 13 = 0. Let z be -16*1/y*2. Solve -6*b + 2*b = z for b.
-4
Suppose -o - 4 = 1. Let i(l) = 0*l - l + 0*l + 0*l. Let g be i(o). Solve 0*u = -g*u for u.
0
Let h be 0*((-10)/6)/5. Solve -3*y + 2*y = h for y.
0
Let s(k) = -k**2 + 5*k - 2. Let g be s(4). Solve 0 = -g*v - 3*v for v.
0
Let r(t) = -t**3 + 4*t**2 - t - 2. Let h be r(4). Let q be (h/4)/(3/16). Let x be (q/(-3))/((-14)/(-105)). Solve 4*y - x = -0 for y.
5
Let r be (-2 - -1)/(2/14). Let y = r - -4. Let s = 8 + y. Solve 10*j - s*j - 10 = 0 for j.
2
Suppose h + 3*p - 16 = -4, -3*h = -3*p + 12. Suppose h = 3*y - 10 - 8. Let z(w) = w**2 + 3. Let d be z(0). Solve y*n - d*n = -12 for n.
-4
Suppose -2*i = 2*t - 2, 0*t = -i + 3*t + 5. Solve n = 2*n + i for n.
-2
Let s(r) = -r**3 + 3*r**2 + r. Let b = 6 + -3. Let n be s(b). Solve d + n = -1 for d.
-4
Suppose -2*p + 4 = -4*p, 0 = i + 3*p. Let b = i + -1. Suppose 3*r + b*h + 9 = 0, -3*h = r + 2*h + 13. Solve s - r = -s for s.
1
Suppose -3*t = t - 8. Let w be (-27)/(-4) - 3/(-12). Solve t*k - w*k + 10 = 0 for k.
2
Let a be (-1)/(0/2 - 1). Suppose 3*x = 37 - 4. Suppose 0 = -12*q + x*q + 1. Solve a = -h - q for h.
-2
Let q = 7 - 7. Suppose -3*u - 27 = -5*k - 5, 5*u + 20 = q. Suppose -12 = -5*v + v. Solve -k*i + i - v = 0 for i.
-3
Let c = 192 - 187. Solve -13 - 2 = c*v for v.
-3
Suppose 3*w + 0*w - 6 = -5*c, -3*w + 4*c = -6. Suppose 3*o - 3 = -w*t, 0*o + 4*t - 3 = -5*o. Solve o = -r - 2*r for r.
-1
Let d be ((-2)/5)/(2/(-20)). Let r(l) = -l**2 - 7*l + 10. Let c be r(-8). Let v = c + -2. Solve -s - s + d = v for s.
2
Let y = 1 - -4. Suppose -d + 33 = 11. Let b be (-6)/33 - (-92)/d. Solve y*u - b = u for u.
1
Let j(d) = -2*d + 23. Let z be j(10). Let g be (1 - 1) + 2 + -1. Solve x = g + z for x.
4
Let d = 11 - 9. Suppose 0*k = -5*y + 4*k + 14, -y + d*k + 4 = 0. Solve 0 = -y*m + 7*m - 10 for m.
2
Let z be (-1 + 5)*3/(-4). Let n(o) = -o**3 + o + 1. Let c be n(2). Let j = z - c. Solve 15 = j*g + g for g.
5
Suppose 9 = 2*b + b. Let g be ((-1)/(-1))/(1/(-2)). Let n be 26/10 - g/5. Solve b*q = 2*q - n for q.
-3
Let v = 2 - -1. Solve -q + v = 6 for q.
-3
Suppose -3*t + 135 = 2*t. Let x = -2 + 9. Solve -4*q + t - x = 0 for q.
5
Suppose -3 = -5*n + 2. Solve 2*a - a + n = 0 for a.
-1
Let m be (2/(-4))/(1/(-6)). Suppose 5*g - 73 = -3*v, v - m*g - 15 = -0*g. Solve -4*x - 5 + v = 0 for x.
4
Let n(k) = k**3 - 4*k**2 + k + 4. Let a be n(4). Let q be 4/(-6)*3 + a. Solve -4*d = q + 6 for d.
-3
Let z be (60/(-75))/((-1)/5). Let r = 7 + -3. Solve z*s - r = 4 for s.
2
Let v = 11 - -9. Solve -2*s = 3*s + v for s.
-4
Let o be 9/2 + 18/(-12). Solve -o*v + 0*v = 6 for v.
-2
Suppose 0 = 5*r - 0*r + 5. Let k = r - -3. Suppose k*n = 3*n. Solve -4 + n = -4*a for a.
1
Let c(p) = -14*p - 12. Let a be c(-4). Suppose -12*g + 10*g = -a. Solve -3*f = 7 - g for f.
5
Let c(q) = -7*q - 23. Let d be c(-4). Solve 0 = v - d*v + 8 for v.
2
Suppose 5*k + 2*w - 4*w + 36 = 0, -5*k - 21 = 3*w. Let o be k*(3/2 - 2). Suppose 3*c - 8 = -5*z, o*c + 24 = z - 2*c. Solve v = -z*v + 20 for v.
4
Let j(p) = -11*p - 1. Let w(b) = -12*b - 1. Let c(m) = 6*j(m) - 5*w(m). Let x be c(-1). Solve 15 - x = 2*s for s.
5
Let a(m) = -m**2 - 7*m + 4. Let j be a(-8). Let z be ((-24)/15)/(j/30). Suppose 0 = 2*b - 6 - z. Solve -5*u + b + 16 = 0 for u.
5
Let z(c) = -c - 8. Let y be z(-8). Suppose 4*g - 8 = -0*g. Solve 0 = -y*m - g*m + 6 for m.
3
Let v(g) = -g**2 + 4*g + 4. Let j be v(0). Solve -5*a - 6 - j = 0 for a.
-2
Let v be 6*(28/(-8) - -4). Solve -v*r = 8 + 4 for r.
-4
Let z(a) = -3*a - 1 + 4*a**2 - 6*a - 3*a**2 - 3. Let m be z(10). Solve m*l - 20 = l for l.
4
Let p = -48 + 50. Solve -p*m = -3*m for m.
0
Let z be -1 + 4/4*0 + 6. Let n = 0 - -5. Solve -n*k = -z - 5 for k.
2
Let r(k) = k**3 - 7*k**2 + k + 6. Let d be r(7). Solve 4*b + d = -3 for b.
-4
Suppose 3 = 3*r - 2*z - 34, 0 = 5*r - 3*z - 60. Suppose 4*f - r = -5*x + 5*f, -5*f + 5 = 0. Solve 0 = x*t + 2 + 2 for t.
-2
L