34 = p for x.
3
Suppose -3*f + 3 = -3*s, -s - 4*f = -0*f - 24. Let h be ((-14)/s)/(1/2). Let t(v) = v**2 + 5*v - 8. Let q be t(h). Solve 0 = 2*i + q - 4 for i.
-1
Suppose 5*a + 111 = -23*c + 25*c, -a + 1 = 0. Solve 26*t - c - 72 = 0 for t.
5
Suppose -7*m - 285 = -2*m + 5*j, -228 = 4*m - 2*j. Let p = m - -67. Let v be (-8)/p - 0 - 64/(-5). Solve -4*u - v = -0*u for u.
-3
Suppose -8*g + 212 = -9*g. Let x = 212 + g. Solve -5*h + 2*h = x for h.
0
Suppose 4 = h + 4*g, h + 3*g + 22 = 26. Let a be 2 - (-1 + -3) - h. Solve 0 = -a*d - d + 15 for d.
5
Let v(t) = -6*t - 9*t**2 + 1 + 7*t - 7*t**2 + 17*t**2. Let i(o) = -6*o**2 - 6*o - 1. Let u(p) = i(p) + 5*v(p). Let m be u(0). Solve -c = -0*c + m for c.
-4
Suppose v - 90 = -j, -v = -3*v + 3*j + 210. Solve -19*m + v = 29*m for m.
2
Let t be (-5333)/(-7) + 5/35. Suppose 16*h - t = 182. Let z = h - 55. Solve -z = k - 1 for k.
-3
Let b be 4 - 57*10/6. Let p = b - -97. Solve 5*g + 4 = p*g for g.
4
Suppose -15*g = 3*z - 11*g - 233, -z + 56 = -3*g. Solve -z + 41 = 6*k for k.
-5
Suppose -12*v = -5*v + 2233. Let f be (-20)/(-11) + (-58)/v. Solve j + 1 = f*j for j.
1
Let j be (2 + 29)*(-1 + 2). Solve j*b = 19*b - 48 for b.
-4
Let n(r) = r**3 + 24*r**2 - 393*r - 253. Let b be n(-35). Solve -16*v = b + 5 for v.
-2
Suppose 3*g - 28 = 248. Let m be g/20 - (-6)/(-10). Let o be 3/((-3)/m) + 4. Solve o = -r - 1 - 0 for r.
-1
Let q be 12*(-100)/(-8)*(-15 + (-46)/(-3)). Solve -26*g - 24 = -q*g for g.
1
Let v be -33*14/(-42) + 422. Solve 0 = -v*k + 441*k - 8 for k.
1
Let b be (-20 - (-314)/7)/(2/7). Solve -96*g = 855 - b for g.
-8
Let w(d) = 217*d - 3429. Let a be w(16). Solve -a*c = -19 + 62 for c.
-1
Let x(f) = f**2 + f + 22. Let v be x(-6). Let u = 56 - v. Solve 3*y = -u*y for y.
0
Let p(v) = -v**3 + 12*v**2 + 3. Let j be p(12). Let n = -3300 - -3303. Solve n*i - 12 = -j*i for i.
2
Suppose 5*t - k - 464 = 0, 4*t - 2026 + 1707 = -5*k. Solve -78*u + 65*u = t for u.
-7
Let y(i) = -i + 24. Let d be y(7). Suppose b + 12 = 5*m + 4*b, 5*m = 2*b + d. Suppose -m*w = -w - 10. Solve w*t - 12 = 3 for t.
3
Let k = 491 + -457. Solve -23 = k*n - 11*n for n.
-1
Let v be (-4)/3 - 32960/(-618). Solve 4*b + 9*b = -v for b.
-4
Let w = -1035 - -1048. Solve -14 + 40 = w*z for z.
2
Suppose -n = -2*c + c + 13, 83 = 5*c + 4*n. Suppose 9*f - 37 - 8 = 0. Solve 0*v = f*v + c for v.
-3
Let x(j) = 9*j**2 - 826*j + 637. Let b be x(91). Solve b = -33*i - 327 + 63 for i.
-8
Suppose 0 = -m - t + 4, 0*m + 5*t + 15 = 2*m. Suppose 5*w - 8*w + 6 = 5*g, 0 = -m*w + 5*g + 10. Solve -15 = w*r + r for r.
-5
Suppose 0 = -2*r + 34 - 14. Let h = -16 + 43. Let a be (2/5)/(h/(-30) - -1). Solve -a*k + 26 - r = 0 for k.
4
Let h be (112/(-38) - (-11 - -8))*19. Solve 2*l - 5 + h = 0 for l.
2
Let s(u) = 17*u - 490. Let h be s(29). Solve 3*f = -h*f + 2*f for f.
0
Let v = -35 - -38. Suppose -v*k + 23 = 4*d, 7*k = 4*k - 3*d + 27. Suppose 14*h - k*h = 0. Solve 2*z + h = 2 for z.
1
Suppose -3*l = -s - 11*l - 27, -4 = l. Solve -2*o - 3*o = s for o.
-1
Let y = -3358 - -3860. Solve -y = -l - 497 for l.
5
Let n = 18 - 83. Let z be (-325)/26*56/(-10). Let b = n + z. Solve b*t - 2 = 4*t for t.
2
Let y be ((33/(-3) - -5)*1)/((-7)/28). Solve -2752*c = -2748*c - y for c.
6
Let m be (-4)/16 + -2*242/(-16). Let c(u) = u**2 - 30*u + 5. Let v be c(m). Let g(x) = x**3 - 6*x**2 - 9*x + 16. Let z be g(7). Solve v*r + 3 = -z for r.
-1
Suppose -p + 0 = -6. Suppose -54*c - 46 + 326 = 16*c. Suppose 34 = p*l + c. Solve -g - l = -6 for g.
1
Let g = 19 + -14. Suppose 11*f = -g*f. Solve x - 2 - 3 = f for x.
5
Let d be (-8 - -13)*(-31)/(-5). Suppose -6*z + d + 11 = 0. Let c be (-1 + 1)/(-3) + z. Solve -c*j + 8 = -3*j for j.
2
Let b(f) = -f**3 - 22*f**2 - 20*f + 24. Let d be b(-21). Suppose -5*j = 5*t - 35, d*t - 39 = -20*j + 15*j. Solve -8*a + j*a = -4 for a.
-4
Suppose 14*t + 3173 = 181*t. Solve -5*j - 168 = t*j for j.
-7
Let l(t) = 639*t - 872. Let q be l(2). Solve -q + 378 = 7*y for y.
-4
Let k be -3*-8*6/(-48). Let s be -4 + k/((-12)/40). Solve 18 = -s*x - 0*x for x.
-3
Let b = -98 - -101. Let d = -6 - -6. Suppose -2*l = -3*k + 11, -3 = k - 2*l - d. Solve -b*z = -2 - k for z.
3
Let l = -70 + 21. Let a = -47 - l. Suppose 4*m = 0, a*w - 2*m - 10 = -3*w. Solve 8 = 2*y + w*y for y.
2
Let d(r) = 10*r**2 - 297*r - 19. Let y be d(30). Solve 43 + y = 19*z for z.
6
Suppose 4*t + 102 = 3*l, 0 = -6*t + t + 15. Solve 32*k + 294 = l for k.
-8
Suppose 55 = -b + 73. Suppose 0 = -b*y + 10*y + 48. Suppose y*x + 5*x = 14*x. Solve 3*n + 3 = -x for n.
-1
Let j = -538 - -531. Let g be j/(-2) + 4 + (-11)/2. Solve -g*c - 8 = -6*c for c.
2
Let y = 269 - 267. Suppose y*t + 5*t = 21. Solve -15*q = -18*q - t for q.
-1
Suppose 23 = 3*f - 0*f - 4*u, -f - 4*u - 19 = 0. Let l be -3 + f/(-2)*-32. Solve -l*q = -9*q for q.
0
Let c be (-2)/12 + (7 - 836/120)*5. Solve c = l - 2304 + 2306 for l.
-2
Let p = -3372 + 3380. Solve 8 = p*m - 6*m for m.
4
Let f(t) = 16*t - 88. Let q be f(6). Suppose -w = -5*r + q, 5*w - 3 - 29 = r. Solve 3*h = w*h - 20 for h.
5
Suppose 4*v - 3776 = -55*v. Solve 70*n = v*n - 36 for n.
-6
Let d = -198 - -288. Suppose 2*j = d + 4. Solve j*f = 45*f for f.
0
Let y(c) = 12*c**3 - 16*c + 22. Let k be y(2). Suppose -9*g + k = -22. Solve -5 = -7*v - g for v.
-1
Suppose 0 = g + 294*t - 298*t - 54, 48 = 2*g + 2*t. Solve g*d + 42 = -12*d for d.
-1
Suppose 0 = 689*u - 941*u + 4032. Solve -37*n + 42 = -u*n for n.
2
Suppose 0 = t - 4*t + 6. Let c(g) = -g + 7. Let y(u) = 2*u - 11. Let m(f) = 5*c(f) + 3*y(f). Let l be m(t). Solve o = -l*o + 25 for o.
5
Suppose 0 = 3*n - 3*a - 15, -2*n - a + 29 = 7. Solve -n*z + 5 = 14 for z.
-1
Suppose -5*y = -u + 31, -13 = -u - 5*y - 32. Let r be (-12 - -38)*-1*1. Let m be -4 + (-13)/(r/12). Solve 0 = -2*k + m - u for k.
-2
Let l(x) be the third derivative of x**6/120 - x**5/10 + x**4/2 - 4*x**3/3 - 2*x**2 - 4*x. Let k be l(4). Solve k = -3*s + s for s.
-4
Suppose -2*a - 4*f - 31 = -7*a, 3*a + 3*f + 3 = 0. Let n(u) = 27 - u - 15 - a. Let r be n(9). Solve r*m - 5 = -m for m.
5
Let w(l) = -3*l**2 + 148*l - 987. Let t be w(15). Solve 208*y - 270*y + t = 0 for y.
9
Suppose 413 = 5*a - 4*s, 27*a - s + 88 = 28*a. Suppose -85*r - a = -102*r. Solve 0 = r*l + l for l.
0
Suppose 0 = 439*a - 14*a - 10317 - 23683. Solve -g - a = -87 for g.
7
Let h be ((-943)/(-46))/(2/(-4)). Let u = h + 63. Solve -u - 13 = -7*g for g.
5
Let p = 502 - 514. Let i(j) = 12*j**2 + j**3 - 5 + j + 0*j + 20. Let b be i(p). Solve t + 6 = b*t for t.
3
Let f(g) = -g**3 - 12*g**2 + 86*g + 652. Let k be f(-15). Solve -144 + 181 = k*u for u.
1
Let g be ((-2)/(-4))/(1/4). Suppose 0 = 14*o - 12*o - 72. Let w be (-2 - (-212)/o) + (-2)/(-18). Solve -w = -2*b - g*b for b.
1
Suppose 4*t - 3*t = 5*b + 30, -2*t + 40 = -5*b. Suppose 0*m + t = 4*m + 2*w, 5*w - 4 = -3*m. Let k = 223752 + -223750. Solve k*d = m*d for d.
0
Let g = 12656 + -12599. Solve -g*n + 53*n - 32 = 0 for n.
-8
Let t be (-8)/(-14) + 767/91. Suppose t*j + 54 = 7*j. Let z(h) = -h**2 - 29*h - 52. Let a be z(j). Solve -m = -a - 2 for m.
4
Let u = -3140 - -3167. Solve -19*d = -u*d - 16 for d.
-2
Let y = -30 + 42. Let q = y - 7. Let l(o) = 2*o**2 - 24*o + 5. Let i be l(12). Solve i*g = -0 - q for g.
-1
Let c be (-4)/((-14)/10 + 1). Let k = 12 - c. Suppose 0 = 64*o - 59*o. Solve -k*i + 4*i + 8 = o for i.
-4
Let n(q) = q**2 - 11*q - 258. Let x(l) = l**2 - 11*l - 256. Let m(g) = 3*n(g) - 4*x(g). Let h be m(22). Solve -25*z - h = -17*z for z.
-1
Let c(w) = -w. Let f be c(-4). Let g = f - -4. Suppose -5*h - 5*l = 10, -55*h + 51*h = 5*l + 12. Solve 0 = -2*a - h*a - g for a.
-2
Suppose x - 16*x = -6795. Let n = x - 453. Solve n = -11*w + 1 - 56 for w.
-5
Let x(o) = -6*o + 19. Let t be x(3). Let m be 16 - (-4 - (-4 + -3)). Let c = 30 + -27. Solve m - t = -c*z for z.
-4
Let y(c) = 2*c**2 + 5*c + 7. Let f be y(-3). Suppose -4*o = -f + 2. Let m be 14/o*-5*2/(-10). Solve 6*i = m*i - 5 for i.
5
Suppose 14*k - 11*k = -48. Let n(p) = -p**3 - 16*p**2 + p - 10. Let y be n(k). Let h = -16 - y. Solve h = -0*m + 2*m for m.
5
Suppose 0 = -2*z - 3*z - 4*y + 147, -3*y - 72 = -3*z. Solve 0*d + z*d = 0 for d.
0
Let p be -4*(0 - (-1)/(12/3)). Let w be (4/3*-3)/p. Solve w*b - 16 = 4 for b.
5
Let h be 1*(-3)/24 - 123/(-24). Suppose 2*r = 2*f - 14, -104 = 2*f - 3*r - 113. Solve 0 = h*n - 3 - f for n.
3
S