p = 3*d + d for d.
-3
Suppose 516*k + 5*j = 512*k + 65, 0 = -4*k + j + 59. Solve k*c - 15 = -0 for c.
1
Let v be 7/((-52)/(-10) + -5) + 5. Suppose 3*r - v = -5*f + 40, 3*r + f - 100 = 0. Solve -6*j - r = -13*j for j.
5
Suppose -64*z = 139 - 843. Solve 2*v + 9 = z for v.
1
Let c = -46704 + 46758. Solve -c = -16*p + 25*p for p.
-6
Let z(c) = c**2 + 6*c + 6. Let s be z(-5). Let h be (-6)/(6/(-23)) + -5. Suppose -15*x + h + 27 = 0. Solve -x*a + s = 7 for a.
-2
Suppose 0 = -4*h - 2*b + 16, -14*h + 17*h + 5*b = 26. Let i = 6 - h. Solve -i = 5*v - 19 for v.
3
Suppose -5*o = -v - 18, -6*v + v - 4*o = 148. Let s = 28 + v. Suppose a + p + p + 4 = 0, -a - p - 2 = s. Solve 0 = -a*h + 2*h + 4 for h.
-2
Let v(a) = 9*a**3 - 70*a**2 + 446*a - 32. Let q be v(6). Solve -q*p = -2067*p - 3 for p.
3
Let h be (10/(-4))/((-83)/166). Suppose 2*t = -2*x + 12, h*x - 46 + 21 = 0. Solve 2*i - 5 = -t for i.
2
Let o = -107 - -110. Suppose 5*m = -n + 37, 2*m - 2*n - o*n - 31 = 0. Solve -5*y = 2 + m for y.
-2
Let n = -5444 + 5462. Solve 11*o + 26 = -n for o.
-4
Suppose 3*f = -z + 108, -f + 26 + 10 = -z. Suppose 0 = 127*u - 130*u + f. Solve -4*l + u = -l for l.
4
Let f(i) = -i**3 + 67*i**2 + 440*i - 127. Let z be f(73). Solve -12 = 31*w - z*w for w.
-1
Let l = -1796 + 1879. Solve -80 = -t - l for t.
-3
Suppose 5*l + 17 = 2. Let d be 5 + ((-10)/30 - (-8)/l). Solve -52 = -d*f - 54 for f.
-1
Let m = 20968 + -20968. Solve m = 49*u - 57*u for u.
0
Suppose -3*i + 66 = 3*l, 3*i + 10 = 5*l + 108. Suppose 4*n + 0 - 50 = -5*f, -f = 4*n - i. Suppose 4*g + 8 = f*g. Solve 0 = -3*w + 19 - g for w.
5
Let f(c) = c**3 - 58*c**2 - 57*c - 96. Let y be f(59). Let r(w) = 5*w. Let a be r(1). Suppose -6 = -3*b, -3*q + a*q = -4*b + y. Solve -27 + q = 5*t for t.
-4
Suppose 5*p + l - 31 = 11, 0 = 2*p + l - 18. Suppose -112 = -p*y - 24. Solve 6*g - 19 - y = 0 for g.
5
Let s(c) = 64*c - 118. Let z be s(2). Solve 7*g + 68 = -z*g for g.
-4
Let d = -1179 + 1224. Solve -6*o - d = -39 for o.
-1
Let i be (0 - -2)/((-4)/(-18)). Suppose -2*n - 7*n + 63 = 0. Let d(p) = -p + 10. Let u be d(n). Solve -u*z + 0 = -i for z.
3
Let i be 1050 - (28/(-24))/(28/(-168)). Solve -i = 4*v - 1047 for v.
1
Let w = -3800 + 3809. Solve 11*q - w*q = 4 for q.
2
Suppose 2*w - 5*s - 12 = 7, 0 = 4*w - 4*s - 56. Suppose -j - 1 = -u - 2, 0 = 2*j + u - w. Solve -j*o + 10*o = -8 for o.
-2
Let q be (-1)/(-4 + (-2485)/(-623)). Let u = -97 - -191. Suppose -u*t = -q*t - 10. Solve -7 = -t*w + 3 for w.
5
Let r be (7/4)/(-7) - 1/(-4). Let i be ((r + -2)/8)/(24/(-192)). Solve -4*c + 2 = -i for c.
1
Let b = 557 - 397. Let h = b + -158. Solve 3 = -a - h for a.
-5
Suppose -9 = -m - 2*s, m + 4*m + s - 27 = 0. Suppose 3*n + 3 = 0, 3*f - m*n = 1 + 16. Let o be (-2)/3 - f/(-6). Solve o*v = 3*v for v.
0
Let a = -256 - -281. Let f be (54/(-30))/((45/a)/(-3)). Solve 5 - 20 = f*y for y.
-5
Let v = 31 - 28. Let j = -2106 - -2110. Solve k + j = v for k.
-1
Let c(x) = -11*x**2 - 78*x - 5. Let v be ((-9)/(-6))/((-3)/14). Let o be c(v). Let u = -4 + 6. Solve -o = d - u*d for d.
2
Suppose 0 = -2*t + 56 - 52. Let m be 1 + 1 + (t + 1 - 3). Solve 0 = z + 1 - m for z.
1
Suppose 4879*x = 4867*x + 252. Solve -68 = -x*l + 38*l for l.
-4
Let f be -4 + (-13)/26 + 26/(-4). Let j(i) = 4*i - 38. Let a be j(f). Let x = a + 82. Solve 0*p - 4*p = x for p.
0
Let a be (-12)/(-8) - 3/(-2). Suppose -4*b + 18 = -r, 2*b + b - 17 = -r. Suppose -r*f - 60 = -3*u, -60 = -2*u - 2*u - 4*f. Solve 5*q - a = -u for q.
-3
Let h = 1076 - 1033. Solve h*k - 40*k = -18 for k.
-6
Let q = -7 + 10. Let v be 10/6*228/95. Suppose v*n + 16 = q*o, -40 = -4*o - 4*n - 0*n. Solve -2 = -2*s + o for s.
5
Let s(p) be the third derivative of 13*p**5/60 + 3*p**4/8 + p**3/3 - 250*p**2. Let t be s(-1). Solve 5*o - t*o - 3 = 0 for o.
-3
Let u be (-27)/(-2) - 2/2*25/(-50). Solve -4*x + u = -11*x for x.
-2
Let v(w) = -4*w**3 - 45*w**2 - 14*w - 28. Let n be v(-11). Solve -11*d - n*d = -8*d for d.
0
Suppose -6*f + 15 = -f. Let w = -147 + 152. Suppose -m + 0*m = -p - 1, 33 = 2*p + w*m. Solve -f*z + p = -z for z.
2
Suppose 4*x + 3*o = 206, 78*x - 2*o - 180 = 75*x. Solve 66*z = 38*z - x for z.
-2
Suppose 10 = -2*n, 0*n - 3*n = 3*y - 18. Suppose -y = 8*d - 9*d. Suppose -5*s = -9 - d. Solve -z - s*z - 10 = 0 for z.
-2
Let k = 3142 - 3142. Solve -51*r + 56*r = k for r.
0
Suppose -a = -5*v - 27, 41 = 14*a - 13*a + 2*v. Solve 3*m = -a + 52 for m.
5
Suppose -3*i + i + 2*v = 0, 2*v = -5*i + 14. Suppose -6*x = -i*x + 4*j, 4*x = 5*j. Solve x = -7*u + 9*u + 4 for u.
-2
Let f = 179 + -180. Let d(v) = -2*v**3 + 2*v**2 - v - 3. Let z be d(f). Solve z*c + c - 6 = 0 for c.
2
Let m be (-129 + -11)*(((-44)/8 - -7) + -3). Solve m*x = 202*x + 64 for x.
8
Let x(k) = -k**2 - 1. Let z(m) = -3*m**2 - 32*m - 25. Let i(y) = -x(y) + z(y). Let g be i(-15). Solve d - g*d - 15 = 0 for d.
-3
Let z be ((-99)/297)/((-2)/498). Suppose 2*v - 73 = -l - 2*l, -3*l + z = 4*v. Solve 15*g + l = 8*g for g.
-3
Suppose -6410 - 2410 = -735*o. Solve -o = 33*x - 144 for x.
4
Let a(f) = 8*f + 82. Let h be a(-10). Let c be (5/(-2))/((-15)/(-90)). Let v = c - -35. Solve 0 = -h*o - 2*o + v for o.
5
Let c(i) = i**2 - 18*i - 40. Let m(u) = 2*u**2 - 19*u - 38. Let h(v) = 3*c(v) - 2*m(v). Let f be h(-12). Solve 0*d = -f*d for d.
0
Let j(f) = -762*f - 2959. Let z be j(-4). Solve 77*y + 72 = z*y for y.
6
Suppose 3 = 5*p - 2*a - 19, -5*p = -a - 21. Solve -p + 0 = 2*s for s.
-2
Let g(r) = -r - 23. Let y be g(-35). Let z be 14 + 4*3/y. Solve 0 = -0*d + 5*d - z for d.
3
Suppose 2275 = -46*k + 221*k. Solve 0 = 3*b + k*b + 96 for b.
-6
Let u be ((-70)/42)/((-2)/18). Suppose 0 = -27*t + u*t + 372. Solve -4*v - t = -39 for v.
2
Let f = 917 - 932. Let x(g) = g**3 + 16*g**2 + 7*g - 108. Let v be x(f). Solve i = v - 16 for i.
-4
Let u(z) = -28*z + 2038. Let v be u(72). Solve v*j - 46 = -j for j.
2
Let w be -1*(6/(-15))/((-2)/(-120)). Let u be ((-12)/9)/((-28)/w - -1). Solve 0 = -81*r + 77*r + u for r.
2
Let a(v) = 5*v**2 - 6*v + 6. Let p be a(4). Let u = 39 - p. Let r = u - -25. Solve -y = -r + 1 for y.
1
Let j(p) = 115*p**2 + 8*p - 7. Let h be j(2). Let s = h - 453. Solve 2*m = 6*m + s for m.
-4
Let v = -5 - -9. Let n be 9/(18/(-8)) + -11 - 5. Let a(u) = -10*u - 199. Let p be a(n). Solve -p = -x + v for x.
5
Suppose 0 = 9*n - 25 - 200. Solve -n = -217*g + 212*g for g.
5
Let w = -1647 + 1657. Solve -10*g - w + 20 = 0 for g.
1
Let y(r) = 2*r + 2. Let z be y(5). Let k be ((-2)/12)/(77/(-66)) - (-460)/161. Solve z*j + k = 15*j for j.
1
Suppose 11*z - 42 = 4*z. Let q be 61/z + (7/(-42) - 0). Solve -q*l - 12 = -4*l for l.
-2
Let c = -148 + 151. Let o be 3 + (c - (5 + -135)). Let q = o + -133. Solve -h = q*h - 4 for h.
1
Let d be (-628)/10*(-45)/18. Suppose 15*c - d = 68. Solve -c*i = -12*i - 6 for i.
2
Let q = 1656 + -1644. Solve q*x - 19*x = 0 for x.
0
Let c(w) = 8*w**2 - 4*w - 34. Let p be c(-3). Suppose 0 = p*h - 17*h - 33. Solve -3 = -2*l - h for l.
1
Let r be (-3094)/(-195) - ((-141)/45 + 3). Solve 24*x - 56 = r*x for x.
7
Let r be (-2)/(-3) - 4/(-3). Suppose 0 = 44*l - 27*l. Suppose -10*v + 407 - 387 = l. Solve -v*d = r + 2 for d.
-2
Suppose 2*w + 66 = -132. Let h = 103 + w. Suppose 7 = -h*b + 5*b. Solve 0 = -b*f + 4*f for f.
0
Let l be 237/(-9) + 0 + (-42)/63. Let q be (-225)/l*6/(-4)*-2. Solve -5 = -4*y - q for y.
-5
Suppose 3*r = -2*r - 5*t, -5*r = 3*t. Suppose r*p - 63 = 7*p. Let z be (-2)/(-9) - 223/p. Solve 5*j + 0*j = -z for j.
-5
Suppose 4*r - 10*r - r = 2*r. Solve -21*k + 7 - 112 = r for k.
-5
Let t(n) = 258*n - 1599. Let i be t(9). Solve -i*x = -729*x - 12 for x.
-2
Let m(x) = -7*x - 3*x + x + 12*x + 82. Let g be m(-25). Solve -g*n + 5*n = 2 for n.
-1
Let u(x) = 11*x + 3. Let s be u(1). Suppose s*j - 34*j + 20 = 0. Solve 19*r = 18*r + j for r.
1
Suppose 2*b = -3*g + 4, 4*b + 10*g - 18 = 9*g. Suppose 3*l = 4*h - 69 + 21, 0 = -b*h - l + 79. Let z be 11 - (1 - 0) - 0. Solve -h = 5*v + z for v.
-5
Suppose -2 = -r - 0. Suppose -r*v - 36 = -2*f, -4*f + 95 = -v + 14. Suppose f*w - 26*w = -10. Solve -w*t = 14 - 4 for t.
-5
Suppose 5*l - 285 = l + s, -372 = -5*l - 4*s. Suppose 0 = 54*m - 57*m + l. Solve 0 = -4*r - 4*r - m for r.
-3
Let i(b) = b + 7. Let a be i(-5). Suppose -2*t + 14 = 2*t + m, -4*t - 2*m = -16. Suppose c = -q - 1, -4*q = 2*c - t*c + 14. Solve -c = -p + a for p.
4
