 14 = 4*p - v*p, 3*t - 9 = 0 for p.
1
Let u be (-39)/(-52)*40/15. Solve u*c + 5*d - 24 = 0, 2*c - 14 = -3*c - d for c.
2
Let o be ((-10)/3)/(18/(-216)). Let h = -37 + o. Solve 0 = -5*r - z + 20, 0 = -5*r + 3*z + 43 - h for r.
5
Suppose 4*m - 2*a + 220 = 0, 191 = -2*m - m - 5*a. Let y = 63 + m. Solve 0 = 5*c + 4*h - 15, -3*c = -c + h - y for c.
3
Let j be (-5 + -1)*(-4)/6. Suppose -11 = 5*o + j*h, -o + 2*o = 5*h + 21. Suppose 0 = -6*a + o + 11. Solve -a*f - 23 = 3*i, -3*f + 6*f + 4*i = -32 for f.
-4
Suppose -2*u - 4*m = 2, 2*m - 10 = -4*u + m. Solve 2*s - 5 + 0 = 5*f, s = -u*f - 14 for s.
-5
Suppose 5 = 4*c + 3*a, 3*a = 2*a - 1. Let w be (c/6*-1)/((-1)/15). Solve 5*i = 4*r + 27, w*r - 3*r + 18 = 4*i for r.
-3
Let p be 9*(104/36)/2. Solve -5*x + p = 4*j + 33, -5*j = -2*x + 25 for j.
-5
Suppose 20*a + 23 - 103 = 0. Let q = 5 - 3. Solve a*n = -0*b - q*b + 22, -1 = b - n for b.
3
Let z be 80 + 1/(-2)*0. Suppose -f = 5*x - z + 22, 3*x = 5*f + 18. Let s be (-75)/(-18) - (-1 + (-7)/(-6)). Solve 5*c - s*w + 2*w = -x, w = c + 4 for c.
-1
Let c be (-21)/(-14) - (-8 - (-66)/12). Solve -v + 5*v - 2*s + 8 = 0, 4*s + 32 = -c*v for v.
-4
Let v(a) = 2*a**3 - 4*a**2 - 9*a + 11. Let z be v(3). Solve 5*r + 5 = 2*p, 2*r + z*p = 3*p - 3 for r.
1
Let p = 28 - 34. Let v be (32/10)/((36/(-15))/p). Suppose 4*y - 51 = -15. Solve d - y = 4*c + v, 3*d - 4*c - 19 = 0 for d.
1
Suppose 0 = 6*d - d - 20, -4 = -2*w + 2*d. Let u be 31 + 4/w*12/(-8). Solve -3*n = -4*l - 25 + 3, -5*n + 5*l = -u for n.
2
Let b(k) = 2*k - 219 + 3*k + 233 - k**2. Let a be b(7). Solve -2*z + g + 6 = -3*g, a = -3*z + 2*g + 1 for z.
-1
Let q be (3 + 1)/((-8)/28). Let i be (-2 + 5 - 7)*1. Let m be 8/14*q/i. Solve 16 = 5*c + f, 2*f + 4 = m*c - 0*f for c.
3
Let g = 714 - 709. Solve 3*d - 3 = 3*b, 3*d - 4*b - g = 1 for d.
-2
Let j(o) = 7*o - 54. Let p be j(8). Solve 0 = -m, p + 0 = 2*t + 4*m for t.
1
Let z = 3 - -2. Suppose 0 = -6*v + 11 - z. Solve -5*l - 3*o + 27 = 0, 2*l - 11 = -o - v for l.
3
Suppose 9*b = 8*b + 6. Let l be b/(-8) + (-165)/(-44). Solve o + 2*n + 2*n + 16 = 0, 12 = -l*n for o.
0
Suppose 4*k + 52 = 30*k. Solve 2*t = -4*i + i - 1, -13 = -i + k*t for i.
3
Let x be 2*(7/(-2))/7. Let p(z) be the second derivative of -z**3/6 + z**2/2 - z. Let v be p(x). Solve 4*g = 2*f + 2, -v*f = 4*g - 0 + 2 for g.
0
Suppose -5*b + 75 = 4*h, h - 6*b - 18 = -7*b. Solve 3*o + 5*k + h = -o, -4*o + 5*k = 25 for o.
-5
Let m = 675 + -672. Solve -4*h = -8, m*j + 3*h + 0*h + 3 = 0 for j.
-3
Let s be 87/27 + (-2)/9. Let w be (1/s)/((-1)/(1 + -52)). Suppose -9 = -3*h - 0*h. Solve 5*v - 2*y - w = y, -2*v - 10 = h*y for v.
1
Let i be ((-3)/(-5))/((-1)/5). Let q(o) = o + 5. Let j be q(i). Let t be -2 - (4/j + -8). Solve -t*g = -5*s - 0*g + 12, 4*s - 24 = -4*g for s.
4
Suppose -18 = -5*b + 42. Suppose -2*l = -158 + 148. Suppose 4*r = -15 + 7, 5*r + 25 = l*u. Solve b = -u*f - 3*w, 4*f = 8*f - 5*w - 11 for f.
-1
Suppose 0 = -t + 14. Let j be (-1)/(-8) + (-430)/(-16). Suppose -j = -l - 5*x, -2*l + 0*x - 16 = -4*x. Solve 3 = -3*c, 0 = -3*y + l*c - 4*c - t for y.
-4
Let l = -4 + -9. Let r = -8 - l. Suppose 5*q = -r*g - 5, -4*g - q - 3 = -2. Solve 2*c - 4*h = 6, g = -0*c + 4*c + 3*h + 10 for c.
-1
Suppose 4*b - 14 = -0*b - m, 0 = b - m - 1. Suppose -10 = -5*s + g, b*s + 4*g - 6 = 3*g. Solve 4*o = s*r - r - 7, 5*o - 1 = -2*r for o.
-1
Let o = 7 + -20. Let c be 5/4*(-1 - o). Let x be 3/(((-15)/(-9))/5). Solve c = 3*g - 3*b, 2*g = -3*g - 3*b + x for g.
3
Let g(v) = 2*v + 28. Let l be g(-10). Solve -2*f + 4*i + l = 0, -2*i - 9 = i for f.
-2
Let i = -13 + 17. Suppose -k - 2 + i = 0. Solve -k*r = -v - 5, 2*r + 3*v + 3 = -12 for r.
0
Suppose -3*h = -5*h + 22. Let s(m) = 13*m - m**3 - 23 - 3*m + 7*m**2 + h. Let x be s(8). Solve 14 = 4*a - x*z + 5*z, -3*z = 4*a - 18 for a.
3
Suppose 6 = -w - 3*y - 26, 5*w + 5*y = -150. Let j = -26 - w. Solve -2*g - j*r + 4 = 0, g = 4*g + 4*r - 5 for g.
-1
Suppose 3*l + 4*o - 6 = 4*l, -5*l = -5*o. Solve l*x - 5*k + 22 = -0*x, -21 = 5*x - 4*k for x.
-1
Let t(c) = c - 14. Let y be t(12). Let a be -6 + 5 + (-6)/y. Solve -4 = -a*o - o - 2*j, o - 5*j + 10 = 0 for o.
0
Let p(k) = k**2 - 3*k - 7. Let i be (-8)/(-12)*45/6. Let v be p(i). Solve -v*u + 2 = -4, 2*l + u = 4 for l.
1
Suppose 0 = -62*z + 61*z + 5. Solve -7*t + 2*t = n + 23, -t = z for n.
2
Suppose -2*o + 13*y - 9*y - 12 = 0, 5*o = -2*y + 18. Solve -o = c - 2*z + 2, -3*c = z - 2 for c.
0
Suppose -3*i + 21 = -5*v + 4*v, -5*i = 5*v - 15. Solve -2*f + 3*s - i = 0, 0 = 2*s + s - 6 for f.
0
Suppose -5*v + 12 = s, -9*v + 8 = -10*v + 5*s. Suppose -15 = -3*x - 3*y, 4*x - 2 = 5*y - 9. Solve 3*h - 2 = x*g, -v*h = -4*h - 4*g + 28 for h.
4
Suppose 19 = 5*g - 4*r + 11, g + 8 = -4*r. Solve -5*l - 3*p + 22 = g, -6 - 10 = -4*p for l.
2
Let k = 461 - 461. Solve 4 = 2*a + 3*t, -6*a + a - 5*t = k for a.
-4
Suppose 0*x = -2*x + 4*l + 6, -5*l - 15 = -5*x. Let f = x + -2. Let q be -1 - -9 - 3/f. Solve 4*a - q = -a - r, 2*a + r - 2 = 0 for a.
1
Let c be (2/4)/(3/12). Suppose -3*l = c*l. Suppose f + 3*f - 16 = l. Solve -6 = -2*y - 4*o, -5*o + f*o + 4 = 0 for y.
-5
Let y = -60 - -73. Solve -4*n = 5*j + y, -5*n + 11 = -5*j - 29 for j.
-5
Let a = 3 + -9. Let n(x) = 2*x**3 + 3*x**2 + 2*x - 1. Let r be n(-1). Let t = r - a. Solve -3*l - 36 = 4*m - 8*l, t*l - 20 = m for m.
-4
Suppose v + 2*g = 12, -46 = -5*v - 4*g - 10. Solve v*l + 3*r + 8 = -8, -12 = 3*l - 5*r for l.
-4
Let k = -39 + 34. Let z be 5 + k - (-3 - -1). Solve z*t - 2*g = 2, -3*t - 20 = t + 4*g for t.
-2
Let i be (-128 - -125)*14/(-3). Solve -4*c = -t - 9, 0 = 2*t + 2*c - i + 2 for t.
3
Suppose 0*q - 45 = -5*q + 4*s, 2*q + 3*s - 18 = 0. Suppose 0 = -3*i - i + r + 3, 0 = 3*r + q. Solve 2*w = -u - i*u - 6, -18 = 4*w - u for w.
-4
Suppose -49 = -5*m + 11. Let g(z) = -9*z**3 + z**2 + z + 1. Let n be g(-1). Let u = m - n. Solve -5*s + s = u*q + 8, 3*q = -4*s - 10 for q.
-2
Let d(x) = x**2 + 11*x + 3. Let o = 5 + -16. Let g be d(o). Solve -2*z = z + g*m, 0 = -5*m for z.
0
Let p(d) = d**3 - 27*d**2 + 73*d - 21. Let g be p(24). Solve -g*i + 20 = i - 3*n, -5*i + 2*n + 25 = 0 for i.
5
Suppose 56*q = 368 - 32. Solve 5*d = 4*n + q, -3*n - n = -2*d + 12 for d.
-2
Suppose 4*i + 5 + 7 = 0, 0 = 4*x - 4*i - 12. Let a be x/(-2) + (4 - 6) + 4. Solve -a*z + 5*l + 2 = -0*l, 5*z = l - 18 for z.
-4
Let b be 3 + 1 + (7 - (7 - 1)). Solve 3*a - b*o + 7 = 0, 4*o - 13 = -0*a - 5*a for a.
1
Let c(q) = 2*q + 5. Let a be c(25). Suppose a = 9*f - 80. Solve f = -3*w, g = w - 0*w + 8 for g.
3
Suppose 20 = -g - y, 2*y - 5*y - 45 = 2*g. Let f = g + 19. Solve 0 = 2*q + 4*p + 4, -f*p = 5*q + p + 10 for q.
-2
Suppose -3*d = -4*d - 40. Let w = d - -68. Solve -5*y + 18 = 4*q - 8, 4*y - w = -5*q for q.
4
Let y(o) = 48*o - 45. Let p be y(1). Solve x = -3*r + 14, p*x = r + x - 7 for r.
5
Suppose 3*u = 15*d - 14*d + 17, 0 = 2*d + 4. Suppose -3*t = -0*t - 6. Solve x - 9 = t*h, u*h + 3*x = h - 3 for h.
-3
Let y(j) = -36*j**2 + j + 2. Let l be y(-1). Let k be 4/(-14) - 10/l. Solve k = -3*s - z + 12, -2*s = z - 6*z - 25 for s.
5
Let h(k) be the first derivative of 5*k**3/3 - k**2/2 - k - 3. Suppose 4*b + 1 = -3. Let i be h(b). Solve -i*f = 4*j - 3, 0*f + f + 11 = 5*j for j.
2
Let p be (10/(-25))/(1/(-5)). Let s be 2/(-11) + ((-717)/(-11) - -1). Let i = -64 + s. Solve -t = -m, 0*m - i*t = -m + p for m.
-2
Let v = 20 + -17. Suppose 2*r + 2*h + 2 = 6, 4*r - 20 = 2*h. Suppose -g = -1 - r. Solve 18 = 3*m + v*c, 2*c - 9 = -g*m + 4*c for m.
3
Suppose 9*r = -0 - 0. Suppose -j - 2*w + 3 = r, -3*w - w = 0. Solve -s - 6 = j*t - 0*t, 0 = 3*t - s + 12 for t.
-3
Let n be 8/(-6)*3/2. Let d(r) = 5*r**3 - r**2 + 1. Let x be d(n). Let a = x - -62. Solve 2*t - j = -3*t - a, -3*t - 5*j = -11 for t.
-3
Let s = -1383 - -1388. Solve s*c - 28 = 4*p, 2*c = -3*p + 2 - 0 for c.
4
Let r(g) = 9*g**2 + 2*g + 7. Let j be r(3). Suppose -13*b + 10 = -j. Solve -p - b = -2*m - 3*m, 0 = 4*m - 8 for p.
2
Suppose -3*b - 2*c + 2 = -0, 3*b - 3*c - 12 = 0. Suppose b*l - 2 = 10. Solve -3*d - l = -2*x, -x + 1 = -4*x + 2*d for x.
-3
Let j = -13 - -20. Let c(d) = 7*d - 9. Let w be c(2). Solve -n = -3*x - 5*n + j, w*x - n - 4 = 0 for x.
1
Let b be 3 - 4*(-11)/44. Solve 0 = -4*t + m - b, 0*m + 3*m = 2*t + 2 for t.
-1
Suppose 0 = 4*x - x - 153. Let g(b) = 12*b**2 - 73*b + 8. Let m be g(6). Let d be 68/x*3/m. So