
-4
Suppose 23*b = -34*b + 9*b + 144. Suppose -q = -5*p + 29, 2*p - 5*p - 5*q = 5. Solve -12 = b*z - p*d + 12, z + 9 = 2*d for z.
-3
Let c(y) = -6*y**3 - 763*y**2 - 127*y + 4. Let i be c(-127). Solve 0 = -i*g + s - 11, 2*s + 9 = 5*s for g.
-2
Suppose -5*o = -2*o - 102. Let y(v) = -4*v**2 - 58*v + 194. Let f be y(3). Let k = o + f. Solve 3*c + k = 3*l, -l = -2*c + 4*c + 3 for c.
-3
Let f(k) = -8*k**2 + 39*k + 691. Let y be f(12). Solve 4*s + 18 = -a, 0 = -y*s + 6*s - 2*a - 8 for s.
-4
Suppose 0 = -32*f + 53*f - 63. Solve 0 = -0*z + f*z - 4*i + 14, 5*i = -3*z + 4 for z.
-2
Let q be 39/9 - 5/15. Suppose -q*f + 3*p + 46 = -5, 0 = -2*p - 10. Let n = 18 - f. Solve 5*v - 6 = 5*r + 9, 0 = v + 5*r + n for v.
1
Suppose w - 2 - 1 = 0. Let a = -17766 - -17781. Solve -12 = -w*l + g, 2*g - 3*g = -4*l + a for l.
3
Let a = -237 - -238. Suppose -u = 2*t + 1, -2*t = -0*t - 3*u - 19. Let s be (-10 - -42)*a/t. Solve -b = 2*b - 5*d - s, d = -2 for b.
2
Suppose -3*w + 458 = 470, -3*w - 17 = -a. Solve -a*b + 8 - 18 = 2*s, 3*b = -5*s + 13 for s.
5
Let h(d) = d**2 - 9*d + 19. Let n be h(11). Suppose n*q - 466 = -97. Solve -5*b + 2*b - w = q, 0 = b + 2*w + 8 for b.
-2
Let v be 9/(-12)*-4*33/9. Let n(t) = t**3 - 10*t**2 - 7*t - 32. Let u be n(v). Suppose u - 37 = -5*d. Solve -5*f = j + 1, -6*j - d*f + 15 = -j for j.
4
Suppose 0 = 7*r - 0*r + 42. Let v = r - 17. Let y = v - -23. Solve -3*s - 9 = y, 8*w - 11 = 3*w + 2*s for w.
1
Let y = 370 + -365. Let u be (0/2)/(-1*1). Suppose -4*f = -u*v - v - 4, -f = 4*v - 18. Solve -3*g + v = -y*x, -5*g = -5*x - g - 7 for x.
1
Suppose 112*u - 199 = 137. Let k = -1 + 7. Solve 2*o - 10 = u*m, 3*o - 5*o + k = -m for m.
-2
Let h = 44 - 42. Let t be 1/(-6) - (-4 - h/12). Suppose t*i - i = 0. Solve n - 2*g = 13 - 2, -3*n - 4*g - 7 = i for n.
3
Let p = 8049 - 8047. Solve u + 3*c + 5 = p, -3*u = 5*c + 9 for u.
-3
Suppose -2*j + 24 = -3*v, 48 - 40 = -v. Solve j = -r + 4*m + 3, -12 + 2 = 4*r - 5*m for r.
-5
Suppose -184*b = 20*b - 1020. Solve l + 17 = 4*g, 2*g + 1 = -b*l - 18 for g.
3
Suppose -1386 = h + h - r, -h - r = 690. Let a = -674 - h. Solve a = -4*q + 2*q + 4*l, 5*q - 11 = -4*l for q.
-1
Let f(m) = -m**3 + 30*m**2 + 33*m - 34. Let a be f(31). Suppose 57 = a*u - 27. Solve -3*q + 3*z = u, 3*q - 2*z + 17 = -2*q for q.
-5
Suppose 42*t = 44*t + 96. Let z be 12/8*t/(-18). Solve 0*o + o + 4*h = 4, 0 = -5*o - 4*h + z for o.
0
Suppose 0 = -4*d - 5*s + 63, 33 = 2*d + 2*s + 3. Let u = d - 10. Solve -2*l - 4 = 0, 6*l - u*l - 4 = -4*b for b.
3
Let z be 48/22 + (-4)/22. Let l be (-618)/(-9) + 5/15. Suppose -l*r + 9 = -66*r. Solve z*v = p + 13, -5*p + r*p = 5*v - 10 for v.
4
Let b = -1414 - -1419. Solve -3*d = 3*g, b*d - 2*d + 5*g - 8 = 0 for d.
-4
Let n = 31060 - 31058. Solve y - n*w = -1, -62 = 2*y - w - 69 for y.
5
Let i = -23515 + 23520. Solve i*h - 28 = 2*y - y, 3*h + 3*y = 6 for h.
5
Let d = -7393 - -7399. Solve -3*a - 5*i = -5, -d*i - 2 = -8*i for a.
0
Let r(j) = -27 - 83*j - 77*j + 163*j. Let g be r(10). Let o(l) = l**3 - 4*l**2 + 6*l - 7. Let i be o(g). Solve -k = 3*d - 4, 0*d + 3*d = -i*k + 8 for d.
0
Let v be (-12)/78 - (-212)/26. Suppose v*i = 36 - 12. Solve -d - i*p = -9, -3*d + p + 3 = 2*p for d.
0
Suppose 5*p + l = 19, -4*p + 5 + 9 = 2*l. Suppose 7*q - 5*q - 10 = 0. Solve -6*r - p = -4*r + q*j, -7 = -5*r - 4*j for r.
3
Let n(l) = -l**3 - l**2 - 4*l - 3. Let t be n(-2). Suppose -t*m + 79 - 16 = 0. Solve 2*o + 6*h = h - 8, 3*o + m = -5*h for o.
1
Let y = 57 + -53. Let c be -5*(y - 22/5). Suppose 18 = 4*k + s, -s - c*s + 14 = 4*k. Solve -3*d - 5*l = 24, -4*l + 6 = -k*d - l for d.
-3
Let w = -4865 + 4935. Solve -w = -2*n - 5*z - 62, 2*n + 6 = 2*z for n.
-1
Suppose 0 = 5*v - 393*b + 398*b - 20, 2*b = 5*v - 13. Solve -4*z - 20 = 0, -5*x + 4*z = v*z + 15 for x.
-4
Let c(p) = 3*p**3 + 28*p**2 + 30*p + 18. Let k be c(-8). Suppose 21*o + 26 = k*o. Solve -j - 1 = -4*q - o, -22 = -4*j - 2*q for j.
5
Let d(h) = -7*h**2 + 40*h - 18. Let z(j) = -15*j**2 + 81*j - 36. Let s(n) = -9*d(n) + 4*z(n). Let i be s(12). Solve -4*l + 2*g + i = g, l + 1 = 3*g for l.
5
Suppose -14*o = -10*o. Suppose -2*s = -o - 10. Solve -22 = -2*z - 5*b + 2*b, s*b - 30 = -2*z for z.
5
Let b be 41/492 + 472/96. Solve w - b*h + 27 = 0, -25*w + 2*h = -30*w for w.
-2
Let u = -122 + 118. Let x be 2*(8/(-32))/(1/u). Solve -3*g = m - x - 10, 4*g - 16 = 3*m for m.
0
Suppose -5*a - 25 = 5*g, -g + 3*g = 3*a - 10. Let p be ((27/(-2))/3)/((-45)/(-1350)). Let r = 137 + p. Solve 4*h - 28 = 4*f, a = r*h + f - 4 + 5 for h.
2
Let i = -306 + 171. Let j = 78 + i. Let o = j - -60. Solve -5*l = -x - 1, -4 = 4*x - o*l + 2*l for x.
-1
Suppose -234 = 8*y - 14*y. Let z = y + -14. Suppose -5*c = -z, -c + 1 - 12 = -2*b. Solve 4*d + 2*s = -b, -2*d + 4*d + 14 = 4*s for d.
-3
Let z be 248/60 + (-4)/30. Suppose 5*v + 4*f = 121 + 60, -z*v = 5*f - 143. Let n = v + -26. Solve 4*t + 2*m = 7*m - 21, 0 = t + 2*m - n for t.
1
Let b = -4387 - -4388. Solve -h = 2*x - b, 7*x - 3 = -3*h + 3*x for h.
1
Suppose 3*q - 3*b - 8 = -7*b, -2 = -2*q - b. Let g be 2/(8/15)*((-4640)/48 + 98). Solve q = -5*z - g*d, 0*d + 2*d = 4*z + 24 for z.
-4
Let n = -153 - -156. Let v(o) = o**2 - 10*o + 9. Let b be v(9). Suppose b = -n*h + 58 - 1. Solve 5*l + 13 = r - 0*r, 2*l + h = 5*r for l.
-2
Let k(r) = -3 + 3 + r. Let o be k(0). Suppose -3*p + 7*p - 12 = 0, 3*h + 3 = 5*p. Solve h*b - 9 = x, -5*x + 10*x + b + 24 = o for x.
-5
Let l(d) = 17*d - 19. Let w be l(13). Let x = 208 - w. Solve 2*p + 2*c - x = 0, 2*p - c + 11 - 2 = 0 for p.
-2
Suppose 0 = -70*h + 68*h - 192. Let j = h - -98. Solve 2*f - 9 + j = 5*o, o + 2 = f for f.
1
Let b(c) = -c**2 - 41*c + 1064. Let d be b(18). Solve 311*p - d*m = 310*p + 2, -4*p = 5*m - 8 for p.
2
Suppose -26*i - 1571 + 4336 = 1491. Solve -45*p - 5 = -d - i*p, 2*d = p - 8 for d.
-3
Let q(b) = -6*b + 26. Let l be q(-14). Let g = l - 106. Solve 3*k + 0*k + 14 = 2*u, 0 = k - g*u + 8 for k.
-4
Let f = -5 + 7. Suppose 6*i + 73 = 3*s + 7*i, f*s - 56 = 3*i. Suppose 5*x - 37 = -12. Solve -x*v = 2*g - 0*v - s, -g = 2*v - 11 for g.
5
Let o = -652 - -655. Suppose -4*j + 3*j - 6 = -3*f, -5*j + 24 = 3*f. Let d = f + -3. Solve d = 4*h - 0*h - 3*x - 8, o*x = 0 for h.
2
Let o(c) = 2*c**2 + 42*c + 43. Let m be o(-1). Solve 3*x = -5*t - 16, -t = -m*x + x + 11 for x.
3
Let t be (-4052)/(-12) - (-3 + 15/9). Suppose -332 = u - t. Solve 0 = 3*l - 12, 2*w + 2*l + 20 = u*l for w.
0
Let u(v) = -2*v + 1. Suppose -3*d - 22 = k, -6 = 2*d - 2*k + 6. Let x be u(d). Suppose 9*l + 12 = x*l. Solve 0 = 3*c + l*t - 15, -3*c - t + 18 = 6 for c.
3
Suppose 153*y = 144*y + 27. Let i be 18/(-6) + (-3 + y - -3). Solve -p + 2*l = -2, -4*l - 6 - 6 = i for p.
-4
Suppose -3*v = -7*v + 8. Suppose 0 = v*g - 3*s, 5*g + s - 5*s + 7 = 0. Let p be (-2)/3 - 8/g. Solve 5*w + p*z + 20 = 0, -w - z = z + 4 for w.
-4
Suppose -1713 + 1800 = 29*h. Let x(k) = k - 1. Let b be x(6). Solve n - h*n + 8 = 0, f = b*n - 18 for f.
2
Suppose 0 = 34*u - 127*u + 279. Solve -4*j = -n - 7 - 7, -2*j = u*n - 14 for n.
2
Let k(w) = 4*w**3 - 16*w**2 + 19*w - 120. Let o be k(5). Solve -o*t - 5*u = -78*t - 40, 2*t + 2*u = 0 for t.
-5
Let q = 56 + -51. Let n(m) = m + 7. Let a be n(-7). Suppose a = -3*v + 2*v. Solve 2*d - 2 = v, 4*y + q*d + 5 = -6 for y.
-4
Let g = -389 - -404. Suppose -a - 13 = -g. Solve -2*c + 5 = -q - c, 0 = 5*q + a*c + 11 for q.
-3
Let w(x) = x**3 + 10*x**2 - 10*x + 14. Let z be w(-11). Suppose -7 - z = -5*h. Let a be (h + -5 + 2)*0 + 2. Solve a*r + 8 = -3*j, -r = -4*j - j - 22 for r.
2
Suppose -3*s - 4 = -o, -2*o + s + 5 = -3. Let f(c) = -c**2 - 9*c + 8. Let i be f(-9). Solve t = -b - i, o*t + 23 = b - 2*b for t.
-5
Let c = -2990 - -3000. Solve -5*l = c*x - 14*x + 8, 4*x - 8 = -3*l for l.
0
Let g = 568749 + -568720. Suppose -2 = 2*o - 8. Suppose 2*b - 2 - 8 = 0. Solve -5*y - 2*d - 18 + 4 = 0, -b*y - g = -o*d for y.
-4
Let z(x) = 5*x**2 - 48*x + 47. Let d be z(1). Suppose -r + 5 - 3 = 0. Solve 3*u - 10 = -b, 2*u + 5*b - r + d = 0 for u.
4
Let h(l) = -2*l**3 + 9*l**2 + l + 21. Let k be h(5). Suppose 0 = a - 5*v - 5, -3*v + k = -4*v. Solve 0 = 2*z - 3*p - 20 - 3, -3*z - 2*p + 2 = a for z.
4
Suppose 5*l + 2*l = 49. Let w(x) = -x**3 + 6*x**2 + 2*x + 40. Let h be w(l). Solve a - h*p = -18, -p - 2*p + 6 = -3*a for a.
2
Suppose -172 = -89*w + 3*w. Solve 3*d - a = -7 - 0, 