= a*h - 10, 0 = -3*x - 5*h + 10 for x.
0
Suppose 5*f + 2*l = 4, -3*l + 47 = -2*f + 60. Suppose -4*p = -0*p - 12. Suppose 4*u - p*u = 3. Solve -3*x + y - 3 = -f*y, -2*x + u*y = 7 for x.
4
Suppose -3*q + g = -4*g + 66, 9 = -3*g. Let f = 82 + -97. Let b = f - q. Solve -3*k = -2*h - b, -2*k - 2*k + 16 = -h for k.
4
Suppose -w = -5*w + 12, -4*u = 5*w - 27. Suppose -9*y + 264 = 2*y. Solve -5*a - y = -s, -14 = -a + u*a + 4*s for a.
-5
Let v(i) = i**2 + 9. Let q be v(0). Suppose -16 = -4*x - 4. Suppose 4*w = 4*b + 8, -2*b + 3 + x = 0. Solve 0 = 7*m - 3*m - s + q, w*m + 4*s - 15 = 0 for m.
-1
Suppose -5*a + 6 = -3*y, -2*a + 3*y + 8 = -y. Let w = 16953 - 16950. Solve w*q - m = -0*m + 14, a = q + 3*m + 12 for q.
3
Let q be (174/(-290))/((-252)/250 + 1). Let d = q - 57. Solve 0 = -4*p + 2*j - d, 4*j - 10 = -2*p - 3*p for p.
-2
Let p = 34 - 73. Let l = p + 34. Let k be 2 - (-2 - -2)/l. Solve -5*d + 2*s + 36 - 1 = 0, 0 = k*d + s - 5 for d.
5
Suppose 54 = 17*q - 11*q. Suppose -2*l + 23 = 3*o, 4*o + q*l - 4 = 13*l. Solve o*d + 9*r - 20 = 4*r, 28 = -3*d + 5*r for d.
-1
Let t be (-6)/(-34) + 7595/4165. Solve 3*x - 5 = -17, 5*b - t*x = 8 for b.
0
Let y(u) = 11*u + 343. Let z be y(-31). Solve 8*r - 3*r - 1 = -3*x, -z*x = -5*r + 16 for r.
2
Suppose 3*c - 5 = -2*o + 7*o, o + 1 = 0. Suppose 3*w + 3*a = 45, -a + 32 = 3*w - w. Suppose k - 20 = -w. Solve -k = -u + 5*v, 0 = -c*v - 2*v for u.
3
Suppose -2*n = 2*v - 47 + 3, 2*n = -3*v + 69. Solve 5*j - 2*i + v = 0, 2*j - 31 + 41 = 4*i for j.
-5
Suppose -9*m - 5*m = 4*m - 288. Solve 3*v - m = 2*k + 8*v, 8 = -2*k - v for k.
-3
Suppose 465*g - 927*g + 7 = -455*g. Let c be 3 - 1*0/2. Suppose 3*x - g = -5*y + c, 3*x - 12 = 3*y. Solve x*p = 9, 5*v + p - 3*p = -11 for v.
-1
Suppose 7 = -d + 10. Suppose -p = -4*p - 2*r + 10, d*r = 15. Suppose 3*y + 13 - 19 = p. Solve -4*i + 4*g - 2 = -2*i, 0 = -y*i + 3*g + 1 for i.
5
Let y = 3631 + -3624. Solve 3*x = 5*g - 10 - y, -5*x - 25 = -5*g for g.
1
Let w be 5370/45 + (-1)/3 + 1. Suppose 7*p - 9*p = w. Let f = -55 - p. Solve -4*o - f*x = -0*o - 15, -o + 9 = -4*x for o.
5
Let i be 2 + -6 + (3 - -1). Suppose -12*a + 71 + 109 = i. Solve g - 3 = 5*p - 1, 0 = 3*p + 4*g + a for p.
-1
Suppose 0 = -24*x + 27*x + 181*x - 2576. Solve -3*n = b + 11, -33*b + 35*b + 2*n = -x for b.
-5
Let z(m) = 16*m + 200. Let t be z(-12). Suppose 3*k = 4*o - 5 + t, -2*o - 14 = -4*k. Solve -4*b + 22 = 7*w - 2*w, k*b - 19 = -2*w for w.
2
Let c = -6 + 9. Suppose -r = 103 + 116. Let l = 230 + r. Solve 4*p + 5 = -c*h, 1 = 3*h + 5*p + l for h.
5
Let t(d) = 220*d + 6604. Let f be t(-30). Solve -f*q - 2*w = -0*q - 22, 5 = 5*w for q.
5
Suppose -134 - 91 = -75*o. Solve 5*b = l - 13, b + l - o = 4*l for b.
-3
Let j(o) = -5*o**2 + 2*o - 1. Let y be j(-3). Let k = y + 64. Suppose -g + k - 5 = 0. Solve -25 = -5*h + 5*t, t + 2*t + g = -h for h.
2
Let o(t) = -t + 2. Let x be o(-1). Suppose 69*b - 14 = 68*b. Suppose b*k - 5*g = 15*k - 19, 2 = 2*k - 2*g. Solve 4*p + l = x + 8, -k*p + 4*l = -36 for p.
4
Suppose 5*a - 5*f = -35, -3*a + f = -8*a - 5. Let u be a - 3*(15/(-9))/1. Let m be (1 + (1 - 2))/(u - 2). Solve 5*d + 5*r = 40, 0*d + 4*d - r - 12 = m for d.
4
Suppose -418 = 3*n + 3*d + 44, -154 = n + 4*d. Let j be (-11)/(n/60) + 2/(-7). Let l be 12/(-30) - (-54)/10. Solve -5*h + 10 = -2*b, -b - 3 = -j*h + l for h.
2
Let s(l) = 2*l**2 - 4*l - 2. Let a be s(-1). Suppose d = -4*h + 8, -2*h - 6 = a*d - 10. Solve d = q - 3*u - 2, 3*q = u + 1 - 3 for q.
-1
Let p be (-1037)/(-244) - (-2 + 3)/4. Suppose -4*m = 13 + 11. Let a be m/(-33) + (-291)/(-33). Solve j + p*b = 2*b, 0 = -2*j + 5*b - a for j.
-2
Let z be (-2844)/2212 + 214/14. Solve 14 = z*p - 9*p + a, 2*a - 16 = -4*p for p.
2
Let a = -8507 + 8507. Solve -3*n + 4 = 5*f - 22, 5*n - f - 6 = a for n.
2
Suppose -o + 2*f = 5, 201*o + 2*f = 196*o + 23. Solve 24 = -5*r - 1, 12 = -o*z - 3*r for z.
1
Let z(a) = a**3 + 10*a**2 + 9*a + 4. Suppose 3*s = d + 4 + 17, 2*s = 8. Let h be z(d). Solve y = -y + x + h, -y - 4*x = -11 for y.
3
Let f = 8 - 4. Suppose 0 = 5*g + 5*p - 55, -50*p + 18 = -47*p. Solve 4*m = g*s - 28, -m = -s + f*m + 14 for s.
4
Let j be (-102)/(-48) - (-2)/(-16). Solve -8 = j*o + 2*l, 26*o + 3 = 25*o - 2*l for o.
-5
Let n(j) = -j - 7. Let i be n(3). Let s = -23 - -48. Let r = i + s. Solve 4*l + f = -13, -f - r = -5*l + 4*f for l.
-2
Suppose 60*a = -12*a + 672 + 1704. Solve 4*r = -u + 48 - a, 0 = 5*u + r + 1 for u.
-1
Let y = -4840 + 4840. Solve 0 = -3*r - 13*m + 14*m + 2, m + 5 = y for r.
-1
Let x be (10 - (24 + -16)) + 8/(1/1). Solve 23*t - 18*t = -10, -w + 3*t = -x for w.
4
Suppose 2*k = 2*q - 2, 8*k - 6*k + 4*q - 16 = 0. Solve -3*w + 3*n = -9 - 12, -7 = -5*w - k*n for w.
3
Let n be (-1)/((1/1)/(-61)). Let d = 89 - n. Let g = 33 - d. Solve -2*b = -5*i + 3, 5*i - 10 = -0*i - g*b for i.
1
Let n be 8/10 + (-2587)/65. Let c = n + 42. Solve -5*l + t - 17 = -l, l + 14 = -c*t for l.
-5
Let n(g) = -g**3 - 2*g**2 + 24*g + 2. Let a be n(-6). Suppose 2*q - 6 = 5*r, -a*r = -4*r. Solve -5*s = -3*i - 2*i + 15, 5*s = -q*i + 1 for i.
2
Let t be 3/((-5)/(-3 + -2)). Solve -3*o = f + 5, 2*f + t*f - o + 25 = 0 for f.
-5
Let h be (30/(-22))/(978/(-3586)). Solve 8*d + 14 = h*g + 6*d, -5 = -2*g + d for g.
4
Let l = -64 + 103. Let f(k) = k**2 + 3*k + 8. Let j be f(4). Let v = l - j. Solve 3 = 5*y - 3*r - 2, v*y - 3*r - 9 = 0 for y.
-2
Let s = 280 + -268. Suppose 17*w - s*w + 5 = 5*i, -3*i + 2 = -2*w. Solve c - 4*x = i, 11 = 3*c - c + 3*x for c.
4
Let m be -10 + 4 - 24/(3 - 5). Solve -g = 4*f + 21, g - 8 - m = 3*f for f.
-5
Let x = -1873 - -1891. Solve o = 5*a + 19 - 1, 3*o + 3*a = -x for o.
-2
Suppose 3780*k + 17 = 3797*k. Solve 5*o + 3*z = 5, -7*z + 12*z + k = o for o.
1
Suppose 31*l - 380 = 147. Let n = 275 + -272. Solve l = -y + 5*s - 0*s, 0 = 4*y - n*s for y.
3
Let x = 27 + -44. Let k(d) = 14*d - 7*d**2 + 22*d**2 + d**3 + 3*d**2 - 34. Let w be k(x). Solve 0 = c + 3*b + w, -2*c + 3*c + 22 = -4*b for c.
-2
Let o = -35 - -44. Suppose o*y = -9*y + 252. Solve -4*z = -2*i + y, -i + 4*z - 4 = -13 for i.
5
Suppose -6*t + 69 = 57. Solve b - 3 + 4 = 3*x, t*b = -4*x - 2 for x.
0
Suppose -2*a - 9*r = -7*r + 6, 5*a = 5*r + 45. Solve -14 = -9*x + 10*x + 4*c, -2*c = a*x + 2 for x.
2
Suppose 2199*l = 1093*l + 1095*l + 176. Solve 4*a = 2*m + 2*m + l, -16 = -4*a - 2*m for a.
4
Let b(k) = k**2 - 47*k - 2413. Let q be b(78). Solve 28 = -q*i + n, -2*i - 16 = -n - 3 for i.
-5
Let a(q) = -3*q**2 - 350*q - 562. Let v be a(-115). Solve -3*i - 9*t + 21 = -6*t, -i = -3*t + v for i.
2
Suppose -5*q + 29*o - 10 = 31*o, 3*q - 4*o = 20. Suppose -2 = 2*a + 2*s - 6, q = -4*s - 12. Solve 2*c = -5*z + c + 30, 0 = 5*z - 4*c - a for z.
5
Let x be (10/(-4))/(6/(-84)). Let b = -35 + x. Suppose -1 = s - 3*w, b = s - 5*s - 2*w + 10. Solve 0 = -0*i + s*i + 4*f, 0 = 5*i - f for i.
0
Let g = -2177 + 2180. Let v(d) = 2*d + 25. Let a be v(0). Suppose 2*o = -3*j + 6*o + a, -4 = 4*o. Solve -g*n + 4*z = -14 - 4, -n - 3*z = j for n.
2
Suppose 237*m - 92*m - 725 = 0. Solve 5*r + 2*f - 20 = 0, 4*r + 7*f = m*f + 18 for r.
2
Let a(l) = l**2 + 6*l - 6. Let o be a(-8). Suppose -o - 8 = -3*i. Let t be (7 - 10)*2*(-1)/3. Solve -i = 5*r + 2*j, -t*r - j + 5*j - 12 = 0 for r.
-2
Let f(p) = -6*p - 3. Let t(k) = 7*k + 2. Let h(c) = 5*f(c) + 4*t(c). Let w be h(-6). Suppose -2*j = w - 15. Solve -25 = 5*m, -l - j*m = -0*m + 25 for l.
0
Let k = 45285 + -45282. Solve 3*q + 2*q - 9 = -6*w, -2*w - 1 = k*q for w.
4
Let t = 196 - 411. Let j = t + 215. Let p = 2 - 2. Solve j = 4*c - p*c + 3*m + 8, m - 4 = 0 for c.
-5
Let z = 56 - 56. Suppose 2*t - 8 = -z*t + 2*j, -5*j - 4 = -t. Let k be (-616)/(-120) - t/30. Solve -k*d = -b + 14, -d + 2*d + 2*b + 5 = 0 for d.
-3
Suppose -4*o + 4 = 2*b, -160*b + 162*b + 3*o - 3 = 0. Solve b = -5*k + 4*i + 25, -5*i - 12 = 13 for k.
1
Suppose -3*u - 290 = -2*q, -127 - 164 = 3*u - 3*q. Let g = u - -96. Solve 2*j + 5*l - 25 = g, -j = -l + 3*l - 10 for j.
0
Let m(o) = -o**2 + 25*o - 64. Suppose -3*u + u = -4*j + 84, 4*j - 5*u - 78 = 0. Let w be m(j). Solve 3*n - 22 = -5*y, -2*n + w*y - 16 = -4 for n.
-1
Suppose w + 96 = -103*z + 108*z, -5*z + 3*w + 88 = 0. Solve 4*j + z = t, -5 = 2*j - t + 5 for j.
-5
Let w(s) = 175*s - 1922. Let c be w(11). Solve -3*f + 2 = -4*y - c, -5*f - y - 7 = 0 for f.
-1
Suppose 0 = -3*x - 3*k + 60 - 18, x - k - 6 = 