4*j = v for j.
3
Let z be ((-32)/56)/(2/(-7)). Suppose -14 = -2*v + 5*d, z*v - 14 = 5*d - 6*d. Suppose -v*g = -11*g + 8. Solve g*c = 3 + 3 for c.
3
Let r be (-1 - (-3)/5)*-5. Suppose -1 = r*j - 9. Solve 8 = j*y - 0 for y.
2
Let s = 1 + 1. Suppose -3*u + 6 = n - 2, s*u - 24 = -3*n. Solve -4*q + 0*q = n for q.
-2
Suppose -175 = s - 4*m + 69, 5*m - 247 = s. Let h be (-2755)/s + (-2)/(-16). Solve 4*d - d = h for d.
4
Let a = -31 + 31. Suppose -17 = -5*s - 2. Let q = 5 + -3. Solve a = q*o + s + 1 for o.
-2
Suppose 5 = 2*s + l + 30, -2*l - 8 = s. Let t = s + 26. Let v = 15 - t. Solve -v*d + d = 8 for d.
-4
Suppose -3*x = -9 - 6. Let m(p) = 13 + 3 - p - 16 + 7. Let r be m(x). Solve r*i + 6 = -4 for i.
-5
Suppose -19*i - 765 = -10*i. Let y = i - -87. Solve y*j = 6 + 2 for j.
4
Let v be (2 + (-6)/2)/(7/(-49)). Let c = -5 + v. Solve 3*j + c = 2*j for j.
-2
Let a be ((-139)/417)/((-2)/(-2 + 158)). Solve 0 = -18*k - a*k + 38*k for k.
0
Let z(c) = c**2 + 8*c - 2. Let j be z(-10). Let a = 5 - j. Let t = a - -13. Solve t = w - 5*w - 16 for w.
-4
Suppose -5*i + 4*k - 8 = 0, -k = 3*i - 0*i - 2. Suppose 3*o - j - 516 = -497, 3*o = -4*j - 16. Solve i = 2*r - 3*r - o for r.
-4
Let j(s) = 28*s**2 - s - 1. Let v be j(-1). Let t be (v/(-8))/(-1) + (-1)/2. Solve -12 = -t*k - 0 for k.
4
Let n = 28 + -16. Suppose -3*w + 3*t = n, -6*w + 4*t - 16 = -8*w. Solve w = 2*d - 3 + 5 for d.
-1
Let t(r) = r**3 + 13*r**2 + 18*r - 34. Let s be t(-11). Solve -s*d - 53 = -13 for d.
-4
Let f(m) = m**2 - 8*m + 9. Let o be f(7). Suppose j = -o*r + 27, 0*j + 2*j + 1 = r. Solve 0 = 2*b + 1 - r for b.
5
Let z(g) = -3*g**3 - 6*g + 1. Let q be z(5). Let h = q + 180. Let b be 4/(-14) - h/98. Solve -2*y - 2 = b for y.
-2
Let p(a) = -a**3 - 12*a**2 + 20*a + 91. Let b be p(-13). Solve -6*w + 18*w - 60 = b for w.
5
Suppose -5*s - 3 = -5*v + 4*v, 4*s = -4*v + 36. Let q be 4/(-10)*80/(-4). Solve v = -4*f - q for f.
-4
Let j be 254/10 - 252/(-420). Solve 3*r - 14 = -j for r.
-4
Let f = -24 - -29. Let i be 2/8*(-1 + f). Solve 5*q - i + 6 = 0 for q.
-1
Let r(m) be the first derivative of -m**2/2 - 14*m + 39. Let j be r(-16). Solve j*f + 15 = 7*f for f.
3
Suppose 58*q - 1494 = 1406. Solve 2*p - 50 = -q for p.
0
Suppose 2*x - 4*x + 24 = -v, 38 = 4*x + 3*v. Let g(c) = -c + 14. Let q be g(x). Let s = -25 - -28. Solve 0 = -s*m + 3 + q for m.
2
Let h = 307 - 307. Solve -r + 3*r = h for r.
0
Let v = 2 + 10. Suppose -3*r - 5*w - v = -3, 0 = -r + 4*w + 14. Solve -r*j + 0 = -2 for j.
1
Suppose -i = -5*i + 56. Suppose 3*d - 21 = 3*o, -i*o + 13 = 2*d - 15*o. Solve 1 = -n + d for n.
5
Let b = 867 - 860. Solve b*y - 5 = 9 for y.
2
Let p be (-3)/5 + 18/30. Let f = 0 + p. Suppose -b - 3*b + 44 = f. Solve 4*a - 1 = b for a.
3
Let j(b) = b**3 + 6*b**2 + 8*b + 9. Let w be j(-6). Let f = -37 - w. Solve 4*t - 10 = -f for t.
2
Suppose -15*z + 16 = -11*z. Suppose -4*o + z + 32 = 0. Solve 3*c + 0 = -o for c.
-3
Let h(k) = -4 - 4 + 4*k + 7. Let n be h(1). Solve -2*r - n*r - 25 = 0 for r.
-5
Let b = -1 + -1. Let n be (3 + (b - 0))/1. Solve 0 = -4*p - n - 3 for p.
-1
Let p(f) be the second derivative of f**3/6 + 13*f**2/2 - f. Let j be (-4 + (-9)/(-2))/((-2)/44). Let q be p(j). Solve -q*w - 2 = 4 for w.
-3
Let k be 1/(141/(-69) + 2). Let x = 26 + k. Solve 0 = -0*r + x*r for r.
0
Let g = -5 + 9. Let k(o) = 2*o - 6. Let y be k(g). Suppose -s + 1 = -y*s - l, -4*s - 2*l = 0. Solve -2 = a - s for a.
-1
Suppose -146*f + 133*f + 117 = 0. Solve -f = -2*t - 11 for t.
-1
Let d(f) = f**2 + f - 1. Let x(p) be the first derivative of 2*p**3 + p**2 - 10*p - 1. Let k(c) = -5*d(c) + x(c). Let a be k(5). Solve -a = -5*v - 0*v for v.
1
Suppose -78*j = 39 - 897. Solve j*a = 12*a - 2 for a.
2
Suppose -8*k = -2*k - 36. Let d = k - 4. Solve d = -0*o - o for o.
-2
Suppose -168 + 21 = 3*q. Let r = -36 - q. Solve -4*p + r + 3 = 0 for p.
4
Let w = -569 + 584. Solve -6*x + w = -x for x.
3
Let m = 12 + -2. Suppose -5*n - 4*a = -30, n = -2*a + 2 + m. Solve -n*i = 3*i for i.
0
Let k be (-6 + 6 - 1) + (-1 - -2). Suppose 0 = -z - k*z + 5. Solve 2*d - z = d for d.
5
Suppose -4*g = -0*g - 16. Suppose 3*v + g - 19 = 0. Let b be v/2 - 2/4. Solve -b*s = -3*s for s.
0
Let m = -1092 + 1103. Solve -m = 3*u - 20 for u.
3
Let f = -23 + 25. Let h be -4*1/(-2) - f. Solve h*i - 20 = 5*i for i.
-4
Let u = -260 - -262. Solve -w + u = 4 for w.
-2
Let o = -41 + 97. Let p = o + -56. Solve 0 = -p*t - 5*t - 10 for t.
-2
Let c = 38 - 95. Let z = -54 - c. Solve i = 2*i + z for i.
-3
Let f(m) = m**3 - 8*m**2 + 13*m - 68. Let i be f(8). Solve s + 8*s - i = 0 for s.
4
Let y(v) = v**2 - 4*v - 13. Suppose -4*h + 26 + 18 = 0. Let s be y(h). Suppose -3*d + 41 = -4*u, 5*d - s = d - 4*u. Solve 2*b + 3*b = d for b.
3
Suppose 17*u - 286 = 30*u. Let l(k) = -k + 26. Let z be l(0). Let w = z + u. Solve -w = -8*c + 4*c for c.
1
Suppose 4*y - 36 = -y + 4*g, -24 = -5*y + g. Suppose 4*u - 8 = y. Let z be (-1 - (-13)/7)/((-69)/(-322)). Solve -u*t = -z*t + 4 for t.
4
Let f be 12/(-9)*-3 + -2. Suppose 5*c - 30 = -f*t + 9, -5*t = c - 40. Suppose 3*j = -s + 7, -4*j - t = -3*s + j. Solve -4 - s = 4*v for v.
-2
Suppose -39*f + 40*f + 32 = 0. Let u = 44 + f. Solve 2*z + z - u = 0 for z.
4
Let u(n) = 16*n + 34. Let p be u(-11). Let m = -138 - p. Solve l = m*l for l.
0
Let r = 45 + -30. Let x(m) = m**2 - 14*m - 15. Let w be x(r). Solve 7*o - 2*o - 10 = w for o.
2
Suppose -8*d + 209 = 11*d. Solve 0 = 10*x - d*x for x.
0
Suppose -4*h = 2*a + 490, -h + 369 = -4*h - a. Let f = 128 + h. Solve f = -2*r - 0 for r.
-2
Let w(x) = x**2 - 21*x + 40. Let i be w(19). Solve 3*j = 2*j + i for j.
2
Suppose -u = -l - 3, -4*u + 30 = -u + 4*l. Solve -13*s = -11*s + u for s.
-3
Let i(a) = a**2 - a. Let v be i(1). Suppose 0 = 4*h + l - 17, 5 = -3*l + 4*l. Suppose -h*p - 9 = -18. Solve v = -p*x - 2*x + 10 for x.
2
Suppose 0 = -107*q + 102*q + 120. Solve q = 10*y - 4*y for y.
4
Suppose z - 35 = 5*g, -4*g = 2*z - g - 57. Suppose -11*n + z = 4*n. Suppose 0 = 4*j + 5*k - 27, -j + 28 = 3*j + 4*k. Solve -n*f = 2*f + j for f.
-2
Let f(s) = -6*s + 20. Let h be f(-7). Let i = h - 59. Solve -4*d - i = 9 for d.
-3
Let c be (0 - -1) + 8 + -5. Let n = c - 4. Let w = 11 - 5. Solve -w*t + 2*t = n for t.
0
Let w(z) = -4*z**2 + 2*z**3 + 105*z - 102*z - z**3. Let a be w(3). Solve a = -4*j + j - 9 for j.
-3
Suppose 3*t + 5*j = -25, -t + 2*j = -0*t - 10. Solve 5*w - 9*w + 12 = t for w.
3
Suppose 20*u = -11*u + 93. Solve 6*r + 45 = -u*r for r.
-5
Let b(l) = -l. Let v be b(-4). Suppose 32 = v*d + 5*h, -3*d - h = -5*h + 7. Suppose 3*w = d*r - 12, 5*w + 8 = r - 12. Solve 3*q + 0*q + 6 = r for q.
-2
Let o be 1 + (2 - 2 - 0). Let f(q) = 3*q + 1. Let g be f(o). Let k be 2*(45/6 + -3). Solve -k = g*i - i for i.
-3
Let c(h) = h**3 - 53*h**2 + 103*h - 29. Let x be c(51). Solve x*v = 19*v + 6 for v.
2
Let z(t) = -t**3 + 35*t**2 - 2*t + 74. Let p be z(35). Solve 0*g + 12 = p*g for g.
3
Suppose 0 = z - 0*z - n - 2, -4*z = -2*n - 10. Solve z*g = 3 + 3 for g.
2
Let k be -2 + (0 + -3 - -9). Suppose -4*y + 4*a = k, -a = 2*y + 4*a - 19. Suppose 0 = y*f + f. Solve 2 = -f*s - s for s.
-2
Let w = -638 - -644. Solve w*r = -4*r + 11*r for r.
0
Let t(u) = 34*u - 127. Let a be t(4). Solve -3*g = -0*g - a for g.
3
Let u = -319 - -325. Solve 9 - u = -3*k for k.
-1
Suppose 0 = -2*s - k - 2, -3 = 3*s - k + 4*k. Let v(m) = -3*m**2 + m + 1. Let p be v(s). Let a be 7/(-21) - 19/p. Solve -2*i + 0*i - a = 0 for i.
-3
Let t(d) = -6*d**3 - 3*d**2 - 2*d. Suppose 0 = 3*s + 5*g - 21, 6*s + 2*g - 12 = 3*s. Suppose 9*c - 11*c = s. Let q be t(c). Solve 0 = -h + q*h + 12 for h.
-3
Suppose 3*w = 2*d - 10, -5*w + 2*d = 11 - 1. Suppose 2*z + 11 = -2*q + 125, -5*q = 2*z - 108. Let c = z - 57. Solve 4*s - 5*s + c = w for s.
2
Let u(s) = -s**2 + 2*s + 2. Let q = 54 - 54. Let p be u(q). Solve w - 4 = -p for w.
2
Let r = 12 + -7. Let t be 2/11 + 11 + 580/(-44). Let c be 81/15 + t/r. Solve -3*p + c = -1 for p.
2
Suppose -5*i + 40 = -i. Let c(q) = -q**3 + 26*q**2 + 82*q + 149. Let z be c(29). Solve -i = a + z*a for a.
-2
Let p(t) = t + 5. Let h be p(-6). Let x be ((-3)/(-3))/(h/(-6)). Suppose 0 = -61*q + 73*q - 36. Solve q*r - r + x = 0 for r.
-3
Let d be ((-48)/28)/(8/28). Let b be 4/24 + (-59)/d. Solve 8*l + b = 6*l for l.
-5
Let z(m) = 5*m + 3. Let b(k) = -6*k - 3. Let s(y) = -4*b(y) - 5*z(y).