 u.
1
Let n(k) = k + 8. Let o be n(-4). Let h = 36 + -4. Suppose -3*i + 3*j + h = -2*i, 18 = i + 4*j. Solve o*z - 10 = -i for z.
-4
Suppose -44 = -3*t - t - 4*h, -3*t - 5*h + 31 = 0. Let n be 4/6 - 8/t. Let a be (-1*3)/(-1 - 0). Solve -a = -n*r - r for r.
3
Let j = -83 - -89. Solve 2*x + j + 4 = 0 for x.
-5
Suppose -3*p = -14 - 4. Suppose 4*f = -2*b - 0*f + 10, 0 = -4*f. Let j = b - 3. Solve -m = -p + j for m.
4
Let c be 3 - (-9)/7 - 2/7. Let a(y) = -y - 1. Let i be a(-3). Solve -3*x = -c - i for x.
2
Let i = -31 - -39. Solve -4*f = -i*f + 20 for f.
5
Let a(h) = -h**3 - h**2 + h - 1. Let c be a(1). Let s be 0*c*1/4. Solve -5*j - 12 - 8 = s for j.
-4
Let c(i) = i + 5. Let y be c(5). Let m = -5 + y. Solve -2*z + m = 1 for z.
2
Suppose o - 2*w = -4, 3*o + 5*w = 13 + 8. Solve o*b = -b for b.
0
Suppose 0*u + 5*u = 10. Suppose -2*q + u*v + 6 = 0, -2*q - v = -0*q. Suppose -i = -4 + q. Solve i*a = -0 + 6 for a.
2
Let p be 18/(-45) + 34/10. Suppose -5*t = -0*b + 3*b + 5, 4*t + 3*b + 7 = 0. Suppose -p = -5*h + t. Solve -h = -3*z - 10 for z.
-3
Let a(d) = -2*d + 1. Let t be a(-2). Let j = -3 + t. Solve -j*i + 3*i = 1 for i.
1
Suppose 55 = 5*j - 65. Let p = -17 + j. Solve -p - 8 = 5*b for b.
-3
Let m be (-111)/(-6) + 5/10. Solve -3 + m = 4*w for w.
4
Let z = 3 + 5. Let w = 11 - z. Solve -13 = -w*t - 4 for t.
3
Let h = 8 - 6. Solve h*j = 2 + 4 for j.
3
Suppose 0 = 2*p - 4 - 0. Suppose 4*c + 0*u - 3*u - 1 = 0, 28 = p*c + 4*u. Suppose -c*t - 8 = -52. Solve -2*f + 1 = t for f.
-5
Let i(x) = 2*x**3 - 6*x**2 + 7*x - 1. Let r be i(2). Solve 6*u = r*u for u.
0
Suppose -3*m + 2 = c, -3*m = 3*c - 4 - 8. Suppose -c*a = -2*h + 6, 4*a - h + 0 = -3. Suppose 2*o - 6 = -0. Solve -o = -a*r - r for r.
3
Let d(l) = l**3 - 2*l - 1. Let b be d(2). Suppose -3*y = 3 - 12. Solve b + 6 = y*t for t.
3
Let s(d) = -d**3 - 3*d**2 - 2*d - 3. Let w be (-102)/(-4) - 4/8. Suppose -3*h = -3*j - 6, 5*h - j + 3*j + w = 0. Let c be s(h). Solve -1 - c = -v for v.
4
Let j(p) = -p**2 - 11*p + 13. Let x be j(-12). Suppose 3*c + x = 4. Suppose -7*n + 15 = -2*n - 4*q, 2*q - 12 = -4*n. Solve n = i + c for i.
2
Let f be (-4)/1*(-1 + 0). Let x be (-60)/(-27) + (-4)/18. Let s = x + 2. Solve 0 = 3*q - f*q - s for q.
-4
Suppose 0 = 3*q - 13 - 5. Suppose l - 2*n = q, 0*n + n = 0. Solve a + 25 = l*a for a.
5
Let d(r) = r**2 - 11*r + 10. Let c be d(10). Solve 5*n = -c*n - 20 for n.
-4
Let w(s) = s**2 - s + 7. Let u be w(0). Solve -u*a + 2*a = 0 for a.
0
Suppose 0 = -3*n - n + 16. Let b = n - 4. Solve b*q - 3 = -q for q.
3
Suppose -d - 10 = -3*i, 2*i - 4*d = 6*i - 8. Let x be (3 - 2)/1*1. Solve -i - x = 4*f for f.
-1
Suppose -16*a + 18*a - 4 = 0. Solve -3 = -a*z + 5 for z.
4
Suppose 0 = -3*p - 5 - 1. Let o = 7 - p. Solve 0*k = -3*k - o for k.
-3
Let d be (0 + -1)/(2/(-6)). Suppose 0 = 8*v - d*v - 20. Solve 1 + 3 = v*a for a.
1
Let y(v) = -v**2 - 5*v - 2. Let p be y(-3). Let n be -15*3/((-9)/1). Solve p*r = -n + 1 for r.
-1
Let y be (-4)/(-3) + (-6)/(-9). Suppose c - y*c = -8. Solve 0 = -5*i - c - 2 for i.
-2
Let p(z) = z**3 + 13*z**2 + 10*z - 16. Let m be p(-12). Let d = 11 - m. Solve -d*u = -2*u - 2 for u.
2
Let u be (16/(-24))/(2/(-3)). Solve -g = 2 - u for g.
-1
Let w(l) = 3*l. Let b be w(1). Suppose 5*n = -r + 13, 20 = -4*r + n + b*n. Let p = 4 + r. Solve -t + p = -2 for t.
4
Let p = -6 + 15. Let j be 0/((-1)/((-2)/2)). Suppose -2*f + p - 1 = j. Solve 4*k - 4 = f for k.
2
Let a be 0 + 0 - (-1 + 1). Let q be 10 + -3 + (-2 - a). Suppose -2*t + t = -2. Solve q*c = t*c + 12 for c.
4
Suppose -q = 3*f - 14, -3*f - 5*q - 6 = -7*f. Solve 12*n - 8*n - f = 0 for n.
1
Let r(y) = -13*y + 54. Let k be r(4). Solve k*n + 3 = -3 for n.
-3
Let b = -1 - -4. Suppose -3*o - 5 + 18 = -5*w, -2*w - 5 = -o. Let f be o*(-2 + (3 - 1)). Solve f = b*r + 2*r + 15 for r.
-3
Let y(d) be the third derivative of d**5/60 - 7*d**4/24 + d**3/2 + 3*d**2. Let v be y(7). Solve -v*m = -0*m + 3 for m.
-1
Suppose -3*k - 2*g + 0*g + 1 = 0, 2*k = 5*g + 26. Suppose 0 = k*z - 6*z + 9. Suppose 2*f = z*f. Solve -5*l = -f*l - 25 for l.
5
Let m = -97 + 100. Solve -z + m*z - 6 = 0 for z.
3
Suppose -4*p - 11 = -3*k, 3*k + 3*p = -1 + 19. Let b = 8 - k. Solve -h - b = -4 for h.
1
Let k = 2 + -1. Suppose 0 = -4*s + k + 3. Suppose 5*j + 14 = 4, 2*j = 3*z - 16. Solve -z*t - 3 = s for t.
-1
Let p(u) be the first derivative of 2*u**3/3 - 2*u**2 + 3*u - 4. Let f be p(2). Let l = 2 - 0. Solve -j + l*j = -f for j.
-3
Let s = 33 - 23. Suppose 0 = -4*p - 2 + s. Let b = -17 - -25. Solve b = 3*i + p for i.
2
Let x = -8 - -11. Suppose -4*q + 3*q = -4. Suppose -5 = -q*l - l. Solve -l = v - x for v.
2
Suppose -8 = 2*x, 0 = -4*r + 5*r - 3*x - 22. Solve 5*z + 0 + r = 0 for z.
-2
Let l = 3 - 3. Suppose 3*o + 2*r - 18 - 22 = l, r = 2*o - 15. Let g be (-1)/(18/o + -2). Solve g*m - 2*m = 0 for m.
0
Suppose 6*w + x - 18 = 3*w, 5*w - 26 = -3*x. Suppose -3*c = -w + 1. Solve -6*j + c*j + 20 = 0 for j.
5
Suppose 100 = k + 9*k. Solve 3*o = o - k for o.
-5
Suppose 5 + 5 = 2*m. Solve 0 = -v + m*v + 8 for v.
-2
Let p = 1 - -2. Suppose -7*o = -2*o. Solve -p*x - x = o for x.
0
Let j = 20 + -8. Let c(y) = y + 2. Let s be c(2). Suppose d = s*d - j. Solve 10 + 2 = -d*f for f.
-3
Suppose 2*h = 5*h - 3. Let z = h + 2. Suppose -z*q + 2*c + 10 = -q, 4*c + 13 = 3*q. Solve -n - q = -2 for n.
-5
Let y be 2 + (-1 - 6/(-3)). Suppose 6 - 3 = y*z. Suppose 0 = 4*q - z - 3. Solve -u + q = -0*u for u.
1
Suppose 0 = 3*s + 1 - 19. Let n = 10 - 20. Let y be ((-8)/n)/((-6)/(-15)). Solve -s = 4*c - y for c.
-1
Suppose -d + 2*c = 2, 3*d + 3*c = 8*c - 2. Solve 21 = -5*h + d for h.
-3
Let z be (12 + -7)/(1 + 0). Solve z*b = 3 - 13 for b.
-2
Let u(f) = -f**2 - 2*f + 15. Let b be u(0). Solve 0 = -4*j - j - b for j.
-3
Let b(p) = -2*p**3 + p**2 + 2. Let x be b(-2). Solve -3 = -5*j + x for j.
5
Suppose 4*n - 33 = n. Solve -n = 4*k + 5 for k.
-4
Let b = -25 + 41. Suppose 0*k + 4*k = b. Solve -2*v - 2*v = k for v.
-1
Let h(p) = -2*p + 8. Let z be h(-6). Solve -4*t + z = t for t.
4
Suppose -3*l = -l + 88. Let o(q) = 30*q + 2. Let r be o(2). Let g = l + r. Solve 4*m + g = 2 for m.
-4
Let w = -29 - -32. Solve -w*d = d for d.
0
Let j be ((-28)/21)/(-2)*(-30)/(-4). Solve j*n + 0*n - 5 = 0 for n.
1
Suppose -2*g = 4*p, -g + 8 = -3*g. Solve p = -q + 4 for q.
2
Let n(f) = -f**3 + 2*f**2 + f + 10. Let i be n(3). Let a(q) = q + 6. Let d be a(-6). Solve -i*j + j + 3 = d for j.
1
Let v(p) = p**3 - 5*p**2 + p - 3. Let n be v(5). Suppose 0 = -n*z + 4*z - 14. Solve 2 - z = -r for r.
5
Let r(i) = i - 8. Let v(x) = 2*x. Let n be v(6). Suppose -4*b + l + 60 = n, -4*l = b + 5. Let z be r(b). Solve z + 1 = -d for d.
-4
Let f = -45 - -53. Solve 4*j + f = 6*j for j.
4
Suppose -5*y + 4*y = -3. Suppose 3*o = 2*a + 3, -4*a + 3*o + 2*o - 5 = 0. Suppose -m - y*m = a. Solve 0 = f - m - 2 for f.
2
Let r(v) = -v**3 - 5*v**2 + 6*v. Let u = 6 + -12. Let h be r(u). Solve h = 2*x - 6*x for x.
0
Let t(b) = b**2 - 7*b. Let s be t(8). Solve 3*o - s = 5*o for o.
-4
Let b(l) = -l**3 + 5*l**2 + 12*l + 17. Let j be b(7). Solve -4*v = -3*v + j for v.
-3
Let k(o) = -o**3 - o**2 + 16. Let q be k(0). Suppose 4 + q = 5*y. Suppose 5*w + 5 = 0, -7 = -f + 2*w + 3*w. Solve f*b + y = -6 for b.
-5
Let c be ((-70)/15)/(-7)*9. Solve -u = -c*u for u.
0
Let l(b) be the first derivative of -1/2*b**2 + 10*b + 7/3*b**3 + 3 - 1/4*b**4. Let m be l(7). Solve -m*r + 3 = 12 for r.
-3
Let y be (-6)/4*(-16)/12. Suppose d = -q - 3, 2*d = -y - 4. Solve 3*h + q*h = 6 for h.
2
Suppose 10*z = 5*d + 5*z + 25, 0 = -5*d - 3*z + 15. Solve -s = 5 - d for s.
-5
Suppose m - 6 = 2. Let o be (4 - m)/(-2 - -1). Let q(t) = -t**2 - 9*t - 4. Let j be q(-8). Solve -o - 4 = j*l for l.
-2
Suppose -u = -4*z + 8, -11 + 1 = -5*z - 5*u. Suppose 1 = z*x - 5. Solve 0 = -5*q + x + 7 for q.
2
Let v(q) = q - 2. Let j be v(6). Let z be 6/j*16/6. Solve 0 = -z*r + 10 + 10 for r.
5
Suppose 5*z - 2*x = -x + 5, 3 = 3*z - 2*x. Solve -2*k + 3*k = z for k.
1
Let d = -14 - -18. Solve -2*k + d = -4 for k.
4
Let p be (-250)/(-90) - (-4)/18. Solve p*i + 3 = 6 for i.
1
Suppose 0*y - 18 = y + 5*s, 0 = 3*y + 2*s + 2. Suppose -2*l = -4*x + 6, -6 = -l - y*x - 1. Let t be (-2)/(-6)*(1 - l). Solve -h - h - 2 = t for h.
-1
Let r(q) = q**2 - 21*q + 23. Let u be r(20). Solve -2*h - u*h = -25 for h.
5
Suppose -2*o = -w - 20, 30 = 3