 = -0*t + k*j for t.
5
Let d(w) = -w - 2. Let q be d(-5). Suppose 8 - q = j. Suppose -3*u = -8*u + 10. Solve -6*i - 4*v - 20 = -u*i, v = -j for i.
0
Let v(o) = 3*o**2 + 6*o + 5. Let j be v(-2). Solve 5*p - 3*g = -13, 2*g - 7 = -p + j*g for p.
-5
Let k = 7 + -9. Let r be ((-30)/24)/(k/8). Let b be 1/(-2 - (-9)/4). Solve b*o + r*z = z - 24, 0 = -5*o + z - 6 for o.
-2
Suppose 30 = -4*k + 5*d, -k - 3*d = -6*d + 11. Let o(x) = -x**2 - 5*x + 6. Let b be o(k). Solve 0 = 3*t - 3*n - b, -6*t + 2*t + 3*n + 3 = 0 for t.
-3
Let u(g) = -g**3 - g**2 - 2*g + 5. Let a be u(0). Suppose -1 = 2*w - a. Solve 3*d - 4 = -w*x, d + 3 + 1 = -2*x for x.
-4
Let z(b) = 13 + 2*b + 2*b - 2*b - 3*b. Let h be z(8). Solve h*n = -3*a - 22, -3*n + 4*n = 3*a - 8 for n.
-5
Let u(z) = -z - 3. Let p(a) = -a**3 + 5*a**2 - 6. Let m be p(5). Let w be u(m). Suppose -3*l + 8*l - 25 = 0. Solve -c + 1 + 1 = 2*y, -10 = w*y - l*c for y.
0
Let d be (2/4*3)/((-1)/(-2)). Solve -3*l = 5*h - 6 + 1, -22 = 2*l - d*h for l.
-5
Let p be ((-5)/(-15))/(3/27). Solve 0 = p*y + 5*h + 7, y + h + 0 + 1 = 0 for y.
1
Let b(a) be the first derivative of -2 - 7/2*a**2 - 6*a + 1/4*a**4 - 7/3*a**3. Let g be b(8). Solve -v - g*v - 4*k = 23, 5 = -k for v.
-1
Let m(i) = i - 11. Let k be m(13). Suppose -4 = -2*o + k. Solve o*r = r + 4*n + 22, 2*r + 2 = -4*n for r.
5
Let c = -1 - -3. Let w be 6/(-1 + 3)*1. Solve -y - 13 = 2*g, -w*y - c*y - g = 29 for y.
-5
Let f(g) = -g**2 + 4. Suppose -2*n - 2 = -0*a + 2*a, 4*a + 4 = n. Let d be f(n). Let r be (-5)/(-10)*d*1. Solve -3*y = -4*k - 19, -r*y = -0*k + k - 9 for k.
-1
Let p(g) = g + 13. Let n be p(-9). Suppose -2*l = -6 - n. Let q = 7 - -2. Solve -4*i + q = 29, -4*c - 41 = l*i for c.
-4
Suppose 0 = -4*f + 2*l - 2, 4*f + 0*f = l + 3. Let i be 0/(-1) + 12*1. Solve -2*x = 2*x - i, 6 = 5*u + f*x for u.
0
Let h be (-1 + -4)/(5/(-6)). Solve -5*a = c - a + 14, c = -2*a - h for c.
2
Suppose -3*u - 6 = -3*h, u = 6*u - h + 10. Suppose 0 = -2*x - 0*x. Let s be 3*1 + x/u. Solve -4*r = -s*k + r - 5, 3*k - 3 = 3*r for k.
5
Suppose 2*t + 2 = -3*t - m, 0 = 3*t - m - 2. Solve b - 5*o - 25 = t, 0*b - 9 = -5*b - 4*o for b.
5
Let g = -12 + 28. Suppose -5*m + g - 6 = 0. Let c = -26 + 38. Solve 4*k - m*j - 6 = -4*j, 4*j - c = -k for k.
0
Let z be (-15)/(-3)*72/10. Suppose -f - z = -5*f. Solve 5*b + 1 = -2*v, -3*v + f = 2*v + b for v.
2
Let a(s) = -s - 5. Suppose 0 = 2*r + 8 + 2. Let o be a(r). Solve -3*t = -o*t + 4*q + 18, 7 = t - 3*q for t.
-2
Let g be (13 - (-5 - -2)) + -1. Solve 0 = 2*u - a + g, 5*u - 4*a = -6*a - 15 for u.
-5
Let l(w) = -3*w**3 + 2*w**2 + 6*w. Let f(x) = 4*x**3 - x**2 - 6*x - 1. Let s(g) = 2*f(g) + 3*l(g). Let y be s(5). Solve -4*z = 5*k - 3*z - 2, -y*k = z for k.
1
Suppose -2 - 3 = 5*o. Let g = 22 + o. Suppose 5 = 3*v + 5*t - 15, -v - 4*t = -9. Solve v*q - 2*u = -g, -2*u - 15 = -7*u for q.
-3
Let h = -20 + 20. Solve h = n - 0*l + 2*l - 11, -3*l + 14 = n for n.
5
Suppose 0 = -2*k + 4. Solve 1 = 2*h - 3*x + 23, -k*h + 6 = 4*x for h.
-5
Let h(y) = -y**3 + 5*y**2 + y - 4. Let q be h(5). Let g(p) = -12*p**2 + 1. Let u be g(q). Let w = 15 + u. Solve z = -3, -w*x + x + 12 = -5*z for x.
-1
Suppose -6*w = 9*w - 150. Solve 7 = 3*j - 4*g - w, 3*g = -5*j - 20 for j.
-1
Let y be -1*(-1)/(-3)*0. Suppose 0*t + t - 8 = y. Suppose 0 = 2*k - 0*k - t. Solve -5*x - 10 = 5*i, i - k*x + 3 = -4 for i.
-3
Suppose -2 = -4*m + 6. Let l be (-108)/(-20) + (12/(-15))/2. Solve 30 = -2*q - 3*q - l*x, m*x + 13 = -3*q for q.
-1
Let g be 10/6 + (-8)/(-24). Suppose g*l + l - 3 = 0. Solve 0 = -5*s + 2*f - l - 2, 0 = 3*s - 3*f + 9 for s.
1
Let v = -21 - -24. Solve -v*s - f + 11 = -3, 0 = -5*s + 3*f + 28 for s.
5
Let v = -5 - -5. Solve v = -2*w - 0*w + 2*p - 8, -5*w - p + 10 = 0 for w.
1
Let b(k) = 5*k + 1. Let x(o) = -11*o - 2. Let c(g) = -7*b(g) - 3*x(g). Let n be c(-2). Let s = n - -1. Solve -2*p = -s, 0*w = w + p - 6 for w.
4
Let g(n) = -n**2 - 5*n + 3. Let d be g(-5). Solve 2*w - d*w + 19 = -3*h, -4*h = -3*w + 32 for h.
-5
Suppose -100 = -42*x + 38*x. Solve -2*u = 5*b - x, -5*u = 5*b - 7 - 18 for b.
5
Let h be 20/(-4*2/(-8)). Solve 5*d + 5*x + h = 0, 3*d + 5 = -x - 1 for d.
-1
Let b(i) = 1 - i + 1 + 5*i**2 - 1. Let l be b(1). Solve l*m = -r + 12, -2*r + 6*r = -4*m for m.
3
Suppose 4*p = 4*n - 16, 5*n + 0*n = -5*p. Solve 2*o + 4 = -4*t + n, -5*o - t - 14 = 0 for o.
-3
Let i(w) = 3*w**2. Let d be i(-1). Let q(x) = -8*x - 4. Let z be q(-3). Suppose 6*s - z = s. Solve p = s*j - 7*j - 17, -d*j = 2*p + 19 for j.
-5
Let f be (-6)/1*(-4)/6. Suppose 0 = -f*v + 7*v - 6. Solve 4*r = -k + 4, -v*k = -11 + 3 for r.
0
Suppose -16*q = -6*q. Solve q = 5*f - 2*z, -21 = -4*f + 2*f + 5*z for f.
-2
Suppose 5*k = 6*k. Suppose -m - m + 42 = 0. Let p = -7 + m. Solve 4*u - a + k*a = 0, 3*a - p = -2*u for u.
1
Let u(m) = -m**2 - 5*m + 5. Let y be u(-5). Suppose -b - 2 = -y. Solve -10 = -5*f - 0, b*f = -3*p - 9 for p.
-5
Let i = -10 + 15. Suppose -18 = -5*c + 2*n + 3, 0 = -c - i*n + 15. Let l be 8/3 - 2/3. Solve -c*f + 2*b - 16 - 5 = 0, -12 = l*f + b for f.
-5
Let d(u) be the first derivative of -u**2/2 - 2*u + 5. Let t be d(-4). Solve -n + 0*n - 2*r - 2 = 0, -2 = -2*n + t*r for n.
0
Let a = -6 + 8. Suppose a*o - 68 = -2*d - 2*o, 127 = 4*d - o. Solve -d = 5*g + 3*p, -2*g + g = -p for g.
-4
Suppose -7 + 7 = 2*t. Solve -m + 4 = 0, t*g = -2*g - 2*m for g.
-4
Let q be (-70)/(-21) - 4/(-6). Solve q*l = 5*c - 5 + 23, c + l = 0 for c.
-2
Let t be 1 - 1*2/(-2). Let w be 0 + (0 - 2) + 17. Suppose 16 = -167*p + 171*p. Solve w = -3*z - t*x, -p*z = -x + 5 + 4 for z.
-3
Let a = -7 + 73. Let k = a - 24. Suppose -2*p + 5*p - 50 = -4*u, p - 5*u - k = 0. Solve 0 = -t + 5*q - p, 2*q + 2*q - 26 = 5*t for t.
-2
Let m(g) = g + 7. Let n be m(-5). Solve 0 = 4*i - 4*d + 4, -2*i = -7*i + n*d + 7 for i.
3
Let q(i) = -i - 1. Let b be q(-2). Solve -5*n - 7 = 4*m, n - b = -2*m - 0 for m.
2
Let h(b) = 2*b**2 - 5*b + 2. Suppose -5*t = -18 + 3. Let j be h(t). Solve -j*r + 11 = 2*u, -4*u - r + 11 = -2*r for u.
3
Let m = -30 - -34. Solve -5*w - 7 = -4*h - 1, 0 = h - m*w + 4 for h.
4
Let s be (-1)/(-2) - (-2)/(-4). Suppose -6*p + p = s. Solve 32 = 3*a - 4*z, -5*a + 6*z - 2*z + 40 = p for a.
4
Suppose 3*h = 37 - 13. Let q = 2 + 1. Suppose 7*f + 4*j - 28 = q*f, 3*f + 2*j = 18. Solve 0 = 5*s + 5*p, h*s - f*s = 3*p + 35 for s.
5
Suppose 0 = -4*r + r. Solve -2*t + 14 = 4*d, -t - d - 4*d + 13 = r for t.
3
Suppose 3 = v - 1. Suppose 0 = 3*s - v*y - 41, -4*s - 3*y - 6 = -19. Let x be 142/s + 2/(-7). Solve 0*t - 2*t + 2*g + x = 0, 5*t = -g + 20 for t.
5
Let w be (1 + -1*2)*-3. Let z = 8 + -3. Solve -4*x - w*h = -3 - 2, -25 = z*h for x.
5
Suppose 2*s + s = 6. Solve p + 2 = -y, s*p - 2 = -7*y + 2*y for p.
-4
Suppose -2*u = 2*f + 4, -2*u + 2*f = -3*f - 17. Let w(a) = 1 + a**2 - a - 1 - u. Let g be w(-2). Solve 0 = -5*r + h + 10, g*r - 3*h - 6 = 2*r for r.
2
Let y = -4 - -8. Suppose 0 = -4*q - 3 + 67. Suppose q = y*r - 0*r. Solve 0*i = -r*w - i, -4*w + 5*i + 24 = 0 for w.
1
Let y(w) = w + 2. Let x be y(-4). Let b be (-22)/(-5) - x/(-5). Solve b*v - 3 = -t + 12, t = 4*v - 17 for t.
-1
Let t(s) = s**2 + 4*s + 2. Let n(i) = i - 2. Let v be n(-3). Let b be t(v). Solve -2*q = 5*z - 6*q + 31, 0 = z - q + b for z.
-3
Let b = 25 - 25. Let f be 2/(-2)*1 - -5. Solve 0 = -0*r + 4*r - 4*w + f, -4*r - w + 11 = b for r.
2
Let c be (-8)/(-36) + (-8)/36. Solve -3*w - 3*t = 3, c = 5*w + 5*t - t + 3 for w.
1
Let v = 5 + -1. Solve -27 - 1 = -2*o + 4*f, 0 = v*o + 5*f + 9 for o.
4
Suppose 4*u + 5 = 7*u + 2*c, u = 2*c - 1. Solve -5*d + 3*h = -u - 4, 0 = -5*d + h - 5 for d.
-2
Suppose -13 = 4*k - 49. Let s = -52 + 73. Suppose 3*u - h - 1 - 9 = 0, -4*u + 2*h + 12 = 0. Solve c = -u*p - s, -2*c = p - c + k for p.
-4
Let w be -1 - -1*3/3. Suppose 17 = d + 4*d - 2*q, -5*q - 5 = w. Solve -d*v = -3*l, -35 = -0*v - 5*v - 2*l for v.
5
Let n be (-8)/(-6)*(0 + 3). Suppose -p = -n - 1. Solve p*h + 18 = -2, -3*h = 2*r + 14 for r.
-1
Let m be (3 + -2 + 4)/1. Suppose m*w - 3*b = 68, -4*b - 64 = -2*w - 3*w. Suppose -h - 2 = -4. Solve -h*f = 3*g + 2*f - w, -4*g - 5*f = -20 for g.
0
Let i be 4 - -2*(9/(-6) - -1). Solve 16 = -4*x, -2*x - 9 = i*t - 1 for t.
0
Let m be (2/1)/((-2)/(-4)). Let u = 4 + 6. Suppose h = 3*i - 11, -h + 0*h = m*i - u. Solve -4*o = 3*w + i, -4*o + 5 - 1 = -4*w for o.
0
Let z be ((-1)/1)/((-2