= v - -23. Solve -5*x = -a*x - 10 for x.
-5
Let c(f) = f**3 + 10*f**2 - 30*f - 52. Let j be c(-12). Solve 5*k = k + j for k.
5
Suppose 5*b - 2*r - 30 = 23, 5*r = 4*b - 39. Suppose 0 = 10*c - b*c. Suppose -6*g + 12 = -3*g. Solve -q - g*q = c for q.
0
Let l = -27 - -110. Solve l*u - 79*u = 0 for u.
0
Let z be ((-2)/7)/(19/(-133)). Suppose 2*t - 3 = 5*o - t, t - 1 = 3*o. Suppose -5*g + 3*g = o. Solve -z*r + g*r - 2 = 0 for r.
-1
Suppose 2*j - 2*m = -0*m + 6, 2*j - 5*m = 0. Let r(o) = o**2 - 7*o + 3. Let s be r(j). Let i(v) = -2*v - 13. Let h be i(s). Solve y - 4 = h for y.
5
Suppose -5*s - 1 + 1 = 0. Suppose 0*a = -a - 5*p + 10, 4*a - 5*p + 10 = s. Solve 3*c - 2*c - 5 = a for c.
5
Let a(n) = -n**3 + 5*n**2 + 4*n - 7. Let r be a(6). Let b = r + 23. Suppose 0 = b*j - 5*j. Solve -3*i + j = 12 for i.
-4
Let g be 24/(-18)*(-6)/(-16)*-40. Solve g = 4*v + 8 for v.
3
Let a = 2 - -4. Let q be (3 - 15/a)*6. Suppose l = -q*d - 0*l + 2, 0 = -2*d - 5*l + 10. Solve d = -3*i + 2*i + 1 for i.
1
Let z = 91 + -91. Let y be -1 + z - (3 - (-30)/(-5)). Solve -y*h = -0*h + 2 for h.
-1
Let t be (-6)/(-4)*70/21. Let m be -3 + ((-12)/(-3) - -2). Suppose m*h - 12 = -6*v + 3*v, -h + 40 = t*v. Solve q = 4*q + v for q.
-3
Let u be 1 + -2 + -40 + 0. Let w = u - -46. Solve w*m + 16 = m for m.
-4
Let m(o) be the first derivative of 5*o**2/2 - 12*o + 1. Let a be 36/(-84) - 330/(-35). Let j be m(a). Solve 8 = -5*n + j for n.
5
Let h be (44/3)/((-6)/(-9)). Let z = 25 - h. Solve -z*f - 10 = -f for f.
-5
Let r be (-1 + 5)*(1 - (-6)/(-4)). Let z be -1 - (r - (-2 - -3)). Suppose 5 = 3*s + 2. Solve -z*a - s + 7 = 0 for a.
3
Let c(a) = -a**2 + 6*a + 9. Let d be c(7). Let o be (14/4 + 4)*d. Solve h + o = -4*h for h.
-3
Suppose n - 2*r + 5*r + 12 = 0, -5*n - 82 = 4*r. Let l be (-30)/(-9) - 12/n. Solve -5*h - l = -h for h.
-1
Let z be 14*(0 - 6/(-21)). Let s be (-46)/(-4) - 2/z. Suppose -5*t = 3*m - 32, -3*t + 1 + s = 0. Solve m*u - 9 = u for u.
3
Suppose -w = -2*y - 0*y + 6, 0 = w + y - 3. Let v(z) = 6*z - 44. Let j be v(8). Suppose 0 + j = 2*a - r, -4 = -2*a - 5*r. Solve w = a*c + 3*c + 10 for c.
-2
Suppose -5*v - 25 = -5*i, -5*i + 15 + 0 = 5*v. Let x = 7 - v. Suppose -9*m = -x*m - 2. Solve -m*j = -3 - 7 for j.
5
Let v be (-2 + (-16)/(-6))*6. Let g(r) = 10*r + 2*r + r**2 - v*r + 12. Let j be g(-6). Solve j = c + c - 8 for c.
4
Let a = 12 - 8. Suppose 0 = 8*p - a*p - 28. Solve -2*w - 10 = -p*w for w.
2
Suppose 155 - 254 = -3*f. Solve -f + 30 = w for w.
-3
Suppose 4*n + 86 = -2*s, -3*s + n - 108 = -0*n. Let r = s + 39. Solve 5 + 3 = -r*m for m.
-4
Let n(z) = z**2 + 6*z + 13. Let d(j) = j**3 + 8*j**2 + 13*j + 2. Let o be d(-6). Let s be n(o). Solve 37 - 12 = s*m for m.
5
Suppose -3*o + 5 + 7 = 0, 0 = a + 5*o - 35. Suppose 4*r - a = -r. Solve w = -r - 2 for w.
-5
Let z = 6 + 14. Let r(t) = 2*t - 51. Let j be r(9). Let p = j + 35. Solve 7*n = p*n + z for n.
4
Let r = -127 + 128. Solve 3*p + 2 = -r for p.
-1
Let a(s) = 2*s**2 - 34*s - 15. Let x be a(18). Solve 8*q - x - 3 = 0 for q.
3
Let k be -22*3/(-8) + 15/(-12). Solve 0 = k*t + 8 + 20 for t.
-4
Let y = 26 - 17. Suppose -t - y = -17. Let o = 10 - t. Solve 0 = o*l + 3*l - 20 for l.
4
Suppose 179 - 39 = 5*d. Let o = -23 + d. Solve -20 = 3*i - o for i.
-5
Let x be (-4)/14 + (-176)/(-28) + -1. Suppose -4*g - 2 + 34 = 0. Solve -28 + g = -x*r for r.
4
Suppose 2*l - 18 = -4. Suppose -l*d = 5*c - 3*d - 14, 0 = 3*c - 5*d - 1. Suppose -c*n = -n. Solve n = j - 3*j + 2 for j.
1
Let s(v) = -v - 28. Let a be s(-28). Suppose 2*o = 4*o - 36. Let d be o/(-12) - (-22)/4. Solve d*k + 0*k - 16 = a for k.
4
Let b = -12 - -17. Suppose 0 = m + 2 - 4. Suppose -5*q - 4*j - 8 = -25, m*j - 21 = -b*q. Solve r = q*r - 16 for r.
4
Let x = -596 - -601. Solve 2*v - 5 - x = 0 for v.
5
Let n be 6*11/66 - (-2 + -1). Solve -n*c + 6*c = 8 for c.
4
Let g be ((-490)/5)/(-7) + (1 - -1). Solve -g = -5*q + 9 for q.
5
Suppose -c + 63 = r - 0*c, -110 = -2*r + 2*c. Let a = 63 - r. Solve a*h = 5*h + 3 for h.
-3
Suppose 5*a - 19 = -119. Let i = -20 - a. Solve i = -0*g + 4*g + 16 for g.
-4
Let q = -271 - -276. Suppose 0 = -4*s - s + 10. Solve -a - s = -q for a.
3
Suppose 5*p = 3*i + 71, -4*p + 56 - 6 = i. Solve 19 - p = -2*n for n.
-3
Let h = 18 - 13. Suppose -h*t = -8 - 12. Suppose -5*k = -4*k - 0*k. Solve k = -q - 0*q - t for q.
-4
Suppose -4*k - 4*r + 32 = -2*k, 4*r = -k + 26. Let j be 4/6*45/k. Solve 2*q = -3*q + j for q.
1
Let a be (-10)/(-2) - (4 - (-1 + 2)). Suppose g - g = -a*g. Solve g = -2*n + 2 + 2 for n.
2
Let t be (120/(-5))/((-3)/2). Suppose -19 = -r - t. Solve r*n = -1 + 4 for n.
1
Let u = 58 + -42. Let a = u - 13. Solve -9 = -a*j - 0*j for j.
3
Suppose 3*m = -0*m - 18. Suppose s - 3*s - 11 = 3*v, 59 = -5*s + 3*v. Let d = m - s. Solve f - 20 = -d*f for f.
4
Suppose 138*i - y - 22 = 137*i, -119 = -5*i - 4*y. Solve -5*r = 18 - i for r.
1
Suppose 28 - 8 = 5*n. Let j = -195 - -201. Solve 0 = -j*x + n*x + 4 for x.
2
Let y = 1619 + -1604. Solve 4*f - 15 + y = 0 for f.
0
Let i = 377 - 365. Solve 0 = -8*k + 2*k + i for k.
2
Let i = -409 + 411. Solve -57*p + 56*p + i = 0 for p.
2
Let l(n) be the third derivative of -n**5/60 - 5*n**4/24 - n**3/3 - 3*n**2. Let u be l(-3). Solve -3*f = -2*f + u for f.
-4
Suppose -4*t - 5*z + 2*z + 70 = 0, -4*t + 3*z = -58. Let u be (8/t)/((-1)/(-24)). Let s be ((-28)/12)/((-1)/u). Solve -5*w - s = -8 for w.
-4
Let x(f) = -f + 7. Let c = -8 + -1. Let m be x(c). Solve -m = 5*v - v for v.
-4
Suppose -3*g + 20 = 2*n - 6*g, 5*g + 32 = 3*n. Let q = 62 - 52. Let x be 0/((-12)/20 - 4/q). Solve x*i - n*i = 0 for i.
0
Suppose -528 + 465 = -3*g. Solve g*o = 60 + 3 for o.
3
Let o = -6 - 12. Let z = o - -43. Solve 4*n = -n + z for n.
5
Suppose -d + 3*d = -32. Let x = 10 + d. Let b be x*(13/(-3) + 1). Solve -6*q - b = -2*q for q.
-5
Let z be 1 - 0 - (-26 + 30). Let t be 6 + (-3 - 0 - -2). Let u = z + t. Solve -3*a + 2*a + u = 0 for a.
2
Let z(v) = -62*v - 6. Let m be z(1). Let t = -68 - m. Solve 3*q + t - 9 = 0 for q.
3
Suppose 0 = 47*o - 137*o + 450. Solve 23 - 33 = o*i for i.
-2
Let b(u) = u**2 + 16*u + 23. Let n be b(-11). Let h = n - -35. Suppose -5*z - 5*f = -20, -2*z = 3*f - 7*f - 14. Solve -h*y = 2*y - z for y.
1
Let p = 6 + -1. Suppose -12 = -p*f - 2. Solve -n - 5 = -f*n for n.
5
Let u = -246 + 249. Solve u + 1 = 2*o for o.
2
Let x = -12 - -20. Suppose 35 - x = 9*j. Solve -2*c + 1 = j for c.
-1
Let m = -98 + 102. Suppose 8*u = u. Solve -t - m = -u for t.
-4
Suppose -2 = -2*v + 2. Suppose -5*n + v + 33 = -5*f, 0 = 4*f + 4. Solve 0 = -n*y + 2*y + 16 for y.
4
Suppose 3*j + 3*l + 14 = 4*j, -2*l = j + 11. Let d be 1 - (0 + j - 2). Solve -2 = d*t + 10 for t.
-3
Let b(s) = -7*s - 72. Let n be b(-11). Solve n*q - 8 = -28 for q.
-4
Let o = 9 - 7. Suppose -4*a - 2 - 6 = o*s, 0 = -2*a - 6. Let b = -453 + 457. Solve b*c + 6 + s = 0 for c.
-2
Suppose -1 = -5*s + 9. Suppose 0 = 267*k - 302*k + 35. Solve 0 = -o - k - s for o.
-3
Let u be 98 + -101 + 29 + -1. Solve -4*c + u - 13 = 0 for c.
3
Let s = -152 - -108. Let i be (s/(-12) + -4)*-9. Suppose -3*q + 7 + 17 = i*h, 5*q = 5*h. Solve -3*k = -4*k - h for k.
-4
Suppose 22*v + 91 - 289 = 0. Let l(o) = -o**3 - 5*o**2 + o + 11. Let s be l(-5). Solve -3*j = -s*j + v for j.
3
Let d be (2 - 440/30)/((-3)/18). Solve -13*n + 32*n = -d for n.
-4
Suppose 5*t - 2 - 13 = 0. Let f be (-48)/8*(-4)/3. Suppose -d + 5*c - 10 = 0, -3*d = -8*d - 4*c + f. Solve d = k + t*k - 16 for k.
4
Suppose 156 = -3*x + 3*a, -x - 37 + 1 = -5*a. Let d = x - -58. Suppose p + 10 = 6*p. Solve 0 = -w + d + p for w.
4
Suppose 0 = 11*g - 7*g - 132. Let a be 2 + 3*(-31)/(-3). Let z = g - a. Solve z*c - 10 = -2*c for c.
5
Suppose -3 = -3*s + 2*s. Solve -s*u + 6 = 3 for u.
1
Let f(p) = -28*p - 70. Let r be f(-6). Let s = -95 + r. Solve 4 = 7*z - s*z for z.
1
Let k = 24 + -9. Let u = k + -12. Suppose 2*s + 10*a - 5*a = 4, -3*s + u*a + 6 = 0. Solve 0 = s*m - 6 + 14 for m.
-4
Suppose 2*c + 3*m + 4 = -5, -3*c + 5*m = -15. Let q be (-4)/(-24) - (34/(-12) - c). Solve -q = 2*j - 1 for j.
-1
Suppose -18 - 82 = -4*y. Let l(q) = -3 + 2 - q**2 - 13*q + 20*q - 12*q. Let v be l(-3). Solve 0 = v*b - 0 - y for b.
5
Suppose -2*i - 48 = 3*p, -4*i = i + 15. Let l be (-13 - p)/((-1)/(-15)). Let d = -4 - -8. Solve -d*v + l = v for v.
3
Let i(j) = -j**3 - 19*j**2 - 18*j - 6. Let b 