= 0 for x.
4
Suppose -14*m = -13*m. Solve m = 4*q - 6*q - 2 for q.
-1
Suppose -q + 2 + 2 = 0. Suppose -s + 2*s = -4*t + 8, 4*s = -q*t - 4. Solve -l = -4*l + t for l.
1
Suppose -5*k = -0*k + 3*s + 7, -s + 7 = -3*k. Suppose 19*c + 9*c + 224 = 0. Let w = k - c. Solve 4*l - w = -26 for l.
-5
Let z be 0/((-8)/12*9/6). Solve z = -4*s - s for s.
0
Let x = -6 - -26. Suppose -2*b + 78 + x = 0. Let l be ((-14)/b)/(2/(-14)). Solve w = l*w - 4 for w.
4
Suppose 0 = 3*n - 12 + 3. Solve f + n = 2*f for f.
3
Suppose s = -6 + 23. Let v(f) = -2*f + 38. Let w be v(s). Solve -3*t + 2 + w = 0 for t.
2
Let p = 6 + 1. Suppose 151 = -50*y + 1. Let q = y + p. Solve -q*h + 0*h = -12 for h.
3
Suppose -2*n = -f - 4, -n + f + 2 = -0. Let w be 0 + 2 + -3 + n. Suppose w = s - 4. Solve s*j + 12 = 2*j for j.
-4
Let d(c) = c**3 - 9*c**2 - 37*c + 15. Let y be d(12). Suppose 5*z = 2*z + 24. Solve -r = -y*r + z for r.
4
Suppose -5*w = 4*j - 42, 0 = -8*w + 11*w + j - 21. Solve 12*q - w*q = -24 for q.
-4
Suppose -72 = -0*h - 3*h. Suppose -2*f + 6*f = h. Let x be (-45)/6*f/(-5). Solve 2*a + 1 - x = 0 for a.
4
Suppose -4*n - 34 = -46. Let i(f) = f**3 - 7*f**2 + 6*f + 6. Let h be i(6). Let r = h - n. Solve -r*o = o for o.
0
Suppose -27*j + 39*j = 216. Solve 2 = -10*k - j for k.
-2
Let q = -1343 - -1370. Solve -18 = q*a - 33*a for a.
3
Let r(i) = -i**3 - 7*i**2 + 19*i + 3. Let m be r(2). Suppose f + f - 4 = 0. Solve f*l + m + 1 = 0 for l.
-3
Suppose 4*h + t + 4*t + 140 = 0, -4*h - 104 = -4*t. Let m be 560/h - 4/(-6). Let u = m - -21. Solve 0*r - u*r = 12 for r.
-4
Suppose 16 = 2*h - 8. Suppose -h*l + 10*l = -4. Suppose 15 = l*z + 7. Solve s = -s + z for s.
2
Suppose 0 = -3*t + 6, -4*n + 2*t + 31 = -149. Solve -n = 16*z + 2 for z.
-3
Suppose -3*h + 345 = -2*g, -5*h + h = 2*g - 460. Let l = 81 - 46. Let p be h/l - (-4)/(-14). Solve 6*x + p = 7*x for x.
3
Let z(w) = w**3 + 5*w**2 + 2*w - 3. Suppose 0 = 7*v - 6*v + 2. Let f be z(v). Solve -f*x - 28 = -3 for x.
-5
Let d(o) = -o**2 - 9*o + 7. Let v be d(-8). Suppose -11 = 5*s - 6, 1 = u - s. Solve 3*y = -u*y - v for y.
-5
Let t(q) be the first derivative of q**3/3 + 9*q**2 + 23*q - 9. Let o be t(-17). Solve -l + 20 = -o*l for l.
-4
Let o be (-45)/60 - (-3)/4. Solve -4*z = -o*z - 12 for z.
3
Let t be 0*2/((-20)/10). Solve 2*f - 1 - 5 = t for f.
3
Suppose 0 = -4*b - 0*b + 28. Suppose -2*u + b = -7. Let v(f) = f - 5. Let w be v(u). Solve 0 = w*g + g for g.
0
Let u(s) = -s**2 + 6*s + 4. Let j be u(6). Let o(d) = d + 4. Let c be o(j). Solve -2*a + c = -2 for a.
5
Suppose 2 + 2 = -2*r - h, 5*r + 8 = -2*h. Solve -10*j + 15*j - 25 = r for j.
5
Let s be -1 - -10 - -1 - 6. Solve -s*v + 3 = -9 for v.
3
Let k(m) be the third derivative of m**5/60 + m**4/4 + m**3/3 - 11*m**2. Let h be k(-7). Suppose -3*y + 3 + h = 0. Solve -b - y*b = 0 for b.
0
Let s = -8 - -18. Suppose -p + 7 = 2*a + 4*p, -4*a + 25 = -p. Suppose 12 = 3*h - a. Solve h = 4*r - s for r.
4
Let c(w) = -20*w - 460. Let y be c(-24). Solve 7*l = -3*l - y for l.
-2
Let d(w) = -w**2 - 7*w - 10. Let k be d(-4). Let u be 6/(-10)*(k - 7). Solve 0 = -0*j + u*j - 12 for j.
4
Let v(f) = -f**2 - 24*f - 23. Let j be v(-23). Solve j = 4*d - 0*d + 20 for d.
-5
Let m = 9 - 1. Suppose -5*j - 9 = -5*z + 1, 4*j = m. Solve -z*c = 1 + 3 for c.
-1
Let d be 437/(-95) + 2/(-5) + 8. Solve d*r + 0 = -9 for r.
-3
Suppose -4*q = -4*y - 20, 3 = -y - 0. Suppose j + 5*a + 12 = 0, -2*j - 14 = j + 4*a. Let k(z) = -3*z - 3. Let i be k(j). Solve -2 = i*s - q*s for s.
-2
Let l be (-10)/(-4)*56/10. Suppose -4 = 5*v - l. Let i be -1 - (v - (2 - -2)). Solve b = 2*b - i for b.
1
Let a be -3 + 3/(3/8). Suppose 2*p = 5 + a. Solve -6*s = -s + p for s.
-1
Let x(l) = 21*l - 34. Let s be x(2). Solve 12*a - 4 = s*a for a.
1
Suppose 0 = x + 6*x + 6*x. Solve -z + 0*z = x for z.
0
Let v(j) = -3*j**2 + 12*j - 9. Let k be v(4). Let y be k/3 - 15/(-1). Suppose 5 = r + 2. Solve y = -r*i - 3 for i.
-5
Let g be (-8)/6 - (-230)/6. Let u be g/4 + 4/(-16). Let k = -7 + u. Solve k = 4*w - 2 for w.
1
Let l(j) = -4*j - 122. Let o be l(-31). Solve 4*p + o = 2*p for p.
-1
Let o = -359 + 374. Solve o*c - 11*c = 4 for c.
1
Let i = 84 + -84. Suppose -9 = -2*u - 5*y + 1, i = -4*u - 3*y + 6. Solve 5 = v - u for v.
5
Suppose -23 = -5*n - 3. Solve -16 + 0 = -n*o for o.
4
Suppose x - 2*i - 37 = 0, -x + 2*i - 3*i = -34. Suppose 6*w + 17 = x. Solve 0 + 3 = -w*n for n.
-1
Let k = -82 + 77. Let f(h) = -h**2 - 4*h + 7. Let a be f(k). Solve -a*z + 5*z - 9 = 0 for z.
3
Suppose -2*c + 2*a + 10 = 0, 78 - 94 = -3*c + 4*a. Solve -2*p - 3*p = -c*p for p.
0
Let l = -3 - -9. Suppose -l*c = -c - 50. Solve -2 = 3*b + c for b.
-4
Let j be 16/(-24) + (-29)/(-3). Solve 5*o - j*o = 0 for o.
0
Suppose 10*c - 9*c = 23*c. Suppose -6*g + g = -20. Suppose -g*a + 5 = -3*a. Solve c = 4*u - 3*u - a for u.
5
Suppose n + o - 1 = 0, 4*n = -0*o - 2*o + 14. Solve i + 20 = n*i for i.
4
Suppose -3*c + 3 = -6. Let x be ((-12)/c - -3)/(-1). Suppose -p + 1 + x = 0. Solve 6 - p = j for j.
4
Suppose -8 = -k - 2*n, 3*n - 10 = 5*k - 6*k. Solve -14 = -k*j + 2 for j.
4
Let t be 4/(-14) + (-149)/(-7). Suppose 2*d - 44 = -6. Let p = t - d. Solve p*w + 9 = 1 for w.
-4
Let v be 15*1 - 0/4. Let l be (-1*6/(-9))/(14/105). Let n be ((-4)/1 - -2) + l. Solve 0 = -n*d - 0*d + v for d.
5
Let a(d) = 5*d + 3. Let q(s) = 3*s**2 - 20*s + 13. Let j be q(6). Let h be a(j). Solve -5*p + 12 = -h*p for p.
-4
Let j(l) = 2*l**3 - 2*l + 3. Suppose 3*w + o - 8 = -2*w, 0 = w - 2*o - 6. Let v be j(w). Suppose -6*q = -5*q - 5. Solve -v = -q*s + 2*s for s.
5
Let w = -845 + 847. Solve -4*j = -3*j - w for j.
2
Let k(p) = 2*p**3 - 13*p**2 + 6*p. Let j be k(6). Solve j = -m + 2 for m.
2
Let o = 16 + -28. Let q be (o/(-7))/(6/21). Solve -3*g - 3 - q = 0 for g.
-3
Suppose -3*p = 3*s - 117, p + 0*p - 39 = -5*s. Let w be 130/p*(-12)/(-10). Suppose 20 = w*o, -4*o = -2*m + 4*m - 40. Solve -4*r = -2 - m for r.
3
Suppose 5*z + 4*f = 71 + 12, -3*z - 3*f = -51. Let v = -7466 - -7470. Solve z = v*l + l for l.
3
Let p = -5 + 7. Let a be 6/(-15) - (-8)/20. Suppose a = -0*x - 3*x + 6. Solve -x*m - p = -4*m for m.
1
Suppose -3*h - 352 = -400. Solve h = -10*v + 6*v for v.
-4
Let i be (8*(-1)/(-6))/(1/(-6)). Let q be 3*4/(-96)*i. Solve z - 4 - q = 0 for z.
5
Suppose -5*p + 3*p = 0. Suppose 4*l + 16 = p, 5*q - 2*l = -0*q + 43. Solve q - 22 = 5*r for r.
-3
Suppose -1 = 6*z - 19. Solve -5*j = -z - 7 for j.
2
Let s(c) = 3*c - 3. Let b be s(2). Suppose -12 = -4*q, -4*q = v - 11 - 21. Suppose -4*p + v = -2*w, 5*p = -4*w - b + 2. Solve 0 = p*o - o + 4 for o.
-2
Suppose -4*x - q + 20 = -1, 5*x + 2*q - 27 = 0. Solve -x*n - 34 = -14 for n.
-4
Let i(g) = 7*g**2 - 11*g - 13. Let m(b) = 4*b**2 - 6*b - 7. Let w(y) = 3*i(y) - 5*m(y). Let j be w(-2). Solve -4*o - j = 2 for o.
-2
Let h = -2 + 6. Suppose 0*d = -h*q - 2*d + 8, 5*d = 3*q - 6. Solve -q*z + 2 - 8 = 0 for z.
-3
Suppose v - 3 = -1. Let i(r) = -r + 37. Let a be i(7). Suppose -5*m + a = -v*m. Solve 3*w + m = w for w.
-5
Let h(j) = 11*j - 71. Let m be h(7). Suppose -6*x + 2*x + 8 = 0. Solve -m = x*t - 2 for t.
-2
Let m(i) be the third derivative of -11/6*i**3 + 1/120*i**6 + 0*i + 1/4*i**4 + 3/20*i**5 - i**2 + 0. Let r be m(-8). Solve -r*w = -6*w + 1 for w.
1
Let f = 836 - 834. Solve 0 = -f*y - 20 + 24 for y.
2
Let y(b) = b**3 + 11*b**2 + 5*b - 22. Let s be y(-10). Solve 29*m - 1 = s*m for m.
1
Let c = -246 + 257. Solve -9*x + c*x + 10 = 0 for x.
-5
Suppose 0 = -17*c + 16*c + 1. Let b be ((-6)/10 + c)/(8/40). Solve b*g - 3*g - 3 = 0 for g.
-3
Let a = 20 + -21. Let p be 1*2/2*a. Let y = 3 - p. Solve y*d + 8 + 4 = 0 for d.
-3
Let k(x) be the first derivative of -x**2/2 + 9*x + 14. Let w be k(5). Solve -16 = 4*i - w for i.
-3
Let b(q) be the first derivative of q**4/4 + q**3 - q**2/2 + q - 4. Suppose -4*t = -0*t - 3*j - 3, t + 18 = -3*j. Let r be b(t). Solve -2*n = -r*n - 10 for n.
-5
Let s = 73 - 46. Solve -s*f = -22*f for f.
0
Suppose -2*a = 3 - 7. Let l be ((-16)/14)/(a/(-14)). Solve l*q - 3*q = -20 for q.
-4
Let l(o) = -4*o**3 - 46*o + 36*o + 14 + 13*o**2 + 5*o**3 - 3*o**2. Suppose -q = 3*c + 31, -5*c - 47 = -q + 5*q. Let p be l(c). Solve 0 = 5*u - p*u + 10 for u.
-5
Let v(w) = w**2 - w + 2. Let l be v(2). Let q(j) = -j**2 + 9*j + 12. Let y be q(10). Suppose y = -g + l. Solve 0 = -r - g*r - 6 for r.
-2
Suppo