+ 40 for x.
5
Suppose 3*y + 3*s - 48 = 0, 0 = -4*y + y + 5*s + 24. Let l = -1 + 1. Let j = 0 + l. Solve 0 = q + g - 1, -3*q - 2*q + 3*g + y = j for q.
2
Let t(y) = 2*y + 14. Let f be t(-6). Solve -3*i = -4*a + 11, 3*i - f = 5*i for a.
2
Let l = -7 + 9. Let k(u) = u**2 + u - 1. Let x be k(l). Solve -5*s + 3*d + 4 = x, 0 = -4*s - 5*d - 23 for s.
-2
Suppose -3*b - b = -8. Solve d + b = -2*i, 0*i = -2*d - 5*i - 5 for d.
0
Let o = 18 + -11. Suppose 5*t - 30 = 3*p, 2*p + o = 4*t - 5*t. Solve 4*v + 3 + 3 = -2*r, -t*v = -r + 2 for r.
-1
Suppose -2*s = -10*s. Solve -2*a + 0 - 1 = -3*d, s = -2*a - 5*d + 7 for a.
1
Let x be 63/4 - 1/(-4). Solve -a + x = -3*d, -20 = 5*d - d for a.
1
Let t = 21 + -19. Solve -t*r - 16 + 6 = -4*u, 5*r + 3*u - 27 = 0 for r.
3
Let w be (-1 + -2)*(1 + 0). Let z be (w + -2)*(-4)/(-10). Let d = z - -7. Solve d*t = -4*p + 3*t + 22, 3*p = 3*t - 6 for p.
3
Let z be ((-180)/42)/((-2)/14). Suppose 2*u - 4*x = z, 2*x - 4*x + 27 = u. Let v be 6/u + 66/14. Solve -10 = -3*l + v, -2*l + 12 = -2*d for d.
-1
Let y = -2 + 7. Suppose -5 = -y*o + 15. Solve 2*t - 3*l - 6 = 0, 7 = -t + o*l + 20 for t.
-3
Let v(n) = n**2 - 4*n - 8. Let f be v(6). Solve -2*t - 1 = -t - z, 0 = f*z - 16 for t.
3
Let v be 4/6 - 2388/(-9). Let w be v/10 - 6/(-15). Suppose -3*z + 0*x = -5*x - w, 3*z = -2*x + 6. Solve -z*s = -0*s - 20, 5*u - 5 = -s for u.
0
Let n(j) = 3*j**2 - 10*j - 4. Let v be n(4). Solve -v*w + 3*w + 9 = -4*l, -w - 3 = 0 for l.
-3
Suppose -o + 3 = -1. Let j = o + 0. Suppose -j*h + 23 = 5*q, 5*h = 4*q - 1 - 1. Solve u + s = -6, -5*s = -0*u + h*u + 27 for u.
-1
Let z(p) = p + 3. Let j be z(-3). Suppose -y + 4*s + 16 = -2, j = -2*y + 5*s + 39. Solve -v = -5*a + y, 4*v + 7 = -5*a + 19 for v.
-2
Let v = 32 - 16. Let t = v + -4. Solve -6*y + 2*y = 4*l - t, 3*l = -5*y + 19 for y.
5
Let w(a) = -a**2 - a + 2. Let u be w(-2). Suppose -o - 3*o = u. Solve p - 5*l + 15 = 0, p + 4*l - 21 + 0 = o for p.
5
Let b(w) = -16*w - 6. Let k(h) = -3*h - 1. Let a(p) = -3*b(p) + 14*k(p). Let x = -2 + 7. Let c be a(x). Solve -3*y = 2*d - 2, 0 = -5*d + 3*y - c - 3 for d.
-5
Suppose -19 = 2*v - 29. Solve 7 = v*b + 2*u - 3, 2*u = -10 for b.
4
Let s be (2 + 2)*(-3)/(-3). Solve -3*o = -6*o + x - s, 3*o + 4*x + 29 = 0 for o.
-3
Let j = 0 - 1. Let t be (0/(-3))/(0 - j). Suppose 0*c - c + 3 = 0. Solve -4*a = u + 12, 3*u + 0*a + c*a = t for u.
4
Let s(g) = -g**2 - 5*g - 1. Let i be s(-4). Solve -10 = -2*d - 0*p - i*p, 5*d = 2*p + 6 for d.
2
Let a(c) = -c**2 - 3*c + 9. Let i be a(-4). Suppose -8 = -6*p + p + 4*g, -i*p - 8 = 4*g. Solve -9 = -r - 4*f + 14, r + 3*f - 18 = p for r.
3
Let r be 1/2*-6 - -73. Suppose p - 6*p = -4*x - r, -87 = -4*p - 3*x. Suppose -s + 4*s - p = 0. Solve -2*n = -3*o - 5, 5*o + 11 = -n - s for o.
-3
Suppose 5*v - 363 = -343. Solve -4*u = -4*b - 20, -5*u + 1 = v*b - 6 for b.
-2
Let c(f) = f**2 + 8*f - 1. Let r be c(-8). Let s = 13 + r. Solve 2*u - s = 4*w, -12 = 2*u + 4*w - 0 for u.
0
Let i be (-4)/12 - 35/(-15). Solve -i*o - 3*b + 23 = -0*o, 5*o = 5*b - 5 for o.
4
Suppose -4*n - g + 1 = n, 4*g - 4 = 5*n. Solve n = -3*t + r - 7 + 1, 0 = -r for t.
-2
Suppose 2*f + 3*f - 3*o + 36 = 0, 4*o = 3*f + 26. Let g = -17 - -28. Let d = g + f. Solve k + d = j, -2*k - 2*j - 18 = 3*k for k.
-4
Suppose -4*f + 3*a + 29 = 0, 3*f + 7*a = 2*a. Solve 4*m + 5*p = -5, -2*m - 3*p + f*p = 16 for m.
-5
Let o be (2/5)/(3/15). Solve 7*c = 3*c - 2*j + 10, -2*c = -o*j - 2 for c.
2
Suppose -5*b = 2*g - 18, 16*g - 13*g = -4*b + 20. Solve -4*q + 10 = 2*h, b*q = -q + 4*h + 2 for q.
2
Let p be 19/7 - (-6)/21. Let a be (6/15)/(1/35). Suppose 3*s = -2*d + 15, d - s + 5 = 4*d. Solve 3*b + 15 = d, -u + p*b + 0*b + a = 0 for u.
-1
Let n(u) = -2*u**2 + 28*u - 23. Let g be n(13). Solve 5*q + g*i + 8 = 21, -3*i = -3*q + 27 for q.
5
Let s = 5 + -1. Suppose -s*v + v = -6. Solve -v*n = -4*j - 10, 5*n - 2 = -5*j - 7 for n.
1
Suppose 2*n + 3*n - 27 = 3*d, n - 4*d = 19. Solve -4*w + 31 = 5*q, -10 - 5 = -q - n*w for q.
3
Suppose 0 = j - 5 - 3. Let k = 0 + j. Solve -2*t = 3*m, -m - k = -3*m - 4*t for m.
-2
Let u(d) be the first derivative of d**2/2 - d - 3. Let w be u(2). Solve 0 = -3*y + 6*f - f + w, -14 = 2*y + 4*f for y.
-3
Suppose 0 = -4*y - y + 2*t - 40, -3*y - 2*t - 24 = 0. Let p be 2/y - 65/(-20). Solve 7*u - 2*j + 8 = 3*u, p*u = j - 7 for u.
-3
Let u(x) = x**2. Let k(g) = -g**2 - 4*g - 8. Let d(n) = k(n) + 2*u(n). Let o be d(6). Solve -4*w = -4*b - 4, -b + o*b + 5*w + 11 = 0 for b.
-2
Let i = 49 + -49. Solve -2*g + x = 7, x + i + 1 = 0 for g.
-4
Suppose -2*j + 4 = 0, 4 = -5*s + 3*s + 5*j. Suppose -3*f + 3*c = -24, 3*c + 4 = -s*f - 2. Solve -u - 2*o = -0*o, o + f = -2*u for u.
-2
Suppose 3*x - 67 = -4*n, -2*n = 2*x - 6*x + 82. Let g be (-2)/(-8) + 38/8. Solve 5*w = -g*i, -w = 4*w - 2*i - x for w.
3
Suppose -24 = -5*s + 2*s. Solve 3*q = 5*p - 14, 2*p = -2*q + 4*q + s for p.
1
Let q(a) = a**3 + 11*a**2 - 14*a - 20. Let v be q(-12). Solve 5*g - 27 = p - 0*p, 2*p - v*g = -24 for p.
-2
Let h be (-7)/2*(-20)/35. Suppose v - h = 1. Solve 8 = 2*u + v*k - 7, -3*k + 15 = -u for u.
0
Let c(l) = -l**3 + l - 1. Let z be c(-2). Suppose 0 = -a + h + 4*h + 19, 3*h + 7 = z*a. Let y = 2 - a. Solve -y*d + 2 = -1, -5*d = n for n.
-5
Let s be 16/4*(-1)/(-2). Suppose 2*q + 0*r - s*r - 4 = 0, -22 = -5*q + r. Solve -q*h = -3*i - 5 + 12, 2*h = -i - 5 for i.
-1
Let s(y) = -3*y + 9. Let z be s(2). Solve -4*t = -4*d + 16, -2*d + 18 = -5*d - z*t for d.
-1
Let m = 7 + -3. Solve 0 = -u - 5*d + 2 - m, 3*u + d = 8 for u.
3
Suppose z + 96 = 4*z. Solve 3*p = -3*g + 5 - z, 0 = -5*p - 25 for g.
-4
Let s(f) = -f**2 + 4*f + 2. Let x be s(4). Let j be 6/(-4) - 27/(-6). Let o = j - -1. Solve -3*n = x*b, n = -4*b - 3*n + o for b.
3
Let l(h) = h**3 - 7*h**2 + 2*h - 11. Let s be l(7). Solve -j - 7 - 6 = -s*i, 4*j + 4 = -4*i for j.
-4
Suppose 0 = -s + 5*s - t - 47, -3*s = -5*t - 48. Suppose 3*g - 12 = -5*k, -2*g - 4*k = -4*g + 8. Solve -g*f - 3*w = 2*w - s, -f - 3*w = -1 for f.
4
Let d(i) = i**3 - 15*i**2 - 2*i + 36. Let k be d(15). Suppose 3 = y - 2. Solve 0*a - 24 = -q + y*a, -q - k = a for q.
-1
Suppose 0*v = 3*r - 4*v - 798, 4*v = 5*r - 1338. Let n be 4/(-26) + r/65. Solve 2*z = -n*q - 20, -5 = -3*q - 2*q + 5*z for q.
-3
Suppose -q - 5*x = -3 + 5, 0 = x + 1. Suppose 2*j = q*z - 4*z + 20, j = 2. Suppose -y + 2 = -3. Solve 4*w = -5*m - w, 3*w = y*m + z for m.
-2
Suppose 0 = 109*w - 102*w. Solve -3*i - 1 = g - 2, w = g + 5 for i.
2
Suppose 0 = 4*u + 1 + 3. Let m be 2 + (2 - (u + 2)). Solve 2*k = m*k + 2*l + 10, 0 = 3*l + 15 for k.
0
Let b be 6/24 - (-7)/4. Suppose -5*h + 12 = b. Solve 2*q - 5 = -c, 5*c = h*q - 5*q - 3 for c.
-3
Let t be ((-1)/(-3))/(1/9). Suppose 0 = 3*p - 2*p. Suppose -4*w + 7 = 23, p = 2*r + 2*w - 14. Solve 2*m = -4*f, t*m = 4*f + 9 + r for m.
4
Suppose 2*r - 12 = -r. Suppose -r*t - 4 = -2*b, 0 = 3*b + 3*t + 2*t + 38. Let j be (9/b)/(1/(-4)). Solve -9 = 5*x - 0*u + 2*u, 4*x + 2*u = -j for x.
-3
Suppose -8*a = -6*a. Let c(p) = 2*p**2 - 5*p + 1. Let l(k) = k**2 - k. Let o(f) = -c(f) + 4*l(f). Let g be o(-2). Solve -5*d - 23 = -2*t + 7, t - g = a for d.
-4
Let r = 5 - 2. Suppose 0 = v + r*v - 12. Let j be (2 - (v + -2))*6. Solve -3*i - 14 = -d, j = 4*d - 0*d - 2*i for d.
-1
Let p(t) = -t**3 - 8*t**2 + 8*t - 5. Let i = -2 - 7. Let b be p(i). Solve z = g + b - 3, -2*z = 0 for g.
-1
Suppose 3*r + 2 + 0 = -2*h, -2 = r. Suppose h*d - 1 = 3. Solve -d*m - 3*m = 5*s + 35, -s + 17 = -5*m for s.
-3
Let r(z) = -z**2 + 5*z - 6. Let f be r(3). Solve a + 4*w + 13 = -0*w, f = -2*a + 3*w - 4 for a.
-5
Let j = 6 + -6. Suppose q - 6 = -j*q. Solve -2*n - 9 = 4*i - i, q = 2*n for i.
-5
Let d(i) = i**3 + 18*i**2 + i + 19. Let s be d(-18). Solve 2*n - 15 + s = -5*a, 5*a = 10 for n.
2
Let g be (-29)/(-9) + 6/(-27). Let x = 12 - g. Solve -z - 4*y + 7 = -x, -12 = 5*z - 3*y for z.
0
Let d(k) = -4*k - 6. Let b be d(-2). Solve -y = -g, 2*g - 3*y + 12 = b*y for g.
4
Let f(g) = g**3 - 2*g**2 - 2*g + 4. Let m be f(3). Let h = m - 5. Suppose 0 = -2*y + 7*y. Solve 4*k - 2*i + 6 = y, h*k - 5*i = -17 - 6 for k.
1
Let s(x) be the second derivative of -x**4/12 + 4*x**3/3 - 4*x**2 - 2*x. Let o be s(6). Solve g + 29 = 5*w, 2*g + 4*w = 8 + o for g.
-4
Let m = 23 + -21. Solve -m*l - 25 = 5*j, j - 12 = -0*l + 3*l for j.
-3
Suppose -26 = -7*a + 2. Solve -l + 3*c = a*c, 7 