pose 22 = 4*i - 3*m, -4*i = -s*i + 4*m + 24. Suppose 4 + i = 4*g. Solve 2*z = g*v - 2 + 6, 3 = 5*z + 2*v for z.
1
Let q = -338 + 341. Solve -2*z = q*z - 4*m - 41, 0 = 3*z - 2*m - 23 for z.
5
Let t = -6 + 1. Let p be ((-27)/(-18))/((-7)/(-4) - 2). Let x be t/(3/p*2). Solve 3*o = 3*j + 3, -5*o + j + x + 0 = 0 for o.
1
Let h = -5 + 2. Let f be (-10)/15*h + 3. Solve -f*z = -3*z + 4*y - 22, 5*z + 4*y = 37 for z.
5
Let t be (-20)/2*(-2)/5. Let k = 45 + -28. Suppose -5*j = -8 - k. Solve -j = t*z + 3*h, -2*h + 2 = -z - 3*h for z.
1
Suppose -52 = 28*k - 192. Let t(v) = -v**3 + 4*v**2 + 1. Let s be t(4). Solve 2*n + 2 + s = 3*l, -n = k*l + 8 for n.
-3
Suppose 0 = f - 2*f - 14. Let l = 18 + f. Suppose -l*p = -4, 5*b + 3*p - 4*p = 19. Solve s - b*z = -17, 0*s - 3*s + 24 = 3*z for s.
3
Suppose -2*p + 4*g + 38 = 0, -p + 0*g + 17 = -g. Solve p = v + 5*s, -5*v - 35 = -2*v - 5*s for v.
-5
Suppose -8*r + 120 = -0*r. Suppose 0 = -r*d + 13*d + 6. Solve -4*o + 5*z = 18 - 59, 4*o = -d*z + 1 for o.
4
Suppose 1 = s - 5*s + u, 4*s = 4*u - 4. Suppose -10*g + 3*g + 7 = s. Solve -3*k - k = 4*a - 20, 0 = a - g for k.
4
Suppose -29*s = -35*s. Solve g = -2*v + 3, s = -2*v - 2*v - 3*g + 9 for v.
0
Let t(z) = z**2 - z - 13. Let p be t(5). Solve -b + 15 = -p*q + 3*q, 2*q - 5*b + 21 = 0 for q.
-3
Let d be 9 + 6 + -9 - 1. Solve -8*u + 3*u = -2*b + d, -3*b - 2*u = 2 for b.
0
Let s be 20/9 + 676/36 + -19. Solve 3*r = 2*a - 2, a - s*a - 5*r = 12 for a.
-2
Suppose 119*t - 122*t + 60 = 0. Suppose -5*g + 2 = 3*a, -8 + t = a - 4*g. Solve 4 = n - 0*n + 5*c, a*n - 16 = -c for n.
4
Suppose -8 = 1912*i - 1914*i. Solve n - 20 = 3*c, -i*c = 3*n + n for n.
5
Let v be ((-621)/(-18))/23*2. Solve v*s + 9 = -3*y, 4*y + 0*y + s = -6 for y.
-1
Let y(n) = 2*n**2 + n. Let h be y(1). Let s be ((-4)/(-12))/(1/309). Let z = s + -98. Solve -b - 24 = -z*o - 5*b, -o - h*b = -7 for o.
4
Suppose -4*x + 37 + 3 = 0. Solve -4*m + 3*c + c = -20, -4*m = 2*c + x for m.
0
Suppose -43*n = -36*n - 35. Solve -2*g = -3*u - 10, 5*u - 6*u - g + n = 0 for u.
0
Suppose 2*f = 0, 0*l - 4*f + 6 = 2*l. Suppose 3*i + 4*n = 17, n + 14 = 2*i + 5*n. Solve -2*c - i*c - 21 = -4*x, l*c = -4*x + 13 for x.
4
Suppose -5*t - a - 37 = 0, -a - 29 = 3*t + 3*a. Let p(n) = -n**3 - 7*n**2 + 1. Let q be p(t). Solve -5*d - 3*l = -17, 7 - q = d - 2*l for d.
4
Let j(a) = -a**3 - 7*a**2 - 4*a + 13. Let g be j(-6). Let w be (g - -6)*24/28. Solve -b = 4, -b + w*b = y - 20 for y.
0
Suppose 13*a - 10*a = 3. Solve -5*m + 10 = -5*g, 3*g - m - a + 5 = 0 for g.
-1
Let g be (-2)/1*60/(-24). Solve 20 = -5*c + 5*t, g*c - 2*t + 16 = -7 for c.
-5
Let u = 8 - -13. Let w = -1 - -2. Let a be 2 - w/4*0. Solve a*m + 19 = 3*r, -2*m + 2*r - u = m for m.
-5
Suppose 0 = -16*g + 30*g - 42. Solve -2*s - 3*k - 16 = 0, 0*k = g*s - 5*k - 14 for s.
-2
Suppose -1327 + 1273 = -18*n. Solve -4*z - 1 + 5 = 3*y, -3 = -n*z for y.
0
Let x(a) = -a**3 - 57*a**2 - 160*a + 110. Let c be x(-54). Solve 8 = v + v, c*n + 6 = -v for n.
-5
Suppose -2*p + 14 = 2*z, 3*p - 8 = -z + 9. Solve -5*y - 2*u = -0*y - 7, -z*y - 2*u - 2 = 0 for y.
3
Let b be 152/26 - 2/(-13). Suppose -5 = b*a - 35. Solve -3*p + 10 = a*z - 2, 2*p + 5 = z for p.
-1
Let k(f) = 32*f - 47. Let q be k(2). Solve 5*a - 30 = 5*m, 0 = 8*m - 6*m - 3*a + q for m.
-1
Suppose -5*g + 139 = -3*a - 13, -2*g = a + 36. Let k = 26 + a. Let f = k - -41. Solve -r + 5*v = -f, 5*v = -3*r - 3 - 8 for r.
3
Let o = 198 + -196. Solve -2*b + f + 1 = -0*f, o*f + 4 = 5*b for b.
2
Suppose -100*a + 14 + 286 = 0. Solve p - 5 = 0, -l + 0*l + a*p - 20 = 0 for l.
-5
Let t be (-66)/4*202/(-303). Solve -6*o + 4*l - t = -o, l - 14 = 5*o for o.
-3
Let a(v) = v**2 + v - 2. Let g be 2 + -7 - -2 - -4. Let p be a(g). Solve p = -h - 3*n - 8, 5 = -4*n - n for h.
-5
Let k be (4/(-6))/((-6)/(-27)) + -76. Let s = k - -86. Solve 2*v + 2 = -2*r - 2*v, -s = 3*r + 2*v for r.
-3
Let j be (-2 + 1)/(1/7). Let w = j + 13. Let d = 7 - w. Solve 3*h - h - r + d = 0, -4*h - 3*r = -23 for h.
2
Suppose 4*k - 32 = -4*g, 2*k - 4 = 3*g - 3. Suppose -3*a - 60 = -18. Let d = a - -14. Solve f - 14 = k*v - d*f, -v + 6 = 2*f for v.
-2
Suppose 0*j - 3*j + 3*n + 15 = 0, -3*n = 9. Suppose 5*x - 15 = 7*o - j*o, 5*o = 10. Solve 0 = 4*d - x*g - 37, 0 = -g + 5*g + 20 for d.
3
Suppose 0 = 4*b + 2*t - 150 - 30, -b - 3*t + 45 = 0. Suppose -b = -14*j + 25. Solve j*s - 5*x = -30, 4*x - x = -5*s - 6 for s.
-3
Let n be (6/(-8))/(1/(-44)). Let w be -34 + 4*(-4 - -3). Let f = 43 + w. Solve -f*g + 0*p + n = 4*p, 2*g - 3*p - 4 = 0 for g.
5
Let d(y) = 41*y + 50*y - 12 - 95*y. Let l be d(-8). Let w(p) = p**3 - 3*p**2 - 4*p + 1. Let i be w(4). Solve -t - 4*j - i = -20, 4*j - l = 0 for t.
-1
Suppose 0 = 5*q - 3*z - 97, -2*q + 5*z - z + 36 = 0. Suppose r - 5*x = 0, 4*r + 5*x - 5 = q. Solve 0 = -5*l + 25, -4*k = r*l - 14 - 3 for k.
-2
Let f = -45 + 48. Suppose -11 = 2*a + f*b, 0*a + a + 23 = -5*b. Solve 4*h = 5*c + 6, -h = -c - 2*c + a for c.
2
Let w be (-120)/(-28) + (-60)/(-35) + -2. Suppose 5*b - 50 = n, 0*n + 5*n + 20 = 2*b. Let h be 10/w*8/b. Solve 0 = 5*j + 2*y - 16, 3*j - 5*j + 12 = -h*y for j.
4
Let g be (-6 + 8)*(-31)/(-2). Suppose -4*z - 13 = -j, 0 = 4*z - z - 5*j + g. Let n be (15 + -12)*z/(-3). Solve -n*c + 0*c = 5*l - 20, -l + 4 = 0 for c.
0
Let f = 90 - 81. Suppose 0 = -f*s + 16*s - 35. Solve -s*o - 5*b - 14 = -3*o, -3*o = 4*b + 7 for o.
3
Let m = 61 + -56. Solve -3*b - 3*i = -21, -2*b = m*i - 2*i - 18 for b.
3
Suppose 2*x - 5*d = 7*x - 120, -23 = -2*x + 3*d. Let q = x + -11. Solve -5*b - 4*l + 28 = -2*l, -4*b + 2*l + q = 0 for b.
4
Let g be (-161)/(-23) + (2 - 0). Solve 3*q = -4*s - 0*q + g, s + 2*q - 1 = 0 for s.
3
Suppose -8 = -2*l, 3*y - 4*y + l + 1 = 0. Solve y*t - 4*j = -2*j - 15, t - 2*j = -11 for t.
-1
Suppose c - 9 = -15. Let f = -2 - c. Solve g + 4*n + 12 = f, 4*n = g for g.
-4
Let p(h) = 91*h - 361. Let m be p(4). Solve m*x - 2*s + 4 = 5*x, -3*x + s = 6 for x.
-1
Let f(l) = -4*l + 84. Let a be f(20). Solve -3*x - a = -2*z, x = 3*x - 2*z + 4 for x.
0
Let n(y) = 2*y + 5*y - 25 - y - y. Let t be n(8). Solve 3*z = -7*m + 4*m - 9, -4*m = z + t for z.
1
Let u = 2 - 0. Suppose -u*a + 3 = -a. Suppose -9 = a*w - 57. Solve 5*n + 3 = -5*y - 7, -5*n - 3*y = w for n.
-5
Let p = -33 + 38. Suppose 11 = -3*u - 5*t, u = 3*u + p*t + 14. Solve 5*w = -5*h + 20, -u*h - 7 = -2*w + 1 for w.
4
Suppose -2*c = 3*z - 13, 0 = -2*c + z + 4*z + 53. Solve c = 3*u + 2*a, 6*u - 20 = 2*u - 4*a for u.
4
Let d be (-2)/4 - 957/(-174). Solve 3*s + 3*l = 4*s + 13, -5*s - 5*l - d = 0 for s.
-4
Suppose -3*t - 3*w + 283 = w, -386 = -4*t - w. Let x = -69 + t. Solve 5*y + x = c, -y + 3*c - 12 - 2 = 0 for y.
-5
Let s(a) = a**2 - 5*a - 7. Let d be s(7). Let j = d + -1. Let o = 1 - -3. Solve j = -3*q + 2*g - 3*g, o*q = g - 15 for q.
-3
Suppose -w - g - 5 = 0, 5*w - 9*g = -5*g - 61. Let s = 4 - 2. Let q be (-4)/6*w/s. Solve -6 = -3*o - 0*c - q*c, -5*o + 3*c + 10 = 0 for o.
2
Let k = 0 + 4. Let m = -3 + k. Suppose p + m = 5. Solve -w + 2*l - 2 = 0, 0 = p*w - 3*l - 3 - 4 for w.
4
Let a = 209 - 197. Solve -h - 4*o = 1, 2*h - o + a = o for h.
-5
Suppose 16 = 7*x - 3*x. Suppose 5*w + 3*g = x*g + 132, w = 3*g + 18. Let k = -25 + w. Solve -k*d - 2*m + 2 = 0, -5 = 5*d + 3*m - 0*m for d.
-4
Suppose -3*a + 3 = 5*k, k + 3*a + 3 = -2*k. Suppose k*d - 81 = -12. Solve -2*x = -x + 3*w - 9, 2*w - d = 5*x for x.
-3
Let g be (-2 + -2)*(10/(-8) + 0). Solve -3*a = -3*d + 2*d - 7, d = -g*a + 1 for d.
-4
Let c(j) = j**3 + 21*j**2 + 13*j - 140. Let u be c(-20). Solve u = -6*x + x - v - 21, v = -1 for x.
-4
Let v(t) = 6*t - 108. Let b be v(18). Solve b = -2*u + m, 0 = 2*u + 3*u - 2*m + 2 for u.
-2
Let p(c) = -c - 15. Let s(g) = -4 + 3 - 8*g - 6*g. Let x be s(1). Let f be p(x). Solve 0 = d - f*k + 2*k + 3, -5*d + 3*k = 2 for d.
-1
Suppose 10 + 9 = l + 3*j, -2*j - 2 = -3*l. Suppose 5 = 2*m + u, m - l*u + 2 = -0*m. Solve -c - m = 3*n, 0 = 5*n + c - 4*c - 20 for n.
1
Let z(g) = -g**3 + 45*g**2 - 92*g + 258. Let w be z(43). Solve -24*x = -22*x - q + 4, -2*x - q + 4 = w for x.
0
Suppose -3*z + 4 = -z. Let y = -58 - -58. Solve 25 = -r - 5*t, y = 4*r - t - 3 - z for r.
0
Suppose -15*f = -11*f - 16. Suppose -f*d = 9*d - 52. Let t = 6 + -3. Solve w = -d*n - t, 2*n + 2 = 2*w - 2 for w.
1
Let m(f) = 4*f**3 + 2*f**2 + f - 6. Let a be m(-3). Let y be ((-8)/12)/(6/a). Sol