 15 = 3*x - 66*t for x.
-5
Let y = -3510 - -3512. Solve -3*c + 4 = v - 0*v, -4*v - y = 3*c for v.
-2
Let q be (4 - (0 - 1)) + 5 + -1. Suppose -3*h - q = 3*c, -15 = c + 7*h - 2*h. Solve 4*b + 4*z + c = -8, 21 = -3*b + 2*z for b.
-5
Let h(r) = 19*r - 67. Let k be h(25). Let a = -404 + k. Solve a*y - y = 4*q - 23, 3*y + 19 = 2*q for q.
2
Let h = 88 + -88. Solve -2*y + l = -12, 2*y - 2*l - 16 + 0 = h for y.
4
Suppose 5*c + 2*i + 12 = 50, -c + 4*i - 10 = 0. Let m be 20/c*-6*(-1)/5. Solve 3*n + 10 + 2 = 0, 4 = -m*h + 2*n for h.
-3
Suppose 0 = -0*q - 2*q + 4. Suppose 2*c - 6 - 2 = -3*p, -2*p - 5*c = 2. Solve -p*v - 5*r - 33 = 0, -q*v + r = 2*v + 3 for v.
-2
Let t(m) = 5*m**3 - 9*m**2 - 30*m + 61. Let y be t(2). Solve -4*x = 5*z + 27, 14 = -2*x - z + y for x.
-3
Suppose 5*i = 4*c + 12, 4*c + 242 = -5*i + 270. Solve 5*t - 96 + 83 = -c*o, -3*o = t for o.
-1
Let q(o) = 121*o - 117. Let v be q(1). Solve 3*x + 21 = 6*p - 3*p, -v*x = -p + 22 for x.
-5
Let f(o) = -578*o - 3468. Let w be f(-6). Solve 3*b + 59*v - 58*v - 1 = w, -2*b - 2*v = 2 for b.
1
Let v(h) = -h**3 - 21*h**2 - h - 20 - 25*h**2 + 43*h**2 - 8*h. Let n be v(-3). Solve n*a - 5*d = 4*a, -5*d = 4*a for a.
0
Suppose -22*i - 143 = -451. Solve 2*b - i = 2*d, -2*d + 0*d + 6 = 3*b for d.
-3
Suppose -5*b - 18 = -9*l + 7*l, 4*b - 4*l = -12. Let u(s) = -6*s - 19. Let n be u(b). Solve 0 = n*r - i - 4, -6*r + 7*r = i for r.
1
Let i(w) = 6*w - 112. Let j(l) = -23 - 46 + 4*l - 6. Let t(c) = 5*i(c) - 8*j(c). Let h be t(10). Solve u + 5*r + h = 0, 4*u + r = 2*r - 17 for u.
-5
Suppose 2731 = 10*d + 2621. Solve -5*w + 9*w - 6 = 5*b, d = -4*b - 3*w for b.
-2
Let t = 60 + -20. Let r = -29 - -28. Let m be (r/2)/((-4)/t). Solve 0*y = y - o, 0 = 5*y + m*o - 20 for y.
2
Let x = 411 - 419. Let g be (-5 + -1)*(x/12)/2. Solve -5 = g*w - u, 7*w = 4*w + 4*u for w.
-4
Suppose 2*t - 1154 = 4*n, -2*n = 3*n + 2*t + 1429. Let k = n + 287. Solve -2*i - 26 = -j + 5*j, k = 5*i - 2*j + 5 for i.
-3
Let b be 1 + (4080/(-225) - -18 - 32/(-15)). Solve 5*r = -3*z + 5, 3 = 4*z + b*r + 11 for z.
-5
Let u(q) = -q**3 - 30*q**2 + 57*q - 219. Let t be u(-32). Solve 3*j + 2*j - 5 = -t*s, 5*j = 10 for s.
-1
Let r be ((2/(-1))/(-6))/(194/2910). Solve -r*g - 8*v - 2 = -12*v, -5*g + 22 = 4*v for g.
2
Let v = 544 - 540. Suppose -4*o = 2*y - 20, 2*o - 22 = -0*o - v*y. Solve o = 4*h + 2*d - 1, -2*h + 2*d = -8 for h.
2
Let w(c) = -c + 1. Let o be w(10). Let x be 2 + (-1)/(o/(-2) + -4). Suppose -88*i + 83*i + 20 = x. Solve i*k = u - 4*u + 35, 0 = 2*u - 10 for k.
5
Let q be (-8)/(-12) - 8/(-6). Let g = 4 + 5. Suppose 3*b - 119 = -4*l, -b + 33 = -4*l - 28. Solve -4*m = -5*a + b, g = q*a - m - 6 for a.
5
Let q(o) = -o**2 + 35*o - 259. Let m be q(24). Solve -m*s - 5 = 2*v - 0*v, 3*s + 24 = 3*v for s.
-3
Let h(d) = 2*d**2 + 6*d + 4. Let v be h(-6). Let t = 122 - 114. Suppose 2*y - v = -t*y. Solve -y*c + 2*j - 18 = 0, 0 = 4*c + 3*j + 2*j + 25 for c.
-5
Suppose -21*y = -1687 + 7105. Let g = y - -263. Solve 2*x - t + 5 = g*x, -2*x = 5*t + 14 for x.
3
Let o be ((-2250)/(-51) - 41) + 2/(-17). Let c(s) = -s**3 + 2*s. Let l be c(-2). Solve 0 = -n - 4*d - l, 6*n = o*n - 5*d - 12 for n.
-4
Let y be 9/(1647/2295 - (-4)/(-34)). Let d = 30 - 28. Solve -4*u - u + v = -y, -d*v = -2*u + 6 for u.
3
Let i be (-10)/((-2)/8 - 15/20). Suppose -2*a - 2*x + 0 - 4 = 0, 0 = 2*x + i. Solve -20 = 4*h, -7 = -2*q - 2*h + a*h for q.
1
Let v(w) = w**3 + 14*w**2 - 26*w + 48. Let m be v(-16). Let o be -18*(4 - 0 - (-224)/m). Let j = 1 + 24. Solve -1 = -4*a - 5*d + o, 5*a - 2*d = -j for a.
-3
Let o = -337 - -411. Suppose 0 = -3*r, 0 = 73*z - o*z + 4*r + 20. Solve a + 4 = 2*u, 0 = 2*u + 6*a - 3*a - z for u.
4
Suppose -2*k = -0*k - 16. Suppose -6*j = 2*j + 48. Let m be (-4)/j + (22/3 - 4). Solve k = m*t, 2*h + 4*t - 13 = 7*h for h.
-1
Suppose -106 - 80 = -5*o + 29. Solve 40*h - 3*b + 15 = o*h, -3*h - 5*b = -21 for h.
2
Let b = 459 + -438. Let u be 2/(-2) - (-105)/b. Solve 2*p = p + 2*o - 11, -4*p - u*o + 16 = 0 for p.
-1
Suppose 2*w - 5*g - 222 = 0, 0 = 3*w + 94*g - 98*g - 361. Solve 0 = 130*h - w*h - 2*p - 11, -5*h + 3*p - 3 = 0 for h.
-3
Let x(v) = -4*v - 73. Let k be x(10). Let f = 116 + k. Solve -7 = -m + f*w, 0 = -5*m - 2*w - 2*w - 41 for m.
-5
Suppose 0 = -g - 5 + 7. Let a be 10/(-20) - g/(-4). Solve -s + 4*i + 3 + 2 = a, 2*s = i + 3 for s.
1
Let q be (19/3)/((6/252)/((-4)/(-56))). Solve q*w = 3*v + 17*w - 1, -v = 5*w + 11 for v.
-1
Suppose 48*a = 22*a - 84*a. Solve 2*w + 2*n + 19 - 7 = a, 5*n = w - 6 for w.
-4
Let p(o) = o**2 + 21*o - 739. Let f be p(19). Solve -8*q + 11*q - 3*s - f = 0, -4*q + 3*s = -25 for q.
4
Let i(t) = 59*t + 16. Let y be i(-5). Let s = -252 - y. Solve 3*f - 4*p = s, 5*f - 2*f - 2*p - 21 = 0 for f.
5
Let b(l) = 13*l - 248. Let t be b(20). Suppose -5*h + 65 = 3*f + t, -2*f = -4*h + 38. Solve -k = 5*i + 5, -5*i + 4*k - 2*k + h = 0 for i.
0
Let o(t) be the third derivative of t**4/4 + 5*t**3/6 - 6*t**2. Let q be o(-1). Let f be ((-1)/q)/(6/18). Solve n + 2*z + 1 = z, n + f*z = 1 for n.
-2
Let v be 2 + (0 - 3 - 251). Let u = 257 + v. Solve u*r + 10 = 0, -2*x = 2*x - 5*r - 30 for x.
5
Let m = 88 - 70. Suppose 0 = 71*c - 77*c + m. Solve -2*q = 0, 0*y - c*q = y - 3 for y.
3
Let r be -5*2/(-2)*(-6)/(-15). Solve -2*q = 5*l, 0 = -r*l - 2 - 2 for q.
5
Let r be -34 + 50 + -17 + (-3 - (-4 - 1)). Suppose -2*y + 4 = -y. Solve 5 = -b, -y*c - r = -6*b + 3*b for c.
-4
Let f be 9/(-6)*(7 + ((-1015)/21)/5). Solve 3*p - f*p - 2*s = -8, s - 3 = 0 for p.
2
Let f = 110 + 222. Let o = f - 328. Solve q + 7 = o*t, -5*t = q - 15 - 5 for q.
5
Let v = -27926 + 27931. Solve -v*q - 4*j = 15, -28*q - 3*j + 3 = -29*q for q.
-3
Suppose -20 = -19*n + 18. Suppose 2*k - 8 = 0, -2*k = -a - 0*k - 86. Let m = a + 81. Solve -m*z - 12 = 3*t, -n*t - 2 = z - 3*t for z.
-3
Suppose 3*z + 0*k - 4*k + 10 = 0, -5*z - 4*k + 26 = 0. Suppose 15*g = 13*g. Let w be 0*(2 + -3) + g/(-37). Solve 4*r + 0*r + 2*s + 10 = w, z*r = 2*s + 10 for r.
0
Let b = -2931 + 2947. Solve 3*d = 2*s + d + b, -2*d = -10 for s.
-3
Suppose 0 = 2*l - 6 - 4. Suppose 12*i + 90 = -2898. Let t = -242 - i. Solve 0 = 4*d - 3*p + l, -2*d + d - 2*p = -t for d.
1
Suppose 5*d = -4*x - 2, -4*d = 4*x - 0*d + 4. Suppose 0 = -72*z + 211 - 67. Let w be (-1 - x)/(z/4). Solve 0*b - b + 4 = -3*m, 3*m = -b + w for b.
4
Suppose -4*x + 27 = 121*d - 124*d, -8*x + 49 = -5*d. Solve -4*n - x*r = -23, -4*r + 14 - 15 = -n for n.
5
Suppose 2*g + 71 = 107. Let k be (45/g)/((-2)/4). Let q be k/3*18/(-10). Solve -2*o + 5*m = -5*o + 13, 0 = -q*m + 6 for o.
1
Suppose 182*y = 120*y. Solve -2*k = q - 5, y = 10*q - 5*q + 5*k for q.
-5
Let p(i) = -i**2 + 7*i + 4. Let w be p(7). Suppose 0 = w*n + 4*r - 12, -n + 2*n - 5*r - 3 = 0. Solve -4*s + q - 6 = -q, 0 = -q + n for s.
0
Suppose c - 3*r - 11 = 0, -8 = -3*c + 2*r + 46. Suppose 2*o - 5*o + n + 10 = 0, 2*o - 4*n - c = 0. Solve 3*v = -2*a + a + 6, -o*v + 4 = -a for a.
0
Let h = 6177 + -6158. Solve 2*o + 6 = -4*r, -2*o + h*r - 20*r = -3 for o.
3
Let b = 126 - 126. Let t(l) = -7*l**2 + l + 6. Let m be t(b). Solve -3*u + 5*a = 2*a + m, -3*u - 11 = 2*a for u.
-3
Let c = 688 - 678. Suppose 5*n - 7*g - c = -2*g, 2*g - 14 = -7*n. Solve -n*x + 3*k = -3, 0 = 2*k + 6 for x.
-3
Suppose -12*q - 4 = -14*q. Suppose -14 = -q*w - 10. Solve -5*g = m + 3*m - 2, 19 = -w*g + 5*m for g.
-2
Let q(g) = -g**2 - 23*g + 88. Let a be q(-26). Let r = -33 + 35. Solve 3*d + 3*k + 8 = -a, -5*d = -r*k + 23 for d.
-5
Suppose 49*v - 41 = 106. Solve -6*t = -11*t + 5*a - 5, v*t + a + 19 = 0 for t.
-5
Suppose 16 = -7*b + 11*b, -j = -2*b - 48. Solve 2*i = 4*y - 12, -54*y = -j*y + 10 for i.
4
Let m be 1/2 + 135/30. Suppose m*r + 10 = 3*d + 4*r, -5*d - 2*r = -24. Solve -5*o + 2*q + 28 = -o, q = -d for o.
5
Let q(u) = 754*u + 5275. Let t be q(-7). Let g(s) = -4*s**3 - 5*s**2 + 2*s**3 + 0*s**3 - 3*s - 2. Let h be g(t). Solve -f - 3*j = -7, -2*f = -3*j + h + 6 for f.
-5
Let c = -308 + 286. Let w(p) be the first derivative of -3*p**2/2 - 66*p + 4. Let q be w(c). Solve 3*b - 18 = 3*j, -3*j + b - 16 = -q*j for j.
-5
Let d(g) = -g**2 - 19*g + 421. Let x be d(13). Solve x*l = 27*h - 24*h + 14, 9 = -4*h - 3*l for h.
-3
Suppose 19 = 2*p + 11. Suppose 19 = 5*a + y, -p*a = 5*y - 2*y - 24. Suppose -4*r + 45 = r. Solve -t = -u - r, -t = -0*u + a*u + 11 for t.
4
Suppose -5*y - q