 -5 = -5*f. Solve 12*s = j + 3 for s.
1
Let f be (-2)/(-1)*11/((-44)/(-6)). Suppose -10 = -f*i - 2*i. Solve i*b = -1 - 1 for b.
-1
Let w = -85 - -106. Suppose 0 = w*h - 16*h - 25. Solve -h*i = -10 + 5 for i.
1
Suppose 14*f = 11*f + 15. Suppose -3*h + 2*y = -6 - 1, 0 = -5*h + 4*y + 9. Suppose 21 = 2*m + m + 3*q, 0 = -q + h. Solve f*p = -m + 17 for p.
3
Suppose 3*n = 5 + 4. Suppose -1 - 5 = -n*q. Solve 3*z = -q*z - 25 for z.
-5
Suppose v = 5*v + 8*v. Solve z + 6*z + 7 = v for z.
-1
Let x be (5 + 0 - -7)*(-2)/(-3). Solve 6 = -h + x for h.
2
Let c = -11 + 14. Suppose -c*i + 5*u + 75 = 0, -i - i + 55 = -5*u. Solve -4*p + 0*p + i = 0 for p.
5
Suppose -8*a + 486 = a. Let m be ((-8)/(-36))/(6/a). Solve -5*r = -m - 3 for r.
1
Let n(i) = -i**3 - 6*i**2 - i + 14. Let c be n(-5). Let d be 2/11 - c/(-33). Solve h - 3*h - 6 = d for h.
-3
Let t = 33 - 24. Let r be 3*(4 + (-30)/t). Solve r*s = -3*s for s.
0
Let h = -151 - -166. Suppose -3*n = 2*o + 12, n + 10*o = 5*o - 17. Let i be (n - -4) + -1 + 9. Solve i*s - h = 5*s for s.
3
Suppose -n = 4*n. Let g = 42 - 42. Suppose g = h, -h - 2*h + 18 = 3*b. Solve -3*r + r + b = n for r.
3
Let t be (-2)/(-4)*2 + (-28)/(-14). Solve -t*k = k - 4 for k.
1
Suppose -b - 179 = -3*t, 3*b = 4 - 1. Suppose v = -3*p + 39, 3*p - 4*v = 7*p - t. Solve p = -0*f + 4*f for f.
3
Let n = 26 + -21. Suppose 9 = 2*j + s, -8 = n*j + s - 26. Solve -j = -2*p + 3*p for p.
-3
Let f be 5/15*(-9)/(-1). Suppose -f*g = -3*q + 2*q - 5, 0 = -3*g - 4*q - 20. Let n be ((-1)/2*g)/(-2). Solve n*j = -4*j - 16 for j.
-4
Let v(a) = -a + 20. Let f be v(0). Let w(h) = h**3 + 6*h**2 - 8*h - 7. Let b be w(-7). Solve -2*q - 3*q + f = b for q.
4
Let p be -20 - (3 + 0/(-3)). Let i = -19 - p. Let y be 2/(-5) + (-84)/(-10). Solve -y = i*f - 0*f for f.
-2
Suppose -3*o = -5*g + 62, -3 = -3*g - 0. Let h(f) = -2*f - 7. Let c be h(5). Let m = c - o. Solve m*w = -0*w for w.
0
Suppose -5*h = 8*x - 10*x - 15, 0 = x + 2*h - 15. Let f be 2 + -2 + -3 + 6. Solve -x*m = f - 28 for m.
5
Let r = -769 - -785. Solve 7*s - r = 3*s for s.
4
Suppose -8*r - 37 - 83 = 0. Let m be (-1)/3 - 65/r. Solve -m*i + 16 = -4 for i.
5
Let w(k) = -7*k + 27. Let d be w(3). Solve -11*i + d*i - 25 = 0 for i.
-5
Suppose 3*w - 8*w - 110 = 0. Let h = w + 33. Solve 5*k + h = -4 for k.
-3
Suppose 3*b = 81 + 6. Let a = b + -25. Solve -a*d - 1 = -13 for d.
3
Let g(v) = 2*v**2 + 40*v + 46. Let q be g(-19). Solve -q*o + 3*o = 20 for o.
-4
Suppose 50*v - 40 = 110. Solve 7 = 10*r - v*r for r.
1
Let w(n) = 2*n**2 + 18*n + 2. Let j be w(-9). Solve 0 = -j*o - 7 + 13 for o.
3
Let q be (-10 + 25/2)*8/5. Solve -2*w = -4*w + q for w.
2
Let t = -17 + 18. Let w be -1 - t - 9/((-45)/10). Solve w*d = 2*d for d.
0
Suppose -19*m = -27*m + 16. Solve -t + m - 1 = 0 for t.
1
Let d = -21 + 37. Let f = 156 - 153. Suppose -7*q + d = -f*q. Solve 6*p - 2*p = q for p.
1
Let u = 2 + 19. Suppose 1183*w + 30 = 1189*w. Solve -w*m = u - 6 for m.
-3
Let q be -6 + -2*(-776)/16. Solve -12*n + q - 31 = 0 for n.
5
Let f = 506 - 498. Solve 12 = -f*j - 20 for j.
-4
Let n = 532 - 525. Solve 35 = -n*v - 0*v for v.
-5
Let d(y) = 3*y**2 - 15*y - 92. Let h be d(9). Solve 0 = 2*w - h + 26 for w.
-5
Let i(w) = -9 - 4*w + w**2 + 2*w + 3*w. Let l be i(3). Solve 9 = l*o + 3 for o.
2
Suppose 46 - 43 = 3*r. Solve -r + 5 = s for s.
4
Let q = 1304 + -1299. Solve r = 1 - q for r.
-4
Let j(u) = u**2 + 2*u - 3. Let a be 12/(-10)*25/10. Let c be j(a). Solve c*z + 6 = 3*z for z.
2
Let t(v) = 2*v + 14. Let a(u) = u**2 - 3*u - 2. Let j be a(4). Suppose -21 = 3*d + n - j*n, 2*n = 6. Let b be t(d). Solve -7 = -3*q + b for q.
3
Let n be (27 + -20)*(-12)/(-14). Suppose 0 = -4*k + n + 54. Suppose -11*b = -k*b. Solve 5*p + 15 = -b for p.
-3
Suppose -3*g - 2*o = -258, -5*o + 3*o + 170 = 2*g. Let k = 93 - g. Solve k*t + 8 = 3*t for t.
-4
Let j be 44/10 - 6/(-10). Suppose 4 = j*u - 6. Suppose 4*b - 2*v + 7 = 3*v, 0 = -4*b - u*v + 14. Solve x + 0 = b for x.
2
Let a be (3/(-2))/(3/(-8)). Suppose a*p = -4*u + 12, p - 6*p - 3*u + 13 = 0. Suppose 4*f = 2*h, -2*h = p*h + 5*f. Solve h = 4*l + 7 + 13 for l.
-5
Let n = -559 + 560. Solve -6*v = n - 7 for v.
1
Let t be (-3)/6 - (-1)/2*89. Suppose x = 5*x - t. Solve -5 = -3*n - x for n.
-2
Let i be ((-105)/(-20))/((-9)/(-24)). Solve i*u + 24 = 20*u for u.
4
Let q be 12 - (48/(-8))/(-6). Solve 0 = -q*y + 9*y + 4 for y.
2
Let h = -1143 + 1180. Solve -34*o - 6 = -h*o for o.
2
Let c(b) = 11*b - 162. Let k be c(15). Solve -13*j + k - 16 = 0 for j.
-1
Let f be (-2)/(-9 - -21) - (-182)/12. Solve f*q = 24*q for q.
0
Let d be (-7 + 5)/(1/3). Let m = d - -11. Suppose -24 = -z + 5*v, -2*v = -3*v - 4. Solve 3*q - m = z for q.
3
Let h(t) = -2*t**2 - 10*t - 4. Let y be h(-4). Let u(r) = 11*r - 39. Let k be u(y). Solve k*i + 4 = i for i.
-1
Let o be (-119)/(-6) - 7/(-84)*2. Solve 0 = -3*m + 7*m + o for m.
-5
Let y(c) be the first derivative of 3*c**2/2 - 27*c + 26. Let b be y(10). Solve -b*n = 2*n + 20 for n.
-4
Let t(p) = -p + 27. Let k be t(-5). Let z = k + -30. Solve 0 = -z*n - 17 + 7 for n.
-5
Let z be 10 + -15 + (5 - -3). Solve -15*m - 48 = -z*m for m.
-4
Let o = -2570 - -2581. Solve -6 - 5 = -o*d for d.
1
Let b = -59 + 62. Solve b*f + 4 = -f for f.
-1
Suppose -3 = -22*f + 21*f. Let g(w) = w + 3. Let c be g(-3). Solve v - f*v - 2 = c for v.
-1
Suppose -3*r = r - 36. Let i(s) = 2*s**3 - 69*s**2 - 121*s + 472. Let p be i(36). Solve r - p = -5*w for w.
-1
Suppose 6*z = -f + 3*z - 200, 4*f + 5*z = -800. Let r be f/6 - 2/(-6). Let u = -23 - r. Solve 5*m + u = -5 for m.
-3
Suppose y = 4*s + 21 + 2, 0 = -5*y - 3*s + 23. Suppose -3*m + y*m + 8 = 0. Let q be m/(-6) + 4/(-12). Solve k - 5 = -q*k for k.
5
Suppose p - 52 = -25*p. Solve 5 - p = -x for x.
-3
Let m(w) = -w**3 - 7*w**2 + 5*w - 19. Let o be -5*((-32)/40 - (-24)/10). Let p be m(o). Solve -p = -u - 3 for u.
2
Let i(f) = -5*f**3 + 5*f**2 - 23*f + 1. Let j(k) = -6*k**3 + 4*k**2 - 24*k + 2. Let h(u) = 5*i(u) - 4*j(u). Let y be h(5). Solve -y*v + 8 - 2 = 0 for v.
3
Let q(d) = -12 - 321*d**2 - 2*d - 3*d**3 + 2*d**3 + 314*d**2. Let a be q(-7). Suppose 2*h + 0*h = 4*w + 14, -3 = 3*h + a*w. Solve -2 = -t + h for t.
3
Suppose 23 = 4*t - 5. Let z be 10/(-4) - (-6)/4. Let n = z + t. Solve -n = -0*c - 3*c for c.
2
Let v = -68 - -29. Let t = v + 21. Let h = t + 21. Solve -5 = -h*w + 10 for w.
5
Suppose -5*k = 3*g - 47, -3*k = -k - 2*g - 22. Suppose -2*w = -q, 4*w + q - k = -4. Solve o - w = 2*o for o.
-1
Let d be (27/(-12))/((-42)/280). Let a(i) = 6*i**2 + 2*i - 1. Let j be a(1). Solve j*g = 2*g + d for g.
3
Let x(f) = f**2 + 8*f + 3. Let j be x(-8). Let v be (-32)/(-18) - 16/(-72). Solve v*o - j*o - 5 = 0 for o.
-5
Suppose -2*t + 6*t - 372 = 0. Suppose -t = 4*d - 3*w - 12, 5*d = -4*w - 78. Let x = d + 19. Solve -p = -2*p + x for p.
1
Let p = 24 + -28. Let f be 7 - (1 - (p + 3)). Solve -8 = f*i + 12 for i.
-4
Let i(j) = 16 + j - 2*j + 0*j. Let l be i(9). Solve 0 = 3*f - l*f - 16 for f.
-4
Let d = 8 + 2. Let k be (-8)/24 + d/3. Suppose k*m + h - 27 - 24 = 0, 4*m - 4*h = 68. Solve -m - 8 = 5*z for z.
-5
Suppose 0 = 2*v + 1 + 3. Let w = 14 - v. Let b = w + -13. Solve m + b*m = 20 for m.
5
Let n(c) = c**3 - c**2 - c - 7. Suppose -2*i - 3 = -2*o - 17, -4*i + 32 = -5*o. Let a be n(i). Solve 2*r = -0*r + a for r.
4
Let c(q) = q**2 - 2*q - 4. Let t be 18/6 - (1 - 2). Let x be c(t). Suppose 6*r = x*r + 20. Solve 5*l + r = -0 for l.
-2
Suppose 5*a = -5*f + 330, 4*f - 4*a - 10 - 270 = 0. Let l = -60 + f. Solve -4*z = -l - 8 for z.
4
Let r = 18 + 2. Let m be r/6 + (-3)/9. Solve -m*k - 2 + 5 = 0 for k.
1
Let j = 113 - 92. Solve 25 - j = -f for f.
-4
Suppose w - 3*w + 7 = -5*g, -5*w = 4*g - 1. Suppose 0 = -4*d + 7 + w. Let r(k) = -k + 4. Let p be r(d). Solve 0 = -4*j - p - 6 for j.
-2
Suppose 2*c = -8*c + 970. Let z = -89 + c. Solve -o = -5*o - z for o.
-2
Let r be (-3)/2*928/(-174). Solve -5*x - r - 17 = 0 for x.
-5
Let h(a) = 2*a**2 + 10*a. Let w be h(0). Solve -2*c - 9 + 9 = w for c.
0
Let m(v) = 32*v - 81. Let f be m(3). Solve 22*a - f = 27*a for a.
-3
Suppose -10 = -z - 17. Let g be (600/(-21))/(-2) + 2/z. Suppose 6*p = -4*x + 3*p + 16, 4*p = 0. Solve g = x*n + 6 for n.
2
Let q(d) = -12*d + 28. Let o be q(2). Solve m - o = 5*m for m.
-1
Let m = 43 - 27. Solve -11*c = -m*c + 20 for c.
4
Let o(j) = -3*j - 2. Let r(b) 