18 = -3*p for p.
3
Let s be 3/((-7)/((-175)/15)). Solve 0 = -2*r - 4*j + 10, -3*r + s*j - 12 = -6*r for r.
-1
Let b = -91 - -94. Solve 3*m + b*r + 27 = 0, -m = -0*m - 3*r - 7 for m.
-5
Let u(c) = -c**2 - 9*c + 4. Let v be u(-9). Let m(l) = l + 1. Let d be m(v). Solve r + r + 3*b = -9, d*b = 5*r + 10 for r.
-3
Let f = -9 - -6. Let b be (2 - -1 - f) + 2. Solve -4*g = 2*v - 2*g + 10, 0 = 4*g + b for v.
-3
Suppose 2*u + 5 = 11. Suppose -u = -z - 0. Solve -z*y = -4*v - 7, -4*v - 3 = 3*y - 2 for y.
1
Let m = -62 + 44. Let r = m - -60. Suppose 3*y - r = -0*y. Solve 3*u + 2*c = -22, u - 7 = 5*c + y for u.
-4
Let l = -60 - -108. Suppose u = 9 - 2. Solve 5*c + 25 = -p, 0 = -5*p - 4*c - l + u for p.
-5
Let s(z) = z**2 - z + 4. Let r be s(0). Solve c + 3 = -p, r*p - 2 = -c - 14 for p.
-3
Let k be 27/12*(-4)/(-3). Let j = k + 0. Solve 5*f = -2*z - j*z + 25, 4*z + 2*f = 12 for z.
1
Suppose -6*x + 31 = 7. Solve 0 = -x*f + z + 1 + 2, 2*z = 4*f - 6 for f.
0
Let m = 8 + -6. Let w be 18 - (-3 + -2 + m). Solve -3*n + n = -2*s - 6, 5*s - 2*n = -w for s.
-5
Suppose -2*t = -0 - 6. Suppose 0*v = -v - 4*p - 16, p - 15 = -5*v. Let i be 2/6 + (-28)/(-6). Solve -i*y + 9 = -t*u, -y - 3 = v*y + u for y.
0
Suppose 0 = -4*n + 4*w - w + 1, -4*n - w = 11. Let g be (n - (-7)/1) + -1. Solve -3*c = -2*l + l + 6, -2*c - 4 = -g*l for l.
0
Suppose 4*o + o = -45. Let t = o + 12. Suppose -3*q - 15 = -6*q. Solve -t*b - 4 = 2, q*b = 3*v - 7 for v.
-1
Suppose -5*c + o = -3*c, c = o + 1. Suppose 0 = 6*i - 2*i. Let u be c + 4 - i/(-2). Solve -4*d + u = v - 4, d = 2*v + 13 for v.
-5
Let o = -56 - -93. Let s be (-1 - 28/(-16))*-28. Let v = s + o. Solve 7*a - v = -4*b + 3*a, b = -3*a + 4 for b.
4
Let x(m) = m + 16. Let p be x(-7). Solve 3*t - u = -11, 1 = 5*u - p for t.
-3
Let r(k) = k + 11. Let j be r(-8). Solve -j*m - 3*b = -6*b, 0 = 5*m + 4*b - 27 for m.
3
Let z = 4 + 25. Suppose -3*r + 25 = -z. Solve 5*u - 25 = 2*k, -4*k - r = -u - k for u.
3
Let z(v) = -v**2 + 9*v + 13. Let q be z(10). Solve -f + 2*d + 8 = q*f, 2*d = 0 for f.
2
Let z be ((-3)/9)/((-1)/111). Suppose z = 4*x + 17. Solve d + 10 = -4*f, -f - f + x*d + 6 = 0 for f.
-2
Let u = -79 - -83. Solve u*d - 13 = 3*c, 2*d = c + 4 + 1 for d.
1
Let j(u) = 3 + 11*u**2 - 10*u**2 - 14*u + 6*u. Let x be j(8). Solve 3 = x*h + 5*r, 4*h + r - 2 - 2 = 0 for h.
1
Suppose 2*h = -3*b + 40, -3*b = -h + 7 + 31. Suppose 4*a = 2*m - h, 5*m - 5*a - 65 = -2*a. Solve -4*l - s + m = 0, -4*l + 4*s = -s - 7 for l.
3
Let x = 5 + 0. Solve x*c = -5*v + 10, 4*v = -5*c - 0*v + 5 for c.
-3
Suppose -9 = -5*v + 1. Suppose v + 11 = g. Let j be -1 + -1 + 2 + 3. Solve -3*y = -d - g, -7*d = -4*d + j for y.
4
Let u = -28 + 30. Solve 0 = -0*s + 4*s - w - u, 0 = -w + 2 for s.
1
Let y be (6 + -1)/1 + 0. Suppose i = -3*x + 14 + 1, -4*i - 5*x + 25 = 0. Solve 0 = y*j - 2*f - 21, 4 = 2*j - 3*f - i for j.
5
Let p(s) = s + 6. Let b be p(-6). Let z be (-1)/(3/(b - -51)). Let y = z - -37. Solve g = -4*f + 3*f - 2, 5*f = 5*g + y for g.
-3
Let u be 6*4/(-8)*-2. Solve y - 10 = -u*q + 3*q, -11 = y - 4*q for y.
1
Suppose 5*d + 2*k + 51 = 0, -d + 2 = 2*k + 9. Let m = -8 - d. Suppose -2*i + 6 = q, 4 = 2*q - 0. Solve 2*v + m*l + i*l - 4 = 0, -5*v + 10 = -l for v.
2
Let y(z) = 3*z**2 + z. Let c be 3 + (0 - (-2 + 2)). Let p be y(c). Suppose f - p = -4*f. Solve 4*b = 16, 4*r - 4*b + 20 = f*r for r.
2
Suppose 16*p + 75 = 21*p. Solve 0 = 2*n + 2*z - 10, -4*n = 2*z - 3*z - p for n.
4
Let r(j) = -3*j + 4. Let q(l) = -2*l + 3. Let m(f) = 7*q(f) - 5*r(f). Let o be m(4). Suppose -89 = -o*h - 9. Solve -3*x + h = -2*v, 3*x - 2*x - 27 = 5*v for x.
2
Let b = -23 - -28. Let k(y) = y**2 - 4. Let u be k(-3). Suppose -4*p + n + 107 = 0, 2*p = -2*n + u*n + 41. Solve -3*j = 2*z - 5, p = j - b*z - 2 for j.
5
Suppose 21 = 4*k - 5*x, -16 = -5*k + 2*k + 4*x. Solve -12 = 4*y + 2*o, 2*y + k*o + 12 = -2*y for y.
-3
Let p be 16/4*(-7)/(-2). Suppose -p = -5*t - 4. Suppose -4*l + 10 = t. Solve -3*q + 11 = -2*k, 3*q = l*k - 7*k - 17 for k.
-4
Let y be (8/3)/(((-20)/3)/(-10)). Solve 0*c + 14 = -3*c + 4*h, -2*c - 12 = -y*h for c.
-2
Let k(u) = u - 1. Let a be k(3). Suppose -22*w + 16 = -50. Solve 2*v + 18 = a*n, -w*n + 5 = -10 for v.
-4
Let w = -11 - -11. Solve 2*c + 2*y = -6, 4*y + w = -16 for c.
1
Suppose 0 = -x - 3*d - 2, -5*x + 6 = 4*d - 6. Solve 0*u - 2*u = -b - 1, -x*u = -5*b - 11 for u.
-1
Let t be (-88)/14 + 4/14. Let m be 2/((0 + 3)/t). Let g = 4 + m. Solve 2*y - 3*r + 8*r = g, y = -4*r + 3 for y.
-5
Let g be 2 - (1 - (-8)/(-2)). Solve 0 = -2*q, r + q - 4 + g = 0 for r.
-1
Let k(c) = c**2 - 2*c - 5. Let z be k(4). Solve 5 = o - z*r + 5*r, 5*o - 5*r = 25 for o.
5
Let a be (4 - -17 - 3) + (-1 - 0). Solve 2*m + w = 10, 5*m - 11 - a = -4*w for m.
4
Let z(l) = l**3 - 8*l**2 + 9*l - 5. Let o be z(7). Let i(q) = q**2 - 8*q - 6. Let b be i(o). Solve w + 5 = 2*h, -5 = -w - 0*h - b*h for w.
-1
Let p(i) be the third derivative of i**5/20 + i**4/6 + i**2. Let t be p(3). Let c = t - 4. Solve -3*j - 3 = 3*n, 4*j + c = 5*n + 4 for j.
-4
Suppose -w = 3*w - 20. Suppose -20 = 3*r - 4*r + 5*c, 3*c = -3*r + 6. Solve 5*l - 5*u = r, -4*u = w*l - 0*u + 40 for l.
-4
Let n(j) = 3*j - 8. Let w be n(6). Solve -w = -3*u - 2*q, -q = -u + 6*u - 5 for u.
0
Let v(p) = -p**3 + 5*p**2 - 4*p + 2. Let m be v(4). Let i be 0/(m/(-6)*-3). Solve -t + 2*d + 8 = 0, 0*t + 3*t + 3*d + 12 = i for t.
0
Let a(b) = -b**3 - 4*b**2 + 2*b + 11. Let i be a(-5). Solve 4*c - 3*p - i = 0, 0 = -c - p - 0*p + 3 for c.
5
Let k(o) = o**2 - 2*o - 1. Let h be k(3). Let z be (-2)/h*(1 - 1). Suppose 0 + 9 = 3*n. Solve z = 2*f + 2*s + 4, -f - 3 - 9 = n*s for f.
3
Let d be 1*0/((4 - 2)*-1). Suppose -4*r - 3*n + 64 = 2*n, -2*n - 113 = -5*r. Solve -2*x - 2*c + 4 = d, -5*x + r = -2*c + 4 for x.
3
Let q(o) = -2 + 8*o - 6*o + 2. Let u be q(1). Solve -3*y - u = -y, -4*i = 2*y + 22 for i.
-5
Let m(r) = -r + 4. Let v be m(5). Let f = v + 3. Solve -c - 2*n - 7 = 0, -n + f*n + 5 = -c for c.
-3
Suppose -17*x + 22*x - 120 = 0. Solve 0*j - g = -4*j - x, -2*g - 7 = 3*j for j.
-5
Suppose 4*b + 2*g = 2 + 2, 3*g + 2 = -2*b. Let s(n) = n + 2. Let x be s(b). Solve y - 4 = -3*y - j, y - 1 = x*j for y.
1
Let x(g) = g**3 - 2*g**2 - 3*g + 3. Let j be x(3). Let r be 11/3 + (-7)/(-21). Let z be (-18)/(-4)*(-2)/(-3). Solve -2*f + z = -j*s + r, 37 = -4*s - 5*f for s.
-3
Suppose -3*o + 21 + 15 = 0. Solve 3*n = -2*k + o + 1, 0 = -5*n - 5*k + 30 for n.
1
Let z = -8 + 13. Solve -z*v - 8*x + 3*x = 30, -x = 2*v + 7 for v.
-1
Let m = 3 - 0. Suppose 42 + 12 = m*w. Solve -o = -2, i + 5*o = 3*i + w for i.
-4
Suppose 0*v + 2*v - 6 = 0. Suppose 110*q - 56*q = 162. Solve 2*t + v*w + 30 = -w, 0 = -3*t + q*w for t.
-5
Let s be (-1 + -2)*(-2)/2. Let h = s + 9. Solve -3*u = -4*f + 12, 4*f + 0*f - h = -3*u for u.
0
Suppose 6 = 2*w - 16. Solve 3*j = 4*d + j - 12, d - 4*j + w = 0 for d.
5
Suppose 0 = 5*u + 20, 19 + 8 = 5*y - 3*u. Suppose r = 4*f - 5 - 3, -7 = -r - f. Solve 21 = -k + 4*a - y, -5*k = r*a for k.
-4
Let f = -1 + 1. Suppose 10 = 2*j - f*j. Suppose k + 3*r - 5 = 0, -4*k + j*r = -k - 15. Solve -2*a - 20 = 4*h - 0*h, 14 = -k*a + 2*h for a.
-4
Let k be 1 + 0*2/(-4). Let u(g) = -g**2 - g + 1. Let f be u(0). Let s be (1 - f) + (-3 - -7). Solve -5*x + 4*r - 2*r - s = 0, -3*r - k = -4*x for x.
-2
Suppose -2*h + 4*f - 4 = 16, -3*h - 5*f + 25 = 0. Let j be (h + -2 + 3)*0. Solve j = 2*z - 4*t + 12, -3*z = 4*t - 2 - 30 for z.
4
Let v = 8 + -2. Let x = 10 - v. Let q(f) = 18*f**2 + 2*f - 2. Let n be q(1). Solve -x*h = 4*a + h + n, 5*a - 2*h = -6 for a.
-2
Let c(f) = 6*f**2 + 9. Let l(y) = 5*y**2 + y + 8. Let j(s) = 4*c(s) - 5*l(s). Let h be j(-4). Solve 3*w = 0, 0*v + 4*v - 2*w - 12 = h for v.
3
Let d(x) = -x**3 + 6*x**2 + 7*x + 1. Let r be d(7). Let c be 29 + 4 - (-4 + r). Solve -4*m + 4*p = c, 3*m = -0*p - 4*p + 8 for m.
-4
Let c(n) = n - 4. Let w be c(6). Solve 2*a = 3*a + w*d, -2*a - d = 0 for a.
0
Let u(j) = j**2 + 17*j + 1. Let a be u(-17). Solve -a = -s - 3, -2*l = 5*s + 8 for l.
1
Suppose 7*w = 9*w - 26. Solve -2*p - 18 = -2*f, -4*p = 3 + w for f.
5
Let d(y) = y**2 + 5*y - 3. Let l be d(-9). Suppose 1 = -2*o + s + 7, -2*s = 5*o - l. Solve -5*g + 10 = 5*z - 0*z, 5 = -o*z - 2*g for z.
-3
Let w = -7 + 11. Solve -4*d = 0, -w*t + 2*d - 2 - 6 = 0 for t.
-2
Let w = 6 + -9. Let y = 0 - w. Let l be (-16)/(-10)*(3 - -7). 