r - 5*v - 23 = g, r + 3 = -3*v - 8 for r.
-2
Let g = 17 - 13. Suppose -5*l + 14 = g. Let q be 34/6 + l/(-3). Solve q*t = -5*b - 15, -2*b - 4*t = -6*b + 28 for b.
2
Let f(b) = -3*b**2 + 24*b + 3. Let s be f(8). Let u(j) = j**2 + 3. Let o be u(0). Solve -5*d + s*d = 0, o = t + d for t.
3
Suppose 0 = -4*h + 4, 34 = 2*m - h + 13. Solve -3*y + 5*n = -6, m = -5*y + 2*n + 2 for y.
-3
Let q = 209 + -206. Solve q*s - 6 = -4*b, 1 = 2*s - 3 for b.
0
Let q be 3/(-9) - (-39)/9. Solve -q*x = -2*a + 2, -4 = -4*a - 3*x - 2*x for a.
1
Let z be (20/(-6))/((-86)/129). Solve 5*v + 15 = z*h, -v + 3 = -2*v for h.
0
Suppose -m - 5*k = -30, 4*m - 47*k - 44 = -48*k. Solve 2*x + 19 = -4*i - 1, -m = 2*i - x for i.
-5
Let m(r) = -7*r**2 + 7*r + 9. Let c(i) = 13*i**2 - 13*i - 18. Let g(w) = -6*c(w) - 11*m(w). Let j be g(0). Solve 0 = 4*h - 3*n - j, -1 = 4*h + 2*n + 5 for h.
0
Suppose 0 = -75*z + 10*z + 195. Solve -2*m = 3*t - 2, -z*t = -4*t - 2 for m.
4
Suppose 0 = 3*w, -3*r + 3*w = -4*r + 17. Let h = r + -20. Let u = 0 - h. Solve -u*k - n + 5*n + 2 = 0, 0 = 2*k - 4*n - 4 for k.
-2
Let b be -11 + 0 + -1 + 1. Suppose -4*c - 2*m - 52 = -7*c, c + 5*m = 6. Let l = b + c. Solve l*n = x - 12, -4*x - 2*n = -6*n for x.
-3
Suppose 107 = 7*c + 72. Solve 5*d + c*k = -30, 12 = -d - k - 3*k for d.
-4
Let r(k) be the third derivative of -k**6/120 + k**5/15 + 5*k**4/24 + k**3/3 + 5*k**2. Let p be r(5). Solve -p*n - 8 = 5*f + 17, n + f + 5 = 0 for n.
0
Let a = -198 - -203. Let o be (1 - 10/4)*-2. Suppose 4*c = -3*h + 16, h + 3*c - 3 = 4. Solve -d + 2*r - o + 2 = 0, 0 = a*d + h*r + 5 for d.
-1
Let v(f) = 3*f**2 + 2*f + 1. Let q be v(-1). Let y(h) = 3*h - 13*h + 4 - 1 - h**2 + 2. Let n be y(-10). Solve 0 = 4*a, n*a - 8 = q*j - 0*j for j.
-4
Let q(i) be the third derivative of -i**4/12 - 5*i**3/2 + 5*i**2. Let s be q(-13). Suppose 4*v - s - 1 = 0. Solve 0 = -g, 0*g + v = 3*f - 4*g for f.
1
Let w be 50/(-15) + (-2)/(-6). Let z = -7 - w. Let b be 7 + -3 + z + 3. Solve 5 - 36 = 5*c - b*x, 4*x - 3 = -c for c.
-5
Let x be 3/8 + (-1407)/(-536). Let b(s) = 4*s**2 - s + 1. Let u be b(1). Suppose 0 = t - 4*a - 1 + 6, 0 = -4*t + 4*a + u. Solve q - t = -x*m + 6, 3 = -q for m.
4
Let a(i) = i**3 - 12*i**2. Let y be a(12). Suppose y = 3*q - 15. Solve q*l = -k + 15, -3*k + 3*l - 26 = 1 for k.
-5
Suppose -2 = 5*y + 8, 4*u - 18 = y. Let m = -7 + 11. Solve 5*v = -5*z - 45, 0 = m*z - u*v - 0 - 4 for z.
-4
Let d = -1497 - -1501. Solve 0 = -3*t + 2*w - 4, -23 = -d*t + 3*w - 6*w for t.
2
Let t = -103 + 105. Solve -t*p = -3*p - 3*g - 3, 0 = 5*p - 2*g - 2 for p.
0
Let v(u) = u**3 - 14*u**2 - 16*u + 16. Let i be v(15). Suppose i - 4 = -q. Let m(o) = 2*o - 1. Let g be m(q). Solve 2*p - j = 7*p - 1, -5*j + g = -5*p for p.
0
Let u(h) = -2*h**2 + 12*h + 5. Let o be u(6). Solve 3*b = -0*b - o*f + 2, 0 = -b - 4*f - 4 for b.
4
Suppose 4*v = 7 + 5. Let i = -46 - -46. Suppose -2*q + o + 1 = -3*q, 2 = 4*q + 2*o. Solve -z - v*l + q = i, -3*l + 1 = -2 for z.
-1
Let l be -12*(-5)/10*4/6. Solve -l*n = 2*q + 18, -4*n + 4*q = 3*q + 3 for n.
-2
Suppose -5*k + 40 = 5*g, 9*g + 37 = 13*g - k. Solve 4*p - g = -5*h - 4, -35 = -5*h + 2*p for h.
5
Suppose -20 = -0*t - 4*t. Suppose t*o - 36 = 39. Suppose q + 3*q - o = 5*w, 0 = -5*q - 5*w - 15. Solve -p + 5*x - 2 = -q*p, x = 3*p - 8 for p.
3
Let j = -99 - -100. Let b be (5*9/(-90))/(j/(-10)). Solve 0 = -0*w - b*w - 3*o + 3, 13 = 3*w - o for w.
3
Suppose 4*i - 14 = q, 15*i - 4*q = 10*i + 12. Solve -3*z + 3*a = 3, i*z = a - 1 + 3 for z.
1
Let u be (12 - (-10 + 22))/(3 - 1). Solve 5*f = -d + 14, u = 4*f - 4*d - 17 + 1 for f.
3
Let q(b) = 17 - 3*b + 4*b + b - 4*b. Let z be q(6). Solve z*r - 2*v - 8 = -6*v, 2*r = v - 2 for r.
0
Suppose -17*t - 184 + 235 = 0. Solve -2*h - t*h = -3*v, -h + 2 = -v for h.
-3
Let r(d) = d + 26. Let y be r(-26). Solve -t - 2*t + 17 = -4*m, y = -2*m - 4*t + 8 for m.
-2
Suppose 0 = -4*t + 14*t - 30. Suppose -t*m + 33 - 3 = 0. Solve -2*w = 2*f - 0*w - m, 2*w = 3*f for f.
2
Let n be (-1)/((6/22)/(-3)). Solve 4*v - 2*r - r - n = 0, 0 = 5*v - 4*r - 14 for v.
2
Let p(f) = -5*f + 48. Let a be p(9). Suppose 3 = 3*c, t + 0*c = a*c. Solve 3*z - 5 = -4*l, 5*z + l - t + 6 = 0 for z.
-1
Suppose -124*u + 72 = -106*u. Solve -l = 2*p - 6, 14*l - 15*l - u*p = -10 for l.
2
Let t(j) = 64*j - 186. Let g be t(3). Solve 9*s - 3*u = 6*s + g, -u - 5 = -2*s for s.
3
Suppose 0 = 3*z - g - 40, 4*g = z + 2*g - 5. Suppose 10*l + 10 = z*l. Solve -3*m + 19 = 4*r - 0*m, m = -l*r + 7 for r.
1
Let n be 62/155 + 4/(-10). Solve -3*g - 6 = -g + 2*m, 2*g - 5*m - 29 = n for g.
2
Let r = 357 + -354. Let v be -10*(-4)/30*3. Solve -r*c + 14 = -t, 4*c = 2*c + v*t + 26 for c.
3
Let h(u) = u - 2. Let j be h(0). Let r be 3/6 - (-1)/j. Let l be (-12)/4 - ((-150)/6)/5. Solve 4*a - l*f + 10 + 12 = r, 0 = -4*a - f - 7 for a.
-3
Suppose -26 = -5*j - 0*j + 2*l, 0 = -3*l - 9. Suppose -5*k + j*k = -5. Solve -1 = k*a - 3*w - 15, 0 = -2*w - 6 for a.
1
Let t be (-2)/(-1)*9/2. Let v = 12 - t. Let j be 3/v + -2 + 3. Solve -j*p = 5*f - 3 - 1, 0 = 4*f - 2*p + 4 for f.
0
Let w(t) = -13*t - 255. Let q be w(-20). Solve 0 = 4*b - 3*d, q*b - 5*d = 3*b for b.
0
Suppose -12*v = -4*v + 640. Let c = 80 + v. Solve z + q = 6, -z + c*q = -2*q for z.
4
Let x = 12 + -9. Suppose 4*i + 2*s + 4 = -4, i + 8 = -2*s. Let w = x - i. Solve -2*m + j = -3, 5*m = -0*j - w*j + 35 for m.
4
Let k = 307 - 305. Solve k*q + 4*z + 2 = 0, 15 = -3*z - 2*z for q.
5
Suppose 6 + 30 = 4*g. Let o(p) = 6*p - 10. Let w be o(g). Let f = w + -19. Solve -5*z = -5*b + f, -2*z - 5 - 11 = -4*b for b.
3
Let m = 18 - -8. Suppose m*f - 9 = 23*f. Solve -f*u + 3*x = -6, 0*u - 8 = 2*u + 4*x for u.
0
Suppose 0 = 2*u - 2*t - 48, -t = -4 + 5. Solve -3*h = 2*b + 3*b + u, b - 3*h + 1 = 0 for b.
-4
Let m = -744 + 753. Solve 3*l = m, 2*i + 3*l - 3 = 5*i for i.
2
Let n(t) be the third derivative of t**4/24 + t**3/2 - 4*t**2. Let r be n(-4). Let m be 4 - (-3)/(-1) - r. Solve 0*w - 3*s + 4 = w, 5*w - 20 = -m*s for w.
4
Suppose 408 = 17*t - 5*t. Suppose -t = 3*r - 40. Suppose 24 + 1 = 5*a. Solve r*j - 5*j - 24 = 4*d, -3*j = -a*d - 3 for j.
-4
Let n(v) = 14*v**2 - 5*v - 1. Let z be n(1). Solve p - 5*b = 14, 4*b = -5*p + z*p - 9 for p.
-1
Suppose 5*n - 4*z + 2 - 4 = 0, -2*z = n - 6. Solve -3*w = -w + n, -w = 3*k - 2 for k.
1
Let q = 32 + -30. Suppose 5 = -q*l + 9. Solve 5*k - 5 = 0, -l*k - 2*k = -3*p - 16 for p.
-4
Let d = 0 - -2. Let x(s) = s**3 + 8*s**2 - 14*s. Let m be x(-10). Let k be (-3 + 2)/(2/m*2). Solve -d = -t, -k = 4*n + 2*t - 3 for n.
-4
Let q be 0/(3 - -1) - -2. Let y(o) = o**3 + 4*o**2 - o - 2. Let d(n) = n + 2. Let w be d(-6). Let j be y(w). Solve 2*b - b = -5*f, -j*f = q*b for f.
0
Let q = -63 + 36. Let y be 12/q*(-9)/2. Solve y*u = 3*t + 5*u - 12, -7 = -2*t - 3*u for t.
5
Let n = -54 - -94. Suppose 0 = -0*m + 8*m - n. Solve -4*g - z = 22 - 6, 0 = m*g + 2*z + 17 for g.
-5
Let p = 2161 - 2161. Solve 2*s - 10*k = -9*k - 3, p = -s + k + 1 for s.
-4
Suppose -3 = -3*i - i - n, -3*i + n = 3. Suppose -3*r + 5*u + 12 = 0, 2*r + 3*u - 20 = -12. Solve z = m, r*m + i*m = -z for m.
0
Let m(j) = -20 - 3*j - 11 + 5*j + 3. Let s be m(15). Suppose -1 + 3 = t. Solve 5*d = -s*l - 5, -2*l = -2*d - 0 - t for d.
-1
Let g(o) = -2*o - 8. Let i be g(-11). Let k = -243 + 256. Solve -x - k = 5*f, 4*f + x = -i + 4 for f.
-3
Suppose -5*i - 10 = -3*i. Let n = i + 6. Suppose -n - 11 = -3*k. Solve 2*s - 2*t + 2 + 8 = 0, k*t = -s - 5 for s.
-5
Suppose 30 = 2*u - 0*o + o, 90 = 5*u - 5*o. Let a = -31 - -33. Suppose 0 = q - j - 4, -q = -0*q - a*j - 6. Solve q*c = -2*x, 7*c - 3*x + u = 2*c for c.
-2
Let x = -63 + 72. Let b be (15/(-9))/((-15)/x). Solve -3*n = -3*t, 2*n + 4 + b = t for t.
-5
Let g = -1475 - -1475. Solve 5*n + 25 = 5*s, -3*n + g - 3 = 0 for s.
4
Let b(k) = 2*k + 6. Let c be b(-2). Solve c*z - 7 = 4*o - 9, 3*z + 19 = -2*o for z.
-5
Let a(w) = w + 19. Let l be a(-14). Let v(y) = -l*y + 6*y**3 - y**2 + 3*y - 4*y**3. Let i be v(2). Solve -2*x + i = -6*x + 2*f, 2*x - 2*f + 6 = 0 for x.
-1
Suppose 3 = k, -8*k + 3*k = 4*y - 35. Solve -2*q = -3*q + r + y, 4 = -4*q - 2*r for q.
1
Let d(v) = 3*v - 24. Let k be d(14). Let s be (22/(-33))/((-2)/k). Solve 4*w + s*t - t = -33, t = -w - 7 for w.
-2
Suppose 77*q = 74*q + 3. Solve -5*m + 19 = -5*i - q, -3*m = -4*i - 11 for i.
1
Let a(m) = m - 42. Let t be a(46