+ 12 = j*i. Solve i*d - 20 = -d for d.
4
Let m = -175 - -177. Suppose -5*b - 13 = -4*l + m, 4*l = 2*b + 6. Let p be 6/3*(1 + 0). Solve 0 = -y - l*y - p for y.
-2
Let z be (-3)/15 - (-3 + 126/(-5)). Let b = -22 + z. Solve b*l = 9*l - 15 for l.
5
Suppose 61*f + 5 = 66*f, 3*s - 5*f - 70 = 0. Solve 70*x - 65*x - s = 0 for x.
5
Let u = 1551 - 1534. Solve u*f - 8 = 9*f for f.
1
Let x be (-72)/45*(-105)/28. Solve -198 + 180 = -x*u for u.
3
Suppose -14 + 46 = 16*t. Let l(k) = -k**3 - 5*k**2 + 12*k + 2. Let j be l(-7). Let q = -13 + j. Solve -q*p - 25 = t*p for p.
-5
Suppose 0 = 4*k + 5*x - 225 + 212, 5*k = -4*x + 32. Solve -27*c + k = 39 for c.
-1
Let n(y) = 3*y**2 + 6*y - 17. Let m be n(2). Suppose 72*g - 470 = 25*g. Solve -m*l = -g*l for l.
0
Let h(l) = l**3 - 19*l**2 - 20*l + 3. Let x be h(20). Suppose x*t = 9*t - 48. Solve t*z + 4 = 4*z for z.
-1
Let z(c) = c + 21. Let g be z(23). Suppose 2*y + g = 54. Solve -r - y = 4*r for r.
-1
Let t(a) = 76*a - 404. Let j be t(6). Let c(v) = -3*v + 157. Let f be c(j). Solve 14 = 5*w - f for w.
3
Let z(q) = q**2 - 28*q + 6. Let h(k) = -6*k - 50. Let y be h(-13). Let x be z(y). Let p be (-22)/(-132) - (-11)/x. Solve -p*d = d + 6 for d.
-2
Let c(x) = x**2 - 10*x - 25. Let t be c(11). Let w be ((-21)/t)/((-2)/(-4)). Suppose 0 = -4*m - 3*d - 12, 2*m - w = d + 1. Solve -4*r + m = 12 for r.
-3
Suppose 74*d - 419 + 248 = 1679. Solve 26*t + 53 = -d for t.
-3
Let x = 24 - 21. Let u(r) = -5*r - 14. Suppose 4 = -l - 2. Let m be u(l). Solve -4 = x*d - m for d.
4
Let s be 30*47/((-2585)/(-154)). Solve -34*n + s = -6*n for n.
3
Let t = 241 - 193. Suppose 0*h - t = -3*q + 3*h, -q + 16 = -3*h. Solve q = -0*j - 4*j for j.
-4
Suppose -b - 6 = -3*b, -5*w = 4*b - 47. Suppose m - g = 32, g + 0*g - 148 = -5*m. Suppose -m = w*a - 121. Solve -3*h - 4 = -a for h.
3
Suppose -1992 + 1948 = -44*k. Solve k = r - 1 for r.
2
Suppose 24*h - 457 = 1775. Solve -148 + h = 11*x for x.
-5
Let d(w) = -139*w - 218. Let c be d(-5). Let n = c - 428. Solve n*h = 51*h - 4 for h.
2
Let k = -276 + 332. Solve 78*q - 85*q = -k for q.
8
Let z(w) = w**3 + 2*w**2 - 33*w + 1. Let d be z(5). Suppose 3*c + 27 = 5*v - 0*v, -3*v - d = 5*c. Solve 0 = -v*r - 9 for r.
-3
Let g(o) be the third derivative of o**6/120 + o**5/15 - 11*o**4/24 + 3*o**3/2 - 16*o**2. Let i be g(-6). Solve 0 = h - i for h.
3
Let d be -5 - ((-22)/(-44))/((-4)/728). Solve 5*t - d = -66 for t.
4
Suppose 2*r + 8*r = 490. Solve r*c = 25*c for c.
0
Let p be ((-3)/(-15))/(1 - 0) + 4/(-20). Let m be -1*6/(1 + -3). Let u = 2 + 1. Solve -2*y - u - m = p for y.
-3
Let k(h) = -46*h - 180. Suppose -18*z = 56 + 16. Let s be k(z). Solve 2*a = a + s*a for a.
0
Suppose b + 0*b - 4 = 0. Let k be (-4 - 80/(-15))*(-42)/(-8). Suppose -4*x = 5*z - 20, -9 = -b*z - 5*x + k. Solve -w = -z - 0 for w.
4
Suppose 8085 = 7*t + 1589. Let v = t - 911. Solve v = k + 19 for k.
-2
Suppose -15*s = -12*s + 4*f - 56, 4*f = -4*s + 68. Solve -6*r = -12*r - s for r.
-2
Suppose 5*o - 25 = 5*h, 5*o = -5*h + 5 - 30. Let u(k) = -k - 1. Let z be u(h). Solve -14 = -z*s - 10 for s.
1
Suppose -36 = 4*x - 13*x. Suppose 2*w - 37 = -5*g, x*g = 8*g - 20. Solve 0 = -4*q + q - w for q.
-2
Let v(j) = -2*j**2 + 82*j - 296. Let g be v(37). Let o be 3*(2 - -3 - 4). Solve g = -o*u + 4 + 8 for u.
4
Let i(g) = -g**2 - 10*g + 15. Let s be i(-11). Suppose s*w - h - 15 = 0, 2*w + 2*w - 24 = 4*h. Suppose 3 = w*p - 3. Solve -3*f = -p*f for f.
0
Let q = 32 + -27. Let g(r) = -50*r**2 - r**3 - 6*r + 12 + 42*r**2 - q. Let j be g(-7). Solve -4*f - 4 + 12 = j for f.
2
Let g = -409 + 407. Let p be g + -1 + (-2 - 20/(-2)). Solve -p - 7 = 3*t for t.
-4
Let v = 10623 - 10476. Solve 137 = 10*f + v for f.
-1
Let f(g) = g**3 - 18*g**2 - g + 18. Let v be f(18). Suppose -4*c = 2*k + 12, 4*k + c - 24 = 5*c. Solve v = -n + k*n + 4 for n.
-4
Suppose 5*d - 2*j - 71 = 0, 38 = 4*d + 5*j + 1. Let q = d - 12. Let a(c) = 2*c**3 - 25*c**2 - 40*c - 24. Let b be a(14). Solve -b*m = -q - 7 for m.
2
Suppose -6*f - 3*f + 90 = 0. Let u = 10 - f. Let b(c) = c**2 + 2*c + 3. Let p be b(-2). Solve u = -0*t + t + p for t.
-3
Let i = -194 + 185. Let p be i*4/(-4)*1. Solve 7*w = p*w for w.
0
Let n be (6464/(-40))/2*(-5)/2. Let r = -202 + n. Solve -8*l = -r*l + 40 for l.
-5
Let r(d) = -8*d - 898 + 621 + 6*d**2 + 2*d**3 - d**3 + 270. Suppose 5*y + 4*c + 27 = 0, 2*c - 38 = 3*y - 13. Let m be r(y). Solve -5*n + m*n = -15 for n.
3
Let d(f) = 3*f**3 - 3*f + 3. Let z be d(2). Let s be (-1376)/1032 - 46/(-3). Suppose -s*l = -z*l + 35. Solve 0*o - o - l = 0 for o.
-5
Let m = -168 + 182. Let z be 206/m - (80/(-35) + 2). Solve z = 5*v - 5 for v.
4
Let k = -118 + 111. Let t(s) = s**3 + 5*s**2 - 2. Let m be t(k). Let i = m + 111. Solve -3*v - 4 = i for v.
-5
Suppose 5*c = -3*c + 24. Let a = c + 0. Suppose -a = 7*i - 17. Solve 6 = -2*t + i for t.
-2
Let a(j) = -123*j - 1. Let y be a(-1). Let x = 124 - y. Suppose -2*s = 4*u - 10, 6*u = 3*u. Solve -1 = x*v + s for v.
-3
Let p = -38 + 40. Suppose 4*v + 172 = -4*n, 0*n - p*n + 4 = 0. Let i = -37 - v. Solve i = -0*f + 2*f for f.
4
Let r(m) = -m**3 + 3*m**2 + 22*m - 25. Let v be r(2). Let x(t) = -6*t. Let i be x(-1). Solve 17*s + i = v*s for s.
1
Suppose -91 = 17*h - 159. Solve -h*n + 15 - 23 = 0 for n.
-2
Let k(o) = -3*o**2 + 5*o + 5. Let r be k(-1). Let n(z) = z**3 + 7*z**2 + 11*z - 1. Let l be n(r). Suppose l*j = 17*j - 75. Solve 0 = -j*b - 6 - 4 for b.
-2
Suppose 602*b = 606*b - 2*r - 18, -b - 3*r + 8 = 0. Solve -a = -10 + b for a.
5
Suppose 53*o - 10*o - 1740 = -17*o. Solve 0 = 10*f - o - 31 for f.
6
Suppose 12*k - 1401 = -732 + 843. Solve 45*q - 24*q - k = 0 for q.
6
Suppose -8*n = 5*n - 273. Suppose 4*b + 12 = -4*z, -4*b = -5*z - 26 - 16. Let m = z + n. Solve -m = 2*i + i for i.
-5
Let x(m) be the third derivative of m**4/6 - 4*m**3/3 - 65*m**2. Let t be x(3). Solve -t = -n - n for n.
2
Let n be ((11 - 11)/4)/6. Solve 41*j - 46*j + 30 = n for j.
6
Suppose -29*b + 1167 = -312. Suppose 7*a - b - 12 = 0. Solve -k = -a + 11 for k.
-2
Let z = -3128 - -3149. Solve z*y = -50 - 55 for y.
-5
Let k = 50 - 38. Let d be k/42 + 2/(-7). Suppose -18*p + 21*p - 9 = d. Solve t = -0*t - p for t.
-3
Let v = 154 - 147. Suppose -11*a + 36 = v*a. Solve 0 = -g - 0 - a for g.
-2
Let x(d) = -d**3 + 16*d**2 + 20*d - 43. Let r be x(17). Solve 41*i - 39*i = r for i.
4
Suppose 19 - 4 = 5*k. Suppose i = -3, i + 12 = -w - 3*i. Suppose -4*z + 3*u + 28 = w, -2*z - 8*u + 14 = -4*u. Solve z - k = -d for d.
-4
Let x(m) = -m**3 + 12*m**2 + 7. Suppose 101 + 31 = 11*l. Let t be x(l). Suppose -13 - t = -q. Solve -2*s = 3*s + q for s.
-4
Let r(y) = y**2 + y - 69. Let v be r(0). Let g = v + 73. Suppose -g*q + 52 = 9*q. Solve 0 = -q*t - 1 + 13 for t.
3
Suppose a + 62 = 6*a - 4*b, 0 = 4*a - 2*b - 46. Suppose -a*s = -15*s + s. Solve -2*z + s + 10 = 0 for z.
5
Suppose 25*f + 1559 = 7959. Let b = 257 - f. Solve 0 = y - b for y.
1
Let i = -15 - -25. Suppose 75*g = 71*g + 12. Suppose -6 = 9*o - 24. Solve o + i = g*t for t.
4
Let n = -6935 - -6932. Let f be (-9)/(-4) - 1/4. Let j be 2/f + (-1 - (3 + n)). Solve i = -j*i for i.
0
Let c(t) = -t**3 + 8*t**2 - 24*t + 17. Let z be c(8). Let w = z + 177. Solve l = 5 - w for l.
3
Let p be (67 - 10) + ((-6)/45 - (-219)/(-45)). Solve 0 = -p*b + 2 - 314 for b.
-6
Suppose -2*t - 3 = -13, -2*t = -3*g + 35. Suppose -2*b - g*b = -2*b. Solve -3*i = -b - 15 for i.
5
Let o(z) = -z**3 - 7*z**2 + 8*z + 5. Let r be o(-8). Suppose 6*x + 142 = 52. Let j = x - -15. Solve 20 = r*u - j*u for u.
4
Suppose 0 = -76*o + 121*o - 540. Solve -o*z - 5*z = z for z.
0
Let b(u) = 9*u**2 - 21*u + 3. Let s be b(3). Suppose 2*t + 11*v = 7*v + 16, 3*t + 5*v - s = 0. Solve t*z = 5*z for z.
0
Suppose -7*l + 5*m = -11*l + 17, -5*l + 31 = 3*m. Suppose l*f = 344 - 280. Solve -f + 4 = j for j.
-4
Let u = -1 - -4. Suppose 0 = 3*f - 4*a, -2*a + 29 = 5*f + 3. Solve r = f*r - u for r.
1
Suppose 3*l + 24 = 4*k, 29*l = -5*k + 32*l + 30. Solve 3*z = -k*z + 54 for z.
6
Suppose 37*u = 23247 - 566. Solve 588 - u = -5*j for j.
5
Let t be 10/((-20)/6) - -3. Let o = -8 + 13. Suppose o*f = 4*i + 6 + 2, t = -5*f - 5*i + 35. Solve -k = f*k + 10 for k.
-2
Let n(j) be the second derivative of j**4/12 + 14*j**3/3 + 75*j**2/2 + 132*j. Let v be n(-25). Solve v = -8*o + 13*o + 25 for o.
-5
Let r = 10 + -5. Suppose 2*b + 