4*i - r*v for i.
0
Let b(t) = 2*t**3 - 8*t**2 + 4*t - 9. Let q be b(4). Suppose 5*c + 0*c = 10, w - c = q. Solve -5*i = v + w, -2*i - 3*v - 17 + 3 = 0 for i.
-1
Suppose -9*z = -65 + 47. Solve j = 3*n - z*j + 3, 0 = -2*n - 4*j + 22 for n.
3
Let j(s) = -s**2 + 7*s + 2. Let p be j(8). Let o be (-138)/(-33) - p/(-33). Suppose -c = -o*c. Solve -2*t + 13 = -v, -2*v - 4*t + 2*t - 2 = c for v.
-5
Suppose 7*g - 144 = -9*g. Solve -2*u = -4*h - 6, -5*u + 3*u = -h - g for h.
1
Suppose -1637*y - 126 = -1651*y. Solve 2*g = 3*f - 10, 5*g - y*f + 8 = -10*f for g.
-2
Let i be 17 - (-3 - (-3)/1). Let w(f) = f**3 - 17*f**2 + f - 12. Let a be w(i). Solve 0 = -4*k - 4, 0*k + a*k + 15 = -5*n for n.
-2
Let a = 74 - 74. Let u be (90/(-105))/(4/(-14)). Solve -u*g - 25 = 5*z + 2*g, a = -z - 5*g - 17 for z.
-2
Suppose m = -5*t + 14, -2*t - m + 20 = 3*m. Solve -2*k + 3*a + 7 = 0, 5*a - 1 = -t*k - k for k.
2
Suppose 3 = 2*n + 3. Let y be (-3 - -2)/(1/(-8)). Solve -2*k - 2 = c - n*k, 0 = -c - 5*k - y for c.
2
Let w(k) = -7 + 3 - 4 + k. Suppose -36*v + 38*v - 24 = 0. Let j be w(v). Solve 6*i - 3*i = -n - 11, -j*i - 40 = -5*n for n.
4
Suppose -3*w = -5*c + 3*c - 6, 0 = w - 5*c - 2. Let a = 36 + -29. Suppose 5*q + 20 = -2*f, 3*f - 13 - a = 5*q. Solve 0 = -w*z - g - 8, f = g - 4*g for z.
-4
Let o be -4 - (-69)/(-2)*(-66)/99. Solve -3*x + 5*f + o = -2*x, 0 = 3*x + 4*f for x.
4
Let y(w) = 9*w - 49. Let j be y(6). Let n(l) = l**3 - l**2 - 5*l + 4. Let z be n(3). Suppose -j*q = -z*q + 8. Solve 0 = k - 5*h - 24, q*h - h = -5*k + 8 for k.
4
Suppose 2*n = 4*n - 4*u - 6, 4*u = 0. Suppose a + s - 4 = 5, 4*a - 34 = -2*s. Suppose -a - 16 = -3*b. Solve -3*l = 2*q + 14, n*q - 7*q - b = -4*l for q.
-4
Suppose 102*n = 85*n + 85. Solve -2*f + 4*m - 6 = 2*m, n*f + 4*m + 24 = 0 for f.
-4
Let a = -12 - -12. Let q = 0 + a. Let d(s) = s**3 + s**2 + 2. Let y be d(q). Solve -5*c - 12 = -2*w, 0 = 2*c - y*w + 6 for c.
-2
Let h(i) be the third derivative of i**4/24 - 3*i**2. Let y be h(0). Let w be 10*(y - 5/(-2)). Solve 3*a - 4*x = 31, 5*a - 3*x - 12 = w for a.
5
Let h be (-5)/2*(-352)/220. Solve -4*r + 2*r - 1 = v, 0 = -h*v + 3*r - 4 for v.
-1
Let y = 34 - -20. Let l = y + -36. Solve 12 = -o - o + 4*r, -5*o - 2*r = l for o.
-4
Suppose 3*k - b = 7*k - 9, 5*k - 15 = -5*b. Solve -4 = k*z - 5*w, -4*w + 7*w + 6 = 4*z for z.
3
Suppose -13 + 8 = 4*i + 5*g, -3*g = 3*i. Solve -2*h = -3*f - 5, -h + 5*f = i - 4 for h.
4
Let f be 18/((-4)/(-12)*-3). Let a = -16 - f. Suppose 0*k - k + a = 0. Solve k*s = -s + t, 2*t = -s for s.
0
Let s = 289 - 285. Solve -2*o - 5*q = -3*o - 7, 11 = o + s*q for o.
3
Suppose 0*a = 3*a + 4*w - 21, 0 = -2*a + w + 14. Let g be (-3*1)/((-51)/34). Suppose -g*h - h = 0. Solve -3*r - a = 5*q - h*r, -10 = 2*q + 3*r for q.
1
Suppose 3*a - 36 = -4*o - 1, 3*a - 2*o - 5 = 0. Solve 0 = -4*b - q - 14, a*q = -4*b - 5 - 1 for b.
-4
Suppose r = j + 4*j - 44, j = -5*r - 272. Let l be 6/(-15) + r*3/(-30). Solve -2*y = t + y - l, -t + 1 = y for t.
-1
Let t = -1444 - -1447. Solve -4*d - t*o - 15 = 0, 3*d = -o - 3*o - 13 for d.
-3
Suppose 2*c - 4*f = -18, -3*c - 17 = -7*f + 3*f. Solve h + c = -s, 0 + 2 = 4*s - 2*h for s.
0
Let r(d) = -d**2 + 4*d - 4. Let o be r(4). Let y be o/30 - 62/(-15). Solve -u + i = -y*u - 18, -u + 3*i + 4 = 0 for u.
-5
Let f(q) = q - 24. Let d be f(27). Solve -3*u = d*k + 24, -k + 5*k - u = -7 for k.
-3
Let q = 4 + 1. Suppose -4*p - 5 = -q*p. Suppose 2*a + j = 7 + 1, 0 = -5*a + p*j + 20. Solve v - o = -3, -4*v + 0*o = 4*o - a for v.
-1
Suppose 5*k = -0*k + 30. Suppose -7*b + k*b + 3 = 0. Solve -6*c + 2*c - 8 = b*n, 3*c = -4*n - 13 for n.
-4
Let z = -481 + 484. Solve 2*o + 3*r - 5 = 0, 0 = -r - 2*r + z for o.
1
Let c be (-3)/6*8/2. Let p be 4*(-1)/(-4) - c. Suppose 3*z + p*d + 3 = 0, -4*d - 64 = -5*z - 24. Solve g = -n - 4, -g - 14 = g + z*n for g.
-1
Let p(d) = d**3 + d**2 + 32. Let u be p(0). Let n be ((-8)/5)/(u/(-80)). Solve -n*a - 2 = i, -4*a + a + 2*i = -4 for a.
0
Let l be 5/4*5/((-10)/(-8)). Solve -4*t = -2*q - 3 + l, 0 = 4*q - 20 for t.
2
Let s be (3/(-3))/(-3) + 42/9. Solve 0 = -3*c - s*w - 17, 2 + 13 = -c - 4*w for c.
1
Suppose -37 = -2*x - 27. Solve r = -x*h - 19, 3*r + 9 = 2*h - h for h.
-3
Suppose -66 - 64 = -13*g. Solve 2*k + 4*w - 16 = -36, 2*w + g = 4*k for k.
0
Suppose 4*z = 10 + 6. Suppose -18 = -3*k - 9. Let f be k/15 - (-9)/5. Solve 2*s + 0*s + f*r - z = 0, 4 = 2*s - 4*r for s.
2
Let y(d) = 12*d - 6. Let r(o) = -14*o + 5. Let u(m) = 5*r(m) + 6*y(m). Let x = -2 + 11. Let p be u(x). Solve 3*l - 4*n - 24 = 0, 4*l + n = -2*n + p for l.
4
Let g = 25 + 9. Let k = -30 + g. Solve 2*w + 8 = -k*n, -3*n = w + 3 + 1 for w.
-4
Let b(q) = -q**3 - 5*q**2 - 4*q - 4. Let t be b(-4). Let y be -3 + t/1 + 7. Suppose 3*u - 90 = -y*u. Solve 0 = 4*k, 5*k - 5 + u = 5*r for r.
5
Let m be 9/6*24/18. Let i be (m/(-7))/((-2)/28). Solve 0 = 5*d + 2*t + 18, -4*t + i = -0*t for d.
-4
Let b = 10 - 7. Suppose 0 = -b*j + 4*j. Suppose -h + 3 = j, 5*z - 3 = h + 4. Solve 5*r + 5*p = -15, 0 = -5*r + p - 19 - z for r.
-4
Let f be 2/(-2)*(3/(-1) + -2). Let z be 4*f/(-10) + (0 - -3). Solve -x = -5*s - 21, s = -2*x - 1 - z for x.
1
Let k = -2689 + 2692. Solve -5*h - k*i = 0, 3*i + 3 - 18 = 0 for h.
-3
Suppose 20 + 19 = 3*z + 5*o, 5*o + 17 = 4*z. Let h = z - -28. Suppose -30 = 2*i - h. Solve -5*d = 4*b - 10, -i*b = -d - 3*d + 8 for b.
0
Let o(t) be the third derivative of 1/60*t**5 - 3/8*t**4 - 11*t**2 + 0*t + 0 - 7/6*t**3. Let r be o(10). Solve -5 = r*y - 4*w - 4, 2*y + 4*w - 6 = 0 for y.
1
Let y = 20 - 42. Let q = y + 40. Let d(m) = -m**3 - 8*m**2 + 2. Let n be d(-8). Solve -4*i - 3*b + n = -0*i, -5*b - q = -4*i for i.
2
Suppose 0 = 93*m - 69 - 210. Solve -5*t = -3*y + 24, -3*t - 6 = -2*y + m*y for t.
-3
Let m = 0 + 5. Let l(f) = f**3 + 2*f**2 + 6*f - 7. Let h be l(1). Solve 4*g - h*a + a - 3 = 0, -4*g + m = a for g.
1
Let y = -708 - -712. Solve 5*u + 10 = -5*t, 7*u + 5*t + 14 = y*u for u.
2
Suppose -d - 59 = -64. Suppose -5*f - 5*i + 8 + 32 = 0, i - 12 = -2*f. Solve 3*w = 5*m - m - f, -m + 1 = d*w for m.
1
Let c be ((-6)/4)/((-3)/4). Suppose -3*y - 80 = -3*o - 29, 5*y - 7*y = 0. Solve c*h = 3*s - o, -s = -2*h - 8 - 3 for h.
-4
Suppose -20*k = -72 - 228. Solve 40 = 4*f + 5*l, -51 + k = -4*f - 4*l for f.
5
Let w(h) = -17*h + 6. Let l be w(4). Let f = 84 + l. Solve 3*m + 20 = -4*r, -5*m + 3*r = -f + 7 for m.
0
Let f(y) = y**3 + 14*y**2 - 16*y - 3. Let r be f(-15). Solve 0 = 5*n - 5*z - 35, -6*z - r = -3*z for n.
3
Let c = -2 + 4. Suppose -c*x + 2*l = -8, -3*l + 1 = -x + 5. Suppose 0 = z - x*z. Solve -5*a - 6 - 4 = z, 2*w + 2 = -2*a for w.
1
Let l(f) = f**3 - 26*f**2 + 19. Let j be l(26). Suppose -2*t + j = 13. Suppose i = -i. Solve 3*c + b + t*b + 11 = i, -7 = c + 3*b for c.
-1
Suppose 0 = 3*q - 2*q. Suppose 29*l - 24*l - 10 = 0. Solve q = -3*g - l*f, g - f = -0*g for g.
0
Let a = -7 + -64. Let c = a + 73. Solve -c*j + 4*z + 5 = -23, -5*j + 3*z = -35 for j.
4
Let x = -72 + -2. Let m = x + 78. Solve 5*f - k + 2 + 0 = 0, 0 = f - m*k - 11 for f.
-1
Let v be 10/(-30)*(-4 - (-4)/(-2)). Solve -2*o - x - 11 = -4*x, -o = 2*x + v for o.
-4
Suppose a - 6 = -1. Let r = 8 - a. Suppose k - 4*k - 27 = -r*p, 5*p - 40 = 4*k. Solve 30 = 5*q + p*l, -l = q + l - 12 for q.
2
Let y be (4 + 6)/((-20)/(-24)). Solve 2*m = -3*z + 6*z - y, -4*z + 3*m + 17 = 0 for z.
2
Suppose -s - f = -2, 5*f - 8 = 4*s + f. Let t = -2 + 9. Suppose l - g = 8, -t*l + 2*l + 3*g + 32 = 0. Solve d + 2 = w, s = d + 4*w + l - 2 for d.
-2
Suppose 0 = 4*t - t - 4*b + 2, -t = b - 11. Solve -7 = -h + 4*f, 0 = -h - 2*h + 3*f - t for h.
-5
Let f(x) = x**3 + 6*x**2 - 3*x - 3. Let m be f(-6). Suppose -r - 3*r + 8 = 0. Suppose r*j = -3*j + m. Solve -3*s - 5*b + 13 = 0, 3*s - j + 10 = 5*b for s.
1
Let b = -182 - -185. Solve b*g = 4*j - 8, g = -2*j - g - 10 for j.
-1
Let f(b) = -b - 5. Let l be f(-8). Suppose l*m - 25 = 2*t, 0 = m + 4*m - 3*t - 40. Solve -3*n = -n - m*h + 11, 3*h - 3 = 0 for n.
-3
Let d be (-200)/(-20) - 6 - 0/(0 + -1). Let p(j) = -j - 6. Let s be p(-6). Solve -3*f + d = y, f = -s*y + 3*y + 8 for f.
2
Let u(h) = -2*h**3 - 11*h**2 + 6*h - 4. Let b be u(-6). Let n be 1 + (27/18)/((-6)/b). Solve -y - 2*l = n*y + 11, -2*l = -4 for y.
-5
Let y be (-6)/(-63) + (-1394)/(-357). Solve 0 = y*o - f - 7, 5*o + 2 = -3*f - 2 for o.
1
Let g(y) = -y**3 - 9*