b = 4*r + 8 for x.
5
Suppose 3*p + 2*p = 0. Solve 24 = 3*g - 5*t, 0*g + g + t = p for g.
3
Suppose 3 = 5*u + 3*n, -2*u + 2*n = 2*u - 20. Solve 4*v = u*p - 5, -5*p - 2*v - 35 = -0*v for p.
-5
Let w be 795/(-20) - 3/12. Let c = w + 58. Solve 3*x + 0*x = -3*i - c, -2*i = 4*x + 20 for x.
-4
Let j = 4 - 0. Let l(v) = -v**3 + 5*v**2 - 2*v - 3. Let h be l(j). Solve 10 = -2*y, o + o = -h*y - 29 for o.
-2
Let o = -15 - -19. Solve 3*v - 4 = p, 3*v + 23 = o*v + 4*p for v.
3
Suppose -4*l + 3*l - 2*b = -12, -2*l + 4*b - 8 = 0. Solve -l*x - 2 = y, 3*x - 3*y + 8*y = 7 for x.
-1
Let i be 3 + (-1 - 0/(-2)). Solve 3*z - 5*x = -i + 13, 5*z - 2*x + 7 = 0 for z.
-3
Let b(c) = c + 2. Let y be b(-2). Suppose 7*r - 4 = 6*r. Suppose -5 = -r*u + 11. Solve y = -3*j + 5*z + 32, u*j + 3*z - 20 = 4*z for j.
4
Let u = 6 + -10. Let y(h) = h**2 + 2*h - 5. Let x be y(u). Solve 4*o - 4 = 4*z, -4*z = 5*o + 1 + x for o.
0
Suppose -4*d + 31 = l - 49, 3*d - 60 = -2*l. Let g(r) = 4*r - 3. Let x be g(2). Solve 4*s + u = -0*s - d, -s + x*u = -16 for s.
-4
Let f(x) be the second derivative of x**3/6 - 5*x. Let c(l) = -l**2 - 4*l + 7. Let o be c(-5). Let z be f(o). Solve 2*t - z = -q - q, 0 = 2*q + 5*t + 1 for q.
2
Let g = 17 - 1. Suppose 3*o - g = o + 3*y, 4*y + 16 = 0. Solve -s = 5*w - 22, -4*w + 9 + 3 = -o*s for s.
2
Let t(j) = -j**2 + 14*j. Let k be t(14). Solve -4*i + n + 2*n - 15 = k, 20 = -2*i + 4*n for i.
0
Suppose 9*v = 2*g + 4*v - 1, 2*g + 3*v - 9 = 0. Suppose 5*t - 4*r = 4, -4*t - g*r - r = -32. Solve -t*u - 2*c = 3 + 13, -u + 4*c = 4 for u.
-4
Suppose l - n - 20 = -4*l, -5*l - 2*n + 35 = 0. Solve l*b + 4*t = 32, 3*b + 6*t - 3*t = 21 for b.
4
Let l(s) = s + 4. Let z be l(0). Solve 4*n = -z, 3*n - 17 = 3*v + v for v.
-5
Suppose 0 = -2*o - 5*v + 16, -v - 3 + 5 = 0. Solve 35 = -o*a - 5*m, 0 = 5*a - 0*a + m + 29 for a.
-5
Suppose 4*c - 5*o = 2*c + 4, 0 = 4*c + 3*o - 8. Suppose -2*z + 11 = 1. Suppose 6*b - 2 = z*b. Solve c*k + 6 = p, b = 3*p + 3*k + 11 for p.
0
Let y = -28 + 66. Solve -4*b = t + 12, 5*t - y = 4*b - 2 for t.
4
Let a(p) = p**2 - 5*p. Let b be a(5). Suppose 0 = -6*t + 112 - 22. Solve -c + 5*y + t = 0, -5*c + b*y + 4*y = 9 for c.
-5
Suppose 0 = -4*f + 2*f + 36. Suppose -a = a - 4*k - f, a = -3*k + 9. Solve c - a - 3 = -5*h, -5*h + 8 = -c for h.
2
Let u(s) = -s**3 - 9*s**2 - 7*s + 8. Let o be u(-8). Solve -g - 3*i - 17 = o, -5*g = -4*g - 4*i - 11 for g.
-5
Let i(c) = -c**3 - 5*c**2 - 6*c - 5. Let v be (-34)/10 - 3/5. Let m be i(v). Solve 3*z = m*a + 3, -z + 3*a + 2 = -1 for z.
0
Suppose -t + 2*i = -10, -i - 4 - 3 = -t. Let g = 8 - 3. Solve 15 = t*a - 2*c + g*c, -2*c + 10 = a for a.
0
Suppose 0 = 5*s - 0*p + 2*p - 6, -4*s - 6 = -2*p. Suppose s = -d + 4*d - 24. Suppose 2*q = -2*q + d. Solve -3*u + 2*r = -5*u + 4, -3*r = u - q for u.
2
Suppose c + 4 + 21 = 3*b, -4*c = 3*b - 50. Suppose -2*y + b + 22 = 0. Suppose 5*k - k = y. Solve -k*t + 0*t + 3*r + 7 = 0, 5*t - r = 17 for t.
4
Let p be (-4)/8*(0 + 0). Suppose p = -3*b + 2*u + 34, -5*b + 90 = 4*u + u. Suppose 3*m = 5*m - b. Solve 4*v + 12 = 4*h, h + v = -2 + m for h.
4
Suppose -5*k + d = -10, 0*k + 4*d + 8 = 4*k. Suppose -2*x - 88 = -4*f + k*x, -15 = -5*x. Solve 0 = -4*g + 2*g - 10, 5*s + g + f = 0 for s.
-4
Suppose -q = -4*i + 4, -4*q + 24 + 12 = -3*i. Suppose -3*c + 20 = c, -k - 5 = -c. Solve k = -3*y + q, z + y = 4*y - 17 for z.
-5
Suppose 0 = -4*v - 3*v. Solve 3*c + 9 = v, -o - 2*c + 7*c + 19 = 0 for o.
4
Suppose -5*d - 1 = -2*o - o, -o = -2*d. Solve 0 = 3*a + 15, -x = -2*a + o - 7 for x.
-5
Let a(l) = l**2 + 5*l - 7. Let o be a(-6). Let g be 3 - o - 1 - 1. Let c be 4*(-2)/(16/(-6)). Solve 3*t - 1 = 2*q - g, 11 = c*t - 5*q for t.
-3
Suppose -3*z + 1 = 2*a - 12, 4*z = -a + 9. Let b(l) = -5*l - l**2 + 3*l**2 - l**2. Let c be b(a). Solve c*s + 4*s = -5*y - 10, -2*s - 10 = 0 for y.
2
Suppose 4*g - 100 = -2*c, 2*g + 5*c = -0 + 58. Let x = g + -15. Suppose 5*q + x = 24. Solve 3*t + 2*l + l = -9, q*t = 5*l - 17 for t.
-4
Suppose 5*p - 19 = -5*f + 16, 7 = 4*p - 3*f. Solve 0 = -o + 2*v + 11, -5*v = -o - p*o + 40 for o.
5
Suppose -27 = 3*w - 3. Let j = -5 - w. Solve j*k - 4*m = 3, -3*m + 2 + 7 = 0 for k.
5
Suppose -v + 5*f = 20, v = -2*v + 5*f - 20. Solve 0 = -5*m - 3*g + 16, v = -2*g + g - 3 for m.
5
Let u be (-4)/1 + -1 + 0. Let z = 20 - 28. Let f = u - z. Solve -n + 1 = v, 7*n + 11 = -v + f*n for v.
5
Let l be 381/15 + (-10)/25. Solve -3*n - 5*y - 3 - 16 = 0, l = 5*n - 3*y for n.
2
Let k(x) = 2*x**2 - 2*x + 7. Let c be k(2). Solve -3*m = 2*q - c - 4, q - 18 = -5*m for q.
3
Suppose 1 = f - 2. Suppose -2*o + j + f = 0, -j = -4*o - 2*j + 9. Solve -3*u = -5*s, o*s = 4*u - 0*s for u.
0
Suppose -9 - 7 = -4*y. Let i(m) = 21*m**2 - 1. Let d be i(-1). Suppose 4*h = -y + d. Solve -k - h*k + 19 = -2*c, -37 = -5*k - 4*c for k.
5
Let y be -1 - (-16 - (4 - 4)). Solve 2*g = -2*c + 14, -3*c - 4*g + 3*g + y = 0 for c.
4
Suppose o + 9 = -4*n + 22, o - 15 = -5*n. Let l = -31 - -67. Suppose -3*p + 5*p = l. Solve -2*a + p = -4*u - 4*a, 2 = n*a for u.
-5
Suppose 13 + 5 = d. Suppose -d + 6 = -4*g. Solve z + g = -j, 6*z - z = -4*j - 13 for z.
-1
Let t be (-1 + 0)/((-3)/12). Solve f - 10 = t*h, 2*f = 4*h + 3 + 9 for f.
2
Suppose 3*f - f = 0. Suppose -3*t = -f - 3. Let g(r) = 26*r + 1. Let c be g(t). Solve 5*l - c = 5*q - 3*q, -4*l + 24 = -4*q for q.
-1
Suppose -5*x - 5*g = -2*x - 10, x + 3*g - 2 = 0. Solve -15 = -3*a + 2*s, -12 = 3*a - 2*a + x*s for a.
3
Let t be 2 + 7/3*3. Let v(c) = c**2 - 6*c - 12. Let g be v(t). Solve -5*k + 11 = 2*w, 0*w - 4*w + g = 3*k for w.
3
Suppose -5*k - 3*o - 2 = 0, 2*k = 3*o - 0*o + 16. Let d be 2/6*(15 - -3). Let y be (d/(-15))/(1/(-85)). Solve -3*c + 0*p = k*p - 19, -3*c = 5*p - y for c.
3
Suppose 25 = 5*c + p, 0*c = 2*c + 4*p - 10. Suppose -2*v - c*a = 2*v, -5*v - 4*a = 0. Solve 0 = -5*s + z + 16, 5*z - 20 = -v*z for s.
4
Let c(o) = o**2 + 3. Let s = 5 + -5. Let r be c(s). Solve -r*g - 2*d + 12 = 0, g - 3*g = 3*d - 8 for g.
4
Let o be (2/(-6))/((-4)/240). Solve -4*c = 5*g + 10 - 2, -o = 2*g - 4*c for g.
-4
Suppose -2*c + 3*c = -3*k + 17, -3*k = -15. Let s be (9/(-6))/((-1)/c). Let r = 5 - s. Solve 0*g = -5*a - g + 18, g + r = 0 for a.
4
Suppose 2*c = -3*k - 1 - 2, c + 4*k = -9. Suppose -c*a = -7*a. Solve 3*j = 5*l + 5, a = -l + 3*j + 11 for l.
-4
Suppose -4*q = l - 6 - 13, -2*q + 2*l + 2 = 0. Suppose 5 = -2*r - 0*h + 3*h, 5*r = 4*h - 2. Solve r*g + 3*u + 3 = 1, q*g + 3*u = 8 for g.
5
Suppose 3*t + 2*t = 0. Suppose 0 = 2*l + 2*i + i - 20, 0 = 5*l - 5*i. Solve 5*s - 2*s - 27 = -3*w, t = -s + l for w.
5
Suppose -1 = l + 2. Let v(t) = t**2 + t + 4. Let q be v(l). Suppose 5*b - 70 = -2*r, -r + 5*b = -0*r - 35. Solve 3*z + r = -2*p - 2*p, p = -z - q for p.
-5
Suppose 3*s = -3*d - d + 17, -5*d = 5*s - 25. Let q be (s/6)/1*20. Solve 4 = 4*g - 3*z, -2*g - q = g + z for g.
-2
Let w = 17 + 1. Let a be ((-24)/w)/(4/(-6)). Solve -5*t + 16 = -a*d, 0*t - t + 3*d = 2 for t.
4
Let i be (0 + 2)/1 - -2. Suppose -3 = -4*g + 2*d + 3, 3 = 3*d. Let o = i - g. Solve n - 9 = o*k, -n + 3*n = 3*k + 13 for k.
-5
Let i(w) be the second derivative of 1/2*w**2 + 2*w + 1/4*w**4 + 0 + 1/3*w**3. Let h be i(-3). Solve -5*c + y = -c + 4, h = -5*c - 3*y for c.
-2
Suppose -10*h = -12*h + 10. Solve 6*u - 4*u = -4, h*m - 3 = -u for m.
1
Let w be (1 + -6 + 2)*-5. Let a(f) = -f**2 + 17*f - 22. Let z be a(w). Solve 5*t = 3*h - 0*t + 31, -h - 2*t = -z for h.
-2
Let x be 3 - 1/2*2. Let f be 6/(-33) - (-258)/(-33). Let b(i) = -5*i - 10. Let h be b(f). Solve -28 = 2*u - 0*u + 4*v, x*v + h = -5*u for u.
-4
Let t(n) = n + 1. Let l be t(7). Suppose 3*j - l = -2. Suppose 4*s - 26 = -0*s + j*g, -29 = -s + 5*g. Solve -1 = -5*w - q, -3*q + 7*q = s*w - 20 for w.
1
Let u(z) = -z + 9. Let a be u(5). Let y = 5 + -2. Let l be (y - 4) + -1 + 2. Solve -a*h - 9 = -5*q, 4*q + 0*h - 5*h = l for q.
5
Let w = 21 - 19. Solve -3*b = w*x + b - 10, 2*x + 3*b = 5 for x.
-5
Let t = -53 + 61. Solve -4*b + 3*f = 6*f + 2, t = -2*b + 2*f for b.
-2
Let y = -9 + 14. Solve 4*d + 12 = -4*p + 2*d, -3*p + y*d + 17 = 0 for p.
-1
Let t = 0 - -10. Suppose -3*u - 8 = -7*u. Solve 2*a + t = u*y, -y + 2 = a + 1 for a.
-2
Suppose -2 = -d + 3. Suppose 2*h = 4*h + 20. Let b(k) = -k**3 - 9*k**2 + 9*k. Let q be b(h). Solve -d*n = -n + 16, -5*n - q = -2*p for p.
-5
Let j(r) = 6*r + r**2 + 10*r - 1 - 18*r.