- 5*j + 7 for d.
-1
Let g = -31 + 18. Let i be (-552)/16 - -19 - 5/(-2). Let s = i - g. Solve s = -5*q - 0*a - a + 12, -2 = -5*q + 4*a for q.
2
Suppose 3*d - 1045 = -4*y, 3*d + 468 = 4*y - 607. Let n = y + -263. Solve 5 = 2*m + g, n*m - 2*g + 0 + 4 = 0 for m.
1
Let r(m) = -2*m**2 - 59*m - 354. Let z be r(-18). Solve -5*j + 5 = -5*v, -z*j + 56*j = -5*v - 3 for v.
1
Suppose -36*c + 120 = -c + 5*c. Solve 0 = -5*s + 3*x + 5, -2*s = -c*x + 2*x - 1 for s.
-2
Let m(a) be the first derivative of 21/2*a**2 + 1/4*a**4 + 28 - 4*a**3 - 5*a. Let h be m(10). Solve 0 = 4*v - 3*s - 20, -3 = 5*v + h*s + 7 for v.
2
Let j be (5/(-3) + 1)*-3. Let z be 9/(72/64) + -3. Suppose 144 = 25*u - 56. Solve 3*p = z*n + j, -2*p - u = 2*n - 4 for p.
-1
Let k(l) = 43*l - 1881. Let a be k(49). Solve 0 = -3*m + 6, -3*y + m = a - 230 for y.
2
Let k(u) = -3*u - 17. Let g be k(-10). Suppose -45 = -g*y + 46. Solve -p - 3*a - 12 = 0, -2*a - 2 - y = p for p.
-3
Suppose 0 = -j - q + 1, -4*j + 9*j = q + 11. Suppose -4*c - 4 = -2*o - 12, j*c = 8. Solve 14 = 2*b - 2*r, -6*r + o*r = -4*b + 22 for b.
4
Let g = -50 + 54. Suppose 5*m - 2 = 4*m. Suppose -m*n = -1 - 3. Solve 0*x + n = -2*p + 2*x, 0 = p + g*x + 21 for p.
-5
Suppose 5*v - 5*n = 70 - 20, 2*n - 15 = -5*v. Suppose 0 = 5*k + 3*a - 118, 3*k - 70 = -3*a + a. Let h = k - 22. Solve 5*l - v = -f + 1, 2*f = -2*l - h for f.
-4
Let m be 16/10*(-2)/(-16)*20. Let p(s) = -s**2 + 6*s - 7. Let y be p(m). Solve 0 = f - y, 6*h - 2*h + 4*f = -8 for h.
-3
Let k be (-3)/21*24/(-16)*14. Solve x - 3*x + k*m = 0, -3*m = 3*x for x.
0
Let q(h) = -2*h**2 + 6*h + 6. Let t(p) = 2*p**2 - 8*p - 6. Let i(z) = -4*q(z) - 3*t(z). Let m be i(2). Solve m*a = k + a - 3, -2*k = 4*a + 24 for k.
-2
Suppose 0*s + 3*s - 6 = 0. Let z be 5*-2 - (19 - 64*(-15)/(-30)). Solve -3*n + s*u = 4, 0*u + 21 = z*n + 3*u for n.
2
Let i(y) = 8 + 20*y - y**2 - 15*y - y. Suppose -3*s + 0*s - 2*v + 19 = 0, -4*s + 10 = -5*v. Let g be i(s). Solve 0 = -2*j + g*b - 2 + 6, 4*j = b + 8 for j.
2
Let x = 59 - 59. Let h be (1/(-6))/((-23)/138). Let p(y) = -y**3 + 2*y - 1. Let g be p(h). Solve g = s, -m - m + 4*s = x for m.
0
Suppose -4*w = -3*w - 5. Let t be (-43)/(-301) - 69/(-7). Suppose 245*v = 247*v - t. Solve 5*r + 2 = -3, -w*r - 10 = v*x for x.
-1
Let y be ((-496)/(-155))/(-2 + (-48)/(-20)). Solve -2*p - 48*a + 52*a = y, 8 = -2*p + 2*a for p.
-4
Let o be (-4)/(-10) - (-1518)/30. Let l = -48 + o. Solve -i = 4*g - 9 - l, -g - 16 = 5*i for i.
-4
Let r = -358 + 360. Suppose 4*w = 3*y - 23, y + 1 = 20*w - 23*w. Solve -l - r*m + 2 = y, 5*m = l + 10 for l.
-5
Let x(t) = -t**3 - 25*t**2 - 9*t - 214. Let r be x(-25). Suppose -n = -0*n + 3*n. Solve -4*o - 23 = 3*u, n*u - u = 2*o + r for o.
-5
Let b(t) = -2*t + 38. Let r be b(-3). Suppose r = -7*c + 58. Solve -2*q + 4*v - 3 + 9 = 0, -5*q - c*v + 15 = 0 for q.
3
Let w = 224 + -227. Let z be (-11 + 161)/10*(-1)/w. Solve 3*m - j = -m - 16, -z*m = -3*j + 13 for m.
-5
Suppose 3*g + 5*m = 30, -288*g + 293*g = 4*m + 13. Solve 9 = -2*a + g*z, -4*z = 3*a + 1 + 1 for a.
-2
Let p be (-5)/45 + 1182/(-54). Let m be (1 + p/14)*(-16 + 9). Solve 0 = -5*t, 4*t = -m*w - 0*t for w.
0
Let o = 46 - 34. Suppose -2*g + o = -0*g. Suppose 0 = -h + 2 - 3, -4*h = 2*l - g. Solve 5*q + 3*a + 9 = 1, -l = 3*q + 2*a for q.
-1
Let f(l) = l**2 - 9*l - 19. Let z be f(-7). Let w = 95 - z. Suppose -i + 22 = -0*i. Solve -6*c = -w*c + 12, 0 = -5*p - c + i for p.
5
Let g be 5 + 0 + (-5 - -36). Suppose -g = 7*l - 64. Solve 9*z + 2 = l*z - 4*v, 4*v + 12 = 0 for z.
2
Suppose -5*a - 25 = -i - 7, 4*a = -4. Let s be 72/15 + (-4)/(-20). Solve -3*m = c + i, -6 - 9 = s*m + 5*c for m.
-5
Suppose 4*f - q = 10, 149*f + 11 = 154*f - 2*q. Solve -f*a + 9 = -5*v, 3*v = 2*a - v - 8 for a.
-2
Let y = -10984 + 10984. Solve -x - 4*q + 17 = y, -x - 10*q + 13*q - 4 = 0 for x.
5
Let a(h) = 3*h**3 + 66*h**2 - 72*h - 66. Let p be a(-23). Solve -8*y - 15 = -3*y, -p*y - 1 = -4*f for f.
-2
Suppose -3*j - 24*p + 20*p + 2 = 0, -1 = j + 3*p. Solve 20 = -5*u - j*k, -2*k = -k for u.
-4
Let u = 11483 - 11478. Solve t - 5 = -3*b, 0 = b - u*t - 445 + 470 for b.
0
Suppose -3*d + 4*h + 59 = 4, -h + 67 = 4*d. Suppose g = -2*p + 7, -4*p - g + 0 = -d. Solve 5*r - 23 = 2*l - 0*l, 0 = p*l - 2*r + 5 for l.
1
Let d = 1446 + -1443. Solve 3*t - d*n + 2*n = 0, n + 5 = -2*t for t.
-1
Let c be ((-2)/(-4))/(55/660). Solve c*i = 2*i - 4*t + 24, 3*t + 10 = 4*i for i.
4
Let x be 0 + 0 + (-20)/(-1) - 2. Suppose 0 = 22*j - x*j - 8. Suppose 3 = 2*l - f + j, 3*f + 3 = 2*l. Solve 3*b - 3*d = -l*d, -3*b - 16 = 5*d for b.
-2
Suppose 10*g + 12 - 42 = 0. Solve -g*v - 5 = 5*b - 8*v, 4 = -2*v for b.
-3
Let y(n) = n**3 + 6*n**2 - 4*n - 17. Let h be y(-2). Solve 8 = i - 4*k, -k - 9 + h = i for i.
0
Suppose -i - 204 = g, 4*i + 405 = -2*g - i. Let o = g + 207. Solve 5*y + o = -j, j + j - 4*y = -4 for j.
-2
Let l = -431143 + 431145. Suppose 5*o - 2*h - 4 = 0, 2*o = -5*h - 0*h + 19. Solve o*t + 2*t + 20 = s, l*s = 4*t + 20 for t.
-5
Let q = -2019 - -2023. Solve 5*s + 1 = -q*l, 1 = 5*l + 3*s - 1 for l.
1
Let j be (88/(-12))/(0 - 2/(-3)). Let v(y) = -y**2 - 6*y + 60. Let k be v(j). Suppose k*h - 4*h = 1. Solve 5*w - 20 = 0, 0 = -l - w - h for l.
-5
Suppose 5 = l - 2*l. Suppose -2*s = 6, -38*z + 60 = -43*z - 5*s. Let o = l - z. Solve d + d - 14 = -4*t, -5*d + o*t = 7 for d.
1
Let d(k) = 31*k - 242. Let b be d(8). Let u(f) = -f**2 + 3*f + 18. Let i be u(b). Solve i = 5*p - 2*h + 2, 12 = 2*p + 2*p - 5*h for p.
-2
Suppose 0 = -5*a + a + 8. Let i = -588 - -1015. Suppose 0 = -i*q + 435*q - 24. Solve -l - n + 13 = q*l, -a*l = 5*n + 7 for l.
4
Suppose -10*n + 5*q - 4 = -12*n, 3*q = -5*n + 10. Solve r - l + 4 = 0, -22*r + l + n = -23*r for r.
-3
Let w(f) = -20*f - 298. Let m be w(-15). Solve -2*a = -3*r - m - 0, -2*a + 14 = 3*r for r.
2
Suppose 3*m + 7*m = 20. Suppose -36*x + 65*x = 33*x. Solve -c + 4*d - 8 = x, -d - 2 - 3 = -m*c for c.
4
Let c = -213 + 307. Suppose 7*j - c = -66. Suppose 2*z + j + 6 = 4*b, -4*b + 3*z + 5 = 0. Solve x - b*x = -4*o + 12, 22 = 2*x + 5*o for x.
1
Let s(o) = 3*o + 69. Suppose 2*p + 4*l + 45 = 3*l, -5*l - 71 = 3*p. Let c be s(p). Solve 5*y = -4*i - 22, c*i - y + 11 = -2*y for i.
-3
Suppose 0 = -8*w - 735 - 473. Let p = w - -153. Solve 0*h + h - p = -4*z, -2*z = 3*h + 4 for z.
1
Let c = -141 - -145. Solve 4*w + 4 = c*s, -3*w + 4*s - 8 = -7 for w.
-3
Let r be (4 + 5/(-1))*-5. Suppose r*w - 17 = s, s - 5*s = 5*w - 32. Solve 3*l + h - 20 = s*h, -8 = 2*l + 4*h for l.
4
Let i be (-96)/(-64)*2/(-3). Let p be (-4)/4 + (i - -5). Solve -p*u = -c - 4, 3*c = c - 8 for u.
0
Suppose -n = h - 1, 4*h = -2*n + 7*n + 40. Suppose h*o - 3*c = -7*c + 60, -3*o + 36 = c. Solve -2*a + 3 = v - 0, -3*v = -a + o for a.
3
Suppose -195*m + 261*m - 330 = 0. Solve 0 = 2*q - 3*j - 3, 39*q - 34*q + m*j + 5 = 0 for q.
0
Let u = -15312 - -15326. Solve 3*w = 9*m - u*m - 12, 2*m + 11 = 5*w for m.
-3
Suppose 4*d - 1309 + 333 = -4*n, 3*d = n + 752. Let f = d - 244. Solve 2*h + f*z + 35 = -3*h, -5*z = -h + 17 for h.
-3
Suppose 2*u + 35 = 3*b - 8, -u + b - 20 = 0. Let v(c) = -c**3 - 15*c**2 + 36*c + 37. Let j be v(u). Solve 3*i + i + 20 = 0, 2*o - j*i - 21 = 0 for o.
3
Suppose 0 = 45*q + 109 - 469. Solve 3*b = -4*c - 8, -q*c = -b - 12*c - 8 for b.
0
Let u(o) = 28*o - 165. Let s be u(6). Suppose -z = s*h - 13, -24*z + 4*h = -22*z - 36. Solve -4*p = q + 16, -4*q - z = 4*p - 9*q for p.
-4
Let d = 266 - 238. Suppose -7*q - d = -14*q. Solve -3*x - 2*b = q, -x + 2*b + 6 = -b for x.
0
Suppose -3*q - 2*q + 20 = 0, 2*x + q - 70 = 0. Suppose 0 = -18*h + 29*h - x. Solve -n - 1 = 5*o - 4*o, 0 = -h*o + 2*n - 8 for o.
-2
Suppose -16*o + 83 + 205 = 0. Let y be 12 - ((-6)/o)/((-4)/(-24)). Solve 2*q - 2*r = -2 - 4, -y = 2*q - 4*r for q.
1
Let z be (3*1603/(-21))/((-1)/1). Let v = 243 - z. Solve -4*p - v = 2*n, 3*n - 5*p + 5 + 5 = 0 for n.
-5
Let j(o) = 48*o + 3. Let a be j(0). Suppose -3*q = a*m - 5*m - 11, q - 6 = 3*m. Solve 0 = -2*k - c - q*c - 18, 0 = -k - 5*c - 24 for k.
1
Let h be 8601/427 - 2/14*1. Let a = -56 + 59. Solve -5*f - l + 46 - 16 = 0, -a*f - l + h = 0 for f.
5
Let v(z) = -21*z**2 + z + 4. Let q be v(0). Solve -q = -3*b + 4*g, 8*g - 2 = b + 10*g for b.
0
Suppose -397 = -c - 5*v, -1981*c = -1977*c + 5*v - 1663. Solve -5*y - 20 = 0, -5*p + 427*y = c*y - 25 for p.
1
Let z(i) = -216*i