 - 1 = -l for h.
0
Let x be (2/5)/((-3)/(-165)). Let d(s) = -s**2 + 24*s - 41. Let v be d(x). Suppose v*m - 10 = -4. Solve m*w - 4*k + 4 = 0, -5*w - 2*k + 0*k = -2 for w.
0
Let c = -3353 + 3356. Solve c*s = -5*x - 3 + 12, 0 = 2*s + 2*x - 2 for s.
-2
Let n(z) = z**2 - 4*z - 44. Let i be n(-12). Let u = -135 + i. Solve -2*r + 4 = 4*c, u = 3*c - 0*r - r for c.
3
Let w be 2/(0 + 6/399). Let s = -243 + w. Let i = s - -110. Solve i = 3*n + 2*k - 6, 3*n + n - 8 = -2*k for n.
2
Suppose -5*i = -2*y, 4*i + y + 2*y - 23 = 0. Suppose -9*o = -13*o + 16. Suppose o*k = 12*k - 112. Solve 4*q = -i*r - 4, -5*q - k - 1 = 5*r for r.
-4
Let t = -47 - -51. Suppose -3 = 4*n - 4*h + 5, 5*h - 12 = t*n. Suppose -n*r - 2*r + 8 = 0. Solve -r*i + 7*i = -2*u - 33, 0 = -2*i - 4*u - 26 for i.
-5
Let q(z) = 2*z**2 + 9*z - 1164. Let b be q(22). Solve 155*p - 5*a - 15 = 154*p, -b*a - 24 = -4*p for p.
5
Let l = -304 - -313. Suppose -108 = -4*u - 4*m, 0 = l*m - 4*m. Solve 0 = 5*v + g - 2*g + u, 2*v + 4 = -3*g for v.
-5
Suppose -246 = -88*d + 159 + 475. Solve -4*t = t + w + 10, d = -2*w for t.
-1
Suppose 5*t + 253 = -202. Let k = 141 + t. Let c = k - 45. Solve 4*q = -20, 14 = c*r - 3*q - 11 for r.
2
Suppose 75*f = 18*f - 178*f + 8460. Solve -f*j - 5 = -35*j, -3 = -l + j for l.
-2
Suppose 0 = -4*h - 3*w + 9, 2*w - 5 = -h + 4*w. Suppose 0 = -5*m + 2*y + 18, -5*m = 2*y - 28 + 6. Suppose m*c + h = 23. Solve -n + 2*k - 8 = -c*n, 2 = k for n.
1
Let r = 1771 - 1767. Solve -4*i = -r*u, 4*i + 0*i = -3*u + 28 for u.
4
Let q(k) = -10*k + 125. Let t be q(11). Suppose 8*c = -7*c + t. Solve -2*n = -5*s - 10, -3*s + c = -n + 7 for n.
0
Suppose -35*q + 122 = -55 + 37. Solve y + 0*y - 4*r + 5 = 0, -q*y - 20 = -r for y.
-5
Let x = 50 + -47. Suppose -c - x + 5 = 0. Let p be 2/(-4) - (-14)/4. Solve -k = g + c*g - p, -2*k = 3*g - 6 for g.
0
Suppose 2*z = -2*y - 135 + 161, -4*y + 60 = 3*z. Solve h = 4, 3*i + 8 = -h + y for i.
3
Let a be 300/(34 + -19) + -16. Solve -7 = 8*b - 9*b - 2*j, -4*j + 20 = -a*b for b.
-1
Let g = 43 - 33. Suppose 3*s - g = -4. Suppose s - 22 = 5*r, -5*c - 2*r + 2 = 0. Solve 0 = -c*n + u - 12, -3*n = -n - 3*u + 16 for n.
-5
Suppose r = 7*r + 18. Let d(b) = b**2 + 2*b - 1. Let w be d(r). Solve 0 = 4*c - v + 15, -w = 4*c + 3*v + 1 for c.
-3
Let t be (-6)/(-10) + 268/(-5) + 5. Let u = t - -51. Solve -2*b - u*q = 3*b + 10, 2*b + 5*q - 15 = 0 for b.
-5
Suppose -2*o + 3*l = 0, 0 = -2*o + 4*l - 3*l. Let z = 0 + 5. Suppose 0 = z*k + 5*f, f + o = -2*k + 2. Solve 4*u = 4*b + 4, -3*u - k*b - b = 15 for u.
-2
Let k(t) = -t**2 + 8*t - 1. Let r be k(6). Suppose -5*m + p = -20, 5*p = -2*m + 7*p. Solve 19 = m*g - w - 3*w, 4*w - r = -5*g for g.
3
Let o be 27 + (-5 - (7 + -13)). Suppose 0*x + o = 4*x + 4*y, 2*y - 4 = 0. Solve 3 - 23 = -3*d + p, 2*p = -x*d + 15 for d.
5
Suppose 0 = 10*j - 9*j + 2*f + 8, 12 = 5*j - 3*f. Suppose -11*g + 23*g - 72 = j. Solve -2*c = g, -2*u - 2*c + 12 = -4*c for u.
3
Suppose -5*s - 22 = 18*n - 22*n, s = -n + 10. Solve 4*x = 4*z + 33 - 49, -x = 2*z - s for z.
2
Let p(b) = b**2 - 5*b - 4. Let c be p(6). Let o be -377 - (-4 + 7 + -7). Let a = 378 + o. Solve -a*z = 5*w - 25, -c*w - w - 2*z = -14 for w.
4
Let b = 182 + -165. Suppose -k + 19 = b. Solve -3*f + k*s = 4 - 16, -f = s + 1 for f.
2
Let v(s) = s**3 - 7*s**2 - s + 9. Let a be v(7). Suppose a*x - 3*h = x + 19, -2*h - 57 = -3*x. Solve -5*f = 4*c - x, f - 2*c = -0*c + 1 for f.
3
Let t = -9 - -45. Suppose 3*b + b = 3*v + t, -3*b + 2*v = -27. Let h = b + -4. Solve -3*x + 14 = 4*r, 2*r + 0*r + h*x = 0 for r.
5
Let r(a) = a**2 + 14*a - 141. Let i be r(7). Suppose -9*t = -i*t - 30. Solve 0 = -z - 5*u - 16, 0 = -6*z + z + 5*u + t for z.
-1
Let j be ((-4)/8)/((-2)/40). Let k be 15/((-18)/30*-5). Suppose -16 = k*w - 31. Solve -w*n = n - 3*q + 14, -5*q = j for n.
-5
Let z(h) = 1146*h + 3441. Let f be z(-3). Solve -a = -f*n - 11, 4*a = 4*n + 51 - 31 for a.
2
Suppose -9 = -92*v - 7 - 2. Solve 2*f - 4*x + 20 = v, 4*x = 4*f + 21 + 7 for f.
-4
Suppose 19*f - 66*f + 31*f + 29*f = 0. Solve f = -4*v + 2*v + 10, -5*l - 30 = -v for l.
-5
Suppose 3*c - 3 = -5*v + 17, -c = -v - 4. Suppose c*k = 148 - 48. Solve -4*p = 4*g - 0 + k, 2*g + 4*p = -16 for g.
-2
Let v(k) = 1112*k - 560*k + 3 - 555*k. Let j be v(0). Solve -2*l - 5*m - 3 + 13 = 0, j*l - 5 = -5*m for l.
-5
Let k = 0 - -4. Let a(o) = -40*o + 5101. Let g be a(127). Solve 0 = -4*p + 4*t + 4, 8*t - g = -p + k*t for p.
5
Let y be (2/18)/(27/81)*0. Solve -l - 2 = y, 23 - 15 = 2*m - 2*l for m.
2
Let c be -3*2*22/(-12). Suppose -5*k = -b - c, 6*b - b = k + 17. Suppose 3*g - 5*g + 10 = 4*s, b*g - 6 = -s. Solve s*q - 13 = -p - 6, 4*q = 2*p + 18 for p.
-1
Let u(v) = 0*v - 2*v + 48 - v - 10 - v. Suppose 0 = -2*n + 17 - 3. Let k be u(n). Solve 4*h + 2*o = k, -6*h + 3*h = o - 9 for h.
4
Let q be 7 + -13 - (-11)/1. Solve -b + 93*x + 4 = 89*x, 4*b + 26 = -q*x for b.
-4
Suppose 3 = -s - 5. Let b be ((-18)/s)/3*4. Let t be 49/2 + (-31 - 4473/(-142)). Solve -b*j - t = -0*j + 4*h, -3*h + 3 = -5*j for j.
-3
Suppose -19*l = 109 + 271. Let g be l/(-30)*1 - (-4)/(-6). Solve -4*s = -k - k + 8, -4*s - 3*k - 18 = g for s.
-3
Let a = 34 + -30. Suppose 11 + 9 = 2*p + 3*m, 3*p - 4*m + a = 0. Suppose -3 = -5*q + p*q. Solve -4*k + r = 2, q*k + r - 1 = 3*r for k.
-1
Let b be (-1428)/4998*1/((-1)/7). Let z be (-15)/(-6) - 1/2. Let u be (z/(-4))/(2/(-28)). Solve u*h = -2*v + b*h + 13, 0 = 4*v + 3*h - 19 for v.
4
Let v = 27 - 27. Suppose v = -32*n + 28*n - 336. Let m = n + 92. Solve -4*u - m = 0, -u - 5 = -3*o + 4*o for o.
-3
Let b be 0 + (24/10 - 2)/(66/330). Solve -b*p - 5 = -o, 0 = -2*p - 7 - 3 for o.
-5
Let y(j) = 10*j**2 - 19 + j + 9 + 11. Let u be y(1). Suppose 10*m - 7*m = u. Solve n + 4 = -5*a, m*a - n = 2 + 2 for a.
0
Suppose 5*z - 24*y + 20*y - 33 = 0, 5*z + 3*y - 19 = 0. Solve -4*c = z*w + 15, 3*c - 3*w + 27 - 9 = 0 for c.
-5
Let p = 341 + -346. Let i be 6 - (p - -4) - 5. Solve i*x + 1 + 1 = 0, 5*q - 26 = x for q.
5
Suppose 0 = 26*l - 21*l - 10. Let h be 1/l + 59*3/(-6). Let s = 29 + h. Solve 4*i + 3*r - 14 = s, -3*i + 0*r + 16 = 5*r for i.
2
Suppose -4374 + 1306 = -13*c. Let m = c + -231. Solve 15 = -0*i + 4*i - 5*w, -m*i + 20 = -5*w for i.
5
Suppose 8*r - 266 = -266. Solve 0 = 3*z + 2*f + 14, 4*z - f + 4 + 0 = r for z.
-2
Suppose 842*z - 851*z + 36 = 0. Solve -z*g - 12 = -2*d, -2*d = 9*g - 4*g + 33 for g.
-5
Let b(q) be the first derivative of -q**2/2 - 15*q - 149. Let p be b(-18). Solve s - p = c, 0 + 6 = -2*c + s for c.
-3
Let j be (-5)/((-70)/(-4)) - 436/(-1526). Solve 2*f = 4*u + 26, 2*f + f + u - 11 = j for f.
5
Let r = -3313 + 3337. Solve 0 = p - k + 7, 3*p + 4*k = 6*p + r for p.
-4
Let m(t) = t**2 - 17*t - 5. Let i be m(6). Let c = i - -74. Solve 3*u + c*s = -2*s + 22, -s - 2 = -u for u.
4
Suppose 183 - 59 = -4*k. Let b = k + 72. Suppose -b*j - 24 = -45*j. Solve -3*p - 3*x - 6 = -j*p, 3*x + 21 = -2*p for p.
-3
Suppose -213*m + 20572 = 3745. Solve -4*u = -2*o - m + 93, -o + 2 = 3*u for o.
5
Let s(o) = -9*o - 95. Let g be 6/(-9) - 124/12. Let u be s(g). Solve 2*q + u*w = -18, -3*q + 0*q + 13 = -2*w for q.
1
Let k(s) = -s**3 + 4*s**2 - 3*s + 2. Let n be k(3). Suppose 0 = 3*l + 192 - 213. Suppose 160 = -l*r + 39*r. Solve 0 = i - r*h, 0*i = -n*i - 4*h for i.
0
Let t(u) = u**2 - 26*u + 120. Suppose 2*m = -3*f + 23, 24 - 7 = f + 3*m. Let v be t(f). Solve r - 4*q + 26 = q, -3*q + v = 0 for r.
-1
Suppose 296 = 48*f - 7*f + 107*f. Solve -f*y + 5*r + 11 = 0, -101*y + 102*y + 3*r = 0 for y.
3
Suppose -8 = -4*h, -q = -2*h + 104 - 108. Solve j - 2 = -4*f - q, -j - 6*f = 8 for j.
-2
Let b(l) = l**3 - 37*l**2 + 42*l - 214. Let u be b(36). Solve 4*s + o + 11 = 0, 0 = -u*s + 7*o - 2*o + 11 for s.
-2
Suppose 3*c - 2*u - 15 = 0, -25 = -41*c + 36*c + 4*u. Suppose 3*f + 14 = c*f - x, x = -4. Solve 0*p - 4 = -p, -f*p = z - 19 for z.
-1
Suppose 4*m + 1684 = -304. Let l = -493 - m. Solve -l*q = -5*b - 6, -4*b - 13 = 7*q - 2*q for q.
-1
Let h be (-67)/(-5) + 15/(-450)*12. Solve 37*z + h = 32*z + 3*l, 4*z = 4*l - 12 for z.
-2
Let l(f) = -9*f**2 + 98*f. Let z be l(14). Let r = 397 + z. Solve -31 = 3*d + 4*k, r*k - 2*k - 8 = 4*d for d.
-5
Suppose 969 = 6*f + 2097. Let p be 4/(f/(-60) + -3). Solve 4 - 6 = -2*k, 5*k = -5*d + p for d.
5
Let z(u) = u**3 - 2*u**2 - 2*u - 59. Let v be z(5). Solve -3*f + 6 = -3*n, -3*f - v = -6*