*x + 30 = 0, x - 15 = -4*g - 0*g for g.
5
Suppose 0 = -12*c + 29*c. Let v be c - 5/20 - 10/(-8). Solve h + h = -5*d - 17, -v = h for d.
-3
Suppose -16*w - 69 + 261 = 0. Solve 5*z - w = v, -3*z + 51 - 54 = -4*v for v.
3
Let m(f) = -28*f - 54. Let c be (-1 - (-4)/(-8)) + (-1)/2. Let d be m(c). Solve -2*y - d*i - 2*i + 18 = 0, 2*i - 8 = -2*y for y.
-1
Let c(h) = -h**2 - 3*h + 1412. Let b be c(36). Solve -5*g + 17 = 23*u - 19*u, 4*u - 4*g - b = 0 for u.
3
Suppose -70 = 624*s - 638*s. Let c be 2/(-2)*(0 - 0). Solve 2*r - i - s = c, -4*i - 8 - 12 = 0 for r.
0
Suppose 3*p = -4*b - 26, -16*p + 12*p + 24 = -2*b. Solve -3*n - 24 = 4*h, 2*n - p*h = -7 + 5 for n.
-4
Suppose -4080 = -380*l + 300*l. Solve 0 = 3*n - 3*g - 36 + l, 0 = -5*n + 4*g - 23 for n.
-3
Let m(z) = -z**2 + 41*z - 180. Let v be m(36). Suppose v = 26*w - 69 + 17. Solve 2*j - a - 4 = 3*j, w*j + 23 = -5*a for j.
1
Let a(t) = -118*t**2 + 2. Let x be a(-1). Let p = 116 + x. Solve 0 = y + 4*y - 5*j - 25, p = 3*y + 2*j - 15 for y.
5
Suppose 1031 = 159*i - 6457 - 780. Solve 5*g = -2*s + 30, i - 12 = 5*g + 4*s for g.
4
Let l be 70/(-120)*-9 + 2/(-8). Suppose -5*y + 3*y + 23 = l*k, -k = y - 7. Solve 4*o = y*v - o + 10, -3*v + 4*o = 7 for v.
-5
Suppose -4*q = -4*w + 88, 93 = 4*w + 4*q - 3*q. Suppose -w*j - 5 = -22*j. Let x be 1*(-5)/(j + 4). Solve -t - x*k = -3, 0*t + 3*t = 5*k + 9 for t.
3
Let n = 2813 + -2813. Solve n = -q + 2*k - 2, -4*q - 10 = -5*k - 5 for q.
0
Suppose 348*o - 1427 = 3097. Solve 2*t - 19 = -3*c, -4*t + o - 5 = 0 for c.
5
Let x be (-50)/(-2) + 26/(-13). Suppose -3*s + 103 = -x. Let w = -39 + s. Solve -v = 4*u + 19, 2*u + 2 = v - w for v.
-3
Suppose -3*d - 3*s + 4 + 5 = 0, -5*s = 2*d - 12. Let z be (5 + 2/(-1))*d. Let b be -2*(-4)/(-28) - 30/(-7). Solve -j = -b*u + 11, 5*u + j - 13 = z*u for u.
4
Let u be 16/10*(-100)/(-40). Suppose 3*s - 28 + 82 = 0. Let d be (-10)/(-3) + (-12)/s. Solve -u*j + 3 = d*f - 1, 4*f = -3*j + 2 for f.
-1
Suppose -2*q + 31 = -o, 17 = q - 0*o - o. Let l = -769 - -1096. Let b = -307 + l. Solve -3*d - 2*d = 5*f - b, 0 = -3*d - 4*f + q for d.
2
Let k be 4 + 189/(-39) - (-2)/(-13). Suppose 9 - 30 = -7*y. Let w be k - y*4/(-3). Solve -u - 9 = -w*m, 7*m - 23 = -u + 2*m for u.
3
Suppose -3940*z = -3983*z + 344. Solve -3*k + 31 = -z*k + 2*r, r + 7 = -2*k for k.
-5
Let n = -12 - -14. Let q be (-378)/(-108) - (-1)/(-2). Solve 3*f = 0, 3*f = -q*h - n*h - 25 for h.
-5
Let s be -6*(-36)/56 - (-23)/161. Solve 0 = s*y - 4*h - 28 + 4, 5*y + 2*h = -5 for y.
1
Let s = 7 - 2. Suppose d + 5 = 0, 5*d = 3*t + 186 - 610. Suppose 0 = -t*f + 126*f. Solve w + 12 = -4*k, f*w - s*k - 18 = 2*w for w.
-4
Let y be (-189)/54*8/(-14). Let k(r) = -r**3 - 39*r**2 - 3*r - 112. Let w be k(-39). Solve -6 = 2*j - u, y*j + 8 = 3*j + w*u for j.
-2
Let j(o) = -14 - 13 - 7*o**2 - 2*o**3 - 15*o**2 + 2 - 25*o. Let n be j(-10). Solve 0*i + 5*k + 17 = i, -4*k - n = 3*i for i.
-3
Let y be (-267)/(-87) + 25 + (-11632)/464. Solve q + q = -y*x - 21, -4*x + q = 17 for x.
-5
Suppose -14784 = 3*b + 17*b - 14884. Solve -4*h + 5 = -b*f, -2*h + 2 + 3 = -3*f for h.
-5
Suppose 40*a = -a + 492. Solve -2*q - a = -2*h, -q = -4*h + q + 16 for h.
2
Let t be 13 + -8 + 0 + -5. Suppose t = 5*j - 4*j - 5*y - 29, 5*j + 3*y = 5. Solve 3*k + 19 = -2*l, 3*k = -3*l + j*k - 1 for l.
-2
Let p(b) = b**3 - 9*b**2 + 3*b + 42. Let u be p(8). Solve j - 13 = -5*s + 4, 2*s = -2*j + u for j.
-3
Let x be 6293/(-145) + 7/5. Let t(b) = b**2 + 49*b + 298. Let y be t(x). Solve -u + n + y = 2*u, 12 = -3*n for u.
0
Let q = -13641 + 13645. Suppose 4*b + 20 = 4*w - 92, 3*w = b + 78. Solve h = -5*o - w, -h - q*o = -0*h + 21 for h.
-5
Let u = -2563 - -2577. Suppose v + 2 + 6 = 2*x, -5*x = 4*v - 33. Let j = x + 1. Solve -j = 5*s - k + u, -5*s - 5 = 2*k for s.
-3
Let r be (14/(-10) + -1)/((-120)/3200). Suppose -19*l + 51*l = r. Solve -2 = -0*f - 2*f - l*n, 5*n - 5 = -3*f for f.
0
Let s = 4025 + -4020. Solve 2*q = -s*v - 4, -5*q - 2*v + 13 - 2 = 0 for q.
3
Let d be 33/6 + 35/14 + -3. Suppose -d*z - 4*c = 8, 2*z + 10*c = 7*c - 6. Solve 8*t = 6*t - 5*u - 15, t - u + 4 = z for t.
-5
Let t = -1921 - -1924. Solve -5*g + 11 = -2*c - 1, 0 = -t*g + 5*c - 8 for g.
4
Let j(f) = -f + 14. Let i be j(9). Suppose -5*q + 2*q = -5*t + 9, 4*t - i*q = 2. Solve -4*n + t*w + 3 = 0, -2*w = -3*n + w for n.
3
Suppose 48 = 5*n + 9*n + 10*n. Solve -8 = 4*h + 4*b, 0 = -n*h + 21*b - 17*b - 10 for h.
-3
Let m = -11723 + 11821. Solve -3*x = 2*s + 14, -5*x - 2*s - m = -80 for x.
-2
Suppose -4 = -0*w - 4*w. Let v = 9 + w. Suppose -5*g = 30*g + 28*g + 19 - 208. Solve -2*o - 3*o + 4*t + 12 = 0, -v = -4*o + g*t for o.
4
Suppose -3*l + 49 + 11 = -21. Solve -l*d + 15 = 4*y - 24*d, y = -d + 5 for y.
0
Suppose 5*i + 13 = -3*k - 4, 5*k + 17 = 3*i. Let y be (3 - -1)/(k/(-5)). Solve y*u = u - c - 4, -4*c = 4*u + 16 for u.
0
Let b(i) = 20*i + 46. Let s be b(-2). Let f be (-32)/s*87/(-58) + -3. Solve -f*c = 3*y + 2*y, 0 = 4*c - 3*y + 35 for c.
-5
Suppose 11*r + 21 = 18*r. Suppose -3*b - r*x = 12, x + 3 = -0. Let k be (-1)/(0 + b)*3. Solve -q - 11 = -4*a, -2*a = -3*q - 0 - k for q.
1
Let p = 45 + -93. Let a = p - -51. Solve 2*r + 2*z - 24 = -8, a*r + 4*z = 27 for r.
5
Let y = -20 - -33. Suppose y = 3*t + 1. Let q = -3393 - -3395. Solve -3*n - 4*i = -9*i, q*i = t*n for n.
0
Let a(i) be the first derivative of -2*i**3/3 + 5*i**2/2 + 14*i - 3. Let h be a(4). Solve 12 = -h*s - u, -4*s - 5*u - 16 = -5*s for s.
-4
Let w be 1*(-9)/((-18)/2). Solve -3*j - 5*m = -w, -8 = 73*j - 71*j - m for j.
-3
Suppose -127*q + 332 = -44*q. Solve 0*h = 2*h - 2*d - q, -5*h = -d + 10 for h.
-3
Let n = 1419 - 1416. Solve 0 = 13*k - 9*k + 4, -n*m + k - 11 = 0 for m.
-4
Let a be (-8)/12 + (-70)/(-6). Suppose -15*f - 20*f + 560 = 0. Let i = f - a. Solve 5*m = -k + 4*k + i, -4*k + 5*m = 10 for k.
-5
Suppose -11*i - 43 = -58*i + 145. Solve 3*a - 37 + 25 = 0, -1 = -3*m - i*a for m.
-5
Let y = 301 + -225. Let b = -61 + y. Solve -5*l + r = -3*l + 3, -2*l = 5*r - b for l.
0
Let x = -8208 + 8211. Solve -11 = -2*w + 3*l, -6 = -x*w + 3*l + 3 for w.
-2
Let n(h) = h**3 + 17*h**2 - 98*h - 54. Let r be n(5). Solve -5*q = 4*i - 5 + r, -2*q + 2*i - 4 = 0 for q.
-1
Let i = -25835 + 25840. Solve -6*o - 50 = -i*v, 12*v - 14*v - 2 = 2*o for o.
-5
Let m be ((-24)/60)/((-2)/60). Suppose -21 + 93 = m*t. Suppose 0 = 3*v - 4*n + 8, -v + 4*n - 2*n = t. Solve -14 = -o - 3*c, 5*o - 16 - 10 = -v*c for o.
2
Suppose 0 = -4*k - 2*z - 3402, -2*z = -4*k - 2331 - 1067. Let h = -846 - k. Solve -h = t - a, 0 - 9 = 2*t - a for t.
-5
Suppose 2*p + h = 37, p + 174*h - 169*h = -22. Solve -p*n = i - 20*n - 9, -17 = 3*i - 2*n for i.
-3
Suppose 0*d - 4*d = 2*l - 24, 16 = -2*l + 4*d. Suppose 9*t - l*t = 126. Suppose -2*w + t = -0*w - 3*b, 4 = -b. Solve -2*v - 1 = w*o + 1, o = -5*v + 8 for v.
2
Let t(a) = 7*a + 137. Let c be t(-19). Solve c*p = -y - 17, 0*y = -2*p + 2*y - 16 for p.
-5
Suppose -4 = -2*n, 4*c = 4*n - 37 + 49. Solve -j = -3*j - 5*l, -17 = -c*j - 4*l for j.
5
Let v = 125 + -130. Let u be ((-8)/v)/((-18)/10 + 2). Solve 18 = 3*w + 3*d, 0*w + 2*w - 2*d = u for w.
5
Let y = -6717 - -6719. Solve f + 0*f = -3*h - 6, -f - y = -h for h.
-1
Suppose -63*s + 5*d = -68*s + 20, 0 = 2*d - 2. Solve 24*h = 5*m + 27*h - 3, -3*m - 3*h - s = 0 for m.
3
Suppose -16*h - 1339 = -1355. Solve -30 = 5*c + 5*v, 5*v - h = c - 13 for c.
-3
Suppose 4*b = 0, -4*k + 6*b = b - 176. Suppose -35*f = 9 - k. Solve -2*y + 2*w = f + 9, -5*w + 17 = -3*y for y.
-4
Suppose 5 = -5*x + 25. Let f be (-8 + 62)/(-9) + (-105)/(-5). Solve y + x*a = f, -3*y + 2*y - 20 = -3*a for y.
-5
Let u be 78/4 + 1/2. Suppose 34*q - 72 = 31*q. Suppose -3*d = 4*l - u, -4*d + q = -l + 5*l. Solve -5*r = -4 - 6, 5*r = d*j + 26 for j.
-4
Let w be (25/(-25))/(1/(-2)). Let g be w/(-21) + 642/126. Solve -g*i = -5, -2 - 5 = 2*u - i for u.
-3
Let m be 15/((-3 + 4)/(4/(-4))). Let i be m/3*-1*180/75. Let f be (-1 - 2)*7/(-21). Solve -j - i = 3*b, 2*j - 17 = 4*b - f for b.
-4
Let k be (4/4)/(-1 + 6/4). Suppose -k*t - 4*d = 12, 8*t + 35 = 13*t - 3*d. Solve -2*p - 6 = 2, 0 = -t*l - 2*p - 28 for l.
-5
Suppose -19*t + 10 = -14*t. Let x = -19 + t. Let r = x - -22. Solve -5*l + 3*l - 3*q = 0, 0 = -r*l - 5*q - 5 for l.
-3
Let z = 20615 - 20611. Solve 12 = z*d - 2*d + 4*f, 0 = 3*d + 3*f - 12 for d.
2
Let b be (0 + (135/6)/9)*-4. 