 14 = -s for c.
4
Let r(o) = o - 1. Let c(m) = 4*m - 6. Let f(t) = -c(t) + 3*r(t). Let k be f(0). Suppose 16*s - 14 - 66 = 0. Solve -2*u + k = -s for u.
4
Let o(z) = z**3 - 35*z**2 + 35*z - 17. Let m be o(34). Solve 24*w - 41 = -m*w for w.
1
Let l(f) = -f - 19. Let m be l(-15). Let p be m*2*7/(5 - 12). Solve 5*u = 3 - p for u.
-1
Let u = 4043 + -4041. Solve 2*w = -u*w + 8 for w.
2
Suppose 10 = 2*s - 3*o + 2, -4*o = s + 7. Let y = 3 + s. Let c be 165/1320 - 39/(-8). Solve y*u + c = -7 for u.
-3
Let i = 127 + -143. Let j(p) = -5*p - 80. Let h be j(i). Solve -9*g = -h + 9 for g.
-1
Let c(x) = 20 + 506*x - 520*x + 53. Let h be c(5). Solve 8 = s - h*s for s.
-4
Let r(g) = 9*g**2 - 19*g - 22*g**2 + 50*g**2 + 6 + 2*g**3 + 5. Let m be r(-19). Solve -m = 5*d + 14 for d.
-5
Suppose 1260 = -150987*h + 151023*h. Let m = 19 + 17. Solve m*i + 5 = h*i for i.
-5
Suppose -3*j + 4 = -3*a - a, j + 1 = -a. Suppose 863*m = 839*m - 144. Let c be 0/(3/(j + 3)) - m. Solve c = l + l for l.
3
Suppose -80 = -5*s + 5*t, -2*s + 58*t - 60*t + 8 = 0. Solve -10*w + 0 = s for w.
-1
Let k(j) = -31*j + 109. Let f be k(3). Suppose -3*z + 15 = 4*w, 5*z + 8 = -w + f. Solve -5*o - 24 = z for o.
-5
Suppose -3*q + 17*v = 21*v - 572, 0 = v + 4. Solve -186*a = -q*a + 30 for a.
3
Suppose 9*i - 16 - 272 = 0. Suppose -7*n = -15*n + i. Solve -n*k = -k - 15 for k.
5
Suppose 1712 = 31*b + 454 - 819. Solve 6*j = -b + 91 for j.
4
Suppose -237 + 109 = -12*w + 736. Solve -5*x = 19*x - w for x.
3
Let k(l) = -l**2 - 12*l - 25. Let a be k(-9). Suppose -10 = o - 9, 2*y + a = -2*o. Solve -4*g + 8*g - 16 = y for g.
4
Suppose 0 = -r + 4 - 1. Let f(h) = -h**2 - 12*h - 26. Let m be f(-9). Suppose -4*n + 19 = 3. Solve -r*u - m = -n for u.
1
Suppose 0 = -0*g + g + 1, -4*a + 2*g = 18. Let l be a/(-15) - (-28)/6. Suppose z - l = -0*f + f, 0 = -3*z - 2*f. Solve 0 = -0*s + 2*s - z for s.
1
Let n = 34 + -19. Suppose n = 5*g - 10, 5*p - 35 = -2*g. Let l = 170 + -166. Solve p*z = -19 + l for z.
-3
Let p be 72/(-8) + 16 - 5. Solve -p*g + 71 = 79 for g.
-4
Let z(v) = -3*v**3 + 64*v**2 - 286*v + 7. Let g be z(7). Solve 0 = 21*s - 91 + g for s.
-1
Let c be ((-5)/(-7) - (-28)/(-196))*112. Solve 6*r + 10*r = -c for r.
-4
Let v(f) = -5*f**2 + 3 + 0 - 8*f + f**3 + 2*f + 0*f. Let j be v(6). Suppose -3*n + 1 = p - 2*n, 3*p - 24 = 4*n. Solve 8 + p = -j*q for q.
-4
Suppose 0*f = 2*f. Suppose 0 = 5*p + 20, 0 = -5*h - f*p - p + 61. Let v = h + -9. Solve -g + v*g = -3 for g.
-1
Let t be (-12)/(-30) + (-236)/(-10) + 1. Suppose t*y - 61 = 39. Solve y*l - 2*l = 0 for l.
0
Let a = -3491 - -3550. Solve 9 = 68*t - a*t for t.
1
Let j = -324 - 327. Let v = j + 676. Solve 0 = -13*x + 8*x + v for x.
5
Let j be (-9)/((2261/(-14))/(-19) + -9). Solve 15 = 33*w - j*w for w.
1
Suppose 51*o - 15717 = -0*o + 399. Solve -8*h + o = 356 for h.
-5
Let q be (3 - (-4)/(-8))/((-15)/(-36)). Suppose -k = q*k - 7. Solve 5*c + 6 = k for c.
-1
Let t(y) = 3*y**2 - 5*y + 3. Let q be t(-3). Suppose -87*r + 78*r = -q. Solve 0*d - r = d for d.
-5
Suppose f - n - 6 = 0, -5*f + 4*n = 5*n - 30. Suppose 15 = 3*w - 6. Solve 5 = -f*p + w*p for p.
5
Suppose 2*b = -13*i + 69, 42 = -5*b + 6*b + 4*i. Solve 0 = b*h - 8*h + 276 for h.
-6
Suppose -6*a + 4*a + 15 = -5*x, a - 3*x = 9. Let m be (-5)/(0 - 2/6). Let w be (-3)/m*a*(-2)/8. Solve w = 3*y + 2*y for y.
0
Let o = -4001 - -5514. Solve o*v = 1519*v + 30 for v.
-5
Suppose -4*d - d = 3*p + 284, -4*p = 2*d + 360. Let l = p + 90. Solve x + l = -x for x.
-1
Let k be (0 + (-4 - 1 - -3))*-5. Let z be 36/(-3)*(-5 - 5)/k. Solve z = -4*u + 20 for u.
2
Let c(x) = -3*x**2 + 24*x - 18. Let n be c(7). Suppose 28 = 2*h - 8*v + 4*v, 2*v = n*h - 22. Solve -5*k + k = -h for k.
1
Let g(p) = -14*p - 3. Let y be g(-5). Suppose -166*z = -173*z - 455. Let o = y + z. Solve -2*j - o = -j for j.
-2
Suppose 0*s - 5*a = 4*s - 73, -2*s - 3*a + 39 = 0. Let j(r) = -r + 3. Let w be j(-1). Suppose -p - w = -s. Solve -2*q = 2*q - p for q.
2
Let q(p) = -50*p + 132 + 14*p + 12*p + 13*p. Let c be q(12). Solve -12 + c = 4*a for a.
-3
Let x = -24 + 27. Suppose 4*z + 3*f - 6 = -15, -x*z - 3 = f. Solve z = -2*m + 8 for m.
4
Let o = -341 - -346. Suppose 3*d - 24 = -3*p, -13*p + 18*p - 4*d + o = 0. Solve p*h + 4*h = 21 for h.
3
Let a = 787 + -794. Let b(d) be the third derivative of d**4/12 + 7*d**3/3 + 2*d**2. Let h be b(a). Solve 4*p = -h*p - 20 for p.
-5
Suppose 4*p - 9 + 2 = -n, -n + 4*p = 9. Let m be (-4 - n)*(7 - (-130)/(-15)). Solve -m*i = -35 + 45 for i.
-2
Let b(n) = -12*n**2 - 41*n + 3. Let k be b(-3). Solve -3*u = k*u for u.
0
Let v be (0 - (-16 - (-6)/(-2)))/1. Suppose 2*f + v = 79. Solve 0 = 25*u - f*u - 5 for u.
-1
Suppose 0 = 3*s - 2*c - 2*c - 16, -5*s = 4*c + 16. Let m be -8 + s + 5 - -3. Solve m*w + 3*w = -w for w.
0
Let t = 2 + -1. Let o be (-2 + (t - -2))*0. Let u = -18853 - -18857. Solve -m = -o*m - u for m.
4
Let o = -1180 + 1180. Solve 2*f + 238 - 238 = o for f.
0
Suppose -3*w + 4*p + 4 = -242, 0 = 3*w - p - 246. Solve -78 = -95*t + w*t for t.
6
Suppose -8*t + 61 = 325. Let v = 40 + t. Let z = -7 + v. Solve z = -2*w + 3*w + 4 for w.
-4
Let y(a) = -5*a**3 - 17*a**2 - 3*a - 6. Let b(x) = 7*x**3 + 19*x**2 + 4*x + 8. Let l(w) = 2*b(w) + 3*y(w). Let f be l(-13). Solve 20*o = 10*o + f*o for o.
0
Suppose 3*h = -h - 4*z - 4, -h + 4*z = 26. Let w(p) = p**2 - 2*p - 7. Let o be w(h). Let m = o + -39. Solve -3*f = -m*f for f.
0
Suppose 2*b = -2*v + 4*v - 2, 5*v - 15 = 0. Let r be (-168)/(-70) + (-24)/60. Solve -6 = -b*k - r for k.
2
Let k be (-8 - 4)*-1*1. Let p = -6 + k. Suppose -46*m = -332 + 138 - 174. Solve 2*t + m = p*t for t.
2
Let c(v) be the first derivative of -21*v**2/2 - 101*v - 40. Let f be c(-5). Solve -5*m = 21 + f for m.
-5
Let d be (175/21 - 8/6)*(-498)/(-581). Let j(y) = 2*y**2 + 3*y + 4. Let w be j(-3). Solve 0 = w*l - 11*l + d for l.
-3
Let t be 2/((-6)/(-12)*-8 - -2). Let g be ((-1 - 1) + 4 - 3)/t. Solve -1 = 2*h - g for h.
0
Suppose 0 = 283*j - 203*j. Solve -14*y + 29*y = j for y.
0
Let f be (-579)/(-25) - 76/475. Let o be (-4)/16 + 29/4. Solve -o*y - 5 - f = 0 for y.
-4
Let n(i) = 43*i + 5. Let r(k) = 21*k + 2. Let h(b) = 6*n(b) - 14*r(b). Let d be h(1). Let s = d - -38. Solve -4*v - s = -0*v for v.
-1
Suppose 0 = 3*v - 18, 0 = -q + 4*q + 3*v - 504. Solve 10*u - q = -182 for u.
-2
Suppose 15 = 5*y, 7 = t - 0*t + y. Suppose -77 = 5*r - z - 190, -77 = -3*r - t*z. Solve 5*w = r - 8 for w.
3
Suppose -69 - 251 = -12*u - 32. Solve 8 = 32*k - u for k.
1
Let m be (3 - 4)*((-1 - 4) + 5). Let f be m*(-1)/(-2) + (21 - 6). Solve -3*g + 8*g = -f for g.
-3
Let w = 8355 + -8288. Solve 0 = -66*t + w*t - 2 for t.
2
Let v(b) = -38*b - 45*b - 13 + 6*b**2 + 95*b. Let m be v(1). Suppose -4*o = 5*i + o - 70, 26 = i - 3*o. Solve -4*f - i = -m for f.
-3
Suppose 3*h - h - 8 = -2*l, 4*h = -5*l + 20. Suppose -4*y = -8, -6 = l*f - 7*f - 3*y. Solve 3*z + f = -6 for z.
-2
Let t = -34621 + 34764. Solve -48*u - 1 = t for u.
-3
Let y = -45 - -137. Let j be (-2)/(-6) - 616/12. Let w = j + y. Solve 0 = 5*n + w - 16 for n.
-5
Suppose 11 = 4*v - 13. Suppose 0 = 5*l - 3*l - 72. Suppose l = -v*t + 12*t. Solve 5*g = 1 - t for g.
-1
Let q = 201 - 201. Suppose 0 = -v + 4, -3*v = t - 9 - 8. Suppose 8 - t = u. Solve -u*o + q*o = -12 for o.
4
Suppose 368 = -63*s + 65*s. Suppose -12*g = -16*g + 164. Suppose 9*y - s = g. Solve h = -4*h - y for h.
-5
Let n(h) = 28*h + 67. Let q be n(-9). Let m = -183 - q. Solve p = -m*p - 3 for p.
-1
Suppose 0 = 6*s - 0*s + 48. Let a be (108/s)/(1/2 + 0). Let f = a + 28. Solve 2*h = f + 1 for h.
1
Let l be ((-2)/3)/((-5)/45). Let g be ((-10)/4)/(15/(-150)). Solve m = l*m + g for m.
-5
Suppose 6*t - t = -2*q - 1395, 3*t = 15. Let i = q - -712. Solve 0 = -2*r + i - 4 for r.
-1
Let p(y) = -6*y**3 + y**2 + y. Let i(f) = -13*f**3 + 9*f**2 + 7*f + 9. Let m(x) = -i(x) + 2*p(x). Let o = 12 - 4. Let t be m(o). Solve 4*c - t = 5 for c.
5
Suppose -1 = -2*z + 3. Suppose -103*w + 100*w = 0. Suppose -3*y = w, 0*t + 2*y + 60 = 5*t. Solve -z*g + 6*g + t = 0 for g.
-3
Let j(t) = 405*t + 4557. Let x be j(-11). Solve -x = 30*i + 21*i for i.
-2
Let u(t) = t**2 - 31*t - 23. Let v be u(34). Solve v*n + 48 = 87*n for n.
6
Let m(g) = -g**3 + g**2 - 3*g - 8. Let w be m(-2). Suppose 3*k - 2*o - 4 = 4*k, 5*k - 25 = -o. Suppose k*u = w*u. Solve u = -5*l - 17 + 2 for 