425 = 841. Solve -14 = -3*p - 29, -h - x = 2*p for h.
-2
Let u be 4/10 - 96/(-10). Let k be (0/(-17 + 9))/((-5)/1) - -3. Suppose u = -k*o + 5*o. Solve -l - 3*l - 21 = w, -o*w = -l for w.
-1
Suppose -5 - 22 = -3*y. Suppose 4 + 14 = y*t. Suppose -4 = t*x, -3*n - 4*x - 6 = -2*n. Solve -n*s + 1 = -p, 4*p - 10 = 2*p for s.
3
Let t(d) = 5*d**2 + 4*d - 23. Let k be t(4). Let b = k - 73. Suppose -4*x + 4*m + 48 = b, -12 + 1 = -x + 2*m. Solve 3*j + x = -2*r, -2*j - 10 = -0*j for r.
1
Let a(d) = -d**3 + d**2 + 1. Let o(p) = -p**3 - 2*p**2 - 25*p - 5. Let w(b) = 2*a(b) - o(b). Let u be w(7). Solve -3*t - 40 = 5*j, 5*t + u = -0*t - 2*j for t.
-5
Suppose -200*q + 194*q = 0. Suppose 5*v - 36 = -q*v + 3*k, v - 2*k - 10 = 0. Solve 5*s - 20 = -0*s, -5*p - v = -4*s for p.
2
Suppose -19*z + 59*z - 41 = 79. Let l = -1 + 1. Solve c + 1 = u, 4*c + 8 = -l*u + z*u for u.
-4
Suppose -48*a = g - 43*a - 15, -5 = -3*g + 5*a. Solve 0 = 3*x - 2*u + 3 - 1, g = x + 5*u for x.
0
Let f = -55 + 76. Solve 0 = -3*n + 2*p + f, 2*n + 95*p = 90*p - 24 for n.
3
Suppose 0 = -5*g - 3*q + 25, -23*g - 10 = -25*g + 2*q. Solve -g*b + 5 = 5*n, -15*b - 7 = -18*b + n for b.
2
Suppose -79 = -5*z - 109. Let s be (1 + (-2)/z)/(4/12). Solve s*a - 4*n = -4, -3*a + 2*n - n = -5 for a.
3
Let o = -38388 - -38403. Suppose 0 = 2*f - s - 4, 5*s + 9 = 5*f - 1. Solve 4*l - 5*w - o = 0, 4*w + 3 = -f*l + 3*w for l.
0
Suppose -5*a - w - 2*w + 32 = 0, -a = -4*w + 12. Let g be (-2 + -1)/(-3)*(-3 + a). Solve -g = -3*n - 2*u - 5, u + 2 = -5*n for n.
0
Suppose -4*v + 184*c + 17 = 179*c, -1 = v + 4*c. Solve 34 - 24 = 2*y - v*u, u = -3*y + 15 for y.
5
Let s = -24426 - -24430. Solve -5*k - 5 - 3 = s*j, j = 5*k - 2 for k.
0
Let a be (-40)/(-6)*(-126)/(-210). Let z be 0 + a - 0/10. Solve 3*n = z*w + 13 - 1, 2*w + 6 = -4*n for w.
-3
Suppose -4*d + p = -26, -4 + 0 = -2*p. Let c be -2*20/(-6)*(-30)/(-25). Let n be (-4)/80*5 - (-10)/c. Solve 5*g - 3*h = -d*h - 22, -5*g - n = -3*h for g.
-2
Let v be (-9 + (30 - 10))*1 + (-13 - -6). Suppose -5*a + z + 10 = 3*z, 2*a - 5*z = -25. Solve -5*y + v*q + 10 = a, -12 - 5 = y + 3*q for y.
-2
Suppose 82*f = 71*f + 4499. Let p = f + -400. Solve -24 = 4*t - 4*g, p + 6 = 5*t + 4*g for t.
-1
Suppose 0 = -3*n - 2*b + 64, b - 102 = 86*n - 91*n. Solve q + 10 = -2*i, 4*i = 46*q - 47*q - n for i.
-5
Let t = -3402 + 3417. Solve -3*m = -t, 7*v + 4*m - 14 = 4*v for v.
-2
Let r(p) = 2*p - 6. Let d be r(5). Suppose 6 = -d*t + 30. Let o be (-1)/((-4)/22) - t/(-12). Solve 5*j = -n - 14 + 1, -o = 3*j for n.
-3
Suppose -16*l + 17*l = 7*l - 24. Solve y + 4*u = -11, y + 31 = 4*y - l*u for y.
5
Let a = 798 - 796. Solve -u - 7 + 10 = -a*j, 5*j + u - 10 = 0 for j.
1
Let v(f) = -f - 9. Let x be v(-41). Let z be -29 + 1 - (-3)/(-3). Let d = z + x. Solve -4 = 4*t, -d*t + t - 14 = -4*a for a.
3
Let q be (3 - -2)*-1 + 12. Suppose -9*t + 10*t = -q. Let w(h) = h**3 + 5*h**2 - 13*h + 9. Let u be w(t). Solve 15 = -4*b - 5*j, -4*b - 2*j = u*j + 12 for b.
0
Suppose 5*x + 2*k - 16 = 2, 3*x - k - 13 = 0. Let m(g) = -g**3 + 7*g**2 - 13*g + 6. Let d be m(x). Solve 5*c - d*z = -8, 4*z + 0*z = 16 for c.
0
Suppose 4*k - 136 = -4*t, 0 = 5*k - 6*t + 5*t - 158. Suppose -42*c + 30 = -k*c. Solve 0*u - 4*u = -2*s - 2, -u + c*s + 8 = 0 for u.
-1
Let b(q) = -q**2 - 47*q - 273. Let n be b(-39). Solve o = -5*w + 22, -n*o + 43*o + 12 = 5*w for o.
2
Let i be 12/9*9/6. Suppose 8 = -4*q, -5*p = i*q - 6*q - 68. Solve -2*w = -0*w - 2*h - p, w + h + 4 = 0 for w.
1
Let k be (-55)/11 + 26/2. Let s(m) = m**2 - 4*m - 31. Let r be s(k). Solve 0 = -h, r = -5*b - 4*h - 14 for b.
-3
Let l = 151 - 150. Let p be ((-10)/5 - -5) + l. Solve 4*s - a - a - 14 = 0, p*a + 22 = 5*s for s.
2
Suppose -2*z = -7 - 73. Let c(n) = -40*n. Let h be c(-1). Let v = h - z. Solve 5*k + 9 = 4*u - 0*u, v = 2*k - 3*u + 5 for k.
-1
Let w be (-4)/(7/56*4). Let d(f) = f**2 + 21*f + 104. Let b be d(w). Solve -4*y - 4*x + 3*x - 15 = 0, 5*y - 5*x = b for y.
-3
Suppose 6*x - 5*x = -4*j + 37, j - 2*x = -2. Suppose -4*b - l + 72 = 0, -b - l + 10 = -j. Solve -5*u = 5, 5*d + 4 = 4*u + b for d.
2
Let y be 2 + (-4)/(-5)*45/(-18). Let c be ((-20)/25)/((-1)/20). Solve 3*v = 4*l + 12, -7*v + 3*v + c = y for l.
0
Let f be 15/(-9)*(9/2)/(24/(-16)). Solve -4*t - f*b = 20 - 14, 0 = -5*t + 3*b + 11 for t.
1
Let u = 77 - 128. Let c = 1594 - 1648. Let g = u - c. Solve -3*w = x + 10, -g*w + 10 = 6*x - x for x.
5
Suppose 5 = p + 3*o - 4, 4*o = -16. Let r(n) = -12 + p*n - 23*n - 14. Let x be r(-15). Solve u - 5*v - 2 = -2*u, v = x*u + 3 for u.
-1
Let q(t) = 28*t + 674. Let h be q(-24). Solve 0 = -3*j - m - 8, 4*j - h*m + 2 = j for j.
-2
Let z(i) = -91*i + 552. Let c be z(6). Solve -3*s - c = -3*j, 4*s - 14*j + 10 = -9*j for s.
0
Suppose 5*v - 39 = 1. Let i(y) = -67*y + 1342. Let z be i(20). Solve -2*s - 3*a = -z*a - 8, 2*s = 3*a - v for s.
2
Let a be 1275/315 - (-3)/(-63). Solve 2 = -33*o + 31*o, -f + o = -a for f.
3
Let v = 45 - 42. Let n be (-1 + 2)*(v - (3 + -4)). Suppose n*l - 3*k + 5*k = -2, 0 = -4*l - 4*k - 12. Solve -3*o + 2*o = -2*y + 9, 6 = -l*o - 2*y for o.
-5
Let d be (3/(60/(-16)))/(34/(-1700)). Solve -11 = -r - 3*t, 35*r - 40*r - d = -4*t for r.
-4
Suppose 0 = -6*o + 21 - 15. Let z(b) = -2*b - 4. Let k be z(-6). Let w be -2 + o + 0 + k. Solve 3*j - 10 = 5*c + w*j, -4*c + 3*j = 8 for c.
-2
Let o(v) = 4*v**2 - 40*v + 3. Let k be o(10). Suppose -14 = -3*i + y - 0, 3*i - 38 = -5*y. Solve i*u - 3*a + 10 = 2*u, -k*a = -u + 2 for u.
-4
Suppose -4*t + 27 - 62 = -5*z, -3*t + 3*z = 21. Solve -21 = -5*p - 3*k, 3*p = 2*k - t*k - 14 for p.
0
Let u be (-11)/((-55)/(-560)) - (-1)/1. Let y = -107 - u. Let k(g) = g**3 - g**2 - g - 2. Let c be k(2). Solve c = -2*w + 2*h + 4, y*h = 5*w - 0*h - 10 for w.
2
Suppose -k - 2*d - 5 = 0, -18*k + 14*k = -5*d - 32. Solve 4*m + l + k*l = 8, 4*m + 3*l = 3 for m.
-3
Suppose -11 = 3*t + 3*n - 38, n = 3*t - 15. Let h be 19 - ((-7)/(-7) + 3). Suppose 3*m - t*m = -h. Solve 3*k - 4*v - m = 0, 12 = -4*k - 0*v - 4*v for k.
-1
Suppose -3413 - 607 = -60*n. Let t = n - 64. Solve 2*q - 4*k + t = 7*q, 4*q - 9 = -k for q.
3
Let z be (-80)/(-24)*(-21 + -3). Let m be 72/20 - 4*(-12)/z. Solve w - 5*n - 20 = m, 3*w + 5*n + 11 = 0 for w.
3
Suppose -c + 15 = -2*d, 5*d + 15 = -402*c + 397*c. Solve -5*j - k = -8, -c*k - 18 = -5*j + k for j.
2
Let m be -6 + 15/((-15)/(-8)). Solve -2*z = -2*v + v - m, 0 = 4*z - 4*v - 12 for z.
-1
Suppose 0 = -2*x + 905 - 903. Solve x = j, 0 = 2*l - 3*l + 5*j for l.
5
Suppose -5*r = c + 1 + 6, -3*r + 1 = c. Suppose h = -3*s + 5*s - 46, s = -2*h + c. Suppose 39 = 2*o + s. Solve -5*j + 44 - o = -5*a, -2*j - 1 = 3*a for a.
-3
Let u = -1939 + 1939. Solve -2 = -5*g - u*g + 3*m, 0 = -g - 5*m - 22 for g.
-2
Let j(y) = 19*y - 125. Let t be j(14). Suppose -157*l = -t*l - 80. Solve 0 = -l*o - 3*s - 19, -5*o + 2 = -3*s - s for o.
-2
Suppose -j = -6*j + 2*k + 23, -2*j = -4*k - 6. Solve 9 = -p - j*m, -4*p + 6*p = -4*m - 12 for p.
-4
Suppose 118*d = -12 + 539 + 63. Solve -3*b = 5*j + 13 - 0, 4*j + 3 = d*b for j.
-2
Let c = -2 - -12. Let s be 24/15 + (-106)/(-265). Suppose -2*y + 0*y - 3*x = -10, -6 = -4*y + x. Solve m - 2*m = y*r - c, 0 = -s*r + 4*m + 10 for r.
5
Suppose q = -y, -8*y + 10*y - 28 = 5*q. Solve -5*g = 2*v + y, 24*v = 27*v + 6 for g.
0
Let j = 10 + 23. Let r be (75/(-10))/(-1 + j/24). Let f(s) = -s - 20. Let p be f(r). Solve -14 = 2*k - p*t + 3*t, -k - 21 = 5*t for k.
-1
Suppose u = 5*k - 844 + 724, -4*k = -8*u - 96. Solve 4*b = 3*y - 32, 4 = -23*y + k*y for b.
-5
Let k = 14793 - 14783. Solve 9*d - k*d - 28 = -5*l, -4*d - 32 = -4*l for l.
5
Let i be (2/(-4))/(2*(-4)/464). Let z(b) = 4*b - 97. Let s be z(i). Solve -3*w + 5*w + 11 = -t, t = -4*w - s for t.
-3
Let q = 14278 - 14276. Solve -i + q*f + 10 = 3, 5*i = -2*f + 11 for i.
3
Suppose 0 = d - 5*f - 24, 3*d + d + 3*f = 4. Suppose d*y + x = 16, -2*y + x + 8 = -3*x. Let j = -1412 + 1414. Solve -15 = 5*k + y*l, -16 = j*k + 4*l + 2 for k.
1
Suppose 0 = -4*c + 2*m + 36, 6*m - 38 = -3*c + 2*m. Suppose 48 = c*g + 28. Let a be (9/(-6)*-2)/1. Solve g = 4*w + a*l, -3*l + 0*l - 16 = -5*w for w.
2
Let s = 85 + -83. Let q be (s/(-3))/(7 - 1420/204). Let o = q + 22. Solve 18 = o*h - 4*h + 4*v, 3*h + v - 10 = 0 for h.
2
Let z be 83/((-5)/15 + (-4)/(-3)). Let j = z - 81. Solve -2*t = -j*o - 2, 0*t + 3*t = 4*o + 7 for 