t**2/2 + 4*t - 63. Let a be o(-4). Solve -5*u = 2*x + x - 6, a = 3*u + 4*x for u.
0
Let o be (-45)/(-5) - 1*(-1 - -2)*-2. Solve -o*u + 9*u - 19 = 3*p, 0 = u + p + 7 for u.
-2
Let c(t) = t**3 - 2*t**2 - 10*t + 13. Let j be c(4). Solve w - 28 = -5*s, w - 40 = -4*w - j*s for w.
3
Let n be 1324*(-6)/(-24) - (-20)/4. Let s be (n/(-616))/(4/(-22)). Solve 2*d + d - 2*t - 7 = 0, -5*d = s*t + 20 for d.
-1
Suppose -5*f + 15 = 5*w, -3*f + 0*f + w = -1. Suppose 11*b - f = -1. Solve b = -5*s - y + 2, 1 = 2*s - 4*y - 13 for s.
1
Suppose -117*m + 113*m - 2*g + 4 = 0, -g - 23 = -3*m. Solve 3*k - 2*w = 6, -m*k + 8*w + 10 = 12*w for k.
2
Let w = -67120 + 67125. Let f(p) = -p**2 - 10*p - 9. Let z be f(-9). Solve -w*d = 4*n - z*d, 8 = -2*d for n.
5
Suppose -p + 5*q - 20 = 0, -253*p + 250*p = q - 36. Solve 10 = -4*j - 2, -4*j - p = -w for w.
-2
Suppose 5*m - 22 = 4*m. Solve 3*r = -5*n - m, -3*r + 5*n = -20 - 8 for r.
1
Let n(z) = -6*z + 24. Let m be n(4). Let j be (4/5 + 0)*(5 + m). Suppose -j*t = -7*t + 12. Solve -v + 3*g = 3, -v + 4 = v + t*g for v.
0
Let s = -7683 + 7686. Solve -15 + 3 = 3*m + s*j, 1 = -j for m.
-3
Let v(r) = 2*r + 30. Let k(t) = -t**2 - 23*t + 3. Let o be k(-21). Suppose -f = -6*f - o. Let z be v(f). Solve -z = 4*g + s + 3*s, g + 6 = -4*s for g.
-2
Let o(z) = -z**3 - 3*z**2 + 8*z + 18. Let n be o(-4). Suppose -5*f = 0, m + f = n + 2. Solve g = 2*y - 3, -5*y = -m*g - 17 + 2 for y.
-1
Let v(n) = -2*n - 31. Let t be v(-16). Suppose 5*a + 5 = -3*x, -9*a = -5*x - 10*a - t. Solve -12 = 4*b, 3*b + x = m - 13 for m.
4
Let o(v) = -v**3 - v**2 + 3*v + 2. Let f be o(-2). Let k = -435 - -849. Let c = -412 + k. Solve b - 5*t + 25 = f, -b - 7 = -t + c for b.
-5
Suppose -w + 9 = 2*w. Suppose 45*l + 21 = 48*l. Suppose -5*y - l = -22. Solve -a + 4*a = y*f - 24, -5*f = w*a for a.
-5
Let l = -11426 + 11431. Solve 3*r + l*g = -17, -18 + 6 = 4*r - 4*g for r.
-4
Let w be ((-2)/(1 + -3))/(3/6). Solve 3*n + 2 = -w*y, -21 = 166*n - 167*n - 5*y for n.
-4
Let o be 2/(-3) + (-164)/(-3). Let j = -30 + o. Let n be 0*((-1)/3 + (-1)/(90/(-75))). Solve 2*y - 6*y + z + 8 = n, -4*y + j = 3*z for y.
3
Suppose -12 = -9*i - 3*i. Let g be i/(27/6) - (-34)/9. Solve 18 = 2*b - n - 3*n, 0 = 2*n + g for b.
5
Let x be (-1)/(25/(-1220))*60/8. Let n = -366 + x. Solve 0 = -3*s, 2*s - 20 = -4*w - n*s for w.
5
Let u be (12 - 10) + 11 + 7. Solve -5*f + 3*k = 22 + 3, 0 = -4*f + 2*k - u for f.
-5
Let t(x) = -28*x + 310. Let j be t(11). Solve 0*o + 3*d = -j*o - 13, 2*d = 3*o for o.
-2
Let a be (-2 - (-85)/(-20))*2*-2. Suppose 28*r = a*r + 12. Solve 5*d = -2*b + 22, r*b + 2*d = 14 - 2 for b.
1
Let o = -15646 + 15649. Solve -o*p + 3 = -3*r, -4 - 10 = -r - 4*p for r.
2
Let g(f) = -49*f + 17. Let v be g(0). Solve 3*p + v*c - 14*c = -6, 0 = p - c - 2 for p.
0
Let t = -2905 - -2909. Solve -4 = -5*u + o, t*u = -2*o + 7*o - 1 for u.
1
Let v = -252 - -257. Suppose -120 = -25*k + v*k. Solve -2*b + 27 = b + 5*l, k = 2*l for b.
4
Suppose -129 = s + o, -s + 2*s = 4*o - 104. Let x = s + 136. Solve -2*b + 3*z - z = x, 5*b + 14 = z for b.
-2
Suppose 0 = -0*n + 3*n + a - 53, -4*n + 5*a = -39. Suppose -5*x - 4 = -14. Suppose 0 = -10*r + 48 + x. Solve 0 = 3*z + v, z = -r*v + n - 2 for z.
-1
Let c(l) = 9*l + 668. Let a be c(-74). Solve -a*d - 1 = -d - 3*s, 0 = -2*s for d.
-1
Let x(q) = -2*q**3 - q**2 + 61*q - 28. Let g be x(-6). Solve g*a - 7*a - i = -23, -3*a + 3*i + 21 = 0 for a.
5
Let a = -106 + 108. Suppose 5*y + i - 40 = 0, i + 4*i + 10 = 5*y. Solve o - 3*t + 2 = 0, 4*o + 5*t = a*t + y for o.
1
Let i = -24 - -42. Suppose -i + 16 = y. Let h = y + 4. Solve -2 = 4*b + 2*c, h*b - 4*c = c + 5 for b.
0
Suppose 5*s = -2*t - 23, 0*s - 2*s - 7 = 3*t. Let x be ((-24)/(-40))/((-1)/s). Solve x*b - 4*g + 20 = 0, 3*g = -g + 8 for b.
-4
Suppose 2*h - v = 26, v = -3*h + 4*v + 33. Suppose -2*d = 5*z - 18, 0 = -5*z + 41*d - 45*d + 26. Solve t + z = 3*l - l, h = 3*t + l for t.
4
Let h(r) = r + 3. Let u be h(-3). Suppose w - 3 = -3*s + 4*w, -4*s - 5*w = -49. Let d be ((-3)/15)/(s/(-60)). Solve 3*n = -5*x + 10, u*x + 9 = x + d*n for x.
-1
Let m be (2/(-5))/((-3)/15). Let j be 2 - (7 + -7 + m). Suppose j*o + o = 0. Solve q - 2 = -g, o*g - 2*g - 3*q = -6 for g.
0
Let o be 6/(-18) - (-34)/3. Suppose -13 = -o*m + 152. Let r(w) = w**2 - 3*w - 4. Let v be r(4). Solve v = -3*l + m, 21 = -q + 3*l + 4 for q.
-2
Suppose -5*p = 6 - 31. Let q be 3*(-10)/3 + 15. Solve 5 = q*h, 5*h + 6 - 21 = -p*z for z.
2
Suppose -29 = -3*o + 22. Suppose 0 = -12*u - 0*u - 6600. Let q = u - -552. Solve -o = -q*n - 5*f, 6*n = n - 5*f + 20 for n.
1
Suppose 0 = -2*w + 9 - 1. Let n(o) = -o**2 - 50*o - 220. Let p be n(-5). Solve -2*m = 6*l - 2*l + 14, -w*m = -p*l - 11 for m.
-1
Let d = 24798 - 24793. Solve 2*k + 3*b = -2, 3*b = -3*k + d*b - 16 for k.
-4
Suppose 2*r - 663 = -r. Let x = r - 218. Solve -2*c = -3*c - 4*a + 4, 3*c + 3*a = x for c.
0
Suppose -6113 - 20781 = -34*f. Let a = 797 - f. Solve 0 = -g - 5, -g = 3*m + 2*g + a for m.
3
Let i(g) = 6*g**2 + 52*g - 15. Let x be i(-9). Suppose -13*n + 16*n - 3*p = -x, 15 = n + 3*p. Solve z = -n*a - 0*a + 7, -3*a + 32 = -4*z for z.
-5
Let g be 6 + -9 + -4 + 11. Suppose h = 5*c - 11, -2*c + 3*c - 19 = -g*h. Let r be (2 - 1) + 2 + 2. Solve 4*o = 3*j + 3, h*o = 2*j + r + 1 for j.
3
Let c be ((-4830)/50)/((-4)/(-20)). Let s = c + 487. Solve -5*n - s*m = -9, 0*n = -n - m + 1 for n.
5
Let u be (-2)/6 + 89*187/33. Let a = -500 + u. Solve -1 + a = -c, 5*c = 2*n - 25 for n.
5
Suppose 17*x = 15*x + 32. Suppose x*f = 15*f + 10. Solve -5*z = w + f, -6*z - w - 7 = -2*z for z.
-3
Let w = 380 + -371. Suppose -4*s = u - 89 - 24, 2*s - 73 = 5*u. Let v = s + -24. Solve 0*k - v*y + 17 = -k, w = 3*k + 5*y for k.
-2
Suppose 0 = -110*f + 232 + 98. Solve -2*c - 2 = -f*c + 3*w, -4*c - 6 = 2*w for c.
-1
Suppose -3*j - d + 10 = 4*d, -4*j = -d - 21. Let r(o) = 8 + 6*o**2 - 24 - 2 + 0*o + 3 + o**3 - 3*o. Let q be r(-6). Solve -z - m = -q*m + 7, m = 2*z + j for z.
-1
Let z(p) = -4*p**2 + 99*p - 237. Let l be z(22). Solve 0 = l*x - h + 11, -h + 0*h - 10 = 2*x for x.
-3
Suppose -3*p = 4*q - 17, 18 = 2*q - p + 17. Suppose q*m + 2*l - 4 = -0, -5*m = -5*l - 30. Solve -m*d = 5*f + 10, 4*f + 0*d - 18 = 2*d for f.
2
Let a = 105 - 106. Let l be -27 + 32 + (a - -1)*1. Let i be (-94)/(-8) - (133/28 - l). Solve 0*u = -5*u - 20, 0 = -2*x - 4*u - i for x.
2
Let l(t) be the first derivative of -2*t**3/3 + 4*t**2 + 10*t + 44. Let d be l(5). Solve 11 = 2*j - c, d*c = 5*j + c - 24 for j.
5
Let r be 4/16 + 122/(-8). Let b be (-9)/(-4) + r/60. Solve 0 = -5*y + 15, -c - y - b*y + 10 = 0 for c.
1
Let n be 4 + (3 - 5) + 4/1. Let l be 3 + 1 + -70 + (-24)/n. Let k be 14/l + (-2)/(20/(-42)). Solve -v - x + 20 = 3*x, k*v - 8 = 2*x for v.
4
Let a(u) = 132*u - 2506. Let n be a(19). Let g(t) = -2*t + 6. Let x be g(3). Solve -n*v - 4*h = -x*v - 6, v = 3*h - 7 for v.
-1
Let n(k) = 7*k + 103. Let h be n(6). Suppose -69 = h*m - 148*m. Solve a + 5*t = m, 5*a + 3*t - 5*t - 7 = 0 for a.
3
Let u be 5 + 5/(-2)*2 + 2. Solve 0 = g + c + 4*c, -u*c + 7 = -g for g.
-5
Suppose 329 = -16*u - 19*u + 399. Solve -4*a + 25*c = 26*c - 16, -8 = -u*a + 2*c for a.
4
Let i be (-300)/(-44) + 0 + (-12)/(-66). Suppose -8*c = -9*c + i. Solve -3*x - 2*w + 5 = 0, -3*w = c*x - 2*x - 9 for x.
3
Let s = 15 + -13. Let q(k) = k**2 + 11*k - 5. Let x be q(-10). Let i = x - -19. Solve 0 = s*a + 3*v - 3 + 11, -a - 2*v = i for a.
-4
Let x be ((-1)/(-1))/(7/(-105)*-5). Solve 3*p + 5*o = 6, -6*o = p - x*o - 2 for p.
2
Let k(t) = -t**2 + 4*t. Let i be k(3). Suppose -7*o + i*p = -12*o + 15, 5*o - 5 = -p. Solve -2*r - 8 = 2*f - o, 4*f - 9 = r for f.
1
Let r(s) = -6*s**3 + 523*s**2 - 90*s + 268. Let i be r(87). Solve -3*g = -2*f - 2 - i, -g + 4*f + 13 = 0 for g.
1
Let h = -5712 + 5714. Solve h*y + 4*q - 10 = 0, -y - 7*q = -6*q for y.
-5
Let z be (11/(-22))/(1/(-2)) - -30. Suppose 0 = 19*o - z*o + 108. Solve -5*h = -2*f + o, 6 = f - 4*h - 0*h for f.
2
Suppose 13*n = 123 - 45 + 312. Solve -p - 16 = -4*s, 32*s - n*s - 8 = -3*p for p.
0
Let z(i) be the second derivative of i**4/2 + 43*i**3/6 + 15*i**2/2 + 26*i - 4. Let m be z(-7). Solve g = 5*g - 12, -g = -5*v - m for v.
-1
Suppose -g - 8*f = -10*f - 26, 48 = 3*g + 4*f. Suppose -20 = 4*z + 5*b - 0*b, 5*b + g = 0. Solve 0 = 2*i - 3*l - 9, z = -5*l - 2 - 3 for i.
3
Let o be 