for r.
3
Let y be (-17)/(-4) + (-1)/4. Suppose -5*r + 5*u = -3*r + 9, -5*r = y*u - 27. Solve -3*a - r = -2*f, -4 = -a - 2*f + 3 for a.
1
Suppose -j - 12 - 1 = 0. Let n be 0 - -3 - (j + 1). Suppose 3*h - c - c - 6 = 0, 5*c + n = h. Solve 2*f + 2*l - 10 = 0, 4*f + 0*f - 5*l - 20 = h for f.
5
Suppose -p = 2*g - 0*p, 2*g + 3*p + 8 = 0. Let v be g/4*2 + -1. Solve v = -4*y + 20, 0*o + 5*o - 30 = -3*y for o.
3
Let m = 45 + -10. Suppose -5*k - 14 = p + p, -5*k - m = -5*p. Solve -p*y + 27 = 4*w, -2*y - w + 8 = -y for y.
5
Let y = -11 - -5. Let s be (5/(-3))/(y/18). Let b be ((-33)/(-9))/((-2)/(-6)). Solve 2*u + v = -0*u + 5, b = 2*u - s*v for u.
3
Suppose 0 = -f + 3*d, -f - 2*f - 4*d = 0. Let o be 102/2 - 1/1. Solve -2*l + 3 + 2 = 3*s, f = 5*s - 5*l - o for s.
5
Let f = 7 + -2. Let k be 2*1 + (-8 - -9). Solve 4*j + 2 = f*d + 28, 0 = -5*d - k*j + 2 for d.
-2
Let c be -15*(-2)/18*3. Solve 2*q - 20 = c*i, 5*i = 2*q + i - 16 for q.
0
Let x = -2 - -13. Let l = -11 + 11. Suppose l*t = t. Solve 2*f - s - 4*s + x = t, -14 = 5*f + s for f.
-3
Let a = 11 + -6. Let q(y) = 5*y - 3*y + y**3 - 5*y**2 + y. Let r be q(a). Solve 0 = 3*z - 4*n + n - r, 0 = -5*z + 4*n + 21 for z.
1
Suppose 2*b + 5*l + 0*l - 36 = 0, -4*b + 20 = -3*l. Let h be 34/b - 2/8. Solve 3*k = -2*a + 9, -h = -k - 4*a - 11 for k.
5
Suppose s - 3 + 1 = 0. Suppose 2*l - 11 = -1. Solve 3*h - h - 6 = -l*p, 6 = s*h + 3*p for h.
3
Let y(v) = 2*v - 6 - 2 + 0. Let m be y(6). Solve -x - x - m*c - 20 = 0, 3*x + 2*c + 10 = 0 for x.
0
Let b = 3 + -4. Let l be (b/(-2))/((-2)/(-8)). Solve 4*j - l = a + 9, -4*a + 4*j = -4 for a.
5
Let p be (-2)/(2 + ((-20)/(-8))/(-1)). Solve 3*d - 4*d = -4, -p*d = -x - 18 for x.
-2
Let u be (-4)/(-14) - 16/7. Let p be 3/6*u*0. Let y = 3 - -2. Solve 0 = 4*x - 0*t - 4*t + 12, p = y*x + 5*t - 5 for x.
-1
Suppose 4*n - 2*n = 0. Let v be (-5)/(-2)*(2 + n). Let o = 9 - 4. Solve 4*b + o*g = 20, v*g = -0*g for b.
5
Let q(c) = c**3 - c**2 + 5. Let o be q(0). Let b = 24 - o. Suppose 4 = -5*p + b. Solve -7 = -3*v + 5*v + z, 14 = -p*v - 5*z for v.
-3
Suppose n - 1 = -j - 2*j, -n = 5*j + 1. Suppose n*r - 38 = 2*r. Solve -5*w = -2*p + r, p + 0*p + w = -8 for p.
-3
Let t(d) = -12*d + 4. Let x be t(-1). Solve 4*s + 5*v = 0, v + x = -3*v for s.
5
Suppose m = a + 3, -4*a - 1 + 5 = 4*m. Suppose 4*n - 16 = 2*s - 2, n + m*s + 4 = 0. Solve x + 19 = 3*o + 6, n*x - 19 = -3*o for o.
5
Let i be 3/(-3) - (0 - 4). Solve -5*x - 4*v = -i*v - 27, v = 2 for x.
5
Let g(b) be the second derivative of b**4/4 + b**3/2 + b**2 + 7*b. Let a be g(-1). Solve s - 2*z = -a, 5*s + 5*z - 38 = -3 for s.
4
Let x = 2 - 2. Let m be 31 - 5 - (1 - -2). Let q be m/2 - 5/(-10). Solve x = -3*w - c - q, 2*w + 0*c = -2*c - 12 for w.
-3
Suppose -3*v + 11*j + 43 = 6*j, -j = 2*v - 7. Let g be 30/8 + v/(-8). Suppose 0 = -2*a + g*a - 4. Solve 0*x + 12 = 3*x, -a*h + 2*x = -8 for h.
4
Let f be (10/(-4) - -2)*-6. Suppose 28 = -m - f*a, 4*m + a = 4*a - 127. Let k = 60 + m. Solve -w + 2*c = -0*c - 11, 3*c + k = 4*w for w.
5
Let u be (50 - (-2)/2) + -3. Suppose -5*k + u = -112. Solve 11 = -3*t + 5*r + 43, 4*t - k = 4*r for t.
4
Suppose 16 = -3*x + 4*x. Let p = -9 + x. Let d be 1 + 0/(-2 + 0). Solve y = 1, -3*w + 3*y = -d + p for w.
-1
Suppose i = 5*i - 8. Let j be (9/i)/((-6)/(-8)). Let s = j + -2. Solve 3*b - 2*y - s = 0, -3*y = 5*b - 8*y for b.
4
Suppose -5*i - 3*y + 23 = 0, 0*y + y = -i + 5. Solve 2*c + 5*j + 4 + 16 = 0, 20 = -i*c - 5*j for c.
0
Let x(a) = 2*a - 17. Let n be x(10). Solve 2*p + 0*b = n*b - 18, -4*b = -2*p - 22 for p.
-3
Let b(f) = f + 14. Let s be b(-8). Solve -2*v - 20 = -5*d + 3*v, -4*d + s = -2*v for d.
-1
Let b = -3 + 21. Suppose -1 = -2*g + 9. Solve -g*i = 2*t - 5, -3*i + b + 11 = -4*t for t.
-5
Let q be 1/(-2) + 7/2. Suppose -3*g + 6*g = 12. Solve -5*k = 3*j + g, 8*j + 5*k = q*j - 10 for j.
-3
Let v be 48/(-60)*5/(-2). Let j be ((-3)/(-2))/(v/4). Solve -5*f + 4*t - 1 + 2 = 0, 0 = 2*f - j*t - 6 for f.
-3
Let l(k) = k + 4. Let t be l(-3). Let u be 11 - 8 - (1 + 1). Let r = t + u. Solve -r*d - 3*s - 7 = 0, 4*d + 5*s + 13 = 2*d for d.
1
Suppose 2*v - 7 = 3*i, i - 5*v + 9 = -15. Solve -2*c + 4*s = 16, s - 3 + i = 0 for c.
-4
Suppose 9 = 9*k - 6*k. Solve 5*s = -7*j + 2*j + 20, -4 = k*s - j for s.
0
Suppose -h + 16 = h. Let y(b) = -b**3 + 5*b**2. Let c be y(5). Suppose c = 5*f - 29 - 1. Solve f*o - o = -5*k + 5, 0 = 2*k + h for o.
5
Let w(d) = 2*d**3 - d**2 + 1. Let z be w(1). Solve z*j = -4*s, 2*j = -2*j - s for j.
0
Let u(m) = -m**2 + 3*m + 6. Let r(o) = 2*o - 5. Let s be r(5). Let f be u(s). Let l be (f/(-2))/(4/8). Solve -5*h + 2 - 1 = -4*d, -5*d = l*h + 32 for h.
-3
Suppose 5*f + 5*a - 110 = 0, -a + 85 = 4*f - 0*a. Solve 5*q + 2*i - 29 = i, -5*q + i + f = 0 for q.
5
Suppose -4*o + 3 - 43 = 0. Let a = 20 + 2. Let z = o + a. Solve -3*j - j - 4 = d, -3*d - z = -2*j for d.
-4
Suppose -2*y + v + 5 = 0, -3*v = 3*y - y - 25. Suppose -2*t - 2 = -3*q, 0 = -y*q + 2*q - 3*t - 3. Solve 5*i = -4*p - 7, -2*i + 4 + q = 5*p for p.
2
Let q = 28 + -25. Solve 3*s - 6 = q*j, -j - j = 3*s - 6 for s.
2
Suppose 0 = -2*i - 0*i + 8. Suppose 0 = 3*s - i - 2. Suppose 9 = -5*h + 29. Solve -5*j - x = -19, -h*j + s*x = -1 - 3 for j.
3
Suppose 0 = -0*l - l + 5. Let y = l + -3. Let n(d) = d**3 - 17*d**2 + 2. Let a be n(17). Solve z = -2*m + a, -4*z - y*m + 14 = -0*z for z.
4
Let h(s) = s**3 - 5*s**2 - 12*s + 11. Let q be h(7). Solve p - 4*a = -21, -2*a - 3*a + q = -p for p.
-5
Let g = -25 + 25. Solve 3*h + 2*f + f - 24 = g, -4*h - 5*f + 36 = 0 for h.
4
Suppose -65 = 3*w - 71. Solve -21 = 5*i - 4*z - 8, -w*i - 22 = 4*z for i.
-5
Let i be (-1)/2 - (-76)/8. Suppose -3*a - 3*w + i = -w, 3 = a - 3*w. Solve 5*m + u + 3*u = -33, -m + a*u + 1 = 0 for m.
-5
Let v(p) = p - 7. Let l be v(9). Let s = 14 - 13. Suppose 8 = 3*j - s. Solve -2*c - l = 0, -3*c - 4 = j*g - 10 for g.
3
Suppose 3*j = f - 2*j + 7, 0 = -4*f + 4*j + 4. Solve -3*v + v - 4*r = 6, r - f = v for v.
-3
Suppose -4*u + 0*u + 68 = 0. Suppose r - u = -4*o, -4*o + 5*r + 36 = 1. Let m be (-268)/(-6) - 3/(-9). Solve 0 = o*f - 5*k + m, 19 = -2*f + k + 5 for f.
-5
Let f = 2 - 2. Solve 0 = -2*c, 2*k + 4 + f = 3*c for k.
-2
Suppose -5*a - 36 = -51. Solve 0*r = a*r + b + 14, 0 = 3*r + 5*b + 10 for r.
-5
Let a(s) = -s - 1. Let p be 9*4*2/(-12). Let y be a(p). Let v be 3 + -2 + 1 + -2. Solve v = y*j + n + 5, 2*j - n = -5*n - 20 for j.
0
Suppose -l = -6*l + 20. Suppose -m = -l*m + 15. Solve 2*x = 3*x + 2*g - m, 3*x - g = 1 for x.
1
Let q be 1/((9/(-3))/(-21)). Suppose t - 5 - 5 = 0. Solve 2*f = k + 4, 4*k = q*k - 5*f + t for k.
0
Let n(y) be the first derivative of 2*y**2 - y + 1. Let r be ((-16)/28)/(8/(-28)). Let u be n(r). Solve 2*h - 3 = 3*q + 6, q = 2*h - u for h.
3
Suppose -65 = -3*c - 2*z, -4*z = -3*c - 2*z + 85. Solve 0*l + l = 5, 0 = 4*w + 5*l - c for w.
0
Let o = -13 + 9. Let p be (35/(-28))/(1/o). Solve -p*x = -5*b, 2*x - 6*b + 2*b = -6 for x.
3
Suppose -4*i = i - 3*r - 19, -2*i + 3*r + 13 = 0. Suppose i*q + 10 = 4*q. Solve 0 = 2*b - q*m + 16, 12 = -2*b - 0*b + 4*m for b.
2
Suppose 0 = t - 4*r + 17, 3*r - 8 = -4*t - 0*r. Let k(l) = -7*l - 2. Let y be k(t). Solve 4*c - 5*o - 17 = 0, c - 6*c = y*o + 35 for c.
-2
Suppose -20*z + 16*z + 32 = 0. Solve -4*x + z = 4*w, -2*x = 2*w + 2*w - 10 for w.
3
Suppose 0 = -5*r + 24 + 6. Let h(l) = l**3 + 5*l**2 - 2*l - 2. Let d be h(-4). Suppose -r = -2*k + d. Solve 0*m - k = -2*v - m, -5*v + 3*m + 13 = 0 for v.
5
Let k = -50 + 63. Solve 0 = 2*i - 5*q - 14, -5*q + 2 = -3*i + k for i.
-3
Let a = -9 - -11. Solve 0 = -b + 2, a*b + 4 - 12 = 2*j for j.
-2
Let k(n) = n**2 - 9*n - 7. Let f be k(10). Let c = f + 1. Solve c*x + 4 = -4*t, -5*t + 18 = -2*x - 3*t for x.
-5
Let n(h) = -2*h - 16. Let c be n(-9). Solve -5*m = -4*p + 5*p + 8, 5*p - 14 = c*m for p.
2
Let x be (6/9)/(2/12). Solve -h - 7 = -5*j, -h = x*j - 5*h + 4 for j.
2
Let d be (-14)/21*(-9)/2. Solve 3*p - 3*m - 3 = 0, 2*p + d*m + 4 - 1 = 0 for p.
0
Let k = -32 - -36. Solve -p - k*w - 3 = -1, -5*w + 8 = -4*p for p.
-2
Let m(d) = 3*d**2 + 2*d + 1. Let n be m(-1). Solve -2*w + z = n, 3*z + 6 = -w - 9 for w.
-3
Suppose 18*u - 17*u = 7. Solve -4*h = 4*s - 20, 2*h - u = 2*s + 3 for s.
0
Let g be 2/(-1 + 2 + 0). Let j(o) = 2*o**3 - 2*o**2 - 2*o + 1. Let k be j(2). Suppose k*w = 5 + 20. Solve -2*p - 5*d + 2 = 0, -3*p + g*d