or m.
1
Let x be (-1 + 3)*1/(-1). Let q = 0 - x. Suppose -k = -3*t - q*k + 12, 0 = t - 4*k - 17. Solve f + 4 = -f, 0 = t*a + 3*f - 9 for a.
3
Let o = -3686 + 3686. Solve -5*s - 2*t + 6 = o, 0 = -5*s + 2*t - 6 for s.
0
Suppose -3*l = -5*v + 11, -5*v = -102*l + 107*l - 75. Solve 4*i + n = i - 14, 0 = -4*n - l for i.
-4
Let b(d) = -250*d + 2489. Let c be b(10). Suppose -4*p - p = 55. Let x = c - p. Solve -u - 5*h + 24 = x, -5*u + 4 = 2*h - 1 for u.
-1
Let f = -6229 + 6244. Solve -5*j = -5*u + f, 2*j = -12*u + 11*u for j.
-1
Let v be 9/(-15) - ((-4)/(-10) - 4). Suppose d + 8 = 3*d. Let a be (-2 + d)*(1 - 0). Solve -5*x + 4*h = 1, -21 = -v*x - h - a*h for x.
3
Suppose 9*l + 10 = -35. Let z be l + (-180)/3 + 5. Let f = 76 + z. Solve 3*n = -r + f, 2*n - 12 = -2*r - 0*r for r.
1
Let d be -1 - -4 - (-5 + 6). Suppose -5*v = 5*f + 5, -3 + 5 = d*f - 2*v. Let r be 4*1*(-1 - -2). Solve f = 3*u - c + 3*c - 11, -5*u = r*c - 19 for u.
3
Suppose 4*p = -0*p + 1392. Let s = p + -346. Solve 2*a + 3*w - s = 0, -a + 2*w + 9 = 1 for a.
4
Let s be 17*(4 + -3) - -1. Suppose 2*x - s = -4*l, 3*l + 0*x - 4*x - 19 = 0. Solve 13 = 5*b + 2*m, -l + 21 = 4*b - 4*m for b.
3
Let k(a) = a**2 + 11*a - 44. Let s be k(-8). Let p = s - -83. Solve -18 = y + 5*c, 4*c + p = -4*y + 3*c for y.
-3
Suppose -4*k + 5*o = -71, -36*k + 3*o = -34*k - 39. Solve -w = -2, -3*a + k*w - 13*w + 20 = 0 for a.
4
Let s = 1121 - 1118. Solve f + 77 = -4*k + 62, -3*f + s*k = -15 for f.
1
Suppose -6*o + 21*o + 3*o = 90. Solve -5*h - 6 = -o*n - 26, 4 = -4*n + 2*h for n.
2
Suppose -3*v - 19 = -b + 12, 5*b - 142 = 2*v. Solve 24*u = b*u - 2*s + 14, -4*s + 4 = 0 for u.
-3
Let o(n) = -50*n + 1204. Let m be o(24). Solve d + 6 = -m*u, -3*d = -0*d - u - 8 for d.
2
Suppose 3*q = k + k - 1, q = k - 1. Let m be (36/8)/3 + q/2. Suppose 0 = -4*r + m*r. Solve 3*x - 4*l = -23, r*l + l - 7 = x for x.
-5
Let r = -190 + 5. Let y = r + 185. Solve y*g + 7 = -2*w - g, -3*g + 15 = -3*w for w.
-4
Let d = -4 - -6. Let c = 24950 - 24948. Solve i = -m + c, m + 2 - 10 = d*i for i.
-2
Suppose -d - 2*a = 4, -2*a = -44*d + 42*d + 10. Solve 2 = -8*s + 5*s + 4*x, 2*x + d = 0 for s.
-2
Let u = -22 - -16. Let r be 9/(-2)*20/u. Let j be ((-240)/16 + 14)/((-2)/10). Solve 5*m - r = -i, -3*m - 9 = j*i + m for i.
-5
Let z(q) = -q**3 + q**2 + 11*q - 15. Suppose 0 = 46*w - 45 - 93. Let r be z(w). Solve -3*v + v + 8 = 2*y, r = -2*y - v + 9 for y.
5
Let s(c) = 170*c**2 + 3*c + 2. Let w be s(-1). Let h = 174 - w. Solve h*v + 25 = -3*l, v - 13 = 2*l + l for l.
-5
Let z(w) = w**2 + 1701*w + 30297. Let a be z(-18). Let y be (-4)/6*(5 - 2). Let g be (y - -2)/(-1)*-1. Solve -3*u - a = -3*b, -2*b + 12 = -g*u - 4*u for u.
-5
Let o(x) be the first derivative of 5*x**2 - 50*x + 53. Let v be o(5). Solve v = 5*s - i, -i = 3*i - 20 for s.
1
Let y be 2*(3 + -2)*1. Let u(p) = 14*p**3 - 2*p**2 + 1. Let b be u(1). Let q = 11933 - 11933. Solve q = t - 5*c - b - 8, 0 = y*c + 8 for t.
1
Let p = 338 + -333. Let i be 7/((-35)/(-4))*p. Solve -4*a + 15 = 3*s, 3 = -i*s + 2*a + 1 for s.
1
Suppose -4*b = -743 + 683. Solve -f + b = -7*r + 2*r, f = r + 3 for r.
-3
Suppose -5*z + 16 = -z. Let b be 20/z - (2 - 0). Let a(g) = -172*g + 3. Let r be a(0). Solve 0*l + 4*l + r*q - 5 = 0, 0 = b*l + 4*q - 2 for l.
2
Let f = 7 - 2. Suppose 271*q - 414 = -33*p + 273*q, -3*p = -4*q - 72. Solve g + 3*g + p = -3*d, -f*d = 20 for g.
0
Suppose 0 = 758*u - 804*u. Solve p + 3*f = -15, u = -p + 8*f - 4*f + 20 for p.
0
Let p(a) = a**3 - 18*a**2 - a + 21. Let o be p(18). Suppose o*g = 8*g. Let j be (-22 + 20)*(g - 1). Solve -5 = -0*d - d - j*l, -d - 3*l = -7 for d.
1
Let c be (-1)/((-2)/14 - 18/(-567)). Let z be (c/6)/(6/128). Suppose 3*g + g - z = -4*h, -h = -3. Solve -4*o = 12, -2*w + 23 = -g*o - 2 for w.
5
Let c be ((-4)/(-18))/((-42)/(-189)). Solve -4*i + 16 = -5*f - c, 0 = i - f - 3 for i.
-2
Suppose 3*x - 2 = 4*i - 5, -i = 2*x - 9. Let h = 11 + -9. Solve -2*u + h = -0*c - x*c, -4*u = c - 4 for c.
0
Let z be 2*(9 + (-6 - 1)). Solve -6*n - 7 = -9*n + 2*t, -8 = z*t for n.
1
Let o be -190 + (5 - 2)*1. Let v = -187 - o. Solve 2*h - 2 = -2*g, v = -3*h + 4*g - 8 + 39 for h.
5
Let s = 3027 - 3016. Solve 3*p = -6*i + 3*i - 21, 3*i = 5*p + s for p.
-4
Let l be (-66 - -41)*1*(-96)/10. Let v = l + -238. Solve -5*k - 4*x = 9, k + x + 3 = v for k.
-5
Let x(k) = -3*k**3 + 17*k**2 + 2*k + 27. Let v be x(6). Solve 5*y = v*u, -1 = 5*y + 2*u - 26 for y.
3
Let h(q) = -q + 5. Let w be h(7). Let b(g) = -17*g + 6. Let x be b(w). Suppose x = 13*l - 9*l. Solve 0 = -n + 5, 4*o = 4*n + 2 - l for o.
3
Let l be 0/1*22/44. Suppose -n + 11 - 8 = l. Solve t = 2*b + 2*b + 20, n*b = -4*t + 4 for t.
4
Suppose -67 + 46 = -7*b - 0*b. Solve -5*o = 5*q + 5, -4*q - q + b*o + 11 = 0 for q.
1
Suppose -7*l - 21 = -14*l. Suppose 8*z - 25 = l*z. Suppose -5*s = 4*k - 14, 3*s + s = 4*k - 32. Solve 4*g + k = 3*g - 4*r, -2*r + 6 = z*g for g.
2
Suppose -v - 74 = -3*x, -15*x + 14*x + 2*v + 28 = 0. Suppose x*q - 25*q = -16. Solve -u + 12 = 2*k, -3*u + q = k + k for k.
5
Let b = -14016 - -14018. Solve -10*q = 5*u - 7*q - 9, -b*u - q + 4 = 0 for u.
3
Suppose -491*d + 464*d = -162. Solve d*l - 3 = -u + 8*l, u - l - 3 = 0 for u.
3
Suppose -5*p + 100 = 5*u, 383 = p + 379. Suppose 5*i = 2*i + 9. Suppose h = 0, -2*n - 4*h = i*n - 15. Solve -4*t + v = u, 6*v = -3*t + 3*v + n for t.
-3
Let u = 15 + -10. Let a be 8/(-20) - (-17)/u. Let k = 932 + -927. Solve h = -4*v - 3, 2 = -h - k*v - a for h.
5
Let i be -2*(-6)/(228/95). Solve -i*g + 37 = 4*u, 4*g = 63*u - 65*u + 26 for u.
3
Let i be -4*(30/(-24) - 0). Suppose 0 = 4*z - 4, i*g = 7*z - 11*z + 39. Solve -3*t = 2*w - g, 10 = 5*t - 5 for w.
-1
Suppose -26*z + 31*z = 445. Let w = 91 - z. Solve -2 = 3*o - 4*o + w*p, -3*o + 5*p = -3 for o.
-4
Let a(p) = 66*p - 1315. Let y be a(20). Solve -26 = -0*o - o - 5*g, -2*o = y*g - 32 for o.
6
Let t = -29 + -102. Let x = -124 - t. Suppose g = 2*j - x, 10 - 35 = -5*j. Solve 0 = 2*i - 4*f + 4, 8*i - 3*f = g*i - 3 for i.
0
Suppose 3*p = 5*o - 573 + 654, -5*p = 4*o - 61. Solve -28 = -5*k - 4*d - 45, -d = -3*k - p for k.
-5
Suppose 4*c - 2*a - 64 = -0*c, c + 4*a = 25. Suppose -c*x + 5 = -29. Suppose 38 - 48 = -x*t. Solve -t*o = -25, 4*s + s + 4*o = 0 for s.
-4
Let y = 424 - 410. Suppose 4*v - 6 = 3*s - 0*v, 4*s = -2*v + y. Solve 21 = 5*o - 4*z, -s*z = 4*o - z for o.
1
Let l be ((-57)/(-9))/((-3)/(-9)*1). Suppose 24 = -l*a + 62. Solve 12 = -4*h - r - 0*r, 4*r = -a*h - 20 for h.
-2
Suppose -80*w + 345 = 35*w. Solve -9*r = -w*x - 8*r + 2, -5*x - 3*r = -22 for x.
2
Let c = -21 - -23. Suppose -3*y + 2*i - 4 + 0 = 0, 21 = -c*y + 5*i. Let x be (1 - 0)*(y - (-2 - -2)). Solve -3*a + 2*v = a + 14, -5*a - x*v - 22 = 0 for a.
-4
Let x(d) = -d**3 - d + 3. Suppose -5*z - 15 - 5 = -g, 5*z + 20 = 0. Let y be x(g). Solve -y*l = 3*i + 13 - 1, -3*i - 17 = -2*l for i.
-5
Let u(a) = a. Let l be u(4). Let z = 188 - 191. Let t be (-21)/z + (15 - 18). Solve 3*h = -w - 16, -t = 3*w - l*w + h for w.
-1
Let y = 390 - 393. Let l be (6/15)/(-1*y/30). Solve -2*i = -4*o - 12, o = 3*i - l*o - 15 for i.
0
Suppose 5*d = 3*d. Suppose 19*o = -12*o + 837. Suppose 3*p - 67 = 4*m, -3*m + 8 - o = -p. Solve 0 = 5*j - p, j + d*j - 5 = -3*q for q.
0
Suppose 0 = 51*x - 179*x - 252*x + 1900. Solve 10*d - 12 = 13*d - z, 15 = -x*z for d.
-5
Let p(z) = -z**2 + 8*z - 2. Let m be -8 + 13 - 6 - -8. Let c be p(m). Solve 2*g - c = -v, g = -3*v + 6 - 1 for g.
2
Suppose 4*u + 3*l = -28, 5*u + 5*l + 31 - 1 = 0. Suppose -d = -30 + 2. Let o = u + d. Solve k + k = 4*m, -3*m - 3*k + o = 0 for m.
2
Let k(z) = -3*z + 41. Let l = -44 + 55. Let n be k(l). Solve 4*f - 4*d = -0*d + n, f - 8 = -d for f.
5
Let s be 4/(-5)*(-35)/14. Let c be (-1252)/3130 - (24/(-10) + 0). Solve -v = w + s, c*w - 4*v - 3 = -25 for w.
-5
Let w be 3/2 + (-539)/(-98). Let h(j) = j**3 - 7*j**2 + 9*j + 10. Let x be h(5). Solve x*z + 3*f = 2*f - w, 3*z = -2*f for z.
-2
Suppose 2*u + 4 = -4*v, u - 5*v + 53 = 100. Solve 0*c - 16 = -4*c, -4*t + 4*c - u = 0 for t.
1
Let v be (-4 - 182/(-49))*(-2 - 5). Solve 0 = 4*x - h + 27 - 35, v*x = 2*h + 10 for x.
1
Suppose -2*g = -c + 32, 5*c - 190 = -g - 41. Let d(q) = -2*q**2 - 26*q + 3. Let j be d(-13). Solve 5*n + j*t - c = 0, -n + 6*n + 2*t = 25 for n.
3
Suppose -q + 135 = 3*t, -5*t + 225 = q - 6*q. Let r = -55 + 10. Let k