= -4*v - t for v.
-1
Let z(v) = -6*v - 1. Let y be z(3). Let c = -19 - y. Suppose -2*o - 4*w - 12 = c, 3*w + 1 + 8 = 0. Solve -2*x + 4 = -o*x for x.
2
Let p = 68 + -35. Suppose -5*w + 4*w - p = 0. Let b = -27 - w. Solve -b = -4*d + 6 for d.
3
Let v = -272 + 300. Let b(a) = 28*a - 3. Let m be b(2). Let p = m - v. Solve 6*i = i + p for i.
5
Let b be -7*(-16)/140*(-3 - -8). Solve 6*h - 10 = -b for h.
1
Let s(m) = m**3 - 9*m**2 - 8*m - 18. Let r be s(10). Solve 0 = r*g - 6*g + 12 for g.
3
Let t = -36 - -40. Suppose -t*f = f. Solve 2*q + 0*q - 4 = f for q.
2
Suppose -5*v = 5*n - 310, -5*v + 3*v + 119 = n. Suppose -12*o + v = -15. Solve -j + 25 = -o*j for j.
-5
Let p(n) = -4*n - 3. Let k(v) = -2*v - 2. Let m(a) = 5*k(a) - 2*p(a). Let w = -18 + 10. Let b be m(w). Solve 0 = y - 4*y - b for y.
-4
Suppose m = 2*h + 7, m - 1 = h + 3. Let a = h - -6. Suppose a*x - x = 6. Solve 0 = -4*j + x*j - 1 for j.
-1
Suppose 4*z - 197 + 169 = 0. Solve 2*q = z + 1 for q.
4
Let a be 60/(-9)*(-57)/190. Let w be (0/1)/(0 + 2). Solve w*x = -a*x for x.
0
Suppose -14*g - 151 = -389. Solve -g = -2*z - 11 for z.
3
Let s be 1/(-5) + (-48)/(-15). Suppose 2*g + 0 = 6. Suppose s = -g*m + 4*m. Solve -m*c - c - 8 = 0 for c.
-2
Let m be ((-4)/6)/(1/((-75)/10)). Suppose -5*o = 4*z - 26, -m*z = 5*o - 3*o - 24. Solve 3 = o*t - 5 for t.
4
Suppose -2*p = 5*r - 27, 61*r - 64*r + 3*p + 12 = 0. Solve 0 = 9*s + r*s + 56 for s.
-4
Let i = -7 - -16. Let j = i + -4. Suppose -2 = -h + j. Solve 4*w = -5 - h for w.
-3
Suppose -260 = 6*g - 290. Solve g = -7*d + 26 for d.
3
Let h(m) = 6*m - 1. Let w be h(1). Suppose -5*b = -5*p - w, 4*b - 2*p - 8 = -0*p. Solve -y = b*y for y.
0
Let x be -24*(3 - (-100)/(-30)). Solve 6*w = x*w + 10 for w.
-5
Let g be 7/(-14) - (-82)/4. Let w = 54 + -52. Solve 6*b - g = w*b for b.
5
Suppose -234 = -25*q + 141. Solve 0 = -4*r - 35 + q for r.
-5
Suppose -2*v = -3*v - 3, -5*u + 8 = 4*v. Suppose 0 = -5*h - 20, -u = a + h - 3. Solve -3*r + 0 = -a for r.
1
Let s be (-1)/(-1*3/6). Suppose s*o - 4 = -3*m, 3*o - 4*m - 10 = -2*o. Let c(b) = b**2 + 3*b + 8. Let w be c(0). Solve 2 = o*i - w for i.
5
Suppose 0*i + 6*i = 18. Suppose i*k - 3*k = -3*k. Solve b - 6*b = k for b.
0
Let i = -21 + 24. Suppose 4 = -z, 0 = 4*q - 0*q + i*z + 12. Solve q = y - 6*y for y.
0
Let x be (-1 - -10) + -4*1. Suppose 5*o - 1 = -5*m + 14, -m = x*o - 3. Solve o = -4*q + 4 - 0 for q.
1
Suppose 7*h + 28 = 11*h - 7*u, 12 = -h - 3*u. Solve h = -3*n + 7*n - 4 for n.
1
Let q be 4/(-12) + (-74)/(-6). Let u = -13 + q. Let l be 3 - 1 - 0/u. Solve -4*t = -l*t for t.
0
Let m = 287 - 270. Suppose -5*p = -5*y - 15, p - 1 + 2 = 3*y. Solve -m = -4*k - p for k.
3
Let n be 0/(3/1 - 4). Let w be n*4/(2 - -2). Suppose -q - 11 = 3*t, q + w = -t - 3. Solve 0 = -5*z + 4*z - q for z.
-1
Suppose 5*b - 9 - 1 = 0, 2*n = -b + 60. Solve n - 9 = -4*h for h.
-5
Let a = -89 + 93. Solve -a*l + 0 = -20 for l.
5
Suppose 10 = -y - f - 2*f, 30 = 4*y - 2*f. Suppose y*s - 5*v = 70, -5*v + 6 - 26 = 0. Let b be (4/s)/((-3)/(-15)). Solve j - b = -j for j.
1
Let i be 7 - 3 - (0 + 2). Suppose 7 + 1 = i*z. Suppose 12*x - 17*x = -15. Solve 2*w + z = x*w for w.
4
Suppose 8*r - 24 = 10*r. Let b be (r/15)/(2/(-10)). Let v be 4/(3 - b) - -8. Solve -20 = -u - v*u for u.
4
Suppose 4*t - 16 = 0, 4*a - 72 - 68 = -5*t. Suppose -a = -3*u - w + 4*w, 0 = -2*u + 5*w + 29. Solve 0 = -4*j - u - 9 for j.
-4
Suppose 0 = 21*n + 18*n - 234. Solve z = -2*z - n for z.
-2
Suppose -8*q - 17 = -81. Suppose -3*y = -q*y - 5*y. Solve y = v + 3*v + 4 for v.
-1
Let x(p) = p**2 - 28*p - 88. Let k be x(31). Solve 0 = k*q - 2*q + 6 for q.
-2
Let r(d) = -d**2 + 2. Suppose -3*f - 4*p = -f + 20, -5*f + 20 = -4*p. Let s be r(f). Suppose s*o - o = 6. Solve o = -a - a for a.
-3
Let b(v) = v**3 - 22*v**2 + 4*v - 80. Let d be b(22). Solve 2*n + 2*n = -d for n.
-2
Suppose 2*g = 2*l + 28, -g + 0*l - 11 = 4*l. Solve -42 = -11*b - g for b.
3
Suppose -108 = 5*h - 18. Let y = -8 - h. Solve -5*s = 5 + y for s.
-3
Let p(a) = -2*a**3 + 4*a**2 + 4*a - 4. Let n be p(4). Let c = -12 - n. Suppose -l - 3*l + c = 0. Solve 5*i + l = 30 for i.
4
Let y(p) = p**3 - 20*p**2 - 45*p + 35. Let u be y(22). Solve -36 = 4*i - u*i for i.
4
Let d(p) = -2*p**2 - 7*p - 10. Let w(s) = s**2 + 3*s + 5. Let t(c) = -3*d(c) - 5*w(c). Let f = -3 - 2. Let r be t(f). Solve -3*z + 3 = -r*z for z.
1
Let d(n) = n**2 - 5*n - 64. Let w be d(11). Solve -w*x = -7*x - 15 for x.
-3
Suppose -5*o + 18 = w, -3*o = -2*w - 5 + 2. Suppose -4*q + 3*h = 5, 2*h - o - 3 = 0. Solve -5*l = 11 - q for l.
-2
Let t be ((-2)/4)/((-22)/(-12) - 2). Suppose -3*c + 12 = t*a - 0*c, 0 = -a + c + 4. Solve -a*z = z for z.
0
Let n(d) = -26. Let y(t) = t - 26. Let i(h) = -3*n(h) + 2*y(h). Let u = 446 + -458. Let m be i(u). Solve 0 = a - m + 5 for a.
-3
Suppose 4*m + 107*j - 109 = 104*j, -5*j - 35 = -2*m. Solve -m*c - 36 = -11 for c.
-1
Let r(k) = k + 1. Let l(w) = -w - 6. Let u(h) = -l(h) - 3*r(h). Let a be u(2). Let j(y) = -2*y. Let b be j(a). Solve 4*s + b = -2 for s.
-1
Let f(u) = u**2 + 2*u - 4. Let q be (-36)/(-21) + (-6)/(-21). Suppose -q*c - 2*r = 2, 4*c + r + 10 = -r. Let w be f(c). Solve -4*m = w + 16 for m.
-5
Suppose 0*s - 66 = -q - 4*s, 5*q = 3*s + 353. Let r be (-4)/5 - (-56)/q. Solve -4*u + 9 + 3 = r for u.
3
Let w = 9 - 13. Let d = w - -6. Suppose 0 = -63*a + 69*a - 54. Solve -d*g - g = -a for g.
3
Suppose 0 = -5*j + 10*j - 25. Suppose -22*y = -17*y - j. Solve -3*k = -2 - y for k.
1
Suppose 391 = 10*b + 391. Solve -h + 9*h - 24 = b for h.
3
Let m = 930 - 921. Solve 7*l = 4*l - m for l.
-3
Let p(f) = -f + 1. Let c be p(2). Let k be (0 - c)/((-5)/(-10)). Let s be (-1*1)/((-23)/69). Solve s*n + k = 2*n for n.
-2
Suppose -5*d - 4*a = 5, -5*d = -5*a + 6 - 1. Let v(g) = -3*g**3 - 3*g**2 + 2. Let f be v(d). Solve f = 2*c - 2 for c.
2
Let x = 57 - 73. Let w = 22 + x. Solve w + 6 = 3*k for k.
4
Let h = 156 + -131. Solve 11*a - 6*a - h = 0 for a.
5
Suppose 3*k - 4 = 5. Let c be -2 + (-2 - -6) + -2. Suppose c = -2*i - d, -5*d = -8*d - 12. Solve i = -2*q + k*q for q.
2
Let v = -120 + 71. Let r(c) = -2*c**2 - 12*c - 44. Let g be r(-5). Let l = g - v. Solve -l = -4*q + q for q.
5
Let t be 3/((-8)/((-528)/(-9))). Let c = 24 + t. Solve 5 = -3*r - c*r for r.
-1
Let u = -1 - -5. Suppose 5*c - 2*c + 3 = 0. Let z = u + c. Solve -z*l + 16 = l for l.
4
Let q(l) = -l**3 - 10. Let g be q(0). Let v = g - -7. Let k = v + 6. Solve -k = -2*s - 7 for s.
-2
Suppose -2*s + 68 = -8*d + 6*d, -2*s + 3*d = -68. Solve s*k - 31*k = 0 for k.
0
Let s = 76 + -44. Suppose 73*q + s = 75*q. Solve -2*x = 2*x + q for x.
-4
Suppose -33 = -d - 26. Let t(f) = f**3 - f**2 - f + 8. Let y be t(0). Let h = -5 + y. Solve 16 = -h*a + d*a for a.
4
Let j(o) = o**2 - 20*o + 5. Let z be j(20). Solve z = 38*n - 33*n for n.
1
Suppose 6*u - 7*u = -2*c + 5, 2*u = -c. Suppose -2*a + 7 = c*b - 3*b, 0 = -4*b - 2*a + 22. Solve b*y - 19 = -7 for y.
4
Suppose 2*n = 5*n + 6. Let h(q) = q**3 + 3*q**2 - q - 1. Let p be h(n). Solve -z = p - 2 for z.
-3
Suppose -15*v + 20*v = 20. Solve v*k = 5*k + 5 for k.
-5
Let a = 1 + -12. Let n(j) = -j**2 - 11*j + 3. Let k be n(a). Suppose -y + 5 = -3*h, -y - k*h - 1 = -0*y. Solve 0 = -y*m + m - 4 for m.
-4
Let n = -359 - -361. Let m(l) = l**3 + 5*l**2 - 6*l + 5. Let g be m(-6). Solve -t + g = -n*t for t.
-5
Let h(b) = b**3 - 29*b**2 - 25*b + 35. Let a be h(30). Solve -186*w + 5 = -a*w for w.
5
Let a be (46/(-3))/(2/(-3)). Solve 0 = m - 26 + a for m.
3
Let y(h) be the third derivative of h**4/24 + h**3/2 + 8*h**2. Let z be y(3). Suppose 2 = -o + 12. Solve -z*p + o = -p for p.
2
Suppose 34 = 3*r + 118. Let j = -19 - r. Suppose j*d = 5*d. Solve -5*i + d = -10 for i.
2
Suppose -5*a + 0*a - y + 11 = 0, -3*y = 4*a - 11. Suppose 3*q = a*q + 4. Let m be 4/(-14) - 16/(-7). Solve 0*j = m*j + q for j.
-2
Let k(d) = d + 21. Let p be k(-19). Suppose -2*h = h - p*y - 6, 0 = -5*y. Solve -h*j - 5 = -j for j.
-5
Suppose m = -6*v + v + 254, -2*v = 5*m - 120. Let j = 50 - v. Solve 0*w - w + 3 = j for w.
3
Let c(x) = x**3 + 10*x**2 - 2*x - 8. Let i be c(-10). Suppose -51 = -3*a - i. Solve 2*n - a = -5 for n.
4
Let y be -6*(-4)/36 - (-340)/12. Solve -49 + y = -4*m for m.
5
Let q = 31 - 24. Suppose q*x = 4*x. Solve c = -x - 5 for c.
-5
Let d be (-24)/16 - (-13)/2. Let i be 2/6*(-2 - (-55 + d)).