Let s = 2 + -1. Suppose -q = -4, -5*g + 4*q = 7 + 24. Let k be (3 + (-2 - g))*1 + -2. Solve -4*a = k*c - 22, -4*c + 7 + s = -a for a.
4
Let n(s) = 4*s**2. Let k be n(1). Suppose 2*t - 4 = -2*t. Let z(d) = 22*d**3. Let a be z(t). Solve 3*h + 2 = c, k*c - a = -2 for h.
1
Let x = -106 - -108. Solve 3*a + 4*j = 6, -5*a + 0*j + 10 = x*j for a.
2
Suppose -65 = -9*s + 4*s. Suppose s*c - 10 = 11*c. Solve -3*y + 0*y + 1 = -c*v, 3*y + 5*v = 11 for y.
2
Suppose 4*x + 2 = -50. Let s be (x - 11)*(-6)/(-4). Let g be 10/4*s/(-30). Solve 3*v + 2 = -2*k, -3*k + 10 = -g*v - 17 for k.
5
Suppose -9 = -6*k + 15. Suppose 3*w + k*g + 1 + 1 = 0, 4 = 3*w + g. Solve 3*q + 4*y - 6 = 0, -5*y + 6 = q + w*q for q.
2
Let u(d) = -d**3 + 13*d**2 - 32*d + 20. Let p be u(10). Solve p = -5*g + 5, -3*t + 2 = 3*g + 5 for t.
-2
Let d be 17/9 - 20/(-180). Suppose -6*i = d*i. Solve 2*u + t - 6 = i, -3*u + 2*t = -2*t + 13 for u.
1
Let d be (-5)/1*(2 + -5) - 5. Solve -2*g - 4*k + d = -0*g, -k + 1 = -g for g.
1
Suppose -w = 3*n + 2, -3*n = 5*w - 2*n - 18. Let u(j) = j**2 - 2*j - 1. Let v be u(3). Suppose a + v = w. Solve -a = z + s, -3*s - 13 = -5*z + 9 for z.
2
Let i be (7 + (0 - 1))/((-6)/(-15)). Let g be ((-3)/12)/((-2 + 4)/(-24)). Let d be (-1)/(-2) + (-2)/4. Solve 5*j - 3*h = i - d, g*h = -15 for j.
0
Suppose 2*u + 4*u - 30 = 0. Let r be (-2)/(-5)*(15 - u). Solve 5*i - 5 = -r*b, i = -2*b - 3*b + 22 for b.
5
Let a = -127 + 213. Let z = -16 + a. Let f be (12/(-14))/((-15)/z). Solve 3*b + f*n = 0, 4*b = n + n for b.
0
Suppose 6*q + 85 = 23*q. Solve 6*h - h + 5*o + 25 = 0, -q*h + 2*o = -3 for h.
-1
Suppose 5*x = -4*d + 36, -4*x = 3*d + x - 27. Suppose 3 = -2*y + d. Solve -h + 9 = -l + 4*l, 9 = y*l for h.
0
Let g = 1104 - 1086. Solve 4*a = 5*j - 3*j + g, 2*a - 5*j = 13 for a.
4
Let z(v) = -v**2 + 17*v + 143. Let t be z(23). Solve 5*r + 8 = 3*w, -5*w - 4*r + t*r + 6 = 0 for w.
1
Suppose -50 = -3*u + 5*n, -5*n - 15 = u - 25. Solve -u = -m + 6*m, -m = 4*a + 3 for a.
0
Let o be 4/44 + 896/308. Solve -o*l + 15 = t, 6*l - 32 = l - 4*t for l.
4
Let w(k) = 3*k + 48. Let j be w(-16). Let b = 27 - 23. Suppose 0 = 2*m - 3*o + 4, -b*m + 24 = 3*o - o. Solve j*f - 2*f = 5*h - m, -5*h + 8 = 4*f for h.
0
Suppose -8*r + 21 = -r. Let x(g) = -2*g + 1. Let s be x(2). Let h be (-32)/s + 1/r. Solve 0 = q - 7 + 4, -5*w - h = 3*q for w.
-4
Suppose 4*s + 5 = 13. Suppose -7 = -s*c + c. Solve 5*h + 42 - c = -3*r, 0 = -2*h + r - 3 for h.
-4
Let a(m) = -2*m + 12. Let b be a(4). Solve o - 4*o + 2 = -b*z, -5*z - 2 = -4*o for z.
-2
Let f = -6 + -10. Let r = 42 + f. Solve 5*k + 4*h = -41, -k - r = k + 4*h for k.
-5
Let k be (-2)/(-7) + (-6)/21. Suppose k = -0*z - 2*z - z. Solve 4*l - 2*m - 4 = z, l + 4*m - 4 = 5*l for l.
3
Let y be ((-6)/(-20))/3 - (-1209)/310. Solve o = -2*o - 4*q - 13, -y*q = -2*o - 2 for o.
-3
Suppose -5*h + 9 = -4*h. Let u be 1 + 0*3/(-3). Let p = h - u. Solve -3*a + 2*t = -21, 4*a + t - 9 = p for a.
5
Suppose -d - 26 = m + 3*d, -33 = 3*m + 3*d. Let p be m/4 - (70/(-4))/1. Solve -2 - 8 = -4*w + x, 5*w - p = 3*x for w.
2
Suppose 0 = -0*b + 6*b - 24. Solve p + 5*w - 20 = -2, -3*p = b*w - 21 for p.
3
Let t = -1465 - -1465. Solve t*w = w - 2*r, -w = r for w.
0
Let i(u) = -4*u**3 - u**2 - u - 1. Suppose -2 = 3*x + 1. Let b be i(x). Let j = 6 + b. Solve -3*y = -5*y + s + j, 0 = 3*y + 4*s + 14 for y.
2
Suppose -5*u = 4*b + 37 - 191, 170 = 5*b - 5*u. Let q(x) = -x**2 - x + 10. Suppose 3*o + 2 = -7. Let n be q(o). Solve 4*l = -n*z + b, -6 + 1 = -z for l.
4
Suppose 4*i = 2*i - 6. Let a be 3 - ((-1 - i) + 1). Suppose 0 = -2*b - a + 10. Solve b*y - 15 = q - 0*y, 0 = 3*q + 4*y - 12 for q.
0
Let d(g) = -g - 1. Let z(s) = -38. Let a(n) = -3*d(n) - z(n). Let b be a(-5). Solve -4*m = -5*r - 21, -4*r + b = -9*r - m for r.
-5
Let o(y) = 8*y**2 - 3*y - 3. Let v be o(-1). Let p = v - 4. Solve -p*r = 5*t - 35, 4*t = -5*r + 32 + 5 for r.
5
Let u(d) = d + 6. Let g be u(6). Let f = 459 - 453. Solve 0 = -2*m - 0*r + 2*r - g, 0 = 3*m + 3*r + f for m.
-4
Suppose 0 = -3*n - 0*n - 24. Let m = n - -2. Let c be m/(-4)*8/3. Solve -c*x + 0 - 12 = 0, -5*x - 5 = -2*z for z.
-5
Suppose 5*m + 3 = -0*m - h, 0 = 4*m + 3*h + 9. Suppose m = -p - 2*p + 75. Suppose 7*i = 2*i + p. Solve i*y = -4*a - 30, 0*y - 3 = -y + a for y.
-2
Let r(j) = 4 + 5*j**2 + 13 + 5*j - j**3 - 9. Let v be r(6). Solve 3*c - 5 = 5*d, -1 - 1 = v*d - 4*c for d.
-1
Suppose 0 = 13*n - 51 + 12. Solve -4*g + 4 - 36 = -3*m, -15 = n*g for m.
4
Let i(g) = 3*g - 3. Let h be i(2). Suppose 0 = 28*t - 225 - 195. Solve f = 2*q - t, h*q - 1 = -2*f + 4 for f.
-5
Let x = 269 + -259. Solve r = z + 2*r, -z + 4*r = -x for z.
2
Let j(v) = -2*v + 12. Let y be (9/(-6))/((-18)/60). Let l be j(y). Solve 3*f + 7 = -0*d - l*d, 2*f - 22 = 4*d for d.
-5
Let j be 7 + (-15 - 56/(-7)). Let r be (-2*6)/(0 - 1). Solve -4*k = 5*w + r, k + 2*w + j*w = -6 for k.
2
Let l be -2 - ((-33)/7 + (-12)/42). Suppose 2*m + 5 = 3*m. Suppose m = 3*y + 2*y. Solve 2*w - 5*o = y, -l*o = 3*w - 0*o + 9 for w.
-2
Let k = 81 - 88. Let q be 6 - (11/6 - k/42). Solve 5*w = -q*c - 17, -2*w - c = -5*c - 10 for w.
-1
Let o be (0/2 + 0)/(-9 + 8). Solve -3*n + 2*g + 7 = 0, -4*n + 4*g + 16 = -o*n for n.
-1
Let i(w) = 3*w - 56. Let h be i(20). Let l = -14 - -19. Suppose 10 = -5*c + l*a, 2*c + 2*c + 5*a - 10 = 0. Solve f - h*u = 2, -3*u + 8 + c = 4*f for f.
2
Let o(z) = -5*z - 31. Let a be o(-9). Let v be 19/2*(-12 + a). Solve -2*j + 1 = 3*m - 7*j, -2*j = 5*m + v for m.
-3
Let j = -155 + 139. Let f(s) = 5*s + 80. Let h be f(j). Solve 3*p + 2 = i, h = -5*p + 2*p for i.
2
Let n(m) = 8*m**3 + m**2 - 1. Let r be n(1). Let b = r + -4. Suppose 2*z - 7 = -3*d - b, -4*z + 3*d + 15 = 0. Solve -g = 3*g - 4*t - 20, 2*g + z*t = -10 for g.
1
Let q be 1 + 42 - 28/7. Suppose -7 = 5*s + 3*n, -4*s + 4*n + 0*n - 12 = 0. Let c = s - -4. Solve c*a = -u - 10, -q = 5*a - 14 for u.
0
Suppose 0 = -5*a + 2*z - 8, 0*a - 3*z + 12 = -3*a. Suppose -3*l - 7 + 52 = a. Suppose -42 = -3*u - 12. Solve -3*n - c = c - u, -l = -3*c for n.
0
Let a = 22 + -18. Suppose a*b - 162 = -54. Let s = -27 + b. Solve 0 = -3*u + 9, s*k - k + 3*u = 8 for k.
1
Let i be (-3)/(-5) + (-85)/(-25). Let n = -222 - -224. Solve -i*p - 3*r = 17, -9 - 6 = n*p - 5*r for p.
-5
Suppose 4*g + c - 22 = 3*c, -c + 9 = 3*g. Suppose 3*t + 3 = -j - 0*t, -2*t = -g*j + 44. Solve -3*f + 15 = 0, -4*q = -f + 22 - j for q.
-2
Let t be 110/30 - (-1)/3. Let m(q) = -q**3 - 6*q**2 - 4*q - 24. Let l be m(-6). Solve -2*c - 4*y + 8 = 0, -y - t = -c - l*c for c.
4
Let y be (-14 + 16)*3/2. Suppose 2*i = y*i - 2. Solve 0 = -d - n, i*d + 11 + 1 = 4*n for d.
-2
Let r = 34 - 30. Suppose -4*x = 2*s - 6*s, r*x = s + 9. Solve o + 1 = 4*o + 5*z, -4*z = -x*o + 10 for o.
2
Suppose 91 = -65*s + 72*s. Solve -4*z - 2*l = 4, s = -4*z - 5*l + 3 for z.
0
Suppose 2*d - 4*b + 6*b = 0, 0 = -4*d + b + 25. Solve 0 = -5*r - d*n - 1 - 4, 4*r - 8 = 2*n for r.
1
Let o(i) = i**3 - 5*i**2 + 3*i + 9. Let c be o(4). Solve -c*r - 5 = -0*u + 5*u, 4*u + 13 = -r for u.
-4
Let j(z) = -24*z - 135. Let q be j(-6). Solve 10 = -4*t + 3*h, -7*t - 5*h + q = -6*t for t.
-1
Let n = -356 - -359. Solve -4*a = -n*v + 17, a + 11 = 3*a + 5*v for a.
-2
Suppose 6 = -4*t + 14. Let b be (3/(-7))/(4*16/(-2240)). Solve -4*a = 4*j + 40, -3*j + 4*j = -t*a - b for a.
-5
Let l be ((-2)/(-6))/((-2)/(-24)). Suppose -6*o + 20 + l = 0. Suppose -4*w = 4*s - 4, -3 + 7 = 4*w + 2*s. Solve 4*y = 4*a - 16, o*a = -3*y - 4 - w for a.
1
Let f be 2 + ((-1)/3 + 0)*-3. Suppose 2*l - 8 = 2*n, n = -f*l + 2*n + 12. Solve 5*i - 5 = 0, 0 = l*q - 3*i - i for q.
1
Let t be ((-2)/(-4))/1*0. Suppose -3*x + 5*r + 16 = t, 0*x - 14 = -2*x + 5*r. Let s be ((-132)/(-154))/(6/28). Solve -12 = -x*z - 3*u, 0*z - s*u = z - 11 for z.
3
Let l be 3 + 104/(-32) - (-9)/4. Solve -4*n - l = -3*k, 2*k - 3 = 5*n - 2*k for n.
1
Let g be (-21)/(-14)*(-94)/(-3). Let y = 49 - g. Solve 0*z = 5*a - y*z + 10, 5*z = -2*a - 4 for a.
-2
Let j = -2139 + 2143. Solve -2*h + 22 = -4*v, -j*h + 4*v + 21 = -3*h for h.
1
Let s(r) = r**3 + 10*r**2 - 2*r + 101. Let h be s(-11). Solve 7 = -5*v + i - 7, 5*i - 1 = h*v for v.
-3
Suppose -357*w + 9 = -354*w. Solve w*p + 28 = -5*a, -1 - 1 = a - 3*p for a.
-5
Let w = 120 - 116. Suppose -6*v + 14 = -w*v. Solve -4*j + 4*p - v*p - 17 = 0, 0 = 2*j - 2*p - 2 for j.
-2
Let h(v) = v**2 + 18*v +