- o*c for r.
-3
Let w be (153/(-34) - -6)/((-5)/(50/(-3))). Solve -5*d - w*s = -40, 4*d + 13 = -3*s + 41 for d.
4
Suppose 51*r = 29*r + 23*r. Solve 0 = -2*i - 5*t, r*t = -3*i + t for i.
0
Suppose 9 = 3*v, -4*v + 14 + 218 = -4*l. Let i = l + 61. Suppose i*g - g = 120. Solve 0 = 4*t - 5*j + 32, -t - 5*j - 7 = -g for t.
-3
Let i(w) be the first derivative of 2*w**3/3 + 3*w**2 + w + 7. Let a be i(-4). Suppose 2*v - a = v. Solve -3*l + b - 6 = -2*l, -v = -3*b for l.
-3
Suppose 0 = -13*j - 7*j - 283 + 703. Solve 3*p = -c + 7 - j, 4*p + c = -17 for p.
-3
Let a = -47 - -49. Let p(f) = 5 - 12*f + 11*f - a*f. Let s be p(1). Solve -s*i = 5*v + 4 - 21, 0 = -5*i - 4*v for i.
-4
Suppose 0 = 5*c + 5*v - 35, 5*c + 8 = 5*v - 7. Let i(m) = -2*m**2 - 36*m + 245. Let d be i(-31). Let r = d - -566. Solve t + r*k = c + 3, 5*t - 3*k = -31 for t.
-5
Let g be 27/6*(2 - 58). Let z = -249 - g. Solve -4*s - z*r = 27, 4 + 6 = -2*r for s.
-3
Suppose 2*r - i + 5 = 0, -r + 3*i - 4*i + 2 = 0. Let b(v) = -2*v + 3. Let n be b(r). Let h be 2/n - (-138)/30. Solve 2*x = h*z + 31 - 1, 3*z = -x - 7 for x.
5
Suppose 0 = 3055*a - 3106*a + 102. Solve 4*y + 20 = c, 5*c - 3 = y + a for y.
-5
Let f(r) = 2*r**3 - 23*r**2 + 8*r + 37. Let s be f(11). Solve 3*t - 5*z - 2 = -s, -3*t = 5*z - 8 for t.
1
Let x be 118*2/4 - 0/(-2). Suppose -100 = x*j - 64*j. Solve -4*r + 12 = -2*n - 0*n, 4*n = -3*r + j for n.
2
Let m(y) = 2*y**2 + 7*y + 2*y + 10 - 3*y + 2*y. Let h be m(-2). Solve x - 4 = -x + h*z, 0 = -x - 2*z + 11 for x.
5
Let v(m) = m**2 - 22*m + 21. Let j be v(21). Let s = 2679 - 2644. Solve -2*w - 18 = 3*b, -4*w - 3*b - s + 11 = j for w.
-3
Let o be (-62 - -69) + 412 + 1. Let w be 1/(-6) + 910/o. Solve 5*j + 3 = -3*g, w*j = -g - 3*g - 4 for j.
0
Suppose 4*x - 36 = o + 3*o, 4 = -2*o. Let j = x + -13. Let w be (7/2)/((-3)/j + 0). Solve 0 = -2*a + 5*d - w, -d - 1 = 3*a + d for a.
-1
Suppose -5*m = -3*x - 0*m - 19, -3*x = -m - 1. Let z be ((-6)/5)/(-2) - ((-9048)/(-145))/(-26). Solve z*y + 3*w - 2*w = -16, -x*w + 8 = -2*y for y.
-5
Let x(g) = -2*g**2 + 110*g - 406. Let j be x(4). Solve -3*m + 5*a = 24, j = -m + a - 4 for m.
-3
Suppose 3*t - t - 10 = 0. Suppose t*i + 80 = 100. Solve -4 = -c - q, 3*c = -i*q - 1 + 18 for c.
-1
Let p(n) = -14*n**2 + 24*n + 98. Let i(w) = 3*w**2. Let k(f) = 5*i(f) + p(f). Let c be k(-19). Solve -c*h - 3*s - 10 = -4*s, 0 = h - 3*s - 2 for h.
-4
Let f(z) = 91*z + 3649. Let l be f(-40). Solve 3*k - 3*j = 3, 5*k + l = 6*k - 3*j for k.
-3
Let o be 5/(-35) - (-30)/14. Suppose 0 = z - 0*w - 4*w - 26, -3*z + 36 = o*w. Solve -4*s - z = -f, 5 - 12 = -5*f - s for f.
2
Let h(y) = -45*y - 1483. Let l be h(-33). Solve -17 = -4*a + 3*m, 2*m + 7 = l*a - m for a.
5
Let t = -15044 - -15049. Solve 10*x = t*s + 12*x + 20, -3*s = -3*x + 12 for s.
-4
Suppose -7*o + 48 = -11*o. Let x be 4/8 - o/8. Suppose -3*h + 5 = -x*i, 5*i + 8*h = 3*h + 50. Solve 4*s + 37 = -i*q, 2*q = -s - 2 - 11 for q.
-5
Suppose 3*r - 5 = 26*q - 24*q, -3*r + 4*q - 5 = 0. Solve r*t + 2 = x, -2*x + 2 = 3*t - 2 for t.
0
Let j(s) = s - 1. Let x(d) = -6*d + 1. Let g(c) = 5*j(c) + x(c). Let u be g(-7). Let y = -2327 + 2327. Solve 0 = -3*m - y*m - n + 10, -2*n = u*m - 14 for m.
2
Suppose 0 = 5*a - 2*y - 2163, 0 = -2*a + 8*y - 3*y + 882. Let d = a - 426. Solve 2*m + d = 5*p + 16, 14 = -2*p - 4*m for p.
-3
Suppose 2*r + 5*j + 39 = 0, 120*r + 39 = 121*r - 4*j. Solve 2*z = -4*m + 14, 0 = -3*z - r*m - 7 + 25 for z.
5
Let a be 2*(-12)/72*(-12)/4. Solve -6*m + i - a = -7*m, -i - 1 = 3*m for m.
-1
Let m = 39 - -23. Let j = m + -59. Solve 0 = -i + j*u + 7, 0*i - u = -2*i - 1 for i.
-2
Suppose -4*n = -k - 564, 4*n + 260 = 6*n + 5*k. Suppose -115*p + 87*p = -n. Solve -4*d - x - 24 = -p*x, 27 = -4*d + 5*x for d.
-3
Let m = -188 - -206. Let q be ((-6)/9)/(-1 + 15/m). Solve -5*o = 0, r - 12 = -2*r - q*o for r.
4
Let u be -2*(-6)/(-12) + 4*1. Suppose 3*q + 4*q = -u*q. Solve q = 3*l, -4*z + 0*l = -3*l + 12 for z.
-3
Let a(y) = -y**3 - 7*y**2 - 6*y + 5. Let h be a(-6). Suppose 0*r + 8 = 3*q - 4*r, 10 = -5*q - 5*r. Solve -3*i = 3*v, 3*i = -h*v - q + 2 for i.
-1
Let l be (-2)/(-19) + -5 + (-10268)/(-646). Suppose -4*d - 2*b = -7 - 11, -46 = -3*d + 5*b. Let a = l - d. Solve -r = a*h + 12, -8 = -h - h + 3*r for h.
-2
Let z be (363/(-242))/(3*2/(-16)). Suppose 0 = 3*l + 2*d - 6, -z*l + 12 = -2*d - 10. Solve 7 - 2 = 5*h - l*f, 2*h = 3*f + 2 for h.
1
Suppose -2*b = -v + 6, -31*v + 4*b + 12 = -26*v. Solve -a + 3*t = -6*a + 20, 5*t = v for a.
4
Let n = 6 + -3. Let i(v) = 3*v**3 - 7*v + 5. Let j be i(2). Suppose 17*w - j*w = -z + 6, -28 = -5*w + 4*z. Solve -3*k - 4*p = -n - 0, w*k + 3*p - 4 = 0 for k.
1
Let i be (-6 - 51/(-9))/((-1)/3). Let q(d) = 5*d**2 + 18*d - 18. Let v be q(i). Solve -7*l - 20 = -2*l - v*f, -5*l = 5*f + 30 for l.
-5
Let d(g) = -7*g**2 + 499*g - 617. Let t be d(70). Solve -t = 2*h - a, 0 = -4*h - 11*a + 6*a + 9 for h.
-4
Suppose 0 - 56 = -2*z. Suppose -2*t = -i + z, 2*i = t - 3*t - 28. Let f be 4*((-8)/t + 6/14). Solve -3*k - k = 3*n - 8, f*n - 5*k = -41 for n.
-4
Let h = 44 - 40. Suppose 4*t = -p - 2*p + 17, -2*p + 38 = -h*t. Let g be (14 - p)*(0 - -1). Solve -18 = -d + 2*d - g*v, -3*v + 12 = d for d.
-3
Let c(d) = d**2 - 12*d + 7. Let o be c(5). Let j = o + 40. Suppose 11*m - j = 5*m. Solve 0 = -m*b + 4*x + x - 1, -7 = 3*b - 2*x for b.
-3
Let a = -4957 - -4964. Solve 5*k + 10 = 4*g, 9*g = a*g + 10 for k.
2
Suppose v - 4*a = 12, -5*a = -v - 2 + 16. Suppose v*r + r + 20 = 0, -4 = -4*m - 2*r. Solve p + i = 2, 0*p - 4*i + 9 = m*p for p.
-1
Suppose -4*c = h + 5 - 41, -12 = -3*c + 3*h. Let r(o) = -o**3 + 9*o**2 - 8*o + 3. Let w be r(c). Solve -w*p + 2*x = 0, 4*x = -p + 6*p for p.
0
Let d(n) = -n**2 - 8*n + 344. Let t be d(0). Suppose -348 = -2*o - t. Solve 0 = -q + o, 6 + 20 = 4*l + 5*q for l.
4
Let m be 10 + -12 - (-4)/1. Let y be (-260)/(-117) + m/(-9). Suppose -4 - 6 = -y*l. Solve l*x - 4*w = 46 - 11, 4*w = -4*x - 8 for x.
3
Suppose 0 = -2*t + 4*p - 17 + 23, -20 = -5*t + 5*p. Solve t*o + 5*x + 10 = 0, -6*x + 8 = -2*x for o.
-4
Suppose -6*c = -2*c - 8. Suppose -407 = -x - 402. Suppose -x*f = -10, 7 = h + 6*f - 5*f. Solve 0 = -h*v + c*u + 14, 3*v - 7*v = u - 6 for v.
2
Suppose 4*w + n - 56 = 0, 13*w - 18*w + 97 = 8*n. Solve 5*d + 21 = -u, u + 4*d = d - w for u.
-1
Let z be -1*106/(-22) - (-8)/44. Suppose -30 = z*d - 110. Solve 2*r + 3*r + a = -d, 4*a = 4*r + 32 for r.
-4
Suppose -9119 = 45*q + 17026. Let o = -576 - q. Solve d + o*x = -25 + 2, 1 = d - x for d.
-3
Let o(f) = 3*f - 41. Let c = 304 + -288. Let r be o(c). Solve 0 = -3*s + b - r, -5*s - 3*b = 7 for s.
-2
Suppose -2*q - q + 6 = 0. Suppose r - q*r - 11 = -5*x, -4*r = 5*x - 31. Let g(u) = 32*u + 32. Let k be g(-1). Solve 2*w - 2*p = -6, x*w - 4*p - p + 5 = k for w.
-5
Suppose 0 = 2*p + 5*t + 14, 154*t + 29 = 3*p + 149*t. Solve -p*r = 2*y + 1, y + y = 2*r - 6 for r.
1
Let c(l) = -l**2 - 12*l - 31. Let n be (-6 - -3)*28/12. Let t be c(n). Solve -2*x = 4*o - 28, -x - 3*o - 1 = -t*o for x.
4
Suppose -199 = -x + 3*t + 316, -x + 2*t + 510 = 0. Let a = 504 - x. Solve 4*o + 4*v = a, -3*v - 1 = -2*v for o.
2
Suppose -19 + 3 = -2*f. Suppose 14*t = 1236 + 164. Let l be (52/65)/(8/t). Solve 2*j = 4*r - l, r + 3*j - f*j = -2 for r.
3
Suppose -5*v + 15 = 5*l - 25, -5*v = l - 56. Solve 3*c - 4*k - 20 = 0, -22*c = -23*c + 4*k + v for c.
4
Suppose -5*r - 128 = -r + 4*w, -5*r + 4*w = 142. Let m be (-86)/r + ((-64)/(-60))/8. Solve -25 = -4*s - 5*b, m*s - 8*s + 4*b = -21 for s.
5
Let k = 290 + 36. Suppose k = 5*a + 226. Solve a = -5*g, 2*g = 8*c - 4*c for c.
-2
Let j be (-1)/((-20)/(-25) + -1). Suppose i - j*i + u + 52 = 0, 3*u = 4*i - 60. Suppose i*y + 3 = 13*y. Solve k + y = 3*v, 4*v - 4 = 2*k + k for k.
0
Let x(m) = 4*m**3 - 43*m**2 + 107*m - 8. Let b be x(7). Solve 4*c - 3*r = b*c - 11, c + r = 5 for c.
4
Suppose -3*v = 4*v - 28. Suppose 3*j + 103 = -4*l, -4*j + 5*l - 189 = -0*j. Let s = j + 69. Solve -s = -4*k + 4*r, -k = -0*k + v*r + 18 for k.
2
Let x = -3284 - -3305. Solve 2*d - w = 4*w + x, -5*d - 5*w = 0 for d.
3
Suppose 965 - 800 = -239*s + 3033. Solve 9*b - 6*b = 5*l + 15, -5*b - s = 4*l for b.
0
Suppose 4*a + q = 13, 0 = 2*a - 0*q - q + 1. Suppose 3*z - x = 4*z - 25, 5*z + a*x - 116 = 0. Solve -2*v + 5*v + 4*u = 11, -4*v + z = -2*u for v.
5
Let f(z) be the first derivative of 13*z