 -q*f + 6 for f.
3
Suppose 0 = -2*g + 35 + 7. Suppose 17*l - g*l = -12. Solve -2 = -l*p - 17 for p.
-5
Let v(s) = s + 15. Let k be v(7). Let b = 27 - k. Solve 2*o - b*o - 15 = 0 for o.
-5
Suppose -5*f + 3 = -3*l - 2, 3*f = -3*l + 27. Suppose -2*j + 11*t - 14*t = -16, 0 = -3*j - 3*t + 24. Solve -2*b + j = -f*b for b.
-4
Let i(g) = -g + 3. Let z be i(3). Let y be 1 + (-7 - z - 1). Let u = -7 - y. Solve u = -2*j + 4*j + 4 for j.
-2
Let o be (-3 - -8)/((-35)/(-14)). Solve 8*i + o + 6 = 0 for i.
-1
Suppose 4*o - 3*p + 27 = 9*o, -5*p = -3*o - 11. Let u be (-4)/(-6) - 22/33. Solve 2*v - o*v = u for v.
0
Let v be 6/(-2) - (-16)/(96/54). Solve p = v*p for p.
0
Suppose 2*c = 4*i + c - 30, i = -5*c + 18. Let v be (-2)/i + 399/28. Solve -4*t = v + 6 for t.
-5
Suppose 4*z + 12*z = 96. Solve -6 = 3*l + z for l.
-4
Let i(q) = -2*q**2 + 14*q - 9. Let n be i(6). Let z(a) = a**3 - 3*a**2. Let d be z(n). Suppose -4*k - 12 = -4*o, o - 5*k + 5 = -d*o. Solve l + 0*l = o for l.
5
Suppose 5*w - 8*w + 4*m + 72 = 0, 3 = -m. Solve h = 5*h - w for h.
5
Let i be ((-1)/(8/12))/((-6)/8). Solve i*l - 28 = -5*l for l.
4
Let v(o) be the second derivative of o**4/12 + o**3/2 + o**2 + 8*o. Let z be v(-3). Suppose 0 = -6*m + 3*m + z*d + 26, 11 = 2*m + 5*d. Solve -m = f + f for f.
-4
Let x = -82 + 86. Suppose 0 = 5*j - 5*d + 5, 0 = 2*j - 4*d - 0*d + x. Solve j = l + 1 + 4 for l.
-5
Suppose 135 = 3*z + 5*s - 290, -3*z + 416 = -4*s. Suppose 6*y + 8 - 50 = 0. Suppose 0*r = y*r - z. Solve -3*f = f + r for f.
-5
Let a(u) = -11*u + 47. Let t be a(4). Solve 5*d = -t*d + 16 for d.
2
Let c(b) = 2*b**3 - b**2 + 1. Let t be c(1). Suppose -m - 4*m = w - 3, -5*w + 69 = -t*m. Let y be 3*(1 + 0) + w. Solve o = -3*o - y for o.
-4
Let y be 21/49 + (-571)/(-7). Solve -4 = -78*p + y*p for p.
-1
Let m be ((-12)/14)/((-7)/(686/21)). Solve 14 = -5*f + m for f.
-2
Suppose -44*d = -43*d - 11. Solve d = -3*c - 4 for c.
-5
Let h be 4/(-6) + 52/6. Let w(t) = -t**2 - 73*t - 576. Let m be w(-64). Solve -z - z + h = m for z.
4
Suppose 5*t = -4*t + 3*t. Let k be 2 - (-3 + t) - (4 - 2). Solve 12 = -k*u - u for u.
-3
Suppose 3651*i + 60 = 3657*i. Solve 0 = k - 11 + i for k.
1
Let q = 3 + -1. Suppose 3*v - 5 = 2*z, -q*v + v + 1 = -z. Solve -s = v*s for s.
0
Let l(s) = 4*s - 4. Let j be l(2). Let t be 6/51 - 404/(-34). Suppose -2*i + 4*y + t = 0, 2*i - y = 4 - 1. Solve o + j*o - 10 = i for o.
2
Let y be (-4)/(-10) + (-265)/(-25). Let w = 13 - y. Solve -2 = -0*u + w*u for u.
-1
Suppose 12 = -q + 7*q. Suppose 3*b = 5*o - 5, 0 = 4*b - o + q*o - 1. Solve b*h - h = 0 for h.
0
Let y = -126 + 144. Solve 0 = 5*v - 8 + y for v.
-2
Suppose -20 = -14*j + 9*j. Suppose -j*z + y + 2*y = -8, -2*z + 3*y + 4 = 0. Solve -z*b - 15 = b for b.
-5
Let p = -6 - -12. Suppose 0*m = 3*m - p. Let j be (12/8 - m)*0. Solve -1 = f - j*f for f.
-1
Let n(b) = b**3 - 4*b**2 - 7*b - 1. Let f be n(6). Suppose 4*r - 70 - 38 = 0. Let l = f - r. Solve 8 + l = -2*z for z.
-5
Let y be (-2 - -1) + -9 + 11. Let j be -1 + y - 45/(-9). Suppose u - j = -1. Solve -u = -q - q for q.
2
Suppose -22*s + 768 = 2*s. Solve -6*o = -38 + s for o.
1
Suppose t = -2*x + 6*t + 14, -2*x + t + 6 = 0. Solve 4 + 0 = -x*w for w.
-2
Let d(q) = -5*q - 73. Let x be -2 + (-89)/7 - 4/14. Let n be d(x). Solve -i - 3 = n*i for i.
-1
Let b be 0/(23/((-552)/72)). Let m be (2/4)/(2/20). Solve b*a = m*a for a.
0
Let d(y) = 4*y**3 + 7*y**2 - y - 3. Let h be d(3). Suppose 3*w = -3*a - 30 - 6, 0 = -4*w + 5*a - 39. Let z be ((-2)/5)/(w/h). Solve -4*k + z = -2*k for k.
3
Suppose 44 = 3*x - 1. Suppose 4*q - 18 = 2*v, -7*q + 3*q = -3*v - 17. Solve x = -q*r - 10 for r.
-5
Let t(z) = -z**2 - 24*z + 118. Let f be t(4). Solve -2*j = -4 + f for j.
-1
Let x be 69/12 - 3/4. Suppose -x*p + 5*h = 0, -5*p - 5*h = -0*h + 30. Let l(n) = -n**3 - 2*n**2 + n - 2. Let s be l(p). Solve s*v + 3 + 17 = 0 for v.
-5
Suppose 0 = 47*a - 14*a. Suppose 0*q - q = -2*c + 10, -2*q = 2*c - 4. Solve w + c = -a for w.
-4
Let o = 10 + -8. Solve -3*z + 15 = o*z for z.
3
Let w(m) = m**3 - 5*m**2 - 6*m + 3. Let y be w(6). Let i = 2 - 8. Let u = i + 8. Solve -y*h + u*h = -2 for h.
2
Let i(y) = -4*y**2 - 28*y + 4. Let j be i(-7). Let k = 2 + 0. Suppose -g = j*p - 3, 3*g = -k*p - 3*p - 5. Solve 0 = p*d + 2*d for d.
0
Suppose 4*a + 3*k = -334, k = -5*a - 0*a - 412. Let v be 1/(-4) + a/(-8). Solve -4*h + 6 + v = 0 for h.
4
Suppose 0 = 5*u + 332 - 122. Let n be (-114)/u - (-2)/7. Let g be -1 - 0 - -1*5. Solve 4*c - n*c = g for c.
4
Let x(r) = -r**3 - 15*r**2 + r + 23. Let b be x(-15). Solve b*k - 10 = -2*k for k.
1
Let p be (-17)/136 - ((-9)/8 + -1). Solve -3*v = p*v for v.
0
Let y = 595 - 595. Solve y = -13*g + 21*g - 8 for g.
1
Let i be (2/(-4))/((-13)/(-52)). Let a be 5 - (1 - i) - -3. Suppose a*f - 7 = 8. Solve -8 = -f*g - g for g.
2
Let f(u) = 4*u + 27. Let a be f(-6). Solve -a*d = 8 - 17 for d.
3
Let d be 11 + (3 + 10/(-3))*3. Let h be (-12)/10 + 2/d + 1. Let c = 18 + -13. Solve -k + c*k + 8 = h for k.
-2
Let k = 36 - 32. Solve -k*p + p = 12 for p.
-4
Let j = 144 + -141. Solve 9 = -4*v - j for v.
-3
Let x(d) = -2*d**3 - 65*d**2 - 33*d - 27. Let g be x(-32). Solve g*b = -3*b for b.
0
Suppose -4*n + 12 = 0, 2*i - 4*n = -2*i. Let h be -24*(i - 35/10). Let b(f) = -f**3 + 11*f**2 + 12*f + 15. Let s be b(h). Solve 2*r = -r - s for r.
-5
Suppose -4*c + 66 = -5*y, 0 = y - 2 - 0. Suppose 21*h = c*h + 8. Solve -h*f + 7*f = 6 for f.
2
Let i = -2 + 7. Suppose 0 = b - 2*b - 4*w - 40, -2*b - 28 = -5*w. Let u be (b/(-15))/((-4)/(-20)). Solve -a = -i*a + u for a.
2
Let f be 20/(-25)*((-28)/8 + 1). Suppose -4 = f*n + 4*b, 0 = -4*n + b - 5*b + 4. Solve n*q = q for q.
0
Let m(z) = -3*z - 49. Let w be m(-18). Suppose 0 = 5*j + 5*y + 5, -w*j - 3 = -0*j + 3*y. Solve j - 2 = f for f.
-2
Let z(m) = -47*m - 141. Let b be z(-3). Suppose 4*u + n - 5*n - 32 = 0, 5*n + 28 = 2*u. Solve 4 = -b*r + u*r for r.
1
Let d(p) = -4*p - 2. Let u(o) = 3*o + 1. Let t(m) = -2*d(m) - 3*u(m). Let r be t(4). Let i = 9 + r. Solve 0 = 5*z - i*z - 3 for z.
-3
Let q be (1 + -3 + 2)*(-15)/30. Solve q = 6*i + 14 - 2 for i.
-2
Let y(x) = x**3 - 3*x**2 - 6*x + 6. Let u be y(5). Let r = u + 9. Solve r = -4*o + 15 for o.
-5
Suppose 0 = 5*n + 3*h - 14 - 0, -4*h + 12 = 5*n. Suppose 4*g + 3*f = -1, -5*g = 5*f + 1 + n. Solve 2*m = m + g for m.
2
Let p = -203 - -204. Solve -5*l - p = 4 for l.
-1
Let u be (-4 - -4) + 1 + 0. Let j be u/2 + (-2)/4. Suppose 0*w - w = j. Solve w = r + r for r.
0
Suppose -4*m = -4*i + 24, 21 = 2*i - 4*m + 7. Suppose -k - 4*u - 1 + 6 = 0, -i*k = -u - 130. Solve 2*o + k = 7*o for o.
5
Suppose 4*b = 10*j - 6*j - 224, -5*j = 4*b - 316. Solve 0 = -6*u - j + 66 for u.
1
Suppose 0 = 5*y - 8*y - 3096. Let q be 2/11*1 - y/132. Solve -w + q = w for w.
4
Let o(i) = i**3 + i + 23. Let m be o(0). Let r = 25 - m. Suppose 0 = -r*k + w + 5, k - 3*k = -2*w - 6. Solve k = -f + 3 for f.
1
Let q be (-2 + 56/24)*(-1 + 7). Suppose -q*w - 5 - 3 = 0, 0 = x - 5*w - 23. Solve -2*f - x + 11 = 0 for f.
4
Suppose -2*y - 1 = -3. Let g be (y + -1)*(-5)/(-10). Suppose -3*h + 4*w + 2 + 35 = 0, -4*h + 2*w = -56. Solve g*m + 3*m = -h for m.
-5
Let k be (-152)/(-16)*(20/5 - 2). Solve 11*j + 8*j = -k for j.
-1
Let u = 15 + -6. Let i(t) = -t**2 - 11*t + 5. Let j be i(-11). Suppose -h = 2*h - o - 11, j*o + 22 = 4*h. Solve h*r + 0 = -u for r.
-3
Let i(m) = -13*m - 23. Let s be i(3). Let y be (4/5)/(s/(-15) + -4). Solve -3*g = -6*g - y for g.
-2
Suppose -231 = -18*g + 11*g. Solve -5*h - 13 + g = 0 for h.
4
Let i(c) = 3*c**2 + 13*c - 19. Let z be i(2). Suppose 24 = -u + 2*u. Suppose o - 4*j = -j + z, 4*j + u = o. Solve 2 = -2*m - o for m.
-3
Suppose 0 = -o - 54 + 3. Let p = o + 18. Let i = -25 - p. Solve 2*s + 0 - i = 0 for s.
4
Let l = -64 - -67. Solve l*x - 1 = -4 for x.
-1
Let n = 276 + -240. Solve 9*v + n = -3*v for v.
-3
Suppose -20*o - 182 = -34*o. Solve o*k = -26 - 0 for k.
-2
Suppose 25*h - 21 = 18*h. Solve -z - h = 2 for z.
-5
Let m(a) = -a**3 + 21*a**2 - 19*a - 18. Let k(r) = -r**3 - 13*r**2 - r + 7. Let p be k(-13). Let u be m(p). Solve u = 2*t - 2 for t.
2
Let v = -3 + 8. Suppose -v*h + 0*h + 3*g + 59 = 0, -2*h + 20 = -3*g. Solve h = 3*x + 1 for x.
4
Suppose s - t + 14 = 0, -5*s = t + 20 + 38. Let b = s + 16. Solve -b*m = -m - 3 for m.
1
Suppose 4*q = 3 + 1. Suppose 4*j - 21 = v, 3*v + 