Solve 0 = -2*j + o*a + 2, -3*j - a + 0*a = -3 for j.
1
Suppose 13*h + 8 = 17*h. Let g be 1/((4/(-7))/(-4)). Suppose 5*o - 5*n = -5, g*o - 5*n + 14 = 5*o. Solve o*b - h*f - 6 = 0, 4*b = 3*f - 0*f + 9 for b.
0
Suppose 3*f + 30*f = 0. Suppose 7*v - 19 + 5 = f. Solve -4*r = v*z - 10, z = -3*z - 3*r + 20 for z.
5
Let d(r) = -111*r**2 - 223*r - 2. Let l be d(-2). Solve -3*g - 18 = 4*j - 5*g, l = 5*j + 3*g + 28 for j.
-5
Let x be 1*7/(-7) + 5. Suppose -20*f = 5*p - 17*f - 18, x*p = 2*f + 10. Solve 5*l - 3*t + 9 = 0, -3*l = -p*t + t + 6 for l.
0
Let t(d) = -d**3 + 85*d**2 + 455*d - 443. Let g be t(90). Solve -4*y = g*x - 3*x - 16, -y - 4 = -x for y.
0
Let y(m) = 1465*m - 5858. Let c be y(4). Solve 4*f + 69 - 79 = -c*d, 0 = f - 5*d - 19 for f.
4
Suppose 13*h + 105 = 48*h. Let v = 208 + -187. Suppose 0*u = -2*u + 6. Solve u*p = -3*c - v, -h*p + c = -8*p - 15 for p.
-2
Let n be (2 - 3) + (-35)/(-11 + 6). Let r be 2/(-8) - n/(-5 + -19). Solve -5*l + z + 0*z = r, 0 = 3*l + 3*z - 18 for l.
1
Suppose 0*p = -6*p - 5*p + 66. Solve -2*a + 6*g - 7*g = 2, -4*a - 3*g = p for a.
0
Suppose 0 = -17*z + 15*z - x + 1355, 3*z - x = 2025. Let u = z + -661. Solve -3*d + 0*d = 2*o - 10, 0 = -4*d + 3*o - u for d.
0
Suppose 146 = 5*i + 121. Let y = 71 - 107. Let s = y - -38. Solve p + 4*l + i = 0, -s*l - 2*l - 8 = 0 for p.
3
Suppose -4*n - 4 = 0, 6*o - o + 75 = -5*n. Let c(q) = -3*q - 6. Let h be c(o). Suppose -m + 0 - 4 = 0, m - h = -5*i. Solve 13 + 7 = 5*u, -4*z + i = u for z.
1
Let a(u) = -30*u**2 - 439*u + 176. Let v be a(-15). Solve 14 = -5*h - 3*x, -39*h = -41*h - 3*x - v for h.
-1
Let v be (-4 + 3)/((-32)/224). Let h = -3 - -5. Let r be 2 + (1 - h)/(-1). Solve 0 = v*z - r*z + d - 5, 5*d + 21 = 3*z for z.
2
Suppose 0 = 2*q + 4, -8*m - 2*q = -6*m - 34. Suppose 4*u + 5*a + m = 2*u, -a = -5*u + 20. Solve u*z + 4 = -z + 2*s, 3*z + 2*s - 11 = 0 for z.
1
Let w be 756/(-15) - (-6)/(-10). Let d be (-2)/(-3) - 170/w. Suppose 22*r = 17*r. Solve 2*z + 0*z - 2 = r, -a + d = z for a.
3
Let o(f) = f**3 - 7*f**2 + 6. Let h be o(7). Let m be (h/3)/((-4)/30). Let x be (m/(-1 - -6))/(-1). Solve -5*n + 31 = -5*r + r, 29 = x*n - 5*r for n.
3
Suppose 9*w + 6 = 4*a + 11*w, 3*a + 5*w - 15 = 0. Let t(z) = z**2 - 9*z + 10. Let k be t(8). Solve 5*v + k*f - 12 = a, -2*v + 3*v = -f + 3 for v.
2
Let k(f) = 63*f + 99. Let p be k(11). Let d = p + -788. Solve -d*q = b + q + 20, 0 = 3*b + 3*q for b.
5
Let t be 0 + 1/3*(-1 + -5). Let u(g) = -4*g - 7. Let p be u(t). Let w be (1 - -3) + -2 + (p - 1). Solve -3*s + s = -8, 5*s - 20 = -w*h for h.
0
Suppose 60 = 690*s - 675*s. Solve 16 = -d + 18, 0 = 3*z - s*d - 7 for z.
5
Let f = 7 - 3. Let h(n) = -23*n**2 + 10*n + 10. Let m be h(-1). Let c = m + 31. Solve 3*b = -f*d + 7, -4 = d - c for b.
-3
Let h = -38 - -42. Suppose 0 = c + 2*k, h*k = 4*c + 8*k - 4. Solve 4*t - 3 = -3*d, 4*t + 0 = 2*d - c for t.
0
Suppose 0 = -p + 3*w + 16, -9*p + w = -11*p + 4. Solve s + 17 = 3*b, -27*b + 26*b - 16 = p*s for s.
-5
Let i(g) = -g**2 + 12*g - 25. Let z(s) = s**2 + 2*s - 7. Let j be z(3). Let h be i(j). Suppose 13 = 5*w - h. Solve 3*a + q = -w*q - 12, 0 = -a + q + 4 for a.
1
Suppose -12*g = -7*g - 10. Suppose 0 = 2*y - 3*u + 18, -2*y - u - 2 = -0*y. Let v be 3 + y - (-14)/7. Solve 0 = -g*k - 3*d + 20, 4*d = v*k - 0*d + 8 for k.
4
Let j = -16903 + 16915. Solve 5*c = -3*m - 15 + 37, j = 3*m for c.
2
Let u = -87 + 129. Suppose 140*y - 142*y = -u. Solve 0 = -3*k - 4*d + y, 2*k - 18 = -0*k - 4*d for k.
3
Let i be ((-162)/(-378))/((-5)/(-35)). Solve 3*s + 0*c + 9 = -i*c, s - 5*c - 3 = 0 for s.
-2
Let g = -105 + 113. Suppose -250 = -g*z + 38. Let l = -32 + z. Solve l*b - n + 12 = -5*n, 33 = 4*b - 5*n for b.
2
Suppose -5 = -4*p + 19. Suppose t + 20 = -p*s + 3*s, -5*s = -2*t - 18. Let w be -4*(-2)/56 - 40/t. Solve 4*x + 2*c = 22, -w*c - 10 = -5*c for x.
3
Let b(w) = -32*w - 2491. Let l be b(-78). Solve l*x + 3*h = 28, -7*h = x - 11*h - 1 for x.
5
Suppose 31*x - 90*x = -226*x. Solve x = -3*h + 5*h - 5*a, 9 = h + 2*a for h.
5
Let g(c) = -5*c**2 - 33*c - 24. Let y be g(-1). Solve 2 = 28*j - 25*j + y*q, 0 = -3*j + 4*q + 34 for j.
6
Suppose -76 = 13*k + 1068. Let y = k - -95. Solve 0 = -s - 4*j + 3*j + y, -4*s + 3*j = 0 for s.
3
Let x be 94/18 + (0 - 5) + 442/117. Solve 4*j - 4 = 0, 20 = -x*i + 316*j - 312*j for i.
-4
Suppose y - 2*r + 19 = 0, -78 = 4*y + 3*r - 2. Let d = 26 + y. Solve -4*p + 2*v - d = 5, -5*p + 4*v - 21 = 0 for p.
-1
Let m(j) = 14*j - 40. Let l be m(11). Let f = 114 - l. Solve 4*n - 20 = -f*h + 2*h, 0 = -4*h for n.
5
Let m(h) = 13*h - 13. Let y be m(4). Let n = y - 36. Suppose 11 = 4*g - 3*j - 4, 0 = n*j + 3. Solve g*p = 4*q + p, 5*p = -10 for q.
-1
Let z be ((-165)/(-9))/(385/462). Solve q = 2*u + 2*u - z, 0 = 2*u - q - 12 for u.
5
Let t(w) = w**3 - 21*w**2 + 17*w - 355. Let d be t(21). Solve i + 1 = -d*v, -3*v - i + 5 = -6*i for v.
0
Let m(z) = -3*z**3 - 13*z**2 - 19*z - 18. Let p be m(-3). Solve -p = -5*y + 3*i + 5, 12 = 10*y - 2*i for y.
1
Suppose -56 = 105*y - 371. Solve -y*h + 4*d - 34 = 0, -4*d + 12 = -d for h.
-6
Let j = 96 - 74. Suppose -27 = j*i - 19*i. Let l be ((-3)/i)/((-1)/(-9)). Solve -4*h + l = -r - 3, -5*h + r = -7 for h.
1
Let z be 33/5 - 22/(-55). Suppose p = 5*n - z, 3*n - 97 = -4*p - 2*n. Suppose p*t = 21*t - 27. Solve 5*h = -3*w + t - 3, -2*h = 0 for w.
2
Suppose 11*b - 26 = 16*b - r, 4*b + 22 = 2*r. Let u(g) = 5 - 12*g - 14*g + 27*g. Let j be u(b). Solve -4*h + 3*k - k + 16 = j, 2*h + 3*k = 0 for h.
3
Let g be (-1 - -2 - (0 - -6))*(-1080 - -1078). Solve 5*o + 4*a = 1 - g, -2*o - 5*a = 7 for o.
-1
Suppose 0*w - 2*q - 21 = -5*w, -w = -3*q - 12. Let g(a) = 18 + 18 + w*a + 3*a - 33. Let u be g(0). Solve -i = -5*r + 13, u*r = -3*i - 2 - 1 for i.
-3
Suppose -3*j + 74 = -t, j - 2*t - 31 = -3. Suppose -5*o + 4*r + 5 + 28 = 0, -j = -4*o + 2*r. Solve o*w - 15 = -l, l + 9 = w + 2*w for l.
0
Let z be (1462/(-68))/((-3)/2 - -1). Suppose m = z - 24. Solve -q = -g - 6, -4*g + 7 - m = 2*q for q.
2
Let n be 26 - (280/20 - -7). Solve n*j - 2*p + 9 + 21 = 0, 3*p - 15 = 0 for j.
-4
Suppose 0 = -0*t - 8*t + 16. Let j be t + 1 + -2 + -99. Let p = j - -98. Solve 4*d = -2*r - p - 10, -4*r + 13 = -3*d for d.
-3
Suppose -8*x + 11 + 5 = 0. Let n be (2 - 3)/(2/x) + 9. Suppose 5*b = 2*m - n, -m - 2*m + 12 = -2*b. Solve t - 2 = -6*o + 4*o, 4*o = 5*t + m for t.
0
Suppose -21*q = 39*q - 1680. Suppose q = -34*s + 41*s. Solve -5*f - 27 = -s*g, 5*g - 11 = 4 for f.
-3
Let v be (12/(-15))/(16/(-72) + 11/90). Solve -v = -d - 5*o, d + 7 + 1 = 3*o for d.
-2
Suppose -4*s - 13*s + 52 = -4*s. Solve 6 = -5*z - f, 4*z - 7*f + s*f = -1 for z.
-1
Let l = 29 - 84. Let n = l - -58. Suppose n*y = y. Solve 3 = k - 0*x + 2*x, 2*x = y for k.
3
Let y = 4290 - 4271. Solve 4 = 5*i - 5*p + y, -7*p - 1 = 4*i for i.
-2
Let y = -1401 - -1404. Solve 4*m = -b - 15, -2*b - 15 = y*m - 5*b for m.
-4
Let b = 4 + 11. Let v(f) = 4*f**2 + 22*f - 42. Let a be v(-7). Solve 5*g - 2*g + 3*d + b = a, 4*g - 4*d = 4 for g.
-2
Let s = 22 - 9. Suppose -i - 3*k = -6*i + 19, -i - 5*k - s = 0. Let y be ((-10)/(-4))/((-1365)/(-13104)). Solve -2*w + y = 5*a, 0*w - 2*a + 12 = i*w for w.
2
Let t be (1/(-4) - (-387)/(-4)) + 3. Let w be (-8)/(-7)*-3*28. Let u = t - w. Solve -3*i + u*f + 1 = f, 5*f + 5 = -2*i for i.
0
Let r(v) = v**3 - 6*v**2 - 36*v - 36. Let l be r(10). Solve -3*x = -5*a + 19 + 18, 0 = 2*a + l*x + 6 for a.
5
Let k be (6/4)/(-6*(-6)/96). Solve 5*l + 2 - 34 = -k*h, 5*l = -2*h + 26 for l.
4
Let t = 3486 - 3469. Solve 2*y = -3*k + t - 6, -4*y = -4 for k.
3
Suppose -2*c - s - 1575 = -159, 2*s - 1416 = 2*c. Let a = c + 708. Solve a = 5*k + l - 7, -k - l = -2*l - 5 for k.
2
Let s be 225/(-50)*(-92)/9. Suppose -9*l + 109 = s. Solve o + 4*o = i + 19, -2*o + i + l = 0 for o.
4
Let w(t) = -2*t**3 - 125*t**2 + 191*t - 59. Let l be w(-64). Solve 0 = -3*f + 15, -2*f - l = -2*y - 3*y for y.
3
Let q be (((-20)/(-4))/5)/(6/6). Let j be 0 - (1 - q)*(-10)/(-30). Solve -19 = -5*p + 2*r, j*r - 5 = -5*p - 5*r for p.
3
Let f(m) = -m + 14. Let g = -16 + 23. Let r be f(g). Let a = 9 - r. Solve 0*l + 10 = -5*l - u, 0 = l + 3*u + a for l.
-2
Suppose 8*d = -10*d + 18. Let s be 6 + 2 - d*4. Solve -3*t - s*n = 2*t - 45, -5*t - 3*n + 40 = 0 for t.
5
Let q be (-4)/(-1)*(-32)/(-64). Suppose 4*r - 36*v - 45 = -41*v, -4*r + 5*v - 5 = 0. Solve q*