 Let s be (-1 - -3)/(-7 + 5). Let c be o(s). Suppose 5*a = c + 20. Solve 0 = -a*f - 25 for f.
-5
Let y(o) be the second derivative of -o**4/12 + 7*o**3/6 - 2*o**2 - o. Suppose -523 = -4*w - 499. Let s be y(w). Solve -4*u + 6 = s for u.
1
Suppose -8*o = -19 - 61. Solve -3*g - o = -4 for g.
-2
Let v be ((-3)/(-3))/(-3 + 2 + 2). Suppose -i + 4*t = 3 - 7, -t = v. Solve 2*q + 3*q - 5 = i for q.
1
Let b = -10136 + 10139. Let o be (4/10)/((-3)/(-60)). Solve b*h + o = h for h.
-4
Suppose -95*c + 100*c = 80. Solve c*y + 30 + 18 = 0 for y.
-3
Let c = -650 + 657. Solve -12*s = 17 + c for s.
-2
Let a = 52 - 32. Let q be a/7 - -3*7/147. Solve -r = -q*r for r.
0
Let b = 107 + -79. Let s be (-8)/b + 46/14. Solve 2*j - 4 = s*j for j.
-4
Let p = -479 + 491. Solve 0*l + p = -4*l for l.
-3
Let v = 0 - -1. Let b be (-4 + -6)*2/(-5). Solve -v = -m - b for m.
-3
Suppose 3*n - 8*n - 20 = 0. Let w be (-3)/(-1) + 6 + n. Solve -w*q + 1 = -4 for q.
1
Let m be 1 + (1 - 2 - 1). Let w(f) = 34*f**3 - 3*f**2 + 2. Let x be w(m). Let z = x + 37. Solve -2*b - z = 4 for b.
-3
Let w be (16/2)/(0 + 2). Suppose 0 = 5*a + 10, -3 = 3*h + 5*a + w. Solve 0 = 2*c + h - 7 for c.
3
Let k = -1178 - -1182. Solve 6*l - 4 = -k for l.
0
Suppose -q + 48 = 3*k, 0*k - 3*k + 2*q = -48. Let u be k/56 - 52/(-14). Solve w + 0 + u = 0 for w.
-4
Let i be 1022/63 + 2/(-9). Suppose 2 = -7*o + i. Solve -3 - 7 = o*l for l.
-5
Suppose -65*r + 45*r = -40. Solve r*k = 15 - 15 for k.
0
Suppose 9*p + 8*w = 13*p + 12, -3*w = -15. Solve -40 = p*l - 17*l for l.
4
Let n be (-10)/12*-3*(-20)/(-25). Solve 3 + 5 = -n*m for m.
-4
Let s be (22/(-3) + 7)*72/(-2). Solve 10*v = s*v + 4 for v.
-2
Let q be -4 + 18/5 - 43/5. Let f = -5 - q. Solve -2*z + f*z = -2 for z.
-1
Suppose 236 - 12 = 8*x. Solve j + x = -6*j for j.
-4
Suppose 1050 = 41*k + 34*k. Solve -k + 18 = -x for x.
-4
Let h = 99 - 38. Solve -56*u = -h*u + 20 for u.
4
Let s be ((-27)/24)/((-136)/64 + 2). Solve -s*j = -5*j - 8 for j.
2
Let f = 35 - 35. Suppose f*u - 75 = -5*u. Let g be 18/u*45/9. Solve 2*b - g = -b for b.
2
Suppose -139*d - 70 = -144*d. Solve d*y - 1 = -29 for y.
-2
Let f(a) = -348*a + 1743. Let y be f(5). Let i(r) = -r**3 + 3*r**2 + 4*r + 4. Suppose -4*d = 2 - 18. Let s be i(d). Solve 3*w = s*w + y for w.
-3
Let m be 24/36 - (-2)/6. Suppose -3*c - c = -16. Suppose c*d + 8 = 24. Solve d*j + 21 - m = 0 for j.
-5
Suppose 0 = -3*v + 42 - 33. Let b(f) = -f**2 - 6*f - 5. Let h be b(-5). Solve h = -2*g + v*g for g.
0
Let b = 269 + -267. Solve 4 = b*q - 6*q for q.
-1
Let t be (-79 - -80)*(7 + -1). Solve 2*k + t - 14 = 0 for k.
4
Let x = 1554 + -1535. Solve -64 = x*c - 3*c for c.
-4
Let a be ((-22)/8)/((-2)/24). Let p = 48 - a. Let z be p/(-1)*(-1)/3. Solve d - z = -1 for d.
4
Suppose -b - 4*c = -0*c - 12, -4*b - 3*c = -9. Suppose -3*d - 5*x + 32 = b, -3*d + 47 = x + x. Suppose 4*s - t = d, 3*s - 11 = s - t. Solve 9 = -s*u - 1 for u.
-2
Let i be (-2)/7 + 58/7. Let k be -1 + i/36 + (-21)/(-27). Solve k = -4*x + x - 3 for x.
-1
Let t = 248 + -195. Solve 0 = -54*d + t*d - 1 for d.
-1
Suppose -183 = -24*u + 225. Solve 7*y - u*y - 10 = 0 for y.
-1
Let u(c) = c**2 - c + 5. Let l be u(0). Suppose 0 = -l*x - 35. Let j(d) = d**2 + 6*d - 6. Let q be j(x). Solve y - 4 = -q for y.
3
Let t(z) = -2*z**3 - 11*z**2 + 6*z + 8. Let p be t(-6). Suppose 19*w - 17*w - p = 0. Solve -5 = -w*a - 1 for a.
1
Suppose 245 - 160 = 17*b. Solve -b*r = 1 - 6 for r.
1
Let x be (280/(-30))/(-14) + 1/3. Solve 3*j = x + 8 for j.
3
Suppose -6*u = -7 - 23. Solve -5*d + u = -10*d for d.
-1
Let q = -28 + 37. Suppose 5*g - 8*g = -q. Solve -4*r - g = -3*r for r.
-3
Let i be (-2145)/52 - 3/4. Let m = i - -42. Solve m = -v - 0*v - 4 for v.
-4
Let t = 146 - 143. Solve 35 = 10*l - t*l for l.
5
Suppose -5*q = -5*i + 180, 2*i + 5*q = -i + 68. Let n(g) = g**3 + 27*g**2 - 29*g - 56. Let b be n(-28). Let d = i + b. Solve d*s + 8 = -s for s.
-2
Suppose -4*z = -4*v + 8, 8*z = 5*z - 3*v + 6. Solve z = -5*a + 25 for a.
5
Let w(g) = g**3 + 10*g**2 + g + 8. Let z be w(-10). Let q(f) = -5*f. Let k be q(z). Suppose -k - 6 = -4*d. Solve 2*v = d*v for v.
0
Let h = -99 - -187. Let u = -82 + h. Solve 5*x - u = 4 for x.
2
Let n be ((-6)/5)/(2/(-10)). Let m be n/21 + 556/14. Suppose -3*y + m = y. Solve -5*c + 30 = y for c.
4
Let f(g) = -52*g - 250. Let v be f(-5). Solve -2*n + 8 = v for n.
-1
Let i = 538 + -508. Solve -q - i = -35 for q.
5
Let a(m) = -3*m**2 - 19*m + 4. Let d be a(-6). Solve -d = -4*y + 6 for y.
4
Let f(o) = -o**3 + 3*o**2 + 9*o + 8. Let t = 36 + -31. Let q be f(t). Solve -q = p + 2*p for p.
-1
Suppose -p = p - 208. Suppose 4*a + 25 = -5*c + p, -3*c - 2*a + 47 = 0. Solve -r - 2*r = c for r.
-5
Let a(c) = -2*c + 41. Let p be a(8). Let y = p + -5. Solve 0 = 2*w + 2*w + y for w.
-5
Let w be (-7 + (-26)/(-4))/(2/(-12)). Suppose s = 2*f - 6, -3*f + 11 - 2 = w*s. Solve 5*c + s = -5 for c.
-1
Let a be 28/(-35)*(-25)/10. Suppose i + 10 = -3*b, -4*b - 10 + 2 = 4*i. Solve 4*n = i*n + a for n.
1
Suppose n + 0*n - 2 = 0. Suppose -2*q = 5*r + 9, 7*r - 11*r = 12. Solve -w + q*w = -n for w.
-1
Let g(h) = h**3 - 9*h**2 + 12*h + 10. Let v be g(7). Let r be 1 + (-13)/(-11) + v/22. Solve 6 = r*c + 4 for c.
1
Let o(m) = 4*m + 1. Let l be o(1). Suppose 0 = -3*u + 3*t + t + 33, -l*u = 5*t - 20. Suppose u*f = 4*f + 45. Solve -2*p + 5 = f for p.
-5
Suppose h + 0*h = 30. Suppose 0 = 5*q - h - 5. Solve q*l - 2*l - 20 = 0 for l.
4
Let q be 1/(-2)*0/((-30)/6). Suppose -5*t = -5*o, 5*t - 2*o + 4*o - 14 = q. Solve t*b = -2*b for b.
0
Let y be (5/(-1))/((-10)/(-200)*-25). Solve 5*m + 45 = -y*m for m.
-5
Suppose 0 = -12*u - 19*u + 93. Solve 0 = u*f - f for f.
0
Suppose -5*h - q = -91 - 230, 67 = h + 3*q. Solve 14*w + h + 6 = 0 for w.
-5
Suppose 3*d + 3*w = 0, 2*d + 9*w - 30 = 13*w. Solve -d = -2*u + 3*u for u.
-5
Let y(u) = -u**3 - 10*u**2 + u + 13. Let t be y(-10). Suppose -3*o = 2*o - t*o. Solve -6*b + b = o for b.
0
Let h(x) = 2*x + 11. Let o be h(-2). Suppose -o*c + 6*c + 3 = 0. Solve 6*r - c*r = 0 for r.
0
Let c = -189 + 202. Solve 12*k - 2 = c*k for k.
-2
Let f = 244 - 237. Suppose 0*k - 128 = 2*k. Let z = k - -91. Solve 4*q + f = z for q.
5
Let q(y) = -y**3 - 5*y**2 - y - 3. Let r be q(-6). Let z = r + -31. Let u be 4 + 0*(-1)/(-3). Solve -u*f = -z*f - 8 for f.
-2
Suppose -5*n + n - 104 = 0. Let v = n - -28. Solve 0 = -2*m + 4 - v for m.
1
Let k(v) = v**3 - 26*v**2 - 20*v - 169. Let q be k(27). Solve 2*a + q = 6*a for a.
5
Let i = -4 + 5. Suppose 4*d + 17 = i, 5*r - 2*d - 23 = 0. Solve -r = -4*x - 11 for x.
-2
Suppose -4*i + 4*y = -43 + 11, 4*i - 8 = -2*y. Solve 0 = 5*w + i + 1 for w.
-1
Suppose 0 = -3*o - 65 + 263. Let r = o - 59. Solve -5 = 3*u + r for u.
-4
Let z be -4 + (-4)/(-2) + -33. Suppose -3*q + 106 - 1336 = 0. Let p be q/z - 2/(-7). Solve p = 4*x + 4 for x.
2
Let q = -236 - -241. Suppose -5 = -2*a + 1. Solve a*p - q = 7 for p.
4
Suppose -11*p = p - 24. Let d be (1/(-2))/(0 - p/20). Solve 5 = -d*b - 20 for b.
-5
Suppose 2*q + 3 - 9 = 0. Suppose 5*j - 32 = 3*n, -q*j - 4*n + 3*n = -8. Solve 0*a = -4*a + j for a.
1
Let r = 56 - 44. Suppose 0 = h - 2*h + r. Solve -4*g = -0*g - h for g.
3
Let l = 3703 + -3701. Suppose -5*f - 3*h + 1 = -13, f = 3*h + 10. Solve 0 = -l*n + f + 6 for n.
5
Let i = 833 - 826. Solve -11*j - i*j - 90 = 0 for j.
-5
Suppose -7*b = -34 - 260. Solve 0 = -b*f + 38*f for f.
0
Suppose -16*l = -17*l - 38. Let o = l - -48. Solve -4*n - n + o = 0 for n.
2
Suppose 3*l + 0*l + 6 = s, 4*l + 8 = 0. Let a be (-18)/22 - -1 - 225/(-33). Let f = a + s. Solve -1 = -3*j - f for j.
-2
Suppose 5 = p + 2*l + 12, -5*p + l + 20 = 0. Suppose p = 5*i - i + q, 9 = 5*i - 4*q. Solve -2 + i = -x for x.
1
Let y = 81 + -54. Solve -c = -y + 25 for c.
2
Let m(i) = -i**2 + 10*i + 13. Let c be m(11). Let u = 7 + c. Suppose 0 = -2*y + y + u. Solve 4*a + 1 = y for a.
2
Let f(u) = u**3 + 4*u**2 - 7*u - 6. Let m be f(-5). Let n be ((-18)/(-20)*6/9)/((-1599)/(-13325)). Solve -m*z = n - 13 for z.
2
Let n = -283 - -285. Solve -8*w = -n*w + 24 for w.
-4
Let y(z) = 12*z**3 + 6*z**2 - 6*z - 1. Let r be y(1). Solve -25 = r*k - 3 for k.
-2
Let s(o) = o**2 + 8*o + 15. Let f be s(-9). Solve -25*i + 2 = -f*i for i.
2
Suppose 0 = -4*d + 20, -4*m + 0*d - 119 = -3*d. Let h = m + 27. Solve 0 = -5*r - h + 16 for r.
3
Let f(s) = -11*s + 59. Let z(c) 