3*v = -h*c - 5 for c.
-2
Let q(z) = z**3 + 3*z**2 + 2*z + 3. Let o be q(-2). Suppose -9 = o*s - 21. Suppose 172 - 1 + 9 = 52*g - 28. Solve -s*l + g*i - 12 = 0, -2*l - 5 = 4*i + 7 for l.
-4
Suppose 3*k + 3*i = -6, -139*i + 135*i - 14 = 2*k. Solve 5*n = v - 15, 2*v = k*n + 9 - 7 for v.
-5
Let h = 3 + -1. Let o be 6*1 + 1 + 22/(-11). Let m(v) = 2*v - 10. Let k be m(o). Solve 2*s = -i - k*i - 5, h*s - i = -3 for s.
-2
Let j = -733 - -735. Solve 3*n + j*u + 8 = 0, -11 + 12 = -n + u for n.
-2
Suppose 1204 + 1142 = 391*s. Let d be (-2)/5 + (-12)/(-5). Solve 4*f + 29 = -5*o, -s = o - d*f - 3 for o.
-5
Suppose 8000*r = 8022*r - 132. Solve -2*k = -10, 2*k = -r*v + 2*v + 22 for v.
3
Let r(d) = 0*d + 2*d**3 - 4*d**3 + 3 - 3*d**2 + d. Let n be r(-2). Suppose n*m = 13 - 3. Solve m*u = -5*j, -u - 2 - 1 = 4*j for u.
5
Let t = 14014 + -14009. Let b be (1 - -2)*(-4)/(-3). Suppose 5 = 5*m - 5. Solve 8 = -m*h + h + b*l, -35 = -5*h - t*l for h.
4
Suppose 16*y + 3*y = -14421. Let c = -756 - y. Solve 17 = -3*p - 5*z, c*z + 4 = 2*z for p.
1
Suppose 4 = 2*u + 17*m - 19*m, 2*m = 4. Solve 13*l - 11*l + o = -4, -4*o - u = -4*l for l.
-1
Suppose 3*t = 5*t + 14. Let f = 4 + t. Let s be f*(2 + 55/(-15)). Solve 0 = 2*c + 3*p + 2*p - 10, -s*p + 15 = c for c.
-5
Let f(c) = c**3 + c + 4. Let x(j) = 2*j - 8. Let t be x(4). Let r be ((-20)/8 + 2)*t. Let i be f(r). Solve -5*z - 16 = i*p, -2*z + 15 = -5*p - 7*z for p.
1
Let c(b) = -21 + 27 - 109 + b**2 - 32*b. Let t be c(35). Solve y - 5 = -2*y - v, -t*y + 4 = v for y.
1
Let q = 24 - 24. Suppose -3*j - 3 = -12. Suppose -2*w = -q*w + j*w. Solve -4*z + 4*n - 4 + 0 = w, 4*z - 5*n = 0 for z.
-5
Suppose 2*m - 6 = -m. Let c be 1056/32 + (-650)/25. Solve u + 4 - 1 = -m*p, 3*p - u = -c for p.
-2
Suppose 4*x = 5*z + 1158, -8*x = 2*z - 4*x + 452. Let o = -230 - z. Solve -2*s - 4*u = -o*u - 20, -13 = -4*s + u for s.
4
Let x(f) = 2*f**2 + 8*f - 6. Let v be x(-5). Suppose 0*n + n + v = 0, -34 = -3*u - 5*n. Solve b = -2*s + 2*b - 7, 4*b = -2*s + u for s.
-1
Let d be (-6)/(-180)*10196 - (-4)/30. Let t = d - 337. Solve -5*q + 11 = w - 0*w, 3*q - 9 = -t*w for q.
2
Let s = -10032 - -10037. Solve 0 = 4*z - s*j - 22, -5*z - 3*j + 14 - 5 = 0 for z.
3
Let y(w) = -144*w + 1747. Let o be y(12). Solve -5*f + o = -g, -g + 9 = 17*f - 15*f for f.
4
Suppose -2003 - 1093 = -315*z - 576. Solve 9*c + 5*v + 25 = 10*c, -4*c - 3*v = -z for c.
5
Let x be -1*(-4 + 14) + 14. Solve -3*l - t - 10 = 2*l, -23 = 3*l + x*t for l.
-1
Let n be 220 - 2 - (-3 + (1 - -2)). Let u = -216 + n. Solve -4 = 3*s + 5*w, s + 3*s + u*w = 4 for s.
2
Let p(y) be the second derivative of -y**3 + 25*y**2 + 2*y + 2. Let w be p(8). Solve 4*s + w*d + 1 = 19, 2*d - 6 = 0 for s.
3
Suppose 0*v - 5*v = 0. Suppose 4*s - 3*s = v. Suppose 120*l - 63*l + 20 = 62*l. Solve i - 8 = -5*o - 32, s = -i - l*o - 19 for i.
1
Let h be (10/14)/((-10)/(-70)) + -3. Suppose i + 0*i - h = 0. Solve i*b - 1 = -t, 0 = -3*b + 4*t - 3*t + 4 for b.
1
Let c(u) = 25*u - 145. Let t be c(6). Suppose -3*q + 68 = 5*x, -5*x = t*q - 16 - 84. Solve 0 = -h - 3*n + 11, 3*n - q = -n for h.
-1
Suppose -4*m - 2*r - 17 = -5*m, -3*m + 4*r = -59. Let q = 28 - m. Let c(i) = 17*i - 48. Let b be c(3). Solve q*x - 3*p = -21, b*x - 4*p = p - 31 for x.
-2
Let v = 37 + -35. Suppose 2*s - x - 7 = 0, -18*s + 17*s + 5*x = 1. Solve -v*h - 17 = -3*a - 3*h, -s*a = h - 22 for a.
5
Suppose -3*z + 671 = 659. Suppose -4*g - z*g = -30*g. Solve 2*d = y - 3, g = d + 4*y + 25 - 10 for d.
-3
Let x be (3 - -2)*(0 - (-201)/15). Suppose 4*r + x = 83. Solve 0 = 3*v + 5*g - 10, -r*g - 2 + 8 = 2*v for v.
5
Suppose -1814 = -6*q + 490. Suppose -2*o - 192 = -2*c, -c - 3*c + 2*o = -q. Suppose 11*u = 3*u + c. Solve 4*b - 4*z = u, 7 = -0*b + b - 3*z for b.
1
Let z = -770 - -774. Solve 8 = 2*t - z*j, 5*j + 4 = t - 0 for t.
4
Let d = 236 + -133. Let v = d - 100. Solve -2*q - 17 = -v*p, -4*p - q + 18 = q for p.
5
Let u(i) = 3*i**2 - 12*i - 71. Let v be u(13). Let r = -275 + v. Solve -p - 15 = r*s + 3*p, 3*s - 5*p = 28 for s.
1
Suppose -10*m + 225 - 195 = 0. Let n be (1/(-1))/((-2)/(-26)). Let f = -8 - n. Solve -4*b + m*q = -23, 3*b - f*q - 19 = 12 for b.
2
Suppose 33*f + 22*f = 367 - 92. Solve -3*a + 2 = -f*a, 4*a = g - 2 for g.
-2
Suppose 5*n - 17 = -8*t + 12*t, -5*n = -25. Solve 2*x - t*f = 8, 12*f = 2*x + 11*f - 7 for x.
3
Let l be 0 - (-49 + -2)*2. Let s(h) = 28*h - 2359. Let z be s(88). Suppose -l*y - 6 = -z*y. Solve 2*p + 20 = 5*c, 2*c - 6 - 2 = -y*p for c.
4
Let j be (-4)/(-10) + 1088/(-20). Let q = -49 - j. Suppose -3*a = -3*m - 6, 3*m - q*a + 14 = -0*m. Solve -5*i - 2*c = 10, -20 = -m*i - 2*i + 4*c for i.
0
Let a = 5794 - 5777. Solve -a*c + 13*c - 7 = -5*d, -3*c - 5 = -4*d for d.
-1
Let n = 12 - 13. Let i be 2/n - (-22 - 0). Let h = i + -10. Solve -r - 2*r = 4*j - h, 3*j - 3*r = 18 for j.
4
Let w be 19 - (6/(-2) + 5). Suppose 2*y = 21 + w. Suppose 21*r - 251 = -188. Solve -4*m - 16 = -2*d, 5*d - y = -r*m + 6*m for d.
2
Suppose -a = o + 3*a, o = -3*a. Let s(c) = c - 8. Let v be s(6). Let x(y) = 2*y**2 + y - 3. Let j be x(v). Solve o = -2*w - 2*h + 5*h - 4, j*w + 6 = -2*h for w.
-2
Let v be 1412/40 - 2 - (-3)/(-10). Solve 3*y + q + 19 = 0, 2*q - 20 = -y - v for y.
-5
Let d be 6*((-6)/10 + (-5)/750*-290). Solve 8*h + d = 6*h + 2*o, o = 6 for h.
2
Let d(m) = 5*m**2 + 7*m + 5. Let a be d(-2). Let t be ((-6)/15)/((-1)/5). Suppose -119 + 119 = -12*l. Solve t*p = -s - 0*s + a, -4*s + p + 17 = l for s.
5
Let x(l) = 2*l - 45. Let p be (-4)/(-18) - ((-331)/9 - 0). Let z be x(p). Solve 0 = -5*m + 15, a - 6*a + 3*m - z = 0 for a.
-4
Let a = -432 - -450. Suppose 0 = 19*l - 20 - a. Solve -l*u = -3*y - 5, 3*y = -2*u + 13 - 2 for y.
1
Let s = -183 + 175. Let i be (-2)/((16/288)/(6/s)). Solve -4*g - 4*c + i = -9*c, c = g - 6 for g.
3
Suppose -3*g + 18 = -2*r, 0 = 17*r - 35*r. Solve -3*i - 5*l = 6, -5*i - g*l = -5*l + 10 for i.
-2
Let f(t) = 2*t + 41. Let w(c) = -32*c + 45. Let a be w(2). Let y be f(a). Solve -5*j = v + v - 15, -j = -4*v - y for j.
3
Let h = 2664 + -2660. Solve o + 2*b = 2*o + 14, 3*o + h*b = 8 for o.
-4
Suppose 66 = -10*r - r. Let n be 5/5*r + 6. Solve -s + 20 = 5*p, n = 4*s + p + 3*p for s.
-5
Let k(m) = -m**3 - 14*m**2 + 2. Let w be k(-14). Suppose 2*y - w*l = -y + 110, 5 = l. Solve 5*g - y = -0*g - 5*z, 5*g - 22 = z for g.
5
Let c be (1 - 1)*1/(-2). Suppose 133 = 2*n + 5*q, 5*n = -0*q - q + 298. Let w = n + -57. Solve r + x - 5 = c, w*r = -0*x + 3*x - 5 for r.
2
Suppose -2*o = 4*h - 24, -2*o + 20 = h + h. Let n be 4*(-12)/(-64)*(o - 0). Solve 12 = 4*r - r + 3*c, -4*c + n = -r for r.
2
Suppose 0 = -4*b + 7*b - 15. Suppose -o - 3*q - 9 = 0, 0 = 13*o - 8*o + q - 11. Solve c + b = o*y, -y - 10 = 5*c - 3*c for c.
-5
Let r(a) = 186*a - 1111. Let d be r(6). Solve 3*v + 31 = d*y, 28*y - 24*y + 2*v - 16 = 0 for y.
5
Let q be (-1 - 2)*(-24)/9. Let j be (30/5 + -7)/((-2)/14). Suppose -j*x - 47 = -82. Solve -x*i + n = q - 20, -15 = -5*n for i.
3
Let l be 6/(8 + -2) + 14. Suppose 5*g - 27 = -u - 8, 3*u + g = l. Solve -b + 4*r - 4 = 2*r, -5*r + u = -b for b.
-4
Let j be (-14)/77 - 2/(-11). Suppose 3*y - 3*c = -3, -2*y + j*y - 2*c + 14 = 0. Suppose 0 = -0*r + r. Solve 6*g - y*w = g + 25, w = r for g.
5
Let k be (9/12)/((-88)/(-704)). Solve -4*a - 3*l - k = 11, 5*a = 2*l - 4 for a.
-2
Let c = -12089 + 12096. Solve 0 = l + 2*n + c, n - 11 = -l - 17 for l.
-5
Let n be -10 + 1 + 72/8. Solve n = 4*p + t - 5*t - 8, 3*p = 4*t + 7 for p.
1
Let z be 6 - (0 + 1)*0. Let n = -454 + 457. Solve -n*x - 11 = -4*j, -x = 4*j + x - z for j.
2
Let q(s) = -2*s**3 - 10*s**2 - 3*s - 9. Let t be q(-6). Let h = 117 - t. Suppose 34*u + 16 = h*u. Solve -b = 2*b + 3*i - 3, 4*i = -b - u for b.
4
Let k(q) = 4*q**2 + 7*q + 7. Let x(s) = -s**2 + 6*s + 15. Let a be 38/4 + 108/(-72). Let m be x(a). Let y be k(m). Solve -g + l - 15 = y*l, 0 = -4*l - 20 for g.
0
Let y(m) = -m**3 + 14*m**2 - 2*m + 25. Let j be y(14). Let x be -8 - (-14 + 6) - j. Solve -x*p - 10 = -r, 5*p - 1 + 7 = -r for p.
-2
Let z = -165 - -163. Let r be 0 - (-2 - (-1 - (-3 - z))). Solve -3*d = r*o + 5, 0 = -2*o + 4 - 0 for d.
-3
Let o(k) = 30*k - 206. Let v be (7/2)/((-2)/(-4) - 0). Let p be o(v). Solve y + 12 = -y + p*u, 5*u - 8 = -y for y.
-2
Suppose -b - 6*u = -3*u + 3, 4*b - u = 1. Suppose 66*g - 59*g - 287 = b. Solve 5*p - 4*n = -g, -2 = 