-5*o + 8*o for o.
0
Let c be -8 - 3*404/(-6). Solve -193*s = -c*s - 4 for s.
-4
Let r = 139 + -84. Suppose -25 = a - r. Let m = a + -30. Solve 0 = -m*u - 3*u - 6 for u.
-2
Let y be 2/4*(-5 - -7). Let t(h) = 2*h**2 + h. Let f be t(y). Suppose 0 = -3*d + 15, -23 = -f*x - 0*x - d. Solve -r - x = -4*r for r.
2
Let u be 6/(-8) - 6/48*2. Let m(n) = -n**3 - 5*n - 3. Let v be m(u). Solve v = 5*t - 2 for t.
1
Let d(j) = -20*j - 180. Suppose 29*n = -19*n - 432. Let p be d(n). Solve 0 = -p*r - 3*r - 6 for r.
-2
Let j be (1 - -34)*((-104)/(-20) - 4). Suppose -j*y = -35*y - 14. Solve -y = -c - 7 for c.
-5
Let z = 6376 + -6376. Solve z = 6*m + 60 - 48 for m.
-2
Suppose -2267 + 842 = -75*c. Solve -12 = c*y + 26 for y.
-2
Suppose -5*m - 5*k = -30, -82*m + 3*k - 4 = -83*m. Let h be 17/((-119)/(-64)) - 1/m. Solve t - t - h*t = 0 for t.
0
Let n = 1281 - 1279. Suppose 5 = -3*o - 2*o, -2*q + 29 = -5*o. Solve w = -n*w - q for w.
-4
Let j be 71*37/(333/18). Solve -133*t + 54 = -j*t for t.
-6
Let o = 9188 + -9188. Solve o = 67*t - 170*t for t.
0
Let f(n) = 4 + 12 + 33 + 4*n. Let d be f(-11). Solve -12 = -2*a + d*a for a.
-4
Suppose 4*h + t = -5, 5*h - t - 5 + 0 = 0. Suppose h = c - 3*m - 2 - 2, 40 = 3*c + 5*m. Suppose 2*s - 5*n = c, -2*n + 0 = -s + 5. Solve 6 = s*j - 14 for j.
4
Let u = 299 + -281. Suppose -6 + u = 2*b + 3*d, 4*d - 16 = -2*b. Solve 2*x + 6 = -b*x for x.
-3
Suppose -9 = -5*g - 3*j, -2*j = -g - 2 - 4. Let r = 117 + -42. Suppose -r - 45 = -15*o. Solve g*u = 4*u + o for u.
-2
Suppose 1310*t = 1308*t + 14. Solve t*k + 72 = -11*k for k.
-4
Let v be (((-8)/2)/((-20)/(-30)))/(19/(-57)). Solve -v*p + 21 = 75 for p.
-3
Suppose 2*t = -4*r + 48, -5*r - 6*t + 8*t = -96. Solve -r*j + 34*j + 126 = 0 for j.
-7
Suppose 3*t + 6*u - 626 = 2*u, 4*u - 8 = 0. Solve 5*i + t = 231 for i.
5
Let k(v) = v**2 - 3*v - 7. Let g be k(-2). Let c be (-2 + 10/g)*(-147)/(-7). Suppose -4*r = 5*h - 32, -4*h = 2*r + 2*r - c. Solve -h*a + 0*a = 0 for a.
0
Suppose 6 = -4*a + 5*s, 2*s - 22 = 3*a + 7*s. Let v be 15 + (0 + a/4)/(-1). Suppose 4 = -3*p + v. Solve 0 = -6*t + p*t - 6 for t.
-3
Let g(w) = 5 + 1516*w + 22 - 7 - 1513*w. Let n be g(-6). Let d be (-4*(-7)/n)/2. Solve d*v - 20 = 2*v for v.
4
Let t = 36 + 38. Let j = t - 63. Solve 4*r = -j + 31 for r.
5
Let q be ((-14)/(-10))/((-25)/(-125)). Solve -q*d + 11 = 46 for d.
-5
Let n(v) = -v**2 - 7*v + 2. Let x(m) = 6*m**2 + 35*m - 11. Let k(z) = 11*n(z) + 2*x(z). Let w = -8 + 15. Let t be k(w). Solve t*j + 4 = 4*j for j.
1
Suppose 356*i - 339*i - 1326 = 0. Solve i = 26*s - 0 for s.
3
Suppose 16*x = 11*x + 20. Let n be (-16)/(-32) + (-2)/x. Solve n*j = 4*j + 20 for j.
-5
Let t be 4 - 2*(-4)/8. Let z be (0 + 1)*(t + 2). Suppose -z*j - 75 = -12*j. Solve -j = 6*u - u for u.
-3
Suppose 0 = -l + 5*l - 48. Let a(c) = 42*c - 123. Let r be a(3). Solve -r*p = -0*p + l for p.
-4
Suppose t = n + 2, -5*n + n - 3*t + 27 = 0. Let x(z) = -3*z + 9. Let p be x(n). Let m be (-6)/10*(-1 + -4). Solve p = m*v - 5*v - 6 for v.
-3
Let c(w) = -7*w**2 + 5*w + 22. Let i be c(6). Let d = i - -205. Solve d*p = 7 + 3 for p.
2
Suppose 0 = -11*m - 235*m + 46494. Solve -m*w + 16 = -193*w for w.
-4
Suppose -30*p + 47*p + 1592 = 25*p. Solve p = -52*m - 61 for m.
-5
Suppose -7*i + 191 = -649. Solve -i*z = -119*z for z.
0
Suppose 3*x - 53 = -5*y + 7*x, -5*y = 4*x - 77. Suppose y = 2*z - d + 4*d, -4*d - 16 = -4*z. Solve -18 = v + z*v for v.
-3
Let q(z) = z**3 - 21*z**2 - 38*z + 12. Let r be q(22). Let b = r - -359. Solve 0 = 7*w - b - 16 for w.
5
Let a = 43 - 118. Let z = -55 - a. Solve 3*l = -7*l + z for l.
2
Suppose 2*l = -0*y - 5*y + 36, 2*y = 8. Suppose l*p + 13*p - 210 = 0. Solve p = -2*b + 2 for b.
-4
Let q(k) = -k + 16. Let a be (-4)/3*7/(14/12). Let l be q(a). Suppose -1 + l = 3*f - 5*b, 5*f - 2*b - 70 = 0. Solve f = 5*s - 9 for s.
5
Suppose 2*l + 2*q - 130 = 0, 4*l + q - 419 = -162. Let k be l/(8/1)*3/4. Solve -7*n + 5 = -k*n for n.
5
Suppose -11*j = -12*j, -2*d + 0*d - 4*j = -8. Suppose -t = 4*l - 36, t = 4*l - 49 + 13. Solve -d*g + 10 = -l*g for g.
-2
Let x be (-20 - (-390)/15) + 1*10. Solve -x*n - 512 = -80*n for n.
8
Suppose 3*q = -d + 5*d - 11677, 0 = -5*d + 4*q + 14596. Solve 9 = 2911*z - d*z for z.
-1
Let b = 967 - 1414. Let d = 455 + b. Solve p = -d + 4 for p.
-4
Suppose 34*r = 10*x + 36*r - 26, 5*x + 3*r = 9. Solve -x*q = -112 + 97 for q.
5
Let i(b) = -2*b - 64. Let k be i(-11). Let x = k - -54. Let v be 1/(-6) + (190/x)/5. Solve -5*u + v*u = 0 for u.
0
Let p(w) = -w**3 - w**2 + w - 135. Let h be p(0). Let j = h + 152. Suppose 0 = -2*g + 5*d + j + 6, 3*g = -d + 9. Solve 0*l = -g*l - 8 for l.
-2
Let d = 129 - 127. Suppose 60 = 5*c - 2*c. Suppose 4*t - c = -t. Solve d = -t*k + 18 for k.
4
Let v be 3/6*9/((-9)/22). Let x(g) be the second derivative of -g**3/2 - 27*g**2/2 + 2*g. Let s be x(v). Solve d = 4*d - s for d.
2
Let h be 18/12*20 + 15/3. Solve -h*z = -24*z + 22 for z.
-2
Let l(n) be the first derivative of n**3/3 - 2*n**2 + 3*n + 2. Let a be 72/27*3/2. Let y be l(a). Solve -2*x + y = x for x.
1
Let j = 1400 - 1393. Solve 19*d = -j*d - 26 for d.
-1
Suppose -3*f = f - 36. Let c = 144 - 139. Suppose 5*j - 6*j = -5*t - 21, -3*t + 21 = c*j. Solve 3*k = j*k + f for k.
-3
Suppose 75*q - 32*q = 0. Solve 31*z - 28*z + 18 = q for z.
-6
Let d(r) = r**2 - 7*r + 10. Let v be d(7). Let x = -1 + v. Let w be -1*(5 + -2 + -3). Solve x = -3*t - w for t.
-3
Let m(l) be the first derivative of 4*l**2 - 1/3*l**3 + 15 + 0*l. Let z be m(8). Solve z*g + 4*g = 0 for g.
0
Suppose -27*t + 68*t + 63*t - 1768 = 0. Solve 0 = 25*f - 67 + t for f.
2
Let t = 106 + 226. Solve 345*i - 65 = t*i for i.
5
Let d be (4/2 - -382) + -7. Suppose 13*r + 16*r - d = 0. Solve 0 = 2*y + r - 21 for y.
4
Let f = 778 - 660. Suppose -f = -2*t - 86. Solve 6 - t = -5*v for v.
2
Suppose 116*u - 1586 = 734. Solve 7*m + 3*m = u for m.
2
Suppose 10 = -5*i, 5*t + 17*i = 19*i + 779. Solve -t*z = -159*z for z.
0
Let y be 1/(21/(-12))*(-26 - -33). Let a be (1/y + 0)*140/(-7). Solve 6 = 7*o - a*o for o.
3
Let f = -49 + 54. Suppose -l + 5*r = 19, 6 = f*l - r - 19. Let d be 2/l - 35/(-21). Solve -5*s + d = -3 for s.
1
Let q be (2/(-1) - -4) + 13. Let f be (1/(1 - 2))/(q/(-30)). Solve -3*y + f = -4 for y.
2
Let a = 62 + -58. Suppose k = -2*k + 15. Suppose -5*c = -z - 1 - 32, 0 = -4*c + k*z + 39. Solve a = -2*n - c for n.
-5
Let b be (4/7)/(37/259). Suppose -11*j + 8*j + 6 = 0, -2*t = -j - b. Solve -1 = -2*p + t*p for p.
-1
Let n be ((-10)/(-16))/(36/1440). Suppose 0 = 2*x, n = i + 2*x + 15. Solve -16*c + i = -11*c for c.
2
Suppose -9*z + 14*z = 20. Suppose 0 = -3*s + i + i + 1, -i + z = 0. Solve 6*n - s = -27 for n.
-4
Let r(c) = -2*c**3 + 7*c**2 + 2*c + 13. Let d be r(4). Let w be (-174)/(d*(-2)/(-10)*-2). Let l = 88 - w. Solve l = f + 3 for f.
-2
Suppose -78*m - 11 = -10 - 1. Solve m = 16*k - 31*k + 105 for k.
7
Suppose -5*k - 40 = 5. Let g(c) = -c**2 - 10*c - 6. Let d be g(k). Let i = 3179 - 3175. Solve -2*s + i = -d*s for s.
-4
Let b(p) = -p**3 + 83*p**2 - 8*p + 684. Let w be b(83). Solve -18*s - w = -14*s for s.
-5
Let o(f) = f**2 - 22*f - 15. Let c be o(30). Solve -24*r - c = 21*r for r.
-5
Suppose 5*p - 4 = 2*i + 3*p, p = -2*i + 2. Let c(u) = -17 - 2*u - 2*u + 2 + i*u. Let s be c(-4). Solve -4*v - s = -9 for v.
2
Let h(d) = d**3 + 4 + 1 + 27*d**2 + d**3 + 7*d**2. Let r be h(-17). Solve -7*a - 6 = -r*a for a.
-3
Let w = 3417 + -3372. Solve w*m - 40*m = -20 for m.
-4
Suppose 0 = 5*c + 2*c. Suppose 3*f + z = 18, c = -3*f + 2*z - z + 12. Let r = 13 - f. Solve 5*s = 3*s - r for s.
-4
Let n = 38 - 15. Let c be (-30)/(-40) + 5/4. Let p be 18/3 + (c - 5). Solve -n = -5*g - p for g.
4
Suppose 22*w = 7413 - 7259. Solve -15*k + 68 + w = 0 for k.
5
Let m be 37/7 - 2/7. Suppose p = 3*k - 1, 4*k = -0*p + m*p + 16. Let n = 7 + p. Solve -7 = 5*x + n for x.
-2
Let c be (11 + -10)/((-3)/(-606)*-1). Let l = 203 + c. Solve -5 = -2*r + l for r.
3
Let n be 231 - (-17)/((-34)/16). Suppose 11 + n = 13*b. Solve 5*r - 11*r - b = 0 for r.
-3
Let x be 2*3/(1 - (-1)/(-7)). Let m(n) = -n**3 + 5*n**2 - n - 9. Let v be m(4). Let j(u) = 2*u**2 - 2*u + 6. Let y be j(v). Solve x = 5*g - y for g.
5
Let f(l) = l**2 + 12*l + 1. Let i be f(-17). Let h = 89 - i. Suppose 0 = h*j - 9*j. Solve j*b - 3*b = 0 for b.
0
Let z(f) be the first derivative of 