 = 5*f + 3*a - 18. Solve v = -v + f for v.
1
Let d(i) = i**2 - 5*i - 12. Let o be d(6). Let k be (2/2 - 0)/(o/(-24)). Solve -k*m + 3*m = 3 for m.
-3
Suppose 0 = 17*u - 6*u. Solve -j - j = u for j.
0
Suppose 0 = -2*a + 6. Suppose -4*u - 2*x - 8 = -3*u, 16 = 2*u - 4*x. Suppose 5*i = a*h - 7, u = 6*i - 3*i - 3*h + 9. Solve k + 3 = i for k.
-2
Let a = 5 - -10. Let u(r) = -5*r + 3*r - 5*r - 13 + 5*r + 3*r. Let d be u(a). Solve 0 = 3*j + 17 - d for j.
-5
Let b(q) = 16*q + 2. Let m be b(1). Let u be -6*(4 - m/4). Solve -u = -2*o + 7 for o.
5
Suppose 5 = -234*r + 235*r. Solve -7*k - r = -12*k for k.
1
Let c be (-44*4/(-66))/((-4)/(-6)). Solve 2*o = -c*o + 24 for o.
4
Let w(k) = -k**3 - 9*k**2 - 7*k + 11. Let o(n) = 2*n - 2. Let h be o(-3). Let m be w(h). Suppose 0 = s - m*s. Solve s = 3*a - 0*a for a.
0
Let w = 116 - 101. Let g = 5 + w. Solve 3*h + 2*h = -g for h.
-4
Suppose 1 + 3 = 2*a. Suppose 3*v - 4*u - 15 = -u, 14 = 3*v - a*u. Suppose 0 = -5*h - 4*w + 20, -v*w - 12 = -6*h + 3*h. Solve h*i = i for i.
0
Let p(x) = 8*x - 12. Let a be p(3). Suppose 16*h - 20*h + a = 0. Solve 4*f = h + 5 for f.
2
Let a = -51 + 63. Let y be (2/a*-2*0)/(-1). Solve -p - 3 = -y*p for p.
-3
Let f(b) = b**3 - 41*b**2 + 37*b + 149. Let r be f(40). Solve 0 = -r*h + 31*h - 8 for h.
4
Let t(n) = -n**2 - 6*n + 4. Suppose -3*s = 9, -g + 0*s + 5*s + 9 = 0. Let x be t(g). Solve -1 + x = v for v.
3
Suppose -2*a - b = 0, -9*a - b = -11*a. Solve 6*q + 0*q - 12 = a for q.
2
Let b(y) = -y**2 + 8*y - 1. Let f be b(4). Suppose -3 = -3*z - f. Let q be 2 + -3 + 10 + z. Solve -2 + q = n for n.
3
Let c = 50 + -30. Suppose -5*b - c = -30. Solve 0*z - b*z = 2 for z.
-1
Let v = 8 - 6. Suppose -5*s + 13 + v = 0. Suppose -s*m = m. Solve -3*x + 1 - 13 = m for x.
-4
Let r(g) = -2*g + 6. Let u be r(5). Let l(i) = i**3 + 6*i**2 + 6*i + 2. Let p be l(u). Solve k + p = -k for k.
-5
Suppose -13*u + 1344 = -5*u. Suppose 0 = 2*w - 10*w + u. Solve -1 + w = 4*i for i.
5
Let f(n) = -n**3 + n**2 + n + 2. Let z be f(0). Let m be (z - 3)*(4 - 3). Let o be m/(-2)*(5 - 1). Solve -o*j - 1 = -3*j for j.
1
Suppose -302 = -76*v + 838. Solve -v*q + 4 = -13*q for q.
2
Suppose 29 = 4*k - 35. Suppose 8 = -4*r + k. Solve z + r + 1 = 0 for z.
-3
Let o = -13 - -90. Let w = o - 76. Solve -2*z - w = 5 for z.
-3
Suppose -g + 32 = g. Let i(l) = 5*l + 1. Let r be i(-1). Let k be ((-2)/r)/(2/g). Solve 3*b = 5*b + k for b.
-2
Let f = 45 + -44. Let j be 5/(1*(0 - -1)). Solve -4*g = -j*g - f for g.
-1
Let y(m) = -2*m**2 + m - 13. Let k be y(4). Let j = k - -44. Solve 5 = 4*r - j*r for r.
5
Let t(v) = -v + 7. Let c be t(5). Suppose -4*w = -6*w. Solve w = -m + 2*m + c for m.
-2
Suppose 12*b - 14*b + 10 = 0. Suppose -5*k - 8 = -k, 4*g + b*k + 6 = 0. Solve 0 = -3*p + 4*p - g for p.
1
Let l be ((-6)/27*-69)/(2/3). Suppose 0 = 8*z - l - 33. Solve 2*w = z*w for w.
0
Suppose 28 - 16 = 3*j - u, 16 = 4*j + 5*u. Solve -j*m + 6 - 14 = 0 for m.
-2
Let j = 101 + -153. Let z be (-169)/j + (-1)/4. Solve -3*k = -2*k - z for k.
3
Suppose 0 = 290*w - 289*w. Solve 5*g + 16 + 4 = w for g.
-4
Suppose c = 5*k - 6, 0 = -2*k + 5*k - 2*c - 5. Let j = k + 2. Solve -j*n - 11 = 4 for n.
-5
Suppose 0 = 2*f - 4*f - 120. Let c be f/(-9) - (-10)/(-6). Solve c + 0 = -5*h for h.
-1
Let i be 1*(38/2 - -1). Solve i = 13*m - 23*m for m.
-2
Let z = 4 + 0. Let s be z - (4 + (-4 - -4)). Solve s*w = -2*w - 4 for w.
-2
Let q(f) be the first derivative of f**4/4 - 23*f**3/3 + 23*f**2/2 - 18*f + 19. Let g be q(22). Solve -4*j + 3*j = g for j.
-4
Let b = -17 + -36. Let w = 56 + b. Solve 0 = -3*v - 15 + w for v.
-4
Let x = -160 + 170. Solve -x*o = -2*o + 40 for o.
-5
Suppose 0 = -4*d - 7 + 43. Let r(s) = -d - 6*s - 2 + 9. Let h be r(-1). Solve 0 = -0*c + h*c + 8 for c.
-2
Suppose 0*f = -5*f. Let b = -4 + f. Let n = 4 + b. Solve -2 = -n*q - q for q.
2
Let z = -319 + 319. Let r = 13 - 9. Suppose 15 = r*v - 33. Solve z*c = -4*c + v for c.
3
Let s be 1497/21 - (-2)/(-7). Let g = s + -119. Let j = g - -69. Solve 0 = -5*y + j - 6 for y.
3
Suppose i + 7 = -4. Let m = i + 15. Suppose 0 = -x - x + m. Solve x*d + 3*d + 25 = 0 for d.
-5
Let w = -59 - -63. Solve -8*l = -w*l for l.
0
Let y be (1 + -2 + 2)*-20. Let i = 21 + y. Suppose 41 = 5*h + 3*m, -m - 25 = -3*h + 8. Solve -3*r - h = -i for r.
-3
Let n be (-56)/(-12) - -5*(-2)/6. Solve 0 = -n*v - 3 - 3 for v.
-2
Let v(j) = 26*j + 4. Let x be v(0). Solve 12*g - 48 = -x*g for g.
3
Suppose -5*s + f = -33, -s + 38 = -3*f + 23. Solve -h + 1 = s for h.
-5
Let n = -3 - -6. Let h = n - 3. Suppose -143*o = -135*o - 16. Solve -2*t = o - h for t.
-1
Let j(o) = 3*o**2. Let n = -12 - -6. Let v be (3 - 1)*3/n. Let i be j(v). Solve 7*w = i*w + 20 for w.
5
Let p = 1002 + -992. Solve 28 = -p*u - 22 for u.
-5
Suppose -2*d = 2*v - 6*d + 16, -4*d + 16 = v. Suppose v = b + 5 - 4. Let a = b - -1. Solve a = 4*p - 6 - 6 for p.
3
Let q be (11376/(-81))/(-16) - 2/(-9). Solve q*p = 15*p + 6 for p.
-1
Let q(t) = 3*t + 17. Let z be q(-5). Suppose -z = -13*n + 11*n. Solve -5*c - n = 9 for c.
-2
Let r be 3/(-15) - (-7 + (-610)/50). Solve 24*j + 15 = r*j for j.
-3
Let s(l) be the third derivative of l**6/120 + l**5/12 - l**4/24 - l**3/6 - 21*l**2. Let j be s(-5). Solve 4*d - j = -0 for d.
1
Let k(y) = -y**2 - 9*y + 2. Let b be (-1)/((-3)/(3*4)). Suppose b*a + 9 = -5*c - 3, -2*c = -8. Let l be k(a). Solve -u - u = l for u.
-5
Suppose 2*u = -0*u - 10, 22 = y - 4*u. Solve -y*m - 3 = 3 for m.
-3
Let g = -21 + 21. Let z = g - -15. Solve 0 = -f + 4*f + z for f.
-5
Suppose 8 + 94 = 17*n. Solve -9*o = -n*o - 12 for o.
4
Let i = -66 + 69. Solve -v - 2 = i for v.
-5
Suppose -7 = 2*c - 21. Suppose -12*h + 15 = -c*h. Solve h - 1 = -2*r for r.
-1
Let m = 19 - 15. Suppose 8 = m*k - 8. Solve -c + 6 = -k*c for c.
-2
Let y be 54/21 + 1/(-7)*-3. Solve 10*j - y*j - 21 = 0 for j.
3
Suppose -4*t - 40 = 32. Let f be (6/18)/((-2)/t). Solve j + f = 1 for j.
-2
Let x(q) = -2*q**2 - 11*q + 19. Let h(y) = 3*y**2 + 23*y - 40. Let o(m) = 3*h(m) + 5*x(m). Suppose 2*k + 55 = 7*k. Let i be o(k). Solve -i = -2*p + 2 for p.
5
Let l be 32/6*1350/200. Solve 13*z = 4*z + l for z.
4
Let i = -75 + 87. Let m be (-10 + i)/((-1)/((-10)/4)). Solve c - m = -0*c for c.
5
Suppose 2*d = 35 - 25. Suppose d*b - 3*q = 15, -7 = -3*b + q + 2. Solve b*a + 2 = 2*a for a.
-2
Let v(a) = -a**3 + 11*a**2 - 18*a - 6. Let s be ((-5)/(-20))/(1/36). Let y be v(s). Let j be y/9*-3 - 0. Solve 2 = -2*r - j for r.
-2
Suppose p - 1 = 10. Let s(l) = l + 6. Let a be s(-2). Suppose 4*u + 16 = 2*t, -a*t - 4*u + p = 3. Solve -t = -3*f - f for f.
1
Let s be -1 - -6*(-2)/(-2). Solve 0 = h + 1 - s for h.
4
Let v = -96 + 98. Solve -v = -o - 7 for o.
-5
Suppose 365 = -10*i + 15*i. Solve -i*u = -74*u + 1 for u.
1
Suppose 0*w + 2*w + 4 = 0. Let c be 10 + -11 - 1*w. Let a(m) = m**3 - 8*m**2 + 8*m - 5. Let s be a(7). Solve -c = -s*z - 7 for z.
-3
Suppose -5*p = -3664 + 3654. Solve p*s + 4 = 2 for s.
-1
Let q(r) = r + 14. Let a be q(-9). Suppose 0 = -a*v + 4*v + 25. Solve 3*k - v = -2*k for k.
5
Suppose 6 = -58*i + 61*i. Solve -8*w = -i*w - 24 for w.
4
Let q(x) = x**3 - 14*x**2 + 12*x + 28. Let y be q(13). Let d be (22/33)/(2/y). Solve -d*r = 12 + 3 for r.
-3
Suppose t + 2 = 2*y, -3*y + 2*y + 4*t = 6. Suppose -f + y = -w, -3*w - f = -14 - 0. Solve -r - 10 = -w*r for r.
5
Let p(m) = -11*m**2 - 31*m + 39. Let t(h) = 5*h**2 + 15*h - 19. Let i(r) = 6*p(r) + 13*t(r). Let a be i(6). Suppose -27 - a = -8*j. Solve q - 1 = -j for q.
-3
Let h(u) = u**2 + 6*u - 7. Let b = 21 + -28. Let a be h(b). Let p be -7*(1 - a - 2). Solve -5*z = 18 + p for z.
-5
Suppose 170*p - 88 = 168*p. Solve -6 + p = 19*z for z.
2
Let k = -53 + 64. Suppose 7*u + k*u - 19*u = 0. Let b(n) = -5*n - 1. Let l be b(-2). Solve -3*r + 0*r - l = u for r.
-3
Suppose -6*v = -v. Let o be 1/((v + -3)/(-9)). Suppose 0 = 2*i - o*i. Solve i*x + x = 5 for x.
5
Suppose -9*h + 4*h = -25. Let u = 27 - 45. Let g be (u + -4)*(-2)/4. Solve h*t + 4 = -g for t.
-3
Let b = -803 - -806. Solve s + 1 = b for s.
2
Let z be ((-3)/(-2))/(5*5/500). Suppose 3*m + 7*m - z = 0. Solve -m = 2*s - 7 for s.
2
Let l(z) = z**3 - 13*z**2 - z + 18. Let x be l(13). Suppose -5*m - 5*p = -40, m + 24 = x*m - 4*p. Suppose 5*y = -m + 22. Solve -h + y*h + 8 = 0 for h.
-4
Suppose -5*x = s + 4, 4*s + 2*x - 18 = -x. Let j be (s/18)/(1/