 v.
5
Let y(i) = i. Let c be y(0). Let z = -26 + 30. Suppose -2*b = 2*b - 2*l, 0 = z*b + 4*l. Solve c = -b*f - f - 1 for f.
-1
Let v be 4*(((-52)/(-16))/13 - -3). Solve 0 = -v*p + 17*p + 16 for p.
-4
Let i be (-78)/24*(-1 - 3). Let c = i + -12. Let q be (c - -3)*5/20. Solve -q = -y - 3 for y.
-2
Let b be (-26*1)/((-9)/9). Let t = b + -11. Let p = -6 + 8. Solve -p*d - d - t = 0 for d.
-5
Suppose 4*n - 32 = 2*t, 25*t - 2 = 26*t. Solve n*c + 8 = -6 for c.
-2
Let d be (-5)/(-3) - 2/3. Let h be (42/(-12) + d)*-2. Solve 0 = 6*l - h*l for l.
0
Let j = -255 + 259. Let b be 8/6*(4 + -1). Solve 3*r = b*r - j for r.
4
Let u be (2/3)/((-3)/(-9)). Let s be 0*3/12*u. Solve s = -5*i - 5 - 0 for i.
-1
Suppose 8*g - 942 + 830 = 0. Solve 3*q = g - 2 for q.
4
Suppose 5*p - 3*h - 30 = -3, -5*p - 1 = 4*h. Suppose 2*i + 10 = -p*i. Let y be (-22)/(-8) + i/(-8). Solve 0*w = y*w + 6 for w.
-2
Let t be (-29)/(-1) + 19/((-95)/30). Solve 4*a - 7 + t = 0 for a.
-4
Let p be 3 + ((-15)/6)/(-5)*2. Solve -1 = -w - p for w.
-3
Suppose 12 = 9*x - 7*x. Suppose -3*h = -5*h - x, -d = 3*h + 8. Solve 0 = -0*c + c + d for c.
-1
Suppose 3 = 3*y - 3. Let h(s) = 12 + 4 - 16 + s + 2*s**2. Let n be h(-1). Solve 0 = y*r - r + n for r.
-1
Suppose 24 = 4*i - 4*p, -4*i + 3*p + 0*p = -24. Suppose 2*m - 2*v = -i*v - 10, -4*v = -m - 11. Let c be ((-2)/m)/((-6)/(-42)). Solve -3*j - c = 1 for j.
-1
Let x(q) = -15*q + 524. Let v be x(34). Solve -v*f = -6*f - 8 for f.
1
Let c(i) = i**2 + 13*i + 2. Let q be c(-13). Suppose -17 = -2*s - 3*x, -4*s + 14 = q*x - 8. Solve -4*j + s + 0 = 0 for j.
1
Let s = 9 - 9. Suppose -2*c = -s*c + 22. Let j = -11 - c. Solve 4*w = -j*w - 20 for w.
-5
Let c = -104 + 71. Let s = c - -35. Solve -l + s*l = 0 for l.
0
Suppose 36*i - 167 - 85 = 0. Solve 7 = i*a + 35 for a.
-4
Let q = -181 - -183. Solve q*x - 10 = -3*x for x.
2
Let x(z) = -z**3 - 4*z**2 + 13*z + 48. Let q be x(-5). Solve s + q - 4 = 0 for s.
-4
Let t = -40 + 39. Let r be (t - 0 - -2)/((-1)/(-6)). Let u = 5 - 3. Solve u*k + r = -k for k.
-2
Suppose -d = 2*n - 3*d + 8, -n = -2*d + 8. Suppose -k = -n*x - 4*x - 27, 33 = -4*x + 3*k. Let s = 17 - x. Solve 0 = 4*a + 7 - s for a.
4
Let o(r) = -1 + 2*r**2 - 137*r + 137*r. Let v be o(-1). Suppose l = v + 1. Solve l*n + 12 = -n for n.
-4
Let r(c) be the first derivative of -c**3/3 + 5*c**2 - 6*c - 3. Let j be r(9). Suppose 0*w - j*w = 0. Solve 0 = -w*o + 2*o for o.
0
Suppose 14 = 4*j - 10. Let m be ((-4)/(-5))/(j/15). Solve 0 = b - m*b for b.
0
Let b(l) = -l - 24. Let v be b(-14). Let z be v/(-6) + (-4)/(-12). Solve -3*p = z*p - 20 for p.
4
Let j be -41 - -46 - (-1 - 41). Solve 3 = -11*r + j for r.
4
Suppose 10 = 4*w - 6. Suppose 10 = -v - 3*d, 0 = -v + w*v + 3*d + 6. Solve 5*l = 17 - v for l.
3
Let j(q) = 8*q**2 + 99*q - 47. Let v be j(-13). Solve -11*w = -v*w + 35 for w.
5
Suppose 0 = 41*k - 980 - 168. Solve 0 = -r + 27 - k for r.
-1
Let a = 7 + -14. Let v be 2/a*70/(-10). Suppose -w = v*w. Solve 12 = -w*q + 4*q for q.
3
Let t be 0*(-2 - (-12)/8). Suppose 33 = 4*f + u - 6*u, t = -3*f - 2*u - 4. Suppose 5*m - 18 = m - 2*o, -13 = -4*m - o. Solve m*j + 12 = f for j.
-5
Suppose 5 = -p - 3*g, -2*g + 3 = p - g. Suppose 0 = p*s - 3*s. Solve -4*b + 3*b = s for b.
0
Let z be (-1)/(34/6 + -6). Solve 0 = 4*x + z*x for x.
0
Suppose 9*s - 30*s + 105 = 0. Solve -k = s*k - 18 for k.
3
Let y be (-1 - 5/2)*1066/(-287). Solve y*a = -4*a + 68 for a.
4
Suppose 6*q - 2*x = q + 7, -q + 3*x - 9 = 0. Let a be (2/(-5))/(q/(-30)) + 4. Solve 2*b + 2 = a for b.
3
Let o = -198 - -161. Let j = o + 41. Solve j*x = x + 12 for x.
4
Let d(m) = -m**3 + 3*m**2 + 3*m + 2. Let r be d(-1). Suppose 0 = -2*l + 1 + 1. Let j be 6/l*(-10)/(-6). Solve -z = -r*z + j for z.
5
Let i(b) = b**3 + 16*b**2 - 3*b - 39. Let g be i(-16). Solve 19 - g = 5*q for q.
2
Let x = 460 - 450. Suppose 5 = -2*d - p + 29, 0 = -d - 5*p + 30. Let c = x - d. Solve c = 3*b - 0 + 3 for b.
-1
Suppose -4*s + 20 = 4*b, 5*s - 5 = 5*b - 0*s. Suppose b*r + 16 + 3 = 5*x, 5*x - r = 17. Solve 0*c + 3 = x*c for c.
1
Suppose 5*l + 20 = 5*q, 5*l + 6 = 11. Suppose 4*u = u + 15. Suppose 0 = 2*y - y + u*z, 3*z = -2*y + 28. Solve -q = 5*n - y for n.
3
Suppose 0 = -4*b - 8, -2*i - 3*i - 5*b + 25 = 0. Let f(h) = 0*h**2 + h**2 + 16*h - h**2 + 3 - h**2. Let r be f(16). Solve i*z + 4 = r*z for z.
-1
Suppose 19*w = -2*w + 84. Let y(l) be the first derivative of 3*l**2/2 + l + 1. Let h be y(4). Solve 3 + h = -w*q for q.
-4
Let r = -19 - -27. Solve 2 = -5*q - r for q.
-2
Let f(r) = 3*r - 31. Let s be f(15). Let o(h) = -5*h - 2. Let c be o(-4). Let z = c - s. Solve -2*k + 0 = z for k.
-2
Let u be (-130)/(-52)*(1 - -1) + -5. Solve u = -0*d + 4*d for d.
0
Let k be 4/(-30) - 384/(-180). Let c be (35/49)/(k/14). Let r = -2 + 7. Solve c = r*d + 10 for d.
-1
Suppose 0*d - 116 = -2*t - 5*d, 3*d - 6 = 0. Solve 0 = -5*i - 38 + t for i.
3
Let a be 2/((-4)/(-6)) + -1. Suppose -4*p = u - 31, -a*p - 88 = -5*u + u. Let t = u + -17. Solve s - t = -2 for s.
4
Let c(f) = -f**3 - 24*f**2 - 2*f + 13. Let z be c(-24). Let t = 63 - z. Solve 2*r = -t - 2 for r.
-2
Suppose 32*n = 182 + 138. Solve o = n*o - 9 for o.
1
Suppose c + 2*h = 0, h + 9 = 2*c + 2*h. Let d(b) be the second derivative of b**3/3 + 8*b**2 - 11*b. Let m be d(-7). Solve -c*g = -m*g - 12 for g.
3
Suppose 44*h - 300 = -6*h. Solve 0 = -18*q - h - 84 for q.
-5
Let k = -382 + 390. Solve k*g = 12*g - 12 for g.
3
Suppose -2*t + 17 = -21. Suppose 4*r = 1 + t. Solve -r*a + 5 = -0*a for a.
1
Let r be 9/6*(1 - -1). Solve -w = r - 1 for w.
-2
Let f(w) = w**2 + w - 4. Let s be f(-3). Suppose -t - 3*t = -o + 2, -s*o = 4*t + 8. Let k be (t + 0)/(3/(-9)). Solve 16 = -k*p - p for p.
-4
Let b(h) = -h**2 + 5*h + 16. Let v be b(7). Solve 5*f + v*f = -7 for f.
-1
Let c = -49 + 26. Let b(g) = 11*g - 11. Let q be b(5). Let x = c + q. Solve -3*n - 6 = -x for n.
5
Let g(q) = -4*q**3 - 2*q**2 - 2*q - 1. Let w be (-18)/72*(-1 - -5). Let a be g(w). Solve -a*i + 1 = 16 for i.
-5
Suppose -2*y - 4*v = y - 35, -5*v = 3*y - 34. Solve -8 = l - y for l.
5
Let m(j) = -j - 3. Let b(d) = d. Let g(i) = -3*b(i) - m(i). Let f = -59 - -59. Let q be g(f). Solve q*p = -p + 12 for p.
3
Let g(h) = 3*h + 1. Let y be g(3). Let j = 52 - 47. Suppose u = 3*l + 5, l - 7*u + y = -j*u. Solve -f + l = -4 for f.
4
Suppose -i + 2*i + 55 = 5*m, 20 = -4*i. Suppose 8 + 254 = -4*d - 2*r, 2*d = -3*r - 125. Let t = 73 + d. Solve 4*x + m = -t for x.
-4
Suppose -5*s + 6 = -m, 0 = -4*s - 7*m + 3*m + 24. Solve -3*i + 5*i = -s for i.
-1
Let n(g) = g + 1. Let w be n(3). Suppose -w*a + 2*s = s - 5, 2*s = -3*a - 10. Let c be (-3)/3*0 + a. Solve c = -4*q + 3*q - 4 for q.
-4
Suppose 29*z = 38*z - 54. Solve 0 = -5*i - i + z for i.
1
Let n(a) = 8*a - 22. Let f be n(4). Suppose -3*t + f*t = 0. Solve 16 = 4*j - t*j for j.
4
Suppose -15 = -4*k + 5*j + 3, 0 = -3*k - 4*j - 2. Solve 3*f + k = f for f.
-1
Let q(i) = i**2 - 8*i + 9. Let t be q(8). Suppose 0*m + m - 4*v + 2 = 0, 3*m + v - 46 = 0. Let w be (m/4 + -2)*2. Solve w*j + 6 = -t for j.
-5
Let h be 3 + 3*(2 - -5)/(-21). Solve -i - h + 5 = 0 for i.
3
Let c = -4 + 1. Let h be 2 + c + 18 + 1. Let s be 78/h - (-1)/(-3). Solve s*g = -g for g.
0
Let c be -33*(155/(-15) + 10). Solve -21 = -2*f - c for f.
5
Let x be (-20)/(-2) + (17 - (12 + -2)). Solve -3*y + 5 = x for y.
-4
Suppose -d - 39 = -4*n, 9*n - 4*n + 2*d = 52. Suppose -b + 2*q + 2 = 0, 4*b = 6*b + 3*q - 11. Suppose 2 = -b*a + n. Solve a*j + 3*j = 20 for j.
4
Let j = 33 + -20. Let a = j + -5. Let d = a - 8. Solve d = 2*b - b for b.
0
Let o(y) = y**2 - 2*y - 1. Let n be o(5). Solve -n = 11*l - 58 for l.
4
Let x(p) = -p**3 - 9*p**2 - p - 5. Let m(f) = -f**3 - f**2 + f + 1. Let a be m(2). Let r be x(a). Let v be (-5 + 5)/(r/(-2)). Solve -u + 5 - 2 = v for u.
3
Let g(f) = -f**3 - 9*f**2 - f - 6. Let p be 4/2*9*(-2)/4. Let m be g(p). Solve m = -w - 0*w for w.
-3
Suppose p + 4*v - 23 = 0, -2*v = -7*v + 25. Solve 11 = -2*g + p for g.
-4
Suppose -4*w = -2*d + 24, -4*w = 4*d - 9*w - 33. Solve -d*a = -0*a - 4 for a.
2
Suppose 18*q = 20*q + 54. Let u = q + 35. Solve 2*d + 4 = u for d.
2
Let k be (1 + 0/(-2))/(42/546). Solve 30 = -k*l + 4 for l.
-2
Suppose 0 = -2*g + 2*m - 21 + 79, m + 79 = 3*g. Suppose g*u = 17*u. Solve -6*y + 2*y + 4 = u for y.
1
Suppose -c = -2*a, 0 = a - 2*a - 4*c. Suppose -8 = 