 Solve -4*r = -d + 5 + 3, 0 = 4*r + d + g for r.
-2
Let s be (18/15)/((-9)/(-30)). Solve -6*z - 1 = -s*z - 5*b, 3*b - 3 = 0 for z.
2
Let s(f) = -f**2 + 5*f + 2. Let l be s(5). Solve 4*r - 12 = l*w, -2*w + 3*r = r + 8 for w.
-2
Suppose 4*y = 125 - 17. Let v = y + -15. Suppose 4*c - 1 = 3*l + 2, -l - 3*c = -v. Solve 0 = 4*u - 4*b + 4, -l*u + 2*b + 0 - 6 = 0 for u.
-4
Let t(q) = q**2 - 2*q - 2. Let m be t(-3). Solve -3*c + 0*b + 5*b = m, c = 2*b - 6 for c.
4
Let j = -37 - -55. Solve -2*r = -6*r + g + j, 2*r - 3*g - 14 = 0 for r.
4
Suppose 10 = -0*d + 2*d. Let p(w) = w**3 + 0*w**2 - 9*w**2 + 3*w**2 - 9*w + 4 - 3*w**2. Let u be p(10). Solve -y - 2*y = 2*r + u, -r + 6 = -d*y for r.
-4
Let k be 14/4 + 9/(-18). Solve -k = -3*w + n, -5*w + 3*n - 4 + 13 = 0 for w.
0
Let g be ((-2)/(-1 - -3))/(-1). Suppose -2*n + 5 = g. Suppose 3*j = 2*c + 8*j + 3, 2*c + j - 9 = 0. Solve -5*o - 5*f = 0, 4 = n*f - c*f for o.
1
Let l(p) = -2*p**2 - 13*p + 9. Let j be l(-7). Solve -5*n + m + 4 = -j*m, -n - 4 = -3*m for n.
2
Suppose 5*h - 64 = -4*o - 8, -5*h + 32 = -2*o. Suppose -s = s - h. Suppose -4*v - 12 = m, -2*m + s*v + 28 = m. Solve 4*y + 31 = 2*p - y, -m*p = -4*y - 32 for p.
3
Let w = 13 - 9. Solve -i = -5*q - 11, w*q + 2*i + 10 = 4*i for q.
-2
Let u be (1/2)/(2/8). Suppose u = 4*x - 10. Suppose p = 4*m - m + 1, -3*m + 2 = 2*p. Solve -3*r - r = 5*v + p, 0 = -4*v - x*r - 1 for v.
-1
Let q(r) = 4*r**2 - r**3 - 3 - 5*r**2 + 3. Let v be q(0). Solve -d = 2*t, -2*d + t = -v*d + 10 for d.
-4
Let m be 1 - (-2 + -1 + 2). Solve 0 = 3*g + 2*k + 3, -3 = -m*g - 0*g - 3*k for g.
-3
Let g be -12*2/(8/(-18)). Let q = g + -32. Solve 0 = -5*i - m - q, 2*i + 0*m + 12 = -2*m for i.
-4
Let y be (-1)/2 - 77/(-14). Suppose -y*v = -v + 4. Let s be 4*v*(-1)/2. Solve -2*k = 5*u - 33, 3*k = s*u + 2*u - 8 for k.
4
Let k = -48 + 52. Solve -15 = -3*z, 0*l - 5*z + 9 = k*l for l.
-4
Suppose 3*c = -9, -3*i = c - 3*c - 33. Solve -2*l + i = g, -l - 5*g = l - 5 for l.
5
Let z(y) = -5*y**3 - 2*y**2 + 3*y + 4. Let i be z(-1). Solve 3*h + 11 = 5*c, i*h + 3 - 27 = -3*c for c.
4
Let o be 1 + 1 + (-5 - -5). Solve -4*n - 21 = -u, -4*u - 2 = -o*n - 16 for u.
1
Suppose 6*q - 3*q = -3. Let f be (-6)/(2*q/8). Suppose 0 = -h - 2*h - 9, 2*p - 3*h = 15. Solve 2*w - p*w = 3*u - 15, -4*w + f = 3*u for w.
3
Let c = 6 + -1. Suppose -12 = -4*h - 40. Let v = h - -10. Solve c*t - 18 = -3*k, 3*t = 2*t + v*k for t.
3
Suppose -7*r + 6 = -r. Solve -25 = -5*a, -4*n + 5*a + r = 14 for n.
3
Suppose u + 4*r = -7, -r + 0*r = 3*u + 43. Let w = -13 - u. Solve 4*g = 2*g - w*f, 2*f = -5*g + 6 for g.
2
Suppose h = 3*o - 4 - 3, -h + 1 = -o. Suppose -o*s + 6 = -s. Solve -9 = 3*i + s*l, 0*i = 5*i - 2*l + 31 for i.
-5
Let t be (-2)/(-7) + (-396)/14. Let q = t + 40. Let a be (-2 - 2)/((-4)/(-4)*-1). Solve z + 4*f = 12, a*z = -0*z - f - q for z.
-4
Let q be 1*(14 + -2)/3. Solve -q*f - 5*t = -2*f - 19, 4*t - 20 = 0 for f.
-3
Let l(q) = -q + 5. Let c be l(2). Solve 4*t - c + 15 = 5*b, 9 = 4*b - 3*t for b.
0
Let t be 4/(-2)*(-7)/28*0. Solve 2*a = -2, t*d + 3*a = -d for d.
3
Let h(r) = r**2 - r - 13. Let k be h(0). Let g be (-4)/12 + k/(-3). Solve 2*l - 2 = g*x, -2*l = l + 5*x + 30 for l.
-5
Suppose -q = -1 - 2. Suppose 5*m = 4*f - 20, -2*m - 3*m = q*f + 20. Solve f*i - 5*i - 4*p = 2, 3*p = -4*i - 2 for i.
-2
Let d = 56 + -54. Solve -w + d*w - 2*c = -4, 4*c = -2*w + 8 for w.
0
Let x(h) = h + 3. Let q be x(7). Suppose 3*t - 1 = -q. Let g be t/3*0/(-1). Solve g = -4*c + 4*o - 8, -3*c - 5 - 1 = 3*o for c.
-2
Let t(o) = -5*o + 2*o - 4*o**3 + 2*o + 2*o**3. Let x = 0 - 1. Let k be t(x). Solve 0*r - 6 = l - r, -k*r = 2*l - 13 for l.
-1
Let c(z) = -5*z - 3. Let y be c(-2). Solve -3*u - q + 6*q = -37, q = -3*u + y for u.
4
Suppose 9*m + 21 = 12*m. Suppose 4 = 2*b, -m + 3 = 2*o - 2*b. Solve 3*g + 3*s - 18 = o, -4*s - 5 = -13 for g.
4
Suppose -r + q = -6*r + 54, 3*r = 4*q + 37. Suppose k = -1 + r. Solve -3*v = b + 2, v - k = 5*b + 4*v for b.
-2
Let q(p) = 6*p + 1. Let s be q(-6). Let l be ((-8)/(-14))/((-5)/s). Solve 0 = 5*v + 2*m + 18, 2*v + 4*m + l = 0 for v.
-4
Let b = 14 + -15. Let c = 3 - b. Let g be (2 - 0 - 5)/(-1). Solve 5*t = -5*v + 10, -g*t + c*v + 7 = -2*t for t.
3
Suppose 2*m - 26 = -0*m. Suppose -8*f - 15 = -m*f. Let u(b) = 2*b - 3. Let j be u(3). Solve f*c + j*i - 11 = 8*c, 3*c + 5*i + 27 = 0 for c.
-4
Let o be 2/(((-2)/(-5))/((-12)/(-15))). Solve o*p + 0 = 4*i - 28, -p = i - 1 for p.
-3
Let d = -4 + 6. Let h = 8 - 5. Suppose -q - 39 = -d*o, -h*q + 63 = -o + 4*o. Solve -3*n = n - 5*p - 25, -4*p = -2*n + o for n.
0
Let v(s) = -s**3 - 15*s**2 - 15*s - 13. Let i be v(-14). Solve n + i + 4 = 5*c, 2*c = 5*n - 21 for c.
2
Let o(x) = -x**3 + 4*x**2 + 5*x. Let i be o(4). Solve 5*c - 4*a - i = 0, -20 = 3*c + 5*a + 5 for c.
0
Let z(c) = c + 5. Let o be z(-6). Let j be 0/(o/(-2)*2). Suppose j = q - 13 - 2. Solve t - q = 3*k, -2*t = -5*t + k + 13 for t.
3
Suppose d + 3*n = 5 + 9, -4*d + 4 = -n. Suppose -t + 4 = d. Solve 2*o - 4*q = 2, t*q = -2*o + 10 - 2 for o.
3
Let m = -16 - -20. Let s be 16*(1 + 0) - 1. Suppose -2*d + 7*d - s = 0. Solve 2*q + 3*k = 13, k - m*k = -d for q.
5
Let x(q) = 1 + 3 - 3 + 14*q**2 + 15*q**2. Let j be (-1 + (-2)/(-3))*3. Let w be x(j). Solve 0 = -4*o - t - 15, o - 3*t - 2*t = -w for o.
-5
Let h be 0 - 2*(2 - 3). Suppose 0 = -3*m - 15, -2*j - 4*m = -h*m + 4. Solve 0 = -5*s - v - 15, 5*s + j = -5*v - 32 for s.
-2
Let n be 4/(-12) + (-37)/(-3). Let g = 2 + 17. Suppose 3*o + 2*h = 17, -o - 5*h + h = -g. Solve -9 = -o*k + 4*f - 21, 2*f - n = 3*k for k.
-4
Let o(c) = c + 7. Let x be o(-7). Suppose j - 20 = -j + 2*k, 2*j - 4*k - 30 = 0. Let l = j + 0. Solve u = -l*t - 9, u - 4*t - t - 1 = x for u.
-4
Let b be (-6)/21 - 691/7. Let k be 10/35 + b/(-21). Solve 4*v + 4 = -5*z - 3, v + k*z = -13 for v.
2
Suppose 17 + 33 = 5*j. Let l = -8 + j. Let s(i) = i**3 - 2*i**2 + 2*i. Let u be s(l). Solve -z + 4*z = u*q + 2, q - 5*z + 9 = 0 for q.
1
Suppose 0 = -2*n + 5*n - 27. Solve 4*x + 3*s - n = 1, x = 2*s - 3 for x.
1
Let h = -22 - -24. Solve t = -h*v - 2*t - 2, -5 = 5*v - 5*t for v.
-1
Let s(w) = -w**2 - 6*w + 7. Let m be s(-6). Suppose -13 = -4*n - n + v, 0 = -n - 3*v - m. Solve 2 = o + o - 2*j, 4*o - n*j - 6 = 0 for o.
2
Suppose -3*y + 78 = 5*v, 3*y = 2*v - 15 - 33. Let l be (-6)/v - (-56)/6. Let x = -15 + 20. Solve l = -5*g + 2*w - 0*w, 0 = x*w + 15 for g.
-3
Suppose 0 = 2*b + 3*b. Suppose b = 3*d - 4*d - 3*p + 2, -7 = -d + 2*p. Solve 0*m - 5*c = -5*m, 2*m - d*c - 9 = 0 for m.
-3
Let f = -10 + 13. Solve -3*k - 7 + 0 = 5*w, -w + 1 = f*k for w.
-2
Suppose 0 = 2*f - 1 + 19. Let r = f + 14. Solve -4*x - 5*z = r - 46, 3*x - 4*z + 8 = 0 for x.
4
Suppose -3*u = c - 64, u + 90 = 6*u + 5*c. Solve -5*q + v + u = 0, 0 = -3*q - 4*v + 3 + 20 for q.
5
Let r(m) = -m**3 - 10*m**2 - 9*m - 1. Let l be r(-9). Let h(n) = -4*n**3 + n + 1. Let p be h(l). Solve t + 15 = 5*s, -t + p = -2*s + 13 for s.
2
Let n = -3 + 5. Solve -q = 4*q + n*d - 23, -2 = 2*q - 2*d for q.
3
Let v = -175 + 189. Solve v = -3*y - 2*z, -y + 2 = -2*y + 2*z for y.
-4
Suppose 2*m = m. Let a(i) = i - 6. Let l be a(8). Suppose 0 = l*y + y - 9. Solve -5*h = k, -5*k + 0*k + y*h = m for k.
0
Suppose -2*c + 14 = 5*c. Suppose 5*a + 4*x = 18, -4*a + 29 = -3*x - 4. Solve 5*h - a = c*g + 7, g + 2 = -2*h for h.
1
Suppose -3*v = -8 - 16. Suppose v = 4*s - 0*s. Solve 3*m = o + 14, 5*o + s = -2*m - 0*m for m.
4
Let k(y) = 4*y**3 - y**2 - 2*y + 3. Let m(w) = 0*w + 7 + 0*w - w. Let d be m(5). Let q be k(d). Solve 2*p - 7 = o - 2*o, 2*p = -5*o + q for p.
1
Let c(i) = 5*i**2 - 6*i - 6*i**2 + i**3 - 5*i**2 - 3. Let u be c(7). Suppose -g + 2 = f + u, 3*f + 5*g = -14. Solve 3*j + 12 = -3*d, 4*j = 5*d - f - 5 for d.
-1
Suppose -2*w + 4*i + 11 = -5, -3*w = -i - 14. Suppose w*b = -b + 50. Solve 0 = g - 0*g - r - 2, -b = -5*r for g.
4
Suppose 3*w = -4*a + 17, 4*a = -a + w + 7. Let q be -3 - ((-5 - 3) + a). Solve 10 = -q*g + g - 4*f, 4*f = g - 13 for g.
1
Let h(w) = -w. Let t be h(-1). Let i = -1 + t. Let z(r) = -2*r + 12. Let b be z(4). Solve n - k = i, k = b*k for n.
0
Let y be (1/2)/((-4)/48). Let g be 0/((-5)/((-15)/y)). Solve -2*p + 1 = -3*t, t + 1 + g = p for p.
2
Suppose -4*a + 18 = -a. Suppose -4*r + a = -2. Solve 0*z - t = 4*z + 4, r*z - 12 = 3*t for z.
0
Let y = 21 + -5. Suppose 0 = 3*f + 1 - y. Solve 0 = 