 - 30 = 3*s + 5*f. Let p be c(s). Let u = p + -65. Solve -2 = -u*z + 5*z for z.
-1
Suppose 637 = 77*o + 252. Solve -o*m = 10*m - 30 for m.
2
Suppose 4*y = -o + 55, 5*y + o - 3 - 66 = 0. Suppose 48 = -y*d + 17*d. Solve 4*q - d = -4 for q.
3
Let m be 45/(-30)*16/(-6). Suppose -m*t + 18 = -48*y + 50*y, 2 = -2*y. Solve -t*l = l for l.
0
Suppose 2 = -2*f - 2*u, 19 - 9 = -2*u. Solve 0 = -f*w + 5*w + 1 for w.
-1
Let a = 12947 - 12739. Solve -a*q = -209*q - 4 for q.
-4
Let q(y) = 2*y**2 + y. Let m be q(2). Let i(v) = -v**3 + 53*v**2 - 238*v - 86. Let c be i(48). Solve c + m = 4*p for p.
5
Let g(f) = -f**2 + 17*f - 55. Let b be g(5). Suppose b*d + t = 37, -55 = -10*d + 5*d + 5*t. Solve 12*a - 4 = d*a for a.
1
Let l(d) = -3*d**3 + d**2 - 1. Let x be l(-2). Let v = 209 + -211. Let h = x - v. Solve -h + 4 = 5*i for i.
-5
Suppose x + 28 = 4. Let d be -28*1*(-18)/x. Let a be (2/3)/((-7)/d). Solve o = 3*o + a for o.
-1
Let j = -126 - -108. Let z be (-874)/207 + (-4)/j - -9. Solve -z*g + 4 = -9*g for g.
-1
Let k be -32 - 247/(-19) - -20. Solve 0 = -10*m + 69 + k for m.
7
Suppose -w + 0*w + 19 = -3*b, 5*w - 40 = 4*b. Let f(y) = -y**3 + 5*y**2 - y - 8. Let p be f(w). Suppose 4*v - 2*v - p = 0. Solve 0 = o + v*o - 15 for o.
5
Let h(i) = -6*i**2 - 232*i + 126. Let z be h(-39). Solve -7*y = -z*y for y.
0
Suppose -7802 = -25*i - 5802. Solve i = 150*u - 160*u for u.
-8
Suppose 0 = -2*h - 7*h + 9. Let u be 2/(-4)*(h + -7). Let f be u/(12/16 - 0). Solve 4*v - f + 0 = 0 for v.
1
Let y = -551 - -719. Suppose 11*d - y = -17*d. Solve 35*l = 33*l + d for l.
3
Suppose 5*p + 4*b = -b + 1660, 1648 = 5*p - b. Let m = -329 + p. Solve -3 + m = -2*x for x.
1
Let q(i) = -i**2 + 2*i. Let f be q(2). Let t(u) = -3*u**3 - 3*u**2 - 10*u - 9. Let r be t(-4). Let g be r/63 + 14/63. Solve f = -n + g*n + 8 for n.
-4
Suppose 799 + 17 = 12*s. Suppose 16*j - 12 = s. Solve 25 = -0*h + j*h for h.
5
Let b(o) = 7*o**2 - 32*o - 83. Let t(x) = 3*x**2 - 16*x - 41. Let g(i) = 2*b(i) - 5*t(i). Let y be g(18). Solve -2*r + y = -3 for r.
3
Suppose 0*g - 5*g = 4*j - 10, 25 = 5*j. Let w be 0 - (g + 2 + 0). Let q(c) = -2*c**2 - 103*c - 135. Let n be q(-50). Solve -5*y + w + n = 0 for y.
3
Let n(o) = -o**3 - 2*o**2 + 9*o + 4. Let l be n(-4). Suppose l = z - z + 7*z. Suppose z - 3 = -j. Solve 2*y = j*y + 4 for y.
-4
Suppose 1639 = 7*j - 18*j. Let f = j + 173. Solve 0 = 5*a + f + 1 for a.
-5
Let b be 5/30*2 - (-52)/(-36)*-69. Solve 3*o - b + 112 = 0 for o.
-4
Suppose 3*s + 5*y + 6 - 13 = 0, 5*y = 2*s - 13. Solve s*j + 2866 = 2866 for j.
0
Let v = 153 + -148. Suppose -1 = v*l - z, -7*z = -5*l - 5*z - 2. Solve l = h - 1 for h.
1
Suppose 2*v = 6*v - 8. Let y = 95 + -90. Suppose -16 = -7*o + y. Solve o*c = -v + 8 for c.
2
Let o = 685 - 959. Let w = o + 386. Let z be 12/14*w/24. Solve z*y + 3 + 1 = 0 for y.
-1
Let b(k) = -k**3 + 9*k**2 - 8*k - 20. Let u be b(4). Solve -43*q + u*q + 60 = 0 for q.
4
Suppose 19*y + 6*y = 3*y. Solve y = -18*p + 35 + 1 for p.
2
Let g = -316 + 213. Let u = -53 - g. Suppose 5*a = 4*c + u, c + 13 = a + 2. Solve -4*j + a = 2 for j.
1
Let u = 51 + -22. Suppose 5*p - 4*d = u, 11 = 2*p + 5*d - 6*d. Solve -p*t - 8 = -3*t for t.
-4
Let v(f) = -2*f**3 - 54*f**2 - 43*f + 76. Let r(j) = j**3 + 27*j**2 + 22*j - 39. Let p(q) = 5*r(q) + 2*v(q). Let s be p(-26). Solve y + 6 = s for y.
3
Let r = 69 + -72. Let y be r/((-60)/(-32))*5/(-2). Let t = 10 + 4. Solve -y*x = -2 + t for x.
-3
Suppose 2*h - p = 10, 0*h + 2*p = 2*h - 10. Suppose 0 = -3*a + 3, -h*q + 0*a - 4*a = -9. Suppose 195*m + 62 = 226*m. Solve -m*u - 3 = q for u.
-2
Let s(r) = 3*r**2 - r - 2. Let t = -228 - -227. Let z be s(t). Solve -z*p + 5 = 3*p for p.
1
Let c(j) = 40*j - 355. Let z be c(9). Suppose 0 = 4*u + 20, -5*v + 34 = -2*v - 5*u. Solve -v*f - 2 = -z*f for f.
1
Let r(w) be the second derivative of -w**4/6 + 19*w**3/2 + 16*w**2 + 93*w. Let z be r(29). Solve -4*n - z = -n for n.
-1
Let t be 20/6*3/2. Let q(k) = -16*k - 1 + 2*k + 4*k + 4*k + 2*k + k**2. Let v be q(t). Solve -7 - 5 = v*j for j.
-3
Suppose 2738 = 404*w - 26754. Solve w*u = -3 + 441 for u.
6
Let h be ((-6)/(-14))/(2/7) + 63450/42300. Let q = -1 + 2. Suppose -3*y + 6 = -2*m - q, -2*m - 4*y + 28 = 0. Solve m = -h*a - a for a.
-1
Let i be (86040/(-81))/(-10) - 4/18. Solve 6*o - i + 112 = 0 for o.
-1
Let u(c) = -c**3 + c**2 + 9*c - 5. Let r be u(3). Suppose -4*j = 4*d - d - 4, 5*j + 4*d = r. Solve 3*n - 11 = j for n.
5
Let v(m) = -m**2 - 14*m - 14. Let u be v(-11). Suppose 2*t - u = -5*j, -5*j + 7 = -2*t - 4. Suppose b = -t*b + 12. Solve 8 = b*g + 24 for g.
-4
Let b = 9103 + -9089. Solve 0 = 13*y + b*y - 27 for y.
1
Let t(i) = i**2 - 5*i + 8. Let j be t(4). Suppose -u - h = -j*u + 16, 2*h = -4*u + 38. Solve -u*r = -4*r + 3 for r.
-1
Suppose 2*l + 6*l - 12 = 6*l. Solve 2*o = -0*o + l for o.
3
Let t = 145 + -125. Let l be t - ((-2 - -1) + 5). Solve -a + 5*a = -l for a.
-4
Suppose 0 = -26*x + 28*x + 180. Let i be 9/12 - -2*x/(-16). Solve i*l - 10*l = -6 for l.
-3
Let z(g) = -6*g**2 + 2*g + 4. Let l(j) = 7*j**2 - j - 3. Let v = -31 - -27. Let i(d) = v*z(d) - 3*l(d). Let r be i(3). Solve 0 = 3*m - 4*m + r for m.
5
Let f be (78/5)/((224/35)/16). Suppose -f - 153 = -12*n. Solve -12*x + n*x - 20 = 0 for x.
5
Suppose -p + 4*p + 2*g + 10 = 0, 15 = -3*g. Suppose 9*c + 9*c - 144 = p. Solve -12*b = -16*b - c for b.
-2
Suppose 34 = -2*s + 8. Let f = 13 + s. Let k(y) = -12*y + 3. Let j be k(-1). Solve f = 4*w + w - j for w.
3
Let s(a) be the first derivative of -a**3/3 - 11*a**2/2 + 107*a - 70. Let w be s(-17). Solve 2*j - 3*j = -w for j.
5
Let b(h) = h**3 + 12*h**2 + 8*h - 28. Suppose 0 = k - 4*c - 10 + 9, -4*k + 3*c - 35 = 0. Let p be b(k). Solve a - p + 5 = 0 for a.
0
Suppose 155*c - 156*c + 2 = 0. Solve c*r + 36 = -7*r for r.
-4
Let n = 573 + -289. Let d = -281 + n. Solve -h + d = 1 for h.
2
Let z = 2315 - 2313. Solve 41*u - 6*u = -z*u for u.
0
Let q(r) = 96*r + 46. Let t be q(-3). Let p = 248 + t. Solve -f - 2 = -p for f.
4
Suppose -25*d + 85 = -8*d. Solve 5*z + d - 15 = 0 for z.
2
Let r be (-36*(-10)/(-160))/(0 + (-3)/32). Solve -87 = 5*k + r*k for k.
-3
Suppose 3*k - 27 = -0*g - 5*g, -5*k + 32 = 4*g. Suppose 2*s - 3 = -s, -35 = -5*r - 5*s. Suppose -r*m - 2*m + 8 = 0. Solve -2*a + m = g for a.
-1
Let h(s) = 3*s**3 + 9*s**2 + 24*s + 2. Let c be h(-7). Let t = 754 + c. Solve -3*q - 6 = -t for q.
-2
Let d be 24 - ((1144/10)/22 + 12/(-10)). Solve -d*f + 42 = 82 for f.
-2
Let t(i) = 11*i + 61. Let u be t(-5). Suppose 50 = u*h + 4*h. Solve 0 = -h*y + y + 20 for y.
5
Suppose w - 3*m - 11 = 14, 2*m = -3*w + 119. Let c = w + -33. Suppose -3*s + 0*d = -d - 2, 0 = s + 2*d + c. Solve -3*x + s*x - 6 = 0 for x.
-2
Suppose -284*v + 6612 = -255*v. Solve 0 = -2*d + 214 - v for d.
-7
Let s(w) = 3*w - 101. Let g(h) = 5*h + 120. Let a be g(-17). Let u be s(a). Solve -u = 10*n - 6*n for n.
-1
Let y = -54 - -65. Let k(s) = -2*s + 31. Let w be k(y). Solve 0 = -3*l - 0*l - w for l.
-3
Suppose 139*w - 5528 = 727. Solve 0 = 11*f + 4*f + w for f.
-3
Let b be 29 + 7 - (-3 - 0/1). Let d = b + -41. Let n be (2 - (3 + -3)) + (d - -12). Solve 5 = -7*s + n*s for s.
1
Let c = 229 + -256. Let v = c - -56. Solve 9 = -4*z + v for z.
5
Suppose 4*i - c - 6 = c, -2*c = -i. Suppose -n - 6 = -2*b, -i*n + n - b + 9 = 0. Solve n*d + 6 = d for d.
-2
Let b = 6834 - 6832. Solve -190*h = -189*h + b for h.
-2
Let w be ((-14)/3 + 6)*69/(-1). Let x = -88 - w. Suppose 0 = -x*p + 2*k + 10, 3*p + 3*k + 6 = -0*p. Solve -2*t - p = 3 for t.
-2
Let n = -100 + -600. Let z = n + 702. Solve -z*s = 7 + 1 for s.
-4
Let t be (-10)/25*-10 - 5 - -18. Solve 14*p - t*p - 6 = 0 for p.
-2
Let o be -5 - (-1*123/6 + (-3)/(-6)). Solve 25 = -10*z + o for z.
-1
Suppose 340 = -4*p - p. Let r = p - -72. Suppose r*y = -y + 4*y. Solve 0 = -y*g - 3*g + 3 for g.
1
Let g(x) = x**3 + 11*x**2 - 16*x - 18. Let i be g(-12). Let k = 19 - i. Let z = k + 12. Solve -z = 2*y - 3 for y.
1
Let l = 4550 + -4538. Solve 8 - l = 4*k for k.
-1
Let s be 2*(-2)/4*(64 - 69). Solve s*y + 6 - 11 = 0 for y.
1
Let q(j) = -36*j + 167. Let x be q(5). Let f(d) = -d**2 - 20*d - 88. Let s be f(x). Solve -5*a = -4*a - s for a.
3
Suppose 32060 = -1145*f + 1180*f. Solve -912*i + f*i = -28 for i.
-7
Let t be 14/84 - 119/(-6). Suppose -t*v - 5 = -25*v. Let u be (-13 - -13)/(v/1). Solve u = 5*q