v + 7 for x.
4
Suppose 7 = -0*a + a. Let f = a - 7. Solve -3*x = -4*z + 4, 5*x - z - 3*z + 4 = f for x.
0
Let z(f) = 2*f**2 + 13*f - 5. Let y be z(-7). Suppose 4*u = -0*u + 8. Solve 0 = -y*c + 3*c + 3*o, -u*o + 1 = c for c.
3
Let n = -8 - -11. Let a(l) = l**3 - 3*l + 4. Let q be a(3). Solve -4*p = n*x + q + 3, 3*p + 3*x + 21 = 0 for p.
-4
Let v(s) = -5 + 0*s + s - 2*s. Let g be v(-10). Solve -g*b = -5*m + 5, -3*b - 6 = -4*m - 2 for m.
1
Let h = -53 - -57. Solve -h*s - 3*d = d - 8, 0 = 3*s - 4*d + 8 for s.
0
Let g = -15 - -9. Let q be (-2*g/(-4))/(-1). Solve -o - q*o + 3*l - 11 = 0, -5*l = -o - 24 for o.
1
Suppose 0 = m - 0*m + 2. Let g = m + 6. Let v be -4 + 0 - (-16)/2. Solve 0*x + 3*x + 21 = 3*t, -g = v*x + 2*t for x.
-3
Suppose 4*n + 5 = 29. Solve 4*g - 5*k = 3, -5*k - n = -3*g - 0*k for g.
-3
Suppose 3*h - 76 = -22. Suppose -v + 1 - 5 = -2*b, -4*b - 3*v + 8 = 0. Solve b*u - h = 2*w + 4*u, 3*w = -4*u - 32 for w.
-4
Suppose -2*f + 20 = 4*k, -3*f = -3*k - 3 - 0. Suppose -4*m + 5*m = f. Solve -5 = 5*g + 5*s, -3*g + m*s + 16 = -16 for g.
4
Suppose a = -4*w + 85, -w - 5*a = -5*w + 55. Suppose -3*h + 8*h = w. Let n be (-1)/(-4 - (-33)/9). Solve -h*g - 28 = -5*s - 3*g, n*s + 2*g - 9 = 0 for s.
5
Suppose -2*u - 3*p - 3 = 2*u, 0 = -3*u + 2*p + 19. Solve u*y - 9 = -y + 3*o, 3*y = -4*o + 13 for y.
3
Let h = -1 - -4. Solve -2*g - h = 5*m + 2, 0 = -5*g - m - 24 for g.
-5
Let w(g) = -g**3 - 7*g**2 - 7*g. Let o be w(-6). Let l(n) = n**2 - 4*n - 7. Let z be l(o). Let v be 1 - (-1*1 + 0). Solve -4*u - 18 = -0*f - z*f, -f = -v for u.
-2
Let u(r) = 2*r**2 + 6*r + 1. Let o be u(-4). Solve 6 = j + 3*l - 5*l, 3*j + 3*l = o for j.
4
Suppose 14*v + 0*v = 56. Solve -v*t + 12 = -3*r - 2*t, r - 3*t + 11 = 0 for r.
-2
Let k(i) = -i**2 + 7*i - 4. Let t be k(6). Solve g - t*g = 3*b + 6, -4*b = -2*g - 2 for g.
-3
Let x = 13 + -5. Suppose -3*o + x*o - 5 = 0. Let q = 45 - 41. Solve 2*w - o = 4*u + 1, -3*w = -q*u + 1 for w.
-3
Let y be (8/(-16))/(1/2). Let s(x) = 6*x**2 + 2*x + 1. Let p be s(y). Let w be 1 + -2 + 4/1. Solve -2*l + 4 = -w*z, 0 = -p*l - 3*z + 4*z + 23 for l.
5
Suppose 50 = 4*s + 6*s. Solve 3*f + 8 = 5*q, -4*f - 4 = -5*q + s for q.
1
Let l(d) = d. Let a be l(7). Let f = 9 - a. Solve -2*y + 25 = -3*u, y = f*u - 0*y + 15 for u.
-5
Suppose 5*l = 2*v + 5, 4*v - 2*l = -2 - 0. Suppose -4*t + 10 + 6 = v. Solve -2*o = t*h - 12, -o + 2*o = 3*h - 4 for o.
2
Suppose -5*m + 10 = -v, 0*m = 5*m - 4*v - 10. Solve 7 = -2*p + b, -b + 1 = -m*p + 3*p for p.
-2
Let o(g) = -g**2 - 7*g + 1. Let b be o(-6). Suppose b*k = 3*k. Solve 2*v = 5*m + 4, -4*v = -k*v - 4*m + 4 for v.
-3
Suppose -3*o - 5*t - 11 = -0, -5*o = -t - 19. Solve -o*s - 8 = -h - 4*h, 32 = 4*h + 4*s for h.
4
Suppose -3*y - 2 + 5 = 0. Solve -12 = 2*c + 5*l - l, -l = y for c.
-4
Let m be 12/2*8/16. Suppose 5*s - 2*s = m. Solve 2*q + 5*u + 3 = 0, -3*q = q + 5*u + s for q.
1
Let x be (0 - -4 - 3) + -1. Suppose 4*i = -2*p + 3*p - 4, x = 3*p + i - 12. Solve 17 = -5*j + 2*y, -p*y - 5 = -j + 4*j for j.
-3
Let l be (-14)/(-8) + (-2)/(-8). Suppose -2 = 3*u - l*f, u + 3*f = -u + 16. Solve u*m = 2*b - 4, 5*b - 1 = 2*m - 3 for m.
-4
Suppose 5*t - 8 - 82 = 0. Let v be t/(-12) + 65/2. Solve 5*x - 5*r = -v - 4, 3*x + 3*r + 9 = 0 for x.
-5
Let g(o) = 5*o + 6. Let z be g(-4). Let m = -10 - z. Let b be m/10 - (-219)/15. Solve 4*c + b = 5*n, 4*n - 3 = 5*c + 3*n for c.
0
Suppose 2*v = 2*p - 1 + 3, 3*v - 11 = 5*p. Let o be v*(-2 + 3)/(-1). Let m = 4 - o. Solve 3*w = 4*l - m, 5*w - 4*l - 17 = -8 for w.
5
Let v be (-12 + 19)*(-10)/(-14). Solve -5*r - 20 + v = 0, -5*r = m + 13 for m.
2
Let k be (-6)/2 + 9 + -6. Suppose k = h - 3*r - 17, -h - r + 3*r = -13. Solve -28 = 2*z - 0*z + 4*t, 0 = h*z - 4*t for z.
-4
Suppose -n - 12 = -5*n. Solve -2*j = -3*h + 2*j + 21, -3*h = n*j for h.
3
Let a be (-4)/2 + (-30)/(-1 + -4). Solve a*o - 4*q - 1 = 11, 2*q = -4*o for o.
1
Let m be 0 + (3 - 3) + 0. Let i be (2 - (3 + m))*-17. Solve i = 4*q - 3*q - 4*v, 4*q - 20 = 4*v for q.
1
Let d(q) = -q**2 - 4*q + 7. Let r be d(-5). Suppose 20 = 3*n + 4*t, r*n = 5*t - 4*t + 6. Solve p = -2*w - n, -2*p + 6*w - 2*w = -24 for p.
4
Suppose h + 49 = 5*k, 5*k - 53 = -h - 12. Solve d - 4 = -5*o + k, 3*o - 9 = 0 for d.
-2
Let c be (-18 - 0)*2/4. Let w be 3/c - 2/(-6). Suppose -z + 2 + 1 = w. Solve i + 0*s = z*s + 12, -2*i + 18 = -4*s for i.
3
Let j = 45 + -75. Let n be j/(-8) + (-7)/(-28). Solve 0 = -c + 4*c - 5*p + 19, -2*c + n*p - 14 = 0 for c.
-3
Let k(z) = -4*z - 1. Let t(o) = -o**2 - o - 2. Let r be t(0). Let a be k(r). Let v = -3 + a. Solve 10 = 4*j - 3*y, -v = -y - 2 for j.
4
Suppose -i - 16 = 3*i. Let a(m) = m + 4. Let b be a(i). Solve 2*s - 5 = 7*c - 2*c, b = 2*s + c - 11 for s.
5
Let j = 128 + -115. Solve -34 = -5*y - 3*u, -4 = 3*u - j for y.
5
Let f = 36 - 34. Solve 0 = 2*z - f*l - 2, 4*z + l + 6 = 3*l for z.
-4
Let o = 5 - 3. Suppose n + 3*j = 9, 4*n + 3*j = o*j + 3. Solve 2*h = -10, -4*k + 5*h = -n - 13 for k.
-3
Suppose -t + 3 = -0*t. Solve 0 = -n - 4*n + 3*a - 20, 8 = -2*n - t*a for n.
-4
Let m = -3 + 1. Let r = -8 - -18. Let x be ((-2)/5)/(m/r). Solve 5 = 3*n + x*d, n + d - 6 = 3*n for n.
-1
Suppose -o = -2*o + 9. Let d = -6 + o. Solve -3*k = 4*p + 8, -k - d = 4*p - 3*p for p.
1
Let h = -6 - -11. Let y(t) = t**2 - 5*t + 2. Let k be y(h). Solve 11 = -3*a + k*r, -6 = 5*r - 2*r for a.
-5
Let b = 8 - -2. Suppose 0*t - b = t. Let v(a) = -a**3 - 9*a**2 + 11*a + 12. Let g be v(t). Solve 0 = 4*s - 5*p + 13, -g*s + 7 = p - 4 for s.
3
Suppose 2*k - 15 = -49. Let f = -14 - k. Solve -4*h = -u + 16, -h = 3*u + f*h for u.
4
Suppose 4*h = 4*a - 16, h + 12 - 2 = 3*a. Solve -a*z + 5*p = -27, 0 = 2*z - 0*z - 2*p - 14 for z.
4
Suppose 0 = -5*g - 4*o + 28, 10 = 4*o + o. Solve 0*a - 5*j = -g*a + 29, 0 = -a - 2*j - 9 for a.
1
Let j(w) = 2*w**3 + 23*w**2 - 13*w - 7. Let i be j(-12). Solve 0*p - 2*p - i*g + 6 = 0, 2*g - 12 = -4*p for p.
3
Let u = 128 - 123. Solve -4*m - u*r = 6, 0 = -m + 6*m + 2*r - 1 for m.
1
Suppose 2*z - 1 = 3. Solve f = -z*c + 3, 6*f - 20 = 2*f for c.
-1
Let g(o) be the second derivative of o**4/12 - o**2/2 - 2*o. Let l = -3 - -4. Let f be g(l). Solve -2*d = 3*b + d + 18, f = b + 3*d + 8 for b.
-5
Suppose -3*i - 49 = -2*w + 6, 29 = w - i. Suppose 0 = -l - 2, 5*q - 4*l = 2*q + w. Solve -3*v - q = 4*g + v, 0 = -4*g - v - 8 for g.
-2
Let s(v) be the first derivative of 3*v**2/2 + 8*v + 2. Let b be s(9). Solve 0 = z - 2*z + 4*p + 15, 5*z = -2*p - b for z.
-5
Let n be 1/1*3 - 1. Solve 3*r - f = n, -5*r + 4*f + f - 10 = 0 for r.
2
Let x(h) = 4*h + 7. Let a(i) = 5*i + 8. Let r(w) = -2*a(w) + 3*x(w). Let k be r(6). Suppose 5 - k = -3*u. Solve q - 5*p = 3*q + 7, u*q - 2*p - 22 = 0 for q.
4
Suppose 0 = -5*c + 14 + 6. Solve -4*r = 0, -3*o + 4*o + 4*r = -c for o.
-4
Suppose -5*j = -0*j - 20. Suppose -3*q + 5 = -7. Suppose -2*g = -2*w + 3*g + 5, -w - 4*g - q = 0. Solve w = -2*c - k + 8, -c + k - j*k = 1 for c.
5
Suppose k = b + 2 + 1, -b = 0. Let n be (1 - 1/k)*6. Let u = n + -1. Solve 2*p = 3*f + 9, -u*f + 0*f = 3*p + 24 for f.
-5
Suppose 0 = 3*x - 6. Solve -4*o + x*t = -3*o - 8, 0 = 4*o - 2*t - 8 for o.
0
Let j(x) = -x**3 - x**2 + 3*x + 3. Let q be j(-2). Solve -q = -3*l - 3*b + 2, -l = 3*b - 7 for l.
-2
Let h = -5 + 10. Solve -3*s + 4*r + 18 = 0, h = -r + 2 for s.
2
Let z(m) = -2*m**3 + 2*m**2 - m - 2. Let d be z(-1). Solve 1 - 2 = 4*f - d*q, -f + 4*q = 10 for f.
2
Suppose 16 = 2*z - 4. Solve k + z = 5*c - 5, -2*c - 11 = 3*k for k.
-5
Let y(i) = 0*i**3 + 6 - i**3 - 9*i + 9*i**2 + 7 - 1. Let b be y(8). Solve 3*w + 5*a - 31 = 0, 2*a = b*w - a + 7 for w.
2
Let g = 12 - 9. Solve -2*c = -g*p + c, 3*c + 3 = 0 for p.
-1
Let s(t) = t**2 + 12*t + 13. Let f(x) = x**2 + 11*x + 12. Let b(m) = 4*f(m) - 3*s(m). Let a be b(-7). Solve 3*y + a*y + 32 = -3*h, 3*y + 4 = 2*h for h.
-4
Let o(n) = -n**2 + 7*n + 3. Let f be o(7). Solve 6*v = 4*v - 4, f*w - v + 10 = 0 for w.
-4
Suppose -3*w = z - 11, 2*z + 21 = 3*w + 5*z. Suppose d = w*d - 6. Let p be (d/(-3))/(-2) - -1. Solve 0 = -p*n + 2*y + 3 + 1, 3*y = -5*n - 30 for n.
-3
Suppose 25 = 6*x - x. Suppose -9 = h - 17. Solve 3*u + 9 = h*u - l, 5*u = -x*l + 15 for u.
2
Let u(a) = -a + 11. Let m be u(4). Solve -19 = -4*z - 2*h - m, 2*h = 2*z - 12 for z.
4
Let c(t) = -t**2 - 2*t + 1. Let a be c(-2). Let v be ((-6 - -3) + 5)*a. Solve 0 = -3*x - 3*