r t.
-1
Suppose 0 = -3*k + 5*p - 143, -3*p - 69 = 5*k + 158. Let d = 63 + k. Solve 2*l = 2*s + 3*l - 1, 0 = 4*s + 5*l - d for s.
-2
Suppose 3*y + 5 = 20. Let z be ((-17)/2 - -4)*-6. Solve 5*m - y = -3*o - z, -4*o - m - 18 = 0 for o.
-4
Let c = -97 - -152. Let q = c - 49. Solve -6*f + 2*f = 3*d + q, 0 = -4*f + 5*d - 22 for f.
-3
Let q be (-10)/(-3)*(-36)/(-20). Let u be (q - (3 + -4))*1. Solve -3*h - 5*v + u = 0, -h = 2*v - 0 - 3 for h.
-1
Suppose 0 = c - 5*c - 60. Let o be (-12)/(-10) + 3/c. Solve -4*l - 5*b + 22 = 0, -3*l - 2*b = -4*l - o for l.
3
Let f be 20/50 - 68/(-5). Let o be 92/28 - 4/f. Solve 9 = -3*a, -3*s - 6*a = -o*a + 18 for s.
-3
Let x = 96 + -87. Solve 5*m - 1 + x = -4*u, 2*u = -m + 2 for u.
3
Suppose 8 - 24 = -4*b. Solve -3*h - u = 9, -b*h = 5*u + 4 + 19 for h.
-2
Suppose 7*t + 6 + 43 = 0. Let n be (16/(-7) + -2)*t. Solve 4*l - 4*m + n = -9*m, -4*m = 4*l + 28 for l.
-5
Let y be 1/4 + ((-9)/4 - -4). Solve -6 = -b + k, 0*b = -y*b + k + 7 for b.
1
Suppose 4*y - 16 + 12 = 0. Let f be y/(-3*(-3)/18). Solve l - 4*p = -21, f*p - 13 - 2 = 5*l for l.
-1
Let n be (-1 + 7)*2/3. Suppose -13 = -n*u + 3. Suppose g - k - u = 0, -2*g - 2*k - 4 = -k. Solve g = -2*c + s - 2*s + 5, 4*s = c - 16 for c.
4
Let i(t) be the first derivative of t**2/2 - t - 11. Let h be i(3). Suppose -4*v + 0 + 2 = 5*r, -5*r = -h*v - 14. Solve -6 = r*a + 4*d - 0, 2*a = -d for a.
1
Suppose 5*s - 62 = 3*s. Let y = s - 31. Let k be (-4)/(-10) + 54/15. Solve 0 = -5*v - q - 4, -k*q + 4 = -y*q for v.
-1
Suppose -10*m + 7*m = -12. Suppose u + l - 36 = -m*l, 4*u = -3*l + 93. Solve 4*j - j = -4*p - 8, -4*j + p = -u for j.
4
Suppose -q + 2*s = s - 4, -3*q = -s - 22. Let t be (-18)/30 - q/(-15). Solve 3*d + u + 3*u + 1 = t, -5*d - 5*u = 0 for d.
1
Suppose -41*f + 291 = 56*f. Solve 5*d = -5*y, 13*y = 15*y - f*d + 15 for y.
-3
Suppose 100 = 51*d - 26*d. Solve g - 2*j = j, d*j - 16 = -4*g for g.
3
Suppose 4*w - 16 = 5*b, -42*w - 8 = -2*b - 44*w. Solve 5*u = -4*o - 6, b*u - 3*o = 3*u + 6 for u.
2
Let w(h) = -h**3 + 2*h**2 + 6. Let k be w(0). Let z be (-5 + 3)*k/(-2). Solve -t - 1 = -2*m + z, 2*m - 6 = 0 for t.
-1
Let f = 4 + 6. Suppose 2*r = p - f, 5*p - 22 = 2*r + r. Solve -5 = o - p*k, 5*k + 2 = 4*o + 13 for o.
1
Let f(j) = j + 3. Let k be f(0). Suppose -15 - 24 + 11 = -14*q. Solve k*s - 8 = o - q*o, -5*o - 4*s + 29 = 0 for o.
5
Let x(l) = l**2 - 4*l - 45. Let r be x(9). Solve 0 = 5*q - r*q - 20, 4*f = q - 20 for f.
-4
Suppose -4*j + 24 = -2*c, 3*j - 4*c - 15 = 8. Solve 0 = j*u - a + 15, 11 = 3*a - 4 for u.
-2
Let c be (2 + 5/(15/4))*3. Solve 0*m - 2*m = 4*f + 16, 3*f - 4*m - c = 0 for f.
-2
Suppose 97 = 3*m + 5*g, 40 + 49 = 3*m + g. Suppose -5*t = -m + 9. Solve j + 2 = -v, -5*j = -2*v + t - 1 for j.
-1
Let i = -722 + 726. Solve 0*k - i*k = -2*m - 2, 0 = 5*m - 25 for k.
3
Let n = 374 + -363. Solve -2*a = 3*o - n, 6*o - 3*a - 31 = o for o.
5
Let g = -24 + 43. Let l(o) = g + o + 20 - 27. Let c be l(-5). Solve -c - 5 = 3*d, 0 = -q - 5*d - 18 for q.
2
Suppose 7 = a - 8. Let w = -4947 + 4947. Solve -3*f + a = -5*g, w = 4*f - g - 3*g - 20 for f.
5
Suppose -2*y + 4*g = 10, 3*y - 2*g = -g + 5. Let p(n) = -n - 6. Let d = -22 + 12. Let i be p(d). Solve -3*o - 2*t - y = 2*o, o = i*t - 5 for o.
-1
Let o be (-1)/((-104)/(-108) + -1). Suppose 2*d = -3*q + 13, q + q = -5*d + o. Solve -3*c = -d*n + 13, 4*n - 3 = 2*n - c for n.
2
Suppose 3*q + w - 4*w = -12, 3*q - 2*w + 8 = 0. Let i = -1640 + 1660. Solve 0 = -q*b - 4*b + z + i, -b + 12 = -2*z for b.
4
Let i(x) = -3*x + 4. Suppose -l - 4 = -8. Let g(u) = 2*u - 4. Let c(b) = l*g(b) + 3*i(b). Let m be c(-8). Solve -m*q + 1 + 0 = -3*z, 3*z - 5*q - 1 = 0 for z.
-3
Let u(k) be the third derivative of 0*k + 3*k**2 - 1/60*k**5 + 1/4*k**4 - 7/6*k**3 + 0. Let x be u(3). Solve 15 = 2*f + 5*a, -x*f + 5*f + 3*a - 18 = 0 for f.
5
Let l(n) = -n**3 - 3*n**2 + 9*n - 5. Let y be l(-5). Solve 2*u + 2*o + 2 = 0, y*o + 5*o = -3*u - 13 for u.
4
Let g be 6/9 + 44/6. Suppose 2*a - 3*s = -7*s + g, -3*a - 3*s = -12. Solve 0 = -q - 4*l + 4, 3*q - a*l = 7*q - 4 for q.
0
Suppose 21*f = -28*f + 196. Solve 2*q + 2 = -f*m, -5*m + 6*m - 3*q = -4 for m.
-1
Let h be 32/16 + 0 + 6. Solve 0 = -p - 3*g + 3 - h, 0 = -p - g - 1 for p.
1
Let g(r) = 93*r - 181. Let z be g(2). Solve 0 = x - t + 3 + 2, -2*x - z*t = 3 for x.
-4
Let r(u) = 14*u - 13. Let h be r(2). Suppose -2*y + h - 7 = 0. Let c be -1 + -1 + (0 - -22). Solve 13 - 1 = 4*p, 0 = y*n + 4*p - c for n.
2
Let d(r) = -r**2 - 8*r + 10. Let c be 2/((-4)/18 + 0). Let t be d(c). Solve -5 = -3*b + f + t, -b + f + 2 = 0 for b.
2
Let s = -34 + 39. Suppose 15 = -s*j + 5*h, 2*h = 2 + 4. Solve 14 = 2*n - m, 7 = -j*n - n - 3*m for n.
5
Let a(z) = 7*z + 25. Let u be a(4). Let t = -51 + u. Solve 3*p = -i + 5, 2*p + 5*i - 25 = -t*p for p.
0
Suppose -2*o + 0*x + 160 = -2*x, -o = -4*x - 74. Suppose 3*t + o = 97. Solve 0 = -c - 2*b - t, c - 1 = 3*c + b for c.
1
Suppose -7*a = -8*a. Suppose -k + a*k + 2 = 0. Suppose 2*n = 3*f - k*n - 31, 0 = -3*f - 4*n + 23. Solve y = -y - 2*x + 14, -3*y - f = -3*x for y.
2
Let o(k) = k**2 - 58. Let p be o(-8). Solve 5*v + p = q + 16, -5*q = 5*v - 40 for v.
3
Let a be ((-5)/4)/((-60)/96). Solve 3*q - 3 = 0, 3*q = 4*c + a*q + 9 for c.
-2
Let d be 2 + (2 - -1) - (4 - 4). Solve 0 = b - 2*a - 2, b - d*b = -2*a - 8 for b.
2
Let s(d) = d**2 + 2*d - 5. Let p be s(-4). Suppose v - p = 16. Solve -3*y = -3, 0 = 5*l + 2*y - y + v for l.
-4
Let d = 290 + -286. Solve -c + 2*j + 5 = 0, -4*c - d*j + 4 = -16 for c.
5
Let q(o) = 7*o + 93. Let j be q(-13). Let a(n) = -n**3 + 6*n**2 - 6*n + 6. Let y be a(4). Solve 0 = h, -j*h = -4*k - y + 6 for k.
-2
Let n = -5 - -16. Let j be (-6 - (2 + -3)) + 8. Solve 0 = j*l + 3*b - 3, -b - 5 = 2*l - n for l.
5
Let k(w) = -3*w - 24. Let v be k(-10). Suppose -u - v = -10. Solve 4*y = -4*q + 8, y = q - u*q + 4 for q.
1
Let h(k) = -k**2 - 4*k + 7. Let l be 6/(-3)*2 + -1. Let t be h(l). Solve 3*u + 10 = -t*u + 3*f, -u = -5*f + 24 for u.
1
Let t be ((-16)/(144/15))/(5/(-6)). Solve -3*z + 17 = t*o + 1, 0 = -3*z + 6 for o.
5
Let q = 53 + -52. Let y be -1*(q + 12/((-4)/1)). Solve r = y*r - 5*t + 24, 5*r - 3*t = -10 for r.
1
Suppose 0 = -15*c + 7*c + 16. Suppose 0 = 3*s + d - 7, -5*d = c*s - 11 + 28. Solve 0 = -2*r + s*g + 4, r = 6*r - 5*g - 15 for r.
4
Let k be ((-165)/(-35) + 2/7)*1. Solve 0 = -k*w + 2*b + 16, -3 - 9 = -4*w + 2*b for w.
4
Let l be 183/27 + (-3)/(54/(-4)). Suppose -2*s = -l*s. Solve s = b - 0*v - 5*v + 10, -3*v = -6 for b.
0
Let b be 4/6*((2 - -3) + -2). Let r be (32/b)/((-1)/(-2)). Solve 4*h - r = 4*j, h - 3*j - 14 = -0*h for h.
5
Suppose -5*b = -a - 51, 3*a + 3*b = -18 - 63. Let n = 34 + a. Solve 16 = -q + 3*p, -n*q + 2*p = 3 + 10 for q.
-1
Let a = -9 + 1. Let j(h) = -h**2 - 10*h - 7. Let t be j(a). Suppose 2*x + t = 5*x. Solve x*n + 4*s = -16, 1 = -3*s - 11 for n.
0
Let a = -6 + 8. Let h be 6/a + -3 + 10. Let k = -8 + h. Solve k*o - 8 = 4*j - 0*j, o + 4*j = -2 for o.
2
Let g(a) = -19*a + 1. Let y(r) = -18*r + 2. Let f(p) = 3*g(p) - 2*y(p). Let w be f(-1). Solve 4*h - w = o, o - 12 = -3*h + 3 for h.
5
Let p be -4*(-3)/(-2) - -6. Solve 5 = 5*z - i, 2*i + p = z - 1 for z.
1
Suppose -8*f - 216 = 16. Let m = f - -34. Solve -5*t = m*r + 15, t - 4*r - 12 = -4*t for t.
0
Let m = -150 + 152. Suppose 5*s = z + 30, m*s - s + 2*z - 6 = 0. Solve 4*t = 2*b + 26, -t - 5*b - s = 15 for t.
4
Let n be (3/(-4))/(1/(-4)). Suppose -4*u - 32 = -c, -c + 4*c - 85 = u. Suppose 0 = -c*v + 23*v + 40. Solve v = -4*i, f = -5*i - n - 2 for f.
5
Let m(d) = d + 8 - 10 + 0 - 6. Let s be m(10). Solve -4*r + 4*x - 8 = 0, -s = 2*r + 5*x + 2 for r.
-2
Suppose 4*g - 8 = 5*h - 0*h, 3*g - 3*h = 6. Solve 0 = 6*j - 3*j + 5*l + 2, g = l for j.
-4
Let l(d) = -5*d**3 - d**2 - d. Let f be l(-1). Let k = -358 + 361. Suppose -k*w + f = -7. Solve -3*h + 5 = -2*m + 3, w*h - 3*m - 3 = 0 for h.
0
Let w(h) = -h**2 - 16*h - 22. Let q be w(-14). Suppose n + 3 = b - 0*n, -4*n + q = 5*b. Solve b*s + 8 = -2*r, -5*r + 2*s - 1 = 12 for r.
-3
Let r(q) = -5 - 8*q - 4 + q**2 + 6. Let d be r(8). Let f be (-2)/d - (-50)/15. Solve -f*c = 3*l - 3 - 6, 3*c + l - 8 = 0 for c.
3
Suppose 4 = -32*g + 34*g. Solve 2*r + g*i = -0*i - 8, -4*i = r + 13 for r.
-1
Let f be (-75)/9*((-7)/(-5) - 2). Solve -4*s + 1 = -2*s - m, -2*s + 5 = -f*m for s.
0
Let c(b) = b