 + 1, -s - h*v = 19 for s.
-5
Let g = 25 - 19. Suppose 0 = -s + 5*v + 18, -s + 2*v = v - g. Suppose -2*k - 8*w + s*w = -20, 5*k + 2*w = 8. Solve -5*r + 20 = 5*n, -r + 3*n = -k*n for r.
3
Let n be (0 - (-30)/(-7))/((-6)/28). Suppose -5*w = -5 - n. Solve 3*t + 0*q = -4*q - 11, -w*q - 10 = 0 for t.
-1
Let z(b) = b**2 - 16*b + 56. Let g be z(10). Let u be 45/(-30)*g/3. Solve u*h - y = -2*h + 14, -3*y = -4*h + 18 for h.
3
Let k(u) = 9*u + 14. Suppose -11 - 7 = 9*q. Let j be k(q). Let b be j/(-10) - 618/(-30). Solve -4*n - 6*a = -2*a - 12, -b = n - 5*a for n.
-1
Let d be (1044/2552)/((-15)/(-110)). Let m = -9 + 14. Solve d*i - m*a = -i - 22, 4*a + 1 = -3*i for i.
-3
Suppose -9 = 2*v - 5 - 10. Solve 5*r = 3*p - 34, v*r = -p - 12 - 0 for r.
-5
Let s be 6/(-5)*(-1)/(-2)*-5. Suppose -4*o - s*i = -9, 2*o = 4*i - 4 + 14. Let r(y) = -2*y + 3. Let f be r(-10). Solve -o*q + 4*h = 2*h - f, 0 = h + 4 for q.
5
Suppose 18*t - 20304 = 54*t. Let i = t + 568. Solve -4*c - 34 = 3*n - 6, c = 2*n + i for c.
-4
Let w be 6/14 + (-568)/(-14). Let q = w + -14. Let b = -10 + q. Solve 4*v = -0*v - 3*u + b, v - u = 6 for v.
5
Let q = 5208 - 5198. Solve -2*z + q = -7*z + 4*u, -5*z - 10 = 5*u for z.
-2
Let p be -4 - ((-152)/12)/((-2)/(-12)). Suppose 2*a - p = -66. Solve r + r = -a*m - 1, 5*r - 5*m = 10 for r.
1
Let i be (-332)/(-249)*-1*(1 - 4). Solve -2*k + 8 = 3*t, -i*k - 6 = 2*t - 7*t for t.
2
Suppose -295 = -19*q + 655. Suppose 19*d - q = -3*c + 20*d, 2*c - 3*d = 38. Solve 4*x = 3*y - c, -4*y = 5*x - 3 - 8 for x.
-1
Suppose -o - 4*t - 2 = -17, 5*t + 10 = 0. Suppose 2*m + 1 = o. Suppose -6*u + 5*u - 5*l + 14 = 0, 2*l + 8 = 3*u. Solve -u*k = -d + 17, -3 = -2*k - m for d.
1
Let x be -18 + 18 + (-51)/(-17). Let l = -33 + 23. Let c = l + 14. Solve 8 = -u - 5*r, -c*r - 4 = x*u - 2 for u.
2
Let a(k) = 9*k**2 + 64*k + 12. Let b be a(-7). Let c(g) = 7*g - 7*g**2 - 5*g**2 + 13*g**2. Let o be c(-7). Solve o = -b*s + 5*z + 30, -s + z = -3*z - 12 for s.
4
Let k(c) = c**3 - c**2 - 16*c + 21. Let h be k(-4). Solve -27 = -n + h*r, n + 19*r - 18*r + 3 = 0 for n.
2
Let v be 2/(-4) - (-1 + (-24)/16). Let t = -478 - -480. Solve t*u + 3*u + 3*k = 0, v*u + 4*k = 14 for u.
-3
Let q = -5319 + 5329. Let b be (-10)/3*(-6)/4. Suppose y = -b + q. Solve 5*n - y*d = -15, 0 = -2*n + 5*d - 12 for n.
-1
Let t = 390 - 284. Let x = t - 106. Solve 10 = 4*a - 2*q, -4*q - 20 = 3*a - x*a for a.
0
Suppose -3*w + w + 13 = -5*p, -64 = -5*w + 2*p. Suppose w*o - 5*o = -o. Solve o = 3*m - c + 2, 2*c + 11 + 1 = -2*m for m.
-2
Let v be 50/4*2/5*-4. Let p = v + 25. Suppose p*w - 180 = -5*x, -108 = -3*x + w + 2*w. Solve 4*d - 3*n - x = -9, -n = d + 2 for d.
3
Let y = 279 - 279. Let v = 17 - 12. Suppose 0 = a - y*a + v*i - 28, a - 5*i = -22. Solve a*j + f + 5 = 0, 20 = -5*j - 3*f - f for j.
0
Suppose 2*y - y - 15 = -4*y. Solve 4 = -2*g - 5*w, -y*g - 10 = 2*g - 2*w for g.
-2
Suppose 10 + 150 = -5*n. Let q(d) = 13*d**2 - 507*d - 29. Let c be q(39). Let w = c - n. Solve 0 = -5*f, -3*v = -w*f - 2 + 8 for v.
-2
Let m = -4094 - -4111. Solve -s + 16*u - 1 = m*u, 0 = 3*s + 4*u + 3 for s.
-1
Let c(u) be the second derivative of u**5/20 - u**4/2 + u**3 + 4*u**2 + 83*u. Let g be c(4). Solve g = -4*t - 8 - 4, -8 = -4*n - 4*t for n.
5
Suppose 2*x = 25 - 44 + 27. Solve 0 = 13*s - 9*s + 5*z + 4, -x*s - 2*z = 4 for s.
-1
Let o = -7409 + 7414. Solve 5*y = -2*w + 13, -5*y = o*w + 137 - 147 for w.
-1
Suppose 2437 = -33*a + 2536. Solve 2*v - 12 = 19*y - 21*y, a*v + 4*y = 21 for v.
3
Let g be ((-172)/(-516))/(1/(-15)*-1). Solve 0 = -3*k - g*r + 2*r - 9, 2*k - 4*r = 18 for k.
1
Suppose 0 = -31*g + 4131 - 101. Let v = g + -127. Suppose -3 = -n - 0. Solve -o + 16 = -4*x + n, -7 = -v*o + 4*x for o.
-3
Let k be (-6)/(-10)*(214 - 9). Let m = 133 - k. Solve -2*x + x = -2*a - 3, -3*a - m = 4*x for x.
-1
Suppose -149 = -19*a + 3. Solve -10 = 2*z - 6*h + a*h, -2*h - 7 = z for z.
-3
Let z(u) = -51*u + 387. Let a be z(7). Solve -5*i = -2*v - a, 3*v + 7 = 2*i - 16 for i.
4
Suppose 4*u - 4*d - 20 = 0, 14*d = -2*u + 8*d + 50. Solve -11*v - u = 2*i - 6*v, 10 = 5*i - 5*v for i.
0
Suppose 6*s - 977 = -953. Solve 4*o = -s + 12, 2*o - 16 = -4*w for w.
3
Let f(o) = 43*o - 4459. Let h be f(104). Solve -l - 4*g = -h - 3, 0 = -l - 5*g + 20 for l.
0
Let y be (-17 + 17)/(-4 + 6). Solve 5*o + 3*w - 16 + 8 = y, -w + 8 = -o for o.
-2
Suppose 3*x + 3 = -2*b - 108, -x = 5*b + 24. Let a(n) = -22*n - 2. Let i be a(-2). Let l = i + x. Solve l*g + 2*g = 4*r - 41, -2*r + 23 = -3*g for r.
4
Let m(x) = x**3 + 9*x**2 - 10*x. Let c be m(-10). Suppose c = 2*h - 0*h. Let l = 117 - 110. Solve 4*o + 16 = h, 3*r - 4*o + 0*o - l = 0 for r.
-3
Suppose 0 = 23*w - 21*w - 10. Let v be (3 + -3)*w/(-15). Solve 0*z + z + 4 = 2*j, 5*j - 20 = v for z.
4
Let d = 145 + -145. Suppose -3*h - m - 4*m + 10 = d, 5*h - m - 26 = 0. Solve -23 = -5*i - f, -i + h*i - 5*f - 1 = 0 for i.
4
Let r(y) = y**3 - 2*y - 1. Let i be r(-1). Suppose -8*b + 13*b = -1940. Let z = 392 + b. Solve -z*g + 13 = 5*s, 5*g + 2*s + 4 + 1 = i for g.
-3
Let k = 21 + -15. Let y(x) = -x**2 + 9*x + 2. Let v be y(k). Let d be (-72)/(-33) + -3 + (-93)/(-33). Solve -4*q - d*g = v, 5*q = 5*g - 11 - 14 for q.
-5
Let o(d) = d**3 + 52*d**2 - 160*d + 283. Let r be o(-55). Solve 5*g + 5*u - 10 = 0, 0 = -9*u + r*u + 1 for g.
1
Let v = 41465 + -41458. Solve 3*f - v = -g, -197*g - 3*f + 15 = -200*g for g.
-2
Let k(a) = a + 4. Let h be k(0). Let j = -1 + h. Let r(v) = -v**3 - 189*v**2 + 1882*v - 888. Let i be r(9). Solve -5*n - i = -j*u, 0 = -2*n - 6 - 0 for u.
-1
Suppose -53*c - 18 = -54*c - x, -x - 62 = -4*c. Suppose 624 = c*k + 23*k. Suppose 5*a = -18 - 2, a + 12 = 2*p. Solve -2*v + k = 4*d, -p = -d + 4*v - 9 for d.
3
Let a be 88/(-14) + 12/378*9. Let u be -2 + (a - -5)*13/(-1). Solve -2*w - u = -5*j, -3*j - 3*w - 3 = -w for j.
1
Let j be 22 - (2 + 2 - 11 - -5). Let i be j/20*25/3. Let t(w) = w**2 - 8*w - 5. Let d be t(9). Solve 0*m - 3*x = 2*m + 12, d*m - x = -i for m.
-3
Suppose i + 4 = 7. Let s(c) = -5*c**i + 4*c**3 - 343 + 333 + 2*c + 6*c**2. Let g be s(6). Solve 9*k + 25 = 4*k + 5*b, -10 = g*k + 3*b for k.
-5
Let h be (-12 + 2)/((-18)/36). Suppose 0*r - 5*o = -r + h, 3*r - o = 18. Solve 4*f + 16 = -3*b - 4, f = -r*b - 22 for f.
-2
Suppose 2896*m = 3305*m - 818. Let o(g) = -g + 10. Let c be o(7). Solve c*z + 8 = -m*l, 8 = -2*z + z + 2*l for z.
-4
Let s(r) = -r**3 - 4*r**2 + 142*r + 572. Let u be s(-4). Solve -i + 0 = 2*o + 2, 4 = u*o for i.
-4
Let o(c) = -c**2 + 26*c + 59. Let f be o(-18). Let i = f - -735. Solve -i*r + 4 = 0, g + 4*r - 6 = -0*g for g.
-2
Let x(j) = -11*j**2 - 6. Let l be x(3). Let s = l - -109. Solve s*y - 3*k + 12 = 0, -2*y = 5*k - 0*k - 20 for y.
0
Suppose 0 = -6*v + 96 - 84. Solve 30 = 5*g - n, -v*g + 11*n - 16*n = 15 for g.
5
Suppose 2*g = -3*g - 665. Let o = g + 163. Let i = o - 26. Solve x - i = -3*c + c, -10 = 5*x for c.
3
Suppose 2*n - 4 = 0, 46*n - 47*n = 2*h - 6. Solve -2*c = -5*p - h, -p - 11 = -9 for c.
-4
Suppose 141 = -16*o + 173. Solve -5*g - 27*c - 7 = -25*c, o*g + 4*c + 6 = 0 for g.
-1
Let v = 302 + -293. Suppose -17 = v*s - 35. Solve -l - 5 = s*q, 7*l - 2*l = -4*q - 19 for q.
-1
Let m = -318 + 321. Let d be ((-12)/14)/m - 92/(-28). Solve 20 = q - 5*q + 4*o, -o = d*q + 3 for q.
-2
Let w(n) = n**3 - 16*n**2 + 3. Suppose -2*t + 5*i + 62 = 10, -t - 5*i = 4. Let b be w(t). Solve -b*v - 3*f - 17 = -5, -4 = 2*f for v.
-2
Suppose -24 - 30 = -27*w. Let l(b) = -5*b - 16. Let v be l(-4). Solve -v*g - 2*r - 2 = 0, 2*g - 4*r + 4 = -w for g.
-1
Suppose 10*o - 5*o = 210. Let c be o/231 + 2/(-11). Let w(p) = -p**3 - 4*p**2 - 3*p + 3. Let b be w(-3). Solve j - 2*f = 2, c = 5*j - 2*f - f - b for j.
0
Suppose 0 = 2*h + 2*g, -91*g + 87*g + 75 = 29*h. Solve d - q = -2, -7*d - h*q = -6*d - 6 for d.
0
Let h be ((-830)/(-14) - -1) + (-14)/49. Suppose -63*s + h*s = 9. Let n be -1 + 0 - (-1 - 3 - s). Solve y - 4*j = 3, -4*j + n*j - 5 = y for y.
-1
Suppose -124*u + 339 = -232 + 75. Solve 8 = -7*x + u*x - n, 0 = -x - 4*n - 10 for x.
-2
Let y = 6 - 3. Let i = 12 + -7. Suppose i*o + 36 = 17*o. Solve o*j = -y*z, 2*j - 8 + 0 = -4*z for j.
-4
Let k be ((-450)/(-6))/(33/88). Suppose -10*q = 10 - k. Suppose g = -0*g - 2, 4 = -x - 4*g. Solve -f = 5*t, 6*t + q = -x*f + 5*t for f.
-5
Let z be ((-273)/(-441) + (-2)/7)*-6. Let v be (8/(-4) 