 + 11, 4*a = -g - 1 for g.
3
Let i be ((-102)/(-51))/(1/8). Suppose 186 = i*a - 38. Solve 0 = t - 2*u - 6, -t - 5*u - a = -3*u for t.
-4
Suppose m + 4*f = -5, 5*f + 9 + 16 = 5*m. Let l be 3/(-6)*5 - (-2)/4. Let o(a) = -2*a - 4. Let x be o(l). Solve -4*w - 24 = 4*j, x*j = m*j - 2*w + 8 for j.
-4
Let h(b) = -b**2 + 390*b + 2782. Let g be h(-7). Solve 0 = -5*v - 4*j - 3, -g*v - 2*j + 1 - 2 = 0 for v.
1
Let v = 34 - 28. Let x = -55 + 81. Let m = x - 22. Solve 2*p = s - v, -p + 3*p - 14 = -m*s for p.
-1
Let i = 339 - 334. Let m = -5 + i. Solve -3*b + 4*p = -5*b - 18, -3*b - 4*p - 19 = m for b.
-1
Let h(y) = y**3 - 4*y**2 + 6*y - 2. Let n = 144 - 142. Let i be h(n). Solve 4*g + 3 = g - i*a, 4*a + 13 = g for g.
1
Let v(g) = -54*g**3 - 8*g**2 + 2*g + 9. Let k be v(-1). Solve 5*i - 40 = m - k, 4*m = 5*i + 7 for i.
-3
Let t be 10/25 - (-162)/45. Suppose t*k + 13*k = 0. Solve k = 4*m, 3*c - 2*m + 6 = 3*m for c.
-2
Let r = 76 + -12. Let v = r - 51. Solve -u - 5 = -h, 0 = -3*h - 0*u - 4*u - v for h.
1
Let n = 347 + -257. Let m be n/(-105)*(-14)/3. Solve -3*r + 26 = -m*w, r + 13 = -4*w + w for w.
-5
Suppose 0*p = 3*p - 0*p. Solve -y + 3*k - 72 = -67, -5*k = p for y.
-5
Let p = -6372 + 6379. Solve 12*q + 7 = 3*f + p*q, 3*f + q + 5 = 0 for f.
-1
Let b = 340 + -329. Suppose 16 = -4*g + b*n - 7*n, -3*g + 2*n = 8. Solve -3*l + 6*l = g, -3*l = -p - 3 for p.
-3
Let r = -21159 - -21179. Solve 0 = -i - 4, 35*i - 37*i - r = -4*t for t.
3
Let h be (0/(-2))/(17/((-85)/(-10))). Suppose 0 = -3*x + 4*i + 9, h = 3*x - i - 0*i - 9. Solve s - 2 = 5*u + 2, -3*s - x*u = 6 for s.
-1
Let n = 1781 + -1777. Solve h + x - 9 = -13, 5*h + 21 = -n*x for h.
-5
Let f = 700 + -547. Suppose -f*t + 142*t = 0. Solve 5*d - 5 = t, -3*g - 6*d - 4 = -d for g.
-3
Suppose -g + 3*k = -38, -41*k = -39*k + 10. Solve -u + 4*u - 12 = -b, -b + 4*u - g = 0 for b.
-3
Let k(l) = -l**3 + 13*l**2 - 6*l - 42. Let h be k(13). Let i be (-5)/h*8*9. Solve -4*d - i*c = 11, 3*d + 9 = -c - 3 for d.
-5
Suppose 0 = -4*d + d + 4*d. Suppose -x + 11*x + 120 = d. Let y be 3/(-4)*80/x. Solve -r - 4*b = y, -2*b + 4 = 2*r + 2 for r.
3
Suppose -p + 20 = 3*b, 14 - 1 = 2*p - 3*b. Solve -c - l + p = 3*c, -4*l + 8 = -2*c for c.
2
Suppose 5*c - 290 + 55 = 0. Let d = 41 - c. Let s be (3/(-2) + 0)/(d/16). Solve -x + s = k, -x - 4*k + 3 = -1 for x.
4
Let r(a) = -a**3 - a**2 + 20*a + 3. Let n be r(-5). Suppose -n*j + 8 = j. Solve -2*b = -3*y - b - 4, -14 = 5*y + j*b for y.
-2
Suppose -2*y = 2*k - 16, -k - 5*y = -y - 17. Suppose 207*a - 279*a + 89 = -55. Solve a*n - 4*z = -z - 17, -26 = n - k*z for n.
-1
Let w(g) = -g**2 - 21*g + 400. Let u be w(12). Solve 11*v = -n + 9*v + u, 4*n = -3*v + 11 for n.
2
Let a = -404 + 395. Let g be (-24)/a + 52/156. Suppose 4*f - 5*f = -4*n + 22, 10 = 4*n + 5*f. Solve 0 = n*h - g*u + 17, -13 = 4*h - 2*h + 5*u for h.
-4
Let q(b) = b**2 + 63*b + 239. Let m be q(-59). Solve -12 = -4*o - m*g, -2*o = -3*g - 6 - 0 for o.
3
Let j = -6 + -15. Let f be 10/4 - j/42. Solve f*p = -x - 11, 2*x = 3*p + 4*x + 10 for p.
-4
Let w = 78 + -63. Suppose 7*f = 2*f - w. Let p(h) = -h**3 - 3*h**2 - 3*h - 4. Let s be p(f). Solve 0 = -3*y + s*c - 27, -y + 4*c - 16 = -0*y for y.
-4
Let d(f) = -4*f + 0*f**3 + 15*f + 5*f**2 + 8*f**3 + 20 - 7*f**3. Let z be d(-3). Solve -4*j + 17 = g, -g = -0*g + j - z for g.
1
Suppose 0 = 364*q + 360 - 1452. Solve -3*x + 18 = 3*d, -183*x + 3*d - q = -181*x for x.
3
Let v = -4 + 9. Let n = 28053 + -28048. Solve 5*g + 5*x + n = 0, -2*g + 2 = 5*x - v for g.
-4
Suppose -x + 1 = 4*n, -401*n + 397*n - 9 = -x. Solve 3*h = x*s - 0*h - 5, 4*s + 5*h = 4 for s.
1
Let t = -3230 + 3233. Solve 5*w - 3*s - 7 = 0, -t*s - 18 = 2*w - 4 for w.
-1
Suppose -7*l + 240 = 8*l. Let m be 1*9 - (l - 10). Solve 0 = -c - w + 2 + 2, -20 = -m*c + 5*w for c.
5
Suppose 61*o + 3*k = 56*o - 2, -k - 6 = -o. Solve 2 = 11*s - 7*s - 3*d, 5*d = -o*s + 14 for s.
2
Let h be (0*(35/(-10) - -4))/2. Suppose 5*m - 5 = h, -2*m + 18 = 3*y + m. Solve 2*k = d - 2, 0 = y*k - d + 2*d - 9 for k.
1
Let i(n) = n**3 + 11*n**2 - 17*n + 2. Let o be i(-12). Let l = -64 + o. Let y be (l/(-2))/3*(22 - 22). Solve 5*v - 3*m + 10 = -2*m, -4*v - 3*m - 27 = y for v.
-3
Let d(h) = h**2 + 3*h. Let x be d(-5). Let j(q) = 5*q**2 - 650*q + 8627. Let b be j(15). Solve c + x = 2*s + b*c, -c = -3*s + 15 for s.
5
Suppose -100 = -100099*j + 100089*j. Solve -4*n + j = -8*n + 2*o, 3*n + 7 = o for n.
-2
Suppose -27*j - 2 = -26*j. Let w be (1 - j - -1) + 5 + -3. Let p(b) = -b**3 + 6*b**2 + 3*b - 13. Let d be p(w). Solve -12 = y + d*s, 2*y - s = 3*y for y.
3
Let n = 213 + -204. Suppose 2*g = -n*g + 22. Solve 10 = -g*u, k - 2*u = 9 - 0 for k.
-1
Let o = 6 - 4. Suppose -3446 = -11*k - 3347. Let u be (9 + -10)*(o - k). Solve 4*a - q - u = -3, -16 = -4*q for a.
2
Let g be (0 + (2 - -3))*(-3211)/(-65). Let p = g - 221. Solve p = -5*a - 3*n + 8, 2*n - 13 = 5*a for a.
-3
Let x(b) = 23*b + 1370. Let w be x(-59). Solve 5*z - w = -2*i, 6 = -3*i + 9*z - 8*z for i.
-1
Let n(f) = 6*f**2 + 48*f. Let m = -353 + 345. Let l be n(m). Solve -4*y - a = -4*a + 12, l = -3*y + 5*a - 20 for y.
0
Let f = -6338 - -6342. Solve -c = -2, -2*g - 3*c = -f*g - 14 for g.
-4
Let o = -32 + 32. Suppose o = -h - 5*v + 76, v = -5*h - v + 449. Suppose -3*s = 4*s - h. Solve -4*x + 4*k - s = -x, 0 = -3*x + 3*k - 12 for x.
-3
Suppose 4*q = 4*w + 128, 50*q - 73 = 48*q - w. Solve -3*p - 4 = 2*k, -8*k = -5*p - 3*k + q for p.
2
Suppose 2*h = -4*d + 3*h + 1241, 2*d - 4*h - 624 = 0. Let n = -305 + d. Solve 5*t = -n*r, -4*r - 12 = -t - t for t.
2
Suppose 0*d + 354 = -2*a - 4*d, 3*a - 2*d = -571. Let t = 189 + a. Solve 0 = u - m - 4, 4*m = 3*u + t*m - 8 for u.
0
Let u = -20 - -24. Let q be u/(-10) + -1 + 56/40. Solve q*v - v = -2*j + 2, -5*j - 4*v + 18 = 0 for j.
2
Let j(u) = -u**3 - 54. Let n be j(0). Let o = n - -72. Suppose -5*a = -o - 2. Solve -6*m + 4*i + 36 = -m, -i - a = 0 for m.
4
Let m(r) = 18*r - 1. Let y be m(-1). Let z = -16 - y. Let n be (-12)/30*10/14*-14. Solve -n*g + 4*s = 32, -s + 8 = z for g.
-3
Let a = 7487 + -7484. Solve -3*n = -2*v - 8, 4*v + 20 - 10 = a*n for n.
2
Let r be (4/6)/((954/(-54))/(-53)). Solve 4*a + 2 = -2*i, -r*a - 29 = 3*i - 22 for a.
1
Let q be (-22)/(-3)*(-3552)/(-407). Solve -16 = -3*i - 4*y, 65*y = q*y + 7 for i.
-4
Let c(g) = 88*g - 1054. Let h be c(12). Solve 0*y + 7 = x - 2*y, -h*x - 2*y - 16 = 0 for x.
-3
Suppose -3*w = -4*m + 11, 5*w = -17*m + 12*m + 40. Let i(g) = -g + 4*g - 2*g + 8. Let b be i(0). Solve -14 = -5*c - 4, w*p + b = c for p.
-2
Let d = 57 - 53. Suppose 3*c = -5*m + 3, 0 = 3*c - 0*c - d*m - 30. Solve -3*w + w - 22 = -3*g, -c = g + 2*w for g.
4
Suppose 40*f - 156 - 53 = -49. Solve 0*y - 2*y - 12 = -3*n, f*y - 2*n = -8 for y.
0
Suppose 3*u + 5*y - 105 + 336 = 0, -2*u - 154 = -y. Let n(a) = 7*a**2 - 5*a - 3. Let z be n(4). Let h = z + u. Solve 0 = 3*p - h, -i = 2*p - 4 - 7 for i.
3
Suppose 3*q = 2*m - 122, -2*q - 3*q = m - 35. Let t = 37 - m. Let p be (-1)/(-4) - t/(-72). Solve p = -h + 4*g - 20, -7 = -5*h + 2*g - 35 for h.
-4
Suppose -64*b + 35 + 10 = -83. Solve b*d = -0*w + 4*w - 10, 13 = -5*d - 2*w for d.
-3
Suppose -4*q + 8 = 0, -2*r + 0*q = 4*q + 142. Let l = 199 + r. Let f = l - 114. Solve -4*a + f + 6 = 2*g, 2*g = 3*a - 5 for a.
3
Let n be (208/(-10))/((-592)/(-100) - 6). Let c = -260 + n. Solve -5*m + 30 = v - 6*v, c = 4*v + 4 for m.
5
Let u = 5454 - 5452. Solve 12*j + 15 = 13*j + 5*h, -u*h + 28 = -4*j for j.
-5
Let b = -34 - -25. Let a be ((-3)/(6/(-46)))/(8 + b). Let l = -19 - a. Solve y = -l*c + 4, -3*y - 2*c = y - 2 for y.
0
Suppose -5*a - 882 = 3*v - 928, 5*v = 3*a - 14. Let i = 3 + -2. Let b be a - (-5 - -7) - i. Solve -5*l - b*r = -40, -l + 14 = 3*r - 4 for l.
3
Let c = 643 + -594. Suppose 4 = -5*i + c. Let h = 4 + -1. Solve -2*p + h = z, p + i = 2*z - 6*z for z.
-3
Suppose g = 2, -2*g = -4*s - 7*g + 10. Let m be s - (-9)/(-3)*15/(-9). Solve 5 = 4*v + 3*p, -2*v = -m*p + 2*p - 25 for v.
5
Suppose 14916 = 48*j + 84*j. Solve -5*n + 4 = -j*k + 116*k, 3*k = -2*n - 2 for n.
2
Suppose 1011*c + f - 28 = 1008*c, 0 = 4*c + 5*f - 41. Solve v - c = -4*o - 12, 3*o = -v - 1 for o.
-2
Let b = 137 - 121. Let o = 6 + -2. Suppose -u - 15 = -2*r - 2*u, -r = -o*u + 15. Solve 4*i + b = 4*v - 0*i, v = -r*i + 4 for v.
4
Suppose -75*h - 8*h = -332. Solve 0 = 5*a + 2*f - 5, -h