et x be 4/((-3)/(-3)) + v. Solve -4*f + 3 = x for f.
-1
Let l(o) = -o**3 + 14*o**2 + 15*o + 28. Let j be l(15). Suppose -4*r + 4*h = -j, 2*h = 5*r - 2*h - 32. Solve 4*w = 16 - r for w.
3
Let t be (75/(-10))/((2/4)/(-1)). Suppose 13*d + 24 = t*d. Solve 0 = j - 5*j + d for j.
3
Let u be 2/2 - (8 + -7). Let r be (0 - 13)/(-4 + 3). Suppose r = 2*n + 4*b - 21, -5*n = -3*b - 20. Solve -n*j + 2*j = u for j.
0
Let x(h) = h + 2. Let n(v) = 1 + 19*v - 7 - 21*v - 18. Let t be n(-14). Let w be x(t). Solve -w*d - 10 = -d for d.
-2
Suppose -4*y - 2*t = -24 + 6, 2*y - 5*t = 39. Solve y - 31 = -6*r for r.
4
Let w(d) = -d**2 + 4*d + 10. Let p(k) = -17*k**3 - k**2 + 2*k - 2. Let u be p(1). Let g be 9/u - 22/(-4). Let c be w(g). Solve 1 - c = -2*r for r.
2
Suppose -27 = f - 39. Let i be (4/4)/(((-15)/f)/(-5)). Solve -i*p + 20 = p for p.
4
Let h = -92 - -92. Solve h = 7*c - 12*c + 10 for c.
2
Let x = 130 - 268. Let g = x - -140. Solve u + g*u = -6 for u.
-2
Let x(k) = -k**3 - 14*k**2 + 17*k + 59. Let g = 9 - 24. Let q be x(g). Solve 5*a + 9 = q for a.
4
Let p(d) = 2*d + 2. Let x(b) = 6*b + 7. Let o(h) = -7*p(h) + 2*x(h). Let l be o(-1). Suppose 2*y + c - 2 = 0, y - 2*y - l = -c. Solve z + 2*z = y for z.
0
Suppose 31 = 5*u + 3*j, 5*u = u - 2*j + 24. Solve u*k + 4 = 3*k for k.
-2
Let w(t) = 5*t - 8. Let f be w(2). Suppose 4*b + 4*l = 18 + 2, -2*b - f = -2*l. Solve -2*y + 12 = b*y for y.
3
Suppose 0 = 5*w - 10*w - 345. Let a = -27 - w. Let k be 6/8 - a/56. Solve 2*z - 3*z - 2 = k for z.
-2
Let x(c) = -c**2 + 51*c + 111. Let r be x(-2). Solve r*k = -5*k - 40 for k.
-4
Let g be (-38)/(-361) - (-148)/38. Solve 4*s + 0 = g for s.
1
Let f(j) = j**3 - j - 1. Let k be f(2). Suppose k*s = 3*s. Suppose s = -4*o - 5*m + 11, 0 = o - 5*m - 9. Solve o*b - 2 = 3*b for b.
2
Let h be 0 - (-26 - 2)/2. Suppose -5*n = -3*f - 53, 0*f + 2*f = 2*n - 22. Let y = h - n. Solve -s = -3*s - y for s.
-2
Let p(z) = -21*z + 390. Let m be p(17). Solve 39*x = m*x - 24 for x.
-4
Suppose 2*h = 7 - 25. Let q(m) = 10*m + 10*m + 20 + 7*m - 25*m. Let n be q(h). Solve -n = 5*r - 6*r for r.
2
Suppose -2*p = 2*p - 36. Let y be 8/(-10) + 16/20. Let c = -3 - -6. Solve y*j = c*j - p for j.
3
Let c be (-32)/(0 - 8) + 5. Solve -c*u = -8*u + 2 for u.
-2
Suppose -5*i - 15 = -0*i, -i - 27 = 3*y. Let f = 10 + y. Suppose 2*q - 11 = -3*c, f*q + 3*c + 13 = 6*q. Solve -u + 3*u + q = 0 for u.
-2
Suppose 2*y = 16 - 4. Suppose 5*l + 25 = 5*o, -o - y*l + 2 = -4*l. Solve o*a - 5 = -a for a.
1
Suppose 3*b + 0*b = -5*p + 7, 2*b = -3*p + 4. Let l be (b*12/8)/((-3)/2). Solve 0*t - l = -t for t.
1
Let r = 12 - -6. Let m be (-21 + r)/(6/(-10)). Suppose 2*f + m*v = 32 - 7, 5*v = 2*f + 5. Solve -c = -0 + f for c.
-5
Let p = -503 - -511. Solve p*v = 5*v + 15 for v.
5
Let g = 48 - 10. Let a = -27 + g. Suppose 2*z - a = -1. Solve -2*l = 3*l + z for l.
-1
Let x(c) = -253*c + 253. Let h be x(1). Solve h = 2*i + 6*i - 16 for i.
2
Let m be 6/18 - (-11)/3. Let w be -2 + (-3 - -5 - -3). Let t = 1 + w. Solve -t*s + 0*s = m for s.
-1
Let x(g) = -2*g**2 - 22*g - 2. Let i be x(-11). Let q(d) = -2*d**3 - d**2 + 4*d. Let m be q(i). Solve 0 = l + 6 - m for l.
-2
Let c(t) be the first derivative of -t**3/3 + t**2 + 6*t + 5. Suppose 2*b + n = -2*n + 6, 4*b - 8 = -4*n. Let k be c(b). Solve 1 = -m + k for m.
5
Let y(q) = 19*q - 159. Let g be y(9). Solve 0*t + 3*t - g = 0 for t.
4
Suppose -23*s - 90 = -205. Solve s = 8*t + 29 for t.
-3
Suppose 4*q - 52 = 100. Solve 34*h - q*h + 8 = 0 for h.
2
Suppose 14 = 4*p + 4*b + 2, 5*p = 4*b + 42. Solve -8*k - 30 = -p for k.
-3
Suppose 4*p - 65 = 3*s, -3*p + 0*p = -s - 20. Let b = s - -27. Let z(q) = -q**3 + 5*q**2 - q + 5. Let j be z(5). Solve j = 5*a - b - 1 for a.
1
Let x(j) = 28*j - 217. Let m be x(8). Solve -19 + m = -4*q for q.
3
Let d(a) = 2*a + 8. Let h be d(6). Solve 13*f - 9*f - h = 0 for f.
5
Let s = 199 + -189. Solve -s*x = -5*x for x.
0
Let h(n) = -n**2 - 10*n - 12. Let q be h(-8). Let z be -1*(2 + (-2 - q)). Suppose 9*m = 209 - 74. Solve z*w + m = -1 for w.
-4
Suppose 6*d - 98 = d + 3*u, 2*d - 56 = -3*u. Solve -5*a + d = 32 for a.
-2
Suppose 138*f = 9 - 9. Let n be 0 - -1 - (-1)/1. Suppose 4*v - 31 - 9 = 0. Solve 4*z - n*z - v = f for z.
5
Let k(n) = -6*n + 10. Let r be k(1). Solve 0*c - r*c = -20 for c.
5
Let a be (24/6 - 3)*5. Solve a*p - 1 + 6 = 0 for p.
-1
Let b(x) = x**2 + 5*x + 5. Let p = -7 - -1. Let a be b(p). Suppose 2 = -3*f + a. Solve -f*t = -4*t + 2 for t.
2
Let w(x) = 12*x - 9*x**2 + 14*x**2 - 6*x**2 - 19. Let z be w(10). Suppose -z - 12 = -k. Solve -2*d = -k + 3 for d.
5
Let y(b) = -2*b**2 + 4*b + 8. Let k be y(3). Solve -7 = q - k for q.
-5
Let z(b) = 4*b**2 - 2*b + 1. Let s be z(1). Suppose -6 = -2*g, 2*k - s*g - 13 = -6*g. Solve -10 = -k*q - 0*q for q.
5
Suppose 23 = 3*l + 3*o + 2, -o = -5. Solve 2*c = l + 2 for c.
2
Let n(h) = -55*h**2 + 33*h**2 - h**3 + 33*h**2. Let k be n(11). Solve 0 = u - k - 5 for u.
5
Let s(z) = z**3 - 8*z**2 + 3. Let a be s(8). Solve n = 2*n + a for n.
-3
Let s = 56 + -56. Let y(n) = 8*n + 5. Let c be y(-4). Let a be (-6)/((c/6)/3). Solve s = -v + 2*v - a for v.
4
Let y(w) = -3*w**3 + 3*w**2 + 3*w - 4. Let f(s) = 8*s**3 - 9*s**2 - 10*s + 13. Let v(q) = -2*f(q) - 7*y(q). Let u be v(1). Solve -2*a - u = -5 for a.
1
Suppose -n = 8*n - 1152. Let y = n - 128. Solve 0 = -y*v - 3*v for v.
0
Let g = 7 + -2. Suppose 0 = -g*l - 20, p + 0*l + 16 = -5*l. Solve -n + 3*n = p for n.
2
Suppose 5*w - 155 + 15 = 0. Suppose 2*u + 8 = 2*h, 2*h - 2*u + w = 6*h. Let n be h/(-5)*(-30)/12. Solve -3*y = -0 - n for y.
1
Let d be -1 + 14/2 + (-5 - -22). Solve -17*q + d*q = -30 for q.
-5
Let y = -47 - -82. Let k = y + -32. Solve -n - k*n = 0 for n.
0
Suppose 10*f + 314 = 514. Solve -f*x = -0 + 60 for x.
-3
Suppose 0*v - 126 = 3*v. Let h be (v/(-35))/((-3)/(-10)). Suppose -m = -5*u + h, 4*m - u - 2 = m. Solve 2*c + m - 5 = 0 for c.
2
Let x(h) be the first derivative of -h**3/3 + 19*h**2/2 - 18*h + 12. Let f be x(18). Solve f*j - 8 = -4*j for j.
2
Let w(l) = l**3 - 19*l**2 - 23*l + 66. Let n be w(20). Solve n*g + 4 = -2 for g.
-1
Suppose -g + 9 = 2*n, -n = n - 4*g - 34. Let k = -5 + n. Solve 2*t = -k*t - 20 for t.
-5
Let s = 157 + -131. Solve -8 = -6*h - s for h.
-3
Let g(w) = -8*w + 2. Suppose -4*x + 0 - 8 = 0. Let f be g(x). Suppose 0 = 3*y - 3*h - f, -2*y - 5*h = -3*h - 4. Solve -y = -m - 1 for m.
3
Let z(c) = -2*c**3 - 61*c**2 - 29*c + 71. Let v be z(-30). Solve -46 + v = f for f.
-5
Suppose 0 = -5*r + 4 - 159. Let i = 43 + r. Let q be 2 + (i/3 - 2). Solve 3*x = x + q for x.
2
Suppose -r + 18 = 4*a, -3*a + r - 2 = -12. Suppose -2*k + 3*b + 6 = 0, -5*k + a*b = 3*b - 2. Let g = 6 + -4. Solve 3*v - g*v - 1 = k for v.
1
Suppose -w - f = 5, -2*w - 3*f - 6 = -0*w. Let i = w + 13. Suppose 0 = -0*z + 2*z - 8. Solve -i = 4*u + z for u.
-2
Let k(d) = 2*d**2 + 1. Let z be k(1). Suppose -z*b + 29 = -2*y, -y + 8 = b - 0*y. Let n be 3/(2 + (-15)/8). Solve -n = 5*w - b for w.
-3
Suppose -4*l - 3*f + 43 = 0, -4*l + 37 = 4*f - 7*f. Suppose -l = -5*p + 3*p. Suppose 13*q - 19*q + 24 = 2*q. Solve -q*w + 8*w = p for w.
1
Let m be (5 - (2 - 2)) + -2. Solve m*k = -2*k - 10 for k.
-2
Suppose m = 0, 0 = -3*z + 4*m - m + 303. Let h = z + -101. Let n(q) = -q**3 - 2*q**2 + q - 4. Let x be n(-3). Solve -3*c + x*c = h for c.
0
Suppose 3*a + 21 + 9 = 3*m, -2*m = 5*a + 1. Solve -m*w - 2 = 26 for w.
-4
Suppose -36*w + 28 = 3*j - 35*w, -w = -4*j + 28. Solve j*z = -7*z + 15 for z.
1
Suppose 4*l - 3*l + 318 = -3*j, 0 = -3*l - 2*j - 947. Let d be -7*27/l - 12/(-5). Solve 5*x - d*x = 0 for x.
0
Let k(j) = 5*j - 34. Let w(i) = -5*i + 35. Let z(h) = -3*k(h) - 4*w(h). Let p be z(9). Solve 0 = 4*l - p*l for l.
0
Suppose 0*g + 5*g - 20 = b, 0 = -3*b. Suppose -s - a + 86 = -5*s, -4*a = g*s + 76. Let i = 22 + s. Solve i = k - 2 for k.
3
Let h be 6/4 - 1 - 26/4. Let m = h + 6. Solve 5*k + 20 + m = 0 for k.
-4
Suppose -7*a = -31 - 25. Solve -12*y + 10*y = -a for y.
4
Let v be 261/21 + 3/(-7). Suppose -p = 2*p - v. Solve 5*b - b - p = 0 for b.
1
Suppose -8*y + 8 + 8 = 0. Suppose -4*b + 5*b = y. Solve 0 = -b*s - 0*s for s.
0
Let g(x) = -x - 2. Suppose -3 = 4*s + 5. Let n be g(s). Solve 4*m + 6 + 10 = n for m.
-4
Let r be (161 - 177)*(-3)/16. Let d(u) = -u**2 + u + 2. Let p be d(0). Solve 0 = p*b + b + r for b.
-1
Suppose 0 = 6*