 x.
2
Let p = 32 - -18. Suppose 0 = -6*v + p - 32. Solve -2*c + 1 = -v for c.
2
Suppose -4*u + 3*p + 3 = 6, 0 = 5*u - 3*p. Let t = -56 + 60. Suppose 4 = t*i - 2*i. Solve u*z = -4 - i for z.
-2
Let l(j) = 4*j - 5. Let w be l(2). Suppose 5*q - 2*q + 3*g = -3, -w*q + 5 = -5*g. Solve -5*n - 11 - 4 = q for n.
-3
Let m be 39/9 + (-2)/6. Let s be 5/2*(6 + -2). Solve -2*x + m*x - s = 0 for x.
5
Suppose 52*n - 60*n + 32 = 0. Solve 0 = -3*l + n*l - 3 for l.
3
Suppose 4*q = 5*x + 204, 4*x - 17 = -1. Let k = q - 36. Solve v = -3*v + k for v.
5
Let c(s) = -s - 27. Let o(t) = -9*t - 297. Let u(d) = -45*c(d) + 4*o(d). Let f be u(-3). Solve b - 4*b - 12 = f for b.
-4
Let c = -37 + -42. Let p be 8/32 - c/4. Suppose -d + p = 4*d. Solve 4*b - d - 8 = 0 for b.
3
Suppose 13*w - 36 = 3. Solve 13 - 28 = w*m for m.
-5
Let g(w) = w**3 + 3*w**2 - 9*w + 9. Let p be g(-5). Suppose -37 = -5*d - 3*t, 4*t = p*d + 2 - 6. Solve -2*x - d - 1 = 0 for x.
-3
Let u = -10 + 14. Suppose -i - u = 0, -i = -2*p - 0*p + 16. Solve 0 = 2*j - p*j + 16 for j.
4
Let x be ((-2)/4)/(185/60 - 3). Let c be (x/12 - 11/(-2))/1. Solve 0 = -c*d - 15 for d.
-3
Suppose 0 = -22*h + 18*h + 12. Suppose 7*u - 3*u - 1 = 5*b, 0 = -2*b + 6. Suppose 2*f + 4 = u*k - 10, -13 = 2*k + h*f. Solve 5*j = -4 - k for j.
-1
Suppose -3*c = 10*c - 26. Let t be ((-1)/(-1))/(5/20). Let l be (t/(-6) - 0)*-3. Solve c*n + l*n = 0 for n.
0
Suppose g - 2*g + 3 = -m, m - 3*g = -13. Suppose 0 = -4*x + 6 + m. Suppose 4*s = x*s. Solve s*p = 4*p for p.
0
Let h be 8/(-2)*(-388)/80*-5. Let x = 102 + h. Solve -x*s + 4 = 24 for s.
-4
Suppose 5*s = 4*s - 5. Let o = -2 - 3. Let x = s - o. Solve 0 = -3*v - x*v for v.
0
Let h = -565 + 573. Solve -3*t = -7*t - h for t.
-2
Let n(u) = u**2 + 8*u + 1. Let t be n(-8). Solve 34*j = 33*j - t for j.
-1
Suppose -8 = 39*u - 43*u. Solve -10 = -u*r - 8 for r.
1
Suppose -10 = -3*t - 1. Let k(f) = -t*f + 4*f + 10 - 2*f + 2*f. Let p be k(-7). Solve p*x = x for x.
0
Let b(o) = -2*o - 6*o + 1 - o + 8*o. Let i(g) = -2*g - 13. Let w(x) = 2*b(x) + i(x). Let p be w(-4). Solve 0 = -p*j - 0*j for j.
0
Let l(t) = t**3 + 5*t**2 + 3. Let k be l(-5). Let p = -26 + 27. Let r be ((p - -1) + 1)/k. Solve j - r - 1 = 0 for j.
2
Let t be (4 - 0) + 44/44. Solve -8 = -t*h + 2 for h.
2
Let i be 0*(3/(-9))/(-1). Suppose 0 = 2*x - i*x. Let a(q) = -2*q + 13. Let g be a(5). Solve g*b - 3 = -x*b for b.
1
Let z(q) be the second derivative of q**4/2 - 2*q**3/3 + q**2 + 12*q. Let b be z(1). Solve b*m - 2*m = -4 for m.
-2
Let j = 461 - 459. Solve j*a = 10*a + 8 for a.
-1
Let x = -32 + 38. Suppose b - x - 5 = 0. Solve -b = -3*y - 2 for y.
3
Let o(f) = -2*f**2 + 10*f + 13. Suppose -5*x - 2*a + 3*a = -35, -4*x + 5*a + 49 = 0. Let i be o(x). Let y be (1 + 1)*(-1)/(-1). Solve y*c = i - 3 for c.
-1
Let i be (-3)/12 - (2 + (-358)/(-8)). Let z = i + 47. Solve z = -2*s - 0*s for s.
0
Let m be (-90)/60*(-8)/3. Let h be -1*1*(-1 - 0). Let y = 1 - h. Solve m = b - y for b.
4
Let c(z) = -z - 2. Let w(b) = -b**3 - 8*b**2 - 6*b + 5. Let v be w(-7). Let u be c(v). Suppose -2*n + n + 2 = u. Solve -n*j = -j - 4 for j.
4
Suppose 3*v - 9 = 3*p, 3*p + 12 - 3 = 5*v. Let m(f) = f**2 - 4*f - 8. Let d be m(6). Solve v = -0*h - 4*h - d for h.
-1
Let f(k) be the third derivative of k**6/120 + k**5/10 + 5*k**4/24 + 10*k**2. Let u be 2/(-1) + -4 - -1. Let m be f(u). Solve m = -0*z + z - 4 for z.
4
Let p(c) = 5*c - 98. Let h be p(22). Solve 7*f + h = 3*f for f.
-3
Let o(n) be the first derivative of -n - 2/3*n**3 - 13/2*n**2 + 7. Let k be o(-6). Solve k*x + 1 + 4 = 0 for x.
-1
Suppose -2*d - 14 = -p, -3*p + 2 = 4*d + 10. Let t = p + 11. Let z = -15 + t. Solve -r + 1 + 4 = z for r.
5
Suppose 0*c - 14 = -7*c. Suppose -7*w + 15 = -c*w, -5*m + 2*w = -19. Solve -2*y - 1 = m for y.
-3
Let i = 189 - 172. Solve -15*c - 2 = -i*c for c.
1
Let i(z) = -z**3 - z**2 + z - 1. Let q be i(0). Let k = -93 - -90. Let t be (-1)/(q/((-9)/k)). Solve 0 = -0*c + t*c + 15 for c.
-5
Let z be (-2 - (0 - 2))/(42 - 41). Solve -3*u + 4*u - 5 = z for u.
5
Let t be (-14)/(-2) - (-120 - -34). Solve 98*j = t*j + 25 for j.
5
Let y(s) = s**3 - 18*s**2 - 20*s + 21. Let f = 48 - 29. Let i be y(f). Suppose 2*n + i = -2*a, 8*n + 3*a = 3*n + 1. Solve -4*h = -n*h + 4 for h.
-2
Suppose l - 7*l = -90. Suppose 4*u - 4 = -4*s, 3*s = -2*s + 5*u + l. Suppose -3*g + 33 = g - 5*a, s*a = -10. Solve 0 = -3*t + g*t for t.
0
Let h be (9/6)/(3/50). Suppose -10 = 4*j + 5*u, -4*u = -3*j + u - h. Let y be (0 + 0)/(-7 - j). Solve y = -5*w - 21 + 1 for w.
-4
Let t be ((-11)/2 + 1)*32/(-72). Let k be (-7 + 5)/(3/((-15)/t)). Solve -k = -3*l - 2 for l.
1
Suppose -2*y - 9 = -5*y. Suppose y*v - 1 = 2*v. Suppose -5*q = -27 + 2. Solve q*l + v = 21 for l.
4
Let c = -9 - 27. Let q = c + 40. Solve -u = q*u for u.
0
Suppose 2*z + 4 = 5*n, -3*z - 3*n + 12 = -3. Solve z*p + 0 = -6 for p.
-2
Suppose 5*x - 16 = 4. Suppose x*z = 9*z + 20. Let y be z + 9 + -1 + -2. Solve -y = -j - 4 for j.
-2
Let i(a) = a**3 + 10*a**2 + 22*a + 12. Let n be i(-7). Solve -1 = -n*o + 4 for o.
1
Suppose 9*r + 26 = 12*r + 5*n, -3*n = 4*r - 53. Solve 9*z - 40 = r*z for z.
-5
Suppose 0 = x - 2*x + 14. Suppose -9*k + x = -31. Suppose 5*z - 28 = -2*r, 2*z - 4 = r - 0. Solve 1 = r*b + k for b.
-1
Let a = -14 + 26. Let h = -59 + 50. Let s = h + a. Solve -b - 8 = s*b for b.
-2
Let f(c) = -27*c - 2. Let z be f(-1). Let h(q) = -16*q - 1. Let y be h(-1). Suppose s - 6*s + y = 0. Solve z = 2*l + s*l for l.
5
Suppose -10*z = -15*z + 15. Solve -20 = a + z*a for a.
-5
Let m(u) = -u**2 - 12*u + 4. Let t = -30 - -18. Let w be m(t). Suppose 3*d - w = 3*z + 2, 2 = -2*z. Solve f + 3 = -d for f.
-4
Let b(n) = 10*n - 218. Let k be b(22). Solve -k*a - 2*a - 8 = 0 for a.
-2
Suppose -3*y = -5*l + 3, -2*y + 2*l - 26 = -7*y. Suppose -2*d + 3 = -39. Suppose -d*u + 23*u - y = 0. Solve -u*q = -3*q for q.
0
Let x(a) = 10*a + 94. Let u be x(-8). Solve 118*d = 125*d - u for d.
2
Suppose 4*k = 3 + 5. Suppose -2*t = 2*j + 10, -5*t + j = -6 + 1. Solve t = k*b - b for b.
0
Let m(b) = -b**2 + 4*b + 13. Let c be m(6). Solve -4*g - 21 = -c for g.
-5
Let g = -151 - -62. Let p = g + 89. Solve 4*v = 8 - p for v.
2
Suppose 5*j + 5*f = 30, 4*j = -0*j + f + 9. Suppose -3*i - 2*i + 15 = 0. Suppose -n - 6 = 4*w, 5*n - n - 28 = -i*w. Solve -5*p + j*p = -n for p.
5
Let b = 100 + -96. Solve -3*n = -2*n - b for n.
4
Suppose -2*r + 20 = m, -4*r + 8*r = 3*m + 30. Suppose 2*z + 2 - 50 = 0. Solve 3*b = -r + z for b.
5
Let c(v) be the third derivative of -v**4/4 - 9*v**3/2 + 5*v**2. Let y be c(-5). Solve y*u = u + 8 for u.
4
Suppose 60*m - 65*m + 20 = 0. Solve m - 4 = 18*i for i.
0
Let x be (-75)/150 + (-1)/(4/(-34)). Solve -x = -20*r + 18*r for r.
4
Let s = -6 + 13. Suppose -4*h = 2*w + 14, 3*w - w - 16 = 2*h. Suppose 2 = w*f - s. Solve -12 = f*a + a for a.
-3
Suppose 4*z = k + 195, 8*k + 45 = z + 7*k. Solve -z*o = -46*o - 20 for o.
5
Let b = -39 - -73. Suppose 0 = 3*g - r - 2 - 36, r = -3*g + b. Let d be (-120)/g*(-1)/2. Solve 10 = -d*j - 10 for j.
-4
Suppose -5 = 2*x - 3*x. Suppose -x*b + b = 0. Suppose -3*m - j = -6, -m - j = -b*m. Solve -1 = -2*v + m for v.
2
Let t = -1126 + 1136. Let s be 10*1 + 1 + 1. Solve -t*r - 10 = -s*r for r.
5
Let q be (((-288)/(-15))/3)/((-6)/(-15)). Let x be -2 + 60/q - 2/(-8). Solve -x*c = -0*c for c.
0
Suppose 2*p + 15 = 3*j, 2*p + 5*j - 3*j - 10 = 0. Suppose p = -o - 2*o. Suppose -5*s + q = 3*q - 12, -2*s + 24 = -4*q. Solve 2*a + o*a + s = 0 for a.
-2
Suppose -4*u + 2*u + 12 = 0. Suppose r - 3*r = -u*r. Solve -5*n + 11 + 4 = r for n.
3
Let q be ((-126)/168)/((-1)/4). Solve 6*o + q = 3 for o.
0
Let u(k) = k**2 - 15*k - 33. Let i be u(19). Suppose -3*h + 47 = -n, 2*h - 5*h - n = -i. Solve t = -2*t - h for t.
-5
Let l = 30 - 3. Let n = -25 + l. Solve 3 + 5 = -n*p for p.
-4
Let k be (-2 - 38/(-6)) + 2/3. Suppose k*o = -3*j - 12, 4*j + 3*o = 2*o + 1. Solve 9 = -4*b + j for b.
-2
Let a be ((-6)/2)/(1 + (-46)/40). Solve 0 = -0*d - 4*d + a for d.
5
Let u be 18 + 4/(-4) + -2. Suppose -4*i - 20 = -5*d + 167, -3*d = 5*i - 90. Let v be d/(-7)*1*-1. Solve -v = -4*b + u for b.
5
Suppose 0 = 3*k + 2*n - 22, 3*k + 2*n + 2*n - 20 = 0. Solve 7*r = k*r for r.
0
Let j be 115 - 12*26/39. Solve -j*p - 18 = -98*p for p.
-2
Let d be 24/(-14)*(-98)/21. Suppose -18 = -d*w + 5*w. Solve 0*j = 2*j + w for