t - h*t + 21 = r for r.
5
Let p = -384 + 388. Solve 0 = 2*t + 2*t + 5*m + 3, 2*t + p*m = 0 for t.
-2
Let c be 2/5 + (1476/60 - 23). Suppose 4*d + s - 20 = -0*s, s + 25 = 5*d. Solve c*h - 3*h + d = -2*y, -h + 3 = 0 for y.
-1
Let j be 2/2 - (5 + -12). Suppose 0 = 4*g - 6*g - j. Let p = 8 + g. Solve 27 = 4*k + k + t, 0 = -p*k - 4*t + 28 for k.
5
Let j = 18 - 62. Let d be 6/(-4)*5/(10/j). Solve 4*u = g + 17, u - 5*g + 5 - d = 0 for u.
3
Let u(r) = r**2 + 14*r - 11. Let q be u(-15). Suppose 42 = 2*d - 5*x, x + 84 = -0*d + q*d. Solve 3*v = 3*o - d, 9 = -v + 4*o - 10 for v.
-3
Let q be 745/(-35) + 2/7. Let b be 120/21 - 6/q. Let t be 0/1 + (6 - b). Solve -n = 3*w - 15, -4*w + t = 3*n - 20 for w.
5
Let m = 37 - 33. Suppose 6*w = 2*b + m*w - 8, -3*b + 13 = -2*w. Solve 4*k = -b*f + 5, -k + 4*k + 3*f - 3 = 0 for k.
0
Let k = 899 - 887. Solve -24 = 5*u - 2*u + 4*c, -k = 4*c for u.
-4
Suppose 124*c - 237 = 45*c. Solve 0 = 5*q + c*b - 30, -3*q - b + 2*b + 4 = 0 for q.
3
Let g(k) = k - 2. Let d be g(11). Let f be (-19)/(-4) - d/12. Solve 2*i + 4*a + 4 = -i, -f = 4*i + 5*a for i.
4
Let k(g) = g**2 + 53*g + 54. Let j be k(-52). Solve -5*y + 11 = -3*x + x, -5*x = -j*y - 4 for x.
2
Suppose m - 4*m + 18 = 0. Let f = -6 + m. Solve f*x = -5*t + 4*x - 45, 3*x = 15 for t.
-5
Let a be 1*-3 - (-7 - (5 - 6)). Suppose -5*z = -15, 1 = a*w + z - 2. Solve -4*v - 4*r = -3*r - 6, w = 4*v + 3*r - 2 for v.
2
Suppose -3*w = -145 - 59. Let g = w - 65. Solve 0*r + 2*r - 5 = g*b, r + 1 = -2*b for r.
1
Suppose 4*v - 2*w = -98, 3*w - 12 = -v + 2*v. Let m = -25 - v. Solve 2*h + 12 = 5*o, -5*o - m*h + 6 = 2*h for o.
2
Let f(d) = -d**2 - d + 44. Let j be f(6). Solve j*n - 6*n + 20 = 2*a, 2*a - 4*n = -20 for a.
0
Let j be (1/(-3))/(1/(-15)). Suppose -b - d + j = -5, 35 = 2*b + 5*d. Let s(l) = -11*l - 18. Let t be s(-2). Solve 11 = -k + t*m, -k + 14 = -2*k + b*m for k.
1
Let t = 1494 - 1475. Solve -4*l + 3*l + 7 = -g, 5*g + 3*l = -t for g.
-5
Let l = -32 - -35. Let c be (4/(-6))/(6/(-45)). Suppose -c*r + 5*a = -35, a - 5*a = 2*r + 4. Solve -d + r*s - l*s = 2, 5 = -d - 2*s for d.
-3
Suppose -29*u = 22*u - 50*u. Solve n - 5*i - 14 = 0, -3*n + u*i = -i for n.
-1
Let n be 150/45*6/5. Solve 0 = -5*u + 2*f + 24, n = -6*f + 4*f for u.
4
Let x(v) = 4*v**3 + v - 2. Let n be x(1). Let y be 264/(-594) - 8/(-18). Solve -n*j = -y*j - 3*i, -4*j = -3*i - 5 for j.
5
Let n(k) = -4*k - 24. Let l be n(-9). Suppose -3*q + 3 = -l. Solve -9 = -q*c - r, -c = -0*r + 2*r for c.
2
Let c = 3 + -1. Suppose -2 = -c*o + 2. Let p be -1 + 2 + 2/o. Solve 2*h + 1 = 3*l + 8, 0 = p*l - 5*h + 1 for l.
-3
Let b = -86 - -83. Let g be b/6 - (-2)/4. Solve -3*t - 6 = -5*i - 3, g = -2*t + 8 for i.
3
Suppose 2*w - 7 = z, 0 = 4*z - 5*z + w - 3. Solve j + 5 = -g + z, 3*j + 16 = -5*g for g.
-2
Suppose 3*b - 2*y = 5*b - 132, 63 = b - 2*y. Let c = 71 - b. Solve -4*u + 4 = -c*n + 2*n, 5*u - 21 = n for u.
5
Let t = 137 + -129. Suppose 5*c = 12 + t. Let v be (-1 - 1)*1 - -4. Solve q + 4 = -3*f, -f + v*q - c = 2 for f.
-2
Let k(o) = -5*o**3 + 17*o + 17. Let c be k(-1). Solve -4*b = 3*z + 3, 2*b = c*b - z - 1 for b.
0
Suppose -30*g - 11 = -11. Solve 3*u + 2*l - 7 - 1 = 0, g = -5*u - 3*l + 14 for u.
4
Let o = 1849 + -1844. Solve -2*h - 2*m = -0*m, 0 = 5*h - o*m - 20 for h.
2
Suppose -14*w = 1217 - 1371. Solve -5*h - w - 4 = -5*x, 0 = -4*x + 20 for h.
2
Let h be (57/38)/(1/10). Suppose 5*b + 6 + 4 = 0. Let i(l) = l + 4. Let y be i(b). Solve g = -2*k - h, -y*g - 15 = g for k.
-5
Suppose 9 = 4*c - c. Suppose -4 = -15*b + 14*b. Suppose -c*a = -b*u - 14, -4*u - 1 = a + 5. Solve 0 = -a*i - 6, 5*r + 2*i = 2 - 18 for r.
-2
Let r = -1889 - -1892. Let b(u) = u**3 + 2. Let g = -1 - -1. Let n be b(g). Solve -1 = r*j - 2*m, 5*j - 4 = n*m - 3 for j.
1
Let o be (-1)/(3/(-18)*3). Solve -o*u + 25 = -3*v, -4*v + 5*u - 40 = u for v.
-5
Let w(t) = -10*t + 1. Let z be w(0). Solve 3 - z = -2*q + 4*l, 2*q = l - 2 for q.
-1
Let m be 8*((-944)/(-128) + -7 + 0). Solve 3*p - 4*f = 2, 4*f - m = 4*p - 7 for p.
2
Let x be (-1*7)/(1/1). Let b(g) = g**2 + 5*g - 10. Let i be b(x). Let m = i - 1. Solve -5*r + m*q = -19, 2*r + 5 = -2*q - q for r.
2
Let n be -38 + 39 - ((-1 - 0) + 13). Let o = n - -16. Solve 5*c = -b + 3*b + o, -2*c - 3*b = 17 for c.
-1
Suppose 0 + 6 = 2*x. Let t be (-4 + 12/x)/(-1). Let v(o) = -5*o**3 - o**2 + o + 1. Let b be v(-1). Solve t = -5*k + 4*q - 10 - 2, -4*k - b*q = -12 for k.
0
Let k = 7 + -2. Let i = 41 - 17. Let a be (4/i*0)/(3 - 0). Solve -n - 4*r + a*r - 18 = 0, k*n + r = 5 for n.
2
Suppose -s - 64 = -5*i, -5*s + 14 = -2*i + 58. Suppose -3*m = 15, -o - 3*m - i = -0*m. Solve 2*j + o*b = -8, -b = 2*j - 0*j + 8 for j.
-4
Suppose 7*v = 10*v. Suppose v = -5*p - 5*z + 15, 7*p = 5*p + 2*z + 2. Solve -2*c - 2 = 4*j - 2*j, -p*c = j for j.
-2
Let h = 9 - 4. Suppose -3*a - h + 49 = r, -34 = -2*a - 3*r. Suppose -4 = 5*w - a. Solve 5*p + 2*u - 35 = 0, -4*p + w*u + 15 = u for p.
5
Let w(r) = -2*r**3 + 5*r**3 - 13*r**2 + r + 16 - 4*r**3. Let a be w(-13). Solve 12 = 2*s + t - 3*t, 0 = s - a*t - 8 for s.
5
Let z(h) = h**3 - 4*h**2 + 5*h + 9. Let l be z(3). Solve 5*d + l = -m, 3*m = -4*d - 23 - 0 for d.
-2
Suppose 2*x = 6 + 2. Suppose 2*u - 5*m - x = 3*u, 0 = 3*m + 3. Suppose 0 = -2*r + 5 + u. Solve -t + 5 = 4*a - r*a, -5*a = -4*t - 7 for t.
2
Suppose -74 = 5*x - 114. Suppose 0 = 2*y + 4 - x. Solve 0 = 5*t - t - 3*u + 4, 3*t + 20 = -y*u for t.
-4
Let t(h) = 6*h**2 - 3*h. Let r be t(1). Suppose -9 = r*n, 4*s = -5*n + 2 - 13. Solve 5*b + s + 2 = 2*m, -4*b - 5 = m for m.
-1
Let j be 3/(-3) + 4/1. Suppose 3*a = -h - 54, 42 = -4*a + a + j*h. Let x = 20 + a. Solve -x*p - 5*d = 19, 0*d + 10 = -4*p + d for p.
-3
Let h be (108/(-90))/((-3)/20). Suppose h*t + 5 = 9*t. Solve -2*u = -3*u - t*a + 5, 1 = 4*u + a for u.
0
Suppose -7*f - 3*x + 60 = -2*f, -4*x = 0. Suppose -h - 1 + 0 = 0. Let k be h + ((-20)/(-4) - 2). Solve -4*m + k*g + 12 = -0*m, -3*g = -f for m.
5
Suppose 2*h = 2*u + 3*h + 5, 2*u + 3 = h. Let s be 11/(132/40) - u/3. Solve 0 = -4*c + k + s, -3*k = 4*c - k - 16 for c.
2
Let z be (1 - -1)/(4 - (9 + -3)). Let b be (15/25)/(z/(-5)). Solve -7*v + 3*v - 16 = 4*d, b*v + 10 = -d for d.
-1
Let z = -200 - -285. Let s = z - 57. Solve 3*m + 13 - s = 3*f, -3*f = 4*m - 6 for f.
-2
Let z = 876 - 872. Solve 4*a - 2*a + 12 = -z*n, -n - 3*a = -2 for n.
-4
Let z(c) = 2*c - 11*c + 7*c - 25 - 2*c. Let y be z(-8). Solve f + 2*s + y = 0, -3*f - s = s + 5 for f.
1
Let z(d) = 2*d**2 + 10*d + 4. Let n be z(-5). Suppose 4 = 2*o - n. Solve o*g = 11 - 3, q - g + 2 = 0 for q.
0
Let b be 56/9 - (-24)/(-108). Let t = b - 16. Let p be 1/2*t/(-1). Solve -j = -p*d + 18, 3*d + j = -j + 16 for d.
4
Let t(v) = 2*v**2 + 17*v + 33. Let f be t(-6). Solve 2 + 0 = -2*j, 0 = 4*p - f*j - 7 for p.
1
Let g = 234 - 216. Solve 0 = 4*p - 2*c - g, p = -0*p - 4*c - 9 for p.
3
Let n = -13 - -20. Suppose -n*r = -8 - 27. Solve z - g - 4 + 5 = 0, -r*g = -5 for z.
0
Let s = -580 - -596. Solve -o + 20 = -5*v - 3, -3*o - s = 2*v for v.
-5
Let c(k) = -k - 1. Let x(d) = 2*d**2 - 6*d - 5. Let g(h) = 2*c(h) + x(h). Suppose 3*t - 9 = 6. Let i be g(t). Solve p + 2*v + i = 0, 5*p - 9 = -v - v for p.
3
Let x(n) = n**3 + 45*n**2 + 163*n - 41. Let h be x(-41). Let a(y) = -y**3 + 6*y**2 + 2*y - 8. Let c be a(6). Solve c = q, h*q - 4*q + 14 = -k for k.
2
Let s be (9/(-5))/(21/(-70)). Let f(o) = -o**2 - 18*o - 14. Suppose -2*n = -2, 0 = -5*q + 2*n - 5 - 82. Let z be f(q). Solve l + 4*x + s = z*l, 4 = -2*x for l.
-1
Suppose 2*t + 3*m = 13 - 2, 3*m - 15 = -3*t. Solve -f - t = 0, -z = f + 4*f + 23 for z.
-3
Let b be 2/6 + (-42)/(-9). Suppose 0 = 3*j - 7 - 17. Solve -b*c + 30 = -j*w + 3*w, -2*w = c - 3 for w.
-1
Suppose q + 0*q + w = -3, 0 = 4*w + 16. Let x = -200 - -202. Solve m + x*m - s = q, -m + 4*s = 18 for m.
2
Suppose 0 = -g - 16 + 21. Solve 3*s = 4*b + 9, 0 = 4*s - 1 + g for b.
-3
Let u be 17/7 + 4/7. Solve -a = u*o + 7, 5*o + 5*a - 5 = -0 for o.
-4
Suppose -3*x - 3 = -0, 4*a = 2*x + 82. Solve 5*h + s + 16 + 9 = 0, -4*h = s + a for h.
-5
Let w(l) = 7*l - 53. Let v be w(8). Suppose -v*k + 2*k = 2*k. Solve 3*j = 5*s - 23, 3*s = -k*j - j + 11 for j.
-1
Let r = 121 + -119. Solve 5*q - r*p - 2*p - 17 = 0, -2*p - 6 = -2*q for q.
5
Let q(z) = -z + 4. Let y be q(-13). Let n(r) = -2*r + y + 0*r + r. Let p be n(12). Solve 20 = -2*f 