4*v - 1 = c*r + 2 for r.
-3
Suppose -3*j + 5*o + 33 = 0, 25 = j + 4*o + 31. Let s be 0*(2 + 2 + -3). Solve s*n = -5*m + 5*n + 30, 5*n + j = -m for m.
4
Suppose f - 12 = -2*f. Suppose -y = f*y. Let v = 4 - 2. Solve y = -v*l + 4, 4 = 2*u - u + 3*l for u.
-2
Let x(z) = -8*z**3 + z**2 + 15*z + 14. Let r be x(-1). Solve -a + 2*a = g + r, -2*g - a = 4 for g.
-4
Let w be 12 + (-1 + 2)/1. Suppose -h - 24 = -w*h. Solve -s - 7*u = -h*u + 13, 3*s + 1 = 4*u for s.
-3
Let r(t) = 11*t - 3*t + 24 - 9*t. Let z be r(21). Solve 2*o = -3*i - 14 - 5, o - z*i = 13 for o.
-2
Suppose -3*q + 1 + 8 = 0. Suppose -1968 = -348*h - 317*h + 9*h. Solve h*t - 5*i = -37, -5*i + 4*i = -q*t - 17 for t.
-4
Let j(f) = -2*f**3 - f**2 - 2*f - 1. Let n be j(-1). Suppose -3*i + n*i = -3. Suppose -z = i*z - 16. Solve -o = 4*t + 4, z*o - 2*t = -t - 16 for o.
-4
Let n be 25/10*(-8)/(-10) - -1. Let z be 9*n/18 - 10/(-4). Solve 12 = -z*d - 4*w - w, -2*d - 6 = -3*w for d.
-3
Suppose c + 3*f = f + 3, -4*f - 4 = 4*c. Let a be (0 - 0) + (-2 - c). Let u be -1 + 3 + (9 - 6). Solve a*w + i = -i - 13, 0 = u*w + i + 10 for w.
-1
Let g = -356 - -370. Solve 0 = -j - 3*j + 3*m + 31, -j + 2*m + g = 0 for j.
4
Let z be 1 - 0 - (-5 + 18/3). Suppose 3*p - 5*n - 10 = 39, z = -4*p + n + 37. Solve 3*y - j - p = 0, 3*j - 12 = -y - 2*y for y.
3
Let q be -20*(-2)/(-3)*(-9)/24. Solve w - l + 15 = 5*w, q*l = -5*w + 30 for w.
3
Let n = 10 + -14. Let h be 3 + -5 - n - -1. Solve 3*o = -h*l + l - 4, 5*o = -2*l - 12 for l.
4
Suppose -u - 19 - 1 = -4*f, 3*f = 5*u + 32. Solve 0 = 3*c - 2*q - f, 0*c + 2*q = -3*c - 16 for c.
-2
Suppose 15*f - 4*f = 55. Suppose -4*n + 60 = 5*h, 2*h + f*n = -0*h + 41. Solve 0 = 5*j - 4*k - 28 + 2, k = 2*j - h for j.
2
Let j be 2 + (6 - (-2 - -2)). Solve -3*h + j = -7*h - 5*a, h + 4*a + 2 = 0 for h.
-2
Suppose 2*c - 22 = -2*u, 4*u - c = -1 + 45. Suppose 88 - 52 = 5*h + 2*m, 4*m - 6 = h. Solve -g - 2*p = -h*g - 5, g = -2*p + u for g.
1
Let g = -723 + 731. Solve -4*y - 2*c + 20 = 0, -8*c = -4*c - g for y.
4
Let o(b) be the first derivative of b**2/2 - 6*b - 13. Let i be o(11). Solve -3*u + 2*p = 1, 6*p = -2*u + 3*p - i for u.
-1
Suppose t - 40 = -7*t. Suppose -t*h = 5*w, -3*w = -h - 0*h - 12. Solve 6*l = 3*l - w*s, -5*l - 3*s = -4 for l.
2
Let o = -129 - -134. Solve -o*a - 21 = 2*x, -5*a + 2*x = -0*x + 29 for a.
-5
Let n be (14/(-35)*1)/((-2)/20). Solve -t + n - 2 = 3*x, -5*x = 4*t - 8 for x.
0
Let g be -6*((-132)/(-8))/(-11). Suppose f = 5*p + 1, 0 = p - 2*p - 5*f + 5. Suppose p = -r + g - 5. Solve t = 4*o - 2*t + r, -4*t + 12 = -2*o for o.
2
Let k be -1 - 0 - (-11 - 2). Suppose 0*s + k = 4*s. Suppose -5*r + 0*r + 60 = -2*y, 0 = -s*r - 3*y + 15. Solve f - 3*j = r, -f + 4*j = 3*f for f.
-5
Suppose 2*x - 5 = -2*n + 15, -x + 2*n = -4. Solve 3*g - 18 = 2*c, -x*c - 7 = -4*g - 11*c for g.
4
Let v = -47 + 43. Let b be (-6)/24 + (-81)/v. Solve 2*o - d - 5 = 0, 5*d + b = 5*o + d for o.
0
Let y(u) = 2*u - 26. Let l be y(14). Suppose 8 = 2*c + l*c. Solve c*g = -4*j + 4, -2*g + 6 = -3*j + g for j.
0
Let w be 0*(1/(-2))/(3/(-3)). Suppose 0 = m + q - 1, 3*m - 3*q - 9 = -w*m. Let v be -2 - 8/(-2) - -2. Solve -2*u - y - 1 = -v, 3*y = -m*u + 1 for u.
2
Let f = -46 + 66. Let h = f + -7. Solve -4*l = -5*k + 11, -3*k = 2*k - 2*l - h for k.
3
Let n(r) = r**3 - 7*r**2 - 8*r - 5. Let y be n(8). Let w = y - 7. Let j be (1/2)/(w/(-48)). Solve 5*c - 20 = 5*z, -j*z - 4*c + 16 = -z for z.
0
Let s be 27/(0 + 0 + 1). Suppose 0 = -8*m - s + 35. Solve -4*x + 6 = -4*u + 2, -2*x = u + m for x.
0
Let b(d) = -d**2 + 3*d + 4. Let q be b(3). Suppose -2 - q = -f. Solve 0 = 5*w + 3*y - 5, -4*w = -3*w + 2*y + f for w.
4
Suppose -39 = 194*f - 207*f. Solve 0 = a - 1, r - 1 = -f*r - 5*a for r.
-1
Let r be ((-16)/1)/(5/(-10)). Let n be r/4*2/8. Solve 3*v + 3*g = 0, -v + n*g - 4 = v for v.
-1
Let u(o) = -38*o + 86*o + 10 - 46*o - o**2. Let z be u(0). Solve 2*l + z*m = 5*m + 7, -3*l + 1 = -2*m for l.
1
Suppose -c - 22 = 6*k - 11*k, -c = -4*k + 18. Solve -k*w = -3*l - 5*w + 9, -5 = -l - w for l.
2
Let s = -1087 + 1087. Solve -4*n - 2*v = s, -1 = -5*n - 14*v + 11*v for n.
-1
Let r be (-1)/2*(-3 + 73)/5. Let h be (r/(-21) - 0)*3*3. Solve -h*m + 1 = -c + 2, 0 = 4*m - c for m.
1
Let o(h) = -20*h - 20. Let b be o(-6). Let c be (3/2*2)/(60/b). Solve 0 = q + g - 6, c*g - 23 = -q + 3*q for q.
1
Suppose 12*j + 36 = 21*j. Solve 0 = -v + s - 1, -5*s + 17 = 3*v + j for v.
1
Let z(p) = -4*p + 10. Let s be z(8). Let i = 25 + s. Solve 0 = -4*b - 3*x, -2*b = i*b + 5*x + 5 for b.
3
Let o(d) = -7*d + 1. Let y be o(4). Let a be (-4)/18 - 114/y. Let t(n) = n**2 - 3*n - 10. Let x be t(5). Solve 0 = -4*z + 4*l + 20, x*z - a = -2*z - l for z.
3
Suppose h = y - 1, 6*h - 4*y = h - 1. Solve 0 = -d + 5*d - 5*u + 17, d + h*u = 0 for d.
-3
Let y(d) = d**2 - 16*d + 64. Let t be y(5). Solve -19 = 4*f - 4*c - c, 3*c - t = 0 for f.
-1
Let w = -2436 - -2440. Solve -2*g = -w*c - 16, 0*c = -c + g - 5 for c.
-3
Let x be 0 + (1 - -2) + (17 - 17). Solve 2*w = -4*s - 14, 2*s + 1 = -3*s + x*w for s.
-2
Suppose 0 = 2*b - 3*j - 22, -4*b + 11 + 25 = -4*j. Let d(q) = -2*q + 15. Let y be d(-5). Solve 2*r - y = -2*l - 3*l, -b*l = 3*r - 25 for r.
0
Let d = 120 - 63. Let n = -53 + d. Solve -3*y = -5*s - n - 3, 3*y = -3*s - 9 for s.
-2
Suppose 123*l - 135*l + 48 = 0. Solve -c + 4*h = -18 - 2, -l*c = -h - 5 for c.
0
Suppose -d - 2*y - 55 = -4*d, -40 = -3*d - y. Let v be 0/(0 - (3 + -2)). Let m = 0 + v. Solve m = -5*w + d, -3*h - 9 = 2*h - 3*w for h.
0
Suppose -8*m - 15 + 63 = 0. Suppose 10 + 8 = m*y. Suppose 0*k = k - y. Solve 2*u + 5*x = -18, u - 2*u - k*x - 11 = 0 for u.
1
Let y be ((-5)/(-4))/((-3)/(-12)). Solve -3*f + 0*s - 24 = -3*s, -15 = -y*s for f.
-5
Suppose 2*g = -2*g. Let h(z) = -402*z + 2011. Let i be h(5). Solve -v + g = -3*c + i, 5*c = 3*v + 7 for v.
-4
Suppose 0 = 5*u - 3 - 32. Let z(v) be the first derivative of -v**3/3 + 3*v**2 + 7*v - 260. Let x be z(u). Solve 17 = 5*k + 3*i, k + 4*i = -x*k for k.
4
Let k be (6 + (-15)/3)*(6 + 6). Solve 5*s + k = l, 4*l - 17 = 4*s - 1 for l.
2
Suppose -4*r - m + 8 = -48, -2*r + 5*m + 6 = 0. Solve r = 5*q + 2*i, 3*q - 4*i = 2*q - 15 for q.
1
Suppose 41*x - 43*x = -18. Suppose x = -3*h + 42. Solve 5*p - h - 5 = -j, 2*j + 10 = 4*p for p.
3
Let w = 44 - 4. Suppose -7*k = -15*k + w. Solve -5*j = -2*p - 12, -2*p - k*j + 4 = -4 for p.
-1
Let m = 182 + -179. Solve 3*w = -4*r - 20, 5*r = 4*w - m*w - 25 for w.
0
Suppose 2*v - 652 = -646. Solve 16*x + g = 13*x - 7, -v*g = -5*x - 21 for x.
-3
Suppose 0 = -15*j - 35 - 160. Suppose h + m + 10 = -1, 0 = 5*h + 2*m + 46. Let f = h - j. Solve -y - 2*p + 1 = 10, 3*y = f*p - 5 for y.
-5
Suppose 6 = 3*j - 0. Suppose -j = -n + 2. Let x be (n/(-1))/(-2) + 0. Solve c - 4*c = -4*s + 27, c = -x*s + 1 for s.
3
Let t = 49 + -47. Suppose -5*p - 5*d = -120, 4*p - 53 = t*d + 49. Solve 0 = -x - 4*o + 23 - 3, 0 = -2*x + 5*o - p for x.
0
Let i(a) = -a**2 - 10*a - 13. Let w be i(-8). Let m(l) = 2*l + 8. Let y be m(-7). Let g be (6/4)/((-3)/y). Solve -b - 4*k - 8 = g*b, 4*b = -w*k - 6 for b.
0
Suppose 7*h - 3 = 11. Suppose 2*l = -0*l, h*g - 4*l = 8. Solve a = -3*o - 3, -a + 4*o + 9 = -g*a for a.
-3
Suppose 0 = 112*a - 139 + 28 - 113. Let s be (6 - 0)*(-2)/(-6). Solve a*t + 0*v - v + 10 = 0, -2*t - v = s for t.
-3
Let x be (2/(-2 + 3 + -3))/(-1). Suppose 0 = -q + 1 - 0. Let b = x + q. Solve 4*p = 2*j - 6, -b*j - 2*j + 12 = 4*p for p.
0
Suppose 2*q = -5*l + 31, 0 = -5*l - 5*q + 12 + 13. Solve l*a = 2*a - 5*w + 5, -2*a + 2*w = 18 for a.
-4
Let s be (11/(-4))/(2/(-8)). Solve -7 = -n - 2*m, -4*n + 5*m + s - 35 = 0 for n.
-1
Suppose 27*l + l - 56 = 0. Solve 5*t = 4*z - 13, 3*z - l*t = -0*z + 8 for z.
2
Let q(h) be the third derivative of 0 - 1/12*h**4 - 5/6*h**3 - 5*h**2 + 0*h. Let j be q(-4). Solve 1 = -5*v + j*b - 3, 6 = 2*b for v.
1
Let w = 27 - 16. Suppose 4*r - 5 = w. Solve s = -5*i + 7, -i - 5 = r*i + 5*s for i.
2
Suppose -12*w - 114 + 18 = 0. Let x = w - -29. Solve -4*m + n - x = -5, m = -2*n - 4 for m.
-4
Let g(n) = -41*n + 249. Let v be g(6). Solve 0*o + 5 = o, -21 = 2*c - v*o for c.
-3
Let x be 285/(-9) - 1/3. Let k = -25 - x. Suppose k = 3*y - 2. Solve 13 = -y*s - 2*f, 4*f - 2 + 1 = 3*s for s.
-3
Let n be -25 + (12 - 2)/5. Let w = n - -26. Solve 23 = -k + 5*b, 4*k - w*b + 28 = 4 for k.
-3
Let u = 117 - 69. Let z 