0 for z.
3
Suppose 3*h = 5*m + 9, 2 - 11 = 2*m - 3*h. Suppose 3*x = 5*i - 14, i - 6 + m = -x. Solve d + 11 = -2*b, 0 = -x*b - 2 - 4 for d.
-5
Let u(h) = h**3 + 16*h**2 - 6*h + 189. Let d be u(-17). Solve -z - 3 = -2*b - 7, -d*b = -2*z + 4 for z.
0
Suppose -701*y = -703*y + 4*q, 3*y = 4*q + 2. Solve 5*k - 3*k - 5*t + 4 = 0, -y*t = -3*k + 5 for k.
3
Suppose 0 = g + 3*d - 10 + 49, -20 = -5*d. Let o = 54 + g. Solve -4*l - 5*v = 0, -4 = -o*l - 5*v + 1 for l.
-5
Let d = 1290 - 1285. Solve -7 = -l + 8*w - 5*w, -w = -4*l - d for l.
-2
Let x be (57/6 - 7)*(-7)/((-49)/14). Solve j + 9 = -x*h, 5*h + j - 15 = 6*j for h.
-1
Let b = 2052 + -2049. Solve 4*o + 6 = -q, 5*o + 0 = b*q + 1 for q.
-2
Suppose -j - 2*j = -7*j. Suppose -2*f + h + 11 = j, 0 = -4*f + 2*h + 3*h + 37. Suppose 0 = -f*x + 5 + 10. Solve -7*q = 2*p - 4*q - 2, -x = -5*p + 5*q for p.
1
Suppose 3*k = -3*i + 50 + 142, -72 = -i - 3*k. Suppose 63*l - i*l - 9 = 0. Solve 0 = -l*o, -h + 5 = -0*o - 4*o for h.
5
Let g(b) = -1142*b - 3423. Let a be g(-3). Solve 9 = j - a*v, 4*v = -j - 85 + 80 for j.
3
Suppose 108*f - 116*f = 640. Let w = f + 82. Solve -z - 2*z = 4*d - 23, 2*z + w*d = 12 for z.
1
Suppose a + 72 = 4*a + g, 0 = -2*a + 5*g + 31. Let i(r) = -r + 57. Let b be i(a). Solve -3*t - 5*j = -b, 0 = t - j + 4 - 2 for t.
3
Let z be (-2 - 0)*(-6)/4. Suppose -2*p + 26 = 2*a, 29 = 3*p + 65*a - 63*a. Solve 0 = 4*h - 16, -7 = -2*t - z*t - p*h for t.
-1
Suppose 77*a + 11 = 198*a + 11. Solve k + 5*g + 2 + 9 = a, 11 = -3*k - 4*g for k.
-1
Suppose 1082*i + 940 = 1270*i. Solve 0 = -u - 5*y + 8, 3 + 13 = -3*u + i*y for u.
-2
Suppose 7*p = 18 + 3. Suppose -3*u + 8*u = 2*k - 6, 0 = -2*k - p*u + 6. Solve -4*c = 4, t + t - c = -k for t.
-2
Let t be (-2)/(-11) + (-48)/264 - -4. Solve -t*m = 4*k + 4, 4*k - 7*m = -8*m - 10 for k.
-3
Let a(q) = -q + 11. Let r be a(8). Suppose -58*n - 168 = -458. Let p = -49 - -49. Solve z + p*c + r*c + n = 0, 12 = 2*z - 5*c for z.
1
Let m = 3466 - 3464. Solve 4*p - m = -4*x - 6, 5*x + 3 = -3*p for x.
0
Suppose -4*g + 2*i - 4*i - 130 = 0, 0 = -4*g - 5*i - 127. Let u = g - -37. Let h be u - 4/(4 - 0). Solve -4*f + d = h*d, 0 = 3*f - 2*d - 14 for f.
2
Suppose 3*s + 101 = -229. Let m = s + 112. Suppose -4*z - 2*b = -26, 4*b + m - 19 = -z. Solve -n + 11 = -6*r + 4*r, 25 = z*n - 4*r for n.
1
Let b(n) = -n**2. Let h be b(-2). Let j be h + 4 + -6 - -9. Solve 3*c = -2*x + 4 - 0, 4*c - 5 = -j*x for c.
2
Suppose 3*p - 15 = x - 137, -204 = -2*x - 4*p. Solve -5 = -5*f - 5*w, 106*f - w - 8 = x*f for f.
-3
Let m = -27 - -110. Suppose 4*r = n - m, -3*r + 6 = -6*r. Let j be (-14)/(-6) + 50/n. Solve b - 3*b - 2*u = -12, 0 = u - j for b.
3
Let q = -8411 + 8415. Solve -5*k + p = -q, -2*k = -8*p + 7*p - 4 for k.
0
Suppose 4*c + 12*i - 14*i = 1224, 5*i - 1515 = -5*c. Suppose -17*f = -86 - c. Solve 0 = 4*m - 4, -4*o = o + 3*m - f for o.
4
Let j(h) = -4*h**2 + 14*h - 2. Let f be j(3). Suppose -5*b + 31 = -f*a - 3, -3 = -b - 3*a. Solve 2*p + 2*t - b = -2*p, -7 = 2*p - t for p.
-1
Let j be 34/4*(-3 + 5). Suppose -3*i + 35 = 5*f, 2*f + f + i = j. Solve f = -5*t - 11, -5*s - 7 = 4*t for s.
1
Let i(n) = -4*n + 36. Let c(g) = 4*g - 34. Let d(j) = 6*c(j) + 5*i(j). Let q be d(6). Solve q = w + u - 6, 3*w - u - 19 = -w for w.
5
Let q = -16167 + 16171. Solve -4*y = -q*f + 8, 3 - 4 = f for y.
-3
Let s(k) = -9*k**2 - 83*k + 179. Let x be s(-11). Solve 0*z - x*z - 26 = 5*w, -2*w = 3*z + 14 for z.
-2
Suppose 880 = -26*h - 1330. Suppose u = -2*u - 261. Let r = h - u. Solve -2*k + 2 = -2*g - r, g + 2*k - 1 = 0 for g.
-1
Let j = -31 - 37. Let x = j - -71. Suppose -x*k = -12*k + 81. Solve o - 9 = m + 5*o, 3*m + 3*o = -k for m.
-1
Let c be -11 + (1576/72 - -5) - 2/(-18). Solve 6*x - 2*g - 13 = 3*x, -x + c = -3*g for x.
1
Suppose -943 + 1493 = 110*x. Solve 3*h = -3*o - 3, -x*h = 6*o - 4*o - 4 for h.
2
Let h = 7976 - 7972. Solve -6*p - 25 = h*w - p, 4*p + 4 = 0 for w.
-5
Let q(c) = -c**3 - 44*c**2 - 66*c - 983. Let p be q(-43). Solve -39*y - p*d - 14 = -35*y, -5*d - 21 = y for y.
4
Suppose -4*l + 40 = 4*f + 8, l - 13 = 4*f. Suppose -m - 10 = 7*c - 11*c, c + 3*m = l. Solve -c*q + 6 = 4*j, 0*q + j = 2*q + 7 for q.
-2
Suppose 19*b + 11*b = -24*b + 162. Solve -x + 23 = 5*n - 2*n, -b*x = -6 for n.
7
Let k(v) = -v**3 + 10*v**2 - 21*v + 32. Let f be k(8). Let h(j) = -16*j - 118. Let l be h(f). Solve -4*z + 2*z = -t - l, 4*z = -3*t for t.
-4
Let l(w) = -9*w - 25. Let v be l(-5). Let h(b) = b - 4*b - 2*b - 7 - v. Let o be h(-7). Solve -4*c - f = -c + o, 4*c + 32 = 4*f for c.
-4
Let f be (-1 + -7)*(-3 - (-6)/(-12)*-4). Let k be 0/2*2/4. Suppose 4*p - 4*c = k, 0 = -p - 2*c + 6*c - 12. Solve -4*r + 2*z = 22, 4*r + r + f = -p*z for r.
-4
Suppose 5*c - 16 = c + 2*r, -3*c - r = -7. Suppose 0*k - 3*i - 168 = -3*k, c = i. Let a = -54 + k. Solve -2*j - 4*v = -2, 0 = -a*j - 5*v - 9 - 1 for j.
-5
Suppose -3*f + 0*f = -18. Suppose -3*r - r + x + 977 = 0, r + x - 248 = 0. Let d = r + -231. Solve 5*i - 2*a - d = 2*a, -2*a - f = -2*i for i.
2
Let s(n) = -3*n + 18. Let u be s(6). Suppose 0 = -8*w + 5 + 19. Suppose u = 2*o - 3*o + w. Solve -4 = -3*c + v, -6*c - 3*v - 12 = -o*c for c.
0
Let v(r) = r**3 + 11*r**2 - 55*r + 79. Let d be v(-15). Solve 7*a + d*i = 4*a - 2, 3*i = -a + 1 for a.
-2
Let a = 306 - 33. Suppose a = 6*n + 93. Solve -5*i = 5*m - n, -m = -5 + 3 for i.
4
Suppose 140 = -31*u + 91*u - 40. Solve -c = 5*x + 9, 4*c - u*c + 4*x = -7 for c.
1
Suppose 21*a = 10*a + 1430. Let v = a - 126. Solve -5*y - 25 = 0, -v*y = 2*c + 13 + 15 for c.
-4
Let h(x) = -x**2 - x + 46. Let j be h(0). Let s = 49 - j. Suppose 3*a = -s*a + 162. Solve -3*g + 2*b - 18 = -0*b, -5*b + a = -3*g for g.
-4
Let a be ((-1)/(-2))/(9/(-18)) + -49. Let z = a + 52. Suppose 0*v + 4*v + 3 = -r, -24 = -4*r + z*v. Solve 4*g + 16 = 4*f, -2*f - r = 2*f + 3*g for f.
1
Let g be 10 + 7/2 + (493/(-34) - -4). Solve -2*r = -4*c - 6, 1 = 2*c + g*r + 24 for c.
-4
Suppose 13*k - 41 - 11 = 0. Suppose -2*o - 32 = 5*x, 0*o - 34 = 5*o + x. Let t be (-3 - 3)*16/o. Solve -3*y + 12 = -3*q - 3, -2*y = -k*q - t for y.
2
Let i(n) = -15*n + 505. Let h be i(33). Solve -v - 19 = -4*q - 2, 0 = -5*v + 5*q - h for v.
3
Let z = -137 - -139. Suppose -z*y - 3*r + 7 = 0, -5*r + 0*r = 3*y - 10. Solve 0 = 2*n + 2*n - p + 2, -5*n + y*p - 10 = 0 for n.
0
Let q be (3 - 5) + 1 + 5. Suppose -10*y + 24 = -q*y. Solve 5*l + 12 + 5 = -y*h, -3*h + 11 = -l for l.
-5
Let i = -19278 + 19278. Solve 4 + 6 = -5*f + p, i = -5*f - 5*p - 10 for f.
-2
Let z(g) = -g**3 + g**2 + 20*g + 2. Suppose -4*n + 2*p + 10 = 0, n - 5*p + 31 = 11. Let j be z(n). Solve 0 = 2*c + 2, -3*c = -j*m + 1 - 8 for m.
-5
Suppose -10285*y + 117 = -10246*y. Solve -y*m - 2*m = -4*i, -4*m + 3*i = 0 for m.
0
Let x(b) = 35*b + 250. Let v be x(-8). Let d = v + 32. Solve -d*a = -0*n + 2*n, 3 = 4*a + 3*n for a.
3
Let h(b) = b**2 - 21*b + 59. Let o be h(3). Suppose 8 = q + 3*q. Let r = 101 + -98. Solve o*g + 5 = -3*c, 3*c = -q*g + r*g + 1 for c.
0
Let f be -4 + -5 + -5 + 3 + 2. Let l be (f + 24)/(6 + -5). Solve g = -3*i + 5, 2*i - 4*i - l = -3*g for g.
5
Let g be 490/(2 + (-5 - 0) + 5). Let u = g - 236. Solve 4*b + 20 = -k, 5*b = u*b + 16 for k.
-4
Let p = -1080 - -1082. Suppose w + 0 = 1. Suppose 5*g = 5*y + 55, -g + p*y + 5 = -w. Solve 3*j + 4*i = -11, -4*i - g = 4*j - 4 for j.
-1
Suppose -3*t - 77*t + 846 = 61*t. Solve 3 = -r, -17 = z - 2*r + t*r for z.
-5
Let h = -558 - -385. Let a = h + 176. Solve d - a = -n, 3*d + d - 14 = -5*n for d.
1
Let x(u) = u**3 + 5*u**2 - 11. Let t be x(-4). Suppose 0 = t*c - 3*c - 10. Let y be 56/126 - 8/18. Solve -5*a + 0*n + n + 21 = y, 0 = -c*a - 3*n + 37 for a.
5
Let b(z) = -z**3 + 51*z**2 - 187*z - 28. Let p be b(47). Solve 3*t - 3*o + p = t, 5*o = -2*t + 21 for t.
-2
Suppose 0 = -28*o + 30*o + 8. Let m be (0/(o + -1))/2. Solve -g = f, 0 = 5*f + 3*g - m*g - 10 for f.
5
Let o be -222*(-10)/780 - (-8)/52. Solve -5*z = -25, o*f - 21 = f - 5*z for f.
-2
Let y(g) = -g**2 + 5*g + 271. Let d be 6 - (9 + (12 - 1)). Let l be y(d). Solve -3*f - 14 = 2*a, 5*f + l*a + 24 = -6 for f.
-2
Let v be 8/(-12) + 82/6. Suppose -4*o + 15 = 10*k - v*k, -5*o + 3*k = -15. Solve -5*a = -5*q, o*q + 4 = -2*a + q for a.
-4
Let s(h) = h**2 + 71*h - 295. Let i be s(4). Solve -14 = -3*l + 10*o - i*o, -19 = -5*l + 4*o for l.
3
Suppose -11 = 3*p + 4*y, -3*p + 505 = 