3*p = 4*w + 32 for p.
4
Let g be 0/1 + (5 - (-9 - 4)). Suppose 5*t - 4*r = g + 1, 2*t - 4 = -2*r. Solve 3 = w + q - 4, t*w + 4*q = 26 for w.
2
Suppose 0 = 8*d - 11*d + 12. Solve -2*f + q = 9, -f - d*q + 14 = 2*f for f.
-2
Let d be 0 + 6/3 - -2. Suppose -6 = 3*r - 12. Suppose 0 = -4*a - r*q + 2, 0*a - 3*q = 4*a + 1. Solve 2*g - 22 = -d*u, u - 3*u + a*g = -8 for u.
5
Let l(v) = 12*v**2 + 7*v - 3. Let d be l(-1). Suppose 0 = -2*i - 3*i + 5. Solve -b + i = k + d*b, 2*k = 2*b + 2 for k.
1
Suppose 6*r - 2*r - 44 = 0. Let n = r - 5. Let w = n + -5. Solve 0*z + 23 = -5*o - 2*z, 0 = -o + z + w for o.
-3
Let b(v) = -v**2 - 5*v + 6. Let i be b(-6). Let h be (-10)/(-4) + (-21)/(-14). Let o be i/(2*h/4). Solve -5*q - 5*d + 20 = 0, -3*d + 8 = -q - o for q.
1
Let h(t) = t**3 - 9*t**2 + 7*t + 13. Let c be h(8). Let q be (0*c/(-10))/(-1). Solve 0 = -5*i - 10, 2*x + q = 2*i - 4 for x.
-4
Let t(x) = -110*x - 547. Let i be t(-5). Suppose 3 = 3*p - 6. Solve i*f + 0*a - 3*a = -p, 5*f - 3 = -3*a for f.
0
Let i = 6 + -9. Let s = i - -3. Suppose -4*c + 37 - 5 = s. Solve 4*p + 2 - 30 = -4*v, 4*p - c = v for p.
3
Let y(g) = -7*g - 29. Let i be y(-6). Suppose -13 = 3*s - 5*f, 0 = -2*s - f + i. Solve -5*c = m - 14, -2*c + 24 = m + s*m for c.
2
Let t = 22 - 11. Let n = t - 9. Solve -4*i - 2*m - 26 = 0, -n*m - 12 - 18 = 5*i for i.
-4
Let n(a) = -a**2 + 3*a + 7. Let w(z) = z - 7. Let h be w(11). Let y be n(h). Solve 0 = 2*t - 4*g + 3*g + 1, t - y*g - 2 = 0 for t.
-1
Let b be ((-18)/(-2))/3 + 2. Suppose 5*c + 4*h - b*h - 27 = 0, 5*h = 3*c - 3. Let m be 5 - 4/8*c. Solve m*p + 6 = -s + 5*p, -4*p + 8 = -4*s for s.
0
Suppose 11*o + 141 = 163. Solve -w = -f - 3*w - 11, 0 = 5*f + o*w + 15 for f.
-1
Let r be 14/(-35) - 238/5. Let k = r + 34. Let l = k + 17. Solve l*z = -5*d + 40, d + d - z - 5 = 0 for d.
5
Let i be (0 - (-5)/5)*(0 - -5). Solve -4*j - j + i*s + 5 = 0, 4*s - 4 = 2*j for j.
4
Suppose 28*v - 96 = 16. Solve -4*s = 3*x + 11, -5*s + v*s + 21 = -4*x for x.
-5
Let r be 2*(-2)/(-2) - -4. Let j = 39 + 6. Let a = j - 41. Solve 3*x - r = -3*i, -4*x = -i + a + 8 for i.
4
Let i be (975/(-26))/(3/8). Let s = i + 103. Solve -s*a - 4*g + 17 = 0, 0*a + 5*g = -5*a + 25 for a.
3
Suppose 6 = -10*d + 26. Let h be (3/6)/((-84)/(-40) - d). Solve 0 = h*z - 6*v + v - 20, z - 4*v = 13 for z.
1
Suppose 0*k - k + 5 = -5*l, 0 = 3*k + 3*l + 3. Solve -12 = -2*y + 4*p, k*y - 5*y - 10 = -2*p for y.
-4
Let m = 151 + -142. Let d be 3 - ((2 - 1) + -6). Suppose 4*x - d*x = -52. Solve -n = -4, -2*z = 4*n - x - m for z.
3
Let f = 10 - 15. Let a(j) = -j**2 - 8*j - 7. Let b be a(f). Solve -b = -l + 4*l + 5*n, -3*n = l + 4 for l.
-1
Let u be (18/(-15))/(2/(-5)). Let v be -3*(-1)/u - -4. Suppose 8*w - 3*w + 12 = -4*b, -2*b + 3*w = -16. Solve -b*z = 4*d - 6*z - 40, z - 20 = -v*d for d.
5
Suppose 4*m - 2*v - 141 + 55 = 0, 0 = -5*v - 25. Suppose -m = -f - 4*f + k, 5*f - 11 = -k. Solve -s - 3*i - 9 = -4*s, 5*s + i - f = 0 for s.
1
Suppose 0 = -0*i - 7*i. Solve g - 5*h - 40 = -4*g, 4*g - 3*h - 27 = i for g.
3
Let x be (8/(-16))/((-2)/(-84)). Let k be (-4)/(-6) - 70/x. Let r = 17 + -14. Solve 4*b = -k*v - 8, r*v - 16 = v + 2*b for v.
3
Let b = -314 + 314. Suppose -2*u = 4*q + 2*u - 32, 3*q + 2*u - 20 = 0. Let v = -4 - -6. Solve -3*l + q*o - 6 = b, v*l - 2*o + 4 = -6*o for l.
-2
Let o(q) = q**3 + 5*q**2 - 23*q + 10. Let z be o(-8). Solve z*g + n = 3*g - 1, -5*n + 15 = 0 for g.
4
Let w(i) = 2*i - 26. Let v = 33 - 18. Let x be w(v). Solve d + 9 = x*d + 5*s, s - 13 = 5*d for d.
-2
Let c be -3*(4/1 - (0 + 5)). Let j = 47 + -42. Solve 0*b - c*i + 15 = -2*b, -2*b = -i + j for b.
0
Let a be (10 + 120/(-10))/((-2)/3). Solve a*w + 12 = -5*h - 13, 0 = 2*w - 5*h for w.
-5
Suppose 5*n - 3*t = 3, 0 = 14*n - 15*n + t + 1. Solve -4*x + h - 3 = 0, n = -2*x - h - 7 + 4 for x.
-1
Suppose 3*x + k = 10, 28*x = 23*x - k + 14. Solve 2*s - x*t = -0*t + 10, 0 = 4*s - 5*t - 24 for s.
1
Let h be 364/(-20) + (-2)/(-10). Let f be h/(-42) + 72/28. Solve -5*j - 4*v = -0 + 40, 0 = f*j - 2*v + 2 for j.
-4
Suppose 5*n - n = -296. Let s be n/(-9) - (-6)/(-27). Suppose -7*i = -22*i + i. Solve -2*f + z + s = 0, i*f - 5*f + 23 = -z for f.
5
Let j be (-1)/((-225)/195 + 4/26). Solve 2*m = 4*d + 2, 4*m + 3 = -j for d.
-1
Let n(m) = m**3 + 11*m**2 - 14*m - 21. Let g be n(-12). Suppose 0*f = 3*h + 5*f + 4, 5*h - g*f - 16 = 0. Solve 2*c + h*c = -d - 13, -22 = 4*d + c for d.
-5
Let p = 452 - 442. Solve 2*t + 2 = 3*b + p, -b = 0 for t.
4
Suppose -4*q - 10*q = -15*q. Solve q*m + 2*m = -3*d - 14, 5 = -d - m for d.
-4
Let r be (-14)/(4/(-2)) - 2. Suppose r*u + 0*u = 0. Let o = 60 + -35. Solve u = w - 3*b + 7, 2*w - o = w - 5*b for w.
5
Let b(x) = x**2 + 2*x - 4. Suppose -r + 4*r = 18. Let l(w) = w - 12. Let v be l(r). Let z be b(v). Solve -p + 0*t + t = -8, 3*t = 2*p - z for p.
4
Suppose 0 = 2*k - k - 3. Let x(f) = f**3 - 9*f**2 - 9*f - 4. Let m be x(10). Suppose -25 = c - m*c. Solve -3*w + c = -a + w, -k*a + 5*w - 1 = 0 for a.
3
Let d be (-11 + 15)/(2/4) + -3. Solve 0 = -d*l + 6*w - 11*w - 15, -w - 4 = 0 for l.
1
Let d(i) = -56*i + 505. Let v be d(9). Solve -3*x + 2*t = -0*x + v, x = -4*t - 5 for x.
-1
Let k be (-2)/(4/2) + 20. Let v = -156 + 156. Solve 8*r - 21 = -4*l + 3*r, 5*l - r - k = v for l.
4
Suppose -4*c - 44 = -4*a, 0*c = -3*c - a - 13. Let i be (-3)/(-2)*8/c - -5. Solve -1 = -3*m + 5*q, -2*m = -3*q - i + 2 for m.
2
Suppose 0 = 4*k - 5*k + 76. Suppose -3*y + 3*t + k = -23, -4*t = -y + 45. Let w be ((-24)/(-9))/((-2)/(-3)). Solve -4*s = 3*r + y, 2*r + 17 = -w*s + 3*r for s.
-5
Suppose 2*w - 4 = 26. Suppose -11 = -13*p + w. Solve 9 = 3*t, -p*t - 2*t + 27 = 3*q for q.
5
Suppose 57*v = -49*v + 1590. Solve 2*x = 4*h + h + v, -3*x - 35 = 4*h for x.
-5
Let o(h) = -2*h**2 - 5*h + 2. Let d be o(-2). Suppose z - 2*v - 15 + 4 = 0, -33 = -3*z + d*v. Solve 0 = -4*w + 3*s + z, -w - 5*s = -0*w + 3 for w.
2
Let y(b) = -2*b + 2 + 9 + b**2 + 5 - 5*b. Let d be y(3). Solve -d*m - 10 = -3*u, u + 3*m + 1 = -13 for u.
-2
Let h be (-2)/6 - 26/(-6). Suppose 93 + 43 = 8*s. Let t = -24 + 37. Solve 3*w - t = d, h*w + 4 = -3*d + s for d.
-1
Let z = 11 + -7. Suppose 0 + 5 = -f. Let d be (8/f)/((-10)/100). Solve -2*a = 4*l + 8, -l - d = z*a + 2*l for a.
-4
Suppose -76 = -4*x - 0*x. Let i = x + 1. Suppose -3*y - 5 = -i. Solve -3*a - 6 = 2*r, y*a + 10 = -5*r - 5 for a.
0
Suppose -4*w + 3*a + 121 = 0, 93 = -w + 3*w + 5*a. Suppose -x + 3*x = -w. Let q = 33 + x. Solve v - 1 + 3 = 0, q = 2*u - 5*v for u.
3
Let c be ((-140)/(-40))/(1/2). Suppose -2*x - 3*q = 3*x, -c = x + 2*q. Solve 2*n + n = -4*g + 22, x*n + g = 10 for n.
2
Let j(f) be the third derivative of f**5/60 + f**4/24 - f**3/3 - 16*f**2. Let z be j(4). Solve -b = 2*v + 5, 0*v = -2*b + 3*v + z for b.
3
Let l = 415 + -415. Solve 0 = -4*s - q - 12, l*s - 5*s + 3*q + 2 = 0 for s.
-2
Let l be (-190)/(-6) - 2/(-6). Let p = 39 - l. Suppose o - 4*j + 0 + 16 = 0, 0 = 3*o - j - p. Solve i + 6 = -4*u + 6*i, -2*u - i = -o for u.
1
Suppose 4*i + 4 = 5*i. Suppose 5*h = -i - 6. Let b be (h + 11)/((-9)/(-6)). Solve t - 3 = -q, 7*q = 2*q + 4*t + b for q.
2
Let p = 444 + -441. Solve -9 = 2*q - a, -q + a - 2 = p for q.
-4
Suppose -b + 19 = -5*n, -10*b + 8*b + 27 = n. Solve 0 = 2*d + 5*w + 21, -5*w - 1 = 5*d + b for d.
2
Let x = -26 - -28. Let n be (x - 8)/((-9)/6). Solve -k = n*g - 0 - 1, 5 = 5*k - 3*g for k.
1
Let t = 71 - 68. Suppose 5*g + 0*g - t*a = 59, -5*a = -5*g + 55. Solve -2*c = -3*c + 5*s + g, 4*s + 18 = -3*c for c.
-2
Suppose -3 = 7*z - 4*z. Let s be 1*(z - -5)*1. Solve s*l - l = 5*k + 3, 2 = 2*l - 3*k for l.
1
Suppose 11*q = 5*q + 12. Let s = -54 - -59. Solve 4*f = -i - 6, -6*f - 18 = -s*i - q*f for i.
2
Let s(t) = 10*t + 30. Let d be s(-3). Solve -3*g - c + 5 = 0, 3*g - 5*c + 7 + 0 = d for g.
1
Let v be ((-4)/14)/((-46)/483). Solve -5*h + 3*b - 8 + 42 = 0, v*b - 16 = -5*h for h.
5
Suppose 0 = -2*i + 5 - 3. Suppose -5 = -r + i. Let m(s) = -s**3 + 6*s**2 - s + 8. Let q be m(r). Solve -5*z - 18 = 4*k, -2*z - q*k - 8 = -0 for z.
-2
Let p = -164 - -192. Solve -3*r = 2*r - 5*j - 10, 0 = r + 5*j + p for r.
-3
Let t be 2/8 + 14/8. Let k = -55 + 55. Suppose 5*j + k*j - 60 = 0. Solve -2*x - 2 = t*g, 5*g + 1 = -3*x - j for g.
-5
Let n = 52 - 3. Let i be (-2)/(-7) - (-1015)/n. Suppose 0 = z - 5 - 0. Solve l = -3*y - 7, z*l + y = -0*l - i for l