v - s*v. Solve v = -3*a - 2*a for a.
0
Suppose 20 = 3*k + 5. Let q = -37 - -42. Suppose -q*s = 5*f - 15, 2*s + 5*f = -0*s + 9. Solve -s*y = -k*y for y.
0
Suppose 5*b + 32 = b. Let i be (-66)/b + (-2)/8. Solve 2*x - 4*x + i = 0 for x.
4
Suppose -10*p + 144 + 96 = 0. Solve 4*s = 8 - p for s.
-4
Let k be (0 - 0)/(4 - 6). Suppose 3*i + q + 28 = k, 0 = -7*i + 4*i + 5*q - 22. Let u be -24*6/i*1. Solve 3*r = -r + u for r.
4
Let s = 56 - 44. Let g(n) = -n + 12. Let d be g(s). Solve d*w - w = -3 for w.
3
Suppose 2*i - 2*l + 4*l - 148 = 0, 4*i + 3*l - 294 = 0. Suppose -2*c + i = 66. Let q = 0 + 0. Solve q = f - c*f - 2 for f.
-1
Let l be (0 + 18)/(-3 - -2). Let c = l + 25. Solve -4*q - c = 1 for q.
-2
Suppose 0 = p + 23 - 22, -4*s + 3*p = -83. Solve 4*z + 4 = s for z.
4
Suppose -4 = -2*d - 2*m - 8, -5*d + 3*m + 30 = 0. Suppose 48 = d*q + 30. Solve 0 = b - q*b + 5 for b.
1
Suppose 5*s = -5*z + 15, -3*z - 7 + 17 = 4*s. Let c(g) = -g + 21. Let v be c(13). Solve -3*y = -z + v for y.
-2
Suppose -91 = -a - 4*t, -3*a - 14*t + 273 = -19*t. Solve 105*d - 70 = a*d for d.
5
Let x = 85 - 77. Suppose 9 = 6*r - 9. Solve a + r*a - x = 0 for a.
2
Let l = 11 + -16. Let c(d) be the first derivative of d**4/4 + 4*d**3/3 - 3*d**2 - 4*d + 3. Let a be c(l). Solve j + a = -0*j for j.
-1
Let t = -308 + 359. Solve 5*p = 36 - t for p.
-3
Let b = -6 + 11. Suppose -4*y + 2*y = 5*u + b, 3*u - 35 = -5*y. Let n = -9 + 13. Solve -y = 3*a - n for a.
-2
Let t(c) = c**2 - 8*c - 6. Let m be t(9). Suppose 0 = m*s - s - 48. Let n be 84/s - 1/(-2). Solve 23 - 3 = -n*r for r.
-5
Let i be 3/12 + 59/4. Suppose i = -5*a, -2*b + a + 1 = -0*b. Let n be -3*2/2*b. Solve -n*q - 4 - 2 = 0 for q.
-2
Suppose -5*s - 138 = -28*s. Solve 0*o - 3*o - s = 0 for o.
-2
Let t(d) = 89*d**2 + d - 1. Let a be t(1). Let m = 92 - a. Suppose 3*l = 2*h + 6, 3 = 5*l - 0*l - h. Solve -m*i + 2*i + 5 = l for i.
5
Let l(n) = -n**2 + n. Let c be l(1). Let k = -91 - -70. Let g be k/(-14) - (2 - 14/4). Solve 0*d - g*d = c for d.
0
Suppose 5*t - 12 = 3, 0 = 3*s + 5*t - 27. Suppose 5*w - 32 = w. Let h = 7 + w. Solve s*f + h = -5 for f.
-5
Let z be (-4)/34 + (-5456)/(-136). Let c = z - 37. Solve -b + 2*b - c = 0 for b.
3
Let t(p) = -p**3 + 19*p**2 + 11*p - 37. Let w be t(19). Let v = w + -162. Solve v = k + 4*k for k.
2
Let u = 83 + -125. Let v = 42 + u. Solve -5*r + 20 = -v for r.
4
Let q = 3 - 9. Let o(h) = -h**2 - 5*h + 6. Let g be o(q). Let d = 38 + -33. Solve d*v + 7 + 3 = g for v.
-2
Suppose 5*g + 5*g - 200 = 0. Suppose 115*x - g = 111*x. Let c = -5 + 10. Solve x*z + 15 - c = 0 for z.
-2
Let c(z) = -z**2 - 17*z - 48. Let b be c(-13). Let u(l) = l**2 - 6*l + 2. Let f be u(6). Suppose -f*r = -a, 5*a - 5*r + 1 = 6. Solve a - b = q for q.
-2
Let o(l) = l**3 + 8*l**2 + 11*l + 2. Let j be o(-6). Solve -j*r - 1 = -7*r for r.
-1
Suppose 1 = -u + 2. Let w be 16 + -1 + 3/u. Let v = w + -13. Solve 2*m = 3*m - v for m.
5
Suppose 2*v - 10 = 2*s, -22*s + 17 = 4*v - 25*s. Solve -v = k - 2*k for k.
2
Let y(c) = -c**2 + 6*c. Let m be y(6). Suppose 3*b - 7*b + 20 = m. Let z be 1 + b/((-5)/(-3)). Solve -2*i = z + 4 for i.
-4
Suppose 32*x = 210 + 302. Solve -7*b + 2 = x for b.
-2
Suppose -11*f = -10*f + 3, 4*g - 5*f = 19. Solve 3*c - 2*c = g for c.
1
Suppose -5*y - 2*s = 7, -6*y - 3*s = -2*y + 7. Let t be y/((-7)/2 + 3). Solve t*a + 8 = -0*a for a.
-4
Let z be 2/20*1 + 54230/1700. Solve b + 31 = z for b.
1
Suppose 0 = -4*w + 3*w - 13. Let l = w - -11. Let h be (3/l)/(6/(-72)). Solve -7 = 5*m + h for m.
-5
Suppose -4*i = -16, 18*t - 17*t - 5*i + 36 = 0. Let s(l) = 4*l**2 - 3*l - 1. Let h be s(-2). Let b = t + h. Solve 4*a + 1 = b for a.
1
Let h = 146 + -140. Solve 4*x - 10 - h = 0 for x.
4
Let j(m) = m**2 - 23*m - 47. Let a be j(25). Solve -3*h - a*h = 3*h for h.
0
Let n = 49 + -51. Let w be (-6)/n*(-8)/12*-1. Solve o - w = -0 for o.
2
Suppose 2*c = r, 2*c - 2 - 2 = 0. Let l be 18/117*117/9. Solve -r - 4 = -l*v for v.
4
Let t = -177 + 182. Solve 2*a + t = 3*a for a.
5
Suppose 24 = 2*v + 2*o, -7 = -2*o - 17. Suppose 0 = -2*g + v + 13. Solve -6*l = -3*l - g for l.
5
Let f = -16 - -26. Let w = 3 - f. Let x = -2 - w. Solve -4 = 3*l + x for l.
-3
Suppose -6*b = -7*b + 4. Solve u + b = 5 for u.
1
Let w be (-8)/(-6)*18/4. Let n = -72 - -74. Solve 5*j = n*j - w for j.
-2
Suppose s = -s + 6. Suppose 4*h = 5*z + 1, -6*h + 2*h + 28 = 4*z. Solve v = s*v - h for v.
2
Suppose -3*f + 13 = -2. Let t(w) = -w**2 + 5*w + 6. Let z be t(f). Solve i + 1 = z for i.
5
Let n(v) be the first derivative of -v**4/4 - 5*v**3/3 - 5*v**2/2 - 5. Let i be n(-4). Let m = 68 - 60. Solve -3*l + m = -i for l.
4
Let g be (1/((-9)/24))/(8/(-36)). Solve -g = 2*k - 5*k for k.
4
Suppose -5*c = 6*c + 2*c. Solve -l + c*l = -3 for l.
3
Suppose -7*s = 2*s - 270. Let w = 39 - s. Solve -w = h - 4 for h.
-5
Suppose j + 22 = 33. Suppose 12 = j*d - 43. Solve -3*v = -d + 14 for v.
-3
Suppose -2*f + 6*n - 3*n = -155, -4*f + 5*n + 315 = 0. Let u be f/3 - (-5)/(-15). Suppose 2*x - 7 = -2*q + 19, 4*q = -x + u. Solve 0 = p + p + x for p.
-4
Let v = 216 + -194. Solve 27*w - v*w = 0 for w.
0
Suppose 0*z = -5*z + 5*q + 35, 0 = -2*z - 3*q + 34. Solve 3 = -4*k + z for k.
2
Let s(m) = m**3 - 17*m**2 - 16*m - 33. Let q be s(18). Solve 2*k = -k + q for k.
1
Suppose -2*o = -100 + 96. Solve -o*t = -4*t - 4 for t.
-2
Let h(d) = d**3 - 9*d**2 + 31*d + 16. Let k be h(5). Solve -7*f - k = -99 for f.
4
Let l(u) = 3*u - 4. Let o be l(4). Suppose 0 = -o*x + 3*x + 185. Solve -x = -5*b - 12 for b.
5
Suppose 12 = 3*d - 15. Suppose -2*a + d = a. Solve 0 = a*t - 8 + 23 for t.
-5
Suppose -4*k = 5*r - 57, -4*r + 30 = -k + 3*k. Let a = -11 + k. Solve 0 = a*o - 3*o for o.
0
Suppose -5*s = -3*r - 144 - 85, 3*s + 4*r = 149. Let v = 50 - s. Solve v = 2*n + 1 for n.
1
Let a = 49 + -46. Suppose 3 = -a*w + 21. Solve -w*c = -c + 20 for c.
-4
Let m(h) = 2*h**2 - 3*h + 2. Let z be m(0). Let y be -1 - (-6 - -4)/z. Solve y = 3*r + r for r.
0
Suppose -8*k + 72 - 72 = 0. Solve 4*g + 3*g + 21 = k for g.
-3
Let z(t) = t**3 + 5*t**2 + 2*t + 22. Let w be z(-5). Solve 15 = o + w for o.
3
Let v(n) = -n**2 - 11*n - 13. Let g be v(-8). Solve g*r = 10*r - 2 for r.
-2
Let o be (75/(-6))/(-1)*52/65. Solve -8*n + 3*n = o for n.
-2
Let n be (-5)/(-1 - (-12)/8). Let v be n/12*2*9. Let i be 6/3*v/(-10). Solve 5 = i*g - 4 for g.
3
Let t = 5 - 2. Suppose m - 5*m = -3*m. Solve t = -m*z + z for z.
3
Let m(z) = 6*z**2 + 11*z + 2 + 7*z**2 - 4*z**2 + 3*z**2 + z**3. Let l be m(-11). Solve -u = -l*u for u.
0
Let o(n) = -n**2 - 6*n - 6. Let l be o(-4). Let a(x) = 2*x + 19. Let v be a(-6). Suppose 3 = v*m - 6*m. Solve -m = c - l for c.
-1
Let q(v) be the second derivative of -1/2*v**2 + 1/2*v**3 + 0 - 2*v + 1/12*v**4. Let k be q(-4). Solve -k*a = -0 - 3 for a.
1
Let g be 2/((-5)/(315/(-6))). Suppose l - 6*w = -3*w + g, 5*w + 65 = 5*l. Solve -4*y = -y - l for y.
3
Let x be 6/14 - (744/(-28) + 5). Suppose -46 + x = -v. Solve -v = -5*a + 1 for a.
5
Suppose 2*t - 23 - 7 = 0. Let b be 2/4*-2*31. Let g be b/(-5) + (-1)/5. Solve 0 = -3*o - g + t for o.
3
Suppose -q + z = -6, -4*q + 8*q - 21 = 3*z. Solve -q = -5*r + 2 for r.
1
Let a be 158/22 - (-10)/(-55). Suppose -6*q - 23 = -a*q. Solve -3*t - q = -8 for t.
-5
Let a(u) = -u + 11. Let w be a(7). Let n(f) = f**3 + 8*f**2 + 7*f - 1. Let r be n(-7). Let x be r/w + 4/16. Solve x*l - 3*l = 0 for l.
0
Suppose -g = -4*w + 5, 5*g + w - 13 = 2*w. Solve -2 = -4*d + g*d for d.
2
Let r(c) = c + 48. Let u be r(-13). Solve 0 = 3*l + 4*l + u for l.
-5
Suppose -1 = 13*v - 183. Solve -v*w + 5*w + 45 = 0 for w.
5
Let z(a) = -a**3 - 7*a**2 - 4*a + 13. Let o be z(-6). Let k(m) = m**3 + 6*m**2 - 2*m - 8. Let p be k(-6). Solve -c - o - p = 0 for c.
-5
Let t be (0 + 0)/((-8)/4). Let n be 3*(-2 + 3 - t). Suppose 0 = 2*r - 5 - n. Solve -r*v = v + 20 for v.
-4
Let b be (-12)/(-30) - (-16)/10. Let p(r) = r**3 - 3*r - 4 - r - r**2 - r**b + 0*r**2. Let x be p(4). Solve x = -4*q + 4 for q.
-2
Suppose -3*t + 28 = t + 4*y, -5*y = -2*t. Suppose -t*z - 112 = -117. Solve -4*g + z = 5 for g.
-1
Let j be -7 + (-3)/((-27)/72). Let z = -4 + 8. Solve -5*w + j = -z for w.
1
Let k(p) = -p**2 - 26*p + 3. Suppose 104 = -97*m + 93*m. Let v be k(m). Solve -2*s = v*s for s.
0
Let b be (-20)/9 + (-8)/(-36). Let v be (36/27)/(b/30*-2). Solve 5*l - v = 3*l for l.
5