2*v, -4 = -5*m - 2*v + 9 for m.
3
Suppose -a = -5*v - 60, 0 = 3*a + 2*v - 69 + 8. Solve j - a = -5*h, -3*j + h + 0*h + 11 = 0 for j.
5
Suppose c + 0*c = 0. Suppose 0 = -w - 5*r + 18, c - 3 = -4*w + 3*r. Let d be (-3)/(40/32 - 2). Solve 0 = 4*p - d*j + 12, w*p - 3*j + 8*j = -9 for p.
-3
Let v(n) = -263*n + 792. Let m be v(3). Solve -3*o - 6*z - 12 = -m*z, 5*o + 2*z = -11 for o.
-1
Let i = -19872 - -19886. Solve -3*q + i = 4*u - 11, 3*u = q + 9 for u.
4
Suppose -3 + 45 = 7*k. Suppose k*q - 14*q - 7*q = 0. Solve 13 = -q*n + 5*n - 4*u, 2*u - 6 = 0 for n.
5
Let h be (1/(-15))/(1/(-12))*-5. Let c(k) = -5*k**2 - 7*k - 24. Let f be c(h). Let v = -73 - f. Solve 5*r + v*a = -22, -2*r + 2 - 17 = -5*a for r.
-5
Let h(g) = 29*g - 2401. Let j be h(83). Solve 0 = 843*b - 838*b + 2*u + j, u = -4*b - 3 for b.
0
Let l(h) = -2*h**2 + 206*h - 2022. Let m be l(92). Solve -m*d = 5*k + 14, -24*d + 23*d - 3*k = 8 for d.
-2
Let k = -2709 + 2717. Solve -11 = 2*l + 5*b, -k = -l - 4*b - 15 for l.
-3
Suppose -46*n + 342 = -118. Solve -7*a = 5*x - 12*a + 40, 0 = x - n*a + 44 for x.
-4
Let z = 70 - 66. Suppose 2*j - 3*x = 0, 6*x - 3*x = -5*j + 21. Let k = 1556 - 1553. Solve -z*y - k = -15, -2*y - 3 = j*t for t.
-3
Let f(q) = -32*q - 4. Let j be f(-3). Suppose 15680 - 15281 = 3*u. Let b = u - j. Solve 5*x + 5 = 3*d, 6*d - d = -4*x - b for d.
-5
Let n = 109 + -111. Let u be (-10)/n*24/20. Solve 2*h - 3*f - u = 0, 0*h + 3*h + 25 = -4*f for h.
-3
Let r = -129 + 262. Let u = r - 131. Solve 4*c - 26 = u*a, -4*c - 3 = 3*a - 4 for a.
-5
Suppose -70*q = -50*q - 0 - 0. Solve 2*v - 3 = a, q*a - 5*v + 10 = -5*a for a.
-1
Let s be 12*((-104)/24)/(-13). Suppose 4*a + 2*z = 0, 13 = s*a - z + 1. Solve 0 = -5*k + k + a*b - 16, 0 = 2*k - 5*b + 16 for k.
-3
Suppose 67 = -5*l + 87. Suppose -5*t = -0*t + m - 12, l*t = 4*m. Solve 3*g + 5*k = 8, t*g - 2*k = -4*k for g.
-4
Let b(a) = -2*a**2 - 45*a - 189. Let n be b(-16). Solve 0*k + 3*z = -4*k + n, 0 = -4*k - z + 9 for k.
1
Suppose 29 = 5*m + 3*b, 0 = -m - b - 0*b + 7. Let w = m - -14. Suppose 5*i + 3*z = 25, 4*i + 121 = z + 124. Solve -4*t + w = 3*f - 8*f, -3*f = i*t + 2 for f.
-2
Let z be 8 + -1*((10 - 7) + -2). Solve -v + 4*f + z = 0, 5*v - f = -1 - 21 for v.
-5
Let d(z) = -6*z**2 + 30*z - 40. Let a(m) = m**2 - 3*m + 1. Let b(n) = 5*a(n) + d(n). Let g be b(8). Solve 8*o - 3*o = -5, -5*s = o + g for s.
-4
Let q(n) = n**3 + n**2 + 3*n + 5. Let h be q(0). Solve -3*l + 4*g + g = -32, 0 = 5*l - h*g - 40 for l.
4
Suppose 56 = 128*h - 72*h. Solve 30*s = -4*j + 27*s - 7, -3*j = -2*s + h for j.
-1
Suppose -2*k = g - 13, 0 = 87*k - 90*k - 4*g + 12. Suppose d + 7 = 5*c, -5*c + 0*d + 13 = d. Solve -3*m + 3 = -2*r, c*r + k = 4*m - 2*r for m.
-1
Suppose 0 = 2*m + 3*w - 29, -345*w = -346*w + 5. Solve -5*o - 52*d - 17 = -51*d, m = -o - 2*d for o.
-3
Let l be (3/5)/(6/30). Suppose 27 = r - 3*y + 11, 2 = -y. Suppose r*g - 20 = 5*g. Solve -2*o + g*o + 4 = -2*t, -3*t + l*o - 18 = 0 for t.
-4
Let s(z) = -z**2 + 7*z + 12. Let d be s(6). Let p(u) = -2*u**3 + 37*u**2 - 20*u + 45. Let t be p(d). Solve -5*c + 4*c = 3*o + t, 0 = -2*c + 4*o + 2 for c.
-3
Let c(v) = -7*v - 19. Let d be c(-10). Let i be (17/d)/((-1)/(-57)). Solve 2*g - i = -4*y - 3, -g = 3*y - 10 for g.
4
Suppose -169 = -15*q - 109. Solve 2*w + 10 = 5*a, 2*w - 10 = q*w - 4*a for w.
-5
Suppose 6 = -3*t, -2*t + 15 = x - 21. Let c be 26/65*x/2. Solve 0 = -z - 3*u - 0*u - c, -u - 3 = 0 for z.
1
Suppose 11*r - 12*r + 13 = 0. Suppose r*a = -3*a + 96. Solve 4*d - 3*w - 10 = a*d, 5*d - 4*w = -25 for d.
-5
Let x = 180 - 178. Suppose -u - x*f + 16 = 0, 4*f + 0 = 4*u - 4. Solve 3*a + 3*z - u = 0, -a - a = 4*z for a.
4
Let b(s) = -91*s + 3. Let c be b(1). Let l = 91 + c. Solve -2*z - 5*g = 14, 2*z + z + 12 = -l*g for z.
-2
Let u(j) = j**2 + 24*j - 133. Let m be u(-29). Solve -4*q = 2*r + m, -5*q + 5*r - 2*r = 15 for q.
-3
Suppose -105*c - 11536 = -119*c. Let b = c + -803. Solve -j + l + 3*l + b = 0, 4*j + 3*l + 11 = 0 for j.
1
Let n = 21 - 18. Suppose n*w + 59 = 7*w - 3*o, -4*w + 61 = -5*o. Suppose -2*f - 5*f + w = 0. Solve -f*x - u = -5, 3*x = -2*u - 2 + 9 for x.
3
Let y(n) = -6*n**2 + n + 5. Let w be y(0). Let j(q) = -2*q**2 + 37*q + 23. Let l be j(19). Solve 2*f + w*t = -12, -3*f - t - 13 = l*t for f.
-1
Let x be 48/84 + (-4 - 3180/(-21)). Let h = 156 - x. Solve -5*b - 35 = 5*m, 2*b + h = -0*m + m for b.
-5
Let n be (-9 - -29)/1 - (-2 + 8). Solve 2*j + 2*m - 8 = 0, -3*j + n = -3*m + 4*m for j.
5
Suppose 8*m - 7*m - 4 = 0. Suppose 1 = -m*y + 5*y. Let n be y/(2 - 13/7)*4. Solve -41 = -5*u + 4*l, -4*u + 5*l + n = 3*l for u.
5
Let l(z) = 56*z**2 - 2*z + 5. Let x be l(0). Solve -x*f - 2*r = 4, 4*f + 0*r + 4*r = -8 for f.
0
Let v(b) = b**2 + 119*b + 127. Let u(o) = o**2 + 59*o + 64. Let w(y) = 5*u(y) - 3*v(y). Let r be w(32). Solve -3*s + 6 = -2*j + r*j, -4*s + 3*j = -8 for s.
2
Let l be -24 + 20 - 50/(-15) - (-2)/3. Solve l = -4*g + 9*g + m + 21, 2*g - 4*m = -4 for g.
-4
Let i be (-5 + (-18)/(-6))/(-1). Suppose i*u - 4*u = -4. Solve u*b = -2, -2*n - 5*b = 5 + 6 for n.
-3
Suppose -125*n - 178 = -2*k - 122*n, -4*n = 0. Solve w + 6 = 3*h, -90*w + 4*h = -k*w + 10 for w.
6
Let m be (15 + -11)*(-5)/(-10). Solve 0 = -c - 4*h - 18, c - 4 = -m*h - 14 for c.
-2
Suppose -26 = -2*w + 4*v + 18, w - 23 = 3*v. Solve -16*n = 4*h - 18*n - w, 20 = -5*n for h.
3
Suppose 5*u = -6*b + 2, -2*b = -5*u - 1 + 27. Solve -2*p = u, 3*a = -4*p + 25 - 27 for a.
2
Suppose 19 = -35*w + 5 + 14. Solve -3*q - 9 = 3*v, w*v + q - 21 = 5*v for v.
-4
Let h = 1067 + -1066. Solve -3*y - h = -4*t, -t - y - 17 = 4*y for t.
-2
Let w = 6 - -9. Let l = 536 + -531. Suppose -3*j = 3*n - 2*j - w, l*n = -j + 23. Solve -4*f - 3*k - k - 20 = 0, -n*f + 4*k + 12 = 0 for f.
-1
Suppose -4*l - i = 0, 8*i = 5*l + 13*i + 30. Solve -7*p + l*p = -q + 27, -4*p + 4*q = 28 for p.
-5
Suppose -4*a - 17*a = -42. Solve 0 = -5*x + 5*k - 5, 8*k - 3*k = 4*x + a for x.
-3
Suppose -3*s = -5*b - 34, -2*s = 4*b + 12 + 2. Solve -k - n = -3, 0 = k + 2*k - n + s for k.
0
Let n = 104 + -148. Let u = -99 - n. Let p = u + 58. Solve 11 = -4*f + p*x, 3*x - 5 = -5*f + 15 for f.
1
Let a be (1508/(-290) + (0 - 0))/((-8)/20). Solve -6*g - 12*z - a = -7*z, -4*z = -3*g - 13 for g.
-3
Suppose -4*x - 3*x = -28. Let b(w) = 14*w - 19. Let v be b(x). Suppose -2*d + 5 + v = 0. Solve 2*a = -4*p, 5*a - 4*p + 7 + d = 0 for a.
-4
Let n = -699 - -716. Let s be 2/(-11) - (3213/(-187) + n). Solve -8*k + 4*k - 2*l = 22, s = k - 5*l - 22 for k.
-3
Let z be 1/3 - 99/(-27). Solve -4*j + 14 = -2*j - z*c, -5*j + 17 = -4*c for j.
1
Let o(d) be the first derivative of -24*d**2 + 101*d + 151. Let c be o(2). Solve 4*r - 25 = -c*l, -5*r - l + 0*l = -5 for r.
0
Let i(p) = -p**3 - 17*p**2 - 17*p - 11. Let x be i(-16). Let m be 8/16*0/2. Solve 5*v + 2*r + 26 = 0, 6*v - x*v + 5*r + 19 = m for v.
-4
Suppose -7 = c + 5*y + 3, 4*y - 13 = -5*c. Let u = 45 - c. Suppose 30 = 4*f + 10, -4*f + u = 4*n. Solve -3*v + 0*v + 11 = n*j, 0 = 5*v - j + 19 for v.
-3
Suppose 14*d - 1122 = -3*d. Suppose d*z - 42*z - 48 = 0. Solve 0 = m - 2*o - 3, z*o + 3 + 3 = 0 for m.
-3
Suppose -2*j - 5 = -23. Solve 2*c + f + 8 = 0, 0 = -4*c + f - 1 - j for c.
-3
Let g be (-2230)/6*120/(-100). Let h = g - 441. Solve 20 = -3*w + c + 3*c, 4*c = h*w + 20 for w.
0
Suppose -51 + 67 + 84 = 25*k. Solve 0 = 2*o + 1 + 7, -k*o + 9 = -5*s for s.
-5
Suppose 85*k - 468 - 297 = 0. Solve -21*v = -22*v - 4*d + 3, 2*d = v + k for v.
-5
Let j be (276/42 - 7) + 291/679. Let a be (-183)/(-21) - (-4)/14. Solve -f - a = 2*o, -3*f + j*f - 19 = 4*o for f.
-1
Suppose -h - 4*x + 4 = -7, 5*h + 8*x - 31 = 0. Solve -4*y + 32*l - 28*l = 12, -h*y - l + 7 = 0 for y.
1
Suppose -5*h - w + 8 = 0, -2*h - w + 1 = -4*h. Let b(o) = 45*o**2 + 4*o - 3. Let u be b(h). Let y = -23 + u. Solve p = -4*f - 21, -f + y = -6*f + 2*p for f.
-5
Let r be -44 - 2/(2 - 1). Let h = r - -43. Let k = 8 - h. Solve 0*d - d = -4*w + k, d + w = -1 for d.
-3
Let t = -14 - -6. Let i(c) = 2*c**2 + 20*c + 20. Let r be i(t). Let u = r + 17. Solve u*h + 20 = -5*k, 2*k = -5*h - 3 - 20 for k.
1
Let u = -254 - -414. Let m = u - 155. Solve -h = j + 3*j - 18, -j - m*h = 5 for j.
5
Suppose -24*u + 6*u = -54. Suppose 3*m - 7 + 13 = 0. Let t be (0/(1 + m))/(-2). Solve -4*b - 15 = u*j, t = -3*b - b - 2*j - 10 for b.
0
Let i be (-2)/(-14) 