i = -2*b - h*c + 4, -2*c + 3*c = 0 for b.
2
Let t = 37 + -22. Let p = 12 - 8. Let w be 2 + p/8*2. Solve 3*d - w*s - 12 - t = 0, -16 = 4*s for d.
5
Let w = 27 + -21. Suppose -2*c + 3 = -h, w*h - 18 = 4*h - 2*c. Solve 2 + 7 = -3*q, 0 = 5*i - h*q + 5 for i.
-4
Let n(f) = -f**3 - 14*f**2 + 3*f + 8. Let x be n(-14). Let t = 39 + x. Solve 0 = y - 2*y - 3*p - 6, 0 = -3*y - t*p - 10 for y.
0
Suppose 108 = 49*j + 10. Solve 4*n + 3*i - 14 - 3 = 0, j*n - 9 = -i for n.
5
Suppose 4*d + 31 = -c + 43, 5*c = 5*d - 15. Solve -2*m - 3*i = -8*i + 25, i - 5 = -d*m for m.
0
Suppose 36 + 94 = 26*z. Solve z*p + 15 = -r, -5*r = -6*p + p - 45 for r.
5
Let o = 2918 - 2916. Solve -12*i - 12 = -9*i + 5*a, 0 = 3*i - o*a + 12 for i.
-4
Let o be (-20*4)/(-1) + -2. Let z be (-3)/2*o/(-9). Let g = -11 + z. Solve -w = -3*v - 6 + g, 4*w - 16 = 3*v for w.
4
Let h be 9*1*414/621. Solve -9*v + h = -8*v + 2*o, 4*o + 12 = 4*v for v.
4
Let l be -3*1/(9/(-12)). Suppose 4*t = l*x - 0*x + 8, -12 = -4*t + 2*x. Solve t*c + 6 = 5*k, -2*k = 4*c + 20 - 0 for c.
-4
Let g(r) = -2*r**3 - r**2 + 5*r + 6. Let i be g(-1). Solve 2*c + 12 = 4*q, 2*q - 6 = -0*c + i*c for q.
3
Let j(t) be the second derivative of t**4/12 + 7*t**3/6 + 4*t**2 + 8*t. Let o be j(-6). Solve 2*a = y - 2, -y - o*y + 11 = -a for y.
4
Let b = -442 + 456. Solve -3*u = -o - b, o + 8 = u - 0*o for u.
3
Suppose 52 = -3*k - 41. Let i be k/(-4) - 20/(-80). Solve -2*q = -i, -3*b - 3*q + 6 = -0*b for b.
-2
Let k = -52 - -60. Let j be (5/((-100)/k))/((-3)/15). Solve j*u - 4*x + 14 = -0*x, -2 = u + 3*x for u.
-5
Let s(r) = r**3 + 4*r**2 + 2*r. Suppose 5*i + 15 = -0*i. Let g be s(i). Suppose -8 = g*z - 38. Solve -2*d = 0, 5*f = -4*d - 0*d - z for f.
-2
Let s be 2/((-6)/3)*-2. Let k be s/(-3 - 21/(-6)). Let t = -75 - -80. Solve -5*i + 2*h = -13, k*i + 4*h = -7 - t for i.
1
Let m(u) = -2*u**2 + 58*u - 41. Let a be m(28). Solve 2*d = l - a, -2*l = 3*l - 25 for d.
-5
Let h be ((-20)/14)/((-2)/7). Solve 25 = v + h*f, 11 = 3*v - 3*f + 26 for v.
0
Suppose 4*j + 3*u - 81 = 0, 5*j - 2*j + 2*u - 62 = 0. Solve -3*q = 6, 2*g + 2*g - 4*q - j = 0 for g.
4
Let y = -12 - -12. Let t be -2*4/(-16)*y. Solve 0*o - 5*o + 2*c - 4 = t, o - c + 2 = 0 for o.
0
Let z be (-2)/3*81/3. Let p be (4/3)/((-12)/z). Suppose 3*b = 5*k - 25, 3*k - 6*b - 15 = -2*b. Solve -p*w = k*v - 23, -2*v + w + 15 = -4*w for v.
5
Let r(i) = i**3 - i**2 + i + 1. Let n be r(0). Let w be 0 - 2*n/(-1). Solve 4*y - 2*l = w*l + 8, 11 = y - 4*l for y.
-1
Suppose -30*x = 30 - 90. Solve -5*j + x*r + 0*r = -18, 0 = 3*j + 2*r - 14 for j.
4
Suppose 181 = -3*g + 61. Let c be 68/g*-2 - (-2)/(-5). Solve c*j + 4*m + 5 = 0, 2*j + 6*m - 5*m = 0 for j.
1
Suppose -3*q = 2*q - 15. Let z = 531 - 530. Solve 2*h + 7 = g + z, 0 = q*g - 3*h - 6 for g.
-2
Let u(g) = g**2 - 2*g - 19. Let o be u(6). Solve -5*d = s - 4*s + 31, d + o*s - 5 = 0 for d.
-5
Let d = -201 + 207. Solve -3*y - 9 = -2*i + 7, -2*i = 2*y - d for i.
5
Suppose -2*g - o + 9 = 0, 4*o + 4 = -g + 12. Solve 5*f + t = -8, -g*f - 3*t - 1 = 1 for f.
-2
Let n(a) = a**2 - 14*a - 93. Let f be n(19). Solve 0 = -r - 2*u - 5 + f, 3*r - 2*u - 15 = 0 for r.
3
Let r be 12/4 + (-2 - -1). Let d be (-5)/r*144/(-90). Solve -2*y = 5*j - j + 10, -d*j = -y - 5 for j.
0
Let o = -7947 - -7951. Suppose 0*w = -w + 2. Let f be w + (-2 - 0) - -5. Solve f*m - 6 = r, r = -r + o*m - 6 for r.
-1
Let y be (-3 + 0)*(-1)/(-5)*-5. Suppose 8 = y*v - 1. Solve -4*o + 3*d = 29, -2*d + v*d - 8 = o for o.
-5
Let u(f) = -f**2 - 17*f + 5. Let l be u(-8). Let x be (-24)/(-14)*l/22. Let a = 14 - x. Solve 2*k = -4*b + a, 2*b - 6 = -b for k.
0
Suppose -w = w - 24. Suppose -w = -4*d - 4. Suppose 22*a - 84 = -6*a. Solve -d*q - a*r + 3 + 6 = 0, -2*r = -10 for q.
-3
Let k be 100*(5 + -8 + 4). Let m = k + -89. Solve -3*n - 2 = -2*u + 5, -3*n - m = -u for u.
-4
Let w = -530 + 533. Solve -w*t = -u - 12 + 1, 2*u = -4*t - 2 for u.
-5
Let s(w) = -w**3 - 6*w**2 + 6*w - 4. Let t be s(-7). Let k be (t/2)/((-6)/(-84)). Let m be 2/7 + (-6)/k. Solve 3*r - 2*g + 0*g + 10 = m, -r - 20 = -4*g for r.
0
Let d be 3*(10/(-55) - 90/(-11)). Let q = d + -15. Solve 0 = -4*o + 4*x - 8, 10 = -q*o + 4*o - 4*x for o.
-2
Let r be (-7)/(105/24)*-5. Let z be (r*-1)/(-2 + 0). Let q be 4/18 - z/18. Solve a + q*m - 2*m = -4, -4*a - 4*m = 4 for a.
-2
Let s(o) be the first derivative of 2*o**3/3 + 27*o**2/2 + 13*o + 48. Let r be s(-13). Solve -17 = -b - 5*a, 4*b + b - a - 7 = r for b.
2
Suppose -3*t - 306 = -5*t. Suppose y = 10*y - t. Solve 2*r - 4*j - 20 = -2*r, 4*j + y = 3*r for r.
3
Let f(i) be the third derivative of -i**4/4 + i**3/6 - i**2. Let u be f(2). Let v = u + 11. Solve 3 = 2*o + 3*b - 0*b, v = 5*o + 3*b - 3 for o.
0
Let k be -3 + (-1 - (-1 - 2)). Let q = 3 - k. Suppose 2*o + 2*u = q, 4*o + 0*u - 6 = -5*u. Solve o*w + 6 = 2*i - 4, 8 = -w - 5*i for w.
-3
Let u(d) = d**3 + 3*d**2 - 2*d - 15. Let s be u(-4). Let t = s - -40. Solve 0 = 3*o + o + 5*p + t, 4*o = 2*p + 18 for o.
2
Suppose -19*f + 154 = 58*f. Solve -f*i = -2*v, -v - 4 = 2*i - 7 for v.
1
Let b = -28 - -28. Solve -5*s = -5*l + 35, -s - 4*l + 9*l - 27 = b for s.
-2
Let l = -65 - -59. Let p be 3/l*(-30)/5. Solve 3*n - 11 = -4*k, p*k + 1 = -n + 3 for n.
5
Suppose 32*l - 96 = 16*l. Let u be (0*1/(-2))/1. Solve b + 3*j + 8 = u, -4*b + 3*j = l*j - 4 for b.
4
Suppose 0 = q - 6 + 4. Let z(o) = -o + 5. Suppose -3*a - 9 = -m - 23, 2*a = 3*m + 21. Let x be z(a). Solve -q*k + 4*i - 23 + 7 = 0, 3*k + 8 = -x*i for k.
-4
Let h be 50/15 + (-16)/(-24). Solve -3*z = 12, -2*x - h = 2*z + 10 for x.
-3
Let z(s) = 4*s**2 + 2*s + 2. Let y = 15 + -5. Let j(t) = -t + 9. Let a be j(y). Let m be z(a). Solve 0*u = u - o - 5, -m*u = 5*o + 25 for u.
0
Suppose 3*l = 16 - 7. Solve -x - 1 = 0, -x + 2 - 9 = -l*a for a.
2
Let a = -108 + -8. Let i = 117 + a. Solve -o + i = -h, -2*o + 5*h + 8 = -0*h for o.
-1
Let j = -64 + 74. Solve 7*y + 4*o = 2*y - 7, -5*o = -j for y.
-3
Let u(v) = v**2 - 23*v + 63. Let k be u(20). Solve -2*l + k = 5*m, m - 2*l - 3 = -12 for m.
-1
Suppose 3*r = 3*k + 21, -k = r + 4*r - 17. Solve r*z - 1 = -3*i, 3*i - 14 = z - i for z.
-2
Suppose 0 = -q, 5*i + 3*q - 84 = -29. Let c(o) = -o + 13. Let g be c(i). Suppose f - 4 = -g. Solve 0 = f*l + 2*k, -2*l - 4*k = -6*l for l.
0
Suppose 6*y - 68 + 38 = 0. Solve 4*i + 4*w = 8, w + 4 = y*i + 24 for i.
-3
Let u = -2 - -5. Let x(k) = -k**3 + 6*k**2 - 2*k + 2. Suppose 2*z = -3*z + 25. Let w be x(z). Solve -4 = j - 5*f, -5*j - w = 5*f + u for j.
-4
Let m be (-51)/(-12) - (-7 - 232/(-32)). Solve -5*h = -y - m, -3*h + y = -3*y - 16 for h.
0
Let i be -7 - (-12 - 3 - -5). Solve 0*v + v = 2*q - 5, i*q = -v + 10 for v.
1
Let w be 4/((-16*1)/4*-1). Suppose 0 = -i + 3*k - 1, -3 = -3*i + 2*k + w. Solve 3 + 0 = 5*b + i*n, 0 = 5*b + 5*n - 15 for b.
-1
Let x be 2/10 - 15968/(-160). Let b = -100 + x. Solve -a - w + 1 = b, 5*a + w = -2*w + 11 for a.
4
Let b(s) = s**2 + 3*s. Let n be b(5). Let v = n - 38. Let m be 3*2/(-3) + 2. Solve v*o = -q + 3, -2*o = -m*o + 3*q - 13 for o.
-1
Suppose 0 = 3*c - 5*c + 4. Let v = 51 - 13. Let z = 42 - v. Solve t - h = 3, -c*h + z = -0 for t.
5
Let w = 3013 - 3010. Let u be 0/(-1)*(-2 - -3). Solve u = -2*s - j + 1, -w*s + 3*j + j = -7 for s.
1
Let a = 1 - 1. Suppose -o + 4*o = -4*x - 12, 5*o + 20 = 4*x. Suppose 9*s = -x*s + 18. Solve 3*l + a*k - k = -1, -s*l - 1 = -k for l.
0
Let b(k) = -k + 9. Let x = -24 + 29. Let a be b(x). Suppose 20 = a*n - 4*m, -2*n + 4 = -m - 4. Solve -6 = -2*w + 3*l, -w - n*l + 5*l + 3 = 0 for w.
3
Let j = -77 + 79. Solve -5*r + j*i = 8, -5*i + 12 + 8 = -3*r for r.
0
Let b be (-26*6/9)/((-32)/48). Solve -4*d + r = 6*r - 31, 5*d - b = -2*r for d.
4
Let r be (-207)/45 - (-3)/5. Let m(d) = d**3 + 4*d**2 - 4*d - 6. Let p be m(r). Solve -4*f = o - p, -2*o = o - 2*f + 12 for o.
-2
Let u(m) = -3*m + 20. Let l be u(6). Solve -5*x + 4*a = -27 - 8, -l*x - 14 = 4*a for x.
3
Let j = -22 - -20. Let i be (-7 + -3)*j/(-5). Let q be (i/(-8))/(2/12). Solve 23 = -4*o + q*s, -o + 0 = 4*s - 18 for o.
-2
Let h(m) = 31 - 3*m**2 + 2*m**2 - 28 + 10*m. Let d be h(10). Suppose -3*w - 23 - 2 = 5*o, 0 = 4*w + 3*o + 15. Solve -2*v - 7 = -q + 3, -d*q + 12 = w for v.
-3
Suppose 4*q = 49 + 11. Suppose -8*t = -5*t - q. Suppose 4*v - 23 = 13. Solve h = -5*y + 21, -3*y = t*h - 4 + v for h.
-4
Let t(l) = -3*l**2 + 4*l - 3. Let f