+ 3*r - 3 + 0 = 0, -3*v = r - 7 for v.
3
Suppose 0*a - a = -4. Solve -2*n + 2*s + 8 = -a*n, -5*n - 17 = 2*s for n.
-3
Let g = 8 - -7. Suppose 0 = 3*z - 6*z + g. Suppose -z*k + 3*k + 22 = 0. Solve 0*x + 7 = 5*p - 3*x, 0 = -p + 3*x + k for p.
-1
Suppose -3*j - o + 16 = 0, 0*o + 16 = 4*j + 4*o. Let q be 350/15*j/(-2). Let b be (4/5)/((-4)/q). Solve -2*r - r - u = b, -13 = 3*r + 2*u for r.
-5
Let b be (((-6)/(-9))/(1/3))/1. Solve 2*k = 5*d - 24, -16 = -3*d - 2*d - b*k for d.
4
Let z = -49 + 69. Suppose a = -4*a + z. Solve -a*l + 2 = -2*y, -y + 2 = 5*l - 4 for l.
1
Suppose -2*r + 2 + 9 = 3*p, 20 = 4*r + 4*p. Solve -4*g = 3*f - 12, -r*g + 8 = 2*f - g for f.
4
Let f(n) = -n - 1. Let r be f(-4). Let a = -5 + 7. Let q = 2 - a. Solve -2*b - 4*j + 2 - 4 = 0, 3*b + r*j - 3 = q for b.
3
Suppose 3*o - o = 10. Suppose -g - 17 = k - 5*k, -3*k = o*g - 7. Let s be (-7)/(g/(3 - 2)). Solve 0 = -i + u - 5, u = -s*i + 3*i + 5 for i.
0
Let r(g) = -7*g**3 + 1. Let c be r(1). Let o be (-20)/(-6) + (-4)/c. Solve y = -w - o, -w + 3*y = -5*w - 17 for w.
-5
Let f = 88 - 88. Solve -4*v + 3*v + m - 1 = f, 5*v + 8 = 4*m for v.
-4
Let w(g) = -g**2 - 5*g + 2. Let b be 10/4*(1 + -3). Let l be w(b). Solve 2*s = 6, 0 = 3*j - 3*s - l - 1 for j.
4
Let j(l) = -3*l**3 - 1. Let v be j(-1). Solve v*y + 2*h + h - 5 = 0, 4*y + 5*h - 11 = 0 for y.
4
Suppose 3*m = 4*v - 28, -4*m - 2*v + 4*v - 34 = 0. Let r = m - -15. Suppose 2*o - 2*j + 6*j = 30, -4*o + 57 = 5*j. Solve p + p = i + r, 0 = -i - 3*p + o for i.
1
Suppose -3*y + 16 = y. Let j = -146 + 156. Solve -2*v = -0*v - y*d + j, 5*v - 5*d = 0 for v.
5
Let r be (-1 - -2)/((-2)/(-6)). Suppose 0 = 3*c - 7 - 8. Solve -r*g + 3*y + 15 = 0, 6 = c*g + y - 19 for g.
5
Suppose 20 = 3*r + 2*r. Let u(a) = -3*a + 1. Let l be u(-3). Solve 5*c + 4*w + l = -7, -r*c = 5*w + 19 for c.
-1
Suppose 3*t - 3*a = -2*t - 12, -2*a + 8 = -5*t. Suppose x - 3*x = 4*z - 26, -5*z = -3*x + 39. Solve 3*g - 2*j + 4 - x = t, 5*j + 16 = g for g.
1
Let x = -19 - -25. Solve -5*o + 45 = -5*u, 5*o + 2*u = x*u + 41 for o.
5
Let p = 0 + 15. Solve -6*k - s = -k + 3, 0 = 4*k + 5*s + p for k.
0
Let r be ((-4)/6)/(4/(-42)). Suppose r*j - 16 = 3*j, -4*j = 3*x - 25. Solve 0*k + k = 4*c + 15, 4*k = -x*c - 16 for c.
-4
Let h be (10/(-3))/((-3)/9). Let l = 25 - h. Solve q + 5*k = 5 + 8, -5*k = -l for q.
-2
Let m(b) = -b**2 - 7*b + 7. Let i be m(-7). Let y = -9 + i. Let o be y/4 - (-2)/4. Solve o = l + 5*g - 3, -3*l + 4*g = -4 - 5 for l.
3
Let k be 0 + 6 + -3 + 5. Suppose 4*c - k = 0, 5*j - 3*c - 62 = c. Solve 0 = d - 0*d + 3*m + j, -3*d + 23 = -4*m for d.
1
Let s(q) = -q + 1. Let w be s(2). Let z be 3 + w/(0 - 1). Suppose 4 = 2*y - z. Solve -y*k = 5*c - 16 - 14, -c - 23 = -5*k for c.
2
Suppose d = -2*d. Let g(p) = -p**3 - p**2 + p - 18. Let j be g(d). Let w be 6/5*(-60)/j. Solve 4*i = w*l + 12, 0 = 5*l - i + 2 + 1 for l.
0
Let d = 21 - 13. Suppose 4 = -v, 0 = p - 3*p - 2*v + 72. Suppose -3*l + d*l = p. Solve -3*w + 0*w = 2*h - l, -4*w = h - 14 for w.
4
Let b = -10 - -1. Let k = 6 + b. Let w be k + (2 - 2) + 33. Solve -16 = -3*u - p - 4*p, 3*p - w = 5*u for u.
-3
Let z(k) = -k**3 - 6*k**2 - 5*k. Let q(u) = u - 4. Let y be q(3). Let b = -4 + y. Let x be z(b). Solve -f - 4*m + 1 = -m, x = 5*f - m - 5 for f.
1
Let g(p) be the first derivative of 5*p**2/2 + 3*p + 5. Let v be g(5). Solve -d = 5*a - 23, -d - 4*a + v = 9 for d.
3
Let v(z) = z**2 - 3*z - 16. Let k be v(6). Solve -k*p = 2*p - b + 20, 2*p = -b - 10 for p.
-5
Suppose 0 = -w - 0*w - 2*q, 3 = 4*w + 5*q. Solve 0 = -n + 3*m - 10, m = -n - w*n for n.
-1
Let c(m) = -m**2 - 8*m - 3. Let d(g) = -g**3 - 4*g**2 + 2*g + 1. Let o be d(-4). Let w be c(o). Solve i + i - w*a = -20, 0 = -a + 4 for i.
-2
Let i be 6/15 + 2 + 16/(-40). Solve -3*o + 4*u + u = -10, i = o - u for o.
0
Suppose -2*r = -4*w, 5*r = 5*w - w + 12. Suppose w*v - 4 = 2. Solve 5*i = 0, v*h - 2*i + 10 = h for h.
-5
Let x be (-4)/14 - (-330)/77. Solve -x*z = d - 14, 0*d - 2 = -d for z.
3
Let c be (-5)/(-5 - 1 - -5). Solve c*t - 16 = -2*u, 3*u = 2 + 7 for t.
2
Let c(a) = a**3 - 4*a**2 + 1. Let j be c(4). Let x(d) = d. Let z be x(j). Let i be 4/12*9/z. Solve 3*u - i*h = -u + 4, -4*u = -2*h for u.
-2
Let m(s) = s**3 - 3*s**2 - 6*s - 6. Let j be 1 - (-8 - 16/(-4)). Let y be m(j). Solve -3*r = -r - 4*u + y, 2*r + 9 = -u for r.
-5
Let p(g) = g**2 + 3*g - 1. Let m be p(1). Solve -a - 3 = -q + a, 0 = m*q - 2*a - 5 for q.
1
Let i be (-10)/7 - -1 - (-18)/42. Solve -4*t + 14 = 2, i = 5*m - 2*t + 6 for m.
0
Suppose -65 = -4*v - v. Solve 3*q = 3*p - 6, 3*p = v + 2 for q.
3
Let y(b) = -14*b - 15. Let l be y(-2). Solve -2*u = -r - 11, -l = r - 3*u + 2 for r.
-3
Let u be (-12)/15*-1*5/2. Solve -v + 0*f = 2*f + 7, -u*v = 2*f + 12 for v.
-5
Suppose -8*c + 7*c + 4 = 0. Let y(d) = -d**3 - 9*d**2 + 11. Let a be y(-9). Suppose -c = -3*f + a. Solve 4*n - l = -f, -4*n - l = -0*l + 3 for n.
-1
Let d(i) = i**2 - 13*i - 12. Let p be d(14). Solve -4*c + 5 - 2 = 5*u, p = -2*u for c.
2
Let n = 1 + 0. Let j = n + -5. Let r = -2 - j. Solve -2*u - 14 = -r*z, -3*z + 13 = -4*z - 3*u for z.
2
Let i be (-2)/(-4) + (-9)/(-2). Let d be (-8)/12 - 53/(-3). Solve 5*u = 2*u - a + 7, -i*u + a = -d for u.
3
Let t be -8*1*(-2 - -1). Let i(g) = t*g - g**2 - 1 - 3 - 2*g. Let d be i(3). Solve -d*s + 16 = -s - 4*j, -3*s - 3*j = 0 for s.
2
Suppose -3*j + 4*y = -1 + 3, -2*j = -4*y + 4. Suppose j*k = 4*k - 24. Solve 9 = 3*m, -3*b + 5*m = -0*m + k for b.
1
Let n be ((-12)/(-8))/((-3)/(-140)). Let t be n/9 + 6/27. Solve -5*i + 15 = -5*y, y + 1 - t = -4*i for i.
2
Let k(u) = u**2 - 12*u + 39. Let t be k(6). Solve -2*z - 1 - 3 = -2*g, -4*z = t*g - 13 for g.
3
Suppose -3*q + 4 = -u, 3*u - 31 = -5*q - 1. Suppose f - 1 = q. Solve -3 = n - h, n - 3*n = f*h for n.
-2
Suppose 7*y - 3*y + 3*h = 3, 0 = -3*y - 5*h - 6. Solve -10 + 2 = 4*o - y*a, 4*o = -a - 8 for o.
-2
Let x = 35 + -32. Solve -2*y - y + 4 = g, 0 = -2*g + x*y - 1 for g.
1
Suppose 3*v + 4*x = 22, -3*v - 2*x + 26 = 3*x. Suppose 2 = 6*g - 5*g. Solve w - v*q - 18 = 3*w, -g*q = 8 for w.
-5
Let r be 2/1 - (9 - 12). Solve -15 = -r*y - 2*b, 4*y + 0*y + 3*b - 5 = 0 for y.
5
Let i = 9 + -5. Suppose 0 = -4*x - 12, -i*x = -5*n - 0*x - 13. Let k = n - -10. Solve -4*p + 2*g = -3*g, k*g = 0 for p.
0
Suppose -4*o + 14 = -10. Let g = 0 + 0. Let j = -4 + 6. Solve 3*t = g, -d - j = -5*t - o for d.
4
Let d be 4 + -6 + -1 + 15. Suppose 2*f + f = d. Let t be 1*(f + 0 + 0). Solve 4*b + t*k - 27 - 9 = 0, -5*b - 5 = -5*k for b.
4
Let w = 18 + -13. Suppose -a = -5*m + 2*a + 16, -w*a = -4*m + 18. Solve -m*h + 19 = -9*q + 4*q, 0 = h + q + 8 for h.
-3
Let r be (10/(-8))/(1/(-4)). Solve -v + n + r = 0, -3*v + 5*v - 4*n - 20 = 0 for v.
0
Suppose 10*l = 14*l. Solve -3*z - 2*v + 25 = l, -v + 3*v - 10 = 0 for z.
5
Suppose -q = 4 - 6. Suppose -j = q + 2. Let n = 9 + j. Solve -3 = -2*u - 2*g - n, 3*u = -2*g - 7 for u.
-5
Suppose 3*y - 6 = -2*a, -2*a = -4*y + 5 + 3. Let v(l) = l**3 + l + 6. Let b be v(a). Suppose -i + b = i. Solve 0 = -i*g + 4*j - 11, 0*g + 4*j - 1 = g for g.
-5
Suppose 16 + 9 = 5*c. Let b(w) = -w**2 + 6*w. Let z be b(c). Suppose -z*i + 15 = -0. Solve 5*j = -i*m - 31, -3*j = -2*j - 3*m - 1 for j.
-5
Suppose -5*a + 20 = -15. Let v = a - 2. Solve -4*j - 36 = v*h, 5*j + 6 + 10 = h for h.
-4
Let s(u) = u + 10. Let l be s(-6). Solve -18 = 2*t - 4*m - 0*m, 9 = l*t + m for t.
1
Suppose -i + 18 + 0 = 0. Let g = i - 13. Solve -29 = -4*p - 5*h, 0*p - g*p - 2*h + 15 = 0 for p.
1
Suppose -3*w = 4*r + 2, -2*w - r - 6 = 4*r. Solve 2*x + 4*j + 4 = 0, -3*x + 5*j + w = -3 for x.
0
Suppose 6 - 17 = -j + 3*b, -2*j = -b - 47. Solve -2*g + 4*v + j = 0, 2*g + 4*v - 1 + 7 = 0 for g.
5
Let d be (-26)/(-4) - (-1)/2. Let z(j) = j**2 - 5*j - 10. Let r be z(d). Solve 0 = -2*f - 2*a + 14, -r*a + 4 = -4 for f.
5
Let f(l) = -3*l - 33. Let p be f(-12). Solve 3*n - 5*k + 15 = 0, -4*k - 9 = p*n - 7*k for n.
0
Let p(m) = 3*m + 4. Let i be p(-6). Suppose -g - 23 = -2*g. Let r = g + i. Solve 2*n + r = -2*n + s, 4*n + 6 = 2*s for n.
-3
Let b be 3/((-60)/(-608)) + 6/10. Solve m - 4*y - 17 = 0, m + 5*y = -m - b for m.
-3
Let s be (-13)/65 - (-32)/10. Solve -z = -4*g + 14 - s, 0 = -4*z + 3*g - 5 for z.
1
Let p be 1/(-2 + 7/3). Suppose 0 = r - 0*a - 3*a + 6, -30 = p*r - 5*a. Let z = -2 - r. Solve 3*n - 5*l + 21 = -z, 4*l - 8 = -4*n for n.