(-9). Solve 0 = -v*y + 7 - 4 for y.
1
Let y be 12*(-33)/22*(0 + -1). Solve 0 = 5*r - y*r for r.
0
Let l(v) = v**2 + 13*v + 3. Let n be l(-12). Let i = -7 - n. Let m be ((4 - i) + -3)/(-1). Solve -2*a - m = 7 for a.
-4
Let v(t) = 14*t**2 + 7*t + 5*t**3 + 1 + 5*t - 10 - 4*t**3. Let a be v(-13). Solve 0 = b - a*b + 3 for b.
1
Let s = -39 + 42. Suppose 8 + 46 = s*l - 2*y, 4*l - y - 77 = 0. Solve 5*i = i - l for i.
-5
Let z(u) = -u**3 + 7*u**2 - 4*u + 4. Let a be z(6). Suppose a = 2*o + 2*o. Suppose -o*h + 0*h = -16. Solve r = -0*r + h for r.
4
Let g = -846 + 851. Solve 7*i - 8*i + g = 0 for i.
5
Let x(d) = d**3 - 5*d**2 + 3*d - 13. Let r be x(5). Solve r*s = -s - 3 for s.
-1
Let n(x) = -2*x**2 - 9 + 0*x**2 + 2*x + 7. Let t be n(2). Let z = t + 9. Solve 0 = -z*f - f - 16 for f.
-4
Let t(k) = k**3 + 4*k**2 + 2*k + 1. Let m be t(-3). Let l = -4 + 22. Let w = 32 - l. Solve -m*i - w = 2 for i.
-4
Let p be (-12)/27 + 434/126. Solve 4*i - 1 = p for i.
1
Let f(x) = -x**3 + 11*x**2 - 18*x + 11. Let z be f(9). Solve -u = -z + 8 for u.
3
Let k(v) be the first derivative of v**3/3 + 11*v**2/2 - 7*v + 7. Let o be k(-12). Solve o = -l - 0 for l.
-5
Let h(o) = 13*o. Let m(s) = -7*s. Let f(i) = -6*h(i) - 11*m(i). Let x be f(0). Solve x = d + 4*d for d.
0
Suppose 0 = -47*n + 44*n. Solve n = -3*p + 2*p + 2 for p.
2
Let y be (5 - 4)*(0 - 22). Let o = y - -26. Solve j + 7 - o = 0 for j.
-3
Let i(o) = 2*o - 3. Let w be i(4). Suppose 0*r + w*r = 20. Suppose -r*f = -0*f. Solve f = -4*t + t + 3 for t.
1
Let x be (-1)/2 + 4/8 + 3. Solve 0 = -d + x*d for d.
0
Let r be (-10)/2 - 544/(-32). Solve -3*m + 0 = -r for m.
4
Let j be (0/1)/(-1) - -2. Suppose 0 = -j*u + 2*i + 10, -i + 20 = u + 3*i. Suppose -6*p = -2*p - u. Solve 2 + 4 = -p*c for c.
-3
Let z = 513 - 506. Solve -6*a - z = 5 for a.
-2
Let p = -979 + 991. Solve -12 = -12*m + p for m.
2
Let x be 2/7 + (-27456)/(-924). Solve -x = -4*n - 14 for n.
4
Let k = 179 + -173. Let s = -3 + 6. Suppose 3*a = -3*w + 21, -3*a + 11 = -2*w + s*w. Solve -a*g - k = g for g.
-2
Let p(r) = -r + 42 + 47 - 88. Let i = 2 + -3. Let f be p(i). Solve 3*c + 1 = f*c for c.
-1
Let t be (14/(-8))/(4/(-16)). Suppose -5*p - t + 27 = 0. Let r be (1 + 0)*44/p. Solve r = 3*g - 1 for g.
4
Let n(w) = 14*w - 286. Let o be n(21). Solve o*j + 5*j = 52 for j.
4
Let z = 75 + -73. Let r be z/1 + (-9 - -7). Solve 0 = 2*o - r*o for o.
0
Let f = 9 + -4. Let i(l) = l**2 + f*l + 0 + 8*l + 3 + 1. Let m be i(-13). Solve -4 = -2*z + m for z.
4
Let x be (-6)/(-2) - (-45)/1. Let z = -40 + x. Solve 3*l + 2 - z = 0 for l.
2
Let h(c) be the first derivative of -2*c**3/3 - 3*c**2/2 - 10*c + 7. Let v be h(-3). Let l = 23 + v. Solve -5*z = -l + 29 for z.
-5
Suppose 5*f - 2*p - 59 = -19, -5*f = 2*p - 20. Solve -12*t + f*t + 24 = 0 for t.
4
Suppose -4 = 4*v, -6 + 2 = -3*k - 2*v. Suppose 7*b = k*b. Solve 4*f - 18 + 6 = b for f.
3
Let b = 15 - 11. Let d = 69 - 113. Let z = d + 44. Solve 0 = -b*u + 12 - z for u.
3
Let t = -17 - -23. Suppose t*p + 5 = 7*p. Solve 3*d = 4 + p for d.
3
Let q = 6 - 1. Suppose q*d - 2*c - 24 = 0, -2*c - 17 + 1 = -3*d. Suppose d*l + l - 10 = 0. Solve l*s = 3*s + 5 for s.
-5
Let j be -3*((-6)/(-20) + (-11)/(-330))*-2. Let p = -5 - -12. Solve -j + p = n for n.
5
Let s = 1121 + -1121. Solve s = 2*x + 16*x for x.
0
Let j = 131 + -127. Let x(p) = -p**3 + 2*p**2 - p. Let k be x(0). Suppose s = -2*s - 3*l + 21, -3*s - 5*l + 19 = k. Solve -4 = j*b + s for b.
-3
Let m(a) = -4*a. Let z(n) = n. Let x(l) = l**2 + 12*l + 8. Let o be x(-11). Let g(f) = o*m(f) - 16*z(f). Let k be g(-1). Solve -k*w = -0*w for w.
0
Let f = -330 - -339. Solve 15*b - 30 = f*b for b.
5
Let w(y) = -y - 5. Suppose -p - p = 5*k - 19, 0 = 2*p - 2*k - 40. Suppose -s + p = -2*u, 31 = -5*u + 3*s - 12. Let c be w(u). Solve -c*h + 1 = -2 for h.
1
Suppose 0 = -4*u - 2 + 18. Solve -u = 9*x + 5 for x.
-1
Let c be 36*(-3 + 0)/(-12). Let x be 42/c*6/4. Solve t - 2 + x = 0 for t.
-5
Suppose 41 = -4*f - 55. Let b be ((-160)/f)/((-2)/(-6)). Suppose 2*p = -9*r + 4*r + 10, -4*p - r = -b. Solve -p*i + 0 = -5 for i.
1
Let a(y) = -y**3 - y**2 + 4. Let r be a(0). Solve r = -3*o - 8 for o.
-4
Let h = -3 + 5. Let o be 6 + ((-2)/(-4))/((-6)/24). Suppose o*g = h + 6. Solve 5*i = g*i + 15 for i.
5
Let k(i) = 2*i**2 + 6*i + 7. Suppose 7*y + 18 = y. Let r be k(y). Solve -2*d + r*d + 15 = 0 for d.
-3
Let r be 1 - (-2 - -1) - 5. Let w = r - -6. Let n = -134 + 134. Solve n = d - w for d.
3
Suppose -4*t + 3*t = -16. Let b = -13 + t. Solve -b*f + 3 = -9 for f.
4
Let n(j) = j**2 - 4*j + 3. Let x be n(4). Let o(d) = d**3 - 4*d**2 + 5*d - 2. Let b be o(x). Suppose -7*f + b*f = 0. Solve f = 3*i - i + 2 for i.
-1
Suppose -h + 1056 = 1056. Solve l + 1 = -h*l for l.
-1
Let q = 443 + -439. Solve -10*k - 6 = q for k.
-1
Let b = 6 + 1. Let m(f) = -f**3 - f**2 + 25. Let u be m(0). Suppose -4*t + 15 + u = 0. Solve 2*j - t = b*j for j.
-2
Let p be (-5)/((-100)/56)*-5. Let s = p + 20. Solve 4*w - 2 = s for w.
2
Suppose 0 = 5*b + 3*s - 35, 5*b - 10 = 3*s - s. Suppose -2*g - b = -4*h - 0*g, 0 = -5*g + 10. Solve -v + 3 = h*v for v.
1
Let i(h) = 6*h**2 + 2*h + 1. Let t = 0 + -1. Let f be i(t). Suppose -f*b = -a, -2*b = -b - 3*a. Solve b = -0*k + 4*k + 4 for k.
-1
Let v(s) = s**3 - 5*s**2 - 5*s - 7. Let o be v(6). Let q be 0/o + -19 + 19. Solve q*x + 2*x = -8 for x.
-4
Suppose -63*c + 80*c - 85 = 0. Solve 5*d = -c - 20 for d.
-5
Let h be 168/(-3)*(-6 - (-280)/49). Solve -35*b = -39*b - h for b.
-4
Let d = 11 - 9. Suppose -c = 0, -d*c - 4 = -a + 3. Suppose 0 = -5*z + 10, z = -q - 0*z + a. Solve -2*x = -q*x - 12 for x.
-4
Suppose -3*b + 68 = -4*o, 4*b + 3*o + 2*o - 70 = 0. Let c be -2 + b/4 + -2. Let j be -5 + 7 - (0 + 0). Solve -3*i + j = -c for i.
1
Let l(u) = 10*u - 99. Let x be l(10). Suppose 0*k = k + 3. Let j be k - ((-2)/x - 1). Solve -4*o + 0*o - 16 = j for o.
-4
Suppose -j + 3 = -5*p, -5*j + 35 = -7*p + 2*p. Suppose 9 = 4*h - 7. Let u be 0*((-2)/h + 0). Solve 0 = -u*l - 4*l - j for l.
-2
Suppose 24 = 6*d + 12. Suppose d*j - 7 = -i, -2*i = 2*i - 4*j - 28. Solve 0 = 2*k - 3 - i for k.
5
Let s = 12 + -10. Suppose 3*z - 5 = -s*z. Suppose 12*y - 8*y = 8. Solve -z = -o + y for o.
3
Let r be 10 - (-3)/(-21)*7*-5. Solve -16*p = -1 - r for p.
1
Let l = -33 + 35. Let p be (-2)/(-4)*17*l. Solve 8 = 5*g - p for g.
5
Let a(i) = 2*i**3 - 63*i**2 + 36*i - 155. Let n be a(31). Solve n = -7*b + 7 - 0 for b.
1
Suppose 3*k = 3*t - 4*t + 94, 2*k = -3*t + 282. Let a = t + -94. Solve a*i + 3*i = -15 for i.
-5
Let w = 48 - 32. Let v be 2/19 - (-2 - 1340/(-95)). Let a = v + w. Solve 0*x + a*x = -16 for x.
-4
Suppose -5*l = -2*u - 39, -2*u + 15 = -l + 2*l. Let a(k) = 0 - 7 - 2*k - 2*k + 5*k. Let n be a(l). Solve -2*c + 0 - n = 0 for c.
-1
Suppose 0 = -g + 3*g + 4*a - 24, -3*g = a - 21. Suppose 0 = -g*k + 29 + 1. Solve -2*x + 15 = -k*x for x.
-5
Suppose -4*l - 153 + 165 = 0. Solve -15 = l*p - 3 for p.
-4
Let a(l) be the first derivative of 9*l**4/4 - l**2/2 - 69. Let b = 0 + 1. Let z be a(b). Solve 0 = -2*s - 2*s - z for s.
-2
Let o(u) = -u**2 + 2*u. Suppose 0 = -0*n + 3*n - 6. Suppose -2 = -n*a + a. Let h be o(a). Solve h = 3*g - g - 10 for g.
5
Let b be (-7)/14 + (-17)/2*-3. Suppose 1 - b = -8*k. Solve -k - 7 = -5*o for o.
2
Let k = 57 + -56. Let t(h) be the third derivative of -h**6/120 + h**4/24 - 4*h**2. Let p be t(k). Solve p = -3*x + 2*x for x.
0
Let g be (-32)/(-12)*6/4. Suppose 0 = -2*t + 3*t - g. Suppose 2*v - 6 = 0, -v + t*v = 5*a - 51. Solve -a = c + 3*c for c.
-3
Let c(q) = q**2 - 5*q - 36. Let g be c(-4). Solve g = 7*x - x for x.
0
Let g(u) = -u**3 - 6*u**2 - 5*u + 2. Suppose 3*z - 8 = 4*j, 0*z = -3*j + z - 11. Let t be g(j). Solve -2*a = t*a for a.
0
Let k be (-256)/(-56) - (-3)/7. Let l(m) = -m**2 + 7*m - 10. Let y be l(k). Suppose -3*p + 6 = -3. Solve -p*z + 3 = -y for z.
1
Let q(i) = -2*i + 7. Let m(r) = -2*r + 6. Let w(j) = 6*m(j) - 5*q(j). Let f be w(-1). Suppose f*l = -4 + 19. Solve 12 = l*v - 3 for v.
3
Let y(l) = -l**2 - 12*l - 18. Suppose -2 = -q + 4*a - 8, 0 = -q + 5*a - 5. Let i be y(q). Let c = -10 - -10. Solve c*z - i = -z for z.
2
Let y = 390 + -384. Solve -86*g + 84*g + y = 0 for g.
3
Suppose -3*j - 4 = -5*f, -5 = f - 3*j - 1. Suppose 5*t - f*t - 6 = 0. Let s = -88 - -92. Solve t*y = -0*y + s for y.
2
Suppose u = 2 - 3. Let t be 