= 0 for r.
1
Let g(y) = y**3 - y + 3. Let f be g(0). Let w(z) = z**3 - 4*z**2 + 3*z + 3. Let i be w(f). Solve 0 = i*v + d + 16, 0 = -3*v - 4*d - 8 - 11 for v.
-5
Let a(s) = -s**2 + s. Let i be a(0). Let h be 4/2 + 1 + i. Suppose 0 = -h*x - x + 16. Solve -24 = 5*c + m - x, -2*m - 7 = -c for c.
-3
Suppose 2*l = -l + 6. Let n be l/10 + (-29)/(-5). Solve 3*x - 4*k = n*x - 1, 2*x + k = -6 for x.
-5
Let g(y) = -y - 1. Let j be g(-1). Suppose -i + j*d + 4 = -4*d, -i = 3*d - 32. Solve 3*s - i = x, -4*x - 3*s = -2*s + 15 for x.
-5
Let z be (294/3 - 0)/(-1). Let d be z/7*(1 + 1). Let j = 46 + d. Solve 5*o + a - 26 = -2, 3*o - 3*a - j = 0 for o.
5
Let x = 3 - 1. Suppose f + 12 = 2*i, -x*f - 9 = -i - 3. Solve -3*g - 3*d + i = -g, g - d + 2 = 0 for g.
0
Suppose 0 = -2*t - 5*y - 1, 4*y - 3*y = 3*t + 10. Let c = 6 + t. Solve -p = g + 3 - 0, 0 = g + c*p + 3 for g.
-3
Suppose 5*j + 19 = 4, 3*z + 5*j = -3. Suppose z = -m + 7. Solve -3*u + 2*w = 6, -3*u - 9 = -5*w - m for u.
-2
Let l = 112 + -60. Let r be 164/(-6) - (-4)/(-6). Let m = l + r. Solve 4*t - m = 4*o - 3*o, -t - 3 = 2*o for o.
-4
Suppose -k + s = -2*s + 6, -s = 4*k - 41. Let l be ((-3)/k)/((-2)/150). Solve 5*f - 3*x = -6*x - 25, 0 = 5*x + l for f.
-2
Let z = 3 - 2. Suppose z = -5*c + 11. Solve -r + 5*k = 2*r - 37, -c*k - 2 = 2*r for r.
4
Let x = 186 - 182. Solve -4*f + 5*p + x = 9, -3*p + 1 = -2*f for f.
-5
Let r = 1 + -4. Let p = r - -9. Let d be 0/(2/(-3 + 1)). Solve 2*i = d, -p*y + y - i = 5 for y.
-1
Let l(x) = -1 + 2*x + 3*x - 4*x. Let z be l(2). Let f = 49 + -44. Solve -f*d + 23 = a + z, -3*d = 3*a - 18 for a.
2
Let u = 2 - 2. Suppose u = -4*l + 5*l. Solve 5*s = 3*v + 24, l = 2*s - 2*v + 4*v for s.
3
Suppose 26*f = 22*f + 12. Solve 2*s + f*k = -7, 6*k - k = s - 29 for s.
4
Let t be (0 - -1)*-1*1. Let l = 4 - t. Suppose -5*o = 4*f - 36, -l*f - o + 15 = -9. Solve 5*u - f*i = -45, 2*u - i + 25 = 2*i for u.
-5
Suppose 5*k = 4*k + 5. Solve 5*h = k*n - 0*h, 0 = n - 5*h + 12 for n.
3
Suppose -4*k = -3*g - 32, k = -4*k + g + 29. Let n be k/2 - (-15)/10. Suppose 40 = v + n*v. Solve -12 = 4*d - 4*y, 2*d - 4*y + v = -4 for d.
0
Let p be 9/12 + 9/4. Let f(m) = -36*m**3 - 2*m**2 - 2*m - 1. Let b be f(-1). Let g = -25 + b. Solve -4*y - g = 2*x, p = -3*y - 3*x - 6 for y.
-2
Let i = 0 + 3. Let z = 6 + i. Let n be (0 - -2)*(4 - 2). Solve 5*f + n*d = d - z, -2*d = -4 for f.
-3
Let f(y) be the first derivative of y**2/2 + 7*y - 2. Let w = 7 + -10. Let z be f(w). Solve z*t + 26 = -5*i, 20 = -3*t - i - 3*i for t.
-4
Let s(t) = t + 9. Let o be s(-4). Let a = 8 - o. Suppose -44 = -2*k + a*g - 2*g, -g = -3*k + 66. Solve 2*b - 2 = -2*i - 14, -3*i = 5*b + k for b.
-2
Let x(a) = 10*a - 3. Let m(b) = -b**3 + 4*b**2 + 5*b + 2. Let v be m(5). Let l be x(v). Solve 0 = 3*g - 5*c - 5, 0 = g + 4*c - c + l for g.
-5
Suppose 2*b = 8, b - 179 = -3*k - 2*k. Solve -4*n - k = 5*s, 9 = -s - n + 1 for s.
-3
Suppose 0 = -3*f - 3*x + 12, 20 = -0*f + 5*f + 4*x. Suppose -a + 1 = -1. Let n = a + f. Solve 3*y + n = 5*u - 21, -3*u + 13 = -y for u.
3
Let v be (-1)/(117/57 + -2). Let o = 13 + v. Let w(g) = g**3 + 5*g**2 - 5*g + 8. Let z be w(o). Solve -z*y = 2*x, 45 = 3*x + x - 5*y for x.
5
Let y(z) = z**3 + 6*z**2 - 2*z - 8. Let k be y(-6). Suppose 0 = -3*i + i + k. Let t = -39 - -57. Solve -9 = -r - i*l, r - 6*r - l = -t for r.
3
Suppose -30 = -6*r + 4*r. Let i = 10 + r. Solve -5*n + 4*q + i = 0, -5*n + 20 + 5 = -q for n.
5
Suppose -3*z + 5 = -7. Suppose 4*r + 2 - 38 = -z*c, -5*r + c = -15. Solve 0*l - 14 = 2*f - 2*l, r*l = -f + 3 for f.
-5
Suppose 2*o - 27 = -23. Solve -4*z - 5*v + 0*v - 18 = 0, -6 = 5*z - o*v for z.
-2
Suppose 5*j + 10 = -4*b, -2*j + 0*b - 4*b - 16 = 0. Let c = -9 + 11. Solve -j*w + 21 = 2*w - 3*f, -5*w = -c*f - 21 for w.
3
Let t(a) = 5*a + 66. Let p be t(-12). Solve -5*d = -2*v - p, d - 4*v - 9 = -v for d.
0
Suppose 2*v + 6*v = 72. Solve 3 - 1 = 4*a - 3*o, a + v = -4*o for a.
-1
Suppose 3*g + 28 = 7*g. Solve -4*q + s + 3 = g, -5*s = 4*q + 4 for q.
-1
Let n = 22 - -2. Let c be 138/n + 3/(-4). Let y = 8 - c. Solve -13 = -y*p - m - 3*m, 5*m = 20 for p.
-1
Let f(a) = -13*a**3 - 2*a - 1. Let u be f(-1). Let d(r) = r - 4. Let g be d(6). Solve u = 5*z - 3*k, 5*z + 10 = -3*k - g*k for z.
1
Let q(o) = 14*o - 11. Let s be q(1). Let i be (-4)/3*(-4 + 1). Solve v - s*b - 15 + i = 0, -3*v = -b - 17 for v.
5
Suppose 2*i - 8 = -0. Solve -o = i*p + 1, 3*p = p for o.
-1
Let f = -10 + 4. Let a be (-15)/6*f/5. Solve -20 = 4*h - 9*h - w, 0 = h - a*w + 12 for h.
3
Let l(z) = 2*z**2 + z. Let g be l(-3). Solve -28 = 5*u - 3*n, -n + 1 = -3*u - g for u.
-5
Let t = -55 - -57. Solve -3*z - 3 = -2*s, 4*z = t*z - s - 2 for z.
-1
Let s(j) = j + 7. Let i be s(-7). Let o(g) = g + 8. Let k be o(i). Suppose -f = -5*f + k. Solve -4*m + f*y = -4 + 6, 29 = 2*m + 5*y for m.
2
Let u = 19 + -19. Solve u*r + 5*f = -r - 28, -5*f - 25 = 0 for r.
-3
Suppose -2*u + 3*u + 4 = 0, -5*x + 3*u + 32 = 0. Solve 6*h = 3*h + 2*s, -2 = 5*h - x*s for h.
2
Let i be ((-2)/(-1))/((-4)/(-6)). Let t(c) = c**3 + 5*c**2 - 6*c + 2. Let v be (-2)/(-6) - 38/6. Let o be t(v). Solve x = f - o, -2*x = -i*x for f.
2
Let c = -30 + 32. Solve 12 = -5*i - c*r, i + r + 8 = 2*r for i.
-4
Let k(z) = z**3 - 3. Let q be k(2). Solve 0 = q*a - 5*o - 25, 4*a - 4 - 1 = -o for a.
2
Let r be (-652)/(-24) + 3/(-18). Solve 4*i - 3*d - 11 = 0, -4*i + r = -i + 4*d for i.
5
Let s be 26/2 - (0 + 1). Let z be s/8 - 5/(-2). Suppose -10 = -z*n - 2. Solve 0 = -3*r + 5*o + 11, -r - n*o + 1 = 12 for r.
-3
Let w = -19 + 38. Let q = 48 - w. Let k = q - 16. Solve -y - 2*a - 2 + 3 = 0, 2*y - a = -k for y.
-5
Let s = -50 - -55. Solve -3*l + 0*o - 3*o = 12, -s*l - 11 = -4*o for l.
-3
Suppose -11*o + 19*o = 64. Solve -2*p - o = 0, 4*y - 12 = -y + 3*p for y.
0
Suppose 60 = 22*a - 7*a. Solve -5*p + a*i - 15 = -0*i, i + 3 = -p for p.
-3
Suppose -2*l + 3*p = -3*l - 2, -p = -3*l + 34. Let w = -5 + l. Solve -3*z = 3*g + 6, w = 4*g - 2*z + 31 for g.
-5
Suppose -6*t = -t. Solve -3*x - 2 = l, -l - 4 = -t*l + 5*x for l.
1
Let k be 3/6*(-5 + (-44)/(-4)). Solve 0 = y - 0*y - 5*g + 21, -12 = -k*g for y.
-1
Suppose 7*p - 4*p - 6 = 0. Suppose -12 = 2*z - 3*d, -4*d + 8 = -4*z - p*d. Solve 0 = -4*t + 5*y - 28, z*y + 20 = -4*t + 3*y for t.
-2
Let k = 14 + -14. Suppose 0 = 4*w + 4*z - 4, k = 3*w + 2*w - 3*z - 45. Solve -4*m + m = 4*n + 8, -3*n - w = 2*m for m.
0
Let z(k) = k**2 + 5*k + 4. Let p be z(-5). Solve -4*w - p*f + 2 = -2*f, 2*w = 2*f + 4 for w.
1
Let v(u) = -u**3 - 6*u**2 + 7*u + 3. Let a be v(-7). Suppose -2*j + 3*j = a*m + 39, -25 = 5*m. Solve 0 = r + 5*n + j, 4*n + 14 = 4*r - 10 for r.
1
Let g be (18/27)/(48/(-27) + 2). Let i(o) = 5*o - 1. Let y be i(4). Solve -k + 1 = -4, -g*k + y = 4*x for x.
1
Let f(p) = -2*p + 2*p + 4*p**3 - 1 + p. Let h be f(1). Suppose 2*v - h = v. Solve 2*l = 4*d + 8, 3*l - v*l = 4*d + 8 for d.
-2
Let v be ((-100)/(-6))/(2/3). Suppose -15 - v = 4*l. Let g = l - -15. Solve 5*k = 3*o - 9 - 20, g*o + k = 11 for o.
3
Suppose 25 = -5*t, k - 2*t = 5*k + 106. Let q = k - -16. Let j(m) = -m + 2. Let h be j(q). Solve -2*d - h = -5*z, 0*d + 4*d + 20 = 5*z for z.
0
Suppose -2*q = -12 - 2. Solve t - 5*k - 22 = 0, 3*t + q = -k - 7 for t.
-3
Suppose 3*o = -2*s + 23, -3*o = -4*s + 2*s - 7. Solve 6*y - y + 3*c - 24 = 0, o*y - 3 = 4*c for y.
3
Suppose -21 = 2*j - 5*j + 3*l, j - 4*l = -8. Suppose h - 11 = -2. Solve -5*o - 11 = -z + h, 3*o + j = -5*z for z.
0
Suppose -4*j = -1 - 35. Let y = j - 4. Let q = 0 + 0. Solve -2*k + 4*v = 22, q*k = -2*k - y*v + 23 for k.
-1
Let f(y) = -2*y - 3. Let c be f(-4). Suppose c*u + 46 = 4*s - s, -3*u + 37 = 2*s. Let j = s + -12. Solve 3*h + j = -3*d - 2*h, -4*d - 12 = 4*h for d.
-5
Let g(i) = i**2 - 4*i - 6. Let y be g(6). Let x be (-4)/y - (-150)/9. Solve -5*d = v + 9, 4*d + v + x = -2*v for d.
-1
Suppose -3*f - 27 = -3*k, 2*k = k - 4*f - 16. Suppose -2*v = 4*y - 24, -k*y + 2*v + 13 + 3 = 0. Solve -x - 1 = -2*d, -y*d - x - 4 + 3 = 0 for d.
0
Suppose -5*n + 121 = 4*r, 0 = 3*n - 2*r - 90 + 13. Solve l - 4 = -0*x - x, n = 4*x - 5*l for x.
5
Let a = 1 - -4. Solve 5*s + 0 + 6 = 3*l, -5*s - a*l = 30 for s.
-3
Let z be 2/(-8) - (-33)/4. Let v be (0 + 1)*(z - 3). Solve -3*f - v*g - 9 = 0, 5*f - 2*g + g = 13 for f.
2
Let v be 6 + (-6)/(-1 + 3). Let r be 3*6/(v + -1). Let h = 10 - r. Solve -5*m - 