 18 = -5*a. Solve a*o + 20 = 5 for o.
-5
Let h(d) = -d**2 - 63*d - 717. Let b be h(-48). Let g be (16/(4/1))/(-1). Let y be g*(-4 - (3 - 6)). Solve -y = 2*t - b*t for t.
4
Let r be 3*9/(-135)*5/(-1). Let y be (-32)/(-144)*9*r. Suppose 0 = 4*c + c - 5*g - 10, -4*c + 8 = 4*g. Solve b = c + y for b.
4
Suppose 0 = -3*n - 759 + 777. Suppose -2*t - n*k = -8*k - 12, -2*t - 4*k - 6 = 0. Solve -53 = 10*m - t for m.
-5
Suppose -18319 = -4*t - 5*z, 21*z - 13764 = -3*t + 20*z. Solve 8*m + 4639 - t = 0 for m.
-6
Suppose 227*v = 222*v + 3*n + 15, 3*v + n = -5. Solve q + v = -6 for q.
-6
Suppose 5*q - 93 = 4*m, -77*m = -q - 72*m + 48. Solve -55*z = -q*z - 336 for z.
8
Suppose -40*r - 43 = -5*c - 37*r, 14*r + 6 = -c. Solve -c*y = 2217 - 2265 for y.
6
Let k be -1*(-3)/(-6)*0. Let v = 11 + 39. Let q = 53 - v. Solve -q*p = -k*p - 3 for p.
1
Suppose -12*f = -136 + 64. Solve f*m = -12*m for m.
0
Suppose 2*j - 4*d + 86 = 0, 0 = 4*j - 0*d - d + 144. Let k(g) = -5*g - 160. Let a be k(j). Solve -8*x = 17 + a for x.
-4
Let m be -3 + (-550)/(-190) + 325/19. Suppose 4*d + 5*v + m = 72, -4*d = -v - 37. Solve 0 = 8*l - d*l for l.
0
Let l = 348 - 120. Suppose 180 = 243*a - l*a. Solve 5*p - a = 3 for p.
3
Suppose v = 2*u - 6*u + 301, -3*v + 5*u + 988 = 0. Suppose 315*l + 30 = v*l. Solve t = -l*t for t.
0
Suppose 64*k - 795 = -95*k. Solve -k*l + 22 = -27*l for l.
-1
Let t be -1 - (4 + 12 - -1). Let n = t + 0. Let q be (n/(-24))/((-1)/(-8)). Solve q*a = 2*a for a.
0
Suppose 117*n - 105*n + 4964 = 12536. Solve 7*m - 610 + n = 0 for m.
-3
Let o = -4130 + 4141. Let y(j) = -j + 10. Let u be y(8). Let w be ((-6)/15)/(u/(-5)). Solve 10*g - w = o*g for g.
-1
Let m be ((-4)/9)/((-5590)/(-9675) + 8/(-10)). Solve -6 = m*f - 16 for f.
5
Let a(h) = -4*h**3 + 50*h**2 + 93*h - 115. Let l be a(14). Solve l*i + 117 = 150 for i.
3
Let m(b) = 42*b - 491. Let w be m(20). Solve -w*o = -345*o - 4 for o.
1
Suppose 6*s = -21 + 3. Let a be (0 + (-5 - -1 - s))*0. Solve a = -4*i + 2*i - 10 for i.
-5
Let o(l) = -7*l + 3*l**2 - l**2 + 5 + 6*l - 3*l**2. Let p be o(0). Suppose 3*q - 45 = -5*a, 0 = p*q - 0*q + 4*a - 75. Solve -6*v - q = -v for v.
-3
Suppose 254*z = 264*z - 170. Solve z*t + 32 = -2 for t.
-2
Let q = 2292 - 2204. Solve q*v = 64*v - 72 for v.
-3
Let s be 10/2 - (-3 - (-4 - -1)). Let w be (8/32)/((-2)/(-8))*s. Let x = 87 - 62. Solve -w*v + x = -0*v for v.
5
Let g(a) = a**2 - 8*a + 17. Let m be ((-1 + -2)/(-6))/(2/16). Suppose b + 12 = m*h + 5*b, 4*b + 3 = -h. Let c be g(h). Solve 3*d - 1 = c for d.
1
Let k be 17 + 1 + 22/11. Suppose -3*a + 30 = l - 5, 5*a + k = 0. Let g = l - 47. Solve g*v + v = -2 for v.
-2
Let x(w) = 11*w + 7. Let q(j) = -21*j - 15. Let z(k) = 6*q(k) + 13*x(k). Let t be z(-1). Let u = -1 - t. Solve 2*s = 5*s + u for s.
-5
Suppose -4*d + 3*q + 152 = 0, -4*d + 76 = -2*d - 4*q. Let l be (-2)/(10/(-219)) + 5/25. Let i = l - d. Solve f = -f - i for f.
-3
Suppose -5*l = 3*q - 60, -5 + 29 = l + 3*q. Let t be (-64)/(128/(-4))*6/(-9)*-30. Solve -l*o = o + t for o.
-4
Let n(a) = -2*a**3 + 16*a**2 - a + 13. Let m be n(8). Suppose f = -m*x + 24, 3*x + 6*f - 11 = 2*f. Solve -x*v + 10 = -0*v for v.
2
Let p = -720 - -724. Let b be 0*(21/42 - 6/p). Solve 0 = -b*k + 8*k for k.
0
Let l(c) = 9*c - 20. Let w(d) = d**3 - 11*d**2 + d - 8. Suppose 6*s - 40 = 26. Let u be w(s). Let x be l(u). Solve 25 = -x*f + 2*f for f.
-5
Suppose -4*j + 4*m = -24, j = -3*j + 2*m + 20. Let x(v) = -4*v + 5*v**2 + 8*v + 12*v**2 - 18*v**2 + 0*v. Let k be x(j). Solve 2*d - 8 = -k*d for d.
4
Let l be (-9)/5*(-9)/(189/35). Suppose 0 = -4*j - x + 7, l*j + 2*x + 3 = 2. Solve j = 2*g - 1 for g.
2
Suppose 0 = -5*m + 30*m - 8550. Suppose 2*z + 17*z = m. Solve -2*h - z = -8*h for h.
3
Let j be 1 - 5*(-304)/40. Solve 20 = 44*a - j*a for a.
4
Let i = -145 + 148. Let d be 5 - ((-1)/i)/((-6)/(-18)). Let t be 128/(-24) + d + (-10)/(-3). Solve -t*v - 10 - 10 = 0 for v.
-5
Let r be 0/((-9 + 0)*(-10)/(-30)). Let l(y) = -y**2 - y + 8. Let z be l(r). Solve 7*h - 5*h + z = 0 for h.
-4
Let f(m) = -4*m**2 - 11*m + 5. Let z(n) = 3*n**2 + 11*n - 5. Let r be (-3)/9*(-12 + 0). Let k(a) = r*f(a) + 5*z(a). Let s be k(10). Solve s*h = 9*h for h.
0
Suppose 0 = 160*q - 151*q - 99. Solve -53*y + 512 = q*y for y.
8
Let u be 178*((-1125)/50 + 23). Solve 48*z + 41 = u*z for z.
1
Let y = 165 - 163. Suppose 3*p + 2*l - 15 - 3 = 0, 2*p + y*l = 14. Solve -2*g = -p*g for g.
0
Let g(h) be the first derivative of -h**2 + 24*h - 40. Let d = -2 - -10. Let z be g(d). Solve z = -k + 3*k for k.
4
Let o be 18/15*(-50)/(-20). Let c be (-28)/21*o/(-4) + 4. Solve f = -c*f for f.
0
Suppose 0 = -5*r - 4*k + 15, -7*r + 3*k - 12 = -11*r. Solve -4*z = r*z - 2*z for z.
0
Let c(q) = q**3 + 53*q**2 - 31*q - 1643. Let l be c(-53). Solve 8*y + 11*y - 19 = l for y.
1
Let l = -63 - -94. Suppose 3*m + 3*a = 21, -5*m + l = -3*a + 7*a. Let k(u) = -u**3 - 13*u**2 - 10*u + 36. Let p be k(-12). Solve p = -0*v - m*v for v.
-4
Let q = 68 - 65. Let k be (1 - 294/q) + 3. Let w = 102 + k. Solve -w - 4 = -3*j for j.
4
Let q(u) = u - 12. Let z be q(16). Suppose 3*o + 25 = 8*o. Suppose -z*v + 10 = -2*p, 3*v + o = 2*v - p. Solve v*t = -t + 4 for t.
4
Let y(d) = 3*d**2 + 7*d + 13. Let x be y(-2). Suppose -26*i - x*i + 37 = 0. Solve -i + 11 = -2*v for v.
-5
Suppose 2*w - 1825 + 1819 = 0. Solve -h - 4 = -w for h.
-1
Suppose -73*g + 3*g + 140 = 0. Solve -2*o = g*o for o.
0
Let c = 2985 + -2795. Solve -c*r = -184*r + 12 for r.
-2
Let m be (-2 + 4)*(-1)/(-2). Suppose -5*p - 8 = -4*z, 5*z = 3*p + 31 - 8. Suppose 0 = -4*w + k + z + m, -k = -2*w + 4. Solve -3 = -5*f + w for f.
1
Let r(z) = -z**3 - 7*z**2 + 16*z - 14. Suppose -15 = 10*i - 15*i, -4*b + 5*i - 51 = 0. Let u be r(b). Solve -11 = -u*h + 9 for h.
5
Let q = -265 + 267. Suppose 2*b - 8 = q*p, 0 = 5*b - 3*p - p - 17. Solve -b = -2*u + 3 for u.
2
Suppose 4*m = -3*x + 11, -5*x = -m + 3*m - 9. Let s(g) = -g**3 + 8*g**2 - 3*g - 10. Let n be s(5). Suppose n = -7*j + 64. Solve -u + m = -j for u.
4
Let b(h) = -6*h**3 + h**2 + h - 4. Let j be b(2). Let u = 44 + j. Let y be 3 + 1 - (u - -4). Solve -y*z = -1 - 5 for z.
3
Let p = 1291 - 1285. Solve 23*o - p*o - 68 = 0 for o.
4
Let m be (0*5/(-50))/(1 + 0). Solve -j + 29 - 26 = m for j.
3
Let k(b) = -150*b - 289. Let f be k(-2). Solve -f*u + 42 = -4*u for u.
6
Let j = -1339 + 1381. Solve -j*s + 73*s - 124 = 0 for s.
4
Suppose 6 = -0*t + t. Suppose -4 = j - t. Suppose -2*y - 2*h + 6 = 0, 3*y + 9 = -0*y + 3*h. Solve -3*g + j - 14 = y for g.
-4
Suppose -2*d = -5*d - 15. Let v = 5 + d. Let w(q) = q**3 - 11*q**2 + 15*q + 32. Let b be w(9). Solve v = 5*n - b - 5 for n.
2
Let w(z) = -5*z**2 + 36*z + 35. Let k be w(8). Solve -414*x = -413*x - k for x.
3
Suppose -3*g + 32 = 4*l + 9, l = 2*g - 8. Suppose -4*f = -5*i + 1, 0 = l*i - 3 + 1. Let s be (-2)/((-4)/6) + f. Solve -s*k = -2 + 6 for k.
-1
Let c = 4256 - 4141. Solve -c - 133 = 62*i for i.
-4
Let r be ((-2)/3*-1)/((-5)/(-15)). Let s be (24 + -54)*(-1)/r. Solve 30 = 9*j - s for j.
5
Let c(q) = q**2 - 51*q + 440. Let k be c(11). Solve k = -18*a - 8*a + 52 for a.
2
Let k(l) = -3*l**3 - l**2 + 3*l + 17. Let f(t) = -4*t**3 + 4*t + 16. Let o(y) = 4*f(y) - 5*k(y). Let p be o(3). Solve 0 = 5*c - p - 10 for c.
2
Let m(d) = d**2 + 13*d - 313. Let s be m(13). Solve -188 = s*u - 38 for u.
-6
Let p be (4 + 0)/(9/(10746/24)). Solve p*r = 194*r - 15 for r.
-3
Let k(y) = -y**2 - 16*y + 216. Let l be k(8). Solve -135*f + 139*f = -l for f.
-6
Suppose 87 = 29*v - 551. Solve -7*m + v*m - 90 = 0 for m.
6
Suppose -z + 5 = 4*z. Let f be 2/(2 - (-8)/(-5))*z. Suppose 8*b = f*b + 15. Solve b*r + 12 = -3 for r.
-3
Let j(c) = c**2 + 12*c - 100. Suppose -68*h = -55*h - 78. Let s be j(h). Solve -4*w - s = -12 for w.
1
Let o(h) = -h + 3. Let n be o(6). Let k(g) = 3*g**2 - 22*g + 46*g + 0 - 4 - 23*g. Let r be k(n). Solve -5*m = -m + r for m.
-5
Let c = -806 + 808. Let r be 4 - (-2)/(-1 + -1). Suppose -5*y = -r*p + 11, 5*p - 5*y = 14 + 1. Solve p*b = -c*b for b.
0
Suppose -2498*u = -2480*u - 270. Solve -u*r = 341 - 416 for r.
5
Suppose -5*l - 5*x + 25 = 0, 2 = 5*l - 4*x - 5. Suppose -l*r + 0*r = 2*r. Solve r*w = -3*w - 6 for w.
-2
Suppose 2*r = 8, -17*q - 289 = -22*q + 4*r. Solve 17*o - q = -95 for o.
-2
Let f(u) = u**2 - 50*u - 929. Let y be f(65). Solve y = 10*p + 26 for p.
2
Let a(d) = -d