 -k = -y*t - 0. Solve 0*q - 10 = -t*q for q.
5
Let w be (-4)/5 + (-80)/25. Let d be w/(-1) - (-4)/(-2). Solve d = 4*n - 14 for n.
4
Suppose 0 = 85*w - 87*w + 4. Suppose -2*m - m = 2*z - 3, w*z - 5 = -5*m. Solve 0 = -z*o - 5*o for o.
0
Suppose -3*f = 12, -14*j = -12*j - f - 40. Solve 33 - j = 3*b for b.
5
Let t = 66 + 25. Let c = t - 89. Let g(w) = w + 8. Let z be g(-4). Solve 0 = c*h - 0 + z for h.
-2
Suppose -3*n - 4*h + 14 = 0, 5*n + 7 = 2*h + 65. Solve n = -7*w + 12*w for w.
2
Suppose 306 = -4*i + 318. Suppose 0*b = -b + 1. Let l be (i + -2)*0/b. Solve l*y - 4*y + 20 = 0 for y.
5
Let n(f) = 8*f + 2*f**3 - 8*f**2 - 3*f**3 + 13 + 2*f. Let z be -39 - -34 - 1*4. Let a be n(z). Solve 0 = a*b - 3*b + 1 for b.
-1
Let d = -3 + 8. Suppose 11 = 3*r - 2*g, g + 33 = d*r + 5*g. Let n = 3 - -1. Solve -21 = n*h - r for h.
-4
Let z be 8/32 + 141/12. Solve 0 = 4*a - 0*a + z for a.
-3
Suppose -8*c + 297 = 25*c. Solve c*n - 6*n = -9 for n.
-3
Suppose -3983*n + 3980*n = -30. Solve -v + 6 - n = 0 for v.
-4
Let q(k) = -k**3 - 8*k**2 + 4. Let b be q(-8). Suppose b*o - 27 = 1. Suppose 0 = -3*j + 4*m - 8, 3*j - 1 = -4*m + o. Solve -d = -j + 3 for d.
-3
Let i(j) = -3*j**3 - 2*j**2 - 3*j - 2. Let c be i(-1). Suppose 0 = g - a + 3, 2*a = -c*a + 12. Suppose g = -l + 6*l - 60. Solve -4*k + 0*k = l for k.
-3
Suppose 0 = 2*h - 5 - 5. Suppose h*l = -5, -3*l - 17 + 2 = -2*a. Solve 0 = 3*q - q - a for q.
3
Suppose 48*g - 52*g = -16. Solve g*s - 24 + 4 = 0 for s.
5
Let i(n) be the second derivative of -n**5/20 + n**4/6 - n**3/3 + n**2/2 + 19*n. Let f be i(1). Solve f = 4*r - 12 - 0 for r.
3
Let a(p) = -2*p - 9. Let o be a(-3). Let i be ((-12)/(-8))/(o/(-8)). Solve -5*b + i = 24 for b.
-4
Let m = -4 - -7. Let l be -2 - ((-1 - 16) + -2). Suppose h - 2*q - 12 + 5 = 0, -h - m*q = -l. Solve -4*x - 9 = h for x.
-5
Let y(b) = -2*b - 8. Let p be y(-6). Let k(l) = l**2 + 76*l + 1086. Let f be k(-19). Solve -f*i - p = -i for i.
-2
Let w(r) = -r**3 - 12*r**2 - r - 10. Let s be w(-12). Let t be s/(-4) + (-1105)/(-34). Let v = -10 + t. Solve -4*d = -6 + v for d.
-4
Let x be 3 + -4 + 7 - (-2 - -1). Solve 4 - x = -3*w for w.
1
Let f be (-55 + 58)/(6/4). Solve 6*x + f = 7*x for x.
2
Let c = -1320 + 1327. Solve -14*q + 21 = -c*q for q.
3
Let r be (-478)/(-28) - (57/42)/19. Solve 11*t - r*t = 12 for t.
-2
Let v = -27 - -24. Let i(d) = -2*d**3 - 6*d**2 + 2*d + 6. Let w be i(v). Solve -5*r = -w*r - 15 for r.
3
Let n = 6 - -6. Let h be 8/5*(-60)/(-8). Let f = h - n. Solve f*p - 2*p = 0 for p.
0
Let w be ((-3)/(-2))/((-5)/10). Let l(c) = -2*c + 5. Let g(k) = k. Let n(q) = w*g(q) - l(q). Let o be n(-7). Solve -o*a = -3*a - 2 for a.
-2
Let u be (-6)/4*28/(-14)*1. Suppose 0 = j + 5, -2*a + u*j = j - 24. Solve -a = -5*t - 2 for t.
1
Let x = 2 + -14. Let t(w) = 5*w + 64. Let g be t(-10). Let h = x + g. Solve i - h + 0 = 0 for i.
2
Let d(v) = v**3 - 4*v**2 + v. Let t be 16/40*(1 + 9). Let y be d(t). Solve -18 = -y*n + 2 for n.
5
Suppose 2*y = 5*y + 24. Let l(c) = -2*c + 22. Let o be l(7). Let j = y + o. Solve 4*d + j*d = 0 for d.
0
Let r(m) = m**2 - 7*m - 6. Let u be r(8). Let h = 6 + -3. Suppose -z = -u*z + h. Solve 0 = f + 2 + z for f.
-5
Let p be 2*-1 + 7/1. Suppose 43*a - 7*a + 35*a = 142. Solve a*i = p*i for i.
0
Let f(y) = -31*y - 27. Let b be f(-1). Solve 0*r = r + b for r.
-4
Let l = -107 - -99. Let n be 5/((-2)/8 + (-10)/l). Solve 0 = -2*a + n*a - 12 for a.
4
Suppose -168 = -24*x - 0*x. Solve x*g + 9*g + 16 = 0 for g.
-1
Let q be (0/((-6)/(-1)))/1. Suppose -5*a + 67 - 17 = q. Solve 4*t + 30 - a = 0 for t.
-5
Let y be 160/16 - (2 + 0 + -7). Solve -4*t + 7*t = y for t.
5
Let h(i) be the first derivative of -13*i - 8 + 1/3*i**3 + i**2. Let z be h(-6). Solve 3*u - z - 1 = 0 for u.
4
Suppose 548*t = 544*t + 132. Solve -25 = 4*a - t for a.
2
Suppose 0 = -5*c + 4*m + 29, -54 = -4*c - 4*m - 2. Solve -c = 3*a - 15 for a.
2
Suppose n = 5 - 1. Let u = 1018 - 1011. Solve 15 = -n*c + u for c.
-2
Let v = -56 - -21. Let z = 39 + v. Solve 0 = -9*j + z*j - 20 for j.
-4
Let n(m) = -m - 10. Let z be n(-13). Suppose 3*w + 6 = 4*l, -z*l + 5*w = 2*l - 5. Solve -2*h + 25 = l*h for h.
5
Let u = 195 - 192. Solve 2*m = -7 - u for m.
-5
Let k be 0*7/35 - 18/(-2). Solve 3*p - k*p = 12 for p.
-2
Suppose 14 = 6*i + i. Solve -6 + 2 = i*t for t.
-2
Suppose 6*r + 101 = 23. Let g = -9 - r. Solve 0 = -g*w + 5*w + 3 for w.
-3
Suppose 5*u + 97 = q, 164 = -3*q - 2*u + 438. Solve q*y = 93*y + 4 for y.
-4
Suppose 38*f - 66 = 10. Solve -26 = 6*q - f for q.
-4
Let l(p) = -3*p**3 - 9*p**2 + 9*p - 18. Let v(o) = -2*o**3 - 4*o**2 + 4*o - 9. Let t(j) = 3*l(j) - 5*v(j). Let x be t(6). Let h = 3 - x. Solve w = h - 1 for w.
5
Suppose 5*m + 3*h = -0*h + 7, -m - 13 = -3*h. Let b be (28*m/(-2))/2. Suppose 3*z + 2 = -x, -6*z - 2*x = -3*z + 4. Solve z = b*n - 3*n + 12 for n.
-3
Suppose -2*l + 56*s = 53*s - 60, 2*s + 104 = 4*l. Solve v - l = -7*v for v.
3
Suppose 0 = 5*k + 22 - 72. Let o = k + 19. Let v = 34 - o. Solve -3 = -2*q + v for q.
4
Let j(f) = -f**2 + 2. Let i be j(0). Let b = 3 - i. Let r be (-2)/(-1 - 8/(-10)). Solve r = -3*m + b for m.
-3
Let k = -874 + 1037. Solve k*g = 161*g - 2 for g.
-1
Let c = -397 + 399. Solve 2*j = -0*j - c*j for j.
0
Suppose -i - 449 = -453. Solve -i*y = -21 + 5 for y.
4
Let v be 3*3 + -31 + 31. Solve -4*q = -q + v for q.
-3
Let o be 9 + (2 - 10) + (1 - -1). Solve o*a + 2 = -1 for a.
-1
Let b be 4/6 + 320/24. Let u be 1*(-52)/(-28) + 2/b. Solve -u*q = -q + 2 for q.
-2
Suppose -3*a = 3*s - 18, -6*s = -s + 3*a - 22. Let b = 1 - -19. Suppose -4*o = 4*c - 0*o + b, c - 3*o - 15 = 0. Solve 3*f - 2*f + s = c for f.
-2
Let p(r) = r + 15. Let f be p(-10). Suppose 0 = -3*t - q - q - 4, 0 = t + f*q + 23. Suppose 3*x - 5 = -t*x. Solve -3*o + x + 8 = 0 for o.
3
Let x(a) = a**2 + 5*a + 1. Let k be x(-6). Solve k*w - 31 - 4 = 0 for w.
5
Suppose 0*s = -20*s + 80. Solve y = -y + s for y.
2
Suppose 0*l = -5*l. Let j(m) = m**2 + 4. Let b be j(l). Suppose 0 = y - x, b*x = -4*y - 0*x. Solve -5*u + y = -5 for u.
1
Suppose 3*v = -0*v + 33. Suppose -s + 5*m + v = -19, -5*s + m = -78. Suppose -2*g = -4*g + g - 2*j, 2*j = 0. Solve g*r - 5*r = -s for r.
3
Suppose 9 = -t + 2*f + 27, 0 = -t + f + 13. Let n be (-1)/2 + (-22)/(-4) + -3. Solve n*z + t = -0*z for z.
-4
Let n be (4 + -2)*-1*-2. Let i be ((-56)/(-35))/(2/(-10)). Let x(y) = y**3 + 6*y**2 - 17*y - 3. Let b be x(i). Solve 3*d = n*d - b for d.
5
Suppose -7*c = -407 - 993. Let v be (160/c)/((-1)/(-5)*1). Solve -5*w + w - v = 0 for w.
-1
Let h = -1734 + 1740. Solve 0 = -5*k - 21 + h for k.
-3
Suppose 8 + 28 = 3*c. Let y be 7/1 - c/3. Solve -y*d = -5*d - 8 for d.
-4
Let c(y) = -y**3 - 17*y**2 - 18*y - 30. Let p be c(-16). Solve -p = -g - 6 for g.
-4
Let z = -1210 + 1240. Solve z = -9*i - 15 for i.
-5
Suppose 0 = 3*o + 15, -4*h - 4*o + 5 = -o. Suppose 0 = -h*w + 3*a - 15, -w + 5*a - 11 = 14. Suppose w = -3*s - 0*s + 30. Solve -s + 0 = -5*b for b.
2
Let c be (1/(-3))/(-4*(-5)/60). Let o be (c + 2)/(12/48). Solve o*j - 8 = 2*j for j.
4
Let t = -281 + 281. Suppose 11 - 2 = -3*c. Let k be ((3 - 0) + -6)/c. Solve k = u - t*u for u.
1
Let z be 2 - (-1749)/(-27) - (-4)/(-18). Let r = z - -71. Solve 2*i - 6*i = -r for i.
2
Let l be (-448)/(-72) + (-16)/72. Solve l*z + 7 = 19 for z.
2
Suppose -p + l + 47 = 0, -3*l + 152 + 22 = 4*p. Solve 30 = 3*i + p for i.
-5
Let y = -13 + 10. Let w = -1 - y. Suppose -5*q - 5 = 20, -w*k - q = -21. Solve 0 = -2*b - k + 5 for b.
-4
Let d = 69 + -60. Let h = 14 - d. Solve h*z - 6*z + 1 = 0 for z.
1
Let w be (24/8 + -7 + 2)*-2. Solve 0 = w*l + 4 - 20 for l.
4
Let h(a) be the third derivative of 3*a**4/8 - 22*a**3/3 + a**2. Let s(f) = 22*f - 110. Let r(c) = 12*h(c) - 5*s(c). Let w be r(10). Solve -w*l + 3 = -7 for l.
5
Let s(h) = h**3 - 6*h**2 + 5*h + 9. Let y be s(5). Let o be (-195)/(-10)*12/y. Let t = o - 24. Solve p + t = -p for p.
-1
Let r be ((-384)/(-20))/((-12)/(-80)). Let k = r - 126. Solve -2 = 4*m + k for m.
-1
Let q(x) = 8*x**2 - 1 - 29*x - 2 - 15*x**3 + 16*x**3 + 8*x. Let r be q(-10). Solve 0 = r*l - 4*l for l.
0
Let l = -1 - -21. Suppose h = -l + 24. Solve 0 = v - 2 + h for v.
-2
Let h be (35/7)/(2 - 1). Suppose -2*x - 6 = -h*n, -5 + 3 = -x. Solve 0 = -r + 2*r - n for r.
2
Let f(v) = v**3 + v**2 + 3*v - 1. Let x be f(2). Solve 16*n - 2 = x*n for n.