 0 for x.
0
Let a(b) = b**2 - 7*b - 12. Let z be a(9). Solve -4*u = -2*u + r - z, u + 3*r = 8 for u.
2
Let x be 1/(-1) - 2 - (6 - 14). Solve -3*d + 3*z = -z + x, 20 = 3*d + z for d.
5
Let r = 13 - 11. Solve -3*b + 12 = 3*l, -2*b + 2*l + 4 = r*b for b.
2
Suppose 8 = a - s, 3*a - 6*a = -s - 20. Let r be (-42)/(-4)*4/a. Solve -4*d + 21 = 3*m - r*d, 5*d - 5 = -5*m for m.
4
Suppose 5*n + 2 = 12. Suppose -n*z + 9 = z. Solve -4*c + z*c - 4*j = -9, -2*c - j + 4 = 0 for c.
1
Let f(r) = r - 5. Let o be f(9). Solve -5*d + 0*w - 28 = -2*w, -2*w - o = 3*d for d.
-4
Let m(j) = 0*j + 2*j + 0*j + 7 - 3. Let n be m(4). Let s(y) = y**2 - 3*y - 4. Let v be s(4). Solve 5*i + n = -f, 0 = -4*f - v*i - 2*i + 6 for f.
3
Let v(m) = -m + 3. Let i be v(7). Let w be (i*2)/(4 + -6). Suppose 0 = -2*n + 4*n - w. Solve -x + 4*g = n*x - 4, -g + 22 = 5*x for x.
4
Let m be 3*48/9 + -2. Suppose -1 - m = -5*h. Let b = -3 + 3. Solve b*g = h*g - c + 15, -7 = g - c for g.
-4
Suppose -1 = -2*s - 3. Let r = s + 6. Suppose -r*z + 6 = -9. Solve 6 = -3*o + z*w, -2*w = 4*o - 3*o + 5 for o.
-3
Suppose 0 = -44*s + 48*s - 12. Solve -s*u - 1 = 2*o - 0, 5*u = 2*o + 9 for o.
-2
Let g = -16 + 20. Solve -37 = u + 4*u + g*z, 5*z + 40 = -5*u for u.
-5
Suppose -5*i = -10*i. Suppose -o + 143 = 3*v, 5*o - o + 148 = 3*v. Suppose -4*k = -0*k - v. Solve 3*f - 4*n - k = 6*f, i = 4*f - 2*n - 6 for f.
0
Suppose 5*t - 5*s = 25, 0*t + 4*t - 5*s - 22 = 0. Solve -32 = -3*c - 4*o, -t*c - 2*o + 27 = o for c.
4
Suppose 4*m - 57 = 63. Suppose 8*g - 3*g - m = 0. Let w = 26 - g. Solve 4*n + u + 3 + w = 0, -3*n - 5*u = 30 for n.
-5
Let h be 0/1 + 0/3. Solve -5*y - 10 = 0, -5*a + 5*y = -h*y + 5 for a.
-3
Let c = -81 + 81. Solve c = 2*p - 2*t, -2*p - 5*t = -3*p + 16 for p.
-4
Let w = -72 + 73. Solve 2*z = x - 0*z - 13, 4*z = -3*x - w for x.
5
Let s = -27 - -27. Suppose s = j - 3*g - 17, 4*j - 2*g + g - 79 = 0. Solve -2*z = -5*u + j, 4*u - 3 = 3*z + 20 for z.
-5
Let r(j) = -20*j - 3*j + 22*j + 1. Suppose 3*c - a + 4 + 0 = 0, 4*c - 12 = -3*a. Let g be r(c). Solve 3*q = -0*u + 4*u + g, u + 4 = 0 for q.
-5
Let y = 23 + -21. Suppose 69 = y*q + q. Solve 4*s = -5*a + q, -3*s - 6*a + 2*a = -18 for s.
2
Let n(t) be the first derivative of 2*t + 4/3*t**3 + 3/2*t**2 + 1/4*t**4 - 3. Let i be n(-3). Solve j - c = -2, -6*j + 3*j = -i*c + 1 for j.
3
Let g(z) = z**3 + 15*z**2 + 15*z + 28. Let o be g(-14). Solve -2*c - 4*r = -o, 6*c - 3*c - 5*r = -34 for c.
-3
Let s = 10 + -7. Let l be 1 + 1 + (s - 1). Let z be 5 - 2*2/l. Solve 0 = -2*b - h - 2, -z*b + 2*h = -9 - 3 for b.
1
Let q be (-1)/(2/(-5))*-10. Let l be (2/(-5))/(5/q). Solve 2*n - 3 = -u, -5*u - n = -u + l for u.
-1
Let x be (-1)/((-1)/2) + 0. Let g(k) = -3 + 2*k**2 + k**3 + 2*k**2 + 3*k**x - 9*k. Let z be g(-8). Solve z*r = 5*h + 50, 4*r = 2*h - h + 25 for r.
5
Suppose -29 - 25 = -3*u. Suppose i + u = 3*i. Suppose -2*t + i = 3. Solve -4*h + p = t*p - 8, -7 = -h + 2*p for h.
3
Let g be (12/(-10))/(((-84)/40)/7). Solve -5*l = -g*k + 2*k + 27, 5*k + 15 = -4*l for k.
1
Let v(l) = -11*l - 1. Let d be v(-1). Suppose -5*r + 0*r = -d. Suppose r*f + 2 - 17 = -3*s, 0 = s + 3*f - 5. Solve -2 - 1 = -3*b + 2*p, -s*p + 1 = b for b.
1
Let z(c) be the second derivative of 2*c**3/3 - 7*c**2/2 - c. Let r be z(5). Solve -u - 2*o = 8, 5*u + 3*o = -r + 1 for u.
0
Let j(o) = -3*o**2 - 1. Let m be j(-1). Let y(i) = -i**3 + 8*i - 3*i + 0*i**3 + 2 - 3*i**2 - 2*i. Let n be y(m). Solve -4 = 4*q + 3*g, n*g = -5*q + g for q.
-4
Let x be 4/24 + (-29)/(-6). Suppose 4*o - x*u = 0, 4*o - 3*u + 8*u = 0. Solve o = -k - 3*k + y - 16, 4*k = -5*y - 40 for k.
-5
Let j be (1/(-3))/(12/(-108)). Solve -2*u - 17 = -3*h, -u + 3*h - 13 - j = 0 for u.
-1
Suppose -6 - 14 = 5*p. Let v = p + 8. Solve -3*r - 12 = -2*s - s, -2*s + v*r = -16 for s.
0
Suppose 9*g + 0*g = 27. Solve 0 = 2*y + 2*y + g*u + 13, -4*u + 4 = 0 for y.
-4
Let w(h) = -h**3 + 7*h**2 + 2*h - 5. Let d be w(7). Let y(x) = x - 5. Let z be y(0). Let i = z + d. Solve -i*l - 4 = 3*q - 6*q, -l = 4*q + 20 for l.
-4
Suppose -2*w = -0*w. Suppose w*z = z. Solve z = -3*o + 12, 5*c + 32 = 2*c + 5*o for c.
-4
Let c be (-67)/(-4) - 1/(-4). Solve 2*x - l = 3*x - 5, -5*x + 3*l = -c for x.
4
Let s = 2 + -6. Let o(w) be the third derivative of w**6/120 + w**5/15 - w**4/24 - w**3/6 - w**2. Let c be o(s). Solve -4*j = -5*a + 12, j = -3*a - a - c for a.
0
Let h = 6 + -1. Suppose 0 = -h*o + 10 + 10. Solve 5*r - 1 = -5*t + 39, -5*r + 4 = -o*t for r.
4
Let m be -4*(-2)/(24/15). Suppose 0*l = -5*l + m. Solve -2*b = 4*w, -10 = -4*b + w - l for b.
2
Let o(b) be the first derivative of b**3/3 - 3*b**2/2 + 4*b + 4. Let f be o(3). Let w = -2 + 8. Solve l + 21 = w*c - 2*c, -16 = c + f*l for c.
4
Let h = 70 - 58. Solve 5*i - b + 13 = 0, -2*i + 0*b - 3*b = h for i.
-3
Let m be 22/187 - 2/17. Solve 3*i = -5*f - 9, m*i = 2*i + 6 for f.
0
Let l = 5 - 3. Let k be l/4 + 33/(-6). Let m be k/(-3) + (-4)/(-12). Solve 0*d = m*d - q - 7, d + 1 = -q for d.
2
Suppose -2*v - 1 = -m, -1 = -7*v + 4*v + 2*m. Let a = v + 4. Solve f + 5*q = -3, f - 4 = q - a for f.
2
Let w(h) = -h**2 + 2. Let u be w(2). Let b = 3 - u. Solve 0 = -4*r - 16, -b*k + 3*r = 2*r + 16 for k.
-4
Let l(q) = 4*q**2 + q. Let u be l(1). Let j = -11 - -11. Solve 5*y + v - 21 = j, 5*y - 3 = -u*v + 2 for y.
5
Let k be (-3 - 1) + -18*1. Let o = k - -25. Solve -18 = -2*s + 4*w, 4*w - 3 = -2*s + o*w for s.
3
Let p be (-2)/(-3) + 12/9. Suppose p*f = 5 - 1. Solve -4*a + f*d + 6 = 0, d + 1 - 14 = -2*a for a.
4
Let y = 6 - -3. Suppose 2*l - y = -l. Solve v - l*k = -7, v = 5*v + 2*k for v.
-1
Let h(b) = b**2 - 4*b - 8. Let a be h(6). Solve 12 = 3*x + 5*g, 0 = -x - g - 0 + a for x.
4
Let p(k) = 0*k - 4*k**2 - 6 + 5*k + 5*k**3 - 4*k**3. Let n be p(4). Suppose -2*o = 5*q - 25, -n = -q + 3*q - 4*o. Solve -2*i - q*w - 25 = -0*w, 25 = -5*w for i.
-5
Suppose 3*r = 2*r + 8. Solve -3*k = -5*s + 10, -3*s - k - 2 = -r for s.
2
Let q = 4 - 3. Suppose -5*h - q + 21 = 0. Suppose -3*j - 2*j - 3*g + 185 = 0, 0 = -h*g. Solve -2*c + 7*c = 3*t + j, -t = -5*c + 29 for c.
5
Let z = -41 + 57. Suppose 6*g - 2*g - z = 0. Let j(n) = n - 2. Let c be j(5). Solve 4*r = g*i, -40 = 4*r + c*i + i for r.
-5
Suppose -4*p + 1 = 13. Suppose 3 = -4*w + 3*b + 16, -5 = -5*b. Let m be w*(p/(-12) - -1). Solve -2*l - 15 = -m*r, -r - 4*l = -0*r + 19 for r.
1
Let m(r) be the first derivative of -8*r + 3 - 1/2*r**2. Let b be m(-10). Solve b*q = 3*p + 3, -7 = 2*p + 3*p - 4*q for p.
1
Let v be (4 - (0 - -4))/2. Solve -h + 4*b = -4 + 2, v = 3*h + 5*b + 11 for h.
-2
Let s be (3 - (2 + 1)) + 2. Solve 9 = -3*r - 3*o, 5*o - s*o = -4*r - 8 for r.
1
Let y(t) = t**3 - t**2 + 3. Let q be y(0). Let o(g) = -g**2 + g + 6. Let a be o(5). Let b = a - -20. Solve -q*f = -p + b, 5*f + 10 = -0*f - 2*p for f.
-2
Suppose 0 = 5*y - y - 20. Suppose 0 = 3*v - 2*i - 100, 2*v + 0*i - 68 = i. Let o = v + -20. Solve 2*w - o - 2 = 2*c, 2*c = y*w - 30 for c.
-5
Suppose -6 = -4*o - 3*r - 0, -3*r = 2*o. Suppose -o*k = 2*k - 45. Let y = 27 - k. Solve -3*t - y = -3*p, p - 4*p + 22 = -4*t for t.
-4
Suppose b - 2*y - 1 = 9, -3*b - y = -2. Solve -c + 5*s = -22, -3*s + s = b*c + 16 for c.
-3
Let k(c) = 2*c**2 - 8*c - 12. Let a be k(-2). Solve -n - 2*n - 4*s = -a, 12 = 3*n - 4*s for n.
4
Let i = -7 - -25. Solve z - 5*p = i, 4*p + 27 = 5*z - 0*z for z.
3
Let m(r) = -r**3 - 9*r**2 + 22. Let l be m(-9). Solve 5*v = -5*i + 35, v + v = -4*i + l for i.
4
Let i(m) = m**2 - 2*m + 1. Let v be i(1). Let n = 1 - -3. Solve 5*p - n*y = -v*p + 5, -p = -4*y - 17 for p.
-3
Suppose 0*o - o = 0. Suppose o = 5*l + 6 - 66. Let k = l - 8. Solve 0*y + y + 10 = -k*v, 3*y = 6 for v.
-3
Suppose -24 = 7*v - 38. Solve v*h - 2 = -3*i, -2*h = -4*h - 4*i + 4 for h.
-2
Let i = 97 + -92. Solve 2*p + i*s + 9 = -24, 5*s + 37 = -3*p for p.
-4
Let b be (-28)/(-10) - (-3)/15. Solve -5*l - 14 = -3*w + 8, b*w + 8 = -l for l.
-5
Let n = 16 + -11. Let y(g) be the third derivative of g**4/4 - 5*g**3/6 + 2*g**2. Let h be y(n). Solve 0*i - 3*i = 4*w + 14, -h = 5*w for i.
2
Suppose -g = 3 - 7. Let c(k) = 5 - 5*k**2 - k + 4*k**2 + 5*k. Let p be c(g). Solve p*w = 5*z - 0*w + 20, 2*w = -2*z + 8 for z.
0
Let b(s) = -s**2 + 6*s - 6. Let m be b(3). Let i(p) = p**2 - p + 9. Let v be i(0). Let y = 7 + v. Solve 15 = m*n - 5*t, -5*t + 1 = n + y for n.
0
Suppose 3*o = -0*o - 2*t + 2,