 5*g + 5 for z.
-1
Let p = 416 - 413. Let l(t) = t**3 - t**2 - t + 2. Suppose 0 = -5*g + g - 2*g. Let u be l(g). Solve -5*x - 2*i = 23, 5*i - p*i - u = 0 for x.
-5
Let r be -5 - -12 - (4 - 5 - -4). Let b(y) = -y**3 - 11*y**2 + 13*y + 15. Let d be b(-12). Solve -d = f - r*a, 3*f + 3*a - 15 = 6 for f.
5
Let o(t) = 115*t**3 + t**2 - 2*t. Let v be o(1). Let c = -99 + v. Solve u - 3*i - 1 = -5*i, -c = -5*i for u.
-5
Let m be (390/75)/(1/(-5)). Let c = m - -29. Suppose -5*w - c*j = -15, 2*w - 5*j = -8 + 45. Solve d + 2*l = -d + w, 17 = -d + 3*l for d.
-2
Let v(d) = d**3 + d**2 - d. Let c be v(1). Suppose 9 = 3*m, 4*q + c = 2*m + 3. Suppose q*l - 5 = 7. Solve 2*k = l, n + 5*k = -9 + 26 for n.
2
Suppose -6*q = 2*m - 68, 7*m = 4*m - 15. Solve -2*f + q + 1 = -5*p, 4*p = -3*f - 2 for f.
2
Let h(c) = 4*c**2 + 233*c - 417. Let s be h(-60). Suppose 3*w = 10 - 4. Solve a - 3 = s*a + y, 0 = 2*a - w*y for a.
-1
Let n(v) be the first derivative of -2*v**3/3 - 25*v**2 - 88*v - 32. Let q be n(-23). Solve 3*g - 10 = -3*b + 2, -4*g = -q*b + 8 for g.
1
Suppose -2*x = 10, -4*s + 5*x + 29 = -6*s. Let f be 1*s*(-5)/10. Let i be (12/(-36))/(f/(-6))*2. Solve i*n = 5 + 7, 2*u + 16 = 2*n for u.
-5
Let h(u) = u**2 + 7*u + 19. Let v be h(-4). Let t(m) = -m**2 + 4*m + 24. Let r be t(v). Solve -4*a - r*d - 5 = 0, -a + 0 = -2*d + 4 for a.
-2
Let w(u) = -u**2 + 45*u - 479. Let n be w(22). Solve 0 = -5*m - 2*f + n, 20 = 3*m - 19*f + 24*f for m.
5
Suppose 0 = 2*k - 5 - 17. Let g be -1*3/6*(-51 + -5). Solve 2*w + i = -3*w + k, -4*i = -4*w + g for w.
3
Let v be -5 + (1 - (9 - 9)) + 8. Solve 0 = 5*w - 3*j + v*j - 9, 0 = 4*w + j - 8 for w.
1
Let q(y) = -y**3 + 13*y**2 + 24*y - 138. Let r be q(14). Solve -2*o + 3*h = r, -3*h - 18 = -5*o - 7*h for o.
2
Let f(s) = -69*s**3 + s**2 + 2*s. Let l be f(-1). Let h = l - 60. Suppose 2*i + 3*q - 8 = q, -5*q = -2*i + h. Solve m = 3*z + 2*z + 13, 23 = -5*z - i*m for z.
-3
Suppose -16*k = -115 - 93. Suppose -3*i - 139 = -4*d, 17*d + 4*i = k*d + 160. Solve -2*h + 2 = 2*j, 7*h - 3*j = 2*h + d for h.
5
Let q be (9/(-4))/(3/(-8)). Let s be (1 + (-60)/48)/(2/(-32)). Suppose 2*o + 3*w + 1 - 21 = 0, -4*o = -s*w. Solve -o*z + 1 = -3*b, 3*z - 5*b - 4 = -q*b for z.
1
Suppose 0 = 5*g - 58 + 8. Suppose 4*n = -2 + g. Suppose 3*q - n*f - 15 = 0, -3*q + 15 = f + f. Solve -5*j + 10 = m, 3*m + 5*j - q = m for m.
-5
Suppose -52*w = -58*w + 6. Let t be (0/(5 + -6))/w. Solve -4*l + t*l - 11 = k, -2*l = 5*k - 17 for k.
5
Let d be (4 + -1)*(-42)/(-63). Let o = -130 - -132. Solve o*f + f + a = 6, -d*f - a + 4 = 0 for f.
2
Let u = 1405 - 1387. Solve -5*p = -4*c + u, 5*p + 4*c + 2 = -0 for p.
-2
Let t be 232/(-6)*102/68. Let c = 62 + t. Solve -3*b = -c*n + b + 8, -3*n - 5*b = -14 for n.
3
Let z be 852/(-84) - (-3)/21. Let x(r) = 6*r**3 + 62*r**2 + 20*r + 3. Let b be x(z). Solve 0 = 5*f + 5*d - 1 + 16, 0 = b*f + d + 11 for f.
-4
Let a = 3434 - 3430. Solve -a*d = c - 19, -d + 7*c = 6*c - 6 for d.
5
Suppose -15*t + 3 = -19*t - 5*l, 4*l = 4*t - 24. Solve 17 = -4*j - t*m, -80*j + 82*j = -m - 7 for j.
-2
Let p = 2493 + -4627. Let b be 6/(-45) + p/(-30). Suppose 48 = -68*i + b*i. Solve -4*o + 3*u - i = 5, u = -o for o.
-3
Suppose 6*k = -3 + 21. Let l be -4 - -2*(-36)/(-6). Suppose -9 = 5*a + 5*b + 11, -4*a - 2*b = l. Solve y + i = -0*y - 8, a = k*i + 9 for y.
-5
Let y(i) = i**3 + 3*i**2 - 16*i - 18. Let j be y(-5). Let o be ((-16)/j)/(-2 + (-5)/(-3)). Solve 6*x = 2*x + 4, o*x - 5 = r for r.
-1
Suppose 198*m = -144*m + 684. Solve -m*g + 4*t = 12 + 2, -5*g = t + 13 for g.
-3
Let q = 743 + -738. Suppose -15 = -j - q*a, j + a - 15 = -a. Solve j = -3*n, 3*b - 23 = -0*n + 4*n for b.
1
Suppose -2*q = 502*y - 498*y - 20, 88 = 4*q - 4*y. Solve 3*p - 2*o - 1 = 0, 4*p - 22*o - 8 = -q*o for p.
-3
Let z(r) be the third derivative of -r**6/120 - 7*r**5/60 + 29*r**4/24 - r**3 + 159*r**2. Let n be z(-10). Solve -2 = -4*b + q + 14, 4*b = -4*q - n for b.
3
Suppose -11*z - 29*z = 0. Let j = -1 - -6. Suppose 4*d - 36 = 5*w, -j*d + 2*w = -0*w - 28. Solve y = d*c - 4*y - 11, z = -5*c + 5*y + 10 for c.
-1
Let o(l) = l**3 - 28*l**2 - 15*l - 402. Let z be o(29). Solve -r - 5*c = r - 18, -2*r = -2*c - z for r.
4
Let h(q) = 3*q**3 - 23*q**2 + 13*q + 9. Let s(v) = -3*v + 40. Let y be s(11). Let x be h(y). Solve w - 15 = 3*m + x*m, 3*m = w - 9 for w.
0
Let z be ((-235)/(-30))/((-2)/(-6))*-2. Let x be 1/(1*1/z). Let r = x - -47. Solve -2*c - 2*c + f = 10, r = 2*c + 5*f + 16 for c.
-3
Suppose -820*s + 19194 = 2019*s - 97*s. Suppose -3*j - j = 0. Solve j = 5*z + 2*k - s, k + 2 = -2 for z.
3
Let u be -3 - (-1)/2*18. Suppose o = -o + u. Suppose -5*i = -o*l - 24, 0*i - 2*i + 18 = -4*l. Solve -i*v + 9 = -2*n + 28, -4*n - 3*v = -11 for n.
5
Let t(l) = -93*l - 832. Let a be t(-9). Solve -24*w = -29*w - 3*o + a, -3*o = -2*w - 19 for w.
-2
Suppose -n = -4*u - 61, -3*n = -4*u + 3*u - 216. Suppose a + n = 83. Suppose -11*i + a = -i. Solve -2*g + 13 - i = 2*r, r = 3*g - 2 for r.
4
Let b(x) be the second derivative of 11*x**3/6 - 7*x**2 + 20*x. Let n be b(5). Let k = -37 + n. Solve 0 = 2*w + 3*u - 15, 5*w - k*w + 6 = 3*u for w.
3
Suppose 30*f - 98 = -6*v + 5*v, -f + 35 = 4*v. Solve 13*t - v*t = -5*i + 5, -2*t = 3*i - 6 for i.
4
Let j(h) = h**2 + 20*h + 4. Let w be j(-20). Suppose -2 = 5*f - 4*o - 21, 3*o - 9 = -w*f. Solve -3*a + 5*n - 4 - 26 = 0, -n = -f*a - 18 for a.
-5
Let l(n) = n**2 - 530*n + 6219. Let d be l(12). Solve 0 = -c - d*u - 8, 166 - 161 = -5*u for c.
-5
Suppose 39*k - 44*k + 20 = 0. Solve -5*z + 0*z - 13 = a, 5*z + 7 = -k*a for a.
2
Let r(q) = -21*q - 1. Let y be r(6). Let i = y + 145. Suppose -21*u + 18*u + i = 0. Solve -c = 5*d + 20, -5*c + 26 = -5*d + u for d.
-4
Suppose 13*y - 66 = 2*y. Let n be 5/(10/4) + y + -2. Solve i + 2*i + 12 = -3*g, g + 2*i + n = 0 for g.
-2
Let g be (-8)/(-14) - 1 - (-14098)/2597. Suppose 13*h - 20 = -20. Let o = 41 + -10. Solve 0 = 5*k + 20, h*k = -g*m - 4*k - o for m.
-3
Suppose 57*a = 49*a + 952. Suppose 26*i - 11 = a. Solve -o = -2*o - n - i, n = -2 for o.
-3
Suppose 3596 = 3*s + 3581. Let h = -4 - -6. Solve -3*m + 2*a - s = 0, -a = -h*m + 2*a - 5 for m.
-1
Let n = 1270 - 1258. Solve -3*d - 4 = -4*d - q, q + n = 3*d for d.
4
Suppose 17*u = 6*u + 1716. Let c = -146 + u. Solve c - 1 = -t + 2*x, 5*t - 2*x = -29 for t.
-5
Let w(a) = -a**3 - 2*a**2 + 25*a + 4. Let r be (2/4*0)/(33 - 35). Let f be w(r). Let y be -2 - (-6)/2 - -1. Solve -x - 13 = -f*p, x + p = y*p - 4 for x.
-1
Suppose 15*g - 2 = 14*g. Let m = -17 - -27. Let s be m/30 - (-17)/3. Solve -g*n + 18 = 4*y, y - 4*n = 15 - s for y.
5
Let c = -10 + 15. Suppose 144 = 13*k - 4705. Let m = -371 + k. Solve c*p - 6 = 4, 5*w = p - m for w.
0
Let x = -1213 - -735. Let d = -475 - x. Solve -d*a - 8*n + 3*n - 22 = 0, -5*n - 20 = 5*a for a.
1
Let h = -18 - -17. Let w(p) = 97*p + 3. Let t be w(h). Let c = 97 + t. Solve -2*x = -c*x + 3*b - 4, -2*x = 5*b - 14 for x.
2
Let f(k) = k**2 - 5*k - 29. Let x be f(-5). Let a(q) = -q**2 - 9*q - 3. Let j be a(-8). Solve g = 2*b - 2 - 5, 4*b = -j*g + x for g.
1
Suppose -15 = 5*y + 5*o, -5*y + 17*o = 12*o - 35. Solve -5*v + 15 = -3*j - 2*v, 6 = -y*j + v for j.
-1
Let f(w) = 4*w - 50. Let v be f(13). Suppose -2*z - z + 9 = 0, 4*i - 5*z - 1 = 0. Solve i = -4*r - x - 2*x, 5*r - 2 = -v*x for r.
2
Let m = -2426 + 2428. Solve 9*j - 13*j + m = l, -2*j = -5*l - 12 for j.
1
Let o(v) = 2*v**2 + 2*v + 1. Let b be o(-2). Let t(q) = 109 + 13*q + 105 + 14*q - 20. Let i be t(-7). Solve -b*z = 2*c + 20, -i*c - 12 = 2*z + z for z.
-4
Suppose -360 = -5*b + 133 - 23. Solve 0 = -l + 2, b*l = g + 91*l + 3 for g.
3
Suppose 16 = 3*f - 5*c, -c = 4*f - 19 + 13. Solve 14*t = 2*o + 15*t - 13, o - t - f = 0 for o.
5
Let m = 412 - 418. Let z be (2 - (m/6 + 2))*2. Solve 5*k = -5*l + 10, z*l = -4*k + 3*k + 3 for k.
1
Let t(s) = s**3 - 17*s**2 + 27*s + 27. Let y be t(16). Let l = y - 199. Solve -4*k - l = -5*h - 2*k, -4*h = -3*k - 6 for h.
0
Let h be 323 + (3 - (-3 + -1)). Let y = h + -326. Solve l = -y*u + 3, 0 = -l - u + 6*u + 3 for l.
3
Let s be (-2)/(-7 + (-83)/(-12)). Suppose -2*q = 3*v - 9 - 9, -4*v + q = -s. Solve 4*w - 3*d + 23 = 0, 0*w + v = -w + d for w.
-5
Suppose -20 + 50 = 6*r. Suppose 20 = 5*d - m, 5*m - 45 = -r*d + m. Solve -19 = -3*c + d*w, -15 = -5*c + 2*c + 3*w for c.
3
Let f be 79/3*(0 - -3). Solve -3*v + 