 24 + 20 = p*g, 1 = t - g for t.
0
Let v(o) = -78*o - 1168. Let u be v(-15). Solve 4*b - u*k + 16 = 0, -12 = -4*b - 3*k - 18 for b.
-3
Let o be (-142)/(-20) - ((-3)/13 - (-1032)/3120). Solve -3*m - 2 + 10 = t, -o*m = t - 12 for m.
1
Let h be ((-2)/(-20))/((-42)/(-2940)). Solve -3*d - h*i - 4 = -5*i, d + 3*i - 1 = 0 for d.
-2
Suppose -5*z - 82 = -3*v, -7*z = -2*z - 5*v + 90. Let l(j) = -j**3 - 14*j**2 + j + 34. Let w be l(z). Solve -w = 3*h - 2*m, -4*h + 8*h + 4*m = 0 for h.
-4
Let y be (0/(-4))/(4 + -1). Let j = -340 - -340. Suppose y = f - j*f + f. Solve f*h - 3*h + 3 = 3*m, -4*m - 36 = -4*h for m.
-4
Let x = 41 - 38. Suppose -4*n + x*b = -3*n, 3*n - 8 = b. Solve 4*y - 36 = -4*j, -3*y + 2*j = -n*j + 13 for y.
4
Let a(m) = 6504 + m**2 - 4*m - 6390 + 25*m. Let i be a(-10). Solve 5*l + 3 = -k + i*k, 3 = -3*k + 3*l for k.
-4
Suppose -4*a = 2*t - 10, 4*a + 23*t - 25 = 24*t. Solve 3*b - 40 = -5*k - 18, 0 = b + a*k - 24 for b.
-1
Let g be 12*(-25746)/(-600) - 4/(-50). Let b = g + -512. Solve -3*h - 3*c - b = 0, 2*h = -0*h - c - 4 for h.
-3
Let n(f) = -2*f**3 + 35*f**2 - 25*f + 142. Let o be n(17). Solve o*t - 4*t - b = 2, 12 = -3*t + 4*b for t.
4
Let t(z) = -8*z + 259. Let g be t(32). Suppose 5*m - 3*m = g*c + 3, -c + 10 = 3*m. Solve -3*j = -m*p, p + 3 = 5*j - 3*j for p.
3
Suppose 0 = y - 5, 38 = 4*v + 4*y - 62. Suppose 10 - v = -2*d. Solve -d*a = -2*c + 3*c + 18, a = -5*c - 18 for a.
-3
Let w be -1 + (-67)/(-11) + 137/(-1507). Solve -6*f = 3*o - 2*f + 3, -w*f = -2*o - 2 for o.
-1
Let y(r) = 11*r**2 + 11*r - 9. Let g(o) = -5*o**2 - 5*o + 4. Let s(x) = -7*g(x) - 3*y(x). Let q be s(-2). Solve b + 3*w - 6 = -2*w, -q*b - w = -4 for b.
1
Let c(w) = 59*w - 1473. Let b be c(25). Solve 3*t - 5*j - 15 = 0, t = j + 3 + b for t.
5
Let q = 1044 + -345. Suppose -6*d - q = -729. Solve 0 = -4*v + t - d*t + 24, -5*t = -2*v - 9 for v.
3
Let n be 16/(-56) - (-74)/14. Suppose 0*v + n*v = -6*v. Solve -3*m + 10 = 1, 2*u + 2*m - 14 = v for u.
4
Suppose 132*c - 2375 + 263 = 0. Solve 38*h - 42*h = c, 26 = 2*l - 4*h for l.
5
Let v = -316 + 322. Let q be 2*(-14)/(-6)*(v + -3). Solve q = 3*i + 2*d, 0*i - 2*d + 10 = 2*i for i.
4
Suppose 0 = 3*i + i + 16. Let s = 19 + i. Let c be 0/(28 + 13 - 40). Solve c*p = -k - 4*p - s, 3*k = -p - 12 for k.
-3
Let c be (-52)/(-5) - (-2)/(-5). Suppose 10981 = 731*l - 7294. Solve 0 = 4*w - v + l, c = v + v for w.
-5
Suppose -30*m + 8*m + 44 = 0. Suppose m*c = 7*x - 4*x + 14, 2*x = -4*c + 12. Solve 0 = -5*o - b - 1, o = b - c*b + 11 for o.
-1
Let m = 3703 - 3700. Solve 2*f = -r + 10, 3*r = m*f - 31 + 16 for r.
0
Suppose 2*f - 3 = -f, 3*f - 3 = v. Let h = -3876 + 3879. Solve v = -h*q - 5*k - 15, 5*q + 15 = -0*q - 5*k for q.
0
Let f = 118 - 122. Let t = -4 - f. Suppose -c + 0*c + 8*c = t. Solve c = -5*o - 2*i - 0*i + 2, -3*o = i - 2 for o.
2
Let b be 36*(363/396 - (-2)/(-3)). Solve 0 = h - 13*n + b*n - 16, 0 = -h - 4*n - 24 for h.
-4
Let g be 33/(-3)*9/(-33). Suppose 4*l + 3*o - 22 = 0, g*l - 5*o + 4 - 6 = 0. Solve -4*v - v - 28 = -s, 14 = -2*s - l*v for s.
3
Let s = -7 - -4. Let k = s - -6. Let b be (-170)/(-9) - (-480)/(-540). Solve j = 4*v + b, 5*v - 2*j + 27 = -k*j for v.
-5
Let x = 22 - 265. Let z be x/(-15) - ((-22)/(-10) - 2). Suppose -2*b = 6*b - z. Solve -5*k - j = b*j + 31, 2*k + 14 = -2*j for k.
-5
Suppose 0 = -4*y - 16, h - y - 8 - 5 = 0. Let r = h + 1. Suppose 0 = 6*t - 8*t + r. Solve -16 = 2*o - 0*x + t*x, -x = 5*o - 6 for o.
2
Let x be 1 + 4/4 + -6. Let m be (4 - -1) + -7 - x. Solve 0 = s - m*i - 3 - 3, -s - 9 = 3*i for s.
0
Let h(z) = 2*z**2 - 25*z - 34. Let r be h(14). Suppose -c + 5*c = -q + 9, 10 = 3*c + 4*q. Suppose -w - c = -5. Solve -w*v + 12 = 0, d - 3*v - r = 6*d for d.
-4
Suppose 0 = -3*b + s + 66, -3*b - 12*s = -17*s - 54. Solve 5*m + 40 = -5*a, 5*a + m = -b - 1 for a.
-4
Let z be 2*(1/2 - 56/(-28)). Solve -5*i = 2*p + 30, -4*i + z*i - 6 = 2*p for i.
-4
Suppose -4*a + 5*o = -95, -3*a + 25*o - 28*o + 105 = 0. Solve -2*y + 14 - 30 = 2*s, -5*y - a = 3*s for s.
-5
Let p(z) be the third derivative of z**5/60 - 2*z**3/3 - 12*z**2 + 2*z. Let i = -2 - 1. Let y be p(i). Solve -4*o = g + 10, -y*g = -4*o - 0*g + 2 for o.
-2
Let m(i) = i**3 - 18*i**2 - 21*i + 41. Let f be (8 + 45/(-6))/(2/76). Let b be m(f). Solve 3*h - 2*u = -b*u + 6, 5*h - 30 = 5*u for h.
3
Let a(d) = 13*d**2 + 63*d + 15. Let m be a(-7). Let b = m - 207. Solve -5*r - 2*y + 1 = -3*y, 0 = -5*r + b*y - 11 for r.
1
Let p = 580 + -664. Let u be (1 + 6)/(p/(-24)). Solve 0 = -u*c - 4, -r - 4 = 2*r + 5*c for r.
2
Suppose 0*o + o - 1 = -2*z, -4*o = 5*z + 2. Let a = 111 + -110. Let y be (a + (-15)/10)*0. Solve y = 5*c + 25, -8 = z*q + 4*c - 2*c for q.
1
Let p be 2 + 8 - 7 - (2 + -1). Solve -3*u + 177*s = 180*s + 9, u + p*s + 3 = 0 for u.
-3
Let p(b) be the second derivative of 5*b**3/6 - 69*b**2/2 - b - 3. Let l be p(15). Solve l*w - 3*z = 2*w + 19, 3 = 2*w + 5*z for w.
4
Let b(f) = -20*f + 1432. Let a be b(70). Solve 5*i - 45 = 5*v, -4 = 4*i + 36*v - a*v for i.
4
Let o = 75 - 69. Suppose -6*b = -5*t - 3*b + 15, 2*t + 2*b = o. Solve 3*r - t = -x + 10, -2*r + 4 = 3*x for r.
5
Let x be (1/3)/((-24)/(-32) - (-8)/(-12)). Solve -22 = 2*a + x*l, 23*l = 27*l + 20 for a.
-1
Let x(z) = -91*z + 2552. Let y be x(28). Solve w - 13 = -y*c, -7*c + 5*c + 24 = 4*w for c.
2
Let f(v) = 10*v**2 + 29*v + 10. Let u(g) = g**2 + g + 1. Let o(y) = f(y) - 4*u(y). Let z be o(-4). Solve 0 = -5*r - 3*j + 16, z*r + 5*j = -r for r.
5
Suppose -16 = -5*o + 2*a, -12 = -2*o - 2*o + 2*a. Let x be (-1)/2*0 + 4. Suppose q = -4*t - 10, -2*q - 4*t - x = 4. Solve 25 = -5*m, 3*i + q*m = o*m + 22 for i.
4
Let x(k) be the first derivative of k**4/4 - 5*k**3/3 + 3*k**2 + 2*k - 1222. Let c = 10 - 7. Let n be x(c). Solve -n = -4*f - u, -6*f = -5*f + 2*u - 4 for f.
0
Let n(s) = -s**3 - 14*s**2 - 41*s + 42. Let j be n(-9). Solve -3*z + j = -15*l + 18*l, l = 4*z - 3 for l.
1
Let w(v) = -v**2 - 4*v + 6. Let g be w(7). Let t = g - -73. Suppose b - n = -t*b + 64, -b + 2*n = -28. Solve -3*o - o = 3*z - 15, o - 4*z = -b for o.
0
Suppose 28 + 14 = 7*a. Let g be (-12 + 6)*(-4)/a. Solve -p + g*u - 3 = 0, -4*u + 9 = 1 for p.
5
Let z(u) = 3*u**2 - 30*u - 67. Let v be z(-2). Let b(q) = -19*q + 1. Let i be b(-1). Solve d + 5 = y, -y = -v*y - 5*d + i for y.
5
Let n(m) = m**2 - 32*m - 62. Let d be n(34). Suppose s - c - d = -s, -4*c - 12 = -2*s. Let w = 15 + -11. Solve -s*r + w*f = -8, -2*r - 3*r = -5*f for r.
-4
Let s be 9078/14 + 78/(-182). Let d be 144/14 + s/(-63) + 10. Solve 2*l - 3*g - d = -4*g, -4*l + 8 = -4*g for l.
4
Suppose -3*a + 6*k - k = 57, -2*a = 4*k + 38. Let v = a - -22. Suppose -5*h = v*w - 5, 3*w - 5 = -20. Solve 2*p = 2*m - 2, h*m + 4 = -8 for p.
-4
Let z = 141 - 29. Let o(h) = -35*h + 743. Let l be o(21). Suppose -z = -l*n + 16. Solve 4*f - 5*q = n, 0*f = f - 5*q - 4 for f.
4
Let w(m) = m - 1. Let i be w(5). Suppose 0 = o + i*d - 20, 5*d - 18 - 2 = 0. Solve -2*u = 2*j - 4, -3*j = -o*u + 4 - 10 for j.
2
Suppose -w - 11 = -0*k - 4*k, 4*w = -3*k - 6. Suppose 2*z = -5*x - 15, -2*z + 7*z + k*x = 15. Solve 4*n - 26 = v - 5, -5*n + 30 = -z*v for n.
5
Let c be (174/54 + -3)/(3050/(-765) + 4). Let u be 57/21 - (-2)/7. Solve -4*q = -2*o + q + c, u*q + 7 = 2*o for o.
-4
Let a(f) = f**2 + 20*f - 854. Let o be a(21). Solve 10*p = -3*y + o*p + 9, p + 12 = 2*y for y.
5
Suppose 5*y = m, -y = 3*m - 3*y - 13. Suppose 5*c = -m*p + 255, c - 56 = -p - c. Let z = -35 + p. Solve -4*l = -3*l - 3*f + z, 0 = -l - 3*f + 13 for l.
1
Suppose 12*j = -38 - 46. Let o(s) = 4*s + 28. Let v be o(j). Solve -5*m + 4*f - 31 = v, 0 = -m - 3*f + 6 + 3 for m.
-3
Let p(u) = 2*u + 26. Suppose 6*b - 3*b = 63. Let l be p(b). Suppose 65*o - 61*o = l. Solve 0 = y - 4*s - o, 3*y + 4*s = 6*y - 19 for y.
1
Let o = -353 - -183. Let m be 1/10 + (-833)/o. Solve 2*n = -6, 0*p - 12 = m*p - n for p.
-3
Let r be (0 - (6 + -5)) + 8 + 1. Solve 4*o = -3*f + 7, 3*f - 5*o + 15 = r*f for f.
5
Let l = -1748 - -1750. Solve -4 = 4*r - 8, 2*r - 2 = l*b for b.
0
Let s = -1 + -27. Let a be 0/(((-7)/s)/((-1)/(-4))). Solve 5*d - 12 = -2*p, p - 5*d + 15 + 9 = a for p.
-4
Suppose 241 - 217 = -26*l + 1090. Solve 4*i - 23 = r - l, r = 3*i + 14 for r.
2
Suppose -30 = -2*r - 5*y, -2*r + 4*y + 82 = 88. Solve c = -2*q - 15 + 21, -r*q + 25 = 5*c for q.
1
Suppose o - 2*m - 2*m = -37, 4*o +