z - 13, -3*t + 2*z = 0. Solve t*w + 12 - 4 = 0 for w.
-4
Suppose t = 3*t - m, 5*t + m + 14 = 0. Let q be (t/(-6))/(1/3). Solve 5*f = -6 + q for f.
-1
Let z(l) = l**2 + 6*l - 5. Let v be z(-7). Suppose -6*i = -v*i + 40. Let q be (-7)/21 + i/(-3). Solve -k = q*k for k.
0
Let a = -3 - -5. Let t be ((-3)/9)/(1/(-6)). Solve a = -t*g + g for g.
-2
Suppose -4*a = 2*a. Solve 2*d - 5*d - 15 = a for d.
-5
Let n = 78 - 78. Solve -b - 2*b + 12 = n for b.
4
Suppose -105 = 12*r - 19*r. Let i be 12/10*20/6. Solve r = i*y + y for y.
3
Let m = 26 - 20. Solve 14 = 4*p - m for p.
5
Let y be (-2 - (-4)/2)/(-1). Suppose -3*i - m + 3*m = -14, y = -i + 2*m - 2. Suppose -4*g = -3*l + 1, -3*l + l + i = g. Solve -1 - 2 = -l*x for x.
1
Suppose 1 + 7 = i. Let r(h) = h**3 - 9*h**2 + 6*h + 16. Let z be r(i). Solve z = -5*o - 17 - 3 for o.
-4
Let m(c) = -c**2 + 13*c - 10. Let n be m(10). Suppose 2*x + 8 = n. Solve 4*j - x = -2 for j.
1
Suppose 0 = 4*i - 7 + 3. Let j be (-4)/(-4)*i + 8. Solve n = -2*n + j for n.
3
Suppose 0 = -6*w - 7*w + 3*w. Solve -r + 4 = -w for r.
4
Suppose 2*n + 2*s = -0*s + 16, 0 = -3*n - 2*s + 22. Solve 0 = 2*y + y + n for y.
-2
Suppose 5*u + 2*j - 15 - 20 = 0, 5*u - 55 = 2*j. Let s be (-2 + 6/u)*-3. Let g = 15 + -13. Solve -s = -g*i + 2 for i.
3
Let x be ((-13)/65)/(2/(-50)). Solve 8 = -x*t - 2 for t.
-2
Let c = 2 - 2. Let k(j) = j**2 + 6*j + 7. Let f be k(-5). Suppose -t + c*t + 13 = 4*s, -f*s = 2*t - 8. Solve -i + s = 5 for i.
-2
Let z(m) = m**2 + 20*m. Let p be z(-20). Let w be (-8)/(-44) + (-42)/(-11). Suppose 4*t + w*f = -0*f - 4, -2*t = -3*f - 18. Solve t*i - i - 4 = p for i.
2
Let o be 0*(3 + -1)/4. Solve -4*j + 6 + 10 = o for j.
4
Suppose 0 = f + 5, -4*f - f - 26 = -l. Solve -4*i + 5 = l for i.
1
Let g(m) = -3*m + 9. Let l(k) = -k + 5. Let d(f) = 2*g(f) - 5*l(f). Let c be d(-9). Solve c*u + 5 = -3*u for u.
-1
Let y = -3 - -6. Suppose 0 = 3*s - j - 37, 3*j + 51 = -5*s + 136. Suppose -5*m + y*m = -s. Solve m*q + 8 = 3*q for q.
-2
Let f(u) = u**2 + 6*u - 3. Let s be f(-7). Let y(j) = j**2 - j + 11. Let r be y(0). Solve s = 3*t - r for t.
5
Let w(q) = -2*q**2 - 4*q + 4. Suppose 2*u + 3*j + 11 = -0*j, -3 = 3*j. Let p be w(u). Let v be (-1)/4 - 3/p. Solve -4*t + 16 + 4 = v for t.
5
Suppose -8*b = -3*b. Solve b = -0*q + 3*q + 9 for q.
-3
Suppose f + 4*f = 0. Solve f = -4*v - v - 5 for v.
-1
Let r be (6/(-6))/((-2)/6). Suppose 2 = c - 0. Solve 4*v - c = r*v for v.
2
Let r(n) = -6*n - 14. Let f be r(-3). Solve 3*x + 2 = -f for x.
-2
Suppose -5*f = v - 12, -f + 0 = -3*v + 4. Solve v = -4*a + 22 for a.
5
Suppose 4*p + 21 = -g, 73 - 28 = -5*p + 5*g. Let h(t) = 3*t. Let o be h(1). Let f be ((-2)/o)/(4/p). Solve 0 = -3*d + 11 + f for d.
4
Suppose -8 = -2*h - 2*o, -3*o - 18 = 2*h - 5*h. Solve -2*r = -h*r + 15 for r.
5
Let k(z) = z**2 + 3*z - 6. Let p be k(-5). Suppose 5*b = b. Solve b = p*n + 2 - 18 for n.
4
Suppose -2*z + z = -4. Suppose 2 = -2*s, z*p = s - 5*s + 28. Solve 3*g + p = 2 for g.
-2
Let l be 7/(-21) + 4/(36/21). Solve -l*y + 2 = -2 for y.
2
Suppose -4*h + 5*n + 471 = 0, 0 = 3*h + 2*h - 5*n - 595. Let t be h/(-4)*(3 + -4). Solve 5*k = -6 + t for k.
5
Suppose 5*m - 31 = 2*v, 0 = 4*v + 3 + 9. Solve 1 = 4*r + m for r.
-1
Suppose f = -0 + 4. Let y(p) = p**3 - 6*p**2 - 3. Let d be y(6). Let v = 0 - d. Solve f*c + 4 = v*c for c.
-4
Let v = 1 - 5. Let t = 4 + v. Solve 8 + t = -2*k for k.
-4
Suppose o + 2*f - 11 = 0, 8*o - 4*o + f = 23. Solve o = -2*r + r for r.
-5
Let c = -71 - -75. Solve -v + c = -0*v for v.
4
Suppose 2*x = -0*x + 10. Suppose -2*g - 78 = 4*p, p + 51 = -p - x*g. Let i be (-32)/p + 2/9. Solve -2*q = -6 - i for q.
4
Suppose 0 = 5*b - 7*b - 2*v + 2, -2*b = -2*v + 18. Suppose -5*r - 2*m - 8 = -20, -5*r - 3*m + 8 = 0. Let f = r - b. Solve -l + f = l for l.
4
Let s(n) = n**3 + 2*n**2 - 3*n + 3. Let b be s(-3). Let w be b - (0 + 2 + 1). Suppose w = 3*m - 7 - 14. Solve -m*v = -3*v + 4 for v.
-1
Suppose -3*c + 4 = -2*c. Suppose d - 2*d = 0. Suppose 2*l = -5*o - l + 27, 4*o + 2*l - 22 = 0. Solve d = -c*j + 6*j + o for j.
-3
Let v(s) = 16*s**3 - s**2 + 2*s - 1. Let n be v(1). Suppose 4*r = -0*r + n. Solve 5 + 3 = -r*t for t.
-2
Suppose 2*j + 0 + 19 = -5*f, 0 = -f - 5. Solve 0 = 4*m - j + 11 for m.
-2
Let o = 71 + -68. Solve -15 = o*x - 0*x for x.
-5
Suppose 3*n + 5*a = 56, -5*n = -n - 4*a - 32. Suppose -n = -2*o + 2*f, 3*f = 5*o + 2*f - 14. Solve -4*i = -o*i for i.
0
Let y be (-4)/(-3)*6/4. Solve y*a = 7*a + 10 for a.
-2
Let w be 2 - 3 - 0 - -17. Suppose -2*i + w - 4 = 0. Solve -i*p + p = 15 for p.
-3
Suppose 2*f + v = 38, 0*f + 5*f - 5*v = 110. Solve 0 = 3*x + f - 5 for x.
-5
Suppose -8 = -4*j + 4*v + 4, -2*j - 2*v + 10 = 0. Suppose -j*i + 10 = i. Solve -i*k = -4*k for k.
0
Let f(u) = u**3 + 5*u**2 - u - 3. Let x = -2 + -3. Let j be f(x). Solve 5 = -j*l + 3 for l.
-1
Let f(b) = -3*b**2 + 17*b + 9. Let y be f(6). Solve 0 = -y*k - k - 16 for k.
-4
Let h be (0/2)/(-3 + 6). Suppose 0 = -7*g + 2*g + 15. Solve h = -3*o - 0 - g for o.
-1
Let s be 20/2 + (-5)/5. Let o(r) = r - 5. Let d be o(s). Let i(q) = -2*q. Let c be i(0). Solve -2*n + d*n - 10 = c for n.
5
Let p be (-18)/24 + (-15)/(-4) + -1. Solve -3*g + 5*g = -p for g.
-1
Let h(f) = f**2 - 11*f + 13. Let c be h(10). Solve -c*i - 4 = 8 for i.
-4
Let s be ((-4)/(-6))/(4/(-6)). Let x be 145/20 - s/(-4). Suppose 3*p + k = 26, 5*k - 41 = -3*p - x. Solve -p - 7 = -3*a for a.
5
Let f = 0 - 1. Let m(u) = u**2 - 8*u + 1. Let w be m(4). Let k be w*(1 + 0)*f. Solve k = 4*g - g for g.
5
Let q be (63/18)/((-2)/(-4)). Solve -3*p + q + 2 = 0 for p.
3
Let u = 25 + -38. Let f = -10 - u. Let i be f/(-6*(-3)/12). Solve i*q = -1 + 9 for q.
4
Let n(o) = -2*o - 10. Let x be n(-8). Let q = -8 + x. Let r be 2*3 + q + 0. Solve -f = -0*f - r for f.
4
Suppose w + 4*n = -2 - 5, -45 = -5*w - 4*n. Let m = w - 5. Solve b + m = -b for b.
-4
Suppose -3*p - 2*n = 3*n - 30, -5*p = -5*n - 10. Solve 11 = -p*l - 4 for l.
-3
Let z(f) = -f - 9. Let k be z(-11). Let y be k/2 - (5 + -4). Solve y = -2*u + 3*u - 5 for u.
5
Suppose -2*w - 6 = w - 4*a, -30 = 4*w + 2*a. Let y = 9 + w. Solve 0 = -0*d + y*d - 12 for d.
4
Let k(q) = -6*q - 9. Let d be k(-2). Solve -p = d*p for p.
0
Suppose -3 - 2 = y. Let s = y + 7. Suppose 0 = s*x + 8 - 18. Solve -2*w = -x*w - 12 for w.
-4
Suppose 4*k + 3 = 5*k. Suppose 5*n = k*n + 22. Let x = n - 10. Solve -5*m = x - 16 for m.
3
Let r = 32 - 23. Let h be 168/30 - r/15. Solve -k = -h*k for k.
0
Suppose s - 3*n + 21 = 6, -4*n + 16 = 0. Suppose -v + 1 = 25. Let a be ((-3)/(-4))/(s/v). Solve -5*z = -a - 19 for z.
5
Let v be (-1 - -3)/(2/15). Let u be (-2)/(2/(-4) + 182/252). Let a = v + u. Solve -4*k = 2 - a for k.
1
Let s be 4/12 - (-2)/(-6). Solve -2 = -s*r - r for r.
2
Let t = -20 + 31. Suppose 0 - t = o. Let r = 11 + o. Solve 2 = -r*f + 2*f for f.
1
Let b(z) = z**3 + 8*z**2 + z + 5. Let j be b(-8). Let m be (0*1/j)/2. Solve 0*i - 5*i - 15 = m for i.
-3
Let f(a) = -3*a + 67. Let c be f(21). Suppose 2*d - 8 = -v - 3, -5*v = 3*d - 60. Solve -r + v = -c*r for r.
-5
Let i = -33 + 36. Solve -i*v + v = 0 for v.
0
Let s(z) = z**3 - 2*z**2 - 2*z - 3. Let t = 4 - 1. Let b be s(t). Suppose -q - 19 = 2*u - 6*q, b = -u + q - 2. Solve 4 - 1 = u*i for i.
1
Let n = -62 - -65. Solve 2*f - 10 = -n*f for f.
2
Let i = 2 - 1. Let n be 3 - (-2)/6*-3. Suppose 3*q + n*m - 7 = 0, 4*q + 4*m - 6 = 2. Solve -i = 2*p + q for p.
-2
Let t(x) = -x**3 + 10*x**2 - 9*x + 4. Suppose k = -3*k + 36. Let j be t(k). Let o be (-176)/(-28) + (-2)/7. Solve o = j*n - n for n.
2
Suppose 0 = -5*h + 2*a - 4, 0 = -2*h + a - 0 - 2. Solve h*u + u = -1 for u.
-1
Suppose -2*n = -n - 2. Let f = 16 - n. Solve f + 11 = 5*q for q.
5
Suppose -1 = l + 2*y + 4, l - 1 = y. Suppose 0 = -a + 4*t + 25, a - 10 = -3*a - 2*t. Let r = a - l. Solve j = -j + r for j.
3
Let y be 37/7 + 2/(-7). Let l(p) = 0 + p + 7 - 2. Let n be l(y). Solve -b + n = b for b.
5
Let q = -6 + 2. Let v = q - -8. Solve -v*z - 12 = -z for z.
-4
Suppose 0 = -2*v + 134 - 14. Suppose 4*n = -n + v. Solve -4*w - n = -w for w.
-4
Let z(k) be the third derivative of -k**6/120 + k**5/12 + k**4/6 + 3*k**2. Let h be z(5). Solve h = -7*w + 3*w for w.
-5
Let j(x) = x - 9. Suppose 4*m + 0*m = 4*v + 64, -2*m - 10 = 0. Let y = v - -30. Let q be j(y). Solve q = -5*b + b for b.
0
Let g = 7 + -5. Suppose 4*i - 32 = 