.
5
Suppose 5*v - 48 = v. Suppose 3*n = v - 0. Solve 4 = -n*o + 5*o for o.
4
Let g(i) = -i**2 + 12*i + 5. Let j be g(12). Suppose 3*c + 10 = -2*c + j*b, -2*c + 10 = 5*b. Solve -4*q + 0*q + 4 = c for q.
1
Let k be 3 + 5 + 4*(1 + -2). Solve 14 = -k*f + 26 for f.
3
Suppose -4*d - 8 = -3*x - 3*d, 20 = -4*d. Suppose -4*l - 2*v - 146 = l, -v = l + 28. Let b = 32 + l. Solve x + 7 = -b*q for q.
-4
Let i(v) = 4*v**3 + 37*v**2 + 24*v - 7. Let o(d) = d**3 + 9*d**2 + 6*d - 2. Let n(s) = 2*i(s) - 9*o(s). Let w be n(-6). Solve -19 = 3*t - w for t.
-5
Let r be (0 - (-27)/(-6))*112/(-168). Let f(y) = y**2 + 3*y - 4. Let j be f(-5). Solve -r*t = -j*t for t.
0
Suppose 4*x - 2*x = 16. Suppose -x*v - 270 = -13*v. Let d be 12/v + (-2)/9. Solve d = -w - w for w.
0
Let g = 20 - 13. Let c be 37 - (-3 + g)/4. Suppose c - 90 = -2*n. Solve -7 = 5*p - n for p.
4
Let c = 99 + -85. Solve -6 = 4*j + c for j.
-5
Suppose 60*q - 122 = 178. Solve -15*r = -q*r + 40 for r.
-4
Suppose 166 - 176 = -2*t. Solve -13 - t = 6*b for b.
-3
Let o(h) = -20*h + 56. Let g(m) = -7*m + 19. Let u(f) = -17*g(f) + 6*o(f). Let s = -300 - -309. Let i be u(s). Solve -11 + 31 = i*w for w.
5
Let l(y) = -7*y**3 + y**2 + y + 1. Suppose 5 = -3*a + 8*a. Let u be 2 + a/((-4)/12). Let m be l(u). Solve -3*b - m + 2 = 0 for b.
-2
Suppose 18 - 6 = -3*z. Let k(g) be the third derivative of -g**5/60 - g**4/4 - g**3/2 - 54*g**2. Let s be k(z). Solve -1 = s*x - 11 for x.
2
Let f = -1551 - -1554. Suppose -4*t + 9 + 4 = -b, -5*b + 11 = -t. Solve -t = d + f*d for d.
-1
Suppose -3*o = 5*w + 9, 15 = -5*o - w - 0. Let z = 7 + o. Suppose 0 = z*a - 9*a + 10. Solve -a*c + 7 = -1 for c.
4
Suppose -q = -32 + 24. Solve 5*y + 9 = q*y for y.
3
Suppose -3*c = 4*c - 3*c. Let d be -1*(-7)/(-7)*(0 - c). Solve d = 3*v + 3 for v.
-1
Let r be -6 - (75/(-7) - 48/168). Solve -r = 6*n - 35 for n.
5
Suppose -4*s + 4 = g, 2*g + 7*s - 6*s = 1. Solve 13*d - 15*d - 2 = g for d.
-1
Let m be ((-361)/(-570) - (-4)/(-30))*0. Solve m = 5*g - g for g.
0
Suppose -8 = 2*q, -3*q = -4*n + 18 - 2. Let w be ((-2)/8)/n + (-125)/(-20). Solve 3*y - w = y for y.
3
Let i be ((-6)/(-9))/(2/(-6)). Let t be (-1 - i) + -1 - -2. Let h be 4/2 - (-26)/39*15. Solve o + h = -t*o for o.
-4
Let u = -559 + 564. Solve -4 = -3*r + u*r for r.
-2
Suppose -15*r = 3*r - 180. Solve -c + 3*c = -r for c.
-5
Suppose 0 = 44*v - 34 - 3090. Solve 65*h = v*h - 30 for h.
5
Let a(x) = x**2 + 2*x - 4. Let j be a(-4). Suppose -j*h + 20 = h. Solve -4*g - h = -3*g for g.
-4
Let y be (3 - 4)*0 + 0. Suppose o + x = -y*o, -3*o = x - 6. Solve 16 = o*v - 7*v for v.
-4
Let o(d) = -d**3 - 2*d**2 + 4*d + 3. Let u be o(-3). Suppose u*g = -g - 1. Let a be g/(-5) - 9/45. Solve a = 2*y + 2 - 6 for y.
2
Let l = 414 + -401. Suppose -6 - 2 = -2*b. Solve -b = -3*x - l for x.
-3
Suppose 5*t = 4*i - 2*i + 15, 2*i + 20 = 4*t. Let v = -63 + 88. Let x = i + v. Solve -12 = -x*h + 2*h for h.
4
Suppose -16 = -15*y + 29. Solve -5*d + y = -22 for d.
5
Let l = 345 - 335. Solve -1 + l = 3*o for o.
3
Let l(i) = i**3 + 10*i**2 + 13*i - 21. Let y be l(-8). Let j = -14 - -18. Suppose -j*w = -3*w - 8. Solve -q - w = y*q for q.
-2
Let c be (11 + -11)/(3 + 0). Let t be (c - -1)*32/(-16). Let b be (1*-12 + 4)/t. Solve -l + 2 - b = 0 for l.
-2
Let n be 2/(-10) + (-22)/(-10). Let l be (-12)/16*(1 + -5). Suppose 3*a + 2*a - 14 = -3*k, 5*k = -4*a + 19. Solve -n*f - a = -l*f for f.
1
Suppose 0*c + 3*c = 4*x + 118, 0 = -2*c + 4. Let g = 30 + x. Solve -11 = -3*y - g for y.
3
Let v(f) = 2*f**2 - 16. Let d be v(-4). Solve -33 = 5*m - d*m for m.
3
Suppose -13 + 6 = -4*r - 5*k, -3*k + 9 = 0. Let a = r - -2. Solve a = 5*u - 24 - 1 for u.
5
Suppose -7*k = -k - 180. Suppose 3*g = g + k. Let b be ((-20)/(-25))/(2/10). Solve -g = -j - b*j for j.
3
Let d(h) = -h**3 - 3*h**2 + h - 4. Let w be d(-3). Let i(j) = j**2 + 7*j. Let r be i(w). Solve r = -0*g - 3*g - 15 for g.
-5
Suppose -2*h = -7*h + 3*v + 255, 2*h - 106 = 2*v. Suppose -3 = 5*y - h. Solve -3*w + 0*w - y = 0 for w.
-3
Suppose 378 + 294 = 12*b. Suppose 55*z = b*z. Solve z*l = -l - 2 for l.
-2
Let d(f) = -f**3 + 8*f**2 - f + 16. Let h be d(8). Let j be 12 - 1/(2/h). Solve 3*b - j = b for b.
4
Let c(v) = -60*v - 10. Let x be c(-3). Suppose 0 = y - 6*y - x. Let u = -29 - y. Solve u*z - 3 = 2*z for z.
1
Let f be 4 - 2 - (0 + 0). Suppose 3*q - f*b = 15, 0 = b + 3. Solve l = q - 7 for l.
-4
Let g = -18 + 7. Let t = g - -11. Solve -4*l = -t*l - 12 for l.
3
Let o = 71 + -53. Let j = o - 16. Solve j*k = -0*k - 10 for k.
-5
Let g be 2 + ((-48)/(-4) - 2). Suppose -9*h = -13*h + g. Solve -h = -2*l - 9 for l.
-3
Let h(t) = t**2 + 8*t + 11. Let d be ((-17)/5 + 1)*130/39. Let r be h(d). Solve r = 3*p - 1 for p.
4
Let k be 189/(-4) + (21/(-12) - -2). Let g = -45 - k. Solve -g*x = 1 - 5 for x.
2
Let a = 64 - -62. Let y = -111 + a. Solve y = -9*j + 4*j for j.
-3
Let p = 23 + -20. Suppose -3*g + 3*y + 38 = -2*y, 4*g - 36 = p*y. Let h = 3 - 3. Solve -g = -h*d + 2*d for d.
-3
Suppose 5*w - 37 = 2*f + 33, 0 = -2*w + 4*f + 44. Solve 0 = 9*a + 6 + w for a.
-2
Let p(n) = 2*n**2 - 7*n + 4. Let x be p(4). Let u(f) = -30*f + x*f**2 - f**3 - 4 + 27*f - 4. Let y be u(7). Solve -4*b = b + y for b.
-4
Let n be (0 + 14 - 2)/1. Let j be (n/9)/((-4)/6). Let r = j - -5. Solve 0 = -o + r*o - 2 for o.
1
Let y(c) = 2*c + 6. Let z = -46 - -64. Suppose -l + 7*l = -z. Let b be y(l). Solve b = -3*p + 11 - 2 for p.
3
Suppose 432 = 16*r + 20*r. Solve -53*p - r = -49*p for p.
-3
Suppose 0 = 3*d + 4 - 1, d + 41 = 2*g. Let c = -21 + 12. Let r be 27/(c/(-3)) + -3. Solve -a + r*a - g = 0 for a.
4
Suppose -2*b - 4 = -2*v, -6*v = 5*b - 9*v + 6. Solve -3*f = -b*f for f.
0
Suppose 5*z + 4*a - 32 = z, 4*a - 4 = 0. Solve -z*l + 9 = -4*l for l.
3
Let n = 17 + -5. Let p(w) = 2*w - 17. Let y be p(10). Solve 5*c - n = y for c.
3
Let c = 172 - 171. Solve 0 = -5*g + 4*g - c for g.
-1
Let b = -4 + -3. Let p = b - -10. Suppose -f - 3*f = -4*h + 100, 12 = -p*f. Solve -5*i - h - 4 = 0 for i.
-5
Suppose 41*d - 39*d + 5*w - 26 = 0, 46 = 3*d + 4*w. Solve -21*a + d = -27*a for a.
-3
Let w(s) = 2*s - 9. Let t = -2 - -7. Let k be w(t). Solve 0 = -n - k + 3 for n.
2
Let x = -16 - -121. Let n = x + -102. Solve 0 = -j - 2 - n for j.
-5
Suppose -4*n + 13 - 1 = 0. Suppose -5*v - n*q + 21 = 0, 5*q = -0*v + v + 7. Suppose -o - y + 5 = -v, 4*o - 5*y - 5 = 0. Solve 2*u - o*u = -6 for u.
2
Let r(m) = m**2 - 4*m + 4. Let g be r(4). Let i(b) = -1 + 5 + b**2 + 3 - 6088*b + 6085*b. Let f be i(g). Solve 0 = 3*o + 1 + f for o.
-4
Let y = -20 - -24. Suppose y*i - i - 45 = 0. Solve 0*n - 3*n = i for n.
-5
Let f = 0 + 5. Suppose -3*z = -4*r - 12, -f*z = -0*r + 5*r - 20. Let u be r*(5/(-3))/5. Solve -g + 1 - 3 = u for g.
-2
Let o be 3/(-9)*(-72)/2. Let g = o - 7. Suppose -4*l + 19 = -g. Solve 3*x - 3 = l*x for x.
-1
Let k be -17*3/((-3)/1). Let u = k + -25. Let l = -8 - u. Solve 0*c - 3*c = l for c.
0
Let w(v) = v. Let s be w(0). Let b = 53 - 28. Let f = 39 - b. Solve -3*p - 5 + f = s for p.
3
Suppose -3*l + 3*f = 3, -3*l - f + 13 = -0. Solve -9*c = -l*c + 6 for c.
-1
Let k(b) = 3 - 8 + b**2 + 0*b**2 - 9 - 7*b. Let u be k(9). Solve 0 = u*w - 2*w for w.
0
Let s = 9 - 7. Suppose -s*w + 7*w = 35. Suppose w*z = 11*z. Solve 0 = 4*r - z - 4 for r.
1
Suppose 5*u = 2*s - 5, 3*s + s + 2*u + 2 = 0. Solve 7*f + 25 - 18 = s for f.
-1
Suppose 25 = -5*t - 35. Let v be t/(0 - 2) - -3. Suppose x + v = 5*f - 6, x - 13 = -2*f. Solve -3*j = -f + 1 for j.
1
Let v = 34 - 9. Let p(c) = -8*c + 56. Let l be p(7). Solve l*f + v = -5*f for f.
-5
Let o(c) = -c**3 - 3*c**2 - 5*c - 7. Let r be o(-4). Suppose -7*z + 134 = r. Solve 0 = -2*k - k + z for k.
5
Suppose -2*i + 2*u = -0*u, 5*i - 4*u = 2. Suppose -3*t - 6 = 0, -2*t - i*t = -j + 8. Solve j*p + 12 = -3*p for p.
-4
Let d be ((-4)/(-24)*14)/(1/(-3)). Let z = 9 + d. Solve z*u + 12 = 6*u for u.
3
Let w(s) = 3*s**2 - 8*s + 40. Let b be w(6). Let h be 1/10 + 1290/b. Solve -9 = -10*z + h*z for z.
-3
Suppose 0 = 3*v - 7 - 2. Let j = v - -3. Suppose 0 = 3*g - j*a + 2*a, -g = -a. Solve k - 3 = -g*k for k.
3
Let o(p) be the first derivative of 24*p + 1/3*p**3 - 1/2*p**2 - 1. Let h be o(0). Solve 8 = -4*l + h for l.
4
Let c = -388 - -397. Solve -2*b + c - 17 = 0 for b.
-4
Let a = -302 - -305. Solve 0 = -a*m + 6*m - m for m.
0
Suppose 0 = -p + 76 - 76. Solv