 - z + 10, 0 = -4*r + z + z + a for r.
5
Let h = -126 - -124. Suppose t = 4*j + 10, t + 4 = -t + 2*j. Let p be (4 + h)/((-3)/t). Solve 5*b + 10 = -5*x, -12 = p*x - 2*x - 2*b for x.
-4
Let g(t) = 287*t - 569. Let l be g(2). Solve v = -l*n + 11, -22 = 4*v + n - 9 for v.
-4
Let v(t) = t**3 + 59*t**2 + 74*t + 931. Let s be v(-58). Solve -14*n - 12 = -11*n + r, s*r + 24 = -5*n for n.
-3
Let k(b) = b**2 + 9*b + 28. Let q be k(-4). Let r be q - 0 - (4 - 8 - -9). Solve 0*v - 20 = -2*c + 4*v, -r*c + 20 = -4*v for c.
0
Let z = -157 - -107. Let l = z - -44. Let n be (l/(-10)*-1)/(2/(-10)). Solve 5*o - n*x = 19, -5*o + 2*o + 3*x = -15 for o.
2
Let b(t) = 2*t**3 + 6*t**2 - 37*t - 1. Let m be b(-6). Solve 4 = -x + p, -x + 4 = -4*x - m*p for x.
-3
Let a = -34808 + 34810. Solve s - 6 = -5*o + 9, 16 = 4*s - a*o for s.
5
Suppose 5*d - 5*m - 20 = 0, -15 = -2*d + m - 6*m. Solve b + 5 = 2*z, -12 = -d*b - z - 4 for b.
1
Let i(q) = -32*q + 161. Let a be i(5). Let d be 516/(-430)*(a - 14/4). Solve 5*k = d*j - 19 - 21, -4*j + 2*k = -30 for j.
5
Let l be (-3)/(-9) + (-10)/(-15). Let o be -4*(-25)/140*(8 - l). Solve 3*b + o = -j, -j = -5*j + 2*b + 22 for j.
4
Let c be ((-26)/(-8) + (15 - 18))*44. Let a = -9 + c. Solve -2*d + 20 = 2*w + a*w, -2*w - 5*d + 26 = 0 for w.
3
Let z(t) be the first derivative of 14/3*t**3 + 14 - 7*t**2 + 14*t - 1/4*t**4. Let y be z(13). Solve r = -4*a - y - 5, a = 4*r - 10 for a.
-2
Suppose 5*f = -4 + 14. Let g(s) = -1212*s + 7274. Let m be g(6). Solve 3*c + m*b - 1 + 6 = 0, -f*c + 3*b = -1 for c.
-1
Let l be (44 - 15/5)*1. Let x = 41 - l. Suppose 5*d - 8 - 2 = x. Solve 0 = -5*q - 4*t - 30, -3*q + d*t = -2*t - 14 for q.
-2
Suppose -5*l + p = -329, 2*l + 3*p = -0*p + 135. Suppose -o + l = 21*o. Solve 5*h + 25 = -0*h, 5*f + o*h - 5 = 0 for f.
4
Let w be (42/28 - 1)*(2 + -2). Solve 2*o - 4*n + 4 = w, 3 = 2*n - 1 for o.
2
Let r be (-5)/((-270)/12) + 1174/(-18). Let o = r - -67. Solve -4*q - o*a + 8 = -5*q, 4*a = 5*q + 28 for q.
-4
Suppose 147*i - 38*i - 92 = 17. Solve -4*a - 54 = -5*y - 33, -y = -4*a - i for a.
1
Suppose 0 = 17*l - 129 - 92. Suppose 34*o - l*o = 0. Solve 3*d + 12 = o, -2*z = 2*z + 3*d + 4 for z.
2
Let b be (-175)/14*(-24)/10. Let z = b + -26. Let u(m) = 2*m + 1. Let n be u(9). Solve -5*c = 2*f - 15, -z*c + 0*f = 3*f - n for c.
1
Let j(v) = 4*v**2 + v. Let r be j(-1). Let b be (-2)/r + (-44)/(-12). Suppose -52 = -b*m - 4. Solve t + 2*i = -i + m, -5*t + 3*i + 8 = 0 for t.
4
Let l(i) = 2. Let d(b) = -26*b - 18. Let q(g) = d(g) - 3*l(g). Let a be q(-1). Solve 4*r = -5*k + a*r - 15, 0 = -k - 5*r + 20 for k.
-5
Suppose 5*b - 6 = -3*z + 6, 0 = -3*z - 3*b + 12. Let l be (z + 5)/(-3 - -6). Solve -5*c - 1 + 5 = -g, 4*c - 7 = -l*g for c.
1
Suppose -109076*q - 14 = -109078*q. Solve v = 2*b + q, -3*b - 4 - 10 = -5*v for v.
1
Suppose -264*x = -227*x - 148. Solve -143*t + 142*t - 4*p + 16 = 0, x*t = -4*p + 16 for t.
0
Suppose i - 4*a + 39 - 79 = 0, 2*i = 3*a + 55. Suppose 4*x - r = -3*r + 18, i = 4*r. Solve -x*m = -10, 4*n + 5*m - 25 = 3*n for n.
0
Let k(d) = d. Let p(g) = -12. Let i(x) = k(x) - p(x). Let w be i(5). Solve -4*l - w = 3*r, -l - 4*r - 21 = 4*l for l.
-5
Let p = 32 - 29. Let q be (15/p)/((-4)/(-4)). Let r be ((-4)/9)/((-5)/45). Solve -3*d = -o + 3*o + 10, -q*o + r*d = 2 for o.
-2
Let j = 50 + -34. Let u be (-12)/(-22) + (-76)/(-22). Let m = 150 + -146. Solve m*d + 16 = -u*t + t, t + j = -4*d for t.
0
Suppose 13 = m - 3*o, -1 = -3*m - 3*o + 2. Let f be (-406)/(-98) - (-24)/28. Solve -2*u = -z - 15, -2*u - f*z + m - 19 = 0 for u.
5
Let t = -17189 - -17193. Solve -3*n = -b - 4, -2*n - 2*b = -t*b + 4 for n.
3
Let c(s) = 45*s + 878. Let g be c(-19). Solve -5*q + b - 32 = 0, -q - g - 3 = -3*b for q.
-5
Let r = -4775 - -4779. Solve -4*i = 2*n - 24, r*i - 41*n + 40*n = 12 for i.
4
Let y(i) = -59*i - 1763. Let w be y(-30). Solve 9 = -v - s, 5*v - 3 = w*v - s for v.
-4
Let q be ((-3)/(-5))/((-2499)/170 + 15). Solve 0 = -5*o - 5*d + 30, d - 30 = -q*o - 19 for o.
5
Let o(n) = 2*n**3 + n**2 + 5*n - 6. Let g be o(1). Suppose 3*p - 9*j - 9 = -12*j, -13 = -5*p - 3*j. Solve u - 2 - p = -y, 3*u - g = 2*y for y.
2
Let y = -8119 - -8128. Suppose c = -3*c + 12. Suppose c*a = -5*k - 2, -2*k - 7 = 4*a + 5. Solve 0 = k*q - l + 3, 2*q + y = q - l for q.
-4
Let o be 2*(2 - (-32)/2). Let l be (3/2)/(o/96). Suppose -l*s - 3 + 19 = h, 0 = -3*s + 9. Solve 3*d + 2*d = h*a + 26, -12 = a - 4*d for a.
-4
Let p = 9892 - 9882. Solve -4*x + 8*x + p = 2*k, -4*x - 12 = -4*k for x.
-2
Let z be 0 - (0 - (-10)/(-2)). Solve 4*q + 4*r = 7*q + 17, -z*q - 19 = -2*r for q.
-3
Let n(v) = v - 6. Let p be n(9). Suppose t = -a + 2, -4*t - a - p = 1. Let g be 4 + t/(-5) + (-8)/20. Solve m - w = 4*m + 1, 4*m = g*w - 28 for m.
-2
Let x = -18562 - -18587. Solve -4*d = 5*q - x, 78 = -3*q + 81 for d.
5
Suppose -440 = -174*r + 130*r. Solve 3*n + 12 = 3*h, 3*n + 5*h - 18 = r for n.
1
Suppose -5*r + 2*c + 703 = -52, -r - 5*c + 124 = 0. Suppose r*t + 5 = 154*t. Solve -3*k - v - t = -2, -5*k + 2*v + 20 = 0 for k.
2
Suppose 0 = -2*j - 3*j + 15. Let y(x) = 2*x**3 - 25*x**2 - 43*x + 931. Let r be y(8). Solve 23 = m + j*m + 5*a, -r = -4*m - a for m.
2
Let s = -698 - -381. Let w = s - -321. Solve w*x - f = -2*f + 20, -3*f = 3*x - 24 for x.
4
Let f(t) = 17*t**2 + 7*t - 42. Let p(j) = -5*j**2 - 2*j + 14. Let d(n) = 2*f(n) + 7*p(n). Let x be d(3). Solve -3*q + 2*o + x = -4*q, -4*o = q + 5 for q.
-5
Suppose 379 = -3*x - 7*r + 5*r, 3*x + 5*r + 394 = 0. Let b = x - -128. Solve -3*f - 2 = -l, -2 = b*l - 2*f - f for l.
-1
Let b(x) = -x**3 - 19*x**2 + 18*x - 16. Let o be b(-20). Suppose 3*w - o = -3*w. Solve -3 = l - t, 3*l - l = -w*t for l.
-2
Let c(a) = -4 + 2*a**2 - 18 + 8 - 17 + 0*a + 6*a. Let b be c(3). Solve -2*y + 0*y + 5*r + 25 = 0, -b*r - 20 = -y for y.
5
Suppose 5*o = -4*b - 17, 0 = b + 3*o - 33 + 46. Let c = 2 - -2. Let y(z) = z - 2. Let a be y(c). Solve 2 = t, -a*f - 3*f = b*t + 21 for f.
-5
Let l = -3 + 8. Suppose -2*t - l*i = 12, -12 = t + 11*i - 7*i. Solve 0 = -5*r - t*a + 32, -a - 2*a + 9 = 0 for r.
4
Let k = -4536 - -4536. Solve k = 4*f + 8, 3*s - f - 3 = 14 for s.
5
Let a be (1 - -12) + 25 + -25. Solve 6*v - 9*v + 2*l = 18, -3*l + a = -v for v.
-4
Suppose 0 = l - 2*l + 4*c + 22, -5*c = -5*l + 50. Suppose 61*g = -191 + 313. Solve i - b = -l, -g*b - 20 = -7*b for i.
-2
Suppose -19 = 51*p - 58*p + 9. Solve 12 = -p*t, -15*t + 18*t - 3 = -4*h for h.
3
Suppose 37*j - 5264 + 770 - 2758 = 0. Solve j*d - 4 = 193*d + y, -5*y = -3*d - 4 for d.
2
Suppose -5*a - 13 = -21 + 8. Suppose -3*b = b - 104. Let j = -7 + b. Solve -3*u + a*u = -5*s, j = 5*u - 2*s for u.
5
Let a be 21/4 - (12/16)/3. Solve 32 = -4*b - 5*i + 24, -a*b + 23 = -2*i for b.
3
Let x be -5 - (31 - (1 - 7)). Let v be (-14)/x + (2 - (-14)/(-6)). Solve -7 = 3*m + 2*b, 2*m = -v*m + b - 14 for m.
-5
Let z(b) = -b**3 - 22*b**2 + 30*b + 47. Let v be z(-23). Let k = -119 - v. Let i be (6 - 9) + k/(-1). Solve 11 = -i*y - 5*x - 0, y + 3*x = -6 for y.
-3
Suppose 40*y = -40*y. Solve -4*g = 5*n - 4, -n - 4 = -y*n - 4*g for n.
0
Let i be (1 + 1)/(-7 + 8). Suppose 9*p + i*p = -22. Let q be p - 0 - (1 + (1 - 5)). Solve t = -3*r - 3, -4*t - 5 + q = 4*r for t.
0
Suppose 10 = 5*n - 10. Suppose n*o + 20 = 0, 6*k - o - 20 = k. Suppose -3*r + 2*t + 10 = 0, t - 3 = -4*r + 3. Solve 0 = -2*v + w - k, r*v + w - 12 = -w for v.
1
Suppose 5*m - 2*l - 10 = 0, 0 = 5*m + 31*l - 36*l - 25. Solve m = -3*a - x + 6, -8 = 10*a - 14*a + 5*x for a.
2
Let u = -575 + 578. Let k be u/((-74)/(-44) - (-14)/(-77)). Solve -k*v + 5 = h, v = -v + 6 for h.
-1
Let p(m) = 3*m**2 + 114*m + 265. Let h be p(-37). Solve 3*b - 10 = 5*z, -5*b - h = z - 124 for b.
-5
Let u = -13973 + 13977. Solve 3*i = u*m + 4*i + 11, -2 = -m - 5*i for m.
-3
Suppose -5*f + 30 = 4*u, -15*f + 15 = -11*f + 5*u. Suppose -f = -3*d + 3*h + 5, d + 3*h - 13 = 0. Solve 5*t - d = 2*c, 3 = -c - 0*c + 2*t for c.
-1
Let m be (4*(-3)/(-2))/2. Let l(w) = w**3 + 12*w**2 + 8*w - 12. Let s be l(-11). Suppose -5*j - s + 31 = 0. Solve 2*k - 6*k = 5*r + 32, -m*k + j*r = 1 for k.
-3
Let j be (84/(-8))/21 + -4 + 69/6. Let z = -1 - -1. Solve 2*m - 6*m + 19 = -3*c, -c + 2*m - j = z for c.
-5
Let k(i) = 218 + 0*i - 230 + i + 0*i. Let w(j) = 2*j**2 - 4. Let x be w(3). Let t be k(x). Solve -5*o - t = m + 5, -2*m - 5 = o for o.
-1
Suppo