2
Let z = 1900 - 1813. Solve k = f - 3, 5*f = z*k - 89*k + 8 for k.
-1
Suppose -4*q + 44 = 36. Suppose 4*s + 2*k = 5*k + 31, q*k + 26 = 4*s. Solve 0 = 4*g + x - s - 8, 3*g = -3*x + 18 for g.
2
Suppose -2*s = 3*s + 45. Let n(b) = -b**3 - 10*b**2 - 6*b + 16. Let f be n(s). Let k be (-2128)/(-154) - 2/f. Solve 0 = 2*w - h + k, 51 - 19 = -4*w + 3*h for w.
-5
Let y be 36/(10 + -1) + (-32)/2. Let f be 3/y*-2*(-5 - -5). Solve -4*i + 0*k + k = 23, f = 3*k - 9 for i.
-5
Let v(d) = d**2 + 31*d - 1090. Let s be v(21). Solve x + j = s, 4*j + 1 = -6*x + 11*x for x.
1
Let c be 84/33 + (-126)/231 - -1. Solve -5 = m + c*h, 16*m - 14*m - 5*h - 1 = 0 for m.
-2
Suppose -3*m + 5*h = -2042, h + 69 = 74. Suppose 669 - m = -10*y. Let o be ((-4)/(-6))/((-4)/(-114)). Solve 5*w + o = -y*k, w + 28 - 8 = 5*k for k.
3
Suppose -2*j + s + 18 = 0, -2*j - 276 = 3*s - 262. Solve 10*p - j*p = -4*l + 3, -4*l = -8 for p.
-1
Let y = -95 - -97. Let c = 549 - 545. Solve 3 = -c*h - 5*x, 4*x = -2*h + 2*x - y for h.
-2
Suppose -121*p - 116 = -150*p. Solve h + k = p*h + 3, -5*k - 5 = -5*h for h.
-2
Let a(l) = -l**3 + 20*l**2 + 39*l + 114. Let x be a(22). Solve -4*f - 24 = -x*y, 10 + 11 = 4*y - 3*f for y.
3
Let y = 3 + -2. Suppose -47 = 8*x + y. Let b be 30/(-20)*8/x. Solve -3*t + 5 = 4*o - b*t, -2*o = -3*t + 1 for o.
1
Let p = 690 + -669. Let j be 10/((p/(-28))/((-3)/8)). Solve 2*u = i, j*u + 0*i + 3*i = 0 for u.
0
Let x be 4/(-14) + 111/21. Suppose 0*l - x*l = 0. Let q = -10722 - -10736. Solve -f + q + l = -4*j, f + 4*j + 10 = 0 for f.
2
Let l = -432 + 434. Solve 2*t + 3*t = l*z - 28, -4 = -t - 2*z for t.
-4
Suppose 119*b - 127*b = 512. Suppose -2*t + t - 171 = 3*l, -t + 177 = -3*l. Let d = l - b. Solve -f + d = 2*z - 0*f, -2*f = z - 3 for z.
3
Let b be (-1 - -19)*(-2)/(-6). Suppose 4*m - b = 2*t + 4, -2*m + 9 = 3*t. Solve 4 = 2*n + 3*v, -n + 9 - 1 = m*v for n.
-4
Let c = -295 + 297. Suppose -98 = c*b - 102. Solve -b*q + 5*p + 18 = 0, -q + 3*q = 3*p + 10 for q.
-1
Let h be ((-6)/5)/((-90)/(-1200)). Let o = h + 19. Solve -23 = -o*z + 4*v, -2*z + 17 = 3*v - 6*v for z.
1
Suppose 0*y - 995 = 4*y + 5*t, -5*y = 5*t + 1240. Let x = 249 + y. Solve -x*r - 3*l + 0*l - 14 = 0, 0 = -4*l - 8 for r.
-2
Suppose 0 = -33*n + 31*n + 5*i + 23, -n + 10 = -2*i. Solve 18*c = 14*c, -c + 20 = -n*m for m.
-5
Let w = 522 - 492. Suppose 35*h = 25*h + w. Solve h*y + b = 7, -5*b + 1 = 3*y - 10*b for y.
2
Suppose -148*h + 134*h = -28. Solve -h*l - 18 = 2*w, -17 = 2*l + 3*w + 6 for l.
-4
Let x be -2*(-34)/8*(1 + 1). Let m = 14 - 10. Suppose c - 1316 = -1312. Solve -7*v + x = m*k - 2*v, -c*k + 7 = -5*v for k.
3
Let l(p) be the first derivative of 2*p**3/3 - 23*p**2/2 - 8*p + 79. Let d be l(12). Solve 3 = d*g - u, -4*g - 2*u = 8 - 2 for g.
0
Let s be (-3)/2*88/99*-3. Solve 2 = s*x + 4*j - 2, -1 = 3*x + 2*j for x.
-3
Let l be ((-230)/20 - -7)/((-2)/48). Suppose 6*h - 2*h = l. Let k be 1*5/(2 + -1). Solve -2*d + 3*i = -5*d + h, -k = -i for d.
4
Suppose 3*j - 121 = -115. Suppose 3*t - 42 = -3*r, 2*r + r - j*t = 67. Solve -1 = -3*w + 3*f - r, f + 18 = -5*w for w.
-4
Let o be (-4)/(-10) - (-13)/5. Let a = -642 + 636. Let s be a/24 + (-27)/(-12) + 0. Solve s*h = -0*h + o*v - 5, -v = -h for h.
5
Suppose 14*v + 70 = -o + 105, 4*o - 32 = -2*v. Solve 0 = 2*u - 5*a + 19, -v*a = -42 + 36 for u.
-2
Suppose 0 = -4*g + p + 549, -66 - 620 = -5*g + p. Let s = -119 + g. Solve c + 4*w = -s, -4*c - 28 = w + 4*w for c.
-2
Let s be (33/66)/(2/620). Let r = -155 + s. Solve 4*q + 2*y = -r - 4, q - 4*y = 8 for q.
0
Let p(f) = 2*f**2 + 6*f + 9. Let s be p(-2). Let l = -2 + s. Suppose -l*q + 16 = q. Solve 4*k + q*r - 7 = -r, 0 = 2*k - r + 7 for k.
-2
Suppose 162*i - 168*i + 102 = 0. Solve -i*a + 35 = -13*a - 3*s, 4*s = -20 for a.
5
Suppose 7*l = 4*l - 3*s + 42, -l - 4*s = -11. Suppose l = 14*b - 9*b. Let f = -128 + 134. Solve p - b*r = 7, 5*p + f*r - 3*r + 37 = 0 for p.
-5
Let a(j) = -j + 8. Let n be a(3). Suppose -3*k - 12 = -12. Solve n*y + 3 = -w - 2, 3*w - 2*y - 19 = k for w.
5
Suppose -16*b + 15 = -13*b. Let f(m) = -m**3 + 14*m**2 - 12*m + 14. Let k = 113 + -100. Let w be f(k). Solve b*x + w = -3*q, -2*x + 4*q + 10 = -0 for x.
-3
Suppose 22*z + 1624 = 7080. Solve 2*o - 16 = -z*g + 243*g, 5*o + 6 = -g for g.
4
Suppose 293 = -19*n - 106. Let m be -49*(36/n)/6. Solve 5*u = 5*t + 6*u + 5, -3*t - 4*u = -m for t.
-2
Let d = -9164 - -9168. Solve -2*l - r = -d - 5, 2 = 2*r for l.
4
Let p(y) = -y**2 - 65*y + 525. Let j be p(-72). Solve 4*v - j = 4*q - 25, -14 = 2*q + 2*v for q.
-3
Suppose n + 3*x = 53, -n + 5*x = -145 + 140. Solve -n*d + 32*d = z - 11, 4*z - 17 = -3*d for z.
2
Let j = 25766 - 25762. Solve -j*q - 128 + 169 = 5*d, 20 = 4*d for q.
4
Let d = -6161 - -6182. Solve -5*b - 3*z + 5*z = -d, 3*z + 21 = 4*b for b.
3
Suppose -3*r = -79 + 10. Suppose r*m - 253 - 138 = 0. Solve h = -u - 4 - 0, -m = 3*u - 2*h for u.
-5
Let s(r) = 2*r**3 + 6*r + 18. Let b be s(-3). Let y = b - -57. Solve 6*m + 2*d - 1 = m, 0 = y*m - 4*d + 15 for m.
-1
Let r(y) = 12*y**2 + 15*y + 1. Let k be r(0). Suppose g + 20 = 5*g. Suppose 5*i + 35 = g*q, 0 = q + 5*i + 10 + 1. Solve -12 = -q*m, 0*t + k = -4*t + 3*m for t.
2
Suppose -a + 4*a - 12 = 0. Suppose -6*f = -9*f - 2*c - 67, -2*f - 43 = c. Let b(s) = 5*s + 116. Let k be b(f). Solve -g = a*q - 0*q - k, 2*g = -4*q + 26 for g.
5
Let k(y) = 6*y**2 - 31*y - 4. Let p be k(6). Suppose -23*f + 5*a - 17 = -p*f, -2*a = -2*f + 22. Solve -11 = -f*u + 4*u - 4*i, 0 = -3*i - 3 for u.
3
Let v be -1*(8/((-24)/(-21)) - 9). Solve -4*p - s = -9, 8*s + 0 = v*p + 4 for p.
2
Let j be 24/(-44)*(-5)/(50/5)*11. Solve -7 = 2*l + 5*z, -j*l = -7*z + 12*z + 8 for l.
-1
Let k(u) = -u + 7. Let p be k(3). Let d(x) = -18*x + 49. Let c be d(3). Let z be ((-2275)/143)/c - (-4)/(-22). Solve -h + i = z, -4*h - h + p*i = 10 for h.
2
Let c(d) = -d**3 - 8*d**2 - 8*d + 26. Let y(m) = 4*m + 58. Let t be y(-16). Let q be c(t). Solve -5*l + 2*b - 10 = 0, -4*l + q*b = -0*b + 8 for l.
-2
Let s(i) = -i**3 + 23*i**2 - 44*i + 52. Let h be s(21). Solve -4 = -b + 3*x - 15, -2*x = 2*b - h for b.
1
Suppose c + 36*c - 165 = 20. Let g(d) = -d**3 - 5*d**2 + 24*d + 4. Let p be g(-8). Solve -c*k - p*n = -8*n + 7, 5*n = -4*k + 19 for k.
1
Suppose 69860*s - 69882*s + 110 = 0. Let y(z) = z**2 - 2*z - 4. Let a be y(4). Solve -s*k + 0*r = -3*r - 20, -r = -a*k + 16 for k.
4
Suppose 0 = 5*a - 5 - 20. Suppose -4*i + 4 = 4*m, -2*i - a*m - 7 = -3*i. Solve -2 = i*g - 2*s, -8 = g - 5*s + 9 for g.
3
Let f = 21384 + -21357. Solve -c - f = -12*h + 16*h, -25 = 3*c + 5*h for c.
5
Let d(v) = 94*v - 817. Let g be d(9). Solve 4*y - g = -y + 2*m, 0 = -4*y - 5*m + 10 for y.
5
Suppose -14*x = -10*x. Suppose 4*f - 13 + 1 = 0, 4*h = 3*f - 9. Solve 0 = 5*d + 3*u - 7, x = -4*d + 2*u - h*u + 10 for d.
2
Let s(l) = l**2 - 20*l + 4. Let v be s(20). Suppose 3*d = 4*u + 56, 9*u + 26 = d + v*u. Solve 0*n + 31 = 5*c - 2*n, 2*n = 2*c - d for c.
5
Let j(i) = i**2 - 5*i + 6. Let m be j(6). Let r be (-6)/m - (-3)/(-6). Let d be (-1 + -3)*r - 4. Solve 11*f - 20 = 6*f, 4*q - f + 4 = d for q.
0
Suppose -122*s + 5 = -121*s - 0. Suppose -2*y - 5 = -4*d - 3*y, -5*y = 15. Solve -3*t + t + 8 = -d*h, s = t for h.
1
Let y = -133 - -113. Let p be (-33)/(-2)*y/(-6). Suppose 16*j + 7 = p. Solve 3*d - n = -d, j*d = -3*n for d.
0
Let n(m) = 2*m - 1. Let f = 16 + -11. Let i be n(f). Let o(c) = -c**2 + 7*c + 22. Let z be o(i). Solve z*t - 4*h = 12, 0 = h + 3*h + 4 for t.
2
Suppose n = 5*v + 41 + 71, 4*v - 241 = -3*n. Let z = n - 85. Solve 3*s = -4*u + 14, -3*u - z*s + 4 = -3*s for u.
2
Suppose 51*d - 141 - 246 = 174. Suppose -3*c + 5*o - 64 = -7*c, c = 2*o + 3. Solve 0*g = -5*g - 3*u - c, -d = g + 5*u for g.
-1
Let s = 378 - 358. Suppose -82*i = -81*i - s. Solve 5*n + i = -h, 5*n - h = 2*h for n.
-3
Let j(o) = o**2 - 91*o + 1655. Let q be j(66). Solve 5*n + 45*l - 6 = 48*l, -2*l - 4 = -q*n for n.
0
Let j be 7 + 2 - 33 - (3 + -1). Let n be -1*(1 - 1)*j/52. Solve 2*v = 5*k + 1, 5*k - v - 4*v - 5 = n for k.
-1
Let a be ((-63)/42 - -34)*4/5. Solve -2*q = -4*g + a, 0 = -3*g + 7*g + 2*q - 14 for g.
5
Suppose 8 = 2*i - 4*m, 0 = -3*i - 23*m + 22*m + 12. Solve 0 = q - 13*u + 12*u - 1, 0 = i*u + 4 for q.
0
Let g(z) = 6 - 8 - 32*z - 1091*z**2 + 1093*z**2 + 35. Let k be g(15). Solve -r + 28 = -0*i + 5*i, k*i - 3 = 4*r for r.
3
Let l(d) = -d