 + 11, -3*a - 3*c - 17 = c for a.
-3
Suppose 5*t + 22*x - 21*x - 25 = 0, -x = -5. Solve -6 = -t*z - 2*l, -4*l + 10 + 2 = 0 for z.
0
Let k(q) = 182*q**2 + 2*q. Let s be k(1). Let p = s - 182. Solve 3*l + 2 = 3*i - p*l, l = -1 for i.
-1
Suppose -x + 163 = -5*c, -14*c + 326 = 2*x - 10*c. Let z = -159 + x. Solve -5*g + 16 = -4*w, -w + z*w - 3*g = -12 for w.
-4
Suppose 0 = -5*u - 2905 + 505. Let m = 482 + u. Solve i = f - 3 - 0, -m*f = -i - 5 for i.
-1
Suppose 4*w - 160 = -0*w. Suppose -3*t - w = -8*t. Suppose -5*p = 4*l - 35, 8*l = -4*p + 13*l + 28. Solve -p = -k - 4, 2*c + 2*k = t for c.
1
Let p(q) = -4*q + 7. Let k be p(-8). Let i be 2/(-5) + k/(-15). Let g be i/(-2)*130/39. Solve -34 = -3*o - g*u, u + 1 + 9 = 5*o for o.
3
Let j(x) = x + 47. Let r be j(-11). Let u be r + 1 - (-11 - -13). Suppose 4*h - 51 = -u. Solve 12 = -h*i - 5*z, 0 = 4*z - z + 12 for i.
2
Let i = 2 + 8. Suppose 0 = -i*z + 27*z. Solve 0 = -2*b - h + 4*h + 1, -4*b - 5*h - 9 = z for b.
-1
Let a(k) = -k + 3*k**2 + 5 + 0*k + 3 - 4 - 4*k**2 + k**3. Let r be (0/(-2))/(2 + -3). Let u be a(r). Solve -5*x + 32 = -i + 4*i, -x + 20 = u*i for x.
4
Suppose 238 = -1749*i + 1766*i. Solve -g = -16*t + 20*t - 4, 0 = -t + 3*g + i for t.
2
Let t = -768 - -771. Let b be (-18)/4*(-2)/1. Suppose 7*r = -5*r + 180. Solve -m = -t*m + 5*l + b, -2*l - r = 3*m for m.
-3
Let a(w) = -w**3 + 3*w**2 + 51*w + 3. Let h be a(-6). Suppose 4*r - 13 = 3*i, -12 = 2*r + i - h. Solve j = 5*z - 4*j, 0 = -r*z - 4*j - 8 for z.
-1
Let l(o) = -70*o + 140. Let g be l(2). Solve 10 = -s + 5*j - 8, g = -s - j for s.
-3
Suppose 3*p - 4*p - 365 = 0. Let c = p - -369. Solve -20 = 4*k, 0*k = -c*f + 2*k + 14 for f.
1
Suppose -14*b + 57 = -11*b. Suppose -4*k = -b - 101. Let g = k + -27. Solve -5*c = o - 5, 0*o - o - 4*c = -g for o.
-5
Suppose l + 24 = -4*h + 105, 0 = -3*l + 2*h + 187. Let p = l + -97. Let a be -2*(-2)/4 - (p + 31). Solve -a = -2*u, 2*v - 5*u = 4*v + 5 for v.
-5
Let o be 48/26 + 36/234. Let l = -458 - -466. Solve v = 4*k + 16, 5*v + 0 + l = -o*k for v.
0
Suppose 0 = -2*a + 7*d - 3*d + 4, 5*d + 10 = 5*a. Suppose 6*n - 8 = -a. Let m = -11 - -13. Solve -m - n = i - v, -v = -4 for i.
1
Suppose 0*f - 3*f = -59*f + 560. Solve 3*w - 1 = -z + 17, 2*w = f for z.
3
Suppose 0 = -224*b + 229*b - 55. Suppose -b*f + 0*f = 6*f. Solve f = -v - 4*v - 3*s - 17, -4*s - 16 = 5*v for v.
-4
Let y(c) = c**3 + 133*c**2 + 3*c + 3. Let p be y(0). Solve -i = p*z + 12, 2*z - 7*z = -5*i + 40 for z.
-5
Let u be (124/(-8) + -2)*-2. Let z = u - 47. Let l = z + 13. Solve -3*a - 9 = -s + l, -2*a - 5 = s for a.
-3
Let v be (3/4)/(3/16). Solve 6 = -v*y - 5*c, -y + 4*c = 3*y - 12 for y.
1
Let t = 5232 + -5219. Solve -4*b = 2*r + t - 29, b = -r + 3 for r.
-2
Let m = -4805 - -4808. Solve -4*k = 4, -m*k = 5*q - 11 + 34 for q.
-4
Suppose -4*z = -19*z - 435. Let l be (-15)/(-6)*-2 - z. Suppose -4*i - 12 = 4*c, 0 = -i - 3*i + 4*c + 28. Solve -2*y + l = y + 3*o, 4*o = -i*y + 26 for y.
3
Let q be ((-2 + -26)/(-4) - 5)*14. Solve 2*m + 3*k + 9 = 0, -29*k + q*k = -3*m + 3 for m.
0
Suppose -5*d - g - 15 = -24, -3*g + 5 = 4*d. Solve -3*l - 3*h - 9 = 0, -11*h + 15*h + 6 = d*l for l.
-1
Suppose 21*t - 24*t = 3. Let v be t*1/2*(18 - 76). Solve -19 = 3*c - j, 8*c - 3*c - j = -v for c.
-5
Let m(s) = 141*s**3 - 4*s**2 + 3*s. Let w be m(1). Suppose 40 = -20*t + w. Solve t*k - 4*d - 19 = -7*d, 4*d = 2*k + 8 for k.
2
Let c be (12/32)/3*32. Solve 7 = 4*x + j, -2*x - c*j = -7*j + 7 for x.
1
Suppose 0*t - 5*t + 30 = 0. Suppose 0 = -t*w + 25 - 1. Suppose 22*m + w = 24*m. Solve 0 = -2*k + m, 0 = 5*d - 6*d + 4*k - 9 for d.
-5
Let r be (9/(-2))/((-3)/8). Let m(d) = 46*d**2 + 738*d + 34. Let c be m(-16). Solve -c*p - 2*l - 6 = 0, -4*l - r = -5*p - 0*p for p.
0
Let n(k) = -2*k + 30. Let x = -71 - -71. Suppose 2*s - 3*y - 27 = -s, 3*y - 9 = x. Let q be n(s). Solve -4*u + 4*l - 4 = 0, -2*u - 5*l + 25 = q for u.
2
Let c be ((-12)/(-168))/((-6)/(-336)). Solve -13*a + 16*a - c*t = -20, t - 2 = 0 for a.
-4
Suppose -1572 = -2*g + 5*s - 14, g - 779 = s. Let c = g - 777. Solve z - 4*w = -21, -z + 2*w = c*z + 23 for z.
-5
Suppose -3*g - 124 + 145 = 0. Suppose 450 = 3*v + g*v. Solve -35 = 5*h - 2*j, 0 = -4*h + 4*j + j - v for h.
-5
Suppose -j = 3*j - 3*a - 729, -3*j + a = -543. Suppose j = -6*x + 2*x - 5*r, 2*r = 0. Let y = x + 47. Solve 4*q - q = -2*l - 10, -5 = l + y*q for l.
-5
Let c(m) = 3*m**3 + 24*m - 50. Let a be c(2). Solve -10*j + 7*j - a = 5*s, 26 = j - 5*s for j.
1
Let y = -205 + 207. Suppose 0 = -4*j - 0*j + 4*z, 4*j - 4 = y*z. Solve -j*r = 4, 7*r + 2 = 4*m + 4*r for m.
-1
Suppose 21*b = 4*s + 16*b - 2, 3*s - 11 = -b. Solve 3*d = 3*f, -3*f - 18 = 2*d - s for d.
-3
Let l = 8242 + -8213. Solve v - l*r - 32 = -24*r, 0 = 3*v - 2*r - 5 for v.
-3
Let h(g) = -3*g. Let y be h(0). Suppose y*b + 4*b - 2*o = 12, -5*b + 21 = -o. Suppose -b*p = 6*p - 22. Solve -2*d + 3*i + 1 = 0, -5*d + p*i = -d - 14 for d.
5
Let v be (-9 + (18 - 8))*13. Solve 0 = -3*r + 2*m + 22, -5*r + 9*m = v*m for r.
4
Let b(i) = -i - 12 - 3*i - 2. Let l be b(-7). Suppose -2*c = 3*s - l, 2 = -c - c + 5*s. Solve 5*r - 3*a - 28 = 0, -3 = -2*r - c*a + 3 for r.
5
Let q be (-588)/(-1372) + (-1)/(14/(-610)). Suppose q = n + n. Solve 4*g - 3*w + 15 = -4*w, 5*g + n = 2*w for g.
-4
Let q = -34970 - -34973. Suppose 17 = 4*a - 19. Suppose k + 3*u = a, 0 = -2*k - 2*u + 17 - 3. Solve -2*x + q = 5*r, -2*x - 4*r = -k*x + 20 for x.
4
Let q(v) = 155*v**2 + 1549*v - 3. Let f be q(-10). Solve -2*x - o + f = 0, -28 + 8 = -x + 5*o for x.
5
Let x = 3059 - 3059. Solve -2*u + 5*n = 4*n - 4, x = u - 4*n - 2 for u.
2
Let s(l) = -10*l**2 - 2*l**3 + 2*l**2 + 12 + 4*l**3 - l**3 - l. Let f be s(8). Suppose 0 = -f*i + 1 + 7. Solve -4*u + d = 3*d, i*u - 8 = d for u.
2
Suppose -103 - 5 = -36*v. Solve -v = q + 2*u, 10*q - 6*q + 3*u = 8 for q.
5
Suppose -362 + 146 = -12*d. Solve 0*x + 5*n = 2*x - 1, 5*x + 3*n - d = 0 for x.
3
Let v(j) = -5*j**2 - 19*j - 203. Let y(b) = -b**2 - b. Let g(c) = -v(c) + 6*y(c). Let f be g(22). Solve 25 = -2*h + 7*h + d, -f*d + 9 = -4*h for h.
4
Let m(x) = -705*x - 4932. Let r be m(-7). Solve r*n - 3 = 3*s, 2*s + n = -23 + 27 for s.
1
Let s(b) = 8*b + 1152. Let j be s(-144). Solve -3*m + 3*c = j, -73*m = -76*m - 3*c - 30 for m.
-5
Suppose -4*o + 130 + 90 = 0. Let v = o - 53. Let n be (3/(-6))/((-2)/16). Solve 5*u = n*g + 22, v*g + 12 = 4*u - u for g.
-3
Suppose -12 = 15*a - 12*a. Let f = 0 + -1. Let u = f - a. Solve -4*j + 5*y = -13, -3*j + u*y = 7*y + 29 for j.
-3
Suppose 9*c + 787 = 508. Let a(b) = 16*b - 1. Let l be a(-2). Let t = c - l. Solve 5*g - 22 = -3*y - 0*y, -t*y + 23 = 5*g for g.
5
Suppose -3*u + 8 = u. Let a be 676/34 - (-6)/51. Let m be (35/(-21))/(a/(-48)). Solve u*v = 3*l - m + 9, -3*l = v + 20 for v.
-5
Suppose 220 - 504 = -71*j. Solve 0 = h - 1 - 3, -4*z = -4*h + j for z.
3
Let g(y) = -y**3 - 2*y**2 + 3*y + 7. Let p be g(-3). Suppose -15*j = -p*j - 16. Solve -5*a + i = -i - 2, -j*a + 4*i = -4 for a.
0
Let c = -1469 + 1482. Suppose -12*g = 15*g - 81. Solve -3 = -t - h, -g*h = 5*t - c - 6 for t.
5
Suppose -6 = -2*d - 3*k + 10, -5*k + 14 = -3*d. Let m be 28 - d*7/14. Solve 7*u - 2*u - s = m, -2*u - 4*s = -2 for u.
5
Let y be (-1)/(1/(-2)*(-112 - -113)). Solve -7*d = -3*c - 5*d + 8, -4*d = c + y for c.
2
Let z = -68 + 109. Suppose -64 = 37*y - z*y. Suppose y*s - 11*s = 10. Solve 0 = s*r - u + 12, -3*r = 4*u - 9*u + 25 for r.
-5
Let l(v) = -v**2 + 12*v + 14. Let c be l(7). Let k = -57 + c. Let o be (-144)/(-54)*(-6)/k. Solve -3*u - 9 = -0, 0 = -x - 2*u - o for x.
4
Let r be ((-2 - -2) + 0)/1. Suppose l + 21 = 5*d - 3, 2*l = 3*d + 1. Solve 0 = -a + 3, r = -2*x - 2*a + 5 + d for x.
3
Let s(a) = -a**2 - 6*a + 4. Let z be s(-6). Let j = -240 + 130. Let h = j - -128. Solve 4*n - 3*t = -t + 18, -z*t = n + h for n.
2
Suppose -21 = -3*f - 3*x, -4*f + x = -6*f + 9. Solve -7 = -4*h - 2*a - a, 3*h - 5*a + f = 0 for h.
1
Let d(y) = -2*y**2 - y + 1. Let v be d(1). Let m(i) = -3*i - 2. Let j be m(v). Let k = 40402 - 40397. Solve -k*s - j*q + 34 = -q, 4*s = 3*q + 11 for s.
5
Let q(x) = 432*x + 3834. Let m be q(-9). Let y = -11 + 68. Let v = y + m. Solve -27 = -4*o - 3*g, -1 = v*o - 5*g + 3*g for o.
3
Let h be ((-6)/8)/((-6)/360). Suppose 195*d + 4 - 22 = 186*d. Solve 10 = -d*m + 5*r, -5*m - 5*r + h = -0*r for m.
5
Let h = -102 